Parseval's theorem and Fourier Transform proof

Click For Summary

Discussion Overview

The discussion revolves around the proof of Parseval's theorem in the context of Fourier transforms, specifically examining the relationship between the integral of the square of a function and the integrals of its Fourier coefficients. The scope includes theoretical aspects of Fourier analysis and mathematical reasoning.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant presents a function F(t) and seeks a proof for a specific integral relationship involving its Fourier coefficients.
  • Another participant references a previous thread that may contain relevant information or similar problems.
  • Some participants identify the theorem in question as Plancherel's theorem, suggesting that it is related to Parseval's identity and involves the use of the Dirac delta function.
  • There is a mention of the isometric properties of Fourier series and transforms, indicating a connection between different mathematical spaces.

Areas of Agreement / Disagreement

Participants appear to agree on the identification of the theorem as Plancherel's theorem, but there is no consensus on the proof or the specifics of the argument presented.

Contextual Notes

Some assumptions regarding the use of the Dirac delta function and the conditions under which the theorems apply are not fully explored. The discussion does not resolve the mathematical steps necessary for a complete proof.

Ineedhelp0
Messages
1
Reaction score
0
TL;DR
I am searching for a proof that the square of a function is equal to the sum of the square of its transform.
Given a function F(t)
$$ F(t) = \int_{-\infty}^{\infty} C(\omega)cos(\omega t) d \omega + \int_{-\infty}^{\infty} S(\omega)sin(\omega t) d \omega $$
I am looking for a proof of the following:

$$ \int_{-\infty}^{\infty} F^{2}(t) dt= 2\pi\int_{-\infty}^{\infty} (C^{2}(\omega) + S^{2}(\omega)) d \omega $$
 
Last edited:
Physics news on Phys.org
The idea is similar. Parseval's identity says that taking Fourier series gives an isometry ##L^2(S^1)\to\ell^2##. Plancherel says that the Fourier transform gives a self-isometry of ##L^2(\mathbb{R})\cap L^1(\mathbb{R})##.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 12 ·
Replies
12
Views
12K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K