미분 연산자

틀:위키데이터 속성 추적 수학에서 미분 연산자(微分演算子, 틀:Llang)는 미분 연산을 포함할 수 있는, 함수 또는 단면 공간 위의 국소적 선형 변환이다.

정의

다음과 같은 데이터가 주어졌다고 하자.

• 매끄러운 다양체 $M$
• 두 매끄러운 벡터 다발 $E,F\twoheadrightarrow M$

그렇다면, $E$와 $F$의 매끄러운 단면들의 실수 벡터 공간

${\mathrm{\Gamma }}^{\mathrm{\infty }}(E)$

${\mathrm{\Gamma }}^{\mathrm{\infty }}(F)$

을 생각하자.

$E$와 $F$ 사이의 미분 연산자는 특별한 꼴의 실수 선형 변환

$D:{\mathrm{\Gamma }}^{\mathrm{\infty }}(E)\to {\mathrm{\Gamma }}^{\mathrm{\infty }}(F)$

이다. 이는 다음과 같이 다양한 방법으로 정의될 수 있다.

구체적 정의

임의의 국소 좌표계에서, 다음과 같은 꼴의 연산자를 생각하자.

$s{\mathrm{\nabla }}_{X_1}{\mathrm{\nabla }}_{X_2}\cdots {\mathrm{\nabla }}_{X_k}:{\mathrm{\Gamma }}^{\mathrm{\infty }}(E)\to {\mathrm{\Gamma }}^{\mathrm{\infty }}(F)$

여기서

• $k\in \mathbb{N}$는 자연수(음이 아닌 정수)이다.
• $\mathrm{\nabla }$는 $E$의 임의의 코쥘 접속이다.
• $s\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(E^{*}\otimes F)$는 $E^{*}\otimes F$의 임의의 매끄러운 단면이다.
• $X_1,\dots ,X_k\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(\mathrm{T}M)$는 $M$ 위의 매끄러운 벡터장이다.

그렇다면, 미분 연산자는 위와 같은 꼴의 연산자 $(D_i{)}_{i\in I}$들의 합으로 나타내어지는 연산자이다. 여기서 합이 잘 정의되기 위해서는 다음 조건이 성립해야 한다.

• 어떤 (충분히 섬세한) 열린 덮개 $(U_j{)}_{j\in J}$에 대하여, 각 $j\in J$에 대하여 $\{i\in I:D_i\upharpoonright U_j\ne \varnothing \}$은 유한 집합이다.

(만약 $M$이 콤팩트 공간이라면, 위의 국소적 유한성 조건은 단순히 대역적 유한성에 불과하다.)

위와 같은 꼴에서 가능한 최소의 $k$를 미분 연산자의 차수(틀:Llang)라고 한다. (만약 $M$이 콤팩트 공간이 아니라면 이는 무한할 수 있다.)

제트 다발을 통한 정의

실수 선형 변환

$D:{\mathrm{\Gamma }}^{\mathrm{\infty }}(E)\to {\mathrm{\Gamma }}^{\mathrm{\infty }}(F)$

가 주어졌다고 하자. 만약 다음과 같은 꼴의 분해가 존재한다면, $D$를 $k$차 미분 연산자라고 한다.

$D=T\circ {\mathrm{j}}^k$

여기서

• ${\mathrm{j}}^k:{\mathrm{\Gamma }}^{\mathrm{\infty }}(E)\to {\mathrm{\Gamma }}^{\mathrm{\infty }}({\mathrm{J}}^{k}E)$는 $E$의 $k$차 제트 연장이다.
• ${\mathrm{J}}^{k}E$는 $E$의 $k$차 제트 다발이다.
• $T:{\mathrm{J}}^{k}E\to F$는 벡터 다발 사상이다.

미분 연산자는 미분 연산자들의 합으로 정의되는 국소 연산자이다. 즉, 그렇다면, 미분 연산자는 위와 같은 꼴의 연산자 $(D_i{)}_{i\in I}$들의 합으로 나타내어지는 연산자이며, 다음 조건이 성립해야 한다.

• 어떤 (충분히 섬세한) 열린 덮개 $(U_j{)}_{j\in J}$에 대하여, 각 $j\in J$에 대하여 $\{i\in I:D_i\upharpoonright U_j\ne \varnothing \}$은 유한 집합이다.

(만약 $M$이 콤팩트 공간이라면, 위의 국소적 유한성 조건은 단순히 대역적 유한성에 불과하다.)

페트레 정리를 통한 정의

실수 벡터 공간 값의 층 사상

$D:{\mathrm{\Gamma }}^{\mathrm{\infty }}(E)\to {\mathrm{\Gamma }}^{\mathrm{\infty }}(F)$

가 다음 조건을 만족시킨다고 하자.

• 임의의 매끄러운 단면 $s\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(E)$에 대하여, $\mathrm{supp}(Ds)\subseteq \mathrm{supp}s$. 여기서 $\mathrm{supp}$은 층의 지지 집합이다.

그렇다면, $D$를 미분 연산자라고 한다.

이 정의가 위의 두 정의와 동치라는 사실은 자명하지 않으며, 페트레 정리(Peetre定理, 틀:Llang)라고 한다.

성질

콤팩트 매끄러운 다양체 $M$ 위의 두 벡터 다발 $E,F$가 주어졌다고 하자. $E\to F$ 미분 연산자의 공간을 $𝒟(E,F)$로 표기하자.

그렇다면, 모든 미분 연산자 ${\mathrm{\Gamma }}^{\mathrm{\infty }}(E)\to {\mathrm{\Gamma }}^{\mathrm{\infty }}(F)$는 유한한 차수를 가지며, 따라서 차수에 따라 자연스러운 오름 여과

${\mathrm{\Gamma }}^{\mathrm{\infty }}(E^{*}\otimes F)={𝒟}_0(E,F)\subseteq {𝒟}_1(E,F)\subseteq \cdots \subseteq {𝒟}_{\mathrm{\infty }}(E,F)=𝒟(E,F)$

가 존재한다. 그러나 이 여과는 자연스럽게 등급을 이루지 않는다.

미분 연산자의 차수 여과는 합성에 대하여 다음과 같이 호환된다.

${𝒟}_n(E^{\prime },E^{″})\circ {𝒟}_m(E,E^{\prime })\subseteq {𝒟}_{m+n}(E,E^{″})$

매끄러운 다양체 $M$ 위의 ${𝒞}^{\mathrm{\infty }}(M,ℂ)\to {𝒞}^{\mathrm{\infty }}(M,ℂ)$ 미분 연산자는 유사 미분 연산자이다.

등급 대수

콤팩트 매끄러운 다양체 $M$ 위의 벡터 다발 $E$이 주어졌다고 하자. 편의상 $𝒟(E)=𝒟(E,E)$와 같이 표기하자.

이제, 다음과 같이 등급 대수를 정의할 수 있다.

$\mathrm{gr}𝒟(E)=\underset{i=0}{\overset{\mathrm{\infty }}{⨁}}\frac{{𝒟}_i(E)}{{𝒟}_{i-1}(E)}$

(여기서 편의상 ${𝒟}_{i-1}(E)=\{0\}$으로 간주한다.)

이에 대하여 다음과 같은 등급 대수 동형 사상이 존재한다.틀:Rp

${\mathrm{\Gamma }}^{\mathrm{\infty }}(\mathrm{Sym}(\mathrm{T}M)\otimes \mathrm{End}(E))\cong \mathrm{gr}𝒟(E)$

여기서

• $\mathrm{Sym}(\mathrm{T}M)$은 그 올이 접공간의 대칭 대수인 벡터 다발이다.
• $\mathrm{End}(E)=E\otimes E^{*}$는 $E$ 위의 자기 벡터 다발 사상으로 구성된 벡터 다발이다.

이는 다음과 같다.

$X_1\otimes X_2\otimes \cdots \otimes X_k\otimes T\mapsto [T{\mathrm{\nabla }}_{X_1}{\mathrm{\nabla }}_{X_2}\cdots {\mathrm{\nabla }}_{X_k}]\mathrm{\forall }{X}_1,\dots ,X_k\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(\mathrm{T}M),T\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(E\otimes E^{*})$

여기서 $\mathrm{\nabla }$는 $E$ 위에 정의된 임의의 코쥘 접속이다.

주표상

주표상(主表象, 틀:Llang)은 미분 연산자의 차수를 나타내는, 여접다발 위에 정의되는 완전 대칭 다항식이다. 대략 미분 연산자의 최고차항에서 편미분 연산자를 형식적인 변수 ${\partial }_i\mapsto {\xi }_i$로 치환한 것이다.

구체적으로, 매끄러운 다양체 $M$ 위의 두 매끄러운 벡터 다발 $E,F\to X$ 사이의 미분 연산자 $D:{\mathrm{\Gamma }}^{\mathrm{\infty }}(E)\to {\mathrm{\Gamma }}^{\mathrm{\infty }}(F)$를 생각하자. 임의의 매끄러운 단면 $u\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(E)$에 대하여, 국소 좌표계에서 $D$가

$D:u(x)\mapsto \sum _I{P}^I(x){\partial }_{I}u$

의 꼴이라고 하자. 여기서 $I$는 다중지표이고, $D^I:E\to F$는 다발 사상이다. 여기서 $D^I$는 다중지표의 성분들의 순열에 무관하다.

$D$의 차수

$k=\max \{|I|:P^I\ne 0\}$

가 유한하다고 하자. 그렇다면 미분 연산자 $D$의 주표상

${\sigma }_D\in {\mathrm{\Gamma }}^{\mathrm{\infty }}({\mathrm{Sym}}^k(\mathrm{T}X)\otimes E^{*}\otimes F)$

은 $(k,0)$차 완전 대칭 텐서장이며, 다음과 같다.

${\sigma }_D=\sum _{|I|=k}{P}^I$

이것이 텐서장으로서 변환한다는 사실을 보일 수 있다.

예

실수선 위의 미분 연산자는 이는 다음과 같은 꼴이다.

$D=\sum _{n=0}^{\mathrm{\infty }}{f}_n(x)\frac{{\mathrm{d}}^n}{\mathrm{d}{x}^n}$

여기서 위 합이 국소적으로 유한하려면 다음 조건이 성립해야 한다.

$\mathrm{\forall }x\in ℝ\mathrm{\exists }ϵ\in {ℝ}^{+}\mathrm{\forall }y\in (x-ϵ,x+ϵ)\mathrm{\exists }N\in \mathbb{N}\mathrm{\forall }n>N:f_n(y)=0$

벡터 연산자

유클리드 공간 ${ℝ}^n$ 위의 실수 값 매끄러운 함수는 자명한 벡터 다발 $ℝ\times {ℝ}^n$의 매끄러운 단면이며, 벡터장은 자명한 벡터 다발 ${ℝ}^n\times {ℝ}^n=\mathrm{T}{ℝ}^n$의 매끄러운 단면이다. 이 경우, 매끄러운 함수의 기울기

$\mathrm{grad}:{𝒞}^{\mathrm{\infty }}({ℝ}^n,ℝ)\to {𝒞}^{\mathrm{\infty }}({ℝ}^n,{ℝ}^n)$

와 발산

$\mathrm{div}:{𝒞}^{\mathrm{\infty }}({ℝ}^n,{ℝ}^n)\to {𝒞}^{\mathrm{\infty }}({ℝ}^n,ℝ)$

및 회전

$\mathrm{curl}:{𝒞}^{\mathrm{\infty }}({ℝ}^n,{ℝ}^n)\to {𝒞}^{\mathrm{\infty }}({ℝ}^n,{ℝ}^n)$

은 모두 1차 미분 연산자이다.

라플라스 연산자

틀:본문 준 리만 다양체 $(M,g)$ 위에는 2차 미분 연산자인 라플라스 연산자

$\mathrm{\Delta }:C^{\mathrm{\infty }}(X)\to C^{\mathrm{\infty }}(X)$

가 존재하며, 그 주표상은

${\sigma }_{\mathrm{\Delta }}(\xi )=g^{-1}(\xi ,\xi )$

이다. 만약 $M$이 리만 다양체라면 이는 타원형 미분 연산자이다.

디랙 연산자

틀:본문 스핀 다양체 $M$ 위의 1차 미분 연산자인 디랙 연산자

$D={\gamma }^i{\mathrm{\nabla }}_i:SM\to SM$

의 주표상은

${\sigma }_D(\xi )={\gamma }^i{\xi }_i$

이다. 여기서 $SM$은 $M$의 스피너 다발이고, ${\gamma }^i$는 디랙 행렬이다. 이는 항상 약타원형 미분 연산자이다.

역사

미분 연산자를 (단순히 함수의 도함수를 나타내는 기호가 아니라) 스스로 존재하는 대상으로 여기는 것은 루이 프랑수아 앙투안 아르보가스트(틀:Llang, 1759~1803)의 1800년 저서가 최초라고 여겨진다.틀:Rp

페트레 정리는 야크 페트레(틀:Llang, 1935~)가 증명하였다.

같이 보기

• 타원형 미분 연산자
• 회전 (벡터)
• 분수계 미적분학
• 유사 미분 연산자
• 아티야-싱어 지표 정리

각주

• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용

외부 링크

• 틀:웹 인용
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:Nlab