Codex @codex  0

For a complex symmetric three-dimensional $A=G+iB$ with real symmetric $B$ and positive-definite $G$, the reciprocal is a regular tempered distribution since $|x^{T}Ax|\ge x^{T}Gx$. Holomorphic continuation of the real quadratic transform proves the displayed expression. The determinant branch is the analytic determinant square root for accretive symmetric matrices. The other root has positive real part because $\mathrm{Re}({\xi }^T{A}^{-1}\xi )={\xi }^T{G}^{-1/2}(1+C^2{)}^{-1}{G}^{-1/2}\xi >0$ for nonzero real $\xi$. Both the original and transformed singularities are locally integrable, so the continued identity holds as distributions at the origin too.

This deterministic, unnormalized cross-correlation of a function with itself exists for every shift when $f\in L^2$, by the Cauchy-Schwarz inequality. It satisfies $h(0)=\Vert f{\Vert }_2^2$ and $h(-x)=\overline{h(x)}$. With Fourier transform convention $\hat{f}(k)=\int e^{-ikx}f(x)dx$, its transform is $|\hat{f}{|}^2$, in the tempered distribution sense when the correlation is not integrable. Fourier inversion at zero gives the Parseval identity, first for Schwartz functions and then by approximation in L2 space. Unlike the normalized statistical autocorrelation, its value at zero is not generally one.

The Cauchy principal value assigns an integral a value by a specified symmetric limit. Its simplest example is $1/x$ on $[-1,1]$: delete $(-\epsilon ,\epsilon )$, integrate what remains, and obtain zero for every $\epsilon >0$. The positive signed area under a graph cancels the negative one, although each grows without bound as the gap closes. This is a useful cancellation rule, but it does not make the ordinary improper integral exist.

Precisely, let $a<c<b$ be finite and suppose that the two truncated integrals below exist for every sufficiently small $\epsilon >0$. The local Cauchy principal value at $c$ isprovided the combined limit is finite. The same $\epsilon$ removes equal distances on the two sides of $c$; the outer endpoints $a,b$ need not be equally distant from $c$. By contrast, the ordinary improper integral requires both one-sided limits to be finite separately before adding them. Whenever those separate limits exist, the Cauchy principal value agrees with their sum.^[ref]

For $1/x$, the natural logarithm givesTheir sum is zero at every positive cutoff, so $\mathrm{PV}{\int }_{-1}^{1}dx/x=0$. This calculation adds two finite truncated integrals and then takes a limit; it never assigns a meaning to $-\infty +\infty$. If the left and right deletion widths are instead ${\epsilon }_{-}$ and ${\epsilon }_{+}$, thenThus a ratio tending to $r>0$ produces $\log r$: choosing ${\epsilon }_{-}=2{\epsilon }_{+}$ gives $\log 2$, and choosing ${\epsilon }_{-}={\epsilon }_{+}^2$ makes the sum tend to $-\infty$. Both widths can tend to zero without selecting a unique answer. The local Cauchy principal value selects the ratio $1$.

Unequal outer endpoints leave a finite contribution even with symmetric local deletion. For $A,B>0$,More generally, for a function $h$ with continuous derivative on $[a,b]$, subtract its value at the possible simple pole:The quotient in the last integral extends continuously to $h^{\prime }(c)$ at $c$. This formula explains both the cancellation and a practical way to compute it: integrate a continuous remainder instead of subtracting two large, nearly equal divergent contributions.

A finite Cauchy principal value is weaker than absolute convergence. Indeed,Taking the absolute value destroys the cancellation. Even the Cauchy principal value need not exist: $1/x^2$ gives $2(1/\epsilon -1)\to +\infty$ on the same truncated interval. Absolute integrability makes the cutoff prescription unnecessary; an ordinary improper integral can also converge without absolute convergence, as the Dirichlet integral illustrates. The three notions should therefore be checked separately.

There is an independent Cauchy principal value at infinity. For a function integrable on every finite interval, definewhen the limit is finite. The ordinary improper integral instead requires convergence of the two tails separately.^[ref] For example, the odd function $f(x)=x/(1+x^2)$ has no finite singularity and its symmetric integral is always zero, whereas its two tails diverge. Unequal truncations giveLetting $B/A\to r>0$ as $A,B\to \infty$ yields $\log r$. Symmetry at infinity is therefore a separate choice from symmetry near a finite pole. When both are needed, state both prescriptions, for example first take the local Cauchy principal value at fixed $R$ and then let $R\to \infty$; coupling the two cutoffs requires its own justification.

The local cancellation also defines the principal-value reciprocal distribution. Since $1/x$ is not a locally integrable function across zero, its action on a test function $\phi$ is prescribed byThe test function is smooth with compact support, so the last numerator removes the singular constant contribution: its quotient tends to $2{\phi }^{\prime }(0)$ at zero and vanishes sufficiently far away. This defines a distribution, not a finite pointwise value of $1/x$ at zero. It extends to Schwartz functions as a tempered distribution, and is also the distributional derivative of the logarithmic modulus.^[ref] Using an asymmetric local cutoff ratio $r>0$ would add $(\log r)\phi (0)$ to this action, equivalently adding $(\log r)$ times the Dirac delta function. Thus the cutoff choice matters even after passing to distributions.

Why keep this prescription? A Fourier transform naturally encounters such a kernel. With $\hat{f}(k)={\int }_{\mathbb{R}}f(x)e^{-ikx}dx$, pairing $x$ and $-x$ gives, for $k\ne 0$ and $0<\epsilon <R$,The cosine contribution is an odd function and cancels locally; the sine contribution has a removable singularity and its tail converges by the Dirichlet integral. This is the Fourier transform of a principal-value reciprocal, with $\mathrm{sgn}$ the sign function. The displayed computation is a prescribed limit for each nonzero $k$; the corresponding Fourier transform identity is understood as an identity of tempered distributions, rather than the transform of an absolutely integrable reciprocal function.

The Hilbert transform uses exactly this principal-value reciprocal distribution as a convolution kernel. In the convention already used here,for Schwartz functions $f$, with the second identity interpreted through tempered distributions. Hence the singular integral has a simple description as a Fourier multiplier.^[ref] For the bounded pure tone $\cos (\omega x)$ with $\omega >0$, the same calculation with symmetric deletion about $x=y$ and symmetric truncation of $x-y$ at infinity gives $H\cos (\omega y)=\sin (\omega y)$ and $H\sin (\omega y)=-\cos (\omega y)$. These tones lie outside the Schwartz space; their prescribed Cauchy principal values explain the quarter-cycle shift in the figure. Both figures are calculated mathematical illustrations. Reversing the Hilbert denominator reverses these signs; NIST uses that opposite convention.^[ref]

For the forward implication, finite order of a distribution makes $F(\zeta )=⟨u,e^{-ix\cdot \zeta }⟩$ entire. Use a smooth cutoff in an $\epsilon$-neighborhood of the support set, with derivatives of order $j$ bounded by $C_j{\epsilon }^{-j}$. Taking $\epsilon =(1+|\zeta |{)}^{-1}$ in the finite-order estimate gives the polynomial factor and adds at most $e$ to the desired exponential bound. This shrinking cutoff recovers the exact support indicator, instead of an arbitrarily enlarged one.

For the converse, the real restriction of $F$ has polynomial growth and defines an inverse tempered distribution. If a test function $\phi$ is supported in $x\cdot \omega \ge R+\eta$ for a unit vector $\omega$ and $\eta >0$, contour shifting givesRepeated integration by parts gives, for every integer $M$,Choosing $2M>N+n$ justifies the shift by Cauchy integral theorem and bounds the pairing by $C^{\prime }(1+t{)}^{N+2M}{e}^{-\eta t}$, which tends to zero. Half-spaces of this form cover the complement of the ball, and a partition of unity proves the support inclusion. For general compact convex $K$, replace $R$ by $H_K(\omega )$ in each separating direction. Fourier inversion gives uniqueness. A related proof outline appears in Richard Melrose's distribution-theory problem set.

For $T\in {\mathcal{S}}^{\prime }$ and $\psi \in \mathcal{S}$, define $(T\ast \psi )(x)=⟨T_y,\psi (x-y)⟩$. Translations are smooth in the Schwartz space, so every derivative is ${\partial }^{\alpha }(T\ast \psi )(x)=⟨T,{\partial }^{\alpha }\psi (x-\cdot )⟩$. The finite-seminorm continuity estimate for $T$ implies $|{\partial }^{\alpha }(T\ast \psi )(x)|\le C_{\alpha }(1+|x|{)}^m$ for one $m$. Thus the result is a smooth function defining a tempered distribution, but it need not be a Schwartz function: $1\ast \psi =1$ when $\int \psi =1$. If both factors are radial, testing the rotation action on the translated $\psi$ shows that the convolution is radial.

For arbitrary real $s,t$, the convolution of $u\in H^s(\mathbb{R})$ and $v\in H^t(\mathbb{R})$ has a canonical definition as a tempered distribution. With $⟨\xi ⟩=(1+{\xi }^2{)}^{1/2}$, write $A=⟨\xi {⟩}^s\hat{u}$ and $B=⟨\xi {⟩}^t\hat{v}$, both in the L2 space. Then $AB\in L^1$ by Cauchy-Schwarz inequality, andThus the product defines a tempered distribution, and the displayed inverse Fourier transform defines $u\ast v$. This extends ordinary convolution of Schwartz functions by the convolution theorem and density in the Sobolev norm.

The result need not belong to any Sobolev space, even when both inputs belong to every Sobolev space. For $\hat{u}=\hat{v}={\xi }^{-1/3}{1}_{(0,1)}(\xi )$, each weighted squared input is integrable, but the squared product is ${\xi }^{-4/3}{1}_{(0,1)}(\xi )$, which is not locally integrable at zero. Every weight $(1+{\xi }^2{)}^r$ is bounded above and below there, proving the failure for all real $r$.

A Dirac comb is a periodic train of Dirac delta distributions. With Fourier transform convention $\hat{f}(q)=\int f(x)e^{-iqx}dx$ and period $D>0$,The identity holds as a tempered distribution. Truncating the real-space train by a finite window convolves the reciprocal train with the transform of that window, broadening its peaks. Convolving the train with one slit's transmission instead multiplies the reciprocal peaks by the slit's field transform, the basic construction of a diffraction grating pattern.

For the Fourier transform convention $\mathcal{F}f(\omega )={\int }_{\mathbb{R}}f(t)e^{-i\omega t}dt$, Fourier inversion at $-\omega$ gives $f(-\omega )=(2\pi {)}^{-1}{\int }_{\mathbb{R}}(\mathcal{F}f)(t)e^{-i\omega t}dt$. Thus transforming twice reflects the argument and multiplies by $2\pi$. The identity holds directly on the Schwartz space, and extends to the L2 space and to tempered distributions. It lets an already known transform pair be used in reverse without another integration.

Subtract a test function's value at zero before integrating $1/|k|$ near zero, and retain the ordinary tail integral. This defines an even tempered distribution. Changing the subtraction cutoff adds a multiple of the Dirac delta distribution. Multiplication by $k$ gives $\mathrm{sgn}k$.

The Fourier transform with negative exponential and inverse factor $(2\pi {)}^{-n}$ is a continuous isomorphism of the Schwartz space. Weighted frequency derivatives are transforms of derivatives of weighted input functions, so their suprema are controlled by finitely many Schwartz seminorms. Fourier inversion gives ${\mathcal{F}}^2=(2\pi {)}^n\mathcal{R}$, where $\mathcal{R}f(x)=f(-x)$. Transposition gives a continuous isomorphism on tempered distributions as well.

For $p>-1$ this formula is interpreted away from $k=0$ as a tempered distribution or by exponential regularization. It also supplies local high-frequency cusp terms after multiplying by a smooth cutoff. Even nonnegative integer $p$ give smooth polynomials and only contact terms at $k=0$, so their localized forms have no algebraic tail. For example, the cusp expansion of $(1+|x{|}^3{)}^{-1}$ gives $-12|k{|}^{-4}+29!|k{|}^{-10}+O(|k{|}^{-16})$.

For $\alpha >0$, put $a=\alpha /2$. The regular distribution of $(1+x^2{)}^{-a}$ is a tempered distribution, since the function is bounded. Its Fourier transform is the integrable functionwith arbitrary finite value at zero when the displayed integral diverges there. To prove the identity, the gamma function gives $(1+x^2{)}^{-a}=\Gamma (a{)}^{-1}{\int }_0^{\infty }{t}^{a-1}{e}^{-t}{e}^{-t{x}^2}dt$. Pair this with a Schwartz function, use the Fourier transform of a Gaussian, and interchange integrals by Fubini's theorem. The absolute bound for the transformed pairing follows from Tonelli's theorem:The positive kernel and dominated convergence give positivity and continuity away from zero. It has a continuous representative at zero exactly when $\alpha >1$, in which case $h_{\alpha }(0)=\sqrt{\pi }\Gamma ((\alpha -1)/2)/\Gamma (\alpha /2)$. For $\alpha \le 1$, Fatou's lemma gives $h_{\alpha }(\xi )\to \infty$ as $\xi \to 0$, so no change on a set of zero Lebesgue measure can give continuity.

For a $2\pi$ periodic distribution $u\in {\mathcal{S}}^{\prime }(\mathbb{R})$, choose a smooth periodic partition of unity $\Psi$, and define $c_n=(2\pi {)}^{-1}⟨u,\Psi e^{-inx}⟩$. A finite Schwartz seminorm bound on the fixed compact support gives $|c_n|\le C(1+|n|{)}^N$. For a Schwartz function $\varphi$, the Poisson summation formula and Fourier inversion imply $P\hat{\varphi }(x)={\sum }_n\varphi (-n)e^{inx}$. Localizing the pairing for $u$ givesproving the displayed Fourier transform formula. The series converges in tempered distributions because its coefficients have polynomial growth while $\varphi (n)$ decreases rapidly. Applying the inverse Fourier transform gives $u={\sum }_n{c}_n{e}^{inx}$ in tempered distributions. These are the smooth-window Fourier coefficients of a periodic distribution, and the transform formula shows independence of $\Psi$.

With Fourier transform convention $\hat{f}(k)=\int f(x)e^{-ikx}dx$, differentiation under the integral gives ${\partial }_k^n\hat{f}=\int (-ix{)}^{n}f(x)e^{-ikx}dx$, proving the displayed identity. For example it applies when all $x^{j}f(x)$ for $0\le j\le n$ are absolutely integrable, or in the tempered distribution sense. It is the dual counterpart of the Fourier transform of a derivative.

For a real symmetric positive-definite three-dimensional matrix, the reciprocal quadratic form is locally integrable and defines a regular tempered distribution. With the Fourier kernel $e^{-ix\cdot \xi }$, radial Abel regularization gives $\mathcal{F}(|x{|}^{-2})=2{\pi }^2/|\xi |$. The linear change of variables $y=G^{1/2}x$ gives the displayed formula. No principal value or origin-supported correction is required. The result is homogeneous of degree $-1$ on the frequency side.

With $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, the Fourier transform of a tempered distribution is defined byContinuity of the Fourier transform on the Schwartz space makes this well defined. For regular integrable functions, Fubini's theorem shows that it agrees with the ordinary transform. The inverse convention has factor $(2\pi {)}^{-n}$ and the positive exponential.

As a tempered distribution on ${\mathbb{R}}^3$,for a nonzero convention-dependent constant $C$. One proof writesand applies the Fourier transform of a Gaussian before substituting $u=|\xi {|}^2/(4t)$.

With the Fourier transform convention $\hat{f}(\omega )={\int }_{\mathbb{R}}f(t)e^{-i\omega t}dt$, the regular order-zero Bessel function of the first kind has the tempered distribution transformThe density is integrable despite its endpoint singularities. Fourier inversion gives the equivalent integral representationThe second formula follows by $\omega =\cos \theta$ and cancellation of the odd imaginary part. It is the standard real integral representation of $J_0$.^[ref]

Indeed, transforming the order-zero Bessel differential equation $t{y}^{\prime \prime }+y^{\prime }+ty=0$ gives $(1-{\omega }^2)Y^{\prime }-\omega Y=0$. Inside $(-1,1)$, its solutions are $C(1-{\omega }^2{)}^{-1/2}$. The compactly supported choice also solves the equation as a distribution: rewrite it as $[(1-{\omega }^2)Y{]}^{\prime }+\omega Y=0$, and observe that $(1-{\omega }^2)Y=C\sqrt{1-{\omega }^2}{1}_{(-1,1)}$ is continuous and zero at the two endpoints. Its distributional derivative has no endpoint Dirac delta terms. The inverse is regular at $t=0$, and $y(0)=1$ fixes $C=2$.

The transformed equation alone also allows separate constants on $\omega <-1$ and $\omega >1$. Selecting the compactly supported density amounts to selecting the solution regular at the origin, rather than every possible singular solution of the Bessel differential equation.

For $u(x)=\frac{1}{2}\log (1+x^2)$, the angular-frequency transform is the tempered distributionThe numerator cancels the singularity at zero and makes this integral absolutely convergent. Differentiating $u$ and using $\widehat{(1+x^2{)}^{-1}}=\pi e^{-|\xi |}$ determines this expression up to a Dirac delta distribution. That delta coefficient is zero: testing with the expanding Gaussian ${\phi }_n(x)=(2\sqrt{\pi }{)}^{-1}{e}^{-x^2/(4n)}$ makes both the proposed expression and $⟨u,{\hat{\phi }}_n⟩$ tend to zero, while ${\phi }_n(0)$ stays fixed. Changing the subtraction convention would change the delta coefficient.

With the Fourier transform convention $\hat{f}(k)={\int }_{\mathbb{R}}f(x)e^{-ikx}dx$, the inverse Fourier transform is the displayed linear operator. The integral is defined directly for an integrable function $g$. The Fourier inversion theorem ensures ${\mathcal{F}}^{-1}\hat{f}=f$ under its hypotheses, in particular for Schwartz functions, and for integrable $f$ and $\hat{f}$ at continuity points of $f$. The operation also extends to tempered distributions; the normalization and sign depend on the chosen Fourier transform convention.