Ngô Quốc Anh

September 17, 2008

L^2 differentiable?

Filed under: Các Bài Tập Nhỏ, Giải Tích 2, Giải Tích 3 — Ngô Quốc Anh @ 13:04

Let and define .

a) Must be differentiable at 0?
b) Must have any differentiable points?
c) Let , show that exists and determine what it is.


a) No. For example, let for so that near zero. This but does not exist.

b) Yes. In fact, must be differentiable almost everywhere, by the Lebesgue theorem on the differentiation of the integral. This theorem requires only that which is true.

c) By the Schwarz inequality,

f^2(x) = \left(\int_0^x}g(t)\,dt\right)^2\le \left(\int_0^x 1\,dt\right) \left(\int_0^xg^2(t)\,dt\right).

At least that’s it for Being careful about the other side, we determine that

0\le\phi(x) = f^2(x)\le|x|\left|\int_0^xg^2(t)\,dt\right|.

But since is an integrable function we have (by an argument that uses the Dominated Convergence Theorem) that

\lim_{x\to 0}\int_0^xg^2(t)\,dt = 0.

Hence \lim_{x\to0}\frac {\phi(x)}{x} = 0, so

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Create a free website or blog at

%d bloggers like this: