What Is A Particular Solution To A Differential Equation

Introduction

A particular solution to a differential equation is a specific function that satisfies both the differential equation itself and any given initial or boundary conditions. While the general solution of a differential equation contains arbitrary constants that represent a family of possible solutions, a particular solution pins down one unique member of that family by fixing those constants. Understanding particular solutions is essential because they translate abstract mathematical models into concrete predictions—whether we are forecasting the motion of a pendulum, the concentration of a chemical reactant, or the voltage across an electrical circuit. In this article we will explore what a particular solution is, how it differs from the general solution, the methods used to obtain it, and why it matters in both theory and practice.

Detailed Explanation

General versus Particular Solutions

When we solve an ordinary differential equation (ODE) of order n, the process typically yields an expression that includes n arbitrary constants. For example, the second‑order linear ODE

[ y'' + 3y' + 2y = 0]

has the general solution

[ y_{\text{gen}}(x) = C_1 e^{-x} + C_2 e^{-2x}, ]

where (C_1) and (C_2) are free parameters. Each choice of ((C_1, C_2)) produces a different function that still satisfies the homogeneous equation.

A particular solution arises when we impose additional information—most commonly initial conditions such as (y(0)=y_0) and (y'(0)=v_0). Substituting these conditions into the general solution allows us to solve for the constants, yielding a single function that meets both the differential equation and the prescribed data. In the example above, imposing (y(0)=1) and (y'(0)=0) gives

[ \begin{cases} C_1 + C_2 = 1\ -C_1 -2C_2 = 0 \end{cases} \Longrightarrow C_1=2,; C_2=-1, ]

so the particular solution is

[y_{\text{part}}(x)=2e^{-x}-e^{-2x}. ]

Role in Non‑Homogeneous Equations

For non‑homogeneous ODEs of the form

[ L[y]=f(x), ]

where (L) is a linear differential operator, the general solution is the sum of two components:

[ y(x)=y_h(x)+y_p(x). ]

• (y_h(x)) is the homogeneous solution (the general solution of (L[y]=0)).
• (y_p(x)) is a particular solution of the full non‑homogeneous equation, meaning it satisfies (L[y_p]=f(x)) without any arbitrary constants.

Thus, even when the equation contains a forcing term (f(x)), we still speak of a particular solution as the specific function that accounts for that term. The total solution then incorporates the homogeneous part to accommodate initial/boundary data.

Existence and Uniqueness

The existence of a unique particular solution is guaranteed under fairly broad conditions. For linear ODEs with continuous coefficients on an interval (I), the Existence and Uniqueness Theorem states that if initial values are prescribed at a point (x_0\in I), there exists exactly one solution on (I). This theorem underpins the practical usefulness of particular solutions: once we have a method to find one, we can trust that it is the correct answer for the given data.

Step‑by‑Step or Concept Breakdown

Below is a typical workflow for obtaining a particular solution to a linear non‑homogeneous ODE using the method of undetermined coefficients. The steps are illustrated with a concrete example, but the logical flow applies to many similar problems.

1. Identify the form of the differential equation
   Write the equation in standard linear form

   [ y'' + p(x)y' + q(x)y = g(x). ]

   Ensure that the left‑hand side operator (L) has constant coefficients (or at least coefficients that allow the chosen method).

2. Solve the associated homogeneous equation
   Find (y_h(x)) by solving

   [ y'' + p(x)y' + q(x)y = 0. ]

   This step yields the complementary function containing arbitrary constants.

3. Guess the shape of the particular solution
   Based on the form of (g(x)) (the forcing term), propose a trial function (y_p(x)) that mirrors (g(x)) up to unknown coefficients. Common guesses include:

   • Polynomials for polynomial (g(x)).
   • Exponentials (e^{\alpha x}) for exponential (g(x)).
   • Sines and cosines for trigonometric (g(x)).
   • Products of the above for combined terms.

   If any term of the guess coincides with a solution of the homogeneous equation, multiply the guess by (x) (or a higher power of (x)) until duplication disappears.

4. Determine the unknown coefficients
   Substitute the trial (y_p(x)) (and its derivatives) into the original ODE. Equate coefficients of like terms on both sides to solve for the unknown constants.

5. Form the general solution
   Add the homogeneous and particular parts:

   [ y(x)=y_h(x)+y_p(x). ]

6. Apply initial/boundary conditions
   If specific conditions are given, substitute them into the general solution to solve for the remaining arbitrary constants in (y_h(x)). The resulting function is the particular solution that satisfies both the differential equation and the conditions.

Example Walk‑through

Consider

[y'' - 4y' + 4y = 12e^{2x}, \qquad y(0)=1,; y'(0)=0. ]

1. Homogeneous equation: (y''-4y'+4y=0) → characteristic (r^2-4r+4=0) → ((r-2)^2=0) → double root (r=2).
   Hence (y_h(x)=(C_1+C_2 x)e^{2x}).

2. Forcing term (g(x)=12e^{2x}) is of the same exponential form as the homogeneous solution. Because (e^{2x}) and (xe^{2x}) already appear in (y_h), we multiply our guess by (x^2): [ y_p(x)=Ax^2 e^{2x}. ]

3. Compute derivatives:

   [ y_p' = (2Ax+2Ax^2)e^{2x},\quad y_p'' = (2A+8Ax+4Ax^2)e^{2x}. ]

   Substituting into the ODE and simplifying yields (A=3). Thus

   [ y_p(x)=3x^2 e^{2x}. ]

4. General solution:

   [ y(x)=(C_1+C_2 x)e^{2x}+3x^2 e^{2x}. ]

5. Apply initial conditions:

   • (y(0)=C_1 =1) → (C_1=1).
   • (y'(0)=2C_1