스펙트럴 방법으로 포아송 방정식을 푸는 원리

이 글에서는 스펙트럴 방법(Spectral Method)을 사용하여 포아송 방정식(Poisson Equation)을 풉니다. 이 방법의 핵심은 푸리에 변환(Fourier Transform)을 통해 스펙트럼 도메인(Spectral Domain)에서 문제를 푸는 것입니다.

---

1. 푸리에 변환(Fourier Transform)

푸리에 변환은 어떤 함수나 신호를 주파수 성분으로 분해하는 도구입니다.

• 원래 함수가 시간 혹은 공간에 따라 변하는 함수 $f(x)$라면, 이걸 주파수로 구성된 성분으로 바꿔주는 게 푸리에 변환입니다.
• 직관적으로 말하면:
  • 공간에서는 $f(x)$가 곡면, 모양, 변화를 나타내고,
  • 주파수 공간에서는 이걸 이루는 진동들의 세기와 방향을 보여줍니다.

수식

• 정방향 푸리에 변환:

• 역방향 푸리에 변환:
  $f(\mathbf{x}) = \int \tilde{f}(\mathbf{u}) \cdot e^{2\pi i \, \mathbf{x} \cdot \mathbf{u}} \, d\mathbf{u}$

---

2. 스펙트럼 도메인(Spectral Domain)이란?

• 스펙트럼 도메인은 푸리에 변환을 통해 얻은 주파수 공간입니다.
• 여기서의 $\tilde{f}(\mathbf{u})$는 원래 함수 $f(\mathbf{x})$를 구성하는 진동 성분들의 분포입니다.
• 이 공간에서는 미분 연산이나 적분이 매우 단순해지고 효율적으로 계산됩니다.

---

3. 공간 좌표(x, y, z) vs 주파수 좌표(u, v, w)

개념	공간 도메인	스펙트럼 도메인
좌표	$\mathbf{x} = (x, y, z)$	$\mathbf{u} = (u, v, w)$
의미	위치, 형상 정보	진동 수, 방향, 주파수
예시	점의 위치, 곡면의 형태	그 곡면을 구성하는 기본 파동들
단위	보통 거리 (mm, m 등)	보통 1/거리 (예: Hz, 주기)

비유로 설명하면:

• 공간 도메인에서는 산과 골짜기 같은 모양을 보고 있다면,
• 스펙트럼 도메인에서는 그 산을 구성하는 파동(사인, 코사인)의 진동 수와 강도를 보고 있는 것입니다.

---

4. 왜 푸리에 도메인에서 푸는가?

• 공간 도메인에서는 미분 방정식을 직접 푸는 것이 복잡하고 느릴 수 있습니다.

• 반면 푸리에 도메인에서는 미분이 단순히 곱셈으로 바뀝니다:

  $\frac{\partial}{\partial x} f(\mathbf{x}) \quad \longrightarrow \quad 2\pi i \, \mathbf{u} \cdot \tilde{f}(\mathbf{u})$

• 그래서 포아송 방정식 같은 PDE는 다음과 같이 아주 간단히 바뀝니다:

푸리에 도메인에서는

---

요약

• 푸리에 변환은 공간의 정보를 주파수로 바꿔주는 도구입니다.
• 스펙트럴 방법은 이를 이용해서 복잡한 미분 문제를 간단히 푸는 수치 기법입니다.
• $x, y, z$는 실제 좌표이고, $u, v, w$는 그 좌표에 해당하는 진동 성분(파동의 주파수)입니다.