Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x)$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.



Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$



If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.







share|cite|improve this question






















  • One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
    – Sobi
    Aug 21 at 9:47











  • @Sobi: That was what I saw in the past question! Anyway, I'll change it!
    – Mike
    Aug 21 at 9:49










  • $langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
    – Sobi
    Aug 21 at 9:51










  • @Sobi: I edited it!
    – Mike
    Aug 21 at 9:52














up vote
1
down vote

favorite












Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.



Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$



If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.







share|cite|improve this question






















  • One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
    – Sobi
    Aug 21 at 9:47











  • @Sobi: That was what I saw in the past question! Anyway, I'll change it!
    – Mike
    Aug 21 at 9:49










  • $langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
    – Sobi
    Aug 21 at 9:51










  • @Sobi: I edited it!
    – Mike
    Aug 21 at 9:52












up vote
1
down vote

favorite









up vote
1
down vote

favorite











Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.



Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$



If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.







share|cite|improve this question














Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.



Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$



If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 21 at 9:50

























asked Aug 21 at 9:35









Mike

75615




75615











  • One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
    – Sobi
    Aug 21 at 9:47











  • @Sobi: That was what I saw in the past question! Anyway, I'll change it!
    – Mike
    Aug 21 at 9:49










  • $langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
    – Sobi
    Aug 21 at 9:51










  • @Sobi: I edited it!
    – Mike
    Aug 21 at 9:52
















  • One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
    – Sobi
    Aug 21 at 9:47











  • @Sobi: That was what I saw in the past question! Anyway, I'll change it!
    – Mike
    Aug 21 at 9:49










  • $langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
    – Sobi
    Aug 21 at 9:51










  • @Sobi: I edited it!
    – Mike
    Aug 21 at 9:52















One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
– Sobi
Aug 21 at 9:47





One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
– Sobi
Aug 21 at 9:47













@Sobi: That was what I saw in the past question! Anyway, I'll change it!
– Mike
Aug 21 at 9:49




@Sobi: That was what I saw in the past question! Anyway, I'll change it!
– Mike
Aug 21 at 9:49












$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
– Sobi
Aug 21 at 9:51




$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
– Sobi
Aug 21 at 9:51












@Sobi: I edited it!
– Mike
Aug 21 at 9:52




@Sobi: I edited it!
– Mike
Aug 21 at 9:52










2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










$f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
a + h) = f(a) + phi(a).h + o(h)$$



When $h$ approaches $0$.



In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.

Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.



This means $f'(a) = langle 2a, cdot rangle$.

Using the jacobian matrix, we have $J_f(a) = 2a^T$.

In terms of gradient, we have $nabla f(a) = 2a$.



Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.

Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:



$$g'(a) = frac12sqrt f(a) f'(a)$$






share|cite|improve this answer



























    up vote
    2
    down vote













    Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
    $$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
    Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
    $$ fracpartial fpartial x_j = 2x_j, $$
    and the derivative is the $1 times n$ matrix (also known as the gradient)
    $$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$



    For $g$, note that $ langle x,x rangle geq 0 $
    with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.



    Can you compute the derivative of $g$ on your own now?






    share|cite|improve this answer






















      Your Answer




      StackExchange.ifUsing("editor", function ()
      return StackExchange.using("mathjaxEditing", function ()
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      );
      );
      , "mathjax-editing");

      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "69"
      ;
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function()
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled)
      StackExchange.using("snippets", function()
      createEditor();
      );

      else
      createEditor();

      );

      function createEditor()
      StackExchange.prepareEditor(
      heartbeatType: 'answer',
      convertImagesToLinks: true,
      noModals: false,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      );



      );








       

      draft saved


      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2889677%2fprove-that-f-and-g-are-differentiable-on-bbbrn-and-bbbrn-0%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      2
      down vote



      accepted










      $f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
      a + h) = f(a) + phi(a).h + o(h)$$



      When $h$ approaches $0$.



      In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.

      Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.



      This means $f'(a) = langle 2a, cdot rangle$.

      Using the jacobian matrix, we have $J_f(a) = 2a^T$.

      In terms of gradient, we have $nabla f(a) = 2a$.



      Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.

      Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:



      $$g'(a) = frac12sqrt f(a) f'(a)$$






      share|cite|improve this answer
























        up vote
        2
        down vote



        accepted










        $f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
        a + h) = f(a) + phi(a).h + o(h)$$



        When $h$ approaches $0$.



        In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.

        Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.



        This means $f'(a) = langle 2a, cdot rangle$.

        Using the jacobian matrix, we have $J_f(a) = 2a^T$.

        In terms of gradient, we have $nabla f(a) = 2a$.



        Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.

        Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:



        $$g'(a) = frac12sqrt f(a) f'(a)$$






        share|cite|improve this answer






















          up vote
          2
          down vote



          accepted







          up vote
          2
          down vote



          accepted






          $f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
          a + h) = f(a) + phi(a).h + o(h)$$



          When $h$ approaches $0$.



          In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.

          Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.



          This means $f'(a) = langle 2a, cdot rangle$.

          Using the jacobian matrix, we have $J_f(a) = 2a^T$.

          In terms of gradient, we have $nabla f(a) = 2a$.



          Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.

          Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:



          $$g'(a) = frac12sqrt f(a) f'(a)$$






          share|cite|improve this answer












          $f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
          a + h) = f(a) + phi(a).h + o(h)$$



          When $h$ approaches $0$.



          In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.

          Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.



          This means $f'(a) = langle 2a, cdot rangle$.

          Using the jacobian matrix, we have $J_f(a) = 2a^T$.

          In terms of gradient, we have $nabla f(a) = 2a$.



          Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.

          Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:



          $$g'(a) = frac12sqrt f(a) f'(a)$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 21 at 10:59









          horace

          1313




          1313




















              up vote
              2
              down vote













              Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
              $$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
              Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
              $$ fracpartial fpartial x_j = 2x_j, $$
              and the derivative is the $1 times n$ matrix (also known as the gradient)
              $$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$



              For $g$, note that $ langle x,x rangle geq 0 $
              with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.



              Can you compute the derivative of $g$ on your own now?






              share|cite|improve this answer


























                up vote
                2
                down vote













                Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
                $$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
                Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
                $$ fracpartial fpartial x_j = 2x_j, $$
                and the derivative is the $1 times n$ matrix (also known as the gradient)
                $$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$



                For $g$, note that $ langle x,x rangle geq 0 $
                with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.



                Can you compute the derivative of $g$ on your own now?






                share|cite|improve this answer
























                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
                  $$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
                  Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
                  $$ fracpartial fpartial x_j = 2x_j, $$
                  and the derivative is the $1 times n$ matrix (also known as the gradient)
                  $$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$



                  For $g$, note that $ langle x,x rangle geq 0 $
                  with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.



                  Can you compute the derivative of $g$ on your own now?






                  share|cite|improve this answer














                  Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
                  $$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
                  Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
                  $$ fracpartial fpartial x_j = 2x_j, $$
                  and the derivative is the $1 times n$ matrix (also known as the gradient)
                  $$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$



                  For $g$, note that $ langle x,x rangle geq 0 $
                  with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.



                  Can you compute the derivative of $g$ on your own now?







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Aug 21 at 10:07

























                  answered Aug 21 at 10:01









                  Sobi

                  1,870313




                  1,870313






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2889677%2fprove-that-f-and-g-are-differentiable-on-bbbrn-and-bbbrn-0%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      How to combine Bézier curves to a surface?

                      Mutual Information Always Non-negative

                      Why am i infinitely getting the same tweet with the Twitter Search API?