Results 1 to 4 of 4

Math Help - smooth function

  1. #1
    Member
    Joined
    Sep 2010
    From
    Germany
    Posts
    112
    Thanks
    4

    smooth function

    show that

    f(x,y,z)=\frac{1}{z^2+1}(x^2-y^2,2xy,2z) defines a smooth function f: S^{2}\to S^{2} where S^{2}=\{p\in \mathbb{R}^3, |p|=1\} so I am guessing it is a unit sphere.

    How do we proceed with such problem?

    f is a smooth function if all partial derivatives of all possible orders are defined in all points of the domain of f right?

    I started with computing these partial derivatives

    \frac{\partial f}{\partial x}=\frac{1}{z^2+1}(2x,2y,0)


    \frac{\partial f}{\partial y}=\frac{1}{z^2+1}(-2y,2x,0)


    \frac{\partial f}{\partial z}=\frac{-2(z^2-1)}{(z^2+1)^2}

    and these partial derivatives are all defined at any point from the domain of f

    so I compute second order partial derivatives

    \frac{\partial^2 f}{\partial x^2}=\frac{2}{z^2+1}

    \frac{\partial^2 f}{\partial y^2}=\frac{-2}{z^2+1}

    \frac{\partial^2 f}{\partial z^2}=\frac{4z(z^2-3)}{(z^2+1)^3}

    and these 3 are also defined for all the points of the domain.



    if I continue differentiating

    \frac{\partial^3 f}{\partial x^3}=\frac{\partial^3 f}{\partial y^3}=0 and

    \frac{\partial^3 f}{\partial z^3}=-\frac{12(z^4-6z^2+1)}{(z^2+1)^4} which is defined for all points

    What should I do next? can I conclude based on the calculations that f is certainly smooth?


    Thanks in advance
    Last edited by rayman; February 18th 2013 at 01:53 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23

    Re: smooth function

    f is obviously smooth on R^3. So what you need to show is, when f is restricted to S^2, its image is in S^2.
    That is, to show that [(x^2-y^2)^2 + (2xy)^2 + (2z)^2]/(1+z^2)^2 = 1, given that x^2+y^2+z^2=1.
    Which is easy to show.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Sep 2010
    From
    Germany
    Posts
    112
    Thanks
    4

    Re: smooth function

    so showing all the computations above were not necessary if I am supposed to restrict myself to S^{2} right?
    But I still don't get how to show \Biggl[(x^2-y^2)^2+(2xy)^2+(2z)^2\Biggr]\frac{1}{(z^2+1)^2}=1 how does this imply that f will be smooth on the sphere???
    Last edited by rayman; February 18th 2013 at 10:25 AM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Mar 2010
    From
    Beijing, China
    Posts
    293
    Thanks
    23

    Re: smooth function

     (x^2-y^2)^2 + (2xy)^2 + (2z)^2=(x^2+y^2)^2 + (2z)^2
    = (1-z^2)^2+(2z)^2=(1+z^2)^2

    This shows that f|_{S^2} indeed maps to S^2.

    Then f is smooth because "the restriction of a smooth function on a smooth sub-manifold is smooth".
    To prove the above statement, let i: S^2 \rightarrow R^3 is the smooth embedding of S^2 in R^3,
    f : R^3 \rightarrow S^2 is a smooth map on R^3, then f|_{S^2} = f \circ i is smooth on S^2.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. smooth function
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 20th 2011, 06:15 AM
  2. Replies: 1
    Last Post: March 26th 2011, 09:10 AM
  3. Smooth Function R^3 -> R^4
    Posted in the Calculus Forum
    Replies: 5
    Last Post: February 12th 2011, 10:54 AM
  4. Replies: 1
    Last Post: October 7th 2010, 08:54 PM
  5. Smooth function
    Posted in the Calculus Forum
    Replies: 1
    Last Post: April 6th 2008, 02:40 PM

Search Tags


/mathhelpforum @mathhelpforum