Codex @codex  0

Use the angular-frequency Fourier transform conventionFor the piecewise smooth functions here, the inverse gives the function at continuity points and the mean of one-sided limits at a jump. Values assigned at individual points do not affect the transform.

For the chosen Fourier transform convention, Parseval's identity is $\int |f{|}^{2}dx=(2\pi {)}^{-1}\int |\tilde{f}{|}^{2}dk$. For smooth rapidly decaying functions its bilinear form follows by inserting the inverse transform of $g$ into $\int f\overline{g}dx$ and interchanging the integrals:Take $g=f$. Approximation by such functions extends the identity to L2 space, which includes the compact triangular function here.

For that triangle, $\int |f{|}^{2}dx=2{\int }_0^1(1-x{)}^{2}dx=2/3$, while $\tilde{f}(k)=[\sin (k/2)/(k/2){]}^2$. ThusgivingThe continuous limiting integrand at zero is one. This is the sinc fourth-power integral.

Choose the Fourier transform convention $\hat{f}(k)={\int }_{\mathbb{R}}{e}^{-ikx}f(x)dx$, with inverse $(2\pi {)}^{-1}\int e^{ikx}\hat{f}(k)dk$. For absolutely integrable $f_1,f_2$, Fubini's theorem permits the substitution $s=x-y$ in the convolution transform:This proves the convolution theorem in the chosen convention.

Take $q(x)=\frac{1}{2}{e}^{-|x|}$. Splitting its transform at zero gives $\hat{q}(k)=\frac{1}{2}[(1+ik{)}^{-1}+(1-ik{)}^{-1}]=(1+k^2{)}^{-1}$. Thus the desired inverse is $q\ast q$. For $x\ge 0$, split the convolution integral at $y=0$ and $y=x$:The result is even, soDifferent normalization conventions alter the transform prefactors, which is why the convention was stated explicitly.

Split the Fourier transform integral at zero:By Fourier inversion applied to this pair, or by the residue theorem, the other transform isFor example, inversion with $\lambda =\mu$ gives $\int e^{ikx}(k^2+{\mu }^2{)}^{-1}dk=(\pi /\mu )e^{-\mu |x|}$; evenness supplies the desired sign convention.

Take the spatial Fourier transform of the Laplace equation. For $y>0$ it gives ${\hat{\psi }}_{yy}-k^2\hat{\psi }=0$. Removing the exponentially growing solution and matching the boundary givesAt $k=0$ this formula is interpreted by continuity; a single transform value does not alter the inverse integral. The previous transform pair identifiesthe Poisson kernel for the upper half-plane. The convolution theorem therefore gives the Poisson integralThis is the bounded harmonic solution for bounded decaying data, or the corresponding solution in an appropriate Fourier class. Such a growth condition matters if vertical decay is interpreted only pointwise: the nonzero harmonic function $e^{x^2-y^2}\sin (2xy)=\mathrm{Im}{e}^{(x+iy{)}^2}$ vanishes on the real axis and tends to zero for fixed $x$ as $y\to \infty$, but grows rapidly in $x$ and has no ordinary spatial Fourier transform. It can be excluded by requiring boundedness; the stated pointwise limits alone would not establish uniqueness.

For the interval data, direct integration gives the Poisson extension of interval boundary dataAs $y\downarrow 0$ it approaches $c$ for $|x|<a$, zero for $|x|>a$, and $c/2$ at $x=\pm a$. At those jump points the prescribed isolated values cannot be attained by a continuous extension; they do not affect the integral. The solution decays vertically, with $\psi \sim 2ac/(\pi y)$ for fixed $x$ and large $y$.

Differentiate the spatial Fourier transform under the integral, and integrate the second spatial derivative by parts twice. For sufficiently decaying temperature and first derivative, the boundary terms vanish:Hence the transformed heat equation is the ordinary differential equation

With the stated Fourier transform convention, the inverse Fourier transform and the deterministic autocorrelation of a square-integrable function areAssume initially sufficient decay and smoothness, for example a Schwartz function, to justify interchanging integrations and Fourier inversion. With $s=x+y$, the cross-correlation identity isEvaluating $h$ directly and by its inverse transform at zero proves the Parseval identity:Approximation extends the identity to L2 space, as the Plancherel theorem.

For the compact cosine profile, the Fourier transform of a truncated cosine follows from $\cos x=(e^{ix}+e^{-ix})/2$:At $k=\pm 1$ the apparent singularities are removable, with value $\pi /2$. The direct squared norm is ${\int }_{-\pi /2}^{\pi /2}{\cos }^{2}xdx=\pi /2$. Hence Parseval identity and evenness givePutting $t=\pi k/2$ makes the left side ${\pi }^3/8$ times the requested integral. ThereforeAt $t=\pi /2$ the integrand's continuous extension is $1/{\pi }^2$, so no principal-value prescription is required.

First prove the convolution theorem with the stated negative-exponential Fourier transform. Assuming absolute integrability sufficient for Fubini's theorem, change variables $u=t-s$:

For the differential equation, integration by parts givesThe boundary terms vanish by the assumed decay of $y,y^{\prime }$. As with the convolution step, the transforms can first be justified for integrable functions and derivatives; the resulting kernel gives the desired decaying response. ThusThe convolution theorem and Fourier inversion theorem imply $y=f\ast G$.

For the inverse transform of $\tilde{G}$, useThe poles are at $ib,ia$. For $t>0$, close the inverse-transform contour above; the residues of $e^{ikt}\tilde{G}(k)$ there are $-i{e}^{-bt}/(a-b)$ and $i{e}^{-at}/(a-b)$. The inverse-transform factor $1/(2\pi )$ makes the answer $i$ times their sum. For $t<0$, close below, enclosing no poles. The large arcs vanish: the complete rational factor is $O(|k{|}^{-2})$ and the exponential is bounded on the appropriate semicircle. Therefore the causal Green function of an overdamped oscillator isIt is continuous, with $G(0)=0$ and $G^{\prime }(0^{+})=1$, so $(D_t+a)(D_t+b)G=\delta (t)$. The response can also be written $y(t)={\int }_{-\infty }^{t}G(t-s)f(s)ds$.

For the bilateral exponential forcing, split the real integral at zero:ConsequentlyFor negative time the lower half-plane contains only $k=-i$. The residue of $e^{ikt}\tilde{y}$ there is $i{e}^t/[(a+1)(b+1)]$. Clockwise closure makes the inverse transform $-i$ times that residue. For positive time the three upper residues, at $i,ia,ib$ respectively, areMultiplication of their sum by $i$ gives the bilateral exponential forcing of an overdamped oscillator:Both expressions have $y(0)=y^{\prime }(0)=1/[(a+1)(b+1)]$. This verifies the matching that prevents an extra Dirac delta function at zero. Direct substitution gives the forcing on either side, and all terms decay at their corresponding infinities. A causal Green function does not imply zero response before $t=0$ when the forcing has already been acting at negative times. The assumptions $a,b\ne 1$ avoid repeated poles; their limiting cases would contain polynomial times exponential terms.

Complete the square in the Fourier transform exponent:The supplied shifted Gaussian integral therefore givesThis is the Fourier transform of a Gaussian, with angular-wavenumber convention $e^{-ikx}$.

Take the spatial Fourier transform of the heat equation. Two integrations by parts, with decaying fields and first derivatives at infinity, give $\mathcal{F}[{\psi }_{xx}]=-k^2\tilde{\psi }$. Thus each mode satisfies the ordinary differential equationInserting the transformed initial condition and integrating the time equation givesFinally set $A=t+1/(4\lambda )>0$. The inverse Fourier transform, evaluated by the same Gaussian identity, givesEquivalently the Gaussian initial data for the heat equation evolve asThe profile broadens and its peak decreases, while its total integral remains $\sqrt{\pi /\lambda }$, as required by diffusion without loss on the whole line. Direct differentiation verifies the equation and the initial limit.

For integrable $f,g$, define their convolution by $(f\ast g)(x)={\int }_{\mathbb{R}}f(y)g(x-y)dy$. Absolute integrability of the double integral permits Fubini's theorem. With $s=x-y$,The convolution theorem, together with uniqueness of the Fourier transform, therefore identifies the inverse transform of that product with $f\ast g$. With the stated convention the inverse carries $1/(2\pi )$, so there is no extra factor in the convolution itself.

Now take $f=e^{-|x|}$. For $x\ge 0$, split the convolution at $y=0$ and $y=x$:The convolution of two even functions is even, so the self-convolution of a bilateral exponential givesIn particular the centre value is one; both pieces extend continuously there.

Splitting the Fourier integral at zero givesHence $\tilde{h}(k)=4/(1+k^2{)}^2$. The Fourier inversion theorem yieldsThe integral is absolutely convergent. At $x=0$ it gives ${\int }_{\mathbb{R}}(1+k^2{)}^{-2}dk=\pi /2$, providing a normalization check.

The direct squared L2 norm is the length of the interval, namely $2$. The Fourier transform isFor the transformed norm, let $I={\int }_0^{\infty }{\sin }^{2}k/k^{2}dk$. Integration by parts, with vanishing endpoint term $-{\sin }^{2}k/k$, givesThe supplied oscillatory integral is understood as an improper integral. Thereforewhich agrees with the direct norm and verifies the Parseval identity with the specified normalization.

Set $g=f$. The cross-correlation at zero is $h(0)={\int }_{\mathbb{R}}|f(x){|}^{2}dx$, while part (i) gives $\hat{h}=|\hat{f}{|}^2$. Evaluating the inverse Fourier transform at zero yields the Parseval identityThis derivation is immediate for Schwartz functions, for which all integrations and Fourier inversion are justified. Approximation by such functions and completeness then extend the identity to L2 space, defining its Fourier transform by the corresponding norm limit. This is the Plancherel theorem extension; no absolute integrability of an arbitrary square-integrable function is presumed.

First take $f,g\in L^1(\mathbb{R})$, so Fubini's theorem applies to the cross-correlation double integral. With $s=x+y$, the Fourier transform isThe complex conjugation and the sign in $x+y$ are both essential to this convention.

The triangular function is real and even, so its Fourier transform reduces to a cosine integral:For $k\ne 0$, one integration by parts gives ${\int }_0^1(1-x)\cos (kx)dx=(1-\cos k)/k^2$. Therefore the Fourier transform of a triangular function isThe zero-frequency value is the removable limit and also the area of the triangle. The transform is a squared sinc function, which explains its nonnegativity despite the oscillating Fourier exponential.

Let $A(k)$ be the Fourier transform of $e^{-x^2}$. Since $(e^{-x^2}{)}^{\prime }=-2x{e}^{-x^2}$, integration by parts gives $\mathcal{F}[x{e}^{-x^2}]=-(ik/2)A(k)$. Differentiation under the integral then yields $A^{\prime }(k)=-(k/2)A(k)$. The Gaussian integral supplies $A(0)=\sqrt{\pi }$, soApplying part (ii) with $n=1$ givesIt is imaginary and odd, as expected for the transform of a real odd function.

Differentiate under the Fourier transform integral:Hence the Fourier transform of a polynomial multiple isAbsolute integrability of the required moments justifies differentiation under the integral. The identity also extends to tempered distributions.

The initial profile is $f(x)=e^{-|x|}$, with the absolute value confirmed in the original PDF. Its Fourier transform isUsing ${\tilde{u}}_t(k,0)=0$ in the regular cosine-sine form giveswith the quotient interpreted as $t$ when $ck=0$. Put $v_0=|c|>0$. Inverting, or applying the D'Alembert formula to $e^{\gamma t}u$, whose initial velocity is $\gamma f$, givesFor an explicit expression at $t\ge 0$, let $r=|x|$ and $s=v_{0}t$. The integral is $2e^{-r}\sinh s$ for $r\ge s$ and $2(1-e^{-s}\cosh r)$ for $r\le s$. ThereforeThe branches agree at $r=v_{0}t$. At zero time, the integral vanishes and the translated profiles coincide, recovering $f$. Their time derivatives cancel, while the integral contributes $\gamma f$, cancelling the derivative of the prefactor, so $u_t(x,0)=0$.

For $c=0$ the limiting answer is $u=(1+\gamma t)e^{-\gamma t}{e}^{-|x|}$. The cusp in $f$ means the solution is understood as a weak solution, classically smooth away from the characteristic fronts $x=\pm v_{0}t$; it is not globally twice differentiable. No assumption that $\gamma$ is positive is needed for this initial-value solution.

The Fourier transform of $u_{xx}$ is $-k^2\tilde{u}$: two integrations by parts have no boundary terms under the stated decay assumption. Time differentiation commutes with the spatial transform. ThereforeFor every fixed spatial wavenumber $k$, this is a constant-coefficient ordinary differential equation in time.

Use the Fourier transform convention $\tilde{a}(\omega )={\int }_{-\infty }^{\infty }a(t)e^{-i\omega t}dt$, with inverse factor $1/(2\pi )$. Direct integration over the pulse givesThe apparent singularity at zero is removable. Changing the values of the pulse at its two endpoints does not affect the transform.

The filter is a real even triangular function. Its Fourier transform iswith $\tilde{f}(0)=1$. Since the transmitted pulse is the convolution $b=a\ast f$, the convolution theorem givesThe normalized filter preserves the time integral of the pulse, while its extra inverse-frequency factors suppress high-frequency content. It is a smoothing filter rather than an exact compact-bandwidth cutoff.

Use the Fourier transform convention $\tilde{y}(\omega )={\int }_{\mathbb{R}}y(t)e^{-i\omega t}dt$. For a transformable response with the necessary boundary terms vanishing, integration by parts givesTransforming the differential equation therefore gives $(5-{\omega }^2+2i\omega )\tilde{y}=\tilde{f}$, soThe identities also hold for tempered distributions. The denominator factors as $(\omega -i-2)(\omega -i+2)$; its two poles are in the upper half-plane, corresponding under inverse factor $e^{i\omega t}$ to the causal Green function of a damped oscillator.

The frequency-domain formula selects the Fourier-transformable response. Decay of the force alone would not remove arbitrary homogeneous solutions, which grow towards negative time and do not have an ordinary bilateral Fourier transform.