미분 연산자

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

미분 연산자는 매끄러운 다양체 사이의 매끄러운 단면을 실수 선형 변환하는 연산자이다. 다양한 방법으로 정의될 수 있으며, 함수와 그 미분을 포함하는 고계 미분에 의해 유한하게 생성되는 연산자를 말한다. 미분 연산자는 국소 좌표계에서 특정 꼴의 연산자들의 합으로 표현되며, 차수는 연산자의 종류를 나타낸다. 미분은 선형 연산이며, 함수 계수를 가진 다항식은 미분 연산자가 된다. 미분 연산자는 물리 과학, 미분 기하학, 추상대수학 등 다양한 분야에서 활용되며, 라플라스 연산자, 델 연산자 등이 예시로 제시된다.

더 읽어볼만한 페이지

미분 연산자 - 기울기 (벡터)
기울기(벡터)는 스칼라장의 특정 지점에서 값이 가장 빠르게 증가하는 방향과 변화율을 나타내는 벡터로, 함수의 등위면에 수직이며 크기는 해당 방향의 변화율을 나타내고, 스칼라 함수의 각 성분에 대한 편미분으로 구성되며 나블라 연산자로 표현된다.
미분 연산자 - 델 (연산자)
델 연산자는 3차원 유클리드 공간에서 편미분 연산자를 항으로 하는 벡터로 정의되며, 기울기, 발산, 회전, 라플라시안 등 다양한 연산을 표현하는 데 사용되며 전자기학, 유체역학, 양자역학 등 다양한 분야에 응용된다.
연산자 이론 - 힐베르트 공간
힐베르트 공간은 내적 공간이면서 내적으로부터 유도된 거리 함수에 대해 완비 거리 공간을 이루는 공간으로, 다양한 함수 공간의 예시를 가지며 푸리에 해석, 양자역학 등 여러 분야에 응용된다.
연산자 이론 - C* 대수
C* 대수는 복소수 대합 대수와 복소수 바나흐 대수의 구조를 결합한 복소수 벡터 공간으로, 겔판트-나이마르크 정리에 따라 복소수 힐베르트 공간 위의 유계 선형 연산자 대수로 표현될 수 있으며, 함수해석학, 수리물리학, 양자역학 등 다양한 분야에서 활용된다.
다변수 미적분학 - 음함수와 양함수
음함수와 양함수는 함수의 표현 방식에 따른 분류로, 독립변수와 종속변수의 관계가 명시적으로 나타나는 경우를 양함수, 관계식이 한 식 안에 포함된 경우를 음함수라 하며, 음함수는 양함수로 표현하기 어렵거나 불가능한 경우가 있고, 음함수 미분법, 음함수 정리 등을 통해 여러 분야에서 활용된다.
다변수 미적분학 - 편평도
편평도는 아직 내용이 없어 정의를 내릴 수 없는 위키백과 페이지이다.

미분 연산자

2. 정의

매끄러운 다양체 $M$ 위의 두 매끄러운 벡터 다발 $E, F$ 가 주어졌을 때, $E$ 와 $F$ 의 매끄러운 단면들의 실수 벡터 공간 $\Gamma^\infty(E)$ 와 $\Gamma^\infty(F)$ 를 생각할 수 있다.

$E$ 와 $F$ 사이의 '''미분 연산자'''는 특정한 형태의 실수 선형 변환 $D\colon\Gamma^\infty(E)\to\Gamma^\infty(F)$ 이다. 미분 연산자는 다음과 같이 여러 방법으로 정의될 수 있다.

국소 좌표계에서, 미분 연산자는 다음과 같이 표현될 수 있다.

:

Pu(x)  = \sum_{|\alpha| = k} P^\alpha(x) \frac {\partial^\alpha u} {\partial x^{\alpha}} + \text{lower-order terms}

여기서 각 다중 지표 α에 대해,

P^\alpha(x):E \to F

는 다발 사상이며, 지표 α에 대해 대칭이다.

함수 공간 $\mathcal{F}_1$ 에서 다른 함수 공간 $\mathcal{F}_2$ 로의 사상 $A$ 가 존재하고, $u \in \mathcal{F}_1$ 의 상이 되는 함수 $f \in \mathcal{F}_2$ (즉 $f=A(u)$ )가 존재한다고 가정하면, '''미분 연산자'''는 $u$ 및 그 고계 미분에 의해 유한하게 생성되는 연산자를 말한다.

:

P(x,D)=\sum_

2. 1. 구체적 정의

임의의 국소 좌표계에서, 미분 연산자는 코쥘 접속과 벡터장의 합성으로 표현될 수 있다. 즉, 다음과 같은 꼴의 연산자들의 합으로 나타내어진다.^[1]:

s\nabla_{X_1}\nabla_{X_2}\cdots\nabla_{X_k}\colon\Gamma^\infty(E)\to\Gamma^\infty(F)

여기서

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

이러한 표현은 유일하지 않지만, 가능한 최소의

k

를 미분 연산자의 '''차수'''(degree^영어)라고 한다.

좀 더 일반적으로, ''E''와 ''F''가 다양체 ''X'' 위의 벡터 다발일 때, 선형 연산자

:

P: C^\infty(E) \to C^\infty(F)

는 국소 좌표에서 다음과 같이 나타낼 때 차수

k

의 미분 연산자이다.

:

Pu(x)  = \sum_

2. 2. 제트 다발을 통한 정의

실수 선형 변환:

D\colon\Gamma^\infty(E)\to\Gamma^\infty(F)

가 주어졌을 때, 만약 다음과 같은 꼴의 분해가 존재한다면,

D

를 '''

k

차 미분 연산자'''라고 한다.

:

D=T\circ \mathrm j^k

여기서

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

미분 기하학과 대수 기하학에서는 두 벡터 다발 사이의 미분 연산자를 좌표에 독립적인 방식으로 표현하는 것이 편리하다. ''E''와 ''F''를 미분 가능 다양체 ''M'' 위의 두 벡터 다발이라고 할 때, 단면의 '''R''-선형 사상''P'' : Γ(''E'') → Γ(''F'')가 '''''k''차 선형 미분 연산자'''''인 것은 이 사상이 제트 다발 ''J''^''k''(''E'')를 통해 인수분해되는 경우이다.

다시 말해, 다음과 같은 벡터 다발의 선형 사상이 존재한다.

:

i_P: J^k(E) \to F

위 식은 다음과 같이 표현할 수 있다.

:

P = i_P\circ j^k

여기서

j^k

: Γ(''E'') → Γ(''J''^''k''(''E''))는 ''E''의 임의의 단면에 그 ''k''-제트를 대응시키는 연장이다.

이는 주어진 ''E''의 단면 ''s''에 대해, 점 ''x'' ∈ ''M''에서의 ''P''(''s'')의 값은 ''x''에서 ''s''의 ''k''차 미세한 거동에 의해 완전히 결정된다는 것을 의미한다. 특히, ''P''(''s'')(''x'')가 ''x''에서 ''s''의 싹에 의해 결정되며, 이는 미분 연산자가 국소적이라고 말함으로써 표현된다.

2. 3. 페트레 정리를 통한 정의

실수 벡터 공간 값의 층 사상

:

D\colon\Gamma^\infty(E)\to\Gamma^\infty(F)

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

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

그렇다면,

D

를 '''미분 연산자'''라고 한다.

이 정의가 다른 정의들과 동치라는 사실은 자명하지 않으며, '''페트레 정리'''(Peetre定理, Peetre’s theorem^영어)라고 한다.^[1] 페트레 정리는 미분 연산자의 국소적 성질을 이용하여 정의하는 방법을 제시한다. 즉, 임의의 (선형) 국소 연산자는 미분 연산자이다.

3. 성질

미분은 선형 연산이다. 즉, 함수 ''f''와 ''g'', 상수 ''a''에 대해 다음이 성립한다.

: $D(f+g) = (Df)+(Dg),$

: $D(af) = a(Df)$

함수 계수를 가진 ''D''에 대한 모든 다항식은 또한 미분 연산자이다. 우리는 또한 다음 규칙에 따라 미분 연산자를 합성할 수 있다.

: $(D_1 \circ D_2)(f) = D_1(D_2(f)).$

여기에는 몇 가지 주의가 필요하다. 먼저 연산자 ''D''₂의 모든 함수 계수는 ''D''₁의 적용이 요구하는 만큼 미분 가능해야 한다. 이러한 연산자의 환을 얻으려면 사용된 계수의 모든 차수에 대한 도함수를 가정해야 한다. 둘째, 이 환은 가환이 아니다. 연산자 ''gD''는 일반적으로 ''Dg''와 동일하지 않다. 예를 들어, 양자역학의 기본적인 관계는 다음과 같다.

: $Dx - xD = 1.$

반대로, 상수 계수를 가진 ''D''의 다항식인 연산자의 부분환은 가환이다. 이는 변환 불변 연산자로 구성된다.

미분 연산자는 시프트 정리를 따른다.

콤팩트 매끄러운 다양체 $M$ 위의 두 벡터 다발 $E,F$ 가 주어졌을 때, $E\to F$ 미분 연산자의 공간을 $\mathcal D(E,F)$ 로 표기하면, 모든 미분 연산자 $\Gamma^\infty(E)\to\Gamma^\infty(F)$ 는 유한한 차수를 가지며, 따라서 차수에 따라 자연스러운 오름 여과

: $\Gamma^\infty(E^*\otimes F)=\mathcal D_0(E,F)\subseteq\mathcal D_1(E,F)\subseteq\cdots\subseteq\mathcal D_\infty(E,F)=\mathcal D(E,F)$

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

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

: $\mathcal D_n(E',E'')\circ\mathcal D_m(E,E')\subseteq\mathcal D_{m+n}(E,E'')$

매끄러운 다양체 $M$ 위의 $\mathcal C^\infty(M,\mathbb C)\to\mathcal C^\infty(M,\mathbb C)$ 미분 연산자는 유사 미분 연산자이다.

3. 1. 등급 대수

콤팩트 매끄러운 다양체

M

위의 벡터 다발

E

가 주어졌을 때, 미분 연산자의 공간은 다음과 같은 등급 대수를 이룬다.^[8]

:

\operatorname{gr}\mathcal D(E)=\bigoplus_{i=0}^\infty\frac{\mathcal D_i(E)}{\mathcal D_{i-1}(E)}

(여기서 편의상

\mathcal D_{i-1}(E)=\{0\}

으로 간주한다.)

이 등급 대수는 다음 벡터 다발의 매끄러운 단면들의 공간과 등급 대수로서 동형이다.^[8]

:

\Gamma^\infty\left(\operatorname{Sym}(\mathrm TM)\otimes\operatorname{End}(E)\right)\cong\operatorname{gr}\mathcal D(E)

여기서

$\operatorname{Sym}(\mathrm TM)$ 은 각 점에서의 올이 접공간의 대칭 대수인 벡터 다발이다.
$\operatorname{End}(E)=E\otimes E^*$ 는 $E$ 위의 자기 벡터 다발 사상들로 구성된 벡터 다발이다.

이 동형 사상은 다음과 같이 주어진다.

:

X_1\otimes X_2\otimes\cdots\otimes X_k\otimes T\mapsto [T\nabla_{X_1}\nabla_{X_2}\cdots\nabla_{X_k}]\qquad\forall X_1,\dots,X_k\in\Gamma^\infty(\mathrm TM),\;T\in\Gamma^\infty(E\otimes E^*)

여기서

\nabla

는

E

위에 정의된 임의의 코쥘 접속이다.

3. 2. 주표상

여접다발 위에 정의되는 완전 대칭 다항식으로, 미분 연산자의 차수를 나타낸다. 대략 미분 연산자의 최고차항에서 편미분 연산자를 형식적인 변수

\partial_i\mapsto\xi_i

로 치환한 것이다.

구체적으로, 매끄러운 다양체

M

위의 두 매끄러운 벡터 다발

E,F\to X

사이의 미분 연산자

D\colon\Gamma^\infty(E)\to\Gamma^\infty(F)

를 생각하자. 임의의 매끄러운 단면

u\in\Gamma^\infty(E)

에 대하여, 국소 좌표계에서

D

가

:

D\colon u(x)\mapsto\sum_IP^I(x)\partial_Iu

의 꼴이라고 하자. 여기서

I

는 다중지표이고,

D^I\colon E\to F

는 다발 사상이다. 여기서

D^I

는 다중지표의 성분들의 순열에 무관하다.

D

의 차수

:

k=\max\{|I|\colon P^I\ne0\}

가 유한하다고 하자. 그렇다면 미분 연산자

D

의 '''주표상'''

:

\sigma_D\in\Gamma^\infty\left(\operatorname{Sym}^k(\mathrm TX)\otimes E^*\otimes F\right)

은

(k,0)

차 완전 대칭 텐서장이며, 다음과 같다.

:

\sigma_D=\sum_

4. 표기법

변수 ''x''에 대한 1차 미분을 나타내는 일반적인 표기법은 다음과 같다.:

{d \over dx}

,

D

,

D_x

,

\partial_x

''n''차 미분을 나타낼 때는 다음 표기법을 사용한다.

:

{d^n \over dx^n}

,

D^n

,

D^n_x

,

\partial_x^n

함수 ''f''의 도함수는 때때로 다음과 같이 표현된다.

:

[f(x)]'

:

f'(x).

''D'' 표기법은 올리버 헤비사이드가 미분 방정식 연구에서 사용한 것으로 알려져 있다. 그는 다음과 같은 형태의 미분 연산자를 고려했다.

:

\sum_{k=0}^n c_k D^k

자주 사용되는 미분 연산자 중 하나는 라플라스 연산자이며, 다음과 같이 정의된다.

:

\Delta = \nabla^2 = \sum_{k=1}^n \frac{\partial^2}{\partial x_k^2}

세타 연산자^[3]는 다음과 같이 정의된다.

:

\Theta = z {d \over dz}

이 연산자는 고유 함수가 ''z''의 단항식이기 때문에 동차성 연산자라고도 불린다.

:

\Theta (z^k) = k z^k,\quad k=0,1,2,\dots

''n''개 변수의 동차성 연산자는 다음과 같다.

:

\Theta = \sum_{k=1}^n x_k \frac{\partial}{\partial x_k}

일반적으로 미분 연산자의 인자는 연산자 오른쪽에 위치한다. 하지만 다른 표기법도 사용되는데, 연산자를 왼쪽에 있는 함수와 오른쪽에 있는 함수에 적용한 결과, 그리고 양쪽에 적용했을 때의 차이를 화살표로 나타낸다.

:

f \overleftarrow{\partial_x} g = g \cdot \partial_x f

:

f \overrightarrow{\partial_x} g = f \cdot \partial_x g

:

f \overleftrightarrow{\partial_x} g = f \cdot \partial_x g - g \cdot \partial_x f

이러한 양방향 화살표 표기법은 양자 역학에서 확률 전류를 설명하는 데 사용된다.

5. 예시

미분 연산자에는 여러 종류가 있으며, 각각 다른 특징과 응용 분야를 가진다. 몇 가지 예는 다음과 같다.

실수선 위의 미분 연산자: 다음과 같은 형태를 가진다.

:

D=\sum_{n=0}^\infty f_n(x)\frac{\mathrm d^n}{\mathrm dx^n}

타원형 미분 연산자: 기호가 가역적이며, 콤팩트 다양체에서 프레드홀름 연산자이다. 유한 차원의 커널과 코커널을 갖는다.^[1]
쌍곡형/포물형 편미분 방정식의 특성선: 쌍곡형 편미분 방정식과 포물형 편미분 방정식 연구에서 주 기호의 영점은 방정식의 특성선에 해당한다.^[1]
복소변수 함수: 복소변수 ''z'' = ''x'' + ''i'' ''y''의 정칙 함수를 연구할 때, 복소 함수는 두 개의 실변수 ''x'', ''y''의 함수로 간주될 수 있다. 이때 비르팅거 미분이 사용된다.^[1]
키랄 미분 연산자: [https://ncatlab.org/nlab/show/chiral+differential+operator] 참조.^[1]

5. 1. 벡터 연산자

유클리드 공간

\mathbb R^n

위의 실수 값 매끄러운 함수는 자명한 벡터 다발

\mathbb R\times\mathbb R^n

의 매끄러운 단면이며, 벡터장은 자명한 벡터 다발

\mathbb R^n\times\mathbb R^n=\operatorname T\mathbb R^n

의 매끄러운 단면이다. 이 경우, 매끄러운 함수의 기울기, 발산 및 회전은 모두 1차 미분 연산자이다.

기울기

:

\operatorname{grad}\colon\mathcal C^\infty(\mathbb R^n,\mathbb R)\to\mathcal C^\infty(\mathbb R^n,\mathbb R^n)

발산

:

\operatorname{div}\colon\mathcal C^\infty(\mathbb R^n,\mathbb R^n)\to\mathcal C^\infty(\mathbb R^n,\mathbb R)

회전

:

\operatorname{curl}\colon\mathcal C^\infty(\mathbb R^n,\mathbb R^n)\to\mathcal C^\infty(\mathbb R^n,\mathbb R^n)

나블라 미분 연산자 ∇는 나블라 연산자라고도 불리며, 중요한 벡터 미분 연산자이다. 물리학에서 빈번하게, 맥스웰 방정식의 미분 형태와 같은 곳에 나타난다. 삼차원 직교 좌표계에서 ∇는

:

\nabla = \mathbf{\hat{x}} {\partial \over \partial x}  + \mathbf{\hat{y}} {\partial \over \partial y} + \mathbf{\hat{z}} {\partial \over \partial z}

로 정의된다. ∇는 다양한 대상의 경사, 회전, 발산 및 라플라시안 계산에 사용된다.

5. 2. 라플라스 연산자

준 리만 다양체

(M,g)

위에는 2차 미분 연산자인 라플라스 연산자

:

\Delta\colon C^\infty(X)\to C^\infty(X)

가 존재하며, 그 주표상은

:

\sigma_\Delta(\xi)=g^{-1}(\xi,\xi)

이다. 만약

M

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

슈투름-리우빌 연산자는 잘 알려진 형식 자기 수반 연산자이다. 이 2계 선형 미분 연산자 ''L''은 다음과 같은 형태로 쓸 수 있다.

:

Lu = -(pu')'+qu=-(pu''+p'u')+qu=-pu''-p'u'+qu=(-p) D^2 u +(-p') D u + (q)u.

이 성질은 위의 형식 수반의 정의를 사용하여 증명할 수 있다.

:

\begin{align}L^*u & {} = (-1)^2 D^2 [(-p)u] + (-1)^1 D [(-p')u] + (-1)^0 (qu) \\& {} = -D^2(pu) + D(p'u)+qu \\& {} = -(pu)''+(p'u)'+qu \\& {} = -p''u-2p'u'-pu''+p''u+p'u'+qu \\& {} = -p'u'-pu''+qu \\& {} = -(pu')'+qu \\& {} = Lu\end{align}

이 연산자는 슈투름-리우빌 이론에서 중심적인 역할을 하며, 여기에서는 이 연산자의 고유 함수 (고유 벡터에 해당)가 고려된다.

5. 3. 디랙 연산자

스핀 다양체

M

위의 1차 미분 연산자인 디랙 연산자는 다음과 같다.

:

D=\gamma^i\nabla_i\colon SM\to SM

이 연산자의 주표상은 다음과 같다.

:

\sigma_D(\xi)=\gamma^i\xi_i

여기서

SM

은

M

의 스피너 다발이고,

\gamma^i

는 디랙 행렬이다. 디랙 연산자는 항상 약타원형 미분 연산자이다.

6. 역사

미분 연산자를 (단순히 함수의 도함수를 나타내는 기호가 아니라) 스스로 존재하는 대상으로 여기는 것은 루이 프랑수아 앙투안 아르보가스트(Louis François Antoine Arbogast^프랑스어, 1759~1803)의 1800년 저서^[9]^[10]가 최초라고 여겨진다.

야크 페트레(Jaak Peetre^et, 1935~)는 페트레 정리를 증명하였다.^[2]

7. 응용

물리 과학에서 라플라스 연산자와 같은 연산자는 편미분 방정식을 풀거나 설정하는 데 중요한 역할을 한다. 미분 위상 기하학에서 외미분과 리 미분 연산자는 내재적인 의미를 갖는다.^[1]

추상대수학에서 derivation (abstract algebra)^영어 개념은 미적분학을 사용하지 않는 미분 연산자의 일반화를 가능하게 한다. 이러한 일반화는 대수 기하학이나 가환대수학에서 자주 다루어진다.

복소 변수에 관한 정칙 함수 연구에서, 복소 함수를 두 개의 실수 변수 함수로 생각할 수 있다. 이는 비르팅거 미분 구성에 이용될 수 있다. 이 접근법은 다변수 복소 함수와 분해형 복소 변수 함수 연구에도 사용된다.

7. 1. 물리학

물리 과학 응용 분야에서 라플라스 연산자와 같은 연산자는 편미분 방정식을 풀거나 설정하는 데 중요한 역할을 한다.

7. 2. 미분 위상수학

미분 위상 기하학에서 외미분과 리 미분 연산자는 내재적인 의미를 갖는다.^[1]

7. 3. 추상대수학

추상대수학에서 derivation (abstract algebra)^영어 개념은 미적분학을 사용하지 않는 미분 연산자의 일반화를 가능하게 한다. 이러한 일반화는 대수 기하학이나 가환대수학에서 자주 다루어진다.

7. 4. 복소해석학

복소 변수 에 관한 정칙 함수 연구에서, 복소 함수를 두 개의 실수 변수 의 함수로 생각할 수 있다. 이는 비르팅거 미분 () 구성에 이용될 수 있다. 이 접근법은 다변수 복소 함수와 분해형 복소 motor variable|변수 함수^영어 연구에도 사용된다.

8. 다항식 계수 미분 연산자 환

환 을 계수로 하고, 및 를 변수로 하는 비가환 다항식환 의 양쪽 아이디얼 를 로 생성되는 것으로 한다. 즉, 다음과 같다.

: $I = ([D,X]-1) = (DX-XD-1)$

이 때, 잉여환 를 위의 일변수 다항식 계수 미분 작용소환이라고 부른다. 이 환은 비가환 단순환이다. 그 임의의 원소는 형태의 단항식의 -선형 결합으로 유일하게 쓸 수 있다. 이로 인해, 이 환 위에서 다항식의 유클리드 나눗셈에 대응하는 연산이 보장된다.

위의 (표준 미분에 대한) 미분 가군은 위의 가군과 동일시할 수 있다.

환 을 계수로 하고, 및 을 변수로 하는 -변수의 비가환 다항식 환 의 아이디얼 를 다음과 같이 정의한다.

: $I=\left(\begin{matrix} [D_i, X_j]-\delta_{i,j},\\[2pt] [D_i, D_j],\\[2pt] [X_i, X_j] \end{matrix}\Bigg|\; 1\le i,j\le n\right)$

여기서 는 크로네커 델타이다. 이때, 잉여환 를 -변수의 다항식 계수 미분 작용소 환이라고 부른다. 이 환은 비가환 단순 환이다. 임의의 원소는 형태의 단항식의 -선형 결합으로 유일하게 쓸 수 있다. (는 로 표현된다.)

9. 좌표에 의존하지 않는 기술

미분 기하학과 대수 기하학에서 두 벡터 다발 사이의 미분 연산자를 좌표에 독립적인 방식으로 표현하는 것이 종종 편리하다. ''E''와 ''F''를 미분 가능 다양체 ''M'' 위의 두 벡터 다발이라고 하자. 단면의 '''R''-선형 사상 ''P'' : Γ(''E'') → Γ(''F'')는 이 사상이 제트 다발 ''J''^''k''(''E'')를 통해 인수분해될 때 '''''k''차 선형 미분 연산자''''''라고 한다.

다시 말해, 다음과 같은 벡터 다발의 선형 사상이 존재한다.

: $i_P: J^k(E) \to F$

그리고 다음이 성립한다.

: $P = i_P\circ j^k$

여기서 $j^k$ 는 ''E''의 임의의 단면에 그 ''k''-제트를 대응시키는 연장이다.

이는 주어진 ''E''의 단면 ''s''에 대해, 점 ''x'' ∈ ''M''에서의 ''P''(''s'')의 값은 ''x''에서 ''s''의 ''k''차 미세한 거동에 의해 완전히 결정된다는 것을 의미한다. 특히, 이는 ''P''(''s'')(''x'')가 ''x''에서 ''s''의 싹에 의해 결정된다는 것을 의미하며, 이는 미분 연산자가 국소적이라고 말함으로써 표현된다. 기본적인 결과는 반대도 참임을 보여주는 페트리 정리이다. 즉, 모든 (선형) 국소 연산자는 미분 연산자이다.

10. 관련 개념

(이전 출력에서 원본 소스에 내용이 없어 빈칸으로 출력되었으므로, 수정할 내용이 없습니다. 따라서 이전과 동일하게 빈칸으로 출력합니다.)

10. 1. 형식적 수반 연산자

선형 미분 연산자

T

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

:

Tu = \sum_{k=0}^n a_k(x) D^k u

이 연산자의 수반 연산자는 다음을 만족하는 연산자

T^*

로 정의된다.

:

\langle Tu,v \rangle = \langle u, T^*v \rangle

여기서

\langle\cdot,\cdot\rangle

는 스칼라 곱 또는 내적을 나타낸다. 이 정의는 스칼라 곱 (또는 내적)의 정의에 따라 달라진다.

제곱 적분 가능 함수 공간, 즉 실수 구간에서 정의된 공간에서, 스칼라 곱은 다음과 같이 정의된다.

:

\langle f, g \rangle = \int_a^b  \overline{f(x)} \,g(x) \,dx ,

여기서 ''f''(''x'') 위에 있는 가로줄은 ''f''(''x'')의 복소 켤레를 나타낸다. 만약 ''f'' 또는 ''g''가

x \to a

및

x \to b

에서 0이 된다는 조건을 추가하면, 다음과 같이 ''T''의 수반 연산자를 정의할 수 있다.

:

T^*u = \sum_{k=0}^n (-1)^k D^k \left[ \overline{a_k(x)} u \right].

이 공식은 스칼라 곱의 정의에 명시적으로 의존하지 않는다. 따라서 때때로 수반 연산자의 정의로 선택된다.

T^*

가 이 공식에 따라 정의될 때, ''T''의 '''형식적 수반 연산자'''라고 부른다.

(형식적) '''자기 수반''' 연산자는 자체 (형식적) 수반 연산자와 동일한 연산자이다.

10. 2. 자기 수반 연산자

(형식) '''자기 수반 작용소'''란 자신의 (형식) 수반 작용소와 같은 작용소를 말한다.^[4]

슈투름-리우빌 연산자는 잘 알려진 형식 자기 수반 연산자의 예시이다. 이 2계 선형 미분 연산자 ''L''은 다음과 같은 형태로 쓸 수 있다.^[4]

:

Lu = -(pu')'+qu=-(pu''+p'u')+qu=-pu''-p'u'+qu=(-p) D^2 u +(-p') D u + (q)u.

이 성질은 위의 형식 수반의 정의를 사용하여 증명할 수 있다.^[4]

:

\begin{align}L^*u & {} = (-1)^2 D^2 [(-p)u] + (-1)^1 D [(-p')u] + (-1)^0 (qu) \\& {} = -D^2(pu) + D(p'u)+qu \\& {} = -(pu)''+(p'u)'+qu \\& {} = -p''u-2p'u'-pu''+p''u+p'u'+qu \\& {} = -p'u'-pu''+qu \\& {} = -(pu')'+qu \\& {} = Lu\end{align}

이 연산자는 슈투름-리우빌 이론에서 중심적인 역할을 하며, 여기에서는 이 연산자의 고유 함수 (고유 벡터에 해당)가 고려된다.

11. 같이 보기

슈투름-리우빌 이론
나블라 연산자

참조

_[1] Harvnb
_[2] 서적 A Boole Anthology: Recent and classical studies in the logic of George Boole https://books.google[...]
_[3] 웹사이트 Theta Operator http://mathworld.wol[...] 2009-06-12
_[4] 문서
_[5] 간행물 Deformation quantization of Poisson algebras 1992
_[6] Harvnb
_[7] 웹사이트 Theta Operator
_[8] 서적 Heat kernels and Dirac operators http://www.springer.[...] Springer-Verlag 1992
_[9] 서적 Du calcul des dérivations https://archive.org/[...] de l’imprimerie de Levrault, frères
_[10] 서적 A Boole anthology: recent and classical studies in the logic of George Boole Springer-Verlag 2000

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com