Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generated
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.

The quadratic-potential oscillator model of the framework

Physical scope

The one-dimensional and isotropic three-dimensional quadratic-potential (harmonic) oscillator model of a spinless massive particle of the non-relativistic framework: state space L^2(R,dx) respectively L^2(R^3,dx), position and momentum operators with declared units m and kg m s^-1, the assigned energy observable H_osc with unit J and a potential-energy convention in which V(0) is subtracted, and the assigned dimensionless excitation-number observable N_psi with declared unit 1. The one-dimensional energy operator is the self-adjoint realization of the formal differential expression -hbar^2/(2m) d^2/dx^2 + (m omega^2/2) x^2 fixed by the oscillator scaling theorem for the declared parameters m>0, omega>0 and hbar>0. The model is an adopted idealization of the quadratic part of a C^2 scalar potential-energy function V:R->R near a non-degenerate local minimum, after subtracting V(0); it asserts no measured values, no derivation of m or omega from any microscopic theory, no damping, driving or time dependence, no coupling to electromagnetic fields or radiation, no spin-dependent force, no anharmonic or relativistic correction and no boundary or many-body effect.

Definition

(a) Adopted framework assumptions. Adopt the state and composition postulate P1, the observable and probability postulate P2, the autonomous-dynamics postulate P4 and the kinematics and massive-particle model postulate P5, in the readings of The state space of the framework: preparations, pure rays and density operators, Assigned sharp observables and the outcome law of the framework, Assigned energy observable, unitary flow and the two pictures of autonomous evolution and The massive spin-s particle model of the framework: state space, operators, units and frame readings (State and composition postulate P1: Hilbert spaces, preparations and composite systems, Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes, Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution, Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators). Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Fix real model parameters m>0 (mass parameter, unit kg), ω>0 (angular frequency, unit s−1) and the action constant ℏ>0 (unit J s) of Dimensions, SI unit conventions and quantity types of the framework clause (d)4, and put ℓ:=ℏmω>0(unit m), the model's length scale.

(b) One-dimensional realization. Write H1:=L2(R,dx;C) for the model's one-dimensional state space, the complex Hilbert space of almost-everywhere classes with inner product linear in the first argument, taken in the scalar reading r=1 of the component-valued space of Componentwise position and momentum operators on the component-valued wave-function space for d=1. The model's position and momentum are the operators of that lemma at d=1, r=1, namely Q:=Mx,D(Q)={f∈H1:xf∈L2},(Qf)(x)=xf(x), P:=−iℏDx,D(P)={f∈H1:the weak derivative Dxf lies in L2},Pf=−iℏDxf, which are densely defined and self-adjoint with exactly these domains; the model assigns to (Q,m) and to (P,kg m s−1) the status of assigned sharp observables in the sense of Assigned sharp observables and the outcome law of the framework clause (a), with outcome laws read from P2.

(c) Energy and excitation-number observables. Let g0,(gn)n∈N and the unitary D:L2(R,dy)→L2(R,dx) be the Hermite data and scaling map of Oscillator scaling and exact realization clauses (a), (b) for the parameters m,ω,ℏ. Put Py:={pg0:p∈C[y]}⊆L2(R,dy); the Hermite recurrence Hermite recurrence identifies this polynomial-Gaussian space with span⁡{gn:n∈N}, and its scaled image Px:=D(Py)=span⁡{ψn:n∈N} is the core supplied by the scaling theorem. Let A be the diagonal operator of Diagonal adjoint and graph-core lemma for the family (gn) and eigenvalues 2n+1. The model's energy operator is H1:=ℏω2 DAD−1,D(H1):={f∈H1:D−1f∈D(A)}, the operator of Oscillator scaling and exact realization clause (b); its exact domain, action, spectrum and eigenbasis are those established there. The model assigns to (H1,J) the status of assigned energy observable of the isolated system in the sense of Assigned energy observable, unitary flow and the two pictures of autonomous evolution clauses (a) and (b): the model's flow is U(t)=exp⁡(−itH1/ℏ) and the model's Schroedinger dynamics is the one of that definition. Let N be the self-adjoint number operator on L2(R,dy) of Closed ladder domains for the Hermite family (gn), and set Nψ:=DND−1. Its transported domain and action are D(Nψ)={f∈H1:∑nn2∣⟨f,ψn⟩∣2<∞},Nψf=∑nn⟨f,ψn⟩ψn, with the series converging in H1; it is self-adjoint by Transport of spectral projection-valued measures along isometric bijections clauses (a), (d). The model assigns to (Nψ,1) the status of its dimensionless excitation-number observable; here 1 is the dimensionless unit, and the spectral coordinate n records the number of excitations, and its outcome laws are read by P2. On the scaled polynomial-Gaussian core Px the operator H1 is the self-adjoint realization of the quadratic expression: for every f∈Px, H1f=−ℏ22mf′′+mω22x2f pointwise, and for every f∈D(H1) the weak identity ∫(H1f)φ dx=∫f(−ℏ22mφ′′+mω22x2φ)dx holds for every φ∈Cc∞(R) (Oscillator scaling and exact realization clauses (c), (d)). The formal differential expression −ℏ22md2dx2+mω22x2 is the model's quadratic potential energy plus kinetic energy reading; no identification of D(H1) with any independently defined maximal differential-operator domain, and no separate quadratic-form-domain characterization, is asserted.

(d) Three-dimensional isotropic realization. For the spinless reading s=0 of the massive-particle model of The massive spin-s particle model of the framework: state space, operators, units and frame readings, with state space H3:=L2(R3,dx;C), position operators Qj and momentum operators Pk (j,k∈{1,2,3}) with the domains and units of that definition, the model with common frequency ω has energy operator H3 equal to the diagonal operator H of Multidimensional oscillator completeness clause (c) for d=3, mj=m, ωj=ω, a self-adjoint operator on H3 with the domain, spectrum and core displayed there. The model assigns to (H3,J) the status of assigned energy observable in the reading of clause (c); its eigenbasis and the identity H3=∑j=13(−ℏ22m∂xj2+mω22xj2) on the core are those of that theorem, and the one-dimensional realization of clauses (b) and (c) is the coordinate specialization of this one.

(e) Physical reading and scope. Clause (c) defines the model quantities that the page calls the energy and excitation number; it is a model assumption that the energy of the declared isolated particle is the assigned observable (H1,J) and that (Nψ,1) is its excitation-number observable. The additive constant of the potential energy is removed at the minimum: for a one-dimensional potential-energy function V:R→R of class C2, with values in joules for position x in metres, suppose V has a non-degenerate local minimum at 0, meaning V′(0)=0 and V′′(0)>0. Taylor's theorem gives V(x)−V(0)=12V′′(0)x2+o(x2) as x→0; the oscillator model approximates this shifted potential-energy function by its quadratic term and sets mω2=V′′(0). The oscillator's quantum ground energy in this convention is ℏω/2. With only the stated C2 regularity, the remainder is o(x2); no quantitative finite-amplitude error bound is asserted on this page (Binney §3.1, cited in the references). No measured value, no laboratory identification and no derivation of m or ω from any microscopic or environmental theory is asserted. The model contains no damping, no external driving, no time-dependent parameters, no coupling to electromagnetic fields or radiation, no spin-dependent force, no anharmonic term, no relativistic correction and no boundary or many-body effect; those are separate model assumptions belonging to their own items. The parameters m and ω are model parameters of dimensions μ and τ−1 in the conventions of Dimensions, SI unit conventions and quantity types of the framework, and all displayed quantities are read in the units fixed there.

(f) Status. Clauses (a)-(e) fix the objects used by the theorems of this page and record the readings of P1, P2, P4 and P5 in the model's terminology. They assert no preparation or apparatus model, no detection model, no joint outcome law of position and momentum and no empirical result.

Remarks

  • Why the model is fixed through the scaling theorem. The operator H1 is not introduced as "the differential expression with some self-adjoint extension": it is the unique self-adjoint extension of the symmetric operator on the polynomial-Gaussian core that is fixed outright by Oscillator scaling and exact realization. The weak identity of clause (c) then records that this operator is the realization of the quadratic expression in the sense of distributions, without claiming that its domain coincides with any maximally defined differential domain.
  • The two realizations are separate adoptions. Clause (b) declares a particle confined to a line; P5's spacetime arena is R×R3, so the one-dimensional model is an additional idealization, not a restriction of P5. Clause (d) is the isotropic three-dimensional model of P5 at s=0. Later items of this page state their hypotheses for one or the other realization explicitly; results about the one-dimensional realization are not transferred to the three-dimensional one or conversely, except where the multidimensional theorem supplies the identification.
  • Units. The quantities ℓ, Q, P, H1, H3, m, ω and ℏ are read as dimensioned model quantities: [ℓ]=ℓ, [Q]=ℓ, [P]=μℓτ−1, [H]=μℓ2τ−2, [m]=μ, [ω]=τ−1 and [ℏ]=μℓ2τ−1. The excitation number Nψ is dimensionless and is read in the declared unit 1; V(0) is subtracted only as a potential-energy offset, and the quantum energy eigenvalues ℏω(n+12) are read in joules.

Depends on

Dependency tree · 2 levels

Sources