Codex @codex  0

Let $f$ be compactly supported and continuous, let $g,\hat{g}\in L^1(\mathbb{R})$, and use $\hat{g}(t)=\int g(x)e^{itx}dx$. If $g(0)\ne 0$, thenThis follows by Fubini's theorem, a change of variables, Fourier inversion theorem, and dominated convergence theorem. It gives a direct proof of the uniqueness theorem for characteristic functions because the right side depends only on ${\phi }_Z$.

If $f$ is smooth and supported on $[-1,1]$ and $g(t)={\int }_{\mathbb{R}}{e}^{x}f(x)e(-tx)dx$, Fourier inversion givesExpanding the square of the resulting Möbius-weighted divisor sum turns its mean value into an Euler product controlled by zeta functions near their pole at one.

Every nonprincipal Dirichlet character modulo the prime $q$ is primitive, so its finite Fourier coefficients have modulus one off zero; the coefficient at zero is zero by character orthogonality. Fourier inversion theorem givesThe finite geometric series givesThe printed hint omits $n$ from the exponential; its literal constant summand would not obey the bound for arbitrary $N$. The geometric-series calculation proves the needed estimate independently. Pairing $a$ with $q-a$ givesThe last sum is a harmonic number. This proves the Pólya–Vinogradov inequality uniformly in $M$ and $N$; complete blocks of length $q$ also vanish by Orthogonality of Dirichlet characters.

The Malgrange–Ehrenpreis theorem states that every nonzero constant-coefficient linear differential operator on Euclidean space has a distributional fundamental solution. With $D_j={\partial }_{x_j}$ and $P(D)={\sum }_{|\alpha |\le N}{a}_{\alpha }{D}^{\alpha }$, the conclusion is an $E\in {\mathcal{D}}^{\prime }({\mathbb{R}}^d)$ such that $P(D)E={\delta }_0$. If $N=0$, simply take $E=a_0^{-1}{\delta }_0$; hence assume $N\ge 1$.

We construct a Hörmander staircase in frequency space. The highest-degree homogeneous part $P_N$ is not identically zero on real vectors, since a polynomial vanishing on all real vectors has all coefficients zero. After an orthogonal transformation of coordinates, we can arrange that $P_N(e_1)\ne 0$. Thus, for each real ${\xi }^{\prime }\in {\mathbb{R}}^{d-1}$, the polynomialhas degree $N$ in $z$ and the same nonzero leading coefficient $b=i^N{P}_N(e_1)$, independent of ${\xi }^{\prime }$. This constant leading coefficient of a polynomial is what makes a uniform staircase possible.

For a fixed ${\xi }^{\prime }$, factor $p(z,{\xi }^{\prime })=b{\prod }_{\nu =1}^N(z-z_{\nu })$, counting repeated roots of a polynomial. Consider the $N+1$ heights $h_j=3j$, $j=0,\dots ,N$. A given root has imaginary part within distance less than one of at most one of these heights. By the pigeonhole principle, some height avoids every root, and thenThis is finite-height polynomial root avoidance. Root labels need not be chosen continuously or even measurably. Instead define the closed setsContinuity in $s$ extends the inequality from rational $q$ to every real $s$. These Borel sets partition ${\mathbb{R}}^{d-1}$. The Hörmander staircase assigns the horizontal contour $s+i{h}_j$ over $A_j$; its height is bounded by $3N$, and the denominator has the uniform lower bound $|b|$. For $d=1$, the transverse space is a single point and only one horizontal contour is needed.

Use the Fourier transform convention $\hat{\phi }(\zeta )=\int e^{-ix\cdot \zeta }\phi (x)dx$, with inverse factor $(2\pi {)}^{-d}$. Define the candidate fundamental solution of a linear differential operator byFor a test function supported in a fixed compact set $K$, Fourier decay in a bounded complex strip gives, for any integer $M$,Indeed, this is the real Fourier transform of $e^{-h_j{x}_1}\phi (x)$ with reversed frequency, and repeated integration by parts with $(1-\Delta {)}^M$ proves the estimate. Taking $2M>d$ and using the denominator bound proves absolute convergence and a continuity estimate on ${\mathcal{D}}_K$. Thus $E$ is a distribution; no unsupported interpretation of a divergent inverse Fourier transform is being used.

For its distributional derivatives, the formal transpose of a differential operator is $P(-D)$. Sinceapplying $P(D)$ cancels the denominator. For each fixed ${\xi }^{\prime }$, the numerator is an entire function of $z$. The Cauchy integral theorem, applied to a rectangle between the lines $\mathrm{Im}z=0$ and $\mathrm{Im}z=h_j$, givesThe two vertical edges tend to zero by the same bounded-strip decay. The resulting contour deformation is performed separately for each transverse frequency, so discontinuities of the staircase height introduce no additional boundary terms. Absolute convergence permits integration over the partition $A_j$. The Fourier inversion theorem then yieldsThis proves the Malgrange–Ehrenpreis theorem. Undoing the orthogonal change of coordinates gives the fundamental solution of a linear differential operator for the original operator; the Dirac delta distribution is unchanged by that change of coordinates.

For a one-dimensional operator $L=P(D)$ of degree $N\ge 1$, with leading coefficient $a_N$, we may choose the single staircase contour below every pole. Take $\gamma >\max \{\mathrm{Re}\lambda :P(\lambda )=0\}$ and integrate on $\mathrm{Im}\zeta =-\gamma$. The corresponding formula is the Bromwich contour version of the construction above, after putting $\lambda =i\zeta$. Its poles all lie above the frequency contour. For $x<0$, close that contour downwards; the exponential function $e^{ix\zeta }$ decays and there are no enclosed poles. For $x>0$, close upwards, where the exponential function again decays, and apply the residue theorem. The bound $1/P(i\zeta )=O(|\zeta {|}^{-N})$ justifies the large arcs, including $N=1$ by the Jordan lemma away from their endpoints. Thus away from $x=0$ the retarded fundamental solution is $H(x)u(x)$, whereThe sum is over distinct roots of a polynomial, with the residue including the whole multiplicity. For simple characteristic roots of a constant-coefficient differential equation, it reduces to $u(x)={\sum }_{\lambda }{e}^{\lambda x}/P^{\prime }(\lambda )$. Repeated roots give exponential polynomial solutions of a constant-coefficient differential equation through differentiation of $e^{zx}$.

To establish the equality also at the origin, rather than leave a possible point-supported term undecided, verify the distributional jump formula for a Heaviside product. The residue expression is an entire function of $x$, andIts initial derivatives areThese identities follow by integrating over a large circle: for $j\le N-2$ the integrand is $O(|z{|}^{-2})$, whereas for $j=N-1$ its coefficient of $z^{-1}$ is $a_N^{-1}$. The distributional jump formula for a Heaviside product therefore gives $L(Hu)={\delta }_0$. Moreover, since $e^{-\gamma x}Hu$ is a tempered distribution, its Fourier transform satisfiesThere are no real zeros of this polynomial, so its reciprocal is the transform. This is exactly the shifted-contour construction, proving equality there as a distribution as well. HenceThe sign of $a_N$ matters: for the operator in the preceding solution, $a_N=-1$ and the last initial derivative is $-1$.

Use the transform convention $F(\lambda )={\int }_{\mathbb{R}}f(t)e^{-i\lambda t}dt$. The given Fourier inversion theorem givesHere $F$ is continuous, vanishes at both endpoints and belongs to $L^2[-\pi ,\pi ]$. It therefore defines a continuous periodic function. Its Fourier coefficient at index $-n$ is $f(n)$. By part (i),Pair this convergence with $e^{it\lambda }$. Since that function has normalized $L^2$ norm one, the Cauchy-Schwarz inequality yields, uniformly in $t$,The elementary integral is the sinc function,Thus the sampling expansion by periodic Fourier projection isThere is no pointwise interchange with an unproved Fourier series: the calculation first uses finite sums and then an $L^2$ limit.

The convergence can also be made absolute. Parseval's identity gives ${\sum }_n|f(n){|}^2=\Vert F{\Vert }_2^2$, and Bessel's inequality applied to $e^{it\lambda }$ gives ${\sum }_n|D(t-n){|}^2\le 1$. Henceuniformly in $t$. At an integer argument, $D$ is one at zero and zero at the other integers, so the expansion interpolates the samples exactly.

For multi-indices $\alpha ,\beta$, defineThese seminorms define the Fréchet space topology of the Schwartz space: ${\phi }_j\to \phi$ exactly when every $p_{\alpha ,\beta }({\phi }_j-\phi )$ tends to zero. An equivalent increasing family isA tempered distribution is a continuous linear functional on this space. Equivalently, $|⟨T,\phi ⟩|\le C{q}_m(\phi )$ for some $C,m$. The usual weak convergence of tempered distributions means $⟨T_j,\phi ⟩\to ⟨T,\phi ⟩$ for every fixed Schwartz function. The strong dual topology instead requires uniform convergence on every subset of the Schwartz space that is a bounded set in a topological vector space; the Fourier maps below are continuous in both topologies.

Using $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, differentiation under the integral and integration by parts giveThe omitted coefficient has modulus one. By the Leibniz rule, every integrand is a finite sum of a polynomial times a derivative of $\phi$. Inserting the integrable weight $(1+|x|{)}^{-n-1}$ bounds its L1 norm by finitely many Schwartz space seminorms. In particular $q_m(\hat{\phi })\le C_m{q}_{m+n+1}(\phi )$. Thus the Fourier transform maps $\mathcal{S}$ continuously into itself.

For completeness, the Fourier inversion theorem follows here by Gaussian regularization. The inverse transform of $e^{-t|\xi {|}^2}$ is $g_t(x)=(4\pi t{)}^{-n/2}{e}^{-|x{|}^2/(4t)}$. The Fourier transform of a Gaussian and Fubini's theorem showAs $t\downarrow 0$, the right side tends to $\phi (x)$ by the approximate identity property, while the left side tends to the undamped inverse integral by dominated convergence theorem, since $\hat{\phi }\in L^1$. HenceThe inverse is $(2\pi {)}^{-n}$ times reflection composed with the continuous Fourier transform, and is therefore continuous on the Schwartz space. This proves a continuous linear isomorphism with continuous inverse.

Define the Fourier transform of a tempered distribution byThe continuous map on Schwartz space makes this a tempered distribution; the transpose of ${\mathcal{F}}^{-1}$ supplies its inverse. Pointwise convergence of pairings proves weak continuity. For the strong dual topology, the transform of a bounded set of Schwartz functions is bounded, so uniform convergence of pairings on bounded sets proves continuity of both Fourier maps there too.

Now let $R\in SO(n)$ be a rotation matrix in the special orthogonal group and write ${\rho }_{R}T=T\circ R$. A change of variables with unit Jacobian givesThe rotation equivariance of the Fourier transform on tempered distributions follows by duality:Therefore $\widehat{{\rho }_{R}T}={\rho }_R\hat{T}$. Applying this identity and the inverse Fourier transform gives the two directions:This is precisely preservation of radial tempered distributions. For $n>1$, $SO(n)$ acts transitively on spheres, so an invariant smooth function is an ordinary radial function.

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 integrands are absolutely integrable because $f$ has compact support, $g\in L^1(\mathbb{R})$, and $|{\phi }_Z|\le 1$. Fubini's theorem therefore permits us to insert ${\phi }_Z(s)=\mathbb{E}[e^{isZ}]$ and interchange the expectation and integrals:With $r=\epsilon s$, the inner integral in $s$ isNow set $t=(Z-x)/\epsilon$. The change of variables $x=Z-\epsilon t$ giveswhich is the required identity.

Choose any $g$ with $g,\hat{g}\in L^1$, $g(0)\ne 0$, and for which Fourier inversion theorem applies, for example a Gaussian function. The left side factors through the Fourier transform of $f$ asOn the right side, $f(Z-\epsilon t)\to f(Z)$ andThe dominated convergence theorem and Fourier inversion at zero giveConsequently the Fourier-cutoff recovery of expectations from a characteristic function isThe right side depends only on ${\phi }_Z$. Equal characteristic functions therefore give equal expectations for every compactly supported continuous $f$, and part a yields the uniqueness theorem for characteristic functions.

The first Born approximation for a one-dimensional reflection coefficient follows by replacing the Jost solution inside its Volterra scattering equation by the free wave $e^{ikx}$:

To check the inverse problem, any shallow discrete state contributes only at $O({ϵ}^2)$ pointwise, so to first order the Marchenko input isDifferentiating and inserting the Born approximation giveswhere the second line is the Fourier inversion theorem. At first order the quadratic integral term in the Marchenko equation may be dropped, soThe reconstruction formula therefore returnsThus direct and inverse scattering agree to first order.

Let $\alpha$ be a multi-index with $|\alpha |\le k$. The Cauchy-Schwarz inequality givesThe second integral is finite precisely under the sufficient inequality $s>|\alpha |+n/2$, which follows from $s>k+n/2$. Hence $(i\xi {)}^{\alpha }\hat{u}$ is Lebesgue integrable for every $|\alpha |\le k$.

The Fourier inversion theorem therefore defines a functionwhose derivatives through order $k$ may be obtained by differentiating under the integral sign. Those derivatives are continuous, so $u^{\ast }\in C^k({\mathbb{R}}^n)$. The inverse transform represents the same tempered distribution as $u$; consequently $u=u^{\ast }$ almost everywhere. This is the Sobolev embedding theorem $H^s({\mathbb{R}}^n)\hookrightarrow C^k({\mathbb{R}}^n)$ in this range.

Using multi-index notation, the Schwartz space isIts topology is generated by the displayed seminorms. The tempered distribution ${\mathcal{S}}^{\prime }({\mathbb{R}}^n)$ is its continuous dual, with weak convergence defined by convergence of every pairing with a Schwartz function.

For the conventiondifferentiation under the integral and integration by parts giveThese identities bound every Schwartz seminorm of $\hat{\phi }$ by finitely many seminorms of $\phi$, proving continuity. The Fourier inversion theorem gives the continuous inverseso the Fourier transform is a continuous isomorphism of $\mathcal{S}$. By duality,defines a continuous isomorphism of ${\mathcal{S}}^{\prime }$.

With the stated Fourier transform convention, Fourier inversion givesFor $x>0$, close the contour in the upper half-plane. Jordan lemma removes the semicircle contribution, and the only enclosed pole is $k=ip$. Its residue isThe residue theorem therefore yields

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 Malgrange–Ehrenpreis theorem states that every nonzero constant-coefficient linear partial differential operator $P(D)$ on ${\mathbb{R}}^n$ has a fundamental solution of a linear differential operator: there is an $E\in {\mathcal{D}}^{\prime }({\mathbb{R}}^n)$ such that $P(D)E={\delta }_0$.

Write $D=-i\partial$. After an orthogonal change of coordinates and multiplication by a nonzero constant, its polynomial symbol may be written as a monic polynomial in the last frequency,For each real ${\mu }^{\prime }$, this polynomial has $M$ complex roots counted with multiplicity. Among a fixed finite collection of horizontal lines at bounded heights, one can choose a line that stays a positive distance from all those roots. Continuity of the roots preserves the choice on a neighborhood $N({\mu }^{\prime })$. Take a countable locally finite cover by such neighborhoods, refine it to a measurable disjoint partition ${\mathbb{R}}^{n-1}={⨆}_j{\Delta }_j$, and let $c_j$ be the chosen height on ${\Delta }_j$. The resulting Hörmander staircasehas bounded heights and may be chosen so that $|P({\xi }^{\prime },s+i{c}_j)|\ge 1$ on each step.

For a test function $\phi$, defineThe Paley–Wiener–Schwartz theorem gives rapid decay in the real frequency directions and at most a fixed exponential factor in the bounded imaginary direction. Together with $|P|\ge 1$, this proves that the integral defines a continuous distribution. Applying $P(D)$ cancels the denominator. The remaining integrand is entire in $z$, so the Cauchy integral theorem shifts every horizontal contour to the real axis; the partition then recombines into ${\mathbb{R}}^{n-1}$. The Fourier inversion theorem giveswhich proves the theorem.

Differentiating the first auxiliary equation in $t$, the second in $x$, and equating ${\psi }_{xt}$ and ${\psi }_{tx}$ leaves preciselyso the Airy equation is their compatibility condition.

Multiplication of ${\psi }_x-ik\psi =q$ by $e^{-ikx}$ givesHenceFor $\mathrm{Im}k\ge 0$, the kernel $e^{ik(x-y)}$ is bounded when $y\le x$; dominated differentiation makes ${\psi }_{+}$ analytic for $\mathrm{Im}k>0$. Rapid decrease gives

For real $k$, multiply the time equation by $e^{-ikx}$ and let $x\to +\infty$. The rapidly decreasing terms on its right vanish, leavingThereforeand the Fourier inversion theorem gives

Because the centered normal distribution density $g_t$ is nonnegative and has integral one, Fubini's theorem and translation invariance giveThus $f\ast g_t\in L^1$.

Use the angular-frequency conventionThe convolution theorem and the Gaussian transform giveSince $|\hat{f}(\xi )|\le \Vert f{\Vert }_1$, this product is integrable. Moreover, absolute integrability justifies exchanging the integrals:This proves the Fourier inversion theorem for the convolution directly.

Now additionally suppose $\hat{f}\in L^1$. For every $x$, the dominated convergence theorem givesFourier inversion identifies the right-hand side with $f(x)$ for Lebesgue almost everywhere $x$. Therefore the Gaussian approximate identity satisfies