라플라스 연산자

Laplace operator

수학에서 라플라스 연산자 또는 라플라시안(Laplacian)은 유클리드 공간에서 스칼라 함수경사분산되어 주어지는 미분 연산자다. It is usually denoted by the symbols , (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function독립 변수와 관련하여. 원통형 좌표와 구면 좌표와 같은 다른 좌표계에서도 라플라시안에는 유용한 형태가 있다. 비공식적으로, p 지점 p에서 함수 f의 라플라시안 Δf (p)p를 중심으로 한 작은 구나 공에 대한 f의 평균 값이 f (p)에서 얼마나 벗어나는지를 측정한다.

라플라스 연산자는 프랑스의 수학자 피에르 시몬 라플라스(1749–1827)의 이름을 따왔다. 그는 연산자를 천체역학 연구에 처음 적용했다: 주어진 질량 밀도 분포에 따른 중력 전위의 라플라스틱은 그 밀도 분포의 일정한 배수다. 라플레이스의 방정식 Δf = 0의 용액은 조화 함수라고 불리며 진공 영역에서 가능한 중력 전위를 나타낸다.

라플라시안은 물리적 현상을 설명하는 많은 미분 방정식에서 발생한다. 포아송의 방정식전기중력 전위를 기술하고, 확산 방정식유체 흐름을 기술하고, 파동 방정식파동 전파를 기술하고, 슈뢰딩거 방정식양자 역학에서 기술한다. 이미지 처리컴퓨터 비전에서 라플라시안 연산자는 블롭에지 검출과 같은 다양한 작업에 사용되어 왔다. 라플라시안은 가장 단순한 타원 연산자로, 드 람 코호몰로지 결과뿐만 아니라 호지 이론의 핵심에 있다.

정의

라플라스 연산자는 n차원 유클리드 공간2차 차동 연산자로, 구배( gradient 의 발산 f 으로 정의된다. 따라서 (가) 두 번 구별 가능한 실제함수인 경우, }의 라플라시안(Laplacian)은 다음과 같이 정의한 실제 값 함수다.

(1)

후자의 공지가 공식적으로 쓰여진 것에서 유래된 경우:

명시적으로 f의 라플라시안(Laplacian)은 카르테시아 좌표x에서i 혼합되지 않은 두 번째 부분파생물의 총합이다.

(2)

2차 차등 연산자로서 라플라스 연산자는 Ck 함수를 k kk−2 2의 C 함수에 매핑한다. 선형 연산자 Δ : Ck(Rn) Ck−2(Rn) 또는 보다 일반적으로 임의의 오픈 세트 Ω Rn 대한 연산자 Δ : Ck) → C(Ω)이다k−2.

동기

확산

확산물리적 이론에서 라플라스 연산자는 평형의 수학적 설명에서 자연적으로 발생한다.[1] 특히 u가 화학 농도와 같은 일부 양의 평형 밀도인 경우, V 에 선원이나 싱크대가 없다면, 어떤 매끄러운 지역 V의 경계 V를 통한 u순유속은 0이다.

여기서 nV의 경계에서 정상인 외부 단위다. 다양성 정리로는

이는 모든 매끄러운 지역 V에 적용되므로 다음과 같은 의미를 내포할 수 있다.

이 방정식의 왼쪽은 라플라스 연산자로, 전체 방정식 Δu = 0라플라스 방정식으로 알려져 있다. 라플라스 방정식의 해법, 즉 라플라스틱이 동일한 0이므로 확산 중 가능한 평형 밀도를 나타내는 함수.

라플라스 연산자 자체는 확산방정식에 의해 정밀하게 만들어진 의미에서 점이 화학농도의 원천이나 싱크대를 나타내는 범위로서 비균형 확산에 대한 물리적 해석을 가지고 있다. 라플라크의 이러한 해석은 평균에 관한 다음의 사실에 의해서도 설명된다.

평균

감안할 때는 두번 연속 미분 가능 함수 f:Rn→ R^{n}\to \mathbb{R}{\displaystyle f:\mathbb{R}}, 점 p∈ Rn{\displaystylep\in \mathbb{R}^{n}}과 같은 h>0{\displaystyle h>0}, 우리는 f¯ B({\displaystyle{\overline{f}}_ᆱ(p,h)}이 되aver게 했다.나이 va 에 중심을 두고 위에 f hlu는 구( 위에 있는 f 의 평균값이며, 이다 에서 그리고 다음이 있다.[2]

그리고

잠재력과 관련된 밀도

φ전하 분포 q와 관련된 정전 전위를 나타내는 경우, 전하 분포 자체는 φ의 라플라시안 음수에 의해 주어진다.

여기서 ε0 전기 상수다.

이것은 가우스의 법칙의 결과다. 실제로 V가 경계 V를 가진 부드러운 지역일 경우, 가우스의 법칙에 의해 경계를 가로지르는 정전기장 E의 유량은 다음과 같은 전하와 비례한다.

첫 번째 평등이 분기 정리에서 기인하는 경우. 정전기장은 전위(음극)의 구배이므로 다음과 같다.

모든 지역에서 V가 열리기 때문에, 우리는 반드시

같은 접근방식은 중력 전위의 라플라시안(Laplacian)의 음이 질량분포라는 것을 암시한다. 흔히 전하(또는 질량) 분포가 주어지며, 관련 전위는 알 수 없다. 적절한 경계 조건의 대상이 되는 잠재적 함수를 찾는 것은 포아송의 방정식을 푸는 것과 같다.

에너지 최소화

라플라크가 물리학에 나타난 또 다른 동기는 지역 U에서 Δf = 0에 대한 해결책이 디리클레 에너지정지 상태로 만드는 기능이라는 것이다.

이를 보려면 f : U R이 함수이고, u : UR이 U의 경계에서 소멸되는 함수라고 가정하면 다음과 같다.

여기서 마지막 평등은 그린의 첫 번째 정체성을 이용해 뒤따른다. 이 계산은 Δf = 0이면 E가 f 주위에 정지해 있음을 보여준다. 반대로 E가 f 주위에 정지해 있다면, 변동의 미적분학의 기본 보조정리법에 의한 Δf = 0.

좌표식

2차원

2차원의 라플라스 연산자는 다음과 같이 주어진다.

데카르트 좌표에서

여기서 xy는 xy 평면의 표준 데카르트 좌표다.

극좌표에서는

여기서 r은 방사상 거리를 나타내며 θ 각도를 나타낸다.

삼차원

3차원에서는 다양한 좌표계에서의 라플라시안과의 작업이 일반적이다.

데카르트 좌표에서

원통형 좌표에서는

여기서 은 반지름 거리를 나타내며, φ 방위각과 z 높이를 나타낸다.

구형 좌표에서:

또는
여기서 φ방위각을 나타내며 θ 정점각 또는 공동각도를 나타낸다.

일반 곡선 좌표(ξ1, ξ2, ξ3):

여기l 반복 지수에 대한 합계는 g는 역 메트릭mn 텐서이고 metric은 선택된 좌표에 대한 Christoffel 기호다.

N 치수

임의N차원의 곡선 좌표(ξ1, …, ξN)에서는 역 미터법 텐서, g g:

분열을 위한 보스-와일 공식에서[3] 나온 거야

N 치수의 구형 좌표에서, 파라메트리제이션 x = RN r은 양의 실제 반경을 나타내며 θ 단위 구 SN−1 원소를 나타낸다.

여기서 ΔSN−1 구형 라플라시안이라고 알려진 (N - 1)-sphere의 라플라스-벨트라미 연산자. 두 개의 방사형 파생상품 용어는 다음과 같이 동등하게 재작성할 수 있다.

결과적으로 SN−1 RN 정의된 함수의 구면 라플라시안은 R{{0}까지 확장N 함수의 일반 라플라시안으로 계산하여 광선을 따라 일정하게 유지되도록 할 수 있다. 즉, 도 0의 동질이다.

유클리드 불변성

라플라시안은 모든 유클리드 변형, 즉 회전번역에서 불변한다. 예를 들어, 2차원에서 이것은 다음을 의미한다.

모든 θ, a, b에 대하여 임의의 치수에서는,
ρ가 회전일 때마다, 마찬가지로 다음과 같다.
τ이 번역일 때마다. (더 일반적으로 ρ반사와 같은 직교 변환일 때 이는 그대로 유지된다.)

사실, 모든 유클리드 변환과 함께 통근하는 일정한 계수를 가진 모든 스칼라 선형 미분 연산자의 대수는 라플라스 연산자에 의해 생성된 다항식 대수다.

스펙트럼 이론

라플라스 연산자의 스펙트럼은 다음과 같은 고유함수 f가 있는 모든 고유값 λ으로 구성된다.

이것은 헬름홀츠 방정식이라고 알려져 있다.

ΩRn 경계 영역인 경우, 라플라시안의 고유 기능은 힐버트 공간 L2(Ω)정형화된 기초가 된다. 이 결과는 본질적으로 라플라시안(Poincaré 불평등 렐리히-콘드라초프 정리)의 역에 적용된 콤팩트 자기 적응 연산자에 대한 스펙트럼 정리에서 나타난다.[4] 또한 고유특성은 무한히 다른 기능임을 알 수 있다.[5] 보다 일반적으로, 이러한 결과는 경계가 있는 콤팩트한 리만 다지관의 라플라스-벨트라미 운영자 또는 실제로 경계 영역에 부드러운 계수를 갖는 타원 운영자의 디리클레 고유값 문제를 지탱한다. Ωn-sphere일 때, 라플라시안의 고유 기능은 구형 고조파다.

벡터 라플라시안

벡터 라플라스 연산자also 으로 표시되기도 하는 벡터 필드 위에 정의된 미분 연산자[6] 벡터 라플라시안은 스칼라 라플라시안과 유사하다. 스칼라 라플라시안은 스칼라장에 적용되고 스칼라 양을 반환하는 반면, 벡터 라플라시안은 벡터장에 적용되어 벡터 수량을 반환한다. 직교 카르테시안 좌표로 계산했을 때, 반환된 벡터 필드는 각 벡터 구성요소에 적용되는 스칼라 라플라시안의 벡터 필드와 동일하다.

벡터 필드 벡터 라플라시안은 다음과 같이 정의된다.

데카르트 좌표에서 이것은 다음과 같이 훨씬 단순한 형태로 감소한다.

where , , and are the components of the vector field , and just on the left of each vector field component is the (scalar) Laplace operator. 이것은 라그랑주 공식의 특별한 경우라고 볼 수 있다. 벡터 트리플 제품을 참조하라.

다른 좌표계의 벡터 라플라시안 표현은 원통형구형 좌표 델을 참조한다.

일반화

모든 텐서 T{\}("텐서"에는 스칼라와 벡터가 포함됨)의 라플라시안은 텐서 경사도의 차이정의된다.

이(가) 스칼라(도 0의 텐서)인 특수 사례에 대해 라플라시안은 익숙한 형태를 취한다.

(가) 벡터(1도 텐서)인 경우, 구배는 공변량 파생상품으로, 텐서(tensor)가 2도이고, 이것의 발산도 다시 벡터(vector)이다. 위의 벡터 라플라시안 공식은 텐서 수학을 피하기 위해 사용될 수 있으며 벡터의 구배를 위해 아래에 제시된 자코비안 행렬의 다양성과 동등하다고 보여질 수 있다.

그리고 같은 방법으로 다른 벡터(2도 텐서)의 경사로 벡터의 벡터까지 평가하는 도트 제품은 행렬의 산물로 볼 수 있다.

이 정체성은 좌표에 의존하는 결과로서 일반적이지 않다.

물리학에 사용

벡터 라플라시안의 사용 예로는 뉴턴의 압축 불가능한 흐름에 대한 Navier-Stokes 방정식이 있다.

여기서 속도장 의 벡터 라플라시안이 있는 용어는 유체의 점성스트레스를 나타낸다.

또 다른 예는 전하와 전류가 없는 경우 맥스웰 방정식에서 도출할 수 있는 전기장의 파동 방정식이다.

이 방정식은 다음과 같이 기록할 수도 있다.

어디에
클라인-고든 방정식사용되는 달렌베르트어다.

일반화

라플라크의 버전은 디리클레 에너지 기능이 이치에 닿는 곳이라면 어디든 정의될 수 있는데, 디리클레의 이론이다. 추가 구조물이 있는 공간의 경우 다음과 같이 라플라시안(Laplacian)에 대해 보다 명시적으로 설명할 수 있다.

라플라스-벨트라미 연산자

또한 라플라시안(Laplacian)은 리만 다지관에 정의라플라스-벨트라미(Laplace-Beltrami) 연산자로 일반화할 수 있다. 라플라스-벨트라미 연산자는 함수에 적용될 때 함수의 헤시안 추적(tr)이다.

미터법 텐서의 역순에 대해 추적이 수행되는 경우. 또한 라플라스-벨트라미 연산자는 유사한 공식으로 텐서 필드에서 작동하는 연산자(라플라스-벨트라미 연산자라고도 함)로 일반화할 수 있다.

사이비-리만 다양체에서 이용할 수 있는 라플라스 연산자의 또 다른 일반화는 "지오미터의 라플라스틱"이 다음과 같이 표현되는 외부 파생물을 사용한다.

여기서 Δ코드프렌더로, 호지 항성과 외부 파생물의 측면에서도 표현할 수 있다. 이 연산자는 위에서 정의한 "분석학자의 라플라시안"과 부호가 다르다. 보다 일반적으로 "Hodge" Laplacian은 다음과 같이 미분형 α에 대해 정의된다.

이것은 라플라스-데 럼 연산자로 알려져 있으며, 바이첸뵈크 정체성에 의해 라플라스-벨트라미 연산자와 관련이 있다.

달렘베르트어

라플라시아인은 타원체, 쌍곡체 또는 초극성일 수 있는 유클리드 이외의 공간에 특정한 방법으로 일반화될 수 있다.

민코프스키 공간에서 라플라스-벨트라미 운영자는 달렌베르트 운영자 또는 달렌베르트 운영자가 된다.

그것은 기초 공간의 등계 그룹에 따라 불변하는 차동 연산자라는 점에서 라플라스 연산자의 일반화이며, 시간 독립적인 기능으로 제한될 경우 라플라스 연산자로 감소한다. 여기서 미터법의 전체적인 부호는 운영자의 공간 부분이 음의 부호를 인정하는 방식으로 선택되는데, 이는 고에너지 입자물리학에서 흔히 볼 수 있는 관례다. 달랑베르 연산자는 파동 방정식에 나타나는 미분 연산자여서 파동 연산자로도 알려져 있으며, 질량이 없는 경우 파동 방정식으로 감소하는 클라인-고든 방정식의 일부이기도 하다.

공간과 시간이 서로 다른 단위로 측정되는 경우 미터법에서 c의 추가 인자가 필요하다. 예를 들어, y 방향을 센티미터로 측정하는 동안 x 방향을 미터로 측정했다면 유사한 인자가 필요할 것이다. 실제로 이론 물리학자들은 방정식을 단순화하기 위해 보통 c = 1과 같은 단위로 작업한다.

달른베르트 운영자는 사이비-리만 다양체에서 쌍곡선 운영자를 일반화한다.

참고 항목

메모들

  1. ^ 에반스 1998, 제2.2조
  2. ^ Ovall, Jeffrey S. (2016-03-01). "The Laplacian and Mean and Extreme Values" (PDF). The American Mathematical Monthly. 123 (3): 287–291.
  3. ^ GhostarchiveWayback Machine에 보관:
  4. ^ Gilbarg & Trudinger 2001, Organization 8.6
  5. ^ Gilbarg & Trudinger 2001, Corollary 8.11
  6. ^ MathWorld. "Vector Laplacian".

참조

추가 읽기

외부 링크