Basic Question about absolutely continuous functions

  • #1
My question is maybe elementary but I don't know the answer. I have a function f absolutely continuous in (a,c) and in (c,b), f continuous in c. Is f absolutely continuous in (a,b)?
I think the answer is negative but I can't find a counterexample. I really apreciatte your help.
 

Answers and Replies

  • #2
mathman
Science Advisor
7,924
467
Possible counterexample. two semicircles (diameters on top), touch at c. The derivative is plus infinite to the left and minus infinite to the right (of c).
 
  • #3
mathwonk
Science Advisor
Homework Helper
2020 Award
11,123
1,323
i think this looks true. given epsilon you have to find a delta so that on any finite sequence of non overlapping intervals of total length less than delta, the total variation of the function is less than epsilon. try considering two cases, how small does delta have to be if none of the intervals contain c and how small does it have to be if some interval does contain c, then try to satisfy both conditions at once.
 
  • Like
Likes S.G. Janssens
  • #4
Svein
Science Advisor
Insights Author
2,143
694
An absolutely continuous function can be expressed as the difference between two non-decreasing continuous functions (and vice versa). Apply that.
 
  • #5
S.G. Janssens
Science Advisor
Education Advisor
949
722
An absolutely continuous function can be expressed as the difference between two non-decreasing continuous functions (and vice versa). Apply that.
This is not true.
 
  • #6
Svein
Science Advisor
Insights Author
2,143
694
This is not true.
G. Ye. Shilov: Mathematical Analysis (A Special Course). Pergamon Press 1965, page 306.
 
  • #7
S.G. Janssens
Science Advisor
Education Advisor
949
722
G. Ye. Shilov: Mathematical Analysis (A Special Course). Pergamon Press 1965, page 306.
The "vice versa" is not true, because there exist continuous, non-decreasing functions that are not absolutely continuous.

Let ##f : [0,1] \to \mathbb{R}## be the Cantor function. Then ##f## is continuous, non-decreasing, but not absolutely continuous. The zero function is continuous and non-decreasing. The difference ##f - 0## is not absolutely continuous.
 
  • Like
Likes jim mcnamara, FactChecker and member 587159
  • #8
FactChecker
Science Advisor
Gold Member
6,182
2,389
That dang Cantor. If it wasn't for him, math would be much simpler. ;>)
 
  • #9
mathwonk
Science Advisor
Homework Helper
2020 Award
11,123
1,323
i believe Svein is thinking of (continuous) functions of bounded variation, a larger class than absolutely continuous ones.
 
Last edited:
  • #10
Delta2
Homework Helper
Insights Author
Gold Member
3,580
1,386
The "vice versa" is not true, because there exist continuous, non-decreasing functions that are not absolutely continuous.

Let ##f : [0,1] \to \mathbb{R}## be the Cantor function. Then ##f## is continuous, non-decreasing, but not absolutely continuous. The zero function is continuous and non-decreasing. The difference ##f - 0## is not absolutely continuous.
I don't have the book Svein suggests to check it myself but perhaps the theorem/lemma is about non-decreasing AND non-identically zero functions.
 
  • #11
S.G. Janssens
Science Advisor
Education Advisor
949
722
I don't have the book Svein suggests to check it myself but perhaps the theorem/lemma is about non-decreasing AND non-identically zero functions.

I don't think so.

Just replace the ##f## from before by the sum ##g + h##, where ##g## is the Cantor function and ##h## is any absolutely continuous, non-decreasing function that is not identically zero. Then ##g + h## is continuous, non-decreasing but not absolutely continuous. The difference ##(g + h) - h## is not absolutely continuous.

The forward implication in post #4 is true, because absolutely continuous functions are of bounded variation. It is the "vice versa" there that is not true.
 
  • Like
Likes Greg Bernhardt and Delta2

Related Threads on Basic Question about absolutely continuous functions

Replies
4
Views
2K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
3
Views
91
Replies
3
Views
16K
Replies
3
Views
1K
  • Last Post
Replies
3
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
2
Views
1K
Top