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

In summary, a function is not in \( L^1(\mathbb{R} \times \mathbb{R}) \) if its integral over the entire space \( \mathbb{R} \times \mathbb{R} \) diverges. This can occur if the function does not decay sufficiently at infinity or if it has singularities that lead to an infinite area under its surface. Specifically, the function must meet the criterion that the integral of its absolute value is finite; if this condition is violated, it cannot be classified as \( L^1 \).
  • #1
laurabon
17
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
  • #2
What properties does ##f(u)## have?
 
  • #3
FactChecker said:
What properties does ##f(u)## have?
it is Fuorier inverse theorem with ##f## in ##L^1(\mathbb{R})##
 
  • #4
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 FactChecker
  • #5
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
 
  • #6
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 FactChecker
  • #7
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.
 

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

1. What does it mean for a function to be in L^1(ℝ × ℝ)?

A function is in L^1(ℝ × ℝ) if the integral of its absolute value over the entire two-dimensional space is finite. Mathematically, this is expressed as ∫∫ |f(x, y)| dx dy < ∞. This condition ensures that the function is absolutely integrable over the specified domain.

2. What are some common reasons a function might not be in L^1(ℝ × ℝ)?

Common reasons include the function having a non-integrable singularity (such as being unbounded), growing too quickly at infinity, or having a region where it does not decay sufficiently fast to ensure the integral converges. Functions that do not meet the absolute integrability condition will fail to belong to L^1(ℝ × ℝ).

3. How can I determine if a specific function is in L^1(ℝ × ℝ)?

To determine if a specific function f(x, y) is in L^1(ℝ × ℝ), you should compute the double integral of its absolute value: ∫∫ |f(x, y)| dx dy. If this integral diverges (i.e., equals infinity), then the function is not in L^1(ℝ × ℝ).

4. Can you give an example of a function that is not in L^1(ℝ × ℝ)?

An example of a function that is not in L^1(ℝ × ℝ) is f(x, y) = 1/(x^2 + y^2) for (x, y) ≠ (0, 0). The integral ∫∫ |f(x, y)| dx dy diverges as you approach the origin, leading to the conclusion that this function is not absolutely integrable over the entire plane.

5. What implications does a function not being in L^1(ℝ × ℝ) have in analysis or applications?

If a function is not in L^1(ℝ × ℝ), it may not be suitable for certain analytical techniques, such as Fourier transforms, which require integrability for convergence. In applications, it may indicate that the function cannot be interpreted as a probability density function, or that it cannot be used in contexts where absolute integrability is necessary for physical or mathematical reasoning.

Similar threads

Replies
11
Views
899
Replies
0
Views
751
Replies
4
Views
701
Replies
2
Views
798
Replies
4
Views
120
Replies
14
Views
1K
Back
Top