# Accretive mapping

Jump to: navigation, search

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.