Chapter 3: Sobolev Spaces

Chapter 3: Sobolev Spaces

viii CHAPTER 3 Sobolev spaces These spaces, at least in the particular case p = 2, were known since the very beginning of this century, to the Italian mathe- maticians Beppo Levi and Guido Fubini who investigated the Dirichlet minimum principle for elliptic equations. Later on many mathematicians have used these spaces in their work. Some French mathematicians, at the beginning of the fifties, decided to invent a name for such spaces as, very often, French mathemati- cians like to do. They proposed the name Beppo Levi spaces. Although this name is not very exciting in the Italian language and it sounds because of the name “Beppo”, somewhat peasant, the outcome in French must be gorgeous since the special French pronunciation of the names makes it to sound very impressive. Unfortunately this choice was deeply disliked by Beppo Levi, who at that time was still alive, and — as many elderly people — was strongly against the modern way of viewing mathematics. In a review of a paper of an Italian mathematician, who, imi- tating the Frenchman, had written something on “Beppo Levi spaces”, he practically said that he did not want to leave his name mixed up with this kind of things. Thus the name had to be changed. A good choice was to name the spaces after S. L. Sobolev. Sobolev did not object and the name Sobolev spaces is nowadays universally accepted.1 We will give only the most basic results here. For more information, see Shkoller [37], Evans [9] (Chapter 5), and Leoni [26]. A standard reference is [1]. 3.1. Weak derivatives Suppose, as usual, that Ω is an open set in Rn. Definition . 1 3.1 A function f Lloc(Ω) is weakly differentiable with respect to x if there exists a function g L∈1 (Ω) such that i i ∈ loc f∂ φ dx = g φ dx for all φ C∞(Ω). i − i ∈ c ZΩ ZΩ The function gi is called the weak ith partial derivative of f, and is denoted by ∂if. Thus, for weak derivatives, the integration by parts formula f ∂ φ dx = ∂ f φ dx i − i ZΩ ZΩ 1Fichera, 1977, quoted by Naumann [31]. 47 48 3. SOBOLEV SPACES ∞ ∞ 1 holds by definition for all φ Cc (Ω). Since Cc (Ω) is dense in Lloc(Ω), the weak derivative of a function, if it∈ exists, is unique up to pointwise almost everywhere equivalence. Moreover, the weak derivative of a continuously differentiable function agrees with the pointwise derivative. The existence of a weak derivative is, however, not equivalent to the existence of a pointwise derivative almost everywhere; see Examples 3.4 and 3.5. Unless stated otherwise, we will always interpret derivatives as weak deriva- tives, and we use the same notation for weak derivatives and continuous pointwise derivatives. Higher-order weak derivatives are defined in a similar way. Definition . Nn 1 3.2 Suppose that α 0 is a multi-index. A function f Lloc(Ω) has weak derivative ∂αf L1 (Ω) if ∈ ∈ ∈ loc (∂αf) φ dx = ( 1)|α| f (∂αφ) dx for all φ C∞(Ω). − ∈ c ZΩ ZΩ 3.2. Examples Let us consider some examples of weak derivatives that illustrate the definition. We denote the weak derivative of a function of a single variable by a prime. Example 3.3. Define f C(R) by ∈ x if x> 0, f(x)= 0 if x 0. ≤ We also write f(x)= x+. Then f is weakly differentiable, with ′ (3.1) f = χ[0,∞), where χ[0,∞) is the step function 1 if x 0, χ (x)= [0,∞) 0 if x<≥ 0. The choice of the value of f ′(x) at x = 0 is irrelevant, since the weak derivative is only defined up to pointwise almost everwhere equivalence. To prove (3.1), note ∞ R that for any φ Cc ( ), an integration by parts gives ∈ ∞ ∞ fφ′ dx = xφ′ dx = φ dx = χ φ dx. − − [0,∞) Z Z0 Z0 Z Example 3.4. The discontinuous function f : R R → 1 if x> 0, f(x)= 0 if x< 0. ∞ R is not weakly differentiable. To prove this, note that for any φ Cc ( ), ∞ ∈ fφ′ dx = φ′ dx = φ(0). − Z Z0 Thus, the weak derivative g = f ′ would have to satisfy (3.2) gφ dx = φ(0) for all φ C∞(R). ∈ c Z 1 R Assume for contradiction that g Lloc( ) satisfies (3.2). By considering test functions with φ(0) = 0, we see that∈g is equal to zero pointwise almost everywhere, and then (3.2) does not hold for test functions with φ(0) = 0. 6 3.2. EXAMPLES 49 The pointwise derivative of the discontinuous function f in the previous ex- ample exists and is zero except at 0, where the function is discontinuous, but the function is not weakly differentiable. The next example shows that even a contin- uous function that is pointwise differentiable almost everywhere need not have a weak derivative. Example 3.5. Let f C(R) be the Cantor function, which may be constructed as a uniform limit of piecewise∈ constant functions defined on the standard ‘middle- thirds’ Cantor set C. For example, f(x)=1/2 for 1/3 x 2/3, f(x)=1/4 for 1/9 x 2/9, f(x)=3/4 for 7/9 x 8/9, and so on.≤ 2 ≤Then f is not weakly differentiable.≤ ≤ To see this, suppose that≤ f≤′ = g where gφ dx = fφ′ dx − Z Z for all test functions φ. The complement of the Cantor set in [0, 1] is a union of open intervals, 1 2 1 2 7 8 [0, 1] C = , , , ..., \ 3 3 ∪ 9 9 ∪ 9 9 ∪ whose measure is equal to one. Taking test functions φ whose supports are com- pactly contained in one of these intervals, call it I, and using the fact that f = cI is constant on I, we find that gφ dx = fφ′ dx = c φ′ dx =0. − − I Z ZI ZI It follows that g = 0 pointwise a.e. on [0, 1] C, and hence if f is weakly differ- entiable, then f ′ = 0. From the following proposition,\ however, the only functions with zero weak derivative are the ones that are equivalent to a constant function. This is a contradiction, so the Cantor function is not weakly differentiable. Proposition 3.6. If f : (a,b) R is weakly differentiable and f ′ =0, then f is a constant function. → Proof. The condition that the weak derivative f ′ is zero means that (3.3) fφ′ dx = 0 for all φ C∞(a,b). ∈ c Z ∞ Choose a fixed test function η Cc (a,b) whose integral is equal to one. We may represent an arbitrary test function∈ φ C∞(a,b) as ∈ c φ = Aη + ψ′ 2The Cantor function is given explicitly by: f(x)=0 if x ≤ 0; f(x)=1 if x ≥ 1; ∞ 1 cn f(x) = X n 2 n=1 2 ∞ n N if x = Pn=1 cn/3 with cn ∈ {0, 2} for all n ∈ ; and N 1 cn 1 f(x)= X n + N+1 2 n=1 2 2 ∞ n if x = Pn=1 cn/3 , with cn ∈ {0, 2} for 1 ≤ n<k and ck = 1. 50 3. SOBOLEV SPACES where A R and ψ C∞(a,b) are given by ∈ ∈ c b x A = φ dx, ψ(x)= [φ(t) Aη(t)] dt. − Za Za Then (3.3) implies that fφ dx = A fη dx = c φ dx, c = fη dx. Z Z Z Z It follows that (f c) φ dx = 0 for all φ C∞(a,b), − ∈ c Z which implies that f = c pointwise almost everywhere, so f is equivalent to a constant function. As this discussion illustrates, in defining ‘strong’ solutions of a differential equa- tion that satisfy the equation pointwise a.e., but which are not necessarily contin- uously differentiable ‘classical’ solutions, it is important to include the condition that the solutions are weakly differentiable. For example, up to pointwise a.e. equivalence, the only weakly differentiable functions u : R R that satisfy the ODE → u′ = 0 pointwise a.e. are the constant functions. There are, however, many non-constant functions that are differentiable pointwise a.e. and satisfy the ODE pointwise a.e., but these so- lutions are not weakly differentiable; the step function and the Cantor function are examples. Example 3.7. For a R, define f : Rn R by ∈ → 1 (3.4) f(x)= . x a | | Then f is weakly differentiable if a +1 <n with weak derivative a x ∂ f(x)= i . i − x a+1 x | | | | That is, f is weakly differentiable provided that the pointwise derivative, which is defined almost everywhere, is locally integrable. To prove this claim, suppose that ǫ > 0, and let φǫ C∞(Rn) be a cut-off ∈ c function that is equal to one in Bǫ (0) and zero outside B2ǫ (0). Then 1 φǫ(x) f ǫ(x)= − x a | | belongs to C∞(Rn) and f ǫ = f in x 2ǫ. Integrating by parts, we get | |≥ (3.5) (∂ f ǫ) φ dx = f ǫ (∂ φ) dx. i − i Z Z We have a x 1 ∂ f ǫ(x)= i [1 φǫ(x)] ∂ φǫ(x). i − x a+1 x − − x a i | | | | | | Since ∂ φǫ C/ǫ and ∂ φǫ = 0 when x ǫ or x 2ǫ, we have | i |≤ | i | | |≤ | |≥ C ∂ φǫ(x) . | i |≤ x | | 3.3. DISTRIBUTIONS 51 It follows that C′ ∂ f ǫ(x) | i |≤ x a+1 | | where C′ is a constant independent of ǫ. Moreover a x ∂ f ǫ(x) i pointwise a.e.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    33 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us