The \textsc{ABC}-equation revisited: missed integrable cases. Part I: classification and (quasi) integrable structures

수학적 물리학의 광활한 풍경 속에는 파동과 교란이 시공간을 통해 어떻게 이동하는지를 설명하는 일련의 문제들이 존재한다. 이것들은 단순히 연못 위의 잔물결 같은 것이 아니라, 방정식이 마치 엉킨 매듭처럼 복잡한 변수들로 이루어져 있어 파동의 형태가 이동함에 따라 변화하는 복잡하고 다차원적인 상호작용이다. 수 세기 동안 수학자들은 이러한 방정식들이 숨겨진 질서를 지니고 있는 특수한 부분 집합을 찾아왔다. 방정식이 이러한 질서를 가질 때, 이를 "적분 가능하다(integrable)"라고 부른다. 이는 매우 강력한 성질인데, 왜냐하면 이 방정식을 정확하게 풀 수 있음을 의미하며, 그 거동이 장기간 동안 예측 가능하다는 것을 뜻하기 때문이다. 또한 이는 서로 다른 수학 분야 간의 깊은 연결 고리를 드러내기도 한다. 이러한 성질이 없다면 방정식은 대개 혼돈 상태에 빠져 표준적인 도구로는 풀 수 없게 되며, 과학자들은 근사치에 의존할 수밖에 없게 된다. ABC-방정식은 세 개의 상수를 포함하여 표면이 어떻게 진화하는지를 규정하는 하나의 구체적인 공식인, 그러한 수학적 대상 중 하나이다. 오랫동안 이 방정식은 세 상수의 합이 0이 되는 매우 특정한 조건 하에서만 이러한 특별하고 질서 정연한 성질을 가진다고 믿어져 왔다.

한 연구자가 이 방정식을 재검토하였고, 이야기가 이전에 생각했던 것보다 훨씬 더 복잡하다는 것을 발견했다. 방정식의 "그림자"와 "반사"를 연구하는 것, 즉 두 가지의 서로 보완적인 관점에서 방정식을 바라보는 정교한 방법을 적용함으로써, 저자는 이 방정식이 열 가지의 추가적인 경우에도 이러한 특별하고 질서 정연한 구조를 허용한다는 것을 찾아냈다. 이 새로운 사례들은 이전에 알려지지 않았으며 전통적인 분석 방법으로는 놓쳤던 것들이다. 연구자는 단지 이 사례들을 찾아낸 것에 그치지 않고, 방정식의 대칭성과 보존 법칙을 연결하는 "비국소적 구조(nonlocal structures)"라고 불리는 구체적인 수학적 기제를 구축했다. 이 구조들은 방정식의 서로 다른 측면들 사이로 정보가 흐르게 하는 가교 역할을 하며, 이는 적분 가능성을 시사한다. 알려진 사례인 상수의 합이 0인 경우도 이미 유명했지만, 이 열 가지의 새로운 시나리오는 ABC-방정식이 예상보다 훨씬 더 다채롭고 구조화된 시스템임을 보여주는 풍부한 잠재적 적분 가능 거동의 경관을 드러낸다.

이 발견으로의 여정은 대칭을 분석하기 위한 표준적인 도구들이 불충분하다는 깨달음에서 시작되었다. 수십 년 동안 방정식이 적분 가능한지 식별하는 유일한 방법은 그 방정식의 대칭성, 즉 방정식을 변하지 않게 유지하는 변환을 찾는 것이었다. ABC-방정식의 경우, 이러한 전통적인 접근 방식은 상수의 합이 0인 단 하나의 사례만을 강조했을 뿐이었다. 그러나 연구자는 방정식이 대칭만으로는 드러낼 수 없는 비밀을 숨기고 있을지도 모른다는 점을 알고 있었다. 그는 접항(tangent)과 공접항(cotangent) 피복(covering)이라 불리는 더 발전된 기법을 활용했다. 방정식을 평평한 종이 한 장이라고 상상해 보자. 접항 피복은 첫 번째 종이가 어떻게 휘고 늘어나는지를 기록하는 두 번째 종이를 붙이는 것과 같고, 공접항 피복은 종이에 작용하는 힘이 어떻게 분산되는지를 기록하는 것이다. 이 첨부된 종이들을 연구함으로써, 연구자는 원래 방정식의 표면에서는 보이지 않았던 특징들을 볼 수 있었다.

이 방법을 사용하여, 연구자는 세 가지 상수에 대해 방정식을 체계적으로 테스트했다. 그는 상수의 합이 0이 아닐 때 방정식이 열두 개의 뚜렷한 하위 사례로 나뉜다는 것을 발견했다. 대부분은 혼돈 상태로 보였으나, 열 가지는 저자가 "준적분 가능성(quasi-integrability)"이라고 명명한 숨겨진 구조를 지니고 있음이 밝혀졌다. 이들은 방정식의 대칭성과 시스템이 진화함에 따라 일정하게 유지되는 양인 보존 법칙을 연결하는 복잡한 관계들이다. 이러한 관계를 구축하는 것은 이 방정식의 특정 버전들에 대해 무한한 해와 보존 법칙의 급수를 생성할 수 있는 구체적인 방법을 제공한다는 점에서 중요한 성취이다.

연구자는 자신의 새로운 발견과 기존에 알려진 사례를 구분하는 데 주의를 기울였다. 상수의 합이 0인 사례는 베로네스 웹 방정식(Veronese web equation)으로 알려진 잘 연구된 시스템으로, 완전한 도구 세트를 갖춘 완전한 적분 가능성을 가진 것으로 알려져 있다. 그러나 열 가지의 새로운 사례들은 다르다. 이들은 저자가 "비국소적 구조" 또는 "준적분 가능" 구조라고 부르는 것을 지닌다. 이러한 구조들은 알려진 사례에서 발견되는 것만큼 단순하지 않으며, 시스템의 즉각적인 상태뿐만 아니라 전체 역사를 의존하는 변수들을 포함한다. 이러한 구조들이 대칭과 보존 법칙을 유의미하게 연결하기는 하지만, 저자는 이러한 비국소적 사례들에 대한 적분 가능성의 완전한 증명은 매우 섬세한 문제이며, 적분 가능성의 기준이 매우 까다롭기 때문에 향후 논문에서 다뤄질 것이라고 언급했다.

이 작업은 방대한 양의 계산을 처리하기 위해 컴퓨터 대수 시스템(computer algebra systems)에 크게 의존했다. 관련 방정식들은 너무 복잡하여 손으로 직접 쓰는 것은 오류가 발생하기 쉽고 관리하는 것이 거의 불가능할 정도이다. 연구자는 특수 소프트웨어를 사용하여 각 열 가지의 새로운 사례에 대한 대칭성, 보존 법칙, 그리고 비국소적 변수의 구체적인 형태를 계산했다. 이러한 계산 능력 덕분에 연구자는 복잡한 대수적 지형을 탐색하고, 자신이 발견한 구조들이 실제로 유효하며 자명하지 않음을 확인할 수 있었다. 결과는 이 방정식이 이러한 준적분 가능 구조를 나타내도록 허용하는 상수들 사이의 구체적인 관계를 상세히 기술하는 분류로서 제시된다.

이 발견의 가장 놀라운 측면 중 하나는 이 새로운 사례들이 기존의 사례와 어떻게 연관되는가 하는 점이다. 연구자는 새로운 적분 가능 구조가 알려진 사례를 지배하는 동일한 근본적인 메커니즘으로부터 발생하지만, 더 복잡한 형태로 나타난다는 것을 발견했다. 알려진 사례에서 방정식은 관계가 직접적인 단순한 국소적(local) 구조를 가진다. 반면, 열 가지의 새로운 사례에서는 관계가 비국소적(nonlocal)이며, 이는 해의 전체 영역에 걸친 적분이나 미분을 포함한다는 것을 의미한다. 이러한 구분은 방정식을 해결하거나 물리적 함의를 이해하는 방식에 결정적인 차이를 만든다. 이러한 구조의 존재는 ABC-방정식이 전통적이고 더 단순한 완전 적분 가능성의 틀에 맞지 않아 간과되었던, 더 큰 계열의 시스템 중 일부임을 시사한다.

논문은 이 연구 방향의 다음 단계들을 개략적으로 설명하며 마무리된다. 열 가지의 새로운 사례를 식별하고 초기 비국소적 구조를 구축한 데 이어, 연구자는 이 발견들을 사용하여 무한한 적분 가능 구조의 계층(hierarchies)을 구축할 계획이다. 즉, 발견된 관계들을 사용하여 새로운 대칭성과 보존 법칙의 끝없는 사슬을 생성함으로써 이 시스템들의 적분 가능성을 더욱 조사할 것이다. 이 작업은 알려진 적분 가능 방정식의 목록을 확장할 뿐만 아니라, 이를 찾는 데 사용되는 도구들을 정교하게 만든다. 이는 다각적이고 상호 연결된 관점에서 수학적 문제들을 바라봄으로써, 단일한 관점으로 보았을 때는 숨겨져 있던 깊은 진실을 밝혀낼 수 있음을 보여준다. 한때 단 하나의 해만을 가진 단순한 사례로 여겨졌던 ABC-방정식은 훨씬 더 넓고 복잡한 수학적 질서의 세계로 향하는 관문임이 드러났다.