Accretive mapping
The great importance of the notion of "accretive mapping" consists in the fact that it allows one to treat many partial differential equations and functional differential equations from mathematical physics (such as the heat and wave equations) as suitable ordinary differential equations associated with accretive generators of suitable semi-groups in appropriate functional (Sobolev) spaces. This method, known as the semi-group approach, has significantly clarified and unified the study of many classes of partial and functional differential equations and has solved problems that had been left open by the previous classical methods.
Let be a general Banach space with norm
. If
is a bounded linear operator from
into itself, then the exponential formula below holds:
![]() |
as the series is convergent. Moreover, the function is the unique strong solution to the Cauchy problem
,
. If
is unbounded, then the series above is not convergent, so the exponential formula makes no sense. However, if
is
-accretive (see below and
-accretive operator), then the so-called Crandall–Liggett exponential formula (1971) can be defined. Namely:
![]() |
as the limit above exists. For linear and unbounded, it is due to E. Hille and K. Yosida (who started these investigations in 1948). The one-parameter family of operators
defined by
is said to be the semi-group generated by the (possible non-linear and multi-valued)
-accretive mapping
. The main difference in this unbounded case is that for
, the function
is not differentiable. This is why the function
is said to be a mild (or generalized) solution to the Cauchy problem above.
Roughly speaking, accretive mappings acting in are generalizations of non-decreasing real-valued functions. More precisely, a mapping
is said to be accretive if
![]() | (a1) |
![]() |
Here, and
stand for the domain of
and the family of all subsets of
, respectively. If
is a real Hilbert space
with inner product
, then (a1) is equivalent to
![]() | (a2) |
![]() |
It is now clear that for (the set of all real numbers) and
a single-valued function, accretivity of
is equivalent to
![]() | (a3) |
![]() |
i.e. to the classical definition "x1<x2 implies Ax1≤Ax2" for to be non-decreasing. The mapping
is said to be dissipative if
is accretive.
is said to be maximal accretive if it is accretive and if it has no accretive extensions.
is said to be
-accretive (or hyper-maximal accretive) if it is accretive and if the following range condition holds:
, or, equivalently,
, for all
, where
denotes the identity operator (cf. also
-accretive operator).
In a normed space, "m-accretive" implies "maximal accretive" . The converse assertion need not be true. The first counterexample was constructed in by B.D. Calvert (1970). Moreover, A. Cernes (1974) has proven that even if both
and
(the dual of
) are uniformly convex (cf. Banach space), but
is not a Hilbert space, then there are maximal accretive mappings which are not
-accretive. However, it was proved by G. Minty (1962) that in Hilbert spaces, the notions of "m-accretive" and "maximal accretive" are equivalent. Note that in Hilbert spaces, "accretive" is also known as "monotone" .
The theory of accretive-type operators is also known as Minty–Browder theory. It has started with some pioneering work of M.M. Vainberg, E.M. Zarantonello and R.I. Kachurovski in the 1960s. As a significant example, consider the Laplace operator in
with
, where
is a bounded domain of
with sufficiently smooth boundary
. In view of the Green formula,
![]() |
![]() |
it follows that is monotone. Moreover, for each
, the elliptic equation
has a unique solution
, so
is maximal monotone. H. Brézis has proved that
is actually the subdifferential
of a lower semi-continuous convex functional
from
into
which (according to a more general result of R.T. Rockafellar, 1966), is maximal monotone (accretive). It follows from the definition (a1) that if
is
-accretive, then for every positive
,
is invertible and the operator
is non-expansive (i.e., Lipschitz continuous of Lipschitz constant
) on
. The crucial importance of
-accretive operators has already been pointed out above.
There is an extensive literature on this topic.
Finally, there is a second notion which also goes by the name "dissipative" (the Coddington–Levinson–Taro Yoshizawa dissipative differential systems). However, the notion of dissipative operators as defined above and that of dissipative systems are different.
References
[a1] | V. Barbu, "Nonlinear semigroups and differential equations in Banach spaces" , Noordhoff (1975) |
[a2] | H. Brezis, "Operateurs maximaux monotones et semigroupes de contractions dans les espaces de Hilbert" , North-Holland (1973) |
[a3] | D. Motreanu, N.H. Pavel, "Tangency, flow-invariance for differential equations and optimization problems" , M. Dekker (1999) |
[a4] | N.H. Pavel, "Nonlinear evolution operators and semigroups" , Lecture Notes Math. , 1260 , Springer (1987) |
[a5] | A. Pazy, "Semigroups of linear operators and applications to PDE" , Springer (1983) |
Accretive mapping. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Accretive_mapping&oldid=50477