You are currently browsing the tag archive for the ‘weak derivatives’ tag.
Tag Archive
245C, Notes 4: Sobolev spaces
30 April, 2009 in 245C - Real analysis, math.AP, math.CA, math.FA | Tags: Holder spaces, Sobolev embedding, Sobolev spaces, weak derivatives | by Terence Tao | 167 comments
As discussed in previous notes, a function space norm can be viewed as a means to rigorously quantify various statistics of a function . For instance, the “height” and “width” can be quantified via the
norms (and their relatives, such as the Lorentz norms
). Indeed, if
is a step function
, then the
norm of
is a combination
of the height (or amplitude)
and the width
.
However, there are more features of a function of interest than just its width and height. When the domain
is a Euclidean space
(or domains related to Euclidean spaces, such as open subsets of
, or manifolds), then another important feature of such functions (especially in PDE) is the regularity of a function, as well as the related concept of the frequency scale of a function. These terms are not rigorously defined; but roughly speaking, regularity measures how smooth a function is (or how many times one can differentiate the function before it ceases to be a function), while the frequency scale of a function measures how quickly the function oscillates (and would be inversely proportional to the wavelength). One can illustrate this informal concept with some examples:
- Let
be a test function that equals
near the origin, and
be a large number. Then the function
oscillates at a wavelength of about
, and a frequency scale of about
. While
is, strictly speaking, a smooth function, it becomes increasingly less smooth in the limit
; for instance, the derivative
grows at a roughly linear rate as
, and the higher derivatives grow at even faster rates. So this function does not really have any regularity in the limit
. Note however that the height and width of this function is bounded uniformly in
; so regularity and frequency scale are independent of height and width.
- Continuing the previous example, now consider the function
, where
is some parameter. This function also has a frequency scale of about
. But now it has a certain amount of regularity, even in the limit
; indeed, one easily checks that the
derivative of
stays bounded in
as long as
. So one could view this function as having “
degrees of regularity” in the limit
.
- In a similar vein, the function
also has a frequency scale of about
, and can be viewed as having
degrees of regularity in the limit
.
- The function
also has about
degrees of regularity, in the sense that it can be differentiated up to
times before becoming unbounded. By performing a dyadic decomposition of the
variable, one can also decompose this function into components
for
, where
is a bump function supported away from the origin; each such component has frequency scale about
and
degrees of regularity. Thus we see that the original function
has a range of frequency scales, ranging from about
all the way to
.
- One can of course concoct higher-dimensional analogues of these examples. For instance, the localised plane wave
in
, where
is a test function, would have a frequency scale of about
.
There are a variety of function space norms that can be used to capture frequency scale (or regularity) in addition to height and width. The most common and well-known examples of such spaces are the Sobolev space norms , although there are a number of other norms with similar features (such as Hölder norms, Besov norms, and Triebel-Lizorkin norms). Very roughly speaking, the
norm is like the
norm, but with “
additional degrees of regularity”. For instance, in one dimension, the function
, where
is a fixed test function and
are large, will have a
norm of about
, thus combining the “height”
, the “width”
, and the “frequency scale”
of this function together. (Compare this with the
norm of the same function, which is about
.)
To a large extent, the theory of the Sobolev spaces resembles their Lebesgue counterparts
(which are as the special case of Sobolev spaces when
), but with the additional benefit of being able to interact very nicely with (weak) derivatives: a first derivative
of a function in an
space usually leaves all Lebesgue spaces, but a first derivative of a function in the Sobolev space
will end up in another Sobolev space
. This compatibility with the differentiation operation begins to explain why Sobolev spaces are so useful in the theory of partial differential equations. Furthermore, the regularity parameter
in Sobolev spaces is not restricted to be a natural number; it can be any real number, and one can use fractional derivative or integration operators to move from one regularity to another. Despite the fact that most partial differential equations involve differential operators of integer order, fractional spaces are still of importance; for instance it often turns out that the Sobolev spaces which are critical (scale-invariant) for a certain PDE are of fractional order.
The uncertainty principle in Fourier analysis places a constraint between the width and frequency scale of a function; roughly speaking (and in one dimension for simplicity), the product of the two quantities has to be bounded away from zero (or to put it another way, a wave is always at least as wide as its wavelength). This constraint can be quantified as the very useful Sobolev embedding theorem, which allows one to trade regularity for integrability: a function in a Sobolev space will automatically lie in a number of other Sobolev spaces
with
and
; in particular, one can often embed Sobolev spaces into Lebesgue spaces. The trade is not reversible: one cannot start with a function with a lot of integrability and no regularity, and expect to recover regularity in a space of lower integrability. (One can already see this with the most basic example of Sobolev embedding, coming from the fundamental theorem of calculus. If a (continuously differentiable) function
has
in
, then we of course have
; but the converse is far from true.)
Plancherel’s theorem reveals that Fourier-analytic tools are particularly powerful when applied to spaces. Because of this, the Fourier transform is very effective at dealing with the
-based Sobolev spaces
, often abbreviated
. Indeed, using the fact that the Fourier transform converts regularity to decay, we will see that the
spaces are nothing more than Fourier transforms of weighted
spaces, and in particular enjoy a Hilbert space structure. These Sobolev spaces, and in particular the energy space
, are of particular importance in any PDE that involves some sort of energy functional (this includes large classes of elliptic, parabolic, dispersive, and wave equations, and especially those equations connected to physics and/or geometry).
We will not fully develop the theory of Sobolev spaces here, as this would require the theory of singular integrals, which is beyond the scope of this course. There are of course many references for further reading; one is Stein’s “Singular integrals and differentiability properties of functions“.
Recent Comments