Fourier transform ($\mathcal{F}$)

For $f\in L^1({\mathbb{R}}^n)$, the angular-frequency Fourier transform is

A half-line Fourier transform separates the contributions supported on the positive and negative real axes. With the displayed sign convention, a bound $y(x)=O(e^{-{\gamma }_{+}x})$ as $x\to +\infty$ gives a holomorphic $Y_{+}$ in $\mathrm{Im}k>-{\gamma }_{+}$; a bound $y(x)=O(e^{-{\gamma }_{-}|x|})$ as $x\to -\infty$ gives a holomorphic $Y_{-}$ in $\mathrm{Im}k<{\gamma }_{-}$. The estimates hold uniformly on compact subsets of these half-planes and remain integrable after multiplication by any fixed power of $x$, which justifies complex differentiation under the integral. The overlap strip is the natural domain for a Wiener-Hopf equation. Holomorphic continuation of a transform beyond its convergence region is a separate question from convergence of the defining integral.

For integrable functions on the real line, equality of their Fourier transforms implies equality almost everywhere. To prove it, subtract and assume $\hat{h}=0$. Convolve $h$ with a Gaussian heat kernel $q_t$. The convolution theorem gives $\widehat{h\ast q_t}=0$, which is integrable, so the Fourier inversion theorem gives $h\ast q_t=0$ almost everywhere. Finally $q_t$ is an approximate identity: $\Vert h\ast q_t-h{\Vert }_1\le \int q_t(y)\Vert h(\cdot -y)-h{\Vert }_{1}dy\to 0$. This follows from translation continuity in Lp with exponent one and the vanishing Gaussian tails. Hence $h=0$ in $L^1$. If the two original functions are continuous, equality almost everywhere strengthens to equality everywhere, since a nonzero continuous difference has magnitude bounded below by a positive constant on some interval.

For $a>0$, use the Fourier transform convention $\hat{f}(s)={\int }_{\mathbb{R}}f(x)e^{-isx}dx$. Splitting the integral at zero gives $1/(a+is)+1/(a-is)=2a/(a^2+s^2)$. By the Fourier inversion theorem, the dual identity isThis pair connects an exponential function with the kernel of a Cauchy distribution and produces the Poisson kernel for the upper half-plane by inversion of $e^{-y|s|}$.

A time-dependent response can be represented by its Fourier transform in angular frequency. With $\hat{f}(\omega )=\int f(t)e^{i\omega t}dt$, a time derivative transforms to $-i\omega \hat{f}$ when boundary terms vanish. A time-translation-invariant response convolution becomes multiplication by a frequency-dependent response coefficient. This is why a dispersive electrical conductivity is naturally specified in the frequency domain. The inverse-transform modes use $e^{-i\omega t}$.

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.

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.

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 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.

For $f(x)=\cos x$ on $[-a,a]$ and zero outside, the angular-frequency Fourier transform follows by writing the cosine as two complex exponentials. Combining fractions gives $[2k\cos a\sin (ak)-2\sin a\cos (ak)]/(k^2-1)$. The apparent singularities at $k=\pm 1$ are removable, with value $a+\sin (2a)/2$. If $\cos a\ne 0$, jumps at the endpoints give an oscillatory $O(|k{|}^{-1})$ envelope. If $\cos a=0$, the function is continuous at the endpoints but its first derivative jumps, giving an $O(|k{|}^{-2})$ envelope. This is an explicit instance of Fourier decay from a derivative jump.

For real $k$, integrate $e^{-ikz}/\cosh z$ around a rectangle of height $\pi$. Its top-edge value is $-e^{\pi k}$ times the bottom-edge value, and the only enclosed simple pole is $i\pi /2$, with residue $e^{\pi k/2}/i$. The vertical-edge integrals vanish as their real parts tend to positive and negative infinity. The residue theorem gives $(1+e^{\pi k})\tilde{f}(k)=2\pi e^{\pi k/2}$, proving the stated Fourier transform identity. This is an example of a function reproducing its shape under a Fourier transform, up to rescaling.

If $f$ is a real-valued function and an integrable function, its Fourier transform has Hermitian symmetry: $F(-u)=\overline{F(u)}$. The value at negative frequency is the complex conjugate of the value at positive frequency.

A window function is a function that vanishes outside a chosen finite interval; multiplying an input by it selects and weights that part of the history before a Fourier transform. The rectangular window $w_T$ is the indicator function of $[0,T]$. Applied to the weighted causal extension by zero of an input, it produces the finite-history integral ${\int }_0^T{e}^{-st}f(t)dt$ used to approximate a Laplace transform.

Multiplying a measured signal by a finite-duration window function convolves its Fourier transform with the transform of the window. A spectrally sharp component therefore contributes to nearby frequencies rather than remaining a single ideal line. Smooth tapering can reduce distant sidelobes at the cost of widening the main spectral feature. This finite-record effect is distinct from aliasing, which superposes copies of the spectrum because of time sampling.

For nonzero $f$ with $f,xf,f^{\prime }\in L^2(\mathbb{R})$, integration by parts gives $\Vert f{\Vert }_2^2=-2\mathrm{Re}⟨f^{\prime },xf⟩$. The Cauchy-Schwarz inequality and Plancherel theorem yield the moment product bound $1/4$ with the angular-frequency Fourier convention. Equality occurs exactly for $f(x)=C{e}^{-a{x}^2/2}$ with $a>0$ real and $C\ne 0$. Translation, modulation or a quadratic phase increase one of these uncentred moments; the equality family is narrower than that for centred variances.

For $f\in L^1(G)$ the displayed integral defines a bounded continuous function on the Pontryagin dual group. It takes convolution to pointwise multiplication and left translation $T_x$ to multiplication by $\overline{\chi (x)}$. The transform depends on the scale of Haar measure on $G$; the compatible dual Haar measure scales reciprocally.

For the dual Haar measure, the formula first follows for continuous compactly supported convolution squares from the Bochner theorem. More generally, if $f\in L^1(G)$ and $\hat{f}\in L^1(\hat{G})$, the right-hand side is a continuous representative of $f$; equality holds everywhere if $f$ is continuous, and otherwise at every point where the chosen representative is continuous. Convolution with normalized small-support positive convolution squares proves the extension: the spatial convolutions approach $f$ in $L^1$, while their transforms approach $\hat{f}$ in $L^1$ by equicontinuity of compact families of characters and an integrable-tail split.

For a piecewise smooth decaying function, a jump in its $j$th derivative at $a$ contributes the displayed algebraic term to its high-frequency Fourier transform. Distributionally, $D^{j+1}f$ contains $[f^{(j)}{]}_a\delta (x-a)$, and integration by parts or the derivative-transform identity supplies the factor $(ik{)}^{-j-1}$. Adequate integrability of the subsequent derivatives controls the remainder. Smooth localized polynomial terms give no algebraic cusp contribution.

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})$.

Multiplication by a unit-modulus linear phase shifts the Fourier transform. Substituting $e^{ia\cdot x}$ into the defining integral gives the displayed identity. For a surface measure this permits independent translations of cap transforms without changing their input norms or angular supports.

The angular-frequency Fourier transform of a finite measure, or a complex measure of finite total variation, is defined by the displayed integral. It is bounded by total variation and continuous by dominated convergence. An integrable density recovers the ordinary Fourier transform of a function. A measure supported on a curved surface instead leads to a Fourier extension operator.

For a finite complex measure on the additive circle group $\mathbb{R}/(2\pi \mathbb{Z})$, its Fourier coefficients are integrals against the group characters $e^{-inx}$, $n\in \mathbb{Z}$. They obey $|\hat{\mu }(n)|\le \Vert \mu \Vert$, where the norm is the total variation norm of a measure. A probability measure has zeroth coefficient one. The normalized Haar measure $m(dx)=dx/(2\pi )$ has all nonzero-frequency coefficients zero. A bounded family of finite Radon measures converges in the weak-star topology exactly when its coefficients converge to those of the proposed limit: extend linear combinations to all continuous tests using the density of trigonometric polynomials and the common variation bound.

A complex-coordinate parametrization of the two-dimensional Fourier transform. With $z=x+iy$, $k=k_1+i{k}_2$, and $({\xi }_1,{\xi }_2)=(2k_2,-2k_1)$, its exponent is $-i\xi \cdot (x,y)$. Since $d\xi =4dA(k)$, its inverse is $q(z)={\pi }^{-2}\int e^{k\bar{z}-\bar{k}z}Q(k)dA(k)$. The spectral equation $({\partial }_{\bar{z}}-k)F=q$ gives ${\partial }_{\bar{k}}F=-e^{k\bar{z}-\bar{k}z}Q(k)/\pi$, linking Fourier inversion to a spectral dbar equation.

A bandlimited function has Fourier transform supported in a bounded frequency interval. An integrable bandlimited function has a bounded continuous representative when its Fourier transform is integrable, and that representative extends analytically using the compact-frequency integral. Scaling arguments scales its frequency support inversely, while multiplying two such functions adds their support intervals through convolution.

With the $e^{ikx}$ convention, a right-supported decaying function has a transform analytic in the upper half-plane and a left-supported one in the lower half-plane. Incident modes continued with small imaginary frequency can have poles outside the initial convergence strip; these poles must be tracked separately from outgoing scattered waves.

For $Q(k)={\int }_0^{\infty }{e}^{-ikx}q(x)dx$, the Half-range Fourier transform is holomorphic in the lower half-plane. Let $\alpha =e^{2\pi i/3}$, $E=\{0<\arg k<\pi /3\}$ and $D=\{2\pi /3<\arg k<\pi \}$, with their boundaries oriented counterclockwise. The rotated arguments ${\alpha }^{2}k$ on $E$ and $\alpha k$ on $D$ remain in the lower half-plane. For $x>0$ and transform-admissible smooth decay, the Cauchy integral theorem and Jordan lemma give the displayed null integrals. Arbitrary multiples can therefore be added to Fourier inversion without changing the recovered function on the positive half-line.

// Target: integrable-systems.bigb

For $\alpha >0$, let $L$ be the upper branch $\mathrm{Im}k=(\alpha +\sqrt{{\alpha }^2+4(\mathrm{Re}k{)}^2})/2$, oriented left to right. Above $L$, $i\alpha -k$ lies in the lower half-plane, where a decaying half-line Fourier transform is analytic. For $x>0$, closing upward proves that the displayed integral vanishes. An additional multiplier analytic above $L$ with at most polynomial growth is allowed, using exponential decay and, if needed, regularized contours. This supplies a null term in a Fokas method inversion formula without changing the function in the interior.

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 the angular-frequency Fourier transform and Schwartz seminorms $p_{m,n}(\varphi )={\sup }_x|x^m{\varphi }^{(n)}(x)|$, every output seminorm is bounded by finitely many input seminorms. To prove this, differentiation under the integral sign and integration by parts giveThe generalized Leibniz rule, $\Vert \hat{g}{\Vert }_{\infty }\le \Vert g{\Vert }_1$, and $\Vert x^a{\varphi }^{(b)}{\Vert }_1\le \pi (p_{a,b}+p_{a+2,b})$ implyThis proves continuity of the Fourier transform on the Schwartz space and rapid decay of every transformed derivative.

For sufficiently regular decaying data, this half-line transform has inverse $f(x)=(2/\pi ){\int }_0^{\infty }C(k)\cos (kx)dk$. To derive it, extend $f$ evenly to the real line. Its Fourier transform with negative exponential is $2C(k)$, and its odd sine contribution vanishes. The Fourier inversion theorem then gives the stated factor $2/\pi$. If the forward transform is instead defined as ${\hat{f}}_c=2C$, the inverse factor is $1/\pi$.

With boundary terms at infinity vanishing, two integrations by parts give the cosine transform of $f^{\prime \prime }$ as $-k^{2}C(k)-f^{\prime }(0)$. Thus a homogeneous Neumann boundary condition makes it a multiplier $-k^{2}C(k)$, paralleling the Fourier sine transform with a homogeneous Dirichlet boundary condition.

The Fourier sine transform is a half-line transform adapted to a homogeneous Dirichlet boundary condition. With the displayed normalization, inversion is $f(x)=(2/\pi ){\int }_0^{\infty }\sin (kx)S(k)dk$. It is equivalent to the Fourier transform of an odd extension. If $f(0)=0$ and boundary terms vanish, two integrations by parts give the transform of $f^{\prime \prime }$ as $-k^{2}S(k)$.

For sufficiently regular integrable functions on a half-line, Fourier sine transform inversion recovers the odd extension at continuity points. A zero endpoint value is required when demanding continuity at the endpoint.

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.

The sinc function $\sin z/z$ for $z\ne 0$, extended by value one at zero. The displayed power series has infinite radius of convergence, so the extension is entire. Its removable value follows from the first coefficient or from the sine limit. This convention differs by the argument scaling $z\mapsto \pi z$ from the normalized sinc convention.

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.

Fourier space labels a field by the frequency or wavevector variables of its Fourier transform, rather than by its original coordinates. Spatial gradients act by multiplication by $i\mathbf{k}$, and the negative Laplacian acts by $k^2$.

If $f\in L^1(\mathbb{R})$ and $x^{k}f\in L^1(\mathbb{R})$ for $0\le k\le r$, then its Fourier transform is $r$ times continuously differentiable and the displayed formula holds. The dominated convergence theorem permits each derivative under the integral. Thus $r+1$ vanishing moments give a zero Taylor polynomial through degree $r$ at the origin. Unweighted $L^1$ membership only guarantees a continuous function as the Fourier transform.

The Riemann-Lebesgue lemma and Fourier inversion give a bounded injective map $L^1(\mathbb{R})\to C_0(\mathbb{R})$ with dense image. It is not onto: inverse transforms of ${\chi }_{[-n,n]}\ast {\chi }_{[-1,1]}$ have unbounded $L^1$ norms while the targets have uniform norm $2$, contradicting the bounded inverse that the open mapping theorem would give.

For the Fourier transform convention $C(\mathbf{s})=\int \Phi (\mathbf{\kappa })e^{i\mathbf{\kappa }\cdot \mathbf{s}}{d}^2\kappa /(2\pi {)}^2$, angular integration of an isotropic power spectrum gives the displayed Hankel transform. A purely radial Hankel transform without the prefactor corresponds to defining its spectrum as $\Phi /(2\pi )$.

For the Cartesian convention $\hat{f}(\mathbf{q})={\int }_{{\mathbb{R}}^2}f(\mathbf{r})e^{-i\mathbf{q}\cdot \mathbf{r}}d\mathbf{r}$, an isotropic function has $\hat{f}(\nu )=2\pi {\int }_0^{\infty }f(r)J_0(\nu r)rdr$. Its inverse is $f(r)=(2\pi {)}^{-1}{\int }_0^{\infty }\hat{f}(\nu )J_0(\nu r)\nu d\nu$. The self-reciprocal Hankel transform instead uses $F_H=\hat{f}/(2\pi )$. In particular $f(0)=\int F_H(\nu )\nu d\nu$. Mixing these spectral conventions changes attenuation coefficients by $2\pi$.

The Wigner distribution of two fields is the Fourier transform of a field's two-point product in its separation variable:Its inverse reconstructs $u(\mathbf{z})\overline{v({\mathbf{z}}^{\prime })}$. For vector fields, specify whether the product is an outer product or a scalar contraction; the latter can encode an average over receiver channels.

For $X_1=x$, $X_2=y$ with $[X_1,X_2]=i/2$, normalize the phase-space function by $\int W(x,y)dxdy=1$. A coherent state of amplitude $\alpha$ has $W=2e^{-2|x+iy-\alpha {|}^2}/\pi$. Quadrature marginals are physical probability distributions, but the full function can be negative. Cross terms of an optical cat state give interference fringes, even when low-order moments approach those of a mixture.

For $i{\Psi }_t=-\Delta \Psi /2$, differentiate the two-point product $\Psi (x+y/2)\overline{\Psi }(x-y/2)$. The difference of its two Laplacians is $2{\nabla }_x\cdot {\nabla }_y$, so Fourier transformation in $y$ gives the displayed free-transport equation for the Wigner transform. Its solution is $w(x,\xi ,t)=w(x-t\xi ,\xi ,0)$.

For receiver-dependent Green functions $g_{\mathbf{\zeta }}(\mathbf{z})$ and aperture weight $a(\mathbf{\zeta })$, define ${\mathcal{W}}_A(\mathbf{Z},\mathbf{p})=\int a(\mathbf{\zeta })W[g_{\mathbf{\zeta }},g_{\mathbf{\zeta }}](\mathbf{Z},\mathbf{p})d\mathbf{\zeta }$. Its inverse separation Fourier transform is the kernel of the time reversal operator on the source plane.

The Japanese bracket is a smooth positive frequency weight, comparable to $1+|\xi |$. It defines Sobolev space norms and the growth estimates of a symbol class without singularities at zero frequency.

For real $s$ and vectors $\xi ,\eta$, the displayed bound follows from $⟨a+b⟩\le \sqrt{2}⟨a⟩⟨b⟩$, applied in the opposite direction when $s<0$. One can take $C_s=2^{|s|/2}$. Combined with Young's convolution inequality, it proves Sobolev multiplication by a smooth cutoff for all real orders: the rapidly decreasing transform of the cutoff absorbs the extra weight. The negative-order case is particularly useful when a distribution is not initially a function.

For the angular-frequency convention,

The Fresnel integral is an oscillatory Gaussian integral. In the angular-frequency convention, its distributional form isfor nonzero real $\omega$.

For the optical convention of Fresnel integrals, $C(w)={\int }_0^w\cos (\pi u^2/2)du$ and $S(w)={\int }_0^w\sin (\pi u^2/2)du$. Both functions are odd and tend to $1/2$ as $w\to +\infty$. If the unscaled convention uses phase $t^2$, multiply its argument by $\sqrt{\pi /2}$ and its value by $\sqrt{2/\pi }$ to obtain this convention. An aperture factor with phase $\pi x^2/(\lambda R)$ uses $u=x\sqrt{2/(\lambda R)}$. Stating the convention prevents missing factors of $\pi$ or $\sqrt{2}$ in diffraction calculations.

In the unscaled convention, the finite Fresnel integrals are $C(\lambda )={\int }_0^{\lambda }\cos (t^2)dt$ and $S(\lambda )={\int }_0^{\lambda }\sin (t^2)dt$. Their Taylor series follow by termwise integration. At infinity both tend to $\sqrt{\pi /8}$, and their oscillatory tails have asymptotic expansions obtained by integration by parts. This convention differs from the convention with phase $\pi t^2/2$.

For $A=\sqrt{\pi /8}$, define real tail functions by $Q+iP=e^{-i{\lambda }^2}{\int }_{\lambda }^{\infty }{e}^{i{t}^2}dt$. Then $C=A+P\sin {\lambda }^2-Q\cos {\lambda }^2$ and $S=A-P\cos {\lambda }^2-Q\sin {\lambda }^2$. Repeated integration by parts giveswhere $(-1)!!=1$. These are asymptotic expansions, rather than convergent infinite sums at a fixed argument.

For $\alpha >0$, polar coordinates reduce the integral to $2\pi {\int }_0^{\infty }r{e}^{-(\alpha -i\lambda )r^2}dr$. The result is $\pi /(\alpha -i\lambda )$. Its damped limit for real $\lambda >0$ is $i\pi /\lambda$, which fixes the sign of the oscillatory complex Gaussian integral. The Fresnel integral convention can be compared with NIST definitions.

For $t>0$, contour rotation of the Gaussian integral gives

An additive character of a locally compact field $F$ is a continuous group homomorphism from $(F,+)$ to the complex unit circle.

For a nontrivial additive character $\psi$ on a local field, the character annihilator of an additive subgroup $H$ is $H^{\perp }=\{y:\psi (xy)=1\text{ for all }x\in H\}$. If ${\mathcal{O}}_F^{\perp }={\pi }^c{\mathcal{O}}_F$, then $({\pi }^n{\mathcal{O}}_F{)}^{\perp }={\pi }^{c-n}{\mathcal{O}}_F$. This is a character pairing construction, distinct from the annihilator of a module.

For a local field $F$, an additive character $\psi$, and a Haar measure $dx$, the Fourier transform isIt maps the Schwartz-Bruhat space to itself.

For a compact open additive subgroup $H$ of a local field, translation and additive character orthogonality give the displayed transform of a coset indicator. With the self-dual Haar measure, transforming again gives $1_{a+H}(-x)$. Every Schwartz-Bruhat function is a finite linear combination of these indicators.

Relative to a nontrivial additive character, the self-dual additive Haar measure makes the twice-applied Fourier transform over a local field equal to reflection. If the annihilator of the valuation ring is ${\pi }^c{\mathcal{O}}_F$ and its residue field has $q$ elements, the normalization is $\mathrm{vol}({\mathcal{O}}_F)=q^{c/2}$. Volumes of a compact open subgroup and its character annihilator then multiply to one.

For an additive character $\psi$ of a non-Archimedean local field $F$,For the character induced from the standard character of ${\mathbb{Q}}_p$, this annihilator is the inverse different.

A Fourier multiplier is a function $m$ on frequency space used to define an operator by multiplication after taking a Fourier transform.

Suppose every continuous periodic function $f$ has a unique continuous periodic $Tf$ with Fourier coefficients $\widehat{Tf}(n)={\alpha }_n\hat{f}(n)$. Uniqueness first makes $T$ linear. If $f_j\to f$ and $T{f}_j\to g$ uniformly, continuity of each coefficient functional gives $\hat{g}(n)={\alpha }_n\hat{f}(n)$ for every fixed $n$, hence $g=Tf$. Thus $T$ has a closed graph and the closed graph theorem makes it bounded. Applying it to normalized exponentials gives $|{\alpha }_n|\le \Vert T\Vert$.

For $e_n(t)=(2\pi {)}^{-1/2}{e}^{int}$, the bounded functional $\varphi (f)=\sqrt{2\pi }(Tf)(0)$ satisfies $\varphi (e_n)={\alpha }_n$. The normalization factor follows from $e_n(0)=(2\pi {)}^{-1/2}$.

The half-plane Fourier projection is $(I-i{H}_v)/2$, where $H_v$ is the directional Hilbert transform. A disk of radius $R$, modulated to put a boundary point at the origin, has symbol $1_{\{|\xi +Rv|\le R\}}$, which converges almost everywhere to this half-plane symbol. The Plancherel theorem makes this an $L^2$ multiplier limit.

The inverse Fourier transform of $(1-|\xi |{)}_{+}$ in three dimensions, with $a=2\pi |x|$, is $-4\pi \sin a/a^3+8\pi (1-\cos a)/a^4$. Its leading oscillatory $|x{|}^{-3}$ tail is not absolutely integrable against the radial volume element $4\pi |x{|}^{2}d|x|$. Multiplying by a Gaussian Fourier transform retains a nonzero boundary-derivative tail, so the radial cutoff need not map even Schwartz functions into $L^1$. A tensor product of one-dimensional triangular cutoffs is a valid approximate identity, and must not be confused with this Euclidean radial cutoff.

A Fourier multiplier operator $T_m$ is defined by $\widehat{T_{m}f}(\xi )=m(\xi )\hat{f}(\xi )$. On $L^2$, a bounded symbol gives a bounded operator by the Plancherel theorem, while an unbounded symbol defines a closed linear operator on the functions for which $m\hat{f}$ remains square-integrable.

Suppose $w$ is locally integrable andThen $\hat{w}(\lambda )+(c_{+}-c_{-})\log |\lambda |$ has finite limits at zero from both sides. With the convention $\hat{w}(\lambda )=\int e^{-i\lambda x}w(x)dx$, the positive-frequency limit minus the negative-frequency limit isSubtracting suitable reflected copies of $x^{-1}{1}_{(1,\infty )}(x)$ leaves an $L^1$ function, whose Fourier transform is continuous; the jump then follows from the Dirichlet integral.

If $f_{\lambda }(x)=f(\lambda x)$ on ${\mathbb{R}}^n$ with $\lambda >0$, thenand consequently