REVIEW 5 minor 23 references
d'Alembert's Functional Equation and a Globally Convex Free-Action Principle on Positive Paths
T0 review · 0 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read Starting from d'Alembert's functional equation and one step-evaluation postulate, the paper proves the cosh kinetic action is strongly convex, with a unique global minimizer and an exact Bregman gap identity.
desk verdict A clean, honest paper that proves a correct but elementary convexity theorem; the d'Alembert framing is provocative but the load-bearing assumption is clearly labeled, and the mechanics bridge is properly conditional. 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 cosh kinetic action A[γ]=∫(cosh ξ̇−1)dt with ξ=log γ, built from the d'Alembert-calibrated cost via Postulate 2.10. The load-bearing mechanism is the log change of coordinates, which converts multiplicative (geometric) interpolation of positive paths into affine interpolation in log space; pointwise strong convexity of cosh (second derivative ≥1) then propagates through integration to give 1-strong convexity of A with an explicit L² slack. The exact action gap uses the cosh Bregman divergence D_K(v∥w)=cosh v−cosh w−sinh w(v−w), and the Friedrichs (Wirtinger) inequality supplies the quantitative lower bound. The whole package is interpreted dually-flat/Hessian in the
What would settle it
A numerical search over fixed-endpoint positive paths in a high-resolution spline basis that finds any path with action smaller than the uniform-log-velocity path would refute the global-minimizer claim; equivalently, computing the action gap for a non-geodesic path and checking whether A[γ]−A[γ*] is strictly less than the Bregman integral would invalidate the Pythagorean identity. The theorem predicts the gap is exactly that integral, so any discrepancy within numerical precision would be a counterexample.
Extended reading notes
Core claim
Calibrated d'Alembert's equation H(t+u)+H(t-u)=2H(t)H(u) with H(0)=1 and H''(0)=1 selects H(t)=cosh t. Writing the positive half-line in log coordinates ξ=log x, the induced log-cost is eJ(ξ)=cosh ξ−1. The paper's single postulate (Postulate 2.10) evaluates this cost at the log-velocity ξ̇, producing the kinetic action A[γ]=∫(cosh ξ̇−1)dt. The central theorem (Theorem 4.2) states that A is 1-strongly convex along geometric interpolation of paths, meaning A[interp×(γ1,γ2,s)] ≤ (1−s)A[γ1]+sA[γ2]−s(1−s)/2 ∫(ξ̇1−ξ̇2)²dt. Consequently (Corollary 4.10) the unique fixed-endpoint minimizer is the uniform-log-velocity path γ*(t)=exp(log x_a + (t−a)/(b−a)(log x_b−log x_a)), and the action gap obeys th
Load-bearing premise
The entire kinetic action and its convexity rest on Postulate 2.10, the modeling choice to evaluate the d'Alembert log-cost at the log-velocity ξ̇ rather than at the log-position ξ; d'Alembert's equation itself fixes the function cosh−1 but says nothing about its argument.
Editorial extensions
If this is right
- Global minimality without calculus: a one-sided chord condition along geometric interpolation characterizes global minimizers, replacing stationary-action checks with a pure convexity argument.
- Closed-form geodesic: for any fixed positive endpoints, the unique minimizer of the free action is the uniform-log-velocity path, with action A*(T,Δ)=T(cosh(Δ/T)−1).
- Exact gap identity: A[γ]−A[γ*]=∫D_K(ξ̇∥ξ̇*)dt, so the action gap is a Bregman divergence; the Friedrichs–Poincaré bound gives A[γ]−A[γ*] ≥ π²/(2(b−a)²) ∥log(γ/γ*)∥²_L².
- Perspective/subadditivity: A* is jointly convex in (T,Δ) and positively 1-homogeneous, so geodesic concatenation is subadditive: splitting an interval never beats the single geodesic.
- Conditional physics bridge: with four additional postulates (kinematic embedding, mass coupling, time calibration, Hamiltonian-primary Legendre structure), the cosh action has the Newtonian small-step limit and rapidity profile m(γ_L−1), but the cosh-dual Hamiltonian is strictly larger than the SR free Hamiltonian.
Reading between the lines
- If the theorem transfers to higher dimensions (componentwise on R^n_{>0} or symmetric positive-definite matrices), the same log-space convexity might give explicit minimizers for matrix-valued interpolation problems, potentially connecting to Bures–Wasserstein geometry.
- The exact Bregman gap suggests a projection/geodesic interpretation: the uniform-log-velocity path is the Bregman projection of any path onto the endpoint constraint, so the action principle is a one-dimensional instance of a more general geodesic-convexity-plus-projection result for Bregman energies.
- Because the strong convexity slack is exactly the L² difference of log-velocities, the action gap can serve as a data-driven distance between positive paths, yielding a divergence for shape analysis or time-series alignment on positive data.
- The exponential barrier for large log-displacement over short times (A* ~ ½ e^{|Δ|/T}T) suggests the cosh action as a regularizer in optimal control, penalizing sudden jumps; this testable property could guide path-planning on positive variables.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the kinetic action A[γ]=∫_a^b (cosh ξ̇ −1)dt with ξ=log γ, interpreted as the d'Alembert-calibrated cost evaluated at the log-velocity (Postulate 2.10). The central result (Theorem 4.2) is that A is 1-strongly convex under geometric/log-space interpolation of positive paths, with explicit quadratic slack. This yields a chord-form characterization of global minimality (Theorem 4.7), the unique uniform-log-velocity minimizer for fixed endpoints (Corollary 4.10), an exact Bregman/Pythagorean gap identity (Theorem 4.13) with Friedrichs–Poincaré lower bound (Corollary 4.15), and the joint convexity/1-homogeneity of the minimum-action profile A*(T,Δ) (Proposition 4.16), together with a dually-flat reading. The authors then build a conditional bridge to Newtonian and rapidity mechanics via four additional postulates, prove the Newtonian small-velocity limit, and stress (Proposition 6.9) that the cosh-dual Hamiltonian is not the special-relativistic free-particle Hamiltonian. Finally, they show that adding a non-affine strictly convex potential destroys joint convexity and restores the classical stationary-action/conjugate-point picture (Section 8).
Significance. If the results hold, the paper offers a clean, fully proven example where a functional equation, supplemented by one explicitly named modeling postulate, produces a globally—not just locally—minimizing free action with a closed-form geodesic and exact quantitative gap. The authors are unusually careful in delimiting what is forced by d'Alembert's equation (the function cosh−1) and what is postulated (evaluation at the log-velocity), and in separating the mathematical theorem from the conditional physical bridge. The central proofs are complete and self-contained, with explicit constants in the strong-convexity slack, the Friedrichs constant, and the sharp quartic remainder. The paper also provides a useful dually-flat/Hessian interpretation. The main limitations—the conditional status of the mechanics bridge and the open k=m boundary in Proposition 6.19—are transparently acknowledged and do not affect the free-sector claim.
minor comments (5)
- [Remark 4.6] The heading 'Vacuity of the boundary cases 0 = 1' appears to contain a typo: it should read 's0 = 1'. Also, 'Ats0 = 1' is missing a space.
- [Section 4.2 / Theorem 4.2] In the equality clause, 'equivalently, γ2/γ1 is constant on [a,b]' might be clearer as 'equivalently, ξ2 − ξ1 is constant on [a,b]' (equivalently γ2/γ1 is constant), since the proof works with ξ. This is purely stylistic.
- [Section 6.3 / Proposition 6.19] The k=m boundary case is explicitly left open. The manuscript handles this honestly; a sentence indicating that a second-order transverse analysis would be required would further help the reader, but this is not necessary.
- [Section 9.1] The statement that 'the only one forced by the d'Alembert calibration is the native cosh–sinh Lagrangian' could be misread, since L_nat also requires the Hamiltonian-primary Legendre structure and the independent binding coupling k. Suggest adding 'together with the Hamiltonian-primary and additive-cost postulates of §6' for precision.
- [Abstract / Introduction] The phrase 'Calibrated d'Alembert forces the cosh cost' is accurate, but since the kinetic action also depends on Postulate 2.10, consider a small rewording such as 'forces the cosh cost function' to avoid any appearance that the action itself is forced without the postulate. The paper's own Remark 2.11 already makes this clear.
Circularity Check
No significant circularity: the central convexity theorem is conditional on an explicitly named postulate, and no derivation step reduces to its own input.
full rationale
The derivation chain is self-contained conditional on Postulate 2.10. The d'Alembert classification (Theorem 2.2) is recalled from external sources (Aczél, Stetkær), and the calibration H''(0)=1 is an explicitly stated unit choice, not a hidden input. The kinetic cost K(v)=cosh(v)-1 is not claimed to follow from d'Alembert alone: Postulate 2.10 names the step-evaluation choice, and Remark 2.11 says plainly it is a modeling postulate, not a consequence of d'Alembert's equation. Strong convexity of A (Theorem 4.2) is proved directly from pointwise 1-strong convexity of cosh under geometric interpolation, with an explicit equality clause; it does not presuppose the minimizer or the action gap. Corollary 4.10 is a Jensen-inequality argument; Theorem 4.13 is an exact Bregman rearrangement whose linear term vanishes because the endpoints are shared; Corollary 4.15 uses the standard one-dimensional Friedrichs inequality. None of these steps is fitted, renamed, or defined in terms of its conclusion. The self-citations [2,3,4] provide the interpretive 'comparison ratio' framing, but the paper explicitly states these upstream choices are inputs, not consequences of the free-sector analysis; the convexity theorem stands independently of them. The paper also flags its own possible circularity concern in Remarks 4.6 and 4.9 by requiring an interior chord parameter s0 in (0,1) so the hypothesis does not degenerate into the conclusion. The physical bridge is explicitly conditional (Section 6, Remark 6.2, Proposition 6.9) and disclaims identity with the special-relativistic Hamiltonian. The unresolved k=m boundary case in Proposition 6.19 is a limitation, but it is not central to the free-sector theorem and does not create circularity. No circular step is exhibited.
Assumptions & free parameters
free parameters (2)
- mass coupling m
- binding coupling k
assumptions (5)
- standard math d'Alembert's functional equation with continuity and calibration H(0)=1, H''(0)=1 forces H(t)=cosh t (Aczél classification).
- ad hoc to paper Postulate 2.10: the d'Alembert log-cost is evaluated at the log-velocity ξ̇ rather than the log-position ξ.
- ad hoc to paper Kinematic embedding q=ξ (or q=c t₀ ξ in standard units) and φ=dξ/dτ identified as rapidity.
- ad hoc to paper Hamiltonian primacy: H=T_H(p)+V(ξ) is primary; the Lagrangian is its Legendre dual.
- domain assumption Interpretation of R_{>0} as comparison ratios in the cost-first ledger framework.
Cite this review
Pith. "Pith review of d'Alembert's Functional Equation and a Globally Convex Free-Action Principle on Positive Paths." pith.science (2026). https://pith.science/paper/EIKBY2LT
@misc{pith2026260722594,
author = {Pith},
title = {Pith review of: d'Alembert's Functional Equation and a Globally Convex Free-Action Principle on Positive Paths},
year = {2026},
howpublished = {\url{https://pith.science/paper/EIKBY2LT}},
note = {Machine review of arXiv:2607.22594}
}
abstract
We study the kinetic action that d'Alembert's functional equation induces on positive paths in $\Rplus$, and prove it strongly convex. Calibrated d'Alembert forces the cosh cost $\Jcost(x)=\tfrac12(x+x^{-1})-1$, i.e.\ $\Jlog(\xi)=\cosh\xi-1$ in the log coordinate $\xi=\log x$. Evaluating this log-cost at the log-\emph{velocity} $\dot\xi$ rather than the log-position -- a single postulate (Postulate~\ref{post:step}) -- yields $\actionA[\gamma]=\int_a^b(\cosh\dot\xi-1)\,dt$, strongly convex under geometric (log-space) interpolation. This convexity has three consequences, none requiring an Euler--Lagrange equation, a Fr\'echet derivative, or a second variation. First, a one-sided chord condition characterizes global minimality. Second, the unique fixed-endpoint minimizer is the uniform-log-velocity path. Third, the action gap obeys an exact Bregman / Pythagorean identity $\actionA[\gamma]-\actionA[\gamma_*]=\int D_\Kkin(\dot\xi\,\|\,\dot\xi_*)\,dt$, sharpened by a quantitative Friedrichs--Poincar\'e bound on $\log(\gamma/\gamma_*)$. It has a dually-flat / Hessian-manifold reading in the additive coordinate $\xi$. \\ This theorem is purely mathematical, and we delimit it. The bridge to Newtonian and rapidity mechanics is \emph{conditional}, requiring structure beyond Postulate~\ref{post:step}: a kinematic embedding, a mass coupling, a time calibration, and a Hamiltonian-primary Legendre structure. Granted these, the cosh action recovers the Newtonian small-step limit and the rapidity profile $\Kkin_m(\phi)=m(\gamma_L-1)$; yet the cosh-dual Hamiltonian is \emph{not} the special-relativistic free-particle Hamiltonian (Proposition~\ref{prop:not-SR}), the agreement being one of profile, not an identity of Hamiltonians. Global minimality is a free-sector phenomenon: once a non-affine strictly convex potential is added, joint convexity is lost and the classical stationary-action picture returns.
Reference graph
Works this paper leans on
-
[1]
V. I. Arnold.Mathematical Methods of Classical Mechanics. Graduate Texts in Mathemat- ics, vol. 60. Translated by K. Vogtmann and A. Weinstein. Springer-Verlag, New York, 2nd edition, 1989
1989
-
[2]
Coherent Comparison as Informa- tion Cost: Axiomatic Foundations for Discrete Ledger Dynamics
Pardo-Guerra, S.; Thapa, A.; Simons, M.; Washburn, J. Coherent Comparison as Informa- tion Cost: Axiomatic Foundations for Discrete Ledger Dynamics. Foundations 2026, 6, 17. https://doi.org/10.3390/foundations6020017
-
[3]
Uniqueness of the Canonical Reciprocal Cost
Washburn, J.; Zlatanović, M. Uniqueness of the Canonical Reciprocal Cost. Mathematics 2026, 14, 935. https://doi.org/10.3390/math14060935
-
[4]
Multidimensional Cost Geometry
Washburn, J.; Zlatanović, M.; Beltracchi, P. Multidimensional Cost Geometry. Axioms 2026, 15, 378. https://doi.org/10.3390/axioms15050378
-
[5]
Aczél.Lectures on Functional Equations and Their Applications
J. Aczél.Lectures on Functional Equations and Their Applications. Academic Press, New York, 1966
1966
-
[6]
Stetkær.Functional Equations on Groups
H. Stetkær.Functional Equations on Groups. World Scientific, Singapore, 2013
2013
-
[7]
L. M. Bregman. The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming.USSR Computational Mathematics and Mathematical Physics, 7(3):200–217, 1967
1967
-
[8]
Amari and H
S. Amari and H. Nagaoka.Methods of Information Geometry. Translations of Mathemat- ical Monographs, vol. 191. American Mathematical Society, Providence, RI, and Oxford University Press, Oxford, 2000. 35
2000
Show all 23 references
-
[9]
Shima.The Geometry of Hessian Structures
H. Shima.The Geometry of Hessian Structures. World Scientific, Hackensack, NJ, 2007
2007
-
[10]
R. T. Rockafellar.Convex Analysis. Princeton Mathematical Series, vol. 28. Princeton University Press, Princeton, NJ, 1970
1970
-
[11]
Boyd and L
S. Boyd and L. Vandenberghe.Convex Optimization. Cambridge University Press, Cam- bridge, 2004
2004
-
[12]
G. H. Hardy, J. E. Littlewood, and G. Pólya.Inequalities. Cambridge University Press, Cambridge, 2nd edition, 1952
1952
-
[13]
E. Noether. Invariante Variationsprobleme.Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-physikalische Klasse, 235–257, 1918
1918
-
[14]
Bessel-Hagen
E. Bessel-Hagen. Über die Erhaltungssätze der Elektrodynamik.Mathematische Annalen, 84(3–4):258–276, 1921
1921
-
[15]
P. J. Olver.Applications of Lie Groups to Differential Equations. Graduate Texts in Mathematics, vol. 107. Springer-Verlag, New York, 2nd edition, 1993
1993
-
[16]
I. M. Gelfand and S. V. Fomin.Calculus of Variations. Translated and edited by R. A. Sil- verman. Prentice-Hall, Englewood Cliffs, NJ, 1963; Dover reprint, 2000
1963
-
[17]
Arsigny, P
V. Arsigny, P. Fillard, X. Pennec, and N. Ayache. Geometric means in a novel vector space structure on symmetric positive-definite matrices.SIAM Journal on Matrix Analysis and Applications, 29(1):328–347, 2007
2007
-
[18]
Bhatia, T
R. Bhatia, T. Jain, and Y. Lim. On the Bures–Wasserstein distance between positive definite matrices.Expositiones Mathematicae, 37(2):165–191, 2019
2019
-
[19]
J. G. Skellam. The frequency distribution of the difference between two Poisson variates belonging to different populations.Journal of the Royal Statistical Society, 109(3):296, 1946
1946
-
[20]
C. Léonard. A survey of the Schrödinger problem and some of its connections with optimal transport.Discrete and Continuous Dynamical Systems, 34(4):1533–1574, 2014
2014
-
[21]
F. Otto. The geometry of dissipative evolution equations: the porous medium equation. Communications in Partial Differential Equations, 26(1–2):101–174, 2001
2001
-
[22]
Ambrosio, N
L. Ambrosio, N. Gigli, and G. Savaré.Gradient Flows in Metric Spaces and in the Space of Probability Measures. Lectures in Mathematics ETH Zürich. Birkhäuser, Basel, 2nd edition, 2008
2008
-
[23]
Villani.Optimal Transport: Old and New
C. Villani.Optimal Transport: Old and New. Grundlehren der mathematischen Wis- senschaften, vol. 338. Springer-Verlag, Berlin, 2009. 36
2009
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.