Abstract evolution equation
Usually, a differential equation
![]() | (a1) |
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
![]() | (a2) |
if it exists, can be expressed as
![]() | (a3) |
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 equations.
"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
![]() |
P. Acquistapace and B. Terreni [a1], [a2] proved the following result: Suppose that
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].
Hyperbolic equations.
Here, equations of hyperbolic type are written as
![]() | (a4) |
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).
The notion of stability was introduced by Kato [a5] and generalized to quasi-stability in [a6]. In [a5], [a6] it was assumed that is norm continuous in
.
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.
The theory and methods for abstract evolution equations have been applied to many physical problems, such as the wave equation, the Navier–Stokes equations and the Schrödinger equation.
References
[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. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abstract_evolution_equation&oldid=50256