본문으로 이동

타원형 미분 연산자

위키백과, 우리 모두의 백과사전.

해석학에서 타원형 미분 연산자(楕圓型微分演算子, 영어: elliptic differential operator)는 라플라스형 연산자와 유사한 일종의 양의 정부호성 조건을 만족시키는 짝수차 미분 연산자이다.

정의

[편집]

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

만약 유한 차수 의 미분 작용소

가 다음 조건을 만족시킨다면, 타원형 미분 연산자라고 한다.

여기서 미분 연산자 주표상이다.

모든 타원형 미분 연산자는 짝수 차수이다. (홀수 차수일 경우 가 된다.)

타원형 미분 연산자 로 정의되는 선형 편미분 방정식, 즉

의 꼴의 선형 편미분 방정식타원형 편미분 방정식(楕圓型偏微分方程式, 영어: elliptic partial differential equation)이라고 한다.

약타원형 연산자

[편집]

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

만약 모든 에 대하여 실수 벡터 공간동형 사상이라면, 약타원형 미분 연산자(弱楕圓型微分演算子, 영어: weakly elliptic operator)라고 한다. 유한 개의 약타원형 미분 연산자의 합성은 약타원형 미분 연산자이다.

모든 타원형 미분 연산자는 약타원형 미분 연산자이다.

성질

[편집]

차수

[편집]

2차원 이상 매끄러운 다양체 위의 타원형 미분 연산자는 항상 짝수 차수이다.

증명:

일 때, 차원 다양체의 임의의 점에서, 차 미분 연산자 주표상동차 다항식

이라고 하자. 그렇다면,

를 생각하자. 만약 이라면,

이므로 는 타원형 미분 연산자가 아니다. 만약 이라면,

다항식이다. 가 홀수라면, 이 다항식은 항상 근

을 가진다. 그렇다면

이므로 는 타원형 미분 연산자가 아니다.

반면, 1차원 매끄러운 다양체 (= 매끄러운 곡선) 위에서는 임의의 홀수 차수의 타원형 미분 연산자가 존재한다. 그러나 이 경우는 상미분 방정식에 해당하므로, 자명한 경우로 취급한다.

정칙성

[편집]

리만 다양체 위의 매끄러운 벡터 다발 위의 자기 수반 타원형 미분 연산자

에 대하여, 다음 두 조건이 성립한다.

  • . 다시 말해, 타원형 연산자로 정의된 동차 편미분 방정식 은 유한 개의 일차 독립 해를 갖는다.

이를 타원형 정칙성 정리(영어: elliptic regularity theorem)라고 한다.

준타원성

[편집]

(매끄러운 함수 계수의) 모든 타원형 미분 연산자는 준타원형 미분 연산자이다. 그러나 그 역은 일반적으로 성립하지 않는다.

[편집]

리만 다양체 위의 라플라스 연산자는 2차 타원형 미분 연산자이며, 그 상수는 1이다. 마찬가지로, 보다 일반적으로 리만 다양체 위의 라플라스형 연산자는 상수 1의 타원형 미분 연산자이다.

리만 다양체 위의 내적을 갖춘 매끄러운 벡터 다발 위의 0차 미분 연산자 가 타원형 미분 연산자가 될 필요 충분 조건은 모든 올에서 이차 형식 양의 정부호 이차 형식이며, 또한 양의 정부호성이 다음과 같이 균등한 것이다.

즉, 고윳값 가운데 최솟값을 라고 하면,

이어야 한다. 이는 연속 함수이므로, 만약 콤팩트 공간이라면 이는 올별 양의 정부호성에 의하여 자동적으로 함의된다.

1차원 다양체 위의 타원형 미분 연산자

[편집]

가 1차원 매끄러운 다양체(즉, 매끄러운 곡선)이라고 하고, 그 좌표를 라고 하자. 그 위의 (자명한 1차원 벡터 다발의) 차 미분 연산자는

의 꼴이다. 이 미분 연산자가 차 타원형 미분 연산자일 필요 충분 조건은 임의의 에 대하여 인 것이다.

같이 보기

[편집]

참고 문헌

[편집]

외부 링크

[편집]