Page 113 -
P. 113

3.1 Classical Function Spaces and Distributions  97

                                                                        ∞
                           convergence defines a locally convex topology on C (Ω) (see Treves [305]).
                                                                        0
                                                             ∞
                           With this concept of convergence, C (Ω) is a locally convex topological
                                                             0
                           vector space called D(Ω).
                                                                                         m
                                                      m
                              Similarly, one can define C (Ω) to be the space of functions in C (Ω)
                           which, together with their derivatives of order ≤ m, have continuous exten-
                                                                              m
                           sions to Ω = Ω ∪ ∂Ω.If Ω is bounded and m< ∞, then C (Ω)isaBanach
                           space with the norm
                                                                    α
                                               
u
      =      sup |D u(x)|.
                                                  C m (Ω)
                                                               x∈Ω
                                                          |α|≤m
                           The Spaces C  m,α (Ω)
                              In Section 1.2, we have already introduced H¨older spaces, however, for
                           completeness, we restate the definition here again. Let Ω be a subset of IR n
                           and 0 <α ≤ 1. A function u defined on Ω is said to be H¨older continuous
                           with exponent α in Ω if 0 <α< 1 and if there exists a constant c ≥ 0
                           such that
                                                                      α
                                                  |u(x) − u(y)|≤ c|x − y|
                           for all x, y, ∈ Ω. The quantity

                                                             |u(x) − u(y)|
                                                [u] α;Ω := sup       α
                                                         x,y∈Ω  |x − y|
                                                         x =y
                           is called the H¨older modulus of u.For α =1,u is called Lipschitz continuous
                           and [u] 1;Ω is called the Lipschitz modulus. We say that u is locally H¨older
                           or Lipschitz continuous with exponent α on Ω if it is H¨older or Lipschitz
                           continuous with exponent α on every compact subset of Ω, respectively. By
                                                                                         m
                           C m,α (Ω),m ∈ IN 0 , 0 <α ≤ 1, we denote the space of functions in C (Ω)
                           whose m–th order derivatives are locally H¨older or Lipschitz continuous with
                                                             n
                           exponent α on the open subset Ω ⊂ IR .WeremarkthatH¨older continuity
                           may be viewed as a fractional differentiability.
                                                                             m
                              Further, by C m,α (Ω) we denote the subspace of C (Ω) consisting of
                           functions which have m–th order H¨older or Lipschitz continuous derivatives
                           of exponent α in Ω.If Ω is bounded, we define the H¨older or Lipschitz
                           norm by
                                                                    β        β
                                                                  |D u(x) − D u(y)|

                                 
u
       := 
u
     +       sup                       (3.1.1)
                                    C m,α (Ω)    C m (Ω)               |x − y| α
                                                        |β|=m  y∈Ω
                                                              x =y
                           The space C m,α (Ω) equipped with the norm || · ||  is a Banach space.
                                                                      C m,α (Ω)
                           Distributions
                              Let v be a linear functional on D(Ω). Then we denote by  v, ϕ  the image
                           of ϕ ∈D(Ω).
   108   109   110   111   112   113   114   115   116   117   118