Namespaces
Variants
Actions

Difference between revisions of "Fractional power"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
''of a linear operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412701.png" /> on a complex Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412702.png" />''
+
<!--
 +
f0412701.png
 +
$#A+1 = 78 n = 0
 +
$#C+1 = 78 : ~/encyclopedia/old_files/data/F041/F.0401270 Fractional power
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412703.png" /> of this operator such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412704.png" />. If the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412705.png" /> is bounded and its spectrum does not contain zero and does not surround it, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412706.png" /> is defined by a [[Cauchy integral|Cauchy integral]] along a contour around the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412707.png" /> not containing zero. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412708.png" /> is unbounded, the contour has to be taken infinite, and problems on the convergence of the integral arise. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f0412709.png" /> has a domain of definition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127010.png" /> which is dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127011.png" />, and has for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127012.png" /> a resolvent
+
{{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/f/f041/f041270/f04127013.png" /></td> </tr></table>
+
''of a linear operator  $  A $
 +
on a complex Banach space  $  E $''
 +
 
 +
A function  $  f ( A) $
 +
of this operator such that  $  f ( z) = z  ^  \alpha  $.  
 +
If the operator  $  A $
 +
is bounded and its spectrum does not contain zero and does not surround it,  $  A  ^  \alpha  $
 +
is defined by a [[Cauchy integral|Cauchy integral]] along a contour around the spectrum of  $  A $
 +
not containing zero. If  $  A $
 +
is unbounded, the contour has to be taken infinite, and problems on the convergence of the integral arise. If  $  A $
 +
has a domain of definition  $  D ( A) $
 +
which is dense in  $  E $,
 +
and has for  $  \lambda < 0 $
 +
a resolvent
 +
 
 +
$$
 +
R ( \lambda , A )  =  ( A - \lambda I )  ^ {-} 1
 +
$$
  
 
satisfying the estimate
 
satisfying the estimate
  
<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/f/f041/f041270/f04127014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
$$ \tag{1 }
 +
\| R ( - s , A ) \|  \leq  M ( 1 + s ) ^ {-} 1 ,\  s > 0 ,
 +
$$
  
 
then
 
then
  
<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/f/f041/f041270/f04127015.png" /></td> </tr></table>
+
$$
 +
A ^ {- \alpha }  =
 +
\frac{1}{2 \pi i }
 +
\int\limits _  \Gamma  \lambda ^ {-
 +
\alpha } R ( \lambda , A )  d \lambda ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127016.png" /> consists of the sides of an angle depending on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127017.png" />. The operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127018.png" /> are bounded and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127019.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127020.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127021.png" />. Positive powers are defined as follows: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127022.png" />; they are unbounded. For any real <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127023.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127024.png" /> the following fundamental property of powers holds:
+
where $  \Gamma $
 +
consists of the sides of an angle depending on $  M $.  
 +
The operators $  A ^ {- \alpha } $
 +
are bounded and $  A ^ {- \alpha } x \rightarrow x $
 +
for any $  x \in E $
 +
as $  \alpha \rightarrow 0 $.  
 +
Positive powers are defined as follows: $  A  ^  \alpha  = ( A ^ {- \alpha } )  ^ {-} 1 $;  
 +
they are unbounded. For any real $  \alpha $
 +
and $  \beta $
 +
the following fundamental property of powers holds:
  
<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/f/f041/f041270/f04127025.png" /></td> </tr></table>
+
$$
 +
A  ^  \alpha  A  ^  \beta  x  = A  ^  \beta  A  ^  \alpha  x  = A ^ {
 +
\alpha + \beta } x
 +
$$
  
for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127027.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127029.png" />. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127031.png" />,
+
for $  x \in D ( A  ^  \gamma  ) $
 +
and $  \gamma = \max \{ \alpha , \beta , \alpha + \beta \} $.  
 +
If $  0 < \alpha < 1 $,  
 +
$  ( A  ^  \alpha  )  ^  \beta  = A ^ {\alpha \beta } $.  
 +
For any $  \alpha < \beta < \gamma $
 +
and $  x \in D ( A  ^  \gamma  ) $,
  
<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/f/f041/f041270/f04127032.png" /></td> </tr></table>
+
$$
 +
\| A  ^  \beta  x \|  \leq  C ( \alpha , \beta , \gamma ) \| A  ^  \alpha  x \| ^ {( \gamma - \beta ) / ( \gamma - \alpha ) } \| A  ^  \gamma  x \| ^ {( \beta - \alpha ) / ( \gamma - \alpha ) }
 +
$$
  
(inequality of moments). The power semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127033.png" /> permits extension to the semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127034.png" /> which is analytic in the right half-plane.
+
(inequality of moments). The power semi-group $  A ^ {- \alpha } $
 +
permits extension to the semi-group $  A  ^ {-} z $
 +
which is analytic in the right half-plane.
  
The above properties are extended to include the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127035.png" /> has no bounded inverse and when the estimate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127036.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127037.png" />, holds. If condition (1) is met and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127038.png" />, then
+
The above properties are extended to include the case when $  A $
 +
has no bounded inverse and when the estimate $  \| R ( - s , A ) \| \leq  M s  ^ {-} 1 $,
 +
$  s > 0 $,  
 +
holds. If condition (1) is met and if $  0 < \alpha < 1 $,  
 +
then
  
<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/f/f041/f041270/f04127039.png" /></td> </tr></table>
+
$$
 +
A ^ {- \alpha }  =
 +
\frac{\sin  \alpha \pi } \pi
 +
\int\limits _ { 0 } ^  \infty  s ^ {- \alpha } R ( - s , A )  d s .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127040.png" /> is the infinitesimal operator of a contraction semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127041.png" />, then
+
If $  B $
 +
is the infinitesimal operator of a contraction semi-group $  U ( t) $,  
 +
then
  
<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/f/f041/f041270/f04127042.png" /></td> </tr></table>
+
$$
 +
( - B ) ^ {- \alpha }  =
 +
\frac{1}{\Gamma ( \alpha ) }
 +
\int\limits _ { 0 } ^  \infty  t ^ {\alpha - 1 } U ( t)  d t .
 +
$$
  
It does not follow from condition (1) that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127043.png" /> is the infinitesimal operator of a strongly-continuous semi-group, but the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127044.png" /> is the infinitesimal operator of an analytic semi-group if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127045.png" />.
+
It does not follow from condition (1) that $  - A $
 +
is the infinitesimal operator of a strongly-continuous semi-group, but the operator $  - A  ^  \alpha  $
 +
is the infinitesimal operator of an analytic semi-group if $  \alpha \leq  1/2 $.
  
An operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127046.png" /> is dominated by an operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127047.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127048.png" /> and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127050.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127051.png" /> is dominated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127052.png" /> and if the resolvents of both operators have the property (1), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127053.png" /> is dominated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127054.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127055.png" />.
+
An operator $  B $
 +
is dominated by an operator $  A $
 +
if $  D ( B) \supset D ( A) $
 +
and if $  \| Bx \| \leq  c  \| Ax \| $,  
 +
$  x \in D ( A) $.  
 +
If $  B $
 +
is dominated by $  A $
 +
and if the resolvents of both operators have the property (1), then $  B  ^  \alpha  $
 +
is dominated by $  A  ^  \beta  $
 +
if  $  0 \leq  \alpha < \beta \leq  1 $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127056.png" /> is a positive self-adjoint operator on a Hilbert space, its fractional power is defined by the spectral decomposition (cf. [[Spectral decomposition of a linear operator|Spectral decomposition of a linear operator]]):
+
If $  A $
 +
is a positive self-adjoint operator on a Hilbert space, its fractional power is defined by the spectral decomposition (cf. [[Spectral decomposition of a linear operator|Spectral decomposition of a linear operator]]):
  
<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/f/f041/f041270/f04127057.png" /></td> </tr></table>
+
$$
 +
A  ^  \alpha  = \int\limits _ { 0 } ^  \infty  \lambda  ^  \alpha  d E _  \lambda  .
 +
$$
  
In the inequality of moments, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127058.png" /> for such an operator. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127059.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127060.png" /> be two positive self-adjoint operators, acting on Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127061.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127062.png" />, respectively. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127063.png" /> is a bounded linear operator from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127064.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127065.png" /> with norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127066.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127067.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127068.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127069.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127070.png" /> and
+
In the inequality of moments, $  c ( \alpha , \beta , \gamma ) = 1 $
 +
for such an operator. Let $  A $
 +
and $  B $
 +
be two positive self-adjoint operators, acting on Hilbert spaces $  H $
 +
and $  H _ {1} $,  
 +
respectively. If $  T $
 +
is a bounded linear operator from $  H $
 +
to $  H _ {1} $
 +
with norm $  M $
 +
such that $  T D ( A) \subset  D ( B) $
 +
and $  \| B T x \| \leq  M _ {1} \| A x \| $,  
 +
$  x \in D ( A) $,  
 +
then $  T D ( A  ^  \alpha  ) \subset  D ( B  ^  \alpha  ) $
 +
and
  
<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/f/f041/f041270/f04127071.png" /></td> </tr></table>
+
$$
 +
\| B  ^  \alpha  T x \|  \leq  M ^ {1 - \alpha } M _ {1}  ^  \alpha
 +
\| A  ^  \alpha  x \| ,\  0 \leq  \alpha \leq  1
 +
$$
  
(Heinz's inequality). In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127072.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127073.png" />, the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127074.png" /> is dominated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127075.png" /> implies that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127076.png" /> is dominated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127077.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041270/f04127078.png" />. Fractional powers of operators are employed in the study of non-linear equations. They have been studied in detail for operators generated by elliptic boundary value problems.
+
(Heinz's inequality). In particular, if $  H = H _ {1} $
 +
and $  T = I $,  
 +
the fact that $  B $
 +
is dominated by $  A $
 +
implies that $  B  ^  \alpha  $
 +
is dominated by $  A  ^  \alpha  $
 +
if 0 \leq  \alpha \leq  1 $.  
 +
Fractional powers of operators are employed in the study of non-linear equations. They have been studied in detail for operators generated by elliptic boundary value problems.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  S.G. Krein (ed.) , ''Functional analysis'' , Wolters-Noordhoff  (1972)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S.G. Krein,  "Linear differential equations in Banach space" , ''Transl. Math. Monogr.'' , '''29''' , Amer. Math. Soc.  (1971)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  R.T. Seeley,  "Complex powers of elliptic operators" , ''Proc. Symp. Pure Math.'' , '''10''' , Amer. Math. Soc.  (1967)  pp. 288–307</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  S.G. Krein (ed.) , ''Functional analysis'' , Wolters-Noordhoff  (1972)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S.G. Krein,  "Linear differential equations in Banach space" , ''Transl. Math. Monogr.'' , '''29''' , Amer. Math. Soc.  (1971)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  R.T. Seeley,  "Complex powers of elliptic operators" , ''Proc. Symp. Pure Math.'' , '''10''' , Amer. Math. Soc.  (1967)  pp. 288–307</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Hille,  R.S. Phillips,  "Functional analysis and semi-groups" , Amer. Math. Soc.  (1957)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Hille,  R.S. Phillips,  "Functional analysis and semi-groups" , Amer. Math. Soc.  (1957)</TD></TR></table>

Latest revision as of 19:39, 5 June 2020


of a linear operator $ A $ on a complex Banach space $ E $

A function $ f ( A) $ of this operator such that $ f ( z) = z ^ \alpha $. If the operator $ A $ is bounded and its spectrum does not contain zero and does not surround it, $ A ^ \alpha $ is defined by a Cauchy integral along a contour around the spectrum of $ A $ not containing zero. If $ A $ is unbounded, the contour has to be taken infinite, and problems on the convergence of the integral arise. If $ A $ has a domain of definition $ D ( A) $ which is dense in $ E $, and has for $ \lambda < 0 $ a resolvent

$$ R ( \lambda , A ) = ( A - \lambda I ) ^ {-} 1 $$

satisfying the estimate

$$ \tag{1 } \| R ( - s , A ) \| \leq M ( 1 + s ) ^ {-} 1 ,\ s > 0 , $$

then

$$ A ^ {- \alpha } = \frac{1}{2 \pi i } \int\limits _ \Gamma \lambda ^ {- \alpha } R ( \lambda , A ) d \lambda , $$

where $ \Gamma $ consists of the sides of an angle depending on $ M $. The operators $ A ^ {- \alpha } $ are bounded and $ A ^ {- \alpha } x \rightarrow x $ for any $ x \in E $ as $ \alpha \rightarrow 0 $. Positive powers are defined as follows: $ A ^ \alpha = ( A ^ {- \alpha } ) ^ {-} 1 $; they are unbounded. For any real $ \alpha $ and $ \beta $ the following fundamental property of powers holds:

$$ A ^ \alpha A ^ \beta x = A ^ \beta A ^ \alpha x = A ^ { \alpha + \beta } x $$

for $ x \in D ( A ^ \gamma ) $ and $ \gamma = \max \{ \alpha , \beta , \alpha + \beta \} $. If $ 0 < \alpha < 1 $, $ ( A ^ \alpha ) ^ \beta = A ^ {\alpha \beta } $. For any $ \alpha < \beta < \gamma $ and $ x \in D ( A ^ \gamma ) $,

$$ \| A ^ \beta x \| \leq C ( \alpha , \beta , \gamma ) \| A ^ \alpha x \| ^ {( \gamma - \beta ) / ( \gamma - \alpha ) } \| A ^ \gamma x \| ^ {( \beta - \alpha ) / ( \gamma - \alpha ) } $$

(inequality of moments). The power semi-group $ A ^ {- \alpha } $ permits extension to the semi-group $ A ^ {-} z $ which is analytic in the right half-plane.

The above properties are extended to include the case when $ A $ has no bounded inverse and when the estimate $ \| R ( - s , A ) \| \leq M s ^ {-} 1 $, $ s > 0 $, holds. If condition (1) is met and if $ 0 < \alpha < 1 $, then

$$ A ^ {- \alpha } = \frac{\sin \alpha \pi } \pi \int\limits _ { 0 } ^ \infty s ^ {- \alpha } R ( - s , A ) d s . $$

If $ B $ is the infinitesimal operator of a contraction semi-group $ U ( t) $, then

$$ ( - B ) ^ {- \alpha } = \frac{1}{\Gamma ( \alpha ) } \int\limits _ { 0 } ^ \infty t ^ {\alpha - 1 } U ( t) d t . $$

It does not follow from condition (1) that $ - A $ is the infinitesimal operator of a strongly-continuous semi-group, but the operator $ - A ^ \alpha $ is the infinitesimal operator of an analytic semi-group if $ \alpha \leq 1/2 $.

An operator $ B $ is dominated by an operator $ A $ if $ D ( B) \supset D ( A) $ and if $ \| Bx \| \leq c \| Ax \| $, $ x \in D ( A) $. If $ B $ is dominated by $ A $ and if the resolvents of both operators have the property (1), then $ B ^ \alpha $ is dominated by $ A ^ \beta $ if $ 0 \leq \alpha < \beta \leq 1 $.

If $ A $ is a positive self-adjoint operator on a Hilbert space, its fractional power is defined by the spectral decomposition (cf. Spectral decomposition of a linear operator):

$$ A ^ \alpha = \int\limits _ { 0 } ^ \infty \lambda ^ \alpha d E _ \lambda . $$

In the inequality of moments, $ c ( \alpha , \beta , \gamma ) = 1 $ for such an operator. Let $ A $ and $ B $ be two positive self-adjoint operators, acting on Hilbert spaces $ H $ and $ H _ {1} $, respectively. If $ T $ is a bounded linear operator from $ H $ to $ H _ {1} $ with norm $ M $ such that $ T D ( A) \subset D ( B) $ and $ \| B T x \| \leq M _ {1} \| A x \| $, $ x \in D ( A) $, then $ T D ( A ^ \alpha ) \subset D ( B ^ \alpha ) $ and

$$ \| B ^ \alpha T x \| \leq M ^ {1 - \alpha } M _ {1} ^ \alpha \| A ^ \alpha x \| ,\ 0 \leq \alpha \leq 1 $$

(Heinz's inequality). In particular, if $ H = H _ {1} $ and $ T = I $, the fact that $ B $ is dominated by $ A $ implies that $ B ^ \alpha $ is dominated by $ A ^ \alpha $ if $ 0 \leq \alpha \leq 1 $. Fractional powers of operators are employed in the study of non-linear equations. They have been studied in detail for operators generated by elliptic boundary value problems.

References

[1] S.G. Krein (ed.) , Functional analysis , Wolters-Noordhoff (1972) (Translated from Russian)
[2] S.G. Krein, "Linear differential equations in Banach space" , Transl. Math. Monogr. , 29 , Amer. Math. Soc. (1971) (Translated from Russian)
[3] R.T. Seeley, "Complex powers of elliptic operators" , Proc. Symp. Pure Math. , 10 , Amer. Math. Soc. (1967) pp. 288–307

Comments

References

[a1] E. Hille, R.S. Phillips, "Functional analysis and semi-groups" , Amer. Math. Soc. (1957)
How to Cite This Entry:
Fractional power. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fractional_power&oldid=46970
This article was adapted from an original article by S.G. Krein (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article