Why is this function not ##L^1(\mathbb{R} \times \mathbb{R})##?

Click For Summary

Discussion Overview

The discussion centers around the conditions under which a function can be considered in the space ##L^1(\mathbb{R} \times \mathbb{R})##, particularly in the context of a Fourier transform expression. Participants explore the implications of integrability and the properties of complex exponentials in relation to the integrability of the function involved.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants question why the function ##f(u) e^{i \omega(t-u)}## is not in ##L^1(\mathbb{R} \times \mathbb{R})##, suggesting that the complex exponential may not always be bounded.
  • Others inquire about the properties of the function ##f(u)##, with one participant noting that it is related to the Fourier inverse theorem when ##f## is in ##L^1(\mathbb{R})##.
  • There is a discussion about the integrability of sine and cosine functions over ##\mathbb{R}##, with participants noting that they are not integrable, which may affect the overall integrability of the expression.
  • One participant presents a mathematical argument regarding the absolute value of the function and concludes that the integral diverges, questioning how to utilize the non-integrability of sine and cosine in this context.
  • Another participant challenges the validity of a previous argument by examining the case when ##t = 0## and demonstrating that the inner integral does not converge, emphasizing that neither cosine nor sine is integrable over all of ##\mathbb{R}##.
  • A later reply mentions that for a function to be in ##L^1(X)## where ##X## is unbounded, it must decrease sufficiently fast, using the example of a bounded function like ##f(x) = 1##.

Areas of Agreement / Disagreement

Participants express differing views on the integrability of the function and the implications of the properties of sine and cosine. The discussion remains unresolved, with multiple competing perspectives on the conditions for integrability.

Contextual Notes

Participants note limitations regarding the assumptions about the behavior of the function ##f(u)## and the definitions of integrability in the context of unbounded domains.

laurabon
Messages
17
Reaction score
0
Hi everyone in the following expression
##f(t)=\frac{1}{2 \pi} \int\left(\int f(u) e^{-i \omega u} d u\right) e^{i \omega t} d \omega ##

the book says I can't swap integrals bacause the function

##f(u) e^{i \omega(t-u)}## is not ## L^1(\mathbb{R} \times \mathbb{R})##

why ? complex exponential is not always bounded?
 
Physics news on Phys.org
What properties does ##f(u)## have?
 
FactChecker said:
What properties does ##f(u)## have?
it is Fuorier inverse theorem with ##f## in ##L^1(\mathbb{R})##
 
laurabon said:
Hi everyone in the following expression
##f(t)=\frac{1}{2 \pi} \int\left(\int f(u) e^{-i \omega u} d u\right) e^{i \omega t} d \omega ##

the book says I can't swap integrals bacause the function

##f(u) e^{i \omega(t-u)}## is not ## L^1(\mathbb{R} \times \mathbb{R})##

why ? complex exponential is not always bounded?
Note that ##\sin## and ##\cos## are not integrable over ##\mathbb R##.
 
  • Like
Likes   Reactions: FactChecker
PeroK said:
Note that ##\sin## and ##\cos## are not integrable over ##\mathbb R##.
I came up with this . Is correct? ##
\begin{aligned}
& \left|f(u) e^{i \omega(t-u)}\right|=|f(u)| \\
& \iint|f(u)|=\int_{-\infty}^{\infty} c = \infty
\end{aligned}##

how should I use the fact that sin and cosine are not integrable ?I mean to verify that is in L1 I always have to use the fact that ##|e^{i \omega(t-u)}|=1## I think
 
laurabon said:
I came up with this . Is correct? ##
\begin{aligned}
& \left|f(u) e^{i \omega(t-u)}\right|=|f(u)| \\
& \iint|f(u)|=\int_{-\infty}^{\infty} c = \infty
\end{aligned}##

how should I use the fact that sin and cosine are not integrable ?I mean to verify that is in L1 I always have to use the fact that ##|e^{i \omega(t-u)}|=1## I think
I don't think that works. First, let's take ##t = 0##, where the integral reduces to:
$$f(0) = \int_{-\infty}^{+\infty} \bigg ( \int_{-\infty}^{+\infty}f(u)e^{-iwu}\ du \bigg ) \ dw$$If we try to swap the integrals and look at:$$\int_{-\infty}^{+\infty} f(u) \bigg ( \int_{-\infty}^{+\infty}e^{-iwu}\ dw \bigg ) \ du$$We can see immediately that the inner integral does not converge and does not represent a well-defined function of ##u##. Because neither ##\cos(wu)## nor ##\sin(wu)## is integrable with respect to ##w## on all of ##\mathbb R##.
 
  • Like
Likes   Reactions: FactChecker
laurabon said:
Hi everyone in the following expression
##f(t)=\frac{1}{2 \pi} \int\left(\int f(u) e^{-i \omega u} d u\right) e^{i \omega t} d \omega ##

the book says I can't swap integrals bacause the function

##f(u) e^{i \omega(t-u)}## is not ## L^1(\mathbb{R} \times \mathbb{R})##

why ? complex exponential is not always bounded?
Notice f(x)==1 is also bounded. To be able to be in ##L^1(X)## , where ##X## itself is unbounded, your f has to decrease fast-enough.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K