Substitution gives
The inverse Fourier transform is . For , close clockwise in the lower half-plane, where there are no poles; hence .
For , close counterclockwise in the upper half-plane. The three simple-pole residues of the full inversion integrand are
Multiplying their sum by and combining the conjugate exponential contributions yields
The large arcs vanish because the rational factor is and the exponential is bounded on the chosen half-plane. At zero, the right-hand value and first derivative are both zero, matching the negative-time branch, so no unwanted delta or delta derivative appears in the second-order equation.
For an independent dynamical check, this is the exponential forcing of an underdamped oscillator with damping , natural frequency , damped frequency , exponent and force amplitude . For positive time its substitution gives .
Use the Fourier transform convention
Since in distribution theory, the carrier has transform
The modulation property of the Fourier transform translates the message spectrum to the two carrier frequencies. Therefore
The first term represents the unmodulated carrier wave; the other terms are the amplitude modulation sidebands.
At , the two continuous triangles overlap near zero. Their amplitudes add, giving a central plateau. Explicitly, write for the continuous part of :
There are also the two carrier Dirac delta lines . The last panel of the preceding figure shows this spectrum and the retained central portion. The prescribed strict cutoff removes the carriers and keeps
The values of the ordinary function at individual endpoints do not affect its inverse transform. To handle the carrier lines, one must additionally assign zero filter gain to those lines, as the carrier-rejecting prescription indicates. A discontinuous mask has no canonical product with a Dirac delta at its discontinuity; a different physical boundary gain would leave a corresponding multiple of .
The retained spectrum is real and even. Its inverse Fourier transform is
Integrating the linear factors yields
The removable value is , obtained either by expansion or by integrating . Because the carrier frequency is below the message bandwidth, this is Fourier filtering of overlapping amplitude-modulation sidebands; the usual picture of two isolated bands in single-sideband modulation does not apply without that qualification.
Take the Fourier transform convention , with inverse factor . Then , classically when the boundary terms vanish or in the sense of tempered distributions.
Multiply the given frequency relation by its denominator and then by :
Recognizing the four derivative multipliers gives
The convention is stated explicitly because reversing the Fourier exponential changes intermediate frequency signs. The distributional form will matter at the jump of in part (b).
The inverse Fourier transform is
For , close in the upper half-plane, where decays. The single enclosed pole has residue , so counterclockwise integration gives . For , close clockwise in the lower half-plane; there is no enclosed pole and the result is zero. Thus
Here is the Heaviside step function. At the jump, symmetric Fourier inversion gives , the average of the one-sided limits. The transform itself cannot fix a function’s value at a single point, so this is the conventional representative rather than extra frequency information.
A direct check is . Distributionally, .
For the stated forward Fourier transform, the inverse has the opposite exponential sign and a factor :
This holds under the usual hypotheses for Fourier inversion, or in the sense of distributions when appropriate.
Since , the causal damped sine has an absolutely convergent Fourier transform for real . Resolving the sine into complex exponentials gives
Combining the two fractions yields
The formula also includes , for which both the original function and its transform vanish. Its sign reverses when the real parameter reverses.
Write to distinguish the Fourier transform from the original function. Integration by parts, using the stated decay, gives
Applying the same argument to gives . Differentiation with respect to the frequency gives
Consequently
The classical steps require existence of the relevant integrals and justification for differentiation under the integral, for example sufficient integrability of , its derivatives and . The same identities extend to tempered distributions, which is the useful interpretation in part (c).
For the Gaussian function, direct differentiation gives . Applying the Fourier transform identities from part (a),
Solving this first-order ordinary differential equation gives
In fact, the normalization can also be fixed: the Gaussian integral gives , so with the convention used here. The transform has the same Gaussian shape.
For a real nonzero , put in the Fourier transform. Reversing the integration limits when produces the absolute value:
This is the scaling property of the Fourier transform. If and exists, the transformed function is constant in time; its transform is in the sense of tempered distributions, rather than an ordinary convergent Fourier integral.
The Heaviside step function restricts the integral defining the Fourier transform to , so
The convergence condition is essential. For real it means , which is the decay assumption used in the subsequent parts. At a distributional Fourier transform is needed; for negative real the defining improper integral diverges.
For the difference of Heaviside step functions is an interval indicator, and on and zero elsewhere. Its Fourier transform is
The apparent singularity at is removable. The formula remains valid for real negative , because the original step-function difference and the oriented integral both reverse sign; for both vanish. This is the Fourier transform of an interval indicator and produces a scaled sinc function.
By Fourier inversion, the sinc function has Fourier transform equal to one for and zero for . Thus the two bandwidths add to give
The requested squared-magnitude spectrum therefore has heights four and one:
Values at the jump points depend on the chosen Fourier convergence convention and do not affect any integral. The graph is shown below.
Figure 1.
Squared Fourier magnitude of the sum of two sinc signals
. Details.
The Parseval identity with this Fourier transform normalization gives
A sufficient assumption is that is absolutely continuous, , and at both infinities. Integration by parts in the Fourier transform gives
The decay assumption removes the boundary term, and integrability makes both transforms ordinary convergent integrals. The same derivative identity extends to tempered distributions.
For the critically damped case, causality reduces the convolution to
Although the forcing is not integrable on the full real line, this integral converges absolutely because the Green's function is integrable. Thus the calculation is valid directly; the corresponding Fourier transform can be interpreted as a tempered distribution.
Use the complex exponential and for :
Since , the convolution response is
This is the bounded steady response to the stated forcing acting for all time. Without an initial condition or the convolution selection, the general solution additionally contains . No switch-on at was specified, so zero initial displacement and velocity should not be imposed on this all-time forcing.
For the stated Fourier transform convention, Fourier inversion is
For example, the pointwise formula holds at continuity points under the usual integrability hypotheses; the same normalization applies to the or distributional inverse.
Take and , the positive diffusivity requirement for the forward heat kernel. The PDF does not explicitly specify the sign of ; the stated real Gaussian function formula requires this assumption. For a direct calculation, initially assume sufficiently smooth and rapidly decreasing data, so that the Fourier transform, its inverse and the following integrations are justified. The resulting heat-kernel convolution extends to wider classes of initial data.
Using the stated Fourier transform convention and integration by parts,
The transformed ordinary differential equation has solution . Fourier inversion then gives
Complete the square:
Part (a), after scaling by , evaluates the remaining Gaussian integral even though its shift is imaginary. Therefore
The heat kernel has integral one and is an approximate identity as , which recovers the initial condition. Mere decay at spatial infinity does not by itself imply every Fourier integral is absolutely convergent; the regularity assumption above supplies a rigorous setting for the derivation.
With the stated Fourier transform convention, integration by parts gives
The boundary term vanishes, so
For an absolutely continuous function, this calculation requires enough integrability to justify the displayed operations. Under the paper's broader bounded-variation hypothesis, the general identity is the Fourier transform of a derivative interpreted distributionally: the derivative measure includes Dirac delta functions at jumps and any singular continuous part. If one instead differentiates only the smooth pieces and discards jumps, the formula needs the corresponding jump corrections. Absolute integrability and bounded variation ensure the limits of at both infinities are zero, but do not by themselves make its ordinary derivative capture those singular parts.
Reality requires . The way it constrains the amplitudes depends on whether the spatial wave number is real or imaginary.
For , is real and even. Complex conjugation interchanges the two exponentials, so comparing independent spatial factors gives
The companion equation is the same constraint with frequency reversed and conjugated. Neither oscillatory spatial branch grows as .
For , put with . Then
Boundedness excludes the growing exponential, and reality then pairs the remaining amplitudes:
These are the two independent low-frequency requirements. At threshold boundedness eliminates the separate linear-in- solution discussed in (ii). The constraints are understood for a Fourier transform representation in which spatial mode amplitudes are well defined; sufficient amplitude integrability also ensures the spectral integral itself is bounded.
Transform in time, leaving as a parameter. Applying the derivative identity twice gives . Therefore
These manipulations can be justified for sufficiently decaying smooth fields, or with distributional Fourier transforms when ordinary integrability is unavailable.