가우스 합의 상호법칙(Landsberg-Schaar relation)
둘러보기로 이동
검색으로 이동
개요
- <math>pq</math>가 짝수인 자연수p,q에 대하여 다음을 정의
- <math>S(p,q)=\sum_{r=0}^{q-1} e^{\pi i pr^2/q}</math>
- 정리 (가우스 합의 상호법칙, Landsberg–Schaar relation)
자연수p,q에 대하여 <math>pq</math>가 짝수라고 하자. 다음이 성립한다.
- <math>\sqrt{q}\overline{S(q,p)}=e^{-\pi i/4}\sqrt{p}S(p,q)</math>
증명
세타함수의 모듈라 성질,
- <math>\theta(-\frac{q}{p}+i\epsilon\frac{q^2}{p^2}+O(\epsilon^2))=\sqrt{\epsilon+\frac{p}{qi}}\theta(\frac{p}{q}+i\epsilon)</math> 를 이용하자.
양변에 <math>\sqrt{\epsilon}</math>을 곱하여, 극한을 구하면,
좌변은
- <math>\lim_{\epsilon \to 0}\sqrt{\epsilon} \theta(-\frac{q}{p}+i\epsilon\frac{q^2}{p^2}+O(\epsilon^2))=\frac{p}{q}\cdot\frac{1}{p}\cdot\overline{S(q,p)}=\frac{1}{q}\overline{S(q,p)}</math>
우변은
- <math>\lim_{\epsilon \to 0}\sqrt{\epsilon}\sqrt{\epsilon+\frac{p}{qi}}\theta(\frac{p}{q}+i\epsilon)=e^{-\pi i/4}\sqrt{\frac{p}{q}}\cdot \frac{1}{q}S(p,q)</math>
이 된다. 따라서 다음을 얻는다.
- <math>\sqrt{q}\overline{S(q,p)}=e^{-\pi i/4}\sqrt{p}S(p,q)</math>
■
메모
관련된 항목들