스턴버그 정리

수치해석 계산물리 물리 마지막 수정: 2026-08-16 04:27:51

1. 개요[편집]

스턴버그 정리 Sternberg linearization theorem
제시	S. 스턴버그 (1957~1958)
전제	쌍곡 고정점 + 비공명 + 충분한 매끄러움
결론	선형부와 C^k(또는 C^∞) 공액
장애물	공명 λ_j = Σ m_iλ_i, Σm_i ≥ 2
대가	차수 손실 — C^k 얻으려면 C^N(k) 필요
해석적 판	푸앵카레(1879) · 지겔(1942)

스턴버그 정리는 쌍곡 고정점의 고유값에 공명이 없고 계가 충분히 매끄러우면, 그 근방에서 계를 자기 선형부로 옮기는 매끄러운 좌표변환이 존재한다는 정리다. 하트만-그로브만 정리가 위상동형까지밖에 못 주는 자리를 조건 하나를 더 걸어 $C^k$ 로 끌어올린 결과이며, 스턴버그가 1957~58년 두 편의 논문에서 확립했다.

왜 굳이 매끄러움이 필요한가. 위상 공액만 있으면 궤도의 그림은 알 수 있지만 속도와 방향의 정보는 전부 사라진다. 감쇠율, 랴푸노프 지수, 다양체의 접선 방향 같은 것은 미분 가능한 사전이 있어야 옮겨진다. 반대로 말하면 스턴버그 정리가 성립하지 않는 계에서는 “선형화해서 얻은 감쇠율”이 원래 계의 양이라고 주장할 근거가 없다.

공명이라는 개념 자체와 호몰로지 방정식의 기계는 정규형 이론이 다루므로 여기서는 결과만 쓴다. 이 문서의 주제는 “어디까지 지워지고, 무엇이 대가인가” 다.

2. 공명 — 형식적 급수 단계의 장애물[편집]

$\dot{\mathbf x} = A\mathbf x + O(|\mathbf x|^2)$ 에서 $A$ 의 고유값 $\lambda_1,\dots,\lambda_n$ 이

\lambda_j = \sum_{i=1}^{n} m_i\lambda_i, \qquad m_i\in\mathbb Z_{\ge0},\ \ \sum_i m_i \ge 2

를 만족하면 공명이라 한다. 사상의 경우 곱셈꼴로 바뀌어 $\mu_j = \prod_i \mu_i^{m_i}$ 다. 푸앵카레-둘락 정리는 공명이 하나도 없으면 형식적 멱급수 수준에서 모든 비선형 항이 제거된다고 말한다. 즉 문제는 두 단계로 쪼개진다.

형식적 단계 — 계수를 차수별로 결정할 수 있는가. 비공명이면 예.
해석적/미분가능 단계 — 그 형식적 급수가 실제 함수로 실현되는가. 여기서부터가 스턴버그와 지겔의 영역이다.

2.1. 공명은 진짜 장애물이다[편집]

“어차피 형식적 이야기 아니냐”는 반문에 대한 답은 명확한 반례다. 다음 사상을 보자.

F(x,y) = (\,2x,\ \ 4y + x^2\,), \qquad L = DF(0) = \mathrm{diag}(2,4)

고유값이 $2, 4$ 라서 $\mu_2 = \mu_1^2$ 이라는 공명이 있다. 이 $F$ 가 $C^2$ 미분동형 $h$ 로 $L$ 과 공액이라고 가정해 보자. $h\circ F = L\circ h$ 를 원점에서 미분하면 $B L = L B$ ( $B = Dh(0)$ )이고, $L$ 의 대각성분이 다르므로 $B = \mathrm{diag}(b_1,b_2)$ , $b_2\ne0$ 이다. 이제 2차 항까지 비교한다. $h$ 의 둘째 성분의 2차 형식을 $q(x,y)$ 라 하면

b_2x^2 + q(2x,4y) = 4\,q(x,y)

인데, $q = q_{20}x^2 + q_{11}xy + q_{02}y^2$ 를 넣으면 $x^2$ 계수에서 $b_2 + 4q_{20} = 4q_{20}$ , 즉 $b_2 = 0$ 이 나와 모순이다. 2-제트만 비교해도 결론이 나온다 — $C^2$ 선형화는 존재하지 않는다. 물론 이 사상은 쌍곡이므로 하트만-그로브만에 의해 $C^0$ 공액은 멀쩡히 존재한다. 위상동형은 있고 미분동형은 없는 상황이 실제로 벌어진다는 것이 이 계산의 요점이다.¹

흐름 쪽 표본( $\dot x = -x,\ \dot y = -2y + x^2$ 에서 해에 $t\,e^{-2t}$ 가 붙는 현상)은 하트만-그로브만 정리 문서에 있다.

3. 정리의 진술[편집]

스턴버그 정리( $C^\infty$ 판). $F$ 가 원점을 고정하는 $C^\infty$ 국소 미분동형이고 $DF(0)$ 가 쌍곡이며 모든 차수에서 비공명이면, 원점 근방에서 $F$ 를 $DF(0)$ 로 옮기는 $C^\infty$ 미분동형이 존재한다. 벡터장 판도 같은 형태로 성립한다.

유한 매끄러움 판. 임의의 $k\ge1$ 에 대해 자연수 $N = N(k,\sigma(A))$ 가 존재하여, $F$ 가 $C^N$ 이고 차수 $N$ 이하의 공명이 없으면 $C^k$ 선형화가 존재한다.

두 번째 진술이 실무적으로 중요하다. 여기에 이 정리의 특징인 차수 손실이 들어 있다. $C^k$ 짜리 사전 하나를 얻으려면 계가 $C^k$ 인 것으로는 부족하고 훨씬 더 매끄러워야 하며, 필요한 $N(k)$ 는 $k$ 에 대해 커질 뿐 아니라 스펙트럼이 얼마나 넓게 퍼져 있는가에도 좌우된다. 고유값의 크기 비 $\ln|\lambda_{\min}|/\ln|\lambda_{\max}|$ 가 클수록 확인해야 할 공명 차수가 늘어나기 때문이다. 감쇠율이 천차만별인 강성계에서 매끄러운 선형화를 기대하기 어려운 구조적 이유가 이것이다.

3.1. 수축은 쉽고 안장은 어렵다[편집]

공명 조건을 크기로만 따져 보면 두 경우가 갈린다. 모든 고유값이 $|\lambda_i|<1$ 인 수축이라면, 공명 $|\lambda_j| = \prod|\lambda_i|^{m_i} \le |\lambda_{\max}|^{|m|}$ 에서

|m| \;\le\; \frac{\ln|\lambda_{\min}|}{\ln|\lambda_{\max}|}

라는 상한이 나온다. 즉 공명이 걸릴 수 있는 차수가 유한개뿐이라, 유한 차수만 확인하면 끝난다. 스턴버그의 1957년 논문이 수축부터 다룬 데는 이유가 있다. 이 상황을 고유값 배치의 언어로 말한 것이 푸앵카레 영역(0이 고유값들의 볼록껍질에 들어가지 않는 경우)이다.

안장은 다르다. $\mu_1 = 2$ , $\mu_2 = 1/2$ 이면 $\mu_1 = \mu_1^{m+1}\mu_2^{m}$ 이 모든 $m$ 에 대해 성립하므로, 공명 조건을 무한히 많은 차수에서 확인해야 한다. 게다가 정확히 공명이 아니더라도 $\prod\mu_i^{m_i}/\mu_j$ 가 1에 한없이 가까워질 수 있어서 변환 계수의 분모가 0에 접근한다. 이것이 지겔 영역과 작은 분모 문제이며, KAM 정리에서 만나는 것과 정확히 같은 병이다.

4. 해석적 세계 — 푸앵카레와 지겔[편집]

$C^\infty$ 가 아니라 해석적 선형화를 원하면 이야기가 한 단계 더 까다로워진다.

푸앵카레의 정리. 고유값이 푸앵카레 영역에 있고 비공명이면, 형식적 선형화 급수가 실제로 수렴해 해석적 선형화가 존재한다. 앞의 유한 차수 상한 덕분에 증명이 비교적 순하다.
지겔의 정리(1942). 지겔 영역에서도 고유값이 디오판토스 조건
$\big|\langle\mathbf m,\boldsymbol\lambda\rangle - \lambda_j\big| \;\ge\; \frac{C}{|\mathbf m|^{\nu}}$
를 만족하면 급수가 수렴한다. 분모가 0이 아닌 것만으로는 부족하고 0에서 떨어지는 속도를 정량적으로 통제해야 한다는 것이 핵심이며, 이 조건은 거의 모든(르베그 측도 1) 고유값 조합에서 성립한다. 뒤에 브루노가 조건을 약화시켰다. 이 계열의 정리를 묶어 푸앵카레-지겔 정리라 부르기도 한다.²

$C^\infty$ 판과 해석적 판의 관계를 정리해 주는 것이 첸의 정리(K.-T. Chen, 1963)다. 쌍곡 고정점에서 두 $C^\infty$ 계가 형식적으로 공액이면 $C^\infty$ 로도 공액이다. 쌍곡성이 있으면 형식 단계와 매끄러움 단계 사이의 간극이 사라진다는 뜻이라, 스턴버그 정리를 이 정리의 따름정리로 보는 서술도 흔하다. 반면 해석성은 이런 자동 승격이 없다 — 형식적으로 멀쩡한데 급수가 발산하는 예가 지겔 영역에 널려 있다.

5. 비공명은 흔한데 왜 실무는 괴로운가[편집]

고유값 공간에서 공명 조건은 가산 개의 초평면이므로 측도 0이다. 즉 계수를 무작위로 뽑으면 거의 확실히 비공명이고, 스턴버그 정리는 거의 항상 적용된다. 그런데도 실무에서 매끄러운 선형화를 믿고 쓰는 사람이 없다시피 한 데는 이유가 있다.

근공명이 공명만큼 나쁘다. $\langle\mathbf m,\boldsymbol\lambda\rangle - \lambda_j = 10^{-7}$ 이면 수학적으로는 비공명이지만, 그 차수의 변환 계수가 $10^7$ 배로 튀어 좌표변환이 실질적으로 쓸모없어진다. 비공명은 이분법이 아니라 정도 문제라는 것이 정규형 이론의 작은 분모 논의와 같은 결론이다.
공학 문제는 공명을 일부러 만든다. 구조 진동의 1:2, 1:3 내부공명, 회전기계의 정수배 차수 성분, 격자 간격이 만드는 수치 분산 관계처럼, 실제 계는 고유진동수 비가 정수에 가깝게 설계되거나 그렇게 되어 버리는 경우가 많다. 이때 남는 공명항이 곧 에너지 교환 통로이며, 정규형에서 지우지 못한 항이 물리적으로 가장 흥미로운 항이 되는 전형적 상황이다.
선형화가 필요한 게 아니라 계수 몇 개가 필요하다. 실무가 원하는 것은 좌표계 전체가 아니라 제1 랴푸노프 계수의 부호 하나인 경우가 대부분이다. 유한 차수 정규형이면 충분하고, 그건 형식 단계만으로 계산된다.

한편 유한 차수의 비공명은 계산에 직접 쓰인다. 안정 다양체 정리의 매개화 방법에서 차수별 선형계 $(A-k\lambda I)K_k = \cdots$ 가 비특이한 조건이 정확히 비공명이고, 여기서는 조건이 유한 차수까지만 필요하므로 안전하다. 다양체 계산은 잘 되는데 선형화는 안 되는 비대칭이 여기서 나온다.

6. 무엇을 잃고 무엇을 얻는가[편집]

정리의 결과를 실용적 언어로 옮기면 이렇다.

얻는 것. 매끄러운 공액이 있으면 랴푸노프 지수, 감쇠 상수, 다양체의 접촉 차수 같은 미분 정보가 선형계에서 비선형계로 그대로 옮겨간다. 위상 공액만으로는 절대 안 되는 일이다.
잃는 것. 차수 손실과 근방 축소. $C^k$ 를 요구할수록 필요한 $N(k)$ 가 커지고, 얻어지는 좌표변환이 유효한 근방은 좁아진다.
잃지 않는 것. 쌍곡성이 있는 한 안정·불안정 다양체 자체는 언제나 벡터장과 같은 급으로 매끄럽다. 공명은 다양체를 거칠게 만들지 않고, 다양체 위의 시간 매개화를 선형과 맞추는 일만 방해한다.

정리 하나를 문장 하나로 줄이면 이렇다. “지워지지 않는 항이 없으면 좌표를 바꿔 선형이 될 수 있다. 단, 매끄러움은 값을 치르고 산다.”³

7. 관련 문서[편집]

이 예제가 좋은 이유는 반례를 만드는 데 해석학이 전혀 필요 없다는 점이다. 2차 계수 하나를 맞춰 보다가 $b_2 = 0$ 이 튀어나오는 것으로 끝난다. “공명은 심오한 장애물”이라는 인상과 달리, 장애물의 정체는 그냥 연립방정식이 안 풀리는 것이다. ↩
비쌍곡 쪽으로 넘어가면 이 계열의 조건이 최적성까지 밝혀져 있다. 단위원 위의 고유값 $e^{2\pi i\alpha}$ 를 갖는 해석적 germ에 대해 브루노 조건이 선형화의 필요충분조건이라는 요코즈(1988)의 결과가 그것이다. 다만 그쪽은 쌍곡성이 없는 세계라 이 문서의 관할이 아니다. ↩
그리고 그 값이 얼마인지는 정리가 명시적으로 말해 주지 않는다. $N(k)$ 의 구체적 크기를 묻는 질문에 교과서가 “적당한 $N$ 이 존재한다”로 넘어가는 것을 보고 킹받은 경험은 이 분야 입문자의 국룰이다. ↩