Ngô Quốc Anh

October 9, 2007

Thuộc L^1 nhưng không thuộc L^2

Filed under: Các Bài Tập Nhỏ — Ngô Quốc Anh @ 23:21

Problem. Construct a function in L^1 (-\infty,+\infty) which is not in L^2(a,b) for any a<b.

Solution. Let g(x)=|x|^{-2/3}e^{-x^2}. The particular thing to note about this function is that g\in L^1(\mathbb{R}) but if 0\in[a,b], then \int_a^bg(x)^2\,dx=\infty. (The exact details of g can be varied; all we really need are those two properties). Let r_k be an enumeration of the rational numbers (any other countable dense subset of \mathbb{R} would do just as well). Let



 \int_{\mathbb{R}}f=\sum_{k=1}^{\infty}  <br> \int_{\mathbb{R}}2^{-k}g(x-r_k)\,dx =\sum_{k=1}^{\infty}2^{-k}\int_{\mathbb{R}}g,

which converges.

(The interchange of integral and sum is justified by the Monotone Convergence Theorem since g is nonnegative).

But on any interval (a,b), chose some r_m\in(a,b). On that interval,




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.

Blog at

%d bloggers like this: