Lp Space Examples: Functions in L2 but Not L1

  • Context: Graduate 
  • Thread starter Thread starter redrzewski
  • Start date Start date
  • Tags Tags
    Space
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 17K views
redrzewski
Messages
115
Reaction score
0
Can anyone give me examples of functions in one space but not another?

For instance, some f(x) with f(x) in L2 but not in L1?

The best I can come up with so far is:
f(x) = 1/sqrt(x). Thus is unbounded at 0, but would be in L1 since its integral on 0 to 1 is bounded.

But I can't seem to come up with any examples of a function that would be in L2 but not L1. I've tried polynomial, trig, and some complex functions.

Also, it appears that Ln for some finite n is "larger" than Linfinity. This seems to follow from my above example, since that f(x) wouldn't be in Linfinity but would be in L1, right?

But if Linfinity is the limit of Ln as n goes to infinity, then there must be some inflection point where some Lm is "smaller" than the Ln for m > n.

Is this accurate?


Or is it that L1 is "larger" than L2? This makes more sense, for 1/sqrt(x) is in L1. But (1/sqrt(x))^2 = 1/x is not in L2. So f(x) is not in L2.

thanks
brian
 
Last edited:
Physics news on Phys.org
There are roughly two reasons why an integral might not converge:

1) it has some finite values of x where it blows up to infinity, and if it blows up too fast, then the integral diverges

2) it doesn't decay fast enough as x goes to infinity (analogously, the sum of 1/n diverges but the sum of 1/n2 converges, because 1/n2 decays "fast enough")

Raising a function to a higher power helps it to decay faster at infinity, but it makes the areas of finite x where the function blows up worse.
 
Lp spaces come with an interval attached, usually. This interval is important.

For any bounded interval [a,b], if f is in L2[a,b], then f is also in L1[a,b]. This is not true for unbounded intervals.

Take the function

[tex]f(x)=\left\{\begin{array}{cc}\frac{1}{x} & x \geq 1 \\ 0 & x < 1\end{array}[/tex]

This is in L2(R) but not in L1(R).
 
Thank you both. That's exactly the clarification I was looking for.