Superposition and Fundamental Solutions

Explain why two independent solutions determine a second-order homogeneous family.

Builds on Cooling, Mixing and RC Circuits

The bigger question: How do free motion and forcing combine?

On this page

The idea

A linear differential operator respects addition and scalar multiplication. If L[y1]=L[y2]=0L[y_1]=L[y_2]=0, then c1y1+c2y2c_1y_1+c_2y_2 also solves the homogeneous equation. For a second-order equation, two independent solutions form a fundamental pair.

Visual guide

VISUAL GUIDECombine independent modes to set the initial state
Cos t and sin t solve y″ + y = 0. Their combination 2 cos t − 3 sin t also solves it and has y(0) = 2, y′(0) = −3. The combination changes amplitude and phase, not the equation.0-41.57-23.1404.7126.284ty
  • cos t
  • sin t
  • 2 cos t − 3 sin t
Cos t and sin t solve y″ + y = 0. Their combination 2 cos t − 3 sin t also solves it and has y(0) = 2, y′(0) = −3. The combination changes amplitude and phase, not the equation.

Method and assumptions

For y′′+p(t)y′+q(t)y=0y''+p(t)y'+q(t)y=0 with continuous coefficients, test independence with the Wronskian W=y1y2′−y1′y2W=y_1y_2'-y_1' y_2. If it is nonzero at one point, the pair spans every solution on that interval. For L[y]=gL[y]=g, write y=yh+ypy=y_h+y_p using any one particular solution.

Worked example: oscillation basis

For y′′+y=0y''+y=0, choose cos⁡t,sin⁡t\cos t,\sin t. Their Wronskian is 11. Conditions y(0)=2,y′(0)=−3y(0)=2,y'(0)=-3 select y=2cos⁡t−3sin⁡ty=2\cos t-3\sin t.

PAUSE & THINKA quick check, not a grade

Try it yourself.

Choose an answer and explain your reasoning to yourself. Use a hint if you get stuck.

For a second-order homogeneous linear equation, two solutions form a fundamental pair when they are…

Hint 1 · Find a starting point

The general solution needs two independent degrees of freedom.

Hint 2 · Take the next step

One solution must not be a constant multiple of the other.

Show the reasoning

Answer: Linearly independent

Independent solutions span the two-parameter solution family on a regular interval.

Before moving on: what would make one of the other answers wrong? Saying why is part of understanding.

Worked example: dependent candidates

The functions ete^t and 2et2e^t both solve y′′−y=0y''-y=0, but their Wronskian is zero. Their combinations cannot produce e−te^{-t}. The independent pair et,e−te^t,e^{-t} is required to describe all initial states.

Interpreting the result

Superposition applies to homogeneous linear equations. Adding two solutions with the same nonzero forcing doubles that forcing. Nonlinear equations generally do not allow superposition at all.

Practice

  1. Find the Wronskian of 1,t1,t.
  2. Solve y′′=0y''=0 with y(0)=1,y′(0)=2y(0)=1,y'(0)=2.
  3. If L[yp]=gL[y_p]=g, what is L[3yp]L[3y_p]?
Show worked solutions
  1. W=1W=1, so they are independent.
  2. y=1+2ty=1+2t.
  3. 3g3g by linearity, not gg.

Further study

MIT OpenCourseWare: Differential Equations provides a full university course with additional lectures and exercises.

MAKE IT YOURS

Pause before the next idea.

Can you explain how the visualization connects to this lesson’s goal? If a step still feels uncertain, put this lesson on your review list and try the check again another day.

Optional marks, not a grade. Saved in this browser only. Open notebook →