단열 정리

단열 정리()는 양자역학의 개념이다. 막스 보른과 블라디미르 포크(1928)가 제시한 원래의 형태는 다음과 같다.

더 간단히 말하면 서서히 변화하는 외부 조건에 놓인 양자역학적 계는 그 함수 형태를 적응시키지만, 빠르게 변화하는 조건에서는 함수 형태가 적응할 시간이 부족하여 공간적 확률 밀도가 변하지 않은 채로 유지된다.

 단열 진자 

1911년 솔베이 회의에서 에인슈타인은 원자 진동자에 대해 라는 양자 가설을 강연했다. 에인슈타인의 강연 후, 헨드릭 로런츠는 고전적으로 두 손가락 사이에 줄을 잡고 아래로 미끄러뜨려 단진자의 길이를 줄이면, 진자의 에너지가 길어짐에 따라 부드럽게 변할 것이라고 언급했다. 이는 거시적 계에서 양자 가설이 타당하지 않음을 보여주는 듯하며, 거시적 계가 양자 가설을 따르지 않는다면 거시적 계가 미시적으로 변함에 따라 양자 가설이 무효화될 것처럼 보였다. 에인슈타인은 에너지 와 주파수 가 모두 변하더라도 그 비율인 는 여전히 보존되므로 양자 가설을 지킬 수 있다고 대답했다.

회의 전, 에인슈타인은 파울 에렌페스트가 쓴 단열 가설에 관한 논문을 읽은 상태였다.EHRENFEST, P. (1911): ``Welche Züge der Lichtquantenhypothese spielen in der Theorie der Wärmestrahlung eine wesentliche Rolle? Annalen의 Physik 36, pp. 91–118. Reprinted in KLEIN (1959), pp. 185–212. 그가 이 논문을 읽었다는 사실은 회의 전에 미켈레 베소에게 보낸 편지에서 이를 언급했기 때문에 알 수 있다.

 비단열 과정 vs. 단열 과정 
+ 비교 비단열 (Diabatic) 단열 (Adiabatic) 빠르게 변화하는 조건 때문에 계가 과정 중에 구성을 적응시키지 못하며, 따라서 공간적 확률 밀도가 변하지 않는다. 일반적으로 초기 상태와 동일한 함수 형태를 갖는 최종 해밀토니언의 고유 상태는 존재하지 않는다. 계는 초기 확률 밀도를 재현하도록 합산된 상태들의 선형 결합 상태로 끝난다. 서서히 변화하는 조건 덕분에 계가 구성을 적응시킬 수 있으며, 따라서 확률 밀도가 과정에 의해 수정된다. 계가 초기 해밀토니언의 고유 상태에서 시작한다면, 최종 해밀토니언의 대응하는 고유 상태에서 끝난다.

어떤 초기 시간 에 양자역학적 계는 해밀토니언 에 의해 주어지는 에너지를 가지며, 계는 로 표시된 의 고유 상태에 있다. 변화하는 조건은 해밀토니언을 연속적인 방식으로 수정하여, 나중 시간 에 최종 해밀토니언 을 결과로 낸다. 계는 시간 의존 슈뢰딩거 방정식에 따라 진화하여 최종 상태 에 도달한다. 단열 정리는 계에 가해지는 수정이 수정이 일어나는 시간 에 결정적으로 의존한다고 서술한다.

진정한 단열 과정을 위해서는 가 요구된다. 이 경우 최종 상태 은 수정된 구성을 가진 최종 해밀토니언 의 고유 상태가 된다.

주어진 변화가 단열 과정에 얼마나 근사하는지는 와 인접 상태들 사이의 에너지 간격, 그리고 시간 독립 해밀토니언에 대한  진화의 특성 시간 척도인 ($E_0$는 의 에너지)에 대한 구간 의 비율에 달려 있다.

반대로, 극한 에서는 무한히 빠른 변화, 즉 비단열 통과(diabatic passage)가 일어나며, 상태의 구성은 변하지 않는다.

위에서 제시된 보른과 포크의 원래 정의에 포함된 소위 "간격 조건"(gap condition)은 의 스펙트럼이 이산적이고 비축퇴되어 있어 상태의 순서에 모호함이 없어야 한다는 요건을 가리킨다(즉, 의 어떤 고유 상태가 에 대응하는지 쉽게 확립할 수 있어야 한다). 1999년 J. E. 애브론과 A. 엘가트는 간격이 없는 상황에도 적용할 수 있도록 단열 정리를 재구성했다.

 열역학의 단열 개념과의 비교 
"단열"(adiabatic)이라는 용어는 전통적으로 열역학에서 계와 환경 사이에 열 교환이 없는 과정을 설명하는 데 사용된다(단열과정 참조). 더 정확하게는 이러한 과정은 일반적으로 열 교환의 시간 척도보다 빠르다. (예를 들어, 압력파는 열파에 대해 단열적이지만, 열파 자체는 단열적이지 않다.) 열역학적 맥락에서 단열은 종종 빠른 과정의 동의어로 사용된다.

대신 고전역학 및 양자역학의 정의는 거의 항상 평형 상태에 있는 과정인 열역학의 준정적 과정 개념에 더 가깝다(즉, 내부 에너지 교환 상호작용 시간 척도보다 느린 과정. 가령 "일반적인" 대기 열파는 준정적이고 압력파는 그렇지 않다). 역학적 맥락에서 단열은 종종 느린 과정의 동의어로 사용된다.

양자 세계에서 단열은 예를 들어 전자와 광자의 상호작용 시간 척도가 전자와 광자 전파의 평균 시간 척도에 비해 훨씬 빠르거나 거의 순시적임을 의미한다. 따라서 우리는 상호작용을 전자와 광자의 연속적인 전파(즉, 평형 상태)와 상태 사이의 양자 도약(즉, 순시적)의 결합으로 모델링할 수 있다.

이러한 휴리스틱한 맥락에서 단열 정리는 본질적으로 양자 도약이 가급적 회피되며 계가 상태와 양자수를 보존하려고 노력한다는 것을 말해준다.

단열의 양자역학적 개념은 단열 불변량과 관련이 있으며, 초기 양자론에서 자주 사용되었고 열 교환과는 직접적인 관계가 없다.

 예시 계 
 단진자 
예를 들어, 수직 평면에서 진동하는 진자를 생각해보자. 지지대가 움직이면 진자의 진동 모드가 바뀐다. 지지대가 충분히 느리게 움직이면 지지대에 대한 진자의 운동은 변하지 않은 채로 유지된다. 외부 조건의 점진적인 변화는 계가 적응할 수 있게 하여 초기 특성을 유지하도록 한다. 상세한 고전적 예시는 단열 불변량 문서와 여기에서 볼 수 있다.

 양자 조화 진동자 
섬네일|right|300px|그림 1. 용수철 상수의 단열적 증가로 인한 바닥 상태 양자 조화 진동자의 확률 밀도 의 변화.

진자의 고전물리학적 성질은 단열 정리의 효과를 온전히 설명하는 데 한계가 있다. 추가적인 예로 용수철 상수 가 증가함에 따른 양자 조화 진동자를 생각해보자. 고전적으로 이것은 용수철의 강성을 높이는 것과 같다. 양자역학적으로 그 효과는 계의 해밀토니언에서 위치 에너지 곡선이 좁아지는 것이다.

만약 가 단열적으로 증가한다면 , 시간 에서의 계는 의 초기 고유 상태에 대응하는 "현재" 해밀토니언 의 순시 고유 상태 에 있게 된다. 단일 양자수로 설명되는 양자 조화 진동자와 같은 계의 특별한 경우, 이는 양자수가 변하지 않은 채로 유지됨을 의미한다. 그림 1은 처음에 바닥 상태 에 있던 조화 진동자가 위치 에너지 곡선이 압축됨에 따라 어떻게 바닥 상태를 유지하는지 보여준다. 상태의 함수 형태는 서서히 변하는 조건에 적응한다.

용수철 상수가 빠르게 증가하는 경우, 계는 비단열 과정 을 겪으며, 이 과정에서 계는 변화하는 조건에 자신의 함수 형태를 적응시킬 시간이 없다. 매우 짧은 시간 동안 일어나는 과정에 대해 최종 상태가 초기 상태와 동일하게 보여야 하지만 , 새로운 해밀토니언 의 고유 상태 중 초기 상태와 닮은 것은 없다. 최종 상태는 초기 상태의 형태를 재현하기 위해 합산되는 의 여러 다른 고유 상태들의 선형 중첩으로 구성된다.

 피하 교차 

섬네일|right|300px|그림 2. 외부 자기장에 놓인 2준위 계에서의 에너지 준위 피하 교차. 비단열 상태 과 의 에너지와 해밀토니언의 고윳값에 주목하라. 고윳값은 고유 상태 과 (단열 상태)의 에너지를 나타낸다. (실제로 이 그림에서 과 는 서로 바뀌어야 한다.)

더 널리 적용 가능한 예로, 외부 자기장에 놓인 2에너지 준위 원자를 생각해보자. 브라-켓 표기법을 사용하여 과 로 표시된 상태들은 각각 특정한 기하학적 구조를 가진 원자 각운동량 상태로 생각할 수 있다. 나중에 명확해지겠지만 이 상태들을 이제부터 비단열 상태라고 부를 것이다. 계의 파동 함수는 비단열 상태들의 선형 결합으로 표현될 수 있다.

자기장이 없을 때 비단열 상태들의 에너지 간격은 과 같다. 자기장이 증가함에 따라 상태 의 에너지는 증가하고(저자기장 선호 상태), 상태 의 에너지는 감소한다(고자기장 선호 상태). 자기장 의존성이 선형이라고 가정하면, 자기장이 인가된 계의 해밀턴 행렬은 다음과 같이 쓸 수 있다.

여기서 는 원자의 자기 모멘트이며 두 비단열 상태에 대해 동일하다고 가정하고, 는 두 상태 사이의 시간 독립적인 결합이다. 대각 성분은 비단열 상태의 에너지(와 )이다. 그러나 가 대각 행렬이 아니므로, 비대각 결합 상수 때문에 이 상태들이 의 고유 상태가 아님이 명확하다.

행렬 의 고유 벡터는 계의 고유 상태이며, 이를 과 로 표시하고 이에 대응하는 고윳값은 다음과 같다.

고윳값 과 는 계 에너지의 개별 측정에서 허용되는 유일한 출력값인 반면, 비단열 에너지 과 는 비단열 상태 과 에 있는 계 에너지의 기댓값에 해당한다는 점을 인식하는 것이 중요하다.

그림 2는 자기장 값에 따른 비단열 및 단열 에너지의 의존성을 보여준다. 결합이 0이 아니면 해밀토니언의 고윳값이 축퇴될 수 없으며, 따라서 피하 교차(avoided crossing)가 발생한다. 원자가 처음에 자기장이 0인 상태에서  상태에 있다면(맨 왼쪽 빨간색 곡선 위), 자기장의 단열적 증가 는 계가 과정 내내 해밀토니언의 고유 상태 에 머물도록 보장한다(빨간색 곡선을 따름). 자기장의 비단열적 증가 는 계가 비단열 경로(파란색 점선)를 따르도록 보장하여 계가  상태로 전이되게 한다. 유한한 자기장 변화율 에 대해서는 두 고유 상태 중 하나에서 계를 발견할 유한한 확률이 존재한다. 이러한 확률을 계산하는 방법은 아래를 참조하라.

이러한 결과는 원자나 분자 집단의 에너지 상태 분포를 제어하기 위한 원자물리학 및 분자물리학에서 매우 중요하다.

 수학적 서술 
순시 고유 상태 와 그에 대응하는 에너지 를 갖는 서서히 변하는 해밀토니언  하에서, 양자계는 초기 상태
에서 최종 상태
로 진화하며, 여기서 계수는 다음과 같은 위상 변화를 겪는다.

여기서 동역학적 위상은

이고 기하학적 위상은
이다.

특히 이므로, 계가 의 고유 상태에서 시작했다면 진화 동안 위상만 변한 채 의 고유 상태에 머물게 된다.

 증명 
사쿠라이의 현대 양자역학(Modern Quantum Mechanics)이 증명은 사쿠라이의 현대 양자역학에 제시된 증명에서 일부 영감을 받았다.
가정에 의해 순시 고유 상태 와 에너지 는 모든 시간 에서 시간 독립 슈뢰딩거 방정식을 만족한다.

따라서 이들은 어느 시간 에서나 상태를 전개하는 데 사용할 수 있는 기저를 구성한다.

계의 진화는 시간 의존 슈뢰딩거 방정식에 의해 지배된다.

여기서 이다(뉴턴의 표기법 참조). 의 전개식을 대입하고, 을 사용하며, 곱의 미분법으로 미분한 후 과의 내적을 취하고 고유 상태의 정규 직교성을 사용하면 다음을 얻는다.

이 결합된 1계 미분 방정식은 정확하며, 계수의 시간 진화를 고유 상태와 시간 미분된 고유 상태 사이의 내적 으로 표현한다. 그러나 에 대한 내적을 시간 미분된 해밀토니언 의 행렬 원소로 다시 표현할 수 있다. 이를 위해 시간 독립 슈뢰딩거 방정식의 양변을 곱의 미분법을 사용하여 시간에 대해 미분하면 다음과 같다.

다시 과의 내적을 취하고 와 정규 직교성을 사용하면 다음을 찾을 수 있다.

이를 계수에 대한 미분 방정식에 대입하면 다음을 얻는다.

이 미분 방정식은 계수의 시간 진화를 설명하지만, 이제 의 행렬 원소로 나타나 있다. 단열 정리에 도달하기 위해 우변을 무시한다. 해밀토니언의 변화율 이 작고 에너지 사이에 유한한 간격 이 있다면 이는 타당하다. 이를 단열 근사라고 한다. 단열 근사 하에서

이며, 이를 적분하면 정확히 단열 정리가 된다.

여기서 위상들은 정리의 서술에서 정의된 바와 같다.

동역학적 위상 은 실수 에너지에 대한 적분을 포함하므로 실수이다. 기하학적 위상 이 순수하게 실수임을 보려면 고유 상태의 정규화 조건 을 미분하고 곱의 미분법을 사용하여 다음을 확인한다.

따라서 은 순허수이며, 기하학적 위상 은 순실수이다.

단열 근사단열 근사의 세부 사항을 포함한 증명
정리의 서술을 다음과 같이 공식화한다.

이제 정리를 증명한다.

해밀토니언 를 갖는 시간 의존 슈뢰딩거 방정식을 고려하자.

단열 극한 에서 초기 상태 와 에서의 최종 상태  사이의 관계를 알고자 한다.

먼저 시간을 로 재정의한다.

모든 시점에서 는 고윳값 과 고유 벡터 를 사용하여 대각화 될 수 있다. 고유 벡터가 언제나 완전한 기저를 형성하므로 를 다음과 같이 전개할 수 있다.
 여기서 이다.
위상 을 '동역학적 위상 인자'라고 부른다. 이를 슈뢰딩거 방정식에 대입하면 계수의 변화에 대한 또 다른 방정식을 얻을 수 있다.

 항은 를 주므로, 좌변의 세 번째 항은 우변과 상쇄되어 다음이 남는다.

이제 임의의 고유 함수 과의 내적을 취하면, 좌변의 은 이 되어 m = n일 때만 1이고 그렇지 않으면 사라진다. 남은 부분은 다음과 같다.

일 때 은 점점 더 빠르게 진동하며 직관적으로 우변의 거의 모든 항을 억제하게 된다. 유일한 예외는 이 임계점을 가질 때, 즉 일 때이다. 이는 일 때 자명하게 성립한다. 단열 정리는 어느 시점에서나 고유 에너지 사이의 간격을 가정하므로, 에 대해서는 성립할 수 없다. 따라서  극한에서  항만 남게 된다.

이를 더 엄밀하게 보여주기 위해 먼저  항을 제거해야 한다.
이는 다음과 같이 를 정의하여 수행할 수 있다.

다음을 얻는다.

이 방정식은 적분될 수 있다.

또는 벡터 표기법으로 쓰면

여기서 는 행렬이고
는 기본적으로 푸리에 변환이다.
리만-르베그 보조정리에 의해 일 때 임이 도출된다. 마지막 단계로 위 방정식의 양변에 노름(norm)을 취한다.

그리고 Grönwall's inequality를 적용하여 다음을 얻는다.

이므로 일 때 이 도출된다. 이로써 단열 정리의 증명이 완료된다.

단열 극한에서 해밀토니언의 고유 상태는 서로 독립적으로 진화한다. 계가 고유 상태 에서 준비되었다면 그 시간 진화는 다음과 같이 주어진다.

따라서 단열 과정의 경우, n번째 고유 상태에서 시작한 계는 시간 독립 과정에서와 마찬가지로 n번째 고유 상태에 머물며, 단지 몇 가지 위상 인자만 얻게 된다. 새로운 위상 인자 은 고유 함수의 게이지를 적절히 선택하여 상쇄할 수 있다. 그러나 단열 진화가 순환적이라면 은 게이지 불변인 물리량이 되며, 이를 베리 위상이라고 한다.

매개변수 공간에서의 일반적인 증명매개변수가 시간에 따라 서서히 변하는 매개변수 해밀토니언 에서 시작하자. 여기서 '느리다'는 정의는 본질적으로 고유 상태들 사이의 에너지 거리에 의해 정의된다(불확정성 원리를 통해, 고려되는 시간 척도보다 항상 훨씬 짧아야 하는 시간 척도를 정의할 수 있다).

이러한 방식으로 우리는 서서히 변하는 동안 고유 상태들이 에너지적으로 명확히 분리되어 있음을 명확히 식별할 수 있다(예를 들어, TKNN 공식에서와 같이 이를 밴드로 일반화할 때도 밴드들은 명확히 분리되어 있어야 한다). 이들이 교차하지 않는다면 상태들은 순서가 매겨지며, 이런 의미에서 이는 위상적 순서라는 이름의 의미 중 하나이기도 하다.

순시 슈뢰딩거 방정식은 다음과 같다.

그리고 순시 고유 상태는 다음과 같다.

일반해:

이를 전체 슈뢰딩거 방정식에 대입하고 일반적인 고유 벡터를 곱하면 다음과 같다.

여기에 단열 근사를 도입하면:
 (각 에 대해)
다음을 얻는다.

그리고

여기서

C는 매개변수 공간에서의 경로이다.

이는 전체 파동 함수의 계수와 초기 상태에 대한 용어로 표현되었다는 점을 제외하면 정리의 서술과 동일하다.

이제 이것은 우리가 일반적인 매개변수 집합을 고려한다는 점에서 다른 증명들보다 약간 더 일반적이며, 베리 위상이 매개변수 공간에서 국소적인 기하학적 양으로 작용함을 알 수 있다.
마지막으로 국소적인 기하학적 양의 적분은 가우스-보네 정리에서와 같이 위상 불변량을 줄 수 있다.
실제로 경로 C가 닫혀 있다면 베리 위상은 게이지 변환에도 불구하고 유지되며 물리량이 된다.

 응용 예시 
종종 고체 결정은 강체 이온 격자에 의해 생성된 평균적인 완전 주기적 퍼텐셜 내에서 움직이는 독립적인 원자가 전자들의 집합으로 모델링된다. 단열 정리를 사용하면 보른-오펜하이머 근사에서와 같이 결정 전체에 걸친 원자가 전자의 운동과 이온의 열운동을 대신 포함할 수 있다.

이는 다음과 같은 범위의 많은 현상을 설명한다.
 열역학: 비열, 열팽창, 융해의 온도 의존성
 수송 현상: 전기 전도체의 전기 저항 온도 의존성, 절연체의 전기 전도도 온도 의존성, 저온 초전도 현상의 일부 특성
 광학: 이온 결정에 대한 적외선 영역에서의 광학적 흡광, 브릴루앵 산란, 라만 산란

 비단열 통과 vs. 단열 통과 조건 유도 
이제 더 엄밀한 분석을 수행할 것이다. 브라-켓 표기법을 사용하여 시간 에서 계의 상태 벡터를 다음과 같이 쓸 수 있다.

여기서 앞에서 언급한 공간적 파동 함수는 상태 벡터를 위치 연산자의 고유 상태에 투영한 것이다.

가 매우 큰 경우(단열적 또는 점진적 변화)와 매우 작은 경우(비단열적 또는 갑작스러운 변화)의 극한 사례를 살펴보는 것이 유익하다.

시간 에서의 초기 값 에서 시간 에서의 최종 값 까지 연속적으로 변화하는 계 해밀토니언을 고려하자. 여기서 이다. 계의 진화는 슈뢰딩거 묘사에서 다음과 같은 적분 방정식으로 정의되는 시간 진화 연산자에 의해 설명될 수 있다.

이는 슈뢰딩거 방정식과 동일하다.

초기 조건은 이다. 에서 계의 파동 함수를 안다면, 나중 시간 까지의 계의 진화는 다음을 사용하여 얻을 수 있다.

주어진 과정의 단열성을 결정하는 문제는 의 에 대한 의존성을 확립하는 것과 같다.

주어진 과정에 대한 단열 근사의 타당성을 결정하기 위해, 계가 시작된 상태가 아닌 다른 상태에서 발견될 확률을 계산할 수 있다. 브라-켓 표기법을 사용하고 정의 를 사용하면 다음과 같다.

을 전개할 수 있다.

섭동 극한에서 처음 두 항만 취하여 에 대한 방정식에 대입한다.

가 구간  동안 평균을 낸 계 해밀토니언임을 인식하면 다음을 얻는다.

제품을 전개하고 적절히 상쇄하면 다음과 같다.

즉,

여기서 는 관심 있는 구간 동안 평균을 낸 계 해밀토니언의 제곱평균제곱근 편차이다.

급격한 근사(sudden approximation)는 (계가 시작된 상태 이외의 상태에서 발견될 확률이 0에 접근함)일 때 타당하며, 따라서 타당성 조건은 다음과 같이 주어진다.

이는 하이젠베르크 불확정성 원리의 시간-에너지 형태를 서술한 것이다.

 비단열 통과 
극한 에서 무한히 빠른 통과, 즉 비단열 통과가 일어난다.

계의 함수 형태는 변하지 않는다.

이를 때때로 급격한 근사라고 부른다. 주어진 과정에 대한 근사의 타당성은 계의 상태가 변하지 않고 유지될 확률로 특징지어질 수 있다.

 단열 통과 
극한 에서 무한히 느린 통과, 즉 단열 통과가 일어난다. 계는 변화하는 조건에 자신의 형태를 적응시키며 진화한다.

계가 처음에 의 고유 상태에 있었다면, 기간  후에 의 대응하는 고유 상태로 넘어갔을 것이다.

이를 단열 근사라고 한다. 주어진 과정에 대한 근사의 타당성은 계의 최종 상태가 초기 상태와 다를 확률로부터 결정될 수 있다.

 단열 통과 확률 계산 
 란다우-제너 공식 

1932년, 단열 전이 확률을 계산하는 해석적 해법이 레프 란다우와 클래런스 제너에 의해 각각 독립적으로 발표되었다. 이는 시간 변화 성분이 관련 상태들을 결합하지 않는 선형적으로 변화하는 섭동의 특별한 경우(따라서 비단열 해밀턴 행렬의 결합은 시간과 독립적임)에 대한 것이다.

이 접근 방식에서 핵심적인 성능 지수는 란다우-제너 속도이다.
여기서 는 섭동 변수(전기장이나 자기장, 분자 결합 길이 또는 계에 대한 다른 섭동)이고, 과 는 두 비단열(교차) 상태의 에너지이다. 가 크면 비단열 전이 확률이 커지고 그 반대도 마찬가지이다.

란다우-제너 공식을 사용하면 비단열 전이 확률 는 다음과 같이 주어진다.

 수치적 접근 방식 

비단열 변수의 비선형적 변화나 비단열 상태 사이의 시간 의존적 결합을 포함하는 전이의 경우, 계 역학의 운동 방정식은 해석적으로 풀 수 없다. 비단열 전이 확률은 다양한 상미분 방정식 수치 해법 알고리즘 중 하나를 사용하여 여전히 얻을 수 있다.

풀어야 할 방정식은 시간 의존 슈뢰딩거 방정식으로부터 얻을 수 있다.

여기서 는 단열 상태 진폭을 포함하는 열 벡터이고, 는 시간 의존 단열 해밀토니언이며, 점 기호는 시간 미분을 나타낸다.

사용된 초기 조건과 전이 후의 상태 진폭 값을 비교하면 비단열 전이 확률을 얻을 수 있다. 특히 2준위 계의 경우:

이며 이는 에서 시작한 계에 대한 것이다.

 같이 보기 
 란다우-제너 공식
 베리 위상
 양자 교반, 래칫 및 펌핑
 단열 양자 모터
 보른-오펜하이머 근사
 고유 상태 열화 가설
 단열과정

 각주 

분류:양자역학 정리