포아송의 덧셈 공식

수학노트
둘러보기로 이동 검색으로 이동

개요

  • 아벨군 <math>G</math>와 그 부분군 <math>H</math>에 대하여 다음을 정의
    • 쌍대군 <math>\hat{G}=\{\chi : G \to \mathbb C^{*}|\chi(ab)=\chi(a)\chi(b)\}</math>
    • <math>H^{\#}=\{\chi\in \hat{G} | \chi (h)=1\}</math>
  • 푸리에 변환 <math>\hat f(\chi) := \sum_{g \in G} f(g)\bar \chi(g) </math>


(정리) 포아송 덧셈 공식

아벨군 <math>G</math>와 부분군 <math>H</math>, <math>g\in G</math>에 대하여 다음이 성립한다.

<math>\frac{1}{|H|}\sum_{h\in H}f(gh)=\frac{1}{|G|}\sum_{\chi \in H^{\#}}\hat{f}(\chi)\chi(g)</math>


(따름정리)

특별히 <math>g=1</math>인 경우 다음을 얻는다.

<math>\frac{1}{|H|}\sum_{h\in H}f(h)=\frac{1}{|G|}\sum_{\chi \in H^{\#}}\hat{f}(\chi)</math>




<math>G=\mathbb R</math>인 경우

  • <math>G=\mathbb R</math>, <math>H=\mathbb Z</math>
  • <math>\hat{G}=\{\chi_{\xi}:\xi \in G\}</math>
  • <math>\chi_{\xi}(g)=e^{2\pi i \xi g}</math>
  • <math>H^{\#}=\{\chi_n : n \in \mathbb{Z}\}</math>
  • 푸리에 변환
<math>\hat{f}(\xi) := \int_{-\infty}^{\infty} f(x)\ e^{- 2\pi i x \xi}\,dx</math>


(정리) 포아송

<math>\sum_{n\in \mathbb Z}f(n)=\sum_{n\in \mathbb Z}\hat{f}(n)</math>


(증명) <math>F(x):=\sum_{n\in \mathbb Z}f(x+n)</math>라 두면, <math>F(x+1)=F(x)</math> 이므로 푸리에 전개를 할 수 있다.

<math>F(x)=\sum_{n\in \mathbb{Z}}a_ne^{2\pi i n x}</math>

이 때, <math>a_n=\int_{0}^{1}F(t)e^{2\pi i n t}\,dt</math> 따라서

<math>F(0)=\sum_{n\in \mathbb Z}f(n)=\sum_{n\in \mathbb Z}a_n</math>

한편 :<math>a_y=\int_0^1\sum_{n\in \mathbb Z}f(t+n)e^{-2\pi i t y}\,dt=\sum_{n\in \mathbb Z}\int_0^1f(t+n)e^{-2\pi i (t+n)y}\,dt=\sum_{n\in \mathbb Z}\int_n^{n+1}f(t)e^{-2\pi i (t)y}\,dt=\hat{f}(y)</math> 로부터 다음을 얻는다

<math>\sum_{n\in \mathbb Z}f(n)=\sum_{n\in \mathbb Z}a_n=\sum_{n\in \mathbb Z}\hat{f}(n)</math> (증명끝)



선형 코드의 경우

  • <math>G=\mathbb F_2^n</math>, <math>H = C</math> 선형코드의 경우
  • <math>\hat{G}=\{\chi_a:a\in G\}</math>,여기서 <math>\chi_a(g)=(-1)^{a\cdot g}</math>
  • <math>C^{\#}=H^{\#}=\{\chi_a : a\cdot u=0 \, \forall u \in G\}</math>



메모

  • 코딩이론
  • 코드
    • 이차형식에서 격자에 대응
  • 코드의 weight enumerator
  • 격자의 쎄타함수에 대응
  • 코드 : 격자 = 코드의 weight enumerator : 격자의 세타함수
  • MacWilliams Identity
  • 섀넌 샘플링 정리


이번주에 열린 제7회 통계물리 겨울학교에서 푸아송 합공식(Poisson summation formula; PSF)을 증명하는 문제가 강의 중 과제로 나왔습니다. PSF는 다음과 같습니다.

<math>\sum_{n=-\infty}^{\infty}F(n)=\sum_{m=-\infty}^{\infty} \int_{-\infty}^{\infty} dx F(x) e^{-2\pi imx}</math>

좌변만 보면 F는 정수만 인수로 갖는 것처럼 보이지만 일반적으로 실수를 인수로 가집니다. 이 F를 푸리에 변환합니다.

<math>F(x)=\int_{-\infty}^\infty dk \hat F(k) e^{2\pi i kx},\ \hat F(k)=\int_{-\infty}^\infty dx F(x) e^{-2\pi i kx}</math>

이를 이용해 PSF의 좌변을 다시 씁니다.

<math>\sum_{n=-\infty}^{\infty}F(n)= \int_{-\infty}^{\infty}dk\hat F(k)\sum_{n=-\infty}^{\infty}e^{2\pi ikn}</math>

우변의 n에 대한 합은 k가 정수일 때는 무한대로 발산, 그렇지 않을 때는 0이 됩니다. 델타 함수로 이를 다시 표현하면 아래와 같습니다.

<math>\sum_{n=-\infty}^{\infty}e^{2\pi ikn}=\sum_{m=-\infty}^{\infty}\delta(k-m)</math>

이로부터 PSF의 우변이 나옵니다.

역사


관련된 항목들




사전형태의 자료

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'fourier'}, {'LEMMA': 'transform'}]
  • [{'LEMMA': 'FT'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=포아송의_덧셈_공식&oldid=52539"