Puneet Varma (Editor)

Dissipative operator

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics, a dissipative operator is a linear operator A defined on a linear subspace D(A) of Banach space X, taking values in X such that for all λ > 0 and all xD(A)

Contents

( λ I A ) x λ x .

A couple of equivalent definitions are given below. A dissipative operator is called maximally dissipative if it is dissipative and for all λ > 0 the operator λIA is surjective, meaning that the range when applied to the domain D is the whole of the space X.

An operator that obeys a similar condition but with a plus sign instead of a minus sign (that is, the negation of a dissipative operator) is called an accretive operator.

The main importance of dissipative operators is their appearance in the Lumer–Phillips theorem which characterizes maximally dissipative operators as the generators of contraction semigroups.

Properties

A dissipative operator has the following properties

  • From the inequality given above, we see that for any x in the domain of A, if ‖x‖ ≠ 0 then ( λ I A ) x 0 , so the kernel of λIA is just the zero vector and λIA is therefore injective and has an inverse for all λ > 0. (If we have the strict inequality ( λ I A ) x > λ x for all non-null x in the domain, then, by the triangle inequality, λ x + A x ( λ I A ) x > λ x , which implies that A itself has an inverse.) We may then state that
  • λIA is surjective for some λ > 0 if and only if it is surjective for all λ > 0. (This is the aforementioned maximally dissipative case.) In that case one has (0, ∞) ⊂ ρ(A) (the resolvent set of A).
  • A is a closed operator if and only if the range of λI - A is closed for some (equivalently: for all) λ > 0.
  • Equivalent characterizations

    Define the duality set of xX, a subset of the dual space X' of X, by

    J ( x ) := { x X : x X 2 = x X 2 = x , x } .

    By the Hahn–Banach theorem this set is nonempty. If X is reflexive, then J(x) consists of a single element. In the Hilbert space case (using the canonical duality between a Hilbert space and its dual) it consists of the single element x. Using this notation, A is dissipative if and only if for all xD(A) there exists a x' ∈ J(x) such that

    R e A x , x 0.

    In the case of Hilbert spaces, this becomes R e A x , x 0 for all x in D(A). Since this is non-positive, we have

    x A x 2 = x 2 + A x 2 2 R e A x , x x 2 + A x 2 + 2 R e A x , x = x + A x 2 x A x x + A x

    Since I−A has an inverse, this implies that ( I + A ) ( I A ) 1 is a contraction, and more generally, ( λ I + A ) ( λ I A ) 1 is a contraction for any positive λ. The utility of this formulation is that if this operator is a contraction for some positive λ then A is dissipative. It is not necessary to show that it is a contraction for all positive λ (though this is true), in contrast to (λI−A)−1 which must be proved to be a contraction for all positive values of λ.

    Examples

  • For a simple finite-dimensional example, consider n-dimensional Euclidean space Rn with its usual dot product. If A denotes the negative of the identity operator, defined on all of Rn, then
  • so A is a dissipative operator.
  • So long as the domain of an operator A (a matrix) is the whole Euclidean space, then it is dissipative if and only if A+A* (the sum of A and its adjoint) does not have any positive eigenvalue, and (consequently) all such operators are maximally dissipative. (This criterion follows from the fact that the real part of x A x , which must be nonpositive for any x, is x A + A 2 x . The eigenvalues of this quadratic form must therefore be nonpositive.) An equivalent condition is that for some (and hence any) positive λ , λ A has an inverse and the operator ( λ + A ) ( λ A ) 1 is a contraction (that is, it either diminishes or leaves unchanged the norm of its operand). If the time derivative of a point x in the space is given by Ax, then the time evolution is governed by a contraction semigroup that constantly decreases the norm (or at least doesn't allow it to increase). (Note however that if the domain of A is a proper subspace, then A cannot be maximally dissipative because the range will not have a high enough dimensionality.)
  • Consider H = L2([0, 1]; R) with its usual inner product, and let Au = u′ (in this case a weak derivative) with domain D(A) equal to those functions u in the Sobolev space H 1 ( [ 0 , 1 ] ; R ) with u(1) = 0. D(A) is dense in L2([0, 1]; R). Moreover, for every u in D(A), using integration by parts,
  • Hence, A is a dissipative operator. Furthermore, since there is a solution (almost everywhere) in D to u λ u = f for any f in H, the operator A is maximally dissipative. Note that in a case of infinite dimensionality like this, the range can be the whole Banach space even though the domain is only a proper subspace thereof.
  • Consider H = H02(Ω; R) (see Sobolev space) for an open and connected domain Ω ⊆ Rn and let A = Δ, the Laplace operator, defined on the dense subspace of compactly supported smooth functions on Ω. Then, using integration by parts,
  • so the Laplacian is a dissipative operator.

    References

    Dissipative operator Wikipedia