디랙 괄호

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

해밀턴 역학에서, 디랙 괄호(영어: Dirac bracket)는 해밀토니언과 가환하지 않는 구속이 가해진 고전적 에서 시간 변화를 나타내는 괄호다. 폴 디랙이 도입하였다.[1][2]

정의[편집]

구속된 해밀턴 계[편집]

해밀턴 계 가 주어졌다고 하자. 여기서 심플렉틱 다양체 는 계의 위상 공간이고, 는 계의 해밀토니언이다. 위의 매끄러운 함수들의 대수를 이라고 하자. 심플렉틱 구조에 의하여, 푸아송 괄호

가 존재한다.

이 계 위에 주어진 구속(영어: constraint) 는 다음 조건을 만족시키는, 매끄러운 함수들의 집합이다.

  • 아이디얼이자, 에 대한 자유 가군이다. 즉,
    • 임의의 함수 및 제약 에 대하여, 이다.
    • 임의의 에 대하여, 이다.
    • 기저 가 존재한다. 즉, 임의의 ()의 꼴로 나타낼 수 있다.
  • (일관성) 쌍대가군 의 원소 가 존재하여, 다음을 만족시킨다.

여기서, 구속된 상태 공간 으로, 다음과 같다.

즉, 모든 구속들을 만족시키는 상태들의 집합이다.

1종 및 2종 구속[편집]

1종 구속(영어: first-class constraint)의 집합 은 다음과 같다.

모든 1종 구속은 일관성 조건에 따라서 해밀토니언과 가환한다.

또한, 1종 구속들의 집합 역시 아이디얼이자, -가군을 이룬다. 즉, 임의의 함수 와 1종 제약 에 대하여, 이다. 이에 따라서, 구속들의 가군을 다음과 같이 분해할 수 있다. 짧은 완전열

분할 완전열이며, 따라서 를 다음과 같이 나타낼 수 있다.

물론 이러한 갈림은 표준적으로(canonical) 정의되지 않지만, 임의로 정의할 수 있다. 2종 구속(영어: second-class constraint)들의 집합이라고 한다. 1종 제약은 자유 가군의 부분가군이므로 사영 가군(벡터다발)이다.

디랙 괄호[편집]

2차 구속 의 기저를 로 잡자. 그렇다면 행렬 를 다음과 같이 정의하자.

이 경우, 디랙 괄호 는 다음과 같다.

제약된 해밀턴 계 에서의 시간 변화는 다음과 같이 정의한다. 임의의 함수 의 시간 변화 는 다음과 같다.

이 정의에 따라서, 구속을 만족시키는 초기 조건의 시간 변화는 계속해서 제약을 만족시킨다.

즉, 임의의 2종 구속 의 경우

이고, 임의의 1종 구속 의 경우

이다. 디랙 괄호는 일반적으로 기저 변환에 따라 바뀌지만, 에 국한하면 유일하다.

[편집]

강한 자기장에서의 비가환 기하학[편집]

심플렉틱 다양체 위에, 전하 의 입자가 자기장 위치 에너지 에 영향을 받는다고 하자.[3][4] 또한, 자기장이 매우 강해 그 운동 에너지가 자기장에 의한 위치 에너지보다 매우 작다고 하자. 그렇다면 운동 에너지 항을 생략한 라그랑지언은 다음과 같다.

여기서 자기 퍼텐셜로,

를 만족시킨다. 편의상

으로 놓을 수 있다. 즉,

이다.

이 경우, 정준 운동량은 다음과 같다.

즉, 해밀토니언은 다음과 같다.

또한, 정준 운동량들은 시간 도함수 , 를 포함하지 않으므로, 다음과 같은 제약들이 존재한다.

이 경우, 두 구속들의 푸아송 괄호는 다음과 같다.

이는 가역행렬이므로 이들은 둘 다 2종 구속들이며, 일관적이다. 따라서 디랙 괄호는 다음과 같다.

특히,

이므로, 이를 양자화하면

이다. 즉, 비가환 기하학을 얻는다.

이 경우에는 제약에 따라 물리적 공간 자체가 사실상 위상 공간이 된다. 이 경우에는 퍼텐셜 가 대역적으로(global) 존재하므로, 심플렉틱 구조 코호몰로지류 가 0이다. 따라서, 기하학적 양자화를 따르는 경우에는 유일한 준양자 구조가 존재한다. 만약 물리적 공간의 리만 계량 가 심플렉틱 구조 와 호환된다면, 이 구조는 (거의) 켈러 구조를 이뤄 기하학적 양자화가 가능하다. 물론, 퍼텐셜 의 경우 순서가 모호하게 된다.

부분다양체에 구속된 입자[편집]

리만 다양체 위에 존재하는, 질량 의 입자가 위치 에너지 의 영향을 받고, 또한 어떤 함수 의 영집합 에 구속되었다고 하자.[5] 이 경우, 임의의 에 대하여 다음과 같은 해밀토니언을 적을 수 있다.

물론 이 경우 다음과 같은 구속을 가해야 한다.

이 경우,

이다. 따라서, 만약 에서 이라면, 둘 다 2종 구속이다. (이 조건이 충족되면, 음함수 정리에 의하여 이 매끄러운 부분다양체를 이루게 된다.)

이 경우, 디랙 괄호는 다음과 같다.

예를 들어,

가 된다.

참고 문헌[편집]

각주[편집]

  1. Dirac, P. A. M. (1950년 2월). “Generalized Hamiltonian dynamics”. 《Canadian Journal of Mathematics》 (영어) 2: 129–148. MR 0043724. Zbl 0036.14104. doi:10.4153/CJM-1950-012-1. 
  2. Dirac, P. A. M. (1964). 《Lectures on quantum mechanics》. Belfer Graduate School of Science Monographs (영어) 2. Belfer Graduate School of Science, New York. ISBN 9780486417134. MR 2220894. 
  3. Dunne, Gerald V.; R. Jackiw, So-Young Pi, Carlo A. Trugenberger (1991). “Self-dual Chern–Simons solitons and two-dimensional nonlinear equations”. 《Physical Review D》 (영어) 43 (4): 1332–1345. doi:10.1103/PhysRevD.43.1332. 
  4. Bigatti, Daniela; Leonard Susskind (2000년 9월 15일). “Magnetic fields, branes and noncommutative geometry”. 《Physical Review D》 (영어) 62 (6): 066004. Bibcode:2000PhRvD..62f6004B. arXiv:hep-th/9908056. doi:10.1103/PhysRevD.62.066004. 
  5. (영어). doi:10.1016/0370-2693(79)90465-9.  |제목=이(가) 없거나 비었음 (도움말)