그린 함수 (Green's Function) [백과사전]
1. 정의
그린 함수는 선형 미분 방정식이나 선형 연산자 $L$에 대해, 다음과 같은 단위 임펄스(source) 응답을 나타내는 특수한 함수 $G(x, x')$이다.
$$ L_x G(x, x') = \delta(x - x') $$
여기서 $\delta$는 디랙 델타 함수이며, $x$는 관찰점, $x'$는 원점(또는 소스) 위치를 나타낸다. 그린 함수를 이용하면 비동차 선형 방정식
$$ L u(x) = f(x) $$
의 해 $u(x)$를 적분 형태로 표현할 수 있다.
$$ u(x) = \int G(x, x'),f(x'),dx' + u_{\text{hom}}(x) $$
$u_{\text{hom}}(x)$는 동차 방정식 $L u = 0$의 일반해이며, 경계조건에 따라 결정된다.
2. 역사적 배경
그린 함수는 조지 그린(George Green, 1793–1841)이 1828년 발표한 논문 “An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism” 에서 처음 제시되었다. 전기·자기 현상을 다루는 적분 방정식의 해법으로 도입되었으며, 이후 수학·물리·공학 전반에 걸쳐 널리 활용되었다.
3. 수학적 성질
| 성질 | 설명 |
|---|---|
| 선형성 | $L$가 선형이면, 그린 함수는 선형 연산자를 그대로 반영한다. |
| 대칭성 (자기수반 연산자) | 대칭(또는 자기정합) 연산자 $L$에 대해 $G(x, x') = G(x', x)$가 성립한다. |
| 경계조건 | 특정 경계조건(디리클레, 노이만, 로빈 등)에 맞는 그린 함수가 별도로 정의된다. |
| 정규화 | $\int_{V} G(x, x'),dx = 1$ (특정 경우에 한함) |
| 연속성 및 불연속성 | $x = x'$에서 $\partial G/\partial n$가 불연속이며, 그 크기는 $-1$ (다중 차원에서는 $-1/(4\pi)$ 등) 로 정해진다. |
4. 물리학·공학에서의 활용
- 전기·자기학
- 정전위 문제에서 포아송 방정식 $
abla^2 \phi = -\rho/\varepsilon_0$의 해를 구할 때, 3차원 자유공간의 그린 함수는
$$ G(\mathbf{r},\mathbf{r}') = \frac{1}{4\pi |\mathbf{r}-\mathbf{r}'|} $$
- 정전위 문제에서 포아송 방정식 $
abla^2 \phi = -\rho/\varepsilon_0$의 해를 구할 때, 3차원 자유공간의 그린 함수는
- 양자역학
- 시간‑독립 슈뢰딩거 방정식의 해를 표현하는 프로파게이터 혹은 레졸벤트가 그린 함수와 동일한 개념이다.
- 예: $G(E;\mathbf{r},\mathbf{r}') = \langle \mathbf{r} | (E - H + i0^+)^{-1} | \mathbf{r}' \rangle$
- 음향·파동
- 헬름홀츠 방정식 $( abla^2 + k^2)u = -f$의 그린 함수는 구형 파동의 헬름홀츠 핵(Hankel) 함수와 연결된다.
- 열전도·확산
- 열 방정식 $\partial_t u - \kappa
abla^2 u = f$의 기본해는 가우시안 형태의 그린 함수
$$ G(\mathbf{r},t;\mathbf{r}',t') = \frac{1}{[4\pi\kappa (t-t')]^{d/2}} \exp!\Bigl(-\frac{|\mathbf{r}-\mathbf{r}'|^{2}}{4\kappa (t-t')}\Bigr) $$
- 열 방정식 $\partial_t u - \kappa
abla^2 u = f$의 기본해는 가우시안 형태의 그린 함수
- 제어·시스템 이론
- 선형 시불변 시스템의 임펄스 응답은 그린 함수를 시간 영역에서의 표현이라 할 수 있다.
5. 대표적인 예시
5‑차원 자유공간에서 라플라스 연산자의 그린 함수
$$ G(\mathbf{x},\mathbf{x}') = \frac{1}{(d-2)S_{d}} \frac{1}{|\mathbf{x}-\mathbf{x}'|^{d-2}},\qquad d eq2 $$ $S_{d}=2\pi^{d/2}/\Gamma(d/2)$는 $d$ 차원의 구의 표면적이다.
1차원 경계값 문제 (디리클레)
$$ L = \frac{d^{2}}{dx^{2}},\quad 0<x<L,\quad u(0)=u(L)=0 $$ 그린 함수는 $$ G(x,x')=\frac{1}{L}\begin{cases} x(L-x'), & 0\le x\le x'$$4pt] x'(L-x), & x'\le x\le L \end{cases} $$
6. 계산 방법
- 직접 해법
- 연산자를 직접 적분하거나 미분하여 $\delta$ 함수와 일치하도록 구성한다.
- 특잇점 방법(Fourier·Laplace 변환)
- 변환을 통해 대수식으로 바꾸고 역변환하여 $G$를 얻는다.
- 분리 변수법
- 고유함수 전개를 이용해
$$ G(x,x') = \sum_{n}\frac{\phi_n(x)\phi_n(x')}{\lambda_n} $$ - 여기서 $\phi_n$는 고유함수, $\lambda_n$는 고유값.
- 고유함수 전개를 이용해
- 수치적 접근
- 유한요소법(FEM), 경계요소법(BEM) 등에서 그린 함수를 근사한다.
7. 관련 개념
- 기본해 (Fundamental solution) : 경계조건이 없는 전체공간에서 정의되는 그린 함수.
- 레졸벤트 (Resolvent) : 연산자 $(L - \lambda I)^{-1}$ 형태, 그린 함수와 밀접한 관계.
- 프로파게이터 (Propagator) : 양자역학·양자장론에서 시간 전파를 담당, 그린 함수의 시간‑의존 버전.
- 핵함수 (Kernel function) : 적분 연산자의 핵으로, 그린 함수는 특정 핵함수 중 하나.
8. 참고문헌
- G. Green, An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism, 1828.
- E. M. Stein & G. Weiss, Introduction to Fourier Analysis on Euclidean Spaces, Princeton Univ. Press, 1971.
- J. D. Jackson, Classical Electrodynamics, 3rd ed., Wiley, 1998. (그린 함수에 관한 장 3)
- M. Abramowitz & I. A. Stegun (eds.), Handbook of Mathematical Functions, Dover, 1972. (특히 그린 함수 표)
- D. J. Kirk, Green’s Functions and Boundary Value Problems, Cambridge University Press, 1998.
위 내용은 그린 함수에 대한 백과사전 수준의 정리이며, 학술적·실무적 활용을 모두 포괄한다.