Lp Space Examples: Functions in L2 but Not L1

  • Thread starter redrzewski
  • Start date
  • Tags
    Space
In summary, the conversation discusses examples of functions that are in L2 but not L1, and vice versa, as well as the relationship between Lp spaces and intervals. The conclusion is that a function can be in L2 if it is bounded on a finite interval, but not necessarily in L1 if it is unbounded on the same interval.
  • #1
redrzewski
117
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
  • #2
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.
 
  • #3
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).
 
  • #4
Thank you both. That's exactly the clarification I was looking for.
 

FAQ: Lp Space Examples: Functions in L2 but Not L1

What is an Lp space?

An Lp space is a type of function space that is commonly used in mathematics and physics. It is a collection of all functions that have a certain property, called p-norm, which is defined as the integral of the absolute value of the function raised to the power of p. The most commonly used Lp spaces are L1, L2, and L∞.

What is the difference between L1 and L2 spaces?

The main difference between L1 and L2 spaces is the way the p-norm is calculated. In L1 space, the p-norm is defined as the integral of the absolute value of the function, while in L2 space, it is defined as the square root of the integral of the squared function. This leads to different properties and behaviors of functions in these two spaces.

Can a function be in L2 but not in L1?

Yes, it is possible for a function to be in L2 space but not in L1 space. This means that the function has a finite p-norm when p is equal to 2, but not when p is equal to 1. This is because the integral of the squared function can converge to a finite value even if the integral of the absolute value of the function does not.

Why is it important to understand Lp spaces?

Lp spaces are important in many areas of mathematics and physics, especially in the study of functions and their properties. They allow us to define and analyze different types of functions in a systematic way, and they also provide a framework for understanding concepts such as convergence, continuity, and differentiability.

Can you give an example of a function that is in L2 but not in L1?

One example of a function that is in L2 but not in L1 is f(x) = x^-1/2. This function has a finite p-norm when p is equal to 2, but not when p is equal to 1. This can be seen by calculating the integrals: ∫|f(x)| dx = ∫x^-1/2 dx = 2x^1/2, which is not defined at x = 0, and ∫|f(x)|^2 dx = ∫x^-1 dx = ln(x), which is defined for all x > 0. Therefore, f(x) is in L2 but not in L1.

Back
Top