장기 거동은 고정점이 정한다
지금까지는 시간에 따라 x가 어떻게 변하는지, 그래프를 시간축 위에 그렸어요. 그런데 진동이나 흐름을 이해하는 더 강력한 그림이 있어요. 시간을 지워버리고, 대신 상태 자체를 그리는 거예요. 흔들리는 추의 상태는 위치 x 하나로는 모자라요. 같은 위치라도 빠르게 지나가는 중인지 멈추기 직전인지가 다르니까요. 그래서 위치 x와 속도 x'를 한 쌍으로 묶어 (x, x')를 평면 위 한 점으로 봐요. 이게 위상평면이에요. 시간이 흐르면 이 점이 평면 위에 곡선을 그리며 움직이고, 시스템의 미분방정식이 각 점에서 그 점이 다음에 어디로 갈지 화살표로 정해줘요. 여기서 마법 같은 일이 벌어져요. 화살표가 0이 되는 특별한 점들, 고정점의 종류만 알면, 시스템이 결국 어디로 가는지, 안정될지 발산할지 빙빙 돌지를 다 알 수 있어요. 그리고 그 종류를 정하는 건, 우리가 선형대수에서 본 고유값이에요. 이번 강에서 C줄기 전체가 고유값으로 한데 묶여요.
먼저 위상평면이라는 무대를 이해해요. 가로축은 위치 x, 세로축은 속도 x'예요. 어떤 순간 시스템의 상태는 이 평면 위 한 점, 상태점으로 완전히 정해져요. 재생을 눌러보세요. 감쇠진동을 하는 시스템의 상태점이 움직이며 곡선을 그려요. 추가 한쪽으로 밀려나면(x 큼, 속도 0) 점은 가로축 오른쪽 끝에 있다가, 추가 가운데로 빠르게 돌아오면(x 0, 속도 큼) 점은 세로축 위로 올라가요. 이렇게 위치와 속도가 번갈아 주고받으며, 점은 원점 주위를 빙글빙글 돌아요. 감쇠가 있으니 에너지가 새어 나가 점점 안쪽으로 감기는 나선을 그리고, 결국 원점, 즉 정지 상태로 빨려 들어가요. 시간축 그래프에서 출렁이던 곡선이, 여기서는 안으로 감기는 깔끔한 한 줄 나선이 돼요. 시간을 지운 대신, 운동의 전체 모양이 한눈에 보이는 거예요.
상태점이 어디로 갈지는 누가 정할까요? 시스템의 방정식이에요. C1의 방향장을 기억하죠. 거기선 각 점에 기울기 하나를 줬어요. 위상평면에서는 한 단계 더 나아가, 각 점에 화살표 하나, 즉 그 점에서 상태가 어느 방향으로 얼마나 빠르게 움직일지를 통째로 정해줘요. 연립방정식 x'=y, y'=−x−0.4y가 평면 전체를 화살표로 뒤덮는 거예요. 이게 벡터장이에요. 출발점을 아무 데나 끌어보세요. 상태점은 그 자리의 화살표를 따라가고, 다음 점에서 또 그 자리 화살표를 따라가요. 그렇게 화살표를 충실히 이어 밟으면 궤적 하나가 그려져요. 강물에 나뭇잎을 떨어뜨리면 물살을 따라 흘러가듯, 상태점도 벡터장을 따라 흘러요. 어느 점에서 출발하든, 그 점에 도착한 흐름이 다음 갈 곳을 정해줘요. C1의 1차원 흐름이, 여기서 2차원 흐름으로 자라났어요.
벡터장 전체에서 딱 한 종류의 점이 특별해요. 화살표의 길이가 0인 점, 고정점이에요. 거기서는 상태가 어디로도 움직이지 않아서, 한번 놓이면 영원히 그대로예요. 평형 상태죠. 그런데 같은 고정점이라도 성격이 완전히 달라요. 진자로 봐요. 아래로 곱게 매달린 자리는 고정점이에요. 거기 두면 가만히 있죠. 그리고 살짝 건드리면 둘레를 맴돌며 그 자리 근처를 안 떠나요. 이런 걸 중심, 안정한 고정점이라고 해요. 그런데 진자를 거꾸로 세운 자리도 고정점이에요. 완벽하게 세우면 이론상 가만히 있죠. 하지만 머리카락만큼만 밀어도 와르르 넘어가 멀리 달아나요. 이런 걸 안장, 불안정한 고정점이라고 해요. 버튼으로 두 고정점을 짚어보세요. 시스템의 운명은 출발점이 어느 고정점의 영향권에 있느냐, 그리고 그 고정점이 어떤 종류냐에 달렸어요.
고정점 근처의 흐름 모양은 몇 가지로 딱 분류돼요. 탭으로 하나씩 보세요. 안정 노드는 모든 화살표가 고정점으로 곧장 빨려 들어가요. 살짝 건드려도 군말 없이 제자리로 돌아오죠. 안정 나선은 빙글빙글 돌면서 들어가요. 돌아오긴 하는데 출렁이며 돌아오는, C2에서 본 감쇠진동이 바로 이거예요. 안장은 한 방향으로는 빨려 들어오지만 다른 방향으로는 튕겨 나가요. 거의 모든 출발점이 결국 멀리 달아나는 불안정한 점이고요. 중심은 들어오지도 나가지도 않고 영원히 같은 궤도를 돌아요. 감쇠 없는 진동이죠. 불안정 나선은 거꾸로, 빙글빙글 돌며 점점 바깥으로 튕겨 나가요. 이 몇 가지가 2차원 선형 시스템이 보일 수 있는 거동의 전부예요. 복잡한 시스템도 고정점 근처에선 이 도감 중 하나로 행동해요. 그러면 어떤 시스템이 어느 유형인지는 무엇이 정할까요?
드디어 모든 게 한자리에 모여요. 고정점의 유형을 정하는 건, 그 점에서 시스템을 선형화한 행렬, 야코비안의 고유값이에요. 선형대수에서 고유값은 변환이 어느 방향으로 얼마나 늘이는지였죠. 여기서는 상태점이 고정점 근처에서 어느 방향으로 얼마나 빨리 밀려나거나 빨려드는지를 정해요. 고유값은 2차식 λ²−τλ+Δ=0의 근이고, τ는 행렬의 대각합, Δ는 행렬식이에요. (τ, Δ) 평면에서 점을 끌어보세요. 위상초상이 통째로 바뀌어요. 고유값이 둘 다 음의 실수면(Δ>0, τ<0, 판별식 양수) 모든 방향이 줄어드는 안정 노드. 고유값이 복소수면(판별식 음수) A2·C2의 회전이 끼어들어 나선이 되고, 실수부가 음수면 안정 나선, 양수면 불안정 나선이에요. 실수부가 0인 순수 허수 고유값이면 중심, 영원한 진동이고요. 고유값의 부호가 엇갈리면(Δ<0) 한쪽은 빨려들고 한쪽은 튕기는 안장이에요. C2의 특성근이 사실 이 야코비안 고유값의 1차원 버전이었고, A2의 복소지수가 나선의 정체였어요. 선형대수의 고유값, 복소수의 회전, 미분방정식의 안정성이 전부 이 한 그림에서 만나요.