Deriving the ∫dω1 integral in 2nd-order polarization

Click For Summary
SUMMARY

The discussion focuses on deriving the frequency domain form of the second-order polarization integral, specifically the integral ∫dω1. The user attempts multiple approaches, including recognizing the time-domain formula as a double convolution and questioning the mapping of time-domain convolutions to frequency-domain convolutions. The Fourier transform definitions provided are crucial for understanding the derivation process. Ultimately, the user confirms that their questions were resolved after consulting with their professor.

PREREQUISITES
  • Understanding of second-order polarization in electromagnetism
  • Familiarity with Fourier transforms and their definitions
  • Knowledge of convolution in both time and frequency domains
  • Ability to work with integrals in mathematical physics
NEXT STEPS
  • Study the properties of Fourier transforms in relation to convolution
  • Explore the concept of separability in integrals involving multiple variables
  • Research the physical significance of the χ²(ω, ω1, ω2) function in polarization
  • Practice deriving frequency domain representations from time domain equations
USEFUL FOR

Students and researchers in physics, particularly those focusing on electromagnetism and polarization phenomena, as well as anyone interested in the mathematical techniques of Fourier analysis.

Ngineer
Messages
62
Reaction score
1
Homework Statement
Starting with the second order polarization in the time domain:
upload_2018-12-6_5-13-6.png
(1)

I am trying derive the frequency domain form:
upload_2018-12-6_5-5-58.png
(2)

Multiple sources give essentially the same formula with the same integral, I have obtained the particular ones in here from those lecture notes.

My issue is finding the origin of the ∫dω1 integral. After a day of attempts I still can't figure out how it comes into play.

The attempt at a solution
Attempt 1

I started by identifying the time-domain formula (equation 1) as a double convolution:
upload_2018-12-6_5-21-43.png


Which would map nicely to
upload_2018-12-6_5-27-26.png

But I did not get far as to deriving equation 2 from here.

Attempt 2
Another approach I have attempted is that recognizing the the desired frequency-domain form (equation 2) is very close to convolution with respect to ω=ω1+ω2:
upload_2018-12-6_5-52-57.png


However,
- Why would a convolution in the time domain map to a convolution in the frequency domain?
- The original formula (equation 2) does not have an integral with respect to ∫dω2.

Any help is incredibly appreciated.
Thank you!
 

Attachments

  • upload_2018-12-6_5-5-58.png
    upload_2018-12-6_5-5-58.png
    7.7 KB · Views: 686
  • upload_2018-12-6_5-13-6.png
    upload_2018-12-6_5-13-6.png
    8.5 KB · Views: 687
  • upload_2018-12-6_5-21-43.png
    upload_2018-12-6_5-21-43.png
    1.8 KB · Views: 465
  • upload_2018-12-6_5-27-26.png
    upload_2018-12-6_5-27-26.png
    1.5 KB · Views: 464
  • upload_2018-12-6_5-38-41.png
    upload_2018-12-6_5-38-41.png
    5.3 KB · Views: 436
  • upload_2018-12-6_5-46-59.png
    upload_2018-12-6_5-46-59.png
    5.2 KB · Views: 466
  • upload_2018-12-6_5-47-11.png
    upload_2018-12-6_5-47-11.png
    5.2 KB · Views: 441
  • upload_2018-12-6_5-52-57.png
    upload_2018-12-6_5-52-57.png
    4.8 KB · Views: 478
Physics news on Phys.org
How is your Fourier transform defined?

Assuming it is
##E\left(t\right)=\frac{1}{2\pi}\int d\omega \exp\left(-i\omega t\right) \tilde{E}\left(\omega\right)## Eq.(1)
##\tilde{E}\left(\omega\right)=\int dt \exp\left(i\omega t\right) E\left(t\right)##

Where ##\tilde{\dots}## denotes the frequency domain functions.

How about substituting Eq. (1) into your expressions, and then carrying out the integrals with respect to ##t'## and ##t''##? In the process of doing this you will need to explain what does ##\chi^{2}\left(\omega, \omega_1, \omega_2\right)## mean. How does it relate to temporal version?
 
  • Like
Likes   Reactions: Ngineer
Thank you for your response, the definition of the Fourier transform is

upload_2018-12-16_18-14-35.png

The derivation checks out if it is assumed to be separable with respect to t' and t''
 

Attachments

  • upload_2018-12-16_18-14-35.png
    upload_2018-12-16_18-14-35.png
    2.5 KB · Views: 427
Ngineer said:
The derivation checks out if it is assumed to be separable with respect to t' and t''

So does it settle your question then? If there are still problems can you show how far you got before getting stuck?
 
  • Like
Likes   Reactions: Ngineer
Yes. I have actually corresponded with the professor that posted the online lectures I linked in the original post, and he kindly answered in detail, so I marked this post as solved.

Thanks for your kind help.
 

Similar threads

Replies
0
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
3
Views
2K