Solving Systems of Differential Equations
Solving Systems of Differential Equations
The characteristic equation is crucial for determining the eigenvalues \(\lambda\) of the matrix \(A\) in a system \(\bar{x}'(t) = A\bar{x}(t)\). These eigenvalues define the behavior and type of solution for the differential equation system. The solutions are built from expressions \(\alpha e^{\lambda t}\bar{c}\), where \(\bar{c}\) corresponds to the eigenvectors associated with each \(\lambda\). This framework allows for constructing the general solution, taking into account the nature of real and complex eigenvalues .
To find a particular solution for a linear system using differential transformation, begin by determining the general solution in terms of arbitrary constants. Convert the system into a higher-order differential equation if necessary. Solve for the general solution, typically in exponential terms due to the eigenstructure. Apply initial conditions to compute the constants: substitute initial values into the general solution expressions, yielding linear equations that determine the constants' values. For the specific system \(dx/dt = x + 3y\), \(dy/dt = 3x + y\) with \(x(0) = 5, y(0) = 1\), the general solutions \(x(t)\) and \(y(t)\) incorporate constants resolved using the initial conditions to form a particular solution .
To determine the general solution of a differential equation system \(\bar{x}'(t) = A\bar{x}(t)\), calculate the eigenvalues \(\lambda\) from the characteristic equation \(det(\lambda I - A) = 0\), and find corresponding eigenvectors. Use these to form the general solution \(\bar{x}(t) = \alpha_1 \bar{u} e^{\lambda_1 t} + \alpha_2 \bar{v} e^{\lambda_2 t} + ...\), where \(\bar{u}\) and \(\bar{v}\) are eigenvectors. This allows constructing solutions in terms of exponential functions according to the eigenspectrum of \(A\).
For the Wronskian of solutions with complex roots to be non-zero, it must hold that \(A_1B_2 - A_2B_1 \neq 0\). This condition ensures the linear independence of the solutions. The Wronskian \(W(x(t), y(t))\) for solutions \(x = e^{at}(A_1 \cos bt - A_2 \sin bt)\), \(y = e^{at}(B_1 \cos bt - B_2 \sin bt)\) simplifies to \(e^{2at}(A_1B_2 - A_2B_1)\), necessitating that the determinant of the coefficient matrix formed by \(A_1, A_2, B_1, B_2\) must be non-zero to prevent the solutions from being linearly dependent .
For the system \(\{ dx/dt = x + 2y, dy/dt = 3x + 2y \}\), transform to second-order by differentiating one equation and substituting from the other. For instance, differentiate \(dx/dt = x + 2y\) to get \(d^2x/dt^2 = dx/dt + 2dy/dt\). Using \(dy/dt = 3x + 2y\), substitute for \(dy/dt\) to eliminate it, resulting in \(d^2x/dt^2 - 3dx/dt - 4x = 0\). Similarly, differentiate and substitute for \(x\) from the first to form a second-order equation in \(y\): \(d^2y/dt^2 - 3dy/dt - 4y = 0\). The general solutions for both are \(x(t) = c_1 e^{4t} + c_2 e^{-t}\), \(y(t) = c_1 e^{4t} + c_2 e^{-t}\).
Auxiliary equations play a central role by providing the characteristic roots \(m\) necessary to form the solution basis for systems of first-order linear homogeneous differential equations. Solutions typically follow exponential forms driven by these roots, allowing for the construction of the complete solution set for the differential system. The roots indicate the type and nature of the solutions (real or complex, distinct or repeated), impacting the behavior of the exponential functions—such as growth rates or oscillations—comprising the solution .
To convert a system of two second-order differential equations into a system of four first-order equations, define new variables for the first derivative of each position variable. For the given motion equations \(md^2x/dt^2 = f(t, x, y)\) and \(md^2y/dt^2 = g(t, x, y)\), introduce \(u = dx/dt\) and \(v = dy/dt\). The first-order system becomes \(dx/dt = u\), \(du/dt = f(t, x, y)/m\), \(dy/dt = v\), and \(dv/dt = g(t, x, y)/m\).
For the system \( \{ dx/dt = x + 3y, dy/dt = 3x + y \} \), with initial conditions \(x(0) = 5\), \(y(0) = 1\), solve the auxiliary equation \(m^2 - 2m - 8 = 0\) to find roots \(m_1 = -2\) and \(m_2 = 4\). The general solution is \(x(t) = c_1 e^{-2t} + c_2 e^{4t}\), \(y(t) = -c_1 e^{-2t} + c_2 e^{4t}\). Applying the initial conditions gives \(c_1 = 2\), \(c_2 = 3\). The specific solution is \(x(t) = 2e^{-2t} + 3e^{4t}\), \(y(t) = -2e^{-2t} + 3e^{4t}\).
A set of vector functions \(\bar{x_1}, \bar{x_2}, \bar{x_3}\) forms a fundamental solution set for a system if they are linearly independent. This condition can be verified by ensuring the Wronskian determinant of the vector functions is non-zero. In the provided example, the Wronskian \(W(\bar{x_1}, \bar{x_2}, \bar{x_3})\) was computed as \(-2e^{3t} \neq 0\), establishing their linear independence and confirming they form a fundamental solution set .
The second-order differential equation \(x'' - t^2 x' - tx = 0\) can be expressed as a system of first-order equations: \(\frac{dx}{dt} = y\) and \(\frac{dy}{dt} = tx + t^2 y\). In matrix form, this system is represented as \([x \ y]' = \begin{bmatrix} 0 & 1 \\ t & t^2 \end{bmatrix} [x \ y]\).