Results 1 to 5 of 5

Math Help - Multivariable Differential Mapping

  1. #1
    Super Member redsoxfan325's Avatar
    Joined
    Feb 2009
    From
    Swampscott, MA
    Posts
    943

    Multivariable Differential Mapping

    If p:\mathbb{R}^n\to\mathbb{R}^m is a linear map plus some constant and f:A\subset\mathbb{R}^m\to\mathbb{R}^s is k times differentiable, prove that:

    \textbf{D}^k(f\circ p)(x_0)(x_1,...,x_k)=\textbf{D}^k f(p(x_0))(\textbf{D}p(x_0)(x_1),...,\textbf{D}p(x_  0)(x_k))

    So I started by induction. Using the chain rule,

    \textbf{D}(f\circ p)(x_0)(x_1)=(\textbf{D}f(p(x_0))\textbf{D}p(x_0))  (x_1)

    Terrific. So next I assumed that the \textbf{D}^k statement was true. Proceeding for \textbf{D}^{k+1}, I looked at:

    \textbf{D}\bigg(\textbf{D}^k(f\circ p)(x_0)(x_1,...,x_{k+1})\bigg)

    Here's where I run into trouble though. I would like to use the induction hypothesis on the stuff inside the big parenthesis, but the fact that there are now k+1 components is throwing me off. Another thing that's not helping is the fact that I'm not really comfortable with this notation. I understand that \textbf{D}^k(f\circ p)(x_0) is the kth derivative of f\circ p evaluated at the point x_0, and I'm applying it to (x_1,...,x_k) but is (x_1,...,x_k) a vector, or are x_1,...,x_k each vectors on their own?

    So that's where I stand on this problem. Any help is appreciated.
    Last edited by redsoxfan325; November 19th 2009 at 10:19 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Apr 2009
    From
    México
    Posts
    721
    Is there any relation between n, m and s? It just seems weird, seeing as you're talking about derivatives and composition.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member redsoxfan325's Avatar
    Joined
    Feb 2009
    From
    Swampscott, MA
    Posts
    943
    It's a typo. Should be p:\mathbb{R}^n\to\mathbb{R}^m. But there's no relation other than that.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member
    Joined
    Apr 2009
    From
    México
    Posts
    721
    Have you seen that \textbf{D} ^kp : \mathbb{R} ^n \rightarrow \mathcal{M}( \left( \mathbb{R} ^n \right) ^k , \mathbb{R} ^m )  := \{ g: \left( \mathbb{R} ^n \right) ^k \rightarrow \mathbb{R} ^m : g \ is \ a \ multilinear \ continous \ function \} ?

    Knowing this I think it's easier to see what you're trying to do, since from this point of view it's clear that (x_1,...,x_k) \in \left( \mathbb{R} ^n \right) ^k and you're basically trying to prove a chain rule for \textbf{D} ^k f \circ p.

    On another note, isn't \textbf{D}^kp =0 for all k\geq 2 since \textbf{D} p(x_0)=L for all x_0 where p(x)=Lx +b?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Super Member redsoxfan325's Avatar
    Joined
    Feb 2009
    From
    Swampscott, MA
    Posts
    943
    I need to quit being so copy-paste happy (or just get some sleep). I just checked the problem in the book; there aren't supposed to be ^k on the \textbf{D}.

    So can I split up the \textbf{D}\bigg(\textbf{D}^k(f\circ p)(x_0)(x_1,...,x_{k+1})\bigg) into \textbf{D}\bigg(\textbf{D}^k(f\circ p)(x_0)(x_1,...,x_k)\bigg)(x_{k+1})?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. mapping
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: April 5th 2011, 06:16 PM
  2. Multivariable differential with integral questions
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: March 1st 2011, 07:48 PM
  3. Complex open mapping & conformal mapping problems.
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: February 22nd 2011, 07:26 AM
  4. Mapping
    Posted in the Algebra Forum
    Replies: 1
    Last Post: September 26th 2010, 06:49 PM
  5. multivariable differential for inner product(scalar product)?
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: October 23rd 2009, 05:40 PM

Search Tags


/mathhelpforum @mathhelpforum