Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Sobolev Spaces different definitions

  1. Sep 20, 2011 #1

    I am studying PDEs and I am confused by the definition of Sobolev spaces as they are different in two books. I'll write the definitions and mention the points of difference which I see despite which I still can't see the difference in definitions.

    1) PDEs by Lawrence Evans

    Let U be an open subset of [itex]\mathbb{R}^n[/itex]. The Sobolev space [itex]W^{k,2}(U)[/itex] consists of all locally summable functions [itex]u:U \rightarrow \mathbb{R}[/itex] such that all partial derivatives of [itex] u [/itex] upto order [itex]k[/itex] exist in [itex]\textbf{weak sense}[/itex] and the weak partial derivatives belong to [itex]L^p(U)[/itex].

    2) The other definition from the book: Control of linear infinite dimensional systems by Curtain & Zwart is as follows:

    For [itex]-\infty <a<b<\infty[/itex] we define the following subspace of [itex]L^2(a,b)[/itex]:

    [itex]W^{k,2}(a,b):=\{u \in L^2(a,b) | u, \cdots , \frac{d ^{k-1}u}{dt^{k-1}} \text{ are absolutely continuous on } (a,b) \text{ with } \frac{d^k u}{dt^k} \in L^2(a,b). \}. [/itex]

    [itex]W^{k,2}(a,b) [/itex] is a Sobolev space.

    The obvious things to be noted:

    1) In definition 1 the functions map an open subset of [itex] \mathbb{R}^n [/itex] to [itex] \mathbb{R}[/itex] where as in definition 2 the functions map an open subset of [itex] \mathbb{R} [/itex] to [itex] \mathbb{R}[/itex],
    2) The definition 1 requires the functions to be locally summable but in definition 2 since the functions are in [itex] L^2(a,b)[/itex], they are square summable on [itex] (a,b) [/itex], and most importantly
    3) Definition 1 talks about the derivatives in weak sense whereas definition 2 claims no such thing, hence I assume that in definition 2 the derivatives are in the classical or strong sense.

    My issue is that these definitions seem very different but they must be equivalent as they are both defining Sobolev spaces. Also I cannot make sense of absolute continuity and how it comes into play.

    Any help would be appreciated.


  2. jcsd
  3. Sep 20, 2011 #2
    I got the answer. It's proven as an exercise.

    If the Sobolev space is defined for functions [itex]u: \mathbb{R} \rightarrow \mathbb{R} [/itex] instead of [itex] u : \mathbb{R}^n \rightarrow \mathbb{R}[/itex], then the conditions can be reduced to the absolute continuity of the functions.

Share this great discussion with others via Reddit, Google+, Twitter, or Facebook