개요
라게르 다항식(Laguerre polynomial)은 수학에서 직교 관계를 만족시키는 일련의 다항식이다. 프랑스의 수학자 에드몽 라게르(Edmond Laguerre, 1834–1886)가 1878년에 도입하였다. 주로 수학의 함수론, 미분방정식 이론, 그리고 물리학, 특히 양자역학 분야에서 활용된다.
정의
라게르 다항식 $L_n(x)$은 로드리게스 공식(Rodrigues formula)을 통해 다음과 같이 정의된다.
$$ L_n(x) = \frac{1}{n!}e^x \frac{d^n}{dx^n}\left(e^{-x}x^n\right) $$
물리학 분야에서는 $1/n!$ 인자를 생략하여 정의하는 경우도 있다.
초기 항들
라게르 다항식의 처음 몇 항은 다음과 같다.
- $L_0(x) = 1$
- $L_1(x) = -x + 1$
- $L_2(x) = \frac{1}{2}(x^2 - 4x + 2)$
- $L_3(x) = \frac{1}{6}(-x^3 + 9x^2 - 18x + 6)$
주요 성질
직교성
라게르 다항식은 다음과 같은 직교 관계를 만족시킨다.
$$ \int_0^\infty L_m(x)L_n(x)e^{-x},dx = \delta_{mn} $$
여기서 $\delta_{mn}$은 크로네커 델타이다. 이 직교성은 가중 함수 $e^{-x}$가 구간 $[0, \infty)$에서 곱해질 때 성립한다.
점화식
라게르 다항식은 다음과 같은 점화식을 따른다.
$$ L_{n+1}(x) = \frac{1}{n+1}\left((2n+1-x)L_n(x) - nL_{n-1}(x)\right) $$
생성함수
라게르 다항식의 생성함수는 다음과 같다.
$$ \sum_{n=0}^{\infty} t^n L_n(x) = \frac{1}{1-t}\exp\left(-\frac{tx}{1-t}\right) $$
일반 전개식
라게르 다항식은 아래와 같이 전개될 수 있다.
$$ L_n(x) = \sum_{k=0}^{n} \binom{n}{k}\frac{(-1)^k}{k!}x^k $$
응용
라게르 다항식은 물리학에서 3차원 등방성 양자 조화 진동자(isotropic quantum harmonic oscillator)를 분석할 때 등장한다. 이 외에도 수치해석, 근사 이론 등 다양한 수학·공학 분야에서 활용된다.
관련 개념
라게르 다항식은 에르미트 다항식(Hermite polynomial), 야코비 다항식(Jacobi polynomial)과 함께 가장 널리 사용되는 고전 직교 다항식군(classical orthogonal polynomials)에 속한다. 또한 라게르 다항식의 일반화된 형태로 연관 라게르 다항식(associated Laguerre polynomial)이 있으며, 이는 수소 원자 모델의 파동 함수 해석에 사용된다.
역사적 배경
라게르 다항식은 1878년 에드몽 라게르가 타원 함수의 변환에 관한 논문에서 처음 소개하였다. 이후 이사이 슈어(Issai Schur)를 비롯한 여러 수학자들이 라게르 다항식의 대수적 성질, 특히 갈루아 군에 관한 연구를 진행하였다.
이 개념은 수학 및 물리학에서 공신력 있게 확립된 용어로, 위키백과, 수학 백과사전(Encyclopedia of Mathematics), Wolfram MathWorld 등 다양한 공인된 자료에 수록되어 있다.
