How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Cubic NLS as a nonlinear dispersive wave model
PDF p. 1: §1.1, paragraph following (1.1)
Postulate
The cubic nonlinear Schrödinger equation , with real nonzero , is adopted as a model for propagation of nonlinear dispersive waves. Here a wave is represented by a complex-valued amplitude ; nonlinear means that the equation contains the cubic term , and dispersive refers to propagation in which different spatial frequencies can evolve at different rates. The article names nonlinear optics, the study of light interacting with matter in regimes with nonlinear response, and Bose–Einstein condensation, a regime in which a macroscopic population occupies a common quantum state, as applications.
This is an adopted model interpretation. It does not assert that the boundary controls in the mathematical formulation have been physically realized, that a particular experiment measured this equation, or that the equation applies without approximation to every optical or condensate system.
Postulate references
Physical context
The mathematical formulation Cubic NLS and boundary control formulations specifies the equation and its Dirichlet and Neumann boundary-control alternatives. It does not itself assert their physical realization.
As independent model context, Pitaevskii's zero-order condensate amplitude satisfies in the source's approximation. Here is the reduced Planck constant, the particle mass, and the effective interaction coefficient; the condensate amplitude is the mean-field amplitude for the condensed component. The stated context is absolute zero and a rarefied gas with weak short-range repulsion, small noncondensate correction and effective scattering amplitude small compared with interparticle spacing. Small operator corrections are discarded. This input does not establish the article's obstacle geometry or its boundary controls.
Source notes
The frozen article is cited for attribution of its introductory interpretation. The Pitaevskii reference supplies the separately qualified condensate example, not a derivation of the article's controlled model. The ideal periodic Bose-gas result in the physics library and the library's autonomous linear Schrödinger flow concern different hypotheses and do not supply this nonlinear controlled model.
Depends on
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.
External dependencies
The zero-order condensate amplitude in a weakly repulsive rarefied Bose gas obeys a cubic nonlinear Schrödinger equation after small operator corrections are discarded.
Hypotheses: Absolute zero; weak short-range repulsion; interaction range much smaller than interparticle spacing; small noncondensate correction; effective scattering amplitude small relative to interparticle spacing.
Reading limits: The retained planning packet reports reading the four-page English translation, §2, and visually inspecting printed page 452, equations (6)–(9) and (16). This author read that retained contract; an attempt to fetch the original PDF timed out. Vortex-energy and excitation-spectrum arguments were not checked. The source does not establish an exterior obstacle or a boundary-control apparatus.
Sources
- Nonlinear Schrödinger equation in an exterior domain, v2 · PDF page 1, §1.1, equation (1.1) and following paragraph
- Vortex Lines in an Imperfect Bose Gas · §2, printed pages 451–452, equations (5)–(9) and validity condition (16)