Can It Be Proven That Optics Field Amplitudes Satisfy Negative Frequencies?

Click For Summary

Discussion Overview

The discussion revolves around the relationship between field amplitudes in optics and their behavior at negative frequencies, specifically questioning how the property E(-ω) = E*(ω) can be proven or understood. The scope includes theoretical aspects of optics, particularly in quantum and classical contexts.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant questions the proof of the relationship E(-ω) = E*(ω) as stated in various optics literature, noting a lack of formal derivation in textbooks.
  • Another participant suggests that the property may not be specific to quantum optics and presents a general form of the electric field that implies the relationship is trivial.
  • A third participant acknowledges the previous point but expresses uncertainty about the ability to prove the relationship, indicating that it relies on definitions rather than a formal proof.
  • A later reply references a specific book that discusses the topic, suggesting that the property is recognized in the literature.
  • One participant concludes that the discussion has clarified their understanding of the topic.

Areas of Agreement / Disagreement

Participants express differing views on the necessity of a formal proof for the relationship E(-ω) = E*(ω), with some considering it trivial while others remain uncertain about its derivation. The discussion does not reach a consensus on the matter.

Contextual Notes

The discussion highlights the reliance on definitions and the potential ambiguity in the interpretation of the relationship between field amplitudes and negative frequencies. There are unresolved questions regarding the applicability of the property in different contexts.

Niles
Messages
1,834
Reaction score
0
Hi

In (quantum) optics, many authors state that the field amplitudes satisfy

<br /> E\left( { - \omega } \right) = E^* \left( \omega \right)<br />

But how is it that one can prove that this is correct? I have never seen any book do this,
 
Science news on Phys.org
Isn't this trivial and not specific to quantum cases anyways? Suppose you have an oscillating E-field (of course, the same works for the B-field component),
E(\vec{r},\omega,t)=E_0(\vec{r},t)e^{-i \omega t}

Then the property you mention is trivial.
 
You might be right; it probably isn't related to quantum cases. Here is how I have understood it: We can generally write

<br /> E\left( {r,t} \right) = \sum\limits_{n &gt; 0} {\left( {E\left( r \right)e^{ - i\omega t} + c.c.} \right) = \sum\limits_{n,\,\,all} {E\left( \omega \right)e^{ - i\omega t} } } <br />

The last equality follows it we define

<br /> \begin{array}{l}<br /> E\left( r \right) \equiv E\left( \omega \right) \\ <br /> E\left( \omega \right)^* = E\left( { - \omega } \right) \\ <br /> \end{array}<br />

But these are just definitions. So I don't see how we can really prove that <br /> <br /> E\left( { - \omega } \right) = E^* \left( \omega \right)<br /> <br />Niles.
 
Ok, it's pretty obvious now. Thanks.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K