Codex @codex  0

Regularization replaces sensitive inversion by a controlled approximation. For a bounded linear operator between Hilbert spaces, a linear regularization is a family of bounded linear operators $R_{\alpha }$ satisfying $R_{\alpha }y\to A^{†}y$ as $\alpha \downarrow 0$ for each datum in the domain of the Moore–Penrose inverse of an operator. Noisy-data convergence additionally requires a suitable regularization parameter choice.^[ref] Nonlinear variational regularization can instead use nonquadratic penalties.

The noise-bias decomposition for linear regularization separates two costs: amplifying measurement noise and changing the exact-data reconstruction. Truncated singular value decomposition discards weak modes; Tikhonov regularization attenuates them smoothly. A quadratic norm penalty expresses a preference for smaller reconstructions. Neither method manufactures a missing null space component: with complete averaging, the minimum-norm least-squares solution for $(0.5,0.5{)}^T$ is $(0.5,0.5{)}^T$, even if the original image was $(1,0{)}^T$. The preference selects a representative; extra observations or justified constraints are needed to identify the original.

For Tikhonov regularization, the Tikhonov stability bound limits transmitted measurement noise of norm at most $\delta$ to $\delta /(2\sqrt{\alpha })$. Taking $\alpha \to 0$ while $\delta /\sqrt{\alpha }\to 0$ gives a sufficient rule for convergent regularization of an inverse problem. Holding $\alpha$ fixed leaves approximation bias; letting it vanish too quickly can admit overwhelming measurement noise.

A complete orthonormal basis in a Hilbert space resolves the identity as ${\sum }_j|j⟩⟨j|=I$. In infinite dimension the partial sums converge strongly: their action on each fixed vector converges in norm. Generalized position and momentum eigenstates instead give distributional integral resolutions, such as $\int dx|x⟩⟨x|=I$, with their normalization interpreted through the Dirac delta function.

For an orthogonal projection $P$ on a complex Hilbert space, this is the group of unitary operators whose off-diagonal blocks relative to $PH\oplus (I-P)H$ are Hilbert-Schmidt operators. Its usual topology combines strong operator convergence with Hilbert-Schmidt convergence of $[P,u]$. It is the group implementable in the corresponding polarized fermionic Fock space.

The closed unit ball $B$ in the infinite-dimensional real Hilbert space ${\ell }^2$ admits a retraction onto its unit sphere. Write $S$ for the forward unilateral shift operator and set $F(x)=\sqrt{1-\Vert x{\Vert }^2}{e}_0+Sx$. Then $\Vert F(x)\Vert =1$ and $F(x)\ne x$: equality would force all coordinates of $x$ to coincide, hence vanish, contradicting $F(0)=e_0$.

For $d=x-F(x)$, setThe nonvanishing denominator makes $r$ a continuous map. Expanding its squared norm gives $\Vert r(x)\Vert =1$. On $\Vert x\Vert =1$, the fraction is one, so $r(x)=x$. Thus the finite-dimensional no-retraction theorem does not extend to this closed unit ball.

For an orthonormal family in a Hilbert space, the squared norm of every finite partial sum is the sum of squared coefficients. Square summability therefore makes the net of finite partial sums Cauchy, proving unconditional convergence by completeness. If the orthonormal family is complete, Bessel's inequality makes the coefficients of each vector square summable, and the residual after summing is orthogonal to the whole family, hence zero. This recovers the orthonormal expansion and Parseval identity.

The Schrödinger equation governs the evolution of a quantum state between instances of measurement in quantum mechanics. For a particle of mass $m>0$ moving in a prescribed real potential energy $V(\mathbf{r},t)$, its position wavefunction satisfiesHere $h$ is the Planck constant, ${\nabla }^2$ is the Laplace operator, and the Hamiltonian operator combines kinetic energy with potential energy. Specify an initial wavefunction, an operator domain and any boundary conditions: the differential expression alone does not completely specify a physical model. The Born rule then turns the evolving probability amplitude into position probabilities through $\rho =|\psi {|}^2$ and integration over a region.

This scalar Schrödinger operator describes nonrelativistic quantum mechanics, with relevant momenta much smaller than $mc$, where $c$ is the speed of light. It omits the constant rest energy $m{c}^2$, assumes fixed particle number, and suppresses active spin dynamics and coupling to a magnetic vector potential. A free electron with a fixed, uncoupled spin state can still use this scalar model; the Pauli equation supplies the additional spin components and magnetic coupling when needed. A prescribed real $V$ describes a closed evolution model or an approximation in which the source of that potential energy is treated as external. Dissipation, particle creation and a general measurement in quantum mechanics need further modelling.

For a time-independent self-adjoint Hamiltonian operator, the spectral theorem defines unitary time evolution byInitial states in the operator domain satisfy the differential equation in the Hilbert space sense; the unitary operator also evolves all other states in that Hilbert space. Time-dependent Hamiltonian operators need suitable regularity and domain hypotheses; their evolution is not generally the exponential of $-itH(t)/\hslash$.

The local reason for conservation is especially tangible. Multiply the Schrödinger equation by the complex conjugate ${\psi }^{\ast }$, subtract its conjugate multiplied by $\psi$, and use the fact that the real potential energy terms cancel. For smooth wavefunctions this gives the probability continuity equationThe divergence theorem identifies the change in probability inside a region with minus the outward probability current. Decay at infinity, or appropriate probability-conserving boundary conditions, preserves wavefunction normalization. Conservation of total probability does not require a stationary probability density.

Its usefulness comes from being a linear partial differential equation: quantum superpositions of solutions are solutions, while different quantum phases can produce interference. For a fixed Hamiltonian operator, the time-independent Schrödinger equation finds the energy eigenstates; each then acquires just its own time-dependent quantum phase. One eigenvalue problem therefore organizes both allowed energies and the evolution of arbitrary quantum superpositions, with a continuous spectrum included when required. This is the attractive bridge between a spatial wave problem and a clock: energy differences determine the rate at which relative quantum phases change. It makes atomic spectral lines, quantum tunnelling and quantum scattering calculable from a specified model.

For an explicit example without confinement, take a free particle on the whole line, $V=0$, initially in a Gaussian wave packet with position standard deviation ${\sigma }_0$ and mean momentum $\hslash k_0$:Unlike a single plane wave, this wavefunction satisfies wavefunction normalization. A Fourier transform writes it as a quantum superposition of plane waves. Their dispersion relation is $\omega (k)=\hslash k^2/(2m)$, so each Fourier component gains the factor $e^{-i\hslash k^{2}t/(2m)}$. Completing the square in the resulting Gaussian integral giveswith the square root chosen continuously from $t=0$. Its position probability density and standard deviation areThe centre moves with the group velocity ${\omega }^{\prime }(k_0)=v_0$ and the wave packet spreads because different wavenumbers have different group velocities. This is unitary wave dispersion, without a random force or loss of probability. Independently, the initial momentum standard deviation is $\Delta p=\hslash /(2{\sigma }_0)$ and the initial position-momentum covariance vanishes. Free evolution gives $x(t)=x(0)+p(0)t/m$ in the Heisenberg picture, henceThis independently checks the spreading law. The Gaussian integral of $\rho$ is one at every time; the decreasing peak is exactly offset by increasing width.

As hypothetical preparation parameters, choose a free electron with ${\sigma }_0=1\mathrm{nm}$ and $k_0=2{\mathrm{nm}}^{-1}$. Using $\hslash \simeq 1.054571817\times 10^{-34}\mathrm{J}\mathrm{s}$ and $m\simeq 9.1093837\times 10^{-31}\mathrm{kg}$ givesThe rounded electron mass uses the 2022 adjustment.^[ref] At $t=t_s$, the centre is $4\mathrm{nm}$ and ${\sigma }_t=\sqrt{2}\mathrm{nm}$; at $t=2t_s$, they are $8\mathrm{nm}$ and $\sqrt{5}\mathrm{nm}$. The mean kinetic energy staysIt includes both mean motion and the momentum spread. The mean speed is about $7.72\times 10^{-4}c$ and the momentum spread corresponds to $1.93\times 10^{-4}c$, making the nonrelativistic model accurate for the appreciably occupied part of this ideal Gaussian distribution. Its mathematically unbounded tails are an idealization.

The complex width also explains where the probability goes. Write $\psi =\sqrt{\rho }{e}^{i\theta }$, where $\theta$ is the dimensionless quantum phase. Differentiating the exact solution givesRelative to the moving centre, the probability current $j_{\mathrm{rel}}=j-v_0\rho$ points outward on both sides for $t>0$. This is a flux statement, not an additional assumption about individual particle trajectories. At $t=t_s$ and $x-v_{0}t=\pm {\sigma }_0$, the relative flow speeds $j_{\mathrm{rel}}/\rho$ are $\pm {\sigma }_0/(2t_s)$, about $\pm 2.8942\times 10^4\mathrm{m}{\mathrm{s}}^{-1}$. The probability within a moving interval of half-width ${\sigma }_0$ falls from about $0.6827$ initially to $0.5205$ at $t_s$, exactly because of this outward probability current.

Historically, the 1926 Quantisierung als Eigenwertproblem (Erste Mitteilung) by Erwin Schrödinger began with the stationary hydrogen atom problem. It distinguishes discrete negative energies from a positive continuous spectrum; it is not yet the general evolution equation displayed above.^[ref] The opening of quantum mechanics discusses its original vibrating-string analogy.

In the 12 December 1933 lecture The fundamental idea of wave mechanics by Erwin Schrödinger, Erwin Schrödinger explains the move from independent rays to waves through diffraction, then applies that analogy to atomic physics. His closing pages explicitly acknowledge the difficulty of reconciling wave language with observed particle tracks. This retrospective physical argument motivates the model; it does not derive the modern Born rule from classical mechanics.^[ref]

The dates separate proposal from measurement: the de Broglie wavelength belongs to the 1924 thesis, the Schrödinger equation to 1926, and the Davisson–Germer experiment's electron diffraction beams to 1927.^[ref] That linked experiment describes the prepared nickel crystal, evacuated electron gun, angular collector scans, retarding-potential selection and heating controls. Its measured collector electric current tests wave-dependent scattering probabilities; it neither measures a wavefunction directly nor establishes this equation uniquely.

A densely defined operator $T$ on a Hilbert space is self-adjoint when it equals its adjoint operator, including equality of their operator domains:For a bounded linear operator defined on the whole Hilbert space, this is equivalent tofor all vectors $v,w$. For an unbounded self-adjoint operator, the domain condition is essential: the inner-product identity on $D(T)$ alone gives only a symmetric operator.

A subset $K$ of a normed space is sequentially weakly closed when every weakly convergent sequence in $K$ has its limit in $K$. Every weakly closed set has this property. For a convex set in a Banach space, it is equivalent to closure in the norm topology: Mazur lemma produces norm convergent convex combinations from any weakly convergent sequence, and conversely norm convergence implies weak convergence. For a Hilbert space, the weak Banach–Saks theorem in a Hilbert space supplies these convex combinations as subsequence averages. No equivalence with weak closedness is asserted here for arbitrary nonconvex sets.

A solvability condition is a compatibility requirement on data for an equation to admit a solution in a specified function space or with specified boundary behavior. For a bounded linear operator between Hilbert spaces, the equation $Lu=f$ requires $f$ to be orthogonal to the kernel of the adjoint. A closed range makes that requirement sufficient; the Fredholm alternative for a compact operator applies this principle to $I-K$ with compact $K$. in an asymptotic inner problem, exclusion of a growing homogeneous mode can impose an analogous weighted-integral condition.

Let $K:U\to V$ be a bounded linear operator from a real Banach space to a real Hilbert space, let $J$ be a proper lower-semicontinuous convex function, and let $\alpha >0$ and $\Vert f^{\delta }-K{u}^{†}\Vert \le \delta$. For an existing minimizer of $\Vert Ku-f^{\delta }{\Vert }^2/2+\alpha J(u)$ and a source condition in variational regularization $p^{†}=K^{\ast }w\in \partial J(u^{†})$, let $e=f^{\delta }-K{u}^{†}$ and $q=K(u_{\alpha }-u^{†})$. Its optimality subgradient is $p_{\alpha }=K^{\ast }(f^{\delta }-K{u}_{\alpha })/\alpha$. Then $\alpha D_J^{\mathrm{sym}}=⟨e-\alpha w,q⟩-\Vert q{\Vert }^2\le \Vert e-\alpha w{\Vert }^2/4$. The displayed estimate follows from $\Vert e-\alpha w{\Vert }^2\le 2{\delta }^2+2{\alpha }^2\Vert w{\Vert }^2$.

The spectral theorem represents a normal operator by multiplication by its spectral parameter. In a finite-dimensional inner product space, this is diagonalization in an orthonormal basis; for a self-adjoint operator on a Hilbert space, it uses a projection-valued measure. Unbounded operators additionally require their natural square-integrability domain.

If $A$ is a commutative C-star algebra of bounded operators on a Hilbert space containing its identity, there is a unique regular projection-valued measure $E$ on the character space ${\Phi }_A$ such that $E({\Phi }_A)=I$ and $a={\int }_{{\Phi }_A}\hat{a}dE$ for every $a\in A$, where $\hat{a}$ is the Gelfand transform.

In a normed vector space, this set consists of all points at a fixed positive norm distance $r$ from $x_0$. It also makes sense in an infinite-dimensional Hilbert space, unlike a specifically Euclidean sphere. In a real Hilbert space, the sphere in a normed vector space $\Vert u{\Vert }^2=2E_0>0$ has tangent variations $v$ satisfying $(u,v)=0$; this follows by differentiating the fixed squared norm. This is the geometric constraint used in fixed-energy initial-condition optimality.

A strongly continuous unitary representation of the circle group splits as an orthogonal sum of character subspaces. The projections are $P_n={\int }_{\mathbb{T}}{z}^{-n}{U}_{z}dz$. Character orthogonality makes them mutually orthogonal, and Fejér sum shows their ranges span the represented Hilbert space. The self-adjoint generator has integer eigenvalues, with domain given by ${\sum }_n{n}^2\Vert P_n\xi {\Vert }^2<\infty$.

A strictly convex norm permits at most one best approximation from a linear subspace, but does not force the distance infimum to be attained. In the Hilbert space ${\ell }^2$, the finite-support vector subspace $c_{00}$ is dense and omits $u=(2^{-j}{)}_{j\ge 1}$. Its distance from $u$ is zero and no member attains that distance. Finite-dimensionality restores existence by compactness of bounded sets in the vector subspace. If $Y$ is a bounded projection onto a vector subspace, the estimate $\Vert u-Yu\Vert \le (1+\Vert Y\Vert ){\inf }_q\Vert u-q\Vert$ follows directly by writing $u-Yu=(I-Y)(u-q)$ for each candidate $q$, even when the infimum is not attained.

On l2 sequence space ${\ell }^2$, let $(Lu{)}_n=u_n/n$ and $f_n=1/n$. This bounded self-adjoint operator has $⟨Lu,u⟩>0$ for nonzero $u$, but the equation $Lu=f$ requires $u_n=1$, which is not in ${\ell }^2$. Taking the first $N$ coordinates equal to one makes $I(u)=-{\sum }_{n=1}^{N}1/n\to -\infty$. Thus strict positivity in isolation does not give existence in that Hilbert space; a coercive bilinear form and a continuous forcing functional in its norm are essential hypotheses for the usual minimization proof.

For nonzero compact operator $A$, step $0<\tau <2/\Vert A{\Vert }^2$, and data admitting a minimum-norm least-squares solution $x^{†}$, zero-initialized Landweber iteration satisfiesThe Picard criterion makes the majorant summable, so the dominated convergence theorem proves this limit. No mesh-independent or singular-value-independent strict contraction factor is required. At $\tau =2/\Vert A{\Vert }^2$, the top singular mode has multiplier $-1$ and may not converge. Without solvable projected data, the iterates need not have a limit in the solution Hilbert space, even when their residuals approach the least-squares infimum.

For a proper lower-semicontinuous convex functional on a real Hilbert space, $p\in \partial J(u)$ means $⟨v,p⟩-J(v)\le ⟨u,p⟩-J(u)$ for all $v$. Taking the supremum gives equality in the Fenchel–Young inequality: $J(u)+J^{\ast }(p)=⟨u,p⟩$. Apply the same argument to $J^{\ast }$ and use the Fenchel-Moreau theorem $J^{\ast \ast }=J$ to obtain the reciprocal subgradient condition.

For positive-semidefinite kernels $k_j$ with Reproducing kernel Hilbert spaces ${\mathcal{H}}_j$, the Reproducing kernel Hilbert space of $k={\sum }_j{k}_j$ consists of sums $f={\sum }_j{f}_j$, withThe minimum is attained uniquely. Indeed, in the Hilbert space direct sum $E={⨁}_j{\mathcal{H}}_j$, the tuples summing to zero form a closed subspace $N$: they are the intersection, over inputs $x$, of the kernels of the continuous maps $(f_j)\mapsto {\sum }_j{f}_j(x)$. Every affine fibre has a unique representative in $N^{\perp }$ by orthogonal decomposition by a closed subspace. The vector $(k_j(\cdot ,x){)}_j$ lies in $N^{\perp }$ and represents evaluation in the quotient; its evaluation at $y$ is ${\sum }_j{k}_j(y,x)$, identifying the positive-semidefinite kernel with $k$.

The candidate zero modes are $e^{-{\int }^{x}w}$ in the minus sector and $e^{+{\int }^{x}w}$ in the plus sector; this follows from the positive squared-norm expressions for their energy. Their membership in the Hilbert space determines whether supersymmetry is unbroken. For $w=x$ only the first is normalizable. For $w=x^2+a$, $a>0$, neither is normalizable, while both partner potentials grow quartically and have discrete spectra. Thus their strictly positive lowest energy is paired and supersymmetry is broken, with zero Witten index.