Namespaces
Variants
Actions

Difference between revisions of "Elliptic partial differential equation"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
Line 1: Line 1:
''at a given point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355201.png" />''
+
<!--
 +
e0355201.png
 +
$#A+1 = 17 n = 0
 +
$#C+1 = 17 : ~/encyclopedia/old_files/data/E035/E.0305520 Elliptic partial differential equation
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A partial differential equation of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355202.png" />,
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355203.png" /></td> </tr></table>
+
''at a given point  $  x $''
  
such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355204.png" /> is a differential operator of order less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355205.png" />, whose characteristic equation at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355206.png" />,
+
A partial differential equation of order $  m $,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355207.png" /></td> </tr></table>
+
$$
 +
\sum a _ {i _ {1}  \dots i _ {n} } ( x)
  
has no real roots except <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355208.png" />.
+
\frac{\partial  ^ {m} u }{\partial  x _ {1} ^ {i _ {1} } \dots
 +
\partial  x _ {r} ^ {i _ {n} } }
 +
+ L _ {1} u  =  f ,\ \
 +
\sum _ { j= } 1 ^ { n }  i _ {j}  =  m ,
 +
$$
 +
 
 +
such that  $  L _ {1} $
 +
is a differential operator of order less than  $  m $,
 +
whose characteristic equation at  $  x $,
 +
 
 +
$$
 +
K ( \lambda _ {1} \dots \lambda _ {n} )  =  \sum a _ {i _ {1}  \dots
 +
i _ {n} } ( x) \lambda _ {1} ^ {i _ {1} } \dots \lambda _ {n} ^ {i _ {n} }  =  0 ,\  \sum _ { j= } 1 ^ { n }  i _ {j}  =  m ,
 +
$$
 +
 
 +
has no real roots except $  \lambda _ {1} = 0 \dots \lambda _ {n} = 0 $.
  
 
For second-order equations the characteristic form is quadratic,
 
For second-order equations the characteristic form is quadratic,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e0355209.png" /></td> </tr></table>
+
$$
 +
Q ( \lambda _ {1} \dots \lambda _ {n} )  = \sum _
 +
{i , j = 1 } ^ { n }  A _ {ij} ( x) \lambda _ {i} \lambda _ {j} ,
 +
$$
  
 
and can be brought to the form
 
and can be brought to the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552010.png" /></td> </tr></table>
+
$$
 +
= \sum _ { i= } 1 ^ { n }  \alpha _ {i} \xi _ {i}  ^ {2}
 +
$$
  
by a non-singular affine transformation of the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552012.png" />.
+
by a non-singular affine transformation of the variables $  \lambda _ {i} = \lambda _ {i} ( \xi _ {1} \dots \xi _ {n} ) $,  
 +
$  i = 1 \dots n $.
  
When all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552013.png" /> or all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552014.png" />, the equation is said to be of elliptic type.
+
When all $  \alpha _ {i} = 1 $
 +
or all $  \alpha _ {i} = - 1 $,  
 +
the equation is said to be of elliptic type.
  
 
A partial differential equation is said to be of elliptic type in its domain of definition if it is elliptic at every point of this domain.
 
A partial differential equation is said to be of elliptic type in its domain of definition if it is elliptic at every point of this domain.
  
An elliptic partial differential is called uniformly elliptic if there are positive numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552015.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552016.png" /> such that
+
An elliptic partial differential is called uniformly elliptic if there are positive numbers $  k _ {0} $
 +
and $  k _ {1} $
 +
such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e035/e035520/e03552017.png" /></td> </tr></table>
+
$$
 +
k _ {0} \sum _ { i= } 1 ^ { n }  \lambda _ {i}  ^ {2}  \leq  Q ( \lambda _ {1} \dots
 +
\lambda _ {n} )  \leq  k _ {1} \sum _ { i= } 1 ^ { n }  \lambda _ {i}  ^ {2} .
 +
$$
  
 
For references see [[Differential equation, partial|Differential equation, partial]].
 
For references see [[Differential equation, partial|Differential equation, partial]].
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L.V. Hörmander,  "The analysis of linear partial differential operators" , '''1''' , Springer  (1983)  {{MR|0717035}} {{MR|0705278}} {{ZBL|0521.35002}} {{ZBL|0521.35001}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L.V. Hörmander,  "The analysis of linear partial differential operators" , '''1''' , Springer  (1983)  {{MR|0717035}} {{MR|0705278}} {{ZBL|0521.35002}} {{ZBL|0521.35001}} </TD></TR></table>

Revision as of 19:37, 5 June 2020


at a given point $ x $

A partial differential equation of order $ m $,

$$ \sum a _ {i _ {1} \dots i _ {n} } ( x) \frac{\partial ^ {m} u }{\partial x _ {1} ^ {i _ {1} } \dots \partial x _ {r} ^ {i _ {n} } } + L _ {1} u = f ,\ \ \sum _ { j= } 1 ^ { n } i _ {j} = m , $$

such that $ L _ {1} $ is a differential operator of order less than $ m $, whose characteristic equation at $ x $,

$$ K ( \lambda _ {1} \dots \lambda _ {n} ) = \sum a _ {i _ {1} \dots i _ {n} } ( x) \lambda _ {1} ^ {i _ {1} } \dots \lambda _ {n} ^ {i _ {n} } = 0 ,\ \sum _ { j= } 1 ^ { n } i _ {j} = m , $$

has no real roots except $ \lambda _ {1} = 0 \dots \lambda _ {n} = 0 $.

For second-order equations the characteristic form is quadratic,

$$ Q ( \lambda _ {1} \dots \lambda _ {n} ) = \sum _ {i , j = 1 } ^ { n } A _ {ij} ( x) \lambda _ {i} \lambda _ {j} , $$

and can be brought to the form

$$ Q = \sum _ { i= } 1 ^ { n } \alpha _ {i} \xi _ {i} ^ {2} $$

by a non-singular affine transformation of the variables $ \lambda _ {i} = \lambda _ {i} ( \xi _ {1} \dots \xi _ {n} ) $, $ i = 1 \dots n $.

When all $ \alpha _ {i} = 1 $ or all $ \alpha _ {i} = - 1 $, the equation is said to be of elliptic type.

A partial differential equation is said to be of elliptic type in its domain of definition if it is elliptic at every point of this domain.

An elliptic partial differential is called uniformly elliptic if there are positive numbers $ k _ {0} $ and $ k _ {1} $ such that

$$ k _ {0} \sum _ { i= } 1 ^ { n } \lambda _ {i} ^ {2} \leq Q ( \lambda _ {1} \dots \lambda _ {n} ) \leq k _ {1} \sum _ { i= } 1 ^ { n } \lambda _ {i} ^ {2} . $$

For references see Differential equation, partial.

Comments

References

[a1] L.V. Hörmander, "The analysis of linear partial differential operators" , 1 , Springer (1983) MR0717035 MR0705278 Zbl 0521.35002 Zbl 0521.35001
How to Cite This Entry:
Elliptic partial differential equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Elliptic_partial_differential_equation&oldid=46815
This article was adapted from an original article by A.B. Ivanov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article