Homework Assignments for MA7760 Mathematical Foundations for FEM (Fall 1999)

    Mon. and Wed. 4:00-5:15pm; CU-bldg 641                                             Lynn S. Bennethum

    *********************************************************
    HW 11:  Due Wed.  Nov 24
       Ch 4:  15 (see hint in book)
    *********************************************************
    HW 10:  Due Wed.  Nov 17
       Ch3:   9, 13, 26, 30;
              Extra Problem 3.1, 3.2
    *********************************************************
    HW 9:  Due Wed.  Oct. 27
       Ch3:   3

    *********************************************************
    HW 8:  Due Wed.  Oct. 20
       Extra Problem 2.1
       Ch2:   10, 11

    *********************************************************
    HW 7:  Due Wed.  Oct. 13
       Extra Problem 1.5
       Ch2:   5, 7

    *********************************************************
    HW 6:  Due Wed.  Oct. 6.
       Ch 1:  33, 35, 36, 42
       Ch2:   1

    *********************************************************
    HW 5:  Due Wed.  Sept. 29.
       Ch 1:  23
         Extra Problems 1.3, 1.4

    *********************************************************
    HW 4:  Due Wed.  Sept. 22.
       Ch 1:  5, 8, 10, 13

         Extra Problems 1.1, 1.2
    *********************************************************
    HW 3:  Due Wed.  Sept. 15.
       Ch 0:  9
       Ch 1: 3
       Look at expression (1.1.11)

    *********************************************************
    HW 2:  Due Wed.  Sept. 8.
       Ch 0:  5, 6, 7, 8
    *********************************************************
    HW 1:  Due Wed.  Sept. 1.
       Ch 0:  2, 3, 4
    *********************************************************
    Ch 0:
       2, 3, 4, 5, 6, 7, 8, 9 (assume  v is in C^1).

    Ch 1:

        3, 5 (do for 3-dimensions only), 8, 10, 13 (for n=2,3 only), 23, 33, 35, 36(?)
        Extra problem 1.1 (section 1.3):
    a)  Prove that Lipschitz functions are continuous.
    b)  Prove that |x| is Lip([-1,1]), i.e. Lipschitz functions can
    have corners.
         Extra problem 1.2 (section 1.3):
    We proved in class that W^1_p (I) is "contained" in C^0 (I)
    for n=1, I=[a,b].
    a)  Prove that the statement is not true if I is not bounded by finding a counter-example.
    b)  Containment the other way is in general not true, however for p=1 it is true for absolutely continuous functions - see exercise 17 (look at, do not prove).
          Extra problem 1.3 (section 1.4):
     Suppose u is in W^1_p (R) 1<= p < infty.  Prove that lim(as x goes to +- infty) u(x) =0.
    (Hint:  Use the fact that C^{infty}_0 is dense in W^1_0 and the continuous imbedding  of W^1_p  in L^{infty}).  Is this true for p=infinity?  Why?
          Extra problem 1.4 (section 1.4):
          Let u,v lie in W^1_p (I), I a bounded domain in 1-dimension, 1 <= p < infty.  Prove that
    uv is in W^1_p (I), and (uv)'=u'v+uv'
    (Hint:  Use same hint as in Extra problem 1.3).
    This is also true for p= infty, but must be proven a different way - try this as well (hint:  use W^1_{infty} is contained in W^1_1(I) ).
            Extra problem 1.4 (section 1.4):
                   Show that |||u|||_{W^1_p} = ||u||_p + sum ||\frac{partial u}{partial x_i}||_p
                        and ||u|| _{W^1_p} = ||u||_p^p + sum ||\frac{partial u}{partial x_i}||_p^p]^{1/p}  are equivalent norms

    Ch 2:
            1, 5, 7, 10, 11
            Extra problem 2.1 (section 2.9):
                    Prove that the problem of section 2.9 is continuous and coercive.

    Ch 3:
            3, 9, 13, 26 (specific example will suffice), 30

           Extra Problem 3.1  (section 3.4):
                   As in class find the basis functions in terms of the barycentric
                   coordinates for a tetrahedron in R^3 for k=1 and k=2

           Extra Problem 3.2  (section 3.5):
                   Determine the basis function for the serendipity element on the rectangle with
                    vertices (1,1), (-1,1), (-1,-1), (1,-1).   Which terms of
                    c_0 + c_1 x + c_2 y + c_3 x^2 + c_4 xy + c_5 y^2 + c_6 xy^2 + c_7 x^2 y + c_7 x^2 y
                      + c_8 x^2 y^2
                     are missing?