끌개

계산물리 수치해석 물리 마지막 수정: 2026-08-11 04:12:19

1. 개요[편집]

끌개 Attractor
세 조건	불변성 · 흡인성 · 최소성(추이성)
사는 곳	소산계 (보존계에는 없다)
측도	끌개는 대개 측도 0, 유역은 양의 측도
위계	평형점 → 주기궤도 → 불변 토러스 → 기묘 끌개
기묘 ≠ 카오스	기묘=기하(프랙탈) · 카오스=동역학(λ₁>0)
정의	표준이 하나가 아님 (콘리 · 밀너 · 측도론)

끌개(attractor)는 소산계에서 주변 궤도들이 시간이 지나면 결국 빨려 들어가는, 더 이상 쪼갤 수 없는 불변집합이다. 흔히 쓰이는 정의는 세 조건의 묶음이다.

불변성: $\varphi_t(A) = A$ . 한 번 들어가면 못 나온다.
흡인성: $A$ 를 품는 열린 근방 $U$ 가 있어 $U$ 에서 출발한 모든 궤도가 $A$ 로 수렴한다. 이런 $U$ 를 포획 영역(trapping region)이라 한다.
최소성: $A$ 안에 조밀한 궤도가 하나 있어(위상적 추이성) 더 작은 불변 부분집합으로 쪼갤 수 없다.

세 번째 조건이 왜 필요한지는 예를 보면 바로 안다. 안정 평형점 두 개를 한꺼번에 감싼 큰 원판도 앞의 두 조건은 만족하지만, 그건 끌개가 아니라 끌리는 집합(attracting set)이다. “관측되는 최종 상태 하나”를 가리키려면 최소성이 필요하다.

끌개는 동역학계 문서가 소개한 불변집합 도감 중에서 실제로 화면에 나타나는 부류다. 이 문서는 정의가 왜 하나로 정리되지 않았는지, 끌개의 위계가 어떻게 되는지, “기묘하다”와 “카오스적이다”가 왜 다른 말인지, 그리고 수치해석자가 끌개를 관측할 때 무엇을 조심해야 하는지를 다룬다. 로렌츠 계의 구체적 구조는 로렌츠 방정식, 카오스의 판정 조건은 카오스 이론, 주기궤도로서의 끌개는 극한 순환에 있다.

2. 먼저, 왜 소산계인가[편집]

벡터장의 발산이 상공간 부피의 변화율을 준다. $\nabla\cdot\mathbf f < 0$ 인 소산계는 부피가 지수적으로 줄고, 그 극한이 원래 공간보다 차원이 낮은(측도 0인) 집합이다. 반대로 해밀토니안 역학처럼 부피가 보존되는 계에는 끌개가 존재할 수 없다 — 부피가 줄지 않는데 무언가로 수렴할 방법이 없다. 해밀턴 계에서 “끌개 비슷한 것”을 찾는 사람은 대신 KAM 토러스와 불변 토러스 구조를 본다(KAM 정리, 표준 사상).

이 점이 실무적으로 중요하다. 감쇠가 0인 모형에서 “끌개로 수렴했다”는 보고가 나오면 그건 수치 소산이다. 적분기가 몰래 넣은 에너지 손실이 없는 끌개를 만들어 낸 것이고, 격자나 시간간격을 바꾸면 사라진다.

3. 정의가 하나가 아니다[편집]

교과서마다 끌개의 정의가 미묘하게 다르고, 이건 취향 문제가 아니라 실제로 서로 다른 집합을 가리킨다.

콘리식(위상적). 포획 영역 $N$ 을 잡고 $A = \bigcap_{t\ge0}\varphi_t(N)$ 으로 정의한다. 계산하기 좋고 수치 연속법과 궁합이 맞지만, 추이성을 따로 요구하지 않으면 여러 끌개의 합집합이 통째로 하나로 잡힌다.
밀너식(측도론적). 밀너(1985)는 “근방 전체를 끌어야 한다”는 요구를 **“끌어당기는 초기조건 집합이 양의 르베그 측도이면 된다”**로 약화했다. 이러면 근방 안에 다른 곳으로 새는 점들이 섞여 있어도 끌개로 인정된다. 이 확장이 필요한 이유는 실제로 그런 집합이 흔하기 때문이다 — 뒤에 나오는 라이딩 유역이나, 궤도 대부분을 끌어당기지만 리아푸노프 안정하지는 않은 헤테로클리닉 사이클이 그런 사례다. 밀너 정의에서는 “최소성” 자리에 “이 조건을 만족하는 더 작은 닫힌 집합이 (측도 0 차이를 무시하고) 없을 것”이 들어간다.
측도론적(SRB). 물리학 쪽에서는 집합보다 불변 측도를 본다. 궤도의 시간 평균이 수렴하는 대상은 집합이 아니라 측도이고, 소산계에서 그 역할을 하는 것이 SRB 측도다. “끌개가 뭐냐”보다 “장기 통계가 뭐냐”가 실제로 궁금한 질문이라면 이쪽이 정답이다.

정의가 여럿이라는 사실 자체를 알아 둬야 하는 이유는, 논문이 “끌개가 존재한다”고 할 때 어느 정의인지에 따라 주장의 강도가 다르기 때문이다. 로렌츠 계처럼 “기하학적 모형에는 끌개가 있는데 원래 방정식에도 있는가”가 40년 미해결로 남았던 사례(로렌츠 방정식 참고)가 이 미묘함을 잘 보여 준다.

4. 끌개 도감[편집]

끌개	차원	스펙트럼	랴푸노프 지수	대표 사례
안정 평형점	0	선 없음(DC)	전부 음	수렴한 정상해
주기궤도	1	기본진동수와 배음	하나 0, 나머지 음	극한 순환, 카르만 와열
불변 $k$ -토러스	$k$	무리수 비의 진동수 $k$ 개	$k$ 개 0, 나머지 음	준주기 진동, 맥놀이
기묘 끌개	정수가 아님	연속 스펙트럼	적어도 하나 양	로렌츠 · 에농

위에서 아래로 내려가는 순서가 그대로 카오스로 가는 경로의 뼈대다. 평형점이 호프 분기로 주기궤도를 낳고, 그 주기궤도가 2차 호프(뇌마르크-사커) 분기로 2-토러스가 되고, 토러스가 깨지면 기묘 끌개가 남는다(뤼엘-타켄스 시나리오). 주기배가 캐스케이드나 간헐성(간헐성) 경로도 같은 도감 안에서의 이동이다.

여기에 도감 밖 항목이 하나 더 있다. 안장형 카오스 집합(chaotic saddle)은 내부 동역학이 카오스지만 흡인성이 없어서 끌개가 아니다. 궤도는 한동안 그 근처에서 카오스처럼 놀다가 어느 순간 빠져나가 다른 끌개로 간다. 이것이 과도 카오스이고, 뒤에서 보듯 수치 실험에서 제일 자주 사람을 속이는 존재다.

5. 기묘함과 카오스는 다른 축이다[편집]

“기묘 끌개(strange attractor)“라는 이름은 뤼엘과 타켄스가 붙였고, 원래 뜻은 기하학적으로 이상하다 — 즉 매끄러운 다양체가 아니라 프랙탈 구조를 갖는다 — 는 것이다. 반면 “카오스적”은 동역학적으로 민감하다, 즉 최대 랴푸노프 지수가 양이라는 뜻이다. 두 성질은 대개 함께 오지만 논리적으로 독립이며, 반례가 양쪽으로 다 있다.

기묘하지만 카오스적이지 않은 끌개(SNA). 그레보기·오트·펠리칸·요크(1984)가 준주기적으로 강제되는 계에서 찾아낸 부류다. 끌개는 프랙탈이라 어디를 확대해도 매끄러워지지 않는데, 최대 랴푸노프 지수는 음수라서 이웃한 두 초기조건이 갈라지지 않는다. 즉 예측 가능한데 모양은 기괴하다. 이후 자기탄성 리본 실험 등에서 실제로 관측되었고, 준주기 강제라는 조건 때문에 준주기 하중을 받는 구조물이나 두 개의 무리수 비 진동수가 섞이는 회전기계에서 현실적 관심사가 된다.¹

카오스적이지만 기묘하지 않은 끌개. 반대 방향의 예는 끌개가 매끄러운 다양체 전체인데도 그 위의 동역학이 지수적으로 갈라지는 경우다. 팽창 원사상이나 초입방체 전체를 채우는 쌍곡 사상류가 여기 인용된다. 이 경우 “프랙탈 차원”을 물으면 답은 그냥 정수다.

그래서 정확한 화법은 이렇다. 차원을 재서 정수가 아니면 기묘한 것이고, 랴푸노프 지수를 재서 양이면 카오스적인 것이다. 둘은 서로 다른 측정으로 판정해야 하며, 하나를 보고 다른 하나를 선언하면 안 된다.

6. 끌개의 차원[편집]

기묘 끌개의 프랙탈 차원은 여러 방식으로 정의되고, 일반적으로

D_2 \le D_1 \le D_0

의 순서를 갖는다( $D_0$ 상자 세기, $D_1$ 정보 차원, $D_2$ 상관 차원). 실험 시계열에서 실제로 계산되는 것은 대개 그라스베르거-프로카치아 상관합으로 얻는 $D_2$ 인데, 이유는 단순하다 — 상자 세기는 차원이 커질수록 필요한 점 개수가 지수적으로 폭발해서 못 쓴다. 필요한 표본 수가 $10^{D}$ 규모라, $D=5$ 만 되어도 실험 데이터로는 사실상 불가능하다.

수치 모형이 있다면 훨씬 싼 길이 있다. 랴푸노프 스펙트럼에서 캐플런-요크 차원을 얻는 것으로, 계산량이 궤도 하나 + 접선공간 몇 개뿐이다(공식과 로렌츠 계 값은 랴푸노프 지수 참고). 스펙트럼 전체를 뽑는 비용이 아까우면 $\lambda_1$ 만으로 카오스 여부를 판정하고 차원은 포기하는 것도 흔한 타협이다.

무한차원 계에도 끌개가 있다. 2차원 나비에-스토크스 방정식처럼 소산성이 충분한 편미분방정식에서는 전역 끌개가 존재하고, 그 프랙탈 차원이 유한하며 상계가 무차원수(그라스호프 수 등)의 멱으로 주어진다는 것이 증명되어 있다. “무한 자유도인데 장기 거동은 유한 자유도”라는 이 결과가 축소차수모델과 관성 다양체의 이론적 근거다. 다만 차원 상계는 대개 실측값보다 훨씬 크게 나오므로, “차원이 유한하다”를 “모드 몇 개면 된다”로 곧장 번역하면 안 된다.

7. 수치적으로 끌개를 본다는 것[편집]

실무 절차는 언제나 같다. 과도구간을 버리고, 남은 궤도를 끌개의 표본으로 취급한다. 문제는 이 한 줄에 함정이 여러 개 박혀 있다는 것이다.

얼마나 버릴 것인가. 정답은 “통계량이 버린 길이에 더 이상 의존하지 않을 때까지”다. 버림 구간을 두 배로 늘려도 평균·분산·스펙트럼이 안 변하면 그때 비로소 끌개 위에 있다고 본다. 기후 모형의 스핀업, 난류 LES 통계 수집 전의 발달 구간이 전부 같은 이야기다. 수렴 판정을 잔차로만 하는 습관은 여기서 무력하다 — 비정상 해석의 잔차는 애초에 0으로 안 간다.
과도 카오스에 속는다. 유한한 시간 동안 카오스처럼 보이다가 갑자기 주기해로 붕괴하는 계가 흔하다. 안장형 카오스 집합에 붙어 있다가 탈출한 것이며, 탈출 시각은 초기조건에 지수적으로 민감하다. 관 유동의 층류-난류 천이가 대표 사례로, 난류가 통계적으로 지속되는 임계 레이놀즈수가 $\mathrm{Re}\approx 2040$ 부근이라는 결과가 이 관점에서 나왔다. “1000초 돌렸는데 계속 난류더라”는 끌개의 증거가 아니다.
여러 끌개가 공존한다. 초기조건 하나로 끌개를 결론짓는 것은 흡인 유역 하나를 표본추출한 것에 불과하다. 케이스마다 결과가 다른데 격자나 솔버 설정을 아무리 뒤져도 이유가 안 나온다면, 원인이 유역일 가능성을 먼저 검토해야 한다.
끌개가 적분기의 산물일 수 있다. 동역학계 문서에서 본 대로 이산화는 원래 방정식에 없던 주기해와 카오스를 만든다. 시간간격을 절반으로 줄여도 끌개가 같은 모양으로 남는지 확인하는 것이 최소한의 검증이다.²
관측 좌표가 하나뿐일 때. 실험 시계열밖에 없으면 지연 좌표로 상공간을 재구성한 뒤(타켄스 정리) 끌개 구조를 본다. 푸앵카레 단면을 찍어 점 몇 개(주기), 닫힌 곡선(준주기), 프랙탈 점구름(카오스)을 구분하는 것이 가장 빠른 1차 진단이다.

마지막으로 자주 나오는 오해 하나. 끌개는 “계가 가는 곳”이지 “계가 안정한 곳”이 아니다. 끌개가 존재한다고 해서 그 위의 개별 궤도가 예측 가능한 것도 아니고, 다른 끌개로 뛸 위험이 없는 것도 아니다. 유한한 잡음이 있는 현실 계에서는 얕은 끌개 사이를 오가는 도약이 일어나며, 이 확률을 다루는 순간 문제는 결정론적 동역학에서 불확실성 정량화의 영역으로 넘어간다.³

8. 관련 문서[편집]

이름이 킹받는다는 지적이 예전부터 있었다. “이상하지만 혼돈스럽지 않은 끌개”라니, 처음 듣는 사람은 형용 모순으로 받아들인다. 그런데 원래 “strange”는 뤼엘이 기하에 붙인 말이고 “chaotic”은 동역학에 붙은 말이라, 두 단어가 같은 축에 있다고 착각하는 쪽이 문제다. ↩
이 검증을 안 하고 “우리 코드에서 새로운 끌개를 발견했다”고 발표했다가 시간간격 절반에서 사라진 사례는 학회마다 하나씩 있다. 발견의 기쁨과 $\Delta t$ 수렴 시험 사이에는 대체로 저녁 회식이 끼어 있다. ↩
그래서 다중 안정 계의 설계 보고서에는 “이 끌개로 수렴했습니다” 대신 “초기조건 200개 중 187개가 이 끌개로 갔고 나머지는 저쪽으로 갔습니다”를 쓰는 것이 정직하다. 숫자가 하나 더 붙었을 뿐인데 리뷰어의 표정이 달라진다. ↩

끌개