REVIEW 4 major objections 4 minor 10 references
Facets of Brachistochronic Trajectories
T0 review · 4 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read For a brachistochrone under any conservative force, the normal force component must equal the centrifugal term $mv^2/R_c$.
desk verdict A neat magnetic-field substitution for central-force brachistochrones, wrapped in an overstated necessary-and-sufficient claim that only holds for stationarity. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the condition $F_n = mv^2/R_c$, stated as necessary and sufficient for a brachistochrone. The proofs rely on the stationarity relation $\delta S/S = \delta v/v$ (a first-order shortening of a track segment must be matched by an equal relative velocity change), on the Euler–Lagrange equation for the travel-time functional, and on the Beltrami identity for central potentials, which reduces the problem to a first-order equation. The same condition is then inverted into a magnetic-field construction: setting $qvB = 2|F_n|$ with $B(r)=2T_0 E(r)/r$, the Lorentz force replaces the wire's normal force, eliminating the need for the Euler–Lagrange formalism.
What would settle it
Compute, for a fixed central potential and fixed endpoints, every curve satisfying $F_n=mv^2/R_c$ and compare their travel times; if two such curves exist with different times, or if any other curve is faster than the one so constructed, the sufficiency claim fails. Alternatively, measure the normal force on a bead sliding along a numerically computed brachistochrone track: if the wire's force is not $-2F_n$, the rule of 2 is contradicted.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that brachistochrone motion is characterized by a pointwise force balance: $F_n = mv^2/R_c$. This condition is shown to be necessary and sufficient in two independent ways, first from the stationarity requirement that first-order changes in path length and speed cancel, and second from the Euler–Lagrange equation. The force balance immediately yields the rule of 2 ($N=-2F_n$) and the mirror rule ($|\mathbf f_{\rm net}|=|\mathbf F|$, with the net force reflected across the tangent). For a central force, the same balance implies that $L_0/E_k=2T_0$ and $r\sin\alpha/v=T_0$ are constant along the trajectory. It also gives an explicit magnetic field $B(r)=2T_0 E(r)/r$ perpendicular to the plane of motion that reproduces the wire's steering force, so trajectories can be computed by integrating the Lorentz-force equations instead of solving the Euler–Lagrange equation.
Load-bearing premise
The load-bearing premise is that a stationary travel-time path—one satisfying $F_n=mv^2/R_c$—is automatically the true quickest path; the paper proves stationarity but does not prove global minimality among all competing curves.
Editorial extensions
If this is right
- Any brachistochrone track under a conservative force can be recognized locally: at each point the wire's normal force has to be twice, and opposite, the force's normal component, so a track can be checked without solving the full variational problem.
- The mirror rule means the bead's acceleration magnitude equals $F/m$ everywhere, giving a purely geometric way to construct candidate fastest paths from the force field.
- For central forces, the constancy of $L_0/E_k$ and $r\sin\alpha/v$ supplies two integrals of motion that can be used to test or generate brachistochrones.
- Replacing the wire by the magnetic field $B(r)=2T_0 E(r)/r$ lets any central-field brachistochrone be computed by direct numerical integration of the Lorentz equations, bypassing the Euler–Lagrange equation.
- In the relativistic extension, the ratio of wire force to normal force drops from 2 to 1 as $v\to c$, so the fastest path straightens out, matching the known relativistic brachistochrone result.
Reading between the lines
- A natural next step is to test global minimality directly: enumerate stationary solutions for a nontrivial central potential and compare travel times, since the paper's condition guarantees stationarity but not uniqueness or global optimality.
- The magnetic-field replacement suggests an experimental analogue: a charged particle launched in the field $B(r)=2T_0 E(r)/r$ would trace the minimum-time path of the corresponding conservative force, which could be used as a physical computer for brachistochrones.
- The mirror rule recasts brachistochrone construction as a local angle condition—the tangent bisects the angle between the applied force and the net force—so one could build fast paths by a stepping algorithm that enforces this bisection at every point, without any variational machinery.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper claims a necessary and sufficient condition for a curve to be a brachistochrone under a general conservative force: the normal component of the conservative force equals the centrifugal force, F_n = mv^2/R_c. From this condition it derives several rules: the "rule of 2" for the wire's normal force, the "mirror rule" for the net force, the constancy of the angular-momentum-to-kinetic-energy ratio for central forces, a constant time T0 = r sin(alpha)/v, and an explicit construction of a magnetic field that can replace the guiding wire. The derivations use a stationarity argument in Section I, an Euler-Lagrange route in Section II, a Beltrami-identity argument in Section IV, and a direct Lorentz-force construction in Section V. The paper also includes a short MATLAB integration scheme in Appendix IV. The central-force conservation law and the magnetic-field substitution are internally consistent, but the main theorem is stated as a characterization of brachistochrones without distinguishing stationary paths from globally time-minimizing paths.
Significance. If the main theorem were true, the paper would offer a compact and practically useful characterization of brachistochrones, and the magnetic-field substitution of Eq. (31) would be an elegant design tool. The paper deserves credit for deriving the stationarity condition by two independent routes, for the explicit L/E_k conservation for central forces, and for the compact seven-line numerical implementation in Appendix IV. However, the advertised necessity-and-sufficiency claim for true brachistochrones is false: the condition F_n = mv^2/R_c characterizes stationary paths, and stationarity is strictly weaker than global minimality. The k-arch cycloid counterexample in uniform gravity is a decisive, elementary failure of the sufficiency claim. As a paper about stationary brachistochronic trajectories the work could be useful, but as a paper about brachistochrones its central claim is not correct.
major comments (4)
- [Abstract; Section I, Claim; Summary] The advertised necessary and sufficient condition is false for true brachistochrones. The proof in Section I establishes at most that F_n = mv^2/R_c implies the stationarity condition delta(S)/S = delta(v)/v; it does not establish global minimality. A decisive counterexample occurs in uniform gravity with endpoints (0,0) and (L,0) and a bead starting from rest: for each integer k >= 1, the k-arch cycloid x = a(theta - sin theta), y = a(1 - cos theta), a = L/(2 pi k), theta in [0, 2 pi k], satisfies on each smooth arc F_n = mg sin(theta/2) and mv^2/R_c = mg sin(theta/2), yet its travel time is T_k = 2 pi k sqrt(a/g) = sqrt(2 pi L/g) sqrt(k), so T_1 < T_2 < ... . Thus Eq. (1) holds for infinitely many non-minimizing curves, and the "if and only if" claim in the abstract, Section I, and the Summary is false. The condition should be presented as characterizing stationary paths, with global minimality requiring a separate second-variation or comparison argument.
- [Section II, Eq. (14)] The Euler-Lagrange route has the same limitation. The text concludes that "if F_n = mv^2/R, the E-L equation holds," which is a sufficiency statement for stationarity, not an equivalence and not a global-minimum statement. The E-L equation characterizes stationary points of the travel-time functional, and the counterexample in uniform gravity shows that stationarity is strictly weaker than brachistochronicity. To support the abstract's claim, the paper would need to prove that the stationarity condition is sufficient for a global minimum, which is false.
- [Section V, Eq. (31); Section VI; Appendix IV] The magnetic-field substitution inherits the stationarity-only status. Eq. (31) is constructed so that the Lorentz force supplies the required normal force 2F_n, which guarantees that any solution of the Lorentz-force ODE satisfies the normal-force balance F_n = mv^2/R_c; but this is exactly the stationarity condition, not a proof of least time. Consequently Note 6, which states that "any charged particle ... will follow a brachistochronic trajectory," is unsupported, and the Appendix IV check F_B = 2F_n confirms only self-consistency of the numerical integration, not optimality. The word "brachistochronic" in these passages should be replaced by "stationary brachistochronic," or a separate minimality proof must be supplied.
- [Section I, Eqs. (3)-(4)] The necessity direction of the claimed equivalence is not proved. The work expression in Eq. (4) writes the infinitesimal work as (mv^2/R_c) epsilon, which is the quantity to be derived; no argument is given that a path satisfying Eq. (1) must have F_n = mv^2/R_c. The text then invokes Newton's law in Eq. (5) and immediately reads off rules 1a and 1b, but Eq. (5) only states the normal component of the net force. Without the condition F_n = mv^2/R_c, the normal reaction of the wire can absorb any difference. The converse should be derived from Eq. (1) using energy conservation, not assumed.
minor comments (4)
- [Throughout] The manuscript contains numerous OCR-style corruptions: Eq. (4), Eq. (13), and Section VI (including the fragment "ryaSumm") are garbled and must be restored before the paper can be read reliably.
- [Appendix II] The periodicity assumption and the harmonic ansatz are introduced without justification; they should be presented as an ansatz that is verified a posteriori by substitution into the equations of motion and the energy constraint.
- [Appendix IV] The seven-line integration code is not accompanied by any discussion of time-step size, numerical accuracy, or convergence, and the verification plots are not described quantitatively.
- [Introduction, relativistic note] The relativistic statement N/F = 2 beta^2 is given without derivation; if it is retained, it needs a proof and a careful statement of the frames and sign conventions used.
Circularity Check
No material circularity: the central condition is derived from stationarity and the Euler–Lagrange equation, and the magnetic-field replacement is an inverse construction rather than a fitted prediction.
full rationale
The paper's central claim, F_n = mv^2/R_c, is not assumed as an input. Section I derives it from the stationarity condition δS/S = δv/v together with the work–energy relation and Newton's law; Section II re-derives it from the E–L equation via Eqs. (9)–(14). The rules 1a, 1b, 2a, and 2b are algebraic consequences of that condition, not separate empirical inputs. The magnetic-field replacement in Section V is an inverse-design construction: B is chosen so that the Lorentz force reproduces the required wire normal force, and the statement that the resulting trajectories are brachistochrones is a theorem about the equations of motion, not a parameter fit called a prediction. The self-citations [1,2] in the Preamble and Introduction are purely motivational and carry no load-bearing step; the citation to Routh [3] acknowledges precedent without importing the proof. Remaining weaknesses—such as the proof of the converse direction of the claimed iff and the harmonic ansatz in Appendices II–III—are correctness and rigor concerns, not circularity. No equation in the paper reduces, by definition or by fit, to the quantity it is said to predict.
Assumptions & free parameters
assumptions (4)
- standard math The travel time functional ∫ds/v is stationary for a brachistochrone and Euler-Lagrange applies.
- domain assumption The force is conservative with a single-valued potential U(x,y) and the motion is smooth and frictionless.
- standard math For central forces, the force depends only on r, so the Beltrami identity yields a first integral T0.
- domain assumption The normal constraint force is ideal, meaning no work and no friction, and the bead remains on the wire.
Cite this review
Pith. "Pith review of Facets of Brachistochronic Trajectories." pith.science (2026). https://pith.science/paper/XYU2IXQA
@misc{pith2026250700084,
author = {Pith},
title = {Pith review of: Facets of Brachistochronic Trajectories},
year = {2026},
howpublished = {\url{https://pith.science/paper/XYU2IXQA}},
note = {Machine review of arXiv:2507.00084}
}
read the original abstract
This paper studies brachistochrone trajectories. Four rules are formulated as sufficient conditions. Two rules apply for a general conservative force. Two rules apply for a central force. A central force allows wire replacement. The wire is replaced by appropriate magnetic field. This enables solving motion equations directly. We replace Euler Lagrange with direct integration.
Reference graph
Works this paper leans on
-
[1]
The remarkable properties of the discrete brachistochrone
D. Agmon and H. Yizhaq "The remarkable properties of the discrete brachistochrone" Eur. J. Phys. 40 No. 3 (2019) 035005 (12pp)
work page 2019
-
[2]
From the discrete to the continuous brachistochrone: A tale of two proofs
D. Agmon and H. Yizhaq "From the discrete to the continuous brachistochrone: A tale of two proofs" 2021 Eur. J. Phys. 41 No. 2 015004. (8pp)
work page 2021
-
[3]
E. J. Routh "Dynamics of a Particle" Dover Publications Inc. 1960 pp 365-377 (The original publication date is 1898)
work page 1960
-
[4]
The Feynman Lectures On Physics
Richard P. Feynman et al. "The Feynman Lectures On Physics" Vol I 26-3 & Vol. II 19-8 Addison-Wesley Publishing Company New York. (1963)
work page 1963
-
[5]
Methods of Mathematical Physics
R. Courant and D. Hilbert "Methods of Mathematical Physics" Vol. 1, p. 187 Eq. b Interscience Publishers Inc. New York 1953
work page 1953
-
[6]
H. F. Goldstein and C. M. Bender "Relativistic brachistochrone" Journal of Mathematical Physics 27. 507 (1986). Appendix I: Finding the angle between the tangent and the radius vector We calculate the angle between the tangent and the radius vector r of the curve ( ).r From Fig I.1: ( ) ( ) cos 'cos sin ( ' / ) sin 'sin cos x r dx r r d r dr d y r dy ...
work page 1986
-
[7]
The first two lines compute the acceleration components: ,xyaa
-
[8]
The next two lines compute the velocity components ,xyvv
Show all 10 references
-
[9]
The subsequent two lines calculate the trajectory component ,xy
-
[10]
rule of
The final line computes the resultant velocity 22 xyv v v=+ . The code is written for a central field of the form ( ) / nE r K r= . However, with minor modifications, it can handle any central electric field, such as: 00( ) , ( ) exp( ), ( ) cosh( )nE r Kr E r E kr E r E kr= ...
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.