조화 함수
정의 편집
유클리드 공간 의 열린집합 위의 2차 연속 미분 가능 함수
가 다음 편미분 방정식을 따른다면, 이를 조화 함수라고 한다.
여기서
는 라플라스 연산자이다.
성질 편집
정칙성 편집
조화 함수의 정의는 2차 미분 가능성만을 전제로 하지만, 사실 모든 조화 함수는 항상 매끄러운 함수이자 해석 함수임을 보일 수 있다.
최댓값 원리 편집
열린집합 의 콤팩트 부분 집합 이 주어졌다고 하자. 그렇다면, 는 (콤팩트 공간 위의 연속 함수이므로) 최댓값과 최솟값을 갖는다. 이 경우, 가 최댓값 또는 최솟값을 갖게 되는 점은 (상수 함수가 아니라면) 항상 의 경계 에 위치한다.
특히, 조화 함수는 상수 함수가 아니라면 최댓값이 아닌 극댓값을 가질 수 없다.
리우빌 정리에 따르면, 위에 정의된 조화 함수 가운데 유계 함수인 것은 상수 함수 밖에 없다.
등각 변환에 대한 불변 편집
2차원에서, 조화 함수는 등각 변환에 대하여 불변이다. 즉, 임의의 등각 변환
에 대하여, 만약 가 조화 함수라면 역시 조화 함수이다. (그러나 이는 다른 차원에서 일반적으로 성립하지 않는다.)
예 편집
임의의 차원에서, 상수 함수와 선형 함수는 항상 조화 함수이다. 그러나 그 역은 일반적으로 성립하지 않는다.
위에서,
는 조화 함수이다.
1차원 편집
1차원의 공간 위의 조화 함수는 선형 함수
이다. 특히, 원 위의 조화 함수는 상수 함수 밖에 없다.
2차원 편집
같이 보기 편집
외부 링크 편집
- Weisstein, Eric Wolfgang. “Harmonic function”. 《Wolfram MathWorld》 (영어). Wolfram Research.
- “Harmonic function”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.