Complex Roots Solution Family: Oscillating Modes

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

---

The Principle

Statement

A second-order linear constant-coefficient homogeneous equation can have complex conjugate roots in its characteristic equation. Those roots do not lead to complex-valued final answers by default; they produce a real solution family built from sine and cosine, scaled by an exponential envelope.

The real part $\alpha$ controls the exponential factor $e^{\alpha x}$. The nonzero imaginary part $\beta$ controls the oscillation through $\cos \beta x$ and $\sin \beta x$.

Mathematical Form

$r=\alpha\pm i\beta \Rightarrow y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$

Where:

• $r$ = a complex characteristic root
• $\alpha$ = the real part of the conjugate roots
• $\beta$ = the nonzero imaginary part magnitude
• $e^{\alpha x}$ = the exponential envelope multiplying both modes
• $\cos \beta x$, $\sin \beta x$ = the two real oscillatory modes
• $C_1$, $C_2$ = arbitrary real constants chosen later by initial or boundary conditions

Why sine and cosine appear

The exponential trial still starts the process, but complex roots are usually rewritten into a real-valued family. Euler’s formula connects $e^{(\alpha+i\beta)x}$ to $e^{\alpha x}\cos\beta x$ and $e^{\alpha x}\sin\beta x$, which gives the two real independent modes needed for a second-order homogeneous equation.

This principle follows Characteristic Equation Relation and sits next to Distinct Real Roots Solution Family and Repeated Root Solution Family. First form the characteristic equation; then classify the root type before choosing the solution family.

---

Conditions of Applicability

Condition: $ar^2+br+c=0 has roots \alpha\pm i\beta with \beta\neq 0$

Practical modeling notes

• The equation should already be in the homogeneous constant-coefficient setting that produced the characteristic equation.
• The roots come as conjugates because the characteristic polynomial has real coefficients.
• In this guide, $\beta$ is taken as the positive imaginary-part magnitude; the notation $\alpha\pm i\beta$ represents both conjugate roots.
• Initial conditions do not change the family form; they only determine $C_1$ and $C_2$.

When It Doesn’t Apply

This family is not the right final form when the characteristic roots are not a complex conjugate pair with nonzero imaginary part.

• Distinct real roots: use two different exponential modes, $C_1e^{r_1x}+C_2e^{r_2x}$.
• Repeated real root: use the extra-$x$ family, $(C_1+C_2x)e^{rx}$.
• Nonhomogeneous equation: this gives the complementary homogeneous family; a forcing term still needs a particular solution.

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

---

Common Misconceptions

Misconception 1: “Complex roots mean the answer must stay complex”

The truth: for real-valued homogeneous ODEs, the conjugate pair is usually rewritten as a real sine-cosine family.

Why this matters: leaving the answer as separate complex exponentials can hide the two real modes the problem expects.

Misconception 2: “The real part and imaginary part do the same job”

The truth: $\alpha$ sets the exponential envelope, while $\beta$ sets the oscillatory frequency.

Why this matters: confusing the roles makes students put the wrong number in the exponential or the trigonometric arguments.

Misconception 3: “Any negative discriminant gives the same solution shape”

The truth: every negative discriminant gives a complex pair, but the specific values of $\alpha$ and $\beta$ determine the envelope and oscillation.

---

Elaborative Encoding

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

Within the Principle

• What does $\alpha$ control in $e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$?
• What does $\beta\neq 0$ tell you about the shape of the solution family?

For the Principle

• What must you check about the characteristic roots before writing the sine-cosine family?
• How do initial conditions affect $C_1$ and $C_2$ without changing $\alpha$ or $\beta$?

Between Principles

• How does this branch differ from Repeated Root Solution Family after the characteristic equation is classified?

Generate an Example

• Write one characteristic equation with complex conjugate roots and one near miss with two real roots.

---

Retrieval Practice

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

State the principle in words: _____Complex conjugate roots of the characteristic equation give a real homogeneous solution family with an exponential envelope times sine and cosine modes.

Write the canonical equation: _____$r=\alpha\pm i\beta \Rightarrow y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$

State the canonical condition: _____$ar^2+br+c=0 has roots \alpha\pm i\beta with \beta\neq 0$

---

Worked Example

Use this worked example to practice Self-Explanation.

Problem

Solve the homogeneous differential equation $y^{\prime\prime}-2y^{\prime}+5y=0$ using the complex roots solution family.

Step 1: Verbal Decoding

Target: $y$
Given: $y^{\prime\prime}$, $y^{\prime}$, $y$
Constraints: second-order linear constant-coefficient homogeneous equation; root type must be checked after forming the characteristic equation; no initial conditions

Step 2: Visual Decoding

Draw a root plane with horizontal real axis and vertical imaginary axis, then mark the conjugate pair $1+2i$ and $1-2i$. (The shared real part becomes the envelope, and the imaginary distance from the real axis becomes the oscillation rate.)

Step 3: Mathematical Modeling

1. $r^2-2r+5=0$
2. $r=\alpha\pm i\beta \Rightarrow y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$

Step 4: Mathematical Procedures

1. $r=\frac{2\pm\sqrt{(-2)^2-4(1)(5)}}{2(1)}$
2. $r=\frac{2\pm\sqrt{-16}}{2}$
3. $r=1\pm 2i$
4. $\alpha=1,\quad \beta=2$
5. $\underline{y=e^x(C_1\cos 2x+C_2\sin 2x)}$

Step 5: Reflection

• Verification: the roots $1+2i$ and $1-2i$ both satisfy $r^2-2r+5=0$.
• Graphical meaning: the factor $e^x$ gives a growing envelope while the sine and cosine terms oscillate.
• Domain check: no initial conditions were given, so the constants remain arbitrary.

---

Before moving on: self-explain the model

Try explaining Step 3 out loud (or in writing): why the characteristic equation is the bridge from the ODE to the roots, why a nonzero imaginary part triggers sine and cosine, and how $\alpha$ and $\beta$ enter different parts of the solution.

Mathematical model with explanation

Principle: Complex Roots Solution Family - $r=\alpha\pm i\beta \Rightarrow y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$.

Conditions: the characteristic equation $ar^2+br+c=0$ has roots $\alpha\pm i\beta$ with $\beta\neq 0$, here $1\pm 2i$.

Relevance: the problem is a second-order homogeneous constant-coefficient ODE, so the characteristic root type determines the homogeneous family.

Description: The real part $1$ produces the envelope $e^x$, and the imaginary part magnitude $2$ produces the oscillatory factors $\cos 2x$ and $\sin 2x$.

Goal: find the complex roots, identify $\alpha$ and $\beta$, choose the complex-root family, and leave $C_1$ and $C_2$ free because no initial data were supplied.

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem

Solve the homogeneous differential equation $y^{\prime\prime}+2y^{\prime}+10y=0$ using the complex roots solution family.

Hint (if needed): after using the quadratic formula, identify $\alpha$ as the real part and $\beta$ as the positive imaginary-part magnitude.

Show Solution

Step 1: Verbal Decoding

Target: $y$
Given: $y^{\prime\prime}$, $y^{\prime}$, $y$
Constraints: second-order linear constant-coefficient homogeneous equation; root type must be checked after forming the characteristic equation; no initial conditions

Step 2: Visual Decoding

Draw a root plane and mark the conjugate pair $-1+3i$ and $-1-3i$. (The negative real part gives a decaying envelope, and the imaginary distance gives the oscillation rate.)

Step 3: Mathematical Modeling

1. $r^2+2r+10=0$
2. $r=\alpha\pm i\beta \Rightarrow y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$

Step 4: Mathematical Procedures

1. $r=\frac{-2\pm\sqrt{2^2-4(1)(10)}}{2(1)}$
2. $r=\frac{-2\pm\sqrt{-36}}{2}$
3. $r=-1\pm 3i$
4. $\alpha=-1,\quad \beta=3$
5. $\underline{y=e^{-x}(C_1\cos 3x+C_2\sin 3x)}$

Step 5: Reflection

• Verification: the roots $-1+3i$ and $-1-3i$ both satisfy $r^2+2r+10=0$.
• Graphical meaning: the solution oscillates inside a decaying exponential envelope.
• Connection to concept: the nonzero imaginary part is why the final family uses sine and cosine.

---

Related Principles

Principle	Relationship to Complex Roots Solution Family
Characteristic Equation Relation	Produces the characteristic equation whose root type is classified here.
Distinct Real Roots Solution Family	Handles the nearby case where two different real roots give two exponentials.
Repeated Root Solution Family	Handles the nearby case where one real root repeats and needs an extra $x$ mode.

See Differential Equations Subdomain for the full higher-order linear sequence, and Principle Structures for organizing root-family cases without mixing their conditions.

---

FAQ

What is Complex Roots Solution Family?

Complex Roots Solution Family is the homogeneous solution form for a second-order constant-coefficient ODE whose characteristic equation has conjugate roots. If the roots are $\alpha\pm i\beta$ with $\beta\neq 0$, the real solution family is $y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x)$.

When does Complex Roots Solution Family apply?

It applies when $ar^2+br+c=0$ has roots $\alpha\pm i\beta$ with $\beta\neq 0$. In practice, you reach that condition after forming the characteristic equation for a second-order linear constant-coefficient homogeneous differential equation.

Why does the answer use sine and cosine?

The complex exponential modes can be rewritten as real combinations of sine and cosine. This gives the two real independent modes expected in the homogeneous solution.

What do alpha and beta mean?

$\alpha$ is the real part of the roots and controls the exponential envelope $e^{\alpha x}$. $\beta$ is the positive imaginary-part magnitude and controls the arguments of $\cos \beta x$ and $\sin \beta x$.

How is this different from distinct real roots?

Distinct real roots give separate exponential modes, $e^{r_1x}$ and $e^{r_2x}$. Complex roots give an exponential envelope multiplied by sine and cosine modes.

---

Related Guides

• Differential Equations Subdomain - Return to the full DE map and see where complex roots sit.
• Second-Order Linear Constant-Coefficient Form - Check the ODE structure before forming a characteristic equation.
• Self-Explanation - Learn to explain why a root family is legal.
• Problem Solving - Practice selecting a model before doing algebra.

---

How This Fits in Unisium

Within the differential equations subdomain, Unisium treats complex roots as one branch in the root-family decision for homogeneous constant-coefficient equations. The Unisium Study System pairs this branch with retrieval practice, self-explanation, and structured problem solving so you learn to classify the roots before writing the solution family.

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 →