Page 115 -
P. 115

98    3. Finite Element Methods for Linear Elliptic Problems

                     1
          For v, w ∈ H (Ω) and i =1,... ,d,

                        ∂ i vwdx = −  v∂ i wdx +   vw ν i dσ .
                      Ω              Ω           ∂Ω
        Proof: See, forexample, [14] or[37].

                                                                    2
                  2
          If v ∈ H (Ω), then due to the above theorem, v| ∂Ω := γ 0 (v) ∈ L (∂Ω)
                                                    1
                               2
        and ∂ i v| ∂Ω := γ 0 (∂ i v) ∈ L (∂Ω), since also ∂ i v ∈ H (Ω). Hence, the normal
        derivative
                                         d

                               ∂ ν v| ∂Ω :=  ∂ i v| ∂Ω ν i
                                        i=1
                                    2
        is well-defined and belongs to L (∂Ω).
          Thus, the trace mapping
                              2
                                                  2
                                         2
                         γ : H (Ω) → L (∂Ω) × L (∂Ω) ,
                                 v   → (v| ∂Ω ,∂ ν v| ∂Ω ) ,
        is well-defined and continuous. The continuity of this mapping follows from
        the fact that it is a composition of continuous mappings:

                                                              2
                 2
                                     1
           v ∈ H (Ω)  continuous  ∂ i v ∈ H (Ω)  continuous  ∂ i v| ∂Ω ∈ L (∂Ω)
                         →
                                              →
                                          continuous            2
                                              →     ∂ i v| ∂Ω ν i ∈ L (∂Ω) .
                                   d
        Corollary 3.9 Suppose Ω ⊂ R is a bounded Lipschitz domain.
                      1
                                 1
         (1) Let w ∈ H (Ω), q i ∈ H (Ω), i =1,... ,d.Then

                      q ·∇wdx = −     ∇· qw dx +    q · νw dσ .     (3.10)
                     Ω              Ω             ∂Ω
                                 1
                      2
         (2) Let v ∈ H (Ω), w ∈ H (Ω).Then

                         ∇v ·∇wdx = −     ∆vwdx +      ∂ ν vw dσ .
                       Ω                Ω            ∂Ω
          The integration by parts formulas also hold more generally if only it is
                                                                    1
        ensured that the function whose trace has to be formed belongs to H (Ω).
                                                1               2
        For example, if K =(k ij ) ,where k ij ∈ W (Ω) and v ∈ H (Ω), w ∈
                                ij              ∞
          1
        H (Ω), it follows that

              K∇v ·∇wdx = −      ∇· (K∇v) wdx +      K∇v · νw dσ    (3.11)
             Ω                 Ω                  ∂Ω
        with conormal derivative (see (0.41))
                                                  d

                                            T
                        v := K∇v · ν = ∇v · K ν =    k ij ∂ j vν i .
                    ∂ ν K
                                                i,j=1
   110   111   112   113   114   115   116   117   118   119   120