4.6.29Ordinary Differential Equations

Inverse Laplace transform — partial fractions, tables

1,702 words8 min readdifficulty · medium6 backlinks

WHAT is the inverse Laplace transform?

WHY is it well-defined? For functions that are piecewise continuous and of exponential order, the forward transform is one-to-one (Lerch's theorem), so "undoing" it gives a unique f(t)f(t). That uniqueness is what lets us use a lookup table with confidence.


The core table (derive, don't memorise blindly)

Every entry comes from the forward integral F(s)=0estf(t)dtF(s)=\int_0^\infty e^{-st}f(t)\,dt. Let me derive the key ones so the table feels earned.

Master table (memorise these 7):

F(s)F(s) f(t)=L1{F}f(t)=\mathcal{L}^{-1}\{F\}
1s\dfrac{1}{s} 11
1sa\dfrac{1}{s-a} eate^{at}
1sn+1\dfrac{1}{s^{n+1}} tnn!\dfrac{t^n}{n!}
ωs2+ω2\dfrac{\omega}{s^2+\omega^2} sinωt\sin\omega t
ss2+ω2\dfrac{s}{s^2+\omega^2} cosωt\cos\omega t
ω(sa)2+ω2\dfrac{\omega}{(s-a)^2+\omega^2} eatsinωte^{at}\sin\omega t
sa(sa)2+ω2\dfrac{s-a}{(s-a)^2+\omega^2} eatcosωte^{at}\cos\omega t

HOW: partial fractions — the recognition machine

A proper rational F(s)=P(s)Q(s)F(s)=\dfrac{P(s)}{Q(s)} (degree of PP < degree of QQ) is split based on the factors of Q(s)Q(s):

  • Distinct linear (sa)(s-a) → term Asa\dfrac{A}{s-a}
  • Repeated linear (sa)k(s-a)^k → terms A1sa+A2(sa)2++Ak(sa)k\dfrac{A_1}{s-a}+\dfrac{A_2}{(s-a)^2}+\dots+\dfrac{A_k}{(s-a)^k}
  • Irreducible quadratic (s2+bs+c)(s^2+bs+c) → term Bs+Cs2+bs+c\dfrac{Bs+C}{s^2+bs+c} (then complete the square to match the shift table)

Cover-up method (fast coefficient finder for simple poles): to get AA for the factor (sa)(s-a), multiply both sides by (sa)(s-a) and set s=as=a: A=[(sa)F(s)]s=a.A=\left.\big[(s-a)F(s)\big]\right|_{s=a}. WHY it works: multiplying kills the (sa)(s-a) in the denominator of its own term, and at s=as=a every other term still has (sa)(s-a) as a factor → they vanish, isolating AA.


Worked Example 1 — distinct linear factors

Find L1{3s+1(s1)(s+2)}\mathcal{L}^{-1}\left\{\dfrac{3s+1}{(s-1)(s+2)}\right\}.

Step 1. Write 3s+1(s1)(s+2)=As1+Bs+2\dfrac{3s+1}{(s-1)(s+2)}=\dfrac{A}{s-1}+\dfrac{B}{s+2}. Why this step? Two distinct linear poles → two simple-pole atoms.

Step 2. Cover-up: A=3(1)+11+2=43A=\dfrac{3(1)+1}{1+2}=\dfrac{4}{3},   B=3(2)+121=53=53\;B=\dfrac{3(-2)+1}{-2-1}=\dfrac{-5}{-3}=\dfrac{5}{3}. Why this step? Cover-up isolates each residue without solving a system.

Step 3. Invert each atom with L1{1/(sa)}=eat\mathcal{L}^{-1}\{1/(s-a)\}=e^{at}: f(t)=43et+53e2t.f(t)=\frac{4}{3}e^{t}+\frac{5}{3}e^{-2t}. Why this step? Linearity lets us invert term-by-term.


Worked Example 2 — irreducible quadratic (complete the square)

Find L1{s+3s2+2s+5}\mathcal{L}^{-1}\left\{\dfrac{s+3}{s^2+2s+5}\right\}.

Step 1. Complete the square: s2+2s+5=(s+1)2+4s^2+2s+5=(s+1)^2+4. Why this step? The denominator has no real roots; the shift table needs the form (sa)2+ω2(s-a)^2+\omega^2 with a=1,ω=2a=-1,\omega=2.

Step 2. Rewrite numerator around (s+1)(s+1): s+3(s+1)2+4=(s+1)+2(s+1)2+4=s+1(s+1)2+4+2(s+1)2+4.\frac{s+3}{(s+1)^2+4}=\frac{(s+1)+2}{(s+1)^2+4}=\frac{s+1}{(s+1)^2+4}+\frac{2}{(s+1)^2+4}. Why this step? Match sa(sa)2+ω2\frac{s-a}{(s-a)^2+\omega^2} (gives eatcose^{at}\cos) and ω(sa)2+ω2\frac{\omega}{(s-a)^2+\omega^2} (gives eatsine^{at}\sin). The second term has 2=ω2=\omega, perfect.

Step 3. Read the table with a=1,ω=2a=-1,\omega=2: f(t)=etcos2t+etsin2t.f(t)=e^{-t}\cos 2t + e^{-t}\sin 2t. Why this step? First-shift theorem converts the shifted denominator into the ete^{-t} envelope.


Worked Example 3 — repeated factor

Find L1{s(s+1)2}\mathcal{L}^{-1}\left\{\dfrac{s}{(s+1)^2}\right\}.

Step 1. s(s+1)2=As+1+B(s+1)2\dfrac{s}{(s+1)^2}=\dfrac{A}{s+1}+\dfrac{B}{(s+1)^2}. Why this step? A double pole needs both powers; only one term would underfit.

Step 2. Multiply by (s+1)2(s+1)^2: s=A(s+1)+Bs = A(s+1)+B. Set s=1s=-1: 1=B-1=B. Compare ss-coefficient: 1=A1=A. Why this step? Cover-up gives the highest-power coefficient directly; matching gives the rest.

Step 3. Invert: L1{1/(s+1)}=et\mathcal{L}^{-1}\{1/(s+1)\}=e^{-t}, and L1{1/(s+1)2}=tet\mathcal{L}^{-1}\{1/(s+1)^2\}=t e^{-t} (shift of 1/s2t1/s^2\to t): f(t)=ettet=(1t)et.f(t)=e^{-t}-t e^{-t}=(1-t)e^{-t}.



Recall Feynman: explain to a 12-year-old (hidden)

Imagine you translated an English sentence into a secret code to make it easy to rearrange. Now you must translate it back to English. You don't translate huge chunks at once — you look up each code-word in your dictionary. Partial fractions is the scissors that cuts the long coded message into single code-words, and the table is your dictionary. Cut into pieces, look up each piece, glue the English back together. Done.


Forecast-then-Verify drill

Before checking the table, predict the form of L1{1s24}\mathcal{L}^{-1}\left\{\frac{1}{s^2-4}\right\}. Real poles at ±2\pm2? → expect e±2te^{\pm2t}, i.e. sinh/cosh\sinh/\cosh, not sin\sin. Then verify: 1s24=14(1s21s+2)14(e2te2t)=12sinh2t\frac{1}{s^2-4}=\frac14\left(\frac1{s-2}-\frac1{s+2}\right)\Rightarrow \frac14(e^{2t}-e^{-2t})=\tfrac12\sinh 2t. ✓ Sign of the constant inside (4-4 vs +4+4) flips trig↔hyperbolic.


Flashcards

What is the inverse Laplace transform of 1/(sa)1/(s-a)?
eate^{at}
What is L1{s/(s2+ω2)}\mathcal{L}^{-1}\{s/(s^2+\omega^2)\}?
cosωt\cos\omega t
What is L1{ω/(s2+ω2)}\mathcal{L}^{-1}\{\omega/(s^2+\omega^2)\}?
sinωt\sin\omega t
What is L1{1/sn+1}\mathcal{L}^{-1}\{1/s^{n+1}\}?
tn/n!t^n/n!
State the first shift theorem for inverses.
L1{F(sa)}=eatf(t)\mathcal{L}^{-1}\{F(s-a)\}=e^{at}f(t) where f=L1{F}f=\mathcal{L}^{-1}\{F\}
A factor (sa)k(s-a)^k contributes how many partial-fraction terms?
kk terms, with powers 11 through kk
What must you do before partial fractions if degPdegQ\deg P \ge \deg Q?
Polynomial long division (make it proper first)
Cover-up coefficient for factor (sa)(s-a)?
A=[(sa)F(s)]s=aA=[(s-a)F(s)]_{s=a}
L1{1/((sa)2+ω2)ω}\mathcal{L}^{-1}\{1/((s-a)^2+\omega^2)\cdot \omega\}?
eatsinωte^{at}\sin\omega t
L1{1/(s2a2)}\mathcal{L}^{-1}\{1/(s^2-a^2)\}?
1asinhat\frac{1}{a}\sinh at
Numerator has ss vs constant ω\omega: which gives cos vs sin?
ss-on-top → cos\cos; ω\omega-on-top → sin\sin
Why is L1\mathcal{L}^{-1} unique?
Lerch's theorem — forward transform is one-to-one for piecewise-continuous functions of exponential order

Connections

Concept Map

Laplace transform

solve

inverse Laplace

returns

is

well-defined by

justifies

split via

simple pieces

entries derived from

contains

gives

recognise

Hard ODE in t

Algebra in s

Rational F of s

Answer f of t

Inverse Laplace L-inv

Linearity

Lerch uniqueness

Lookup table

Partial fractions

Forward integral

First shift theorem

Damped sin and cos

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Laplace transform ka kaam hai ki ek tough differential equation ko ss-world me le jaake simple algebra bana de. Lekin final answer to hume tt-world me chahiye — yahin par inverse Laplace transform kaam aata hai, yeh wapsi ka ticket hai. Magic yeh hai ki hum koi scary integral solve nahi karte; hum bas F(s)F(s) ko chhote-chhote pehchaane hue tukdo me todte hain (partial fractions) aur har tukde ka answer apni table se dekh lete hain. Pehchaano, calculate mat karo.

Partial fractions ka rule simple hai: denominator ke factors dekho. Distinct linear factor (sa)(s-a) → ek term Asa\frac{A}{s-a} jiska inverse eate^{at}. Repeated factor (sa)k(s-a)^k → poore kk terms (yeh log aksar bhool jaate hain!). Irreducible quadratic → complete the square karo taaki form (sa)2+ω2(s-a)^2+\omega^2 ban jaaye, phir shift theorem se eatsin/cose^{at}\sin/\cos mil jaata hai.

Do critical galtiyaan yaad rakho. Pehli: agar upar ss hai to cos\cos aata hai, agar constant ω\omega hai to sin\sin — confuse mat hona. Doosri: s2+ω2s^2+\omega^2 (plus sign) trig deta hai, lekin s2a2s^2-a^2 (minus sign) hyperbolic sinh/cosh\sinh/\cosh deta hai kyunki uski real roots hoti hain. Sign hamesha check karo.

Mantra ek hi rakho: COMPLETE, SPLIT, LOOK-UP. Pehle proper fraction confirm karo (warna long division), square complete karo, partial fractions se split karo, phir table se atom-by-atom inverse uthao aur linearity se jod do. Bas, ho gaya — yeh ODE solving ka sabse zaroori final step hai.

Go deeper — visual, from zero

Test yourself — Ordinary Differential Equations

Connections