Prove sinx/x in L2 but not in L1

  • Thread starter Yaelcita
  • Start date
  • Tags
    L2
In summary: I think the simplest way to do it would be to take the derivative of each little step function with respect to x and integrate over the delta range around x=pi(n+1)/2. This should give you a convergent sum.In summary, the homework statement is in L2 but not in L1.
  • #1
Yaelcita
14
0

Homework Statement


Prove that [tex]f(x)=\sin(\pi x)/(\pi x)[/tex] is in [tex]L^2(R)[/tex] but not in [tex]L^1(R)[/tex]
This is in a chapter of the book dealing with Inverse Fourier Transform

f is in [tex]L^1[/tex] if [tex]\int|f|<\infty[/tex]
f is in [tex]L^2[/tex] if [tex]\sqrt{\int|f|^2}<\infty[/tex]

Homework Equations



I just have no idea how to do it

The Attempt at a Solution



Because the question was in a chapter on Fourier Transform, and many of the theorems there only work for L1 functions, I thought maybe I could prove the conclusion doesn't hold for [tex]\sin(\pi x) /(\pi x)[/tex], so it's not in L1. But so far I haven't been very successful, because every integral I come across is extremely complicated and I have no idea how to solve it. Also, I have nothing to prove it is in L2.

So now I've turned to trying to prove it directly, from the definition of L1 and L2, but I'm still getting nowhere. I just don't know how to solve the integrals.
 
Physics news on Phys.org
  • #2
It's easier just to show the integrals exist or don't exist by a comparison test with something you can integrate. For the first one I suggest an infinite step function.
 
  • #3
By the first one you mean the L1 one or the L2? And what do you mean by infinite step function? f=1 for all x in R?

I'm not sure how this would work, because that integral would be infinite, but |sin x/x| is less than 1, so I can't conclude its integral is infinite too. And if you mean to use it to prove the L2 integral is finite, well, I need something finite to compare it to.

I've been thinking of using that method, but I just can't seem to come up with anything useful to compare it to. Any suggestions?
 
  • #4
Consider the integral of |sin(pi x)|/x from some large N to infinity. You want to prove that this "tail" will diverge. You can write this as a summation over integers n from N to infinity of f(n), where:

f(n) = Integral of |sin(pi x)|/x dx from x = n to n+1

You can find a lower bound for f(n) by replacing 1/x in this integral by 1/(n+1). The integral is easily computed. So, you then find that the tail of the summation is larger than some constant times the tail of the Harmonic series, and the result then follows.

The L^2 problem is easier, as you can then replace sin^2 in the integral by 1 to obtain an upper bound for the tail which converges.
 
  • #5
Compare |f(x)|^2 with 1/x^2 for large x. For small x, you know it's bounded. For |sin(pi*x)/(pi*x)|, you know that is the numerator is equal to 1 for x=pi(n+1)/2, right? That means you should be able to show that |sin(pi*x)| is greater than 1/2 for a small interval of fixed size d around every point x=pi(n+1)/2. Use that to define an infinite number of step functions centered on each point x=pi(n+1)/2, the sum of whose areas diverges as you sum n from 0 to infinity. Since the contribution of each is approximately proportional to 1/n for large n.
 
  • #6
Ok, I'll try that for L1, but now my problem is that Mathematica doesn't agree with me! If I do the sin^2 integral in Mathematica, it says the answer is 1, but if sin^2 is less than 1, then the integral is less than the integral of 1/x^2, which is zero between - and + infinity. So my whole integral is zero (cause the lower bound is zero too, since sin^2>0). What am I dong wrong?
 
  • #7
The integral of 1/x^2 between -infinity and +infinity is divergent. It diverges near x=0. If Mathematica is telling you it's 0, then it's lying. You have to apply another approximation near x=0.
 
  • #8
Ok, there's somethign I'm missing here. You say construct little step functions that are 1/2 where sin x is greater than 1/2 and zero where it's not, right? Or in a delta neighborhood around the point where it's 1, which is the same. So the area under the step functions is infinity because each one is delta/2 and there are infinitely many of them (please tell me if I understood this correctly)

Now my problem is that I also need to do something about x, because it's not obvious (to me, at least) that a sum of little bits of 1/2x is divergent as well. If x were smaller than the 1/2, then I'd be set, but x is in a neighborhood of (n+1)/2>1/2, so this is not the case.

I'm sorry if it seems I'm asking every little step, but I've been working on this for the last 8 hours and my brain is quite tired :)
 
  • #9
The sum of 'little bits' of 1/x is divergent. Because 1/x is divergent. Without trying to finesse this at all, I know if |x-pi*(n+1)/2|<1/100, that |sin(x)|>1/2. That means that the integral of |f(x)| is greater than the sum over all n of (2/100)*(1/2)/(pi*(n+1)/2+d). You don't even have to make an accurate estimate to show it diverges.
 
Last edited:

1. What is L2 and L1 in this context?

In mathematics, L2 and L1 are both function spaces, which are collections of functions that share certain properties. L2 is the space of square-integrable functions, while L1 is the space of integrable functions. This means that the integral of a function in L2 is finite, while the integral of a function in L1 may be infinite.

2. What does it mean for a function to be in L2?

A function is in L2 if its square is integrable over the given interval. In other words, the area under the curve of the squared function is finite. This is also known as having finite energy.

3. How is sinx/x proven to be in L2 but not in L1?

The proof for this statement involves using the Cauchy-Schwarz inequality and the fact that the integral of sin^2(x) from 0 to infinity is equal to pi/2, a finite value. This shows that the square of sinx/x is integrable, and therefore, sinx/x is in L2. On the other hand, the integral of sinx/x from 0 to infinity is infinite, which means it is not in L1.

4. Why is this result important in mathematics?

This result is important because it demonstrates the difference between L2 and L1, two commonly used function spaces in mathematics. It also shows that not all functions that are integrable are also square-integrable, which is an important distinction in various mathematical applications.

5. Can this result be generalized to other functions?

Yes, this result can be generalized to other functions. In general, if the integral of a function's square is finite, then the function is in L2. However, whether a function is in L1 or not depends on the behavior of its integral, which can vary for different functions.

Similar threads

  • Calculus and Beyond Homework Help
Replies
5
Views
741
  • Calculus and Beyond Homework Help
Replies
3
Views
166
  • Calculus and Beyond Homework Help
Replies
3
Views
269
  • Calculus and Beyond Homework Help
Replies
1
Views
520
  • Calculus and Beyond Homework Help
Replies
6
Views
872
  • Calculus and Beyond Homework Help
Replies
1
Views
253
  • Calculus and Beyond Homework Help
Replies
2
Views
792
  • Calculus and Beyond Homework Help
Replies
5
Views
222
  • Calculus and Beyond Homework Help
Replies
31
Views
2K
  • Calculus and Beyond Homework Help
Replies
6
Views
2K
Back
Top