For the harmonic oscillator equation , with , the displacement is continuous and the velocity increases by at the impulse. If the incoming displacement is zero and , the outgoing displacement and velocity both vanish. The subsequent homogeneous solution is identically zero. Equivalently, the causal forced response cancels the pre-existing oscillation, where is the Heaviside step function.
The step response of a damped oscillator is the time integral of its causal Green function of a damped oscillator. Put and define for . Then and its oscillator equation has constant right side . Integrating explicitly gives
This formula applies when . It is a convolution of the causal impulse response with the shifted Heaviside step function, so the response is zero before the forcing starts and has the stated zero initial data.
The integral definition also handles the degenerate parameters without division ambiguities. For ,
for , . These are the continuous zero-frequency limits of the step response.
Before the impulse the zero initial data force . An impulse modeled by the Dirac delta function requires continuity of : a jump in would introduce an unwanted derivative of a delta in . Integrating the equation across then gives the velocity jump .
The causal Green function of a damped oscillator is
The jump conditions give the causal impulse response
Here is the Heaviside step function. For , interpret the quotient continuously as , giving . Both initial values are zero because .
With zero initial time derivative, the integral term in the D'Alembert formula vanishes. The Heaviside step function representation gives
The rectangular pulse splitting under the wave equation consists of two width-two pulses of height , moving left and right at speed . At they coincide and add to the initial height-one pulse. Before the overlapping interval has height one; after the two pulses are separated. Values exactly at the fronts depend on the chosen convention. Away from the fronts the equation holds classically, and across the fronts it holds as a weak solution of the wave equation.
For , integration by parts recursively in the Laplace transform gives
The initial exponential boundary term vanishes, and starts the recursion. Here is the Heaviside step function.
Transform the displacement in time, writing . Zero initial displacement and velocity give . A particular solution is , and the spatial homogeneous solutions are . The prescribed far-field behavior excludes the growing exponential. The fixed boundary sets the remaining coefficient to , hence
Since , the Laplace transform time-shift rule gives
Equivalently, for , and for . This solves the forced wave equation in each region and has continuous displacement and first derivatives across the characteristic , so it also solves the equation weakly there. It satisfies the fixed-end and initial conditions and equals sufficiently far away at each fixed time. The end's influence travels at speed .
Away from the impulse, the harmonic oscillator equation has a homogeneous solution. Before , the initial conditions select . The jump condition for an impulse requires continuity of and a unit jump in : a jump in would produce a derivative of the Dirac delta distribution, which is absent from the forcing, while integrating through the impulse gives .
Just before the impulse, and . Just afterwards, and , so uniqueness for the harmonic oscillator equation makes the subsequent solution identically zero. Equivalently the causal response is , with the Heaviside step function, and it cancels the original oscillation.
The solution is
The impulse cancellation of a harmonic oscillator produces a continuous graph with a corner at , followed by a horizontal zero line.
Figure 1.
An impulse cancels the oscillator at zero displacement
.
For , the Heaviside step function vanishes before and is one afterwards. For ,
The value assigned at the single jump point does not affect this Laplace transform. The positive real part ensures convergence at infinity.
Use and . The free real scalar field has action
The canonical momentum is , and the Hamiltonian operator is obtained by the Legendre transform of the density:
Canonical quantization promotes and to Hermitian operator-valued fields and imposes the equal-time canonical commutation relations
Their Heisenberg equation of motion gives , , hence the Klein-Gordon equation .
Let and . The Hermitian field mode expansion is
The scalar field oscillator inversion extracts
and its adjoint obtained by Hermitian conjugation extracts . Substitute these expressions into the equal-time canonical commutation relation. The two mixed field-momentum terms give
For , the corresponding coefficient is a difference of those square roots and multiplies ; it vanishes because . Taking the adjoint gives . Thus these are bosonic annihilation operators and creation operators. The vacuum satisfies , and normal ordering gives , after removing the constant zero-point energy. A one-particle excitation has energy and spin zero.
The Feynman propagator is the vacuum expectation value of the time-ordered product of two field insertions. For , the field at creates a one-particle excitation from the vacuum and the field at annihilates it; the opposite time ordering reverses the roles. It is a propagation amplitude and correlation function of vacuum fluctuations, rather than a transition probability. From the oscillator expansion, only the - contraction survives, so with and ,
Here is the Heaviside step function, and changing to in the second term gives the last line.
For the Fourier transform convention , insert a positive damping factor and integrate the positive and negative half-lines separately:
The last equality is a distribution identity; the infinitesimals in the partial fractions need not have the same finite magnitude as the infinitesimal in the combined denominator. The Feynman i-epsilon prescription means that the positive-frequency pole is just below the real energy axis and the negative-frequency pole is just above it. Closing the contour integral below for , and above for , reproduces the oscillator result by the residue theorem. This prescription fixes which homogeneous solutions are added to the Green function. As an independent normalization check, has derivative jump at , so
It is the expectation-value convention for , including the numerator , that determines this source normalization.
The vacuum is a centered free Gaussian state. The Wick theorem expresses the four-field time-ordered product as the sum of all pair Wick contractions plus terms containing a normal-ordered product. The latter terms have zero vacuum expectation value. There are exactly three complete pairings, with no fermionic signs for this bosonic field. Thus the free scalar four-point function is
These formulas describe canonical quantization of a real scalar field; in particular, a real scalar field uses a single oscillator family rather than independent charged-particle and antiparticle families.
The PDF gives , the Heaviside step function; the TeX incorrectly changes this to . A unit voltage step has derivative the Dirac delta function, so the current is the causal Green function for .
The current must be continuous at zero: a jump would create a delta derivative through , absent on the right-hand side. Integrating across zero therefore gives , so and . Put
These distinct negative characteristic roots give the overdamped RLC response
Together with for , this solves the step response. The eventual current is zero: the capacitor charges and blocks steady current in the series RLC circuit.
Take . For , the diffusion fundamental solution of a linear differential operator satisfies and has initial value in the sense of distributions:
for every smooth compactly supported test function . With the usual spatial decay it has unit mass. Equivalently the causal extension is a retarded fundamental solution satisfying .
The causal Green function is zero for and satisfies
For it solves the homogeneous diffusion equation, and its initial jump is , again distributionally. The natural spatial decay and a standard bounded or integrable solution class specify the usual kernel, avoiding unrestricted growing solutions. The PDE acts on ; label the location and time of the unit impulse. Values of the Heaviside step function exactly at the jump do not affect these distribution identities.
For ordinary bosonic operators at distinct times, time ordering places the later operator to the left:
Equivalently, multiply these two products by the corresponding Heaviside step functions. For two odd fermionic operators the second product receives a minus sign; more generally a graded interchange has sign . This sign is the fermionic sign convention for time-ordered field products, not a minus sign for arbitrary bosonic operators. No equal-time convention is needed for the two distinct times in this clause.