# 조화 함수의 정의

조화 함수(harmonic function)는 수학의 여러 분야에서 중요한 개념으로, 특히 복소수 이론에서 자주 등장한다. 조화 함수는 보통 두 변수 함수로 정의되며, 이 함수가 특정 미분 방정식을 만족할 때 조화적이라고 한다.

#### 1. 라플라스 방정식과 조화 함수

조화 함수는 주로 라플라스 방정식과 연관되어 있다. 2차원 실수 공간에서 함수 $u(x, y)$가 조화 함수가 되려면 다음 조건을 만족해야 한다:

$$
\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0
$$

이 방정식은 라플라스 방정식이라고 불린다. 즉, 조화 함수는 이 방정식을 만족하는 함수이다. 복소수의 경우, 복소평면 상에서 정의된 함수 $f(z)$가 실수부와 허수부로 나누어졌을 때, 실수부와 허수부가 각각 조화 함수가 된다. 복소수 $z$는 다음과 같이 정의된다:

$$
z = x + iy
$$

여기서 $f(z)$는 다음과 같이 표현된다:

$$
f(z) = u(x, y) + iv(x, y)
$$

이때, 함수 $u(x, y)$와 $v(x, y)$가 각각 실수부와 허수부에 해당하며, 둘 다 라플라스 방정식을 만족하면 조화 함수라고 할 수 있다.

#### 2. 복소수 함수와 조화 함수의 관계

복소수 함수 $f(z) = u(x, y) + iv(x, y)$에서 $u(x, y)$와 $v(x, y)$가 각각 실수부와 허수부인 경우, 다음 코시-리만 방정식이 성립한다:

$$
\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}
$$

코시-리만 방정식이 성립하는 함수는 해석적(analytic) 함수라 불리며, 이러한 함수에서 실수부와 허수부는 각각 조화 함수이다. 즉, 해석 함수의 실수부와 허수부는 모두 조화 함수라고 할 수 있다.

#### 3. 복소수 형태의 라플라스 방정식

라플라스 방정식을 복소수 형태로 표현하면, 복소평면 상에서 복소수 $f(z) = u(x, y) + iv(x, y)$가 조화 함수가 되기 위한 조건은 다음과 같다.

라플라스 방정식은 실수 부분에서 다음과 같이 나타난다:

$$
\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0
$$

허수 부분에서는:

$$
\frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2} = 0
$$

따라서, 복소 함수의 실수부 $u(x, y)$와 허수부 $v(x, y)$가 각각 라플라스 방정식을 만족한다면, 이 함수는 조화 함수라고 할 수 있다.

#### 4. 조화 함수의 성질

조화 함수는 여러 가지 중요한 성질을 가지고 있으며, 이는 복소수 이론에서 매우 유용하게 사용된다.

**평균값 성질 (Mean Value Property)**

조화 함수는 평균값 성질을 만족한다. 즉, 어떤 조화 함수 $u(x, y)$가 열린 원판 $D$ 내에서 정의될 때, 원판 내의 임의의 점에서 함수값은 원판 경계에서의 함수값의 평균과 같다. 수식으로 표현하면:

$$
u(x\_0, y\_0) = \frac{1}{2\pi} \int\_0^{2\pi} u(x\_0 + r \cos\theta, y\_0 + r \sin\theta) , d\theta
$$

여기서 $(x\_0, y\_0)$는 원판의 중심이고, $r$은 원판의 반지름이다. 이 성질은 조화 함수가 평활하고 경계에서의 값에 의해 내부 값이 결정됨을 보여준다.

**최대 최소 성질 (Maximum and Minimum Principle)**

조화 함수는 최대 최소 성질을 갖는다. 즉, 조화 함수 $u(x, y)$가 닫힌 영역 $\overline{D}$에서 정의될 때, $u(x, y)$의 최대값과 최소값은 항상 경계 $\partial D$에서 발생한다. 수식으로 표현하면:

$$
\max\_{\overline{D}} u(x, y) = \max\_{\partial D} u(x, y), \quad \min\_{\overline{D}} u(x, y) = \min\_{\partial D} u(x, y)
$$

이 성질은 조화 함수가 영역 내에서 극값을 가질 수 없다는 중요한 결과를 도출하며, 함수의 값이 경계에 의해 완전히 결정됨을 의미한다.

#### 5. 이차원 조화 함수의 예시

2차원 공간에서 조화 함수를 예로 들자면, 다음과 같은 간단한 함수들을 들 수 있다:

$$
u(x, y) = \ln(x^2 + y^2)
$$

이 함수는 라플라스 방정식을 만족하므로 조화 함수이다. 또한, 다음과 같은 다항식도 조화 함수의 좋은 예이다:

$$
u(x, y) = x^2 - y^2
$$

이 함수 역시 라플라스 방정식을 만족하며, 두 변수 $x$와 $y$에 대해 조화적이다.