# Orlicz-Sobolev space

A natural generalization of the notion of a Sobolev space, where the underlying role of the Lebesgue spaces is played by the more general Orlicz spaces (cf. also Lebesgue space; Orlicz space). Here, is a Young function (cf. Orlicz–Lorentz space) or an -function, depending on the desired generality of the concept. Various authors use different definitions of the generating function .

The classical setting of the theory of Orlicz spaces can be found, e.g., in [a19], [a11]; the theory of more general modular spaces goes back to H. Nakano [a16] and it has been systematically developed by the Poznań school in the framework of Orlicz–Musielak spaces, see [a15].

Since the 1960s, the need to use spaces of functions with generalized derivatives in Orlicz spaces came from various applications in integral equations, boundary value problems, etc., whenever it is useful to consider wider scales of spaces than those based on (see, e.g. [a3], [a4], [a7], [a8], [a14], [a18] and references therein).

The standard construction of an Orlicz–Sobolev space is as follows. Let be a domain, let be a classical -function, that is, real-valued function on , continuous, increasing, convex, and such that , . (Observe that if , then only the behaviour of at infinity matters.) Let . Then the Orlicz–Sobolev space is the set of measurable functions on with generalized (weak) derivatives up to the order (cf. Weak derivative; Generalized function), and equipped with the finite norm (a1)

Here is the Luxemburg norm in the Orlicz space . Alternatively, in (a1) one can use the Orlicz norm and any expression equivalent to the summation (such as ). Also, it is possible to define anisotropic spaces, considering , , where the are -functions. Moreover, one can also consider mixed norms, replacing by -tuples of -functions and various combinations. It is easy to see that is a closed subset of a product of the Orlicz spaces , hence it is a Banach space.

Elementary properties of Orlicz spaces imply that is separable if and only if satisfies the -condition (cf. Orlicz–Lorentz space). Furthermore, is reflexive if and only if both and the complementary function to (that is, ) satisfy the -condition. It is useful to introduce the space , consisting of the functions with generalized derivatives in , where is the closure of the set of bounded functions with compact support in . If , then is dense in ; further, is dense in . Analogues of density theorems known from the theory of Sobolev spaces, with various assumptions about the smoothness of the boundary of the domain in question, can be proved too, thus making it possible to consider alternative definitions. This is important for the standard proof techniques, which work with smooth functions only. (See [a1], [a6], [a10], [a12].)

If , then one can define the Orlicz–Sobolev potential spaces in a manner quite analogous to the Sobolev case as well as to the case of potential spaces on sufficiently smooth domains. This is also a natural way to define Orlicz–Sobolev spaces of fractional order. The situation here, however, is more delicate than in the -based case. Interpolation properties of Orlicz spaces (see, e.g., [a9]) guarantee that (and consequently also spaces on domains with the extension property) can be obtained by interpolation (cf. Interpolation of operators) from a suitable couple of Sobolev spaces provided that both the -function and its complementary function satisfy the -condition (or, equivalently, that each Boyd index of (see [a2]) lies strictly between and ). Namely, in this case a Mikhlin-type multiplier theorem holds. Furthermore, the known trace theorems (see [a13], [a17], for instance), identifying the trace space for , where satisfies the -condition, with the subspace of of functions with finite norm  where  indicate how another "natural" interpolation scale (this time with respect to the smoothness) should look like. The theory, however, is not yet (1998) complete in this area.

In connection with certain applications (imbeddings in finer scales of spaces, entropy and approximation numbers, etc.), attention has been given to logarithmic Orlicz and Orlicz–Sobolev spaces, where the generating function is equivalent to for large values of and . It turns out that these can also be handled using extrapolation of Sobolev spaces, making it thus possible to employ various techniques (e.g. an analytical Fourier approach) known from the theory of Sobolev spaces. A basic reference is [a5].

For a survey of the properties of , see [a1] and [a12].

How to Cite This Entry:
Orlicz-Sobolev space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Orlicz-Sobolev_space&oldid=22861
This article was adapted from an original article by Miroslav Krbec (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article