푸앵카레-지겔 정리

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

1. 개요[편집]

푸앵카레-지겔 정리 Poincaré–Siegel theorem
대상	복소 해석적 사상의 고정점 f(z) = λz + O(z²)
묻는 것	좌표변환으로 f 를 z ↦ λz 로 만들 수 있는가
쉬운 경우	0 < \|λ\| ≠ 1 → 언제나 가능 (쾨니그스, 1884)
어려운 경우	\|λ\| = 1, λ = e^2πiα, α 무리수
지겔(1942)	α 가 디오판토스면 선형화 가능 → 지겔 원판
브루노(1971)	Σ log q_n+1 / q_n < ∞ 로 조건 약화
요코즈(1995)	2차 다항식에서는 브루노 조건이 필요충분
반대편	크레머 점 — 선형화 불가능, 베르 범주로는 오히려 전형적

고정점 하나를 선형으로 펴는 좌표를 찾는 문제. 그런데 답이 승수의 소수점 아래 무한한 산술에 달려 있다.

푸앵카레-지겔 정리는 복소 해석적 사상의 고정점을 해석적 좌표변환으로 선형화할 수 있는지가 승수 $\lambda = f'(0)$ 의 산술적 성질로 결정된다는 일련의 결과를 가리킨다. 승수가 단위원에서 떨어져 있으면 항상 되고(쾨니그스·푸앵카레), 단위원 위에 있으면 회전수가 유리수로 얼마나 잘 근사되느냐가 갈림길이 된다(지겔·브루노·요코즈).

이 문제가 유명한 이유는 답이 예쁘기 때문이 아니라, 소분모가 급수를 죽이는 방식이 여기서 가장 벌거벗은 형태로 보이기 때문이다. KAM 정리의 불변 원환면, 정규형 이론의 근공명, 매개화 방법의 코호몰로지 방정식이 전부 같은 병을 앓는데, 이 문제는 미지수가 한 개짜리 멱급수라 그 병의 원인과 처방을 끝까지 추적할 수 있다. 소분모 문제의 실험실 표본인 셈이다.

실수 세계의 매끄러운 선형화(스턴버그, 하트만-그로브만)와 다차원 해석적 선형화의 지형은 스턴버그 정리가 다룬다. 이 문서는 1차원 복소 해석적 사상에서 단위원 위 승수가 만드는 문제에 집중한다.

2. 선형화 방정식과 계수 점화식[편집]

$f(z) = \lambda z + \sum_{n\ge2} a_n z^n$ 이 원점 근방에서 해석적이라 하자. 원하는 것은 $h(z) = z + \sum_{n\ge2} h_n z^n$ 으로

h(\lambda z) = f\big(h(z)\big)

를 만족시키는 것이다. 성립하면 $h^{-1}\circ f\circ h(z) = \lambda z$ 이므로 $f$ 는 원점 근방에서 회전·확대와 해석적으로 공액이다.

양변의 $z^n$ 계수를 비교하면 곧바로 점화식이 나온다.

\big(\lambda^{\,n} - \lambda\big)\, h_n \;=\; a_n + \big(\,a_2,\dots,a_{n-1},\ h_2,\dots,h_{n-1}\ \text{로 결정되는 항}\,\big)

즉 매 차수마다 분모가 $\lambda^n - \lambda = \lambda(\lambda^{\,n-1} - 1)$ 인 나눗셈이 한 번씩 일어난다. 형식적 급수는 이 분모가 0만 아니면 언제든 만들어진다. 문제는 그 급수가 수렴하느냐이고, 수렴 여부를 결정하는 것이 분모가 0에 얼마나 빨리 접근하느냐다.

3. 쌍곡이면 공짜다[편집]

$0 < |\lambda| < 1$ 또는 $|\lambda| > 1$ 이면 $|\lambda^{n-1} - 1|$ 이 $n$ 에 대해 일정한 값 이상으로 유지된다. 분모가 아래로 유계이므로 계수 증가가 통제되고, 급수는 양의 반경에서 수렴한다. 이것이 쾨니그스의 정리(1884)이며, 선형화 좌표는 상수배를 빼면 유일하다. 실제 구성은 $h = \lim_{n\to\infty} \lambda^{-n} f^{\,n}$ 이라는 극한이라, 증명이 곧 알고리즘이다.

남는 특수 경우 둘도 답이 알려져 있다.

$\lambda = 0$ (초끌개). 선형화 대신 $z \mapsto z^d$ 와 공액이 된다(뵈처, 1904). 만델브로 집합의 외부 매개변수를 정의할 때 쓰이는 그 좌표다.
$\lambda$ 가 1의 거듭제곱근 (포물형). 항등사상이 아닌 한 선형화 불가능이다. $\lambda^{n-1}=1$ 이 되는 $n$ 에서 분모가 정확히 0이 되고, 그 차수의 계수를 지울 방법이 없다. 대신 고정점 주위에 끌림 꽃잎과 밀림 꽃잎이 번갈아 붙는 르오-파투 꽃 구조가 나타난다.

4. 단위원 위 — 소분모의 정체[편집]

$\lambda = e^{2\pi i\alpha}$ 이고 $\alpha$ 가 무리수면 분모는 절대 0이 아니다. 그런데

\big|\lambda^{\,m} - 1\big| = \big|e^{2\pi i m\alpha} - 1\big| = 2\big|\sin(\pi m\alpha)\big|

이고, $m\alpha$ 가 정수에 가까울 때마다 이 값이 작아진다. $\alpha$ 가 유리수로 잘 근사될수록 분모가 자주, 그리고 깊이 0에 접근한다. 얼마나 잘 근사되는지를 재는 표준 도구가 연분수이며, 수렴분수 $p_n/q_n$ 에 대해

\big|q_n\alpha - p_n\big| < \frac{1}{q_{n+1}}

이 성립한다. 즉 부분몫이 크면(= $q_{n+1}$ 이 $q_n$ 에 비해 폭발적으로 크면) 그 차수에서 분모가 재앙이 된다. 리우빌 수처럼 유리수 근사가 지나치게 좋은 $\alpha$ 를 넣으면 계수 $h_n$ 이 어떤 기하급수보다도 빠르게 커지고, 수렴 반경이 0으로 무너진다.

여기가 이 문제의 심장이다. 선형화 가능성이 $\lambda$ 의 위치가 아니라 $\alpha$ 의 디오판토스적 성질에 달려 있다. 단위원 위를 아무리 조금 움직여도 답이 뒤집히므로, 이 문제에는 연속성이라는 것이 없다.

5. 지겔의 정리와 지겔 원판[편집]

카를 루트비히 지겔이 1942년에 준 첫 긍정적 답은 조건을 정량화하는 것이었다. $\alpha$ 가 디오판토스 조건

\left|\alpha - \frac{p}{q}\right| \;\ge\; \frac{C}{q^{\,\mu}} \qquad \forall\, p/q \in \mathbb{Q}

를 어떤 $C>0$ , $\mu \ge 2$ 에 대해 만족하면, 위 급수가 수렴하여 $f$ 는 해석적으로 선형화된다. 분모가 0이 아니라는 것만으로는 부족하고 0에서 떨어지는 속도까지 통제해야 한다는 것이 요점이며, $\mu > 2$ 로 두면 이 조건을 만족하는 $\alpha$ 가 완전측도(르베그 측도 1)를 이룬다. 즉 승수를 단위원에서 무작위로 뽑으면 확률 1로 선형화된다.

선형화가 가능할 때 그것이 성립하는 최대 영역을 지겔 원판(Siegel disk)이라 부른다. 원판 안에서 $f$ 의 궤도는 동심원(선형화 좌표에서의 원)을 따라 무한히 회전하며, 끌리지도 밀리지도 않는다. 줄리아 집합 그림에서 매끄러운 나이테 무늬로 채워진 영역이 정확히 이것이다.

증명 기법도 언급해 둘 만하다. 지겔의 원 증명은 급수의 계수를 조합적으로 세는 험한 계산이었고, 이후 콜모고로프-아르놀트-모저 계열의 초선형 수렴 반복으로 훨씬 매끄럽게 재증명되었다. 소분모가 각 단계에서 잃게 하는 자릿수보다 뉴턴식 제곱 수렴이 빠르다는 논리 — KAM 정리와 정확히 같은 전략이다.

6. 브루노 조건 — 최적의 문턱[편집]

디오판토스 조건은 충분조건일 뿐 필요조건이 아니다. 알렉산드르 브루노가 1970년대 초에 이를 약화시켰다. 연분수 수렴분수의 분모 $q_n$ 으로

B(\alpha) \;=\; \sum_{n\ge0} \frac{\log q_{n+1}}{q_n} \;<\; \infty

이면 선형화가 가능하다는 것이다. 이를 브루노 조건, 만족하는 수를 브루노 수라 한다. 디오판토스 수는 전부 브루노 수이고 그 역은 아니므로, 브루노 조건이 진짜로 더 넓다. 그리고 브루노 수의 집합 역시 완전측도다.

$B(\alpha)$ 라는 급수를 보면 무엇을 재는지가 선명하다. 부분몫 하나가 커질 때마다 $\log q_{n+1}/q_n$ 이 그 대가를 계상하고, 그 대가의 총합이 유한하면 통과다. 소분모가 나쁜 정도를 한 개의 숫자로 압축한 것이 브루노 함수다.

7. 요코즈의 최적성과 크레머 점[편집]

브루노 조건이 그냥 “더 좋은 충분조건”에서 끝나지 않은 것이 이 이야기의 결말이다. 장크리스토프 요코즈가 1995년에 2차 다항식

P_\alpha(z) = e^{2\pi i\alpha} z + z^2

에 대해 $P_\alpha$ 가 선형화 가능할 필요충분조건이 $\alpha$ 가 브루노 수인 것임을 증명했다. 즉 이 족 안에서는 브루노 조건이 최적이며, 더 약한 조건으로 개선할 여지가 없다. 요코즈는 이 작업을 포함한 업적으로 1994년 필즈상을 받았다. 더 정밀하게는 지겔 원판의 등각 반경 $r(\alpha)$ 에 대해 $\log r(\alpha) + B(\alpha)$ 가 유계라는 관계까지 알려져 있어, 브루노 함수가 원판 크기를 정량적으로 예측한다.¹

반대편에는 크레머 점(Cremer point)이 있다. 후베르트 크레머가 1927년에 보인 바에 따르면, $\lambda^n - 1$ 이 $n$ 에 대해 지나치게 빠르게 0으로 접근하는 $\lambda$ 를 고르면 고정점 임의의 근방에 주기점이 축적한다. 선형화 좌표 안에서는 그런 일이 일어날 수 없으므로(선형 회전의 근방에는 주기점이 없다), 이런 고정점은 선형화 불가능이다. 이것이 크레머 점이다.

여기서 유명한 측도 대 범주의 역설이 나온다.

관점	단위원 위 전형적인 $\lambda$
르베그 측도	브루노 수 → 선형화 가능 (측도 1)
베르 범주	비브루노 수 → 크레머 점 (조밀 $G_\delta$ )

무작위로 뽑으면 확률 1로 지겔 원판이 생기지만, “일반적 위치”라는 위상적 관념으로는 오히려 크레머 점이 전형적이다. 두 종류의 “거의 모든”이 정면충돌하는 교과서적 사례이며, 논문에서 generic 이라는 단어를 볼 때마다 어느 쪽 의미인지 확인해야 하는 이유이기도 하다.²

크레머 점 주변의 국소 구조는 여전히 어렵다. 페레스-마르코가 도입한 헤지호그(hedgehog)라는 콤팩트 연결 불변집합이 존재한다는 것은 알려져 있으나, 그 위상적 성질은 대부분 미해결이다. 크레머 다항식의 줄리아 집합이 국소 연결이 아니라는 점도 여기 얽혀 있고, 그 결과 기호 동역학식 부호화가 쌍곡 다항식에서처럼 깔끔하게 되지 않는다. 승수 하나가 단위원 위 어디 있느냐로 “코드를 붙일 수 있는 계”와 “붙일 수 없는 계”가 갈리는 셈이다.

8. 경계는 어떻게 생겼나[편집]

지겔 원판이 존재할 때 그 경계의 기하도 회전수에 달려 있다. $\alpha$ 가 유계형(연분수 부분몫이 유계, 대표적으로 황금비)이면 2차 다항식 지겔 원판의 경계는 임계점을 포함하는 유사원(quasicircle)이다. 반대로 부분몫이 크게 튀는 브루노 수에서는 경계가 매우 거칠어지고, 임계점이 경계에 있는지조차 일반적으로는 미해결이다. 황금비가 이 문제에서도 “가장 안전한 무리수” 역할을 하는 것은 KAM 정리에서 황금비 원환면이 마지막까지 버티는 것과 같은 이유다 — 연분수 전개가 전부 1이라 유리수 근사가 가장 나쁘다.

수치적으로 지겔 원판을 다루는 표준 절차도 이 이론을 그대로 따른다. 선형화 급수 $h$ 의 계수를 고차까지 생성하고 계수 노름의 감쇠율에서 수렴 반경을 추정하는 방식인데, 이것이 사실상 매개화 방법을 1차원 회전 동역학 $R(s) = \lambda s$ 에 적용한 것이다. 여기에 잔차 기반 a-posteriori 부등식과 구간 해석을 얹으면 특정 $\alpha$ 에 대한 지겔 원판 반경의 엄밀한 하한을 컴퓨터로 증명할 수 있다.

9. 다차원과 실수 세계로[편집]

다차원 해석적 선형화의 지형은 고유값 집합의 배치로 갈린다. 고유값들이 단위원의 한쪽에 몰려 있는 푸앵카레 영역에서는 공명이 유한 차수에서만 가능해 비공명이면 급수가 수렴한다(푸앵카레의 정리). 고유값이 단위원을 사이에 두고 흩어진 지겔 영역에서는 공명이 임의로 높은 차수에서 계속 나타나므로 앞서 본 것과 같은 소분모 조건이 필요하며, 지겔이 준 다차원 조건이 정확히

\big|\langle \mathbf m, \boldsymbol\lambda\rangle - \lambda_j\big| \;\ge\; \frac{C}{|\mathbf m|^{\nu}}

꼴이다. 이 계보의 정리들을 한데 묶어 푸앵카레-지겔 정리라 부르는 관행이 여기서 나왔다. 자세한 비교와 $C^\infty$ 판(스턴버그·첸)과의 관계는 스턴버그 정리에 있다.

실무적 교훈은 짧다. 선형화가 되느냐 안 되느냐는 이분법이지만, 계산에 필요한 것은 이분법이 아니라 정도다. 브루노 급수가 유한해도 그 값이 크면 선형화 좌표가 유효한 영역이 지독하게 좁아져 실제로는 쓸 수 없다.³ 정규형 이론에서 근공명 계수가 폭발하는 현상, 매개화 방법에서 정의역을 넓히면 계수 꼬리가 안 죽는 현상이 전부 같은 이야기의 다른 얼굴이다.

10. 관련 문서[편집]

이 결과의 미학이 상당하다. “선형화가 되는가”라는 예/아니오 질문의 답이 $B(\alpha)$ 라는 하나의 실수로 압축되고, 그 실수가 원판의 크기까지 알려 준다. 부수적으로 $B$ 는 어디서도 연속이 아닌 지독한 함수라, 지겔 원판의 크기 역시 $\alpha$ 에 대해 지독하게 불연속이다. ↩
이 대립은 논문 읽기의 실전 문제이기도 하다. “generic 하게 성립한다”는 문장을 만나면 베르 범주 의미일 가능성이 높고, 그 경우 확률 0인 사건에 대한 이야기일 수 있다. 반대로 “거의 모든”이라고 쓰여 있으면 대체로 측도 의미다. 두 단어를 섞어 쓰는 저자를 만나면 정독 속도를 반으로 줄여야 한다. ↩
게다가 부동소수점으로 주어진 $\lambda$ 는 언제나 유리수 회전수를 갖는다. 즉 컴퓨터 안의 모든 승수는 원리적으로 포물형이고, 선형화는 존재하지 않는다. 그럼에도 계산이 멀쩡히 돌아가는 것은 유한 시간·유한 정밀도에서 보이는 것이 유한 차수의 근사뿐이기 때문이다. 이 문제에서 “정확한 산술”과 “실제로 하는 계산” 사이의 간극은 웬만한 수치해석 주제보다 훨씬 크다. ↩