[논문 리뷰] Consistent systems of linear differential and difference equations

Reinhard Schäfke, Michael F. Singer|arXiv (Cornell University)|2016. 05. 09.

Polynomial and algebraic computation참고 문헌 38인용 수 22

한 줄 요약

이 논문은 이동, q-차분, 또는 마勒 연산자를 포함하는 선형 미분 및 차분 방정식의 일관된 체계를 위한 통합된 프레임워크를 수립한다. 이러한 체계는 게이지 변환을 통해 계수 행렬이 일정한 형태로 간소화될 수 있음을 보여주며, 핵심 결과로는 일관된 체계를 만족하는 해는 반드시 유리형 또는 머모르픽임을 보이고, 고전적 결과인 코브함의 정리와 선형 방정식의 갈루아 이론에서의 초초월성 기준에 대한 새로운 증명을 이끌어낸다.

ABSTRACT

We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), \sigma Y(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $\sigma$ a shift operator $\sigma(x) = x+a$, $q$-dilation operator $\sigma(x) = qx$ or Mahler operator $\sigma(x) = x^p$ and systems of two linear difference equations \begin{eqnarray*} \sigma_1 Y(x) =A(x)Y(x), \sigma_2 Y(x) =B(x)Y(x) \end{eqnarray*} with $(\sigma_1,\sigma_2)$ a sufficiently independent pair of shift operators, pair of $q$-dilation operators or pair of Mahler operators. Here $A(x)$ and $B(x)$ are $n imes n$ matrices with rational function entries. Assuming a consistency hypothesis, we show that such system can be reduced to a system of a very simple form. Using this we characterize functions satisfying two linear scalar differential or difference equations with respect to these operators. We also indicate how these results have consequences both in the theory of automatic sets, leading to a new proof of Cobham's Theorem, and in the Galois theories of linear difference and differential equations, leading to hypertranscendence results.

연구 동기 및 목표

• 다양한 연산자(이동, q-차분, 마를 등)를 포함하는 선형 미분 및 차분 방정식을 만족하는 함수에 관한 기존 결과를 통합하고 일반화하는 것.
• 이동, q-차분, 또는 마를 연산자를 포함하는 일관된 체계의 유리형 및 머모르픽 해를 특성화하는 것.
• 게이지 변환을 이용하여 일관된 선형 방정식 체계를 단순한 상수 계수 형태로 간소화하는 프레임워크를 구축하는 것.
• 이러한 결과를 바탕으로 초초월성 정리 증명과 자동 시퀀스 이론에서의 코브함의 정리에 대한 새로운 증명을 제공하는 것.

제안 방법

• 미분 및 차분 연산자 간의 일관성 조건을 도입하여, 예를 들어 δY = AY 및 σY = BY와 같이 구성의 가역성을 보장하는 조건을 설정한다.
• 게이지 변환 Y = G(x)Z를 사용하여 체계를 계수 행렬 ˜A 및 ˜B가 일정한 형태로 단순화된 형태로 변환한다.
• 0과 ∞ 이외의 특이점은 명백한 특이점이며, C\{0}의 기본 커버 위에서 국소 해가 머모르픽하게 해석적 계속을 가질 수 있음을 보인다.
• 0과 ∞에서의 정상 특이점 행동을 바탕으로, 유리 함수 성분을 가진 머모르픽 게이지 행렬 G(x)를 구성할 수 있음을 증명한다.
• 블록 행렬 분해와 순위 조건을 이용하여 계수 행렬이 비상수일 경우 정규화된 값이 양수인 체계로 간소화할 수 있음을 보이고, 이는 정상 특이점임을 의미한다.
• 귀납법과 블록 삼각화 기법을 사용하여 일관성 조건 하에서 계수 행렬의 비대각 성분을 단계적으로 제거한다.

실험 결과

연구 질문

• RQ1 이동, q-차분, 또는 마를 연산자에 대해 선형 미분 방정식과 선형 차분 방정식을 동시에 만족하는 함수가 반드시 유리형 또는 머모르픽이 되는 조건은 무엇인가?
• RQ2 이동, q-차분, 또는 마를 연산자를 포함하는 일관된 선형 미분 및 차분 체계는 어떻게 상수 계수 행렬을 가진 체계로 변환할 수 있는가?
• RQ3 일관성 가정 하에서 계수 행렬의 구조적 성질(예: 정상 특이점, 명백한 특이점 등)은 어떻게 드러나는가?
• RQ4 일관성 조건은 해의 형태, 특히 성장과 단일계속성에 대해 어떤 제약를 가하는가?
• RQ5 이 프레임워크는 두 개의 q-차분 또는 두 개의 마를 연산자를 포함하는 다중 독립 차분 연산자 체계로 확장 가능한가?

주요 결과

• 유리 함수 계수를 가진 일관된 선형 미분 및 차분 방정식 체계의 해는 로그 x의 리만 곡면 위에서 반드시 유리형 또는 머모르픽이다.
• 게이지 변환 Y = G(x)Z를 통해 계수 행렬 ˜A ∈ gl_n(C) 및 ˜B ∈ GL_n(C)를 가진 체계로 변환할 수 있다.
• C\{0, ∞} 내의 체계의 모든 특이점은 명백한 특이점이며, 해는 C\{0}의 기본 커버 위로 머모르픽하게 해석적 계속을 가질 수 있다.
• 게이지 변환에 사용된 행렬 G(x)는 C\{0} 위에서 머모르픽이며, 0과 ∞에서의 중간 성장 조건으로 인해 유리 함수 성분을 가진다.
• 일관성 조건은 게이지 변환 후에도 미분 및 차분 연산자에 대해 상수 계수 체계의 구조를 유지함을 보장한다.
• 이 결과들은 자동 시퀀스 이론에서의 코브함의 정리에 대한 새로운 증명을 이끌어내며, 선형 미분 및 차분 방정식의 해에 대한 초초월성 기준을 설정한다.