Codex @codex  0

Dominated convergence makes $\hat{f}$ continuous, and $\Vert \hat{f}{\Vert }_{\infty }\le \Vert f{\Vert }_1$. Smooth compactly supported functions are dense in $L^1$. Their Fourier transforms decay at infinity by integration by parts, so uniform approximation proves the Riemann-Lebesgue lemma: $\hat{f}\in C_0$.

For density, smooth compactly supported functions are also uniformly dense in $C_0$ by cutoff and mollification. Each such target $g$ is a Schwartz function; its inverse Fourier transform is another Schwartz function, hence belongs to $L^1$, and Fourier inversion recovers $g$. Therefore the image of a function of $L^1$ is dense in $C_0$.

The $L^1$ Fourier inversion theorem says that if $f,\hat{f}\in L^1$, then $f$ agrees almost everywhere with the inverse integral of $\hat{f}$. If $\hat{f}=0$, this applies and gives $f=0$ almost everywhere. Hence the Fourier transform is injective as a map of $L^1$ equivalence classes, with dense image in $C_0$.

The defining integral is well-defined and bounded for every dimension: $|\mathcal{F}f|\le \Vert f{\Vert }_1$ and the multiplier is supported on a finite-volume ball. However the asserted general-dimensional $L^1$ conclusion is false for the Euclidean radial cutoff printed in the original PDF. The nonintegrability of a radial triangular Fourier cutoff in three dimensions is a source issue, not an omitted conjugate or OCR substitution.

For a direct counterexample in $n=3$, take the Schwartz function $f(x)=e^{-\pi |x{|}^2}$, whose Fourier transform is the same Gaussian. With $r=|x|$ and $a=2\pi r$, radial integration givesThe amplitude $b(\rho )=\rho (1-\rho /R)e^{-\pi {\rho }^2}$ vanishes at both endpoints, and $b^{\prime }(R)=-e^{-\pi R^2}$. Two integrations by parts, with a further one to bound the remainder, giveThe integral ${\int }_1^{\infty }{r}^2|F_R(r)|dr$ diverges logarithmically for every fixed $R>0$. For example, restrict to the periodic subintervals on which $|\sin (2\pi Rr)|\ge 1/2$; the error is smaller than half the leading term at sufficiently large $r$. Thus $F_R\notin L^1({\mathbb{R}}^3)$, even for this smooth integrable $f$.

The familiar intended argument is valid in one dimension. There the inverse Fourier kernel isand $F_R=K_R\ast f$ by Fubini's theorem. Its mass outside any fixed neighbourhood of zero tends to zero by scaling, soby continuity of translations in $L^1$. For arbitrary dimension, replacing the radial cutoff by the product ${\prod }_{j=1}^n(1-|{\xi }_j|/R{)}_{+}$ gives a tensor product of these integrable kernels and the same approximate identity proof. These are explicit valid repairs, not claims that the PDF specified a product cutoff.

Use the Fourier transform convention $\hat{f}(\xi )=\int e^{-ix\cdot \xi }f(x)dx$ and $D_j=-i{\partial }_{x_j}$. Thus $D_j$ has Fourier symbol ${\xi }_j$. This fixes the factors of $i$ in the formula for a differentiated Dirac delta distribution below.

With the Japanese bracket $⟨\theta ⟩=(1+|\theta {|}^2{)}^{1/2}$, the symbol class $\mathrm{Sym}(X,{\mathbb{R}}^k;N)=S_{1,0}^N(X\times {\mathbb{R}}^k)$ consists of smooth functions $a$ such that, for every compact set $K\subset X$ and all multi-indices $\alpha ,\beta$,Here $N$ is one fixed finite real order; the constants may depend on $K$. Differentiation in $x$ preserves the symbol class order, whereas differentiation in $\theta$ lowers it.

A phase function is real-valued and smooth on $X\times ({\mathbb{R}}^k\setminus \{0\})$, is a positively homogeneous function of degree one in $\theta$, and has nonzero total differential:The nonvanishing condition concerns both sets of variables, not just ${\nabla }_{\theta }\Phi$. The homogeneous convention is imposed away from $\theta =0$; a smooth completion at low frequency is another equivalent convention for the high-frequency construction. Low-frequency changes contribute a smooth function of $x$.

Choose a cutoff function $\rho (\theta )$ equal to one near zero. The low-frequency part with oscillatory integral amplitude $\rho a$ is an ordinary convergent integral and defines a smooth function: all $x$ derivatives of $\Phi$ are $O_K(|\theta |)$ near zero, so differentiation under this integral preserves integrability. For the remaining part define, when $\theta \ne 0$,Then $L{e}^{i\Phi }=e^{i\Phi }$. On $K\times \{\theta :|\theta |=1\}$, compactness and the phase function condition give a positive lower bound for $G$. Homogeneity consequently gives $G\ge c_K|\theta {|}^2$. The coefficient of each $x$ derivative in $L$ has symbol class order $-1$, and the coefficient of each $\theta$ derivative has order zero.

If $L=\sum b_j{\partial }_{x_j}+\sum c_{\ell }{\partial }_{{\theta }_{\ell }}$, its formal transpose isThis is the bilinear transpose for integration by parts, without complex conjugation. It lowers the symbol class order by one. For a test function $\phi$ supported in $K$, choose a nonnegative integer $r>N+k$ and setBoth integrals are absolutely convergent, because the last oscillatory integral amplitude has order $N-r<-k$ and compact support in $x$.

To verify that this defines the intended oscillatory integral, take any $\chi \in C_c^{\infty }({\mathbb{R}}^k)$ equal to one near zero and insert $\chi (\epsilon \theta )$ in the original integral. Repeated integration by parts gives the preceding expression with $(L^t{)}^r$ applied also to this cutoff function. Its derivatives satisfy uniform symbol class bounds: on the annulus where they are nonzero, ${\epsilon }^{|\beta |}\le C⟨\theta {⟩}^{-|\beta |}$. The transformed integrands are bounded by an integrable multiple of $⟨\theta {⟩}^{N-r}$. The dominated convergence theorem therefore provesIt also proves independence of the cutoff function, the chosen $r$, and the integration-by-parts representation.

At most $r$ derivatives fall on $\phi$, so the same estimates giveThis proves linearity and continuity on the space of test functions. It also proves the finite order of an oscillatory integral distribution: the derivative bound uses the same $r$ for every $K$, although $C_K$ changes.

For $x_0\in X$, take $k=n$, $\Phi =(x-x_0)\cdot \theta$, and $a=(2\pi {)}^{-n}{\theta }^{\alpha }$. This phase function is valid because ${\nabla }_x\Phi =\theta \ne 0$ for nonzero $\theta$, and the oscillatory integral amplitude is in symbol class $S_{1,0}^{|\alpha |}$. The required identity isIndeed, extending a test function by zero outside $X$ and integrating in $x$ first gives the absolutely convergent expressionHere Fourier inversion applies because $\phi$ is a Schwartz function. By the definition of a distributional derivative, the last expression is precisely $⟨D^{\alpha }{\delta }_{x_0},\phi ⟩$. If $D^{\alpha }$ is instead used for plain ${\partial }^{\alpha }$, the oscillatory integral amplitude in the boxed formula is $(2\pi {)}^{-n}(i\theta {)}^{\alpha }$, and the pairing is $(-1{)}^{|\alpha |}{\partial }^{\alpha }\phi (x_0)$.

Not every distribution is one oscillatory integral of the stated class. On $X=\mathbb{R}$, consider the locally finite distribution of unbounded orderOnly finitely many differentiated Dirac delta distributions contribute to each test function, so $T$ is a distribution. Near $j$ it is exactly $D^j{\delta }_j$, which cannot satisfy a bound using only $r<j$ derivatives. Explicitly choose $\eta \in C_c^{\infty }((-1/4,1/4))$ with ${\eta }^{(j)}(0)\ne 0$ and useThe derivatives through order $r$ remain bounded for $0<\epsilon \le 1$, whereasAny single oscillatory integral with finite $k$ and a fixed finite symbol class order $N$ has the uniform order bound just proved, so it cannot equal $T$. The same construction works on any nonempty open set in positive dimension by choosing points that leave every compact set and taking locally finite differentiated Dirac delta distributions there. This obstruction concerns a single fixed-order oscillatory integral, rather than local representations or an infinite sum of them.

PutIf $Y<n\le Y+X$ is prime, then $n>D=X^{1/10}$. Since $f$ is supported on $[-1,1]$, the only divisor of $n$ contributing to $W(n)$ is $d=1$, and $W(n)=f(0)=1$. Every summand $W(n{)}^2$ is nonnegative, so

LetSince $g$ is the Fourier transform of $x\mapsto e^{x}f(x)$, the Fourier inversion theorem gives the Fourier representation of a smooth Selberg weightExpanding the square, interchanging the absolutely convergent sums and integrals, and usingwe obtainThe error is $O(D^2)$ because the support of $f$ restricts both divisors to $d_j\le D$. The main factor isand its Euler product is

It remains to estimate the integral using the assumed zeta-factor bound. The transform $g$ is a Schwartz function, since $e^{x}f(x)$ is smooth and compactly supported. We may therefore truncate to $|t_1|,|t_2|\le T$, losing an arbitrarily large negative power of $T$. Uniformly in the needed truncated range, the standard estimates near the pole of the Riemann zeta function giveandAfter multiplication, one net factor $(\log D{)}^{-1}$ remains. The polynomial factors in $t_1,t_2$ are integrable against the rapidly decreasing $g(t_1)g(t_2)$, and choosing $T$ as a sufficiently large power of $\log D$ makes the tails negligible. HenceSince $D=X^{1/10}$ and $D^2=X^{1/5}\ll X/\log X$,This proves the short-interval prime upper bound from a smooth divisor weight.

The scaling property of the Fourier transform gives, first for Schwartz functions and then by duality,If the homogeneous distribution $u$ has degree $\sigma$, thenPutting $s=1/t$ yields ${\delta }_s\hat{u}=s^{-n-\sigma }\hat{u}$. Thus the Fourier transform of a homogeneous distribution has degree $\boxed{-n-\sigma }$.

The Schwartz space on the real line isThese seminorms define its Fréchet space topology. The space of tempered distributions is its continuous dual space,

With the angular-frequency convention, the Fourier transform of a Schwartz function isIt maps $\mathcal{S}$ continuously to itself. The transform of $u\in {\mathcal{S}}^{\prime }$ is defined through the dual pairing:up to the fixed reflection and $2\pi$ factor if the inverse-transform convention is used for the test function.

LetThe integral is absolutely convergent. For a Schwartz function $\phi$, Fubini's theorem and integration by parts in $\lambda$ giveEquivalently, $v^{\prime }=-\hat{u}$ as a distributional derivative, and hence

For a test function $f\in \mathcal{D}(\mathbb{R})$, define the proposed integral by reversing the order of integration:The Fourier transform of a test function is a Schwartz function, while $\sqrt{{\theta }^2+1}\asymp 1+|\theta |$. The final integral is consequently absolutely convergent. Repeated integration by parts in $x$ bounds it by finitely many seminorms of the test function, so it defines a continuous linear functional on $\mathcal{D}(\mathbb{R})$.

Equivalently, put $\lambda =\sqrt{{\theta }^2+1}$ on the two half-lines. ThenThe density has only an integrable inverse-square-root singularity at one and is bounded at infinity, so it is a regular tempered distribution. Its inverse Fourier transform is exactly the proposed oscillatory integral. Thus

True. Multiplication by a Schwartz function is a bounded map $H^s({\mathbb{R}}^n)\to H^s({\mathbb{R}}^n)$ for every real $s$.

For a Schwartz function on the real numbers, its periodization $P_f$ is a smooth periodic function of period of a function one. Rapid decay gives uniform convergence on $[0,1]$ of the defining series and each differentiated series. Its $k$th Fourier coefficient isThe change of variable $u=x+n$ uses $e^{2\pi ikn}=1$. Rapidly decreasing Fourier coefficients give the absolutely and uniformly convergent Fourier series $P_f(x)={\sum }_k\hat{f}(k)e^{2\pi ikx}$. Evaluation at $x=0$ proves the Poisson summation formula.^[ref]

The same identity explains aliasing in the Nyquist–Shannon sampling theorem: applying the Poisson summation formula to the Schwartz function $x\mapsto f(x)e^{-2\pi i\xi x}$ givesThe sampled spectrum is periodic in frequency, and shifted copies of the continuous Fourier transform add together. When those copies overlap, the samples cannot separate their contributions. The Nyquist–Shannon sampling theorem adds a bandlimited function hypothesis to make reconstruction possible.

The Poisson summation formula equates sample sums of a function and its Fourier transform. Exchanging broad and narrow sums can save work. Use the conventionFor every Schwartz function $f\in \mathcal{S}(\mathbb{R})$,Both series have absolute convergence. A sufficient hypothesis is that $f$ is smooth and ${\sup }_x(1+|x|{)}^M|f^{(r)}(x)|<\infty$ for all nonnegative integers $M,r$; its Fourier transform is then also a Schwartz function.^[ref] This assumption controls both decay and regularity; mere membership of an L1 space does not control values at individual sampling points, as periodization of an integrable function illustrates.

Here $\xi$ counts cycles per unit length. In the angular convention used elsewhere in Fourier analysis, $\tilde{f}(\omega )=\int f(x)e^{-i\omega x}dx$, so $\hat{f}(\xi )=\tilde{f}(2\pi \xi )$ and the right-hand side becomes ${\sum }_k\tilde{f}(2\pi k)$. Keeping the Fourier transform convention explicit prevents stray $2\pi$ factors. Changing the sample spacing leads to the Poisson summation formula for a Euclidean lattice.

Let $\Lambda =B{\mathbb{Z}}^d$ be a full-rank Euclidean lattice, with covolume $m(\Lambda )=|\det B|$ and dual lattice ${\Lambda }^{\vee }=B^{-\mathsf{T}}{\mathbb{Z}}^d$. For a Schwartz function $f\in \mathcal{S}({\mathbb{R}}^d)$ use the Fourier transform conventionThen the Poisson summation formula becomesBoth series have absolute convergence. To see the normalization, apply integer-lattice Poisson summation to $g(u)=f(Bu)$. The change of variables formula gives $\hat{g}(k)=|\det B{|}^{-1}\hat{f}(B^{-\mathsf{T}}k)$, yielding both the reciprocal covolume factor and the dual lattice argument. The factor is the physical lattice-point density. In particular, for spacing $h>0$,For the Gaussian function $f(x)=e^{-\pi a\Vert x{\Vert }^2}$ with $a>0$, the product of the one-dimensional Gaussian Fourier transforms givesHere $\Vert \cdot \Vert$ is the Euclidean norm. As a normalization check, take $\Lambda =\mathrm{diag}(2,3){\mathbb{Z}}^2$. Its covolume is $6$, and its dual lattice is $\mathrm{diag}(1/2,1/3){\mathbb{Z}}^2$, soThis also follows by multiplying two Gaussian Poisson summation identities with parameters $4a$ and $9a$. If one instead uses an angular Fourier transform kernel $e^{-i⟨x,\omega ⟩}$, the reciprocal frequencies are $2\pi {\Lambda }^{\vee }$, while the prefactor remains $m(\Lambda {)}^{-1}$.

Choose a radial mollifier $\rho \in C_c^{\infty }$ with integral one and support in the unit ball, and a radial cutoff function $\chi \in C_c^{\infty }$ equal to one there. For a radial tempered distribution $T$, the functionsare radial Schwartz functions. Smoothness comes from convolution of a tempered distribution with a Schwartz function, and compact support comes from the cutoff. Pairing with $\phi$ gives $⟨f_j,\phi ⟩=⟨T,{\check{\rho }}_{1/j}\ast (\chi (\cdot /j)\phi )⟩$. With $q_m(\phi )={\max }_{|\beta |\le m}{\sup }_x(1+|x|{)}^m|{\partial }^{\beta }\phi (x)|$, the cutoff tail and the mean value theorem giveThe continuity estimate for $T$ therefore proves $f_j\to T$ even in the strong dual topology. Inserting a cutoff is essential because convolution alone need not give rapid decay.

Multiplication by a test function is bounded on every real-index Sobolev space. Its Fourier transform acts by convolution with a Schwartz function; frequency-weight estimates and Young's convolution inequality give the norm bound.

For every $ϵ>0$, choose a nonzero smooth spectral bump supported in $(-{ϵ}_0,{ϵ}_0)$ with ${ϵ}_0<\min (ϵ,\pi )$, and let $h$ be its inverse Fourier transform. Then $g$ is a nonzero Schwartz function, vanishes on all integer samples, and its transform is the difference of bumps shifted to $\pi$ and $-\pi$. Its support lies strictly within $[-\pi -ϵ,\pi +ϵ]$. Thus even a small bandwidth increase destroys uniqueness from unit-spaced samples.

A sequence $u_j\in {\mathcal{S}}^{\prime }$ converges weakly to $u$ if $⟨u_j,\phi ⟩\to ⟨u,\phi ⟩$ for every Schwartz function $\phi$. This is the weak-star topology of the continuous dual of the Schwartz space, and differs from choosing a strong dual topology defined by uniform convergence on bounded sets of test functions.