@beoped 님과 @yurizard 님께 자극을 받고 저도 기초적인 수리물리 내용의 포스팅을 도전해보기로 마음먹었습니다. 두 분에 비하면 한참 못 미칠 내용 혹은 이미 중복된 내용을 다룰 수도 있겠지만 애교로 봐주시겠죠? 그동안의 다른 물리학 시리즈와 달리 어쩔 수 없이 수식을 포함해 설명할 수밖에 없고 그렇다고 모든 개념을 풀어 전해드리기에는 내용이 방대합니다. 때문에 수식이 왜 이렇게 표현되고 어떻게 도출되는지 수학적으로 파고드는 것은 일반인 입장에서 글 내용을 더 어렵게 느끼게 만들 것 같더군요. 따라서 해당 수식이 결과론적으로 어떤 의미를 지니는지 어떻게 사용되는지 등에 초점을 맞춰 작성하도록 하겠습니다.
헬름홀츠 방정식은 시간 의존 파동 방정식에서 변수분리를 거쳐 시간에 대해 독립적으로 공간에 대한 풀이로만 관련시킨 2차 편미분 방정식입니다.
라플라스 방정식은 고유값이 0인 라플라스 연산자의 고유함수가 만족시키는 2차 편미분 방정식이었죠. 푸아송 방정식은 라플라스 방정식을 일반화한 것입니다. 반대로 라플라스 방정식이 푸아송 방정식의 특수한 경우에 해당한다고 볼 수 있지요.
헬름홀츠 방정식의 해를 구하는데 있어 좌표계의 설정에 따라 미분 방정식의 변형 형태가 달라지는데요. 사실 라플라스 방정식 역시 헬름홀츠 방정식에서 k=0 인 경우에 해당하므로 동일한 방법이 적용된답니다. 이제 변수분리를 통해 각 좌표계 별로 일반해를 풀이해보겠습니다. 원통좌표계와 구면좌표계에 대한 설명은 Chapter 7. 원통좌표계, 구면좌표계에서 확인하실 수 있습니다.
직교좌표계
위 식의 좌변은 x만의 함수이고, 우변은 y, z의 함수이므로 서로 항등이 될 수 없다. 결국, 양변을 상수로 두는 것이 가장 합당한 선택입니다.
위의 식으로부터
이상에서 아래의 관계가 성립하며,
따라서 직교좌표계에서 헬름홀츠 방정식의일반해는 아래와 같이 표현됩니다.
원통좌표계
위 변수분리로 인하여 편미분에서 상미분으로 변화합니다.
z에 관한 함수와 ρ, ϕ에 관한 함수가 항등으로 되어 있으므로 이를 상수로 둘 수 있습니다.
동일한 이유로 우변을 상수로 둡니다.
이제, 남은 ρ에 관한 식을 보겠습니다.
변수분리법을 통하여 다음의 3개의 식을 얻었죠.
각 식의 해를 살펴보겠습니다.
먼저, (1)식의 해는 지수함수입니다.
(2) 식의 해는 삼각함수죠.
(3) 식은 베셀 (Bessel) 방정식입니다.
베셀 방정식은 급수해법을 이용하여 해를 구할 수 있습니다.
따라서 원통좌표계에서 헬름홀츠 방정식의 일반해는 아래와 같이 표현됩니다.
구면좌표계
마찬가지로 변수분리로 인하여 편미분에서 상미분으로 변화합니다.
ϕ에 관한 함수와 r, θ에 관한 함수가 항등으로 되어 있으므로 이를 상수로 둘 수 있습니다.
이를 이용하면
r과 θ에 관한 식으로 분리하기 위하여 좌변과 우변에 각각 정리합니다.
이 식도 r만의 함수와 θ만의 함수가 항등을 이루므로 앞의 경우와 마찬가지로 상수로 둘 수 있다. 상수를 Q라 둔다면 위의 식은,
(1) 식의 해는 원통좌표계와 같이 삼각함수입니다.
(2) 식은 Q=l(l+1)일 때 (단, l은 정수), 르장드르 연관 (associated Legendre) 방정식이 됩니다. 르장드르 다항식은 르장드르 연관 방정식의 해가 되는 함수이죠. 이제 (2) 식에서 x=cosθ로 두고 다시 식을 정리하면 아래와 같이 표현됩니다.
참고로 르장드르 연관 방정식에서 m=0인 경우를 르장드르 방정식이라고 하지요. 연관이라는 단어가 빠졌습니다.
따라서 구면좌표계에서 헬름홀츠 방정식은 아래와 같이 표현됩니다.
구면좌표계에서 헬름홀츠 방정식 및 라플라스 방정식을 구하는 경우는 구 대칭성을 갖고 있는 문제에서 빈번하게 등장합니다. 양자역학에서 구 대칭성의 퍼텐셜을 갖는 수소원자의 파동함수를 슈뢰딩거 방정식을 이용하여 구하는 과정이 대표적인 예시입니다.
@hunhani입니다.
