Physlib.QuantumMechanics.OneDimension.HarmonicOscillator.Eigenfunction
20 declarations
-th eigenfunction of the harmonic oscillator
#eigenfunctionThe -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
#eigenfunction_eqFor 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
#eigenfunction_eq_mul_eigenfunction_zeroFor 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
#eigenfunction_integrableFor 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:
#eigenfunction_conjFor 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
#eigenfunction_point_normFor 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
#eigenfunction_point_norm_sqFor 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
#eigenfunction_square_integrableFor 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
#eigenfunction_aeStronglyMeasurableFor 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
#eigenfunction_memHSFor 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
#eigenfunction_differentiableAtFor 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
#eigenfunction_continuousFor 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
#eigenfunction_parityFor 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
#eigenfunction_mulFor 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
#eigenfunction_mul_selfFor 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:
#eigenfunction_normalizedFor 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
#eigenfunction_orthogonalFor 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
#eigenfunction_orthonormalThe 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
#eigenfunction_linearIndependentThe 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.
