11
$\begingroup$

I want to prove that $f(x)=\sqrt x$ is absolutely continuous.

So I must show that for every $\epsilon>0$,there is a $\delta>0$ that if $\{[a_k,b_k]\}_1^n$ is a disjoint collection of intervals that $\sum_{k=1}^n (b_k-a_k)<\delta$, then $\sum_{k=1}^n \left(\sqrt{b_k}-\sqrt{a_k}\right)< \epsilon$.

I tried but I can't obtain $\delta$ independent from $n$.

What is my mistake? Is there any hint?

Thank you.

$\endgroup$
17
$\begingroup$

Without measure theory:

Lemma: Suppose $0<a<b$ and $0\le h\le a.$ Then

$$\sqrt {b} - \sqrt {a}\le \sqrt {b-h}-\sqrt {a-h}.$$

On the right, both $a,b$ have been shifted to the left by $h.$ A glance at the graph of $y=x^{1/2}$ makes the result intuitively clear: The rate of growth of $\sqrt {x}$ is larger as $x$ gets smaller. To prove the lemma, define $f(h)$ to be the right side minus the left side. Then $f$ is continuous on $[0,a],$ differentiable on $(0,a],$ and $f(0)=0.$ Verify $f' > 0$ on $(0,a]$ to then give the result.

Suppose now that $[a_1,b_1] < [a_2,b_2] < \cdots < [a_n,b_n]$ are pairwise disjoint. Claim:

$$\tag 1 \sum_{k=1}^{n} (\sqrt {b_k}-\sqrt {a_k}) < \sqrt {\sum_{k=1}^{n} (b_k - a_k)}.$$

Proof: By the lemma, the sum on the left can only increase if we shift all of the $[a_k,b_k]$ to the left so they're right next to each other. We then obtain intervals $[c_{k-1},c_k],$ with $0=c_0 < c_1 < \cdots <c_n,$ and lengths $c_k-c_{k-1} =b_k-a_k.$ Thus

$$ \sum_{k=1}^{n} (\sqrt {b_k} - \sqrt {a_k}) \le \sum_{k=1}^{n} (\sqrt {c_k} - \sqrt {c_{k-1}}) = \sqrt {c_n}.$$

But $c_n$ is just the sum of the lengths of these intervals, so we have $(1).$

Now it's easy to find a $\delta$ for a given $\epsilon$ in proving absolute continuity of $\sqrt x:$ Just choose $\delta = \epsilon^2.$

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ oh!really nice proof!thanks! $\endgroup$ – user115608 Nov 23 '15 at 21:15
  • $\begingroup$ How $\sum_{k=1}^{n} (\sqrt {b_k} - \sqrt {a_k}) \le \sum_{k=1}^{n} (\sqrt {c_k} - \sqrt {c_{k-1}})$ ? How $\le$ comes? I think it should be $=$ sign. $\endgroup$ – Empty Aug 31 '16 at 8:00
  • $\begingroup$ @zhw. ) Please response why this inequality comes ? And where the inequality $\sqrt{x+h}-\sqrt x\le \sqrt h$ is needed ? $\endgroup$ – Empty Aug 31 '16 at 14:13
  • $\begingroup$ Now it is fixed..Thanks..That solves my problem.. $\endgroup$ – Empty Sep 4 '16 at 3:53
11
$\begingroup$

Note that $\sqrt{x}$ is differentiable with derivative $\frac{1}{2\sqrt{x}}$. Since: $$\sqrt{x} = \int_0^x \frac{{\rm d}t}{2\sqrt{t}}$$and the derivative is Lebesgue-integrable (do note that the above integral is improper, though), $\sqrt{x}$ is absolutely continuous.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ that's true.thanks! $\endgroup$ – user115608 Nov 23 '15 at 20:06
1
$\begingroup$

You could prove this in a few steps:

  • $f(x) = \sqrt{x}$ is absolutely continuous on $[0, 1]$.
  • If $f$ is differentiable on $[1, \infty)$ and $f'$ is bounded on $[1, \infty)$, then $f$ is absolutely continuous on $[1, \infty)$.
    • This applies to show that $f(x) = \sqrt{x}$ is absolutely continuous on $[1, \infty)$.
  • If $f$ is absolutely continuous on $[0, 1]$ and also absolutely continuous on $[1, \infty)$, then $f$ is absolutely continuous on $[0, \infty)$.
| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ How can the first step be proved? $\endgroup$ – Secretly Nov 11 '19 at 1:32
0
$\begingroup$

Hint: You can prove that by the following steps:

  1. $\sqrt{x}$ is continuous on $[0,1].$

  2. for any $\epsilon \in [0,1]$, $\sqrt{x}$ is ac on $[\epsilon,1].$

  3. $\sqrt{x}$ is ac on $[0,1]$ provided it is increasing.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.