4.6.28Ordinary Differential Equations

Laplace of derivatives — key property for solving ODEs

1,818 words8 min readdifficulty · medium

What is the Laplace transform (so we are self-contained)

WHAT we need before deriving: the assumption that ff is "nice" — continuous, differentiable, and that estf(t)0e^{-st}f(t)\to 0 as tt\to\infty (true for any ff of exponential order). This decay is the secret ingredient.


Deriving the transform of the first derivative (from scratch)

Derivation — integrate by parts.

L{f(t)}=0estf(t)dt\mathcal{L}\{f'(t)\} = \int_0^\infty e^{-st} f'(t)\, dt

Why this step? This is just the definition applied to ff'.

Use integration by parts udv=uvvdu\int u\,dv = uv - \int v\,du with u=est    du=sestdt,dv=f(t)dt    v=f(t).u = e^{-st} \implies du = -s\,e^{-st}\,dt, \qquad dv = f'(t)\,dt \implies v = f(t).

Why this choice? We want to move the derivative off ff, so we let dvdv be the derivative term; then v=fv=f and the ff' disappears.

L{f(t)}=[estf(t)]00f(t)(sest)dt\mathcal{L}\{f'(t)\} = \Big[e^{-st} f(t)\Big]_0^\infty - \int_0^\infty f(t)\,(-s\,e^{-st})\,dt

Why this step? Direct substitution into the by-parts formula.

Evaluate the boundary term:

  • At tt\to\infty: estf(t)0e^{-st}f(t)\to 0 (exponential-order assumption).
  • At t=0t=0: e0f(0)=f(0)e^{0}f(0) = f(0).

So [estf(t)]0=0f(0)=f(0)\big[e^{-st}f(t)\big]_0^\infty = 0 - f(0) = -f(0).

L{f(t)}=f(0)+s0estf(t)dt=sF(s)f(0)\mathcal{L}\{f'(t)\} = -f(0) + s\int_0^\infty e^{-st} f(t)\, dt = sF(s) - f(0)

Why the last step? The remaining integral is exactly the definition of F(s)F(s), so we replace it. Done. ✅


Second derivative — just apply the rule twice

Derivation. Treat f=(f)f''=(f')' and apply the first-derivative rule to g=fg=f': L{g(t)}=sL{g}g(0)=sL{f}f(0)\mathcal{L}\{g'(t)\} = s\,\mathcal{L}\{g\} - g(0) = s\,\mathcal{L}\{f'\} - f'(0)

Why this step? The rule works for ANY nice function, including ff' itself; here g(0)=f(0)g(0)=f'(0).

Now substitute L{f}=sF(s)f(0)\mathcal{L}\{f'\} = sF(s)-f(0): L{f}=s(sF(s)f(0))f(0)=s2F(s)sf(0)f(0)\mathcal{L}\{f''\} = s\big(sF(s) - f(0)\big) - f'(0) = s^2 F(s) - s f(0) - f'(0)

Figure — Laplace of derivatives — key property for solving ODEs

How this solves an ODE (the whole point)


Common mistakes (steel-manned)


Recall Feynman: explain to a 12-year-old

Imagine a recipe written in a hard language (calculus). The Laplace transform is like Google Translate that turns it into easy language (algebra/multiplication). In the easy language, "take a derivative" just becomes "multiply by ss." So a scary equation becomes simple arithmetic. But the translator also writes down a little note saying "where you started" — that's the f(0)-f(0) — so when you translate back, your answer remembers the starting point. You solve the easy version, translate back, and you've solved the hard one.


Flashcards

What does the Laplace transform turn differentiation into?
Multiplication by ss (plus subtracting initial values).
State L{f(t)}\mathcal{L}\{f'(t)\}.
sF(s)f(0)sF(s) - f(0).
State L{f(t)}\mathcal{L}\{f''(t)\}.
s2F(s)sf(0)f(0)s^2 F(s) - s\,f(0) - f'(0).
General L{f(n)}\mathcal{L}\{f^{(n)}\}?
snF(s)sn1f(0)sn2f(0)f(n1)(0)s^nF(s) - s^{n-1}f(0) - s^{n-2}f'(0) - \cdots - f^{(n-1)}(0).
Which technique derives the first-derivative rule, and why does the boundary term reduce to f(0)-f(0)?
Integration by parts; the tt\to\infty end vanishes (exponential order) leaving e0f(0)=f(0)-e^{0}f(0)=-f(0).
Where do the f(0)-f(0), f(0)-f'(0) terms come from physically?
The boundary at the lower limit t=0t=0 — they inject the initial conditions into the algebra.
In L{f(n)}\mathcal{L}\{f^{(n)}\}, what is the coefficient of f(k)(0)f^{(k)}(0)?
sn1k-s^{\,n-1-k}.
Why must initial conditions be given at t=0t=0 for this method?
The derivative rule evaluates the boundary term exactly at t=0t=0.
Solve y+3y=0, y(0)=2y'+3y=0,\ y(0)=2 via Laplace (final answer).
Y=2s+3y=2e3tY=\frac{2}{s+3}\Rightarrow y=2e^{-3t}.
Why is dropping f(0)-f(0) a fatal error in ODE-solving?
You lose the initial condition; the solution won't satisfy y(0)y(0).

Connections

Concept Map

applied to f prime

yields

kills boundary term

applied twice

induction

minus f0 term carries

carries

transform each term

turns diff into multiply by s

baked into

solve for F then invert

Laplace transform F of s

Exponential order decay

Integration by parts

First derivative rule sF minus f0

Second derivative rule

General nth derivative rule

Initial conditions f0 f prime 0

Algebra equation in s

ODE in t

Solve then invert transform

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Laplace transform ka asli magic yahi hai: jab tum kisi function ka derivative ka Laplace lete ho, to differentiation "ss se multiply karna" ban jaata hai. Yaani L{f(t)}=sF(s)f(0)\mathcal{L}\{f'(t)\} = sF(s) - f(0). Is formula me do cheezein hain — sF(s)sF(s) (yeh batata hai ki derivative multiply-by-ss ban gaya) aur f(0)-f(0) (yeh tumhari initial condition ko automatically equation me daal deta hai). Yeh f(0)-f(0) waala part isliye aata hai kyunki Laplace ka integral t=0t=0 se start hota hai, aur integration by parts karte waqt lower limit pe f(0)f(0) bach jaata hai.

Iska fायda kya hai? ODE solve karna calculus me mushkil hai, par algebra easy hai. To hum poori differential equation ka Laplace le lete hain — woh ek simple algebra equation ban jaati hai ss me. Us algebra ko solve karke Y(s)Y(s) nikaalo, phir inverse Laplace se wapas y(t)y(t) paa lo. Initial conditions ko alag se fit karne ka jhanjhat nahi — woh khud f(0)-f(0), f(0)-f'(0) ke through aa jaate hain. Second derivative ke liye formula hai s2F(s)sf(0)f(0)s^2F(s) - s f(0) - f'(0) — bas pehla rule do baar lagaya hai.

Sabse common galti: students f(0)-f(0) ko bhool jaate hain aur sirf sF(s)sF(s) likh dete hain. Yeh galti tempting lagti hai kyunki "derivative = multiply by s" sunne me clean lagta hai. Par yaad rakho — agar f(0)f(0) chhod doge to tumhari initial condition gayab ho jaayegi aur answer galat aayega. Mnemonic yaad rakho: "ss eats the prime, and pays a fee of f(0)f(0)" — har derivative hatao to ek ss milta hai par ek initial value ki fee deni padti hai.

Go deeper — visual, from zero

Test yourself — Ordinary Differential Equations

Connections