[논문 리뷰] Entire solutions of delay differential equations of Malmquist type

Ranran Zhang, Zhi-Bo Huang|arXiv (Cornell University)|2017. 10. 04.

Meromorphic and Entire Functions참고 문헌 10인용 수 5

한 줄 요약

이 논문은 초과수차 지연 미분방정식의 Malmquist 유형을 조사하여, 초과수차가 1보다 작은 초월 전체해를 가질 수 있는 모든 단순형을 특성화한다. 이전 결과에서 z에 대한 비영인 유리함수인 분모의 근을 가정하는 제약 조건을 제거함으로써 이를 확장하고, 이러한 해의 성장 및 값 분포 성질을 규명한다.

ABSTRACT

In this paper, we investigate the delay differential equations of Malmquist type of form \begin{equation*} w(z+1)-w(z-1)+a(z)\frac{w'(z)}{w(z)}=R(z, w(z)),~~~~~~~~~~~~~~(*) \end{equation*} where $R(z, w(z))$ is an irreducible rational function in $w(z)$ with rational coefficients and $a(z)$ is a rational function. We characterize all reduced forms when the equation $(*)$ admits a transcendental entire solutions with hyper-order less than one. When we compare with the results obtained by Halburd and Korhonen[Proc.Amer.Math.Soc., forcoming],we obtain the reduced forms without the assumptions that the denominator of rational function $R(z,w(z))$ has roots that are nonzero rational functions in $z$. The growth order and value distribution of transcendental entire solutions for the reduced forms are also investigated.

연구 동기 및 목표

• 초과수차가 1보다 작은 초월 전체해를 가진 Malmquist 유형의 지연 미분방정식의 모든 단순형을 특성화하는 것.
• 유리함수의 분모가 z에 대한 비영인 유리함수인 근을 가져야 한다는 가정 없이도 단순형 결과를 도출할 수 있는지 여부에 대한 열린 질문을 다루는 것.
• 단순형에 대해 초월 전체해의 성장 차수와 값 분포를 조사하는 것.
• Halburd와 Korhonen의 이전 연구에서 제약 조건이 가해진 바탕으로 Malmquist 유형 정리를 지연 미분방정식으로 확장하는 것.

제안 방법

• 메르코르프 함수의 성장 및 값 분포를 분석하기 위해 네바린나 이론을 적용하며, 특히 초과수차와 영점의 결핍도에 중점을 둔다.
• 작은 함수 개념과 특성함수 T(r, f)를 사용하여 해와 그 이동값의 성장률을 비교한다.
• 하다르드 인수분해 정리를 활용하여 전체해를 w(z) = H(z)e^{g(z)}의 형태로 표현하며, 여기서 H는 다항식이고 g는 초월 전체함수이다.
• 해의 이동값을 포함하는 핵심 항등식(예: w(z+1) - w(z-1))을 유도하고, 특성함수 추정을 통해 그 점근적 행동을 분석한다.
• 이동한 함수의 성장에 대해 레마 5.1을 적용하여 T(r, f(z+c))와 T(r, f(z))를 비교하고, 유한 반복 차수를 가정할 경우 모순을 도출한다.
• 해의 구조와 도함수에 대한 케이스 분석을 수행하여 불가능한 구성요소를 제거하고, 유효한 단순형의 분류에 도달한다.

실험 결과

연구 질문

• RQ1 유리함수의 분모가 z에 대한 비영인 유리함수인 근을 가져야 한다는 가정 없이도 Malmquist 유형 지연 미분방정식의 단순형 결과를 도출할 수 있는가?
• RQ2 초과수차가 1보다 작은 초월 전체해를 허용하는 모든 단순형의 완전한 집합은 무엇인가?
• RQ3 해의 성장 차수와 a-값의 값 분포는 이러한 해에서 어떻게 행동하는가?
• RQ4 유한 반복 차수를 가진 모든 전체해를 단순형에 대해 분류할 수 있는가?

주요 결과

• 식 (1.2)는 w(z+1) - w(z-1) + a(z)w'(z)/w(z) = a₁(z)w(z) + a₀(z) 또는 w(z+1) - w(z-1) + a(z)w'(z)/w(z) = (a₂(z)w(z)² + a₁(z)w(z) + a₀(z))/w(z)의 두 형태 중 하나로 단순화되며, 여기서 a₂, a₁, a₀는 유리함수이다.
• 이전에 분모의 근이 z에 대한 비영인 유리함수여야 한다는 가정이 없이도 단순형이 유효하므로, 이전 결과를 일반화한다.
• 단순형에 대해 전체해의 초과수차는 σ₂(w) < 1를 만족하고, 결핍도 Θ(0, w) = 0이므로 영점이 결핍값이 아님을 나타낸다.
• 식 w(z+1) - w(z-1) + a(z)w'(z)/w(z) = a₁(z)w(z) + a₀(z)는 특성함수 추정을 통해 모순을 도출함으로써, 유한 반복 차수를 가진 전체해를 갖지 않음을 보였다.
• 해의 값 분포 분석 결과, w(z)와 관련된 표현의 영점은 결핍이 없으며, 네바린나 이론의 의미에서 균일하게 분포함을 나타낸다.
• 성장률 분석과 반복 차수 분석을 통해 이동한 함수의 성장률을 비교하고 모순을 도출함으로써, 반복 차수가 유한한 구성요소를 성공적으로 제거하는 증명 기법이 적용되었다.