Comprehensive Guide to Ordinary Differential Equations: Complementary Functions and Particular Integrals
General Theory of Linear Differential Equations
Standard Form of Linear Differential Equations:
An -th order linear ordinary differential equation with constant coefficients has the general form: where is the differential operator, is a polynomial in , is the dependent variable, and is the non-homogeneous term (right-hand side function of ).
Structure of the General Solution:
The general solution of an -th order linear differential equation consists of two distinct components: where represents the Complementary Function and represents the Particular Integral.
Role of the Complementary Function (CF):
The Complementary Function is obtained entirely from the left-hand side (LHS) operator by setting the equation to its homogeneous form ().
It solves the homogeneous linear differential equation and incorporates arbitrary constants for an -th order differential equation.
Role of the Particular Integral (PI):
The Particular Integral is derived using the right-hand side (RHS) non-homogeneous term .
The specific method to determine depends on the mathematical form of , such as exponential functions , polynomials , trigonometric functions or , logarithmic functions , or trigonometric functions like .
Complementary Functions for Homogeneous Equations
Procedure for Finding the Complementary Function:
Step 1: Form the homogeneous equation by setting the right-hand side equal to zero ().
Step 2: Form the Auxiliary Equation (AE) by substituting into , resulting in the polynomial equation .
Step 3: Solve the polynomial auxiliary equation for its roots . Standard calculators can be used to solve quadratic or cubic equations directly unless the roots are complex.
Classification of Auxiliary Equation Roots and CF Rules:
Case 1: Real and Distinct Roots:
If the roots are real numbers and :
The order of assignment of constants to roots is arbitrary; is identical to .
Case 2: Real and Equal (Repeated) Roots:
If two roots are real and equal ():
If three roots are real and equal ():
Case 3: Complex Conjugate Roots:
If the roots are complex conjugates of the form , where is the real part and is the imaginary coefficient:
If the real part (purely imaginary roots ), then , simplifying the expression to:
For quadratic equations where complex roots cannot be determined by factoring by inspection, use the quadratic formula: for an equation written in standard quadratic form .
Worked Examples for Complementary Functions:
Example 1: Second-Order Equation with Distinct Real Roots:
Differential Equation:
Auxiliary Equation:
Factoring:
Complementary Function: (or )
Example 2: Second-Order Equation with Repeated Real Roots:
Differential Equation:
Auxiliary Equation:
Factoring:
Complementary Function:
Example 3: Third-Order Equation with Three Repeated Real Roots:
Differential Equation:
Auxiliary Equation:
Factoring:
Caveat: Do not drop repeated factors or state as a single root; all three repeated roots must be accounted for in the degree of the polynomial pre-factor.
Complementary Function:
Example 4: Second-Order Equation with Complex Roots:
Differential Equation:
Auxiliary Equation:
Applying Quadratic Formula ():
Identification: Real part , imaginary coefficient
Complementary Function:
Example 5: Third-Order Equation with Mixed Real and Complex Roots:
Differential Equation:
Auxiliary Equation:
Warning: Do not simplify improperly as .
Factoring Identity:
Factored Form:
Root 1:
Roots 2 & 3: For , apply quadratic formula ():
Complementary Function: Combining real root and complex conjugate pair :
Example 6: Fourth-Order Equation with Mixed Real and Imaginary Roots:
Differential Equation:
Auxiliary Equation:
Warning: Do not simplify as .
Factoring Strategy: Use , writing :
Real Roots:
Imaginary Roots:
Roots Summary: Four distinct roots
Complementary Function: (written equivalently as )
Particular Integrals for Exponential Functions
Methodology for Type 1 ():
Standard Particular Integral Form:
Basic Substitution Rule: Replace the differential operator with the constant ().
Case 1: Non-Zero Denominator ():
If substituting results in a non-zero denominator:
Case 2: Zero Denominator / Rule Failure ():
Substituting yielding causes division by zero, indicating rule failure.
Action: Pre-multiply the expression by and differentiate the denominator polynomial with respect to :
Evaluate . If , the Particular Integral is:
Iterative Failure Rule: If remains zero, repeat the procedure by multiplying by again (yielding ) and differentiating the denominator again ():
Continue iterating until a non-zero value is obtained in the denominator upon evaluating at D = a$.\n\n* **Worked Examples for Type 1 Exponential Functions**:\n * **Problem 1: Non-Zero Denominator Case**:\n * Differential Equation: (D^2 + 3D + 2)y = e^x\n * Complementary Function: Homogeneous equation (D^2 + 3D + 2)y = 0 \implies m^2 + 3m + 2 = 0 \implies (m + 1)(m + 2) = 0 \implies m = -1, -2.\n \text{CF} = A e^{-x} + B e^{-2x}\n * Particular Integral:\n \text{PI} = \frac{1}{D^2 + 3D + 2} e^x\n Here a = 1D = 1 into denominator:\n \text{Denominator} = 1^2 + 3(1) + 2 = 6 eq 0\n \text{PI} = \frac{1}{6} e^x\n * General Solution:\n y = \text{CF} + \text{PI} = A e^{-x} + B e^{-2x} + \frac{1}{6} e^x\n * **Problem 2: Single Rule Failure Case**:\n * Differential Equation: (D^2 - 3D + 2)y = e^x\n * Complementary Function: Homogeneous equation (D^2 - 3D + 2)y = 0 \implies m^2 - 3m + 2 = 0 \implies (m - 1)(m - 2) = 0 \implies m = 1, 2.\n \text{CF} = A e^x + B e^{2x}\n * Particular Integral:\n \text{PI} = \frac{1}{D^2 - 3D + 2} e^x\n Here a = 1D = 1 into denominator:\n \text{Denominator} = 1^2 - 3(1) + 2 = 0\n Rule fails due to zero denominator.\n * Apply Failure Rule: Multiply by xD\frac{d}{dD}(D^2 - 3D + 2) = 2D - 3):\n \text{PI} = x \frac{1}{2D - 3} e^x\n Substitute D = 12D - 3:\n \text{Denominator} = 2(1) - 3 = -1 eq 0\n \text{PI} = x \frac{1}{-1} e^x = -x e^x\n * General Solution:\n y = \text{CF} + \text{PI} = A e^x + B e^{2x} - x e^x\n * **Problem 3: Double Rule Failure Case**:\n * Differential Equation: (D^2 + 2D + 1)y = e^{-x}\n * Complementary Function: Auxiliary equation m^2 + 2m + 1 = 0 \implies (m + 1)^2 = 0 \implies m = -1, -1.\n \text{CF} = (A x + B) e^{-x}\n * Particular Integral:\n \text{PI} = \frac{1}{D^2 + 2D + 1} e^{-x}\n Here a = -1D = -1 into denominator:\n \text{Denominator} = (-1)^2 + 2(-1) + 1 = 1 - 2 + 1 = 0\n Rule fails.\n * First Failure Step: Multiply by xD\frac{d}{dD}(D^2 + 2D + 1) = 2D + 2):\n \text{PI} = x \frac{1}{2D + 2} e^{-x}\n Substitute D = -12D + 2:\n \text{Denominator} = 2(-1) + 2 = 0\n Rule fails again.\n * Second Failure Step: Multiply by xx \times x = x^2D\frac{d}{dD}(2D + 2) = 2):\n \text{PI} = x^2 \frac{1}{2} e^{-x} = \frac{x^2}{2} e^{-x}\n * General Solution:\n y = \text{CF} + \text{PI} = (A x + B) e^{-x} + \frac{x^2}{2} e^{-x}\n\n# Particular Integrals for Trigonometric Functions\n\n* **Methodology for Type 2 (q(x) = \sin(ax)\cos(ax)**):\n * Standard Particular Integral Form:\n \text{PI} = \frac{1}{f(D^2)} \sin(ax) \quad \text{or} \quad \text{PI} = \frac{1}{f(D^2)} \cos(ax)\n * Substitution Rule: Replace D^2-a^2.\n * Critical Warning on Order of Operations: The expression -a^2-(a^2)(-a)^2a = 2D^2-2^2 = -4(-2)^2 = +4$.
Handling Odd Powers of : For odd powers of like , rewrite the term as to allow substitution of .
Case 1: Non-Zero Denominator ():
If evaluating yields a non-zero denominator: \text{PI} = \frac{1}{f(-a^2)} \sin(ax) \quad \text{or} \t\text{PI} = \frac{1}{f(-a^2)} \cos(ax)
Case 2: Zero Denominator ():
If substitution yields zero, pre-multiply by and differentiate the denominator with respect to :
If the derivative leaves an isolated in the denominator, multiply numerator and denominator by to re-introduce in the denominator, substitute , and differentiate the numerator function.
Conjugate Method for Linear Operator Terms in Denominator:
When substituting leaves a linear expression in (e.g., ), multiply numerator and denominator by its algebraic conjugate :
Practical Recommendations for Sign Error Prevention:
If the denominator contains negative terms like , factor out to write , then multiply numerator and denominator by conjugate .
If the denominator is , factor out to write , then multiply numerator and denominator by conjugate .
Worked Examples for Type 2 Trigonometric Functions:
Problem 1: Standard Non-Zero Denominator Case:
Differential Equation:
Complementary Function: Auxiliary equation .
Particular Integral: Here . Replace with :
General Solution:
Problem 2: Zero Denominator Case with Operational Operator Multiplication:
Differential Equation:
Complementary Function: Auxiliary equation .
Particular Integral: Here . Replace with : Rule fails.
Multiply by and differentiate denominator w.r.t ():
Multiply numerator and denominator by to form in denominator: Substitute into denominator: Evaluate , giving:
General Solution:
Problem 3: Conjugate Method for First-Degree Operator Denominator:
Differential Equation:
Complementary Function: Auxiliary equation .
Particular Integral: Here . Substitute into denominator:
Multiply numerator and denominator by conjugate : Substitute into denominator:
Apply operator numerator to :
General Solution:
Particular Integrals for Polynomial Functions
Methodology for Type 3 ():
Standard Particular Integral Form:
Procedure:
Step 1: Factor out the lowest degree term or constant term from to transform the operator expression into the form in the denominator.
Step 2: Move the operator expression to the numerator as a negative binomial power, yielding or .
Step 3: Determine derivative truncation limit: Compute derivatives of . Since , all series terms containing powers of greater than evaluate to zero and are truncated.
Step 4: Expand using standard Binomial expansion series and apply term-by-term to x^m$.\n\n* **Standard Binomial Expansion Formulas (Valid for \lvert x \rvert < 1)**:\n * First Binomial Identity:\n (1 - x)^{-1} = 1 + x + x^2 + x^3 + \dots\n * Second Binomial Identity:\n (1 + x)^{-1} = 1 - x + x^2 - x^3 + \dots\n (Odd powers are negative, even powers are positive)\n * Third Binomial Identity:\n (1 - x)^{-2} = 1 + 2x + 3x^2 + 4x^3 + \dots\n * Fourth Binomial Identity:\n (1 + x)^{-2} = 1 - 2x + 3x^2 - 4x^3 + \dots\n (Odd powers are negative, integer coefficients follow sequence 1, 2, 3, 4, \dots)\n\n* **Worked Examples for Type 3 Polynomial Functions**:\n * **Problem 1: Quadratic Polynomial RHS Case**:\n * Differential Equation: (D^2 - 4D + 4)y = x^2\n * Complementary Function: Auxiliary equation m^2 - 4m + 4 = 0 \implies (m - 2)^2 = 0 \implies m = 2, 2$.
Particular Integral: Factor out from denominator: Bring operator to numerator:
Truncation Analysis for :
Expanding Series with :
Operating on : Simplifying inside brackets using common denominator:
General Solution:
Problem 2: Linear Polynomial RHS Case:
Differential Equation:
Complementary Function: Auxiliary equation m^2 + 5m + 6 = 0 \implies (m + 2)(m + 3) = 0 \implies m = -2, -3$.\n \text{CF} = A e^{-2x} + B e^{-3x}\n * Particular Integral:\n \text{PI} = \frac{1}{D^2 + 5D + 6} (x + 1) = \frac{1}{6 + 5D + D^2} (x + 1)\n Factor out constant 6 from denominator:\n \text{PI} = \frac{1}{6 \left[ 1 + \frac{5D + D^2}{6} \right]} (x + 1) = \frac{1}{6} \left[ 1 + \frac{5D + D^2}{6} \right]^{-1} (x + 1)\n * Truncation Analysis for (x + 1):\n D(x + 1) = 1, \quad D^2(x + 1) = 0\n * Binomial Expansion (1 + X)^{-1} = 1 - X + X^2 - \dotsX = \frac{5D + D^2}{6}:\n Because D^2(x + 1) = 0X^2D^21 - X:\n \text{PI} = \frac{1}{6} \left[ 1 - \frac{5D + D^2}{6} \right] (x + 1) = \frac{1}{6} \left[ (x + 1) - \frac{5 D(x + 1) + D^2(x + 1)}{6} \right]\n \text{PI} = \frac{1}{6} \left[ x + 1 - \frac{5(1) + 0}{6} \right] = \frac{1}{6} \left[ x + 1 - \frac{5}{6} \right]\n Simplify constant 1 - \frac{5}{6} = \frac{1}{6}:\n \text{PI} = \frac{1}{6} \left( x + \frac{1}{6} \right)\n * General Solution:\n y = \text{CF} + \text{PI} = A e^{-2x} + B e^{-3x} + \frac{1}{6} \left( x + \frac{1}{6} \right)$$