← Back to Math 055

8.2 Homogeneous Linear Systems: Class Notes

8.2a

Some matrix preliminaries

A 2×2 matrix and a column vector:

𝐀=(abcd),𝐗=(xy)

(Square brackets, 𝐀=[abcd], mean the same thing.)

To multiply a matrix by a column, multiply each row of the matrix by the column, entry by entry, and add:

𝐀𝐗=(abcd)(xy)=(ax+bycx+dy)

For example,

𝐀=(3547),𝐗=(25)⟹𝐀𝐗=(3547)(25)=(6+258+35)=(3143)

The order matters: 𝐗𝐀 is not defined here, because a row of 𝐗 has only one entry while a column of 𝐀 has two.

Identity matrix:

𝐈2=(1001),𝐈3=(100010001)

Multiplying by the identity changes nothing. Each row of 𝐀 times each column of 𝐈 picks out one entry of 𝐀:

(abcd)(1001)=(abcd),𝐈𝐀=𝐀𝐈=𝐀

The zero vector is 0=(00) or 0=(000). The matrix equation 𝐀𝐗=0 is a system of equations, and 𝐗 is the solution to the system.

Linear algebra result

If 𝐀𝐗=0 has a solution with 𝐗≠0, then det(𝐀)=0.

A solution 𝐗≠0 is called a nontrivial solution; 𝐗=0 is the trivial solution.

Augmented matrices (Gaussian elimination)

Solve the system by eliminating x from equation (2):

(1)2x+2y=4(2)8x+3y=5

Take (2) minus 4 times (1); the 8x cancels:

8x+3y=5−8x−8y=−16(3)−5y=−11

The new system is 2x+2y=4,−5y=−11. The augmented matrix keeps only the numbers, and the same step is the row operation R2→R2−4R1:

(224835)⟶(2240−5−11)

A second system, where the right sides are all 0:

(1)2x+3y=0(2)−4x−6y=0(230−4−60)⟶(230000)

Using R2→R2+2R1, the second row becomes all zeros. The determinant of the coefficient matrix is 0:

|23−4−6|=−12−(−12)=0

The trivial solution (x,y)=(0,0) always works. Because the determinant is 0, the system also has nontrivial solutions (the second equation adds nothing new).

8.2b

Consider the system {dxdt=2x+2ydydt=x+3y which, in 𝐗′=𝐀𝐗 form is

𝐗′=(2213)𝐗.𝐗=(xy),𝐗′=(dx/dtdy/dt)

The solution is 𝐗(t)=c1(11)e4t+c2(2−1)et. This is a superposition of

𝐗1(t)=(11)e4t,𝐗2(t)=(2−1)et.

These have the form 𝐗(t)=𝐊eλt. Here λ is an eigenvalue; it is the solution to an equation. 𝐊 is an associated eigenvector.

For example,

(2213)(11)=(2+21+3)=(44)=4(11)

This has the form 𝐀𝐊=λ𝐊 with 𝐊≠0: multiplying the eigenvector by 𝐀 just scales it by the eigenvalue.

Suppose 𝐗=𝐊eλt is a solution to 𝐗′=𝐀𝐗. Differentiate and substitute:

𝐗′=𝐊λeλt𝐊λeλt=𝐀𝐊eλt

Divide both sides by eλt (never zero):

𝐊λ=𝐀𝐊⟹𝐀𝐊−λ𝐊=0(𝐀−λ𝐈)𝐊=0

This is a system of the form 𝐀𝐗=0. We seek nontrivial solutions (𝐊≠0), so by the linear algebra result

det(𝐀−λ𝐈)=0

This is the characteristic equation. Solve it for the eigenvalues λ; then, for each λ, solve (𝐀−λ𝐈)𝐊=0 for the eigenvector 𝐊.

8.2c

Example

Find the general solution of the given system.

dxdt=2x+2ydydt=x+3y

Solution

𝐀=(2213)

𝐀−λ𝐈=(2213)−λ(1001)=(2213)−(λ00λ)=(2−λ213−λ)

Set the determinant equal to 0 (product of the main diagonal minus product of the other diagonal):

|2−λ213−λ|=0(2−λ)(3−λ)−2=0λ2−5λ+6−2=0λ2−5λ+4=0(λ−1)(λ−4)=0

So λ=4,1. For each eigenvalue, solve (𝐀−λ𝐈)𝐊=0.

λ1=4:

(−221−1)𝐊=0⟶(−2201−10)

With 𝐊=(k1k2), the rows say −2k1+2k2=0 and k1−k2=0, so k1=k2. Take k1=k2=1:

𝐊1=(11)⟹𝐗1=(11)e4t

λ2=1:

(1212)𝐊2=0⟹k1+2k2=0⟹k1=−2k2

Let k2=−1, so k1=2:

𝐊2=(2−1)⟹𝐗2(t)=(2−1)et

Answer: 𝐗(t)=c1(11)e4t+c2(2−1)et

8.2d

Example

Find the general solution of the given system.

dxdt=2x−7ydydt=5x+10y+4zdzdt=5y+2z

Solution

Set det(𝐀−λ𝐈)=0 and expand along the first row, with alternating signs +, −, +. The third entry of row 1 is 0, so only two terms remain:

|2−λ−70510−λ4052−λ|=0

(2−λ)|10−λ452−λ|−(−7)|5402−λ|=0

(2−λ)[(10−λ)(2−λ)−20]+7·5(2−λ)=0

Factor out the common (2−λ):

(2−λ)(λ2−12λ+20−20+35)=0(2−λ)(λ2−12λ+35)=0(2−λ)(λ−5)(λ−7)=0

So λ=2,5,7.

λ1=2:

(0−70584050)𝐊1=0

Rows 1 and 3 say −7k2=0 and 5k2=0, so k2=0. Row 2 becomes 5k1+4k3=0, so k1=−45k3. Let k3=−5; then k1=4:

𝐊1=(40−5),𝐗1(t)=(40−5)e2t

λ2=5:

(−3−7055405−3)𝐊2=0

Row 3 already has 0 in front. Clear the 5 in row 2 with R2→5R1+3R2:

−15−3501515120−2012

Dividing by −4 gives the row 05−3, which matches row 3, so R3→R2−R3 turns row 3 into zeros:

(−3−70005−3005−30)⟶(−3−7005−3000)

Solve each row for the other unknowns in terms of k2:

R1:−3k1−7k2=0⟹k1=−73k2R2:5k2−3k3=0⟹k3=53k2

Let k2=3. Then k1=−7 and k3=5:

𝐗2(t)=(−735)e5t

λ3=7: the same steps give

𝐊3=(7−5−5)

Answer: 𝐗(t)=c1(40−5)e2t+c2(−735)e5t+c3(7−5−5)e7t

A matrix can have eigenvalues that are

8.2e

Complex eigenvalues

If λ=α+βi is an eigenvalue, so is its complex conjugate λ¯=α−βi, and

𝐗=𝐊eλtand𝐗=𝐊―eλ¯t

are solutions. By Euler’s formula,

𝐊e(α+βi)t=𝐊eαt(cos⁡βt+isin⁡βt)𝐊―e(α−βi)t=𝐊―eαt(cos⁡βt−isin⁡βt)

By the superposition principle, these combinations are also solutions, and they are real:

𝐗1=12(𝐊eλt+𝐊―eλ¯t)=eαt[12(𝐊+𝐊―)cos⁡βt−i2(−𝐊+𝐊―)sin⁡βt]𝐗2=i2(−𝐊eλt+𝐊―eλ¯t)=eαt[i2(−𝐊+𝐊―)cos⁡βt+12(𝐊+𝐊―)sin⁡βt]

Aside

The same combinations applied to λ pick out its real and imaginary parts:

12(λ+λ¯)=12(α+βi+α−βi)=α=Re(λ)i2(−λ+λ¯)=i2(−α−βi+α−βi)=β=Im(λ)

Let 𝐁1=12(𝐊+𝐊―) and 𝐁2=i2(−𝐊+𝐊―). (So 𝐁1 is the real part of 𝐊 and 𝐁2 is its imaginary part.) Then

𝐗1=eαt(𝐁1cos⁡βt−𝐁2sin⁡βt)𝐗2=eαt(𝐁2cos⁡βt+𝐁1sin⁡βt)

This leads to a theorem:

Theorem

Let λ=α+iβ be an eigenvalue of 𝐀 and let 𝐁1=Re(𝐊),𝐁2=Im(𝐊). Then

𝐗1=eαt(𝐁1cos⁡βt−𝐁2sin⁡βt)𝐗2=eαt(𝐁2cos⁡βt+𝐁1sin⁡βt)

Example

Find the general solution of the given system.

dxdt=4x+5ydydt=−2x+6y

Solution

|4−λ5−26−λ|=0λ2−10λ+24+10=0

This doesn’t factor, so complete the square: move the constant over and add 25 to both sides.

λ2−10λ+25=−34+25(λ−5)2=−9λ=5±3i

λ=5+3i: subtract 5+3i along the diagonal.

(4−(5+3i)5−26−(5+3i))𝐊=0⟹(−1−3i5−21−3i)𝐊=0

Check that the determinant is 0 (so the rows are multiples of each other): −(1+3i)(1−3i)+10=−10+10=0. ✓ So one row is enough. Row 2 gives

−2k1+(1−3i)k2=0⟹k2=21−3ik1

Let k1=1−3i. Then k2=2. Split 𝐊 into real and imaginary parts, 𝐊=𝐁1+𝐁2i:

𝐊=(1−3i2)=(12)+(−30)i,𝐁1=(12),𝐁2=(−30)

Use the theorem with α=5 and β=3:

Answer: 𝐗(t)=c1e5t[(12)cos⁡3t−(−30)sin⁡3t]+c2e5t[(−30)cos⁡3t+(12)sin⁡3t]

8.2f

Repeated eigenvalues:

Example

Find the general solution of the given system.

𝐗′=(12−940)𝐗

Solution

|12−λ−94−λ|=0⟹λ2−12λ+36=0⟹(λ−6)2=0

So λ=6 is repeated (multiplicity 2).

(6−94−6)𝐊=0⟶(2−300)𝐊=0

So 2k1−3k2=0, or k1=32k2. Let k2=2:

𝐊=(32),𝐗1=(32)e6t

We have only one eigenvector. In this case, we find a vector 𝐏 such that (𝐀−λ𝐈)𝐏=𝐊.

(Rationale will come later.)

(6−94−6)𝐏=(32)⟶(6−934−62)

Row 2: 4p1−6p2=2, so 2p1−3p2=1. Let p2=0. Then p1=12:

𝐏=(1/20)

The general solution is c1𝐗1+c2𝐗2, with 𝐗1=𝐊eλt and 𝐗2=𝐊teλt+𝐏eλt:

Answer: 𝐗(t)=c1(32)e6t+c2[(32)te6t+(1/20)e6t]

8.2g

Example

Find the general solution of the given system.

dxdt=3x+2y+4zdydt=2x+2zdzdt=4x+2y+3z

Solution

|3−λ242−λ2423−λ|=0

Expanding the determinant gives the eigenvalues λ=8,−1,−1. For λ1=8, solving (𝐀−λ𝐈)𝐊=0 gives

𝐊1=(212)

λ2=−1 (repeated):

(424212424)𝐊=0

Every row is a multiple of 2k1+k2+2k3=0. With two free unknowns, this repeated eigenvalue has two independent eigenvectors, so no 𝐏 is needed.

Let k2=0. Then k1=−k3:

𝐊2=(10−1)

Let k3=0. Then 2k1+k2=0, so k1=−12k2:

𝐊3=(1−20)

Answer: 𝐗(t)=c1(212)e8t+c2(10−1)e−t+c3(1−20)e−t

Aforementioned Rationale

In the case of a repeated eigenvalue but not enough eigenvectors (defective), we have

𝐗1=𝐊eλt,(𝐀−λ𝐈)𝐊=0𝐗2=𝐊teλt+𝐏eλt,(𝐀−λ𝐈)𝐏=𝐊

If λ is repeated three times, a third solution is

𝐗3=𝐊t22!eλt+𝐏teλt+𝐐eλt,(𝐀−λ𝐈)𝐐=𝐏

Suppose

𝐗2=𝐊teλt+𝐏eλt

Differentiate (product rule on the first term):

𝐗2′=𝐊eλt+𝐊λteλt+𝐏λeλt

Then 𝐗′=𝐀𝐗 becomes

(𝐊+𝐊λt+𝐏λ)eλt=𝐀(𝐊t+𝐏)eλt

Divide out eλt, distribute 𝐀, and collect everything on one side, grouping the t terms and the constant terms:

(𝐀𝐊−λ𝐊)t+(𝐀𝐏−λ𝐏−𝐊)=0

This must hold for every t, so each group is 0:

𝐀𝐊−λ𝐊=0⟹(𝐀−λ𝐈)𝐊=0✓𝐀𝐏−λ𝐏=𝐊⟹(𝐀−λ𝐈)𝐏=𝐊

The first is already true, since 𝐊 is an eigenvector. The second is exactly the system (𝐀−λ𝐈)𝐏=𝐊 we solved to find 𝐏.

Problem: two connected mixing tanks

As shown in the diagram, two large connected mixing tanks A and B initially contain 100 gallons of brine. Liquid is pumped in and out of the tanks as indicated in the figure; the mixture pumped between and out of a tank is assumed to be well-stirred. Construct a mathematical model in the form of a linear system of first-order differential equations for the number of pounds x1(t) and x2(t) of salt in tanks A and B, respectively, at time t. Write the system in matrix form.

Two connected mixing tanks A and B with inflow, outflow, and connecting pipe flow rates

Two connected tanks, A on the left and B on the right. Pure water flows into tank A at 2 gal/min. Mixture is pumped from tank A to tank B at 2 gal/min, and from tank B back to tank A at 1 gal/min. Mixture drains out of tank A at 1 gal/min and out of tank B at 1 gal/min.

Where this model is used

AI response to where this model is used: This type of coupled mixing tank model shows up in several real engineering and scientific contexts:

Environmental & Water Treatment The most direct application is wastewater treatment plants, where tanks are linked in series or loops to progressively dilute or react contaminants. The exact flow-in/flow-out balance you see here models how pollutant concentrations evolve through each stage.

Pharmacokinetics (Drug Modeling) This is probably the most important real use. The human body is modeled as a series of “compartments” — blood plasma, tissue, organs — and a drug moves between them at known rates. The math is identical to these tank equations. Pharmacologists use this to predict:

Chemical Reactors In industrial chemistry, continuous stirred-tank reactors (CSTRs) are literally this setup. Reactants flow in, products flow out, and intermediate products recirculate between vessels. Petroleum refining and pharmaceutical manufacturing use multi-tank CSTR networks constantly.

Groundwater Contamination Aquifers are modeled as interconnected “cells” exchanging water at known rates. When a contaminant spills, hydrologists use these equations to predict how the plume spreads between underground zones over time.

HVAC and Atmospheric Modeling The atmosphere itself is divided into compartments (troposphere, boundary layer, urban airshed) with pollutants like CO2 or smog transferring between them — same mathematical structure.

The reason this model is so powerful is that any system where a substance moves between well-mixed reservoirs at proportional rates reduces to the same form of coupled linear ODEs. The tanks are just the most intuitive way to introduce the concept.