Namespaces
Variants
Actions

Fractional power

From Encyclopedia of Mathematics
Revision as of 19:39, 5 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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