조화함수 (Harmonic Function)

한 줄 정의: 라플라스 방정식을 만족하는, 이차 편도함수의 합이 0인 함수입니다.

쉽게 풀면

각 변수에 대해 두 번 미분한 값을 모두 더하면 0이 되는 함수를 조화함수라고 합니다. 물리적으로는 열이 더 이상 흐르지 않고 안정된 상태의 온도 분포나, 전하가 없는 공간의 전위 분포에 해당합니다. 이런 함수는 한 점에서의 값이 그 점을 둘러싼 작은 원이나 구 위의 값들의 평균과 정확히 같다는 성질을 가집니다.

왜 중요한가

정상 상태의 열전도, 전기장, 유체의 퍼텐셜 흐름이 모두 라플라스 방정식으로 기술되므로 물리·공학 논문에서 광범위하게 등장합니다. 또 복소해석에서 정칙함수의 실수부와 허수부가 조화함수라는 사실은 두 이론을 잇는 다리 역할을 합니다.

논문에서는 이렇게 쓰입니다

"경계에서의 값이 주어진 조건 아래 영역 내부의 조화함수를 구하는 디리클레 문제로 환원하였다."

조금 더 깊게 보면

평균값 성질로부터 최대원리가 따라 나오는데, 이는 조화함수가 영역 내부에서 최댓값을 가질 수 없고 경계에서만 가질 수 있다는 내용입니다. 이 성질은 해의 유일성 증명에 곧바로 쓰입니다. 조화함수는 무한히 미분 가능합니다. 평면에서는 정칙함수의 실수부가 항상 조화함수이고, 짝이 되는 켤레조화함수를 찾는 문제로 연결됩니다.

주의할 점

조화수열이나 조화급수, 음악의 배음과는 이름만 같을 뿐 전혀 다른 개념입니다. 또 이차 편도함수의 합이 0이라는 조건은 각 이차 편도함수가 0이라는 뜻이 아니며, 서로 상쇄되는 경우가 일반적입니다.