Collecting the fundamental solutions as the columns of a fundamental matrix lets the homogeneous general solution be written compactly as . Replacing the constant vector by a vector of functions produces the single elegant formula \mathbf{u}' = \mathbf{Y}^{-1}\mathbf{g}, which solves every nonhomogeneous system whose homogeneous solutions are known.
Quick Reference
| Item | Statement |
|---|---|
| Fundamental matrix | whose columns are |
| Homogeneous general solution | |
| Key property | \mathbf{Y}'(t) = \mathbf{A}(t)\mathbf{Y}(t) |
| Invertibility | is the Wronskian, never zero |
| Ansatz | |
| Resulting equation | \mathbf{u}'(t) = \mathbf{Y}^{-1}(t)\mathbf{g}(t) |
| Particular solution | |
| inverse | |
| Constants | Omit the constant of integration; only one particular solution is required |
The Fundamental Matrix
Let form a fundamental set of solutions of the homogeneous system \mathbf{y}' = \mathbf{A}(t)\mathbf{y}. Then the general solution
can also be written as
\mathbf{y}(t) = \mathbf{Y}(t)\mathbf{c} , \tag{i}
where is the column vector of constants
and is the matrix, called a fundamental matrix, whose columns are the fundamental solutions:
Writing instead of a sum is not merely cosmetic. Matrix-vector multiplication is the operation "multiply each column by the corresponding constant and add", so the two expressions are literally the same computation. The gain is that can now be inverted, differentiated, and manipulated as a single object.
Two properties will be needed:
- \mathbf{Y}'(t) = \mathbf{A}(t)\mathbf{Y}(t), because each column satisfies the homogeneous system.
- is the Wronskian of the fundamental solutions, and since they are linearly independent it is never zero. Hence always exists.
The Method
To find a particular solution of
\mathbf{y}' = \mathbf{A}(t)\mathbf{y} + \mathbf{g}(t) ,we replace the constant vector in (i) by a column vector of functions , exactly as in the scalar version of variation of parameters:
The calculation below shows that
\mathbf{u}'(t) = \mathbf{Y}^{-1}(t)\mathbf{g}(t) \tag{iii}
and thus
Derivation
Starting from and differentiating with the product rule,
\mathbf{y}_p' = \mathbf{Y}'(t)\mathbf{u}(t) + \mathbf{Y}(t)\mathbf{u}'(t) .Note that and \mathbf{Y}'(t) are matrices while and \mathbf{u}'(t) are , so the order of the products matters. The expression \mathbf{u}'(t)\mathbf{Y}(t) is not even defined.
Substituting into \mathbf{y}' = \mathbf{A}(t)\mathbf{y} + \mathbf{g}(t),
\underbrace{\mathbf{Y}'(t)\mathbf{u}(t) + \mathbf{Y}(t)\mathbf{u}'(t)}_{\mathbf{y}_p'} = \mathbf{A}(t)\underbrace{\mathbf{Y}(t)\mathbf{u}(t)}_{\mathbf{y}_p} + \mathbf{g}(t) .Since is a fundamental matrix of \mathbf{y}' = \mathbf{A}(t)\mathbf{y}, we have \mathbf{Y}'(t) = \mathbf{A}(t)\mathbf{Y}(t). Therefore the term on the right is identical to \mathbf{Y}'(t)\mathbf{u}(t) on the left, and the two cancel:
\mathbf{Y}(t)\mathbf{u}'(t) = \mathbf{g}(t) .Multiplying both sides on the left by ,
\underbrace{\mathbf{Y}^{-1}(t)\mathbf{Y}(t)}_{\mathbf{I}}\mathbf{u}'(t) = \mathbf{Y}^{-1}(t)\mathbf{g}(t)so
Two remarks. First, is the Wronskian of linearly independent solutions, hence nonzero, so the inverse always exists. Second, since we are looking for only one particular solution, the constant of integration is unnecessary: adding one contributes , a homogeneous solution absorbed into .
Compare this with the scalar case of Section 4.4. There, Cramer's rule on a system produced two separate formulas for u_1' and u_2'. Here the same content is packaged as a single matrix equation, and the two formulas reappear when is written out. The matrix version is both shorter and valid at any size.
Worked Example
Find a particular solution for
Solution
Here
Step 1: the fundamental matrix. The eigenvalues of are and , with associated eigenvectors
Therefore two linearly independent solutions of the homogeneous system are
and the general solution of the homogeneous system is
Step 2: invert .
so, using the inverse formula,
\begin{aligned} \mathbf{Y}^{-1}(t) &= \frac{1}{e^{t}}\begin{bmatrix} 3 & -1 \\ -2e^{t} & e^{t} \end{bmatrix} \\ &= \begin{bmatrix} 3e^{-t} & -e^{-t} \\ -2 & 1 \end{bmatrix} \end{aligned}Step 3: compute \mathbf{u}'.
\begin{aligned} \mathbf{u}' &= \mathbf{Y}^{-1}(t)\mathbf{g}(t) \\ &= \begin{bmatrix} 3e^{-t} & -e^{-t} \\ -2 & 1 \end{bmatrix}\begin{bmatrix} t \\ e^{t} \end{bmatrix} \\ &= \begin{bmatrix} 3te^{-t} - 1 \\ -2t + e^{t} \end{bmatrix} \end{aligned}where the first entry used .
Step 4: integrate.
For the first integral, integrate by parts with and , so :
No constant of integration is added, since it is unnecessary.
Step 5: assemble.
\begin{aligned} \mathbf{y}_p &= \mathbf{Y}\mathbf{u} \\ &= \begin{bmatrix} e^{t} & 1 \\ 2e^{t} & 3 \end{bmatrix}\begin{bmatrix} -3e^{-t}(t+1) - t \\ -t^{2} + e^{t} \end{bmatrix} \\ &= \begin{bmatrix} -3t - 3 - te^{t} - t^{2} + e^{t} \\ -6t - 6 - 2te^{t} - 3t^{2} + 3e^{t} \end{bmatrix} . \end{aligned}For the first component, , and adding the second entry of gives .
The general solution is .
Comparison. Section 5.3 solved the same system by undetermined coefficients and obtained
The difference between the two particular solutions is
a combination of the two homogeneous solutions, exactly as the structure theorem predicts. Different methods produce different particular solutions and the same general solution.
Exercises
Use variation of parameters to find a particular solution of
\mathbf{y}' = \begin{bmatrix} 2 & 0 \\ 0 & -1 \end{bmatrix}\mathbf{y} + \begin{bmatrix} 1 \\ t \end{bmatrix} .Solution
The matrix is diagonal, so and .
\mathbf{u}' = \begin{bmatrix} e^{-2t} \\ te^{t} \end{bmatrix} \quad \Longrightarrow \quad \mathbf{u} = \begin{bmatrix} -\tfrac{1}{2}e^{-2t} \\ (t-1)e^{t} \end{bmatrix}using integration by parts for the second entry. Therefore
Check: y_1' = 0 and . ✓ And y_2' = 1 while . ✓
Find a particular solution of \mathbf{y}' = \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix}\mathbf{y} + \begin{bmatrix} 0 \\ e^{t} \end{bmatrix}, given the fundamental matrix .
Solution
Here , so
Then
\mathbf{u}' = \begin{bmatrix} e^{-t} & -te^{-t} \\ 0 & e^{-t} \end{bmatrix}\begin{bmatrix} 0 \\ e^{t} \end{bmatrix} = \begin{bmatrix} -t \\ 1 \end{bmatrix} \quad \Longrightarrow \quad \mathbf{u} = \begin{bmatrix} -t^{2}/2 \\ t \end{bmatrix} .Therefore
Note that the coefficient matrix here is defective, which is why contains the term .
Explain why must multiply on the left rather than the right.
Solution
From \mathbf{Y}\mathbf{u}' = \mathbf{g}, isolating \mathbf{u}' requires cancelling from the left, which means multiplying both sides on the left by : \mathbf{Y}^{-1}\mathbf{Y}\mathbf{u}' = \mathbf{Y}^{-1}\mathbf{g}.
Multiplying on the right is not even defined. is and is , so the product requires the inner dimensions and to match, which they do not. Matrix multiplication is not commutative, and dimension checking catches most errors of this kind immediately.
Frequently Asked Questions
What is a fundamental matrix?
The matrix whose columns are linearly independent solutions of the homogeneous system. It satisfies \mathbf{Y}' = \mathbf{A}\mathbf{Y}, and multiplying it by a constant vector reproduces the general homogeneous solution.
Is the fundamental matrix unique?
No. Any set of independent solutions works, and reordering columns or rescaling them gives another valid fundamental matrix. Different choices produce different intermediate , but the same general solution. Some texts prefer the normalized choice with , which makes initial conditions trivial to apply.
Why is always invertible?
Because its determinant is the Wronskian of a set of linearly independent solutions, which by the theory of Section 3.3 is never zero on the interval. This is precisely what makes the method work at every value of .
Do I need the constant of integration?
No. Adding a constant vector to contributes to , which is a homogeneous solution and gets absorbed into . Since any particular solution suffices, take the simplest antiderivative componentwise.
Which is better for systems, undetermined coefficients or variation of parameters?
For systems, variation of parameters is often faster, because inverting a matrix takes one line while working out the correct modified trial form can take several. Variation of parameters is also the only option when varies with or when contains functions outside the allowed class.
Why do I get a different particular solution from each method?
Because "a particular solution" is not unique: any two differ by a homogeneous solution. Both answers give the same general solution once is added, with the arbitrary constants shifted. The comparison at the end of the worked example shows exactly this.