M414 - MIDTERM

Due Monday, March 28, 2016

Name:
Do all problems. They all count equally. You can only use material
covered in the course.
Problem 1. Discuss the validity of the following statement: a realvalued function f is Riemann integrable on an interval I Rn if and
only if |f | is Riemann integrable on I.
Problem 2. Let D = {x R2 : x41 + x42 + 3x1 x2 = 2}. Find the
points in D which are farthest from the origin.
Problem 3. Let D = {x R3 : x1 x2 + x1 x3 + x2 x3 = 1} and
f (x) = x21 + x22 + (9/2)x23 . Prove that inf xD f (x) is achieved and nd
it.
Problem 4. Let D1 = {x R4 : x1 x2 + x3 + x4 4 = 0} and
D2 = {x R4 : x1 + x2 x3 + x4 + 6 = 0}. Find the maximum value
of f (x1 , x2 , x3 , x4 ) = x21 + x22 + x23 + x24 for x D1 D2 .
For this problem you can discuss intuitively how you would extend
the Lagrange Multiplier Theorem to this case, and use your extension
to solve it.
Problem 5. Let f : Rn Rn be a continuously dierentiable
function and g : Rn R a continuously dierentiable function with
nonvanishing gradient such that g f 0 identically. What can you
say about the Jacobian determinant of f ?
Problem 6. Prove that the system
w2 + 2x2 + y 2 z 2 = 6
wxy xyz = 1

determines w and x implicitly as dierentiable functions of y and z in

a neighborhood of the point (1, 1, 2, 1) in (w, x, y, z) space. Find the
values of the partial derivatives of w and x with respect to y and z at
that point.
Problem 7. Discuss the validity of the following statement: For
every point (x0 , y0 , z0 ) R3 there is a pair of dierentiable functions
x(z), y(z) dened on some interval around z0 so that x(z0 ) = x0 , y(z0 ) =
y0 and x(z), y(z) solve this system
x2 + zy 2z 2 = 1
xyz = 4
Problem 8. Let f : R2 R2 be given by
f (x, y) = (x2 y + x, 6x + y 2 ) .
Discuss the validity of the following statements: there exists a local
inverse of f at: (a) (x, y) = (1, 1); (b) (x, y) = (1, 1).
Problem 9. Let = X Rn be compact, Y Rn connected, and
f : X Y a continuous dierentiable map such that f (x) is invertible
for all x X. Prove that f is surjective.
Is the assumption that X be compact necessary?