This is the section the whole chapter has been building toward. Transforming a derivative multiplies by and subtracts the initial value, so a differential equation becomes an algebraic equation in which the initial conditions are already built in. Integration works in reverse, dividing by .
Quick Reference
| Item | Statement |
|---|---|
| First derivative | \mathscr{L}\left\{f'(t)\right\} = sF(s) - f(0) |
| Second derivative | \mathscr{L}\left\{f''(t)\right\} = s^{2}F(s) - sf(0) - f'(0) |
| th derivative | \mathscr{L}\left\{f^{(n)}(t)\right\} = s^{n}F(s) - s^{n-1}f(0) - s^{n-2}f'(0) - \cdots - f^{(n-1)}(0) |
| Integral | |
| Hypotheses (first derivative) | continuous and of exponential order on ; f' piecewise continuous on every finite interval |
| Memory aid | Each derivative contributes one power of and strips off one initial value |
| Solving strategy | Transform, solve for , invert |
The Laplace Transform of a Derivative
If , then
\mathscr{L}\left\{f'(t)\right\} = sF(s) - f(0) .The formula holds if is continuous for all and of exponential order as , and if f'(t) is piecewise continuous on every finite interval in .
Recall that is of exponential order if there exist constants , , and with for .
Proof
By definition,
\mathscr{L}\left\{f'(t)\right\} = \lim_{R\to\infty}\int_0^{R}e^{-st}f'(t)\,dt .Apply integration by parts with and dv = f'(t)\,dt, so and :
\begin{aligned} \int_0^{R}e^{-st}f'(t)\,dt &= \left.e^{-st}f(t)\right|_0^{R} - \int_0^{R}f(t)\left(-se^{-st}\right)dt \\ &= e^{-sR}f(R) - f(0) + s\int_0^{R}e^{-st}f(t)\,dt . \end{aligned}Now dispose of the boundary term at . Since is of exponential order, there exist , , with for , so
As , whenever . By the squeeze theorem, .
Therefore
\underbrace{\int_0^{\infty}e^{-st}f'(t)\,dt}_{\mathscr{L}\left\{f'(t)\right\}} = -f(0) + s\underbrace{\int_0^{\infty}e^{-st}f(t)\,dt}_{\mathscr{L}\left\{f(t)\right\}} = sF(s) - f(0) .Read the formula carefully. The differentiation has become multiplication by , and the price paid is the extra term . That term is not a nuisance: it is exactly the initial condition, delivered into the algebra automatically. This is why the Laplace method never needs a general solution with arbitrary constants.
Higher Derivatives
If f' and f'' satisfy the conditions imposed on and f', then applying the theorem twice gives
\begin{aligned} \mathscr{L}\left\{f''(t)\right\} &= s\mathscr{L}\left\{f'(t)\right\} - f'(0) \\ &= s\left[s\mathscr{L}\left\{f(t)\right\} - f(0)\right] - f'(0) \\ &= s^{2}\mathscr{L}\left\{f(t)\right\} - sf(0) - f'(0) \\ &= s^{2}F(s) - sf(0) - f'(0) . \end{aligned}The Laplace transforms of and its higher derivatives are related by
\mathscr{L}\left\{f''(t)\right\} = s^{2}F(s) - sf(0) - f'(0)and in general
\mathscr{L}\left\{f^{(n)}(t)\right\} = s^{n}F(s) - s^{n-1}f(0) - s^{n-2}f'(0) - \cdots - f^{(n-1)}(0) ,where .
The formula holds if f(t), f'(t), \dots, f^{(n-1)}(t) are continuous for all and of exponential order, and if is piecewise continuous on every finite interval in .
The pattern is easy to remember: powers of count down from while the order of the derivative in the initial value counts up from , and the exponents in each term always sum to . The last term carries no at all.
Given , find using the derivative theorem.
Solution
Let . All its derivatives are continuous and of exponential order. Note that
f(0) = f'(0) = \cdots = f^{(n-1)}(0) = 0 ,since every derivative of order below still carries a positive power of , and
a constant.
Substituting into the general formula, all the initial-value terms vanish:
so
Therefore
recovering the power rule of Section 7.1 without any integration by parts.
The Laplace Transform of an Integral
Laplace Transform of Integrals. If , then
The formula holds if is piecewise continuous on and of exponential order.
Proof
Let
By the Fundamental Theorem of Calculus, g'(t) = f(t). Applying the derivative theorem to ,
\mathscr{L}\left\{\underbrace{g'(t)}_{f(t)}\right\} = s\,\mathscr{L}\left\{\underbrace{g(t)}_{\int_0^{t}f(u)\,du}\right\} - \underbrace{g(0)}_{\int_0^{0}f(u)\,du\,=\,0} .The initial term vanishes because an integral over an interval of zero length is zero. Therefore
Integration divides by ; differentiation multiplies by it. Read in reverse, the rule is a useful inversion tool: whenever has a factor , the inverse transform is an integral of the simpler inverse. For instance, .
Solving Initial Value Problems
The procedure.
- Apply to both sides of the equation, using the derivative formulas. Write for and substitute the given values of and y'(0).
- Solve the resulting algebraic equation for .
- Invert, usually by partial fractions, to obtain .
Solve y' + 3y = e^{-2t} with .
Solution
Transform. Using \mathscr{L}\left\{y'\right\} = sY(s) - y(0) = sY(s) - 1,
Solve for .
The factor cancelled outright, which is unusually clean.
Invert.
Check. y' + 3y = -2e^{-2t} + 3e^{-2t} = e^{-2t} ✓, and ✓.
Solve y'' + 4y = 0 with and y'(0) = -1.
Solution
Transform. With \mathscr{L}\left\{y''\right\} = s^{2}Y(s) - sy(0) - y'(0) = s^{2}Y(s) - 2s + 1,
Solve.
The second term was written with a in the numerator to match the pattern with .
Invert.
Notice that no arbitrary constants ever appeared, and the initial conditions were used at the very first step rather than the last.
Solve y'' - 3y' + 2y = 4 with and y'(0) = 1.
Solution
Transform. Here \mathscr{L}\left\{y''\right\} = s^{2}Y - 0\cdot s - 1 = s^{2}Y - 1 and \mathscr{L}\left\{y'\right\} = sY - 0 = sY, so
Solve.
factoring .
Partial fractions.
Multiplying through: .
Setting : , so .
Setting : , so .
Setting : , so .
Invert.
Check the initial conditions. ✓. And y'(t) = -5e^{t} + 6e^{2t}, so y'(0) = -5 + 6 = 1 ✓.
Note the structure of the answer: the constant is the particular solution, and is the homogeneous part with its coefficients already determined. The Laplace method produced both at once.
Exercises
Solve y' - 2y = 0 with .
Solution
Transforming, , so and .
Solve y'' + y = \sin t with and y'(0) = 0.
Solution
Transforming, , so
From Section 7.4, and . With , subtracting the second from gives
Therefore , so
The unbounded factor signals resonance, since the forcing frequency matches the natural frequency, exactly as the Modification Rule predicted in Section 4.3.
Use the integral theorem to find .
Solution
Since , the extra factor of corresponds to integrating:
Partial fractions gives the same answer: .
Solve the system x' = y, y' = -x with , .
Solution
Transforming both equations,
Substituting the first into the second, , so and
Then , so .
Systems transform into simultaneous algebraic equations, solved by ordinary elimination.
Frequently Asked Questions
Why is \mathscr{L}\left\{f'(t)\right\} = sF(s) - f(0)?
It comes from integrating by parts: the boundary term at contributes , the boundary term at infinity vanishes by exponential order, and what remains is times the original integral. The formula is the engine of the entire method.
Where do the initial conditions enter?
At the transform step. Each derivative formula contains the initial values explicitly, so substituting the given numbers puts them into the algebra immediately. This is a genuine advantage over the methods of Chapter 4, where a general solution is constructed first and the constants fitted afterward.
What if my initial conditions are given at instead of ?
Shift the variable. Set and rewrite the problem in , so the conditions are at . The unilateral Laplace transform only ever sees , so this preprocessing is required.
Why do I need to be continuous, not just piecewise continuous?
Because a jump in would make the integration by parts pick up extra boundary terms at each discontinuity, so the tidy formula would acquire correction terms. Note that f' is only required to be piecewise continuous, so corners in the graph of are perfectly acceptable.
How does this compare with the methods of Chapter 4?
Chapter 4 finds a general solution with arbitrary constants and fits them at the end. The Laplace method never forms a general solution: the answer emerges already satisfying the conditions. For a homogeneous equation with no data the older method is quicker; for a forced problem with given initial values, especially a discontinuous one, Laplace usually wins.
What does correspond to?
Integrating from to . Multiplying a transform by is the -domain shadow of antidifferentiation, just as multiplying by shadows differentiation. This makes a stray factor of easy to handle during inversion.