Constant coefficient homogeneous higher-order
linear ODEsLecture 9a: 2021-07-16
MAT A35 β Summer 2021 β UTSC
Prof. Yun William Yu
Recall: linear higher-order ODEs
β’ Linear ODEs: ππ π₯ π¦(π) +β―π1 π₯ π¦β² + π0 π₯ π¦ = π(π₯), where ππ π₯ and π π₯ are all functions of π₯.
A: LinearB: NonlinearC: BothD: ???E: None of the above
(In)homogeneous linear ODEs
β’ Linear ODEs: ππ π₯ π¦(π) +β―π1 π₯ π¦β² + π0 π₯ π¦ = π(π₯), where ππ π₯ and π π₯ are all functions of π₯.β’ If π π₯ = 0, then homogeneous.
β’ Otherwise, it is inhomogeneous.
β’ Note, if nonlinear, then neither definition applies.
Constant coefficient linear ODEs
β’ Linear ODEs: ππ π₯ π¦(π) +β―π1 π₯ π¦β² + π0 π₯ π¦ = π(π₯), where ππ π₯ and π π₯ are all functions of π₯.β’ If ππ π₯ = ππ for some constant ππ, then it has constant coefficients
β’ Otherwise, is does not have constant coefficients
β’ Note, if nonlinear, this terminology does not apply.
Try it out: homogeneity and coefficients?
β’ π¦β² + 9π¦ = π₯2
β’ π¦β² β ππ¦ = 0
β’ π¦β²β² + π₯π¦β² + π¦ = 0
β’ π¦β²β² + ππ₯π¦β² = 3
β’ π¦β²β² β 2π¦ + π¦2 = 5
β’ α·π₯ + 4 αΆx = β4π₯
β’ (sin π₯)π¦β²β² + ππ₯π¦β² + π¦ = 0
β’ π₯π¦β²β² + π¦ = π₯2
β’ π¦β²β² + 4π¦ + 4 = 0
A: Homogeneous, constant coefficientsB: Inhomogeneous, constant coefficientsC: Homogeneous, nonconstant coefficientsD: Inhomogeneous, nonconstant coefficientsE: None of the above
Scaling of sols to homogeneous eq
β’ Let π¦1 be a sol. to the homogeneous linear ODEππ π₯ π¦(π) +β―π1 π₯ π¦β² + π0 π₯ π¦ = 0
β’ Then π1π¦1 is a solution to the same ODE, where π1 is a constant.
Adding sols to homogeneous equation
β’ Let π¦1(π₯) and π¦2(π₯) be sol. to the homogeneous linear ODEππ π₯ π¦(π) +β―π1 π₯ π¦β² + π0 π₯ π¦ = 0
β’ Then π¦1 + π¦2 is a solution to the same ODE.
Main Theorems
β’ Let π¦1 π₯ , π¦2 π₯ , β¦ , π¦π π₯ be solutions to the homogeneous linear ODE
ππ π₯ π¦(π) +β―π1 π₯ π¦β² + π0 π₯ π¦ = 0
β’ Principal of Superposition: then π1π¦1 + π2π¦2 +β―+ πππ¦π is a solution to the same ODE, where ππ are arbitrary constants.
β’ General solution: If π¦1, β¦ , yπ are linearly independent, then allsolutions to the ODE can be written in the form
π1π¦1 + π2π¦2 +β―+ πππ¦πso we call that the general solution to the ODE.
Constant coefficient homogeneous sol
β’ Consider πππ¦(π) +β―+ π1π¦
β² + π0π¦ = 0, where ππ are constant.
β’ We can write a characteristic polynomialπ π = πππ
π +β―+ π1π + π0
β’ If π is a root of the polynomial (i.e. π π = 0), then πππ₯ is a solution to the ODE.
β’ If π is a root of the polynomial with multiplicity π, then π₯πβ1πππ₯
is a solution to the ODE.
β’ Note, we will often call π an eigenvalue of the ODE, for reasons that will become clear later.
Try it out
β’ Which of the following are solutions toπ¦β²β²β² β 2π¦β²β² β π¦β² + 2π¦ = 0?
A: πβπ₯
B: π2π₯
C: πβπ₯ + 5ππ₯ β 2π2π₯
D: All of the aboveE: None of the above
Try it out
β’ What is the general solution to π¦β²β² + 4π¦β² + 4π¦ = 0?
β’ What is the solution to the IVP given π¦β²β² + 4π¦β² + 4π¦ = 0, π¦ 0 = 1, π¦β² 0 = 2?
A: π1πβ2π₯
B: π1π₯πβ2π₯
C: π1πβ2π₯ + π2π₯π
β2π₯
D: All of the aboveE: None of the above
A: πβ2π₯ + 2π₯πβ2π₯
B: β1
3πβ2π₯ +
4
3π₯πβ2π₯
C: β1
2πβ2π₯ + 2π2π₯π
β2π₯
D: All of the aboveE: None of the above
Eulerβs Formula: πππ₯ = cos π₯ + π sin π₯
β’ Real powers define exponential growth.β’ π0 = 1
β’ π1 = π β 2.718
β’ π2 β 7.389
β’ Imaginary powers encode rotation around the complex origin.β’ π0 = 1
β’ ππ
4 =2
2+ π
2
2
β’ ππ
2 = π
β’ ππ = β1
https://en.wikipedia.org/wiki/Euler%27s_formula#/media/File:Euler's_formula.svg
Complex roots β Real solutions
β’ Consider the equation π¦β²β² + π¦ = 0
β’ Use πππ₯ = cos π₯ + π sin π₯
Complex roots with real coefficients
β’ Complex roots of a real polynomial always come in pairs π Β± ππ.
β’ If a characteristic equation of an ODE has roots π Β± ππ, then has complex solutions π π+ππ π₯ and π πβππ π₯.
β’ Alternately, it has real solutions πππ₯ sin ππ₯ and πππ₯ cos ππ₯
Try it out
β’ Let π¦β²β² + 4π¦β² + 29π¦ = 0.
β’ Which of the following are solutions to the ODE?
β’ What about real solutions?A: π β2+5π π₯ + 4π β2β5π π₯
B: βππβ2π₯π5ππ₯
C: πβ2π₯ cos 5π₯D: All of the aboveE: None of the above
Repeated complex eigenvalues of ODE
β’ Like repeated real roots, if π Β± ππ have multiplicity π, then π₯πβ1πππ₯ cos ππ₯ and π₯πβ1πππ₯ sin ππ₯ are solutions.
Summary
β’ To solve a linear nth-order homogeneous ODEπππ¦
(π) +β―+ π2π¦β²β² + π1π¦
β² + π0π¦ = 0
β’ Construct the characteristic equationπππ
π +β―+ π2π2 + π1π + π0 = 0
β’ The π roots (counting multiplicity) of the characteristic equation are either real or come in complex conjugate pairs.
β’ If π is a (real or complex) root of multiplicity π, then πππ₯ , π₯πππ₯ , β¦ π₯πβ1πππ₯ are linearly independent solutions.
β’ If π = π Β± ππ is a conjugate pair of complex roots, each of multiplicity π, then πππ₯ cos ππ₯ , π₯πππ₯ cos ππ₯ , β¦ , π₯πβ1πππ₯ cos ππ₯and πππ₯ sin ππ₯ , π₯πππ₯ sin ππ₯ ,β¦ , π₯πβ1πππ₯ sin ππ₯ are 2π linearly independent solutions.