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.
Positive gravity and capillary modal restoring terms
Exact sign check for nonzero modes of the stated inviscid finite-depth linear capillary-gravity model; it is not a measured result or a statement about nonlinear or viscous fluids.
Example
Use with , the series-defined complex exponential , and defined as twice the least positive zero of cosine.
Fix periods metres and let . Define horizontal derivatives by differentiating the -periodic lift to , and set . Fix an integer lattice mode and define its wavevector and magnitude by in inverse metres and . For any representative of , define the horizontal mode factor . A change of representative by changes its exponent by , where ; the exponential addition law and give for every integer (by repeated addition for and for ), so is well-defined. The identity also shows never vanishes. Its periodic lift has . Thus, for any unrestricted nonzero formal coefficient amplitude in metres, the nonzero horizontal mode satisfies . For real , write and define , , and . Fix , where is depth in metres, is constant liquid mass density in kilograms per cubic metre, is the magnitude of the downward gravitational acceleration in metres per second squared, and is the constant surface-tension coefficient in newtons per metre; is the upward unit vector. The vertical coordinate is upward, with the flat reference surface at and the fixed bed at . Let be the model's nonempty open time interval in seconds. The adopted first-order model is the one specified in the Postulate titled “Linear capillary free-surface model.” Its real coefficient fields are in metres and in metres squared per second; in periodic-lift coordinates they have continuous partial derivatives through total orders two and three, respectively, with one-sided continuous extensions at . Its equations in the selected periodic cell are for , , , and . For in inverse seconds define for . A nonzero complex mode at index and angular frequency is a pair of fields and given by and and satisfying the complex-linear extension of those equations, with in metres and in metres squared per second; here is continuous on , twice continuously differentiable on , and its first two derivatives extend continuously to the endpoints. The mode definition and dispersion result are those of the theorem titled “Linear capillary-gravity wave dispersion.” Its frequency relation is , since and . Thus the gravity coefficient and capillary coefficient are both positive, and their contributions enter additively in the modal factor . No finite-displacement constraint is imposed on the formal coefficient: optional geometric displacements are scaled by a sufficiently small dimensionless factor on compact time windows as in the postulate. This is a symbolic conditional model example; it reports no observation or numerical measurement.
Example references
Facts & Assumptions
Given: The positive model parameters and nonzero mode in the Example.
Linear capillary-gravity wave dispersion: for each nonzero integer lattice mode, the quotient-torus mode factor has ; every complex mode with has , and the right-hand side is positive when .
Verification
At any time in the model's nonempty interval, the theorem's factor in [F1] is . Its scalar time factor is nonzero by the exponential reciprocal identity, so in [F1] gives after cancellation. Linearity then gives for .
Since , , and , the capillary coefficient is positive; adding yields .
By [F1], for the nonzero lattice mode defined in the Example; hence each model frequency is real and nonzero.
Depends on
Dependency tree · 2 levels
Sources
- MIT OpenCourseWare 18.354, Nonlinear Dynamics II: Continuum Systems, Spring 2015 Lecture Notes (authors: Michael Brenner, Tom Peacock, Roman Stocker, Pedro Reis, Jörn Dunkel)
- Howard Georgi, MIT OpenCourseWare 8.03SC, The Physics of Waves, Fall 2016 textbook
- Richard Fitzpatrick, Fluid Mechanics, University of Texas at Austin, 'Surface Tension'