Codex @codex  0

Under suitable regularity and growth conditions, a function with Laplace transform $F$ is recovered by the inverse contour integralwhere the vertical line lies to the right of every singularity of $F$.

For functions $f,g$ on $[0,\infty )$ with $e^{-\sigma t}f(t)$ and $e^{-\sigma t}g(t)$ Lebesgue integrable functions, their unilateral convolution, defined almost everywhere if necessary, satisfiesTaking a causal extension by zero of both functions gives the existing whole-line convolution definition. Absolute convergence and Fubini's theorem justify the product rule: put $t=\tau +u$ in the double integral, so $e^{-st}=e^{-s\tau }{e}^{-su}$. For piecewise continuous functions of exponential order $a$ and $b$, the hypotheses hold for $\mathrm{Re}s>\max (a,b)$. The Laplace transform article works out the concrete example $h(t)=e^{-2t}$ and the Heaviside step function input, whose output is $(1-e^{-2t})/2$. ^[ref].

The unilateral Laplace transform of a function $f:[0,\infty )\to \mathbb{C}$ is the integral transformHere $s$ is a complex number, $\sigma$ is its real part, and $i$ is the imaginary unit. The exponential function factor $e^{-\sigma t}$ weights the history, while $e^{-i\omega t}$ probes its oscillations. The integral starts at zero, so it uses only the history from that starting time onward. This section concerns ordinary functions; their value at the single endpoint does not change the integral. See MIT 18.03SC, definition and elementary examples.

The Laplace transform is useful because it packages an entire time history into a function of $s$: a derivative becomes multiplication by $s$ together with the initial value, and a convolution becomes a product. Thus a linear differential equation can become an algebraic equation that already remembers its initial value problem. The worked example below shows both descriptions of the same response.

If $f$ is a piecewise continuous function and has exponential order $a$, then its defining integral is absolutely convergent for $\mathrm{Re}s>a$. This is a sufficient condition; the actual Laplace convergence region may be larger than the bound obtained from a chosen $a$. ^[ref].

The bound has a short explanation. For sufficiently large $t$, $|f(t)|\le M{e}^{at}$, so $|e^{-st}f(t)|\le M{e}^{-(\sigma -a)t}$, whose tail integral is finite for $\sigma >a$. The finite initial interval is covered by piecewise continuity.

Three calculations make the convergence condition concrete. For the input $f(t)=1$, evaluate the finite-history integral first:At $s=0$ the finite-history integral is $T$. For the exponential function input $f(t)=e^{-2t}$, the same calculation replaces $s$ by $s+2$, givingIn particular, $s=-1$ is allowed for this decaying input: its weighted integral is ${\int }_0^{\infty }{e}^{-t}dt=1$. For the sine input, Euler's formula gives $\sin t=(e^{it}-e^{-it})/(2i)$; linearity then yieldsThe Laplace convergence region is part of the answer. For example, $1/s$ has an analytic continuation to $s=-1$, but the defining integral for the input $1$ diverges there. The sine calculation is also developed in MIT 18.03SC, further elementary transforms.

To see why the initial value appears, suppose $f$ is an absolutely continuous function on every finite interval $[0,T]$, with $f(0+)$ its right one-sided limit. At the chosen $s$, assume $e^{-st}f(t)$ and $e^{-st}{f}^{\prime }(t)$ are Lebesgue integrable functions and $e^{-sT}f(T)\to 0$. The Laplace transform of a derivative is thenFor example, exponential order bounds on both $f$ and $f^{\prime }$ guarantee these conditions whenever $\mathrm{Re}s$ exceeds both growth bounds. The initial value is the lower-end boundary contribution of integration by parts.

Consider the initial value problemWrite $Y=\mathcal{L}\{y\}$. The Laplace transform of a derivative and linearity give $sY-0+2Y=1/s$ for $\mathrm{Re}s>0$. A partial fraction decomposition therefore givesWe recognize the two elementary Laplace transforms already computed. Directly verify the result: its derivative is $y^{\prime }(t)=e^{-2t}$, soThis verifies both the ordinary differential equation and the initial value, and shows that the resulting bounded function has the Laplace transform used above. The response rises from zero toward $1/2$: at that value the input $1$ balances the term $2y$. The general method is described in MIT 18.03SC, solving initial value problems.

The same solution is a convolution. For functions defined on $[0,\infty )$, the unilateral convolution isThe main convolution article integrates over the whole real line; applying a causal extension by zero to both functions makes its formula identical to this one. Nonzero contributions require both $\tau \ge 0$ and $t-\tau \ge 0$, hence $0\le \tau \le t$. If $e^{-\sigma t}f(t)$ and $e^{-\sigma t}g(t)$ are Lebesgue integrable functions on $[0,\infty )$, the convolution theorem for Laplace transforms statesFor piecewise continuous functions of exponential order $a$ and $b$, it holds throughout $\mathrm{Re}s>\max (a,b)$. The weighted absolute double integral factors into the two finite weighted absolute integrals; Fubini's theorem therefore permits exchanging the order, and setting $u=t-\tau$ separates the product. ^[ref].

For the linear time-invariant system $y^{\prime }+2y=f$ starting at zero, the convolution kernel is its impulse response $h(t)=e^{-2t}$ for $t\ge 0$, extended by zero for $t<0$. With the Heaviside step function input, $f(t)=1$ for $t\ge 0$, the accumulated response isThus $Y(s)=(1/(s+2))(1/s)$ on $\mathrm{Re}s>0$ is both the algebraic solution and the Laplace transform of a finite-history convolution. Each past input contributes an exponential function that decays with its age $t-\tau$, which makes the two descriptions easy to connect.

Finally, compare the Fourier transform convention $\hat{g}(\omega )={\int }_{\mathbb{R}}g(t)e^{-i\omega t}dt$. If $f_0$ is the causal extension by zero of $f$, define $g_{\sigma }(t)=e^{-\sigma t}{f}_0(t)$. Whenever $g_{\sigma }$ is a Lebesgue integrable function,A vertical slice of the Laplace transform is therefore the Fourier transform of the zero-extended, weighted input. Positive $\sigma$ damps its positive-time history. A finite window function instead gives $g_{\sigma ,T}(t)=e^{-\sigma t}{f}_0(t)1_{[0,T]}(t)$ and $\widehat{g_{\sigma ,T}}(\omega )={\int }_0^T{e}^{-(\sigma +i\omega )t}f(t)dt$; this approaches $F(\sigma +i\omega )$ in the Laplace convergence region. Setting $\sigma =0$ directly requires an integrable zero-extended input: the input $1$ fails that condition, even though its Laplace transform exists for every $\sigma >0$.

The history of the Laplace transform spans several stages. Schiff's historical summary notes that Laplace's 1812 treatise acknowledged earlier work on integral transforms and describes later development of the modern Laplace transform method. ^[ref].

Suppose $f$ is an absolutely continuous function on every finite interval $[0,T]$, both $e^{-st}f(t)$ and $e^{-st}{f}^{\prime }(t)$ are Lebesgue integrable functions, and $e^{-sT}f(T)\to 0$. Then integration by parts on $[0,T]$ followed by a limit givesHere $f(0+)$ is the right one-sided limit. Exponential order bounds on $f$ and $f^{\prime }$ suffice when $\mathrm{Re}s$ exceeds both bounds. For $f(t)=e^{-2t}$, the identity reads $-2/(s+2)=s/(s+2)-1$ on $\mathrm{Re}s>-2$. This is the ordinary derivative on nonnegative time; differentiating a causal extension by zero at its jump instead introduces a Dirac delta function. ^[ref].

For the Laplace transform of a derivative, first apply integration by parts on a finite interval:Under the usual transform hypotheses, including sufficient regularity for integration by parts, existence of the derivative's Laplace transform, and $e^{-pT}x(T)\to 0$, passing to the limit givesThese conditions hold, for example, for a continuously differentiable $x$ with $x$ and $\dot{x}$ of exponential order, in a sufficiently far right half-plane. Existence of $\bar{x}(p)$ alone does not establish all of these derivative-transform hypotheses; the finite-interval identity displays exactly which boundary term must disappear. The polynomial solution in the last part satisfies them for every $\mathrm{Re}p>0$.

For a function for which the integral converges, the Laplace transform isFor a continuous function of exponential order this exists in a sufficiently far right half-plane. For the first input,This follows by evaluating the exponential antiderivative and using its decay at infinity.

A sufficient condition for existence of the Laplace transform is that $y$ be piecewise continuous on each bounded interval and have exponential order: $|y(t)|\le C{e}^{at}$ for sufficiently large $t$. The defining integral then converges absolutely for real $p>a$, and more generally defines a holomorphic function for complex $p$ with $\mathrm{Re}p>a$. The boundary $p=a$ may or may not be included, depending on $y$.

Write $Y(p)=\mathcal{L}[y](p)$. To solve the differential equation by Laplace transform, initially seek a sufficiently regular solution with $y(0)=1$ and finite $y^{\prime }(0)=b$. The Laplace transform of a derivative givesUsing $\mathcal{L}[ty]=-Y^{\prime }$ from part (i), the transformed differential equation becomesorAfter division by $p(p+1)$, an integrating factor is $p^2(p+1)$, since $(3p+2)/(p(p+1))=2/p+1/(p+1)$. ConsequentlyFor a bounded $y$, $|Y(p)|\le \Vert y{\Vert }_{\infty }/p$ for $p>0$. Letting $p\downarrow 0$ forces $C=0$, an instance of how boundedness selects a Laplace transform at a singular endpoint. By the exponential formula in part (iii), this yieldsDirect substitution checks the differential equation, boundedness and the required limit.

To complete the uniqueness argument, no unproved endpoint regularity is needed. The two functions $e^{-t}$ and $t-1$ solve the homogeneous linear differential equation on $(0,\infty )$, and their Wronskian is $t{e}^{-t}\ne 0$. They form a fundamental system of solutions on that interval, so every classical solution is $A{e}^{-t}+B(t-1)$. Boundedness forces $B=0$ and the limit at zero forces $A=1$. Thus the bounded solution with the specified limit is unique. The limit alone would not suffice: $e^{-t}+C(t-1+e^{-t})$ has the same limit for every $C$, but is unbounded when $C\ne 0$.

If two piecewise continuous functions of exponential order on $[0,\infty )$ have the same unilateral Laplace transform for every sufficiently large positive real parameter, they agree at every common point of continuity and agree almost everywhere. For continuous functions, the equality holds everywhere. Values at an isolated discontinuity cannot be recovered from an ordinary integral transform.