Problems relating to Absolute Continuity

[bham10246]

Hi, it's been awhile since I have studied Lebesgue measure so I'm trying to re-learn the material on my own. Most of my friends don't remember much as well so it's been a bit of a struggle trying to work on these problems on my own. Thank you for any kind of help!

OMIT Question 1. If f:[a,b]\rightarrow \mathbb{R} is absolutely continuous and one-to-one, then is f^{-1} absolutely continuous? If so, prove. If not, provide a counterexample.


OMIT Question 2. If f:[a,b]\rightarrow [c,d] is 1-1 and absolutely continuous, then
OMIT a. is f^{-1} of bounded variation on [c,d]?
OMIT b. if E \subseteq [c,d] and m(E)=0, then do you think m(f^{-1}(E))=0? If I know that f^{-1} is absolutely continuous, then I can prove that f^{-1} sends sets of measure zero to sets of measure zero...




Question 3. Let f:[0,1] \rightarrow\mathbb{R} satisfy |f(x) - f(y)|\leq |x^{1/3}-y^{1/3}| for all x,y \in [0,1]. Must f be absolutely continuous? Justify.

My question 3 is hard...



Edit: I removed the last problem which I eventually figured out...

 

[bham10246]

Definition and Theorem

By the way, here are a definition and a theorem in case one has forgotten some terms relating to absolute continuity.


Definition: We say f is absolutely continuous if for any \epsilon > 0 there is some \delta > 0 so that

\sum_{j=1,...,N} \left| f(b_j)-f(a_j) \right| < \epsilon whenever \left{ \sum_{j=1,...,N} (b_j-a_j) < \delta \right}, where the intervals (a_j, b_j) are disjoint.


Theorem: If f is absolutely continuous on [a,b], then f' exists almost everywhere and f \in L^1([a,b]). Moreover, for a \leq x \leq b,

\int_a^x f'(y) dy = f(x) -f(a).


A few other tools/facts: If f is absolutely continuous, then f is of bounded variation. If f is Lipschitz continuous, then f is absolutely continuous. If f is absolutely continuous, then f is uniformly continuous and continuous.


The reason why I'm having a hard time with these problems is because I don't know enough theorems relating to absolute continuity. So I don't have enough tools which I can apply to these problems.

I'll think about these some more...

 

[mathwonk]

absolute continuity is the property you need to insure that having derivative = 0, a.e., makes the function constant, i believe. that's what it is really for, to generalize the MVT, and hence make integration possible. so to me these questions seems pretty artificial and technical, if i may say so.

 

[bham10246]

Thanks for your reply Mathwonk! And thanks for all the other comments from the other (algebra) post. I haven't been able to keep up with all the comments because I'm currently reviewing analysis. But I will read them in next week's time.

I figured out all of the above except for my Question 3. I can type what I came up with so far (a partial proof), but I can't finish it or can I come up with a counterexample...


By the way, above comment is a good intuition! It helps to understand absolute continuity better!

 

[bham10246]

Let's modify the above problem and assume |f(x) - f(y)|\leq |x^{1/2}-y^{1/2}| instead. I don't know if this is easier.

Proof: Let \cup_{i=1}^N (a_i, b_i) be a disjoint union of open intervals in [0,1] such that \sum_{i=1}^n (b_i-a_i) < \delta.

Then \sum_{i=1}^N |f(b_i)-f(a_i)|\leq \sum_{i=1}^N |(b_i)^{1/2}-(a_i)^{1/2}| = \sum_{i=1}^N | b_i-a_i |/|(b_i)^{1/2}+(a_i)^{1/2}|

I want to show that this is less than epsilon.

Since (a_i, b_i) is an open interval, a_i \not = b_i right? So we have \sum_{i=1}^n b_i+ a_i > c for some c...

I would like to find a lower bound...

 

[mathwonk]

i guess for 3, i would take f = x^1/3 and see if it is lipschitz, probably not. then try to see if abs contin.

this also suggests answers to questions about inverses of abs cont fcns.

and read the lebesgue decomposition lemma.?

it seems also that an absolutely continuous fcn is the integral of its derivative. now the derivative of x^1/3 is unbounded but has an improper integral.

i don't know how to use this. probably a little reading or googling is in order.

well wiki says local absolute continuity is equivalent to absolute continuity of the distribution derivative. so the unboundedness of the derive may imply x^1/3 is not abs contin. see royden if available. this is my weakest basic pure subject.

 

[quasar987]

Here's another thm for you: Differentiable ==> Lipschitz continuous.

So if you want to follow mathwonk's program, you just have to investigate lipschitz zness at x=0. (it probably isn't)

 

[mathwonk]

it does not have to be diffble everywhere, just a.e.

and i think the result is that continuous derivative implies lipschitz.

but check out this page.

http://planetmath.org/encyclopedia/FundamentalTheoremOfCalculusForTheLebesgueIntegral.html

it all depnds on whether x^(-2/3) is L1 on [0,1] or not and represents x^(1/3) as an integral which i think it does, in the lebesgue sense.

i.e. x^1/3 does seem to be the lebesgue integral of its unbounded derivative. so then one just applies the defn of abs con to get the answer yes? to prob 3?

 

[quasar987]

and i think the result is that continuous derivative implies lipschitz.

Allow me.

Since f is differentiable at x, given e>0, there is a d>0 such that |h|<d ==>

|f(x+h) - f(x) - f&#039;(x)h| \leq \epsilon |h|

Thus, by the "modified" triangle inequality,

|f(x+h) - f(x)| \leq |f&#039;(x)h|+\epsilon |h|=(|f&#039;(x)|+\epsilon)|h|

This is the inequality required for Lipschitz continuity at x.

 

[bham10246]

Thanks for all your input!

I was joyful at first but I don't think f is Lipschitz continuous at x for almost all x implies that f is absolutely continuous.

Maybe f is Lipschitz continuous at x for almost all x implies that f is almost absolutely continous?