Weak derivative

From Wikipedia, the free encyclopedia

In mathematics, a weak derivative is a generalization of the concept of the derivative of a function (strong derivative) for functions not assumed differentiable, but only integrable, i.e. to lie in the Lebesgue space L1([a,b]). See distributions for an even more general definition.

Contents

[edit] Definition

Let u be a function in the Lebesgue space L1([a,b]). We say that v in L1([a,b]) is a weak derivative of u if,

\int_a^b u(t)\varphi'(t)dt=-\int_a^b v(t)\varphi(t)dt

for all continuously differentiable functions \varphi with \varphi(a)=\varphi(b)=0.

Generalizing to n dimensions, if u and v are in the space L_{loc}^1(U) of locally integrable functions for some open set U \subset \mathbb{R}^n, and if α is a multiindex, we say that v is the αth-weak derivative of u if

\int_U u D^{\alpha} \varphi=(-1)^{|\alpha|} \int_U v\varphi

for all \varphi \in C^{\infty}_c (U), that is, for all infinitely differentiable functions \varphi with compact support in U. If u has a weak derivative, it is often written Dαu since weak derivatives are unique (at least, up to a set of measure zero, see below).

[edit] Examples

The absolute value function u : [−1, 1] → [0, 1], u(t) = |t|, which is not differentiable at t = 0, has a weak derivative v known as the sign function given by

v \colon [-1,1]\to [-1,1] \colon t \mapsto v(t) = \begin{cases} 1, & \mbox{if } t > 0; \\ 0, & \mbox{if } t = 0; \\ -1, & \mbox{if } t < 0. \end{cases}

This is not the only weak derivative for u: any w that is equal to v almost everywhere is also a weak derivative for u. Usually, this is not a problem, since in the theory of Lp spaces and Sobolev spaces, functions that are equal almost everywhere are identified.

[edit] Properties

If two functions are weak derivatives of the same function, they are equal except on a set with Lebesgue measure zero, i.e., they are equal almost everywhere. If we consider equivalence classes of functions, where two functions are equivalent if they are equal almost everywhere, then the weak derivative is unique.

Also, if u is differentiable in the conventional sense then its weak derivative is identical (in the sense given above) to its conventional (strong) derivative. Thus the weak derivative is a generalization of the strong one. Furthermore, the classical rules for derivatives of sums and products of functions also hold for the weak derivative.

[edit] Extensions

This concept gives rise to the definition weak solutions in Sobolev spaces, which are useful for problems of differential equations and in functional analysis.

[edit] References

  • Gilbarg, David; Trudinger, Neil S. (2001). Elliptic partial differential equations of second order. Berlin: Springer, page 149. ISBN 3-540-41160-7. 
  • Evans, Lawrence C. (1998). Partial differential equations. Providence, R.I.: American Mathematical Society, page 242. ISBN 0-8218-0772-2. 
  • Knabner, Peter; Angermann, Lutz (2003). Numerical methods for elliptic and parabolic partial differential equations. New York: Springer, page 53. ISBN 0-387-95449-X.