육차 Landau 공존과 국소 안정성

질서변수가 뛰면 무엇이 바뀌는가?

앞의 Curie–Weiss 지형에서는 결합이 임계값을 지날 때 대칭적인 두 최소가 연속적으로 나타났다. 다른 계에서는 기존 최소가 국소 안정성을 잃기 전에 멀리 떨어진 경쟁 최소가 생길 수 있다. 평형에서는 두 깊이가 교차할 때 선택되는 상태가 불연속적으로 바뀐다. 국소적으로 안정한 해 하나만 계속 따라가면 이 교차를 놓친다.

중앙 골짜기와 바깥의 두 골짜기를 생각해보자. 바깥 골짜기를 낮추면 세 바닥의 깊이가 같아질 수 있다. 그때도 각 바닥의 곡률은 양수일 수 있다. 같은 깊이는 전역적인 명제이고 곡률은 국소적인 명제다. 중앙 골짜기가 나중에 사라지는 것은 또 다른 사건이다. 이번 육차 Landau 이론에서는 이 사건들을 분리한다.

여기서 연구하는 것은 명시한 현상론적 퍼텐셜과 그 최소다. 모든 물질이 이 다항식으로 설명된다거나, 유한한 양의 온도 적분이 특이해진다거나, 정적인 골짜기가 전환 시간을 결정한다고 주장하지 않는다. 대칭, 다항식 계수, 중복근, 전역 비교가 어떻게 함께 작동하는지를 배운다.

퍼텐셜·정의역·단위를 먼저 정하자

질서변수 m은 실수 전체를 움직이는 무차원 스칼라라고 하자. 물리적인 자유에너지 밀도를 고정된 양의 척도 f₀로 나누어 Φ와 화면의 계수를 무차원으로 만든다. 여기의 b는 사차 계수이고 공액 장은 H다. 앞 단원의 외부 장 b와 같은 기호를 같은 의미로 읽지 않도록 주의하자.

H=0에서는 m을 −m으로 바꾸어도 이론이 같다. 짝수 차수는 이 대칭을 표현하고 −Hm은 대칭을 깬다. c>0이면 양쪽 무한대에서 Φ가 양의 무한대로 커지므로 전역 최소가 존재한다. 계산기는 |a|,|b|,|H|≤4와 0.25≤c≤4를 지원한다. 계수의 계산 범위가 질서변수의 물리적 범위 |m|≤1을 뜻하지는 않는다.

예를 들어 이차나 사차 계수가 크게 음수이면 최소가 스핀 자화 구간 밖으로 이동할 수 있다. 이를 ±1에서 잘라버리면 다른 제약 문제를 푸는 것이다. 그림은 인증된 모든 근을 포함하되 화면의 표시 범위를 수학적 정의역과 구분해야 한다.

$$\Phi(m)=\frac a2m^2+\frac b4m^4+\frac c6m^6-Hm,\qquad c>0,\qquad m\in\mathbb R,\qquad f(m)=f_0\Phi(m).$$

정지 조건은 오차가 작은 그림보다 강하다

Φ의 미분을 g라고 하자. 모든 전역 최소는 이 5차 다항식의 내부 실근이다. 곡률은 g의 미분이다. 양의 곡률은 엄밀한 국소 최소, 음의 곡률은 극대를 판정한다. 곡률이 0이면 더 높은 차수까지 보아야 한다.

5차 다항식은 서로 다른 실근을 최대 다섯 개 가진다. 서로 다른 근의 수가 줄어도 대수적 중복도 합은 다섯일 수 있다. 접힘에서는 두 단순 정지근이 하나의 이중근이 된다. 사차 최소에서는 g가 삼중 영점을, 순수 육차 최소에서는 오중 영점을 가질 수 있다. 그림의 교점 수만 세면 이 차이를 잃는다.

Φ와 g를 함께 그려보자. Φ의 극대는 g가 아래로 통과하는 영점이고 최소는 위로 통과하는 영점이다. g의 이중근은 부호를 바꾸지 않고 0에 접하며 Φ의 정지 변곡점이 된다. 그 부근에서 미분값이 작다는 사실만으로 가까운 최소가 존재한다고 인증할 수 없다.

$$g(m)=cm^5+bm^3+am-H,\qquad \Phi^{\prime\prime}(m)=g^{\prime}(m)=5cm^4+3bm^2+a.$$

영장에서는 진폭의 제곱으로 낮추자

H=0에서는 m=0이 항상 정지점이다. 나머지 정지근은 y=m²>0으로 두면 아래 이차 방정식을 만족한다. 양의 y 하나마다 두 근이 생기고, 음의 y는 실수 m을 주지 않는다. y=0을 다시 두 근으로 더해서는 안 된다.

정확한 판별식이 이 진폭들의 존재를 결정한다. 판별식 0의 중복된 양의 y는 서로 반대 부호인 두 이중 정지근을 만든다. 원점은 별도의 근으로 남는다. 반면 a=0에서는 b에 따라 원점 자체가 삼중 또는 오중근이 된다.

비영 정지점에서 a를 제거하면 에너지와 곡률을 아래처럼 정리할 수 있다. 어떤 진폭이 최소이고 그 자유에너지가 중앙의 값 0보다 낮은지 확인하는 데 유용하다. 최소가 존재한다는 사실만으로 전역적으로 선호된다고 판단하지 않게 해준다.

$$cy^2+by+a=0,\qquad y=m^2>0,\qquad D=b^2-4ac.$$ $$\left.\Phi\right|_{g=0,H=0}=-\frac b4y^2-\frac c3y^3,\qquad \left.\Phi^{\prime\prime}\right|_{g=0,H=0}=2y(b+2cy).$$

양의 사차항은 연속적인 질서의 시작을 준다

b>0,H=0에서 a>0이면 중앙의 최소 하나뿐이다. a가 음수가 되면 원점은 극대가 되고 바깥의 두 전역 최소가 연속적으로 나타난다. 0에 가까울 때는 이차항과 사차항이 지배하므로 아래 진폭 척도를 얻는다.

중앙 최소의 곡률은 a이므로 가지의 반응은 1/a다. 곡률이 부드러워지는 모습은 연속 임계점에 도달하기 전부터 큰 반응을 예고한다. a=0에서는 이차 곡률이 0이어도 양의 사차항 때문에 원점이 여전히 엄밀한 최소다.

제곱근 지수는 영이 아닌 양의 사차 계수를 가진 이 스칼라 평균장 퍼텐셜의 설명이다. 공간 요동, 무질서, 다른 대칭이 있으면 유효 기술이 달라질 수 있다. 인터랙티브 그림에서는 a의 부호, 원점 근처 g의 기울기, 두 최소의 출현을 연결하자. 유한하게 둥글어진 그림 자체를 임계성의 증명으로 부르지 않는다.

$$|m_*|\sim\sqrt{-\frac ab}\quad(a\uparrow0,\ b>0,\ H=0),\qquad \left.\frac{dm}{dH}\right|_{m=0}=\frac1a\quad(a>0).$$

사차항이 없어지면 주도적인 균형도 바뀐다

b=0으로 두고 c>0을 유지하자. a<0에서 이차항과 육차항의 균형은 제곱근 대신 네제곱근 진폭을 준다. a=b=H=0의 원점은 엄밀한 육차 최소이고 정지 방정식에서는 오중근이다.

정확히 그 준비에 작은 장을 주면 다섯제곱근 반응을 보인다. 장이 사라질 때 국소 미분은 발산한다. 수치 헤시안의 값 0만으로는 이 점을 사차 임계 최소나 평평한 극대와 구별할 수 없다. 처음으로 0이 아닌 도함수의 차수와 부호가 필요하다.

이것이 이 다항식 가족의 평균장 삼중임계 준비다. 실제 삼중임계 거동에는 적절한 매개변수 조정과 이론의 적용성 확인이 필요하다. 아주 작은 양의 사차 계수도 영점에 충분히 가까워지면 결국 지배한다. 표시값이 작다는 이유로 정확한 0으로 대체하면 안 된다.

$$|m_*|=\left(-\frac ac\right)^{1/4}\quad(a<0,b=H=0),\qquad m_*=\operatorname{sgn}(H)\left(\frac{|H|}{c}\right)^{1/5}\quad(a=b=0).$$

음의 사차항은 일차 공존을 허용한다

이제 b<0으로 두자. 양의 c가 아래쪽 유계를 보장하는 가운데 음의 사차항은 원점이 아직 국소 최소일 때도 바깥 골짜기를 만들 수 있다. 정렬 정지점의 값을 중앙의 값 0과 같게 놓으면 아래 공존 계수와 비영 진폭을 얻는다.

인수분해는 전역적인 사실을 증명한다. 공존에서 Φ는 모든 실수 m에 대해 비음수이고 정확히 세 점에서 0이다. 세 점 모두 전역 최소다. 평형의 선호가 바뀔 때 각 점의 양의 곡률이 사라지는 것은 아니다. 영장에서 a가 이 값을 지날 때 질서변수는 0과 유한한 진폭 사이를 뛴다.

공존보다 큰 a에서는 바깥 최소가 존재하더라도 중앙 최소가 이긴다. 공존보다 작은 a에서는 정렬된 쌍이 이기지만 중앙 최소도 a=0까지 준안정으로 남을 수 있다. 준안정이라는 말은 더 높은 자유에너지를 가진 국소 안정성이다. 물리적으로 머무는 시간까지 계산한 것은 아니다.

$$a_* =\frac{3b^2}{16c},\qquad y_*=m_*^2=-\frac{3b}{4c},\qquad \Phi_{a_*,b,c,0}(m)=\frac c6m^2(m^2-y_*)^2\geq0\quad(b<0).$$

스피노달은 국소 가지의 소멸 경계다

영장에서 정렬근이 처음 나타나는 경계는 판별식이 0인 a=b²/(4c)다. 그곳의 이중 정지근은 접힘이다. 중앙 최소가 안정성을 잃는 경계는 a=0이다. b<0이면 공존값은 이 두 경계 사이에 엄밀히 놓인다.

H=0,b<0에서 a를 내릴 때	국소 지형	평형의 선호
b²/(4c)보다 큼	중앙 최소만 존재	중앙
공존과 b²/(4c) 사이	중앙과 바깥 두 최소	중앙
3b²/(16c)와 같음	같은 깊이의 세 최소	세 상태 공존
0과 공존 사이	세 최소	정렬 쌍
0보다 작음	중앙 극대와 바깥 최소	정렬 쌍

정렬 스피노달 바로 그 점에서는 바깥 최소와 극대가 합쳐진 정지 변곡점이다. a=0의 원점은 b<0에서 평평한 극대다. 표의 열린 구간은 이 경계점 분류를 따로 남겨둔다. 공존을 지나서도 계속되는 국소 가지는 준안정 연속이지 평형 질서변수 자체가 아니다.

$$a_{\mathrm{dis}}=0< a_*=\frac{3b^2}{16c}<a_{\mathrm{ord}}=\frac{b^2}{4c}\quad(b<0),\qquad m_{\mathrm{ord}}^2=-\frac b{2c}.$$

장은 지형을 기울이고 중복 구조를 푼다

H>0에서 음의 후보는 전역 최소가 될 수 없다. 양의 m으로 반사하면 자유에너지가 더 낮아지기 때문이다. 하지만 서로 다른 두 양의 국소 최소가 경쟁할 수는 있다. 장의 부호만으로 어느 양의 최소가 이기는지 증명할 수 없다. 따라서 부호로 후보를 제외한 뒤 실제 자유에너지를 비교해야 한다.

비영 장의 접힘은 g=g′=0을 만족한다. m으로 매개화하면 아래 식을 얻는다. 더 높은 중복도에는 g″=0도 필요하다. 이런 점은 m과 H가 둘 다 0이 아닌 곳에도 나타날 수 있다. 영곡률의 임계 최소가 반드시 원점에 놓이는 것은 아니다.

H를 −H로 바꾸면 모든 정지근과 자유에너지 순서가 반사된다. 이는 수치 해 찾기와 시각화를 함께 검사하는 좋은 방법이다. 아주 작은 기울기도 표시된 자유에너지 숫자가 같은 상태들 중 하나를 선택할 수 있다. 소수 표시의 일치는 공존의 증명이 아니다.

$$\Phi(-m)-\Phi(m)=2Hm,\qquad a_{\mathrm{sp}}(m)=-3bm^2-5cm^4,\qquad H_{\mathrm{sp}}(m)=-2bm^3-4cm^5.$$

반응과 온도에는 별도의 준비가 필요하다

단순 정지 가지에서 암시적 미분을 하면 dm/dH=1/Φ″이다. 최소에서는 양수, 극대에서는 음수다. 홀수 중복도의 최소에서는 극한 미분이 양의 무한대일 수 있다. 접힘에는 그 점을 통과하는 단일값의 매끄러운 가지가 없다. 이 경우들은 다른 표기가 필요하다.

계수 a가 자동으로 온도가 되는 것은 아니다. 구체적인 열적 해석을 위해 a(T)=α(T−T₀), α>0으로 두고 b,c,f₀는 T와 무관하며 H=0이라고 하자. 공존 온도 T*가 양수라고 가정하면 아래 온도에서 공존한다. 모든 상태에 공통인 배경 자유에너지 밀도를 더하면 절대 엔트로피는 바뀌지만 경쟁하는 두 상의 엔트로피 차이는 바뀌지 않는다.

이 준비에서는 최소화된 물리적 자유에너지를 미분하여 엔트로피 기여를 얻는다. 정렬상은 비정렬상보다 낮은 엔트로피 기여를 가지며, 가열하면서 공존을 통과하면 아래 잠열 밀도를 흡수한다. b,c,f₀도 온도에 따라 변한다면 그 미분까지 포함해야 한다. 이 가정 없이 임의의 계수 슬라이더에 온도와 잠열 공식을 붙이면 안 된다.

$$\left.\frac{dm}{dH}\right|_{\mathrm{branch}}=\frac1{\Phi^{\prime\prime}(m)}\quad\text{for a simple stationary root}.$$ $$T_*=T_0+\frac{3b^2}{16\alpha c},\qquad s_{\mathrm{dis}}-s_{\mathrm{ord}}=\frac{f_0\alpha}{2}m_*^2,\qquad L=T_*\frac{f_0\alpha}{2}m_*^2.$$

스칼라 장벽은 핵생성 이론 자체가 아니다

각 국소 극대의 퍼텐셜을 양옆 최소와 비교하자. 그 양의 차이는 명시한 한 좌표 지형의 장벽이다. 공존에서 중앙 최소에는 서로 다른 탈출 방향이 있고, 바깥 두 최소는 서로 다른 극대에 인접한다. 계산기는 장벽마다 최소와 극대의 행 번호를 함께 기록한다.

자유에너지 밀도 차이를 전체 자유에너지로 바꾸려면 부피와 균일 상태 가정이 필요하다. 실제 공간 전이는 계 전체를 균일하게 움직이는 것보다 낮은 장벽의 방울과 계면을 통해 진행될 수 있다. 여기에는 그 기울기 에너지, 기하, 동역학이 들어 있지 않다.

마찬가지로 준안정 가지를 스피노달까지 따라가면 가능한 준정적 연속을 그릴 수 있다. 하지만 그것이 실험의 이력 곡선이나 핵생성률, 샘플러 혼합 시간을 예측하지는 않는다. 그런 양에는 동역학 모형과 관측 절차가 필요하다.

$$\Delta_{i\to j}=\Phi(m_j^{\mathrm{max}})-\Phi(m_i^{\mathrm{min}})>0,\qquad \Delta F=f_0V\,\Delta_{i\to j}\quad\text{for a uniform volume }V.$$

근과 에너지 비교를 따로 인증하자

수치 모델은 실제 binary64 계수를 정확한 유리수로 읽는다. 유리 다항식의 최대공약수가 중복근 구조를 분리한다. Sturm 부호 변화는 구간의 실근 수를 세고 정확한 이분법은 서로 다른 모든 실근을 격리한다. 가까운 숫자 해를 묶어서 중복도를 추측하지 않는다.

격리된 각 근에서는 처음으로 0이 아닌 정지 도함수로 국소 형태를 분류한다. 자유에너지는 정확한 중점 값에 도함수 경계와 구간 반폭의 곱을 더하고 빼서 제한한다. 영장 대칭과 공존 인수분해는 대수적으로 동률을 증명한다. 일반 에너지 구간이 정밀도 상한에서도 겹치면 전역 후보 집합과 미해결 상태를 남긴다.

모든 근을 찾았다는 사실과 전역 선택을 해결했다는 사실은 별도의 표시다. 작은 잔차는 어느 쪽 증명도 대신할 수 없다. 숫자 표시 범위 밖의 비영 값은 부호 있는 경계를 유지한다. 영곡률 접힘에 유한한 역곡률을 만들어 넣지 않는다. 독립 Decimal 참조는 Sturm 알고리즘을 복사하지 않고 곡률의 해석적 전환점과 단조 구간을 사용한다.

$$|\Phi(m_*)-\Phi(\bar m)|\leq\frac{u-\ell}{2}\sup_{m\in[\ell,u]}|g(m)|,\qquad \bar m=\frac{\ell+u}{2},\qquad m_*\in[\ell,u].$$

공존과 안정성을 실제 실험과 연결하기

a=3/16,b=-1·세 최소 공존을 먼저 선택하세요. 자유에너지에서 세 골짜기를 찾은 뒤 도함수로 바꾸어 정지근 다섯 개를 확인하세요. 근 표의 행 번호는 그림 마커와 같습니다. 주황색으로 채운 마커는 인증된 전역 최소입니다. 채우지 않은 정지 마커 하나만으로 국소 안정성까지 알 수는 없습니다.

비교할 준비	바꾸기 전에 예측	결과에서 읽을 것
정렬 접힘 a=1/4 → 공존 a=3/16	바깥 근이 생기면 이미 전역적으로 선호될까요?	이중 정지 변곡점과 다섯 단순근·세 전역 최소를 구별하세요.
사차 임계 → 삼중임계 → 평평한 극대	곡률0만으로 국소 모양을 정할 수 있을까요?	중복도3·5·3, 역할, 처음 비영인 정지 도함수를 함께 읽으세요.
작은 장 → 공존 계수의 최소 비영 장	아주 작은 기울기는 정확한 동률을 남길까요?	전역 역할과 에너지 초과를 비교하세요. 표시 에너지가 같아도 양의 분할을 남겨야 합니다.

근 상세에서는 곡률과 에너지 초과를, 근 확대에서는 국소 그림을 보고 전체 그림으로 범위를 되돌리세요. 질서변수는 실수 전체에 놓이며 그림 범위가 |m|≤1 제약은 아닙니다. a,b,c,H를 입력하고 Enter 또는 다른 칸으로 이동하여 적용하세요. 여기의 b는 사차 계수이고 장은 H입니다. 정밀도 상한은 산술 자원이며 온도가 아닙니다. 이름 붙은 미해결 예제는 상한에서 전역 후보 두 개를 남깁니다. 모든 근을 찾은 것과 전역 비교를 해결한 것은 별개입니다. 정적 장벽 표는 인접한 최소·극대 행을 연결하지만 전환 시간까지 정하지 않습니다. 모션을 멈추어도 수동 예제 단계는 사용할 수 있습니다.

여섯 가지 직접 검산

1. 세 상태의 공존 증명하기

a=3/16,b=−1,c=1,H=0에서 모든 최소·극대를 찾고 장벽을 구하자.

해설. 퍼텐셜은 m²(m²−3/4)²/6으로 인수분해된다. 모든 곳에서 비음수이므로 0과 ±√3/2는 값이 0인 전역 최소다. 나머지 정지근 ±1/2는 높이 1/96의 극대다. 그 곡률은 −1/4이고 중앙·바깥 최소의 곡률은 각각 3/16,3/4다. 서로 다른 단순근이 다섯 개이고 인접 최소에서 극대로 향하는 장벽 비교는 네 개다.

2. 세 특징적인 계수 구별하기

b=−1,c=1,H=0을 유지하며 a를 내리자. 공존, 정렬 접힘, 중앙의 안정성 경계는 각각 어느 값인가?

해설. 각각 3/16,1/4,0이다. a=1/4에서는 정지근이 0과 ±1/√2다. 바깥 근은 중복도 2의 정지 변곡점이고 0이 유일한 최소다. a=3/16에서는 세 최소가 공존한다. a=0의 원점은 중복도 3의 평평한 극대다. 곡률이 0인지 확인하는 한 가지 규칙으로 이 사건들을 합쳐서는 안 된다.

3. 사차와 육차 임계성 비교하기

H=0에서 a=0,b=1,c=1과 a=b=0,c=1을 비교하고 각각 작은 양의 장을 주자.

해설. 두 원점 모두 곡률 0의 엄밀한 최소다. 첫 준비에서 g는 m³부터 시작하여 근이 H의 세제곱근으로 변한다. 둘째는 g=m⁵이므로 H의 다섯제곱근이다. 정지근의 중복도는 각각 3과 5다. 가장 작은 양의 binary64 장에서 육차의 근은 약 2.18×10^−65이고 음의 자유에너지도 0이 아니다. 고차 정보가 두 준비를 구분한다.

4. 기울어진 이중근 만들기

a=−5/16,b=0,c=1,H=−1/8에서 m=1/2가 정지근인지 확인하고 분류하자.

해설. g(1/2)=1/32−5/32+1/8=0이고 g′(1/2)=5/16−5/16=0이다. 그곳에서 g의 이차 도함수는 20m³=5/2이므로 중복도 2다. 퍼텐셜의 정지 변곡점이다. H를 조금 올리면 가까운 두 양의 정지근이 생기고 내리면 그 쌍이 사라진다. 별도의 음의 전역 최소도 존재한다. 이중근을 안정한 최소로 세면 잘못된 그림이 된다.

5. 영점 밖의 고차 최소 찾기

a=15/16,b=−5/2,c=3,H=1/4에서 m=1/2를 검사하자.

해설. g,g′,g″가 모두 0이고 g‴=30>0이다. 실제로 g=3(m−1/2)³(m²+3m/2+2/3)이며 이차 인자의 판별식이 음수여서 항상 양수다. 따라서 퍼텐셜은 1/2 이전에 감소하고 이후에 증가한다. 정지 중복도 3, 곡률 0, 에너지 −5/128인 유일한 전역 최소다. 영이 아닌 장에서도 조정된 고차 최소가 가능하다.

6. 작은 편향과 잠열을 따로 해석하기

세 상태 공존에서 가장 작은 양의 binary64 H를 주자. 그다음 별도로 H=0,a(T)=α(T−T₀) 준비를 생각하자.

해설. 작은 장은 양의 바깥 최소를 선택한다. 음의 최소와 중앙 최소도 양의 자유에너지 초과를 가진 국소 최소로 남는다. 화면이 분할을 반올림해 없앴다고 실제로 같은 에너지가 되는 것은 아니다. 열적 준비의 엔트로피 차이에는 α와 f₀가 필요하고 잠열 밀도에는 T*도 필요하다. 장의 선택 실험에는 그 물리량이 주어지지 않았다. 같은 지형을 사용하지만 제어 절차가 다른 두 질문이다.

구분이 보이는 실험으로 연결하기

전체 퍼텐셜, 도함수, 근 표를 연결하자. b=−1,c=1,H=0에서 a를 1/4,3/16,0을 지나며 내린다. 국소 최소와 선택된 전역 집합은 따로 강조한다. 접힘 부근에는 확대를 제공하고 두 마커가 눈으로 구별되지 않아도 중복도 표시는 남긴다.

둘째 실험은 양의 사차항, 사차항 0, 음의 사차항 가족을 비교한다. 셋째는 부호 있는 장을 주어 근의 반사와 에너지 선택을 살핀다. 감소 모션 사용자는 애니메이션을 보지 않아도 같은 최종 상태를 읽을 수 있어야 한다. 정확한 경계와 인접 binary64 준비는 이름 붙은 선택지로 제공한다. 거친 슬라이더만으로는 그런 비교를 하기 어렵다.

등록된 읽기 화면은 이 준비들과 취소 가능한 계산 worker, 유효한 설정 저장을 연결한다. 독립 이론과 수치 검사만으로 취소 동작·저장 복원·브라우저 렌더링의 정확성까지 입증할 수는 없으며 실제 통합 검사가 필요하다. Tong의 통계장론 강의는 Landau 접근과 적용 한계의 더 넓은 배경을 제공한다. 여기의 정확한 육차 준비, 유리수 근 인증, 손계산은 별도로 정의했다.

AI 연구에서는 국소 최적화 궤적과 전역 최소를 비교하고, 특이한 곡률 근처의 암시적 기울기를 살피며, 유효 목적함수와 확률모형을 구분해보자. 다음 상관·요동 및 상세평형 주제에서는 이 정적 스칼라 지형에 들어 있지 않은 앙상블과 동역학 정보를 보탠다.