Characteristic equation (calculus)

Characteristic equation (calculus)

In mathematics, the characteristic equation (or auxiliary equation[1]) is an algebraic equation of degree  n \, on which depends the solutions of a given  n \, th-order differential equation.[2] The characteristic equation can only be formed when the differential equation is linear, homogeneous, and has constant coefficients.[1] Such a differential equation, with y \, as the dependent variable and a_{n}, a_{n-1}, \ldots , a_{1}, a_{0} as constants,

a_{n}y^{(n)} + a_{n-1}y^{(n-1)} + \cdots + a_{1}y' + a_{0}y = 0

will have a characteristic equation of the form

a_{n}r^{n} + a_{n-1}r^{n-1} + \cdots + a_{1}r + a_{0} = 0

where r^{n}, r^{n-1}, \ldots ,r are the roots from which the general solution can be formed.[1][3][4] This method of integrating linear ordinary differential equations with constant coefficients was discovered by Leonhard Euler, who found that the solutions depended on an algebraic 'characteristic' equation.[2] The qualities of the Euler's characteristic equation were later considered in greater detail by French mathematicians Augustin-Louis Cauchy and Gaspard Monge.[2][4]

Contents

Derivation

Starting with a linear homogeneous differential equation with constant coefficients a_{n}, a_{n-1}, \ldots , a_{1}, a_{0},

a_{n}y^{(n)} + a_{n-1}y^{(n-1)} + \cdots + a_{1}y^' + a_{0}y = 0

it can be seen that if y(x) = e^{rx} \, , each term would be a constant multiple of  e^{rx} \, . This results from the fact that the derivative of the exponential function  e^{rx} \, is a multiple of itself. Therefore, y' = re^{rx} \, , y'' = r^{2}e^{rx} \, , and y^{(n)} = r^{n}e^{rx} \, are all multiples. This suggests that certain values of  r \, will allow multiples of  e^{rx} \, to sum to zero, thus solving the homogeneous differential equation.[3] In order to solve for  r \, , one can substitute y = e^{rx} \, and its derivatives into the differential equation to get

a_{n}r^{n}e^{rx} + a_{n-1}r^{n-1}e^{rx} + \cdots + a_{1}re^{rx} + a_{0}e^{rx} = 0

Since  e^{rx} \, can never equate to zero, it can be divided out, giving the characteristic equation

a_{n}r^{n} + a_{n-1}r^{n-1} + \cdots + a_{1}r + a_{0} = 0

By solving for the roots,  r \, , in this characteristic equation, one can find the general solution to the differential equation.[1][4] For example, if  r \, is found to equal to 3, then the general solution will be y(x) = ce^{3x} \, , where  c \, is a constant.

Formation of the general solution

Example

The linear homogeneous differential equation with constant coefficients

 y^{(5)} + y^{(4)} - 4y^{(3)} - 16y'' -20y' - 12y = 0 \,

has the characteristic equation

 r^{5} + r^{4} - 4r^{3} - 16r^{2} -20r - 12 = 0 \,

By factoring the characteristic equation into

 (r - 3)(r^{2} + 2r + 2)^{2} = 0 \,

one can see that the solutions for  r \, are the distinct single root  r_{1} = 3 \, and the double complex root  r_{2,3,4,5} = -1 \pm i . This corresponds to the real-valued general solution with constants  c_{1} , \ldots , c_{5} of

 y(x) = c_{1}e^{3x} + e^{-x}(c_{2} \cos x + c_{3} \sin x) + xe^{-x}(c_{4} \cos x + c_{5} \sin x) \,

Solving the characteristic equation for its roots,  r_{1}, \ldots , r_{n} , allows one to find the general solution of the differential equation. The roots may be real and/or complex, as well as distinct and/or repeated. If a characteristic equation has parts with distinct real roots,  h \, repeated roots, and/or  k \, complex roots corresponding to general solutions of y_{D}(x) \, , y_{R_{1}}(x), \ldots , y_{R_{h}}(x) , and y_{C_{1}}(x), \ldots , y_{C_{k}}(x) , respectively, then the general solution to the differential equation is

 y(x) = y_{D}(x) + y_{R_{1}}(x) + \cdots + y_{R_{h}}(x) + y_{C_{1}}(x) + \cdots + y_{C_{k}}(x)

Distinct real roots

The superposition principle for linear homogeneous differential equations with constant coefficients says that if  u_{1}, \ldots , u_{n} are  n \, linearly independent solutions to a particular differential equation, then  c_{1}u_{1} + \cdots + c_{n}u_{n} is also a solution for all values  c_{1}, \ldots , c_{n}.[1][5] Therefore, if the characteristic equation has distinct real roots  r_{1}, \ldots , r_{n} , then a general solution will be of the form

 y_{D}(x) = c_{1}e^{r_{1}x} + c_{2}e^{r_{2}x} + \cdots + c_{n}e^{r_{n}x}

Repeated real roots

If the characteristic equation has a root r_{1} \, that is repeated  k \, times, then it is clear that  y_{p}(x) = c_{1}e^{r_{1}x} is at least one solution.[1] However, this solution lacks linearly independent solutions from the other  k - 1 \, roots. Since r_{1} \, has multiplicity  k \, , the differential equation can be factored into[1]

 \left ( \frac{d}{dx} - r_{1} \right )^{k}y = 0

The fact that  y_{p}(x) = c_{1}e^{r_{1}x} is one solution allows one to presume that the general solution may be of the form  y(x) = u(x)e^{r_{1}x} \, , where  u(x) \, is a function to be determined. Substituting  ue^{r_{1}x} \, gives

 \left ( \frac{d}{dx} - r_{1} \right ) ue^{r_{1}x} = \frac{d}{dx}(ue^{r_{1}x}) - r_{1}ue^{r_{1}x} = \frac{d}{dx}(u)e^{r_{1}x} + r_{1}ue^{r_{1}x}- r_{1}ue^{r_{1}x} = \frac{d}{dx}(u)e^{r_{1}x}

when  k = 1 \, . By applying this fact  k \, times, it follows that

 \left ( \frac{d}{dx} - r_{1} \right )^{k} ue^{r_{1}x} = \frac{d^{k}}{dx^{k}}(u)e^{r_{1}x} = 0

By dividing out  e^{r_{1}x} \, , it can be seen that

 \frac{d^{k}}{dx^{k}}(u) = u^{(k)} = 0

However, this is the case if and only if  u(x) \, is a polynomial of degree  k \, , so that  u(x) = c_{1} + c_{2}x + c_{3}x^2 + \cdots + c_{k}x^{k-1} .[4] Since  y(x) = ue^{r_{1}x} \, , the part of the general solution corresponding to r1 is

 y_{R}(x) = e^{r_{1}x}(c_{1} + c_{2}x + \cdots + c_{k}x^{k-1})

Complex roots

If the characteristic equation has complex roots of the form r1 = a + bi and r2 = abi, then the general solution is accordingly  y(x) = c_{1}e^{(a + bi)x} + c_{2}e^{(a - bi)x} \, . However, by Euler's formula, which states that  e^{i \theta } = \cos \theta + i \sin \theta \,, this solution can be rewritten as follows:

 y(x) = c_{1}e^{(a + bi)x} + c_{2}e^{(a - bi)x} = c_{1}e^{ax}(\cos bx + i \sin bx) + c_{2}e^{ax}( \cos bx - i \sin bx ) = (c_{1} + c_{2})e^{ax} \cos bx + i(c_{1} - c_{2})e^{ax} \sin bx \,

where  c_{1} \, and  c_{2} \, are constants that can be complex.[4] Note that if  c_{1} = c_{2} = \tfrac{1}{2} , then the particular solution  y_{1}(x) = e^{ax} \cos bx \, is formed. Similarly, if  c_{1} = \tfrac{1}{2}i and  c_{2} = - \tfrac{1}{2}i , then the independent solution formed is  y_{2}(x) = e^{ax} \sin bx \, . Thus by the superposition principle for linear homogeneous differential equations with constant coefficients, the following general solution results for the part of a differential equation having complex roots  r = a \pm bi \,

 y_{C}(x) = e^{ax}(c_{1} \cos bx +c_{2} \sin bx ) \,

References

  1. ^ a b c d e f g Edwards, C. Henry; David E. Penney. "3". Differential Equations: Computing and Modeling. David Calvis. Upper Saddle River, New Jersey: Pearson Education. pp. 156–170. ISBN 978-0-13-600438-7. 
  2. ^ a b c Smith, David Eugene. "History of Modern Mathematics: Differential Equations". University of South Florida. http://etc.usf.edu/lit2go/contents/2800/2892/2892_txt.html. Retrieved 2 March 2011. 
  3. ^ a b Chu, Herman; Gaurav Shah, Tom Macall. "Linear Homogeneous Ordinary Differential Equations with Constant Coefficients". eFunda. http://www.efunda.com/math/ode/linearode_consthomo.cfm. Retrieved 1 March 2011. 
  4. ^ a b c d e Cohen, Abraham (1906). An Elementary Treatise on Differential Equations. D. C. Heath and Company. 
  5. ^ Dawkins, Paul. "Differential Equation Terminology". Paul's Online Math Notes. http://tutorial.math.lamar.edu/Classes/DE/PDETerminology.aspx. Retrieved 2 March 2011. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Characteristic equation — may refer to: Characteristic equation (calculus), used to solve linear differential equations Characteristic equation, a characteristic polynomial equation in linear algebra used to find eigenvalues Characteristic equation, a polynomial used to… …   Wikipedia

  • Équation caractéristique — En mathématiques, l’équation caractéristique (ou équation auxiliaire[1]) est une équation polynomiale de degré n dont dépend la solution[2] d une équation différentielle d ordre n. L équation caractéristique ne peut être formée que lorsque l… …   Wikipédia en Français

  • Calculus of variations — is a field of mathematics that deals with extremizing functionals, as opposed to ordinary calculus which deals with functions. A functional is usually a mapping from a set of functions to the real numbers. Functionals are often formed as definite …   Wikipedia

  • Differential equation — Not to be confused with Difference equation. Visualization of heat transfer in a pump casing, created by solving the heat equation. Heat is being generated internally in the casing and being cooled at the boundary, providing a steady state… …   Wikipedia

  • Partial differential equation — A visualisation of a solution to the heat equation on a two dimensional plane In mathematics, partial differential equations (PDE) are a type of differential equation, i.e., a relation involving an unknown function (or functions) of several… …   Wikipedia

  • First order partial differential equation — In mathematics, a first order partial differential equation is a partial differential equation that involves only first derivatives of the unknown function of n variables. The equation takes the form: F(x 1,ldots,x n,u,u {x 1},ldots u {x n}) =0 …   Wikipedia

  • Hamilton–Jacobi equation — In physics, the Hamilton–Jacobi equation (HJE) is a reformulation of classical mechanics and, thus, equivalent to other formulations such as Newton s laws of motion, Lagrangian mechanics and Hamiltonian mechanics. The Hamilton–Jacobi equation is… …   Wikipedia

  • Holomorphic functional calculus — In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function fnof; of a complex argument z and an operator T , the aim is to construct an operator:f(T),which in a… …   Wikipedia

  • Ordinary differential equation — In mathematics, an ordinary differential equation (or ODE) is a relation that contains functions of only one independent variable, and one or more of their derivatives with respect to that variable. A simple example is Newton s second law of… …   Wikipedia

  • Exponential equation — Exponential Ex po*nen tial, a. [Cf. F. exponentiel.] 1. Pertaining to exponents; involving variable exponents; as, an exponential expression; exponential calculus; an exponential function. [1913 Webster] 2. changing over time in an exponential… …   The Collaborative International Dictionary of English

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”