Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Maximally strong fundamental theorem

  1. Oct 1, 2013 #1
    This is still not clear to me. Here's the conjecture:


    Assume that [itex]f:[a,b]\to\mathbb{R}[/itex] is such function that it is differentiable at all points of its domain, and that

    [tex]
    \int\limits_{[a,b]}|f'(x)|dm(x) < \infty
    [/tex]

    holds, where the integral is the ordinary Lebesgue integral. Then also

    [tex]
    \int\limits_{[a,b]}f'(x)dm(x) = f(b)-f(a)
    [/tex]

    holds.


    True or not? I don't know a proof, and I don't know a counter example.
     
  2. jcsd
  3. Oct 2, 2013 #2

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Can you explain the difference between this and the ordinary fundamental theorem of calculus, because I can't see it.
     
  4. Oct 2, 2013 #3

    UltrafastPED

    User Avatar
    Science Advisor
    Gold Member

  5. Oct 2, 2013 #4
    hmm... I just realized that actually I did have a proof for this. I had only forgotten about it and lost it, hehe :tongue2: (I'm still not sure if the proof is right though...)

    The difference is in the assumptions.

    In the ordinary theorem it is assumed that the derivative is Riemann integrable.

    The theorem can be made slightly stronger pretty easily by only assuming that the derivative is bounded.

    But when you only assume that the derivative is Lebesgue integrable, stuff gets serious.
     
  6. Oct 2, 2013 #5
    This theorem seems to assume that the derivative is continuous.

    My own proof was in this thread from the summer: https://www.physicsforums.com/showthread.php?t=696481&page=2 I had forgotten about this, but I checked my old threads now... There was one intermediate result whose proof was left uncertain.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Maximally strong fundamental theorem
Loading...