1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Derivative of vector-valued function.

  1. Jul 7, 2009 #1
    1. The problem statement, all variables and given/known data

    Consider the mapping [tex]f: R^3 \rightarrow R^2[/tex] defined by

    [tex]f (x_1, x_2, x_3) = (x_1 e^{x_2}, x_2 e^{x_3})[/tex].

    i) Show that the mapping [tex]f(x)[/tex] is differentiable and find its derivative at the origin.
    ii) Show that the equation [tex]f(x) = a[/tex] for any point [tex]a \in R^2[/tex] determines a one-dimensional submanifold [tex]C \subset R^2[/tex], a smooth curve C in the three-dimensional space that can be described locally by giving two of the three variables [tex]x_1, x_2, x_3[/tex] as functions of the other variable.
    iii) Find a tangent vector to the curve [tex]f(x) = (e, e)[/tex] at the point (1, 1, 1).

    2. Relevant equations

    I'm studying on my own, and unfortunately no solution is provided for this problem. I've got everything pretty much figured out, and only have some small questions. Can someone please look over my work & let me know anything I'm doing wrong? Thanks.

    3. The attempt at a solution

    i)

    The derivative matrix is:
    [[tex]e^{x_2} x_1 e^{x_2} 0[/tex]]
    [[tex]0 e^{x_3} x_2 e^{x_3}[/tex]]

    The existance of this matrix shows that [tex]f(x)[/tex] is differentiable. (Is my reasoning here valid? Or would I need to do more to show that the function is valid?)

    The derivative matrix at the origin is:
    [1 0 0]
    [0 1 0]

    ii)
    We have:
    [tex]x_1 e^{x_2} = a_1[/tex] and [tex]x_2 e^{x_3} = a_2[/tex]. Adding them gives [tex]x_1 e^{x_2} + x_2 e^{x_3} - (a_1 + a_2) = 0[/tex], and we let this equation be called [tex]g(x)[/tex]. [tex]\nabla g(x) = (e^{x_2}, x_1 e^{x_2} + e^{x_3}, x_2 e^{x_3})[/tex]. By the implicit function theorem, since [tex]\nabla g(x)[/tex] is never zero (because [tex]e^{x_2}[/tex] is never zero), this curve can be solved locally anywhere. I'm unsure about how to show that this is a curve instead of a surface...

    iii) Plug in (1, 1, 1) into [tex]\nabla g(x)[/tex], we have (e, 2e, e).
     
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted