REVIEW 5 major objections 5 minor 15 references
The principle of stationary action and Lagrangian for dissipative dynamics with velocity-proportional frictional force
T0 review · 5 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A Lagrangian with an imaginary quadratic term built from a contour Caputo half-derivative yields the linear-friction Euler-Lagrange equation, Hamilton equations, and energy-dissipation law without the short-time limit required by earlier…
desk verdict Original contour-fractional idea, but the central δS argument ignores the complex nature of the action and collapses; not publishable without major revision. 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 contour Caputo fractional derivative of order $1/2$, defined for $t\in(t_0,t_1)$ by $$ {}_C $D^{{1/2}}$_{\Gamma_\varepsilon} q(t) = \frac{1}{\sqrt{\pi}}\int_{\Gamma_\varepsilon} \frac{\dot q(\Re\tau)}{(\tau-t)^{1/2}}\,d\tau\bigg|_{\arg\in[-\pi,\pi)}, $$ with the contour running along $s-i\varepsilon$ and $s+i\varepsilon$. In the $\varepsilon\to0^+$ limit it becomes $2i$ times the ordinary left-sided Caputo half-derivative, and the jump across the contour turns a half-plus-half composition into an ordinary first derivative, either through the semigroup property of fractional integrals or, in the appendix, through the standard Cauchy-kernel jump formula. This object carries the argument: it makes left and right fractional derivatives interchangeable without collapsing the interval $[t_0,t_1]$, the step that earlier fractional Lagrangians had to take.
What would settle it
Evaluate $\operatorname{Im}\delta S$ from equation (69) for a simple trajectory such as $q(t)=A\sin(\pi(t-t_0)/(t_1-t_0))$ and a generic allowed perturbation $\eta(t)=\sin(\pi(t-t_0)/(t_1-t_0))$, keeping the branch arguments explicit. If $\operatorname{Im}\delta S\neq0$ for such real variations, or if $\delta S=0$ only after discarding the imaginary part by an unstated rule, then the fundamental lemma has been applied to a complex condition and equation (71) is not the full stationarity condition.
Extended reading notes
Core claim
On the paper's own terms, the central claim is that the friction term $\gamma\dot q$ follows from a genuine variational principle once the Lagrangian is taken as $$L = \frac{m\dot $q^{2}$}{2} - U(q) + \frac{i\gamma}{8}\bigl( {}_C $D^{{1/2}}$_{\Gamma_\varepsilon} q(t)\bigr)^2,$$ with the contour Caputo half-derivative integrated along a contour that passes below and above the real axis. Varying the complex action $S[q]$ with the integration element on the branch $\arg\in[0,2\pi)$ and the fractional kernel on the branch $\arg\in[-\pi,\pi)$ gives, after the $\varepsilon\to0$ limit and the standard jump formula for the Cauchy-type kernel, the Euler-Lagrange equation $$-\gamma\dot q = \frac{d}{dt}\frac{\partial L}{\partial \dot q} - \frac{\partial L}{\partial q},$$ the Hamilton-like system (81), and the energy law $dE/dt = -\gamma \dot q^2$. The paper interprets the intersection $[0,\pi)$ of the two argument intervals modulo the $4\pi$ periodicity of the square root as the geometric locus where the point system and the medium exchange energy.
Load-bearing premise
The whole construction depends on the claim that making a complex action stationary yields one real equation for the motion; the calculation never evaluates the imaginary part of the action's change, and it switches branch conventions for the square root without proving that the switch is harmless.
Editorial extensions
If this is right
- For a particle with linear friction, the paper's Lagrangian yields $m\ddot q+\gamma\dot q=-dU/dq$ directly, so the friction term is obtained without auxiliary coordinates or a dissipation function.
- The Hamiltonian system (81) has two canonical momenta, $p=\partial L/\partial\dot q$ and $p_{1/2}=\partial L/\partial q^{(1/2)}$, and reproduces the same dynamics, giving a phase-space description without a short-time limit.
- The derived energy balance $dE/dt=-\gamma\dot q^2$ matches the mechanical power of the friction force, and the Hamiltonian's imaginary sector accounts for the dissipated part of the energy.
- The branch-intersection picture offers a geometric reading of openness: the point system lives on one square-root branch, the medium on another, and their interaction is concentrated in the $\mod 4\pi$ intersection $[0,\pi)$ of the two argument intervals.
Reading between the lines
- If the contour construction is consistent, the same branch-intersection mechanism should generalize to other fractional orders, producing dissipative equations of motion with derivatives of order $2\alpha$ from quadratic terms in an $\alpha$-derivative; the paper itself only works out the half-order case.
- The imaginary part of $\delta S$, which the paper never computes, may carry its own physics: since the Hamiltonian has an imaginary sector, a natural next step would be to check whether $\operatorname{Im}\delta S$ encodes entropy production or a fluctuation-dissipation relation.
- A direct numerical test on a finite interval, such as a damped oscillator with $q(t)=A\sin(\omega t)$ and a standard perturbation vanishing at the endpoints, could resolve how much of the result depends on the $\varepsilon\to0$ ordering and on the unstated projection onto the real part of the stationarity condition.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a variational principle for a one-dimensional particle with linear friction. The Lagrangian is L = m qdot^2/2 - U(q) + (i gamma/8)(C D^{1/2}_{Gamma_epsilon} q)^2, where the fractional derivative is defined by a contour integral with a branch cut. The authors claim that the stationarity of this complex action yields the damped Euler-Lagrange equation -gamma qdot = d/dt(dL/dqdot) - dL/dq (Eq. 71), a Hamilton-like system (Eq. 81), and the energy dissipation law dE/dt = -gamma qdot^2 (Eq. 87), all without the unphysical a-to-b limit used by Riewe and by Lazo and Krumreich. The paper also offers a geometric interpretation of dissipation through complex-time branch intersections.
Significance. If the central derivation were valid, the paper would provide a single-Lagrangian variational description of linearly damped motion, which has been a long-standing problem in the field, and it would also supply a candidate Hamiltonian structure and an explicit dissipation law. The authors rightly identify genuine shortcomings of earlier fractional-action approaches, and the contour-derivative idea is original. However, the advertised results are not established by the manuscript: the complex action is reduced to one real Euler-Lagrange equation without any treatment of its imaginary part, the branch choices are switched without justification, and the final step of the appendix is asserted rather than computed. The paper is therefore currently a suggestive proposal rather than a derivation.
major comments (5)
- [Section V.A, Eqs. (57)-(71)] The reduction of delta S = 0 to the single real equation (71) is unsupported. In the epsilon-to-0 limit of Section III, the contour derivative is w = C D^{1/2}_{Gamma_epsilon} q = 2i C_{t0}D^{1/2}_t q, so for real q the quantity partial L/partial w = i gamma w / 4 is real, while delta w = 2i C D^{1/2}_t eta is purely imaginary for every real test function eta. Hence the integrand (partial L/partial w) delta w is purely imaginary, and integration by parts in Eqs. (66)-(68) cannot change this character. The fractional contribution in Eq. (69) is therefore imaginary, whereas the right-hand side of Eq. (70) is real. The paper never computes the imaginary part of delta S and never states a projection rule; without such a rule, delta S = 0 cannot produce Eq. (71).
- [Section IV and Eqs. (57)-(69)] The branch of the complexified time is switched without justification. The action integral is defined with arg C in [0, 2 pi), while the fractional derivative is defined with arg C in [-pi, pi), and after Eq. (65) the whole first variation is declared to be evaluated with arg C in [-pi, pi). Half-integer powers change sign under such branch changes, and the paper itself exhibits this: in Appendix A, Eq. (A10) assigns (tau - i epsilon - t0)^{1/2} -> -sqrt(tau - t0) under arg C in [0, 2 pi), whereas Eq. (A14) assigns (s - i epsilon - t0)^{1/2} -> +sqrt(s - t0) under arg C in [-pi, pi). Since the sign and coefficient of the friction force are exactly what the derivation is trying to obtain, this branch bookkeeping is load-bearing and cannot be left to an unexplained convention.
- [Appendix A, Eqs. (A16)-(A18)] The final step from the Sokhotski-Plemelj formula to -gamma qdot(tau) is not carried out. Formula (A16) applies to a difference of integrals with denominator s - tau - i epsilon and s - tau + i epsilon, but the expressions in (A17) contain additional factors such as (s - t1)^{1/2} and (s - t0)^{1/2} outside the standard formula, and their distributional limits compete with the pole contribution. The paper simply states the result in Eq. (A18). Without an explicit evaluation of these principal-value and half-power contributions, Eq. (71) remains an assertion rather than a derived statement.
- [Section VI and Appendix B] The Hamilton-like system (81) is based on an ad hoc treatment of q^{(1/2)} as an independent projection, and the paper itself concedes in Appendix B that no Ostrogradsky-type factorization yields consistent Hamilton equations for this model. The Legendre transformation treats q^{(1/2)} as an independent coordinate, but the canonical momentum p_{1/2} = partial L/partial q^{(1/2)} is then complex, and the paper does not establish a complex Hamilton variational principle that would justify this system. Thus Eqs. (81) are not derived from the action principle; they are a postulated structure whose compatibility with Eq. (71) is checked only informally.
- [Section VII, Eqs. (83)-(87)] The energy dissipation law is not an independent result; it is an algebraic consequence of the equation of motion already inserted. In Eq. (84) the term lim D^{1/2} p_{1/2} is replaced by -gamma qdot, which is precisely the Euler-Lagrange/Hamilton equation, and Eq. (85) defines E through H = E - (2i/gamma) p_{1/2}^2. Comparing Eqs. (84) and (86) then forces dE/dt = -gamma qdot^2. This is a restatement of the equation of motion, not a separate prediction of the Lagrangian formalism.
minor comments (5)
- [Section II.D] The sentence beginning 'The leads to substantial mathematical problems' should read 'This leads to substantial mathematical problems.'
- [Section III, Definition III.1] The orientation of the contour Gamma_epsilon is not specified in Definition III.1 itself; the reader must infer it from Fig. 1 and the subsequent parameterization. The definition should state the orientation and the fact that both horizontal branches are traversed.
- [Section IV, Eq. (45)] The 'intersection modulo 4 pi' operation A cap_sqrt B is not a well-defined operation on subsets of R as written, because the equivalence classes depend on shifts by multiples of 4 pi and the final representative is chosen arbitrarily. The claim that the intersection 'reduces to [0, pi)' needs a precise definition of the equivalence relation and the chosen representatives.
- [Eq. (52)] The prefactor i gamma / 8 is introduced without derivation; in particular, the 1/8 normalization is fixed only by demanding the final result -gamma qdot, so the construction has a free normalization that is not explained by the fractional calculus itself.
- [References] References [12] and [13] do not appear to be cited in the body of the manuscript; either cite them where relevant or remove them from the reference list.
Circularity Check
No significant circularity; the Euler-Lagrange and energy results are computed consequences of an explicit Lagrangian ansatz, not re-fitted inputs.
full rationale
I find no circular step in the paper. The target equation of motion, Eq. (2), is introduced as a problem statement, and the fractional Lagrangian in Eq. (52) is an explicit ansatz containing the same parameter gamma. The derivation of Eq. (71) from delta-S = 0 proceeds through Eqs. (57)-(70) and Appendix A, which is a nontrivial contour-derivative computation that does not assume Eq. (2). The coefficient gamma indeed appears both in the Lagrangian and in the resulting Euler-Lagrange equation, but that is the normal role of a coupling constant in a variational construction, not a fitted parameter renamed as a prediction. The energy law Eq. (87) is obtained after defining E in Eq. (85) as H + (2i/gamma) p_{1/2}^2; this definition makes E equal to the mechanical energy p^2/2m + U, and dE/dt = -gamma qdot^2 is then the standard consequence of the equation of motion, not a circularly imported result. The paper contains no load-bearing self-citations, no uniqueness theorem imported from the authors' prior work, and no ansatz smuggled in via citation. The serious mathematical concerns about the complex action - in particular that the fractional variation appears purely imaginary while Eq. (70) compares it to a real quantity, and the unheralded branch switch from [0,2pi) to [-pi,pi) - are correctness or validity issues, not circularity, and therefore do not raise the circularity score. The derivation chain is self-contained; whether it is sound is a separate question. Score 0.
Assumptions & free parameters
free parameters (2)
- friction coefficient gamma in the fractional Lagrangian term =
given input gamma>0
- Lagrangian prefactor i gamma/8 (including the 1/8 normalization and imaginary unit) =
i gamma/8
assumptions (7)
- standard math Sokhotski-Plemelj formula (A16).
- standard math Fundamental lemma of the calculus of variations.
- standard math Semigroup property of Riemann-Liouville fractional integrals.
- domain assumption Regularity assumptions q in C^2([t0,t1]), eta in C^1 with eta(t0)=eta(t1)=0.
- ad hoc to paper A complex action can be varied and the stationarity condition yields one real Euler-Lagrange equation.
- ad hoc to paper Interchange of the epsilon to 0 limit with d/dt and with the integrals is permitted.
- ad hoc to paper The half-derivative q^(1/2) can be treated as an independent projection in the Legendre transform.
invented entities (2)
-
Contour Caputo fractional derivative C D^{1/2}_{Gamma_epsilon}
-
Complex time branch of the medium with 4-pi-periodic intersection
Cite this review
Pith. "Pith review of The principle of stationary action and Lagrangian for dissipative dynamics with velocity-proportional frictional force." pith.science (2026). https://pith.science/paper/N5JBZA52
@misc{pith2026260813413,
author = {Pith},
title = {Pith review of: The principle of stationary action and Lagrangian for dissipative dynamics with velocity-proportional frictional force},
year = {2026},
howpublished = {\url{https://pith.science/paper/N5JBZA52}},
note = {Machine review of arXiv:2608.13413}
}
read the original abstract
It has been known for a long time that the equation of motion for dissipative linear dynamical systems with constant coefficients cannot be derived from the classical principle of stationary action because the term proportional to velocity in the equation of motion leads to the time derivative of order one half in the Lagrangian. Thus, approaches utilising fractional calculus have been used; however, they suffer from deficiencies both from mathematical and physical points of view. We here present our version of such fractional calculus based approach that provides correct Euler-Lagrange and, ultimately, the Hamilton equations, energy change of the moving body, and an attempt for a geometric interpretation of how energy dissipates.
Figures
Reference graph
Works this paper leans on
-
[1]
J. W. Strutt,Some General Theorems relating to Vibrations, Proceedings of the London Math- ematical Society, vol. s1-4, no. 1, pp. 357-368, 1871. doi: 10.1112/plms/s1-4.1.357
-
[2]
P. S. Bauer,Dissipative Dynamical Systems: I, Proceedings of the National Academy of Sciences of the United States of America, vol. 17, no. 5, pp. 311-314, May 1931. doi: 10.1073/pnas.17.5.311. PMID: 16577367; PMCID: PMC1076051. 23
-
[3]
K. W. H. Stevens,The Wave Mechanical Damped Harmonic Oscillator, Proceedings of the Physical Society, vol. 72, p. 1027, 1958
work page 1958
-
[4]
Bateman,On Dissipative Systems and Related Variational Principles, Physical Review, vol
H. Bateman,On Dissipative Systems and Related Variational Principles, Physical Review, vol. 38, pp. 815, August 1931
work page 1931
-
[5]
H. Dekker,Classical and Quantum Mechanics of the Damped Harmonic Oscillator, Physics Reports (Review Section of Physics Letters), vol. 80, no. 1, pp. 1-112, 1981
work page 1981
-
[6]
H. Dekker,On the Quantization of Dissipative Systems in the Lagrange-Hamilton Formalism, Zeitschrift f¨ ur Physik B, vol. 21, pp. 295-300, 1975
work page 1975
-
[7]
Riewe,Nonconservative Lagrangian and Hamiltonian mechanics, Physical Review E, vol
F. Riewe,Nonconservative Lagrangian and Hamiltonian mechanics, Physical Review E, vol. 53, no. 2, pp. 1890-1899, February 1996
work page 1996
-
[8]
M. J. Lazo and C. E. Krumreich,The action principle for dissipative systems, Journal of Mathematical Physics, vol. 55, 122902, 2014. doi: 10.1063/1.4903991
Show all 15 references
-
[9]
C. R. Galley,Classical Mechanics of Nonconservative Systems, Physical Review Letters, vol. 110, no. 17, p. 174301, 2013. doi: 10.1103/PhysRevLett.110.174301
2013 doi
-
[10]
S. G. Samko, A. A. Kilbas, and O. I. Marichev,Fractional Integrals and Derivatives—Theory and Applications, Gordon and Breach, Linghorne, PA, 1993, Chapter 1, p. 34
1993
-
[11]
L. D. Landau, E. M. Lifshitz,Electrodynamics of Continuous Media
-
[12]
O. P. Agrawal,Generalized Euler Lagrange Equations and Transversality Conditions for FVPs in terms of the Caputo Derivative, Journal of Vibration and Control, vol. 13, no. 9-10, pp. 1217-1237, September 2007
2007
-
[13]
E. R. Love and L. C. Young,On Fractional Integration by Parts, Proceedings of the London Mathematical Society, [Received 26 April, 1937.—Read 20 May, 1937]
1937
-
[14]
Ostrogradsky,M´ emoire sur les ´ equations diff´ erentielles relatives au probl` eme des isop´ erim` etres, M´ emoires de l’Acad´ emie des Sciences de Saint-P´ etersbourg, vol
M. Ostrogradsky,M´ emoire sur les ´ equations diff´ erentielles relatives au probl` eme des isop´ erim` etres, M´ emoires de l’Acad´ emie des Sciences de Saint-P´ etersbourg, vol. VI, no. 4, pp. 385–517, 1850
-
[15]
Harmanni,Higher Order Lagrangians for Classical Mechanics and Scalar Fields, Bachelor Research, University of Groningen, Faculty of Mathematics and Natural Sciences, 2016
F. Harmanni,Higher Order Lagrangians for Classical Mechanics and Scalar Fields, Bachelor Research, University of Groningen, Faculty of Mathematics and Natural Sciences, 2016. 24
2016
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.