Fundamental Solution Set General Form: Span Homogeneous Solutions

On this page: The Principle | Conditions | Misconceptions | EE Questions | Retrieval Practice | Worked Example | Solve a Problem | Related Principles | FAQ

---

The Principle

Statement

A fundamental solution set for a second-order linear homogeneous equation is an independent pair of solutions that spans the homogeneous solution space. Once that pair is known, the homogeneous general solution is the constant-weighted combination

$y_h=C_1y_1+C_2y_2$

This principle is a span statement, not a root-finding method. It tells you what form the homogeneous family has after the two independent pieces have been identified.

Mathematical Form

$\{y_{1},y_{2}\}\ \mathrm{fundamental} \Rightarrow y_{h}=C_{1}y_{1}+C_{2}y_{2}$

Where:

• $y_1$, $y_2$ = an independent fundamental pair of homogeneous solutions
• $C_1$, $C_2$ = arbitrary constants
• $y_h$ = the homogeneous general solution

What “fundamental” adds

Homogeneous superposition already says constant combinations of homogeneous solutions remain homogeneous solutions. Fundamental Solution Set General Form adds the stronger span claim: for a second-order linear homogeneous equation, the independent pair gives the whole homogeneous family, not only some legal solutions.

---

Conditions of Applicability

Condition: second-order linear homogeneous equation; independent solution pair

Practical modeling notes

• Independence is tested for solutions of the same equation on the same working interval; two unrelated functions are not a fundamental pair just because they are independent as functions.
• The Wronskian $W(y_1,y_2)=y_1y_2^{\prime}-y_1^{\prime}y_2$ gives a quick independence check: if $W(x_0)\neq 0$ at one point of the working interval, the pair is independent.
• The constants $C_1$ and $C_2$ remain arbitrary until auxiliary conditions constrain them. Two initial conditions in a well-posed initial-value problem determine one member; boundary conditions may determine one, none, or many.

When It Does Not Apply

This principle does not cover:

• Dependent solutions: if $y_2=ky_1$, the pair cannot span the two-dimensional homogeneous family.
• Nonhomogeneous equations: this formula still gives the associated homogeneous part, but not the full solution; add a particular solution $y_p$, as in Linear Nonhomogeneous Solution Structure.
• Higher-order equations: an $n$th-order linear homogeneous equation needs an appropriate set of $n$ independent solutions, not only two.

Want the complete framework behind this guide? Read Masterful Learning.

---

Common Misconceptions

Misconception 1: “Any two solutions make the general solution”

The truth: the two solutions must be independent and fundamental for the equation.

Why this matters: dependent solutions repeat the same direction in the solution space, so their combination misses part of the family.

Misconception 2: “The constants come from the differential equation itself”

The truth: $C_1$ and $C_2$ are arbitrary until extra conditions are supplied.

Why this matters: the homogeneous general form comes before solving for a particular member of the family.

Misconception 3: “This also includes the forcing term”

The truth: $y_h$ is the homogeneous part only. For a nonhomogeneous equation, the same homogeneous family is useful, but the full solution also needs one particular solution.

---

Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

• What different jobs do $y_1$, $y_2$, $C_1$, $C_2$, and $y_h$ perform in $y_h=C_1y_1+C_2y_2$?
• Why is independence part of the condition instead of a decorative detail?

For the Principle

• Before writing $y_h=C_1y_1+C_2y_2$, what should you know about the equation and the two candidate solutions?
• Why do initial conditions act on $C_1$ and $C_2$ after the homogeneous family is formed?

Between Principles

• How does this principle strengthen Linear Homogeneous Superposition from “legal combination” to “full homogeneous family”?

Generate an Example

• Give one independent pair that could be fundamental for a second-order linear homogeneous equation, and one dependent pair that could not be fundamental.

---

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the principle in words: _____A fundamental pair of solutions spans the general solution of a second-order linear homogeneous equation.

Write the canonical equation: _____$\{y_{1},y_{2}\}\ \mathrm{fundamental} \Rightarrow y_{h}=C_{1}y_{1}+C_{2}y_{2}$

State the canonical condition: _____second-order linear homogeneous equation; independent solution pair

---

Worked Example

Use this worked example to practice Self-Explanation.

Problem

For the linear homogeneous equation $y^{\prime\prime}-y=0$, suppose $y_1=e^x$ and $y_2=e^{-x}$ form a fundamental solution set. Use Fundamental Solution Set General Form to write the homogeneous general solution, then find the member satisfying $y(0)=4$ and $y^{\prime}(0)=2$.

Step 1: Verbal Decoding

Target: $C_1$, $C_2$, $y_h$
Given: $y_1$, $y_2$, $y(0)$, $y^{\prime}(0)$
Constraints: second-order linear homogeneous equation; independent solution pair on the working interval; initial conditions select one member of the homogeneous family

Step 2: Visual Decoding

Sketch $e^x$ and $e^{-x}$ on the same axes and mark $x=0$; note that they have equal values but opposite slopes there. (Their value-slope data provide two independent directions.)

Step 3: Mathematical Modeling

1. $y_h=C_1e^x+C_2e^{-x}$

Step 4: Mathematical Procedures

1. $y_h^{\prime}=C_1e^x-C_2e^{-x}$
2. $C_1+C_2=y(0)$
3. $C_1-C_2=y^{\prime}(0)$
4. $2C_1=y(0)+y^{\prime}(0)$
5. $C_1=\frac{y(0)+y^{\prime}(0)}{2}$
6. $2C_2=y(0)-y^{\prime}(0)$
7. $C_2=\frac{y(0)-y^{\prime}(0)}{2}$
8. $C_1=\frac{4+2}{2}$
9. $C_1=3$
10. $C_2=\frac{4-2}{2}$
11. $C_2=1$
12. $\underline{y_h=3e^x+e^{-x}}$

Step 5: Reflection

• Verification: $y_h(0)=3+1=4$ and $y_h^{\prime}(0)=3-1=2$.
• Connection to concept: the fundamental pair supplies the full homogeneous family before initial data chooses constants.
• Independence check: $W(e^x,e^{-x})=-2\neq 0$, so the two solutions are independent on the working interval.

---

Before moving on: self-explain the model

Try explaining Step 3 out loud or in writing: why a fundamental pair licenses the full expression $C_1y_1+C_2y_2$, why the constants stay arbitrary at first, and how the initial conditions choose one member.

Mathematical model with explanation

Principle: Fundamental Solution Set General Form - $\{y_{1},y_{2}\}\ \mathrm{fundamental} \Rightarrow y_{h}=C_{1}y_{1}+C_{2}y_{2}$.

Conditions: the equation is second-order linear homogeneous, and $e^x$, $e^{-x}$ are an independent solution pair on the same working interval.

Relevance: the problem gives a fundamental pair and asks for the homogeneous family, so the useful model is the span of the pair.

Description: The two functions are the basis pieces. The constants $C_1$ and $C_2$ weight those pieces, and the initial conditions convert the family into one function.

Goal: write the homogeneous general form from the fundamental pair, then solve for the constants.

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem

For the linear homogeneous equation $y^{\prime\prime}+y=0$, suppose $y_1=\cos x$ and $y_2=\sin x$ form a fundamental solution set. Use Fundamental Solution Set General Form to write the homogeneous general solution, then find the member satisfying $y(0)=5$ and $y^{\prime}(0)=-2$.

Hint (if needed): start with $y_h=C_1\cos x+C_2\sin x$ before applying the initial conditions.

Show Solution

Step 1: Verbal Decoding

Target: $C_1$, $C_2$, $y_h$
Given: $y_1$, $y_2$, $y(0)$, $y^{\prime}(0)$
Constraints: second-order linear homogeneous equation; independent solution pair on the working interval; initial conditions choose one member of the homogeneous family

Step 2: Visual Decoding

Sketch $\cos x$ and $\sin x$ on the same axes and mark $x=0$; note that cosine has value $1$ and slope $0$, while sine has value $0$ and slope $1$ there. (Their value-slope data provide two independent directions.)

Step 3: Mathematical Modeling

1. $y_h=C_1\cos x+C_2\sin x$

Step 4: Mathematical Procedures

1. $y_h^{\prime}=-C_1\sin x+C_2\cos x$
2. $C_1=y(0)$
3. $C_2=y^{\prime}(0)$
4. $C_1=5$
5. $C_2=-2$
6. $\underline{y_h=5\cos x-2\sin x}$

Step 5: Reflection

• Verification: $y_h(0)=5$ and $y_h^{\prime}(0)=-2$.
• Connection to concept: the constants choose one member inside the span of a fundamental pair.
• Independence check: $W(\cos x,\sin x)=1$, so the two solutions are independent on the working interval.

---

Related Principles

Principle	Relationship to Fundamental Solution Set General Form
Linear Homogeneous Superposition	Explains why constant combinations of homogeneous solutions are legal.
Second-Order Linear Standard Form	Gives the broader equation template where second-order linear homogeneous families appear.
Linear Nonhomogeneous Solution Structure	Shows how the homogeneous family combines with one particular solution in forced equations.

See Differential Equations Subdomain for the full higher-order linear lane, and Principle Structures for organizing names, equations, and conditions.

---

FAQ

What is Fundamental Solution Set General Form?

Fundamental Solution Set General Form is the rule that a fundamental pair $\{y_1,y_2\}$ gives the homogeneous general solution $y_h=C_1y_1+C_2y_2$. It turns two independent homogeneous solution pieces into the full second-order linear homogeneous family.

When does this principle apply?

It applies under the canonical condition: second-order linear homogeneous equation; independent solution pair. The pair must solve the same equation on the same working interval, not only look like two different functions.

Why does the pair need to be independent?

Independence means the two solutions point in different directions in the solution space. If one solution is a constant multiple of the other, the pair only spans a one-constant family.

How is this different from homogeneous superposition?

Homogeneous superposition says constant combinations of solutions are still solutions. Fundamental Solution Set General Form says an independent fundamental pair spans the entire homogeneous general solution for a second-order linear homogeneous equation.

What happens for a nonhomogeneous equation?

The expression $y_h=C_1y_1+C_2y_2$ gives the associated homogeneous part. For a nonhomogeneous equation, the full structure is usually $y=y_h+y_p$, where $y_p$ is one particular solution.

---

Related Guides

• Principle Structures - Organize this principle in a hierarchy of names, equations, conditions, and nearby rules.
• Differential Equations Subdomain - Return to the DE map and see where fundamental solution sets sit in the higher-order linear lane.
• Self-Explanation - Learn to explain why a model equation is valid before doing algebra.
• Problem Solving - Practice choosing the right structure before solving for constants.

---

How This Fits in Unisium

Within the differential equations subdomain, Unisium treats Fundamental Solution Set General Form as the point where independent solutions of the same linear homogeneous equation become a full family. The Unisium Study System pairs this guide with elaborative encoding, retrieval practice, and worked examples so you learn the stable decision: verify the pair is fundamental, write the span, then let conditions choose constants.

Ready to practice differential equations with structure? Check access and join the Unisium waitlist or explore the full framework in Masterful Learning.

Masterful Learning

The book behind these guides: a study system for physics, math, & programming built on retrieval, connection, explanation, and problem solving.

About the book →