# 에르미트 다항식

에르미트 다항식(Hermite polynomial)은 수학, 특히 직교 다항식 이론과 양자역학, 확률론 등 다양한 분야에서 중요한 역할을 하는 특수함수의 일종입니다. 이 다항식은 프랑스의 수학자 샤를 에르미트(Charles Hermite)의 이름을 따서 명명되었으며, 가우스 함수를 가중치로 갖는 직교성을 지닌 다항식 계열에 속합니다. 본 문서에서는 에르미트 다항식의 정의, 성질, 생성 함수, 점화식, 직교성, 응용 사례 등을 체계적으로 설명합니다.

---

## 개요

에르미트 다항식은 두 가지 주요 형태로 정의될 수 있습니다:

1. **확률론에서의 정의** (확률론적 에르미트 다항식)
2. **물리학에서의 정의** (물리학적 에르미트 다항식)

두 정의는 상수배 만큼 차이가 있으며, 후자가 양자역학에서 조화진동자의 파동함수를 기술하는 데 널리 사용됩니다. 본 문서에서는 물리학에서 널리 쓰이는 정의를 기준으로 설명합니다.

---

## 정의와 표현

에르미트 다항식 \( H_n(x) \)는 다음과 같이 로드리게스 공식(Rodrigues' formula)으로 정의됩니다:

\[
H_n(x) = (-1)^n e^{x^2} \frac{d^n}{dx^n} e^{-x^2}
\]

이 공식은 다항식의 n차 도함수를 통해 \( H_n(x) \)를 명시적으로 계산할 수 있게 해줍니다.

또한, 에르미트 다항식은 다음과 같은 생성 함수를 갖습니다:

\[
\sum_{n=0}^{\infty} H_n(x) \frac{t^n}{n!} = e^{2xt - t^2}
\]

이 생성 함수는 급수 전개를 통해 \( H_n(x) \)의 계수를 구하는 데 유용합니다.

---

## 주요 성질

### 점화 관계

에르미트 다항식은 다음의 점화식을 만족합니다:

\[
H_{n+1}(x) = 2x H_n(x) - 2n H_{n-1}(x)
\]

또한, 미분에 대한 성질도 중요합니다:

\[
\frac{d}{dx} H_n(x) = 2n H_{n-1}(x)
\]

이러한 점화식은 수치 계산이나 재귀적 정의에 유용합니다.

### 직교성

에르미트 다항식은 가중치 함수 \( w(x) = e^{-x^2} \)에 대해 실수 전체 구간 \( (-\infty, \infty) \)에서 직교합니다. 즉, 다음이 성립합니다:

\[
\int_{-\infty}^{\infty} H_m(x) H_n(x) e^{-x^2} dx = \sqrt{\pi} \, 2^n n! \, \delta_{mn}
\]

여기서 \( \delta_{mn} \)은 크로네커 델타(Kronecker delta)이며, \( m = n \)일 때 1, 그 외에는 0입니다. 이 직교성은 에르미트 다항식이 함수 공간에서 기저를 형성할 수 있게 해주며, 함수 근사나 스펙트럼 방법에 활용됩니다.

---

## 첫 몇 개의 에르미트 다항식

다음은 \( n = 0 \)부터 \( n = 5 \)까지의 에르미트 다항식입니다:

| \( n \) | \( H_n(x) \) |
|--------|--------------|
| 0      | \( 1 \) |
| 1      | \( 2x \) |
| 2      | \( 4x^2 - 2 \) |
| 3      | \( 8x^3 - 12x \) |
| 4      | \( 16x^4 - 48x^2 + 12 \) |
| 5      | \( 32x^5 - 160x^3 + 120x \) |

이 값들은 점화식을 이용해 계산할 수 있으며, 각 다항식은 n차 다항식임을 확인할 수 있습니다.

---

## 응용 분야

### 양자역학: 조화진동자

에르미트 다항식은 양자역학에서 1차원 양자 조화진동자(quantum harmonic oscillator)의 파동함수를 기술하는 데 핵심적으로 등장합니다. 이 계의 정규화된 파동함수는 다음과 같습니다:

\[
\psi_n(x) = \frac{1}{\sqrt{2^n n!}} \left( \frac{m\omega}{\pi \hbar} \right)^{1/4} e^{-\frac{m\omega x^2}{2\hbar}} H_n\left( \sqrt{\frac{m\omega}{\hbar}} x \right)
\]

여기서 \( m \)은 입자의 질량, \( \omega \)는 진동수, \( \hbar \)는 플랑크 상수의 \( 1/2\pi \)배입니다. 이 파동함수는 에너지 준위 \( E_n = \hbar \omega (n + \frac{1}{2}) \)에 대응합니다.

### 확률론과 통계학

확률론에서는 에르미트 다항식이 정규분포(가우스 분포)와 관련된 직교 다항식으로 사용됩니다. 특히, 표준 정규분포 \( \mathcal{N}(0,1) \)를 가중치로 하는 직교성은 다음과 같이 표현됩니다:

\[
\int_{-\infty}^{\infty} He_m(x) He_n(x) \frac{e^{-x^2/2}}{\sqrt{2\pi}} dx = n! \, \delta_{mn}
\]

여기서 \( He_n(x) \)는 확률론적 에르미트 다항식으로, 물리학적 정의와의 관계는 \( He_n(x) = 2^{-n/2} H_n(x/\sqrt{2}) \)입니다.

### 수치해석

에르미트 다항식은 가우시안 적분(Gaussian quadrature)의 한 형태인 **에르미트 구적법(Hermite quadrature)** 에 사용됩니다. 이 방법은 가중치 \( e^{-x^2} \)를 갖는 적분을 근사할 때, \( H_n(x) \)의 근을 구적점으로 선택함으로써 높은 정확도를 제공합니다.

---

## 관련 개념

- **라게르 다항식**, **르장드르 다항식**: 에르미트 다항식과 함께 고전적인 직교 다항식의 대표적 예
- **스투름-리우빌 이론**: 에르미트 다항식은 스투름-리우빌 문제의 해로도 유도될 수 있음
- **특수함수**: 감마 함수, 베셀 함수 등과 함께 수학 및 물리학에서 중요한 도구

---

## 참고 자료 및 관련 문서

- Arfken, G. B., & Weber, H. J. (2005). *Mathematical Methods for Physicists* (6th ed.). Academic Press.
- Abramowitz, M., & Stegun, I. A. (1964). *Handbook of Mathematical Functions*. Dover.
- 관련 위키 문서: [직교 다항식](#), [조화진동자](#), [가우시안 적분](#)

---

에르미트 다항식은 수학적 아름다움과 실용적 응용을 모두 갖춘 대표적인 특수함수입니다. 이는 이론 물리학에서부터 공학, 통계학에 이르기까지 폭넓은 분야에서 필수적인 도구로 자리잡고 있습니다.