A Rigorous Derivation of the Hamiltonian Structure for the Nonlinear Schr\"odinger Equation

Andrea R. Nahmod; Dana Mendelson; Gigliola Staffilani; Matthew Rosenzweig; Nata\v{s}a Pavlovi\'c

REVIEW 4 major objections 6 minor 37 references

A Rigorous Derivation of the Hamiltonian Structure for the Nonlinear Schr\"odinger Equation

T0 review · 4 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Hamiltonian structure of the cubic NLS is the pullback of the Gross–Pitaevskii many-body Poisson structure.

desk verdict A serious, substantive paper that makes a real conceptual step — it derives the NLS Hamiltonian structure from a many-body system — with a few gaps in technical exposition that are fixable, not fatal. read the letter →

arxiv 1908.03847 v1 pith:T7DGFZX3 submitted 2019-08-11 math-ph math.APmath.MP

Dana Mendelson , Andrea R. Nahmod , Nataša Pavlović , Matthew Rosenzweig , Gigliola Staffilani This is my paper · ORCID

classification math-phmath.APmath.MP MSC 35Q5537K0581V70

keywords cubicnonlinearSchrödingerequationGross-PitaevskiihierarchyweakPoissonmanifoldLie-PoissonstructureBBGKYgoodmappingpropertymorphismmany-bodyquantumsystems

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 aims to prove that the Hamiltonian structure of the cubic nonlinear Schrödinger equation—its energy functional and its weak Poisson phase-space geometry—is the infinite-particle limit of the Hamiltonian structure of an interacting boson system. The authors build finite- and infinite-particle Lie–Poisson manifolds of density-matrix hierarchies, show that the BBGKY hierarchy and its Gross–Pitaevskii (GP) limit are Hamiltonian flows on those manifolds, and prove that the embedding $\iota(\varphi)=(|\varphi^{\otimes k}\rangle\langle\varphi^{\otimes k}|)_{k\in\mathbb{N}}$ is a Poisson morphism whose pullback sends the GP Hamiltonian to the NLS Hamiltonian, $\iota^*H_{\mathrm{GP}}=H_{\mathrm{NLS}}$. A sympathetic reader should take the paper's claim to be that the NLS Hamiltonian structure is not an isolated PDE fact but a genuine geometric consequence of quantum many-body physics.

What carries the argument

The main object is a family of Lie algebras of observable hierarchies. For finite $N$, $G_N=\bigoplus_{k=1}^N g_k$, where $g_k$ consists of skew-adjoint operators on the bosonic Schwartz space, equipped with a bracket built from embeddings $\epsilon_{k,N}$ and the filtration property $[g_\ell,g_j]\subset g_{\min(\ell+j-1,N)}$. Passing to $N\to\infty$ forces one to enlarge the algebra to $G_\infty=\bigoplus_{k\geq1} g_{k,\mathrm{gmp}}$, whose elements are skew-adjoint distribution-valued operators satisfying the good mapping property, a regularity condition that makes one-coordinate contraction composition well-defined. This enlarged algebra contains the generator $W_{\mathrm{GP}}=(-\Delta, \delta(X_1-X_2),0,\ldots)$ of the GP Hamiltonian; the dual space $G^*_\infty$ is the space of density-matrix hierarchies with Schwartz kernels, and the Lie–Poisson bracket on $G^*_\infty$ is defined by trace pairing with $G_\infty$. The proof chain uses convergence of the $N$-body brackets, an approximation argument for the Jacobi identity, and an explicit formula for Hamiltonian vector fields.

What would settle it

One concrete check is to compute the contraction $A^{(2)}\circ^\beta_\alpha B^{(j)}$ for $A^{(2)}$ equal to multiplication by $\delta(X_1-X_2)$ and verify Definition 2.5: if for some Schwartz inputs the resulting bilinear expression is not a Schwartz function, then $W_{\mathrm{GP}}\notin G_\infty$ and Theorem 2.10 collapses. Alternatively, pick two trace functionals $F,G\in A_\infty$ and compute both sides of (2.39) explicitly; any mismatch for a single $\varphi$ would falsify Theorem 2.12.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.12: the map $\iota$ is a Poisson morphism from the weak symplectic/Poisson manifold of Schwartz functions $(S(\mathbb{R}^d), A_S, \{\cdot,\cdot\}_{L^2})$ into the weak Lie–Poisson manifold $(G^*_\infty, A_\infty, \{\cdot,\cdot\}_{G^*_\infty})$, and $\iota^*H_{\mathrm{GP}}=H_{\mathrm{NLS}}$. The paper also establishes Theorem 2.3 and Theorem 2.10, which say that the BBGKY hierarchy and the GP hierarchy are Hamiltonian flows generated by $H_{\mathrm{BBGKY},N}$ and $H_{\mathrm{GP}}$, respectively. If these theorems are right, the NLS Hamiltonian functional and phase-space bracket arise by pulling back the corresponding many-body objects along the factorization embedding; the many-body-to-NLS connection is geometric as well as dynamical.

Load-bearing premise

The whole construction rests on a technical regularity condition: certain distribution-valued operators, including the delta-function interaction $\delta(X_1-X_2)$, must map Schwartz test functions to Schwartz functions when contracted in one coordinate; if they do not, the infinite-particle Hamiltonian never belongs to the observable algebra and nothing else goes through.

Editorial extensions

If this is right

The GP hierarchy (2.5) is Hamiltonian: a family $\Gamma(t)$ solves it exactly when $d\Gamma/dt=X_{H_{\mathrm{GP}}}(\Gamma(t))$ on $(G^*_\infty,A_\infty,\{\cdot,\cdot\}_{G^*_\infty})$.
The BBGKY hierarchy is Hamiltonian for each finite $N$, and $H_{\mathrm{BBGKY},N}\to H_{\mathrm{GP}}$ as $N\to\infty$ in the relevant smooth topology.
Every NLS solution $\varphi(t)$ lifts to a GP hierarchy solution via $\iota(\varphi(t))$, and $\iota^*H_{\mathrm{GP}}=H_{\mathrm{NLS}}$; the NLS phase-space bracket is the pullback of the GP Lie–Poisson bracket.
The composed maps from the $N$-body Schrödinger equation (via density matrix and reduced density matrix) to BBGKY to GP to NLS are Poisson morphisms, forming a geometric derivation chain.
The framework extends directly to Hartree-type hierarchies and is expected to extend to quintic and other generalized GP hierarchies.

Reading between the lines

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

The paper derives Hamiltonian structure, not dynamics; a full physical derivation of NLS would still need the known convergence results for density matrices, and the geometric result here is complementary to them rather than a substitute.
The good mapping property may be the natural regularity condition for singular interaction observables; testing it on other distribution-valued potentials would indicate how far the Lie–Poisson construction reaches.
In one dimension, where NLS is integrable, this Poisson morphism should pull back the infinite set of commuting NLS energies to commuting GP-type Hamiltonians, producing a many-body integrable hierarchy.
A testable extension would be to carry out the same construction for the Hartree hierarchy and check that the resulting Hamiltonian flow reproduces the known Hartree equation in the factorized sector.

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.

Desk Editor's Note

read the letter

Hi — you asked about 1908.03847. Short version: it's a genuine conceptual step, and the main theorem holds up on a close read. The paper constructs Hamiltonian (Lie–Poisson) structures for the BBGKY and GP hierarchies, then shows the factorization map from Schwartz space into density-matrix hierarchies is a Poisson morphism whose pullback yields the NLS Hamiltonian. That is a new way to 'derive' the Hamiltonian structure of NLS from an N-body problem, not just the dynamics. I'd send it to a serious referee.

The real substance is in Sections 5–6. The finite-N Lie algebra and Lie–Poisson brackets are worked out in detail, with explicit vector-field formulas; the passage to the infinite hierarchy uses a sensible 'good mapping property' to handle distribution-valued operators like δ(X1−X2). The proof of Theorem 2.12 is also concrete — they compute the symplectic gradient of the pulled-back functionals explicitly. This is not a 'conceptual only' paper; there is real analytic machinery.

Where I'd push back: the proof of Proposition 2.7 (Jacobi for G∞) is the least secured step. The strategy is fine — approximate by mollified kernels, use the N-body Jacobi, pass to limits via separate continuity of the bracket. But the separate continuity is only sketched (Remark 6.3 and a closing sentence), and the iterated limit argument is not fully written out. The stress-test note you passed along flags exactly this. I don't think it is a demonstrable error — the claim is plausible and probably true — but a referee should ask for a complete proof of separate continuity, not just a remark. Similarly, Proposition 2.8 omits verification of properties (P1) and (P2); the paper says they are 'readily proved' by analogy with the finite-N case. That is probably right, but it is still an omission in the main foundational claim. Several supporting lemmas (5.6, 5.12, 6.14) are also left as exercises. None of this looks fatal, but it makes the paper's own advertised rigor incomplete in a few load-bearing places.

The citation pattern is fine: MMW is the acknowledged source, the derivation-dynamics literature is cited, and there is no parameter fitting. The conditional verdict is fair. Who should read this: anyone working on many-body derivations of effective PDEs or on infinite-dimensional Hamiltonian geometry. I'd recommend engaging in review, with the expectation of a revision that supplies the missing justifications.

Referee Report

4 major / 6 minor

Summary. The paper develops a geometric framework in which the Hamiltonian structure of the cubic nonlinear Schrödinger equation is derived from the N-body bosonic problem. The authors construct finite-N Lie algebras G_N of observable hierarchies and weak Lie-Poisson manifolds G*_N of density-matrix hierarchies, prove that the BBGKY hierarchy is the Hamiltonian flow of H_BBGKY,N (Theorem 2.3), pass to an infinite-particle Lie algebra G_∞ of distribution-valued operators with the newly introduced "good mapping property" and to the dual weak Poisson manifold G*_∞, prove that the Gross-Pitaevskii hierarchy is the Hamiltonian flow of H_GP (Theorem 2.10), and show that the factorization embedding ι(φ)=(|φ^{⊗k}⟩⟨φ^{⊗k}|)_k is a Poisson morphism from the NLS phase space into G*_∞ with ι*H_GP=H_NLS (Theorem 2.12). The proofs are mostly carried out by explicit computation, with detailed formulas for the Hamiltonian vector fields and careful treatment of distribution-valued operators in the appendices.

Significance. If the technical gaps identified below are closed, this would be a valuable contribution: it gives the first rigorous geometric derivation, rather than dynamical derivation, of the NLS Hamiltonian structure from a quantum many-body system, and it extends the Marsden-Morrison-Weinstein construction to the quantum BBGKY/GP setting. The paper's strengths are its explicitness—vector-field formulas (5.100) and (6.85), the trace-pairing identifications, and the verification of the Poisson-morphism identity (2.39) rather than an imposition of it—and its self-contained treatment of distribution-valued operators via the good mapping property. The construction is parameter-free in the sense that no coefficients are fitted. The main theorems are plausible, but the manuscript currently leaves several load-bearing verifications incomplete.

major comments (4)

[Section 2.2, Eqs. (2.29)-(2.30), versus Section 7.2, Eq. (7.30)] The Gross-Pitaevskii Hamiltonian is stated without the coupling constant κ in the main text: (2.29) reads H_GP(Γ) = -Tr_1(Δγ^{(1)}) + Tr_{1,2}(δ(X_1-X_2)γ^{(2)}) and (2.30) sets W_GP = (-Δ, δ(X_1-X_2), 0, ...). In contrast, the proof of Theorem 2.10 in Section 7.2 uses W_GP = (-Δ, κδ(X_1-X_2), 0, ...). The pullback identity (2.40) requires the κ|φ|^4 term in the NLS Hamiltonian, so the statement of H_GP in Section 2.2 makes (2.40) false. This inconsistency is load-bearing and must be corrected in the statement of the main results.
[Section 6.2, proof of Proposition 2.7, Eqs. (6.71)-(6.76)] The Jacobi identity for G_∞ is established by taking M→∞ in the N-body Jacobi identity and then taking iterated limits n_1,n_2,n_3→∞. However, Proposition 2.4 is only stated for a fixed pair of elements in G_{N0}, while in (6.71)-(6.72) the second entry [B_{n2},C_{n3}]_{G_M} depends on M. Thus the passage from (6.71) to (6.72) requires a double-limit interchange or a uniform estimate that is not supplied. The subsequent limits in (6.73)-(6.75) rely on separate continuity of [·,·]_{G∞}, which is only sketched via Remark 6.3 and is proved after it has already been used. Since the Jacobi identity for G_∞ is the basis for the Lie-Poisson bracket in Proposition 2.8 and hence for Theorems 2.10 and 2.12, this gap should be closed by a complete proof of the double-limit passage or by a direct verification of Jacobi for distribution-valued elements.
[Section 6.3, Proposition 2.8 and Lemma 6.14] The manuscript states that properties (P1) and (P2) of Definition 4.1 for (G*_∞, A_∞, {·,·}_{G*_∞}) are "readily proved" and omits the details, and Lemma 6.14 is stated without proof. This is not a purely cosmetic omission: (P1) includes the Jacobi identity for the Poisson bracket, which depends on Proposition 2.7, and (P2) is the nondegeneracy property used to guarantee uniqueness of Hamiltonian vector fields. Moreover, Lemma 6.14 provides the derivative formula used in the proof of (P3) and in the derivation of the explicit Hamiltonian vector field in Lemma 6.15. Please include these verifications, either by adapting Lemmas 5.22-5.23 with the necessary Lgmp modifications or by giving a complete reduction to the N-body case.
[Section 2.2, Definition 2.5 and Remark 2.6; Section 7.2] The paper never verifies that the specific distribution-valued operator -iδ(X_1-X_2) has the good mapping property of Definition 2.5. Remark 2.6 only shows that δ(X_2) fails the property, which does not cover δ(X_1-X_2). Since W_GP ∈ G_∞ is necessary for H_GP ∈ A_∞ and for the application of Lemma 6.15 in Theorem 2.10, please add the direct check of Definition 2.5 for δ(X_1-X_2) for α=1,2, or state explicitly where in the text this verification is performed.

minor comments (6)

[Section 2.2, Eq. (2.20)] There is a missing closing parenthesis in the definition C = (C^(k))_{k∈N}; the displayed formula should read C = (C^(k))_{k∈N}.
[Section 2.2, Eq. (2.23)] The displayed definition of the predual space has an unmatched parenthesis: "L(S_s(R^{dk}), S'_s(R^{dk})" should be "L(S_s(R^{dk}), S'_s(R^{dk}))".
[Section 7.1, Eq. (7.29)] In the final displayed formula for X_{H_BBGKY,N}(Γ_N)^{(N)}, the density matrix in the last commutator should be γ^{(N)}_N, not γ^{(ℓ)}_N.
[Section 5.1, Lemma 5.6] The proof of Lemma 5.6 is omitted with a pointer to Lemma 6.1; since Lemma 5.6 is used in the separate-continuity part of Proposition 2.1, please include a proof or a precise statement of the required seminorm estimate.
[Section 6.2, proof of Proposition 2.7] The phrase "separate continuity ... established below" is used before the continuity argument actually appears; reorder the proof so that the continuity lemma is stated and proved before the Jacobi identity is derived.
[Section 6.3, Lemma 6.15, Eq. (6.85)] For j=1 the notation Tr_{ℓ+1,...,ℓ+j-1} denotes the empty partial trace; this should be stated explicitly, since formula (6.85) is central to Lemma 6.15 and Theorem 2.10.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the GP Poisson structure and Hamiltonian are constructed explicitly from the N-body limit, and the NLS Poisson-morphism identity is verified rather than imposed.

full rationale

The paper's central derivation chain is non-circular. The finite Lie algebra G_N and its bracket are constructed from the N-body commutator and embedding maps, not from the NLS target; Proposition 2.4 derives the limiting bracket formula by an explicit asymptotic computation from that N-body bracket, and G∞ with its bracket is then defined as this limit with the good mapping property serving as a technical domain condition rather than a fitted parameter. The Hamiltonian H_GP is defined directly as Tr(W_GP·Γ) with W_GP = (−Δ, δ(X1−X2), 0, ...), and the proof of Theorem 2.10 is a direct computation from Lemma 6.15 showing that the associated Hamiltonian vector field equals the GP hierarchy; no input is renamed as a prediction. Theorem 2.12 similarly verifies identity (2.39) by explicit calculation, and (2.40) is a straightforward pullback computation from the definition of ι and H_GP. The self-citations to the companion paper [23] and to Chen et al. [4] are forward references or supporting uniqueness results and are not load-bearing premises for the main theorems. The reviewer's concerns about the two-parameter limit in Proposition 2.7 and the omitted verification of (P1)/(P2) in Proposition 2.8 are possible technical gaps about convergence and continuity, not circular reductions: they do not show that any conclusion was assumed as an input. The paper is self-contained in the sense that its central geometric claims are proven by explicit constructions and verifications rather than by importing unverified assumptions.

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

No free parameters are fitted anywhere in the paper. The central claim depends on standard functional analysis and on the bosonic many-body setup, plus one genuinely ad hoc technical hypothesis: the good mapping property. The paper proves that the needed delta-type operators satisfy this property. No new physical entities, forces, or mediators are postulated.

assumptions (5)

standard math Schwartz kernel theorem and topological tensor product identifications L(S(R^k), S'(R^k)) ≅ S'(R^{2k}) and L(S'(R^k), S(R^k)) ≅ S(R^{2k})
Used throughout Appendix B and in the definition of the generalized trace (Deﬁnition B.5); this identification is load-bearing for treating distribution-valued operators.
standard math Open mapping theorem and Hahn-Banach extension theorem apply to the relevant spaces
Used in Lemma 6.8 and Lemma B.15 to identify duals of G∞ and Lgmp with spaces of density matrix hierarchies.
domain assumption Bosonic symmetry of wave functions and density matrices, with symmetric Schwartz spaces S_s(R^k)
The N-body system is a bosonic system; all constructions restrict to symmetric subspaces as in Section 4.3 and the embeddings ǫ_{k,N} preserve this symmetry.
domain assumption The interaction potential has the form V_N = N^{dβ} V(N^{dβ}·), with β ∈ (0,1), V even, nonnegative, smooth, compactly supported, and ∫V = 1
This is the standard Gross-Pitaevskii scaling that yields the cubic NLS in the limit; it is assumed at equation (2.3) and is needed for V_N to converge to δ.
ad hoc to paper The good mapping property (Deﬁnition 2.5) holds for the operators used, and is preserved under the Lie bracket operations
This technical condition is introduced specifically to define compositions of distribution-valued operators in the infinite-particle Lie bracket. If δ(X1-X2) did not satisfy it, W_GP would not generate a Hamiltonian vector field and Theorem 2.10 would fail.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Rigorous Derivation of the Hamiltonian Structure for the Nonlinear Schr\"odinger Equation." pith.science (2026). https://pith.science/paper/T7DGFZX3

@misc{pith2026190803847,
  author       = {Pith},
  title        = {Pith review of: A Rigorous Derivation of the Hamiltonian Structure for the Nonlinear Schr\"odinger Equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T7DGFZX3}},
  note         = {Machine review of arXiv:1908.03847}
}

read the original abstract

We consider the cubic nonlinear Schr\"odinger equation (NLS) in any spatial dimension, which is a well-known example of an infinite-dimensional Hamiltonian system. Inspired by the knowledge that the NLS is an effective equation for a system of interacting bosons as the particle number tends to infinity, we provide a derivation of the Hamiltonian structure, which is comprised of both a Hamiltonian functional and a weak symplectic structure, for the nonlinear Schr\"odinger equation from quantum many-body systems. Our geometric constructions are based on a quantized version of the Poisson structure introduced by Marsden, Morrison and Weinstein for a system describing the evolution of finitely many indistinguishable classical particles.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

[1]

Abraham and J

R. Abraham and J. E. Marsden , Foundations of mechanics, Benjamin/Cummings Publishing Co., Inc., Advanced Book Program, Reading, Mass., 1978. Second edition, revise d and enlarged, With the assistance of Tudor Raţiu and Richard Cushman

work page 1978
[2]

Adami, C

R. Adami, C. Bardos, F. Golse, and A. Teta , Towards a rigorous derivation of the cubic NLSE in dimension one, Asymptotic Analysis, 40 (2004), pp. 93–108

work page 2004
[3]

Adami, F

R. Adami, F. Golse, and A. Teta , Rigorous derivation of the cubic NLS in dimension one , Journal of Statistical Physics, 127 (2007), pp. 1193–1220

work page 2007
[4]

T. Chen, C. Hainzl, N. P a vlović, and R. Seiringer , Unconditional uniqueness for the cubic Gross-Pitaevskii hierarchy via quantum de Finetti , Comm. Pure Appl. Math., 68 (2015), pp. 1845–1884

work page 2015
[5]

Chen and N

T. Chen and N. P a vlović, The quintic NLS as the mean ﬁeld limit of a boson gas with three -body interactions, J. Funct. Anal., 260 (2011), pp. 959–997

work page 2011
[6]

P. R. Chernoff and J. E. Marsden , Properties of inﬁnite dimensional Hamiltonian systems , Lecture Notes in Mathematics, Vol. 425, Springer-Verlag, Berlin-New York, 1974

work page 1974
[7]

Erdös, B

L. Erdös, B. Schlein, and H.-T. Yau , Derivation of the Gross-Pitaevskii hierarchy for the dynam ics of Bose- Einstein condensate, Comm. Pure Appl. Math., 59 (2006), pp. 1659–1741. [8] , Derivation of the cubic non-linear Schrödinger equation fr om quantum dynamics of many-body systems , Inven. Math., 167 (2007), pp. 515–614

work page 2006
[9]

Math., 172 (2010), pp

, Derivation of the Gross-Pitaevskii equation for the dynami cs of Bose-Einstein condensate , Ann. Math., 172 (2010), pp. 291–370

work page 2010

Show all 37 references

[10]

Fröhlich, A

J. Fröhlich, A. Knowles, B. Schlein, and V. Sohinger , Gibbs measures of nonlinear Schrödinger equations as limits of many-body quantum states in dimensions d ⩽ 3, Comm. Math. Phys., 356 (2017), pp. 883–980

2017
[11]

R. S. Hamilton , The inverse function theorem of Nash and Moser , Bull. Am. Math. Soc., 7 (1982), pp. 65–222

1982
[12]

Hor váth, Topological vector spaces and distributions, no

J. Hor váth, Topological vector spaces and distributions, no. v. 1 in Addison-Wesley series in mathematics, Addison- Wesley Pub. Co., 1966

1966
[13]

Klainerman and M

S. Klainerman and M. Machedon , On the uniqueness of solutions to the Gross-Pitaevskii hier archy, Comm. Math. Phys., 279 (2008), pp. 169–185

2008
[14]

Kriegl and P

A. Kriegl and P. W. Michor , The convenient setting of global analysis , vol. 53 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, R I, 1997

1997
[15]

O. E. Lanford, III , Time evolution of large classical systems , (1975), pp. 1–111. Lecture Notes in Phys., Vol. 38. DERIV ATION OF HAMILTONIAN STRUCTURE FOR THE NLS 79

1975
[16]

, On a derivation of the Boltzmann equation , (1976), pp. 117–137. Astérisque, No. 40

1976
[17]

Lewin, P

M. Lewin, P. T. Nam, and N. Rougerie , Derivation of nonlinear Gibbs measures from many-body quan tum mechanics, J. Éc. polytech. Math., 2 (2015), pp. 65–115

2015
[18]

Marsden and A

J. Marsden and A. Weinstein , Coadjoint orbits, vortices, and Clebsch variables for inco mpressible ﬂuids , vol. 7, 1983, pp. 305–323. Order in chaos (Los Alamos, N.M., 1982)

1983
[19]

J. E. Marsden, P. J. Morrison, and A. Weinstein , The Hamiltonian structure of the BBGKY hierarchy equations, in Fluids and plasmas: geometry and dynamics (Boulder, Col o., 1983), vol. 28 of Contemp. Math., Amer. Math. Soc., Providence, RI, 1984, pp. 115–124

1983
[20]

J. E. Marsden and T. S. Ra tiu , Introduction to mechanics and symmetry: a basic exposition of classical mechan- ical systems , vol. 17, Springer Science & Business Media, 2013

2013
[21]

J. E. Marsden and A. Weinstein , The Hamiltonian structure of the Maxwell-Vlasov equations , Phys. D, 4 (1981/82), pp. 394–406

1981
[22]

J. E. Marsden, A. Weinstein, T. Ra tiu, R. Schmid, and R. G. Spe ncer, Hamiltonian systems with symmetry, coadjoint orbits and plasma physics , in Proceedings of the IUTAM-ISIMM symposium on modern deve lopments in analytical mechanics, Vol. I (Torino, 1982), vol. 117, 1983 , ...

1982
[23]

Mendelson, A

D. Mendelson, A. Nahmod, N. P a vlović, M. Rosenzweig, and G. S taffilani, Poisson commuting energies for a system of inﬁnitely many bosons , Preprint, (2019)

2019
[24]

Milnor , Remarks on inﬁnite-dimensional Lie groups , in Relativ

J. Milnor , Remarks on inﬁnite-dimensional Lie groups , in Relativ. groups Topol. 2, 1984

1984
[25]

P. J. Morrison , The Maxwell-Vlasov equations as a continuous Hamiltonian s ystem, Phys. Lett. A, 80 (1980), pp. 383–386

1980
[26]

P. J. Morrison and J. M. Greene , Noncanonical Hamiltonian density formulation of hydrodyn amics and ideal magnetohydrodynamics, Phys. Rev. Lett., 45 (1980), pp. 790–794

1980
[27]

K.-H. Neeb, H. Sahlmann, and T. Thiemann , Weak poisson structures on inﬁnite dimensional manifolds a nd hamiltonian actions , in Lie Theory and Its Applications in Physics, V. Dobrev, ed ., Tokyo, 2014, Springer Japan, pp. 105–135

2014
[28]

Omori , Inﬁnite-dimensional Lie groups , vol

H. Omori , Inﬁnite-dimensional Lie groups , vol. 158 of Translations of Mathematical Monographs, Amer ican Math- ematical Society, Providence, RI, 1997. Translated from th e 1979 Japanese original and revised by the author

1997
[29]

P alais, The symmetries of solitons , Bulletin of the American Mathematical Society, 34 (1997), pp

R. P alais, The symmetries of solitons , Bulletin of the American Mathematical Society, 34 (1997), pp. 339–403

1997
[30]

Rougerie , De Finetti Theorems, Mean-Field Limits and Bose-Einstein C ondensation

N. Rougerie , De Finetti Theorems, Mean-Field Limits and Bose-Einstein C ondensation. Lectures notes from a course at the LMU, Munich. Translated and slightly expande d version of my cours Peccot, hal-01060125v4, arXiv:1409.1182., June 2015

2015 arXiv
[31]

Schlein , Derivation of eﬀective evolution equations from microscop ic quantum dynamics , in Evol

B. Schlein , Derivation of eﬀective evolution equations from microscop ic quantum dynamics , in Evol. equations, vol. 17 of Clay Math. Proc., Amer. Math. Soc., Providence, RI , 2013, pp. 511–572

2013
[32]

Schw ar tz, Théorie des distributions , Publications de l’Institut de Mathématique de l’Universi té de Strasbourg, No

L. Schw ar tz, Théorie des distributions , Publications de l’Institut de Mathématique de l’Universi té de Strasbourg, No. IX-X. Nouvelle édition, entiérement corrigée, refondu e et augmentée, Hermann, Paris, 1966

1966
[33]

R. G. Spencer , The Hamiltonian structure of multispecies ﬂuid electrodyn amics, in Mathematical methods in hydrodynamics and integrability in dynamical systems (La J olla, Calif., 1981), vol. 88 of AIP Conf. Proc., Amer. Inst. Phys., New York, 1982, pp. 121–126

1981
[34]

R. G. Spencer and A. N. Kaufman , Hamiltonian structure of two-ﬂuid plasma dynamics , Phys. Rev. A (3), 25 (1982), pp. 2437–2439

1982
[35]

Spohn , Kinetic equations from Hamiltonian dynamics: Markovian li mits, Rev

H. Spohn , Kinetic equations from Hamiltonian dynamics: Markovian li mits, Rev. Mod. Phys., 52 (1980), pp. 569– 615

1980
[36]

Trèves , Topological vector spaces, distributions and kernels , Academic Press, New York-London, 1967

F. Trèves , Topological vector spaces, distributions and kernels , Academic Press, New York-London, 1967

1967
[37]

Xie , Derivation of a nonlinear Schrödinger equation with a gener al power-type nonlinearity in d = 1, 2, Diﬀerential Integral Equations, 28 (2015), pp

Z. Xie , Derivation of a nonlinear Schrödinger equation with a gener al power-type nonlinearity in d = 1, 2, Diﬀerential Integral Equations, 28 (2015), pp. 455–504

2015
[38]

V. E. Zakharov , Stability of periodic waves of ﬁnite amplitude on the surfac e of a deep ﬂuid , Journal of Applied Mechanics and Technical Physics, 9 (1968), pp. 190–194. 80 D. MENDELSON, A. NAHMOD, N. PA VLOVIĆ, M. ROSENZWEIG, AND G . STAFFILANI 1 Depar tment of Ma thema tic...

1968

Pith tools

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

[1] [1]

Abraham and J

R. Abraham and J. E. Marsden , Foundations of mechanics, Benjamin/Cummings Publishing Co., Inc., Advanced Book Program, Reading, Mass., 1978. Second edition, revise d and enlarged, With the assistance of Tudor Raţiu and Richard Cushman

work page 1978

[2] [2]

Adami, C

R. Adami, C. Bardos, F. Golse, and A. Teta , Towards a rigorous derivation of the cubic NLSE in dimension one, Asymptotic Analysis, 40 (2004), pp. 93–108

work page 2004

[3] [3]

Adami, F

R. Adami, F. Golse, and A. Teta , Rigorous derivation of the cubic NLS in dimension one , Journal of Statistical Physics, 127 (2007), pp. 1193–1220

work page 2007

[4] [4]

T. Chen, C. Hainzl, N. P a vlović, and R. Seiringer , Unconditional uniqueness for the cubic Gross-Pitaevskii hierarchy via quantum de Finetti , Comm. Pure Appl. Math., 68 (2015), pp. 1845–1884

work page 2015

[5] [5]

Chen and N

T. Chen and N. P a vlović, The quintic NLS as the mean ﬁeld limit of a boson gas with three -body interactions, J. Funct. Anal., 260 (2011), pp. 959–997

work page 2011

[6] [6]

P. R. Chernoff and J. E. Marsden , Properties of inﬁnite dimensional Hamiltonian systems , Lecture Notes in Mathematics, Vol. 425, Springer-Verlag, Berlin-New York, 1974

work page 1974

[7] [7]

Erdös, B

L. Erdös, B. Schlein, and H.-T. Yau , Derivation of the Gross-Pitaevskii hierarchy for the dynam ics of Bose- Einstein condensate, Comm. Pure Appl. Math., 59 (2006), pp. 1659–1741. [8] , Derivation of the cubic non-linear Schrödinger equation fr om quantum dynamics of many-body systems , Inven. Math., 167 (2007), pp. 515–614

work page 2006

[8] [9]

Math., 172 (2010), pp

, Derivation of the Gross-Pitaevskii equation for the dynami cs of Bose-Einstein condensate , Ann. Math., 172 (2010), pp. 291–370

work page 2010