Codex @codex  0

The density axiom and continuity of the Fourier transform at zero imply $|\hat{\phi }(0)|=1$. Here is a proof that avoids assuming a normalization of the integral. Choose a nonzero $f$ whose Fourier transform has bounded support. The MRA projection Fourier identity, with no aliasing once $j$ is sufficiently large, isSince $\phi \in L^1$, its Fourier transform is continuous and bounded, so this tends to $|\hat{\phi }(0){|}^2\Vert f{\Vert }_2^2$. Density and nesting give $P_{j}f\to f$ in $L^2$. Thus $|\hat{\phi }(0)|=1$, in particular it is nonzero. Evaluating the scaling refinement equation in frequency at zero now giveswhich is stronger than the requested absolute-value equality. Multiplying the scaling function by a constant of modulus one normalizes its integral to one without changing $m$.

Use the Fourier transform convention $\hat{\phi }(\xi )=\int \phi (x)e^{-ix\xi }dx$. Nesting and the orthonormal basis of $V_1$ give the scaling refinement equationHere $h_k=⟨\phi ,\sqrt{2}\phi (2\cdot -k)⟩$. Compact support makes these inner products zero for all but finitely many $k$, so $m$ is a trigonometric polynomial. Expanding the orthogonality of the integer translates of $\phi$ in the orthonormal basis of $V_1$ yieldsConsequentlyThis holds everywhere because $m$ is continuous. The invoked properties are nesting, dyadic dilation, orthonormal integer translates, and compact support; mere finite-energy refinement would not imply the quadrature mirror filter identity.

At zero, the partial products are $m(0{)}^n$. Their assumed convergence and $|m(0)|=1$ force $m(0)=1$ and $\Theta (0)=1$. Uniform convergence on compact sets makes $\Theta$ continuous. The identity with $k=0$ gives $\Theta \in L^2$ with squared norm $2\pi$. Define $\phi$ by the inverse Fourier transform in $L^2$. The Plancherel theorem and the other given integral identities giveDefine $V_j$ as the closed span of ${\phi }_{j,k}(x)=2^{j/2}\phi (2^{j}x-k)$. These functions form an orthonormal basis of $V_j$, and dyadic dilation gives the scale axiom. Shifting the infinite product givesso the finite Fourier series of $m$ gives a scaling refinement equation and $V_j\subset V_{j+1}$. The coarse-scale projection argument of part 1(b) proves the trivial-intersection axiom.

For density, take a function $f$ with bounded Fourier support. The MRA projection Fourier identity gives, for large $j$,Uniform convergence of $\Theta (2^{-j}\xi )$ to one on that support proves the limit. Since $P_j$ is an orthogonal projection, $\Vert f-P_{j}f{\Vert }_2^2=\Vert f{\Vert }_2^2-\Vert P_{j}f{\Vert }_2^2\to 0$. Such functions are dense in $L^2$, givingThus all the multiresolution analysis axioms hold. Under the strong convergence and orthogonality assumptions supplied here, the additional nonvanishing condition is not needed in this last verification; it is useful when establishing those assumptions from a filter.

The factor $1+e^{-i\xi }$ has a simple zero at $\pi$, and $L(\pi )\ne 0$ makes the zero of $m$ there exactly order $N$. The quadrature mirror filter construction gives a high-pass symbol $m_1(\xi )=e^{-i\xi }\overline{m(\xi +\pi )}$, up to a constant phase, andThe normalized scaling function has $\hat{\phi }(0)=1$, so $\hat{\psi }$ has a zero of exactly order $N$ at zero. Compact support of the Daubechies wavelet permits differentiation under its Fourier transform:HenceThere are exactly $N$ vanishing moments, rather than just at least $N$.

In the sense of distribution theory, $H^{\prime }(t)=\delta (t)$. Since $\sin (\alpha t)$ vanishes at zero,and therefore

Let $G_{\mathrm{ret}}(\mathbf{x},t;\mathbf{y})$ solveThe spatial Fourier transform turns this into the preceding oscillator equation with $\alpha =ck$, soInverting with the supplied radial integral gives the three-dimensional retarded Green function

For zero initial displacement and initial velocity $f$, convolution with this kernel gives the Kirchhoff formulaThus the value at $(\mathbf{x},t)$ depends only on the initial data on the sphere of radius $ct$, not on its interior. This is the Huygens principle and describes propagation at the finite wave speed $c$.

Let $I=[N]$ and let $f=1_A-\delta 1_I$ be the balanced indicator function, extended by zero to the integers. For finitely supported functions define the linear configuration countSince $A$ has no nonconstant three-term arithmetic progression, $\Lambda (1_A,1_A,1_A)=|A|=\delta N$. On the other hand, $\Lambda (1_I,1_I,1_I)\ge N^2/4$. Hence, once $N$ is sufficiently large in terms of $\delta$,for an absolute $c_0>0$.

Use the unnormalized Fourier transform $\hat{h}(\theta )={\sum }_{x}h(x)e(-\theta x)$ on $\mathbb{R}/\mathbb{Z}$. Telescoping $1_A=\delta 1_I+f$ writes the preceding difference asLet $M=\Vert \hat{f}{\Vert }_{\infty }$. The Fourier-integral formula for $\Lambda$, followed by the Cauchy-Schwarz inequality and the Parseval identity, bounds these three terms respectively byThey are all at most $M\delta N$, sofor an absolute $c_1>0$. Choose $\theta$ with $|\hat{f}(\theta )|=M$.

By the Dirichlet approximation theorem, some integer $1\le d\le \sqrt{N}$ satisfies $\Vert d\theta {\Vert }_{\mathbb{R}/\mathbb{Z}}\le N^{-1/2}$. Choose a sufficiently small absolute multiple $\eta$ of ${\delta }^2$. Partition each residue-class progression of common difference $d$ into progressions $P_j$ whose lengths lie between $\eta \sqrt{N}$ and $2\eta \sqrt{N}$; for sufficiently large $N$, short final pieces can be joined to the preceding piece. On each $P_j$, the linear phase $e(-\theta x)$ varies by at most $4\pi \eta$. Choosing $\eta$ small enough compared with $c_1{\delta }^2$ therefore yieldsThe sums over all cells add to ${\sum }_{I}f=0$, so their positive parts total half their absolute values. At least one $P_j$ consequently satisfiesThis is the Roth density-increment step, and it giveswith $c=c_1/4$ and $\eta >0$ depending only on $\delta$.

Insert the result for the neutrino tensor anisotropic stress into the tensor wave equation and divide out $m_{ij}{e}^{i\mathbf{k}\cdot \mathbf{x}}/\sqrt{2}$. Since the Fourier transform replaces $-{\nabla }^2$ by $k^2$, the source coefficient is $-64\pi G{a}^2{\bar{\rho }}_{\nu }$. The flat Friedmann equation givesso $64\pi G{a}^2{\bar{\rho }}_{\nu }=24{\mathcal{H}}^2{\bar{\rho }}_{\nu }/{\bar{\rho }}_{\mathrm{tot}}$. HenceThis memory term transfers coherent tensor motion into directional neutrino perturbations. Free-streaming neutrinos damp the tensor oscillation amplitude after horizon entry, suppressing the gravitational-wave contribution to cosmic microwave background temperature and polarization spectra. The kernel acts on $\dot{h}$, so a constant superhorizon tensor mode is unaffected at leading order.

The Schwartz space consists of the smooth functions $\phi$ for whichfor all multi-indices $\alpha ,\beta$. Its topology is generated by these seminorms; ${\phi }_j\to \phi$ means convergence in every seminorm. A tempered distribution is a continuous linear functional on this space. Convergence in ${\mathcal{S}}^{\prime }$ here means weak convergence: $⟨u_j,\phi ⟩\to ⟨u,\phi ⟩$ for every Schwartz function.

Use the unnormalized angular-frequency Fourier transformThe transform is a continuous automorphism of the Schwartz space, so this duality defines a tempered distribution. Put $D_j=-i{\partial }_j$, as required by the stated identities. Integration by parts and differentiation under the integral giveThus, keeping the transpose factor of $D=-i\partial$ explicit,andIterating gives the Fourier derivative identities for distributions

The logarithm defines a tempered distribution because it is locally integrable and grows more slowly than a polynomial. Its derivative is $u^{\prime }(x)=x/(1+x^2)$. The standard transform pair $\widehat{(1+x^2{)}^{-1}}=\pi e^{-|\lambda |}$, obtainable by the residue theorem, givesAs $\widehat{u^{\prime }}=i\lambda \hat{u}$, we have $\lambda \hat{u}=-\pi \mathrm{sgn}(\lambda )e^{-|\lambda |}$. DefineThis integral is absolutely convergent: the numerator is $O(|\lambda |)$ near zero, and the exponential controls the tails. It defines a tempered distribution satisfying the same multiplication equation. The kernel of multiplication by a coordinate therefore gives $\hat{u}=T+c{\delta }_0$.

To determine $c$, use the supplied Gaussian Fourier transform pair with ${\phi }_n(0)=1/(2\sqrt{\pi })$. ThenAlso $⟨T,{\phi }_n⟩\to 0$ by the dominated convergence theorem: the relevant integrand is bounded by a constant times $|\lambda |e^{-|\lambda |}$ for $n\ge 1$. ConsequentlyThe cutoff limit agrees with the absolutely convergent integral; this particular subtraction convention fixes the otherwise ambiguous delta term. The reusable identity is Fourier transform of the logarithm of one plus x squared.

The Paley–Wiener–Schwartz theorem in its closed-ball form says that a tempered distribution $u$ is supported in ${\overline{B}}_R(0)$ if and only if its Fourier transform is the real restriction of an entire function $F$ on ${\mathbb{C}}^n$ satisfying, for some $C>0$ and integer $N\ge 0$,The distribution is unique by Fourier inversion. More generally a compact convex support set $K$ replaces $R|\mathrm{Im}\zeta |$ by its support function $H_K(\mathrm{Im}\zeta )$.

For the forward implication, a compactly supported distribution has finite order of a distribution, say $m$, on a fixed neighborhood of its support. Defineusing a cutoff equal to one near the support. Differentiation with respect to each complex coordinate is allowed in this pairing and gives ${\partial }_{{\zeta }_j}F=⟨u,-i{x}_j{e}^{-ix\cdot \zeta }⟩$, so $F$ is entire.

To obtain the exact radius $R$, rather than an enlarged radius, choose a cutoff function ${\chi }_{\epsilon }$ equal to one near ${\overline{B}}_R$ and supported in $B_{R+\epsilon }$, with derivatives through order $m$ bounded by $C_{\gamma }{\epsilon }^{-|\gamma |}$. Set $\epsilon =(1+|\zeta |{)}^{-1}$. The finite-order bound and the Leibniz rule giveThis proves the required growth estimate.

For the converse, $F$ has at most polynomial growth on real frequencies, so define its inverse tempered distribution byLet a compactly supported test function lie in a half-space $x\cdot \omega \ge R+\eta$, with $|\omega |=1$ and $\eta >0$. By contour shifting,Here is the decay needed to justify the shift and then let $t$ grow. Repeated integration by parts, applying $1-{\Delta }_x$ to $e^{-tx\cdot \omega }\phi (x)$, gives for every integer $M$,Choose $2M>N+n$. For each fixed $t$, this decay makes the vertical sides of a large rectangle vanish in the one complex coordinate parallel to $\omega$; Cauchy integral theorem then supplies the contour identity. Combining the two bounds yieldsThus $u$ vanishes on such test functions. Every point outside ${\overline{B}}_R$ has a neighborhood of this form. A partition of unity therefore proves $\mathrm{supp}u\subseteq {\overline{B}}_R$, completing the converse. The same argument with separating half-spaces proves the compact-convex-set form. This is the contour-shift proof of the Paley–Wiener–Schwartz theorem.

For a regular function $u$, the change of variables $y=tx$ givesThe map $\phi \mapsto \phi (\cdot /t)$ is continuous on the Schwartz space, so duality extends the dilation of a distribution toIts Fourier transform obeys $\widehat{{\delta }_{t}u}(\zeta )=t^{-n}F(\zeta /t)$. If the original support is in the unit ball, the theorem bounds $F$ by $C(1+|\zeta |{)}^N{e}^{|\mathrm{Im}\zeta |}$. HenceThe converse theorem gives the support law for distributional dilation

For unit plane wave incidence ${\psi }_i=e^{i{k}_0{\hat{\mathbf{r}}}_0\cdot \mathbf{r}}$, define the scattering wavevector difference $\mathbf{q}=k_0({\hat{\mathbf{r}}}_0-\hat{\mathbf{r}})$ andThe outgoing Green function for the three-dimensional Helmholtz equation givesThe Born far-field pattern is $A$, a Fourier transform sample of the potential. Expanding the far-field Rytov exponential in $1/r$ gives the same leading outgoing term, while the logarithmic representation preserves its accumulated phase and amplitude correction.

For a Fourier mode, the amplification polynomial isPut $a=1-2\mu$ and $\xi =e^{i\theta /2}\eta$. The roots becomeIf $|a|<1$, the square root is real, both roots have modulus one, and their separation is at least $2\sqrt{1-a^2}>0$. The companion matrix has eigenvectors $({\xi }_{\pm },1{)}^T$, so their uniform separation gives a mesh-independent bound on its powers. By power boundedness of a two-level Fourier scheme and the discrete Fourier transform, this proves stability for $0<\mu <1$.

If $|a|>1$, choose $\theta =\pi$. The roots have product of modulus one and unequal moduli, so one has modulus greater than one. The scheme is unstable.

The boundary cases require more than a root-modulus check. At $\theta =\pi$, $\mu =0$ gives $(\xi -1{)}^2=0$, while $\mu =1$ gives $(\xi +1{)}^2=0$. The companion matrices have nontrivial Jordan blocks and solutions of the form $(A+Bn)(\pm 1{)}^n$. Their linear growth rules out a uniform stability bound. This mode occurs on even periodic grids, which are enough to disprove mesh-uniform stability at the endpoints.

Therefore the stable range is exactlyWithin this range, second-order convergence additionally requires two appropriately accurate starting time levels. The unit-modulus parasitic root near $\theta =0$ does not decay, so poor initialization cannot be repaired by the scheme.

The Fourier transform turns ${\nabla }^2$ into multiplication by $-q^2$. Each Cartesian component is an Ornstein-Uhlenbeck process:Since $r(q)>0$, the transient from the remote past vanishes, and the integrating-factor solution isUsing the stated Gaussian white noise covariance and assuming $t_1\ge t_2$,Interchanging the times gives the stationary two-time correlation functionAt equal times this is the equilibrium Gaussian field theory covariance, and the decay time is $r(q{)}^{-1}$.

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.

Use the angular-frequency Fourier transformThenwith the continuous value $\hat{f}(0)=2A$.

The convolution $(f\ast f)(x)$ is $A^2$ times the length of the overlap of the intervals $[-1,1]$ and $[x-1,x+1]$. Thus

The convolution theorem states, for this convention, thatSince $g=(B/A^2)(f\ast f)$, it follows thatagain interpreted continuously at $k=0$, where $\hat{g}(0)=4B$.

Because $e(x,0)=0$, the egg density is the accumulated depositionIt is convenient to use the Fourier transform. The larval equation givesApplying the stated inverse-transform integral with $\alpha =\sqrt{\mu /D}$ gives the remnant density from diffusion with mortality and deposition

Use the Fourier transform conventionThe deep-water capillary-wave dispersion relation makes each Fourier mode satisfyThe transformed initial data areThereforeThe integrand is even, so Fourier inversion gives the surface response to a localized impulsive velocity

Let ${\mathcal{S}}^{\prime }({\mathbb{R}}^n)$ be the space of tempered distributions. For $s\in \mathbb{R}$, the Sobolev space $H^s({\mathbb{R}}^n)$ iswith normChanging the normalization of the Fourier transform changes this norm only by a fixed constant.

Taking the Fourier transform of the equation in the sense of distributions givesThe Fourier multiplieris everywhere positive. Define $\hat{u}=\hat{f}/m$. Sincewe haveThus $u\in H^{s+4}$ exists and obeys the required estimate. If two solutions existed, their difference would have $m\hat{u}=0$; positivity of $m$ proves uniqueness.

A classical solution needs continuous derivatives through order four. Applying the Sobolev embedding theorem with $k=4$ to $u\in H^{s+4}$ shows that this is guaranteed whenor equivalently

Extend the boundary data oddly to the whole real axis. The extended function is precisely the function $f$ from part (a). Taking the Fourier transform in $x$, the Laplace equation becomesDecay as $y\to \infty$ selectsPart (b), together with the convolution theorem, says that the inverse transform is convolution with the Poisson kernelFor $x,y>0$ this givesThe odd extension enforces $u(0,y)=0$, while the Poisson integral takes the prescribed boundary values at every continuity point and decays at infinity.

With the Fourier transform convention $\varphi (\mathbf{k})=\int d^{3}x{e}^{-i\mathbf{k}\cdot \mathbf{x}}\varphi (\mathbf{x})$, scale invariance of the position-space three-point function givesBecause ${\delta }^{(3)}(\mu {\sum }_i{\mathbf{k}}_i)={\mu }^{-3}{\delta }^{(3)}({\sum }_i{\mathbf{k}}_i)$, the reduced primordial bispectrum must satisfyIn the result of part b, the bracket has momentum degree five, while $k_1^3{k}_2^3{k}_3^3{K}^2$ has degree eleven. Its total degree is therefore $-6$, exactly as required.