Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

Almost Global Solutions of Kirchhoff Equation

T0 review · 1 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read The paper establishes that for almost every small initial datum, Kirchhoff string solutions exist and remain stable for a polynomial lifespan in Sobolev spaces and a sub-exponential lifespan in Gevrey/analytic spaces.

desk verdict A substantial normal-form paper with a real, load-bearing gap in the measure estimate: the 'almost every' statement in Theorem 1.1 does not follow as written, though the flaw looks repairable. read the letter →

arxiv 2505.01248 v1 pith:XEF7YNPS submitted 2025-05-02 math.AP

classification math.AP MSC 35L7035B3537K5535B20
keywords Kirchhoffequationalmostglobalsolutionrationalnormalformreversiblevectorfieldssmalldivisorslong-timestabilitySobolevspacesGevreyandanalytic
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that the one-dimensional Kirchhoff equation for a clamped string—the quasilinear wave equation $\partial_{tt}u-(1+\int_0^\pi|\partial_xu|^2dx)\partial_{xx}u=0$ with Dirichlet boundary conditions—has almost global solutions for almost all sufficiently small initial data. In Sobolev spaces, for any fixed integer $r\ge4$, the lifespan and stability of the solution are at least of order $\varepsilon^{-r}$, and the set of initial data of size $\varepsilon$ for which this fails has Gaussian measure at most $\varepsilon^{1/14}$. In Gevrey and analytic spaces, the time becomes $\varepsilon^{-|\ln\varepsilon|/(c\ln|\ln\varepsilon|)}$ for a constant $c>0$, with exceptional measure at most $\varepsilon^{1/15}$. The technical engine is a rational normal form theorem for infinite-dimensional reversible vector fields without external parameters, which is genuinely different from the Hamiltonian rational normal form because the homological equation generates lower-order non-integrable terms that do not arise from Poisson brackets.

What carries the argument

The engine of the proof is the rational normal form for reversible rational vector fields, defined as vector fields whose monomials are of the form $z_a\zeta_j f_{h,k,n}(I)$ (and their conjugates) with denominators built from small divisors $\Omega^{(2)}_{h_m}(I)$, $\Omega^{(4)}_{h_m}(I)$ and $\Omega^{(4)}_{k_m}(I)$, together with the coefficient symmetry $\tilde X_{(b,c,d,h)}=\tilde X_{(c,b,d,h)}$ and the global control condition $\prod_m\kappa_{h_m}\le\prod_m j^*_m$ (condition (3.21)). The argument is carried by three homological lemmas: one associated with the cubic integrable field $Z_3^{\le N}$ eliminating the quintic term, one associated solely with $Z_3^{\le N}$ eliminating the septic term, and one associated with $Z_3^{\le N}+Z_5^{\le N}$ eliminating higher-order terms. Unlike the Hamiltonian case, solving the vector-field homological equation produces extra lower-order non-integrable terms $\tilde Z_{2l+1}$ and $\tilde Z_{2l-1}$ that involve the quantity $D I_a[\chi]=\bar z_a\chi(z_a)+z_a\overline{\chi(z_a)}$; the paper handles this with a modified solution $M_3$ for which $D I_a[M_3]=0$, so that the first two steps close after exactly two sub-steps. The global control condition is chosen so that it is preserved by commutators of reversible and anti-reversible rational vector fields (Lemma 3.4), which keeps the number of small divisors under control throughout the iteration.

What would settle it

Take $r=4$, $N=2(r+1)$, $s=s_0=O(r^2)$, draw actions $\{I_a\}$ from the Gaussian law used in Lemma 6.1, and compute, for every irreducible resonant multi-index $j$ of length at most 4, whether $|\Omega^{(2)}_j(\varepsilon^2 I)|>\gamma\varepsilon^2 N^{-4l-2}\kappa_j^{-2s}$ and the corresponding $\Omega^{(4)}$ bound fail on a set of Gaussian measure at least $\varepsilon^{1/14}$; a violation would refute the 'almost every initial datum' assertion of Theorem 1.1. A second check is to test Lemma 3.4 on a single pair of reversible and anti-reversible rational vector fields: if their commutator does not satisfy the control condition $\prod_m\kappa_{h_m}\le\prod_m j^*_m$, the iterative normal form collapses.

Watch

Extended reading notes

Core claim

The central claim is that the Kirchhoff equation, after removing unbounded off-diagonal terms and rescaling time, is best studied as a reversible vector field rather than a Hamiltonian system, and that this structure is enough to run a rational normal form iteration. The paper proves three normal form theorems: a resonant normal form that produces an integrable cubic field $Z_3$ and a quintic resonant field $K_5$; a two-step rational normal form that eliminates the non-integrable part of $K_5$ and the non-normal part of $K_7$ using $Z_3$ alone; and an arbitrary finite-step rational normal form that eliminates the higher-order terms using $Z_3+Z_5$. Along the way it introduces a new class of rational vector fields whose monomials have small-divisor denominators, a global control condition $\prod_m\kappa_{h_m}\le\prod_m j^*_m$ that is preserved by commutators, and a modified solution $M_3$ of the quintic homological equation satisfying $D I_a[M_3]=0$, which stops the otherwise infinite regression of regenerated quintic terms. With this normal form in hand, the paper obtains Theorem 1.1 and Theorem 1.2 by estimating the Gaussian measure of the non-resonant set $U^N_\gamma$ and then applying the normal form transformation to a bootstrap argument for the Sobolev/Gevrey norm and the actions $I_a$.

Load-bearing premise

The load-bearing premise is that the non-resonance frequency-separation lower bounds hold for almost every small initial datum and survive every normalization step; if the Gaussian measure of the bad set were not $O(\gamma)$, the claimed $\varepsilon^{-r}$ lifespan would not hold for a set of initial data of measure $1-\varepsilon^{1/14}$.

Editorial extensions

If this is right

  • For every fixed $r\ge4$ and Sobolev index $s$ of size $O(r^2)$, a set of initial data of Gaussian measure at least $1-\varepsilon^{1/14}$ yields solutions that exist and stay in the $4\varepsilon^2$ ball for $|t|\le\varepsilon^{-r}$.
  • The same set of solutions satisfies the per-mode stability bound $\sup_a a^{2s}|I_a(t)-I_a(0)|\le\varepsilon^3$, so not only the norm but each individual action is almost conserved over the long time scale.
  • In Gevrey and analytic spaces, the existence and stability time is $\varepsilon^{-|\ln\varepsilon|/(15800(1+2/\theta)\ln|\ln\varepsilon|)}$ with exceptional data of measure at most $\varepsilon^{1/15}$; the larger $\theta$ (closer to analytic) gives the longer time.
  • The generalized Kirchhoff equation with $\varphi(\int|\partial_xu|^2dx)$, where $\varphi(0)>0$ and $\varphi'(0)\ne0$, enjoys the same conclusions.
  • The rational normal form is not tied to Hamiltonian structure: the transformed system is a reversible vector field, so the four key points of the construction are claimed to apply to more general reversible systems without external parameters.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A direct corollary the paper does not spell out is that the per-mode action bound rules out any transfer of mass to high modes of amplitude larger than $\varepsilon^3$ over the $\varepsilon^{-r}$ time scale; this could in principle be tested numerically on finite-$N$ truncations.
  • The two-step elimination of the regenerated quintic term suggests that reversible vector-field normal forms have a one-step memory structure, so an analogous two-step pre-normalization may be needed for other reversible quasi-linear equations such as derivative nonlinear Schr\"odinger or Benjamin\textendash{}Ono in reversible form.
  • The time scale obtained here has the same shape as the conjectured-optimal scale for the Schr\"odinger\textendash{}Poisson equation; if that optimality is believed, the sub-exponential bound may be close to the true generic lifespan for Kirchhoff solutions, though the paper does not make that claim.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper studies the one-dimensional Kirchhoff equation with Dirichlet boundary conditions and small initial data. It claims almost global existence and stability for most small data: arbitrarily long polynomial lifespan ε^{-r} in Sobolev spaces for every integer r ≥ 4, and sub-exponential lifespan in Gevrey and analytic spaces. The method is a rational normal form theory for infinite-dimensional reversible vector fields without external parameters, building on the authors' earlier framework. The proof proceeds through a resonant normal form theorem (Section 2), a calculus of rational vector fields with global small-divisor control (Sections 3–4), rational normal form theorems (Section 5), a Gaussian measure estimate for the non-resonance set (Section 6), and a Gevrey/analytic analogue (Section 7).

Significance. If the main result is correct, it is a substantial advance: it gives arbitrarily long polynomial lifespan for a quasi-linear PDE without external parameters, and the Gevrey/analytic extension gives sub-exponential time. The paper's strengths are the explicit rational normal form construction for reversible vector fields, including the lower-order terms generated by homological equations, the explicit constant bookkeeping, and the clear separation of the small-divisor control conditions. The cited papers [LX24a,b] provide the framework but do not contain the lifespan results proved here, so I do not see a circularity problem. The obstacle to acceptance is the Gaussian measure estimate for the non-resonance set, which as written does not support the 'almost every' conclusion.

major comments (1)
  1. [§6.1, Lemma 6.1, Eqs. (6.1)–(6.4), vs. §3.1, Eqs. (3.10)–(3.11)] The measure estimate is internally inconsistent. The Gaussian measure (6.1) has finite-dimensional marginals with E|z_m|² ~ m^{-2s}, so Σ_{m≤M} m^{2s}|z_m|² has expectation of order log M and diverges almost surely as M→∞; the measure is therefore supported on ℓ²_{s-1}, not on ℓ²_s, and µ(ℓ²_s)=0. Since U_N^γ is defined only for z∈ℓ²_s and both conditions (3.10) and (3.11) contain ‖z‖_s² on the right, the event {εz∈U_N^γ} is µ-null, contradicting (6.4) and invalidating the 'almost every' content of Theorem 1.1 and (1.8). The proof of Lemma 6.1 does not close this gap: after (6.21) it proves inequalities with ‖z‖_{s-1}² in the thresholds, not with the ‖z‖_s² appearing in (3.10)–(3.11), and Lemmas 6.2–6.3 are stated with κ_j^{-2s} thresholds. These are different sets, and the cancellation in Lemma 3.3 at (3.40)–(3.41) depends on the exact ‖z‖_s² normalization. A consistent reindexing replacing s by s-1 throughout Sections 3–7 would likely repair the argument, but the manuscript as written does not supply it.
minor comments (4)
  1. [§1, Eq. (1.8), and §6.2, Eq. (6.49)] The notation µ(ε(u,v)∈V_{r,s}) is ambiguous because V_{r,s} is itself defined as a union over scales ε in (6.49); please clarify whether this is meant as a conditional measure on B_s(ε) and state the normalization explicitly.
  2. [§6.1, Eq. (6.1)] The measure (6.1) is written with dz d\bar z but is really a Gaussian on ℓ²_{s-1}; the integration space and the role of z as both the random variable and the initial datum should be disentangled.
  3. [§5.1, Eq. (5.25)] The displayed formula contains the typographical fragment '1k!' where 1/k! is evidently intended.
  4. [§2.2, Eqs. (2.43)–(2.44)] The resonant computation of K5 is summarized as a direct calculation; given that this explicit formula drives the later rational normal form steps, a short derivation or a pointer to the details would improve verifiability.

Circularity Check

0 steps flagged · score 0.0 of 10

The derivation is self-contained: the normal-form, homological-equation, and small-divisor estimates are proved in the paper, and the self-citations are contextual rather than load-bearing.

full rationale

Circularity review: the paper does not derive the lifespan eps^{-r} by fitting constants to the sought conclusion. Section 2 obtains Z1, Z3, and K5 from the explicit expansion (2.30)-(2.44) and Lemma 2.3; the iterative Lemma 2.4 estimates coefficients and remainders with explicit C1-dependence. Section 3 defines rational vector fields with the control condition (3.21), and Lemma 3.4 proves that the commutator preserves it; Section 4 proves the three homological equations (Lemmas 4.1-4.3) by constructing chi explicitly from the datum Q, not by assuming the normal form. Section 5 iterates these lemmas and tracks all constants. The non-resonant set U_N^gamma is introduced as a hypothesis on small divisors, and Lemma 3.3 converts that hypothesis into bounds; this is a standard boundedness condition, not a self-definitional relation. Lemma 6.1 supplies an external Gaussian measure estimate intended to show that the hypothesis has large probability; any norm-support defect there (U_N^gamma is stated for ell^2_s while the measure (6.1) appears to be supported on ell^2_{s-1}) is a correctness gap in the proof of Theorem 1.1, not an equivalence of the theorem with its own inputs. Self-citations [LX24a, LX24b] are used for context and for the rational-normal-form methodology, but the present paper re-proves the vector-field version in Definitions 3.1-3.2, Lemmas 3.4 and 4.1-4.3, and Theorems 5.1-5.2, and does not import the target lifespan from those papers. Hence there is no significant circularity; score 0.

Assumptions & free parameters 4 free parameters · 4 assumptions · 0 invented entities

No invented physical entities. The free parameters are proof choices such as the small divisor threshold γ, the truncation parameter N, the iterative order r, and the regularity threshold s0; none are fitted to numerical data.

free parameters (4)
  • γ = ε^{1/14}/λ (Sobolev), ε^{1/14} (Gevrey)
    The small divisor threshold; chosen by hand in (6.48) and (7.37) to balance the measure loss and the denominator size.
  • r = arbitrary integer ≥4; Gevrey: ≈|ln ε|/(15800 ln|ln ε|)
    The desired lifespan exponent; an input to the construction, not fitted to data.
  • N = specified by 1/N in the interval in (6.49); Gevrey: |ln ε|^{1+2/θ}
    Truncation parameter selecting which Fourier modes are normalized; chosen so that the truncated tail is small.
  • s0 = O(r²)
    Regularity threshold in Theorem 1.1; depends on the lifespan exponent r and is chosen in the proof.
assumptions (4)
  • domain assumption The non-resonance conditions (3.10) and (3.11) hold on a set of Gaussian measure ≥ 1 − λγ (Lemma 6.1).
    This is the quantitative small divisor condition on the initial data; the normal form machinery only applies to data in U^N_γ.
  • domain assumption The change of variables from (1.1) to (2.8) given by Lemma 3.1 of [BH20] removes the unbounded off-diagonal terms.
    Invoked in Section 2 after (2.2); the paper relies on this external result without reproducing it.
  • standard math The infinite-dimensional Gaussian measure (1.4) is countably additive and normalizable, from [Kuk19].
    Used to define 'almost every' initial datum and in the measure estimates of Section 6.
  • domain assumption The Taylor expansion of f(y) = (1 + 2φ(y))^{-3/2} to order r − 1 yields the split (2.30) with the remainder bound (2.36).
    Required for the resonant normal form theorem; the paper states the resulting estimates without deriving the remainder bound in detail.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Almost Global Solutions of Kirchhoff Equation." pith.science (2026). https://pith.science/paper/XEF7YNPS

@misc{pith2026250501248,
  author       = {Pith},
  title        = {Pith review of: Almost Global Solutions of Kirchhoff Equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XEF7YNPS}},
  note         = {Machine review of arXiv:2505.01248}
}
abstract

This paper is concerned with the original Kirchhoff equation $$\left\{\begin{aligned} & \pa_{tt}u-\Big(1+\int_{0}^{\pi}|\pa_xu|^2 dx\Big)\pa_{xx}u=0, \\&u(t,0)=u(t,\pi)=0. \end{aligned}\right.$$ We obtain almost global existence and stability of solutions for almost any small initial data of size $\varepsilon$. In Sobolev spaces, the time of existence and stability is of order $\varepsilon^{-r}$ for arbitrary positive integer $r$. In Gevrey and analytic spaces, the time is of order $e^{\frac{|\ln\varepsilon|^2}{c\ln|\ln\varepsilon|}}$ with some positive constant $c$. To achieve these, we build rational normal form for infinite dimensional reversible vector fields without external parameters. We emphasize that for vector fields, the homological equation and the definition of rational normal form are significantly different from those for Hamiltonian functions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Quasilinear normal form for the Kirchhoff-Poho{\v z}aev equation

    math.AP 2026-07 conditional novelty 7.0 of 10

    After two normal-form steps, the cubic and quintic nonlinearities of the Kirchhoff–Pohozaev equation give zero contribution to Sobolev energy, yielding ε⁻⁶ lifespans in one dimension and a hint of integrability.

Reference graph

Works this paper leans on

50 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [1]

    Arosio and S

    A. Arosio and S. Panizzi. On the well-posedness of the K irchhoff string. Trans. Amer. Math. Soc. , 348(1):305--330, 1996

  2. [2]

    P. Baldi. Periodic solutions of forced K irchhoff equations. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 8(1):117--141, 2009

  3. [3]

    D. Bambusi. Nekhoroshev theorem for small amplitude solutions in nonlinear S chr\" o dinger equations. Math. Z. , 230(2):345--387, 1999

  4. [4]

    D. Bambusi. Birkhoff normal form for some nonlinear PDE s. Comm. Math. Phys. , 234(2):253--285, 2003

  5. [5]

    D. Bambusi. A B irkhoff normal form theorem for some semilinear PDE s. In Hamiltonian dynamical systems and applications , NATO Sci. Peace Secur. Ser. B Phys. Biophys., pages 213--247. Springer, Dordrecht, 2008

  6. [6]

    Bernier and N

    J. Bernier and N. Camps. Long time stability for cubic nonlinear schr\" o dinger equations on non-rectangular flat tori. arXiv:2402.04122 , 2024

  7. [7]

    Bernier, N

    J. Bernier, N. Camps, B. Gr\' e bert, and Z. Wang. Exponential stability of solutions to the S chr\" o dinger- P oisson equation. Discrete Contin. Dyn. Syst. , 44(11):3398--3442, 2024

  8. [8]

    Berti and J.-M

    M. Berti and J.-M. Delort. Almost global solutions of capillary-gravity water waves equations on the circle , volume 24 of Lecture Notes of the Unione Matematica Italiana . Springer, Cham; Unione Matematica Italiana, Bologna, 2018

Show all 50 references
  1. [9]

    Bambusi, J.-M

    D. Bambusi, J.-M. Delort, B. Gr\' e bert, and J. Szeftel. Almost global existence for H amiltonian semilinear K lein- G ordon equations with small C auchy data on Z oll manifolds. Comm. Pure Appl. Math. , 60(11):1665--1690, 2007

  2. [10]

    Bernstein

    S. Bernstein. Sur une classe d' \'e quations fonctionnelles aux d \'e riv \'e es partielles. Izv. Akad. Nauk SSSR, Ser. Mat. , 4:17--26, 1940

  3. [11]

    Bernier, E

    J. Bernier, E. Faou, and B. Gr\' e bert. Long time behavior of the solutions of NLW on the d -dimensional torus. Forum Math. Sigma , 8:12--26, 2020

  4. [12]

    Bernier, E

    J. Bernier, E. Faou, and B. Gr\' e bert. Rational N ormal F orms and S tability of S mall S olutions to N onlinear S chr\" o dinger E quations. Ann. PDE , 6(2):14, 2020

  5. [13]

    Bambusi, R

    D. Bambusi, R. Feola, and R. Montalto. Almost global existence for some H amiltonian PDE s with small C auchy data on general tori. Comm. Math. Phys. , 405(1):Paper No. 15, 2024

  6. [14]

    Berti, R

    M. Berti, R. Feola, and F. Pusateri. Birkhoff normal form and long time existence for periodic gravity water waves. Comm. Pure Appl. Math. , 76(7):1416--1494, 2023

  7. [15]

    Bambusi and B

    D. Bambusi and B. Gr\' e bert. Birkhoff normal form for partial differential equations with tame modulus. Duke Math. J. , 135(3):507--567, 2006

  8. [16]

    Bernier and B

    J. Bernier and B. Gr\' e bert. Long time dynamics for generalized K orteweg-de V ries and B enjamin- O no equations. Arch. Ration. Mech. Anal. , 241(3):1139--1241, 2021

  9. [17]

    Baldi, F

    P. Baldi, F. Giuliani, M. Guardia, and E. Haus. Effective chaos for the K irchhoff equation on tori. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 42(2):281--330, 2025

  10. [18]

    Baldi and E

    P. Baldi and E. Haus. On the existence time for the K irchhoff equation with periodic boundary conditions. Nonlinearity , 33(1):196--223, 2020

  11. [19]

    Baldi and E

    P. Baldi and E. Haus. On the normal form of the K irchhoff equation. J. Dyn. Differ. Equ. , 33(3):1203--1230, 2021

  12. [20]

    Baldi and E

    P. Baldi and E. Haus. Longer lifespan for many solutions of the K irchhoff equation. SIAM J. Math. Anal. , 54(1):306--342, 2022

  13. [21]

    Berti, A

    M. Berti, A. Maspero, and F. Murgante. Hamiltonian B irkhoff normal form for gravity-capillary water waves with constant vorticity: almost global existence. Ann. PDE , 10(2):Paper No. 22, 2024

  14. [22]

    Biasco, J.-E

    L. Biasco, J.-E. Massetti, and M. Procesi. An abstract B irkhoff normal form theorem and exponential type stability of the 1d NLS . Comm. Math. Phys. , 375(3):2089--2153, 2020

  15. [23]

    Bourgain

    J. Bourgain. Construction of approximative and almost periodic solutions of perturbed linear S chr\" o dinger and wave equations. Geom. Funct. Anal. , 6(2):201--230, 1996

  16. [24]

    Bourgain

    J. Bourgain. On diffusion in high-dimensional H amiltonian systems and PDE . J. Anal. Math. , 80:1--35, 2000

  17. [25]

    Q. Chen, H. Cong, L. Meng, and X. Wu. Long time stability result for 1-dimensional nonlinear S chr\" o dinger equation. J. Differ. Equ. , 315:90--121, 2022

  18. [26]

    Chen and J

    Y. Chen and J. Geng. Linearly stable KAM tori for higher dimensional K irchhoff equations. J. Differ. Equ. , 315:222--253, 2022

  19. [27]

    Chen and J

    Y. Chen and J. Geng. Linearly stable KAM tori for one dimensional forced K irchhoff equations with refined T \" o plitz- L ipschitz property. J. Differ. Equ. , 387:324--377, 2024

  20. [28]

    H. Cong, J. Liu, Y. Shi, and X. Yuan. The stability of full dimensional KAM tori for nonlinear S chr\" o dinger equation. J. Differ. Equ. , 264(7):4504--4563, 2018

  21. [29]

    H. Cong, J. Liu, and X. Yuan. Stability of KAM tori for nonlinear S chr\" o dinger equation. Mem. Amer. Math. Soc. , 239(1134):vii+85, 2016

  22. [30]

    Corsi and R

    L. Corsi and R. Montalto. Quasi-periodic solutions for the forced K irchhoff equation on T^d . Nonlinearity , 31(11):5075--5109, 2018

  23. [31]

    H. Cong, L. Mi, X. Wu, and Q. Zhang. Exponential stability estimate for the derivative nonlinear S chr\" o dinger equation. Nonlinearity , 35(5):2385--2423, 2022

  24. [32]

    J.-M. Delort. Long-time S obolev stability for small solutions of quasi-linear K lein- G ordon equations on the circle. Trans. Amer. Math. Soc. , 361(8):4299--4365, 2009

  25. [33]

    J.-M. Delort. A quasi-linear B irkhoff normal forms method. A pplication to the quasi-linear K lein- G ordon equation on S^1 . Ast\' e risque , (341):vi+113, 2012

  26. [34]

    J.-M. Delort. Quasi-linear perturbations of H amiltonian K lein- G ordon equations on spheres. Mem. Amer. Math. Soc. , 234(1103):vi+80, 2015

  27. [35]

    Faou and B

    E. Faou and B. Gr\' e bert. A N ekhoroshev-type theorem for the nonlinear S chr\" o dinger equation on the torus. Anal. PDE , 6(6):1243--1262, 2013

  28. [36]

    Y. Fan, J. Liu, and D. Xiang. Long time bounds for coupled K d V equations. Phys. D , 468:Paper No. 134296, 2024

  29. [37]

    Gr\' e bert, R

    B. Gr\' e bert, R. Imekraz, and \' E . Paturel. Normal forms for semilinear quantum harmonic oscillators. Comm. Math. Phys. , 291(3):763--798, 2009

  30. [38]

    B. Grebert. Birkhoff normal form and H amiltonian PDE s. In Partial differential equations and applications , volume 15 of S\' e min. Congr. Soc. Math. France, Paris, 2007

  31. [39]

    Kirchhoff

    G. Kirchhoff. Vorlesungen \"u ber mathematische Physik . I . Mechanik . Leipzig. Teubner ., 1876

  32. [40]

    o schel. Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr\

    S. Kuksin and J. P\" o schel. Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr\" o dinger equation. Ann. of Math. , 143(1):149--179, 1996

  33. [41]

    A. Kukush. Gaussian Measures in Hilbert Space . Wiley, dec 2019

  34. [42]

    Liu and D

    J. Liu and D. Xiang. Exact global control of small divisors in rational normal form. Nonlinearity , 37(7):Paper No. 075020, 2024

  35. [43]

    Liu and D

    J. Liu and D. Xiang. Long time stability for the derivative nonlinear S chr\" o dinger equation. J. Math. Anal. Appl. , 537(2):Paper No. 128394, 2024

  36. [44]

    Montalto

    R. Montalto. Quasi-periodic solutions of forced K irchhoff equation. Nonlinear Differ. Equ. Appl. , 24(1):Paper No. 9, 71, 2017

  37. [45]

    Nishihara

    K. Nishihara. On a global solution of some quasilinear hyperbolic equation. Tokyo J. Math. , 7(2):437--459, 1984

  38. [46]

    Tzvetkov

    N. Tzvetkov. Long time bounds for the periodic KP - II equation. Int. Math. Res. Not. , (46):2485--2496, 2004

  39. [47]

    Yuan and J

    X. Yuan and J. Zhang. Long time stability of H amiltonian partial differential equations. SIAM J. Math. Anal. , 46(5):3176--3222, 2014

  40. [48]

    Yuan and J

    X. Yuan and J. Zhang. Averaging principle for the K d V equation with a small initial value. Nonlinearity , 29(2):603--656, 2016

  41. [49]

    Q. Zhang. Long-time existence for semi-linear K lein- G ordon equations with quadratic potential. Comm. Partial Differ. Equ. , 35(4):630--668, 2010

  42. [50]

    J. Zhang. Almost global solutions to H amiltonian derivative nonlinear S chr\" o dinger equations on the circle. J. Dyn. Differ. Equ. , 32(3):1401--1455, 2020

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.