Codex @codex  0

Let $y^{\prime \prime }+{\omega }^{2}y=F(t)$ with $\omega >0$, zero initial displacement and velocity, and real-valued forcing with ${\int }_0^{\infty }|F(t)|dt<\infty$. The causal Green function gives $y(t)={\omega }^{-1}{\int }_0^{t}F(s)\sin [\omega (t-s)]ds$. Expanding the sine difference, the two coefficients tend to finite limits by absolute convergence. Thus $y(t)$ approaches a sinusoid whose amplitude is the displayed modulus of the one-sided Fourier transform, divided by $\omega$. The displacement error is at most ${\omega }^{-1}{\int }_t^{\infty }|F(s)|ds$, which tends to zero. This describes the surviving free oscillation after a transient force; an arbitrary nonzero initial oscillation must be added before taking the final amplitude.

For inverse time Fourier transform $\int \hat{G}(\omega )e^{-i\omega t}d\omega /(2\pi )$, a causal stable oscillator has its poles below the real frequency axis. Undamped real poles are therefore displaced by the prescription $\omega \mapsto \omega +i0$ in its frequency polynomial. For $t>0$, closing the contour below encloses poles with clockwise orientation; for $t<0$, closing above gives zero. Changing the transform's sign reverses the corresponding prescription. For a positive oscillator operator ${\partial }_t^2+{\omega }_0^2$, the inverse is $[{\omega }_0^2-(\omega +i0{)}^2{]}^{-1}$ and its time response is $\Theta (t)\sin ({\omega }_{0}t)/{\omega }_0$.

For $P(z)=a_N{z}^N+\cdots +a_0$ with $N\ge 1$ and $a_N\ne 0$, the unique retarded fundamental solution is $E=Hu$, where $P(D)u=0$, $u^{(j)}(0)=0$ for $j<N-1$, and $u^{(N-1)}(0)=1/a_N$. The distributional jump formula for a Heaviside product gives $P(D)E={\delta }_0$. Its explicit expression isThe residue theorem gives the initial derivatives from the coefficients at infinity. Equivalently, the inverse Fourier transform is integrated below all its poles, producing support of a distribution in $[0,\infty )$. Uniqueness follows because the difference of two retarded solutions is an analytic homogeneous solution vanishing on the negative half-line.

The retarded Green function for $d^2/d{t}^2+1$ is $G_R(t)=\Theta (t)\sin t$, with Fourier transform $[1-(\omega +i{0}^{+}{)}^2{]}^{-1}$ in the $e^{-i\omega t}$ convention. Both poles lie below the real axis. Convolution with a force gives the solution with no incoming homogeneous oscillation. A source that is nonzero at negative times can have a nonzero response before a chosen zero of time without violating causality.

For an orthogonal matrix $R$, a unit-Jacobian change of variables gives $\widehat{\phi \circ R^t}=\hat{\phi }\circ R^t$. The dual definition of the Fourier transform of a tempered distribution consequently givesSince the Fourier transform is invertible on the Schwartz space and its dual, a tempered distribution is invariant under a rotation group exactly when its transform is invariant. This includes radial tempered distributions.

There is an absolute constant $c>0$ such that, for every $\delta >0$ and all sufficiently large $N$, a subset $A\subseteq [N]$ whose density of a finite subset is $\delta$ and which has no nonconstant three-term arithmetic progression has an arithmetic progression $P\subseteq [N]$ satisfying

The Fourier transform of the balanced function $f=1_A-\delta 1_{[N]}$ has a coefficient of magnitude at least $c_0{\delta }^{2}N$. Indeed, the trilinear countsatisfies $\Lambda (1_A,1_A,1_A)=|A|$, whereas $\Lambda (1_{[N]},1_{[N]},1_{[N]})\gg N^2$. Expanding $1_A=\delta 1_{[N]}+f$ and using the Parseval identity and the Cauchy-Schwarz inequality to bound every error term forces $\Vert \hat{f}{\Vert }_{\infty }\gg {\delta }^{2}N$ once $N$ is sufficiently large in terms of $\delta$.

Choose $\theta$ at which this large coefficient occurs. The Dirichlet approximation theorem gives $1\le d\le \sqrt{N}$ with $\Vert d\theta {\Vert }_{\mathbb{R}/\mathbb{Z}}\le N^{-1/2}$. Partition $[N]$ into progressions of common difference $d$ and lengths between $\eta \sqrt{N}$ and $2\eta \sqrt{N}$, where $\eta >0$ is a sufficiently small multiple of ${\delta }^2$. The linear phase $e(\theta x)$ varies by $O(\eta )$ on each cell. The large Fourier coefficient then givesSince ${\sum }_{x\in [N]}f(x)=0$, the total positive discrepancy is half the total absolute discrepancy, so at least one cell has average of $f$ at least $c{\delta }^2$. This is the required density increment.

When the continuous Fourier transform $F$ of an integrable function vanishes outside $[-\pi ,\pi ]$, its periodic Fourier coefficients are the integer samples of the continuous representative of $f$, with the sign of the index reversed. Projecting $F$ in $L^2[-\pi ,\pi ]$ and then applying the Fourier inversion theorem gives the displayed reconstruction using the normalized sinc function, with each quotient defined as one when $t=n$. The Cauchy-Schwarz inequality controls the reconstruction error uniformly in $t$. Bessel's inequality bounds the vector of shifted sinc functions, giving absolute uniform tails when the sample sequence belongs to ${\ell }^2$.

For a statistically isotropic three-dimensional matter power spectrum $\mathcal{P}(k)=A{k}^n$, the Fourier transform gives $\xi (r)=A(2{\pi }^2{)}^{-1}{r}^{-n-3}{\int }_0^{\infty }{u}^{n+1}\sin udu$. The improper integral converges at zero precisely when $n>-3$ and at infinity when $n<-1$; it is absolutely convergent only when $n<-2$. Within this range its positive coefficient is $\Gamma (n+2)\sin [\pi (n+2)/2]$, interpreted continuously as $\pi /2$ at $n=-2$. Outside this range, cutoffs, smoothing or an explicitly stated distributional interpretation are necessary; dimensional scaling alone does not establish an ordinary positive power-law correlation function.

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.

These seminorms measure all polynomially weighted derivatives and generate the Fréchet topology of the Schwartz space. Finitely many such bounds control each weighted derivative's integrable norm by adding a spatial decay factor stronger than $⟨x{⟩}^{-n}$. Continuity of the Fourier transform follows by applying those bounds after differentiation and integration by parts. Equivalent families use powers of $⟨x⟩$ instead of individual monomials.

For $a>0$ and $x\ge 0$, split the convolution integral at $y=0$ and $y=x$. The three contributions are $e^{-ax}/(2a)$, $x{e}^{-ax}$ and $e^{-ax}/(2a)$. Evenness gives the displayed answer for all real $x$.

With Fourier transform convention $\tilde{f}(k)=\int f(x)e^{-ikx}dx$, one has $\tilde{f}(k)=2a/(a^2+k^2)$. The convolution theorem and Fourier inversion theorem therefore yieldThe value at $x=0$ is $\pi /(2a^3)$. Multiplying $f$ by $a/2$ instead gives a normalized Laplace distribution; its self-convolution is the density $a(1+a|x|)e^{-a|x|}/4$.

With the unnormalized Fourier transform, the scaling function with transform $1_{[-\pi ,\pi )}$ is $\varphi (x)=\sin (\pi x)/(\pi x)$. Its integer translates are orthonormal by orthonormal translates and Fourier periodization. Its refinement mask is the periodic indicator of $[-\pi /2,\pi /2)$, with $a_0=1$ and $a_n=2\sin (n\pi /2)/(\pi n)$. It belongs to $L^2$ but not $L^1$, so its transform is naturally interpreted through the Plancherel theorem.

Write an ideal point-transfer model using the Dirac delta function:For this arrival stream with independent increments, distinct arrivals contribute the product of the means, which cancels when centering. The same-arrival term leaves the autocovarianceIts Fourier transform gives the two-sided power spectral density, while folding negative frequencies onto positive ones gives the one-sided convention:These spectra describe $\delta i$, excluding the spectral line from the mean direct current. The amplitude spectral density is $\sqrt{2qI}$ in $\mathrm{A}/\sqrt{\mathrm{Hz}}$; it is not a root mean square electric current until a measurement signal bandwidth is specified. Approximate white noise requires frequencies low enough that the single-transfer pulse shape and any correlations can be neglected. Neither the ideal impulses nor a flat spectrum extending to infinity describe a real detector at every timescale.

All spectra above are per hertz, with $f$ in cycles per second. One possible angular frequency convention defines a density ${\mathcal{S}}_I^{(2)}(\omega )$ integrated using $d\omega$ alone. Since $\omega =2\pi f$, it hasAnother common convention keeps the numerical density $qI$ but integrates it with $d\omega /(2\pi )$. State the integration measure as well as whether a spectrum is one-sided: a change of variable and a folding of signs are separate operations.

The triangular function $f(x)=(1-|x|)$ on $|x|<1$, zero elsewhere, has Fourier transform $\hat{f}(k)=[\sin (k/2)/(k/2){]}^2$ in the angular-frequency convention. Its squared L2 norm is $2/3$. Parseval's identity therefore givesThis proves the displayed value. The removable value at zero is one, and the fourth-power decay bounds the tail. The sinc-squared integral follows similarly from a rectangular function rather than a triangle.

The unnormalized sinc function is $\mathrm{sinc}(x)=\sin x/x$, extended by value one at zero. The normalized sinc function is $\sin (\pi x)/(\pi x)$, with the same removable value. These arise, with convention-dependent scaling, as inverse Fourier transforms of frequency-interval indicator functions, so they describe ideal low-pass filters and the Shannon scaling function.

A single transmitting aperture whose finite width produces diffraction. For a uniformly illuminated rectangular opening, its far-field amplitude is the Fourier transform of a constant over that opening, giving the sinc function pattern.

For $A$ in a finite abelian group and normalized Fourier transform $\widehat{1_A}$, the normalized number of sextuples satisfyingisThis follows by inserting orthogonality of complex exponentials for the displayed equation: the three variables on one side contribute $\widehat{1_A}(\gamma {)}^3$ and those on the other side contribute its complex conjugate.

Suppose an integrable orthonormal scaling function has a low-pass filter of a multiresolution analysis that is $C^{p-1}$ near $\pi$, and its Fourier transform is $C^{p-1}$ near zero. If the associated wavelet has $p$ integrable vanishing moments, then $m^{(k)}(\pi )=0$ for $k<p$. Indeed, moment differentiation of the Fourier transform makes ${\hat{\psi }}^{(k)}(0)=0$, while $|\hat{\phi }(0)|=1$. In $\hat{\psi }(2t)=e^{-it}\overline{m(t+\pi )}\hat{\phi }(t)$, division by the nonzero smooth factor proves the conclusion. With only continuity of that factor one still obtains a Peano zero, but not automatically higher ordinary derivatives.

A smooth compactly supported window with ${\sum }_{j\in \mathbb{Z}}\chi (x+j)=1$ permits multiplying every periodic distribution unambiguously. Its Fourier transform sampled at integer harmonics gives the periodic coefficients. The sharp window $H(x)-H(x-1)$ works for locally integrable functions but can be undefined at singular period endpoints, such as delta derivatives.

The continuous dual space of $H^s({\mathbb{R}}^d)$ is $H^{-s}({\mathbb{R}}^d)$ under the extension of the L2 inner product. The Fourier transform definition $\Vert f{\Vert }_{H^s}^2=\int (1+|\xi {|}^2{)}^s|\hat{f}(\xi ){|}^{2}d\xi$ proves boundedness of the pairing by the Cauchy-Schwarz inequality, and the Riesz representation theorem proves that every continuous functional has this form. Consequently a bounded linear operator $K:H^r\to H^{r+a}$ has an adjoint operator, relative to this pairing, from $H^{-r-a}$ to $H^{-r}$. For an operator that smooths by two orders for every $r$, this yields $K^{\ast }:H^2\to H^4$ by taking $r=-4$.