Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedprecheck passverified 2026-10-23 (gpt-6.1-sol)
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

Physical scope

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 C:=R[X]/(X2+1) with i:=[X], the series-defined complex exponential exp⁡w:=∑n=0∞wn/n!, and π defined as twice the least positive zero of cosine.

Fix periods L1,L2>0 metres and let TL2:=R2/(L1Z×L2Z). Define horizontal derivatives by differentiating the L-periodic lift to R2, and set Δh:=∂x12+∂x22. Fix an integer lattice mode m=(m1,m2)∈Z2∖{(0,0)} and define its wavevector and magnitude by k:=2π(m1/L1,m2/L2) in inverse metres and k:=∣k∣>0. For any representative x~∈R2 of [x]∈TL2, define the horizontal mode factor qmh([x]):=exp⁡(ik⋅x~). A change of representative by (L1n1,L2n2) changes its exponent by 2πiN, where N=m1n1+m2n2∈Z; the exponential addition law and exp⁡(iπ)=−1 give exp⁡(2πiN)=1 for every integer N (by repeated addition for N≥0 and exp⁡(w)exp⁡(−w)=1 for N<0), so qmh is well-defined. The identity exp⁡(ik⋅x~)exp⁡(−ik⋅x~)=exp⁡(0)=1 also shows qmh never vanishes. Its periodic lift has Δhqmh=−k2qmh. Thus, for any unrestricted nonzero formal coefficient amplitude H∈C in metres, the nonzero horizontal mode ηm:=Hqmh satisfies Δhηm=−k2ηm. For real s, write es:=exp⁡(s) and define sinh⁡s:=(es−e−s)/2, cosh⁡s:=(es+e−s)/2, and tanh⁡s:=sinh⁡s/cosh⁡s. Fix h,ρ,g,γ>0, where h is depth in metres, ρ is constant liquid mass density in kilograms per cubic metre, g is the magnitude of the downward gravitational acceleration −gez in metres per second squared, and γ is the constant surface-tension coefficient in newtons per metre; ez is the upward unit vector. The vertical coordinate z is upward, with the flat reference surface at z=0 and the fixed bed at z=−h. Let I⊆R 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 η:TL2×I→R in metres and ϕ:TL2×[−h,0]×I→R 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 z=−h,0. Its equations in the selected periodic cell are Δhϕ+∂z2ϕ=0 for −h<z<0, ∂zϕ(x,−h,t)=0, ∂tη(x,t)=∂zϕ(x,0,t), and ∂tϕ(x,0,t)+gη(x,t)−γρΔhη(x,t)=0. For ω∈C in inverse seconds define qm([x],t):=qmh([x])exp⁡(−iωt) for t∈I. A nonzero complex mode at index m and angular frequency ω is a pair of fields ηc:TL2×I→C and ϕc:TL2×[−h,0]×I→C given by ηc([x],t)=Hqm([x],t) and ϕc([x],z,t)=F(z)qm([x],t) and satisfying the complex-linear extension of those equations, with H∈C∖{0} in metres and F∈C2([−h,0],C) in metres squared per second; here F is continuous on [−h,0], twice continuously differentiable on (−h,0), 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 ω2=(gk+(γ/ρ)k3)tanh⁡(kh)>0, since h,k,g,γ,ρ>0 and tanh⁡(kh)>0. Thus the gravity coefficient g and capillary coefficient γk2/ρ are both positive, and their contributions enter additively in the modal factor g+γk2/ρ. 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.

Facts & Assumptions

Given: The positive model parameters and nonzero mode in the Example.

[F1]

Linear capillary-gravity wave dispersion: for each nonzero integer lattice mode, the quotient-torus mode factor has Δhqm=−k2qm; every complex mode with k>0 has ω2=(gk+(γ/ρ)k3)tanh⁡(kh), and the right-hand side is positive when h,ρ,g,γ>0.

Verification

1.1givenF1algebra

At any time t in the model's nonempty interval, the theorem's factor in [F1] is qm(x,t)=qmh(x)exp⁡(−iωt). Its scalar time factor is nonzero by the exponential reciprocal identity, so Δhqm=−k2qm in [F1] gives Δhqmh=−k2qmh after cancellation. Linearity then gives Δhηm=−k2ηm for ηm=Hqmh.

1.2givenalgebra

Since k>0, γ>0, and ρ>0, the capillary coefficient γk2/ρ is positive; adding g>0 yields g+γk2/ρ>0.

2.1givenF1step 1.2algebra∎

By [F1], ω2=k(g+γk2/ρ)tanh⁡(kh)>0 for the nonzero lattice mode defined in the Example; hence each model frequency is real and nonzero.

Depends on

Dependency tree · 2 levels

Sources