공업수학 시리즈 8편: 급수해와 ordinary point

지금까지는 특성방정식이나 표준 공식을 이용해 비교적 예쁘게 풀리는 문제를 봤습니다. 하지만 실제로는 그런 문제만 나오지 않습니다. 이때 등장하는 중요한 아이디어가 해를 멱급수로 가정하는 방법입니다.

왜 급수해가 필요한가

어떤 미분방정식은 초등함수로 깔끔하게 표현되는 해가 없습니다. 그렇다고 해를 포기하는 것은 아닙니다. 대신 해를

$y(x) = \sum_{n=0}^{\infty} a_n x^n$

처럼 무한급수로 가정하고 계수들을 찾아갈 수 있습니다.

이 방식은 이후 베셀 함수, 르장드르 함수 같은 특수함수로 연결되는 출발점입니다.

ordinary point란 무엇인가

2차 선형 방정식을

$y'' + P(x)y' + Q(x)y = 0$

형태로 썼을 때, 전개하려는 점 $x_0$ 근처에서 $P(x)$ 와 $Q(x)$ 가 해석적이면 그 점을 ordinary point라고 생각할 수 있습니다. 입문 단계에서는 "그 점 근처에서 계수 함수가 충분히 매끈하고, 최고차 미분항의 계수가 0이 아니어서 안전하게 전개할 수 있는 점" 정도로 이해해도 좋습니다.

기본 절차

멱급수 해법의 흐름은 보통 다음과 같습니다.

해를 $\sum a_n x^n$ 으로 가정한다
미분해서 $y'$ , $y''$ 도 급수로 쓴다
원래 식에 대입한다
같은 차수의 항끼리 모은다
계수 비교로 점화식을 얻는다

즉 계산의 핵심은 "무한급수를 미분방정식 안으로 밀어 넣은 뒤 계수를 비교하는 것"입니다.

손으로 보는 예제

다음 식을 보겠습니다.

$y'' + y = 0$

해를

$y = \sum_{n=0}^{\infty} a_n x^n$

로 두면

$y'' = \sum_{n=0}^{\infty} (n+2)(n+1)a_{n+2}x^n$

가 됩니다. 따라서

$\sum_{n=0}^{\infty} \left[(n+2)(n+1)a_{n+2} + a_n\right]x^n = 0$

이고, 각 차수의 계수는 모두 0이어야 하므로

$a_{n+2} = -\frac{a_n}{(n+2)(n+1)}$

를 얻습니다.

이 점화식은 짝수 계수와 홀수 계수가 각각 따로 결정된다는 뜻이고, 실제로 전개하면 코사인과 사인 급수가 나옵니다.

이 방법이 주는 의미

이 예제는 이미 해를 알고 있는 방정식이지만, 급수해가 어떻게 작동하는지 보기에 좋습니다. 중요한 것은 "해를 함수 한 방에 맞히지 못해도, 계수를 순서대로 만들어 갈 수 있다"는 점입니다.

공학 응용

특수함수의 출발점

원통 좌표나 구면 좌표 문제를 풀다 보면 베셀 함수, 르장드르 함수가 등장합니다. 이 함수들은 상당수가 급수해로부터 정의되거나 이해됩니다.

근사 계산

어떤 점 근처에서 해를 빠르게 근사해야 할 때 멱급수는 매우 유용합니다.

알고리즘 구현

개발자 관점에서는 점화식이 곧 알고리즘입니다. 계수 생성 규칙을 코드로 옮기면 수치 계산 라이브러리의 한 조각이 됩니다.

자주 하는 실수

지수 인덱스를 정리하지 않는다

급수해는 인덱스 이동을 깔끔하게 하지 않으면 금방 혼란스러워집니다. $n$ , $n+1$ , $n+2$ 를 정확히 맞추는 습관이 중요합니다.

ordinary point 개념을 너무 무겁게 생각한다

입문 단계에서는 "전개하려는 점 근처에서 계수들이 멀쩡한가"를 확인하는 정도로 시작해도 충분합니다.

점화식까지만 쓰고 의미를 놓친다

점화식은 단순한 계산 장치가 아니라, 해의 계수 구조와 자유도 개수를 보여주는 정보입니다.

한 줄 요약

급수해는 닫힌형 해를 바로 찾기 어려운 미분방정식에서 해를 계수의 규칙으로 복원하는 강력한 방법입니다.

다음 편 예고

다음 글에서는 ODE 파트를 잠시 정리하면서, 문제를 적분 문제로 바꿔 주는 강력한 도구인 라플라스 변환으로 넘어가겠습니다.

참고자료

Erwin Kreyszig, Advanced Engineering Mathematics, 10th Edition
George B. Arfken, Mathematical Methods for Physicists
James Ward Brown, Ruel V. Churchill, Complex Variables and Applications