If $fgeq0 , f(0)=f(1)=0$,and $int_0^1|f''|/f dx$ exists,how to prove $int_0^1f''/f dxgeq pi^2$ ...

How do spell lists change if the party levels up without taking a long rest?

What happens to a Warlock's expended Spell Slots when they gain a Level?

Did the UK government pay "millions and millions of dollars" to try to snag Julian Assange?

Python - Fishing Simulator

Am I ethically obligated to go into work on an off day if the reason is sudden?

What force causes entropy to increase?

Circular reasoning in L'Hopital's rule

Accepted by European university, rejected by all American ones I applied to? Possible reasons?

How do I design a circuit to convert a 100 mV and 50 Hz sine wave to a square wave?

What's the point in a preamp?

Intergalactic human space ship encounters another ship, character gets shunted off beyond known universe, reality starts collapsing

Can I visit the Trinity College (Cambridge) library and see some of their rare books

Word for: a synonym with a positive connotation?

Are there continuous functions who are the same in an interval but differ in at least one other point?

How to read αἱμύλιος or when to aspirate

Is there a way to generate uniformly distributed points on a sphere from a fixed amount of random real numbers per point?

should truth entail possible truth

Do I have Disadvantage attacking with an off-hand weapon?

Did the new image of black hole confirm the general theory of relativity?

Huge performance difference of the command find with and without using %M option to show permissions

How do you keep chess fun when your opponent constantly beats you?

Identify 80s or 90s comics with ripped creatures (not dwarves)

"... to apply for a visa" or "... and applied for a visa"?

What information about me do stores get via my credit card?



If $fgeq0 , f(0)=f(1)=0$,and $int_0^1|f''|/f dx$ exists,how to prove $int_0^1f''/f dxgeq pi^2$



The 2019 Stack Overflow Developer Survey Results Are In
Unicorn Meta Zoo #1: Why another podcast?
Announcing the arrival of Valued Associate #679: Cesar Manara$prod_{k=3}^{infty} 1 - tan( pi/2^k)^4$Prove that if $f_nto f$ uniformly and $int_0^infty|f_n|le M$, then $int_0^infty|f|<infty$How many ways can you show that $ displaystyle int_0^1 dfrac{sin(pi x)}{(1-x)^2} mathrm{d}x $ is divergent?Prove or provide an example where this is false: There exists $f: (0,1] rightarrow R $ that is continuous and “onto”My final question about comparison test (I have listed all necessary things)Prove that the set of all almost upper bounds is nonempty, and bounded below.Prove $sum_{n geq 0}c_n$ converges iff $sum_{k geq 0}(c_{2k}+c_{2k+1})$ convergesInequality involving the sum of functionsOn solution of a nonlinear differential inequalityWhy is it that, when using the u-substitution rule, you apply the the function u to the upper and lower limits?












2












$begingroup$


If $fin C^2 , fgeq0$ on $[0,1]$ , $f(0)=f(1)=0$,and $int_0^1f''/f dx$ exists,how to prove $$int_0^1frac{|f''|}{f}dxgeq pi^2$$



The lower bound $pi^2$ was guessed by myself, if it was not true ,then how to find this lower bound ?



My way is to have an analytic extension with $T=2$, and use the Fourier Series to have an evaluation .



But it seems like that I was wrong.










share|cite|improve this question











$endgroup$












  • $begingroup$
    I'm not guessing anything, just pointing out that the integral is typically going to be negative (e.g. for $f(x) = sin(pi x)$ it is $-pi^2$).
    $endgroup$
    – Robert Israel
    Mar 22 at 12:48








  • 2




    $begingroup$
    What if $f$ is chosen to be piecewise linear?
    $endgroup$
    – daw
    Mar 22 at 13:16










  • $begingroup$
    Did your bound come from applying a sine function? How did you arrive at this question?
    $endgroup$
    – Mefitico
    Mar 22 at 13:18










  • $begingroup$
    @Mefitico It's quite hard to find a function in which $int_0^1 frac{|f''(x)|}{f(x)} dx$ exists other than $sin(x)$.
    $endgroup$
    – Infiaria
    Mar 22 at 13:42












  • $begingroup$
    Well, the original question is asked to show that integral $geq 4$ , and the method is by using the mean value theorem , but I think the lower can be raised up to $pi^2$,I use the Fourier Expansion to evaluate, and by the mistake of $sum a_nleq|sum n^2a_n|$, I "deduced" the inequality , but later I found that inequality is not true , however, I still feel that result is correct , so I post it as a question.
    $endgroup$
    – Alexander Lau
    Mar 22 at 13:45


















2












$begingroup$


If $fin C^2 , fgeq0$ on $[0,1]$ , $f(0)=f(1)=0$,and $int_0^1f''/f dx$ exists,how to prove $$int_0^1frac{|f''|}{f}dxgeq pi^2$$



The lower bound $pi^2$ was guessed by myself, if it was not true ,then how to find this lower bound ?



My way is to have an analytic extension with $T=2$, and use the Fourier Series to have an evaluation .



But it seems like that I was wrong.










share|cite|improve this question











$endgroup$












  • $begingroup$
    I'm not guessing anything, just pointing out that the integral is typically going to be negative (e.g. for $f(x) = sin(pi x)$ it is $-pi^2$).
    $endgroup$
    – Robert Israel
    Mar 22 at 12:48








  • 2




    $begingroup$
    What if $f$ is chosen to be piecewise linear?
    $endgroup$
    – daw
    Mar 22 at 13:16










  • $begingroup$
    Did your bound come from applying a sine function? How did you arrive at this question?
    $endgroup$
    – Mefitico
    Mar 22 at 13:18










  • $begingroup$
    @Mefitico It's quite hard to find a function in which $int_0^1 frac{|f''(x)|}{f(x)} dx$ exists other than $sin(x)$.
    $endgroup$
    – Infiaria
    Mar 22 at 13:42












  • $begingroup$
    Well, the original question is asked to show that integral $geq 4$ , and the method is by using the mean value theorem , but I think the lower can be raised up to $pi^2$,I use the Fourier Expansion to evaluate, and by the mistake of $sum a_nleq|sum n^2a_n|$, I "deduced" the inequality , but later I found that inequality is not true , however, I still feel that result is correct , so I post it as a question.
    $endgroup$
    – Alexander Lau
    Mar 22 at 13:45
















2












2








2


1



$begingroup$


If $fin C^2 , fgeq0$ on $[0,1]$ , $f(0)=f(1)=0$,and $int_0^1f''/f dx$ exists,how to prove $$int_0^1frac{|f''|}{f}dxgeq pi^2$$



The lower bound $pi^2$ was guessed by myself, if it was not true ,then how to find this lower bound ?



My way is to have an analytic extension with $T=2$, and use the Fourier Series to have an evaluation .



But it seems like that I was wrong.










share|cite|improve this question











$endgroup$




If $fin C^2 , fgeq0$ on $[0,1]$ , $f(0)=f(1)=0$,and $int_0^1f''/f dx$ exists,how to prove $$int_0^1frac{|f''|}{f}dxgeq pi^2$$



The lower bound $pi^2$ was guessed by myself, if it was not true ,then how to find this lower bound ?



My way is to have an analytic extension with $T=2$, and use the Fourier Series to have an evaluation .



But it seems like that I was wrong.







calculus






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 22 at 14:02







Alexander Lau

















asked Mar 22 at 12:30









Alexander LauAlexander Lau

1278




1278












  • $begingroup$
    I'm not guessing anything, just pointing out that the integral is typically going to be negative (e.g. for $f(x) = sin(pi x)$ it is $-pi^2$).
    $endgroup$
    – Robert Israel
    Mar 22 at 12:48








  • 2




    $begingroup$
    What if $f$ is chosen to be piecewise linear?
    $endgroup$
    – daw
    Mar 22 at 13:16










  • $begingroup$
    Did your bound come from applying a sine function? How did you arrive at this question?
    $endgroup$
    – Mefitico
    Mar 22 at 13:18










  • $begingroup$
    @Mefitico It's quite hard to find a function in which $int_0^1 frac{|f''(x)|}{f(x)} dx$ exists other than $sin(x)$.
    $endgroup$
    – Infiaria
    Mar 22 at 13:42












  • $begingroup$
    Well, the original question is asked to show that integral $geq 4$ , and the method is by using the mean value theorem , but I think the lower can be raised up to $pi^2$,I use the Fourier Expansion to evaluate, and by the mistake of $sum a_nleq|sum n^2a_n|$, I "deduced" the inequality , but later I found that inequality is not true , however, I still feel that result is correct , so I post it as a question.
    $endgroup$
    – Alexander Lau
    Mar 22 at 13:45




















  • $begingroup$
    I'm not guessing anything, just pointing out that the integral is typically going to be negative (e.g. for $f(x) = sin(pi x)$ it is $-pi^2$).
    $endgroup$
    – Robert Israel
    Mar 22 at 12:48








  • 2




    $begingroup$
    What if $f$ is chosen to be piecewise linear?
    $endgroup$
    – daw
    Mar 22 at 13:16










  • $begingroup$
    Did your bound come from applying a sine function? How did you arrive at this question?
    $endgroup$
    – Mefitico
    Mar 22 at 13:18










  • $begingroup$
    @Mefitico It's quite hard to find a function in which $int_0^1 frac{|f''(x)|}{f(x)} dx$ exists other than $sin(x)$.
    $endgroup$
    – Infiaria
    Mar 22 at 13:42












  • $begingroup$
    Well, the original question is asked to show that integral $geq 4$ , and the method is by using the mean value theorem , but I think the lower can be raised up to $pi^2$,I use the Fourier Expansion to evaluate, and by the mistake of $sum a_nleq|sum n^2a_n|$, I "deduced" the inequality , but later I found that inequality is not true , however, I still feel that result is correct , so I post it as a question.
    $endgroup$
    – Alexander Lau
    Mar 22 at 13:45


















$begingroup$
I'm not guessing anything, just pointing out that the integral is typically going to be negative (e.g. for $f(x) = sin(pi x)$ it is $-pi^2$).
$endgroup$
– Robert Israel
Mar 22 at 12:48






$begingroup$
I'm not guessing anything, just pointing out that the integral is typically going to be negative (e.g. for $f(x) = sin(pi x)$ it is $-pi^2$).
$endgroup$
– Robert Israel
Mar 22 at 12:48






2




2




$begingroup$
What if $f$ is chosen to be piecewise linear?
$endgroup$
– daw
Mar 22 at 13:16




$begingroup$
What if $f$ is chosen to be piecewise linear?
$endgroup$
– daw
Mar 22 at 13:16












$begingroup$
Did your bound come from applying a sine function? How did you arrive at this question?
$endgroup$
– Mefitico
Mar 22 at 13:18




$begingroup$
Did your bound come from applying a sine function? How did you arrive at this question?
$endgroup$
– Mefitico
Mar 22 at 13:18












$begingroup$
@Mefitico It's quite hard to find a function in which $int_0^1 frac{|f''(x)|}{f(x)} dx$ exists other than $sin(x)$.
$endgroup$
– Infiaria
Mar 22 at 13:42






$begingroup$
@Mefitico It's quite hard to find a function in which $int_0^1 frac{|f''(x)|}{f(x)} dx$ exists other than $sin(x)$.
$endgroup$
– Infiaria
Mar 22 at 13:42














$begingroup$
Well, the original question is asked to show that integral $geq 4$ , and the method is by using the mean value theorem , but I think the lower can be raised up to $pi^2$,I use the Fourier Expansion to evaluate, and by the mistake of $sum a_nleq|sum n^2a_n|$, I "deduced" the inequality , but later I found that inequality is not true , however, I still feel that result is correct , so I post it as a question.
$endgroup$
– Alexander Lau
Mar 22 at 13:45






$begingroup$
Well, the original question is asked to show that integral $geq 4$ , and the method is by using the mean value theorem , but I think the lower can be raised up to $pi^2$,I use the Fourier Expansion to evaluate, and by the mistake of $sum a_nleq|sum n^2a_n|$, I "deduced" the inequality , but later I found that inequality is not true , however, I still feel that result is correct , so I post it as a question.
$endgroup$
– Alexander Lau
Mar 22 at 13:45












2 Answers
2






active

oldest

votes


















2












$begingroup$

The proposition you're trying to prove is false. This integral can be made arbitrarily close to $4$. A family of examples:
$$f(x) = begin{cases}2x&0le xle frac12-epsilon\ 1-frac{3epsilon}{4} - frac{3}{2epsilon}(x-frac12)^2 + frac1{4epsilon^3}(x-frac12)^4 & frac12-epsilonle xle frac12+epsilon\ 2-2x&frac12+epsilonle xle 1end{cases}$$
Why is this $C^2$? We check the values and derivatives where the formulas change. At $frac12+epsilon$ using the middle formula,
begin{align*}fleft(frac12+epsilonright) &= 1-frac{3epsilon}{4} - frac{3}{2epsilon}epsilon^2 + frac1{4epsilon^3}epsilon^4 = 1 +epsilonleft(-frac34-frac32+frac14right) = 1-2epsilon\
f'left(frac12+epsilonright) &= -frac{3}{epsilon}epsilon+frac1{epsilon^3}epsilon^3 = -2\
f''left(frac12+epsilonright) &= -frac{3}{epsilon} + frac{3}{epsilon^3}epsilon^2 = 0end{align*}

Those match the values from the other formula it meets, and the first two derivatives are continuous there. At $frac12-epsilon$, we appeal to symmetry; $f(x)=f(1-x)$, so continuity of the first two derivatives at $frac12+epsilon$ implies it at $frac12-epsilon$.



What is $int_0^1 frac{|f''(x)|}{f(x)},dx$? Rather than calculate it exactly, I'll estimate. We have
$$f''(x) = frac3{epsilon}left(-1+left(frac{x-frac12}{epsilon}right)^2right) le 0$$
for $frac12-epsilonle xlefrac12+epsilon$, so $int_{1/2-epsilon}^{1/2+epsilon}|f''(x)|,dx = left|f'left(frac12+epsilonright)-f'left(frac12-epsilonright)right| = 4$. Now, we divide by $f(x)$ inside the integral; from $1-2epsilonle f(x)le 1-frac34epsilon$ on the interval,
$$frac{4}{1-frac34epsilon}leint_{1/2-epsilon}^{1/2+epsilon}frac{|f''(x)|}{f(x)},dx lefrac{4}{1-2epsilon}$$
What about $f$ outside that subinterval? The second derivative out there is identically zero, so that part contributes nothing to the integral, and $int_0^1 frac{|f''(x)|}{f(x)},dx$ lies between those bounds.



As $epsilonto 0$, both of those bounds tend to $4$, and therefore the integral does by the squeeze theorem. The limiting function isn't $C^2$, but we can make the integral arbitrarily close to $4$ this way.






share|cite|improve this answer









$endgroup$





















    2












    $begingroup$

    Let:



    $$
    f(x) = sin(pi x)+0.1sin(2 pi x)
    $$



    Then
    $$
    f'(x) = picos(pi x)+0.2picos(2 pi x)
    $$



    $$
    f''(x) =-pi^2sin(pi x)-0.4pi^2sin(2 pi x)
    $$



    So:
    $$
    int_0^1 frac{|f''(x)|}{f(x)} dx=int_0^1 frac{pi^2sin(pi x)+0.4pi^2sin(2 pi x)}{sin(pi x)+0.1sin(2 pi x)}dx = 9.25905... < pi^2 = 9.8696
    $$



    Here's the link to the result:
    https://www.wolframalpha.com/input/?i=%5Cint_0%5E1++%5Cfrac%7B%5Cpi%5E2%5Csin(%5Cpi+x)%2B0.4%5Cpi%5E2%5Csin(2+%5Cpi+x)%7D%7B%5Csin(%5Cpi+x)%2B0.1%5Csin(2+%5Cpi+x)%7Ddx



    Indeed it is hard to come up with a non-sine function that allows the integral to converge, but if you make a composition of such kind, you can likely lower your bound. I would suspect however, that there should be a sequence of functions $f_n$ such that the integral converges to zero.



    Edit
    My reasoning to claim that the integral can be made arbitrarily close to zero is that with a large enough sine series, it should be possible to build $f(x)$ such that the integral exists due to the characteristics of the sine on the extremes, but outside the extremes and some mid point, the function is "flat", i.e. with arbitrarily small $f''(x)$ but with large values for $f(x)$, hence decreasing the value of the integral.






    share|cite|improve this answer











    $endgroup$














      Your Answer








      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%2f3158083%2fif-f-geq0-f0-f1-0-and-int-01f-f-dx-exists-how-to-prove-int-01%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      2












      $begingroup$

      The proposition you're trying to prove is false. This integral can be made arbitrarily close to $4$. A family of examples:
      $$f(x) = begin{cases}2x&0le xle frac12-epsilon\ 1-frac{3epsilon}{4} - frac{3}{2epsilon}(x-frac12)^2 + frac1{4epsilon^3}(x-frac12)^4 & frac12-epsilonle xle frac12+epsilon\ 2-2x&frac12+epsilonle xle 1end{cases}$$
      Why is this $C^2$? We check the values and derivatives where the formulas change. At $frac12+epsilon$ using the middle formula,
      begin{align*}fleft(frac12+epsilonright) &= 1-frac{3epsilon}{4} - frac{3}{2epsilon}epsilon^2 + frac1{4epsilon^3}epsilon^4 = 1 +epsilonleft(-frac34-frac32+frac14right) = 1-2epsilon\
      f'left(frac12+epsilonright) &= -frac{3}{epsilon}epsilon+frac1{epsilon^3}epsilon^3 = -2\
      f''left(frac12+epsilonright) &= -frac{3}{epsilon} + frac{3}{epsilon^3}epsilon^2 = 0end{align*}

      Those match the values from the other formula it meets, and the first two derivatives are continuous there. At $frac12-epsilon$, we appeal to symmetry; $f(x)=f(1-x)$, so continuity of the first two derivatives at $frac12+epsilon$ implies it at $frac12-epsilon$.



      What is $int_0^1 frac{|f''(x)|}{f(x)},dx$? Rather than calculate it exactly, I'll estimate. We have
      $$f''(x) = frac3{epsilon}left(-1+left(frac{x-frac12}{epsilon}right)^2right) le 0$$
      for $frac12-epsilonle xlefrac12+epsilon$, so $int_{1/2-epsilon}^{1/2+epsilon}|f''(x)|,dx = left|f'left(frac12+epsilonright)-f'left(frac12-epsilonright)right| = 4$. Now, we divide by $f(x)$ inside the integral; from $1-2epsilonle f(x)le 1-frac34epsilon$ on the interval,
      $$frac{4}{1-frac34epsilon}leint_{1/2-epsilon}^{1/2+epsilon}frac{|f''(x)|}{f(x)},dx lefrac{4}{1-2epsilon}$$
      What about $f$ outside that subinterval? The second derivative out there is identically zero, so that part contributes nothing to the integral, and $int_0^1 frac{|f''(x)|}{f(x)},dx$ lies between those bounds.



      As $epsilonto 0$, both of those bounds tend to $4$, and therefore the integral does by the squeeze theorem. The limiting function isn't $C^2$, but we can make the integral arbitrarily close to $4$ this way.






      share|cite|improve this answer









      $endgroup$


















        2












        $begingroup$

        The proposition you're trying to prove is false. This integral can be made arbitrarily close to $4$. A family of examples:
        $$f(x) = begin{cases}2x&0le xle frac12-epsilon\ 1-frac{3epsilon}{4} - frac{3}{2epsilon}(x-frac12)^2 + frac1{4epsilon^3}(x-frac12)^4 & frac12-epsilonle xle frac12+epsilon\ 2-2x&frac12+epsilonle xle 1end{cases}$$
        Why is this $C^2$? We check the values and derivatives where the formulas change. At $frac12+epsilon$ using the middle formula,
        begin{align*}fleft(frac12+epsilonright) &= 1-frac{3epsilon}{4} - frac{3}{2epsilon}epsilon^2 + frac1{4epsilon^3}epsilon^4 = 1 +epsilonleft(-frac34-frac32+frac14right) = 1-2epsilon\
        f'left(frac12+epsilonright) &= -frac{3}{epsilon}epsilon+frac1{epsilon^3}epsilon^3 = -2\
        f''left(frac12+epsilonright) &= -frac{3}{epsilon} + frac{3}{epsilon^3}epsilon^2 = 0end{align*}

        Those match the values from the other formula it meets, and the first two derivatives are continuous there. At $frac12-epsilon$, we appeal to symmetry; $f(x)=f(1-x)$, so continuity of the first two derivatives at $frac12+epsilon$ implies it at $frac12-epsilon$.



        What is $int_0^1 frac{|f''(x)|}{f(x)},dx$? Rather than calculate it exactly, I'll estimate. We have
        $$f''(x) = frac3{epsilon}left(-1+left(frac{x-frac12}{epsilon}right)^2right) le 0$$
        for $frac12-epsilonle xlefrac12+epsilon$, so $int_{1/2-epsilon}^{1/2+epsilon}|f''(x)|,dx = left|f'left(frac12+epsilonright)-f'left(frac12-epsilonright)right| = 4$. Now, we divide by $f(x)$ inside the integral; from $1-2epsilonle f(x)le 1-frac34epsilon$ on the interval,
        $$frac{4}{1-frac34epsilon}leint_{1/2-epsilon}^{1/2+epsilon}frac{|f''(x)|}{f(x)},dx lefrac{4}{1-2epsilon}$$
        What about $f$ outside that subinterval? The second derivative out there is identically zero, so that part contributes nothing to the integral, and $int_0^1 frac{|f''(x)|}{f(x)},dx$ lies between those bounds.



        As $epsilonto 0$, both of those bounds tend to $4$, and therefore the integral does by the squeeze theorem. The limiting function isn't $C^2$, but we can make the integral arbitrarily close to $4$ this way.






        share|cite|improve this answer









        $endgroup$
















          2












          2








          2





          $begingroup$

          The proposition you're trying to prove is false. This integral can be made arbitrarily close to $4$. A family of examples:
          $$f(x) = begin{cases}2x&0le xle frac12-epsilon\ 1-frac{3epsilon}{4} - frac{3}{2epsilon}(x-frac12)^2 + frac1{4epsilon^3}(x-frac12)^4 & frac12-epsilonle xle frac12+epsilon\ 2-2x&frac12+epsilonle xle 1end{cases}$$
          Why is this $C^2$? We check the values and derivatives where the formulas change. At $frac12+epsilon$ using the middle formula,
          begin{align*}fleft(frac12+epsilonright) &= 1-frac{3epsilon}{4} - frac{3}{2epsilon}epsilon^2 + frac1{4epsilon^3}epsilon^4 = 1 +epsilonleft(-frac34-frac32+frac14right) = 1-2epsilon\
          f'left(frac12+epsilonright) &= -frac{3}{epsilon}epsilon+frac1{epsilon^3}epsilon^3 = -2\
          f''left(frac12+epsilonright) &= -frac{3}{epsilon} + frac{3}{epsilon^3}epsilon^2 = 0end{align*}

          Those match the values from the other formula it meets, and the first two derivatives are continuous there. At $frac12-epsilon$, we appeal to symmetry; $f(x)=f(1-x)$, so continuity of the first two derivatives at $frac12+epsilon$ implies it at $frac12-epsilon$.



          What is $int_0^1 frac{|f''(x)|}{f(x)},dx$? Rather than calculate it exactly, I'll estimate. We have
          $$f''(x) = frac3{epsilon}left(-1+left(frac{x-frac12}{epsilon}right)^2right) le 0$$
          for $frac12-epsilonle xlefrac12+epsilon$, so $int_{1/2-epsilon}^{1/2+epsilon}|f''(x)|,dx = left|f'left(frac12+epsilonright)-f'left(frac12-epsilonright)right| = 4$. Now, we divide by $f(x)$ inside the integral; from $1-2epsilonle f(x)le 1-frac34epsilon$ on the interval,
          $$frac{4}{1-frac34epsilon}leint_{1/2-epsilon}^{1/2+epsilon}frac{|f''(x)|}{f(x)},dx lefrac{4}{1-2epsilon}$$
          What about $f$ outside that subinterval? The second derivative out there is identically zero, so that part contributes nothing to the integral, and $int_0^1 frac{|f''(x)|}{f(x)},dx$ lies between those bounds.



          As $epsilonto 0$, both of those bounds tend to $4$, and therefore the integral does by the squeeze theorem. The limiting function isn't $C^2$, but we can make the integral arbitrarily close to $4$ this way.






          share|cite|improve this answer









          $endgroup$



          The proposition you're trying to prove is false. This integral can be made arbitrarily close to $4$. A family of examples:
          $$f(x) = begin{cases}2x&0le xle frac12-epsilon\ 1-frac{3epsilon}{4} - frac{3}{2epsilon}(x-frac12)^2 + frac1{4epsilon^3}(x-frac12)^4 & frac12-epsilonle xle frac12+epsilon\ 2-2x&frac12+epsilonle xle 1end{cases}$$
          Why is this $C^2$? We check the values and derivatives where the formulas change. At $frac12+epsilon$ using the middle formula,
          begin{align*}fleft(frac12+epsilonright) &= 1-frac{3epsilon}{4} - frac{3}{2epsilon}epsilon^2 + frac1{4epsilon^3}epsilon^4 = 1 +epsilonleft(-frac34-frac32+frac14right) = 1-2epsilon\
          f'left(frac12+epsilonright) &= -frac{3}{epsilon}epsilon+frac1{epsilon^3}epsilon^3 = -2\
          f''left(frac12+epsilonright) &= -frac{3}{epsilon} + frac{3}{epsilon^3}epsilon^2 = 0end{align*}

          Those match the values from the other formula it meets, and the first two derivatives are continuous there. At $frac12-epsilon$, we appeal to symmetry; $f(x)=f(1-x)$, so continuity of the first two derivatives at $frac12+epsilon$ implies it at $frac12-epsilon$.



          What is $int_0^1 frac{|f''(x)|}{f(x)},dx$? Rather than calculate it exactly, I'll estimate. We have
          $$f''(x) = frac3{epsilon}left(-1+left(frac{x-frac12}{epsilon}right)^2right) le 0$$
          for $frac12-epsilonle xlefrac12+epsilon$, so $int_{1/2-epsilon}^{1/2+epsilon}|f''(x)|,dx = left|f'left(frac12+epsilonright)-f'left(frac12-epsilonright)right| = 4$. Now, we divide by $f(x)$ inside the integral; from $1-2epsilonle f(x)le 1-frac34epsilon$ on the interval,
          $$frac{4}{1-frac34epsilon}leint_{1/2-epsilon}^{1/2+epsilon}frac{|f''(x)|}{f(x)},dx lefrac{4}{1-2epsilon}$$
          What about $f$ outside that subinterval? The second derivative out there is identically zero, so that part contributes nothing to the integral, and $int_0^1 frac{|f''(x)|}{f(x)},dx$ lies between those bounds.



          As $epsilonto 0$, both of those bounds tend to $4$, and therefore the integral does by the squeeze theorem. The limiting function isn't $C^2$, but we can make the integral arbitrarily close to $4$ this way.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 22 at 15:06









          jmerryjmerry

          17.1k11633




          17.1k11633























              2












              $begingroup$

              Let:



              $$
              f(x) = sin(pi x)+0.1sin(2 pi x)
              $$



              Then
              $$
              f'(x) = picos(pi x)+0.2picos(2 pi x)
              $$



              $$
              f''(x) =-pi^2sin(pi x)-0.4pi^2sin(2 pi x)
              $$



              So:
              $$
              int_0^1 frac{|f''(x)|}{f(x)} dx=int_0^1 frac{pi^2sin(pi x)+0.4pi^2sin(2 pi x)}{sin(pi x)+0.1sin(2 pi x)}dx = 9.25905... < pi^2 = 9.8696
              $$



              Here's the link to the result:
              https://www.wolframalpha.com/input/?i=%5Cint_0%5E1++%5Cfrac%7B%5Cpi%5E2%5Csin(%5Cpi+x)%2B0.4%5Cpi%5E2%5Csin(2+%5Cpi+x)%7D%7B%5Csin(%5Cpi+x)%2B0.1%5Csin(2+%5Cpi+x)%7Ddx



              Indeed it is hard to come up with a non-sine function that allows the integral to converge, but if you make a composition of such kind, you can likely lower your bound. I would suspect however, that there should be a sequence of functions $f_n$ such that the integral converges to zero.



              Edit
              My reasoning to claim that the integral can be made arbitrarily close to zero is that with a large enough sine series, it should be possible to build $f(x)$ such that the integral exists due to the characteristics of the sine on the extremes, but outside the extremes and some mid point, the function is "flat", i.e. with arbitrarily small $f''(x)$ but with large values for $f(x)$, hence decreasing the value of the integral.






              share|cite|improve this answer











              $endgroup$


















                2












                $begingroup$

                Let:



                $$
                f(x) = sin(pi x)+0.1sin(2 pi x)
                $$



                Then
                $$
                f'(x) = picos(pi x)+0.2picos(2 pi x)
                $$



                $$
                f''(x) =-pi^2sin(pi x)-0.4pi^2sin(2 pi x)
                $$



                So:
                $$
                int_0^1 frac{|f''(x)|}{f(x)} dx=int_0^1 frac{pi^2sin(pi x)+0.4pi^2sin(2 pi x)}{sin(pi x)+0.1sin(2 pi x)}dx = 9.25905... < pi^2 = 9.8696
                $$



                Here's the link to the result:
                https://www.wolframalpha.com/input/?i=%5Cint_0%5E1++%5Cfrac%7B%5Cpi%5E2%5Csin(%5Cpi+x)%2B0.4%5Cpi%5E2%5Csin(2+%5Cpi+x)%7D%7B%5Csin(%5Cpi+x)%2B0.1%5Csin(2+%5Cpi+x)%7Ddx



                Indeed it is hard to come up with a non-sine function that allows the integral to converge, but if you make a composition of such kind, you can likely lower your bound. I would suspect however, that there should be a sequence of functions $f_n$ such that the integral converges to zero.



                Edit
                My reasoning to claim that the integral can be made arbitrarily close to zero is that with a large enough sine series, it should be possible to build $f(x)$ such that the integral exists due to the characteristics of the sine on the extremes, but outside the extremes and some mid point, the function is "flat", i.e. with arbitrarily small $f''(x)$ but with large values for $f(x)$, hence decreasing the value of the integral.






                share|cite|improve this answer











                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  Let:



                  $$
                  f(x) = sin(pi x)+0.1sin(2 pi x)
                  $$



                  Then
                  $$
                  f'(x) = picos(pi x)+0.2picos(2 pi x)
                  $$



                  $$
                  f''(x) =-pi^2sin(pi x)-0.4pi^2sin(2 pi x)
                  $$



                  So:
                  $$
                  int_0^1 frac{|f''(x)|}{f(x)} dx=int_0^1 frac{pi^2sin(pi x)+0.4pi^2sin(2 pi x)}{sin(pi x)+0.1sin(2 pi x)}dx = 9.25905... < pi^2 = 9.8696
                  $$



                  Here's the link to the result:
                  https://www.wolframalpha.com/input/?i=%5Cint_0%5E1++%5Cfrac%7B%5Cpi%5E2%5Csin(%5Cpi+x)%2B0.4%5Cpi%5E2%5Csin(2+%5Cpi+x)%7D%7B%5Csin(%5Cpi+x)%2B0.1%5Csin(2+%5Cpi+x)%7Ddx



                  Indeed it is hard to come up with a non-sine function that allows the integral to converge, but if you make a composition of such kind, you can likely lower your bound. I would suspect however, that there should be a sequence of functions $f_n$ such that the integral converges to zero.



                  Edit
                  My reasoning to claim that the integral can be made arbitrarily close to zero is that with a large enough sine series, it should be possible to build $f(x)$ such that the integral exists due to the characteristics of the sine on the extremes, but outside the extremes and some mid point, the function is "flat", i.e. with arbitrarily small $f''(x)$ but with large values for $f(x)$, hence decreasing the value of the integral.






                  share|cite|improve this answer











                  $endgroup$



                  Let:



                  $$
                  f(x) = sin(pi x)+0.1sin(2 pi x)
                  $$



                  Then
                  $$
                  f'(x) = picos(pi x)+0.2picos(2 pi x)
                  $$



                  $$
                  f''(x) =-pi^2sin(pi x)-0.4pi^2sin(2 pi x)
                  $$



                  So:
                  $$
                  int_0^1 frac{|f''(x)|}{f(x)} dx=int_0^1 frac{pi^2sin(pi x)+0.4pi^2sin(2 pi x)}{sin(pi x)+0.1sin(2 pi x)}dx = 9.25905... < pi^2 = 9.8696
                  $$



                  Here's the link to the result:
                  https://www.wolframalpha.com/input/?i=%5Cint_0%5E1++%5Cfrac%7B%5Cpi%5E2%5Csin(%5Cpi+x)%2B0.4%5Cpi%5E2%5Csin(2+%5Cpi+x)%7D%7B%5Csin(%5Cpi+x)%2B0.1%5Csin(2+%5Cpi+x)%7Ddx



                  Indeed it is hard to come up with a non-sine function that allows the integral to converge, but if you make a composition of such kind, you can likely lower your bound. I would suspect however, that there should be a sequence of functions $f_n$ such that the integral converges to zero.



                  Edit
                  My reasoning to claim that the integral can be made arbitrarily close to zero is that with a large enough sine series, it should be possible to build $f(x)$ such that the integral exists due to the characteristics of the sine on the extremes, but outside the extremes and some mid point, the function is "flat", i.e. with arbitrarily small $f''(x)$ but with large values for $f(x)$, hence decreasing the value of the integral.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Mar 22 at 16:32

























                  answered Mar 22 at 13:17









                  MefiticoMefitico

                  1,184218




                  1,184218






























                      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%2f3158083%2fif-f-geq0-f0-f1-0-and-int-01f-f-dx-exists-how-to-prove-int-01%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

                      Magento 2 - Add success message with knockout Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Success / Error message on ajax request$.widget is not a function when loading a homepage after add custom jQuery on custom themeHow can bind jQuery to current document in Magento 2 When template load by ajaxRedirect page using plugin in Magento 2Magento 2 - Update quantity and totals of cart page without page reload?Magento 2: Quote data not loaded on knockout checkoutMagento 2 : I need to change add to cart success message after adding product into cart through pluginMagento 2.2.5 How to add additional products to cart from new checkout step?Magento 2 Add error/success message with knockoutCan't validate Post Code on checkout page

                      Fil:Tokke komm.svg

                      Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?