Maximally strong fundamental theorem

  • Thread starter jostpuur
  • Start date
  • #1
2,111
17

Main Question or Discussion Point

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.
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,750
99
Can you explain the difference between this and the ordinary fundamental theorem of calculus, because I can't see it.
 
  • #4
2,111
17
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.
 
  • #5
2,111
17
I think its true, but you can search for a proof:
http://www.math.ucsd.edu/~bdriver/231-02-03/Lecture_Notes/PDE-Anal-Book/analpde1.pdf

see theorem 8.40, though it uses different notation
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.
 

Related Threads on Maximally strong fundamental theorem

  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
8
Views
873
  • Last Post
Replies
12
Views
1K
Replies
7
Views
866
  • Last Post
Replies
2
Views
2K
  • Last Post
2
Replies
30
Views
4K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
4
Views
2K
Top