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

Discussion Overview

The discussion revolves around proving 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$$. Participants explore the implications of the Fourier transform of the function g(t) and the conditions under which these integrals may be continuous.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that since t, e^{xt}, sine, and cosine are continuous, their products are also continuous, but the continuity of g(t) remains uncertain.
  • Others propose that if g(t)e^{zt} is integrable over the interval, then t g(t)e^{zt} is also integrable, suggesting that G(z) is everywhere derivable and thus continuous.
  • A participant questions whether the derivative can be moved past the integral due to uniform continuity.
  • Another participant emphasizes the importance of G'(z) being continuous for the continuity of G(z), while others argue that the existence of G'(z) is sufficient for G(z) to be continuous.
  • There is a clarification that the focus is on the continuity of the integrals rather than the continuity of G(z) itself.
  • Some participants express confusion regarding the nature of continuity in relation to definite integrals versus functions.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the conditions required for the continuity of the integrals. There are competing views on the implications of the Fourier transform and the role of uniform continuity.

Contextual Notes

Participants discuss the integrability of g(t) and its implications for the continuity of the integrals, but there are unresolved assumptions regarding the properties of g(t) and the conditions under which the integrals are evaluated.

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
5K
  • · 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