REVIEW 2 major objections 2 minor 42 references
On the dynamics of contact Hamiltonian systems II: Variational construction of asymptotic orbits
T0 review · 2 major / 2 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Assuming ordered convergence of the forward and backward solution semigroups for a common initial function, the paper constructs a complete orbit of the contact Hamiltonian flow whose past limit lies on the lower Mane slice and whose…
desk verdict The core characteristics method and Theorem A are solid, but the Lemma 4.4 argument for Theorem B's heteroclinic orbits is genuinely wrong, so the paper's headline result is unproven as written. 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 load-bearing object is the Mane slice $\widetilde{\mathcal{N}}_u$, a compact $\Phi^t_H$-invariant set obtained by intersecting backward or forward images of the 1-pseudograph of a weak KAM solution $u$; it is the action-minimizing set associated with that solution. The mechanism is a global characteristics method (Theorem 2.11) extending classical characteristics to all times: for each $(x,t)$ there is $Z_0 \in \mathcal{J}^1_\varphi$ whose orbit segment satisfies $u(\tau) = T^-_\tau \varphi(x(\tau))$ and $p(\tau) = \partial_x T^-_\tau \varphi(x(\tau))$, so the orbit stays on the graph of the viscosity solution. This converts semigroup convergence into pre-compact families of orbit segments, whose limits are the desired semi-infinite and heteroclinic orbits. The action functions $h_{x_0,u_0}$ and their Markov property supply the variational estimates.
What would settle it
For a Hamiltonian satisfying (H1)-(H3) with a forward limit $v_+$ that is not a backward weak KAM solution, compute $T^-_t v_+$; if the inequality $\|T^-_{t_\varepsilon} \varphi_\varepsilon - v_+\|_\infty \le e^{\lambda t_\varepsilon} \varepsilon$ used in Lemma 4.4 fails for some small $\varepsilon$, the proof of the heteroclinic construction loses its lower bound on $t_\varepsilon$ and the construction in (B2) would need a different estimate.
Extended reading notes
Core claim
The central discovery is a variational duality: large-time convergence of the solution semigroups governing the evolutionary Hamilton-Jacobi equation forces the existence of asymptotic orbits of the contact flow, even though the flow has no monotonicity. Theorem A shows that uniform convergence $T^-_t \varphi \to u_-$ implies that some $Z \in \mathcal{J}^1_\varphi$ has $\omega(Z) \subset \widetilde{\mathcal{N}}_{u_-}$, and that the pseudograph $\mathcal{J}^1_{u_-}$ is contained in the forward saturation of $\mathcal{J}^1_\varphi$. Theorem B shows that if the same initial datum gives forward convergence to $v_+$ and backward convergence to $u_-$ with $v_+ < u_-$, then a complete orbit exists with $\alpha(Z) \subset \widetilde{\mathcal{N}}_{v_+}$ and $\omega(Z) \subset \widetilde{\mathcal{N}}_{u_-}$; part (B1) rules out the reversed ordering. The proof uses a global characteristics method: for every terminal point $(x,t)$ one can find an orbit of the flow starting on $\mathcal{J}^1_\varphi$ that stays on the graph of the viscosity solution $U(x,t) = T^-_t \varphi(x)$ with $p = \partial_x U$, so semigroup convergence can be converted into orbit convergence.
Load-bearing premise
The proof of the key time-scale lemma in Theorem B treats the forward weak KAM limit $v_+$ as a fixed point of the backward solution semigroup when applying the exponential estimate; the assumptions only give that $v_+$ is fixed by the forward semigroup, so this premise is not guaranteed and the lower bound on $t_\varepsilon$ depends on it.
Editorial extensions
If this is right
- If $T^-_t \varphi$ converges uniformly to $u_-$, then $\omega(Z) \subset \widetilde{\mathcal{N}}_{u_-}$ for some $Z$ in the 1-jet of $\varphi$; convergence of the PDE alone forces a genuine orbit of the contact flow asymptotic to the Mane slice.
- If both semigroups converge from the same initial datum and $v_+ < u_-$, a complete orbit connecting $\widetilde{\mathcal{N}}_{v_+}$ to $\widetilde{\mathcal{N}}_{u_-}$ exists, and no orbit can connect in the opposite order.
- The connecting orbits built in (B2) are global action minimizers; in the model Hamiltonian $H = p^2 + \sin x \cdot u - \tfrac14$ they can have nonzero energy and therefore are not semi-static.
- For the model $H = F(x,p) + \lambda(x)u$ with sign-changing $\lambda$, global action-minimizing orbits are classified by the initial action value relative to the two extremal weak KAM solutions: initial data above the upper solution converge forward to $\widetilde{\mathcal{N}}_{\bar u_-}$, below the lower solution escape in action, and between them give heteroclinic connections.
Reading between the lines
- The paper leaves implicit that the heteroclinic construction in Theorem B depends on the forward limit $v_+$ being compatible with the backward semigroup through an exponential estimate; if that compatibility fails, the proof of (B2) would need a different time-scale argument even if the theorem itself remains true.
- The nonzero-energy heteroclinics suggest that for non-monotone contact flows the action variable $u$, rather than the energy, is the natural ordering coordinate; a testable consequence is that connecting orbits can be found at energy levels away from zero whenever the two Mane slices have different action values.
- The global characteristics method may transfer to other evolution equations whose Lax-Oleinik-type semigroups converge to ordered limits, producing asymptotic orbits for non-conservative dynamics beyond contact Hamiltonian systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the dynamics of contact Hamiltonian systems satisfying Tonelli conditions (H1)-(H2) and uniform Lipschitz dependence in u (H3), without the monotonicity assumptions of the authors' earlier work. Using the action-function and semigroup framework developed in references [36]-[38], the authors prove a global characteristic method and then use it to establish Theorem A: uniform convergence of the backward solution semigroup T^-_t φ to a backward weak KAM solution u_- implies existence of a semi-infinite orbit starting on the 1-graph of φ whose ω-limit set is contained in the associated Mane slice ᵎc_{u_-}. They then state Theorem B: if both T^-_t φ and T^+_t φ converge to ordered weak KAM solutions v_+ < u_-, then there exists a complete orbit with α-limit in ᵎc_{v_+} and ω-limit in ᵎc_{u_-}. The proof of Theorem B(B2) proceeds by approximating φ, producing shifted orbits, and using an expansiveness estimate to force the shift t_ε to tend to infinity. The paper concludes with applications to a model Hamiltonian H = F(x,p) + λ(x)u, giving a classification of global action-minimizing orbits and an example of a heteroclinic orbit that does not lie on the zero energy level.
Significance. If the results are correct, the paper is significant: it extends the variational (weak KAM/Aubry-Mather) approach to non-monotone contact Hamiltonian systems, constructs semi-infinite and heteroclinic orbits for such systems, and provides a concrete model illustrating that connecting orbits may have nonzero energy. Strengths include a clear statement of the variational framework, a global characteristic method, and a nontrivial application to a sign-changing λ model. The reliance on previously published semigroup results is standard and does not, by itself, constitute circularity. However, the central construction in Theorem B(B2) rests on Lemma 4.4, and the proof of that lemma contains a serious technical error; as written, the main claim of Theorem B is not established.
major comments (2)
- [Section 4.2, Lemma 4.4 and Eq. (4.15)] The proof of Lemma 4.4 misapplies the expansiveness estimate from Proposition 7.2(4). The inequality stated in (4.15) is ||T^-_{t_ε} φ_ε - v_+||_∞ ≤ e^{λ t_ε} ||φ_ε - v_+||_∞. Proposition 7.2(4) gives ||T^-_{t_ε} φ_ε - T^-_{t_ε} ψ||_∞ ≤ e^{λ t_ε} ||φ_ε - ψ||_∞, so the displayed inequality is valid only if T^-_{t_ε} v_+ = v_+. However, v_+ is assumed to be a forward weak KAM solution, i.e., T^+_t v_+ = v_+, and no statement in the paper (nor any property of the backward semigroup T^-_t) implies that v_+ is fixed by T^-_t. In fact, for the model (1.2) with sign-changing λ, forward and backward weak KAM solutions are typically different, as the paper itself indicates in Section 6.2. Without (4.15), the lower bound t_ε ≥ (1/λ) ln(ε_0/ε) in (4.17) has no basis. This lower bound is load-bearing: it is exactly what forces the shift t_ε to diverge as ε → 0, which is required for the translated orbits Z_ε(t) to converge to a complete orbit Z_0 defined on all of R. Consequently, the construction of the heteroclinic orbit in (B2) is unsupported.
- [Section 4.2, proof of Theorem B(B2) and Section 6.3] Because Lemma 4.4 is not justified, the existence of the complete orbit Z_0 in (4.20) and the conclusions of Proposition 4.7 (the ω-limit and α-limit inclusions) do not follow from the given arguments. This also affects later statements that rely on Theorem B, in particular Theorem 6.8(3) and the Example 6.9, where a heteroclinic orbit between the two fixed points is asserted on the basis of (B2). The gap is internal to the proof; it is not a matter of an alternative method that the paper already contains. A correct proof of the required lower bound on t_ε, or a substantially different argument for the completeness of the limiting orbit, is needed to repair the central claim.
minor comments (2)
- [Section 2.2, proof of Theorem 2.9] In the displayed computation near Eq. (2.11), the symbol '˙q0(τ)' appears instead of '˙x0(τ)'. This is a typographical error in the expression for the Lagrangian along the first characteristic segment.
- [Section 6.2, Theorem 6.6 and surrounding text] The notation u_- is used both for a general backward weak KAM solution and for the specific limit u_- := lim_{t→∞} T^-_t u_+ introduced in (6.5). This overloaded notation can confuse the reader, especially since Theorem 6.6 and the following applications use u_- in both senses. Please clarify by using a distinct symbol for the minimal element of (S_-, ⪯).
Circularity Check
No significant circularity: the asymptotic/heteroclinic-orbit constructions are derived from prior published action-function results; self-citations are heavy but not definitionally load-bearing, and the Lemma 4.4 concern is a correctness gap, not a circular reduction.
full rationale
Circularity review. The variational core of the paper—the action functions h and hbar of Proposition 2.1, the Lax-Oleinik-type formulae (2.4), and the semigroup properties in Propositions 7.1-7.3—is imported from the authors' earlier works [36]-[38], [41]. This is heavy self-citation, and it is load-bearing in the sense that Theorems A and B could not be proved without these tools. But the cited statements are fixed, published mathematical theorems with stated assumptions (H1)-(H3); none of them assumes the convergence (1.5)/(1.7) or asserts the existence of the asymptotic/heteroclinic orbits that the paper derives. They are therefore independent support under the review rules, not circular inputs. Theorem A is proved by applying the global characteristics theorem to the assumed limit T^-_t φ -> u_- and then using calibrated-curve/one-sided differentiability lemmas to force omega(Z) into J^1_{u_-}; no fitted parameter is later renamed as a prediction. Theorem B is a diagonal construction: for each epsilon one perturbs phi to phi_epsilon (Lemma 4.1), applies (A1), shifts by a time t_epsilon at which the action crosses w=(u_-+v_+)/2, and takes epsilon to 0. Equation (4.17) is the only place forcing t_epsilon to infinity, and it invokes the expansiveness estimate (4.15). I note a serious correctness concern there: (4.15) applies Proposition 7.2(4) with psi=v_+, but v_+ in S_+ is a fixed point of T^+_t, not of T^-_t, so the inequality is not justified as written; this is internal missing support for Lemma 4.4 and hence for (B2), not a circular reduction of the conclusion to the hypothesis. The model-system section applies the main theorems to (6.1); the non-zero-energy heteroclinic claim is checked on the concrete Example 6.9 and does not rename an input. Overall, no step in the claimed derivation is equivalent by definition or by fit to the assumptions, so the circularity score is 0.
Assumptions & free parameters
assumptions (7)
- domain assumption Contact Hamiltonian satisfies (H1) fiberwise convexity, (H2) fiberwise superlinearity, and (H3) uniformly Lipschitz in u.
- domain assumption Existence, uniqueness and regularity of implicit action functions h_{x0,u0} and hbar_{x0,u0}, with Markov property, u0-monotonicity, reversibility and Lipschitz continuity (Propositions 2.1 and 7.1 from [37]-[38]).
- domain assumption Semigroup properties of T^+_t and T^-_t, including the exponential comparison estimate in Proposition 7.2 of [37].
- standard math Local solvability of the Cauchy problem for (HJe) and the local characteristics theorem (Theorem 2.6 from Arnold [4] or Evans [19]).
- domain assumption Proposition 3.11 from [42]: if dH(R) > 0 on H^{-1}(0) and (HJ) has a solution, then the solution is unique and every T^-_t phi converges to it.
- domain assumption Proposition 6.4 from [31] on large-time behavior of T^+_t and T^-_t for the model Hamiltonian (6.1) with sign-changing lambda.
- domain assumption Lemmas 7.4 and 7.5 from [32] on boundedness and semi-staticity of calibrated curves.
Cite this review
Pith. "Pith review of On the dynamics of contact Hamiltonian systems II: Variational construction of asymptotic orbits." pith.science (2026). https://pith.science/paper/4FLPEIHF
@misc{pith2026250101279,
author = {Pith},
title = {Pith review of: On the dynamics of contact Hamiltonian systems II: Variational construction of asymptotic orbits},
year = {2026},
howpublished = {\url{https://pith.science/paper/4FLPEIHF}},
note = {Machine review of arXiv:2501.01279}
}
abstract
This paper is a continuation of our study of the dynamics of contact Hamiltonian systems in \cite{JY}, but without monotonicity assumption. Due to the complexity of general cases, we focus on the behavior of action minimizing orbits. We pick out certain action minimizing invariant sets $\{\widetilde{\mathcal{N}}_u\}$ in the phase space naturally stratified by solutions $u$ to the corresponding Hamilton-Jacobi equation. Using an extension of characteristic method, we establish the existence of semi-infinite orbits that is asymptotic to some $\widetilde{\mathcal{N}}_u$ and heteroclinic orbits between $\widetilde{\mathcal{N}}_u$ and $\widetilde{\mathcal{N}}_v$ for two different solutions $u$ and $v$.
Reference graph
Works this paper leans on
-
[36]
Nonlinearity 30 (2017), 492-515
K.Z.Wang, L.Wang and J.Yan: Implicit variational principle for contact Hamiltonian systems. Nonlinearity 30 (2017), 492-515
work page 2017
-
[38]
K.Z.Wang, L.Wang and J.Yan: Aubry-Mather theory for contact Hamiltonian systems . Commun. Math. Phys. 366 (2019), 981-1023
work page 2019
-
[1]
S.Allais, M-C.Arnaud: The dynamics of conformal Hamiltonian flows: dissipativity and conservativity , Rev. Mat. Iberoam. 40 (2024), no. 3, 987–1021
work page 2024
-
[2]
M-C.Arnaud, J.Fejoz: Invariant submanifolds of conformal symplectic dynamics , J. ´Ec. polytech. Math. 11 (2024), 159–185. On the dynamics of contact Hamiltonian systems II: V ariational construction of asymptotic orbits 43
work page 2024
-
[3]
M-C.Arnaud, V .Humili`ere, C.Viterbo: Higher Dimensional Birkhoff attractors (with an appendix by Maxime Zavidovique), http://arXiv:2404.00804
-
[4]
V .I.Arnold: Lectures on partial differential equations , Translated from the second Russian edition by Roger Cooke. Universitext. Springer-Verlag, Berlin; Publishing House PHASIS, Moscow, x+157 pp, (2004)
work page 2004
-
[5]
P.Bernard: Connecting orbits of time dependent Lagrangian systems, Annales de l’institut Fourier. 2002, 52(5): 1533–1568
work page 2002
-
[6]
A.Bensoussan: Perturbation methods in optimal control , Translated from the French by C. Tomson. Wiley/Gauthier-Villars Series in Modern Applied Mathematics. John Wiley and Sons, Ltd., Chichester; Gauthier-Villars, Montrouge, 1988. xiv+573 pp
work page 1988
Show all 42 references
-
[7]
Nonlinear Sci
R.Calleja, A.Celletti, J.Gimeno, R.de la Llave: Accurate computations up to breakdown of quasi-periodic at- tractors in the dissipative spin-orbit problem, J. Nonlinear Sci. 34 (2024), no. 1, Paper No. 12, 38 pp
2024
-
[8]
1, 538¨C-597
R.Calleja, A.Celletti, R.de la Llave: Existence of whiskered KAM tori of conformally symplectic systems, Non- linearity 33 (2020), no. 1, 538¨C-597
2020
-
[9]
R.Calleja, A.Celletti, R.de la Llave: KAM theory for some dissipative systems , New frontiers of celestial me- chanics¡ªtheory and applications, 81–122, Springer Proc. Math. Stat., 399, Springer, Cham, [2022]
2022
-
[10]
Birkh¨auser Boston, Inc., Boston, MA, xiv+304 pp, (2004)
P.Cannarsa, C.Sinestrari: Semiconcave functions, Hamilton-Jacobi equations, and optimal control, Progress in Nonlinear Differential Equations and their Applications, 58. Birkh¨auser Boston, Inc., Boston, MA, xiv+304 pp, (2004)
2004
-
[11]
Springer IN- dAM Ser., 32, Springer, Cham, 2019
P.Cannarsa, W.Cheng, K.Wang and J.Yan: Herglotz’ generalized variational principle and contact type Hamilton-Jacobi equations, Trends in Control Theory and Partial Differential Equations, 39–67. Springer IN- dAM Ser., 32, Springer, Cham, 2019
2019
-
[12]
P.Cannarsa, W.Cheng, L.Jin, K.Wang and J.Yan: Herglotz’ variational principle and Lax-Oleinik evolution , J. Math. Pures Appl. 141 (2020), 99–136
2020
-
[13]
Systems 7 (1987), no
M.Casdagli: Periodic orbits for dissipative twist maps, Ergodic Theory Dynam. Systems 7 (1987), no. 2, 165– 173
1987
-
[14]
Springer-Verlag, Berlin; published in association with Praxis Publishing, Chichester, 2010
A.Celletti: Stability and chaos in celestial mechanics . Springer-Verlag, Berlin; published in association with Praxis Publishing, Chichester, 2010. xvi+261 pp
2010
-
[15]
Instituto de Matem´atica Pura e Aplicada (IMPA), Rio de Janeiro, 1999
G.Contreras, R.Iturriaga: Global minimizers of autonomous Lagrangians , 22◦ Col´oquio Brasileiro de Matem´atica. Instituto de Matem´atica Pura e Aplicada (IMPA), Rio de Janeiro, 1999. 148pp
1999
-
[16]
M.G.Crandall, P.L.Lions: Viscosity solutions of Hamilton-Jacobi equations, Trans. Amer. Math. Soc. 277,(1983) 1–42
1983
-
[17]
M.G.Crandall, H.Ishii, P.L.Lions: User’s guide to viscosity solutions of second order partial differential equa- tions, Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 1, 1–67
1992
-
[18]
Zavidovique: Convergence of the solutions of the discounted Hamilton-Jacobi equation: convergence of the discounted solutions
A.Davini, A.Fathi, R.Iturriaga, M. Zavidovique: Convergence of the solutions of the discounted Hamilton-Jacobi equation: convergence of the discounted solutions. Invent. Math. 206 (2016),29–55
2016
-
[19]
Graduate Studies in Mathematics, 19
L.C.Evans: Partial differential equations, Second edition. Graduate Studies in Mathematics, 19. American Math- ematical Society, Providence, RI, xxii+749 pp, (2010)
2010
-
[20]
Preliminary version 10, Lyon, unpublished (2008)
A.Fathi: Weak KAM Theorem in Lagrangian Dynamics. Preliminary version 10, Lyon, unpublished (2008)
2008
-
[21]
CIME/CIME Found
H.Ishii: A short introduction to viscosity solutions and the large time behavior of solutions of Hamilton-Jacobi equations, Hamilton-Jacobi equations: approximations, numerical analysis and applications, 111-249, Lecture Notes in Math., 2074, Fond. CIME/CIME Found. Subser., Sp...
2013
-
[22]
(French) [Existence of quasiperiodic orbits in Birkhoff attractors]
P.Le Calvez: Existence d’orbites quasi-p ¨¦riodiques dans les attracteurs de Birkhoff. (French) [Existence of quasiperiodic orbits in Birkhoff attractors]. Comm. Math. Phys. 106 (1986), no. 3, 383-394
1986
-
[23]
(French) [Properties of Birkhoff attractors]
P.Le Calvez: Propri´et´es des attracteurs de Birkhoff. (French) [Properties of Birkhoff attractors]. Ergodic Theory Dynam. Systems 8 (1988), no. 2, 241-310. 44 Liang Jin, Jun Y an, Kai Zhao
1988
-
[24]
Unpublished Work
P.L.Lions, G.Papanicolaou, S.Varadhan: Homogenization of Hamilton-Jacobi equations . Unpublished Work. (1987)
1987
-
[25]
Monotone systems
L.Jin, J.Yan: On the dynamics of contact Hamiltonian systems: I. Monotone systems . Nonlinearity 34 (2021), no. 5, 3314-3336
2021
-
[26]
Minimax The- ory Appl
L.Jin, J.Yan, K.Zhao: Nonlinear semigroup approach to Hamilton-Jacobi equation−a toy model. Minimax The- ory Appl. 8 (2023), no. 1, 61-84
2023
-
[27]
Journal of Monetary Economics, 25 (1990), pp
N.R.Kocherlakota: On the ‘discount’ factor in growth economies . Journal of Monetary Economics, 25 (1990), pp. 43-47
1990
-
[28]
J.N.Mather: Action minimizing invariant measures for positive definite Lagrangian systems. Math.Z. 207, 169- 207 (1991)
1991
-
[29]
J.N.Mather: Variational construction of connecting orbits. Ann. Inst. Fourier (Grenoble) 43 (1993), no. 5, 1349- 1386
1993
-
[30]
M.Stefano, A.Sorrentino: Aubry-Mather theory for conformally symplectic systems . Comm. Math. Phys. 354 (2017), 775-808
2017
-
[31]
P.R.Ni, L.Wang: A nonlinear semigroup approach to Hamilton-Jacobi equations-revisited. J. Differential Equa- tions 403 (2024), 272-307
2024
-
[32]
Preprint
Y .Q.Ruan, K.Z.Wang and J.Yan: Lyapunov stability and uniqueness problem for Hamilton-Jacobi equations without monotonicity. Preprint
-
[33]
Action-minimizing methods in Hamiltonian dynamics (MN-50): An introduction to Aubry- Mather theory[M]
A.Sorrentino: A. Action-minimizing methods in Hamiltonian dynamics (MN-50): An introduction to Aubry- Mather theory[M]. Princeton University Press, 2015
2015
-
[34]
Israel J
I.Vaisman: On locally conformal almost K?hler manifolds. Israel J. Math. 24 (1976), no. 3-4, 338¨C351
1976
-
[35]
Internat
I.Vaisman: Locally conformal symplectic manifolds. Internat. J. Math. Math. Sci. 8 (1985), no. 3, 521-536
1985
-
[37]
K.Z.Wang, L.Wang and J.Yan: Variational principle for contact Hamiltonian systems and its applications . J. Math. Pures Appl. 123 (2019), 167–200
2019
-
[39]
Discrete Contin
K.Z.Wang, L.Wang and J.Yan: Aubry-Mather theory for contact Hamiltonian systems II. Discrete Contin. Dyn. Syst. 42 (2022), no.2, 555-595
2022
-
[40]
M P.Wojtkowski, C.Liverani: Conformally symplectic dynamics and symmetry of the Lyapunov spectrum . Comm. Math. Phys. 194 (1998), no. 1, 47-60
1998
-
[41]
K.Z.Wang, J.Yan: it Ergodic problems for contact Hamilton-Jacobi equations, arXiv:2107.11554
-
[42]
Y .Xu, J.Yan and K.Zhao:Dynamics of globally minimizing orbits in contact Hamiltonian systems. Proc. Amer. Math. Soc. accepted
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.