[논문 리뷰] Algebraic entropy for differential-delay equations

C.-M. Viallet|arXiv (Cornell University)|2014. 08. 26.

Advanced Differential Equations and Dynamical Systems참고 문헌 13인용 수 12

한 줄 요약

이 논문은 연속 도함수와 이산 이동을 동일한 변수에 작용시키는 방식으로 미분-지연 방정식에 대수적 엔트로피 개념을 확장하여, 엔트로피가 소멸할 경우 통합 가능성 테스트를 가능하게 한다. 통합 가능한 시스템인 지연 페인레베레 방정식이 이 테스트를 통과하는 것으로 보여지고, 영 엔트로피를 가진 알려진 통합 가능한 미분-차분 시스템으로부터 새로운 통합 가능한 미분-지연 방정식을 생성하기 위한 '접기' 방법을 제안한다.

ABSTRACT

We extend the definition of algebraic entropy to a class of differential-delay equations. The vanishing of the entropy, as a structural property of an equation, signals its integrability. We suggest a simple way to produce differential-delay equations with vanishing entropy from known integrable differential-difference equations.

연구 동기 및 목표

• 지도 및 미분-차분 방정식에 이전에 사용된 대수적 엔트로피 프레임워크를, 미분항과 지연항이 혼합된 새로운 종류의 방정식에 확장하고자 한다.
• 대수적 엔트로피가 소멸할 경우를 기반으로 한 미분-지연 방정식의 통합 가능성에 대한 구조적 테스트를 수립하고자 한다.
• 기존에 알려진 통합 가능한 미분-차분 시스템으로부터 새로운 통합 가능한 미분-지연 방정식을 체계적으로 생성하는 방법을 제공하고자 한다.
• 예를 들어 아블라모비치-레디크 시스템과 같은 통합 가능한 격자 방정식에서 유도된 방정식들이 접기 절차를 거쳐도 영 대수적 엔트로피를 유지함을 보여주고자 한다.

제안 방법

• 이산 시간점에서의 미지 함수와 그 도함수들을 사영 공간 내의 동차 좌표로 표현하여 비유리 사상 처리를 가능하게 한다.
• 가장 오래된 변수에 대해 동차 함수 형태를 갖는 유리 함수를 사용하여 시간 t의 상태에서 t+1의 상태로의 비유리 사상 φ를 정의함으로써 대수적 구조를 보장한다.
• 반복의 차수 w_m에 대한 근사적 성장률인 lim_{m→∞} (1/m) log(w_m)을 사용하여 대수적 엔트로피 ε을 계산한다.
• 특히 생성 함수가 유리 함수일 경우 효율적으로 엔트로피를 계산하기 위해 차수 수열 w_n에 대한 생성 함수와 재귀 관계를 활용한다.
• 접기 절차를 적용: 영 엔트로피를 가진 미분-차분 시스템을 이산 공간 변수를 연속 시간 변수와 동일시하는 방식으로 변환하여, 이를 통해 미분-지연 시스템을 유도한다.
• 다중수준 승수(κ_φ, κ_ψ)를 통한 특이점 분석을 활용하여 인수분해 및 가중치 감소를 탐지함으로써, 엔트로피가 소멸할 경우 통합 가능성 신호를 확인한다.

실험 결과

연구 질문

• RQ1 도함수와 이동항이 동일한 시간 변수에 작용하는 미분-지연 방정식에 대해 대수적 엔트로피 개념을 의미 있게 확장할 수 있는가?
• RQ2 지도 및 미분-차분 시스템에서처럼, 대수적 엔트로피가 소멸할 경우가 통합 가능성의 신뢰할 만한 지표로 유지되는가?
• RQ3 기존에 알려진 통합 가능한 미분-차분 시스템으로부터 접기 구조를 통해 통합 가능한 미분-지연 방정식을 체계적으로 생성할 수 있는가?
• RQ4 기존의 통합 가능한 방정식의 매개수를 변화시킬 경우 엔트로피는 어떻게 변화하며, 이는 통합 가능성에 어떤 의미를 갖는가?
• RQ5 차수 수열에 대한 유리 생성 함수와 재귀 관계는 이러한 시스템의 엔트로피 결정에 어떤 역할을 하는가?

주요 결과

• 지연 페인레베레 방정식 (4)의 대수적 엔트로피는 0이며, 이는 엔트로피 테스트를 통과하여 통합 가능성의 확인을 받는다.
• 방정식 (4)의 차수 수열 w_n은 선형 재귀 관계 w_{n+4} - 2w_{n+3} + 2w_{n+1} - w_n = 0를 만족하며, 특성 다항식은 (s+1)(s-1)^3이다.
• 차수의 점근적 성장률은 이차함수적이다: w_n = (1/8)(6n^2 + 9 - (-1)^n), 이는 대수적 정수의 로그가 0이 되는 조건(다항식적 성장)을 만족하므로 영 엔트로피임을 확인한다.
• 방정식 (9)의 매개수 λ ≠ ±1일 경우, 차수 수열은 w_n = 2^n로 지수적으로 증가하며, 이에 따라 엔트로피 ε = log(2) > 0가 되어 비통합 가능성임을 나타낸다.
• λ = -1일 경우, 차수 수열은 영 엔트로피가 아닌 방식으로 증가하며, 이는 유리 생성 함수 g(s) = (1 + s^4)/((1-s)(1-s-s^2-s^3))로 적합되며, 비통합 가능성임을 확인한다.
• 접기 구조를 통해 아블라모비치-레디크 시스템 (13)-(14)가 미분-지연 시스템 (15)-(16)으로 변환되며, 이 과정에서 영 엔트로피가 유지되어 통합 가능성도 유지된다.