'복소변수함수론'에 해당되는 글 1건

  1. 2012.08.23 델타 분포 만들기 6

얼마 전부터 보기 시작한 입자물리 기초서에 페르미 황금률 2번(Fermi's Golden rule 2)이 나오길레 한번 증명해볼까 하다가 계속 한 부분에서 막히길레 Sakurai의 Modern QM을 봤다. 증명 없이 나오는 등식(?) 하나가 있길레 증명해봤다.


$$\int_{-\infty}^\infty \frac{\sin^2(xt)}{x^2} dx=\pi t$$


방법은 당연하게도(?) 복소변수를 이용. 양자물리 시간에 대충 배우고 공학수학 시간에 조금 더 배운 것 밖에 없는데 어떻게든 써 먹고 있다. 복소변수함수론을 한번 듣긴 들어야 할텐데...


먼저 sine 함수를 지수로 바꾼다. 그 유명한(?) 오일러 공식이 필요하다.


$$\sin y = \frac1{2i}\left(e^{iy}-e^{-iy}\right)$$


이러면 대충 다음 값이 나온다.


$$\frac{\sin^2(xt)}{x^2}= \frac{(1-e^{2ixt})+(1-e^{-2ixt})}{4x^2}$$


괄호는 편의상 친 것. 저 괄호를 이용해 분수를 둘로 나눈다. 적분 contour가 서로 달라야 하기 때문이다. 그런데 이렇게 무작정 나누어도 되는지를 모르겠네. 어쨌든 이러면 답이 나오기는 한다.


$$\frac{\sin^2(xt)}{x^2}= \frac{1-e^{2ixt}}{4x^2}+\frac{1-e^{-2ixt}}{4x^2}$$


x를 z로 바꾸고, 앞의 것은 위쪽으로 닫힌 반원으로, 뒤의 것은 아래로 닫힌 반원으로 적분한다. residue는 원점에 있으니 이 부분은 포함시킨다. 앞의 항을 로랑전개(Laurent series)해보면 residue를 쉽게 구할 수 있다.


$$1-e^{2izt}=-2izt+2z^2t^2+\cdots \\ \therefore \frac{1-e^{2izt}}{4z^2}=-\frac{it}{2z}+\cdots$$


제대로 써 봅시다. C+는 위쪽 반원 반시계 방향, C-는 아래쪽 반원 시계방향.


$$\int_{-\infty}^\infty \frac{\sin^2(xt)}{x^2} dx=\int_{-\infty}^\infty \frac{1-e^{2ixt}}{4x^2}+\frac{1-e^{-2ixt}}{4x^2} dx \\=\int_{\mathbf{C}^+}\frac{1-e^{2izt}}{4z^2}dz+\int_{\mathbf{C}^-}\frac{1-e^{-2izt}}{4z^2} dz\\=2\pi i\left(\frac{-it}2\right) -2\pi i\left(\frac{it}2\right)=2\pi t$$


마지막 줄의 괄호 안은 원점에서의 residue. 값이 두배가 나왔는데 이건 특이점이 적분하는 구간 위에 있기 때문에 그렇다. 그래서 실제 값은 위 값의 절반.[각주:1] QED!


Sakurai 책에서는 맨 처음의 식이 이렇게 나와있다.


$$\lim_{t \to \infty} \frac{\sin^2(xt)}{\pi t x^2}=\delta(x)$$




2012.08.24 수정

찾아보니 절반으로 나누는 이유는 평균내려는 것이 아니라 '반원'을 따라 적분하기 때문. 복소함수 교재 찾아봤더니 조금 다른 이유로 절반으로 만들더라. 그리고 그 책에서는 함수(sine)를 나누기보다는 부분적인 함수(exp.)를 가지고 와서 원래 함수로 만들었다.




  1. 반으로 나누는 것은 특이점을 포함하는 contour와 특이점이 없는 contour 두 적분을 합쳐 평균내기 때문에 그렇다. [본문으로]

'Mathematics' 카테고리의 다른 글

Continuously Updated Fourier Series  (0) 2013.12.06
개드립의 마지막 정리  (0) 2013.10.29
Lagrange Multipliers - 라그랑주 승수법  (7) 2011.01.16
경계조건의 중요성 - Boundary condition  (2) 2010.08.21
Involute 곡선  (10) 2010.05.01
Posted by 덱스터
이전버튼 1 이전버튼

블로그 이미지
A theorist takes on the world
덱스터
Yesterday
Today
Total

달력

 « |  » 2024.3
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31

최근에 올라온 글

최근에 달린 댓글

글 보관함