Coercive function explained

In mathematics, a coercive function is a function that "grows rapidly" at the extremes of the space on which it is defined. Depending on the context different exact definitions of this idea are in use.

Coercive vector fields

A vector field is called coercive if$$\backslash frac\; \backslash to\; +\; \backslash infty\; \backslash text\; \backslash |\; x\; \backslash |\; \backslash to\; +\; \backslash infty,$$where "

⋅ " denotes the usual dot product and \|x\| denotes the usual Euclidean norm of the vector x.

A coercive vector field is in particular norm-coercive since

\|f(x)\| \geq (f(x) ⋅ x) / \| x \| for x \in R ^{n} \setminus \{ 0 \} , by Cauchy–Schwarz inequality.However a norm-coercive mapping is not necessarily a coercive vector field. For instance the rotation by 90° is a norm-coercive mapping which fails to be a coercive vector field since f(x) ⋅ x = 0 for every x \in R ^{2} .

Coercive operators and forms

A:H\to H, where H is a real Hilbert space, is called coercive if there exists a constant c> 0 such that$$\backslash langle\; Ax,\; x\backslash rangle\; \backslash ge\; c\backslash |x\backslash |^2$$for all x in H. a:H x H\to R is called coercive if there exists a constant c> 0 such that$$a(x,\; x)\backslash ge\; c\backslash |x\backslash |^2$$for all x in H.

It follows from the Riesz representation theorem that any symmetric (defined as

a(x, y) = a(y, x) for all x, y in H ), continuous (|a(x, y)|\le k\|x\|\|y\| for all x, y in H and some constant k> 0 ) and coercive bilinear form a has the representation$$a(x,\; y)=\backslash langle\; Ax,\; y\backslash rangle$$

for some self-adjoint operator

A:H\to H, which then turns out to be a coercive operator. Also, given a coercive self-adjoint operator A, the bilinear form a defined as above is coercive.

If

A:H\to H is a coercive operator then it is a coercive mapping (in the sense of coercivity of a vector field, where one has to replace the dot product with the more general inner product). Indeed, \langle Ax, x\rangle \ge C\|x\| for big \|x\| (if \|x\| is bounded, then it readily follows); then replacing x by x\|x\| ^{-2} we get that A is a coercive operator.One can also show that the converse holds true if A is self-adjoint. The definitions of coercivity for vector fields, operators, and bilinear forms are closely related and compatible.

Norm-coercive mappings

A mapping

f : X \to X' between two normed vector spaces (X, \| ⋅ \|) and (X', \| ⋅ \|') is called norm-coercive if and only if$$\backslash |f(x)\backslash |\text{'}\; \backslash to\; +\; \backslash infty\; \backslash mbox\; \backslash |x\backslash |\; \backslash to\; +\backslash infty\; .$$

More generally, a function

f : X \to X' between two topological spaces X and X' is called coercive if for every compact subset K' of X' there exists a compact subset K of X such that$$f\; (X\; \backslash setminus\; K)\; \backslash subseteq\; X\text{'}\; \backslash setminus\; K\text{'}.$$

The composition of a bijective proper map followed by a coercive map is coercive.

(Extended valued) coercive functions

An (extended valued) function

f: R ^{n} \to R \cup \{ - inf ty, + inf ty\} is called coercive if$$f(x)\; \backslash to\; +\; \backslash infty\; \backslash mbox\; \backslash |\; x\; \backslash |\; \backslash to\; +\; \backslash infty.$$A real valued coercive function f: R ^{n} \to R is, in particular, norm-coercive. However, a norm-coercive function f: R ^{n} \to R is not necessarily coercive.For instance, the identity function on R is norm-coercive but not coercive.

See also

• Radially unbounded functions

References

• Book: Renardy, Michael . Rogers, Robert C. . An introduction to partial differential equations . Second . Springer-Verlag . New York, NY . 2004 . xiv+434 . 0-387-00444-0 .
• Book: Bashirov , Agamirza E . Partially observable linear systems under dependent noises . Basel; Boston: Birkhäuser Verlag . 2003 . 0-8176-6999-X.
• Book: Neil Trudinger . D. . Gilbarg . N. . Trudinger . Elliptic partial differential equations of second order, 2nd ed . Berlin; New York: Springer . 2001 . 3-540-41160-7.