Namespaces
Variants
Actions

Difference between revisions of "Transmission, condition of"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
t0938801.png
 +
$#A+1 = 11 n = 0
 +
$#C+1 = 11 : ~/encyclopedia/old_files/data/T093/T.0903880 Transmission, condition of,
 +
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}}
 +
 
''transmission condition''
 
''transmission condition''
  
 
A condition on a [[Pseudo-differential operator|pseudo-differential operator]] on a smooth manifold with boundary that guarantees that functions that after extension by zero remain smooth up to the boundary are taken by these operators to functions that are again smooth up to the boundary. Here the extension by zero is carried out in some neighbourhood of the original manifold, which is regarded as imbedded in a larger manifold without boundary, so that points of the boundary become interior points.
 
A condition on a [[Pseudo-differential operator|pseudo-differential operator]] on a smooth manifold with boundary that guarantees that functions that after extension by zero remain smooth up to the boundary are taken by these operators to functions that are again smooth up to the boundary. Here the extension by zero is carried out in some neighbourhood of the original manifold, which is regarded as imbedded in a larger manifold without boundary, so that points of the boundary become interior points.
  
If the symbol of the given pseudo-differential operator has an asymptotic expansion in positive homogeneous functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938801.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938802.png" /> is the order of homogeneity) in local coordinates in a neighbourhood of the boundary, then the transmission condition can be written in the form of the following condition on the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938803.png" />:
+
If the symbol of the given pseudo-differential operator has an asymptotic expansion in positive homogeneous functions $  a _  \alpha  ( x, \xi ) $(
 +
where $  \alpha $
 +
is the order of homogeneity) in local coordinates in a neighbourhood of the boundary, then the transmission condition can be written in the form of the following condition on the function $  a _  \alpha  $:
  
<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/t/t093/t093880/t0938804.png" /></td> </tr></table>
+
$$
 +
\partial  _ {x}  ^  \gamma  \
 +
\partial  _ {\xi  ^  \prime  }  ^  \beta
 +
[ a _  \alpha  ( x, \xi  ^  \prime  , \xi _ {n} ) -
 +
e ^ {- i \pi \alpha }
 +
a _  \alpha  ( x, - \xi  ^  \prime  , - \xi _ {n} )] \mid  _ {x _ {n}  = 0 , \xi  ^  \prime  = 0 }
 +
= 0,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938805.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938806.png" /> are any multi-indices; the coordinates of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938807.png" /> are chosen in a neighbourhood of a boundary point such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938808.png" /> is the equation of the boundary, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t0938809.png" /> is on the manifold itself; and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t09388010.png" /> are coordinates dual to the coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093880/t09388011.png" />.
+
where $  \gamma $,  
 +
$  \beta $
 +
are any multi-indices; the coordinates of $  x $
 +
are chosen in a neighbourhood of a boundary point such that $  \{ x _ {n} = 0 \} $
 +
is the equation of the boundary, $  x _ {n} \geq  0 $
 +
is on the manifold itself; and $  \xi = ( \xi  ^  \prime  , \xi _ {n} ) $
 +
are coordinates dual to the coordinates $  x = ( x  ^  \prime  , x _ {n} ) $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G.I. Eskin,  "Boundary value problems for elliptic pseudodifferential equations" , Amer. Math. Soc.  (1986)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  L. Boutet de Monvel,  "Boundary problems for pseudo-differential operators"  ''Acta Math.'' , '''126''' :  1/2  (1971)  pp. 11–51</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S. Rempel,  B.-W. Schulze,  "Index theory of elliptic boundary problems" , Akademie Verlag  (1982)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.V. Hörmander,  "The analysis of linear partial differential operators" , '''3''' , Springer  (1985)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  G. Grubb,  "Functional calculus of pseudo-differential boundary problems" , Birkhäuser  (1986)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G.I. Eskin,  "Boundary value problems for elliptic pseudodifferential equations" , Amer. Math. Soc.  (1986)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  L. Boutet de Monvel,  "Boundary problems for pseudo-differential operators"  ''Acta Math.'' , '''126''' :  1/2  (1971)  pp. 11–51</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S. Rempel,  B.-W. Schulze,  "Index theory of elliptic boundary problems" , Akademie Verlag  (1982)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.V. Hörmander,  "The analysis of linear partial differential operators" , '''3''' , Springer  (1985)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  G. Grubb,  "Functional calculus of pseudo-differential boundary problems" , Birkhäuser  (1986)</TD></TR></table>

Revision as of 08:26, 6 June 2020


transmission condition

A condition on a pseudo-differential operator on a smooth manifold with boundary that guarantees that functions that after extension by zero remain smooth up to the boundary are taken by these operators to functions that are again smooth up to the boundary. Here the extension by zero is carried out in some neighbourhood of the original manifold, which is regarded as imbedded in a larger manifold without boundary, so that points of the boundary become interior points.

If the symbol of the given pseudo-differential operator has an asymptotic expansion in positive homogeneous functions $ a _ \alpha ( x, \xi ) $( where $ \alpha $ is the order of homogeneity) in local coordinates in a neighbourhood of the boundary, then the transmission condition can be written in the form of the following condition on the function $ a _ \alpha $:

$$ \partial _ {x} ^ \gamma \ \partial _ {\xi ^ \prime } ^ \beta [ a _ \alpha ( x, \xi ^ \prime , \xi _ {n} ) - e ^ {- i \pi \alpha } a _ \alpha ( x, - \xi ^ \prime , - \xi _ {n} )] \mid _ {x _ {n} = 0 , \xi ^ \prime = 0 } = 0, $$

where $ \gamma $, $ \beta $ are any multi-indices; the coordinates of $ x $ are chosen in a neighbourhood of a boundary point such that $ \{ x _ {n} = 0 \} $ is the equation of the boundary, $ x _ {n} \geq 0 $ is on the manifold itself; and $ \xi = ( \xi ^ \prime , \xi _ {n} ) $ are coordinates dual to the coordinates $ x = ( x ^ \prime , x _ {n} ) $.

References

[1] G.I. Eskin, "Boundary value problems for elliptic pseudodifferential equations" , Amer. Math. Soc. (1986) (Translated from Russian)
[2] L. Boutet de Monvel, "Boundary problems for pseudo-differential operators" Acta Math. , 126 : 1/2 (1971) pp. 11–51
[3] S. Rempel, B.-W. Schulze, "Index theory of elliptic boundary problems" , Akademie Verlag (1982)
[4] L.V. Hörmander, "The analysis of linear partial differential operators" , 3 , Springer (1985)
[5] G. Grubb, "Functional calculus of pseudo-differential boundary problems" , Birkhäuser (1986)
How to Cite This Entry:
Transmission, condition of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Transmission,_condition_of&oldid=14139
This article was adapted from an original article by M.A. Shubin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article