1. 개요[편집]
| 솔리톤 Soliton | |
|---|---|
| 정체 | 비선형 × 분산이 상쇄된 국소 진행파 |
| 결정적 성질 | 충돌 후 형태 복원, 위상 이동만 남음 |
| 첫 목격 | 1834년 존 스콧 러셀, 유니언 운하 |
| 대표 방정식 | KdV, 비선형 슈뢰딩거, 사인-고든, 토다 격자 |
| 이론적 배경 | 역산란 변환, 적분가능계, 무한개 보존량 |
| 수치해석 난이도 | 분산 오차 있는 도식은 못 살림 |
파동은 퍼지라고 있는 건데, 얘는 안 퍼진다.
솔리톤(soliton)은 비선형 파동 방정식에서 비선형성에 의한 파형 첨예화와 분산에 의한 퍼짐이 정확히 상쇄되어 모양·속도를 유지한 채 전파하고, 다른 솔리톤과 충돌한 뒤에도 원래 형태와 속도를 되찾는 국소화된 파동이다. 충돌이 남기는 유일한 흔적은 위치의 어긋남, 즉 위상 이동(phase shift)뿐이다. 입자처럼 부딪히고 튕겨 나가면서도 파동이라서, 이름의 접미사 -on도 전자(electron)·광자(photon) 같은 입자 이름에서 따왔다.1
여기서 “솔리터리 웨이브(고립파)“와 “솔리톤”을 구분하는 게 중요하다. 모양을 유지하며 가는 국소파는 전부 고립파지만, 충돌 후에도 정체성을 유지하는 것만 솔리톤이라 부른다. 이 구분은 미적분학적 사치가 아니라 적분가능계 구조가 있느냐 없느냐의 문제고, 수치적으로도 “충돌시켜 보면 안다”는 아주 실용적인 판별법이 된다.
2. 러셀의 목격담[편집]
1834년 8월, 스코틀랜드 유니언 운하에서 조선공학자 존 스콧 러셀(John Scott Russell)은 배가 갑자기 멈추자 뱃머리 앞에서 떨어져 나간 물 덩어리가 형태를 유지한 채 상류로 달려가는 것을 봤다. 그는 말을 타고 23 km를 쫓아가며 관찰했고, 높이 약 3045 cm, 길이 약 9 m의 이 매끄러운 물 언덕이 속도를 거의 잃지 않는다고 기록했다. 그가 붙인 이름이 Wave of Translation(병진파)이다.
문제는 당시 주류 선형 파동 이론으로는 이런 물건이 존재할 수 없었다는 것. 조지 에어리와 스톡스는 회의적이었고, 러셀은 한동안 “운하에서 헛것을 본 사람” 취급을 받았다. 부시네스크(1871)와 레일리(1876)가 약비선형 장파 근사에서 꼴 고립파 해를 얻으면서 명예 회복이 시작됐고, 1895년 코르테베흐와 더프리스가 KdV 방정식을 유도하며 러셀이 옳았음이 확정됐다. 목격에서 이론적 확정까지 61년 걸린 셈.
3. 균형의 메커니즘[편집]
KdV를 예로 들면 방정식은
이고, 두 항이 정반대 일을 한다.
- 비선형 이류항 : 진폭이 큰 부분이 더 빨리 이동해 파형 앞면이 서서 결국 충격파처럼 꺾이려 한다.
- 분산항 : 선형화하면 분산 관계가 , 위상속도가 라 파수마다 속도가 달라 파속(wave packet)이 퍼진다.
이 둘이 특정 진폭·폭 조합에서 정확히 맞물리면 파형이 고정된다. 그래서 솔리톤의 진폭·폭·속도는 독립 파라미터가 아니라 하나의 값으로 서로 묶여 있다. KdV 1-솔리톤은 라, 진폭 , 폭 , 속도 — 즉 클수록 빠르고 좁다. 이 관계 자체가 솔리톤임을 확인하는 첫 번째 체크리스트다.
4. 솔리톤이 사는 방정식들[편집]
| 방정식 | 솔리톤 형태 | 무대 |
|---|---|---|
| KdV | 산 모양 | 얕은 물 장파, 이온음파 |
| 비선형 슈뢰딩거(NLS) | 밝은 / 어두운 kink | 광섬유 펄스, BEC |
| 사인-고든 | 킹크·안티킹크·브리더 | 조지프슨 접합, 결정 전위 |
| 토다 격자 | 이산 격자 압축파 | 비선형 격자 동역학 |
네 방정식 모두 적분가능계이고, 공통적으로 락스 쌍(Lax pair)과 무한개의 보존량을 갖는다. 즉 이들의 솔리톤은 우연히 잘 버티는 혹이 아니라, 보존 구조가 강제하는 필연이다. 반대로 비적분계에도 고립파는 흔히 존재하지만, 충돌시키면 방사파(radiation)를 흘리며 조금씩 망가진다.
5. FPUT과 자브스키-크루스칼[편집]
솔리톤이 현대 물리에 돌아온 계기는 페르미-파스타-울람-칭구 문제였다. 1955년 로스앨러모스의 MANIAC에서 약한 비선형 스프링 사슬을 돌렸더니, 등분배로 향할 줄 알았던 에너지가 초기 모드로 되돌아왔다. 1965년 자브스키(Zabusky)와 크루스칼(Kruskal)은 이 사슬의 연속체 극한이 KdV임을 보이고 직접 수치적분해서, 초기 사인파가 여러 개의 혹으로 갈라지고, 서로 통과한 뒤에도 형태를 유지하며, 주기적으로 위상이 거의 맞아떨어져 초기 상태가 재현된다는 것을 밝혔다. “soliton”이라는 단어가 여기서 태어났다.2
이후 1967년 가드너·그린·크루스칼·미우라가 역산란 변환(IST)을 발표한다. 핵심은 의 스펙트럼이 시간에 대해 불변이고, 산란 데이터(반사계수·이산 고유값·규격화 상수)는 선형 방정식으로 진화한다는 것. 비선형 PDE를 “산란 데이터로 갈아탄 뒤 선형으로 풀고 되돌아오는” 절차로 바꿔버린, 사실상 비선형판 푸리에 변환이다. 이산 고유값 하나가 솔리톤 하나에 대응하므로, 초기 조건만 보고 몇 개의 솔리톤이 튀어나올지 미리 셀 수 있다.
6. 충돌과 위상 이동[편집]
두 솔리톤이 충돌하면 겹치는 순간에는 진폭이 단순 합이 아니고(비선형이니까) 일시적으로 찌그러지지만, 분리되고 나면 각자의 진폭·속도가 정확히 복원된다. 대신 큰 솔리톤은 아무 일 없었다면 있었을 위치보다 앞으로, 작은 솔리톤은 뒤로 밀린다. 이 위상 이동은 IST로 정확한 닫힌 형태가 나오며, 수치 실험의 정밀한 정답지 역할을 한다.
7. 응용[편집]
- 광섬유 솔리톤 통신: 하세가와와 태퍼트(1973)가 광섬유 내 펄스가 NLS를 따르며 군속도 분산과 커 비선형성이 상쇄되는 영역에서 솔리톤이 된다고 예측했고, 몰레나워 등이 1980년에 실험으로 확인했다. 분산 보상 없이 장거리 전송이 가능하다는 점에서 한때 광통신의 미래로 꼽혔다.3
- 보스-아인슈타인 응축(BEC): 그로스-피타옙스키 방정식이 NLS 꼴이라, 상호작용 부호에 따라 밝은/어두운 물질파 솔리톤이 실험적으로 생성된다.
- 해양·조석: 안다만해 등지의 내부파 솔리톤은 위성 사진에 줄무늬로 찍힌다. 강 하구의 조석 보어(tidal bore) 중 완만한 것은 정면에 고립파 열을 달고 올라온다.
- 응집물질·소자: 조지프슨 접합의 자속 양자, 폴리아세틸렌의 전하 솔리톤 등.
8. 수치해석에서의 솔리톤[편집]
솔리톤은 수치 도식의 품질을 잔인하게 검증하는 벤치마크다. 수치 소산과 분산이 조금만 있어도 솔리톤은 살아남지 못한다.
- 수치 소산이 있는 상류 차분 계열은 진폭을 갉아먹고, 진폭이 줄면 속도까지 틀려진다(속도와 진폭이 묶여 있으니까).
- 도식의 분산 오차는 물리적 분산항 와 직접 경쟁한다. 균형이 깨지면 솔리톤 뒤로 가짜 잔물결 꼬리가 생긴다.
- 그래서 국룰은 공간은 스펙트럴 방법(FFT 의사스펙트럴), 시간은 보존형·심플렉틱 또는 지수 적분기다. 장시간 적분에서 , 같은 보존량의 표류량을 모니터링하는 것이 사실상의 정확도 지표가 된다.
- 검증은 (1) 1-솔리톤 이동 후 오차, (2) 2-솔리톤 충돌 후 진폭 복원율, (3) IST 정확해와의 위상 이동 비교 — 이 세 가지가 표준 세트다.4
9. 관련 문서[편집]
- KdV 방정식
- 적분가능계
- 얕은 물 방정식
- 페르미-파스타-울람-칭구 문제
- 스펙트럴 방법 · 의사스펙트럼
- 수치 소산과 분산
- 심플렉틱 적분기 · 지수 적분기
- 비선형 슈뢰딩거 방정식 · 사인-고든 방정식
- 역산란 변환
- 충격파 · 편미분방정식
10. Footnotes[편집]
-
정작 러셀 본인은 “위대한 병진파(great wave of translation)“라는, 발음하기도 힘든 이름을 끝까지 밀었다. 이름 짓기는 확실히 크루스칼이 잘했다. ↩
-
자브스키-크루스칼의 계산 자체는 지금 기준으로는 노트북에서 몇 초면 끝나는 규모다. 물리학사에 남는 수치 실험의 조건은 격자 수가 아니라 무엇을 볼 줄 아느냐라는 교훈. ↩
-
솔리톤 통신이 결국 시장을 먹지 못한 이유는 물리가 틀려서가 아니라, 그 사이에 EDFA 광증폭기와 분산 보상 광섬유, 코히런트 검출·DSP가 훨씬 싸게 같은 문제를 해결해버렸기 때문이다. 우아한 해법이 항상 이기는 건 아니다. ↩
-
세 번째 항목이 특히 킹받는데, 진폭은 잘 맞는데 위상 이동만 틀리는 도식이 실제로 흔하다. “형태는 유지되는데 만난 적이 없는 것처럼 지나간다”면 그 코드의 비선형항 이산화를 의심하자. ↩