Why is E(t) multiplied by e^(-ix) in Plancherel's Theorem proof?

  • Context: Undergrad 
  • Thread starter Thread starter QuantumDuality
  • Start date Start date
  • Tags Tags
    Proof Theorem
Click For Summary

Discussion Overview

The discussion centers on the application of Plancherel's Theorem in the context of Fourier Transforms, specifically addressing the multiplication of the function E(t) by e^(-ix) in the proof. Participants explore the implications of this multiplication and its relation to complex conjugates, as well as the properties of integrals in the context of variable changes.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant questions why E(t) is multiplied by e^(-ix), suggesting it may relate to the conjugate of e^(ix) but expresses uncertainty.
  • Another participant explains that the first equation in the proof derives from the definition of Fourier Transform pairs and mentions the theorem regarding the inverse Fourier transform.
  • A different participant presents a counterexample involving a change of variables in integrals, indicating confusion about the application of the integral equality suggested by the previous participant.
  • A subsequent reply clarifies that the equation discussed is meant for definite integrals and acknowledges an inaccuracy in the initial statement regarding variable changes in integrals.

Areas of Agreement / Disagreement

Participants express differing views on the application of integral properties and the implications of variable changes, indicating that the discussion remains unresolved regarding the specific mathematical interpretations and applications.

Contextual Notes

Limitations include potential misunderstandings of integral properties, the need for clarity on variable changes, and the specific conditions under which the equations apply.

QuantumDuality
Messages
10
Reaction score
0
the first step of the Plancherel's Theorem proof found in: http://mathworld.wolfram.com/PlancherelsTheorem.html, says:
let
Inline1.gif
be a function that is sufficiently smooth and that decays sufficiently quickly near infinity so that its integrals exist. Further, let
Inline2.gif
and
Inline3.gif
be FT pairs so that:
Inline4.gif
Inline5.gif
Inline6.gif

Inline7.gif
Inline8.gif
Inline9.gif


assuming x = 2*pi*v*t, why is E(t) multiplied by e^(-ix)?, i guess it has to do with the fact that it is the conjugate of e^(ix), but i can't figure it out
 
Physics news on Phys.org
The first equation follows from the definition of Fourier Transform pairs (to be more precise from a theorem that the inverse Fourier transform of the Fourier transform of a function, is the function itself).

The second equation follows from first by taking the complex conjugate at each side of the first equation. And of course changing the name of the variable but I guess you know that ##\int f(x)dx=\int f(y)dy## no matter what x and y are.
 
but if we have for example:
f(x) = x³
y = x²
then
f(y) = (x²)³ = x⁶
dy/dx = 2x
dy = 2x dx

using the equation you suggest:
∫f(x)dx=∫f(y)dy
∫x³ dx=∫2x⁷ dx

i'm missing something?
 
Well the equation I wrote is for definite integrals (ok I admit I didn't write it in an accurate way) , so i should ve write ##\int\limits_{a}^{b}f(x)dx=\int\limits_{a}^{b}f(y)dy##

What you doing is a change of variable ##y=x^2## in the integral ##\int\limits_{a}^{b}f(y)dy## so the interval of integration changes from ##(a,b)## to ## (\sqrt{a},\sqrt{b})##. So the last line of your post should be actually ##\int\limits_{a}^{b}x^3dx=\int\limits_{\sqrt{a}}^{\sqrt{b}}2x^7dx##.
 
  • Like
Likes   Reactions: QuantumDuality

Similar threads

  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 54 ·
2
Replies
54
Views
12K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 41 ·
2
Replies
41
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
18
Views
2K
  • · Replies 1 ·
Replies
1
Views
9K
  • · Replies 18 ·
Replies
18
Views
2K