[논문 리뷰] Commuting ordinary differential operators of arbitrary genus and arbitrary rank with polynomial coefficients

O. I. Mokhov|arXiv (Cornell University)|2013. 03. 18.

Nonlinear Waves and Solitons인용 수 5

한 줄 요약

이 논문은 체비셰프 다항식 $T_r(x)$를 사용하여 임의의 종수 $g > 0$ 및 임의의 계수 $r > 1$에 대해 다항계수를 가진 명시적이고 교환 가능한 상미분 연산자를 구성한다. 이는 장기간 미해결이었던 존재 문제를 $g > 0$ 및 $r > 1$ 전역에 대해 완전히 해결하며, 이전에 알려지지 않았던 경우들, 예를 들어 $r = 6s \pm 1$의 경우까지 포함하여, 랭크-2 연산자에 대한 미로노프의 결과를 기반으로 한 새로운 구성 방법을 통해 해결한다.

ABSTRACT

In this paper we construct examples of commuting ordinary scalar differential operators with polynomial coefficients that are related to a spectral curve of an arbitrary genus g>0 and to an arbitrary rank r>1 of the vector bundle of common eigenfunctions of the commuting operators over the spectral curve. This solves completely the well-known existence problem for commuting operators of arbitrary genus and arbitrary rank with polynomial coefficients. The constructed commuting operators of arbitrary rank r>1 and arbitrary genus g>0 are given explicitly, they are generated by the Chebyshev polynomials T_r (x).

연구 동기 및 목표

• 임의의 종수 $g > 0$ 및 임의의 계수 $r > 1$에 대해 다항계수를 가진 교환 가능한 상미분 연산자를 구성하는 열린 문제를 해결하기 위해.
• 이전에 알려진 경우를 초월하여, 특히 $r = 6s \pm 1$, $s \geq 1$ 형태의 랭크에 대해 이전에 다루지 않은 경우를 확장하기 위해.
• 모든 $g > 0$ 및 $r > 1$에 대해 다항계수를 가진 교환 가능한 연산자 쌍 $L_{2r}$ 및 $M_{(2g+1)r}$의 명시적이고 폐형 표현을 제공하기 위해.
• 고차 연산자 $M_{(2g+1)r}$의 계수들이 $L_{2r}$의 계수들과 그 도함수들의 다항함수로 표현될 수 있음을 확립하기 위해.

제안 방법

• 연산자 $L_{2r}$는 제1종 체비셰프 다항식 $T_r(x)$를 사용하여 표현식 $\left(aT_r\left({d\over dx}\right) - x^2{d^2\over dx^2} - 3x{d\over dx} + x^2 + b\right)^2 - ar^2g(g+1)T_r\left({d\over dx}\right)$를 통해 정의된다.
• 두 번째 연산자 $M_{(2g+1)r}$는 초타원곡선 관계 $M_{(2g+1)r}^2 = L_{2r}^{2g+1} + a_{2g}L_{2r}^{2g} + \cdots + a_0$를 통해 암시적으로 정의되며, 여기서 $a_i$는 상수이다.
• 버흐날-차운드 이론을 통해 연산자들이 교환된다는 것이 입증되며, 이 이론은 임의의 교환 가능한 연산자 쌍이 다항식 스펙트럼 관계 $Q(L,M) = 0$를 만족함을 보장한다.
• 스펙트럼 곡선은 $\mu^2 = \lambda^{2g+1} + a_{2g}\lambda^{2g} + \cdots + a_0$로 정의되는 종수 $g$인 초타원곡선이며, 공통 고유함수 $\psi(x,\lambda,\mu)$는 이를 기반으로 한 $r$차원 벡터 번들의 형성을 이룬다.
• 최근 안드레이 미로노프의 랭크-2 연산자에 대한 자기수반 교환 가능한 연산자에 관한 결과를 기반으로 하여, 체비셰프 다항식의 구조를 활용해 이를 임의의 랭크로 확장한다.
• 최종 형태는 와일 대수의 자기동형사상에 의해 표준 캐논리컬 형태로 변환되어, 주계수 1 및 이전 계수 0을 가지는 전통적인 형태로 보장된다.

실험 결과

연구 질문

• RQ1 모든 종수 $g > 0$ 및 계수 $r > 1$ 조합에 대해 다항계수를 가진 교환 가능한 상미분 연산자를 구성할 수 있는가, 특히 이전에 배제된 경우들, 예를 들어 $r = 6s \pm 1$의 경우까지 포함하여?
• RQ2 체비셰프 다항식은 임의의 종수와 계수에 걸쳐 이러한 교환 가능한 연산자를 생성하는 데 어떤 구조적 역할을 하는가?
• RQ3 고차 연산자 $M_{(2g+1)r}$의 계수들은 $L_{2r}$의 계수들과 그 도함수들에 대해 대수적으로 어떻게 표현될 수 있는가?
• RQ4 모든 $r > 1$ 및 $g > 0$에 대해 이러한 연산자를 표준 캐논리컬 형태로 구성할 수 있는가?
• RQ5 교환 가능한 쌍과 관련된 정확한 스펙트럼 곡선은 무엇이며, 공통 고유함수의 벡터 번들은 그 기하학과 어떻게 관련되어 있는가?

주요 결과

• 논문은 모든 $g > 0$ 및 $r > 1$에 대해 다항계수를 가진 명시적이고 교환 가능한 미분 연산자 $L_{2r}$ 및 $M_{(2g+1)r}$를 구성하며, 존재 문제를 완전히 해결한다.
• 첫 번째 연산자 $L_{2r}$는 $\left(aT_r\left({d\over dx}\right) - x^2{d^2\over dx^2} - 3x{d\over dx} + x^2 + b\right)^2 - ar^2g(g+1)T_r\left({d\over dx}\right)$로 주어지며, 여기서 $T_r$는 제1종 체비셰프 다항식이다.
• 두 번째 연산자 $M_{(2g+1)r}$는 $M_{(2g+1)r}^2 = L_{2r}^{2g+1} + a_{2g}L_{2r}^{2g} + \cdots + a_0$의 초타원곡선 관계를 만족하며, 상수 $a_i$는 구성 과정에 의해 결정된다.
• $r > 3$인 경우, $a = 1/2^{r-1}$일 때 연산자들은 표준 캐논리컬 형태가 되며, 주계수는 1이고 이전 계수는 0이 된다.
• 스펙트럼 곡선은 $\mu^2 = \lambda^{2g+1} + \cdots + a_0$로 정의되는 종수 $g$인 초타원곡선이며, 공통 고유함수 $\psi(x,\lambda,\mu)$는 이를 기반으로 한 $r$차원 벡터 번들을 이룬다.
• 이 구성은 이전에 알려지지 않았던 $r = 6s \pm 1$, $s \geq 1$의 경우에도 이러한 연산자가 존재함을 확인하며, $r = 4,5,6,7$에 대해 각각 $L_{8}, L_{10}, L_{12}, L_{14}$에 해당하는 명시적 예시를 제공한다.