Existence of solutions of the equation with a limit.












3












$begingroup$


Let f be continuous function on [0,1] and
$$lim_{x→0} frac{f(x + frac13) + f(x + frac23)}{x}=1$$
Prove that exist $x_{0}in[0,1]$ which satisfies equation $f(x_{0})=0$



I suppouse that the numerator should approach $0$ which would implicate that for
x near $0$ $f(x + frac13)$ would be of opposite sign then $f(x + frac23)$ or both be $0$.
Then by intermediate value theorem we would know that there is $x_{0}in[frac13,frac23]$ which fulfill $f(x_{0})=0$



Yet, I have no idea how to prove that numerator $rightarrow 0$










share|cite|improve this question









$endgroup$

















    3












    $begingroup$


    Let f be continuous function on [0,1] and
    $$lim_{x→0} frac{f(x + frac13) + f(x + frac23)}{x}=1$$
    Prove that exist $x_{0}in[0,1]$ which satisfies equation $f(x_{0})=0$



    I suppouse that the numerator should approach $0$ which would implicate that for
    x near $0$ $f(x + frac13)$ would be of opposite sign then $f(x + frac23)$ or both be $0$.
    Then by intermediate value theorem we would know that there is $x_{0}in[frac13,frac23]$ which fulfill $f(x_{0})=0$



    Yet, I have no idea how to prove that numerator $rightarrow 0$










    share|cite|improve this question









    $endgroup$















      3












      3








      3





      $begingroup$


      Let f be continuous function on [0,1] and
      $$lim_{x→0} frac{f(x + frac13) + f(x + frac23)}{x}=1$$
      Prove that exist $x_{0}in[0,1]$ which satisfies equation $f(x_{0})=0$



      I suppouse that the numerator should approach $0$ which would implicate that for
      x near $0$ $f(x + frac13)$ would be of opposite sign then $f(x + frac23)$ or both be $0$.
      Then by intermediate value theorem we would know that there is $x_{0}in[frac13,frac23]$ which fulfill $f(x_{0})=0$



      Yet, I have no idea how to prove that numerator $rightarrow 0$










      share|cite|improve this question









      $endgroup$




      Let f be continuous function on [0,1] and
      $$lim_{x→0} frac{f(x + frac13) + f(x + frac23)}{x}=1$$
      Prove that exist $x_{0}in[0,1]$ which satisfies equation $f(x_{0})=0$



      I suppouse that the numerator should approach $0$ which would implicate that for
      x near $0$ $f(x + frac13)$ would be of opposite sign then $f(x + frac23)$ or both be $0$.
      Then by intermediate value theorem we would know that there is $x_{0}in[frac13,frac23]$ which fulfill $f(x_{0})=0$



      Yet, I have no idea how to prove that numerator $rightarrow 0$







      limits continuity






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 4 '15 at 8:45









      dyrAnddyrAnd

      16511




      16511






















          5 Answers
          5






          active

          oldest

          votes


















          6












          $begingroup$

          Clearly we can see that $$lim_{x to 0}f(x + 1/3) + f(x + 2/3) = lim_{x to 0}xcdotfrac{f(x + 1/3) + f(x + 2/3)}{x} = 0 cdot 1 = 0$$ and by continuity of $f$ we see that this implies $f(1/3) + f(2/3) = 0$. If $f(1/3) = 0$ then we are done. If $f(1/3) neq 0$ then both $f(1/3)$ and $f(2/3)$ are of opposite signs and hence by intermediate value theorem there is an $x_{0} in (1/3, 2/3)$ for which $f(x_{0}) = 0$.






          share|cite|improve this answer









          $endgroup$





















            2












            $begingroup$

            Hint: If the numerator doesn't go to $0$, can the limit goes to 1? At first suppose that there exists $lim_{xto 0} (f(x+1/3)+f(x+2/3))$ and isn't zero.






            share|cite|improve this answer









            $endgroup$





















              2












              $begingroup$

              First, prove that the numerator should be zero. You can do this by contradiction. Prove that if $$lim_{xto 0} f(x+frac13) + f(x+frac23)neq 0$$



              then the original limit cannot exist.



              Now, you can use continuity to show that $f(frac23) + f(frac13)=0$, and then use a well known theorem to finish your proof.






              share|cite|improve this answer









              $endgroup$





















                0












                $begingroup$

                If
                $$
                lim frac{f(x)}{g(x)}=0
                $$
                and
                $$
                lim g(x)=0,
                $$
                then
                $$
                lim f(x) = lim frac{f(x)}{g(x)} cdot g(x) =0.
                $$






                share|cite|improve this answer









                $endgroup$













                • $begingroup$
                  I think I do not understand. What $f$ and $g$ should I choose in this example?
                  $endgroup$
                  – dyrAnd
                  Aug 4 '15 at 8:55



















                0












                $begingroup$

                I have a slightly different idea:



                The codintion indicates that: $f(x+1/3) + f(x+2/3)$ is an equivalent infinitesimal to the function $x$.., which means that $f(x+1/3)+f(x+2/3)$ is equivalent to $ o(x)$, when $x$ is infinitely small...



                So $f(x+1/3)+f(x+2/3)approx a_0 + a_1x$ and $a_0 = 0$, $a_1 = 0$ or $1$.



                $a_1=0$ apparently leads to the result..
                if $a_1 = 1$, it $f(x+1/3)+f(1+2/3)=x$. so $f(1/3)+f(2/3)=0$, which also leads to the conclusion.






                share|cite|improve this answer









                $endgroup$














                  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',
                  autoActivateHeartbeat: false,
                  convertImagesToLinks: true,
                  noModals: true,
                  showLowRepImageUploadWarning: true,
                  reputationToPostImages: 10,
                  bindNavPrevention: true,
                  postfix: "",
                  imageUploader: {
                  brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
                  contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
                  allowUrls: true
                  },
                  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%2f1383883%2fexistence-of-solutions-of-the-equation-with-a-limit%23new-answer', 'question_page');
                  }
                  );

                  Post as a guest















                  Required, but never shown

























                  5 Answers
                  5






                  active

                  oldest

                  votes








                  5 Answers
                  5






                  active

                  oldest

                  votes









                  active

                  oldest

                  votes






                  active

                  oldest

                  votes









                  6












                  $begingroup$

                  Clearly we can see that $$lim_{x to 0}f(x + 1/3) + f(x + 2/3) = lim_{x to 0}xcdotfrac{f(x + 1/3) + f(x + 2/3)}{x} = 0 cdot 1 = 0$$ and by continuity of $f$ we see that this implies $f(1/3) + f(2/3) = 0$. If $f(1/3) = 0$ then we are done. If $f(1/3) neq 0$ then both $f(1/3)$ and $f(2/3)$ are of opposite signs and hence by intermediate value theorem there is an $x_{0} in (1/3, 2/3)$ for which $f(x_{0}) = 0$.






                  share|cite|improve this answer









                  $endgroup$


















                    6












                    $begingroup$

                    Clearly we can see that $$lim_{x to 0}f(x + 1/3) + f(x + 2/3) = lim_{x to 0}xcdotfrac{f(x + 1/3) + f(x + 2/3)}{x} = 0 cdot 1 = 0$$ and by continuity of $f$ we see that this implies $f(1/3) + f(2/3) = 0$. If $f(1/3) = 0$ then we are done. If $f(1/3) neq 0$ then both $f(1/3)$ and $f(2/3)$ are of opposite signs and hence by intermediate value theorem there is an $x_{0} in (1/3, 2/3)$ for which $f(x_{0}) = 0$.






                    share|cite|improve this answer









                    $endgroup$
















                      6












                      6








                      6





                      $begingroup$

                      Clearly we can see that $$lim_{x to 0}f(x + 1/3) + f(x + 2/3) = lim_{x to 0}xcdotfrac{f(x + 1/3) + f(x + 2/3)}{x} = 0 cdot 1 = 0$$ and by continuity of $f$ we see that this implies $f(1/3) + f(2/3) = 0$. If $f(1/3) = 0$ then we are done. If $f(1/3) neq 0$ then both $f(1/3)$ and $f(2/3)$ are of opposite signs and hence by intermediate value theorem there is an $x_{0} in (1/3, 2/3)$ for which $f(x_{0}) = 0$.






                      share|cite|improve this answer









                      $endgroup$



                      Clearly we can see that $$lim_{x to 0}f(x + 1/3) + f(x + 2/3) = lim_{x to 0}xcdotfrac{f(x + 1/3) + f(x + 2/3)}{x} = 0 cdot 1 = 0$$ and by continuity of $f$ we see that this implies $f(1/3) + f(2/3) = 0$. If $f(1/3) = 0$ then we are done. If $f(1/3) neq 0$ then both $f(1/3)$ and $f(2/3)$ are of opposite signs and hence by intermediate value theorem there is an $x_{0} in (1/3, 2/3)$ for which $f(x_{0}) = 0$.







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered Aug 4 '15 at 9:21









                      Paramanand SinghParamanand Singh

                      51.2k557169




                      51.2k557169























                          2












                          $begingroup$

                          Hint: If the numerator doesn't go to $0$, can the limit goes to 1? At first suppose that there exists $lim_{xto 0} (f(x+1/3)+f(x+2/3))$ and isn't zero.






                          share|cite|improve this answer









                          $endgroup$


















                            2












                            $begingroup$

                            Hint: If the numerator doesn't go to $0$, can the limit goes to 1? At first suppose that there exists $lim_{xto 0} (f(x+1/3)+f(x+2/3))$ and isn't zero.






                            share|cite|improve this answer









                            $endgroup$
















                              2












                              2








                              2





                              $begingroup$

                              Hint: If the numerator doesn't go to $0$, can the limit goes to 1? At first suppose that there exists $lim_{xto 0} (f(x+1/3)+f(x+2/3))$ and isn't zero.






                              share|cite|improve this answer









                              $endgroup$



                              Hint: If the numerator doesn't go to $0$, can the limit goes to 1? At first suppose that there exists $lim_{xto 0} (f(x+1/3)+f(x+2/3))$ and isn't zero.







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered Aug 4 '15 at 8:49









                              Euler88 ...Euler88 ...

                              1,961513




                              1,961513























                                  2












                                  $begingroup$

                                  First, prove that the numerator should be zero. You can do this by contradiction. Prove that if $$lim_{xto 0} f(x+frac13) + f(x+frac23)neq 0$$



                                  then the original limit cannot exist.



                                  Now, you can use continuity to show that $f(frac23) + f(frac13)=0$, and then use a well known theorem to finish your proof.






                                  share|cite|improve this answer









                                  $endgroup$


















                                    2












                                    $begingroup$

                                    First, prove that the numerator should be zero. You can do this by contradiction. Prove that if $$lim_{xto 0} f(x+frac13) + f(x+frac23)neq 0$$



                                    then the original limit cannot exist.



                                    Now, you can use continuity to show that $f(frac23) + f(frac13)=0$, and then use a well known theorem to finish your proof.






                                    share|cite|improve this answer









                                    $endgroup$
















                                      2












                                      2








                                      2





                                      $begingroup$

                                      First, prove that the numerator should be zero. You can do this by contradiction. Prove that if $$lim_{xto 0} f(x+frac13) + f(x+frac23)neq 0$$



                                      then the original limit cannot exist.



                                      Now, you can use continuity to show that $f(frac23) + f(frac13)=0$, and then use a well known theorem to finish your proof.






                                      share|cite|improve this answer









                                      $endgroup$



                                      First, prove that the numerator should be zero. You can do this by contradiction. Prove that if $$lim_{xto 0} f(x+frac13) + f(x+frac23)neq 0$$



                                      then the original limit cannot exist.



                                      Now, you can use continuity to show that $f(frac23) + f(frac13)=0$, and then use a well known theorem to finish your proof.







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered Aug 4 '15 at 8:54









                                      5xum5xum

                                      91.9k394161




                                      91.9k394161























                                          0












                                          $begingroup$

                                          If
                                          $$
                                          lim frac{f(x)}{g(x)}=0
                                          $$
                                          and
                                          $$
                                          lim g(x)=0,
                                          $$
                                          then
                                          $$
                                          lim f(x) = lim frac{f(x)}{g(x)} cdot g(x) =0.
                                          $$






                                          share|cite|improve this answer









                                          $endgroup$













                                          • $begingroup$
                                            I think I do not understand. What $f$ and $g$ should I choose in this example?
                                            $endgroup$
                                            – dyrAnd
                                            Aug 4 '15 at 8:55
















                                          0












                                          $begingroup$

                                          If
                                          $$
                                          lim frac{f(x)}{g(x)}=0
                                          $$
                                          and
                                          $$
                                          lim g(x)=0,
                                          $$
                                          then
                                          $$
                                          lim f(x) = lim frac{f(x)}{g(x)} cdot g(x) =0.
                                          $$






                                          share|cite|improve this answer









                                          $endgroup$













                                          • $begingroup$
                                            I think I do not understand. What $f$ and $g$ should I choose in this example?
                                            $endgroup$
                                            – dyrAnd
                                            Aug 4 '15 at 8:55














                                          0












                                          0








                                          0





                                          $begingroup$

                                          If
                                          $$
                                          lim frac{f(x)}{g(x)}=0
                                          $$
                                          and
                                          $$
                                          lim g(x)=0,
                                          $$
                                          then
                                          $$
                                          lim f(x) = lim frac{f(x)}{g(x)} cdot g(x) =0.
                                          $$






                                          share|cite|improve this answer









                                          $endgroup$



                                          If
                                          $$
                                          lim frac{f(x)}{g(x)}=0
                                          $$
                                          and
                                          $$
                                          lim g(x)=0,
                                          $$
                                          then
                                          $$
                                          lim f(x) = lim frac{f(x)}{g(x)} cdot g(x) =0.
                                          $$







                                          share|cite|improve this answer












                                          share|cite|improve this answer



                                          share|cite|improve this answer










                                          answered Aug 4 '15 at 8:53









                                          SiminoreSiminore

                                          30.5k33569




                                          30.5k33569












                                          • $begingroup$
                                            I think I do not understand. What $f$ and $g$ should I choose in this example?
                                            $endgroup$
                                            – dyrAnd
                                            Aug 4 '15 at 8:55


















                                          • $begingroup$
                                            I think I do not understand. What $f$ and $g$ should I choose in this example?
                                            $endgroup$
                                            – dyrAnd
                                            Aug 4 '15 at 8:55
















                                          $begingroup$
                                          I think I do not understand. What $f$ and $g$ should I choose in this example?
                                          $endgroup$
                                          – dyrAnd
                                          Aug 4 '15 at 8:55




                                          $begingroup$
                                          I think I do not understand. What $f$ and $g$ should I choose in this example?
                                          $endgroup$
                                          – dyrAnd
                                          Aug 4 '15 at 8:55











                                          0












                                          $begingroup$

                                          I have a slightly different idea:



                                          The codintion indicates that: $f(x+1/3) + f(x+2/3)$ is an equivalent infinitesimal to the function $x$.., which means that $f(x+1/3)+f(x+2/3)$ is equivalent to $ o(x)$, when $x$ is infinitely small...



                                          So $f(x+1/3)+f(x+2/3)approx a_0 + a_1x$ and $a_0 = 0$, $a_1 = 0$ or $1$.



                                          $a_1=0$ apparently leads to the result..
                                          if $a_1 = 1$, it $f(x+1/3)+f(1+2/3)=x$. so $f(1/3)+f(2/3)=0$, which also leads to the conclusion.






                                          share|cite|improve this answer









                                          $endgroup$


















                                            0












                                            $begingroup$

                                            I have a slightly different idea:



                                            The codintion indicates that: $f(x+1/3) + f(x+2/3)$ is an equivalent infinitesimal to the function $x$.., which means that $f(x+1/3)+f(x+2/3)$ is equivalent to $ o(x)$, when $x$ is infinitely small...



                                            So $f(x+1/3)+f(x+2/3)approx a_0 + a_1x$ and $a_0 = 0$, $a_1 = 0$ or $1$.



                                            $a_1=0$ apparently leads to the result..
                                            if $a_1 = 1$, it $f(x+1/3)+f(1+2/3)=x$. so $f(1/3)+f(2/3)=0$, which also leads to the conclusion.






                                            share|cite|improve this answer









                                            $endgroup$
















                                              0












                                              0








                                              0





                                              $begingroup$

                                              I have a slightly different idea:



                                              The codintion indicates that: $f(x+1/3) + f(x+2/3)$ is an equivalent infinitesimal to the function $x$.., which means that $f(x+1/3)+f(x+2/3)$ is equivalent to $ o(x)$, when $x$ is infinitely small...



                                              So $f(x+1/3)+f(x+2/3)approx a_0 + a_1x$ and $a_0 = 0$, $a_1 = 0$ or $1$.



                                              $a_1=0$ apparently leads to the result..
                                              if $a_1 = 1$, it $f(x+1/3)+f(1+2/3)=x$. so $f(1/3)+f(2/3)=0$, which also leads to the conclusion.






                                              share|cite|improve this answer









                                              $endgroup$



                                              I have a slightly different idea:



                                              The codintion indicates that: $f(x+1/3) + f(x+2/3)$ is an equivalent infinitesimal to the function $x$.., which means that $f(x+1/3)+f(x+2/3)$ is equivalent to $ o(x)$, when $x$ is infinitely small...



                                              So $f(x+1/3)+f(x+2/3)approx a_0 + a_1x$ and $a_0 = 0$, $a_1 = 0$ or $1$.



                                              $a_1=0$ apparently leads to the result..
                                              if $a_1 = 1$, it $f(x+1/3)+f(1+2/3)=x$. so $f(1/3)+f(2/3)=0$, which also leads to the conclusion.







                                              share|cite|improve this answer












                                              share|cite|improve this answer



                                              share|cite|improve this answer










                                              answered Aug 4 '15 at 9:36









                                              guangleiguanglei

                                              352315




                                              352315






























                                                  draft saved

                                                  draft discarded




















































                                                  Thanks for contributing an answer to Mathematics Stack Exchange!


                                                  • Please be sure to answer the question. Provide details and share your research!

                                                  But avoid



                                                  • Asking for help, clarification, or responding to other answers.

                                                  • Making statements based on opinion; back them up with references or personal experience.


                                                  Use MathJax to format equations. MathJax reference.


                                                  To learn more, see our tips on writing great answers.




                                                  draft saved


                                                  draft discarded














                                                  StackExchange.ready(
                                                  function () {
                                                  StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1383883%2fexistence-of-solutions-of-the-equation-with-a-limit%23new-answer', 'question_page');
                                                  }
                                                  );

                                                  Post as a guest















                                                  Required, but never shown





















































                                                  Required, but never shown














                                                  Required, but never shown












                                                  Required, but never shown







                                                  Required, but never shown

































                                                  Required, but never shown














                                                  Required, but never shown












                                                  Required, but never shown







                                                  Required, but never shown







                                                  Popular posts from this blog

                                                  MongoDB - Not Authorized To Execute Command

                                                  How to fix TextFormField cause rebuild widget in Flutter

                                                  in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith