An equivalence between Schauder's fixed point theorem and periodic solutions in Banach spaces

수학의 광활한 풍경 속에는 '고정점 문제(fixed point problem)'라고 불리는 지속적인 도전 과제가 존재한다. 도시의 지도가 바닥에 펼쳐져 있다고 상상해 보자. 만약 그 지도를 구겨서 그것이 나타내는 도시의 경계 안에 다시 놓는다면, 구겨진 종 위의 적어도 한 점은 바닥의 정확한 위치 바로 위에 놓이게 될 것이다. 이 직관적인 아이디어—어떤 형상을 자기 자신 안으로 연속적으로 변형시키면 움직이지 않는 점이 적어도 하나 존재한다는 것—가 고정점 이론의 핵심이다. 수십 년 동안 수학자들은 이러한 점들의 존재를 보장하기 위해 강력한 정리들에 의존해 왔지만, 이러한 도구들은 단순한 숫자가 아닌 끝없는 데이터의 흐름으로 기술되는 현대 물리학과 공학의 무한한 복잡성에 적용될 때 종종 어려움을 겪는다.

이러한 정적인 점들과 운동하는 변화하는 세계 사이의 연결 고리는 매우 깊다. 흔들리는 추나 흐르는 강물처럼 시스템이 시간이 지남에 따라 행동을 반복할 때, 이를 주기적 해(periodic solution)를 가진다고 한다. 오랫동안 수학자들은 이러한 반복되는 패턴의 존재를 고정점 이론의 결과로 취급하며, 정적인 정리를 사용하여 운동이 결국 자기 자신으로 되돌아온다는 것을 증명해 왔다. 그러나 칠레 대학교의 호르헤 노보아(Jorge Novoa)가 이룬 최근의 돌파구는 이 관계가 단순히 일방통행이 아님을 시사한다. 그는 실세계의 현상을 모델링하는 데 사용되는 복잡한 무한 차원 공간에서, 고정점을 찾는 능력과 반복되는 운동을 찾는 능력은 사실 동전의 양면과 같다는 것을 입증했다.

이 논문은 바나흐 공간(Banach space)이라 불리는 특정한 유형의 수학적 공간에 초점을 맞춘다. 표준적인 선이나 평면은 유한한 수의 방향을 갖지만, 바나크 공간은 무한히 많은 방향을 가질 수 있어 음파나 유체 역학 같은 것들을 기술하는 데 자연스러운 터전이 된다. 이러한 무한 공간에서는 익숙한 기하학적 규칙들이 무너진다. 예를 들어, 유계인 점들의 집합이 반드시 단단한 컴팩트(compact) 객체처럼 행동하는 것은 아니다. 이는 미분 방정식(사물이 어떻게 변하는지를 기술하는 방정식)의 해가 실제로 존재하는지를 증명하는 데 상당한 장애물을 만든다. 유한한 공간의 논리를 이러한 무한 공간으로 확장하려는 이전의 시도들은, 표준적인 도구들이 컴팩트성(compactness) 또는 데이터의 '조밀함(tightness)'을 처리하지 못했기 때문에 자주 실패했다.

노보아의 연구는 현재의 상태가 즉각적인 과거와 지속적인 외부 힘 모두에 의해 영향을 받는 시스템을 모델링하는 특정 방정식에 집중한다. 그는 시스템이 일정 기간 동안 진화하고, 그 기간이 끝날 때 시작 상태로 돌아오도록 강제되는 시나리오를 고려한다. 이는 주기적 경계값 문제(periodic boundary value problem)이다. 연구자는 근본적인 질문을 던진다. 만약 특정한 유형의 수학적 사상(점을 이동시키는 규칙)이 고정점을 가진다는 것을 안다면, 그것이 이 방정식의 반복되는 해의 존재를 보장하는가? 반대로, 그러한 반복되는 해가 항상 존재한다는 것을 증명할 수 있다면, 그것이 사상의 고정점을 보장하는가?

이에 답하기 위해, 노보아는 정적인 것과 동적인 것 사이에 다리를 건설한다. 그는 먼저 유명한 샤우더 고정점 정리(Schauder fixed-point theorem)—바나흐 공간 내의 닫혀 있고 유계이며 볼록한 모양 위의 연속적인 사상은 그 출력이 상대적으로 컴팩트하다면 반드시 고정점을 가진다는 정리—가 성립한다면 주기적 방정식이 반드시 해를 가져야 함을 보여준다. 그는 문제를 새로운 연산자(곡선을 입력받아 새로운 곡선을 출력하는 수학적 기계)의 고정점을 찾는 문제로 변환함으로써 이를 달성한다. 이 기계가 고정점 정리의 조건들을 만족할 만큼 충분히 잘 작동함을 증명함으로써, 그는 반복되는 해가 반드시 존재함을 확인한다.

그러나 진정한 혁신은 역방향에 있다. 노보아는 이러한 주기적 해의 존재가 단순히 고정점 정리의 결과일 뿐만 아니라, 실제로 그것과 동치임을 증명한다. 그는 만약 이 특정 부류의 방정식들에 대해 주기적 해가 항상 존재한다고 가정한다면, 그 가정을 사용하여 고정점 정리 자체를 증명할 수 있음을 보여준다. 그는 점들을 이동시키는 사상을 시스템이 매우 짧은 기간 동안 진화하는 미분 방정식 안에 내포(embedding)시키는 방식을 취한다. 이 기간이 0을 향해 줄어듦에 따라, 시스템의 반복되는 운동은 하나의 상수 상태로 붕괴하도록 강제된다. 이 상수 상태, 즉 시스템이 변화를 멈추는 지점은 바로 원래 사상의 고정점이 된다.

이러한 동치성은 두 가지 별개의 수학적 탐구 영역을 통합한다. 이는 시스템이 자신의 시작 상태로 돌아올 것임을 증명하는 어려움이, 변환 하에서 한 점이 움직이지 않고 남아 있는 것을 증명하는 어려움과 정확히 같다는 것을 보여준다. 논문은 단순히 연결을 제안하는 데 그치지 않고, 두 원리가 함께 서거나 함께 무너진다는 엄밀한 증명을 제공한다. 만약 이러한 무한 차원 공간에서 하나가 참이라면, 다른 하나도 반드시 참이어야 한다. 이 발견은 정적 위상수학과 동적 시스템 사이의 관계의 깊이에 대한 오랜 질문을 해결하며, 반복되는 패턴의 존재를 지배하는 논리가 고정점의 존재를 지배하는 논리와 근본적으로 동일하다는 것을 확인해 준다.

이 연구는 시스템을 안정화하는 데 도움을 주는 감쇠 항(damping term)을 포함하는 선택된 방정식의 특정한 구조에 의존하며, 이를 통해 시스템이 잘 작동하도록 하여 분석 가능한 상태로 만든다. 공간의 성질과 관련된 힘의 본질을 세심하게 관리함으로써, 노보아는 이러한 결과를 일반화하려는 이전의 시도들을 좌절시켰던 함정들을 피한다. 이 작업은 무한 차원의 추상적인 세계에서, 정상 상태(steady state)를 찾는 것과 순환(cycle)을 찾는 것이 서로 불가분하게 연결되어 있음을 보여주는 간결하면서도 강력한 입증이며, 무한한 복잡성이 규범인 물리학과 공학 분야의 문제들을 다루는 미래의 수학자들에게 더 명확한 경로를 제시한다.