Difference operators and difference equations on lattices, or grids, up to the elliptic hypergeometric case

당신이 지도 위의 두 점 사이의 거리를 측정하려고 한다고 상상해 보십시오. 미적분학의 매끄럽고 연속적인 세계에서는 두 점 사이에 완벽한 직선을 그어 즉각적으로 기울기를 계산할 수 있습니다. 하지만 만약 지도가 매끄러운 종이 한 장이 아니라면 어떨까요? 만약 그것이 섬들의 격자이거나, 디딤돌의 연속이거나, 혹은 복잡하게 순환하는 춤과 같은 반복되는 패턴이라면 어떨까요? 이것이 바로 **이산 미적분학(discrete calculus)**의 세계입니다. 매끄러운 선 대신, 우리는 도약과 간극을 다룹니다.

가장 단순한 격자는 그저 균등한 간격의 점들로 이루어진 직선(예: $1, 2, 3, 4$)입니다. 당신은 그 사이의 변화를 쉽게 측정할 수 있습니다. 하지만 점들이 곡선이나 나선형, 혹은 꽃이 피어나는 듯한 패턴으로 배치되어 있다면 어떨까요? 이러한 형태를 이해하려면 **차분 연산자(difference operators)**라고 불리는 특별한 도구가 필요합니다. 이것을 격자 위의 두 특정 점 사이의 "기울기"를 측정하는 마법의 캘리퍼스(측정기)라고 생각하십시오. 설령 그 격자 자체가 뒤틀리고 회전하고 있더라도 말입니다.

당신이 곧 탐구하게 될 이 논문은 가장 복잡하고 아름다운 격자인 **타원 격자(elliptic lattice)**를 다룹니다. 이 격자는 단순히 직선 방향으로 반복되는 것이 아니라, 도넛(토러스)의 표면처럼 두 가지 다른 방향으로 다시 돌아와 순환하는 구조를 상상해 보십시오. 이 형태 위에서 점들은 **타원 함수(elliptic functions)**에 따라 배치되는데, 이 함수들은 진자의 흔들림부터 특정 물질 내의 전류의 흐름까지 모든 것을 설명할 수 있는 주기적 패턴의 "슈퍼히어로"와 같습니다. 여기서 핵심적인 질문은 이것입니다. 이 뒤틀리고 순환하는 격자 위에서도 여직 미적분을 수행할 수 있을까요? 평평한 직선 위에서 그러하듯, 단순한 모양을 다른 단순한 모양으로 변환하는 정교한 "기울기"를 정의할 수 있을까요?

---

뒤틀린 격자의 이야기

이 논문에서 저자인 알폰스 마그누스(Alphonse Magnus)는 이 뒤틀린 도넛 모양의 격자를 위한 새로운 종류의 자를 만들려는 숙련된 설계자 역할을 합니다. 그는 매우 구체적인 질문을 던집니다. 만약 우리가 특별한 격자 위의 두 점 사이의 "기울기"(차분 연산자)를 정의한다면, 수학적 구조가 단순하게 유지될 것인가? 하는 점입니다.

보통 두 점 사이의 기울기를 구할 때 결과는 다소 복잡해지기 마련입니다. 하지만 마그누스는 만약 격자 점들을 매우 신중하게 선택한다면—구체적으로, 그 점들이 타원 격자의 규칙을 따른다면—마법 같은 일이 일어난다는 것을 보여줍니다. 만약 우리가 단순한 유리 함수(다항식으로 이루어진 분수, 예: $\frac{x^2+1}{x-3}$)에서 시작한다면, 격자 점들 사이에서 계산한 "기울기" 역시 약간 더 복잡해진 형태의 단순한 유리 함수가 될 것입니다. 이는 마치 마법의 기계와 같습니다. 단순한 분수를 넣으면, 엉망진창이 되어 풀 수 없는 매듭에 걸리는 일 없이, 또 다른 단순한 분수를 내뱉는 것입니다.

이것이 어떻게 작동하는지 이해하기 위해, 격자 점들이 단순히 무작위적인 점들이 아니라고 상상해 보십시오. 이 점들은 **이차 형식(biquadratic equation)**의 해입니다. 이것은 점 $x$와 그 이웃 $y$ 사이의 관계가 양방향 모두에서 이차 방정식(포물선)과 같다는 것을 의미하는 세련된 표현입니다. 만약 당신이 한 점을 알고 있다면, 이 방정식은 다음 점이 어디인지를 정확히 알려주지만, 동시에 두 가지 선택지를 제공합니다. 격자는 이 두 가지 선택지 사이를 왔다 갔다 하며 움직이며 타원형 구조를 휘감는 점들의 사슬을 만들어냅니다.

마그누스는 만약 당신이 이런 방식으로 격자를 구축한다면, **분할 차분 연산자(divided difference operator)**를 정의할 수 있다고 증명합니다. 이것은 변화를 측정하는 도구입니다. 그는 이 도구가 "복잡도의 차수"를 보존하는 초능력을 가지고 있음을 보여줍니다. 만약 당신이 특정 복잡도를 가진 함수를 입력하면, 이 도구는 예측 가능한, 약간 더 높은 복잡도를 가진 함수를 출력합니다. 이는 매우 중요한데, 이 덕분에 우리는 **초기하 급수 전개(hypergeometric expansions)**라는 방법을 사용하여 직선 위에서 문제를 푸는 것과 마찬가지로 이 격자 위에서도 방정식을 풀 수 있기 때문입니다.

그 후 논문은 이 아이디어를 발전시켜 1계 및 **2계 차분 방정식(first-order and second-order difference equations)**을 구축합니다. 이것들은 타원 격자 위에서 살아가는 함수들의 "운동 법칙"이라고 생각할 수 있습니다. 뉴턴의 법칙이 공이 공중에서 어떻게 움직이는지 알려주는 것처럼, 이 새로운 방정식들은 타원 격자 위에서 함수가 한 점으로부터 다음 점으로 어떻게 이동하는지를 알려줍니다. 저자는 이 방정식들을 명시적으로 구성하여, 방정식의 계수(계수값들)가 격자의 형태에 어떻게 의존하는지를 정확히 보여줍니다.

이 논문에서 가장 매혹적인 부분 중 하나는 **이중 직교 유리 함수(biorthogonal rational functions)**의 발견입니다. 표준 미적분의 세계에는 완벽하게 겹치지 않는 빌딩 블록 역할을 하는 직교 다항식(유명한 르장드르 또는 에르미트 다항식 같은)이 있습니다. 당신은 이들을 쌓아 올려 어떤 형태든 만들 수 있습니다. 이 타원 격자 위에서 빌딩 블록은 단순한 다항식이 아니라 유리 함수(분수)입니다. 그리고 이들은 이중 직교(biorthogonal) 성질을 가집니다. 즉, 특정한 방식으로 짝을 맞추었을 때만 자물쇠와 열쇠처럼 완벽하게 맞물리는 두 개의 대응하는 집합으로 존재한다는 뜻입니다. 논문은 이 특별한 분수들이 앞서 언급한 차분 방정식들을 만족함을 보여줌으로써, 이들이 이 타원 세계의 자연스러운 "원자"임을 입증합니다.

저자는 또한 이 연구를 수학적 난제들의 긴 역사와 연결합니다. 그는 이 격자들이 통계 물리학(수많은 입자가 어떻게 행동하는지에 대한 연구)과 폰첼레 문제(원 안에 다각형을 그리는 기하학적 퍼즐)에서 나타난다고 언급합니다. 심지어 그는 그 뿌리를 이 함수들의 덧셈 공식을 처음 발견한 역사상 가장 위대한 수학자 중 한 명인 **오일러(Euler)**에게까지 추적합니다. 이 논문은 "타원 차분 연산자"가 가장 단순한 산술적 단계부터 가장 복잡한 타원 함수에 이르기까지, 이 다양한 수학 분야들을 통합하는 누락된 연결 고리라고 제안합니다.

하지만 논문은 과도한 약속을 하지 않도록 주의를 기울입니다. 이것은 이론적인 구성입니다. 저자는 정의를 구축하고, 성질을 증명하며, 공식들을 유도합니다. 그는 이러한 연산자들을 어떻게 정의할 수 있는지 보여주고, 그것들이 수학적으로 작동함을 입증합니다. 그는 특정 물리적 문제를 실험실에서 해결했다거나 새로운 입자를 발견했다고 주장하지 않습니다. 대신, 그는 새로운 수학적 프레임워크를 구축했습니다. 그는 "타원 격자"가 가장 일반적인 경우이며, 우리가 알고 있는 모든 더 단순한 격자들(예를 들어 직선이나 기하학적 나선)은 이 복잡하고 뒤틀린 격자의 특수하고 더 단순한 버전일 뿐이라는 것을 보여줍니다.

결국, 이 논문은 새로운 영토를 위한 가이드북입니다. 만약 우리가 도넛처럼 루프를 돌고 뒤틀리는 격자 위에서 미적분을 하고 싶다면, 기존의 도구들을 사용할 수 없다는 것을 알려줍니다. 우리는 이 새로운 타원 차분 연산자를 필요로 합니다. 그리고 우리가 이 도구들을 사용한다면, 수학은 여전히 아름답고 구조적이며, 유리 함수와 이중 직교 집합들이 주연 역할을 수행하고 있음을 발견하게 됩니다. 이는 우주의 가장 복잡하고 뒤틀린 패턴 속에서도, 적절한 종류의 자를 사용한다면 발견될 수 있는 근본적인 질서가 존재한다는 사실을 상기시켜 줍니다.