A differential equation (DE) is an equation involving an unknown function and its derivatives. An ordinary differential equation (ODE) involves a function of one variable and its ordinary Derivatives. A partial differential equation (PDE) involves a function of several variables and Its partial derivatives.
An ODE is:
Ordinary vs. partial : depends on whether partial derivatives appear.Order : the highest derivative that appears.Linear vs. nonlinear : linear if the unknown function and its derivatives appear linearly.Homogeneous vs. nonhomogeneous : for linear ODEs, homogeneous if the forcing term is zero.An initial value problem (IVP) specifies the value of the function (and possibly its Derivatives) at a single point. A boundary value problem (BVP) specifies conditions at two or More points.
Differential equations arise throughout the natural sciences. A few canonical examples:
Newton”s law of cooling. The temperature T ( t ) T(t) T ( t ) of a body in a medium at temperature T m T_m T m satisfies d T d t = − k ( T − T m ) \frac{dT}{dt} = -k(T - T_m) d t d T = − k ( T − T m ) A first-order linear ODE.
Harmonic oscillator. A mass on a spring with damping obeys m d 2 x d t 2 + c d x d t + k x = F ( t ) m\frac{d^2 x}{dt^2} + c\frac{dx}{dt} + kx = F(t) m d t 2 d 2 x + c d t d x + k x = F ( t ) A second-order linear ODE.
Logistic population growth. d P d t = r P ( 1 − P K ) \frac{dP}{dt} = rP\left(1 - \frac{P}{K}\right) d t d P = r P ( 1 − K P ) A first-order nonlinear (Bernoulli) ODE.
Lotka-Volterra predator-prey model. d x d t = x ( α − β y ) \frac{dx}{dt} = x(\alpha - \beta y) d t d x = x ( α − β y ) , d y d t = y ( − γ + δ x ) \frac{dy}{dt} = y(-\gamma + \delta x) d t d y = y ( − γ + δ x ) A coupled nonlinear system.
RC circuit. The charge q ( t ) q(t) q ( t ) on a capacitor satisfies R d q d t + q C = V ( t ) R\frac{dq}{dt} + \frac{q}{C} = V(t) R d t d q + C q = V ( t ) a first-order linear ODE.
Heat equation. The temperature u ( x , t ) u(x, t) u ( x , t ) in a rod satisfies u t = α 2 u x x u_t = \alpha^2 u_{xx} u t = α 2 u xx A second-order linear PDE.
Wave equation. The displacement u ( x , t ) u(x, t) u ( x , t ) of a string satisfies u t t = c 2 u x x u_{tt} = c^2 u_{xx} u tt = c 2 u xx A second-order linear PDE.
Laplace’s equation. The steady-state temperature satisfies u x x + u y y = 0 u_{xx} + u_{yy} = 0 u xx + u y y = 0 A second-order linear PDE.
├── ODE (one independent variable)
│ │ ├── First-order: y' = f(x, y)
│ │ ├── Second-order: y'' = f(x, y, y')
│ │ └── n-th order: y^(n) = f(x, y, ..., y^(n-1))
│ │ ├── Linear: a_n(x)y^(n) + ... + a_0(x)y = g(x)
│ │ │ ├── Homogeneous (g = 0)
│ │ │ └── Nonhomogeneous (g ≠ 0)
│ │ └── Nonlinear (y or derivatives appear nonlinearly)
│ ├── Constant coefficient
│ └── Variable coefficient
└── PDE (multiple independent variables)
├── Elliptic: B² - 4AC < 0 (e.g., Laplace)
├── Parabolic: B² - 4AC = 0 (e.g., Heat)
└── Hyperbolic: B² - 4AC > 0 (e.g., Wave)
Problem. Classify each equation by order, linearity, and homogeneity (if linear).
(a) y ′ ′ + 3 y ′ + 2 y = sin x y'' + 3y' + 2y = \sin x y ′′ + 3 y ′ + 2 y = sin x
(b) ( y ′ ) 2 + y = 0 (y')^2 + y = 0 ( y ′ ) 2 + y = 0
(c) x 2 y ′ ′ + x y ′ + ( x 2 − 1 ) y = 0 x^2 y'' + xy' + (x^2 - 1)y = 0 x 2 y ′′ + x y ′ + ( x 2 − 1 ) y = 0
(d) ∂ 2 u ∂ x 2 + ∂ 2 u ∂ y 2 = 0 \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0 ∂ x 2 ∂ 2 u + ∂ y 2 ∂ 2 u = 0
Solution (a) Second-order, linear, nonhomogeneous (forcing term sin x ≠ 0 \sin x \neq 0 sin x = 0 ).
(b) First-order, nonlinear (the term ( y ′ ) 2 (y')^2 ( y ′ ) 2 is nonlinear in y ′ y' y ′ ).
(c) Second-order, linear, homogeneous. This is Bessel’s equation of order 1.
(d) Second-order PDE, linear, homogeneous. This is Laplace’s equation; A = 1 A = 1 A = 1 , C = 1 C = 1 C = 1 , B = 0 B = 0 B = 0 So B 2 − 4 A C = − 4 < 0 B^2 - 4AC = -4 \lt 0 B 2 − 4 A C = − 4 < 0 (elliptic). ■ \blacksquare ■
A first-order ODE d y d x = f ( x , y ) \frac{dy}{dx} = f(x, y) d x d y = f ( x , y ) is separable if f ( x , y ) = g ( x ) h ( y ) f(x, y) = g(x)h(y) f ( x , y ) = g ( x ) h ( y ) .
d y d x = g ( x ) h ( y ) ⟹ d y h ( y ) = g ( x ) d x \frac{dy}{dx} = g(x)h(y) \implies \frac{dy}{h(y)} = g(x)\, dx d x d y = g ( x ) h ( y ) ⟹ h ( y ) d y = g ( x ) d x
Integrating both sides: ∫ d y h ( y ) = ∫ g ( x ) d x + C \int \frac{dy}{h(y)} = \int g(x)\, dx + C ∫ h ( y ) d y = ∫ g ( x ) d x + C .
Example. Solve d y d x = x y \frac{dy}{dx} = xy d x d y = x y .
Separating: d y y = x d x \frac{dy}{y} = x\, dx y d y = x d x . Integrating: ln ∣ y ∣ = x 2 2 + C \ln|y| = \frac{x^2}{2} + C ln ∣ y ∣ = 2 x 2 + C . Thus y = C e x 2 / 2 y = Ce^{x^2/2} y = C e x 2 /2 where C ≠ 0 C \neq 0 C = 0 Plus the trivial solution y = 0 y = 0 y = 0 .
A linear first-order ODE has the form
d y d x + P ( x ) y = Q ( x ) \frac{dy}{dx} + P(x)y = Q(x) d x d y + P ( x ) y = Q ( x )
Theorem 2.1 (Integrating Factor). The solution is
y ( x ) = e − ∫ P ( x ) d x ( ∫ Q ( x ) e ∫ P ( x ) d x d x + C ) y(x) = e^{-\int P(x)\, dx}\left(\int Q(x) e^{\int P(x)\, dx}\, dx + C\right) y ( x ) = e − ∫ P ( x ) d x ( ∫ Q ( x ) e ∫ P ( x ) d x d x + C )
Proof. Multiply both sides by μ ( x ) = e ∫ P ( x ) d x \mu(x) = e^{\int P(x)\, dx} μ ( x ) = e ∫ P ( x ) d x :
d d x ( μ y ) = μ d y d x + μ P y = μ d y d x + μ ′ y = μ ( d y d x + P y ) = μ Q \frac{d}{dx}(\mu y) = \mu \frac{dy}{dx} + \mu P y = \mu \frac{dy}{dx} + \mu' y = \mu\left(\frac{dy}{dx} + Py\right) = \mu Q d x d ( μ y ) = μ d x d y + μ P y = μ d x d y + μ ′ y = μ ( d x d y + P y ) = μ Q
Integrating: μ y = ∫ μ Q d x + C \mu y = \int \mu Q\, dx + C μ y = ∫ μ Q d x + C . Solving for y y y gives the result. ■ \blacksquare ■
Problem. Solve y ′ + 2 x y = x 2 y' + \frac{2}{x}y = x^2 y ′ + x 2 y = x 2 for x > 0 x > 0 x > 0 .
Solution. P ( x ) = 2 / x P(x) = 2/x P ( x ) = 2/ x , Q ( x ) = x 2 Q(x) = x^2 Q ( x ) = x 2 .
μ ( x ) = e ∫ 2 / x d x = e 2 ln x = x 2 \mu(x) = e^{\int 2/x\, dx} = e^{2\ln x} = x^2 μ ( x ) = e ∫ 2/ x d x = e 2 l n x = x 2 .
y = x − 2 ( ∫ x 2 ⋅ x 2 d x + C ) = x − 2 ( x 5 5 + C ) = x 3 5 + C x 2 y = x^{-2}\left(\int x^2 \cdot x^2\, dx + C\right) = x^{-2}\left(\frac{x^5}{5} + C\right) = \frac{x^3}{5} + \frac{C}{x^2} y = x − 2 ( ∫ x 2 ⋅ x 2 d x + C ) = x − 2 ( 5 x 5 + C ) = 5 x 3 + x 2 C . ■ \blacksquare ■
The ODE M ( x , y ) d x + N ( x , y ) d y = 0 M(x, y)\, dx + N(x, y)\, dy = 0 M ( x , y ) d x + N ( x , y ) d y = 0 is exact if ∂ M ∂ y = ∂ N ∂ x \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} ∂ y ∂ M = ∂ x ∂ N .
When exact, there exists Ψ ( x , y ) \Psi(x, y) Ψ ( x , y ) such that ∂ Ψ ∂ x = M \frac{\partial \Psi}{\partial x} = M ∂ x ∂ Ψ = M and ∂ Ψ ∂ y = N \frac{\partial \Psi}{\partial y} = N ∂ y ∂ Ψ = N And the solution is Ψ ( x , y ) = C \Psi(x, y) = C Ψ ( x , y ) = C .
Theorem 2.2. If M M M and N N N have continuous partial derivatives on a connected domain D D D Then M d x + N d y = 0 M\, dx + N\, dy = 0 M d x + N d y = 0 is exact if and only if M y = N x M_y = N_x M y = N x .
Proof. If exact, M = Ψ x M = \Psi_x M = Ψ x and N = Ψ y N = \Psi_y N = Ψ y So M y = Ψ x y = Ψ y x = N x M_y = \Psi_{xy} = \Psi_{yx} = N_x M y = Ψ x y = Ψ y x = N x by Clairaut. Conversely, if M y = N x M_y = N_x M y = N x Define Ψ ( x , y ) = ∫ x 0 x M ( t , y ) d t + ∫ y 0 y N ( x 0 , s ) d s \Psi(x, y) = \int_{x_0}^x M(t, y)\, dt + \int_{y_0}^y N(x_0, s)\, ds Ψ ( x , y ) = ∫ x 0 x M ( t , y ) d t + ∫ y 0 y N ( x 0 , s ) d s . Then Ψ x = M ( x , y ) \Psi_x = M(x, y) Ψ x = M ( x , y ) and Ψ y = ∫ x 0 x M y ( t , y ) d t + N ( x 0 , y ) = ∫ x 0 x N x ( t , y ) d t + N ( x 0 , y ) = N ( x , y ) − N ( x 0 , y ) + N ( x 0 , y ) = N ( x , y ) \Psi_y = \int_{x_0}^x M_y(t, y)\, dt + N(x_0, y) = \int_{x_0}^x N_x(t, y)\, dt + N(x_0, y) = N(x, y) - N(x_0, y) + N(x_0, y) = N(x, y) Ψ y = ∫ x 0 x M y ( t , y ) d t + N ( x 0 , y ) = ∫ x 0 x N x ( t , y ) d t + N ( x 0 , y ) = N ( x , y ) − N ( x 0 , y ) + N ( x 0 , y ) = N ( x , y ) . ■ \blacksquare ■
Problem. Solve ( 2 x y + 3 ) d x + ( x 2 − 1 ) d y = 0 (2xy + 3)\, dx + (x^2 - 1)\, dy = 0 ( 2 x y + 3 ) d x + ( x 2 − 1 ) d y = 0 .
Solution. M = 2 x y + 3 M = 2xy + 3 M = 2 x y + 3 , N = x 2 − 1 N = x^2 - 1 N = x 2 − 1 . Check: M y = 2 x = N x M_y = 2x = N_x M y = 2 x = N x . Exact.
Ψ x = 2 x y + 3 ⟹ Ψ = x 2 y + 3 x + h ( y ) \Psi_x = 2xy + 3 \implies \Psi = x^2 y + 3x + h(y) Ψ x = 2 x y + 3 ⟹ Ψ = x 2 y + 3 x + h ( y ) .
Ψ y = x 2 + h ′ ( y ) = x 2 − 1 ⟹ h ′ ( y ) = − 1 ⟹ h ( y ) = − y \Psi_y = x^2 + h'(y) = x^2 - 1 \implies h'(y) = -1 \implies h(y) = -y Ψ y = x 2 + h ′ ( y ) = x 2 − 1 ⟹ h ′ ( y ) = − 1 ⟹ h ( y ) = − y .
Solution: x 2 y + 3 x − y = C x^2 y + 3x - y = C x 2 y + 3 x − y = C . ■ \blacksquare ■
If M y ≠ N x M_y \neq N_x M y = N x One can sometimes find an integrating factor μ ( x , y ) \mu(x, y) μ ( x , y ) such that ( μ M ) y = ( μ N ) x (\mu M)_y = (\mu N)_x ( μ M ) y = ( μ N ) x .
Case 1: If M y − N x N \frac{M_y - N_x}{N} N M y − N x depends only on x x x Then μ ( x ) = e ∫ M y − N x N d x \mu(x) = e^{\int \frac{M_y - N_x}{N}\, dx} μ ( x ) = e ∫ N M y − N x d x .
Case 2: If N x − M y M \frac{N_x - M_y}{M} M N x − M y depends only on y y y Then μ ( y ) = e ∫ N x − M y M d y \mu(y) = e^{\int \frac{N_x - M_y}{M}\, dy} μ ( y ) = e ∫ M N x − M y d y .
A Bernoulli equation has the form
d y d x + P ( x ) y = Q ( x ) y n \frac{dy}{dx} + P(x)y = Q(x)y^n d x d y + P ( x ) y = Q ( x ) y n
Where n ≠ 0 , 1 n \neq 0, 1 n = 0 , 1 . The substitution v = y 1 − n v = y^{1-n} v = y 1 − n transforms it into a linear equation:
d v d x + ( 1 − n ) P ( x ) v = ( 1 − n ) Q ( x ) \frac{dv}{dx} + (1 - n)P(x)v = (1 - n)Q(x) d x d v + ( 1 − n ) P ( x ) v = ( 1 − n ) Q ( x )
Example. Solve y ′ + y = y 2 e x y' + y = y^2 e^x y ′ + y = y 2 e x .
Here n = 2 n = 2 n = 2 So set v = y − 1 v = y^{-1} v = y − 1 . Then v ′ = − y − 2 y ′ v' = -y^{-2}y' v ′ = − y − 2 y ′ And the equation becomes v ′ − v = − e x v' - v = -e^x v ′ − v = − e x . Integrating factor: e − x e^{-x} e − x . So ( v e − x ) ′ = − 1 (v e^{-x})' = -1 ( v e − x ) ′ = − 1 Giving v e − x = − x + C ve^{-x} = -x + C v e − x = − x + C , v = − x e x + C e x v = -xe^x + Ce^x v = − x e x + C e x And y = 1 / ( C − x ) e x y = 1/(C - x)e^x y = 1/ ( C − x ) e x .
Theorem 2.3 (Picard-Lindelöf). If f f f and ∂ f / ∂ y \partial f/\partial y ∂ f / ∂ y are continuous on a rectangle Containing ( x 0 , y 0 ) (x_0, y_0) ( x 0 , y 0 ) Then the IVP y ′ = f ( x , y ) y' = f(x, y) y ′ = f ( x , y ) , y ( x 0 ) = y 0 y(x_0) = y_0 y ( x 0 ) = y 0 has a unique solution in some Neighbourhood of x 0 x_0 x 0 .
Several substitutions reduce specific equations to separable or linear form:
Homogeneous equations : y ′ = f ( y / x ) y' = f(y/x) y ′ = f ( y / x ) . Set v = y / x v = y/x v = y / x .Equations of the form y ′ = f ( a x + b y + c ) y' = f(ax + by + c) y ′ = f ( a x + b y + c ) : set v = a x + b y + c v = ax + by + c v = a x + b y + c .An ODE of the form d y d x = F ( y x ) \frac{dy}{dx} = F\left(\frac{y}{x}\right) d x d y = F ( x y ) is called homogeneous (not to be Confused with the linearity sense). The substitution v = y / x v = y/x v = y / x I.e., y = v x y = vx y = v x Gives y ′ = v + x v ′ y' = v + xv' y ′ = v + x v ′ So the equation becomes:
v + x d v d x = F ( v ) ⟹ x d v d x = F ( v ) − v v + x\frac{dv}{dx} = F(v) \implies x\frac{dv}{dx} = F(v) - v v + x d x d v = F ( v ) ⟹ x d x d v = F ( v ) − v
This is separable: d v F ( v ) − v = d x x \frac{dv}{F(v) - v} = \frac{dx}{x} F ( v ) − v d v = x d x .
Problem. Solve y ′ = x 2 + y 2 x y y' = \frac{x^2 + y^2}{xy} y ′ = x y x 2 + y 2 .
Solution Solution. Rewrite as y ′ = 1 + ( y / x ) 2 y / x y' = \frac{1 + (y/x)^2}{y/x} y ′ = y / x 1 + ( y / x ) 2 . This is homogeneous with F ( v ) = 1 + v 2 v F(v) = \frac{1 + v^2}{v} F ( v ) = v 1 + v 2 .
Set y = v x y = vx y = v x : v + x v ′ = 1 + v 2 v = v + 1 v v + xv' = \frac{1 + v^2}{v} = v + \frac{1}{v} v + x v ′ = v 1 + v 2 = v + v 1 .
So x v ′ = 1 v xv' = \frac{1}{v} x v ′ = v 1 Giving v d v = d x x v\, dv = \frac{dx}{x} v d v = x d x .
Integrating: v 2 2 = ln ∣ x ∣ + C \frac{v^2}{2} = \ln|x| + C 2 v 2 = ln ∣ x ∣ + C . Since v = y / x v = y/x v = y / x :
y 2 2 x 2 = ln ∣ x ∣ + C ⟹ y 2 = 2 x 2 ( ln ∣ x ∣ + C ) \frac{y^2}{2x^2} = \ln|x| + C \implies y^2 = 2x^2(\ln|x| + C) 2 x 2 y 2 = ln ∣ x ∣ + C ⟹ y 2 = 2 x 2 ( ln ∣ x ∣ + C ) . ■ \blacksquare ■
A Riccati equation has the form
d y d x = q 0 ( x ) + q 1 ( x ) y + q 2 ( x ) y 2 \frac{dy}{dx} = q_0(x) + q_1(x)y + q_2(x)y^2 d x d y = q 0 ( x ) + q 1 ( x ) y + q 2 ( x ) y 2
If a particular solution y 1 ( x ) y_1(x) y 1 ( x ) is known, the substitution y = y 1 + 1 v y = y_1 + \frac{1}{v} y = y 1 + v 1 reduces the Riccati equation to a linear first-order equation in v v v :
d v d x = − ( q 1 + 2 q 2 y 1 ) v − q 2 \frac{dv}{dx} = -(q_1 + 2q_2 y_1)v - q_2 d x d v = − ( q 1 + 2 q 2 y 1 ) v − q 2
Example. Solve y ′ = 1 + x 2 − 2 x y + y 2 y' = 1 + x^2 - 2xy + y^2 y ′ = 1 + x 2 − 2 x y + y 2 given that y 1 = x y_1 = x y 1 = x is a particular solution.
Substituting y = x + 1 / v y = x + 1/v y = x + 1/ v : y ′ = 1 − v ′ / v 2 y' = 1 - v'/v^2 y ′ = 1 − v ′ / v 2 . The equation becomes
1 − v ′ / v 2 = 1 + x 2 − 2 x ( x + 1 / v ) + ( x + 1 / v ) 2 1 - v'/v^2 = 1 + x^2 - 2x(x + 1/v) + (x + 1/v)^2 1 − v ′ / v 2 = 1 + x 2 − 2 x ( x + 1/ v ) + ( x + 1/ v ) 2
1 − v ′ / v 2 = 1 + x 2 − 2 x 2 − 2 x / v + x 2 + 2 x / v + 1 / v 2 1 - v'/v^2 = 1 + x^2 - 2x^2 - 2x/v + x^2 + 2x/v + 1/v^2 1 − v ′ / v 2 = 1 + x 2 − 2 x 2 − 2 x / v + x 2 + 2 x / v + 1/ v 2
1 − v ′ / v 2 = 1 + 1 / v 2 1 - v'/v^2 = 1 + 1/v^2 1 − v ′ / v 2 = 1 + 1/ v 2
− v ′ / v 2 = 1 / v 2 ⟹ v ′ = − 1 -v'/v^2 = 1/v^2 \implies v' = -1 − v ′ / v 2 = 1/ v 2 ⟹ v ′ = − 1
So v = − x + C v = -x + C v = − x + C And y = x + 1 C − x y = x + \frac{1}{C - x} y = x + C − x 1 .
Problem. A body at 90 ° C 90\degree\mathrm{C} 90° C is placed in a room at 20 ° C 20\degree\mathrm{C} 20° C . After 10 Minutes, its temperature is 60 ° C 60\degree\mathrm{C} 60° C . When will it reach 30 ° C 30\degree\mathrm{C} 30° C ?
Solution Solution. Newton’s law of cooling: d T d t = − k ( T − 20 ) \frac{dT}{dt} = -k(T - 20) d t d T = − k ( T − 20 ) , T ( 0 ) = 90 T(0) = 90 T ( 0 ) = 90 .
This is separable: d T T − 20 = − k d t \frac{dT}{T - 20} = -k\, dt T − 20 d T = − k d t .
ln ( T − 20 ) = − k t + C ⟹ T = 20 + C e − k t \ln(T - 20) = -kt + C \implies T = 20 + Ce^{-kt} ln ( T − 20 ) = − k t + C ⟹ T = 20 + C e − k t .
T ( 0 ) = 90 ⟹ C = 70 T(0) = 90 \implies C = 70 T ( 0 ) = 90 ⟹ C = 70 So T = 20 + 70 e − k t T = 20 + 70e^{-kt} T = 20 + 70 e − k t .
T ( 10 ) = 60 ⟹ 60 = 20 + 70 e − 10 k ⟹ e − 10 k = 4 / 7 T(10) = 60 \implies 60 = 20 + 70e^{-10k} \implies e^{-10k} = 4/7 T ( 10 ) = 60 ⟹ 60 = 20 + 70 e − 10 k ⟹ e − 10 k = 4/7 .
k = − 1 10 ln ( 4 / 7 ) = ln ( 7 / 4 ) 10 k = -\frac{1}{10}\ln(4/7) = \frac{\ln(7/4)}{10} k = − 10 1 ln ( 4/7 ) = 10 l n ( 7/4 ) .
For T = 30 T = 30 T = 30 : 30 = 20 + 70 e − k t ⟹ e − k t = 1 / 7 ⟹ t = ln 7 k = 10 ln 7 ln ( 7 / 4 ) 30 = 20 + 70e^{-kt} \implies e^{-kt} = 1/7 \implies t = \frac{\ln 7}{k} = \frac{10 \ln 7}{\ln(7/4)} 30 = 20 + 70 e − k t ⟹ e − k t = 1/7 ⟹ t = k l n 7 = l n ( 7/4 ) 10 l n 7 .
Numerically: t ≈ 10 ⋅ 1.946 0.5596 ≈ 34.8 t \approx \frac{10 \cdot 1.946}{0.5596} \approx 34.8 t ≈ 0.5596 10 ⋅ 1.946 ≈ 34.8 minutes. ■ \blacksquare ■
Problem. A tank contains 100 L of brine with 20 kg of salt. Fresh water enters at 3 L/min and The mixture leaves at 3 L/min. Find the amount of salt after 30 minutes.
Solution Solution. Let Q ( t ) Q(t) Q ( t ) be the amount of salt (kg) at time t t t (min).
Rate of change: d Q d t = r a t e i n − r a t e o u t = 0 − 3 ⋅ Q 100 \frac{dQ}{dt} = \mathrm{rate}\; in - \mathrm{rate}\; out = 0 - 3 \cdot \frac{Q}{100} d t d Q = rate in − rate o u t = 0 − 3 ⋅ 100 Q .
d Q d t = − 3 Q 100 \frac{dQ}{dt} = -\frac{3Q}{100} d t d Q = − 100 3 Q , Q ( 0 ) = 20 Q(0) = 20 Q ( 0 ) = 20 .
This is separable: d Q Q = − 3 100 d t \frac{dQ}{Q} = -\frac{3}{100}\, dt Q d Q = − 100 3 d t .
ln Q = − 3 t 100 + C ⟹ Q = C e − 3 t / 100 \ln Q = -\frac{3t}{100} + C \implies Q = Ce^{-3t/100} ln Q = − 100 3 t + C ⟹ Q = C e − 3 t /100 .
Q ( 0 ) = 20 ⟹ Q = 20 e − 3 t / 100 Q(0) = 20 \implies Q = 20e^{-3t/100} Q ( 0 ) = 20 ⟹ Q = 20 e − 3 t /100 .
At t = 30 t = 30 t = 30 : Q ( 30 ) = 20 e − 0.9 ≈ 20 ⋅ 0.4066 ≈ 8.13 Q(30) = 20e^{-0.9} \approx 20 \cdot 0.4066 \approx 8.13 Q ( 30 ) = 20 e − 0.9 ≈ 20 ⋅ 0.4066 ≈ 8.13 kg. ■ \blacksquare ■
Problem. Solve ( 3 x y + 2 y 2 ) d x + ( x 2 + 2 x y ) d y = 0 (3xy + 2y^2)\, dx + (x^2 + 2xy)\, dy = 0 ( 3 x y + 2 y 2 ) d x + ( x 2 + 2 x y ) d y = 0 .
Solution Solution. M = 3 x y + 2 y 2 M = 3xy + 2y^2 M = 3 x y + 2 y 2 , N = x 2 + 2 x y N = x^2 + 2xy N = x 2 + 2 x y .
M y = 3 x + 4 y M_y = 3x + 4y M y = 3 x + 4 y , N x = 2 x + 2 y N_x = 2x + 2y N x = 2 x + 2 y . Since M y ≠ N x M_y \neq N_x M y = N x Not exact.
Check Case 1: M y − N x N = x + 2 y x 2 + 2 x y = x + 2 y x ( x + 2 y ) = 1 x \frac{M_y - N_x}{N} = \frac{x + 2y}{x^2 + 2xy} = \frac{x + 2y}{x(x + 2y)} = \frac{1}{x} N M y − N x = x 2 + 2 x y x + 2 y = x ( x + 2 y ) x + 2 y = x 1 .
This depends only on x x x So μ ( x ) = e ∫ 1 / x d x = x \mu(x) = e^{\int 1/x\, dx} = x μ ( x ) = e ∫ 1/ x d x = x .
Multiply: ( 3 x 2 y + 2 x y 2 ) d x + ( x 3 + 2 x 2 y ) d y = 0 (3x^2y + 2xy^2)\, dx + (x^3 + 2x^2y)\, dy = 0 ( 3 x 2 y + 2 x y 2 ) d x + ( x 3 + 2 x 2 y ) d y = 0 .
M ~ = 3 x 2 y + 2 x y 2 \tilde{M} = 3x^2y + 2xy^2 M ~ = 3 x 2 y + 2 x y 2 , N ~ = x 3 + 2 x 2 y \tilde{N} = x^3 + 2x^2y N ~ = x 3 + 2 x 2 y .
M ~ y = 3 x 2 + 4 x y = N ~ x \tilde{M}_y = 3x^2 + 4xy = \tilde{N}_x M ~ y = 3 x 2 + 4 x y = N ~ x . Now exact.
Ψ x = 3 x 2 y + 2 x y 2 ⟹ Ψ = x 3 y + x 2 y 2 + h ( y ) \Psi_x = 3x^2y + 2xy^2 \implies \Psi = x^3y + x^2y^2 + h(y) Ψ x = 3 x 2 y + 2 x y 2 ⟹ Ψ = x 3 y + x 2 y 2 + h ( y ) .
Ψ y = x 3 + 2 x 2 y + h ′ ( y ) = x 3 + 2 x 2 y ⟹ h ′ ( y ) = 0 ⟹ h ( y ) = 0 \Psi_y = x^3 + 2x^2y + h'(y) = x^3 + 2x^2y \implies h'(y) = 0 \implies h(y) = 0 Ψ y = x 3 + 2 x 2 y + h ′ ( y ) = x 3 + 2 x 2 y ⟹ h ′ ( y ) = 0 ⟹ h ( y ) = 0 .
Solution: x 3 y + x 2 y 2 = C x^3y + x^2y^2 = C x 3 y + x 2 y 2 = C . ■ \blacksquare ■
Given a one-parameter family of curves F ( x , y , C ) = 0 F(x, y, C) = 0 F ( x , y , C ) = 0 The orthogonal trajectories are curves That intersect every member of the family at right angles. To find them:
Find the differential equation d y d x = f ( x , y ) \frac{dy}{dx} = f(x, y) d x d y = f ( x , y ) of the given family. Replace d y d x \frac{dy}{dx} d x d y with − d x d y -\frac{dx}{dy} − d y d x (equivalently, negate the slope). Solve the new ODE. Example. Find the orthogonal trajectories of y = C x 2 y = Cx^2 y = C x 2 .
d y d x = 2 C x = 2 y x \frac{dy}{dx} = 2Cx = \frac{2y}{x} d x d y = 2 C x = x 2 y .
Orthogonal trajectories satisfy d y d x = − x 2 y \frac{dy}{dx} = -\frac{x}{2y} d x d y = − 2 y x .
Separating: 2 y d y = − x d x 2y\, dy = -x\, dx 2 y d y = − x d x . Integrating: y 2 = − x 2 2 + C y^2 = -\frac{x^2}{2} + C y 2 = − 2 x 2 + C Or x 2 2 + y 2 = C \frac{x^2}{2} + y^2 = C 2 x 2 + y 2 = C . These are ellipses.
:::caution Common Pitfall When separating variables, dividing by h ( y ) h(y) h ( y ) can lose solutions where h ( y ) = 0 h(y) = 0 h ( y ) = 0 . Always check whether h ( y ) = 0 h(y) = 0 h ( y ) = 0 yields valid solutions before dividing. :::
:::caution Common Pitfall Not every first-order ODE falls into a standard category. Equations like y ′ = e x 2 + sin ( y 2 ) y' = e^{x^2} + \sin(y^2) y ′ = e x 2 + sin ( y 2 ) cannot be solved by elementary methods and require numerical Techniques. :::
A second-order linear ODE has the form
y ′ ′ + p ( x ) y ′ + q ( x ) y = g ( x ) y'' + p(x)y' + q(x)y = g(x) y ′′ + p ( x ) y ′ + q ( x ) y = g ( x )
Theorem 3.1. If y 1 y_1 y 1 and y 2 y_2 y 2 are solutions of the homogeneous equation y ′ ′ + p y ′ + q y = 0 y'' + py' + qy = 0 y ′′ + p y ′ + q y = 0 Then c 1 y 1 + c 2 y 2 c_1 y_1 + c_2 y_2 c 1 y 1 + c 2 y 2 is also a solution (superposition principle).
Theorem 3.2 (Wronskian Criterion). Two solutions y 1 , y 2 y_1, y_2 y 1 , y 2 of the homogeneous equation form a fundamental set (i.e., span all solutions) if and only if their Wronskian is non-zero:
W ( y 1 , y 2 ) ( x ) = ∣ y 1 y 2 y 1 ′ y 2 ′ ∣ ≠ 0 W(y_1, y_2)(x) = \begin{vmatrix} y_1 & y_2 \\ y_1' & y_2' \end{vmatrix} \neq 0 W ( y 1 , y 2 ) ( x ) = y 1 y 1 ′ y 2 y 2 ′ = 0
Abel’s identity states that W ( x ) = W ( x 0 ) e − ∫ x 0 x p ( t ) d t W(x) = W(x_0) e^{-\int_{x_0}^x p(t)\, dt} W ( x ) = W ( x 0 ) e − ∫ x 0 x p ( t ) d t .
Theorem 3.3. The general solution of y ′ ′ + p y ′ + q y = g y'' + py' + qy = g y ′′ + p y ′ + q y = g is y = y h + y p y = y_h + y_p y = y h + y p Where y h y_h y h is the General solution of the homogeneous equation and y p y_p y p is any particular solution.
For y ′ ′ + a y ′ + b y = 0 y'' + ay' + by = 0 y ′′ + a y ′ + b y = 0 with a , b a, b a , b constants, try y = e r x y = e^{rx} y = e r x :
r 2 + a r + b = 0 r^2 + ar + b = 0 r 2 + a r + b = 0
Case 1: Two distinct real roots r 1 ≠ r 2 r_1 \neq r_2 r 1 = r 2 . y h = c 1 e r 1 x + c 2 e r 2 x y_h = c_1 e^{r_1 x} + c_2 e^{r_2 x} y h = c 1 e r 1 x + c 2 e r 2 x .
Case 2: Repeated root r r r . y h = c 1 e r x + c 2 x e r x y_h = c_1 e^{rx} + c_2 x e^{rx} y h = c 1 e r x + c 2 x e r x .
Case 3: Complex conjugate roots r = α ± i β r = \alpha \pm i\beta r = α ± i β . y h = e α x ( c 1 cos ( β x ) + c 2 sin ( β x ) ) y_h = e^{\alpha x}(c_1 \cos(\beta x) + c_2 \sin(\beta x)) y h = e α x ( c 1 cos ( β x ) + c 2 sin ( β x )) .
Problem. Solve y ′ ′ − 5 y ′ + 6 y = 0 y'' - 5y' + 6y = 0 y ′′ − 5 y ′ + 6 y = 0 with y ( 0 ) = 1 y(0) = 1 y ( 0 ) = 1 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution. Characteristic equation: r 2 − 5 r + 6 = ( r − 2 ) ( r − 3 ) = 0 r^2 - 5r + 6 = (r-2)(r-3) = 0 r 2 − 5 r + 6 = ( r − 2 ) ( r − 3 ) = 0 . Roots: r = 2 , 3 r = 2, 3 r = 2 , 3 .
y h = c 1 e 2 x + c 2 e 3 x y_h = c_1 e^{2x} + c_2 e^{3x} y h = c 1 e 2 x + c 2 e 3 x .
y ( 0 ) = c 1 + c 2 = 1 y(0) = c_1 + c_2 = 1 y ( 0 ) = c 1 + c 2 = 1 . y ′ ( 0 ) = 2 c 1 + 3 c 2 = 0 y'(0) = 2c_1 + 3c_2 = 0 y ′ ( 0 ) = 2 c 1 + 3 c 2 = 0 . Solving: c 1 = 3 c_1 = 3 c 1 = 3 , c 2 = − 2 c_2 = -2 c 2 = − 2 .
y = 3 e 2 x − 2 e 3 x y = 3e^{2x} - 2e^{3x} y = 3 e 2 x − 2 e 3 x . ■ \blacksquare ■
Problem. Solve y ′ ′ + 2 y ′ + 5 y = 0 y'' + 2y' + 5y = 0 y ′′ + 2 y ′ + 5 y = 0 with y ( 0 ) = 1 y(0) = 1 y ( 0 ) = 1 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution Solution. Characteristic equation: r 2 + 2 r + 5 = 0 r^2 + 2r + 5 = 0 r 2 + 2 r + 5 = 0 .
r = − 2 ± 4 − 20 2 = − 2 ± − 16 2 = − 1 ± 2 i r = \frac{-2 \pm \sqrt{4 - 20}}{2} = \frac{-2 \pm \sqrt{-16}}{2} = -1 \pm 2i r = 2 − 2 ± 4 − 20 = 2 − 2 ± − 16 = − 1 ± 2 i .
So α = − 1 \alpha = -1 α = − 1 , β = 2 \beta = 2 β = 2 .
y = e − x ( c 1 cos ( 2 x ) + c 2 sin ( 2 x ) ) y = e^{-x}(c_1 \cos(2x) + c_2 \sin(2x)) y = e − x ( c 1 cos ( 2 x ) + c 2 sin ( 2 x )) .
y ( 0 ) = c 1 = 1 y(0) = c_1 = 1 y ( 0 ) = c 1 = 1 .
y ′ = − e − x ( cos ( 2 x ) + c 2 sin ( 2 x ) ) + e − x ( − 2 sin ( 2 x ) + 2 c 2 cos ( 2 x ) ) y' = -e^{-x}(\cos(2x) + c_2 \sin(2x)) + e^{-x}(-2\sin(2x) + 2c_2 \cos(2x)) y ′ = − e − x ( cos ( 2 x ) + c 2 sin ( 2 x )) + e − x ( − 2 sin ( 2 x ) + 2 c 2 cos ( 2 x )) .
y ′ ( 0 ) = − 1 + 2 c 2 = 0 ⟹ c 2 = 1 / 2 y'(0) = -1 + 2c_2 = 0 \implies c_2 = 1/2 y ′ ( 0 ) = − 1 + 2 c 2 = 0 ⟹ c 2 = 1/2 .
y = e − x ( cos ( 2 x ) + 1 2 sin ( 2 x ) ) y = e^{-x}\left(\cos(2x) + \frac{1}{2}\sin(2x)\right) y = e − x ( cos ( 2 x ) + 2 1 sin ( 2 x ) ) . ■ \blacksquare ■
Problem. Solve y ′ ′ − 4 y ′ + 4 y = 0 y'' - 4y' + 4y = 0 y ′′ − 4 y ′ + 4 y = 0 with y ( 0 ) = 1 y(0) = 1 y ( 0 ) = 1 , y ′ ( 0 ) = 3 y'(0) = 3 y ′ ( 0 ) = 3 .
Solution Solution. Characteristic equation: r 2 − 4 r + 4 = ( r − 2 ) 2 = 0 r^2 - 4r + 4 = (r - 2)^2 = 0 r 2 − 4 r + 4 = ( r − 2 ) 2 = 0 . Repeated root r = 2 r = 2 r = 2 .
y = c 1 e 2 x + c 2 x e 2 x y = c_1 e^{2x} + c_2 xe^{2x} y = c 1 e 2 x + c 2 x e 2 x .
y ( 0 ) = c 1 = 1 y(0) = c_1 = 1 y ( 0 ) = c 1 = 1 .
y ′ = 2 c 1 e 2 x + c 2 e 2 x + 2 c 2 x e 2 x y' = 2c_1 e^{2x} + c_2 e^{2x} + 2c_2 xe^{2x} y ′ = 2 c 1 e 2 x + c 2 e 2 x + 2 c 2 x e 2 x .
y ′ ( 0 ) = 2 c 1 + c 2 = 3 ⟹ 2 + c 2 = 3 ⟹ c 2 = 1 y'(0) = 2c_1 + c_2 = 3 \implies 2 + c_2 = 3 \implies c_2 = 1 y ′ ( 0 ) = 2 c 1 + c 2 = 3 ⟹ 2 + c 2 = 3 ⟹ c 2 = 1 .
y = e 2 x + x e 2 x = e 2 x ( 1 + x ) y = e^{2x} + xe^{2x} = e^{2x}(1 + x) y = e 2 x + x e 2 x = e 2 x ( 1 + x ) . ■ \blacksquare ■
For equations y ′ ′ + a y ′ + b y = g ( x ) y'' + ay' + by = g(x) y ′′ + a y ′ + b y = g ( x ) where g ( x ) g(x) g ( x ) is a polynomial, exponential, sine, cosine, or Products of these, guess the form of y p y_p y p and solve for coefficients.
g ( x ) g(x) g ( x ) Guess for y p y_p y p P n ( x ) P_n(x) P n ( x ) A n x n + ⋯ + A 0 A_n x^n + \cdots + A_0 A n x n + ⋯ + A 0 e a x e^{ax} e a x A e a x Ae^{ax} A e a x sin ( b x ) \sin(bx) sin ( b x ) or cos ( b x ) \cos(bx) cos ( b x ) A sin ( b x ) + B cos ( b x ) A\sin(bx) + B\cos(bx) A sin ( b x ) + B cos ( b x ) e a x P n ( x ) e^{ax} P_n(x) e a x P n ( x ) e a x ( A n x n + ⋯ + A 0 ) e^{ax}(A_n x^n + \cdots + A_0) e a x ( A n x n + ⋯ + A 0 ) e a x sin ( b x ) e^{ax}\sin(bx) e a x sin ( b x ) or e a x cos ( b x ) e^{ax}\cos(bx) e a x cos ( b x ) e a x ( A sin ( b x ) + B cos ( b x ) ) e^{ax}(A\sin(bx) + B\cos(bx)) e a x ( A sin ( b x ) + B cos ( b x ))
Rule. If any term of the guess is a solution of the homogeneous equation, multiply by x x x (or x 2 x^2 x 2 if already multiplied by x x x ).
Problem. Solve y ′ ′ − y = 2 e x y'' - y = 2e^x y ′′ − y = 2 e x .
Solution. Homogeneous: r 2 − 1 = 0 r^2 - 1 = 0 r 2 − 1 = 0 Roots ± 1 \pm 1 ± 1 . y h = c 1 e x + c 2 e − x y_h = c_1 e^x + c_2 e^{-x} y h = c 1 e x + c 2 e − x .
Since e x e^x e x is a homogeneous solution, guess y p = A x e x y_p = Axe^x y p = A x e x . y p ′ = A e x + A x e x y_p' = Ae^x + Axe^x y p ′ = A e x + A x e x y p ′ ′ = 2 A e x + A x e x y_p'' = 2Ae^x + Axe^x y p ′′ = 2 A e x + A x e x . y p ′ ′ − y p = ( 2 A e x + A x e x ) − A x e x = 2 A e x = 2 e x y_p'' - y_p = (2Ae^x + Axe^x) - Axe^x = 2Ae^x = 2e^x y p ′′ − y p = ( 2 A e x + A x e x ) − A x e x = 2 A e x = 2 e x So A = 1 A = 1 A = 1 .
y = c 1 e x + c 2 e − x + x e x y = c_1 e^x + c_2 e^{-x} + xe^x y = c 1 e x + c 2 e − x + x e x . ■ \blacksquare ■
Problem. Solve y ′ ′ + 3 y ′ + 2 y = x 2 + 1 y'' + 3y' + 2y = x^2 + 1 y ′′ + 3 y ′ + 2 y = x 2 + 1 .
Solution Solution. Homogeneous: r 2 + 3 r + 2 = ( r + 1 ) ( r + 2 ) = 0 r^2 + 3r + 2 = (r+1)(r+2) = 0 r 2 + 3 r + 2 = ( r + 1 ) ( r + 2 ) = 0 Roots − 1 , − 2 -1, -2 − 1 , − 2 .
y h = c 1 e − x + c 2 e − 2 x y_h = c_1 e^{-x} + c_2 e^{-2x} y h = c 1 e − x + c 2 e − 2 x .
Guess y p = A x 2 + B x + C y_p = Ax^2 + Bx + C y p = A x 2 + B x + C . Then y p ′ = 2 A x + B y_p' = 2Ax + B y p ′ = 2 A x + B , y p ′ ′ = 2 A y_p'' = 2A y p ′′ = 2 A .
Substituting: 2 A + 3 ( 2 A x + B ) + 2 ( A x 2 + B x + C ) = x 2 + 1 2A + 3(2Ax + B) + 2(Ax^2 + Bx + C) = x^2 + 1 2 A + 3 ( 2 A x + B ) + 2 ( A x 2 + B x + C ) = x 2 + 1 .
2 A + 6 A x + 3 B + 2 A x 2 + 2 B x + 2 C = x 2 + 1 2A + 6Ax + 3B + 2Ax^2 + 2Bx + 2C = x^2 + 1 2 A + 6 A x + 3 B + 2 A x 2 + 2 B x + 2 C = x 2 + 1 .
Matching coefficients:
x 2 x^2 x 2 : 2 A = 1 ⟹ A = 1 / 2 2A = 1 \implies A = 1/2 2 A = 1 ⟹ A = 1/2 x x x : 6 A + 2 B = 0 ⟹ 3 + 2 B = 0 ⟹ B = − 3 / 2 6A + 2B = 0 \implies 3 + 2B = 0 \implies B = -3/2 6 A + 2 B = 0 ⟹ 3 + 2 B = 0 ⟹ B = − 3/2 Constant: 2 A + 3 B + 2 C = 1 ⟹ 1 − 9 / 2 + 2 C = 1 ⟹ 2 C = 9 / 2 ⟹ C = 9 / 4 2A + 3B + 2C = 1 \implies 1 - 9/2 + 2C = 1 \implies 2C = 9/2 \implies C = 9/4 2 A + 3 B + 2 C = 1 ⟹ 1 − 9/2 + 2 C = 1 ⟹ 2 C = 9/2 ⟹ C = 9/4 y p = x 2 2 − 3 x 2 + 9 4 y_p = \frac{x^2}{2} - \frac{3x}{2} + \frac{9}{4} y p = 2 x 2 − 2 3 x + 4 9 .
y = c 1 e − x + c 2 e − 2 x + x 2 2 − 3 x 2 + 9 4 y = c_1 e^{-x} + c_2 e^{-2x} + \frac{x^2}{2} - \frac{3x}{2} + \frac{9}{4} y = c 1 e − x + c 2 e − 2 x + 2 x 2 − 2 3 x + 4 9 . ■ \blacksquare ■
Problem. Solve y ′ ′ + 2 y ′ + y = 3 e − x sin x y'' + 2y' + y = 3e^{-x}\sin x y ′′ + 2 y ′ + y = 3 e − x sin x .
Solution Solution. Homogeneous: r 2 + 2 r + 1 = ( r + 1 ) 2 = 0 r^2 + 2r + 1 = (r+1)^2 = 0 r 2 + 2 r + 1 = ( r + 1 ) 2 = 0 . Repeated root r = − 1 r = -1 r = − 1 .
y h = c 1 e − x + c 2 x e − x y_h = c_1 e^{-x} + c_2 xe^{-x} y h = c 1 e − x + c 2 x e − x .
The forcing is e − x sin x e^{-x}\sin x e − x sin x So guess y p = e − x ( A sin x + B cos x ) y_p = e^{-x}(A\sin x + B\cos x) y p = e − x ( A sin x + B cos x ) .
y p ′ = − e − x ( A sin x + B cos x ) + e − x ( A cos x − B sin x ) = e − x ( ( A − B ) cos x − ( A + B ) sin x ) y_p' = -e^{-x}(A\sin x + B\cos x) + e^{-x}(A\cos x - B\sin x) = e^{-x}((A - B)\cos x - (A + B)\sin x) y p ′ = − e − x ( A sin x + B cos x ) + e − x ( A cos x − B sin x ) = e − x (( A − B ) cos x − ( A + B ) sin x ) .
y p ′ ′ = − e − x ( ( A − B ) cos x − ( A + B ) sin x ) + e − x ( − ( A − B ) sin x − ( A + B ) cos x ) y_p'' = -e^{-x}((A - B)\cos x - (A + B)\sin x) + e^{-x}(-(A - B)\sin x - (A + B)\cos x) y p ′′ = − e − x (( A − B ) cos x − ( A + B ) sin x ) + e − x ( − ( A − B ) sin x − ( A + B ) cos x )
= e − x ( − 2 A cos x + 2 B sin x ) = e^{-x}(-2A\cos x + 2B\sin x) = e − x ( − 2 A cos x + 2 B sin x ) .
y p ′ ′ + 2 y p ′ + y p = e − x ( − 2 A cos x + 2 B sin x ) + 2 e − x ( ( A − B ) cos x − ( A + B ) sin x ) + e − x ( A sin x + B cos x ) y_p'' + 2y_p' + y_p = e^{-x}(-2A\cos x + 2B\sin x) + 2e^{-x}((A - B)\cos x - (A + B)\sin x) + e^{-x}(A\sin x + B\cos x) y p ′′ + 2 y p ′ + y p = e − x ( − 2 A cos x + 2 B sin x ) + 2 e − x (( A − B ) cos x − ( A + B ) sin x ) + e − x ( A sin x + B cos x )
= e − x [ ( − 2 A + 2 A − 2 B + B ) cos x + ( 2 B − 2 A − 2 B + A ) sin x ] = e^{-x}[(-2A + 2A - 2B + B)\cos x + (2B - 2A - 2B + A)\sin x] = e − x [( − 2 A + 2 A − 2 B + B ) cos x + ( 2 B − 2 A − 2 B + A ) sin x ]
= e − x [ ( − B ) cos x + ( − A ) sin x ] = e^{-x}[(-B)\cos x + (-A)\sin x] = e − x [( − B ) cos x + ( − A ) sin x ] .
Setting equal to 3 e − x sin x 3e^{-x}\sin x 3 e − x sin x : − B = 0 -B = 0 − B = 0 and − A = 3 -A = 3 − A = 3 So A = − 3 A = -3 A = − 3 , B = 0 B = 0 B = 0 .
y = c 1 e − x + c 2 x e − x − 3 e − x sin x y = c_1 e^{-x} + c_2 xe^{-x} - 3e^{-x}\sin x y = c 1 e − x + c 2 x e − x − 3 e − x sin x . ■ \blacksquare ■
### 3.9 Resonance
Consider the forced harmonic oscillator
y ′ ′ + ω 0 2 y = F 0 cos ( ω t ) y'' + \omega_0^2 y = F_0 \cos(\omega t) y ′′ + ω 0 2 y = F 0 cos ( ω t )
Case 1: ω ≠ ω 0 \omega \neq \omega_0 ω = ω 0 (Non-resonant). The particular solution is y p = F 0 ω 0 2 − ω 2 cos ( ω t ) y_p = \frac{F_0}{\omega_0^2 - \omega^2}\cos(\omega t) y p = ω 0 2 − ω 2 F 0 cos ( ω t ) With bounded amplitude.
Case 2: ω = ω 0 \omega = \omega_0 ω = ω 0 (Resonant). Since cos ( ω 0 t ) \cos(\omega_0 t) cos ( ω 0 t ) is a homogeneous solution, Guess y p = A t sin ( ω 0 t ) y_p = At\sin(\omega_0 t) y p = A t sin ( ω 0 t ) . Substituting:
y p ′ ′ + ω 0 2 y p = 2 A ω 0 cos ( ω 0 t ) − A ω 0 2 t sin ( ω 0 t ) + A ω 0 2 t sin ( ω 0 t ) = 2 A ω 0 cos ( ω 0 t ) y_p'' + \omega_0^2 y_p = 2A\omega_0 \cos(\omega_0 t) - A\omega_0^2 t\sin(\omega_0 t) + A\omega_0^2 t\sin(\omega_0 t) = 2A\omega_0 \cos(\omega_0 t) y p ′′ + ω 0 2 y p = 2 A ω 0 cos ( ω 0 t ) − A ω 0 2 t sin ( ω 0 t ) + A ω 0 2 t sin ( ω 0 t ) = 2 A ω 0 cos ( ω 0 t )
Setting equal to F 0 cos ( ω 0 t ) F_0 \cos(\omega_0 t) F 0 cos ( ω 0 t ) : A = F 0 2 ω 0 A = \frac{F_0}{2\omega_0} A = 2 ω 0 F 0 .
y p = F 0 2 ω 0 t sin ( ω 0 t ) y_p = \frac{F_0}{2\omega_0} t \sin(\omega_0 t) y p = 2 ω 0 F 0 t sin ( ω 0 t )
The amplitude grows linearly with t t t --- this is resonance . Physically, the system absorbs energy From the periodic forcing at its natural frequency, causing unbounded oscillations.
Worked Example. Solve y ′ ′ + 9 y = 6 cos ( 3 t ) y'' + 9y = 6\cos(3t) y ′′ + 9 y = 6 cos ( 3 t ) , y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution Solution. ω 0 = 3 \omega_0 = 3 ω 0 = 3 , ω = 3 \omega = 3 ω = 3 So this is the resonant case.
Homogeneous: r 2 + 9 = 0 r^2 + 9 = 0 r 2 + 9 = 0 , r = ± 3 i r = \pm 3i r = ± 3 i . y h = c 1 cos ( 3 t ) + c 2 sin ( 3 t ) y_h = c_1 \cos(3t) + c_2 \sin(3t) y h = c 1 cos ( 3 t ) + c 2 sin ( 3 t ) .
y p = 6 2 ⋅ 3 t sin ( 3 t ) = t sin ( 3 t ) y_p = \frac{6}{2 \cdot 3} t\sin(3t) = t\sin(3t) y p = 2 ⋅ 3 6 t sin ( 3 t ) = t sin ( 3 t ) .
y = c 1 cos ( 3 t ) + c 2 sin ( 3 t ) + t sin ( 3 t ) y = c_1 \cos(3t) + c_2 \sin(3t) + t\sin(3t) y = c 1 cos ( 3 t ) + c 2 sin ( 3 t ) + t sin ( 3 t ) .
y ( 0 ) = c 1 = 0 y(0) = c_1 = 0 y ( 0 ) = c 1 = 0 .
y ′ = 3 c 2 cos ( 3 t ) + sin ( 3 t ) + 3 t cos ( 3 t ) y' = 3c_2 \cos(3t) + \sin(3t) + 3t\cos(3t) y ′ = 3 c 2 cos ( 3 t ) + sin ( 3 t ) + 3 t cos ( 3 t ) .
y ′ ( 0 ) = 3 c 2 = 0 ⟹ c 2 = 0 y'(0) = 3c_2 = 0 \implies c_2 = 0 y ′ ( 0 ) = 3 c 2 = 0 ⟹ c 2 = 0 .
y = t sin ( 3 t ) y = t\sin(3t) y = t sin ( 3 t ) . ■ \blacksquare ■
Theorem 3.4 (Variation of Parameters). For y ′ ′ + p ( x ) y ′ + q ( x ) y = g ( x ) y'' + p(x)y' + q(x)y = g(x) y ′′ + p ( x ) y ′ + q ( x ) y = g ( x ) Let y 1 , y 2 y_1, y_2 y 1 , y 2 be a Fundamental set of solutions of the homogeneous equation. Then a particular solution is
y p = − y 1 ∫ y 2 g W d x + y 2 ∫ y 1 g W d x y_p = -y_1 \int \frac{y_2 g}{W}\, dx + y_2 \int \frac{y_1 g}{W}\, dx y p = − y 1 ∫ W y 2 g d x + y 2 ∫ W y 1 g d x
Where W = W ( y 1 , y 2 ) = y 1 y 2 ′ − y 2 y 1 ′ W = W(y_1, y_2) = y_1 y_2' - y_2 y_1' W = W ( y 1 , y 2 ) = y 1 y 2 ′ − y 2 y 1 ′ .
Proof. Seek y p = u 1 ( x ) y 1 ( x ) + u 2 ( x ) y 2 ( x ) y_p = u_1(x)y_1(x) + u_2(x)y_2(x) y p = u 1 ( x ) y 1 ( x ) + u 2 ( x ) y 2 ( x ) . Impose the constraint u 1 ′ y 1 + u 2 ′ y 2 = 0 u_1'y_1 + u_2'y_2 = 0 u 1 ′ y 1 + u 2 ′ y 2 = 0 . Then y p ′ = u 1 y 1 ′ + u 2 y 2 ′ y_p' = u_1 y_1' + u_2 y_2' y p ′ = u 1 y 1 ′ + u 2 y 2 ′ and y p ′ ′ = u 1 ′ y 1 ′ + u 1 y 1 ′ ′ + u 2 ′ y 2 ′ + u 2 y 2 ′ ′ y_p'' = u_1' y_1' + u_1 y_1'' + u_2' y_2' + u_2 y_2'' y p ′′ = u 1 ′ y 1 ′ + u 1 y 1 ′′ + u 2 ′ y 2 ′ + u 2 y 2 ′′ . Substituting into the ODE: ( u 1 ′ y 1 ′ + u 2 ′ y 2 ′ ) + u 1 ( y 1 ′ ′ + p y 1 ′ + q y 1 ) + u 2 ( y 2 ′ ′ + p y 2 ′ + q y 2 ) = g (u_1'y_1' + u_2'y_2') + u_1(y_1'' + py_1' + qy_1) + u_2(y_2'' + py_2' + qy_2) = g ( u 1 ′ y 1 ′ + u 2 ′ y 2 ′ ) + u 1 ( y 1 ′′ + p y 1 ′ + q y 1 ) + u 2 ( y 2 ′′ + p y 2 ′ + q y 2 ) = g . Since y 1 , y 2 y_1, y_2 y 1 , y 2 satisfy the homogeneous equation, this reduces to u 1 ′ y 1 ′ + u 2 ′ y 2 ′ = g u_1'y_1' + u_2'y_2' = g u 1 ′ y 1 ′ + u 2 ′ y 2 ′ = g . Together With u 1 ′ y 1 + u 2 ′ y 2 = 0 u_1'y_1 + u_2'y_2 = 0 u 1 ′ y 1 + u 2 ′ y 2 = 0 Solving gives the formulas above. ■ \blacksquare ■
Problem. Solve y ′ ′ + y = tan x y'' + y = \tan x y ′′ + y = tan x using variation of parameters.
Solution. y 1 = cos x y_1 = \cos x y 1 = cos x , y 2 = sin x y_2 = \sin x y 2 = sin x . W = cos x ⋅ cos x − sin x ⋅ ( − sin x ) = 1 W = \cos x \cdot \cos x - \sin x \cdot (-\sin x) = 1 W = cos x ⋅ cos x − sin x ⋅ ( − sin x ) = 1 .
u 1 ′ = − y 2 g W = − sin x tan x = − sin 2 x cos x = − ( 1 − cos 2 x ) / cos x = − sec x + cos x u_1' = -\frac{y_2 g}{W} = -\sin x \tan x = -\frac{\sin^2 x}{\cos x} = -(1 - \cos^2 x)/\cos x = -\sec x + \cos x u 1 ′ = − W y 2 g = − sin x tan x = − c o s x s i n 2 x = − ( 1 − cos 2 x ) / cos x = − sec x + cos x .
u 1 = − ln ∣ sec x + tan x ∣ + sin x u_1 = -\ln|\sec x + \tan x| + \sin x u 1 = − ln ∣ sec x + tan x ∣ + sin x .
u 2 ′ = y 1 g W = cos x tan x = sin x u_2' = \frac{y_1 g}{W} = \cos x \tan x = \sin x u 2 ′ = W y 1 g = cos x tan x = sin x .
u 2 = − cos x u_2 = -\cos x u 2 = − cos x .
y p = ( − ln ∣ sec x + tan x ∣ + sin x ) cos x + ( − cos x ) sin x = − cos x ln ∣ sec x + tan x ∣ y_p = (-\ln|\sec x + \tan x| + \sin x)\cos x + (-\cos x)\sin x = -\cos x \ln|\sec x + \tan x| y p = ( − ln ∣ sec x + tan x ∣ + sin x ) cos x + ( − cos x ) sin x = − cos x ln ∣ sec x + tan x ∣ .
y = c 1 cos x + c 2 sin x − cos x ln ∣ sec x + tan x ∣ y = c_1 \cos x + c_2 \sin x - \cos x \ln|\sec x + \tan x| y = c 1 cos x + c 2 sin x − cos x ln ∣ sec x + tan x ∣ . ■ \blacksquare ■
Theorem 3.5. Given one solution y 1 ( x ) y_1(x) y 1 ( x ) of y ′ ′ + p ( x ) y ′ + q ( x ) y = 0 y'' + p(x)y' + q(x)y = 0 y ′′ + p ( x ) y ′ + q ( x ) y = 0 A second linearly Independent solution is obtained by setting y 2 = y 1 ∫ e − ∫ p ( x ) d x y 1 2 d x y_2 = y_1 \int \frac{e^{-\int p(x)\, dx}}{y_1^2}\, dx y 2 = y 1 ∫ y 1 2 e − ∫ p ( x ) d x d x .
Proof. Seek y 2 = v ( x ) y 1 ( x ) y_2 = v(x) y_1(x) y 2 = v ( x ) y 1 ( x ) . Then y 2 ′ = v ′ y 1 + v y 1 ′ y_2' = v'y_1 + vy_1' y 2 ′ = v ′ y 1 + v y 1 ′ and y 2 ′ ′ = v ′ ′ y 1 + 2 v ′ y 1 ′ + v y 1 ′ ′ y_2'' = v''y_1 + 2v'y_1' + vy_1'' y 2 ′′ = v ′′ y 1 + 2 v ′ y 1 ′ + v y 1 ′′ . Substituting into the ODE:
v ′ ′ y 1 + 2 v ′ y 1 ′ + v y 1 ′ ′ + p ( v ′ y 1 + v y 1 ′ ) + q v y 1 = 0 v''y_1 + 2v'y_1' + vy_1'' + p(v'y_1 + vy_1') + qvy_1 = 0 v ′′ y 1 + 2 v ′ y 1 ′ + v y 1 ′′ + p ( v ′ y 1 + v y 1 ′ ) + q v y 1 = 0
v ′ ′ y 1 + v ′ ( 2 y 1 ′ + p y 1 ) + v ( y 1 ′ ′ + p y 1 ′ + q y 1 ) = 0 v''y_1 + v'(2y_1' + py_1) + v(y_1'' + py_1' + qy_1) = 0 v ′′ y 1 + v ′ ( 2 y 1 ′ + p y 1 ) + v ( y 1 ′′ + p y 1 ′ + q y 1 ) = 0
Since y 1 y_1 y 1 satisfies the ODE, the coefficient of v v v vanishes:
v ′ ′ y 1 + v ′ ( 2 y 1 ′ + p y 1 ) = 0 v''y_1 + v'(2y_1' + py_1) = 0 v ′′ y 1 + v ′ ( 2 y 1 ′ + p y 1 ) = 0
Let w = v ′ w = v' w = v ′ . Then w ′ y 1 + w ( 2 y 1 ′ + p y 1 ) = 0 w'y_1 + w(2y_1' + py_1) = 0 w ′ y 1 + w ( 2 y 1 ′ + p y 1 ) = 0 A separable first-order ODE:
w ′ w = − 2 y 1 ′ + p y 1 y 1 = − 2 y 1 ′ y 1 − p \frac{w'}{w} = -\frac{2y_1' + py_1}{y_1} = -2\frac{y_1'}{y_1} - p w w ′ = − y 1 2 y 1 ′ + p y 1 = − 2 y 1 y 1 ′ − p
ln w = − 2 ln y 1 − ∫ p d x ⟹ w = e − ∫ p d x y 1 2 \ln w = -2\ln y_1 - \int p\, dx \implies w = \frac{e^{-\int p\, dx}}{y_1^2} ln w = − 2 ln y 1 − ∫ p d x ⟹ w = y 1 2 e − ∫ p d x
Since w = v ′ w = v' w = v ′ We obtain the result. ■ \blacksquare ■
Worked Example. Given that y 1 = e x y_1 = e^x y 1 = e x solves y ′ ′ − 2 y ′ + y = 0 y'' - 2y' + y = 0 y ′′ − 2 y ′ + y = 0 Find a second solution.
Solution Solution. Here p ( x ) = − 2 p(x) = -2 p ( x ) = − 2 So e − ∫ p d x = e 2 x e^{-\int p\, dx} = e^{2x} e − ∫ p d x = e 2 x .
y 2 = e x ∫ e 2 x e 2 x d x = e x ∫ 1 d x = x e x y_2 = e^x \int \frac{e^{2x}}{e^{2x}}\, dx = e^x \int 1\, dx = xe^x y 2 = e x ∫ e 2 x e 2 x d x = e x ∫ 1 d x = x e x .
This gives y h = c 1 e x + c 2 x e x y_h = c_1 e^x + c_2 xe^x y h = c 1 e x + c 2 x e x Consistent with the repeated-root case (r = 1 r = 1 r = 1 with Multiplicity 2). ■ \blacksquare ■
An Euler-Cauchy (equidimensional) equation has the form
x 2 y ′ ′ + a x y ′ + b y = 0 , x > 0 x^2 y'' + axy' + by = 0, \quad x > 0 x 2 y ′′ + a x y ′ + b y = 0 , x > 0
The substitution y = x r y = x^r y = x r gives the characteristic equation
r ( r − 1 ) + a r + b = r 2 + ( a − 1 ) r + b = 0 r(r - 1) + ar + b = r^2 + (a - 1)r + b = 0 r ( r − 1 ) + a r + b = r 2 + ( a − 1 ) r + b = 0
Case 1: Two distinct real roots r 1 ≠ r 2 r_1 \neq r_2 r 1 = r 2 . y h = c 1 x r 1 + c 2 x r 2 y_h = c_1 x^{r_1} + c_2 x^{r_2} y h = c 1 x r 1 + c 2 x r 2 .
Case 2: Repeated root r r r . y h = c 1 x r + c 2 x r ln x y_h = c_1 x^r + c_2 x^r \ln x y h = c 1 x r + c 2 x r ln x .
Case 3: Complex roots r = α ± i β r = \alpha \pm i\beta r = α ± i β . y h = x α ( c 1 cos ( β ln x ) + c 2 sin ( β ln x ) ) y_h = x^{\alpha}(c_1 \cos(\beta \ln x) + c_2 \sin(\beta \ln x)) y h = x α ( c 1 cos ( β ln x ) + c 2 sin ( β ln x )) .
Problem. Solve x 2 y ′ ′ − 3 x y ′ + 4 y = 0 x^2 y'' - 3xy' + 4y = 0 x 2 y ′′ − 3 x y ′ + 4 y = 0 .
Solution Solution. Try y = x r y = x^r y = x r : r ( r − 1 ) − 3 r + 4 = r 2 − 4 r + 4 = ( r − 2 ) 2 = 0 r(r-1) - 3r + 4 = r^2 - 4r + 4 = (r-2)^2 = 0 r ( r − 1 ) − 3 r + 4 = r 2 − 4 r + 4 = ( r − 2 ) 2 = 0 .
Repeated root r = 2 r = 2 r = 2 .
y = c 1 x 2 + c 2 x 2 ln x y = c_1 x^2 + c_2 x^2 \ln x y = c 1 x 2 + c 2 x 2 ln x . ■ \blacksquare ■
Worked Example. Solve x 2 y ′ ′ + x y ′ + y = 0 x^2 y'' + xy' + y = 0 x 2 y ′′ + x y ′ + y = 0 .
Solution Solution. r ( r − 1 ) + r + 1 = r 2 + 1 = 0 r(r-1) + r + 1 = r^2 + 1 = 0 r ( r − 1 ) + r + 1 = r 2 + 1 = 0 . Roots r = ± i r = \pm i r = ± i .
Here α = 0 \alpha = 0 α = 0 , β = 1 \beta = 1 β = 1 .
y = c 1 cos ( ln x ) + c 2 sin ( ln x ) y = c_1 \cos(\ln x) + c_2 \sin(\ln x) y = c 1 cos ( ln x ) + c 2 sin ( ln x ) . ■ \blacksquare ■
For y ( n ) + a n − 1 y ( n − 1 ) + ⋯ + a 1 y ′ + a 0 y = 0 y^{(n)} + a_{n-1}y^{(n-1)} + \cdots + a_1 y' + a_0 y = 0 y ( n ) + a n − 1 y ( n − 1 ) + ⋯ + a 1 y ′ + a 0 y = 0 :
Characteristic equation r n + a n − 1 r n − 1 + ⋯ + a 0 = 0 r^n + a_{n-1}r^{n-1} + \cdots + a_0 = 0 r n + a n − 1 r n − 1 + ⋯ + a 0 = 0 . For root r r r of multiplicity m m m : include e r x , x e r x , … , x m − 1 e r x e^{rx}, xe^{rx}, \ldots, x^{m-1}e^{rx} e r x , x e r x , … , x m − 1 e r x . For complex roots α ± i β \alpha \pm i\beta α ± i β of multiplicity m m m : include e α x x k cos ( β x ) e^{\alpha x} x^k \cos(\beta x) e α x x k cos ( β x ) and e α x x k sin ( β x ) e^{\alpha x} x^k \sin(\beta x) e α x x k sin ( β x ) for k = 0 , … , m − 1 k = 0, \ldots, m - 1 k = 0 , … , m − 1 . A mass m m m on a spring with spring constant k k k and damping coefficient c c c Subject to external force F ( t ) F(t) F ( t ) Satisfies
m x ′ ′ + c x ′ + k x = F ( t ) mx'' + cx' + kx = F(t) m x ′′ + c x ′ + k x = F ( t )
Dividing by m m m and setting ω 0 = k / m \omega_0 = \sqrt{k/m} ω 0 = k / m , γ = c / ( 2 m ) \gamma = c/(2m) γ = c / ( 2 m ) :
x ′ ′ + 2 γ x ′ + ω 0 2 x = F ( t ) m x'' + 2\gamma x' + \omega_0^2 x = \frac{F(t)}{m} x ′′ + 2 γ x ′ + ω 0 2 x = m F ( t )
The homogeneous solution depends on the discriminant γ 2 − ω 0 2 \gamma^2 - \omega_0^2 γ 2 − ω 0 2 :
Condition Type Homogeneous Solution γ 2 < ω 0 2 \gamma^2 \lt \omega_0^2 γ 2 < ω 0 2 Underdamped e − γ t ( c 1 cos ( ω d t ) + c 2 sin ( ω d t ) ) e^{-\gamma t}(c_1 \cos(\omega_d t) + c_2 \sin(\omega_d t)) e − γ t ( c 1 cos ( ω d t ) + c 2 sin ( ω d t )) , ω d = ω 0 2 − γ 2 \omega_d = \sqrt{\omega_0^2 - \gamma^2} ω d = ω 0 2 − γ 2 γ 2 = ω 0 2 \gamma^2 = \omega_0^2 γ 2 = ω 0 2 Critical e − γ t ( c 1 + c 2 t ) e^{-\gamma t}(c_1 + c_2 t) e − γ t ( c 1 + c 2 t ) γ 2 > ω 0 2 \gamma^2 > \omega_0^2 γ 2 > ω 0 2 Overdamped c 1 e r 1 t + c 2 e r 2 t c_1 e^{r_1 t} + c_2 e^{r_2 t} c 1 e r 1 t + c 2 e r 2 t , r 1 , 2 = − γ ± γ 2 − ω 0 2 r_{1,2} = -\gamma \pm \sqrt{\gamma^2 - \omega_0^2} r 1 , 2 = − γ ± γ 2 − ω 0 2
:::caution Common Pitfall When using undetermined coefficients, always check whether your guess Overlaps with the homogeneous solution. For y ′ ′ − 4 y = e 2 x y'' - 4y = e^{2x} y ′′ − 4 y = e 2 x Guessing y p = A e 2 x y_p = Ae^{2x} y p = A e 2 x fails Because e 2 x e^{2x} e 2 x satisfies the homogeneous equation. You must use y p = A x e 2 x y_p = Axe^{2x} y p = A x e 2 x instead. :::
:::caution Common Pitfall For Euler-Cauchy equations, the substitution y = x r y = x^r y = x r only works for x > 0 x > 0 x > 0 . For x < 0 x < 0 x < 0 Substitute x = − e t x = -e^t x = − e t or use y = ( − x ) r y = (-x)^r y = ( − x ) r . :::
:::caution Common Pitfall Variation of parameters always works but can lead to difficult integrals. If the forcing term g ( x ) g(x) g ( x ) is a polynomial, exponential, sine, or cosine (or products of these), Prefer undetermined coefficients --- it is much faster. :::
Theorem 3.6 (Abel’s Identity). If y 1 , y 2 y_1, y_2 y 1 , y 2 are solutions of y ′ ′ + p ( x ) y ′ + q ( x ) y = 0 y'' + p(x)y' + q(x)y = 0 y ′′ + p ( x ) y ′ + q ( x ) y = 0 Then their Wronskian satisfies
W ( x ) = W ( x 0 ) e − ∫ x 0 x p ( t ) d t W(x) = W(x_0) e^{-\int_{x_0}^x p(t)\, dt} W ( x ) = W ( x 0 ) e − ∫ x 0 x p ( t ) d t
Proof. Since y 1 , y 2 y_1, y_2 y 1 , y 2 satisfy the ODE:
y 1 ′ ′ = − p y 1 ′ − q y 1 y_1'' = -py_1' - qy_1 y 1 ′′ = − p y 1 ′ − q y 1 and y 2 ′ ′ = − p y 2 ′ − q y 2 y_2'' = -py_2' - qy_2 y 2 ′′ = − p y 2 ′ − q y 2 .
W ′ = y 1 y 2 ′ ′ + y 1 ′ y 2 ′ − y 1 ′ ′ y 2 − y 1 ′ y 2 ′ W' = y_1 y_2'' + y_1' y_2' - y_1'' y_2 - y_1' y_2' W ′ = y 1 y 2 ′′ + y 1 ′ y 2 ′ − y 1 ′′ y 2 − y 1 ′ y 2 ′
= y 1 ( − p y 2 ′ − q y 2 ) − ( − p y 1 ′ − q y 1 ) y 2 = y_1(-py_2' - qy_2) - (-py_1' - qy_1)y_2 = y 1 ( − p y 2 ′ − q y 2 ) − ( − p y 1 ′ − q y 1 ) y 2
= − p ( y 1 y 2 ′ − y 1 ′ y 2 ) = − p W = -p(y_1 y_2' - y_1' y_2) = -pW = − p ( y 1 y 2 ′ − y 1 ′ y 2 ) = − p W .
So W ′ + p W = 0 W' + pW = 0 W ′ + p W = 0 Giving W = C e − ∫ p d x W = Ce^{-\int p\, dx} W = C e − ∫ p d x And evaluating at x 0 x_0 x 0 gives the result. ■ \blacksquare ■
Corollary. W ( x ) W(x) W ( x ) is either identically zero or never zero.
Problem. Solve y ′ ′ − 4 y = x e x y'' - 4y = xe^x y ′′ − 4 y = x e x using variation of parameters.
Solution Solution. Homogeneous: r 2 − 4 = 0 r^2 - 4 = 0 r 2 − 4 = 0 , r = ± 2 r = \pm 2 r = ± 2 . y 1 = e 2 x y_1 = e^{2x} y 1 = e 2 x , y 2 = e − 2 x y_2 = e^{-2x} y 2 = e − 2 x .
W = e 2 x ( − 2 e − 2 x ) − e − 2 x ( 2 e 2 x ) = − 4 W = e^{2x}(-2e^{-2x}) - e^{-2x}(2e^{2x}) = -4 W = e 2 x ( − 2 e − 2 x ) − e − 2 x ( 2 e 2 x ) = − 4 .
u 1 ′ = − y 2 g W = − e − 2 x ⋅ x e x − 4 = x e − x 4 u_1' = -\frac{y_2 g}{W} = -\frac{e^{-2x} \cdot xe^x}{-4} = \frac{xe^{-x}}{4} u 1 ′ = − W y 2 g = − − 4 e − 2 x ⋅ x e x = 4 x e − x .
u 1 = 1 4 ∫ x e − x d x = 1 4 ( − x e − x − e − x ) + C 1 = − ( x + 1 ) e − x 4 u_1 = \frac{1}{4}\int xe^{-x}\, dx = \frac{1}{4}(-xe^{-x} - e^{-x}) + C_1 = -\frac{(x+1)e^{-x}}{4} u 1 = 4 1 ∫ x e − x d x = 4 1 ( − x e − x − e − x ) + C 1 = − 4 ( x + 1 ) e − x .
u 2 ′ = y 1 g W = e 2 x ⋅ x e x − 4 = − x e 3 x 4 u_2' = \frac{y_1 g}{W} = \frac{e^{2x} \cdot xe^x}{-4} = -\frac{xe^{3x}}{4} u 2 ′ = W y 1 g = − 4 e 2 x ⋅ x e x = − 4 x e 3 x .
u 2 = − 1 4 ∫ x e 3 x d x = − 1 4 ( x e 3 x 3 − e 3 x 9 ) + C 2 = − ( 3 x − 1 ) e 3 x 36 u_2 = -\frac{1}{4}\int xe^{3x}\, dx = -\frac{1}{4}\left(\frac{xe^{3x}}{3} - \frac{e^{3x}}{9}\right) + C_2 = -\frac{(3x - 1)e^{3x}}{36} u 2 = − 4 1 ∫ x e 3 x d x = − 4 1 ( 3 x e 3 x − 9 e 3 x ) + C 2 = − 36 ( 3 x − 1 ) e 3 x .
y p = u 1 y 1 + u 2 y 2 = − ( x + 1 ) e − x 4 ⋅ e 2 x + ( − ( 3 x − 1 ) e 3 x 36 ) ⋅ e − 2 x y_p = u_1 y_1 + u_2 y_2 = -\frac{(x+1)e^{-x}}{4} \cdot e^{2x} + \left(-\frac{(3x-1)e^{3x}}{36}\right) \cdot e^{-2x} y p = u 1 y 1 + u 2 y 2 = − 4 ( x + 1 ) e − x ⋅ e 2 x + ( − 36 ( 3 x − 1 ) e 3 x ) ⋅ e − 2 x
= − ( x + 1 ) e x 4 − ( 3 x − 1 ) e x 36 = e x ( − 9 ( x + 1 ) 36 − 3 x − 1 36 ) = e x ( − 9 x − 9 − 3 x + 1 36 ) = − ( x + 2 ) e x 9 = -\frac{(x+1)e^x}{4} - \frac{(3x-1)e^x}{36} = e^x\left(-\frac{9(x+1)}{36} - \frac{3x - 1}{36}\right) = e^x\left(\frac{-9x - 9 - 3x + 1}{36}\right) = -\frac{(x + 2)e^x}{9} = − 4 ( x + 1 ) e x − 36 ( 3 x − 1 ) e x = e x ( − 36 9 ( x + 1 ) − 36 3 x − 1 ) = e x ( 36 − 9 x − 9 − 3 x + 1 ) = − 9 ( x + 2 ) e x .
y = c 1 e 2 x + c 2 e − 2 x − ( x + 2 ) e x 9 y = c_1 e^{2x} + c_2 e^{-2x} - \frac{(x+2)e^x}{9} y = c 1 e 2 x + c 2 e − 2 x − 9 ( x + 2 ) e x . ■ \blacksquare ■
## 4. Systems of ODEs
A system of first-order linear ODEs can be written in matrix form:
x ′ = A x + f ( t ) \mathbf{x}' = A\mathbf{x} + \mathbf{f}(t) x ′ = A x + f ( t )
Where A A A is an n × n n \times n n × n matrix and x , f ∈ R n \mathbf{x}, \mathbf{f} \in \mathbb{R}^n x , f ∈ R n .
For x ′ = A x \mathbf{x}' = A\mathbf{x} x ′ = A x Try x = v e λ t \mathbf{x} = \mathbf{v}e^{\lambda t} x = v e λ t :
λ v = A v \lambda \mathbf{v} = A\mathbf{v} λ v = A v
So λ \lambda λ is an eigenvalue of A A A and v \mathbf{v} v is the corresponding eigenvector.
Case 1: A A A has n n n distinct real eigenvalues. The general solution is
x = c 1 v 1 e λ 1 t + ⋯ + c n v n e λ n t \mathbf{x} = c_1 \mathbf{v}_1 e^{\lambda_1 t} + \cdots + c_n \mathbf{v}_n e^{\lambda_n t} x = c 1 v 1 e λ 1 t + ⋯ + c n v n e λ n t
Case 2: A A A has a repeated eigenvalue λ \lambda λ with algebraic multiplicity m m m and geometric Multiplicity k < m k \lt m k < m . Include terms involving t j e λ t t^j e^{\lambda t} t j e λ t where generalized Eigenvectors fill out the solution space.
Case 3: Complex eigenvalues λ = α ± i β \lambda = \alpha \pm i\beta λ = α ± i β with eigenvector v = a ± i b \mathbf{v} = \mathbf{a} \pm i\mathbf{b} v = a ± i b . The real solutions are e α t ( a cos ( β t ) − b sin ( β t ) ) e^{\alpha t}(\mathbf{a}\cos(\beta t) - \mathbf{b}\sin(\beta t)) e α t ( a cos ( β t ) − b sin ( β t )) and e α t ( a sin ( β t ) + b cos ( β t ) ) e^{\alpha t}(\mathbf{a}\sin(\beta t) + \mathbf{b}\cos(\beta t)) e α t ( a sin ( β t ) + b cos ( β t )) .
Definition. e A t = ∑ k = 0 ∞ A k t k k ! e^{At} = \sum_{k=0}^{\infty} \frac{A^k t^k}{k!} e A t = ∑ k = 0 ∞ k ! A k t k .
Theorem 4.1. The solution to x ′ = A x \mathbf{x}' = A\mathbf{x} x ′ = A x with x ( 0 ) = x 0 \mathbf{x}(0) = \mathbf{x}_0 x ( 0 ) = x 0 is x ( t ) = e A t x 0 \mathbf{x}(t) = e^{At}\mathbf{x}_0 x ( t ) = e A t x 0 .
Proposition 4.2. If A A A is diagonalizable as A = P D P − 1 A = PDP^{-1} A = P D P − 1 Then e A t = P e D t P − 1 e^{At} = Pe^{Dt}P^{-1} e A t = P e D t P − 1 Where e D t = d i a g ( e λ 1 t , … , e λ n t ) e^{Dt} = \mathrm{diag}(e^{\lambda_1 t}, \ldots, e^{\lambda_n t}) e D t = diag ( e λ 1 t , … , e λ n t ) .
Problem. Solve x ′ = ( 0 1 − 2 − 3 ) x \mathbf{x}' = \begin{pmatrix} 0 & 1 \\ -2 & -3 \end{pmatrix}\mathbf{x} x ′ = ( 0 − 2 1 − 3 ) x .
Solution. Characteristic equation: det ( A − λ I ) = λ 2 + 3 λ + 2 = ( λ + 1 ) ( λ + 2 ) = 0 \det(A - \lambda I) = \lambda^2 + 3\lambda + 2 = (\lambda + 1)(\lambda + 2) = 0 det ( A − λ I ) = λ 2 + 3 λ + 2 = ( λ + 1 ) ( λ + 2 ) = 0 . Eigenvalues: λ 1 = − 1 \lambda_1 = -1 λ 1 = − 1 , λ 2 = − 2 \lambda_2 = -2 λ 2 = − 2 .
For λ 1 = − 1 \lambda_1 = -1 λ 1 = − 1 : ( A + I ) v = ( 1 1 − 2 − 2 ) v = 0 (A + I)\mathbf{v} = \begin{pmatrix} 1 & 1 \\ -2 & -2 \end{pmatrix}\mathbf{v} = \mathbf{0} ( A + I ) v = ( 1 − 2 1 − 2 ) v = 0 . v 1 = ( 1 − 1 ) \mathbf{v}_1 = \begin{pmatrix} 1 \\ -1 \end{pmatrix} v 1 = ( 1 − 1 ) .
For λ 2 = − 2 \lambda_2 = -2 λ 2 = − 2 : ( A + 2 I ) v = ( 2 1 − 2 − 1 ) v = 0 (A + 2I)\mathbf{v} = \begin{pmatrix} 2 & 1 \\ -2 & -1 \end{pmatrix}\mathbf{v} = \mathbf{0} ( A + 2 I ) v = ( 2 − 2 1 − 1 ) v = 0 . v 2 = ( 1 − 2 ) \mathbf{v}_2 = \begin{pmatrix} 1 \\ -2 \end{pmatrix} v 2 = ( 1 − 2 ) .
x ( t ) = c 1 ( 1 − 1 ) e − t + c 2 ( 1 − 2 ) e − 2 t \mathbf{x}(t) = c_1 \begin{pmatrix} 1 \\ -1 \end{pmatrix} e^{-t} + c_2 \begin{pmatrix} 1 \\ -2 \end{pmatrix} e^{-2t} x ( t ) = c 1 ( 1 − 1 ) e − t + c 2 ( 1 − 2 ) e − 2 t . ■ \blacksquare ■
Problem. Solve x ′ = ( 0 − 2 1 0 ) x \mathbf{x}' = \begin{pmatrix} 0 & -2 \\ 1 & 0 \end{pmatrix}\mathbf{x} x ′ = ( 0 1 − 2 0 ) x .
Solution Solution. det ( A − λ I ) = λ 2 + 2 = 0 \det(A - \lambda I) = \lambda^2 + 2 = 0 det ( A − λ I ) = λ 2 + 2 = 0 . Eigenvalues: λ = ± i 2 \lambda = \pm i\sqrt{2} λ = ± i 2 .
For λ = i 2 \lambda = i\sqrt{2} λ = i 2 : ( − i 2 − 2 1 − i 2 ) v = 0 \begin{pmatrix} -i\sqrt{2} & -2 \\ 1 & -i\sqrt{2} \end{pmatrix}\mathbf{v} = \mathbf{0} ( − i 2 1 − 2 − i 2 ) v = 0 .
From the first row: − i 2 v 1 − 2 v 2 = 0 -i\sqrt{2}\, v_1 - 2v_2 = 0 − i 2 v 1 − 2 v 2 = 0 So v 2 = − i 2 2 v 1 v_2 = -\frac{i\sqrt{2}}{2}v_1 v 2 = − 2 i 2 v 1 .
With v 1 = 2 v_1 = 2 v 1 = 2 : v = ( 2 0 ) + i ( 0 − 2 ) \mathbf{v} = \begin{pmatrix} 2 \\ 0 \end{pmatrix} + i\begin{pmatrix} 0 \\ -\sqrt{2} \end{pmatrix} v = ( 2 0 ) + i ( 0 − 2 ) .
So a = ( 2 0 ) \mathbf{a} = \begin{pmatrix} 2 \\ 0 \end{pmatrix} a = ( 2 0 ) , b = ( 0 − 2 ) \mathbf{b} = \begin{pmatrix} 0 \\ -\sqrt{2} \end{pmatrix} b = ( 0 − 2 ) .
x ( t ) = c 1 [ a cos ( 2 t ) − b sin ( 2 t ) ] + c 2 [ a sin ( 2 t ) + b cos ( 2 t ) ] \mathbf{x}(t) = c_1\left[\mathbf{a}\cos(\sqrt{2}\, t) - \mathbf{b}\sin(\sqrt{2}\, t)\right] + c_2\left[\mathbf{a}\sin(\sqrt{2}\, t) + \mathbf{b}\cos(\sqrt{2}\, t)\right] x ( t ) = c 1 [ a cos ( 2 t ) − b sin ( 2 t ) ] + c 2 [ a sin ( 2 t ) + b cos ( 2 t ) ]
= c 1 ( 2 cos ( 2 t ) 2 sin ( 2 t ) ) + c 2 ( 2 sin ( 2 t ) − 2 cos ( 2 t ) ) = c_1 \begin{pmatrix} 2\cos(\sqrt{2}\, t) \\ \sqrt{2}\sin(\sqrt{2}\, t) \end{pmatrix} + c_2 \begin{pmatrix} 2\sin(\sqrt{2}\, t) \\ -\sqrt{2}\cos(\sqrt{2}\, t) \end{pmatrix} = c 1 ( 2 cos ( 2 t ) 2 sin ( 2 t ) ) + c 2 ( 2 sin ( 2 t ) − 2 cos ( 2 t ) ) . ■ \blacksquare ■
Problem. Solve x ′ = ( 2 1 − 1 4 ) x \mathbf{x}' = \begin{pmatrix} 2 & 1 \\ -1 & 4 \end{pmatrix}\mathbf{x} x ′ = ( 2 − 1 1 4 ) x .
Solution Solution. det ( A − λ I ) = ( 2 − λ ) ( 4 − λ ) + 1 = λ 2 − 6 λ + 9 = ( λ − 3 ) 2 = 0 \det(A - \lambda I) = (2 - \lambda)(4 - \lambda) + 1 = \lambda^2 - 6\lambda + 9 = (\lambda - 3)^2 = 0 det ( A − λ I ) = ( 2 − λ ) ( 4 − λ ) + 1 = λ 2 − 6 λ + 9 = ( λ − 3 ) 2 = 0 .
Repeated eigenvalue λ = 3 \lambda = 3 λ = 3 with algebraic multiplicity 2.
( A − 3 I ) = ( − 1 1 − 1 1 ) (A - 3I) = \begin{pmatrix} -1 & 1 \\ -1 & 1 \end{pmatrix} ( A − 3 I ) = ( − 1 − 1 1 1 ) .
Eigenvector: ( 1 1 ) \begin{pmatrix} 1 \\ 1 \end{pmatrix} ( 1 1 ) . Only one eigenvector (geometric multiplicity 1), so we need a generalized eigenvector.
Find w \mathbf{w} w such that ( A − 3 I ) w = v 1 = ( 1 1 ) (A - 3I)\mathbf{w} = \mathbf{v}_1 = \begin{pmatrix} 1 \\ 1 \end{pmatrix} ( A − 3 I ) w = v 1 = ( 1 1 ) :
( − 1 1 − 1 1 ) ( w 1 w 2 ) = ( 1 1 ) \begin{pmatrix} -1 & 1 \\ -1 & 1 \end{pmatrix}\begin{pmatrix} w_1 \\ w_2 \end{pmatrix} = \begin{pmatrix} 1 \\ 1 \end{pmatrix} ( − 1 − 1 1 1 ) ( w 1 w 2 ) = ( 1 1 )
− w 1 + w 2 = 1 -w_1 + w_2 = 1 − w 1 + w 2 = 1 . Choose w 1 = 0 w_1 = 0 w 1 = 0 Then w 2 = 1 w_2 = 1 w 2 = 1 . So w = ( 0 1 ) \mathbf{w} = \begin{pmatrix} 0 \\ 1 \end{pmatrix} w = ( 0 1 ) .
x ( t ) = c 1 ( 1 1 ) e 3 t + c 2 [ ( 1 1 ) t e 3 t + ( 0 1 ) e 3 t ] \mathbf{x}(t) = c_1 \begin{pmatrix} 1 \\ 1 \end{pmatrix} e^{3t} + c_2 \left[\begin{pmatrix} 1 \\ 1 \end{pmatrix} t e^{3t} + \begin{pmatrix} 0 \\ 1 \end{pmatrix} e^{3t}\right] x ( t ) = c 1 ( 1 1 ) e 3 t + c 2 [ ( 1 1 ) t e 3 t + ( 0 1 ) e 3 t ]
= e 3 t [ c 1 ( 1 1 ) + c 2 ( t t + 1 ) ] = e^{3t}\left[c_1 \begin{pmatrix} 1 \\ 1 \end{pmatrix} + c_2 \begin{pmatrix} t \\ t + 1 \end{pmatrix}\right] = e 3 t [ c 1 ( 1 1 ) + c 2 ( t t + 1 ) ] . ■ \blacksquare ■
Definition. A fundamental matrix Φ ( t ) \Phi(t) Φ ( t ) for the system x ′ = A x \mathbf{x}' = A\mathbf{x} x ′ = A x is an n × n n \times n n × n matrix whose columns form a fundamental set of solutions.
Proposition 4.3. Φ ( t ) \Phi(t) Φ ( t ) satisfies Φ ′ = A Φ \Phi' = A\Phi Φ ′ = A Φ And the general solution is x ( t ) = Φ ( t ) c \mathbf{x}(t) = \Phi(t)\mathbf{c} x ( t ) = Φ ( t ) c for c ∈ R n \mathbf{c} \in \mathbb{R}^n c ∈ R n .
Proposition 4.4. The matrix exponential e A t e^{At} e A t is a fundamental matrix with e A ⋅ 0 = I e^{A \cdot 0} = I e A ⋅ 0 = I . Any fundamental matrix can be written as Φ ( t ) = e A t Φ ( 0 ) \Phi(t) = e^{At}\Phi(0) Φ ( t ) = e A t Φ ( 0 ) .
Theorem 4.5. The matrix exponential satisfies:
e A ⋅ 0 = I e^{A \cdot 0} = I e A ⋅ 0 = I d d t e A t = A e A t = e A t A \frac{d}{dt}e^{At} = Ae^{At} = e^{At}A d t d e A t = A e A t = e A t A e A t e A s = e A ( t + s ) e^{At}e^{As} = e^{A(t+s)} e A t e A s = e A ( t + s ) ( e A t ) − 1 = e − A t (e^{At})^{-1} = e^{-At} ( e A t ) − 1 = e − A t If A B = B A AB = BA A B = B A Then e A + B = e A e B e^{A+B} = e^A e^B e A + B = e A e B Proof of (1). e A ⋅ 0 = ∑ k = 0 ∞ A k 0 k k ! = I e^{A \cdot 0} = \sum_{k=0}^{\infty} \frac{A^k 0^k}{k!} = I e A ⋅ 0 = ∑ k = 0 ∞ k ! A k 0 k = I . ■ \blacksquare ■
Proof of (2). d d t e A t = ∑ k = 1 ∞ A k t k − 1 ( k − 1 ) ! = A ∑ j = 0 ∞ A j t j j ! = A e A t \frac{d}{dt}e^{At} = \sum_{k=1}^{\infty} \frac{A^k t^{k-1}}{(k-1)!} = A\sum_{j=0}^{\infty} \frac{A^j t^j}{j!} = Ae^{At} d t d e A t = ∑ k = 1 ∞ ( k − 1 )! A k t k − 1 = A ∑ j = 0 ∞ j ! A j t j = A e A t . Since A A A commutes with itself, A e A t = e A t A Ae^{At} = e^{At}A A e A t = e A t A . ■ \blacksquare ■
Proof of (4). From (3) with s = − t s = -t s = − t : e A t e − A t = e A ( t − t ) = e 0 = I e^{At}e^{-At} = e^{A(t-t)} = e^0 = I e A t e − A t = e A ( t − t ) = e 0 = I . ■ \blacksquare ■
For the linear system x ′ = A x \mathbf{x}' = A\mathbf{x} x ′ = A x with A A A a 2 × 2 2 \times 2 2 × 2 matrix, the qualitative Behaviour near the origin is determined by the eigenvalues:
Eigenvalues Phase Portrait Stability λ 1 , λ 2 < 0 \lambda_1, \lambda_2 \lt 0 λ 1 , λ 2 < 0 Real, distinctStable node Asymptotically stable λ 1 , λ 2 > 0 \lambda_1, \lambda_2 > 0 λ 1 , λ 2 > 0 Real, distinctUnstable node Unstable λ 1 < 0 < λ 2 \lambda_1 \lt 0 \lt \lambda_2 λ 1 < 0 < λ 2 Saddle point Unstable λ = α ± i β \lambda = \alpha \pm i\beta λ = α ± i β , α < 0 \alpha \lt 0 α < 0 Stable spiral Asymptotically stable λ = α ± i β \lambda = \alpha \pm i\beta λ = α ± i β , α > 0 \alpha > 0 α > 0 Unstable spiral Unstable λ = ± i β \lambda = \pm i\beta λ = ± i β Center (Marginally) stable
Remark. The trace-determinant plane provides a convenient classification. Let τ = t r ( A ) \tau = \mathrm{tr}(A) τ = tr ( A ) and Δ = det ( A ) \Delta = \det(A) Δ = det ( A ) . The eigenvalues satisfy λ 2 − τ λ + Δ = 0 \lambda^2 - \tau\lambda + \Delta = 0 λ 2 − τ λ + Δ = 0 So:
λ = τ ± τ 2 − 4 Δ 2 \lambda = \frac{\tau \pm \sqrt{\tau^2 - 4\Delta}}{2} λ = 2 τ ± τ 2 − 4Δ
τ 2 − 4 Δ > 0 \tau^2 - 4\Delta > 0 τ 2 − 4Δ > 0 : real eigenvalues (node or saddle)τ 2 − 4 Δ < 0 \tau^2 - 4\Delta \lt 0 τ 2 − 4Δ < 0 : complex eigenvalues (spiral or center)τ 2 − 4 Δ = 0 \tau^2 - 4\Delta = 0 τ 2 − 4Δ = 0 : repeated eigenvalues (proper or improper node)Stability is determined by the sign of τ \tau τ : stable if τ < 0 \tau \lt 0 τ < 0 Unstable if τ > 0 \tau > 0 τ > 0 .
For x ′ = A x + f ( t ) \mathbf{x}' = A\mathbf{x} + \mathbf{f}(t) x ′ = A x + f ( t ) If Φ ( t ) \Phi(t) Φ ( t ) is a fundamental matrix for the Homogeneous system, the general solution is
x ( t ) = Φ ( t ) c + Φ ( t ) ∫ Φ − 1 ( s ) f ( s ) d s \mathbf{x}(t) = \Phi(t)\mathbf{c} + \Phi(t)\int \Phi^{-1}(s)\mathbf{f}(s)\, ds x ( t ) = Φ ( t ) c + Φ ( t ) ∫ Φ − 1 ( s ) f ( s ) d s
Worked Example. Solve x ′ = ( 1 0 0 2 ) x + ( e t 0 ) \mathbf{x}' = \begin{pmatrix} 1 & 0 \\ 0 & 2 \end{pmatrix}\mathbf{x} + \begin{pmatrix} e^t \\ 0 \end{pmatrix} x ′ = ( 1 0 0 2 ) x + ( e t 0 ) .
Solution Solution. Eigenvalues: 1 1 1 and 2 2 2 . Φ ( t ) = ( e t 0 0 e 2 t ) \Phi(t) = \begin{pmatrix} e^t & 0 \\ 0 & e^{2t} \end{pmatrix} Φ ( t ) = ( e t 0 0 e 2 t ) .
Φ − 1 ( s ) = ( e − s 0 0 e − 2 s ) \Phi^{-1}(s) = \begin{pmatrix} e^{-s} & 0 \\ 0 & e^{-2s} \end{pmatrix} Φ − 1 ( s ) = ( e − s 0 0 e − 2 s ) .
Φ − 1 ( s ) f ( s ) = ( e − s 0 0 e − 2 s ) ( e s 0 ) = ( 1 0 ) \Phi^{-1}(s)\mathbf{f}(s) = \begin{pmatrix} e^{-s} & 0 \\ 0 & e^{-2s} \end{pmatrix}\begin{pmatrix} e^s \\ 0 \end{pmatrix} = \begin{pmatrix} 1 \\ 0 \end{pmatrix} Φ − 1 ( s ) f ( s ) = ( e − s 0 0 e − 2 s ) ( e s 0 ) = ( 1 0 ) .
∫ Φ − 1 ( s ) f ( s ) d s = ( t 0 ) \int \Phi^{-1}(s)\mathbf{f}(s)\, ds = \begin{pmatrix} t \\ 0 \end{pmatrix} ∫ Φ − 1 ( s ) f ( s ) d s = ( t 0 ) .
x p = Φ ( t ) ( t 0 ) = ( t e t 0 ) \mathbf{x}_p = \Phi(t)\begin{pmatrix} t \\ 0 \end{pmatrix} = \begin{pmatrix} te^t \\ 0 \end{pmatrix} x p = Φ ( t ) ( t 0 ) = ( t e t 0 ) .
x ( t ) = c 1 ( e t 0 ) + c 2 ( 0 e 2 t ) + ( t e t 0 ) \mathbf{x}(t) = c_1 \begin{pmatrix} e^t \\ 0 \end{pmatrix} + c_2 \begin{pmatrix} 0 \\ e^{2t} \end{pmatrix} + \begin{pmatrix} te^t \\ 0 \end{pmatrix} x ( t ) = c 1 ( e t 0 ) + c 2 ( 0 e 2 t ) + ( t e t 0 ) . ■ \blacksquare ■
## 5. Laplace Transforms
The Laplace transform of f ( t ) f(t) f ( t ) (defined for t ≥ 0 t \geq 0 t ≥ 0 ) is
L { f ( t ) } = F ( s ) = ∫ 0 ∞ e − s t f ( t ) d t \mathcal{L}\{f(t)\} = F(s) = \int_0^{\infty} e^{-st} f(t)\, dt L { f ( t )} = F ( s ) = ∫ 0 ∞ e − s t f ( t ) d t
The transform exists when f f f is piecewise continuous on [ 0 , ∞ ) [0, \infty) [ 0 , ∞ ) and of exponential order : ∣ f ( t ) ∣ ≤ M e a t |f(t)| \leq Me^{at} ∣ f ( t ) ∣ ≤ M e a t for some M , a > 0 M, a > 0 M , a > 0 .
Theorem 5.1 (Linearity). L { a f + b g } = a L { f } + b L { g } \mathcal{L}\{af + bg\} = a\mathcal{L}\{f\} + b\mathcal{L}\{g\} L { a f + b g } = a L { f } + b L { g } .
Theorem 5.2 (First Shifting). L { e a t f ( t ) } = F ( s − a ) \mathcal{L}\{e^{at}f(t)\} = F(s - a) L { e a t f ( t )} = F ( s − a ) .
Theorem 5.3 (Second Shifting). L { u c ( t ) f ( t − c ) } = e − c s F ( s ) \mathcal{L}\{u_c(t)f(t - c)\} = e^{-cs}F(s) L { u c ( t ) f ( t − c )} = e − cs F ( s ) Where u c ( t ) u_c(t) u c ( t ) is The unit step function.
Theorem 5.4 (Derivative). L { f ′ ( t ) } = s F ( s ) − f ( 0 ) \mathcal{L}\{f'(t)\} = sF(s) - f(0) L { f ′ ( t )} = s F ( s ) − f ( 0 ) .
Theorem 5.5 (n-th Derivative). L { f ( n ) ( t ) } = s n F ( s ) − s n − 1 f ( 0 ) − ⋯ − f ( n − 1 ) ( 0 ) \mathcal{L}\{f^{(n)}(t)\} = s^n F(s) - s^{n-1}f(0) - \cdots - f^{(n-1)}(0) L { f ( n ) ( t )} = s n F ( s ) − s n − 1 f ( 0 ) − ⋯ − f ( n − 1 ) ( 0 ) .
Theorem 5.6 (Integration). L { ∫ 0 t f ( τ ) d τ } = F ( s ) s \mathcal{L}\left\{\int_0^t f(\tau)\, d\tau\right\} = \frac{F(s)}{s} L { ∫ 0 t f ( τ ) d τ } = s F ( s ) .
Theorem 5.7 (Convolution). L { f ∗ g } = F ( s ) G ( s ) \mathcal{L}\{f * g\} = F(s)G(s) L { f ∗ g } = F ( s ) G ( s ) Where ( f ∗ g ) ( t ) = ∫ 0 t f ( τ ) g ( t − τ ) d τ (f * g)(t) = \int_0^t f(\tau)g(t - \tau)\, d\tau ( f ∗ g ) ( t ) = ∫ 0 t f ( τ ) g ( t − τ ) d τ .
Proof of Linearity. L { a f + b g } = ∫ 0 ∞ e − s t [ a f ( t ) + b g ( t ) ] d t = a ∫ 0 ∞ e − s t f ( t ) d t + b ∫ 0 ∞ e − s t g ( t ) d t = a F ( s ) + b G ( s ) \mathcal{L}\{af + bg\} = \int_0^{\infty} e^{-st}[af(t) + bg(t)]\, dt = a\int_0^{\infty} e^{-st}f(t)\, dt + b\int_0^{\infty} e^{-st}g(t)\, dt = aF(s) + bG(s) L { a f + b g } = ∫ 0 ∞ e − s t [ a f ( t ) + b g ( t )] d t = a ∫ 0 ∞ e − s t f ( t ) d t + b ∫ 0 ∞ e − s t g ( t ) d t = a F ( s ) + b G ( s ) . ■ \blacksquare ■
Proof of First Shifting Theorem. L { e a t f ( t ) } = ∫ 0 ∞ e − s t e a t f ( t ) d t = ∫ 0 ∞ e − ( s − a ) t f ( t ) d t = F ( s − a ) \mathcal{L}\{e^{at}f(t)\} = \int_0^{\infty} e^{-st} e^{at} f(t)\, dt = \int_0^{\infty} e^{-(s-a)t} f(t)\, dt = F(s - a) L { e a t f ( t )} = ∫ 0 ∞ e − s t e a t f ( t ) d t = ∫ 0 ∞ e − ( s − a ) t f ( t ) d t = F ( s − a ) . ■ \blacksquare ■
Proof of Derivative Property. Integrating by parts with u = e − s t u = e^{-st} u = e − s t , d v = f ′ ( t ) d t dv = f'(t)\, dt d v = f ′ ( t ) d t :
L { f ′ ( t ) } = [ e − s t f ( t ) ] 0 ∞ + s ∫ 0 ∞ e − s t f ( t ) d t = − f ( 0 ) + s F ( s ) = s F ( s ) − f ( 0 ) \mathcal{L}\{f'(t)\} = \left[e^{-st}f(t)\right]_0^{\infty} + s\int_0^{\infty} e^{-st}f(t)\, dt = -f(0) + sF(s) = sF(s) - f(0) L { f ′ ( t )} = [ e − s t f ( t ) ] 0 ∞ + s ∫ 0 ∞ e − s t f ( t ) d t = − f ( 0 ) + s F ( s ) = s F ( s ) − f ( 0 ) .
The boundary term vanishes at ∞ \infty ∞ because f f f is of exponential order. ■ \blacksquare ■
Proof of Integration Property. Let g ( t ) = ∫ 0 t f ( τ ) d τ g(t) = \int_0^t f(\tau)\, d\tau g ( t ) = ∫ 0 t f ( τ ) d τ . Then g ′ ( t ) = f ( t ) g'(t) = f(t) g ′ ( t ) = f ( t ) and g ( 0 ) = 0 g(0) = 0 g ( 0 ) = 0 . L { f ( t ) } = L { g ′ ( t ) } = s L { g ( t ) } − g ( 0 ) = s L { g ( t ) } \mathcal{L}\{f(t)\} = \mathcal{L}\{g'(t)\} = s\mathcal{L}\{g(t)\} - g(0) = s\mathcal{L}\{g(t)\} L { f ( t )} = L { g ′ ( t )} = s L { g ( t )} − g ( 0 ) = s L { g ( t )} . Therefore L { g ( t ) } = F ( s ) / s \mathcal{L}\{g(t)\} = F(s)/s L { g ( t )} = F ( s ) / s . ■ \blacksquare ■
f ( t ) f(t) f ( t ) F ( s ) = L { f ( t ) } F(s) = \mathcal{L}\{f(t)\} F ( s ) = L { f ( t )} 1 1 1 1 / s 1/s 1/ s t n t^n t n n ! / s n + 1 n!/s^{n+1} n ! / s n + 1 e a t e^{at} e a t 1 / ( s − a ) 1/(s - a) 1/ ( s − a ) t n e a t t^n e^{at} t n e a t n ! / ( s − a ) n + 1 n!/(s - a)^{n+1} n ! / ( s − a ) n + 1 sin ( b t ) \sin(bt) sin ( b t ) b / ( s 2 + b 2 ) b/(s^2 + b^2) b / ( s 2 + b 2 ) cos ( b t ) \cos(bt) cos ( b t ) s / ( s 2 + b 2 ) s/(s^2 + b^2) s / ( s 2 + b 2 ) e a t sin ( b t ) e^{at}\sin(bt) e a t sin ( b t ) b / ( ( s − a ) 2 + b 2 ) b/((s-a)^2 + b^2) b / (( s − a ) 2 + b 2 ) e a t cos ( b t ) e^{at}\cos(bt) e a t cos ( b t ) ( s − a ) / ( ( s − a ) 2 + b 2 ) (s-a)/((s-a)^2 + b^2) ( s − a ) / (( s − a ) 2 + b 2 ) u c ( t ) u_c(t) u c ( t ) e − c s / s e^{-cs}/s e − cs / s δ ( t − c ) \delta(t - c) δ ( t − c ) e − c s e^{-cs} e − cs
Procedure:
Take the Laplace transform of both sides of the ODE. Solve the resulting algebraic equation for Y ( s ) = L { y ( t ) } Y(s) = \mathcal{L}\{y(t)\} Y ( s ) = L { y ( t )} . Find the inverse Laplace transform to obtain y ( t ) y(t) y ( t ) . Problem. Solve y ′ ′ + 4 y = sin ( 2 t ) y'' + 4y = \sin(2t) y ′′ + 4 y = sin ( 2 t ) , y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution. Taking Laplace transforms:
s 2 Y + 4 Y = 2 s 2 + 4 s^2 Y + 4Y = \frac{2}{s^2 + 4} s 2 Y + 4 Y = s 2 + 4 2
( s 2 + 4 ) Y = 2 s 2 + 4 (s^2 + 4)Y = \frac{2}{s^2 + 4} ( s 2 + 4 ) Y = s 2 + 4 2
Y = 2 ( s 2 + 4 ) 2 Y = \frac{2}{(s^2 + 4)^2} Y = ( s 2 + 4 ) 2 2
To invert, use the convolution theorem: L − 1 { 1 s 2 + 4 } = 1 2 sin ( 2 t ) \mathcal{L}^{-1}\left\{\frac{1}{s^2 + 4}\right\} = \frac{1}{2}\sin(2t) L − 1 { s 2 + 4 1 } = 2 1 sin ( 2 t ) .
y ( t ) = 1 2 sin ( 2 t ) ∗ 1 2 sin ( 2 t ) = 1 4 ∫ 0 t sin ( 2 τ ) sin ( 2 ( t − τ ) ) d τ y(t) = \frac{1}{2}\sin(2t) * \frac{1}{2}\sin(2t) = \frac{1}{4}\int_0^t \sin(2\tau)\sin(2(t - \tau))\, d\tau y ( t ) = 2 1 sin ( 2 t ) ∗ 2 1 sin ( 2 t ) = 4 1 ∫ 0 t sin ( 2 τ ) sin ( 2 ( t − τ )) d τ
Using sin A sin B = 1 2 ( cos ( A − B ) − cos ( A + B ) ) \sin A \sin B = \frac{1}{2}(\cos(A - B) - \cos(A + B)) sin A sin B = 2 1 ( cos ( A − B ) − cos ( A + B )) :
y ( t ) = 1 8 ∫ 0 t [ cos ( 4 τ − 2 t ) − cos ( 2 t ) ] d τ = 1 8 [ sin ( 4 τ − 2 t ) 4 ] 0 t − t 8 cos ( 2 t ) y(t) = \frac{1}{8}\int_0^t [\cos(4\tau - 2t) - \cos(2t)]\, d\tau = \frac{1}{8}\left[\frac{\sin(4\tau - 2t)}{4}\right]_0^t - \frac{t}{8}\cos(2t) y ( t ) = 8 1 ∫ 0 t [ cos ( 4 τ − 2 t ) − cos ( 2 t )] d τ = 8 1 [ 4 s i n ( 4 τ − 2 t ) ] 0 t − 8 t cos ( 2 t )
= 1 32 [ sin ( 2 t ) − sin ( − 2 t ) ] − t 8 cos ( 2 t ) = sin ( 2 t ) 16 − t cos ( 2 t ) 8 = \frac{1}{32}[\sin(2t) - \sin(-2t)] - \frac{t}{8}\cos(2t) = \frac{\sin(2t)}{16} - \frac{t\cos(2t)}{8} = 32 1 [ sin ( 2 t ) − sin ( − 2 t )] − 8 t cos ( 2 t ) = 16 s i n ( 2 t ) − 8 t c o s ( 2 t )
y ( t ) = sin ( 2 t ) − 2 t cos ( 2 t ) 16 y(t) = \frac{\sin(2t) - 2t\cos(2t)}{16} y ( t ) = 16 s i n ( 2 t ) − 2 t c o s ( 2 t ) . ■ \blacksquare ■
Problem. Find \mathcal{L}^{-1}\left\{\frac{1}{s(s^2 + 4)} Ight\} .
Solution Solution. Partial fractions: 1 s ( s 2 + 4 ) = A s + B s + C s 2 + 4 \frac{1}{s(s^2 + 4)} = \frac{A}{s} + \frac{Bs + C}{s^2 + 4} s ( s 2 + 4 ) 1 = s A + s 2 + 4 B s + C .
1 = A ( s 2 + 4 ) + ( B s + C ) s = ( A + B ) s 2 + C s + 4 A 1 = A(s^2 + 4) + (Bs + C)s = (A + B)s^2 + Cs + 4A 1 = A ( s 2 + 4 ) + ( B s + C ) s = ( A + B ) s 2 + C s + 4 A .
s 2 s^2 s 2 : A + B = 0 A + B = 0 A + B = 0 , s s s : C = 0 C = 0 C = 0 Constant: 4 A = 1 ⟹ A = 1 / 4 4A = 1 \implies A = 1/4 4 A = 1 ⟹ A = 1/4 , B = − 1 / 4 B = -1/4 B = − 1/4 .
1 s ( s 2 + 4 ) = 1 / 4 s − s / 4 s 2 + 4 \frac{1}{s(s^2 + 4)} = \frac{1/4}{s} - \frac{s/4}{s^2 + 4} s ( s 2 + 4 ) 1 = s 1/4 − s 2 + 4 s /4 .
f ( t ) = 1 4 − 1 4 cos 2 t f(t) = \frac{1}{4} - \frac{1}{4}\cos 2t f ( t ) = 4 1 − 4 1 cos 2 t . ■ \blacksquare ■
### 5.7 Convolution Theorem
Theorem 5.8 (Convolution). If F ( s ) = L { f ( t ) } F(s) = \mathcal{L}\{f(t)\} F ( s ) = L { f ( t )} and G ( s ) = L { g ( t ) } G(s) = \mathcal{L}\{g(t)\} G ( s ) = L { g ( t )} Then
L { f ∗ g } = F ( s ) G ( s ) \mathcal{L}\{f * g\} = F(s)G(s) L { f ∗ g } = F ( s ) G ( s )
Where ( f ∗ g ) ( t ) = ∫ 0 t f ( τ ) g ( t − τ ) d τ (f * g)(t) = \int_0^t f(\tau)g(t - \tau)\, d\tau ( f ∗ g ) ( t ) = ∫ 0 t f ( τ ) g ( t − τ ) d τ .
Proof. F ( s ) G ( s ) = ∫ 0 ∞ e − s τ f ( τ ) d τ ⋅ ∫ 0 ∞ e − s u g ( u ) d u F(s)G(s) = \int_0^{\infty} e^{-s\tau} f(\tau)\, d\tau \cdot \int_0^{\infty} e^{-su} g(u)\, du F ( s ) G ( s ) = ∫ 0 ∞ e − s τ f ( τ ) d τ ⋅ ∫ 0 ∞ e − s u g ( u ) d u
= ∫ 0 ∞ ∫ 0 ∞ e − s ( τ + u ) f ( τ ) g ( u ) d u d τ = \int_0^{\infty} \int_0^{\infty} e^{-s(\tau+u)} f(\tau) g(u)\, du\, d\tau = ∫ 0 ∞ ∫ 0 ∞ e − s ( τ + u ) f ( τ ) g ( u ) d u d τ
Substitute t = τ + u t = \tau + u t = τ + u , u = t − τ u = t - \tau u = t − τ . For fixed τ \tau τ , u u u ranges from 0 0 0 to ∞ \infty ∞ So t t t ranges From τ \tau τ to ∞ \infty ∞ .
= ∫ 0 ∞ f ( τ ) [ ∫ τ ∞ e − s t g ( t − τ ) d t ] d τ = \int_0^{\infty} f(\tau)\left[\int_{\tau}^{\infty} e^{-st} g(t - \tau)\, dt\right] d\tau = ∫ 0 ∞ f ( τ ) [ ∫ τ ∞ e − s t g ( t − τ ) d t ] d τ
Swap the order of integration (Fubini):
= ∫ 0 ∞ e − s t [ ∫ 0 t f ( τ ) g ( t − τ ) d τ ] d t = L { ( f ∗ g ) ( t ) } = \int_0^{\infty} e^{-st}\left[\int_0^t f(\tau) g(t - \tau)\, d\tau\right] dt = \mathcal{L}\{(f * g)(t)\} = ∫ 0 ∞ e − s t [ ∫ 0 t f ( τ ) g ( t − τ ) d τ ] d t = L {( f ∗ g ) ( t )} . ■ \blacksquare ■
Problem. Find L − 1 { 3 s + 1 s 2 + 4 s + 13 } \mathcal{L}^{-1}\left\{\frac{3s + 1}{s^2 + 4s + 13}\right\} L − 1 { s 2 + 4 s + 13 3 s + 1 } .
Solution Solution. Complete the square: s 2 + 4 s + 13 = ( s + 2 ) 2 + 9 s^2 + 4s + 13 = (s + 2)^2 + 9 s 2 + 4 s + 13 = ( s + 2 ) 2 + 9 .
3 s + 1 s 2 + 4 s + 13 = 3 ( s + 2 ) − 5 ( s + 2 ) 2 + 9 = 3 ⋅ s + 2 ( s + 2 ) 2 + 9 − 5 3 ⋅ 3 ( s + 2 ) 2 + 9 \frac{3s + 1}{s^2 + 4s + 13} = \frac{3(s + 2) - 5}{(s + 2)^2 + 9} = 3 \cdot \frac{s + 2}{(s + 2)^2 + 9} - \frac{5}{3} \cdot \frac{3}{(s + 2)^2 + 9} s 2 + 4 s + 13 3 s + 1 = ( s + 2 ) 2 + 9 3 ( s + 2 ) − 5 = 3 ⋅ ( s + 2 ) 2 + 9 s + 2 − 3 5 ⋅ ( s + 2 ) 2 + 9 3
Using the shifting theorem:
L − 1 { s + 2 ( s + 2 ) 2 + 9 } = e − 2 t cos ( 3 t ) \mathcal{L}^{-1}\left\{\frac{s + 2}{(s + 2)^2 + 9}\right\} = e^{-2t}\cos(3t) L − 1 { ( s + 2 ) 2 + 9 s + 2 } = e − 2 t cos ( 3 t )
L − 1 { 3 ( s + 2 ) 2 + 9 } = e − 2 t sin ( 3 t ) \mathcal{L}^{-1}\left\{\frac{3}{(s + 2)^2 + 9}\right\} = e^{-2t}\sin(3t) L − 1 { ( s + 2 ) 2 + 9 3 } = e − 2 t sin ( 3 t )
f ( t ) = 3 e − 2 t cos ( 3 t ) − 5 3 e − 2 t sin ( 3 t ) = e − 2 t ( 3 cos ( 3 t ) − 5 3 sin ( 3 t ) ) f(t) = 3e^{-2t}\cos(3t) - \frac{5}{3}e^{-2t}\sin(3t) = e^{-2t}\left(3\cos(3t) - \frac{5}{3}\sin(3t)\right) f ( t ) = 3 e − 2 t cos ( 3 t ) − 3 5 e − 2 t sin ( 3 t ) = e − 2 t ( 3 cos ( 3 t ) − 3 5 sin ( 3 t ) ) . ■ \blacksquare ■
Problem. Solve y ′ ′ + 3 y ′ + 2 y = u 2 ( t ) y'' + 3y' + 2y = u_2(t) y ′′ + 3 y ′ + 2 y = u 2 ( t ) , y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution Solution. Take Laplace transforms:
s 2 Y + 3 s Y + 2 Y = e − 2 s s s^2 Y + 3sY + 2Y = \frac{e^{-2s}}{s} s 2 Y + 3 s Y + 2 Y = s e − 2 s
( s 2 + 3 s + 2 ) Y = e − 2 s s (s^2 + 3s + 2)Y = \frac{e^{-2s}}{s} ( s 2 + 3 s + 2 ) Y = s e − 2 s
Y = e − 2 s s ( s + 1 ) ( s + 2 ) Y = \frac{e^{-2s}}{s(s+1)(s+2)} Y = s ( s + 1 ) ( s + 2 ) e − 2 s
First find the partial fraction decomposition of 1 s ( s + 1 ) ( s + 2 ) \frac{1}{s(s+1)(s+2)} s ( s + 1 ) ( s + 2 ) 1 :
1 s ( s + 1 ) ( s + 2 ) = A s + B s + 1 + C s + 2 \frac{1}{s(s+1)(s+2)} = \frac{A}{s} + \frac{B}{s+1} + \frac{C}{s+2} s ( s + 1 ) ( s + 2 ) 1 = s A + s + 1 B + s + 2 C
1 = A ( s + 1 ) ( s + 2 ) + B s ( s + 2 ) + C s ( s + 1 ) 1 = A(s+1)(s+2) + Bs(s+2) + Cs(s+1) 1 = A ( s + 1 ) ( s + 2 ) + B s ( s + 2 ) + C s ( s + 1 )
s = 0 s = 0 s = 0 : 1 = 2 A ⟹ A = 1 / 2 1 = 2A \implies A = 1/2 1 = 2 A ⟹ A = 1/2 s = − 1 s = -1 s = − 1 : 1 = − B ⟹ B = − 1 1 = -B \implies B = -1 1 = − B ⟹ B = − 1 s = − 2 s = -2 s = − 2 : 1 = 2 C ⟹ C = 1 / 2 1 = 2C \implies C = 1/2 1 = 2 C ⟹ C = 1/2
So L − 1 { 1 s ( s + 1 ) ( s + 2 ) } = 1 2 − e − t + 1 2 e − 2 t \mathcal{L}^{-1}\left\{\frac{1}{s(s+1)(s+2)}\right\} = \frac{1}{2} - e^{-t} + \frac{1}{2}e^{-2t} L − 1 { s ( s + 1 ) ( s + 2 ) 1 } = 2 1 − e − t + 2 1 e − 2 t .
By the second shifting theorem:
y ( t ) = u 2 ( t ) [ 1 2 − e − ( t − 2 ) + 1 2 e − 2 ( t − 2 ) ] y(t) = u_2(t)\left[\frac{1}{2} - e^{-(t-2)} + \frac{1}{2}e^{-2(t-2)}\right] y ( t ) = u 2 ( t ) [ 2 1 − e − ( t − 2 ) + 2 1 e − 2 ( t − 2 ) ] for t ≥ 0 t \geq 0 t ≥ 0 . ■ \blacksquare ■
The Heaviside (unit step) function is defined as
u c ( t ) = { 0 t < c 1 t ≥ c u_c(t) = \begin{cases} 0 & t \lt c \\ 1 & t \geq c \end{cases} u c ( t ) = { 0 1 t < c t ≥ c
It models a sudden switch being turned on at time t = c t = c t = c . The second shifting theorem states:
L { u c ( t ) f ( t − c ) } = e − c s F ( s ) \mathcal{L}\{u_c(t)f(t - c)\} = e^{-cs}F(s) L { u c ( t ) f ( t − c )} = e − cs F ( s )
Conversely, if Y ( s ) = e − c s G ( s ) Y(s) = e^{-cs}G(s) Y ( s ) = e − cs G ( s ) Then y ( t ) = u c ( t ) ⋅ g ( t − c ) y(t) = u_c(t) \cdot g(t - c) y ( t ) = u c ( t ) ⋅ g ( t − c ) where g = L − 1 { G } g = \mathcal{L}^{-1}\{G\} g = L − 1 { G } .
The Dirac delta function δ ( t − c ) \delta(t - c) δ ( t − c ) satisfies ∫ 0 ∞ δ ( t − c ) f ( t ) d t = f ( c ) \int_0^{\infty} \delta(t - c)f(t)\, dt = f(c) ∫ 0 ∞ δ ( t − c ) f ( t ) d t = f ( c ) for continuous f f f . It models an instantaneous Impulse.
L { δ ( t − c ) } = e − c s \mathcal{L}\{\delta(t - c)\} = e^{-cs} L { δ ( t − c )} = e − cs .
Properties:
δ ( t − c ) = 0 \delta(t - c) = 0 δ ( t − c ) = 0 for t ≠ c t \neq c t = c ∫ − ∞ ∞ δ ( t − c ) d t = 1 \int_{-\infty}^{\infty} \delta(t - c)\, dt = 1 ∫ − ∞ ∞ δ ( t − c ) d t = 1 ∫ − ∞ ∞ δ ( t − c ) f ( t ) d t = f ( c ) \int_{-\infty}^{\infty} \delta(t - c)f(t)\, dt = f(c) ∫ − ∞ ∞ δ ( t − c ) f ( t ) d t = f ( c ) (sifting property)Problem. An undamped spring-mass system (m = 1 m = 1 m = 1 , k = 4 k = 4 k = 4 ) is struck by an impulse at t = 0 t = 0 t = 0 : y ′ ′ + 4 y = δ ( t ) y'' + 4y = \delta(t) y ′′ + 4 y = δ ( t ) , y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 . Find y ( t ) y(t) y ( t ) .
Solution Solution. Taking Laplace transforms:
s 2 Y + 4 Y = 1 s^2 Y + 4Y = 1 s 2 Y + 4 Y = 1
Y = 1 s 2 + 4 Y = \frac{1}{s^2 + 4} Y = s 2 + 4 1
y ( t ) = 1 2 sin ( 2 t ) y(t) = \frac{1}{2}\sin(2t) y ( t ) = 2 1 sin ( 2 t ) .
This is the impulse response (Green’s function) for the operator D 2 + 4 D^2 + 4 D 2 + 4 . ■ \blacksquare ■
Problem. Solve y ′ ′ − 6 y ′ + 9 y = 6 e 3 t y'' - 6y' + 9y = 6e^{3t} y ′′ − 6 y ′ + 9 y = 6 e 3 t , y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution Solution. Taking Laplace transforms:
s 2 Y − 6 s Y + 9 Y = 6 s − 3 s^2 Y - 6sY + 9Y = \frac{6}{s - 3} s 2 Y − 6 s Y + 9 Y = s − 3 6
( s − 3 ) 2 Y = 6 s − 3 (s - 3)^2 Y = \frac{6}{s - 3} ( s − 3 ) 2 Y = s − 3 6
Y = 6 ( s − 3 ) 3 Y = \frac{6}{(s - 3)^3} Y = ( s − 3 ) 3 6
Using the table: L { t n e a t } = n ! ( s − a ) n + 1 \mathcal{L}\{t^n e^{at}\} = \frac{n!}{(s-a)^{n+1}} L { t n e a t } = ( s − a ) n + 1 n ! .
y ( t ) = 6 ⋅ t 2 e 3 t 2 ! = 3 t 2 e 3 t y(t) = 6 \cdot \frac{t^2 e^{3t}}{2!} = 3t^2 e^{3t} y ( t ) = 6 ⋅ 2 ! t 2 e 3 t = 3 t 2 e 3 t . ■ \blacksquare ■
:::caution Common Pitfall The Laplace transform of y ′ ( t ) y'(t) y ′ ( t ) is s Y ( s ) − y ( 0 ) sY(s) - y(0) s Y ( s ) − y ( 0 ) Not s Y ( s ) sY(s) s Y ( s ) . The Initial conditions are built into the transform. Forgetting them leads to incorrect solutions. :::
:::caution Common Pitfall When using the second shifting theorem, the time-shifted function must Be written as u c ( t ) f ( t − c ) u_c(t)f(t - c) u c ( t ) f ( t − c ) Not u c ( t ) f ( t ) u_c(t)f(t) u c ( t ) f ( t ) . The function f f f must be shifted by the same Amount as the step. :::
The Picard-Lindelöf theorem can be proved constructively via Picard iteration . For the IVP y ′ = f ( x , y ) y' = f(x, y) y ′ = f ( x , y ) , y ( x 0 ) = y 0 y(x_0) = y_0 y ( x 0 ) = y 0 Define the sequence
ϕ 0 ( x ) = y 0 , ϕ n + 1 ( x ) = y 0 + ∫ x 0 x f ( t , ϕ n ( t ) ) d t \phi_0(x) = y_0, \quad \phi_{n+1}(x) = y_0 + \int_{x_0}^x f(t, \phi_n(t))\, dt ϕ 0 ( x ) = y 0 , ϕ n + 1 ( x ) = y 0 + ∫ x 0 x f ( t , ϕ n ( t )) d t
If f f f and ∂ f / ∂ y \partial f/\partial y ∂ f / ∂ y are continuous, one shows by induction that ( ϕ n ) (\phi_n) ( ϕ n ) is uniformly Cauchy on some interval [ x 0 − h , x 0 + h ] [x_0 - h, x_0 + h] [ x 0 − h , x 0 + h ] Hence converges uniformly to a function ϕ \phi ϕ . Passing to the limit in the integral equation shows ϕ \phi ϕ satisfies the ODE. Uniqueness follows From the Gronwall inequality applied to the difference of two solutions.
For an ODE y ′ ′ + p ( x ) y ′ + q ( x ) y = 0 y'' + p(x)y' + q(x)y = 0 y ′′ + p ( x ) y ′ + q ( x ) y = 0 where p p p and q q q are analytic near x 0 x_0 x 0 Substitute the Power series y = ∑ n = 0 ∞ a n ( x − x 0 ) n y = \sum_{n=0}^{\infty} a_n (x - x_0)^n y = ∑ n = 0 ∞ a n ( x − x 0 ) n and solve for the coefficients.
x 0 x_0 x 0 is an ordinary point if p p p and q q q are analytic at x 0 x_0 x 0 . It is a regular singular Point if ( x − x 0 ) p ( x ) (x - x_0)p(x) ( x − x 0 ) p ( x ) and ( x − x 0 ) 2 q ( x ) (x - x_0)^2 q(x) ( x − x 0 ) 2 q ( x ) are analytic at x 0 x_0 x 0 .
At a regular singular point x 0 = 0 x_0 = 0 x 0 = 0 Substitute y = ∑ n = 0 ∞ a n x n + r y = \sum_{n=0}^{\infty} a_n x^{n + r} y = ∑ n = 0 ∞ a n x n + r . The indicial equation determines the possible values of r r r .
Theorem 6.1. If the roots r 1 ≥ r 2 r_1 \geq r_2 r 1 ≥ r 2 of the indicial equation differ by a non-integer, there Are two linearly independent solutions of the form x r 1 ∑ a n x n x^{r_1}\sum a_n x^n x r 1 ∑ a n x n and x r 2 ∑ b n x n x^{r_2}\sum b_n x^n x r 2 ∑ b n x n .
Bessel’s equation of order ν \nu ν :
x 2 y ′ ′ + x y ′ + ( x 2 − ν 2 ) y = 0 x^2 y'' + xy' + (x^2 - \nu^2)y = 0 x 2 y ′′ + x y ′ + ( x 2 − ν 2 ) y = 0
For ν ∉ Z \nu \notin \mathbb{Z} ν ∈ / Z The solutions are J ν ( x ) J_\nu(x) J ν ( x ) and J − ν ( x ) J_{-\nu}(x) J − ν ( x ) (Bessel functions of the First kind). For ν = n ∈ N \nu = n \in \mathbb{N} ν = n ∈ N The second solution is the Weber function Y n ( x ) Y_n(x) Y n ( x ) .
Problem. Solve y ′ ′ ′ − 6 y ′ ′ + 11 y ′ − 6 y = 0 y''' - 6y'' + 11y' - 6y = 0 y ′′′ − 6 y ′′ + 11 y ′ − 6 y = 0 .
Solution Solution. Characteristic equation: r 3 − 6 r 2 + 11 r − 6 = 0 r^3 - 6r^2 + 11r - 6 = 0 r 3 − 6 r 2 + 11 r − 6 = 0 .
Trying r = 1 r = 1 r = 1 : 1 − 6 + 11 − 6 = 0 1 - 6 + 11 - 6 = 0 1 − 6 + 11 − 6 = 0 . Factor: ( r − 1 ) ( r 2 − 5 r + 6 ) = ( r − 1 ) ( r − 2 ) ( r − 3 ) = 0 (r - 1)(r^2 - 5r + 6) = (r - 1)(r - 2)(r - 3) = 0 ( r − 1 ) ( r 2 − 5 r + 6 ) = ( r − 1 ) ( r − 2 ) ( r − 3 ) = 0 .
Roots: r = 1 , 2 , 3 r = 1, 2, 3 r = 1 , 2 , 3 (three distinct real roots).
y = c 1 e x + c 2 e 2 x + c 3 e 3 x y = c_1 e^x + c_2 e^{2x} + c_3 e^{3x} y = c 1 e x + c 2 e 2 x + c 3 e 3 x . ■ \blacksquare ■
### 6.5 Worked Example: Power Series Method
Problem. Solve y ′ ′ − x y = 0 y'' - xy = 0 y ′′ − x y = 0 (Airy’s equation) using power series about x 0 = 0 x_0 = 0 x 0 = 0 .
Solution Solution. Since p ( x ) = 0 p(x) = 0 p ( x ) = 0 and q ( x ) = − x q(x) = -x q ( x ) = − x are both analytic everywhere, x 0 = 0 x_0 = 0 x 0 = 0 is an ordinary Point. Substitute y = ∑ n = 0 ∞ a n x n y = \sum_{n=0}^{\infty} a_n x^n y = ∑ n = 0 ∞ a n x n :
y ′ = ∑ n = 1 ∞ n a n x n − 1 y' = \sum_{n=1}^{\infty} na_n x^{n-1} y ′ = ∑ n = 1 ∞ n a n x n − 1 , y ′ ′ = ∑ n = 2 ∞ n ( n − 1 ) a n x n − 2 y'' = \sum_{n=2}^{\infty} n(n-1)a_n x^{n-2} y ′′ = ∑ n = 2 ∞ n ( n − 1 ) a n x n − 2 .
y ′ ′ − x y = ∑ n = 2 ∞ n ( n − 1 ) a n x n − 2 − ∑ n = 0 ∞ a n x n + 1 = 0 y'' - xy = \sum_{n=2}^{\infty} n(n-1)a_n x^{n-2} - \sum_{n=0}^{\infty} a_n x^{n+1} = 0 y ′′ − x y = ∑ n = 2 ∞ n ( n − 1 ) a n x n − 2 − ∑ n = 0 ∞ a n x n + 1 = 0 .
Shift indices: first sum ∑ m = 0 ∞ ( m + 2 ) ( m + 1 ) a m + 2 x m \sum_{m=0}^{\infty} (m+2)(m+1)a_{m+2} x^m ∑ m = 0 ∞ ( m + 2 ) ( m + 1 ) a m + 2 x m Second sum ∑ m = 1 ∞ a m − 1 x m \sum_{m=1}^{\infty} a_{m-1} x^m ∑ m = 1 ∞ a m − 1 x m .
For m = 0 m = 0 m = 0 : 2 ⋅ 1 ⋅ a 2 = 0 ⟹ a 2 = 0 2 \cdot 1 \cdot a_2 = 0 \implies a_2 = 0 2 ⋅ 1 ⋅ a 2 = 0 ⟹ a 2 = 0 .
For m ≥ 1 m \geq 1 m ≥ 1 : ( m + 2 ) ( m + 1 ) a m + 2 − a m − 1 = 0 ⟹ a m + 2 = a m − 1 ( m + 2 ) ( m + 1 ) (m+2)(m+1)a_{m+2} - a_{m-1} = 0 \implies a_{m+2} = \frac{a_{m-1}}{(m+2)(m+1)} ( m + 2 ) ( m + 1 ) a m + 2 − a m − 1 = 0 ⟹ a m + 2 = ( m + 2 ) ( m + 1 ) a m − 1 .
This gives: a 3 = a 0 6 a_3 = \frac{a_0}{6} a 3 = 6 a 0 , a 4 = a 1 12 a_4 = \frac{a_1}{12} a 4 = 12 a 1 , a 5 = a 2 20 = 0 a_5 = \frac{a_2}{20} = 0 a 5 = 20 a 2 = 0 a 6 = a 3 30 = a 0 180 a_6 = \frac{a_3}{30} = \frac{a_0}{180} a 6 = 30 a 3 = 180 a 0 Etc.
Since a 2 = 0 a_2 = 0 a 2 = 0 All a 3 k + 2 = 0 a_{3k+2} = 0 a 3 k + 2 = 0 .
y ( x ) = a 0 ( 1 + x 3 6 + x 6 180 + ⋯ ) + a 1 ( x + x 4 12 + x 7 504 + ⋯ ) y(x) = a_0\left(1 + \frac{x^3}{6} + \frac{x^6}{180} + \cdots\right) + a_1\left(x + \frac{x^4}{12} + \frac{x^7}{504} + \cdots\right) y ( x ) = a 0 ( 1 + 6 x 3 + 180 x 6 + ⋯ ) + a 1 ( x + 12 x 4 + 504 x 7 + ⋯ ) .
These are the Airy functions A i ( x ) \mathrm{Ai}(x) Ai ( x ) and B i ( x ) \mathrm{Bi}(x) Bi ( x ) (up to normalization). ■ \blacksquare ■
Problem. Solve 2 x y ′ ′ + y ′ + x y = 0 2xy'' + y' + xy = 0 2 x y ′′ + y ′ + x y = 0 near x = 0 x = 0 x = 0 using the Frobenius method.
Solution Solution. Rewrite in standard form: y ′ ′ + 1 2 x y ′ + 1 2 y = 0 y'' + \frac{1}{2x}y' + \frac{1}{2}y = 0 y ′′ + 2 x 1 y ′ + 2 1 y = 0 .
x = 0 x = 0 x = 0 is a regular singular point since x p ( x ) = 1 / 2 xp(x) = 1/2 x p ( x ) = 1/2 and x 2 q ( x ) = x 2 / 2 x^2 q(x) = x^2/2 x 2 q ( x ) = x 2 /2 are analytic at 0 0 0 .
Substitute y = ∑ n = 0 ∞ a n x n + r y = \sum_{n=0}^{\infty} a_n x^{n+r} y = ∑ n = 0 ∞ a n x n + r , a 0 ≠ 0 a_0 \neq 0 a 0 = 0 :
y ′ = ∑ n = 0 ∞ ( n + r ) a n x n + r − 1 y' = \sum_{n=0}^{\infty} (n+r)a_n x^{n+r-1} y ′ = ∑ n = 0 ∞ ( n + r ) a n x n + r − 1
y ′ ′ = ∑ n = 0 ∞ ( n + r ) ( n + r − 1 ) a n x n + r − 2 y'' = \sum_{n=0}^{\infty} (n+r)(n+r-1)a_n x^{n+r-2} y ′′ = ∑ n = 0 ∞ ( n + r ) ( n + r − 1 ) a n x n + r − 2
Substituting into 2 x y ′ ′ + y ′ + x y = 0 2xy'' + y' + xy = 0 2 x y ′′ + y ′ + x y = 0 :
∑ n = 0 ∞ 2 ( n + r ) ( n + r − 1 ) a n x n + r − 1 + ∑ n = 0 ∞ ( n + r ) a n x n + r − 1 + ∑ n = 0 ∞ a n x n + r + 1 = 0 \sum_{n=0}^{\infty} 2(n+r)(n+r-1)a_n x^{n+r-1} + \sum_{n=0}^{\infty} (n+r)a_n x^{n+r-1} + \sum_{n=0}^{\infty} a_n x^{n+r+1} = 0 ∑ n = 0 ∞ 2 ( n + r ) ( n + r − 1 ) a n x n + r − 1 + ∑ n = 0 ∞ ( n + r ) a n x n + r − 1 + ∑ n = 0 ∞ a n x n + r + 1 = 0
For n = 0 n = 0 n = 0 : [ 2 r ( r − 1 ) + r ] a 0 = 0 [2r(r-1) + r]a_0 = 0 [ 2 r ( r − 1 ) + r ] a 0 = 0 . Since a 0 ≠ 0 a_0 \neq 0 a 0 = 0 : r ( 2 r − 2 + 1 ) = 0 ⟹ r ( 2 r − 1 ) = 0 r(2r - 2 + 1) = 0 \implies r(2r - 1) = 0 r ( 2 r − 2 + 1 ) = 0 ⟹ r ( 2 r − 1 ) = 0 .
Indicial equation: r = 0 r = 0 r = 0 or r = 1 / 2 r = 1/2 r = 1/2 .
For general n ≥ 1 n \geq 1 n ≥ 1 : [ 2 ( n + r ) ( n + r − 1 ) + ( n + r ) ] a n + a n − 2 = 0 [2(n+r)(n+r-1) + (n+r)]a_n + a_{n-2} = 0 [ 2 ( n + r ) ( n + r − 1 ) + ( n + r )] a n + a n − 2 = 0
( n + r ) ( 2 n + 2 r − 1 ) a n = − a n − 2 (n+r)(2n + 2r - 1)a_n = -a_{n-2} ( n + r ) ( 2 n + 2 r − 1 ) a n = − a n − 2
a n = − a n − 2 ( n + r ) ( 2 n + 2 r − 1 ) a_n = -\frac{a_{n-2}}{(n+r)(2n + 2r - 1)} a n = − ( n + r ) ( 2 n + 2 r − 1 ) a n − 2
For r = 0 r = 0 r = 0 : a n = − a n − 2 n ( 2 n − 1 ) a_n = -\frac{a_{n-2}}{n(2n-1)} a n = − n ( 2 n − 1 ) a n − 2 . Odd coefficients vanish (a 1 = 0 a_1 = 0 a 1 = 0 ). Even: a 2 = − a 0 6 a_2 = -\frac{a_0}{6} a 2 = − 6 a 0 a 4 = a 0 120 a_4 = \frac{a_0}{120} a 4 = 120 a 0 Etc.
For r = 1 / 2 r = 1/2 r = 1/2 : a n = − a n − 2 ( n + 1 / 2 ) ( 2 n ) = − a n − 2 n ( 2 n + 1 ) a_n = -\frac{a_{n-2}}{(n+1/2)(2n)} = -\frac{a_{n-2}}{n(2n+1)} a n = − ( n + 1/2 ) ( 2 n ) a n − 2 = − n ( 2 n + 1 ) a n − 2 .
y = C 1 ∑ k = 0 ∞ a 2 k ( 0 ) x 2 k + C 2 x 1 / 2 ∑ k = 0 ∞ a 2 k ( 1 / 2 ) x 2 k y = C_1 \sum_{k=0}^{\infty} a_{2k}^{(0)} x^{2k} + C_2 x^{1/2} \sum_{k=0}^{\infty} a_{2k}^{(1/2)} x^{2k} y = C 1 ∑ k = 0 ∞ a 2 k ( 0 ) x 2 k + C 2 x 1/2 ∑ k = 0 ∞ a 2 k ( 1/2 ) x 2 k . ■ \blacksquare ■
Problem. Find the first three nonzero terms of J 0 ( x ) J_0(x) J 0 ( x ) The Bessel function of the first kind Of order zero, which satisfies x 2 y ′ ′ + x y ′ + x 2 y = 0 x^2 y'' + xy' + x^2 y = 0 x 2 y ′′ + x y ′ + x 2 y = 0 .
Solution Solution. Here ν = 0 \nu = 0 ν = 0 . The indicial equation gives r 2 = 0 r^2 = 0 r 2 = 0 (repeated root r = 0 r = 0 r = 0 ).
Substituting y = ∑ n = 0 ∞ a n x 2 n y = \sum_{n=0}^{\infty} a_n x^{2n} y = ∑ n = 0 ∞ a n x 2 n (we can show only even powers appear):
y ′ = ∑ n = 1 ∞ 2 n a n x 2 n − 1 y' = \sum_{n=1}^{\infty} 2n a_n x^{2n-1} y ′ = ∑ n = 1 ∞ 2 n a n x 2 n − 1 , y ′ ′ = ∑ n = 1 ∞ 2 n ( 2 n − 1 ) a n x 2 n − 2 y'' = \sum_{n=1}^{\infty} 2n(2n-1) a_n x^{2n-2} y ′′ = ∑ n = 1 ∞ 2 n ( 2 n − 1 ) a n x 2 n − 2 .
x 2 y ′ ′ + x y ′ + x 2 y = ∑ n = 1 ∞ 2 n ( 2 n − 1 ) a n x 2 n + ∑ n = 1 ∞ 2 n a n x 2 n + ∑ n = 0 ∞ a n x 2 n + 2 = 0 x^2 y'' + xy' + x^2 y = \sum_{n=1}^{\infty} 2n(2n-1)a_n x^{2n} + \sum_{n=1}^{\infty} 2n a_n x^{2n} + \sum_{n=0}^{\infty} a_n x^{2n+2} = 0 x 2 y ′′ + x y ′ + x 2 y = ∑ n = 1 ∞ 2 n ( 2 n − 1 ) a n x 2 n + ∑ n = 1 ∞ 2 n a n x 2 n + ∑ n = 0 ∞ a n x 2 n + 2 = 0 .
For n = 0 n = 0 n = 0 : a 0 a_0 a 0 is free.
For the recurrence: 4 n 2 a n + a n − 1 = 0 ⟹ a n = − a n − 1 4 n 2 4n^2 a_n + a_{n-1} = 0 \implies a_n = -\frac{a_{n-1}}{4n^2} 4 n 2 a n + a n − 1 = 0 ⟹ a n = − 4 n 2 a n − 1 for n ≥ 1 n \geq 1 n ≥ 1 .
a 1 = − a 0 4 a_1 = -\frac{a_0}{4} a 1 = − 4 a 0 , a 2 = a 0 64 a_2 = \frac{a_0}{64} a 2 = 64 a 0 , a 3 = − a 0 2304 a_3 = -\frac{a_0}{2304} a 3 = − 2304 a 0 .
Setting a 0 = 1 a_0 = 1 a 0 = 1 : J 0 ( x ) = 1 − x 2 4 + x 4 64 − x 6 2304 + ⋯ J_0(x) = 1 - \frac{x^2}{4} + \frac{x^4}{64} - \frac{x^6}{2304} + \cdots J 0 ( x ) = 1 − 4 x 2 + 64 x 4 − 2304 x 6 + ⋯ . ■ \blacksquare ■
## 7. Fourier Series
A Fourier series of a 2 π 2\pi 2 π -periodic function f f f is
f ( x ) ∼ a 0 2 + ∑ n = 1 ∞ ( a n cos ( n x ) + b n sin ( n x ) ) f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty} \left(a_n \cos(nx) + b_n \sin(nx)\right) f ( x ) ∼ 2 a 0 + ∑ n = 1 ∞ ( a n cos ( n x ) + b n sin ( n x ) )
Where
a n = 1 π ∫ − π π f ( x ) cos ( n x ) d x , b n = 1 π ∫ − π π f ( x ) sin ( n x ) d x a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos(nx)\, dx, \quad b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin(nx)\, dx a n = π 1 ∫ − π π f ( x ) cos ( n x ) d x , b n = π 1 ∫ − π π f ( x ) sin ( n x ) d x
The Fourier coefficients are derived using the orthogonality relations on [ − π , π ] [-\pi, \pi] [ − π , π ] :
∫ − π π cos ( m x ) cos ( n x ) d x = { π m = n ≠ 0 2 π m = n = 0 0 m ≠ n \int_{-\pi}^{\pi} \cos(mx)\cos(nx)\, dx = \begin{cases} \pi & m = n \neq 0 \\ 2\pi & m = n = 0 \\ 0 & m \neq n \end{cases} ∫ − π π cos ( m x ) cos ( n x ) d x = ⎩ ⎨ ⎧ π 2 π 0 m = n = 0 m = n = 0 m = n
∫ − π π sin ( m x ) sin ( n x ) d x = { π m = n ≠ 0 0 m ≠ n \int_{-\pi}^{\pi} \sin(mx)\sin(nx)\, dx = \begin{cases} \pi & m = n \neq 0 \\ 0 & m \neq n \end{cases} ∫ − π π sin ( m x ) sin ( n x ) d x = { π 0 m = n = 0 m = n
∫ − π π cos ( m x ) sin ( n x ) d x = 0 f o r a l l m , n \int_{-\pi}^{\pi} \cos(mx)\sin(nx)\, dx = 0 \quad \mathrm{for}\; all\; m, n ∫ − π π cos ( m x ) sin ( n x ) d x = 0 for a l l m , n
To find a n a_n a n Multiply both sides of the Fourier expansion by cos ( n x ) \cos(nx) cos ( n x ) and integrate over [ − π , π ] [-\pi, \pi] [ − π , π ] . By orthogonality, all terms vanish except the cos ( n x ) \cos(nx) cos ( n x ) term, yielding a n π = ∫ − π π f ( x ) cos ( n x ) d x a_n \pi = \int_{-\pi}^{\pi} f(x)\cos(nx)\, dx a n π = ∫ − π π f ( x ) cos ( n x ) d x . Similarly for b n b_n b n .
Theorem 7.1 (Dirichlet’s Theorem). If f f f is 2 π 2\pi 2 π -periodic and piecewise smooth, its Fourier Series converges to:
f ( x ) f(x) f ( x ) at points where f f f is continuous.f ( x + ) + f ( x − ) 2 \frac{f(x^+) + f(x^-)}{2} 2 f ( x + ) + f ( x − ) at jump discontinuities.1 π ∫ − π π ∣ f ( x ) ∣ 2 d x = a 0 2 2 + ∑ n = 1 ∞ ( a n 2 + b n 2 ) \frac{1}{\pi}\int_{-\pi}^{\pi} |f(x)|^2\, dx = \frac{a_0^2}{2} + \sum_{n=1}^{\infty}(a_n^2 + b_n^2) π 1 ∫ − π π ∣ f ( x ) ∣ 2 d x = 2 a 0 2 + ∑ n = 1 ∞ ( a n 2 + b n 2 )
Intuition. Parseval’s identity is the infinite-dimensional analogue of the Pythagorean theorem: The “energy” of f f f (its L 2 L^2 L 2 norm squared) equals the sum of the energies of its Fourier Components.
For functions defined on [ 0 , L ] [0, L] [ 0 , L ] :
Cosine series (even extension): a n = 2 L ∫ 0 L f ( x ) cos n π x L d x a_n = \frac{2}{L}\int_0^L f(x)\cos\frac{n\pi x}{L}\, dx a n = L 2 ∫ 0 L f ( x ) cos L nπ x d x b n = 0 b_n = 0 b n = 0 .Sine series (odd extension): a n = 0 a_n = 0 a n = 0 b n = 2 L ∫ 0 L f ( x ) sin n π x L d x b_n = \frac{2}{L}\int_0^L f(x)\sin\frac{n\pi x}{L}\, dx b n = L 2 ∫ 0 L f ( x ) sin L nπ x d x .Problem. Find the Fourier series of f ( x ) = x f(x) = x f ( x ) = x on ( − π , π ) (-\pi, \pi) ( − π , π ) Extended 2 π 2\pi 2 π -periodically.
Solution. f f f is odd, so a n = 0 a_n = 0 a n = 0 for all n n n .
b n = 1 π ∫ − π π x sin ( n x ) d x = 2 π ∫ 0 π x sin ( n x ) d x b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} x\sin(nx)\, dx = \frac{2}{\pi}\int_0^{\pi} x\sin(nx)\, dx b n = π 1 ∫ − π π x sin ( n x ) d x = π 2 ∫ 0 π x sin ( n x ) d x .
Integration by parts: u = x u = x u = x , d v = sin ( n x ) d x dv = \sin(nx)\, dx d v = sin ( n x ) d x :
b n = 2 π [ − x cos ( n x ) n ∣ 0 π + ∫ 0 π cos ( n x ) n d x ] = 2 π [ − π cos ( n π ) n + 0 ] = − 2 cos ( n π ) n = 2 ( − 1 ) n + 1 n b_n = \frac{2}{\pi}\left[-\frac{x\cos(nx)}{n}\Big|_0^{\pi} + \int_0^{\pi} \frac{\cos(nx)}{n}\, dx\right] = \frac{2}{\pi}\left[-\frac{\pi\cos(n\pi)}{n} + 0\right] = \frac{-2\cos(n\pi)}{n} = \frac{2(-1)^{n+1}}{n} b n = π 2 [ − n x c o s ( n x ) 0 π + ∫ 0 π n c o s ( n x ) d x ] = π 2 [ − n π c o s ( nπ ) + 0 ] = n − 2 c o s ( nπ ) = n 2 ( − 1 ) n + 1 .
x ∼ 2 ∑ n = 1 ∞ ( − 1 ) n + 1 n sin ( n x ) x \sim 2\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}\sin(nx) x ∼ 2 ∑ n = 1 ∞ n ( − 1 ) n + 1 sin ( n x ) . ■ \blacksquare ■
Problem. Find the Fourier cosine series of f ( x ) = x 2 f(x) = x^2 f ( x ) = x 2 on [ 0 , π ] [0, \pi] [ 0 , π ] .
Solution Solution. Extend f f f as an even function on [ − π , π ] [-\pi, \pi] [ − π , π ] . Then b n = 0 b_n = 0 b n = 0 for all n n n .
a 0 = 2 π ∫ 0 π x 2 d x = 2 π ⋅ π 3 3 = 2 π 2 3 a_0 = \frac{2}{\pi}\int_0^{\pi} x^2\, dx = \frac{2}{\pi} \cdot \frac{\pi^3}{3} = \frac{2\pi^2}{3} a 0 = π 2 ∫ 0 π x 2 d x = π 2 ⋅ 3 π 3 = 3 2 π 2 .
For n ≥ 1 n \geq 1 n ≥ 1 : a n = 2 π ∫ 0 π x 2 cos ( n x ) d x a_n = \frac{2}{\pi}\int_0^{\pi} x^2\cos(nx)\, dx a n = π 2 ∫ 0 π x 2 cos ( n x ) d x .
Integrating by parts twice:
u = x 2 u = x^2 u = x 2 , d v = cos ( n x ) d x dv = \cos(nx)\, dx d v = cos ( n x ) d x : d u = 2 x d x du = 2x\, dx d u = 2 x d x , v = sin ( n x ) / n v = \sin(nx)/n v = sin ( n x ) / n .
a n = 2 π [ x 2 sin ( n x ) n ∣ 0 π − ∫ 0 π 2 x sin ( n x ) n d x ] = − 4 n π ∫ 0 π x sin ( n x ) d x a_n = \frac{2}{\pi}\left[\frac{x^2\sin(nx)}{n}\Big|_0^{\pi} - \int_0^{\pi} \frac{2x\sin(nx)}{n}\, dx\right] = -\frac{4}{n\pi}\int_0^{\pi} x\sin(nx)\, dx a n = π 2 [ n x 2 s i n ( n x ) 0 π − ∫ 0 π n 2 x s i n ( n x ) d x ] = − nπ 4 ∫ 0 π x sin ( n x ) d x
= − 4 n π [ − x cos ( n x ) n ∣ 0 π + ∫ 0 π cos ( n x ) n d x ] = -\frac{4}{n\pi}\left[-\frac{x\cos(nx)}{n}\Big|_0^{\pi} + \int_0^{\pi} \frac{\cos(nx)}{n}\, dx\right] = − nπ 4 [ − n x c o s ( n x ) 0 π + ∫ 0 π n c o s ( n x ) d x ]
= − 4 n π [ − π cos ( n π ) n + 0 ] = 4 cos ( n π ) n 2 = 4 ( − 1 ) n n 2 = -\frac{4}{n\pi}\left[-\frac{\pi\cos(n\pi)}{n} + 0\right] = \frac{4\cos(n\pi)}{n^2} = \frac{4(-1)^n}{n^2} = − nπ 4 [ − n π c o s ( nπ ) + 0 ] = n 2 4 c o s ( nπ ) = n 2 4 ( − 1 ) n .
x 2 ∼ π 2 3 + 4 ∑ n = 1 ∞ ( − 1 ) n n 2 cos ( n x ) x^2 \sim \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2}\cos(nx) x 2 ∼ 3 π 2 + 4 ∑ n = 1 ∞ n 2 ( − 1 ) n cos ( n x ) .
Setting x = 0 x = 0 x = 0 : 0 = π 2 3 + 4 ∑ n = 1 ∞ ( − 1 ) n n 2 0 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2} 0 = 3 π 2 + 4 ∑ n = 1 ∞ n 2 ( − 1 ) n Giving the famous identity ∑ n = 1 ∞ ( − 1 ) n + 1 n 2 = π 2 12 \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^2} = \frac{\pi^2}{12} ∑ n = 1 ∞ n 2 ( − 1 ) n + 1 = 12 π 2 . ■ \blacksquare ■
Using Euler’s formula, the Fourier series can be written in complex form:
f ( x ) ∼ ∑ n = − ∞ ∞ c n e i n x f(x) \sim \sum_{n=-\infty}^{\infty} c_n e^{inx} f ( x ) ∼ ∑ n = − ∞ ∞ c n e in x
Where c n = 1 2 π ∫ − π π f ( x ) e − i n x d x c_n = \frac{1}{2\pi}\int_{-\pi}^{\pi} f(x)e^{-inx}\, dx c n = 2 π 1 ∫ − π π f ( x ) e − in x d x .
The relationship with the real coefficients is c 0 = a 0 / 2 c_0 = a_0/2 c 0 = a 0 /2 , c n = ( a n − i b n ) / 2 c_n = (a_n - ib_n)/2 c n = ( a n − i b n ) /2 for n > 0 n > 0 n > 0 And c − n = c n ‾ c_{-n} = \overline{c_n} c − n = c n when f f f is real-valued.
Problem. Using the Fourier series of f ( x ) = x f(x) = x f ( x ) = x on ( − π , π ) (-\pi, \pi) ( − π , π ) Verify Parseval’s identity And deduce ∑ n = 1 ∞ 1 n 2 = π 2 6 \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} ∑ n = 1 ∞ n 2 1 = 6 π 2 .
Solution Solution. From Section 7.6: a 0 = 0 a_0 = 0 a 0 = 0 , a n = 0 a_n = 0 a n = 0 , b n = 2 ( − 1 ) n + 1 n b_n = \frac{2(-1)^{n+1}}{n} b n = n 2 ( − 1 ) n + 1 .
Parseval: 1 π ∫ − π π x 2 d x = ∑ n = 1 ∞ b n 2 = ∑ n = 1 ∞ 4 n 2 \frac{1}{\pi}\int_{-\pi}^{\pi} x^2\, dx = \sum_{n=1}^{\infty} b_n^2 = \sum_{n=1}^{\infty} \frac{4}{n^2} π 1 ∫ − π π x 2 d x = ∑ n = 1 ∞ b n 2 = ∑ n = 1 ∞ n 2 4 .
1 π ⋅ 2 π 3 3 = 4 ∑ n = 1 ∞ 1 n 2 \frac{1}{\pi} \cdot \frac{2\pi^3}{3} = 4\sum_{n=1}^{\infty} \frac{1}{n^2} π 1 ⋅ 3 2 π 3 = 4 ∑ n = 1 ∞ n 2 1 .
2 π 2 3 = 4 ∑ n = 1 ∞ 1 n 2 \frac{2\pi^2}{3} = 4\sum_{n=1}^{\infty} \frac{1}{n^2} 3 2 π 2 = 4 ∑ n = 1 ∞ n 2 1 .
∑ n = 1 ∞ 1 n 2 = π 2 6 \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} ∑ n = 1 ∞ n 2 1 = 6 π 2 . ■ \blacksquare ■
## 8. Introduction to Partial Differential Equations
The general second-order linear PDE in two variables is
A u x x + B u x y + C u y y + D u x + E u y + F u = G A u_{xx} + B u_{xy} + C u_{yy} + D u_x + E u_y + F u = G A u xx + B u x y + C u y y + D u x + E u y + F u = G
Elliptic (B 2 − 4 A C < 0 B^2 - 4AC \lt 0 B 2 − 4 A C < 0 ): e.g., Laplace’s equation u x x + u y y = 0 u_{xx} + u_{yy} = 0 u xx + u y y = 0 .Parabolic (B 2 − 4 A C = 0 B^2 - 4AC = 0 B 2 − 4 A C = 0 ): e.g., the heat equation u t = α 2 u x x u_t = \alpha^2 u_{xx} u t = α 2 u xx .Hyperbolic (B 2 − 4 A C > 0 B^2 - 4AC > 0 B 2 − 4 A C > 0 ): e.g., the wave equation u t t = c 2 u x x u_{tt} = c^2 u_{xx} u tt = c 2 u xx .u t = α 2 u x x , 0 < x < L , t > 0 u_t = \alpha^2 u_{xx}, \quad 0 \lt x \lt L, \quad t > 0 u t = α 2 u xx , 0 < x < L , t > 0
With boundary conditions u ( 0 , t ) = u ( L , t ) = 0 u(0, t) = u(L, t) = 0 u ( 0 , t ) = u ( L , t ) = 0 and initial condition u ( x , 0 ) = f ( x ) u(x, 0) = f(x) u ( x , 0 ) = f ( x ) .
Consider a thin rod of length L L L with uniform cross-section and density ρ \rho ρ . Let u ( x , t ) u(x, t) u ( x , t ) be the Temperature at position x x x and time t t t . By Fourier’s law of heat conduction , the heat flux Through a cross-section is proportional to the negative temperature gradient:
q = − κ u x q = -\kappa u_x q = − κ u x
Where κ \kappa κ is the thermal conductivity. Conservation of energy on [ x , x + Δ x ] [x, x + \Delta x] [ x , x + Δ x ] :
ρ c ∂ u ∂ t Δ x = q ( x ) − q ( x + Δ x ) = − κ u x ( x ) + κ u x ( x + Δ x ) \rho c \frac{\partial u}{\partial t} \Delta x = q(x) - q(x + \Delta x) = -\kappa u_x(x) + \kappa u_x(x + \Delta x) ρ c ∂ t ∂ u Δ x = q ( x ) − q ( x + Δ x ) = − κ u x ( x ) + κ u x ( x + Δ x )
Dividing by Δ x \Delta x Δ x and taking Δ x → 0 \Delta x \to 0 Δ x → 0 :
ρ c u t = κ u x x ⟹ u t = κ ρ c u x x = α 2 u x x \rho c \, u_t = \kappa u_{xx} \implies u_t = \frac{\kappa}{\rho c} u_{xx} = \alpha^2 u_{xx} ρ c u t = κ u xx ⟹ u t = ρ c κ u xx = α 2 u xx
Where α 2 = κ / ( ρ c ) \alpha^2 = \kappa/(\rho c) α 2 = κ / ( ρ c ) is the thermal diffusivity .
Assume u ( x , t ) = X ( x ) T ( t ) u(x, t) = X(x)T(t) u ( x , t ) = X ( x ) T ( t ) . Substituting:
X T ′ = α 2 X ′ ′ T ⟹ T ′ α 2 T = X ′ ′ X = − λ X T' = \alpha^2 X'' T \implies \frac{T'}{\alpha^2 T} = \frac{X''}{X} = -\lambda X T ′ = α 2 X ′′ T ⟹ α 2 T T ′ = X X ′′ = − λ
This gives two ODEs:
X ′ ′ + λ X = 0 , X ( 0 ) = X ( L ) = 0 X'' + \lambda X = 0, \quad X(0) = X(L) = 0 X ′′ + λ X = 0 , X ( 0 ) = X ( L ) = 0 T ′ + α 2 λ T = 0 T' + \alpha^2 \lambda T = 0 T ′ + α 2 λ T = 0
The boundary value problem for X X X has solutions only for λ n = ( n π / L ) 2 \lambda_n = (n\pi/L)^2 λ n = ( nπ / L ) 2 n = 1 , 2 , 3 , … n = 1, 2, 3, \ldots n = 1 , 2 , 3 , … With X n ( x ) = sin ( n π x / L ) X_n(x) = \sin(n\pi x/L) X n ( x ) = sin ( nπ x / L ) .
The corresponding T n ( t ) = e − α 2 ( n π / L ) 2 t T_n(t) = e^{-\alpha^2 (n\pi/L)^2 t} T n ( t ) = e − α 2 ( nπ / L ) 2 t .
By superposition:
u ( x , t ) = ∑ n = 1 ∞ b n sin n π x L e − α 2 ( n π / L ) 2 t u(x, t) = \sum_{n=1}^{\infty} b_n \sin\frac{n\pi x}{L} e^{-\alpha^2 (n\pi/L)^2 t} u ( x , t ) = ∑ n = 1 ∞ b n sin L nπ x e − α 2 ( nπ / L ) 2 t
Where b n = 2 L ∫ 0 L f ( x ) sin n π x L d x b_n = \frac{2}{L}\int_0^L f(x)\sin\frac{n\pi x}{L}\, dx b n = L 2 ∫ 0 L f ( x ) sin L nπ x d x (the sine series coefficients of f f f ).
Problem. Solve u t = u x x u_t = u_{xx} u t = u xx for 0 < x < π 0 \lt x \lt \pi 0 < x < π , t > 0 t > 0 t > 0 With u ( 0 , t ) = u ( π , t ) = 0 u(0, t) = u(\pi, t) = 0 u ( 0 , t ) = u ( π , t ) = 0 And u ( x , 0 ) = sin ( 2 x ) + 3 sin ( 5 x ) u(x, 0) = \sin(2x) + 3\sin(5x) u ( x , 0 ) = sin ( 2 x ) + 3 sin ( 5 x ) .
Solution. Here α = 1 \alpha = 1 α = 1 and L = π L = \pi L = π . The initial condition is already a sine series.
λ n = n 2 \lambda_n = n^2 λ n = n 2 , X n = sin ( n x ) X_n = \sin(nx) X n = sin ( n x ) , T n = e − n 2 t T_n = e^{-n^2 t} T n = e − n 2 t .
u ( x , t ) = e − 4 t sin ( 2 x ) + 3 e − 25 t sin ( 5 x ) u(x, t) = e^{-4t}\sin(2x) + 3e^{-25t}\sin(5x) u ( x , t ) = e − 4 t sin ( 2 x ) + 3 e − 25 t sin ( 5 x ) . ■ \blacksquare ■
u t t = c 2 u x x , 0 < x < L , t > 0 u_{tt} = c^2 u_{xx}, \quad 0 \lt x \lt L, \quad t > 0 u tt = c 2 u xx , 0 < x < L , t > 0
With boundary conditions u ( 0 , t ) = u ( L , t ) = 0 u(0, t) = u(L, t) = 0 u ( 0 , t ) = u ( L , t ) = 0 And initial conditions u ( x , 0 ) = f ( x ) u(x, 0) = f(x) u ( x , 0 ) = f ( x ) u t ( x , 0 ) = g ( x ) u_t(x, 0) = g(x) u t ( x , 0 ) = g ( x ) .
Consider a string of length L L L under tension T T T . Let u ( x , t ) u(x, t) u ( x , t ) be the vertical displacement. For A small segment [ x , x + Δ x ] [x, x + \Delta x] [ x , x + Δ x ] Newton’s second law in the vertical direction gives:
ρ Δ x u t t = T sin θ ( x + Δ x ) − T sin θ ( x ) \rho \Delta x \, u_{tt} = T\sin\theta(x + \Delta x) - T\sin\theta(x) ρ Δ x u tt = T sin θ ( x + Δ x ) − T sin θ ( x )
For small displacements, sin θ ≈ tan θ = u x \sin\theta \approx \tan\theta = u_x sin θ ≈ tan θ = u x So:
ρ u t t = T u x ( x + Δ x ) − u x ( x ) Δ x → Δ x → 0 T u x x \rho \, u_{tt} = T \frac{u_x(x + \Delta x) - u_x(x)}{\Delta x} \xrightarrow{\Delta x \to 0} T u_{xx} ρ u tt = T Δ x u x ( x + Δ x ) − u x ( x ) Δ x → 0 T u xx
u t t = T ρ u x x = c 2 u x x , c = T / ρ u_{tt} = \frac{T}{\rho} u_{xx} = c^2 u_{xx}, \quad c = \sqrt{T/\rho} u tt = ρ T u xx = c 2 u xx , c = T / ρ
Separation of variables u ( x , t ) = X ( x ) T ( t ) u(x, t) = X(x)T(t) u ( x , t ) = X ( x ) T ( t ) gives:
X ′ ′ + λ X = 0 , T ′ ′ + c 2 λ T = 0 X'' + \lambda X = 0, \quad T'' + c^2 \lambda T = 0 X ′′ + λ X = 0 , T ′′ + c 2 λ T = 0
With λ n = ( n π / L ) 2 \lambda_n = (n\pi/L)^2 λ n = ( nπ / L ) 2 :
X n ( x ) = sin n π x L , T n ( t ) = a n cos c n π t L + b n sin c n π t L X_n(x) = \sin\frac{n\pi x}{L}, \quad T_n(t) = a_n \cos\frac{cn\pi t}{L} + b_n \sin\frac{cn\pi t}{L} X n ( x ) = sin L nπ x , T n ( t ) = a n cos L c nπ t + b n sin L c nπ t
u ( x , t ) = ∑ n = 1 ∞ sin n π x L ( a n cos c n π t L + b n sin c n π t L ) u(x, t) = \sum_{n=1}^{\infty} \sin\frac{n\pi x}{L}\left(a_n \cos\frac{cn\pi t}{L} + b_n \sin\frac{cn\pi t}{L}\right) u ( x , t ) = ∑ n = 1 ∞ sin L nπ x ( a n cos L c nπ t + b n sin L c nπ t )
Where a n = 2 L ∫ 0 L f ( x ) sin n π x L d x a_n = \frac{2}{L}\int_0^L f(x)\sin\frac{n\pi x}{L}\, dx a n = L 2 ∫ 0 L f ( x ) sin L nπ x d x and b n = 2 c n π ∫ 0 L g ( x ) sin n π x L d x b_n = \frac{2}{cn\pi}\int_0^L g(x)\sin\frac{n\pi x}{L}\, dx b n = c nπ 2 ∫ 0 L g ( x ) sin L nπ x d x .
For the wave equation on − ∞ < x < ∞ -\infty \lt x \lt \infty − ∞ < x < ∞ :
u ( x , t ) = f ( x + c t ) + f ( x − c t ) 2 + 1 2 c ∫ x − c t x + c t g ( s ) d s u(x, t) = \frac{f(x + ct) + f(x - ct)}{2} + \frac{1}{2c}\int_{x - ct}^{x + ct} g(s)\, ds u ( x , t ) = 2 f ( x + c t ) + f ( x − c t ) + 2 c 1 ∫ x − c t x + c t g ( s ) d s
This represents the solution as a superposition of right-moving and left-moving waves.
u x x + u y y = 0 u_{xx} + u_{yy} = 0 u xx + u y y = 0
On a domain Ω ⊆ R 2 \Omega \subseteq \mathbb{R}^2 Ω ⊆ R 2 With boundary conditions on ∂ Ω \partial\Omega ∂ Ω .
Theorem 8.1 (Maximum Principle). A harmonic function u u u (satisfying Laplace’s equation) on a Bounded domain attains its maximum and minimum on the boundary.
Theorem 8.2 (Uniqueness). The Dirichlet problem for Laplace’s equation has at most one solution.
Proof. If u 1 u_1 u 1 and u 2 u_2 u 2 are two solutions with the same boundary data, then v = u 1 − u 2 v = u_1 - u_2 v = u 1 − u 2 is Harmonic with v = 0 v = 0 v = 0 on ∂ Ω \partial\Omega ∂ Ω . By the maximum principle, v ≡ 0 v \equiv 0 v ≡ 0 . ■ \blacksquare ■
Problem. A string of length π \pi π with fixed ends is plucked: u ( x , 0 ) = x ( π − x ) u(x, 0) = x(\pi - x) u ( x , 0 ) = x ( π − x ) u t ( x , 0 ) = 0 u_t(x, 0) = 0 u t ( x , 0 ) = 0 . Find u ( x , t ) u(x, t) u ( x , t ) .
Solution. With c = 1 c = 1 c = 1 and L = π L = \pi L = π : a n = 2 π ∫ 0 π x ( π − x ) sin ( n x ) d x a_n = \frac{2}{\pi}\int_0^{\pi} x(\pi - x)\sin(nx)\, dx a n = π 2 ∫ 0 π x ( π − x ) sin ( n x ) d x b n = 0 b_n = 0 b n = 0 (since g = 0 g = 0 g = 0 ).
Integrating by parts twice:
∫ 0 π x ( π − x ) sin ( n x ) d x = [ − x ( π − x ) cos ( n x ) n ] 0 π + 1 n ∫ 0 π ( π − 2 x ) cos ( n x ) d x \int_0^{\pi} x(\pi - x)\sin(nx)\, dx = \left[-\frac{x(\pi - x)\cos(nx)}{n}\right]_0^{\pi} + \frac{1}{n}\int_0^{\pi}(\pi - 2x)\cos(nx)\, dx ∫ 0 π x ( π − x ) sin ( n x ) d x = [ − n x ( π − x ) c o s ( n x ) ] 0 π + n 1 ∫ 0 π ( π − 2 x ) cos ( n x ) d x
= 0 + 1 n [ ( π − 2 x ) sin ( n x ) n ] 0 π + 2 n 2 ∫ 0 π sin ( n x ) d x = 0 + \frac{1}{n}\left[\frac{(\pi - 2x)\sin(nx)}{n}\right]_0^{\pi} + \frac{2}{n^2}\int_0^{\pi}\sin(nx)\, dx = 0 + n 1 [ n ( π − 2 x ) s i n ( n x ) ] 0 π + n 2 2 ∫ 0 π sin ( n x ) d x
= 0 + 2 n 2 [ − cos ( n x ) n ] 0 π = 2 n 3 ( 1 − ( − 1 ) n ) = 0 + \frac{2}{n^2}\left[-\frac{\cos(nx)}{n}\right]_0^{\pi} = \frac{2}{n^3}(1 - (-1)^n) = 0 + n 2 2 [ − n c o s ( n x ) ] 0 π = n 3 2 ( 1 − ( − 1 ) n )
For even n n n : a n = 0 a_n = 0 a n = 0 . For odd n = 2 k + 1 n = 2k + 1 n = 2 k + 1 : a n = 2 π ⋅ 4 n 3 = 8 π n 3 a_n = \frac{2}{\pi} \cdot \frac{4}{n^3} = \frac{8}{\pi n^3} a n = π 2 ⋅ n 3 4 = π n 3 8 .
u ( x , t ) = 8 π ∑ k = 0 ∞ sin ( ( 2 k + 1 ) x ) ( 2 k + 1 ) 3 cos ( ( 2 k + 1 ) t ) u(x, t) = \frac{8}{\pi}\sum_{k=0}^{\infty} \frac{\sin((2k+1)x)}{(2k+1)^3}\cos((2k+1)t) u ( x , t ) = π 8 ∑ k = 0 ∞ ( 2 k + 1 ) 3 s i n (( 2 k + 1 ) x ) cos (( 2 k + 1 ) t ) . ■ \blacksquare ■
Problem. Solve u x x + u y y = 0 u_{xx} + u_{yy} = 0 u xx + u y y = 0 on 0 < x < π 0 \lt x \lt \pi 0 < x < π , 0 < y < 1 0 \lt y \lt 1 0 < y < 1 with u ( 0 , y ) = u ( π , y ) = u ( x , 1 ) = 0 u(0, y) = u(\pi, y) = u(x, 1) = 0 u ( 0 , y ) = u ( π , y ) = u ( x , 1 ) = 0 and u ( x , 0 ) = f ( x ) = x ( π − x ) u(x, 0) = f(x) = x(\pi - x) u ( x , 0 ) = f ( x ) = x ( π − x ) .
Solution Solution. Separate variables: u ( x , y ) = X ( x ) Y ( y ) u(x, y) = X(x)Y(y) u ( x , y ) = X ( x ) Y ( y ) .
X ′ ′ / X = − Y ′ ′ / Y = − λ X''/X = -Y''/Y = -\lambda X ′′ / X = − Y ′′ / Y = − λ .
X ′ ′ + λ X = 0 X'' + \lambda X = 0 X ′′ + λ X = 0 , X ( 0 ) = X ( π ) = 0 X(0) = X(\pi) = 0 X ( 0 ) = X ( π ) = 0 : λ n = n 2 \lambda_n = n^2 λ n = n 2 , X n = sin ( n x ) X_n = \sin(nx) X n = sin ( n x ) .
Y ′ ′ − n 2 Y = 0 Y'' - n^2 Y = 0 Y ′′ − n 2 Y = 0 , Y ( 1 ) = 0 Y(1) = 0 Y ( 1 ) = 0 : Y n = sinh ( n ( 1 − y ) ) Y_n = \sinh(n(1 - y)) Y n = sinh ( n ( 1 − y )) .
u ( x , y ) = ∑ n = 1 ∞ b n sin ( n x ) sinh ( n ( 1 − y ) ) u(x, y) = \sum_{n=1}^{\infty} b_n \sin(nx)\sinh(n(1-y)) u ( x , y ) = ∑ n = 1 ∞ b n sin ( n x ) sinh ( n ( 1 − y )) .
b n = 2 π sinh n ∫ 0 π x ( π − x ) sin ( n x ) d x = 2 π sinh n ⋅ 2 ( 1 − ( − 1 ) n ) n 3 b_n = \frac{2}{\pi \sinh n}\int_0^{\pi} x(\pi - x)\sin(nx)\, dx = \frac{2}{\pi \sinh n} \cdot \frac{2(1 - (-1)^n)}{n^3} b n = π s i n h n 2 ∫ 0 π x ( π − x ) sin ( n x ) d x = π s i n h n 2 ⋅ n 3 2 ( 1 − ( − 1 ) n ) .
For odd n = 2 k + 1 n = 2k + 1 n = 2 k + 1 : b n = 8 π n 3 sinh n b_n = \frac{8}{\pi n^3 \sinh n} b n = π n 3 s i n h n 8 .
u ( x , y ) = 8 π ∑ k = 0 ∞ sin ( ( 2 k + 1 ) x ) sinh ( ( 2 k + 1 ) ( 1 − y ) ) ( 2 k + 1 ) 3 sinh ( 2 k + 1 ) u(x, y) = \frac{8}{\pi}\sum_{k=0}^{\infty} \frac{\sin((2k+1)x)\sinh((2k+1)(1-y))}{(2k+1)^3 \sinh(2k+1)} u ( x , y ) = π 8 ∑ k = 0 ∞ ( 2 k + 1 ) 3 s i n h ( 2 k + 1 ) s i n (( 2 k + 1 ) x ) s i n h (( 2 k + 1 ) ( 1 − y )) . ■ \blacksquare ■
A Sturm-Liouville problem consists of the ODE
( p ( x ) y ′ ) ′ + [ λ w ( x ) − q ( x ) ] y = 0 (p(x)y')' + [\lambda w(x) - q(x)]y = 0 ( p ( x ) y ′ ) ′ + [ λ w ( x ) − q ( x )] y = 0
On [ a , b ] [a, b] [ a , b ] with homogeneous boundary conditions, where p , w > 0 p, w > 0 p , w > 0 and p , p ′ , q , w p, p', q, w p , p ′ , q , w are continuous.
Key properties:
The eigenvalues are real and form an infinite increasing sequence λ 1 < λ 2 < ⋯ → ∞ \lambda_1 \lt \lambda_2 \lt \cdots \to \infty λ 1 < λ 2 < ⋯ → ∞ . Eigenfunctions corresponding to distinct eigenvalues are orthogonal with respect to the weight w ( x ) w(x) w ( x ) : ∫ a b y m ( x ) y n ( x ) w ( x ) d x = 0 \int_a^b y_m(x) y_n(x) w(x)\, dx = 0 ∫ a b y m ( x ) y n ( x ) w ( x ) d x = 0 for m ≠ n m \neq n m = n . The eigenfunctions form a complete set in the weighted L 2 L^2 L 2 space. Remark. The boundary value problems encountered in the heat and wave equations (X ′ ′ + λ X = 0 X'' + \lambda X = 0 X ′′ + λ X = 0 with X ( 0 ) = X ( L ) = 0 X(0) = X(L) = 0 X ( 0 ) = X ( L ) = 0 ) are special cases of Sturm-Liouville problems With p = 1 p = 1 p = 1 , q = 0 q = 0 q = 0 , w = 1 w = 1 w = 1 .
When the boundary specifies the derivative (heat flux) rather than the value, we have Neumann Conditions . For the heat equation:
u x ( 0 , t ) = 0 , u x ( L , t ) = 0 u_x(0, t) = 0, \quad u_x(L, t) = 0 u x ( 0 , t ) = 0 , u x ( L , t ) = 0
(insulated ends). The separation of variables gives X ′ ( 0 ) = X ′ ( L ) = 0 X'(0) = X'(L) = 0 X ′ ( 0 ) = X ′ ( L ) = 0 Yielding eigenvalues λ 0 = 0 \lambda_0 = 0 λ 0 = 0 with X 0 = 1 X_0 = 1 X 0 = 1 And λ n = ( n π / L ) 2 \lambda_n = (n\pi/L)^2 λ n = ( nπ / L ) 2 for n ≥ 1 n \geq 1 n ≥ 1 with X n = cos ( n π x / L ) X_n = \cos(n\pi x/L) X n = cos ( nπ x / L ) .
The solution is
u ( x , t ) = a 0 2 + ∑ n = 1 ∞ a n cos n π x L e − α 2 ( n π / L ) 2 t u(x, t) = \frac{a_0}{2} + \sum_{n=1}^{\infty} a_n \cos\frac{n\pi x}{L} e^{-\alpha^2 (n\pi/L)^2 t} u ( x , t ) = 2 a 0 + ∑ n = 1 ∞ a n cos L nπ x e − α 2 ( nπ / L ) 2 t
Where a n = 2 L ∫ 0 L f ( x ) cos n π x L d x a_n = \frac{2}{L}\int_0^L f(x)\cos\frac{n\pi x}{L}\, dx a n = L 2 ∫ 0 L f ( x ) cos L nπ x d x .
Remark. As t → ∞ t \to \infty t → ∞ All exponential terms decay, and u ( x , t ) → a 0 / 2 u(x, t) \to a_0/2 u ( x , t ) → a 0 /2 The average Value of the initial temperature. Physically, an insulated rod reaches a uniform steady-state Temperature.
Problem. Solve u t = u x x u_t = u_{xx} u t = u xx for 0 < x < π 0 \lt x \lt \pi 0 < x < π , t > 0 t > 0 t > 0 With u ( 0 , t ) = u ( π , t ) = 0 u(0, t) = u(\pi, t) = 0 u ( 0 , t ) = u ( π , t ) = 0 And u ( x , 0 ) = x ( π − x ) u(x, 0) = x(\pi - x) u ( x , 0 ) = x ( π − x ) .
Solution Solution. The sine series of f ( x ) = x ( π − x ) f(x) = x(\pi - x) f ( x ) = x ( π − x ) on [ 0 , π ] [0, \pi] [ 0 , π ] has coefficients
b n = 2 π ∫ 0 π x ( π − x ) sin ( n x ) d x = 4 ( 1 − ( − 1 ) n ) π n 3 b_n = \frac{2}{\pi}\int_0^{\pi} x(\pi - x)\sin(nx)\, dx = \frac{4(1 - (-1)^n)}{\pi n^3} b n = π 2 ∫ 0 π x ( π − x ) sin ( n x ) d x = π n 3 4 ( 1 − ( − 1 ) n ) .
(Computed in Section 8.11.)
For even n n n : b n = 0 b_n = 0 b n = 0 . For odd n = 2 k + 1 n = 2k + 1 n = 2 k + 1 : b n = 8 π n 3 b_n = \frac{8}{\pi n^3} b n = π n 3 8 .
u ( x , t ) = 8 π ∑ k = 0 ∞ sin ( ( 2 k + 1 ) x ) ( 2 k + 1 ) 3 e − ( 2 k + 1 ) 2 t u(x, t) = \frac{8}{\pi}\sum_{k=0}^{\infty} \frac{\sin((2k+1)x)}{(2k+1)^3} e^{-(2k+1)^2 t} u ( x , t ) = π 8 ∑ k = 0 ∞ ( 2 k + 1 ) 3 s i n (( 2 k + 1 ) x ) e − ( 2 k + 1 ) 2 t . ■ \blacksquare ■
Problem. Solve u t t = 4 u x x u_{tt} = 4u_{xx} u tt = 4 u xx for − ∞ < x < ∞ -\infty \lt x \lt \infty − ∞ < x < ∞ with u ( x , 0 ) = e − x 2 u(x, 0) = e^{-x^2} u ( x , 0 ) = e − x 2 and u t ( x , 0 ) = 0 u_t(x, 0) = 0 u t ( x , 0 ) = 0 .
Solution Solution. Here c = 2 c = 2 c = 2 . By D’Alembert’s formula with g = 0 g = 0 g = 0 :
u ( x , t ) = f ( x + 2 t ) + f ( x − 2 t ) 2 = e − ( x + 2 t ) 2 + e − ( x − 2 t ) 2 2 u(x, t) = \frac{f(x + 2t) + f(x - 2t)}{2} = \frac{e^{-(x+2t)^2} + e^{-(x-2t)^2}}{2} u ( x , t ) = 2 f ( x + 2 t ) + f ( x − 2 t ) = 2 e − ( x + 2 t ) 2 + e − ( x − 2 t ) 2 .
This represents two Gaussian pulses traveling in opposite directions at speed 2. ■ \blacksquare ■
## 9. Stability and Phase Plane Analysis
For x ′ = f ( x ) \mathbf{x}' = \mathbf{f}(\mathbf{x}) x ′ = f ( x ) A critical point x ∗ \mathbf{x}^* x ∗ satisfies f ( x ∗ ) = 0 \mathbf{f}(\mathbf{x}^*) = \mathbf{0} f ( x ∗ ) = 0 .
Let A = J f ( x ∗ ) A = J\mathbf{f}(\mathbf{x}^*) A = J f ( x ∗ ) be the Jacobian at the critical point. The eigenvalues of A A A Determine the local stability:
Eigenvalues of A A A Type Stability Both real, negative Stable node Asymptotically stable Both real, positive Unstable node Unstable Real, opposite signs Saddle point Unstable Complex, R e ( λ ) < 0 \mathrm{Re}(\lambda) \lt 0 Re ( λ ) < 0 Stable spiral Asymptotically stable Complex, R e ( λ ) > 0 \mathrm{Re}(\lambda) > 0 Re ( λ ) > 0 Unstable spiral Unstable Purely imaginary Center (Marginally) stable
Definition. A critical point x ∗ \mathbf{x}^* x ∗ is stable if for every ε > 0 \varepsilon > 0 ε > 0 There Exists δ > 0 \delta > 0 δ > 0 such that ∥ x ( 0 ) − x ∗ ∥ < δ \|\mathbf{x}(0) - \mathbf{x}^*\| \lt \delta ∥ x ( 0 ) − x ∗ ∥ < δ implies ∥ x ( t ) − x ∗ ∥ < ε \|\mathbf{x}(t) - \mathbf{x}^*\| \lt \varepsilon ∥ x ( t ) − x ∗ ∥ < ε for all t > 0 t > 0 t > 0 .
It is asymptotically stable if it is stable and x ( t ) → x ∗ \mathbf{x}(t) \to \mathbf{x}^* x ( t ) → x ∗ as t → ∞ t \to \infty t → ∞ .
Theorem 9.1 (Lyapunov). If there exists a continuously differentiable function V V V (a Lyapunov Function ) such that V ( x ∗ ) = 0 V(\mathbf{x}^*) = 0 V ( x ∗ ) = 0 , V ( x ) > 0 V(\mathbf{x}) > 0 V ( x ) > 0 for x ≠ x ∗ \mathbf{x} \neq \mathbf{x}^* x = x ∗ And V ˙ ≤ 0 \dot{V} \leq 0 V ˙ ≤ 0 in a neighbourhood of x ∗ \mathbf{x}^* x ∗ Then x ∗ \mathbf{x}^* x ∗ is stable. If V ˙ < 0 \dot{V} \lt 0 V ˙ < 0 for x ≠ x ∗ \mathbf{x} \neq \mathbf{x}^* x = x ∗ Then x ∗ \mathbf{x}^* x ∗ is asymptotically stable.
Problem. Find and classify the critical points of x ′ = x − y x' = x - y x ′ = x − y , y ′ = x 2 + y 2 − 1 y' = x^2 + y^2 - 1 y ′ = x 2 + y 2 − 1 .
Solution Solution. Set x ′ = 0 x' = 0 x ′ = 0 and y ′ = 0 y' = 0 y ′ = 0 :
x − y = 0 ⟹ y = x x - y = 0 \implies y = x x − y = 0 ⟹ y = x
x 2 + x 2 − 1 = 0 ⟹ 2 x 2 = 1 ⟹ x = ± 1 / 2 x^2 + x^2 - 1 = 0 \implies 2x^2 = 1 \implies x = \pm 1/\sqrt{2} x 2 + x 2 − 1 = 0 ⟹ 2 x 2 = 1 ⟹ x = ± 1/ 2
Critical points: ( 1 / 2 , 1 / 2 ) (1/\sqrt{2}, 1/\sqrt{2}) ( 1/ 2 , 1/ 2 ) and ( − 1 / 2 , − 1 / 2 ) (-1/\sqrt{2}, -1/\sqrt{2}) ( − 1/ 2 , − 1/ 2 ) .
The Jacobian is J = ( 1 − 1 2 x 2 y ) J = \begin{pmatrix} 1 & -1 \\ 2x & 2y \end{pmatrix} J = ( 1 2 x − 1 2 y ) .
At ( 1 / 2 , 1 / 2 ) (1/\sqrt{2}, 1/\sqrt{2}) ( 1/ 2 , 1/ 2 ) : J = ( 1 − 1 2 2 ) J = \begin{pmatrix} 1 & -1 \\ \sqrt{2} & \sqrt{2} \end{pmatrix} J = ( 1 2 − 1 2 ) .
t r ( J ) = 1 + 2 > 0 \mathrm{tr}(J) = 1 + \sqrt{2} > 0 tr ( J ) = 1 + 2 > 0 , det ( J ) = 2 + 2 = 2 2 > 0 \det(J) = \sqrt{2} + \sqrt{2} = 2\sqrt{2} > 0 det ( J ) = 2 + 2 = 2 2 > 0 .
τ 2 − 4 Δ = ( 1 + 2 ) 2 − 8 2 = 3 + 2 2 − 8 2 = 3 − 6 2 < 0 \tau^2 - 4\Delta = (1 + \sqrt{2})^2 - 8\sqrt{2} = 3 + 2\sqrt{2} - 8\sqrt{2} = 3 - 6\sqrt{2} \lt 0 τ 2 − 4Δ = ( 1 + 2 ) 2 − 8 2 = 3 + 2 2 − 8 2 = 3 − 6 2 < 0 .
Complex eigenvalues with positive real part: unstable spiral .
At ( − 1 / 2 , − 1 / 2 ) (-1/\sqrt{2}, -1/\sqrt{2}) ( − 1/ 2 , − 1/ 2 ) : J = ( 1 − 1 − 2 − 2 ) J = \begin{pmatrix} 1 & -1 \\ -\sqrt{2} & -\sqrt{2} \end{pmatrix} J = ( 1 − 2 − 1 − 2 ) .
t r ( J ) = 1 − 2 < 0 \mathrm{tr}(J) = 1 - \sqrt{2} \lt 0 tr ( J ) = 1 − 2 < 0 , det ( J ) = − 2 + 2 = 0 \det(J) = -\sqrt{2} + \sqrt{2} = 0 det ( J ) = − 2 + 2 = 0 .
Wait, det ( J ) = ( 1 ) ( − 2 ) − ( − 1 ) ( − 2 ) = − 2 − 2 = − 2 2 < 0 \det(J) = (1)(-\sqrt{2}) - (-1)(-\sqrt{2}) = -\sqrt{2} - \sqrt{2} = -2\sqrt{2} \lt 0 det ( J ) = ( 1 ) ( − 2 ) − ( − 1 ) ( − 2 ) = − 2 − 2 = − 2 2 < 0 .
Negative determinant: saddle point (unstable). ■ \blacksquare ■
For the nonlinear system x ′ = f ( x ) \mathbf{x}' = \mathbf{f}(\mathbf{x}) x ′ = f ( x ) The Hartman-Grobman theorem States that near a hyperbolic critical point (one where the Jacobian has no eigenvalues on the Imaginary axis), the nonlinear phase portrait is topologically equivalent to the linearized one.
Procedure for sketching phase portraits:
Find all critical points by solving f ( x ) = 0 \mathbf{f}(\mathbf{x}) = \mathbf{0} f ( x ) = 0 . Compute the Jacobian J J J at each critical point. Classify each critical point using the eigenvalue analysis from Section 4.9. Sketch the local behaviour near each critical point. Connect the local pictures using nullclines (x ′ = 0 x' = 0 x ′ = 0 and y ′ = 0 y' = 0 y ′ = 0 curves). A limit cycle is an isolated closed periodic orbit. Limit cycles are inherently nonlinear Phenomena --- linear systems cannot have isolated closed orbits.
Theorem 9.2 (Poincaré-Bendixson). If a trajectory of a C 1 C^1 C 1 planar system is confined to a Closed bounded region R R R that contains no critical points, then the trajectory approaches a closed Periodic orbit as t → ∞ t \to \infty t → ∞ .
Remark. The Poincaré-Bendixson theorem is specific to two dimensions. In three or more Dimensions, much more complex behaviour (chaos) is possible.
Example: Van der Pol oscillator. The equation
x ′ ′ + μ ( x 2 − 1 ) x ′ + x = 0 x'' + \mu(x^2 - 1)x' + x = 0 x ′′ + μ ( x 2 − 1 ) x ′ + x = 0
With μ > 0 \mu > 0 μ > 0 has a unique stable limit cycle. This system models electrical circuits with Nonlinear resistance and arises in biology (cardiac rhythms, neuron firing).
Problem. Analyze the stability of the Lotka-Volterra system x ′ = x ( 2 − y ) x' = x(2 - y) x ′ = x ( 2 − y ) , y ′ = y ( x − 1 ) y' = y(x - 1) y ′ = y ( x − 1 ) .
Solution Solution. Critical points: ( 0 , 0 ) (0, 0) ( 0 , 0 ) and ( 1 , 2 ) (1, 2) ( 1 , 2 ) .
Jacobian: J = ( 2 − y − x y x − 1 ) J = \begin{pmatrix} 2 - y & -x \\ y & x - 1 \end{pmatrix} J = ( 2 − y y − x x − 1 ) .
At ( 0 , 0 ) (0, 0) ( 0 , 0 ) : J = ( 2 0 0 − 1 ) J = \begin{pmatrix} 2 & 0 \\ 0 & -1 \end{pmatrix} J = ( 2 0 0 − 1 ) . Eigenvalues 2 2 2 and − 1 -1 − 1 : saddle point (unstable).
At ( 1 , 2 ) (1, 2) ( 1 , 2 ) : J = ( 0 − 1 2 0 ) J = \begin{pmatrix} 0 & -1 \\ 2 & 0 \end{pmatrix} J = ( 0 2 − 1 0 ) . det ( J ) = 2 > 0 \det(J) = 2 > 0 det ( J ) = 2 > 0 , t r ( J ) = 0 \mathrm{tr}(J) = 0 tr ( J ) = 0 . Eigenvalues ± i 2 \pm i\sqrt{2} ± i 2 : center .
Remark. For the linearized system, the center is (marginally) stable. However, for the Nonlinear Lotka-Volterra system, the trajectories are actually closed orbits surrounding ( 1 , 2 ) (1, 2) ( 1 , 2 ) . This can be verified using the first integral H = x − ln x + 2 ln y − y H = x - \ln x + 2\ln y - y H = x − ln x + 2 ln y − y Which is constant Along trajectories. ■ \blacksquare ■
The competing species model is:
x ′ = x ( r 1 − a 11 x − a 12 y ) , y ′ = y ( r 2 − a 21 x − a 22 y ) x' = x(r_1 - a_{11}x - a_{12}y), \quad y' = y(r_2 - a_{21}x - a_{22}y) x ′ = x ( r 1 − a 11 x − a 12 y ) , y ′ = y ( r 2 − a 21 x − a 22 y )
Where r i > 0 r_i > 0 r i > 0 are growth rates and a i j > 0 a_{ij} > 0 a ij > 0 are competition coefficients. The four critical Points are ( 0 , 0 ) (0, 0) ( 0 , 0 ) , ( r 1 / a 11 , 0 ) (r_1/a_{11}, 0) ( r 1 / a 11 , 0 ) , ( 0 , r 2 / a 22 ) (0, r_2/a_{22}) ( 0 , r 2 / a 22 ) And the coexistence point ( x ∗ , y ∗ ) (x^*, y^*) ( x ∗ , y ∗ ) where both x ′ x' x ′ and y ′ y' y ′ vanish.
The stability of the coexistence point determines whether both species survive. If a 11 a 22 > a 12 a 21 a_{11}a_{22} > a_{12}a_{21} a 11 a 22 > a 12 a 21 Coexistence is stable; otherwise, one species drives the other To extinction (competitive exclusion).
:::caution Common Pitfall When using undetermined coefficients, always check whether your guess Overlaps with the homogeneous solution. For y ′ ′ − 4 y = e 2 x y'' - 4y = e^{2x} y ′′ − 4 y = e 2 x Guessing y p = A e 2 x y_p = Ae^{2x} y p = A e 2 x fails Because e 2 x e^{2x} e 2 x satisfies the homogeneous equation. You must use y p = A x e 2 x y_p = Axe^{2x} y p = A x e 2 x instead. :::
:::caution Common Pitfall The Laplace transform of y ′ ( t ) y'(t) y ′ ( t ) is s Y ( s ) − y ( 0 ) sY(s) - y(0) s Y ( s ) − y ( 0 ) Not s Y ( s ) sY(s) s Y ( s ) . The Initial conditions are built into the transform. Forgetting them leads to incorrect solutions. :::
:::caution Common Pitfall Separation of variables can miss solutions. When dividing by h ( y ) h(y) h ( y ) to Separate, check whether h ( y ) = 0 h(y) = 0 h ( y ) = 0 gives any valid solutions. For example, solving y ′ = y 2 y' = y^2 y ′ = y 2 by Separating gives y = − 1 / ( x + C ) y = -1/(x + C) y = − 1/ ( x + C ) But misses the solution y = 0 y = 0 y = 0 . :::
:::caution Common Pitfall The Fourier series of a function converges to the function only at points Of continuity. At jump discontinuities, it converges to the midpoint of the jump. The Gibbs Phenomenon causes overshoots near jumps that do not vanish as more terms are added. :::
:::caution Common Pitfall When solving PDEs by separation of variables, the boundary conditions Determine the eigenvalues. Using the wrong boundary conditions (e.g., Neumann instead of Dirichlet) Leads to a completely different set of eigenfunctions and eigenvalues. :::
:::caution Common Pitfall Not every first-order ODE can be solved analytically. Equations like y ′ = x 2 + y 2 y' = x^2 + y^2 y ′ = x 2 + y 2 have no closed-form solution in terms of elementary functions. Numerical methods (Euler, Runge-Kutta) may be necessary. :::
:::caution Common Pitfall The linearization of a nonlinear system near a critical point is only Valid for hyperbolic critical points (no eigenvalues on the imaginary axis). If eigenvalues lie on The imaginary axis, the nonlinear system can behave very differently from its linearization. :::
:::caution Common Pitfall When computing the inverse Laplace transform, always check that the Partial fraction decomposition is correct before inverting term-by-term. A common error is Forgetting to include all powers of irreducible quadratic factors. :::
:::caution Common Pitfall For the Euler-Cauchy equation x 2 y ′ ′ + a x y ′ + b y = 0 x^2 y'' + axy' + by = 0 x 2 y ′′ + a x y ′ + b y = 0 Remember that x r x^r x r with complex r = α ± i β r = \alpha \pm i\beta r = α ± i β gives solutions involving cos ( β ln x ) \cos(\beta \ln x) cos ( β ln x ) and sin ( β ln x ) \sin(\beta \ln x) sin ( β ln x ) Not cos ( β x ) \cos(\beta x) cos ( β x ) and sin ( β x ) \sin(\beta x) sin ( β x ) . :::
:::caution Common Pitfall The Wronskian W ( y 1 , y 2 ) W(y_1, y_2) W ( y 1 , y 2 ) being zero at a single point does not Necessarily mean the solutions are linearly dependent. For linear ODEs with continuous coefficients, W ≡ 0 W \equiv 0 W ≡ 0 everywhere or W ≠ 0 W \neq 0 W = 0 everywhere. Check Abel’s identity.
Problem. Show that ( 0 , 0 ) (0, 0) ( 0 , 0 ) is asymptotically stable for the system x ′ = − x − y 3 x' = -x - y^3 x ′ = − x − y 3 , y ′ = x 3 − y y' = x^3 - y y ′ = x 3 − y .
Solution Solution. Critical point: − x − y 3 = 0 -x - y^3 = 0 − x − y 3 = 0 and x 3 − y = 0 x^3 - y = 0 x 3 − y = 0 gives x = 0 , y = 0 x = 0, y = 0 x = 0 , y = 0 .
Choose the Lyapunov function V ( x , y ) = x 2 2 + y 2 2 V(x, y) = \frac{x^2}{2} + \frac{y^2}{2} V ( x , y ) = 2 x 2 + 2 y 2 . V ( 0 , 0 ) = 0 V(0,0) = 0 V ( 0 , 0 ) = 0 and V > 0 V > 0 V > 0 for ( x , y ) ≠ ( 0 , 0 ) (x, y) \neq (0, 0) ( x , y ) = ( 0 , 0 ) .
V ˙ = ∂ V ∂ x x ′ + ∂ V ∂ y y ′ = x ( − x − y 3 ) + y ( x 3 − y ) \dot{V} = \frac{\partial V}{\partial x}x' + \frac{\partial V}{\partial y}y' = x(-x - y^3) + y(x^3 - y) V ˙ = ∂ x ∂ V x ′ + ∂ y ∂ V y ′ = x ( − x − y 3 ) + y ( x 3 − y )
= − x 2 − x y 3 + x 3 y − y 2 = − x 2 − y 2 + x y ( x 2 − y 2 ) = -x^2 - xy^3 + x^3 y - y^2 = -x^2 - y^2 + xy(x^2 - y^2) = − x 2 − x y 3 + x 3 y − y 2 = − x 2 − y 2 + x y ( x 2 − y 2 )
This is not negative definite. Let us try V ( x , y ) = x 4 4 + y 4 4 V(x, y) = \frac{x^4}{4} + \frac{y^4}{4} V ( x , y ) = 4 x 4 + 4 y 4 :
V ˙ = x 3 ( − x − y 3 ) + y 3 ( x 3 − y ) = − x 4 − x 3 y 3 + x 3 y 3 − y 4 = − ( x 4 + y 4 ) \dot{V} = x^3(-x - y^3) + y^3(x^3 - y) = -x^4 - x^3 y^3 + x^3 y^3 - y^4 = -(x^4 + y^4) V ˙ = x 3 ( − x − y 3 ) + y 3 ( x 3 − y ) = − x 4 − x 3 y 3 + x 3 y 3 − y 4 = − ( x 4 + y 4 ) .
Since V ˙ = − ( x 4 + y 4 ) < 0 \dot{V} = -(x^4 + y^4) \lt 0 V ˙ = − ( x 4 + y 4 ) < 0 for ( x , y ) ≠ ( 0 , 0 ) (x, y) \neq (0, 0) ( x , y ) = ( 0 , 0 ) The origin is asymptotically Stable by Lyapunov’s theorem. ■ \blacksquare ■
Problem. Show that the Van der Pol equation x ′ ′ + μ ( x 2 − 1 ) x ′ + x = 0 x'' + \mu(x^2 - 1)x' + x = 0 x ′′ + μ ( x 2 − 1 ) x ′ + x = 0 with μ > 0 \mu > 0 μ > 0 Has a unique limit cycle.
Solution _Solution.* Write as a system: x ′ = y x' = y x ′ = y , y ′ = − x − μ ( x 2 − 1 ) y y' = -x - \mu(x^2 - 1)y y ′ = − x − μ ( x 2 − 1 ) y .
The only critical point is ( 0 , 0 ) (0, 0) ( 0 , 0 ) . The Jacobian at the origin is J = ( 0 1 − 1 μ ) J = \begin{pmatrix} 0 & 1 \\ -1 & \mu \end{pmatrix} J = ( 0 − 1 1 μ ) .
t r ( J ) = μ > 0 \mathrm{tr}(J) = \mu > 0 tr ( J ) = μ > 0 , det ( J ) = 1 > 0 \det(J) = 1 > 0 det ( J ) = 1 > 0 , τ 2 − 4 Δ = μ 2 − 4 \tau^2 - 4\Delta = \mu^2 - 4 τ 2 − 4Δ = μ 2 − 4 .
For 0 < μ < 2 0 \lt \mu \lt 2 0 < μ < 2 : complex eigenvalues with positive real part (unstable spiral ). For μ ≥ 2 \mu \geq 2 μ ≥ 2 : two positive real eigenvalues (unstable node ).
The origin is always unstable. To show existence of a limit cycle, we use a Liénard’s theorem Or construct a trapping region. Define
L ( x ) = x 3 / 3 − x L(x) = x^3/3 - x L ( x ) = x 3 /3 − x and write the system as x ′ = y x' = y x ′ = y , y ′ = − x − μ L ′ ( x ) y y' = -x - \mu L'(x) y y ′ = − x − μ L ′ ( x ) y .
The function L ( x ) L(x) L ( x ) has zeros at x = ± 1 x = \pm 1 x = ± 1 . For μ > 0 \mu > 0 μ > 0 The damping is negative for ∣ x ∣ < 1 \lvert x \rvert \lt 1 ∣ x ∣ < 1 (energy input) and positive for ∣ x ∣ > 1 \lvert x \rvert > 1 ∣ x ∣ > 1 (energy Dissipation). This creates a unique stable limit cycle that passes through x = ± 1 x = \pm 1 x = ± 1 .
A detailed proof requires constructing an annular region and applying the Poincaré-Bendixson Theorem (the inner boundary encloses the unstable origin; the outer boundary is chosen so that Trajectories point inward). ■ \blacksquare ■
## 11. Problem Set
Classify the ODE y ′ ′ + x y ′ + e x y = cos x y'' + xy' + e^x y = \cos x y ′′ + x y ′ + e x y = cos x by order, linearity, and homogeneity.
Solution Solution. Second-order (highest derivative is y ′ ′ y'' y ′′ ), linear (y y y , y ′ y' y ′ , y ′ ′ y'' y ′′ appear linearly With coefficient functions of x x x only), nonhomogeneous (cos x ≠ 0 \cos x \neq 0 cos x = 0 ). ■ \blacksquare ■
If you get this wrong, revise: Section 1.2 (Classification of ODEs).
Solve d y d x = x y \frac{dy}{dx} = \frac{x}{y} d x d y = y x , y ( 0 ) = 2 y(0) = 2 y ( 0 ) = 2 .
Solution Solution. Separating: y d y = x d x y\, dy = x\, dx y d y = x d x . Integrating: y 2 2 = x 2 2 + C \frac{y^2}{2} = \frac{x^2}{2} + C 2 y 2 = 2 x 2 + C .
y ( 0 ) = 2 ⟹ C = 2 y(0) = 2 \implies C = 2 y ( 0 ) = 2 ⟹ C = 2 So y 2 = x 2 + 4 y^2 = x^2 + 4 y 2 = x 2 + 4 Giving y = x 2 + 4 y = \sqrt{x^2 + 4} y = x 2 + 4 (positive branch Since y ( 0 ) = 2 > 0 y(0) = 2 > 0 y ( 0 ) = 2 > 0 ). ■ \blacksquare ■
If you get this wrong, revise: Section 2.1 (Separable Equations).
Solve y ′ + y x = x 2 y' + \frac{y}{x} = x^2 y ′ + x y = x 2 for x > 0 x > 0 x > 0 , y ( 1 ) = 1 y(1) = 1 y ( 1 ) = 1 .
Solution Solution. P ( x ) = 1 / x P(x) = 1/x P ( x ) = 1/ x , Q ( x ) = x 2 Q(x) = x^2 Q ( x ) = x 2 .
μ ( x ) = e ∫ 1 / x d x = e ln x = x \mu(x) = e^{\int 1/x\, dx} = e^{\ln x} = x μ ( x ) = e ∫ 1/ x d x = e l n x = x .
y = x − 1 ( ∫ x ⋅ x 2 d x + C ) = x − 1 ( x 4 4 + C ) = x 3 4 + C x y = x^{-1}\left(\int x \cdot x^2\, dx + C\right) = x^{-1}\left(\frac{x^4}{4} + C\right) = \frac{x^3}{4} + \frac{C}{x} y = x − 1 ( ∫ x ⋅ x 2 d x + C ) = x − 1 ( 4 x 4 + C ) = 4 x 3 + x C .
y ( 1 ) = 1 / 4 + C = 1 ⟹ C = 3 / 4 y(1) = 1/4 + C = 1 \implies C = 3/4 y ( 1 ) = 1/4 + C = 1 ⟹ C = 3/4 .
y = x 3 4 + 3 4 x y = \frac{x^3}{4} + \frac{3}{4x} y = 4 x 3 + 4 x 3 . ■ \blacksquare ■
If you get this wrong, revise: Section 2.2 (Linear First-Order Equations).
Solve ( 2 x + y ) d x + ( x + 2 y ) d y = 0 (2x + y)\, dx + (x + 2y)\, dy = 0 ( 2 x + y ) d x + ( x + 2 y ) d y = 0 .
Solution Solution. M = 2 x + y M = 2x + y M = 2 x + y , N = x + 2 y N = x + 2y N = x + 2 y . M y = 1 = N x M_y = 1 = N_x M y = 1 = N x . Exact.
Ψ x = 2 x + y ⟹ Ψ = x 2 + x y + h ( y ) \Psi_x = 2x + y \implies \Psi = x^2 + xy + h(y) Ψ x = 2 x + y ⟹ Ψ = x 2 + x y + h ( y ) .
Ψ y = x + h ′ ( y ) = x + 2 y ⟹ h ′ ( y ) = 2 y ⟹ h ( y ) = y 2 \Psi_y = x + h'(y) = x + 2y \implies h'(y) = 2y \implies h(y) = y^2 Ψ y = x + h ′ ( y ) = x + 2 y ⟹ h ′ ( y ) = 2 y ⟹ h ( y ) = y 2 .
Solution: x 2 + x y + y 2 = C x^2 + xy + y^2 = C x 2 + x y + y 2 = C . ■ \blacksquare ■
If you get this wrong, revise: Section 2.4 (Exact Equations).
Solve y ′ − y = x y 2 y' - y = xy^2 y ′ − y = x y 2 .
Solution Solution. This is Bernoulli with n = 2 n = 2 n = 2 , P ( x ) = − 1 P(x) = -1 P ( x ) = − 1 , Q ( x ) = x Q(x) = x Q ( x ) = x .
Substitution v = y − 1 v = y^{-1} v = y − 1 : v ′ = − y − 2 y ′ v' = -y^{-2}y' v ′ = − y − 2 y ′ So − v ′ − v = x -v' - v = x − v ′ − v = x I.e., v ′ + v = − x v' + v = -x v ′ + v = − x .
Integrating factor: e x e^x e x . ( v e x ) ′ = − x e x (ve^x)' = -xe^x ( v e x ) ′ = − x e x .
v e x = − x e x + e x + C = e x ( 1 − x ) + C ve^x = -xe^x + e^x + C = e^x(1 - x) + C v e x = − x e x + e x + C = e x ( 1 − x ) + C .
v = 1 − x + C e − x v = 1 - x + Ce^{-x} v = 1 − x + C e − x So y = 1 1 − x + C e − x y = \frac{1}{1 - x + Ce^{-x}} y = 1 − x + C e − x 1 . ■ \blacksquare ■
If you get this wrong, revise: Section 2.7 (Bernoulli Equations).
Solve y ′ = x + y x − y y' = \frac{x + y}{x - y} y ′ = x − y x + y using the substitution y = v x y = vx y = v x .
Solution Solution. y = v x ⟹ y ′ = v + x v ′ y = vx \implies y' = v + xv' y = v x ⟹ y ′ = v + x v ′ .
x + v x x − v x = 1 + v 1 − v \frac{x + vx}{x - vx} = \frac{1 + v}{1 - v} x − v x x + v x = 1 − v 1 + v .
v + x v ′ = 1 + v 1 − v v + xv' = \frac{1 + v}{1 - v} v + x v ′ = 1 − v 1 + v
x v ′ = 1 + v 1 − v − v = 1 + v − v + v 2 1 − v = 1 + v 2 1 − v xv' = \frac{1 + v}{1 - v} - v = \frac{1 + v - v + v^2}{1 - v} = \frac{1 + v^2}{1 - v} x v ′ = 1 − v 1 + v − v = 1 − v 1 + v − v + v 2 = 1 − v 1 + v 2
1 − v 1 + v 2 d v = d x x \frac{1 - v}{1 + v^2}\, dv = \frac{dx}{x} 1 + v 2 1 − v d v = x d x
∫ 1 1 + v 2 d v − ∫ v 1 + v 2 d v = ln ∣ x ∣ + C \int \frac{1}{1 + v^2}\, dv - \int \frac{v}{1 + v^2}\, dv = \ln|x| + C ∫ 1 + v 2 1 d v − ∫ 1 + v 2 v d v = ln ∣ x ∣ + C
arctan v − 1 2 ln ( 1 + v 2 ) = ln ∣ x ∣ + C \arctan v - \frac{1}{2}\ln(1 + v^2) = \ln|x| + C arctan v − 2 1 ln ( 1 + v 2 ) = ln ∣ x ∣ + C
arctan ( y / x ) − 1 2 ln ( 1 + y 2 / x 2 ) = ln ∣ x ∣ + C \arctan(y/x) - \frac{1}{2}\ln(1 + y^2/x^2) = \ln|x| + C arctan ( y / x ) − 2 1 ln ( 1 + y 2 / x 2 ) = ln ∣ x ∣ + C
arctan ( y / x ) = 1 2 ln ( x 2 + y 2 ) + C \arctan(y/x) = \frac{1}{2}\ln(x^2 + y^2) + C arctan ( y / x ) = 2 1 ln ( x 2 + y 2 ) + C . ■ \blacksquare ■
If you get this wrong, revise: Section 2.10 (Homogeneous Equations).
Solve y ′ ′ + 4 y ′ + 13 y = 0 y'' + 4y' + 13y = 0 y ′′ + 4 y ′ + 13 y = 0 , y ( 0 ) = 2 y(0) = 2 y ( 0 ) = 2 , y ′ ( 0 ) = − 3 y'(0) = -3 y ′ ( 0 ) = − 3 .
Solution Solution. Characteristic equation: r 2 + 4 r + 13 = 0 r^2 + 4r + 13 = 0 r 2 + 4 r + 13 = 0 .
r = − 4 ± 16 − 52 2 = − 4 ± − 36 2 = − 2 ± 3 i r = \frac{-4 \pm \sqrt{16 - 52}}{2} = \frac{-4 \pm \sqrt{-36}}{2} = -2 \pm 3i r = 2 − 4 ± 16 − 52 = 2 − 4 ± − 36 = − 2 ± 3 i .
y = e − 2 x ( c 1 cos 3 x + c 2 sin 3 x ) y = e^{-2x}(c_1 \cos 3x + c_2 \sin 3x) y = e − 2 x ( c 1 cos 3 x + c 2 sin 3 x ) .
y ( 0 ) = c 1 = 2 y(0) = c_1 = 2 y ( 0 ) = c 1 = 2 .
y ′ = − 2 e − 2 x ( 2 cos 3 x + c 2 sin 3 x ) + e − 2 x ( − 6 sin 3 x + 3 c 2 cos 3 x ) y' = -2e^{-2x}(2\cos 3x + c_2 \sin 3x) + e^{-2x}(-6\sin 3x + 3c_2 \cos 3x) y ′ = − 2 e − 2 x ( 2 cos 3 x + c 2 sin 3 x ) + e − 2 x ( − 6 sin 3 x + 3 c 2 cos 3 x ) .
y ′ ( 0 ) = − 4 + 3 c 2 = − 3 ⟹ c 2 = 1 / 3 y'(0) = -4 + 3c_2 = -3 \implies c_2 = 1/3 y ′ ( 0 ) = − 4 + 3 c 2 = − 3 ⟹ c 2 = 1/3 .
y = e − 2 x ( 2 cos 3 x + 1 3 sin 3 x ) y = e^{-2x}\left(2\cos 3x + \frac{1}{3}\sin 3x\right) y = e − 2 x ( 2 cos 3 x + 3 1 sin 3 x ) . ■ \blacksquare ■
If you get this wrong, revise: Section 3.2 (Homogeneous Equations with Constant Coefficients).
Solve y ′ ′ + 4 y ′ + 4 y = 0 y'' + 4y' + 4y = 0 y ′′ + 4 y ′ + 4 y = 0 , y ( 0 ) = 1 y(0) = 1 y ( 0 ) = 1 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution Solution. r 2 + 4 r + 4 = ( r + 2 ) 2 = 0 r^2 + 4r + 4 = (r + 2)^2 = 0 r 2 + 4 r + 4 = ( r + 2 ) 2 = 0 . Repeated root r = − 2 r = -2 r = − 2 .
y = c 1 e − 2 x + c 2 x e − 2 x y = c_1 e^{-2x} + c_2 xe^{-2x} y = c 1 e − 2 x + c 2 x e − 2 x .
y ( 0 ) = c 1 = 1 y(0) = c_1 = 1 y ( 0 ) = c 1 = 1 .
y ′ = − 2 e − 2 x + c 2 e − 2 x − 2 c 2 x e − 2 x y' = -2e^{-2x} + c_2 e^{-2x} - 2c_2 xe^{-2x} y ′ = − 2 e − 2 x + c 2 e − 2 x − 2 c 2 x e − 2 x .
y ′ ( 0 ) = − 2 + c 2 = 0 ⟹ c 2 = 2 y'(0) = -2 + c_2 = 0 \implies c_2 = 2 y ′ ( 0 ) = − 2 + c 2 = 0 ⟹ c 2 = 2 .
y = e − 2 x + 2 x e − 2 x = e − 2 x ( 1 + 2 x ) y = e^{-2x} + 2xe^{-2x} = e^{-2x}(1 + 2x) y = e − 2 x + 2 x e − 2 x = e − 2 x ( 1 + 2 x ) . ■ \blacksquare ■
If you get this wrong, revise: Section 3.2, Case 2.
Solve y ′ ′ − 2 y ′ − 3 y = 3 e 2 x y'' - 2y' - 3y = 3e^{2x} y ′′ − 2 y ′ − 3 y = 3 e 2 x , y ( 0 ) = 1 y(0) = 1 y ( 0 ) = 1 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution Solution. Homogeneous: r 2 − 2 r − 3 = ( r − 3 ) ( r + 1 ) = 0 r^2 - 2r - 3 = (r - 3)(r + 1) = 0 r 2 − 2 r − 3 = ( r − 3 ) ( r + 1 ) = 0 . Roots: 3 , − 1 3, -1 3 , − 1 .
y h = c 1 e 3 x + c 2 e − x y_h = c_1 e^{3x} + c_2 e^{-x} y h = c 1 e 3 x + c 2 e − x .
Guess y p = A e 2 x y_p = Ae^{2x} y p = A e 2 x . y p ′ = 2 A e 2 x y_p' = 2Ae^{2x} y p ′ = 2 A e 2 x , y p ′ ′ = 4 A e 2 x y_p'' = 4Ae^{2x} y p ′′ = 4 A e 2 x .
4 A e 2 x − 4 A e 2 x − 3 A e 2 x = 3 e 2 x ⟹ − 3 A = 3 ⟹ A = − 1 4Ae^{2x} - 4Ae^{2x} - 3Ae^{2x} = 3e^{2x} \implies -3A = 3 \implies A = -1 4 A e 2 x − 4 A e 2 x − 3 A e 2 x = 3 e 2 x ⟹ − 3 A = 3 ⟹ A = − 1 .
y = c 1 e 3 x + c 2 e − x − e 2 x y = c_1 e^{3x} + c_2 e^{-x} - e^{2x} y = c 1 e 3 x + c 2 e − x − e 2 x .
y ( 0 ) = c 1 + c 2 − 1 = 1 ⟹ c 1 + c 2 = 2 y(0) = c_1 + c_2 - 1 = 1 \implies c_1 + c_2 = 2 y ( 0 ) = c 1 + c 2 − 1 = 1 ⟹ c 1 + c 2 = 2 .
y ′ ( 0 ) = 3 c 1 − c 2 − 2 = 0 ⟹ 3 c 1 − c 2 = 2 y'(0) = 3c_1 - c_2 - 2 = 0 \implies 3c_1 - c_2 = 2 y ′ ( 0 ) = 3 c 1 − c 2 − 2 = 0 ⟹ 3 c 1 − c 2 = 2 .
Solving: 4 c 1 = 4 ⟹ c 1 = 1 4c_1 = 4 \implies c_1 = 1 4 c 1 = 4 ⟹ c 1 = 1 , c 2 = 1 c_2 = 1 c 2 = 1 .
y = e 3 x + e − x − e 2 x y = e^{3x} + e^{-x} - e^{2x} y = e 3 x + e − x − e 2 x . ■ \blacksquare ■
If you get this wrong, revise: Section 3.6 (Undetermined Coefficients).
Solve y ′ ′ + 4 y = 8 cos ( 2 t ) y'' + 4y = 8\cos(2t) y ′′ + 4 y = 8 cos ( 2 t ) , y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 .
Solution Solution. This is resonant (ω 0 = 2 = ω \omega_0 = 2 = \omega ω 0 = 2 = ω ).
y h = c 1 cos 2 t + c 2 sin 2 t y_h = c_1 \cos 2t + c_2 \sin 2t y h = c 1 cos 2 t + c 2 sin 2 t .
Guess y p = A t sin 2 t y_p = At\sin 2t y p = A t sin 2 t . y p ′ = A sin 2 t + 2 A t cos 2 t y_p' = A\sin 2t + 2At\cos 2t y p ′ = A sin 2 t + 2 A t cos 2 t . y p ′ ′ = 2 A cos 2 t + 2 A cos 2 t − 4 A t sin 2 t = 4 A cos 2 t − 4 A t sin 2 t y_p'' = 2A\cos 2t + 2A\cos 2t - 4At\sin 2t = 4A\cos 2t - 4At\sin 2t y p ′′ = 2 A cos 2 t + 2 A cos 2 t − 4 A t sin 2 t = 4 A cos 2 t − 4 A t sin 2 t .
y p ′ ′ + 4 y p = 4 A cos 2 t = 8 cos 2 t ⟹ A = 2 y_p'' + 4y_p = 4A\cos 2t = 8\cos 2t \implies A = 2 y p ′′ + 4 y p = 4 A cos 2 t = 8 cos 2 t ⟹ A = 2 .
y = c 1 cos 2 t + c 2 sin 2 t + 2 t sin 2 t y = c_1 \cos 2t + c_2 \sin 2t + 2t\sin 2t y = c 1 cos 2 t + c 2 sin 2 t + 2 t sin 2 t .
y ( 0 ) = c 1 = 0 y(0) = c_1 = 0 y ( 0 ) = c 1 = 0 . y ′ ( 0 ) = 2 c 2 = 0 ⟹ c 2 = 0 y'(0) = 2c_2 = 0 \implies c_2 = 0 y ′ ( 0 ) = 2 c 2 = 0 ⟹ c 2 = 0 .
y = 2 t sin 2 t y = 2t\sin 2t y = 2 t sin 2 t . ■ \blacksquare ■
If you get this wrong, revise: Section 3.9 (Resonance).
Given that y 1 = x y_1 = x y 1 = x solves x 2 y ′ ′ − x y ′ + y = 0 x^2 y'' - xy' + y = 0 x 2 y ′′ − x y ′ + y = 0 for x > 0 x > 0 x > 0 Find the general solution.
Solution Solution. Rewrite as y ′ ′ − 1 x y ′ + 1 x 2 y = 0 y'' - \frac{1}{x}y' + \frac{1}{x^2}y = 0 y ′′ − x 1 y ′ + x 2 1 y = 0 . Here p ( x ) = − 1 / x p(x) = -1/x p ( x ) = − 1/ x .
e − ∫ p d x = e ∫ 1 / x d x = x e^{-\int p\, dx} = e^{\int 1/x\, dx} = x e − ∫ p d x = e ∫ 1/ x d x = x .
y 2 = y 1 ∫ x y 1 2 d x = x ∫ x x 2 d x = x ∫ 1 x d x = x ln x y_2 = y_1 \int \frac{x}{y_1^2}\, dx = x \int \frac{x}{x^2}\, dx = x \int \frac{1}{x}\, dx = x \ln x y 2 = y 1 ∫ y 1 2 x d x = x ∫ x 2 x d x = x ∫ x 1 d x = x ln x .
y = c 1 x + c 2 x ln x y = c_1 x + c_2 x \ln x y = c 1 x + c 2 x ln x . ■ \blacksquare ■
If you get this wrong, revise: Section 3.12 (Reduction of Order).
Solve x 2 y ′ ′ + 3 x y ′ + y = 0 x^2 y'' + 3xy' + y = 0 x 2 y ′′ + 3 x y ′ + y = 0 for x > 0 x > 0 x > 0 .
Solution Solution. Characteristic: r ( r − 1 ) + 3 r + 1 = r 2 + 2 r + 1 = ( r + 1 ) 2 = 0 r(r-1) + 3r + 1 = r^2 + 2r + 1 = (r+1)^2 = 0 r ( r − 1 ) + 3 r + 1 = r 2 + 2 r + 1 = ( r + 1 ) 2 = 0 .
Repeated root r = − 1 r = -1 r = − 1 .
y = c 1 x − 1 + c 2 x − 1 ln x y = c_1 x^{-1} + c_2 x^{-1}\ln x y = c 1 x − 1 + c 2 x − 1 ln x . ■ \blacksquare ■
If you get this wrong, revise: Section 3.13 (Euler-Cauchy Equations).
Solve x ′ = ( 1 4 1 − 2 ) x \mathbf{x}' = \begin{pmatrix} 1 & 4 \\ 1 & -2 \end{pmatrix}\mathbf{x} x ′ = ( 1 1 4 − 2 ) x .
Solution Solution. det ( A − λ I ) = ( 1 − λ ) ( − 2 − λ ) − 4 = λ 2 + λ − 6 = ( λ + 3 ) ( λ − 2 ) = 0 \det(A - \lambda I) = (1 - \lambda)(-2 - \lambda) - 4 = \lambda^2 + \lambda - 6 = (\lambda + 3)(\lambda - 2) = 0 det ( A − λ I ) = ( 1 − λ ) ( − 2 − λ ) − 4 = λ 2 + λ − 6 = ( λ + 3 ) ( λ − 2 ) = 0 .
λ 1 = 2 \lambda_1 = 2 λ 1 = 2 : ( A − 2 I ) v = ( − 1 4 1 − 4 ) v = 0 (A - 2I)\mathbf{v} = \begin{pmatrix} -1 & 4 \\ 1 & -4 \end{pmatrix}\mathbf{v} = \mathbf{0} ( A − 2 I ) v = ( − 1 1 4 − 4 ) v = 0 . v 1 = ( 4 1 ) \mathbf{v}_1 = \begin{pmatrix} 4 \\ 1 \end{pmatrix} v 1 = ( 4 1 ) .
λ 2 = − 3 \lambda_2 = -3 λ 2 = − 3 : ( A + 3 I ) v = ( 4 4 1 1 ) v = 0 (A + 3I)\mathbf{v} = \begin{pmatrix} 4 & 4 \\ 1 & 1 \end{pmatrix}\mathbf{v} = \mathbf{0} ( A + 3 I ) v = ( 4 1 4 1 ) v = 0 . v 2 = ( 1 − 1 ) \mathbf{v}_2 = \begin{pmatrix} 1 \\ -1 \end{pmatrix} v 2 = ( 1 − 1 ) .
x ( t ) = c 1 ( 4 1 ) e 2 t + c 2 ( 1 − 1 ) e − 3 t \mathbf{x}(t) = c_1 \begin{pmatrix} 4 \\ 1 \end{pmatrix} e^{2t} + c_2 \begin{pmatrix} 1 \\ -1 \end{pmatrix} e^{-3t} x ( t ) = c 1 ( 4 1 ) e 2 t + c 2 ( 1 − 1 ) e − 3 t . ■ \blacksquare ■
If you get this wrong, revise: Section 4.2 (Homogeneous Systems with Constant Coefficients).
Solve x ′ = ( 0 − 1 1 0 ) x \mathbf{x}' = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\mathbf{x} x ′ = ( 0 1 − 1 0 ) x .
Solution Solution. det ( A − λ I ) = λ 2 + 1 = 0 \det(A - \lambda I) = \lambda^2 + 1 = 0 det ( A − λ I ) = λ 2 + 1 = 0 . λ = ± i \lambda = \pm i λ = ± i .
For λ = i \lambda = i λ = i : ( − i − 1 1 − i ) v = 0 \begin{pmatrix} -i & -1 \\ 1 & -i \end{pmatrix}\mathbf{v} = \mathbf{0} ( − i 1 − 1 − i ) v = 0 . − i v 1 − v 2 = 0 ⟹ v 2 = − i v 1 -iv_1 - v_2 = 0 \implies v_2 = -iv_1 − i v 1 − v 2 = 0 ⟹ v 2 = − i v 1 . With v 1 = 1 v_1 = 1 v 1 = 1 : v = ( 1 − i ) = ( 1 0 ) + i ( 0 − 1 ) \mathbf{v} = \begin{pmatrix} 1 \\ -i \end{pmatrix} = \begin{pmatrix} 1 \\ 0 \end{pmatrix} + i\begin{pmatrix} 0 \\ -1 \end{pmatrix} v = ( 1 − i ) = ( 1 0 ) + i ( 0 − 1 ) .
a = ( 1 0 ) \mathbf{a} = \begin{pmatrix} 1 \\ 0 \end{pmatrix} a = ( 1 0 ) , b = ( 0 − 1 ) \mathbf{b} = \begin{pmatrix} 0 \\ -1 \end{pmatrix} b = ( 0 − 1 ) .
x ( t ) = c 1 ( cos t − sin t ) + c 2 ( sin t cos t ) \mathbf{x}(t) = c_1 \begin{pmatrix} \cos t \\ -\sin t \end{pmatrix} + c_2 \begin{pmatrix} \sin t \\ \cos t \end{pmatrix} x ( t ) = c 1 ( cos t − sin t ) + c 2 ( sin t cos t ) .
Equivalently: x 1 ( t ) = c 1 cos t + c 2 sin t x_1(t) = c_1 \cos t + c_2 \sin t x 1 ( t ) = c 1 cos t + c 2 sin t , x 2 ( t ) = − c 1 sin t + c 2 cos t x_2(t) = -c_1 \sin t + c_2 \cos t x 2 ( t ) = − c 1 sin t + c 2 cos t . ■ \blacksquare ■
If you get this wrong, revise: Section 4.2, Case 3.
Compute L { t 2 e − 3 t } \mathcal{L}\{t^2 e^{-3t}\} L { t 2 e − 3 t } .
Solution Solution. Using L { t n e a t } = n ! ( s − a ) n + 1 \mathcal{L}\{t^n e^{at}\} = \frac{n!}{(s-a)^{n+1}} L { t n e a t } = ( s − a ) n + 1 n ! with n = 2 n = 2 n = 2 , a = − 3 a = -3 a = − 3 :
L { t 2 e − 3 t } = 2 ! ( s + 3 ) 3 = 2 ( s + 3 ) 3 \mathcal{L}\{t^2 e^{-3t}\} = \frac{2!}{(s + 3)^3} = \frac{2}{(s+3)^3} L { t 2 e − 3 t } = ( s + 3 ) 3 2 ! = ( s + 3 ) 3 2 . ■ \blacksquare ■
If you get this wrong, revise: Section 5.2 (Basic Properties) and Section 5.4 (Common Transforms).
Solve y ′ ′ − y = e t y'' - y = e^t y ′′ − y = e t , y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 , y ′ ( 0 ) = 0 y'(0) = 0 y ′ ( 0 ) = 0 using Laplace transforms.
Solution Solution. L { y ′ − L { y } = L { e t } {\mathcal{L}\{y'} - \mathcal{L}\{y\} = \mathcal{L}\{e^t\} L { y ′ − L { y } = L { e t } :
s 2 Y − Y = 1 s − 1 s^2 Y - Y = \frac{1}{s - 1} s 2 Y − Y = s − 1 1
( s 2 − 1 ) Y = 1 s − 1 (s^2 - 1)Y = \frac{1}{s-1} ( s 2 − 1 ) Y = s − 1 1
( s − 1 ) ( s + 1 ) Y = 1 s − 1 (s-1)(s+1)Y = \frac{1}{s-1} ( s − 1 ) ( s + 1 ) Y = s − 1 1
Y = 1 ( s − 1 ) 2 ( s + 1 ) Y = \frac{1}{(s-1)^2(s+1)} Y = ( s − 1 ) 2 ( s + 1 ) 1
Partial fractions: 1 ( s − 1 ) 2 ( s + 1 ) = A s − 1 + B ( s − 1 ) 2 + C s + 1 \frac{1}{(s-1)^2(s+1)} = \frac{A}{s-1} + \frac{B}{(s-1)^2} + \frac{C}{s+1} ( s − 1 ) 2 ( s + 1 ) 1 = s − 1 A + ( s − 1 ) 2 B + s + 1 C .
1 = A ( s − 1 ) ( s + 1 ) + B ( s + 1 ) + C ( s − 1 ) 2 1 = A(s-1)(s+1) + B(s+1) + C(s-1)^2 1 = A ( s − 1 ) ( s + 1 ) + B ( s + 1 ) + C ( s − 1 ) 2
s = 1 s = 1 s = 1 : 1 = 2 B ⟹ B = 1 / 2 1 = 2B \implies B = 1/2 1 = 2 B ⟹ B = 1/2 . s = − 1 s = -1 s = − 1 : 1 = 4 C ⟹ C = 1 / 4 1 = 4C \implies C = 1/4 1 = 4 C ⟹ C = 1/4 . s = 0 s = 0 s = 0 : 1 = − A + B + C = − A + 3 / 4 ⟹ A = − 1 / 4 1 = -A + B + C = -A + 3/4 \implies A = -1/4 1 = − A + B + C = − A + 3/4 ⟹ A = − 1/4 .
Y = − 1 / 4 s − 1 + 1 / 2 ( s − 1 ) 2 + 1 / 4 s + 1 Y = -\frac{1/4}{s-1} + \frac{1/2}{(s-1)^2} + \frac{1/4}{s+1} Y = − s − 1 1/4 + ( s − 1 ) 2 1/2 + s + 1 1/4
y ( t ) = − 1 4 e t + 1 2 t e t + 1 4 e − t y(t) = -\frac{1}{4}e^t + \frac{1}{2}te^t + \frac{1}{4}e^{-t} y ( t ) = − 4 1 e t + 2 1 t e t + 4 1 e − t . ■ \blacksquare ■
If you get this wrong, revise: Section 5.5 (Solving IVPs with Laplace Transforms).
Find L − 1 { 2 s + 3 s 2 + 2 s + 5 } \mathcal{L}^{-1}\left\{\frac{2s + 3}{s^2 + 2s + 5}\right\} L − 1 { s 2 + 2 s + 5 2 s + 3 } .
Solution Solution. Complete the square: s 2 + 2 s + 5 = ( s + 1 ) 2 + 4 s^2 + 2s + 5 = (s + 1)^2 + 4 s 2 + 2 s + 5 = ( s + 1 ) 2 + 4 .
2 s + 3 ( s + 1 ) 2 + 4 = 2 ( s + 1 ) + 1 ( s + 1 ) 2 + 4 = 2 ⋅ s + 1 ( s + 1 ) 2 + 4 + 1 2 ⋅ 2 ( s + 1 ) 2 + 4 \frac{2s + 3}{(s+1)^2 + 4} = \frac{2(s+1) + 1}{(s+1)^2 + 4} = 2 \cdot \frac{s+1}{(s+1)^2 + 4} + \frac{1}{2} \cdot \frac{2}{(s+1)^2 + 4} ( s + 1 ) 2 + 4 2 s + 3 = ( s + 1 ) 2 + 4 2 ( s + 1 ) + 1 = 2 ⋅ ( s + 1 ) 2 + 4 s + 1 + 2 1 ⋅ ( s + 1 ) 2 + 4 2
f ( t ) = 2 e − t cos 2 t + 1 2 e − t sin 2 t = e − t ( 2 cos 2 t + 1 2 sin 2 t ) f(t) = 2e^{-t}\cos 2t + \frac{1}{2}e^{-t}\sin 2t = e^{-t}\left(2\cos 2t + \frac{1}{2}\sin 2t\right) f ( t ) = 2 e − t cos 2 t + 2 1 e − t sin 2 t = e − t ( 2 cos 2 t + 2 1 sin 2 t ) . ■ \blacksquare ■
If you get this wrong, revise: Section 5.8 (Worked Example: Inverse Laplace Transform).
Find the Fourier series of f ( x ) = { 1 0 < x < π − 1 − π < x < 0 f(x) = \begin{cases} 1 & 0 \lt x \lt \pi \\ -1 & -\pi \lt x \lt 0 \end{cases} f ( x ) = { 1 − 1 0 < x < π − π < x < 0 Extended 2 π 2\pi 2 π -periodically (the square wave).
Solution Solution. f f f is odd, so a n = 0 a_n = 0 a n = 0 for all n n n .
b n = 1 π ∫ − π π f ( x ) sin ( n x ) d x = 1 π [ ∫ − π 0 ( − 1 ) sin ( n x ) d x + ∫ 0 π ( 1 ) sin ( n x ) d x ] b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin(nx)\, dx = \frac{1}{\pi}\left[\int_{-\pi}^{0}(-1)\sin(nx)\, dx + \int_0^{\pi}(1)\sin(nx)\, dx\right] b n = π 1 ∫ − π π f ( x ) sin ( n x ) d x = π 1 [ ∫ − π 0 ( − 1 ) sin ( n x ) d x + ∫ 0 π ( 1 ) sin ( n x ) d x ]
= 1 π [ cos ( n x ) n ∣ − π 0 − cos ( n x ) n ∣ 0 π ] = \frac{1}{\pi}\left[\frac{\cos(nx)}{n}\Big|_{-\pi}^0 - \frac{\cos(nx)}{n}\Big|_0^{\pi}\right] = π 1 [ n c o s ( n x ) − π 0 − n c o s ( n x ) 0 π ]
= 1 π [ 1 − cos ( n π ) n − cos ( n π ) − 1 n ] = 1 π [ 2 − 2 cos ( n π ) n ] = 2 ( 1 − ( − 1 ) n ) n π = \frac{1}{\pi}\left[\frac{1 - \cos(n\pi)}{n} - \frac{\cos(n\pi) - 1}{n}\right] = \frac{1}{\pi}\left[\frac{2 - 2\cos(n\pi)}{n}\right] = \frac{2(1 - (-1)^n)}{n\pi} = π 1 [ n 1 − c o s ( nπ ) − n c o s ( nπ ) − 1 ] = π 1 [ n 2 − 2 c o s ( nπ ) ] = nπ 2 ( 1 − ( − 1 ) n )
For even n n n : b n = 0 b_n = 0 b n = 0 . For odd n = 2 k + 1 n = 2k + 1 n = 2 k + 1 : b n = 4 n π b_n = \frac{4}{n\pi} b n = nπ 4 .
f ( x ) ∼ 4 π ∑ k = 0 ∞ sin ( ( 2 k + 1 ) x ) 2 k + 1 f(x) \sim \frac{4}{\pi}\sum_{k=0}^{\infty} \frac{\sin((2k+1)x)}{2k+1} f ( x ) ∼ π 4 ∑ k = 0 ∞ 2 k + 1 s i n (( 2 k + 1 ) x ) . ■ \blacksquare ■
If you get this wrong, revise: Section 7.1 and 7.6 (Fourier Series).
Solve u t = 4 u x x u_t = 4u_{xx} u t = 4 u xx for 0 < x < π 0 \lt x \lt \pi 0 < x < π , t > 0 t > 0 t > 0 With u ( 0 , t ) = u ( π , t ) = 0 u(0, t) = u(\pi, t) = 0 u ( 0 , t ) = u ( π , t ) = 0 and u ( x , 0 ) = sin x u(x, 0) = \sin x u ( x , 0 ) = sin x .
Solution Solution. Here α = 2 \alpha = 2 α = 2 and L = π L = \pi L = π .
λ n = ( n π / π ) 2 = n 2 \lambda_n = (n\pi/\pi)^2 = n^2 λ n = ( nπ / π ) 2 = n 2 , X n = sin ( n x ) X_n = \sin(nx) X n = sin ( n x ) , T n = e − 4 n 2 t T_n = e^{-4n^2 t} T n = e − 4 n 2 t .
The initial condition sin x \sin x sin x is already the first sine mode.
u ( x , t ) = e − 4 t sin x u(x, t) = e^{-4t}\sin x u ( x , t ) = e − 4 t sin x . ■ \blacksquare ■
If you get this wrong, revise: Section 8.4 (Solving the Heat Equation by Separation of Variables).
Find and classify the critical points of x ′ = y − x 2 x' = y - x^2 x ′ = y − x 2 , y ′ = x − y 2 y' = x - y^2 y ′ = x − y 2 .
Solution Solution. Set y − x 2 = 0 y - x^2 = 0 y − x 2 = 0 and x − y 2 = 0 x - y^2 = 0 x − y 2 = 0 . From the first equation y = x 2 y = x^2 y = x 2 Substituting Into the second: x − x 4 = 0 x - x^4 = 0 x − x 4 = 0 So x ( 1 − x 3 ) = 0 x(1 - x^3) = 0 x ( 1 − x 3 ) = 0 .
x = 0 ⟹ y = 0 x = 0 \implies y = 0 x = 0 ⟹ y = 0 . Critical point: ( 0 , 0 ) (0, 0) ( 0 , 0 ) . x = 1 ⟹ y = 1 x = 1 \implies y = 1 x = 1 ⟹ y = 1 . Critical point: ( 1 , 1 ) (1, 1) ( 1 , 1 ) .
Jacobian: J = ( − 2 x 1 1 − 2 y ) J = \begin{pmatrix} -2x & 1 \\ 1 & -2y \end{pmatrix} J = ( − 2 x 1 1 − 2 y ) .
At ( 0 , 0 ) (0, 0) ( 0 , 0 ) : J = ( 0 1 1 0 ) J = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} J = ( 0 1 1 0 ) . t r ( J ) = 0 \mathrm{tr}(J) = 0 tr ( J ) = 0 , det ( J ) = − 1 < 0 \det(J) = -1 \lt 0 det ( J ) = − 1 < 0 . Saddle point (unstable).
At ( 1 , 1 ) (1, 1) ( 1 , 1 ) : J = ( − 2 1 1 − 2 ) J = \begin{pmatrix} -2 & 1 \\ 1 & -2 \end{pmatrix} J = ( − 2 1 1 − 2 ) . t r ( J ) = − 4 < 0 \mathrm{tr}(J) = -4 \lt 0 tr ( J ) = − 4 < 0 , det ( J ) = 3 > 0 \det(J) = 3 > 0 det ( J ) = 3 > 0 . τ 2 − 4 Δ = 16 − 12 = 4 > 0 \tau^2 - 4\Delta = 16 - 12 = 4 > 0 τ 2 − 4Δ = 16 − 12 = 4 > 0 . Two distinct negative real eigenvalues. Stable node (asymptotically stable). ■ \blacksquare ■
If you get this wrong, revise: Section 9.2 (Linearization and Stability) and Section 4.9 (Phase Portrait Analysis).
Example 1: Definite integration
Evaluate ∫ 0 2 ( 3 x 2 + 2 x ) d x \displaystyle\int_0^2 (3x^2 + 2x)\,dx ∫ 0 2 ( 3 x 2 + 2 x ) d x .
Solution:
∫ ( 3 x 2 + 2 x ) d x = x 3 + x 2 + c \int (3x^2 + 2x)\,dx = x^3 + x^2 + c ∫ ( 3 x 2 + 2 x ) d x = x 3 + x 2 + c
[ x 3 + x 2 ] 0 2 = ( 8 + 4 ) − ( 0 ) = 12 \left[x^3 + x^2\right]_0^2 = (8 + 4) - (0) = 12 [ x 3 + x 2 ] 0 2 = ( 8 + 4 ) − ( 0 ) = 12
Example 2: Integration by parts
Find ∫ x e 2 x d x \displaystyle\int x e^{2x}\,dx ∫ x e 2 x d x .
Solution:
Let u = x ⟹ d u d x = 1 u = x \implies \frac{du}{dx} = 1 u = x ⟹ d x d u = 1 and d v d x = e 2 x ⟹ v = 1 2 e 2 x \frac{dv}{dx} = e^{2x} \implies v = \frac{1}{2}e^{2x} d x d v = e 2 x ⟹ v = 2 1 e 2 x .
∫ x e 2 x d x = x ⋅ 1 2 e 2 x − ∫ 1 2 e 2 x d x = x e 2 x 2 − e 2 x 4 + c = e 2 x ( 2 x − 1 ) 4 + c \int x e^{2x}\,dx = x \cdot \frac{1}{2}e^{2x} - \int \frac{1}{2}e^{2x}\,dx = \frac{x e^{2x}}{2} - \frac{e^{2x}}{4} + c = \frac{e^{2x}(2x - 1)}{4} + c ∫ x e 2 x d x = x ⋅ 2 1 e 2 x − ∫ 2 1 e 2 x d x = 2 x e 2 x − 4 e 2 x + c = 4 e 2 x ( 2 x − 1 ) + c
First-order ODEs: separable (d y d x = g ( x ) h ( y ) \frac{dy}{dx} = g(x)h(y) d x d y = g ( x ) h ( y ) ), linear (integrating factor μ = e ∫ P d x \mu = e^{\int P\,dx} μ = e ∫ P d x ), exact (M d x + N d y = 0 M\,dx + N\,dy = 0 M d x + N d y = 0 with M y = N x M_y = N_x M y = N x ). Second-order linear ODEs with constant coefficients: characteristic equation a r 2 + b r + c = 0 ar^2 + br + c = 0 a r 2 + b r + c = 0 ; distinct real, repeated real, or complex roots. Laplace transforms: convert ODEs to algebraic equations; L { f ′ ( t ) } = s F ( s ) − f ( 0 ) \mathcal{L}\{f'(t)\} = sF(s) - f(0) L { f ′ ( t )} = s F ( s ) − f ( 0 ) ; particularly useful for piecewise forcing functions. Systems of ODEs: x ˙ = A x \dot{\mathbf{x}} = A\mathbf{x} x ˙ = A x solved via eigenvalues and eigenvectors; phase plane analysis for 2D systems. PDEs: separation of variables for heat equation (u t = k u x x u_t = ku_{xx} u t = k u xx ), wave equation (u t t = c 2 u x x u_{tt} = c^2 u_{xx} u tt = c 2 u xx ), and Laplace equation (∇ 2 u = 0 \nabla^2 u = 0 ∇ 2 u = 0 ). Topic Site Link Real Analysis WyattsNotes View Linear Algebra WyattsNotes View Multivariable Calculus WyattsNotes View Complex Analysis WyattsNotes View Differential Equations — MIT 18.03 MIT OCW View
:::