Prove that $langle f'(x)h,hranglegeq (1-k) Vert hVert^2$ and that $limlimits_Vert xVertto inftyf(x)=infty$

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











up vote
0
down vote

favorite












Let $f:BbbR^ntoBbbR^n$ be a function of class $C^1$. We suppose that there exists $kin ]0,1[$ such that $$Vert g'(x)Vertleq k,forall;xinBbbR^n$$
where $f(x)=g(x)+x,forall;xinBbbR^n$



Prove that $(i)$ beginalignlangle f'(x)h,hranglegeq (1-k) Vert hVert^2endalign and $(ii)$ beginalignlimlimits_Vert xVertto inftyf(x)=inftyendalign



For the first:



I think we can use directional derivatives
beginalignlangle limlimits_tto 0 fracf(x+th)-f(x)t,hrangle=sum^n_i=1fracpartial f_i(x)partial x_ih^2_iendalign
To me, directional derivatives may not be the only way to show this but I don't even seem to be finding my way through. Please, could someone help? Thanks for your time and efforts!







share|cite|improve this question


























    up vote
    0
    down vote

    favorite












    Let $f:BbbR^ntoBbbR^n$ be a function of class $C^1$. We suppose that there exists $kin ]0,1[$ such that $$Vert g'(x)Vertleq k,forall;xinBbbR^n$$
    where $f(x)=g(x)+x,forall;xinBbbR^n$



    Prove that $(i)$ beginalignlangle f'(x)h,hranglegeq (1-k) Vert hVert^2endalign and $(ii)$ beginalignlimlimits_Vert xVertto inftyf(x)=inftyendalign



    For the first:



    I think we can use directional derivatives
    beginalignlangle limlimits_tto 0 fracf(x+th)-f(x)t,hrangle=sum^n_i=1fracpartial f_i(x)partial x_ih^2_iendalign
    To me, directional derivatives may not be the only way to show this but I don't even seem to be finding my way through. Please, could someone help? Thanks for your time and efforts!







    share|cite|improve this question
























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Let $f:BbbR^ntoBbbR^n$ be a function of class $C^1$. We suppose that there exists $kin ]0,1[$ such that $$Vert g'(x)Vertleq k,forall;xinBbbR^n$$
      where $f(x)=g(x)+x,forall;xinBbbR^n$



      Prove that $(i)$ beginalignlangle f'(x)h,hranglegeq (1-k) Vert hVert^2endalign and $(ii)$ beginalignlimlimits_Vert xVertto inftyf(x)=inftyendalign



      For the first:



      I think we can use directional derivatives
      beginalignlangle limlimits_tto 0 fracf(x+th)-f(x)t,hrangle=sum^n_i=1fracpartial f_i(x)partial x_ih^2_iendalign
      To me, directional derivatives may not be the only way to show this but I don't even seem to be finding my way through. Please, could someone help? Thanks for your time and efforts!







      share|cite|improve this question














      Let $f:BbbR^ntoBbbR^n$ be a function of class $C^1$. We suppose that there exists $kin ]0,1[$ such that $$Vert g'(x)Vertleq k,forall;xinBbbR^n$$
      where $f(x)=g(x)+x,forall;xinBbbR^n$



      Prove that $(i)$ beginalignlangle f'(x)h,hranglegeq (1-k) Vert hVert^2endalign and $(ii)$ beginalignlimlimits_Vert xVertto inftyf(x)=inftyendalign



      For the first:



      I think we can use directional derivatives
      beginalignlangle limlimits_tto 0 fracf(x+th)-f(x)t,hrangle=sum^n_i=1fracpartial f_i(x)partial x_ih^2_iendalign
      To me, directional derivatives may not be the only way to show this but I don't even seem to be finding my way through. Please, could someone help? Thanks for your time and efforts!









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 23 at 11:20

























      asked Aug 23 at 5:17









      Mike

      75615




      75615




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          I do not know, if there is any way to use directional derivatives, but the following should work: We have $g = f - defidmathrmidid$ and hence for each $x in mathbb R^n$ that
          $$ g'(x) = f'(x) - id iff f'(x) = g'(x) + id $$
          Hence $$ def<#1>left<#1right> < f'(x)h,h> = <g'(x)h,h> + |h|^2 $$
          By Cauchy-Schwarz
          $$ <g'(x)h,h> ge -|g'(x)h| |h| ge -k|h|^2 $$
          and hence
          $$ <f'(x)h,h> = <g'(x)h,h> +|h|^2 ge (1-k)|h|^2 $$
          For (ii), use (i). Note that for $x in mathbb R^n$ we have
          beginalign*
          <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\
          &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt\
          &ge <f(0),x> + int_0^1 (1-k)|x|^2, dt\
          &ge -|f(0)||x| + (1-k)|x|^2
          endalign*
          By Cauchy-Schwarz
          beginalign*
          |f(x)| &ge frac<f(x),x>\
          &ge -|f(0)| + (1-k)|x|
          endalign*
          and the result follows.






          share|cite|improve this answer




















          • Thanks a lot! I'll go through the proof, ask questions before thicking!
            – Mike
            Aug 23 at 6:02










          • Please, can you explain how you got beginalign* <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\ endalign* and how did you arrive at this point? beginalign* &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt endalign*
            – Mike
            Aug 23 at 6:51











          • The first is just the fundamental theorem of calculus. Consider the function $h(t) = left<f(tx), xright>$, then we have $$ h(1) - h(0) = int_0^1 h'(t) , dt $$ which is just the first statement. The second statement is derived from the chain rule, note that $$ h'(t) = left< fracddt f(tx), xright> = left< f'(tx) x, xright> $$ by the chain rule, as $f'(tx)$ is the outer and $x$ the inner derivative (note that $fracddt(tx) = x$).
            – martini
            Aug 23 at 10:05











          • Thanks for the explanation! Everything is clear!
            – Mike
            Aug 23 at 11:13











          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%2f2891726%2fprove-that-langle-fxh-h-rangle-geq-1-k-vert-h-vert2-and-that-lim-li%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote



          accepted










          I do not know, if there is any way to use directional derivatives, but the following should work: We have $g = f - defidmathrmidid$ and hence for each $x in mathbb R^n$ that
          $$ g'(x) = f'(x) - id iff f'(x) = g'(x) + id $$
          Hence $$ def<#1>left<#1right> < f'(x)h,h> = <g'(x)h,h> + |h|^2 $$
          By Cauchy-Schwarz
          $$ <g'(x)h,h> ge -|g'(x)h| |h| ge -k|h|^2 $$
          and hence
          $$ <f'(x)h,h> = <g'(x)h,h> +|h|^2 ge (1-k)|h|^2 $$
          For (ii), use (i). Note that for $x in mathbb R^n$ we have
          beginalign*
          <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\
          &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt\
          &ge <f(0),x> + int_0^1 (1-k)|x|^2, dt\
          &ge -|f(0)||x| + (1-k)|x|^2
          endalign*
          By Cauchy-Schwarz
          beginalign*
          |f(x)| &ge frac<f(x),x>\
          &ge -|f(0)| + (1-k)|x|
          endalign*
          and the result follows.






          share|cite|improve this answer




















          • Thanks a lot! I'll go through the proof, ask questions before thicking!
            – Mike
            Aug 23 at 6:02










          • Please, can you explain how you got beginalign* <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\ endalign* and how did you arrive at this point? beginalign* &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt endalign*
            – Mike
            Aug 23 at 6:51











          • The first is just the fundamental theorem of calculus. Consider the function $h(t) = left<f(tx), xright>$, then we have $$ h(1) - h(0) = int_0^1 h'(t) , dt $$ which is just the first statement. The second statement is derived from the chain rule, note that $$ h'(t) = left< fracddt f(tx), xright> = left< f'(tx) x, xright> $$ by the chain rule, as $f'(tx)$ is the outer and $x$ the inner derivative (note that $fracddt(tx) = x$).
            – martini
            Aug 23 at 10:05











          • Thanks for the explanation! Everything is clear!
            – Mike
            Aug 23 at 11:13















          up vote
          1
          down vote



          accepted










          I do not know, if there is any way to use directional derivatives, but the following should work: We have $g = f - defidmathrmidid$ and hence for each $x in mathbb R^n$ that
          $$ g'(x) = f'(x) - id iff f'(x) = g'(x) + id $$
          Hence $$ def<#1>left<#1right> < f'(x)h,h> = <g'(x)h,h> + |h|^2 $$
          By Cauchy-Schwarz
          $$ <g'(x)h,h> ge -|g'(x)h| |h| ge -k|h|^2 $$
          and hence
          $$ <f'(x)h,h> = <g'(x)h,h> +|h|^2 ge (1-k)|h|^2 $$
          For (ii), use (i). Note that for $x in mathbb R^n$ we have
          beginalign*
          <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\
          &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt\
          &ge <f(0),x> + int_0^1 (1-k)|x|^2, dt\
          &ge -|f(0)||x| + (1-k)|x|^2
          endalign*
          By Cauchy-Schwarz
          beginalign*
          |f(x)| &ge frac<f(x),x>\
          &ge -|f(0)| + (1-k)|x|
          endalign*
          and the result follows.






          share|cite|improve this answer




















          • Thanks a lot! I'll go through the proof, ask questions before thicking!
            – Mike
            Aug 23 at 6:02










          • Please, can you explain how you got beginalign* <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\ endalign* and how did you arrive at this point? beginalign* &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt endalign*
            – Mike
            Aug 23 at 6:51











          • The first is just the fundamental theorem of calculus. Consider the function $h(t) = left<f(tx), xright>$, then we have $$ h(1) - h(0) = int_0^1 h'(t) , dt $$ which is just the first statement. The second statement is derived from the chain rule, note that $$ h'(t) = left< fracddt f(tx), xright> = left< f'(tx) x, xright> $$ by the chain rule, as $f'(tx)$ is the outer and $x$ the inner derivative (note that $fracddt(tx) = x$).
            – martini
            Aug 23 at 10:05











          • Thanks for the explanation! Everything is clear!
            – Mike
            Aug 23 at 11:13













          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          I do not know, if there is any way to use directional derivatives, but the following should work: We have $g = f - defidmathrmidid$ and hence for each $x in mathbb R^n$ that
          $$ g'(x) = f'(x) - id iff f'(x) = g'(x) + id $$
          Hence $$ def<#1>left<#1right> < f'(x)h,h> = <g'(x)h,h> + |h|^2 $$
          By Cauchy-Schwarz
          $$ <g'(x)h,h> ge -|g'(x)h| |h| ge -k|h|^2 $$
          and hence
          $$ <f'(x)h,h> = <g'(x)h,h> +|h|^2 ge (1-k)|h|^2 $$
          For (ii), use (i). Note that for $x in mathbb R^n$ we have
          beginalign*
          <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\
          &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt\
          &ge <f(0),x> + int_0^1 (1-k)|x|^2, dt\
          &ge -|f(0)||x| + (1-k)|x|^2
          endalign*
          By Cauchy-Schwarz
          beginalign*
          |f(x)| &ge frac<f(x),x>\
          &ge -|f(0)| + (1-k)|x|
          endalign*
          and the result follows.






          share|cite|improve this answer












          I do not know, if there is any way to use directional derivatives, but the following should work: We have $g = f - defidmathrmidid$ and hence for each $x in mathbb R^n$ that
          $$ g'(x) = f'(x) - id iff f'(x) = g'(x) + id $$
          Hence $$ def<#1>left<#1right> < f'(x)h,h> = <g'(x)h,h> + |h|^2 $$
          By Cauchy-Schwarz
          $$ <g'(x)h,h> ge -|g'(x)h| |h| ge -k|h|^2 $$
          and hence
          $$ <f'(x)h,h> = <g'(x)h,h> +|h|^2 ge (1-k)|h|^2 $$
          For (ii), use (i). Note that for $x in mathbb R^n$ we have
          beginalign*
          <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\
          &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt\
          &ge <f(0),x> + int_0^1 (1-k)|x|^2, dt\
          &ge -|f(0)||x| + (1-k)|x|^2
          endalign*
          By Cauchy-Schwarz
          beginalign*
          |f(x)| &ge frac<f(x),x>\
          &ge -|f(0)| + (1-k)|x|
          endalign*
          and the result follows.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 23 at 5:55









          martini

          69.2k45788




          69.2k45788











          • Thanks a lot! I'll go through the proof, ask questions before thicking!
            – Mike
            Aug 23 at 6:02










          • Please, can you explain how you got beginalign* <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\ endalign* and how did you arrive at this point? beginalign* &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt endalign*
            – Mike
            Aug 23 at 6:51











          • The first is just the fundamental theorem of calculus. Consider the function $h(t) = left<f(tx), xright>$, then we have $$ h(1) - h(0) = int_0^1 h'(t) , dt $$ which is just the first statement. The second statement is derived from the chain rule, note that $$ h'(t) = left< fracddt f(tx), xright> = left< f'(tx) x, xright> $$ by the chain rule, as $f'(tx)$ is the outer and $x$ the inner derivative (note that $fracddt(tx) = x$).
            – martini
            Aug 23 at 10:05











          • Thanks for the explanation! Everything is clear!
            – Mike
            Aug 23 at 11:13

















          • Thanks a lot! I'll go through the proof, ask questions before thicking!
            – Mike
            Aug 23 at 6:02










          • Please, can you explain how you got beginalign* <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\ endalign* and how did you arrive at this point? beginalign* &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt endalign*
            – Mike
            Aug 23 at 6:51











          • The first is just the fundamental theorem of calculus. Consider the function $h(t) = left<f(tx), xright>$, then we have $$ h(1) - h(0) = int_0^1 h'(t) , dt $$ which is just the first statement. The second statement is derived from the chain rule, note that $$ h'(t) = left< fracddt f(tx), xright> = left< f'(tx) x, xright> $$ by the chain rule, as $f'(tx)$ is the outer and $x$ the inner derivative (note that $fracddt(tx) = x$).
            – martini
            Aug 23 at 10:05











          • Thanks for the explanation! Everything is clear!
            – Mike
            Aug 23 at 11:13
















          Thanks a lot! I'll go through the proof, ask questions before thicking!
          – Mike
          Aug 23 at 6:02




          Thanks a lot! I'll go through the proof, ask questions before thicking!
          – Mike
          Aug 23 at 6:02












          Please, can you explain how you got beginalign* <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\ endalign* and how did you arrive at this point? beginalign* &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt endalign*
          – Mike
          Aug 23 at 6:51





          Please, can you explain how you got beginalign* <f(x),x> &= <f(0),x> + int_0^1 fracddt <f(tx),x>, dt\ endalign* and how did you arrive at this point? beginalign* &= <f(0),x> + int_0^1 <f'(tx)x,x> , dt endalign*
          – Mike
          Aug 23 at 6:51













          The first is just the fundamental theorem of calculus. Consider the function $h(t) = left<f(tx), xright>$, then we have $$ h(1) - h(0) = int_0^1 h'(t) , dt $$ which is just the first statement. The second statement is derived from the chain rule, note that $$ h'(t) = left< fracddt f(tx), xright> = left< f'(tx) x, xright> $$ by the chain rule, as $f'(tx)$ is the outer and $x$ the inner derivative (note that $fracddt(tx) = x$).
          – martini
          Aug 23 at 10:05





          The first is just the fundamental theorem of calculus. Consider the function $h(t) = left<f(tx), xright>$, then we have $$ h(1) - h(0) = int_0^1 h'(t) , dt $$ which is just the first statement. The second statement is derived from the chain rule, note that $$ h'(t) = left< fracddt f(tx), xright> = left< f'(tx) x, xright> $$ by the chain rule, as $f'(tx)$ is the outer and $x$ the inner derivative (note that $fracddt(tx) = x$).
          – martini
          Aug 23 at 10:05













          Thanks for the explanation! Everything is clear!
          – Mike
          Aug 23 at 11:13





          Thanks for the explanation! Everything is clear!
          – Mike
          Aug 23 at 11:13


















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2891726%2fprove-that-langle-fxh-h-rangle-geq-1-k-vert-h-vert2-and-that-lim-li%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

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

          Carbon dioxide