정의
라플라스 연산자(∇², Laplacian)는 스칼라장·벡터장 등 다변수 함수를 대상으로 하는 2차 미분 연산자로, 해당 함수의 각 좌표에 대한 2차 편미분을 모두 합한 형태로 정의된다. 즉, n차원 유클리드 공간 ℝⁿ에서 스칼라 함수 f에 대해
$$ \Delta f = abla^{2} f = \sum_{i=1}^{n} \frac{\partial^{2} f}{\partial x_{i}^{2}} $$
와 같이 표기한다.
개요
라플라스 연산자는 물리학·공학·수학 전반에 걸쳐 중요한 역할을 한다. 정전기·중력·유체역학·양자역학 등에서 나타나는 포아송 방정식·라플라스 방정식·히트 방정식·파동 방정식 등의 기본 편미분 방정식에 핵심 연산자로 등장한다. 또한, 함수의 평활성·조화성·보존량 등을 분석하는 도구로 활용된다.
어원·유래
라플라스 연산자는 프랑스의 수학자 피에르-시몽 라플라스(1749–1827)의 이름을 따서 명명되었다. 라플라스는 18세기 말~19세기 초에 천체 역학과 확률론을 발전시키면서, 조화 함수와 관련된 2차 미분 연산자를 도입하였다. 이 연산자는 라플라스가 제시한 라플라스 방정식(Δf = 0)과 직접 연결된다.
특징
| 구분 | 내용 |
|---|---|
| 선형성 | 라플라스 연산자는 선형 연산자이며, $\Delta (af + bg) = a\Delta f + b\Delta g$ (a, b는 상수) 가 성립한다. |
| 대칭성 | 유클리드 공간에서 정의된 경우, 라플라스 연산자는 자기수반(자기‑adjoint) 연산자이며, 적절한 경계조건 하에 고윳값 문제를 정의한다. |
| 조화함수와의 관계 | 라플라스 연산자에 의해 0이 되는 함수를 조화 함수라 부른다. 조화 함수는 평균값 성질을 갖고, 극값 정리를 만족한다. |
| 좌표계에 따른 형태 | 직교 좌표계(데카르트 좌표)에서는 위와 같이 간단히 표현되지만, 구면좌표계·극좌표계 등 곡선 좌표계에서는 계량 텐서와 크리스트오프 기호를 포함한 복잡한 형태로 변환된다. |
| 물리적 의미 | 라플라스 연산자는 특정 점 주변에서 함수값이 평균값과 얼마나 차이가 나는지를 나타내는 ‘곡률’ 혹은 ‘확산’ 효과를 정량화한다. 예를 들어, 열전도 방정식에서 $\partial u/\partial t = \alpha \Delta u$는 온도 분포 u가 시간에 따라 확산되는 속도를 나타낸다. |
관련 항목
- 라플라스 방정식: $\Delta f = 0$ 형태의 편미분 방정식, 조화 함수의 정의와 직접 연관.
- 포아송 방정식: $\Delta f = \rho$ 형태, 전기·중력 전위 등 소스 항이 존재하는 경우.
- 히트 방정식(확산 방정식): $\partial u/\partial t = \alpha \Delta u$ 형태, 열·물질 확산 현상을 모델링.
- 파동 방정식: $\partial^{2} u/\partial t^{2} = c^{2}\Delta u$ 형태, 음파·전자기파 전파를 기술.
- 그린 정리·스톡스 정리: 라플라스 연산자를 포함한 적분 변환 관계를 제공하는 정리들.
- 스펙트럼 이론: 라플라스 연산자의 고윳값·고유함수는 다양한 물리·수학 문제에서 기저를 형성한다.
(※ 위 내용은 현재까지 확인된 학술·교과서 자료에 근거하였다.)