Differential Equations and The - Braun, Martin 7579 · Problem 2.15.8

Introduction to Applied Nonlinear Dynamical Systems and Chaos — Braun, Martin 7579

Mathematics — Calculus · higher-order-ode-characteristic-roots

Problem

Given that y1(t)=etcos⁡ty_1(t)=e^t\cos t is a solution of y(iv)−2y′′′+y′′+2y′−2y=0,(∗)y^{(iv)}-2y'''+y''+2y'-2y=0, \quad (*) find the general solution of (∗)(*). Hint: Use this information to find the roots of the characteristic equation of (∗)(*).
Intuitive explanation

The key insight is that if y1(t)=etcos⁡ty_1(t) = e^t \cos t satisfies the differential equation, then its characteristic root must be encoded in this solution's form. Since etcos⁡te^t \cos t comes from the complex exponential e(1+i)te^{(1+i)t}, the number 1+i1+i is a root of the characteristic polynomial—and so is its complex conjugate 1−i1-i. Once you identify these two roots, you can factor the degree-4 characteristic equation and find the remaining roots, which will give you four linearly independent solutions to build the general solution.

Intuitive explanation

The key insight is that if y1(t)=etcos⁡ty_1(t) = e^t \cos t satisfies the differential equation, then its characteristic root must be encoded in this solution's form. Since etcos⁡te^t \cos t comes from the complex exponential e(1+i)te^{(1+i)t}, the number 1+i1+i is a root of the characteristic polynomial—and so is its complex conjugate 1−i1-i. Once you identify these two roots, you can factor the degree-4 characteristic equation and find the remaining roots, which will give you four linearly independent solutions to build the general solution.

Related theory

Browse the problem library