4차원 심플렉틱 사상과 부피 보존

2차원 면적 검사에서 한 걸음 더

앞의 진동자 적분기 단원에서는 두 변수의 위상 평면을 비교했다. 한 정준 쌍의 선형 변환에서는 행렬식1이 정준 심플렉틱 형식 보존의 충분조건이다. 그러나 정준 쌍이 두 개가 되면 같은 검사로 충분하지 않다. 전체4차원 부피를 유지하면서 위치·운동량 변화 사이의 짝짓기는 바꾸는 변환이 존재한다.

이번 실습은4차원 위상 공간의 명시적인 선형 변환을 다룬다. 진동자의 새 적분기를 추가하는 것이 아니다. 조회 점은 작용을 계산하기 위해 만든 경계를 따라 움직이며, 주어진 물리적 시간 방정식의 해라고 주장하지 않는다.

그림보다 먼저 이차 형식을 정의하기

변수의 순서를 z=(q1,q2,p1,p2)로 정한다. 위치는 m, 운동량은 kg m/s다. 정준 이차 미분형식은

$$\omega=dq_1\wedge dp_1+dq_2\wedge dp_2$$

이다. Wedge 곱은 두 접벡터를 방향이 있는 행렬식으로 평가한다. 변화 u와 v에 대해

$$\omega(u,v)=u_{q_1}v_{p_1}-u_{p_1}v_{q_1} +u_{q_2}v_{p_2}-u_{p_2}v_{q_2}$$

다. 각 항의 단위는 작용 Js다. 비영 벡터에 대해서도 값이 음수나0일 수 있다. 길이, 양의 면적 크기, 내적과 다르다. 특히 ω(u,u)=0이라고 u가 영벡터인 것은 아니다.

심플렉틱 다양체는 닫혀 있고 비퇴화인 이차 미분형식을 가진 매끄러운 짝수 차원 다양체다. 닫혔다는 것은 외미분 dω가0이라는 뜻이다. 비퇴화란 어떤 벡터가 모든 주변 방향과의 짝짓기에서0이면 그 벡터 자체가0이어야 한다는 뜻이다. 이 직교 공간에서는 계수가 상수여서 닫힘을 바로 확인하고 정준 행렬의 가역성으로 비퇴화를 확인한다. 원점도 정상적인 상태이며 극좌표의 좌표 실패와 다르다.

변환을 통해 형식을 끌어오기

선형 좌표 변환 z'=Mz를 적용하면 두 변화는 Mu, Mv가 된다. 보존의 조건은 특정 벡터 두 개가 아니라 모든 u,v에 대해

$$\omega(Mu,Mv)=\omega(u,v)$$

가 성립하는 것이다. 선택한 변수 순서에서

$$J=\begin{pmatrix}0&I_2\\-I_2&0\end{pmatrix},\qquad M^TJM=J$$

로 쓴다. 이 행렬 항등식은 모든 기저 벡터 쌍을 검사하며 쌍선형성 때문에 임의의 두 접벡터까지 검사한다. 선택한 평행사변형 하나가 통과한 사실은 더 약하다. 실습에서도 전체 행렬 결함과 선택한 탐침의 면적 변화를 나눠 제공한다.

앞에서 사용한 Poisson 부호 약속에서는 가역 M에 대한 MJM^T=J가 정준 좌표의 동등한 검사다. 형식의 계수 행렬, Poisson 계수 행렬, 계량을 크기가 같다는 이유로 같은 대상으로 취급하지 않는다. 부호와 변수 순서를 먼저 명시해야 한다.

행렬 블록마다 단위가 다르다

위상 변환은 서로 다른 종류의 좌표를 섞는다. 위치에서 위치로, 운동량에서 운동량으로 가는 블록은 무차원이다. 운동량에서 위치로 가는 블록은 s/kg, 위치에서 운동량으로 가는 블록은 kg/s다. 숫자 행렬은 고정한 SI 기준 단위에서 쓰므로 행렬 곱의 물리적 의미도 유지된다.

끌어온 형식의 q-q 블록 계수는 kg/s, q-p 블록은 무차원, p-p 블록은 s/kg다. Poisson 계수에서는 q-q와 p-p의 단위가 반대다. 이 모든 숫자를 단위 구분 없이 하나의 Frobenius 크기로 합치면 물리적으로 다른 양을 섞는다. 여기서는 각자의 단위에서 모든 계수가 정확히0인지 검사하며 모호한 하나의 작은 크기를 보존의 정의로 쓰지 않는다.

먼저 역수 배율을 적용하기

양의 무차원 배율 a,b에 대해

$$D=\operatorname{diag}(a,b,1/a,1/b)$$

로 둔다. 첫 정준 쌍의 방향 있는 작용 면적에는 a와1/a가, 둘째에는 b와1/b가 곱해져 각각 유지된다. 따라서 D는 심플렉틱이고 행렬식도1이다.

a=2, b=1에서 u가 q1 방향, v가 p1 방향이면 원래 면적1 Js가 변환 후에도1 Js다. 좌표 너비는 두 배, 운동량 높이는 절반이 된다. 그림의 모양이 바뀌어도 구조량은 유지될 수 있다. 직교 변환이나 길이 보존을 요구하는 조건이 아니다. 특히 위치와 운동량을 섞은 위상 벡터에 임의의 유클리드 길이를 먼저 부여하고 보존을 판단하지 않는다.

결합된 전단 변환을 더하기

h,c는 무차원 조절값이고 다음 B에는 kg/s의 기준 계수를 붙인다.

$$B=\begin{pmatrix}h&c\\c&-h\end{pmatrix}.$$

다음 C에는 s/kg의 기준 계수를 붙인다.

$$C=\begin{pmatrix}h&c\\c&0\end{pmatrix}.$$

운동량 전단 K는 (q,p)를 (q,p+Bq)로, 위치 전단 T는 (q+Cp,p)로 보낸다. B와 C가 대칭이어서 새 q-q 또는 p-p wedge 항이 상쇄된다. 일반적인 비대칭 전단에 대해서까지 같은 주장을 할 수는 없다.

두 변환은 이차 작용으로 생성한 유한 정준 변환이다. K는 생성자 −q^TBq/2, T는 p^TCp/2의 단위 매개변수 흐름이다. 이 매개변수는 초 단위의 물리적 시간이 아니므로 생성자는 에너지가 아니라 작용 단위다. 코드는 유한 변환을 정확히 적용하며 생성 방정식을 새로 수치 적분하지 않는다.

선택지는 D, KD, TKD와 뒤의 부피 비교 변환이다. TKD는 먼저 배율, 그 다음 운동량 전단, 마지막 위치 전단을 적용한다. 행렬 곱의 순서를 바꾸면 다른 변환이 된다. 단순 배율에서는 전단 조절값이 활성화되지 않는다는 사실도 함께 읽는다.

투영 면적이 교환되어도 전체 형식은 보존된다

a=b=1, h=0, c=1인 TKD를 택하자. u=e_q1, v=e_p1의 변환 결과는 각 성분의 위치·운동량 단위에서

$$Mu=(2,0,0,1),\qquad Mv=(0,1,1,0)$$

이다. 첫 정준 평면의 기여는2 Js, 둘째는−1 Js이므로 합은 원래의1 Js다.

따라서 일반적인 심플렉틱 변환이 각 투영 평면의 면적을 개별적으로 보존하는 것은 아니다. 모든 접벡터 쌍에 적용한 전체 이차 형식이 보존된다. 두 위상 투영 그림은 계산을 읽는 보조 수단이며 어느 한 그림만으로4차원 명제를 증명하지 않는다. 원래0이던 투영 기여가 생기는 것은 전체 보존과 모순되지 않는다.

부피는 유지하지만 형식은 바뀌는 반례

다음 가역 배율을 생각하자.

$$D_{\mathrm{v}}=\operatorname{diag}(a,b,1/b,1/a).$$

행렬식은1이지만 두 정준 쌍의 배율은 a/b와 b/a다. a=2, b=1이면 첫 기저 탐침의 면적은2 Js, 둘째는0.5 Js가 된다. 그러므로 심플렉틱이 아니다. 다만 a=b인 특수한 경우에는 역수 정준 배율과 같아져 심플렉틱이다. 비교 변환이라는 이름만 보고 모든 매개변수에서 실패한다고 가정해서도 안 된다.

네 번째 변환족은 TKD_v다. 왼쪽에 정준 전단을 합성해도 결함은 고쳐지지 않는다. 끌어온 형식은 D_v^TJD_v로 남아 h,c와 관계없이 a=b일 때만 심플렉틱이다.

4차원의 부피 형식은 ω∧ω/2다. 정한 변수 순서에서는 −dq1∧dq2∧dp1∧dp2이고 단위는 Js²다. 이 음수는 방향 약속이지 음의 물리적 부피를 뜻하지 않는다. 두 쌍의 배율은 곱하면1이므로 최상위 부피 형식은 유지되지만 ω 자체는 바뀐다. 실습은4차원 Pfaffian으로 최상위 형식의 계수와 행렬식을 함께 검사한다.

통과한 탐침 하나로 변환을 인증할 수 없다

비교 변환에서도 순수 q1-q2 평면의 작용 면적은 변환 전후 모두0이다. 영면적 탐침 하나만 검사하면 전체 구조가 실패한 변환도 통과할 수 있다.

다른 평면을 고르면 결함이 드러난다. u=(1,1,0,0), v=(0,0,1,−1)의 원래 기여는1 Js와−1 Js로 합0이다. a=2, b=1에서 변환 후 합은2−0.5=1.5 Js가 된다. 이 평면은 차원이2이고 처음에는 Lagrangian이지만 그 상은 그렇지 않다. 단순한 부피 보존만으로 그 구조를 유지할 수 없음을 보인다.

서로 평행한 두 벡터는 더욱 약한 검사다. 종속 탐침은 차원1이어서 어떤 선형 변환을 적용해도 짝짓기가0이다. 이때 면적비0/0은 정의되지 않으므로 임의로1로 채우지 않는다. 단순히 작은 숫자가 나온 것과 정보가 없는 탐침을 구분해야 한다.

경계 적분과 방향 있는 작용

정준 일형식을 θ=p1dq1+p2dq2로 쓰면 ω=−dθ다. 경계를 먼저 u, 그 다음 v 방향으로 돌 때

$$\oint\theta=-\omega(u,v)$$

이다. 첫 기저 탐침의 원래 적분은−1 Js, a=2,b=1의 비교 변환에서는−2 Js다. 결합 정준 예제에서는 투영 기여가 바뀌어도 합은−1 Js로 같다.

경계 매개변수는0부터4까지이고 한 변마다1씩 증가한다. 조회 점은 이 경로의 부분 적분을 고른다. 전체 폐곡선 적분이 같아도 중간의 부분 적분은 좌표 표현에 따라 다를 수 있다. 이것은 작용 Js이며 역학적 일 J가 아니다. 물리적인 이동 시간이나 에너지 보존을 가정해서는 안 된다. 경로를 닫는 것도 입자의 실제 주기 운동을 주장하는 것은 아니다.

Hamilton 흐름과 기하 연결하기

매끄러운 H와 비퇴화 형식에서는 Hamilton 벡터장을 ω의 첫 자리에 넣어 dH를 얻도록 정의할 수 있다. 이 부호 약속은 앞의 Hamilton 방정식과 맞는다. ω가 닫혀 있으면 Cartan 항등식에서 Lie 미분은 d(dH)=0으로 줄어 형식 보존을 얻는다. 이는 흐름이 존재하는 구간에 대한 결론이지 모든 계의 전 시간 존재를 보장하는 주장은 아니다.

부피 보존은 그 결과이며 고차원에서 동등한 대체 조건이 아니다. 선형 벡터장 (q1,0,0,−p2)는 발산이0이지만 흐름이 두 정준 짝짓기를 반대로 늘리고 줄여 전체 형식을 보존하지 않는다. 유한 비교 변환이 같은 차이를 구체적으로 보여 준다.

국소 정준 좌표가 존재한다고 모든 심플렉틱 다양체에 전역 직교 좌표 하나가 존재하는 것도 아니다. 전역 위상, 비선형 변환, 축약, 긴 시간 수치 적분은 별도 조건과 검증이 필요하다. 이번 단원은 정의와 결합된4차원 선형 변환족을 정확히 검사하는 입문 범위다.

해설이 있는 연습 문제

1. e_q1과 e_p1의 ω 값을 구하자. 해설: 첫 행렬식이1 Js이고 둘째는0이다. 순서를 바꾸면−1 Js이며 같은 벡터를 두 번 넣으면0이다. 양의 길이와 다른 성질이다.
2. 한 정준 쌍에서는 왜 행렬식1이 충분할까? 해설: 2×2 행렬에 대해 M^TJM=(det M)J다. 4×4 검사를 같은 하나의 스칼라 조건으로 줄일 수는 없다.
3. a=2,b=1인 비교 변환의 쌍별 배율을 구하자. 해설: 2와0.5다. 곱은1이어서 부피를 유지하지만 전체 형식이 요구하는 기저 짝짓기1을 각각 재현하지 않는다.
4. 정준 변환이 투영된 한 쌍의 면적을 바꿀 수 있을까? 해설: 가능하다. 결합 예제의 두 기여2 Js와−1 Js는 각각 달라졌지만 전체1 Js를 유지한다.
5. 종속 탐침으로 변환을 인증할 수 없는 이유는? 해설: 접공간 차원이1이어서 반대칭 짝짓기가 언제나0이다. 모든 독립 방향에 대한 행렬 항등식 검사가 여전히 필요하다.
6. 첫 기저 탐침의 폐곡선 작용 부호와 단위는? 해설: 정한 u-다음-v 방향과 θ=p dq에서−1 Js다. 방향을 뒤집으면 부호가 바뀌며 에너지 J를 계산한 것이 아니다.

AI 연구와 읽을거리

학습한 잠재 좌표 변환이 부피, 정준 bracket, 전체 심플렉틱 형식 중 무엇을 보존하는지 명시한다. 선택한 위상 투영이나 행렬식 손실만 보지 말고 결합 방향과 전체 도함수를 검사한다. 작은 표본 소수 오차와 정확한 구조 항등식도 다른 근거로 기록해야 한다.

배경 정의는 Ana Cannas da Silva의 Symplectic Geometry 1.1–1.3절과 저자 공개 Lectures on Symplectic Geometry을 참고할 수 있다. 이 단원의 조절 가능한 변환족, 단위, 작용 탐침과 수치 예제는 직접 유도했고 독립 기호 생성자·끌어오기·경로 적분으로 검산한다.