Proving Continuity of $$ \int_{-\pi}^{\pi}te^{xt}\cos(yt)g(t)dt$$

  • Context: MHB 
  • Thread starter Thread starter Dustinsfl
  • Start date Start date
  • Tags Tags
    Continuity
Click For Summary
SUMMARY

The continuity of the integrals $$ \int_{-\pi}^{\pi} te^{xt}\cos(yt)g(t)dt $$ and $$ -\int_{-\pi}^{\pi} te^{xt}\sin(yt)g(t)dt $$ can be established by analyzing the properties of the Fourier transform of the function g(t). Given that t, $$ e^{xt} $$, sine, and cosine functions are continuous, the continuity of the integrals hinges on the integrability of $$ g(t)e^{zt} $$ over the interval $$ (-\pi, \pi) $$. If this condition is satisfied, then the integrals are continuous due to the differentiability of the Fourier transform $$ G(z) $$, which is defined as $$ G(z) = \int_{-\pi}^{\pi} e^{zt}g(t)dt $$.

PREREQUISITES
  • Understanding of Fourier transforms, specifically $$ G(z) = \int_{-\pi}^{\pi} e^{zt}g(t)dt $$
  • Knowledge of continuity and differentiability in the context of integrals
  • Familiarity with the properties of exponential functions and trigonometric functions
  • Concept of uniform continuity and its implications for integrals
NEXT STEPS
  • Study the properties of the Fourier transform and its implications for continuity
  • Learn about the conditions under which differentiation can be interchanged with integration
  • Explore the concept of uniform continuity and its relevance in integral calculus
  • Investigate examples of integrable functions and their Fourier transforms
USEFUL FOR

Mathematicians, students of advanced calculus, and anyone interested in the continuity of integrals involving Fourier transforms and trigonometric functions.

Dustinsfl
Messages
2,217
Reaction score
5
How can I prove the below is continuous?

$$
\int_{-\pi}^{\pi}te^{xt}\cos(yt)g(t)dt \quad\text{and}\quad
-\int_{-\pi}^{\pi}te^{xt}\sin(yt)g(t)dt
$$

define the Fourier transform of g as
$$
G(z) = \int_{-\pi}^{\pi}e^{zt}g(t)dt
$$

We know t, e^{xt}, sine, and cosine are continuous which means their products are continuous but we don't know about g(t).
 
Physics news on Phys.org
dwsmith said:
How can I prove the below is continuous?

$$
\int_{-\pi}^{\pi}te^{xt}\cos(yt)g(t)dt \quad\text{and}\quad
-\int_{-\pi}^{\pi}te^{xt}\sin(yt)g(t)dt
$$

define the Fourier transform of g as
$$
G(z) = \int_{-\pi}^{\pi}e^{zt}g(t)dt
$$

We know t, e^{xt}, sine, and cosine are continuous which means their products are continuous but we don't know about g(t).

The definition of F.T. of g(*) You have given...

$\displaystyle \mathcal{F} \{g(t)\}= G(z)=\int_{- \pi}^{\pi} g(t)\ e^{z t}\ dt$ (1)

... implies that...

$\displaystyle G^{'}(z)= \int_{- \pi}^{\pi} t\ g(t)\ e^{z t}\ dt= \mathcal{F}\{t\ g(t)\}$ (2)

Now if $\displaystyle g(t)\ e^{z t}$ is integrable in $(-\pi\ ,\ \pi)$ the same is for $\displaystyle t\ g(t)\ e^{z t}$ so that G(z) is everywhere derivable and that means that G(z) is everywhere continuous...

Kind regards

$\chi$ $\sigma$
 
chisigma said:
The definition of F.T. of g(*) You have given...

$\displaystyle \mathcal{F} \{g(t)\}= G(z)=\int_{- \pi}^{\pi} g(t)\ e^{z t}\ dt$ (1)

... implies that...

$\displaystyle G^{'}(z)= \int_{- \pi}^{\pi} t\ g(t)\ e^{z t}\ dt= \mathcal{F}\{t\ g(t)\}$ (2)

Now if $\displaystyle g(t)\ e^{z t}$ is integrable in $(-\pi\ ,\ \pi)$ the same is for $\displaystyle t\ g(t)\ e^{z t}$ so that G(z) is everywhere derivable and that means that G(z) is everywhere continuous...

Kind regards

$\chi$ $\sigma$

Can the derivative be slipped past the integral because of uniform continuous?
 
dwsmith said:
Can the derivative be slipped past the integral because of uniform continuous?

The derivative of the function...

$\displaystyle g(z)= \int_{a}^{b} f(x,z)\ dx$ (1)

... exists if $f_{z} (x,z)$ exists and is continuous...

Kind regards

$\chi$ $\sigma$
 
chisigma said:
Now if $\displaystyle g(t)\ e^{z t}$ is integrable in $(-\pi\ ,\ \pi)$ the same is for $\displaystyle t\ g(t)\ e^{z t}$ so that G(z) is everywhere derivable and that means that G(z) is everywhere continuous...

Don't we need the G' to be continuous because than the partials would be continuous?
 
dwsmith said:
Don't we need the G' to be continuous because than the partials would be continuous?

We are interested only to the existence of G'(z), because if G'(z) exists then G(z) is continuous...

Kind regards

$\chi$ $\sigma$
 
chisigma said:
We are interested only to the existence of G'(z), because if G'(z) exists then G(z) is continuous...

Kind regards

$\chi$ $\sigma$

I think you misunderstood the question. I want to show the first to integrals are continuous. I gave the Fourier Transform information because g(t) is defined by it.
 
dwsmith said:
I think you misunderstood the question. I want to show the first to integrals are continuous. I gave the Fourier Transform information because g(t) is defined by it.

I'm sure to have misunderstood because continuous can be [if it is...] a function and not a definite integral...

Kind regards

$\chi$ $\sigma$
 
chisigma said:
I'm sure to have misunderstood because continuous can be [if it is...] a function and not a definite integral...

Kind regards

$\chi$ $\sigma$

If the definite integrals are partial derivatives, then they can be continuous (or not) as well.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K