For a positive quadratic bending operator with a real orthonormal basis of eigenfunctions, the equipartition theorem gives , where . This is the inverse-operator Green function multiplied by Boltzmann constant and temperature. Unconstrained zero-energy filament modes prevent a normalizable canonical ensemble, and negative modes signal an unstable quadratic model.
For both ends clamped and , the diagonal is . This differs from a clamped-free tip variance. The center variance is .
Three-site tight-binding ring Created 2026-10-18 Updated 2026-10-20
In an orthonormal basis of localized atomic orbitals, a ring of three equivalent sites with real hopping has Hamiltonian , where is the three-by-three all-ones matrix. The normalized symmetric state has energy . Its two-dimensional orthogonal complement has energy . Thus the symmetric state is the unique spatial ground state for , with an energy difference to the excited eigenstates. Equivalently, the three discrete Bloch states have energies , . Nonorthogonal atomic orbitals instead require a generalized eigenvalue problem.
Time-independent Schrödinger equation Created 2026-09-24 Updated 2026-10-20
For a time-independent Hamiltonian operator , an energy eigenstate satisfies
For a one-dimensional particle of mass in a real potential energy ,
Its full time-dependent wavefunction is : substitution in the Schrödinger equation checks both the minus sign and the factor . Thus an energy eigenstate has stationary position probability density, even though its quantum phase evolves. The boundary conditions and operator domain are part of this eigenvalue problem, selecting physically allowed solutions; the infinite square well and Radial Schrodinger equation for the hydrogen atom give complementary confined examples.
For a complete discrete orthonormal basis of energy eigenstates, linearity gives , with . Cross terms in oscillate at angular frequencies . A continuous spectrum requires the corresponding spectral integrals; for a free particle on the whole line, individual plane waves are generalized eigenfunctions, and a normalized Gaussian wave packet is their integral quantum superposition. Adding a spatially constant real to shifts every energy eigenvalue by and multiplies the full state by , a global phase; energy differences, position probabilities and probability current are unchanged.
For the real two-by-two matrix space, the Frobenius inner product is . The displayed four matrices form an orthonormal basis. The first spans the identity direction, the next two span the traceless symmetric matrices, and the last spans the antisymmetric matrices. Symmetric and antisymmetric matrices are orthogonal because transposition changes the sign of their trace pairing; pairing with the identity gives the trace. This basis therefore displays the orthogonal direct sum into these three natural pieces.
In the Heisenberg picture, an observable without explicit time dependence has
Here is the reduced Planck constant. An emitted photon on a transition with has positive angular frequency . The sign of the array's quantum phase follows its index convention; it is not a negative measured photon frequency. The frequencies involve differences of energy levels, rather than the absolute values . Adding a constant to leaves these frequencies unchanged.
Insert the complete orthonormal basis between two linear operators:
The sum runs over intermediate states. The second identity follows by cancellation of ; it makes every term in the product acquire the same time factor . This is a useful reason for matrix multiplication: it composes the two indexed arrays consistently with the addition of transition frequencies. It does not multiply matching entries independently. Swapping and generally changes the intermediate-state sum and hence the result.
For a real symmetric matrix , completing the square gives, when ,
Thus is a positive-definite matrix exactly when and . For necessity, test first, then ; for sufficiency, the displayed two positive squares give the result. These are the first two leading principal minors in Sylvester's criterion. A positive determinant alone is insufficient: has determinant but is a negative-definite matrix.
The eigenvalues provide an equivalent test under the same real-symmetric hypothesis:
The spectral theorem for real symmetric matrices supplies coordinates in an orthonormal basis in which . More generally, a complex Hermitian matrix has an orthonormal eigenbasis and , so it is a Hermitian positive-definite matrix exactly when every eigenvalue is positive. This is a short proof outline: test the eigenvectors for necessity, and sum the positive squared absolute values for sufficiency.[ref]
For a real positive semidefinite matrix, the condition is instead for all vectors, equivalent here to , , and . If , the same completing the square proves this; if , nonnegativity forces and leaves with . Merely replacing the strict inequalities on the leading principal minors by nonstrict ones fails: has both leading principal minors zero yet gives . An indefinite quadratic form takes both positive and negative values; its real symmetric matrix has eigenvalues of both signs.
For normalized pure states , a two-member quantum state ensemble gives the maximally mixed state of a qubit exactly when its members are orthogonal and equally probable. To prove necessity, take expectation values of its density matrix in the two members: and . Hence and the overlap vanishes. Sufficiency is the resolution of the identity in an orthonormal basis.
A linear isometry from a subspace of a finite-dimensional Hilbert space into the same ambient space extends to a unitary operator. Complete an orthonormal basis of the input subspace and its isometric image to full orthonormal bases, then map the first to the second. The equal complement dimensions make this possible. Orthogonality of the specified image columns, not normalization alone, is essential. In an infinite-dimensional space arbitrary isometries need not be surjective; the finite-dimensional same-space hypothesis cannot be dropped.
The group of invertible linear maps preserving a nondegenerate Hermitian form over a quadratic finite field is, in an orthonormal basis, the displayed matrix group. Here denotes the size of the field on which the matrices act; some authors denote this same group by . Imposing determinant one gives the special unitary subgroup, and subsequently quotienting its scalar center gives the projective special unitary group over a finite field.
Wavefunction normalization Created 2026-10-06 Updated 2026-10-20
Wavefunction normalization makes the total Born rule probability equal to one. In an orthonormal basis of energy eigenstates, is normalized precisely when .
For a proposed infinite square well mode , the integral of its squared modulus is . Thus wavefunction normalization requires ; choosing real and positive fixes a convenient global phase. For the equal quantum superposition , orthogonality makes the integrated cross term zero, leaving . The cross term can nevertheless be nonzero locally: normalization constrains total probability, not the shape of its probability density.
For a scaling refinement equation , set . The quadrature mirror filter identity makes the two rows and a unitary matrix, where . The complementary coefficients yield . In a multiresolution analysis, coefficient-space completeness shows its translates form an orthonormal basis of , hence its dilations and translates form an orthonormal wavelet basis of the whole space.
Wavelet series 2026-10-14
For an orthonormal wavelet and its scaling function, set and similarly for . The coarse scaling functions together with nonnegative-resolution wavelets form an orthonormal basis of . The coefficients are the corresponding L2 inner products. The series converges in the L2 norm, and the Parseval identity for a Hilbertian basis equates squared norm with the sum of squared coefficients. Pointwise convergence requires additional hypotheses.
Every bounded sequence in a Hilbert space has a weakly convergent subsequence. The closed span of a sequence is separable; diagonal convergence of coordinates along an orthonormal basis gives a bounded limiting linear functional, represented by a vector of the Hilbert space. Applied to a bounded family of mollifications, this proves that their strong Lebesgue limit inherits the weak derivative bound.
For a permutation of an orthonormal basis, the weighted image columns are mutually orthogonal and have squared norms . Hence and the displayed criterion follows. All nonzero weights suffice for invertibility, but unitarity requires unit-modulus weights. This describes basis permutations decorated by phases without introducing unwanted changes of amplitude.
White-noise likelihood for a square-integrable shift Created 2026-10-05 Updated 2026-10-06
Generalized Gaussian white noise over a real Hilbert space is an isonormal Gaussian process with covariance . Its law is carried on a larger observation space; the identity is not the covariance of an infinite-dimensional -valued Gaussian measure because it is not a trace-class operator. A deterministic signal defines a translated observation law with Radon-Nikodym derivative
In an orthonormal basis, is a stochastic series with total variance , not an inner product of two -valued observations. The formula follows from the Cameron-Martin theorem for a Gaussian measure in its generalized white-noise version, or from finite-dimensional Gaussian likelihood ratios. On , generalized noise can be realized on tempered distributions; an unweighted global negative Sobolev space is not automatically a suitable almost-sure support on an unbounded domain. The stochastic series avoids imposing that unsupported regularity.
Young orthogonal form 2026-10-05
Normalizing the tableau lines in a compatible real phase convention gives the orthonormal basis form
Admissible swaps have . Nonadmissible swaps act by within a row and within a column. The symmetric matrix is an orthogonal involution and is useful for making the unitary representation and its phases explicit.