Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 216 3 b Solution 2026-09-28
For , detailed balance says that the measure is invariant under exchanging and . ThereforeThis is precisely the defining identity for a self-adjoint operator.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 216 3 d Solution 2026-09-28
Subtracting the expected value of does not alter either side, so suppose . Since reversibility makes a self-adjoint operator and stationarity makes it a contraction,The Discrete-time Poincaré inequality for a Markov kernel is therefore equivalent toApplying this inequality successively to yieldsConversely, the asserted variance contraction with rearranges to the Poincaré inequality. Hence the two statements are equivalent.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 319 1 c Solution 2026-09-28
Let and define the positive self-adjoint operatoron . On the Fourier mode it acts by multiplication by . ConsequentlyThe energy space is the periodic Sobolev spacewith inner productIf and , thenwhich is precisely the stated energy norm.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 331 2 b iv Solution Created 2026-09-28 Updated 2026-10-03
After the pressure enforces incompressibility, let denote the displayed linear operator. Integration by parts givesThe pressure terms vanish by incompressibility and the boundary conditions. The expression is symmetric under , soThus is a self-adjoint operator in the energy inner product and hence a normal operator. Its orthogonal eigenmodes cannot generate non-normal transient growth.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 341 5 a Solution 2026-09-28
Write . The real potential and periodic boundary conditions make a self-adjoint operator. Since ,because the expectation of a self-adjoint operator is real. Equivalently, integrating the kinetic term by parts leaves and the periodic boundary term cancels. Thus the continuous Schrodinger equation preserves its norm.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 358 2 a Solution 2026-09-28
A projection-valued measure on the Borel sets of is a map into the orthogonal projections on a separable Hilbert space such thatand for pairwise disjoint ,for every , with convergence in norm.
The spectral theorem for normal operators on a separable Hilbert space states that a bounded normal operator has a unique projection-valued measure supported on for whichMore generally, the Borel functional calculus for a normal operator is
For , the scalar spectral measures areIf is self-adjoint, its spectrum and hence the support of lie in . Moreover,so is a positive measure, andThe paper prints total mass ; with the standard definition it is , so the unsquared norm is a typographical error.
Positive-definite operator Created 2026-09-28 Updated 2026-10-06
A self-adjoint operator is positive definite when for every nonzero vector in its domain. In finite dimension it is invertible and has positive eigenvalues. In infinite dimension, strict positivity of individual quadratic-form values need not give a bounded inverse; the stronger uniform bound with supplies coercivity.
For maps and between finite-dimensional inner-product spaces, with , the operator is positive definite. Its quadratic form is , whose zero set is . This uses the adjoint operator relation .
Schrodinger operator 2026-10-03
A Schrodinger operator is a differential operator of the formwhere is the Laplace operator and is a potential function. Its eigenvalue problem is the Time-independent Schrodinger equation.
For the elastic filament operator , two integration by parts operations give boundary form . Four elementary homogeneous choices at each endpoint are (clamped), (hinged), (free), and (slope-constrained and transverse-force-free). Each defines a self-adjoint operator on a finite interval when imposed at both ends. More general real Robin boundary conditions also give self-adjointness; the four choices are not an exhaustive classification of all boundary subspaces.
For a bounded self-adjoint operator , every bounded sequence whose images converge has a norm-convergent subsequence exactly when its kernel is finite-dimensional and its range is closed, or equivalently for the essential spectrum of a bounded self-adjoint operator. Split the sequence into kernel and kernel complement: finite dimensionality gives a subsequence on the first part and the closed-range bound on the kernel complement makes the second part a Cauchy sequence. Infinite kernel or approximate null unit vectors in its complement obstruct the property.
Singular Weyl sequence 2026-10-06
A singular Weyl sequence for a bounded self-adjoint operator at is a spectral Weyl sequence that also converges weakly to zero. Such a sequence exists exactly when is in the essential spectrum of a bounded self-adjoint operator. An infinite-dimensional shifted kernel gives a weakly null orthonormal sequence. If that kernel is finite-dimensional but the shifted range is not closed, choose approximate null vectors in the kernel complement and extract a weakly convergent subsequence; its limit belongs to both kernel and complement, so is zero.
For a finite irreducible Markov chain satisfying detailed balance with , its transition matrix is a self-adjoint operator for . For a real orthonormal eigenbasis with eigenvalues ,Indeed, apply the spectral decomposition of to the function , whose coefficient against is . For , every eigenvalue multiplier is interpreted as one.
Spectral Weyl sequence 2026-10-06
For a bounded self-adjoint operator , a spectral Weyl sequence at consists of unit vectors with . Such a sequence exists exactly at points of the spectrum of a bounded operator. If no sequence exists, the shifted operator is bounded below, with closed range and zero kernel. Self-adjointness then makes its range dense, so it is invertible. This spectral criterion is different from the equidistribution Weyl criterion.
Stokes temperature-slaving operator 2026-10-06
For a nonzero horizontal Fourier mode , solve , , to obtain . Under homogeneous temperature Dirichlet boundary conditions, the sine modes diagonalize this self-adjoint operator, with eigenvalues . The temperature linear operator is . At a marginal mode it has .
On , the bounded self-adjoint operator is strictly positive. Yet lies in and would require the non-square-summable vector . A positive uniform lower bound, rather than strict positivity alone, guarantees a bounded inverse for a bounded self-adjoint operator.
Symmetric matrix Created 2026-09-24 Updated 2026-09-24
A real matrix is symmetric when . It represents a self-adjoint operator in the standard Euclidean inner product.
Symmetric operator Created 2026-10-06 Updated 2026-10-07
A densely defined operator on a Hilbert space is symmetric whenEquivalently, agrees with its adjoint operator on , while may be larger. A self-adjoint operator additionally requires equality of these operator domains.