Physlib.QuantumMechanics.OneDimension.HarmonicOscillator.Eigenfunction
Eigenfunction of the Harmonic Oscillator
Basic properties of the eigenfunctions
Orthonormality
20 declarations
-th eigenfunction of the harmonic oscillator
The -th eigenfunction of the one-dimensional harmonic oscillator, denoted as , is defined for a given quantum number and characteristic length scale as: where is the -th physicist's Hermite polynomial (`physHermite`). The resulting value is treated as a complex number.
Explicit Formula for the Harmonic Oscillator Eigenfunction
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator is given by the formula: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
The 0-th eigenfunction of the one-dimensional harmonic oscillator, denoted as , is given by the expression: where is the characteristic length scale and is the position.
The -th harmonic oscillator eigenfunction in terms of the ground state and Hermite polynomials
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator can be expressed in terms of the ground state eigenfunction as: where is the -th physicist's Hermite polynomial and is the characteristic length scale.
The -th Harmonic Oscillator Eigenfunction is Integrable
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator, denoted as , is integrable. That is, the integral of the absolute value of the eigenfunction over the entire real line is finite: where is defined in terms of the -th physicist's Hermite polynomial and the characteristic length scale as:
The Harmonic Oscillator Eigenfunction is Real:
For any natural number and any real number , the -th eigenfunction of the one-dimensional harmonic oscillator is real-valued. Specifically, its complex conjugate (denoted by the overline) is equal to itself: This holds because the explicit definition of involves only real-valued components (Hermite polynomials, exponentials, and normalization constants) cast into the complex field.
Pointwise Norm of the Harmonic Oscillator Eigenfunction
For any natural number and any real number , the norm of the -th eigenfunction of the one-dimensional harmonic oscillator is given by: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
Squared Norm of the Harmonic Oscillator Eigenfunction
For any natural number and any real number , the squared norm of the -th eigenfunction of the one-dimensional harmonic oscillator is given by: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
The harmonic oscillator eigenfunctions are square-integrable
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator is square-integrable, meaning the function is integrable over . The eigenfunction is defined as: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
The harmonic oscillator eigenfunctions are almost everywhere strongly measurable
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator, , is almost everywhere strongly measurable. The eigenfunction is defined as: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
Harmonic Oscillator Eigenfunctions are members of the Hilbert space
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator belongs to the Hilbert space (denoted as `MemHS`, typically corresponding to the space of square-integrable functions ). The eigenfunction is defined as: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
The Harmonic Oscillator Eigenfunctions are Differentiable at every point
For any natural number and any real number , the -th eigenfunction of the one-dimensional harmonic oscillator is differentiable at . The eigenfunction is defined as: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
Harmonic Oscillator Eigenfunctions are Continuous
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator is a continuous function. The eigenfunction is defined as: where is the characteristic length scale and is the -th physicist's Hermite polynomial.
The Parity of the -th Harmonic Oscillator Eigenfunction is
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator is an eigenfunction of the parity operator with eigenvalue . That is, where the parity operator is defined as , and the eigenfunction is given by: with being the characteristic length scale and being the -th physicist's Hermite polynomial.
Product formula for harmonic oscillator eigenfunctions and
For any natural numbers and , the product of the -th and -th eigenfunctions and of the one-dimensional harmonic oscillator at position is given by: where is the characteristic length scale and denotes the -th physicist's Hermite polynomial.
Square of the harmonic oscillator eigenfunction
For any natural number , the square of the -th eigenfunction of the one-dimensional harmonic oscillator at position is given by: where is the characteristic length scale and denotes the -th physicist's Hermite polynomial.
Harmonic Oscillator Eigenfunctions are Normalized:
For any natural number , the -th eigenfunction of the one-dimensional harmonic oscillator is normalized. That is, the inner product of with itself in the Hilbert space is equal to 1: Here, is the -th eigenfunction defined in terms of Hermite polynomials and the characteristic length scale .
Harmonic Oscillator Eigenfunctions are Orthogonal for
For any distinct natural numbers and (), the -th and -th eigenfunctions and of the one-dimensional quantum harmonic oscillator are orthogonal. That is, their inner product in the Hilbert space is zero: where is the -th eigenfunction defined using Hermite polynomials and a Gaussian envelope.
Harmonic Oscillator Eigenfunctions are Orthonormal
The eigenfunctions of the one-dimensional quantum harmonic oscillator form an orthonormal set in the Hilbert space. That is, for any natural numbers , their complex inner product satisfies: where is the Kronecker delta, which is equal to if and otherwise.
The eigenfunctions are linearly independent
The sequence of eigenfunctions of the one-dimensional quantum harmonic oscillator is linearly independent over the field of complex numbers . Each eigenfunction is an element of the Hilbert space of the system.
