Abstract evolution equation
Usually, a differential equation
in a Banach space (cf. also Qualitative theory of differential equations in Banach spaces). Here, is the infinitesimal generator of a -semi-group for each (cf. also Semi-group; Strongly-continuous semi-group) and the given (known) function is usually a strongly continuous function with values in . The first systematic study of this type of equations was made by T. Kato [a4]. Under the assumptions
i) the domain of is dense in and is independent of ;
ii) generates a contraction semi-group for each ;
iii) the bounded operator-valued function is continuously differentiable he constructed the fundamental solution (or evolution operator) , . He required this fundamental solution to be a bounded operator-valued function with the following properties:
a) is strongly continuous in ;
b) for ;
c) for ;
d) a solution of (a1) satisfying the initial condition
if it exists, can be expressed as
e) if and or ), then (a3) is the unique solution of (a1), (a2). Since Kato's paper, efforts have been made to relax the restrictions, especially the independence of the domain of and the semi-group generated by being a contraction. Typical general results are the following.
"Parabolic" means that the semi-group generated by is analytic for each . In this case the domain of is not supposed to be dense. Consequently, property b) should be replaced by
I) there exist an angle and a positive constant such that:
i) (the resolvent set of ) contains the set , ;
ii) , , ;
II) there exist a constant and a set of real numbers with , , such that
Then the fundamental solution exists, is differentiable in and there exists a constant such that
If and is Hölder continuous (cf. also Hölder condition), i.e. for some constant ,
then the function (a3) is the unique solution of the initial-value problem (a1), (a2) in the following sense: , for , , (a1) holds for and (a2) holds. A solution in this sense is usually called a classical solution. If, moreover, and , then , for , and (a1) holds in . Such a solution is usually called a strict solution.
The above result can be applied to initial-boundary value problems for parabolic partial differential equations (cf. also Parabolic partial differential equation). The study of non-linear equations is also extensive. For details, see [a3], [a10].
Here, equations of hyperbolic type are written as
conforming to the notations of the papers quoted below, so that generates a -semi-group. A general result on this class of equations was first established by Kato [a5], (and extended in [a6]), by K. Kobayashi and N. Sanekata [a8], and by A. Yagi [a11] and others. A typical general result is as follows. Suppose that is dense in . Let be another Banach space embedded continuously and densely in , and let be an isomorphism of onto . Suppose that
A) is stable with stability constants , , i.e. , , and for every finite sequence and the following inequality holds:
where the product is time ordered, i.e. a factor with a larger stands to the left of all those with smaller ;
B) there is a family of bounded linear operators in such that is strongly measurable in , , and
with exact domain relation;
C) , , and is strongly continuous from to , i.e. to the set of bounded linear operators on to . Then there exists a unique evolution operator , , having the following properties:
is strongly continuous from to with
for certain constants and ;
for each , and
For and , the function defined by (a3) belongs to and is the unique solution of (a4), (a2).
For equations in Hilbert spaces, N. Okazawa [a9] obtained a related result which is convenient in applications to concrete problems.
Hyperbolic quasi-linear equations
have also been extensively studied. Especially deep research was carried out by Kato (see [a7] and the bibliography there). The assumption with the most distinctive feature in [a7] is the intertwining condition
where is considered to be a perturbation of by a bounded operator in some sense and is a closed linear operator from to a third Banach space such that (see [a7] for the details). The result can be applied to a system of quasi-linear partial differential equations
where the unknown is a function from into , and are simultaneously diagonalizable -matrix valued functions.
|[a1]||P. Acquistapace, B. Terreni, "On fundamental solutions for abstract parabolic equations" A. Favini (ed.) E. Obrecht (ed.) , Differential equations in Banach spaces, Bologna, 1985 , Lecture Notes Math. , 1223 , Springer (1986) pp. 1–11|
|[a2]||P. Acquistapace, B. Terreni, "A unified approach to abstract linear non-autonomous parabolic equations" Rend. Sem. Univ. Padova , 78 (1987) pp. 47–107|
|[a3]||H. Amann, "Linear and quasilinear parabolic problems I: Abstract linear theory" , Monogr. Math. , 89 , Birkhäuser (1995)|
|[a4]||T. Kato, "Integration of the equation of evolution in a Banach space" J. Math. Soc. Japan , 5 (1953) pp. 208–234|
|[a5]||T. Kato, "Linear evolution equations of `hyperbolic' type" J. Fac. Sci. Univ. Tokyo , 17 (1970) pp. 241–258|
|[a6]||T. Kato, "Linear evolution equations of `hyperbolic' type II" J. Math. Soc. Japan , 25 (1973) pp. 648–666|
|[a7]||T. Kato, "Abstract evolution equations, linear and quasilinear, revisited" H. Komatsu (ed.) , Functional Analysis and Related Topics, 1991 , Lecture Notes Math. , 1540 , Springer (1993) pp. 103–125|
|[a8]||K. Kobayashi, N. Sanekata, "A method of iterations for quasi-linear evolution equations in nonreflexive Banach spaces" Hiroshima Math. J. , 19 (1989) pp. 521–540|
|[a9]||N. Okazawa, "Remarks on linear evolution equations of hyperbolic type in Hilbert space" Adv. Math. Sci. Appl. , 8 (1998) pp. 399–423|
|[a10]||A. Lunardi, "Analytic semigroups and optimal regularity in parabolic problems" , Progress in Nonlinear Diff. Eqns. Appl. , 16 , Birkhäuser (1995)|
|[a11]||A. Yagi, "Remarks on proof of a theorem of Kato and Kobayashi on linear evolution equations" Osaka J. Math. , 17 (1980) pp. 233–243|
Abstract evolution equation. H. Tanabe (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Abstract_evolution_equation&oldid=12504