리 미분

미분기하학에서 '''리 미분'''(Lie微分, )은 매끄러운 다양체 위에서 아핀 접속 없이 정의될 수 있는, 텐서장의 미분 연산이다. 기호는 . 
함수, 텐서장, 형식은 벡터장와 관련하여 구별될 수 있다. 가 텐서장이고 가 벡터장인 경우 에 대한 의 리 미분은 과 같이 표시된다. 미분 연산자 는 기본 다양체의 텐서장 대수의 미분이다.
리 미분은 축약과 미분 형식에 대한 외미분과 교환한다.
미분 기하학에서 미분을 취하는 많은 개념이 있지만 미분 되는 표현이 함수 또는 스칼라장일 때 모두 같다. 따라서 이 경우 "리"이라는 단어는 삭제되고 단순히 함수의 미분에 대해 말한다.
다른 벡터장 ''''에 대한 벡터장 ''''의 리 미분은 ''''와 ''''의 "리괄호"로 알려져 있으며 종종  대신 ''''로 표시된다. 벡터장의 공간은 이 리 괄호와 관련하여 리 대수를 형성한다. 리 미분은 항등식으로 인해 이 리 대수의 무한 차원 리 대수 표현을 구성한다.
: 
이는 모든 벡터장 , ''''와 모든 텐서장 에 유효하다.
벡터장를 ''''에서 흐름의 무한소 생성원들 (즉, 1차원 미분동형사상 군)으로 고려할 때, 리 미분은 군 표현과 관련된 무한소 표현으로서의 리 대수 표현과 비슷하게 텐서장에서 미분동형사상 군 표현의 미분이다. 리 군론.
스피너 장, 접속이 있는 올다발과 벡터 값 미분 형식에 대한 일반화가 존재한다.
벡터장에 대한 텐서장의 미분을 정의하려는 '순진한' 시도는 각 점에서 벡터장에 대한 텐서장의 성분 함수의 방향 도함수를 취하는 것이다. 그러나 이 정의는 좌표 조각의 선택에 따라 달라지기 때문에 바람직하지 않다. 예를 들어 극좌표 또는 구면 좌표로 표현된 순진한 도함수는 데카르트 좌표의 구성 요소의 순진한 도함수와 다르다. 추상적 다양체에서 그러한 정의는 무의미하고 잘못 정의된다. 미분기하학에는 텐서장의 미분에 대한 세 가지 주요한 좌표 독립 개념이 있다: 리 미분, 접속에 의한 미분 그리고 완전 반대칭 공변 텐서, 즉, 미분 형식의 외미분. 리 미분과 달리 접속에 의한 미분은 접벡터에 대한 텐서장의 미분이 해당 접벡터를 벡터장으로 확장하는 방법이 지정되지 않은 경우에도 잘 정의된다는 것이다. 그러나 다양체에서 접속이라는 기하학적 구조를 추가로 선택해야 한다. 이에 반해 리 미분을 취하는 경우에는 다양체에 추가적인 구조가 필요하지 않다. 하지만, 접벡터 하나에 대한 텐서장의 리 미분에 대해 말하는 것이 불가능하다. 왜냐하면, ''''에서 벡터장 ''''에 대한 텐서장의 리 도함수의 값은 ''''의 근방에 있는 ''''의 값에 의존하기 때문이다. 마지막으로, 미분 형식의 외미분은 추가 선택이 필요하지 않으며 잘 정의된 미분 형식(함수 포함)의 미분일 뿐이다.
리 미분은 임의의 텐서장 을, 임의의 벡터장 방향으로 미분하는 연산이다. 이는 추상적으로 일련의 공리들을 통해 정의될 수 있으며, 또 대신 구체적으로 국소 좌표계를 통해 정의될 수도 있다.
=== 공리적 정의 ===
매끄러운 다양체  위에 매끄러운 벡터장 가 주어졌다고 하자. 그렇다면 방향으로의 '''리 미분'''
:
:
은 임의의 매끄러운 차 텐서장 에 대하여 작용하여 매끄러운 차 텐서장 를 만드는 선형 변환이며, 다음 공리들을 만족시키는 유일한 연산이다.
* (함수의 리 미분) 함수((0,0)차 텐서) 에 대하여, 리 미분은 벡터장의 1차 미분 연산자로의 작용과 같다.
*:
* (함수 외미분과의 호환) 함수 에 대하여, 리 미분은 외미분과 가환한다.
*:
* (텐서곱과의 호환) 리 미분은 텐서곱에 대하여 곱 규칙을 따른다.
*:
* (축약과의 호환) 리 미분은 축약에 대하여 곱 규칙을 따른다. 즉, 임의의 벡터장 와 차 텐서장 에 대하여 (),
*:
=== 좌표 표현 ===
아인슈타인 표기법을 사용하자. 국소 좌표계 를 잡았을 때, 벡터  방향의, 차 텐서 의 '''리 미분'''은 다음과 같다.
:
또한, 비틀림이 없는 아핀 접속 의 경우, 위의 편미분을 공변 미분으로 치환하여도 상관없다. 리 미분은 아핀 접속에 의존하지 않는다.
:
=== 스피너장의 리 미분 ===
스핀 구조를 갖는 리만 다양체 가 주어졌다고 하자. 그 위의 스피너 다발 은 복소수 차원의 벡터 다발이다.
그렇다면, 스피너장 의 '''리 미분'''은 다음과 같다.
:
여기서
* 는 벡터장(=(1,0)차 텐서장) 에 대응하는 1차 미분 형식(=(0,1)차 텐서장)이다.
* 는 1차 미분 형식의 외미분이다.
* 은 클리퍼드 대수의 곱이다.
국소 좌표계로 표기하면 이는 다음과 같다.
:
여기서
* 는 접다발 의 지표이다.
* 는 스피너 다발 의 (복소수 성분) 지표이다.
* 는 디랙 행렬이다.
스피너장의 리 미분은 리만 다양체의 리만 계량에 의존하지 않는다.
만약 가 킬링 벡터장이라면 (즉, ), 이는 다음과 같이 더 간단해진다.
:
다음 데이터가 주어졌다고 하자.
* 매끄러운 다양체 와  및 그 접다발 , 
* 매끄러운 함수 
*  위의 벡터장 
*  위의 벡터장 
그렇다면, 의,  방향의 '''일반화 리 미분'''은 다음과 같은 매끄러운 함수이다.
:
:
이는 다음 조건을 만족시킨다.
:
:
즉, 다음과 같은 가환 그림이 성립한다.
:
만약 와 의 흐름이 각각
:
:
:
:
라면, 다음이 성립한다.
:
=== 올다발의 경우 ===
특히, 올다발 가 주어졌으며, 와 가 둘 다 매끄러운 다양체이며, 는 매끄러운 함수이며, 그 모든 올들이 서로 미분 동형인 매끄러운 다양체라고 하자. 또한, 그 단면 이 주어졌다고 하자.
또한, 벡터장 와 가 주어졌다고 하자. 그렇다면, 리 미분
:
를 정의할 수 있으며, 이는 올다발 의 단면이다.
추가로, 만약 다음이 성립한다고 하자.
:
즉, 다음 가환 그림이 성립한다고 하자.
:
이 조건이 성립하는 벡터장 를 '''사영 가능 벡터장'''()이라고 한다. 이러한 가 주어지면 는
:
로 재구성할 수 있다. 따라서, 이 경우 를 로 표기할 수 있다.
그렇다면, 는 사실 수직 벡터 다발 에 속함을 보일 수 있다.
:
=== 벡터 다발의 경우 ===
특히, 위 경우에서 가 벡터 다발이라고 하자. 그렇다면, 그 수직 벡터 다발은
:
이며, 이 경우
:
의 꼴이다. 이 경우, 는 의 단면이며, 이를 의 '''리 미분'''이라고 한다.
=== 미분 동형 사상과의 관계 ===
리 미분의 개념은 벡터장을 무한소 미분 동형 사상으로 간주하여 유도할 수 있다.
구체적으로, 매끄러운 다양체 위에 리 군 가 매끄럽게 작용한다고 하자.
:
:
:
:
그렇다면, 벡터장 를 다음과 같이 정의할 수 있다.
:
:
이제, 임의의 벡터장  및 매끄러운 함수 에 대하여 밂
:
를 정의할 수 있다. 이 경우, 다음과 같은 극한을 계산할 수 있다.
:
::
::
::
마찬가지로, 임의의 1차 미분 형식 에 대하여, 당김
:
을 정의할 수 있으며, 다음과 같은 극한을 계산할 수 있다.
:
::
::
::
=== 함수의 리 미분 ===
결론적으로, 함수 에 대하여, 리 미분은 그냥 단순한 미분이다. 즉,
:
이다. 다양체에서 함수 의 도함수 개념은 가 정의되지 않아서 차이의 몫 이 정의 될 수 없기 때문에 문제가 된다.
점 에서 벡터장 에 대해 함수 의 리 미분은 다음 함수이다:
: 
여기서 는 벡터장 에 의해 정의된 흐름이 에서 점 를 사상하는 점이다.  근방에서, 는 에 독립인 1차 연립 미분 방정식
: 
의 유일한 해이다. 여기서, 
로 놓으면 방향 도함수로 함수의 리 미분을 식별한다
=== 벡터의 리 미분 ===
벡터장의 경우, 리 미분은 리 괄호가 된다.
:
이 경우, 야코비 항등식에 따라 리 미분은 리 괄호에 대해 곱 규칙을 따른다.
:
:
:리괄호는 다음과 같이 두 가지 방식으로 정의 된다:
=== 텐서장의 리 미분 ===
==== 흐름 측면에서의 정의 ====
리 미분은 흐름으로 인해 공간이 바뀌면서 텐서장이 바뀌는 비율이다.
공식적으로, 매끄러운 다양체 에 미분 가능한(시간 독립적인) 벡터장 이 주어져 있고   가 해당 국소 흐름이라 하자. 가 각 에 대한 국소 미분동형사상이므로, 이는 텐서장의 당김을 발생시킨다. 공변 텐서의 경우 당김 사상의 다중 선형 확장일 뿐이다.
: 
반공변 텐서의 경우 미분 의 역함수를 확장한다.
: 
모든 에 대해, 결과적으로 들과 같은 종류인 텐서장 가 있다.
만약에 가  또는 -형 텐서장이면, 벡터장 를 따른 의 리 미분 은 점 에서 다음과 같이 되도록 정의된다:
: 
결과 텐서장 은 들와 같은 유형이다.
더 일반적으로,  라는 의미에서  벡터장 를 적분하는 미분동형사상들의 모든 매끄러운 1-매개변수 족 에 대해
=== 미분 형식의 리 미분 ===
차 미분 형식 는 차 텐서로 보고 그 리 미분을 정의할 수 있다. 이 경우, 리 미분은 다음과 같이 주어진다. 이 공식을 '''카르탕 마법 공식'''(Cartan魔法公式, )이라고 한다.
:
여기서 는 내부곱()을 나타낸다.
:
미분 형식에 대하여, 리 미분은 다음과 같은 항등식들을 만족시킨다.
:
:
:
=== 대칭 (0,2)차 텐서장 ===
대칭 (0,2)차 텐서장  (예를 들어, 리만 계량)의 경우,
:
이다.
특히, 만약 리만 계량 로 유도되는 아핀 접속을 사용할 경우, 이며, 따라서
:
이다. 위 표현이 0이 되게 하는 벡터장 를 의 킬링 벡터장이라고 한다.
1931년에 폴란드의 수학자 브와디스와프 실레보진스키가 도입하였다. 다비트 판 단지흐(, 1900~1959)가 1932년에 소푸스 리의 이름을 따 이 연산을 "리 미분"()이라고 명명하였다. 판 단치흐는 이 연산을 로 표기하였다.
이와 독자적으로, 벨기에의 물리학자 레옹 로젠펠드(, 1904~1974)는 일반 상대성이론을 다루는 동안 이와 유사한 연산을 도입하였다. 로젠펠드는 이를 "국소 변화"()이라고 불렀으며, 로 표기하였는데, 이는 오늘날의 와 사실상 같다.
1963년에 앙드레 리크네로비츠()가 스피너장의, 킬링 벡터장 방향의 리 미분을 정의하였고, 이후 1972년에 이베트 코스만슈와르즈바크()가 이를 임의의 벡터장 방향에 대하여 일반화하였다.
* 측지선
* 킬링 벡터장
* 
* 
* 
* 
* 
* 
분류:미분기하학
분류:미분 연산자
분류:미분의 일반화