Difference between revisions of "Defining equation"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||
Line 1: | Line 1: | ||
+ | <!-- | ||
+ | d0306401.png | ||
+ | $#A+1 = 34 n = 0 | ||
+ | $#C+1 = 34 : ~/encyclopedia/old_files/data/D030/D.0300640 Defining equation, | ||
+ | Automatically converted into TeX, above some diagnostics. | ||
+ | Please remove this comment and the {{TEX|auto}} line below, | ||
+ | if TeX found to be correct. | ||
+ | --> | ||
+ | |||
+ | {{TEX|auto}} | ||
+ | {{TEX|done}} | ||
+ | |||
''determining equation, characteristic equation'' | ''determining equation, characteristic equation'' | ||
− | An equation associated with a regular singular point | + | An equation associated with a regular singular point $ z = a $ |
+ | of an ordinary linear differential equation | ||
− | + | $$ \tag{1 } | |
+ | p _ {0} ( z) w ^ {(} n) + \dots + p _ {n} ( z) w = 0. | ||
+ | $$ | ||
Let | Let | ||
− | + | $$ | |
+ | p _ {j} ( z) = ( z- a) ^ {n-} j q _ {j} ( z), | ||
+ | $$ | ||
− | where the functions | + | where the functions $ q _ {j} ( z) $ |
+ | are holomorphic at the point $ z= a $ | ||
+ | and $ q _ {0} ( a) \neq 0 $. | ||
+ | The defining equation takes the form: | ||
− | + | $$ \tag{2 } | |
+ | \lambda \dots ( \lambda - n+ 1) q _ {0} ( a) + \dots + \lambda q _ {n-} 1 ( a) | ||
+ | + q _ {n} ( a) = 0. | ||
+ | $$ | ||
− | If the roots | + | If the roots $ \lambda _ {j} $, |
+ | $ 1 \leq j \leq n $, | ||
+ | of equation (2) are such that all differences $ \lambda _ {j} - \lambda _ {k} $, | ||
+ | where $ j \neq k $, | ||
+ | are not integers, then equation (1) has a fundamental system of solutions of the form | ||
− | + | $$ \tag{3 } | |
+ | w _ {j} ( z) = ( z- a) ^ {\lambda _ {j} } \phi _ {j} ( z),\ 1 \leq j \leq n , | ||
+ | $$ | ||
− | where the functions | + | where the functions $ \phi _ {j} ( z) $ |
+ | are holomorphic at $ z= a $. | ||
+ | Otherwise the coefficients $ \phi _ {j} ( z) $ | ||
+ | can be polynomials in $ \mathop{\rm ln} ( z- a) $ | ||
+ | with coefficients holomorphic at $ z= a $. | ||
− | The defining equation for a system of | + | The defining equation for a system of $ n $ |
+ | equations | ||
− | + | $$ \tag{4 } | |
+ | ( z- a) w ^ \prime = A( z) w, | ||
+ | $$ | ||
− | corresponding to the regular singular point | + | corresponding to the regular singular point $ z= a $, |
+ | takes the form | ||
− | + | $$ | |
+ | \mathop{\rm det} \| \lambda I - A( a) \| = 0, | ||
+ | $$ | ||
− | where | + | where $ A( z) $ |
+ | is a matrix-function of order $ n \times n $, | ||
+ | holomorphic at $ z= a $ | ||
+ | and $ A( a) \neq 0 $. | ||
+ | If all differences $ \lambda _ {j} - \lambda _ {k} $, | ||
+ | where $ j \neq k $, | ||
+ | are not integers, where the $ \lambda _ {j} $ | ||
+ | are the eigen values of $ A $, | ||
+ | then the system (4) has a fundamental system of solutions of the form (3), where $ \phi _ {j} ( z) $ | ||
+ | are vector-functions holomorphic at $ z= a $; | ||
+ | otherwise, the vector-functions $ \phi _ {j} ( z) $ | ||
+ | can be polynomials in $ \mathop{\rm ln} ( z- a) $ | ||
+ | with coefficients which are vector-functions holomorphic at $ z= a $. | ||
In another sense, the term "determining equation" is used in research on transformation groups admitted by ordinary partial differential equations (see [[#References|[3]]]). | In another sense, the term "determining equation" is used in research on transformation groups admitted by ordinary partial differential equations (see [[#References|[3]]]). | ||
Line 33: | Line 84: | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> E.A. Coddington, N. Levinson, "Theory of ordinary differential equations" , McGraw-Hill (1955)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> E. Kamke, "Differentialgleichungen: Lösungen und Lösungsmethoden" , '''1. Gewöhnliche Differentialgleichungen''' , Chelsea, reprint (1971)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> L.V. [L.V. Ovsyannikov] Ovsiannikov, "Group analysis of differential equations" , Acad. Press (1982) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> E.A. Coddington, N. Levinson, "Theory of ordinary differential equations" , McGraw-Hill (1955)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> E. Kamke, "Differentialgleichungen: Lösungen und Lösungsmethoden" , '''1. Gewöhnliche Differentialgleichungen''' , Chelsea, reprint (1971)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> L.V. [L.V. Ovsyannikov] Ovsiannikov, "Group analysis of differential equations" , Acad. Press (1982) (Translated from Russian)</TD></TR></table> | ||
− | |||
− | |||
====Comments==== | ====Comments==== | ||
A defining equation is more commonly called an indicial equation. | A defining equation is more commonly called an indicial equation. |
Latest revision as of 17:32, 5 June 2020
determining equation, characteristic equation
An equation associated with a regular singular point $ z = a $ of an ordinary linear differential equation
$$ \tag{1 } p _ {0} ( z) w ^ {(} n) + \dots + p _ {n} ( z) w = 0. $$
Let
$$ p _ {j} ( z) = ( z- a) ^ {n-} j q _ {j} ( z), $$
where the functions $ q _ {j} ( z) $ are holomorphic at the point $ z= a $ and $ q _ {0} ( a) \neq 0 $. The defining equation takes the form:
$$ \tag{2 } \lambda \dots ( \lambda - n+ 1) q _ {0} ( a) + \dots + \lambda q _ {n-} 1 ( a) + q _ {n} ( a) = 0. $$
If the roots $ \lambda _ {j} $, $ 1 \leq j \leq n $, of equation (2) are such that all differences $ \lambda _ {j} - \lambda _ {k} $, where $ j \neq k $, are not integers, then equation (1) has a fundamental system of solutions of the form
$$ \tag{3 } w _ {j} ( z) = ( z- a) ^ {\lambda _ {j} } \phi _ {j} ( z),\ 1 \leq j \leq n , $$
where the functions $ \phi _ {j} ( z) $ are holomorphic at $ z= a $. Otherwise the coefficients $ \phi _ {j} ( z) $ can be polynomials in $ \mathop{\rm ln} ( z- a) $ with coefficients holomorphic at $ z= a $.
The defining equation for a system of $ n $ equations
$$ \tag{4 } ( z- a) w ^ \prime = A( z) w, $$
corresponding to the regular singular point $ z= a $, takes the form
$$ \mathop{\rm det} \| \lambda I - A( a) \| = 0, $$
where $ A( z) $ is a matrix-function of order $ n \times n $, holomorphic at $ z= a $ and $ A( a) \neq 0 $. If all differences $ \lambda _ {j} - \lambda _ {k} $, where $ j \neq k $, are not integers, where the $ \lambda _ {j} $ are the eigen values of $ A $, then the system (4) has a fundamental system of solutions of the form (3), where $ \phi _ {j} ( z) $ are vector-functions holomorphic at $ z= a $; otherwise, the vector-functions $ \phi _ {j} ( z) $ can be polynomials in $ \mathop{\rm ln} ( z- a) $ with coefficients which are vector-functions holomorphic at $ z= a $.
In another sense, the term "determining equation" is used in research on transformation groups admitted by ordinary partial differential equations (see [3]).
References
[1] | E.A. Coddington, N. Levinson, "Theory of ordinary differential equations" , McGraw-Hill (1955) |
[2] | E. Kamke, "Differentialgleichungen: Lösungen und Lösungsmethoden" , 1. Gewöhnliche Differentialgleichungen , Chelsea, reprint (1971) |
[3] | L.V. [L.V. Ovsyannikov] Ovsiannikov, "Group analysis of differential equations" , Acad. Press (1982) (Translated from Russian) |
Comments
A defining equation is more commonly called an indicial equation.
Defining equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Defining_equation&oldid=46604