라플라스 연산자

수학에서 **라플라스 연산자**(Laplace演算子, ) 또는 **라플라시안**()은 2차 미분 연산자의 일종으로, 기울기의 발산이다. 기호는 Δ(그리스 대문자 델타) 또는 ∇2이다.

## 정의
다음 데이터가 주어졌다고 하자.
* 준 리만 다양체 (M,g)
* M 위의 매끄러운 벡터 다발 E
* E 위의 코쥘 접속 \nabla
그렇다면, E 위의 **라플라스 연산자**는 다음과 같이 E의 매끄러운 단면을 매끄러운 단면에 대응시키는 2차 미분 연산자이다.
:\Delta\colon\Gamma^\infty(E)\to\Gamma^\infty(E)
이는 국소 좌표계에서 다음과 같다.
:\Delta s^c=g^{ij}\nabla_i\nabla_js
=g^{ij}(\partial_j\delta_b^c+\Gamma_{ib}^c)(\delta_a^b\partial_is+\Gamma_{ia}^bs^a)
=g^{ij}\partial_i\partial_js^c
+2g^{ij}\Gamma_{ia}^c\partial_js^a
+g^{ij}\left(\partial_{ib}^c\Gamma_{ja}^b
+\Gamma_{ib}^c\Gamma_{ja}^b
\right)s^a
\qquad\forall s\in\Gamma^\infty(E)

여기서 \Gamma_{ia}^b는 \nabla의 성분(크리스토펠 기호)이다. i,j,\ldots는 접다발의 첨자이며, a,b,\ldots는 E의 첨자이다.
(주의: 물리학에서는 라플라스 연산자가 거의 항상 위와 같이 정의되지만, 수학에서는 가끔 위에 정의된 연산자 ×(−1)을 라플라스 연산자로 정의하는 경우도 있다.)

이에 따라, 리만 계량 g가 2차 성분의 계수를 결정하고, 코쥘 접속 \Gamma_{ia}^b가 1차 성분의 계수를 결정함을 알 수 있다. 2차 성분과 1차 성분이 주어지면 0차 성분은 자동적으로 결정된다. 반대로, 매끄러운 다양체의 매끄러운 벡터 다발 위에 라플라스 연산자가 주어지면 이로부터 매끄러운 다양체 위의 리만 계량과 매끄러운 벡터 다발 위의 코쥘 접속을 읽어낼 수 있다.

위 정의는 대신 기울기
:\nabla\colon\Gamma^\infty(E)\to\Gamma^\infty(E\otimes\mathrm T^*M)
와 음악 동형
:(-)^\#\colon\Gamma^\infty(E\otimes\mathrm T^*M)\to\Gamma^\infty(E\otimes\mathrm TM)
과 발산
:\operatorname{div}\colon\Gamma^\infty(E\otimes\mathrm TM)\to\Gamma^\infty(E)
의 합성으로 여길 수 있다.
:\Delta=\operatorname{div}\circ(-)^\#\circ\nabla

### 라플라스형 연산자
보다 일반적으로, 위와 같은 형태의 2차 미분 연산자에 임의의 0차 항을 추가하여 **라플라스형 연산자**(Laplace形演算子, ) 또는 **일반화 라플라스 연산자**(一般化Laplace演算子, )의 개념을 정의할 수 있다.
구체적으로, **라플라스형 연산자** H는 다음과 같은 꼴의 2차 미분 연산자이다.
:H=\Delta+T\qquad(T\in\Gamma^\infty(E\otimes E^*))
여기서 \Delta는 라플라스 연산자이며, \Gamma^\infty(E\otimes E^*)는 E\otimes E^*=\operatorname{End}(E)의 매끄러운 단면들의 공간이다.

## 성질
콤팩트 리만 다양체 M이 주어졌으며, 그 위의 복소수 값 매끄러운 함수에 대한 라플라스 연산자를 생각하자. 이는 사실 복소수 힐베르트 공간 (르베그 공간) \mathcal H=\operatorname L^2(M;\mathbb C)의 조밀한 부분 집합 위에 정의된다. 따라서, 임의의 t\in\mathbb R에 대하여 유계 작용소
:\exp(\mathrm it\Delta)\colon\mathcal H\to\mathcal H
가 \mathcal H 위에 잘 정의된다.

이제, 위 유계 작용소의 고윳값을 생각할 수 있다. 이는 물론 \exp(-\mathrm it\lambda_i)의 꼴이며, -\lambda_i를 라플라스 작용소의 고윳값으로 여길 수 있다.

이 경우, \{\lambda_i\}는 음이 아닌 실수들의 가산 집합이며, 0=\lambda_0의 꼴이다. (\lambda_0=0이 항상 고윳값인 것은 상수 함수가 그 고유 벡터이기 때문이다. \lambda_i\ge0인 것은 부분 적분에 따라
:\lambda\int_M|f|^2 \sqrt{\det g}
=-\int_Mf\Delta f\sqrt{\det g}
=\int_Mg(\nabla f,\nabla f)\sqrt{\det g}
\ge0
이기 때문이다. 양자 역학에서 H=-\Delta는 자유 입자의 해밀토니언 연산자이므로, 이는 콤팩트 공간 위의 자유 입자의 에너지가 음이 아님을 나타낸다.)

**리크네로비츠-오바타 정리**(Lichnerowicz-[小畠]定理, )에 따르면, 만약 n\ge2이며, 또한
:R^{-2}=\inf_{X\in\Gamma^\infty(\mathrm TM\setminus M)}\frac{\operatorname{Ric}(X,X)}{g(X,X)}>0
라면, \lambda_1에 대하여 다음이 성립한다.
:\lambda_1\ge\frac{Cn}{n-1}
여기서 \Gamma^\infty(\mathrm TM\setminus M)은 어디서도 0이 아닌 벡터장들의 공간이며, \operatorname{Ric}(-,-)은 리치 곡률 텐서이다. 반대로, 만약 위 부등식이 포화된다면 M은 (연결 단일 연결 공간일 경우) 반지름 R의 초구이다.

## 예
### 함수의 경우
만약 E=M\times\mathbb R가 자명한 선다발일 경우, E의 단면은 단순히 M 위의 실수 값 매끄러운 함수이다. 이 경우 라플라스 연산자는 **라플라스-벨트라미 연산자**()라고 하며, 이 경우 다음과 같은 특별한 공식이 존재한다.
:\Delta s=\frac1{\sqrt{\det g}}\partial_i\left(\sqrt{\det g}g^{ij}\partial_js\right).
여기서 \det g_{ij}는 계량 텐서의 성분의 행렬식이다.

### 텐서장의 경우
만약
:E=(\mathrm TM)^{\otimes p}\otimes(\mathrm T^*\!M)^{\otimes q}
가 (p,q)차 텐서장의 벡터 다발일 경우, E 위에는 리만 계량에 의한 표준적인 코쥘 접속인 레비치비타 접속이 존재한다. 이 경우, 레비치비타 접속을 사용한 라플라스 연산자를 역시 **라플라스-벨트라미 연산자**라고 한다.

예를 들어, 벡터장의 라플라스-벨트라미 연산자는 다음과 같다.
:(\Delta X)^i
=g^{jk}(\nabla_j\nabla_kX)^i
=g^{jk}\partial_j\partial_kX^i
+2g^{jk}\Gamma_{ji'}^i\partial_kX^{i'}
+g^{jk}\left(\partial_{ji'}^i\Gamma_{ki*}^{i'}
+\Gamma_{ji'}^i\Gamma_{ji*}^{i'}
\right)X^{i*}</math>

=== 유클리드 공간의 경우 ===
유클리드 공간 <math>\mathbb R^n</math>위의 실수 값 [[매끄러운 함수]] <math>f\colon\mathbb R^n\to\mathbb R</math>의 라플라스 연산자는 [[직교 좌표계]]에서 다음과 같다.
:<math>\Delta f = \sum_{i=1}^n \frac {\partial^2 f}{\partial x_i^2}</math>

[[초구면 좌표계]]
:<math>(r,\theta_1,\theta_2,\ldots,\theta_{n-1})</math>
에서 라플라스 연산자는 다음과 같다.
:<math>\Delta f=r^{1-n}\frac\partial{\partial r}\left(r^{n-1}\frac\partial{\partial r}f\right)
+r^{-2}\nabla_{\mathbb S^{n-1}}f</math>
여기서 <math>\nabla_{\mathbb S^{n-1}}</math>은 [[초구]] 위의 라플라스-벨트라미 연산자로, 다음과 같다.
:<math>\nabla_{\mathbb S^{n-1}}f=
\sum_{i=1}^{n-1}
\frac1{(\sin^2\theta_1
\cdots\sin^2\theta_{i-1})
\sin^{n-i-1}\theta_i}
\frac\partial{\partial\theta_i}\left(\sin^{n-i-1}\theta_i\frac\partial{\partial\theta_i}f\right)</math>
<div class="mw-collapsible mw-collapsed toccolours">
*'유도:**
<div class="mw-collapsible-content">
[[구면 좌표계]] <math>(r,\theta_1,\ldots,\theta_{n-1})</math>에서의 [[리만 계량]]은
:<math>\mathrm ds^2=\mathrm dr^2+r^2\mathrm d\theta_1^2+r^2\sin^2\theta_1\mathrm d\theta_2^1 + r^2\sin^2\theta_1\sin^2\theta_2 \mathrm d\theta_3^2+\cdots + r^2\sin^2\theta_1\cdots\sin^2\theta_{n-2}\mathrm d\theta_{n-1}^2</math>
이다. 따라서 [[리만 계량]]의 [[행렬식]]의 [[제곱근]]은
:<math>\sqrt{\det g}=r^{n-1}
\sin^{n-2}\theta_1
\sin^{n-3}\theta_2
\cdots
\sin\theta_{n-2}
</math>
이며,
:<math>\Delta f=
r^{1-n}\partial_r(r^{n-1}\partial_rf)
+
r^{-2}
\sin^{2-n}\theta_1
\partial_{\theta_1}(
\sin^{n-2}\theta_1
\partial_{\theta_1}f)
+
\frac1{r^2\cos^2\theta_1}
\sin^{3-n}\theta_2
\left(
\sin^{n-3}\theta_2
\partial_{\theta_2}f\right)
+\cdots</math>
이다.
</div></div>

예를 들어, 2차원 초구면 좌표계(=[[극좌표계]])에서의 라플라스 연산자는 다음과 같다.
:<math> \Delta f
= {1 \over r} {\partial \over \partial r}
  \left( r {\partial f \over \partial r} \right)
+ {1 \over r^2} {\partial^2 f \over \partial \theta^2}
</math>

마찬가지로, 3차원 [[원통 좌표계]]에서의 라플라스 연산자는 다음과 같다.
:<math> \Delta f
= \frac1r\frac\partial{\partial r}\left( r \frac{\partial f}{\partial r} \right)
+ \frac1{r^2}\frac{\partial^2f}{\partial\theta^2}
+\frac{\partial^2f}{\partial z^2}</math>

마찬가지로, 3차원 [[구면 좌표계]] <math>(r,\theta,\phi)</math>에서의 라플라스 연산자는 다음과 같다.
:<math>\Delta f=\frac1{ r^{2}}\frac\partial{\partial r}\left(r^2\frac{\partial f}{\partial r}\right)
+\frac1{r^2\sin\theta}\frac\partial{\partial\theta}\left(\sin\theta\frac{\partial f}{\partial\theta} \right)
+\frac1{r^2\sin^2\theta}\frac{\partial^2f}{\partial\phi^2}
</math>

=== 민코프스키 공간 ===

[[민코프스키 공간]] <Math>\mathbb R^{n,1}</math>은 [[리만 다양체]]가 아니지만 [[준 리만 다양체]]이며, 이 경우의 라플라스 연산자는 **달랑베르 연산자'''라고 한다. 이는 (리만 다양체의 경우와 달리) 타원형 미분 연산자가 아니다.

## 역사
오늘날 "라플라스 방정식"이라고 불리는 2차 편미분 방정식 및 이 속에 등장하는 2차 미분 연산자는 이미 레온하르트 오일러가 유체역학을 연구하는 동안 도입하였다. 마찬가지로, 장 르 롱 달랑베르 역시 라플라스 방정식을 연구하였다.

피에르시몽 라플라스는 만유인력의 법칙을 연구하는 도중 라플라스 방정식을 재발견하였으며,
여기에 등장하는 2차 미분 연산자는 "라플라스 연산자"로 불리게 되었다. 이 밖에도, 달랑베르는 파동 방정식에 등장하는 달랑베르 연산자(=민코프스키 공간 위의 라플라스 연산자)를 도입하였다.

다양체 위의 라플라스(-벨트라미) 연산자는 에우제니오 벨트라미가 고전역학을 일반적인 리만 다양체 위에 정의하기 위하여 도입하였다.
리크네로비츠-오바타 정리의 경우, \lambda_1의 하한은 앙드레 리크네로비츠()가 증명하였고, 이 하한의 포화가 초구에서만 일어난다는 것은 오바타 모리오()가 증명하였다.

## 응용
라플라스 연산자는 물리학 또는 화학에서 벡터장의 퍼텐셜을 이용해 벡터장의 특성을 나타낼 때 사용된다. 예를 들어, 전기장의 퍼텐셜인 전기 퍼텐셜에 라플라스 연산자는 취하면 전하 밀도를 유전률 상수로 나눈 값이 되는데, 이것은 푸아송 방정식의 하나로 이것의 해를 찾는 것은 정전기학에서 중요한 문제이다.

## 같이 보기
* 라플라스-벨트라미 연산자
* 언쇼 정리

## 각주

## 외부 링크

* 
* 
* 
* 
* 
* 
* 
* 
* 

분류:다변수 미적분학
분류:리만 기하학
분류:미분 연산자
분류:조화 함수
분류:타원 편미분 방정식
분류:푸리에 해석학
분류:피에르시몽 라플라스