[논문 리뷰] On the oscillation of certain second-order linear differential equations

Yueyang Zhang|arXiv (Cornell University)|2021. 10. 12.

Meromorphic and Entire Functions참고 문헌 22인용 수 4

한 줄 요약

이 논문은 지수 함수의 합을 포함하는 계수를 가진 두 번째 차수 선형 미분방정식의 진동 행동을 조사한다. 영인 해의 영의 수렴 지수가 유한한 전체 해의 완전한 특성화를 제공하며, $ f'' - (e^{lz} + b_2e^{sz} + b_3)f = 0 $ 형태의 방정식에서 두 선형 독립 해가 존재하고 $ \lambda(f) < \infty $일 때는 $ l = 2 $이어야 하며, $ l = 2 $ 및 $ l = 4 $일 때 이러한 해를 완전히 기술한다.

ABSTRACT

This paper consists of three parts: First, letting $b_1(z)$, $b_2(z)$, $p_1(z)$ and $p_2(z)$ be nonzero polynomials such that $p_1(z)$ and $p_2(z)$ have the same degree $k\geq 1$ and distinct leading coefficients $1$ and $α$, respectively, we solve entire solutions of the Tumura--Clunie type differential equation $f^{n}+P(z,f)=b_1(z)e^{p_1(z)}+b_2(z)e^{p_2(z)}$, where $n\geq 2$ is an integer, $P(z,f)$ is a differential polynomial in $f$ of degree $\leq n-1$ with coefficients having polynomial growth. Second, we study the oscillation of the second-order differential equation $f''-[b_1(z)e^{p_1(z)}+b_2(z)e^{p_2(z)}]f=0$ and prove that $α=[2(m+1)-1]/[2(m+1)]$ for some integer $m\geq 0$ if this equation admits a nontrivial solution such that $λ(f)&lt;\infty$. This partially answers a question of Ishizaki. Finally, letting $b_2 ot=0$ and $b_3$ be constants and $l$ and $s$ be relatively prime integers such that $l&gt; s\geq 1$, we prove that $l=2$ if the equation $f''-(e^{lz}+b_2e^{sz}+b_3)f=0$ admits two linearly independent solutions $f_1$ and $f_2$ such that $\max\{λ(f_1),λ(f_2)\}&lt;\infty$. In particular, we precisely characterize all solutions such that $λ(f)&lt;\infty$ when $l=2$ and $l=4$.

연구 동기 및 목표

• 계수가 두 개의 지수형 함수와 다항식 성장성을 가진 두 번째 차수 선형 미분방정식의 전체 해를 모두 특성화하는 것.
• Ishizaki가 제기한, 계수가 $ b_1(z)e^{p_1(z)} + b_2(z)e^{p_2(z)} $인 방정식의 진동성에 관한 질문을 해결하는 것, 특히 $ \lambda(f) < \infty $일 경우에 대해.
• 방정식 $ f'' - (e^{lz} + b_2e^{sz} + b_3)f = 0 $이 두 선형 독립 해를 가지며 영의 수렴 지수가 유한한 경우에 지수 $ l $과 $ s $에 필요한 조건을 규명하는 것.
• $ l = 2 $ 및 $ l = 4 $에 대해 이러한 해의 명시적 재귀 공식과 구조적 기술을 제공하고, 이러한 경우가 유일한 가능 사례일 것임을 추측하는 것.

제안 방법

• 계수가 다항식 계수를 가진 차수 $ \leq n-1 $인 미분다항식 $ P(z,f) $를 포함하는 형태의 Tumura–Clunie 유형의 미분방정식을 분석한다: $ f^n + P(z,f) = b_1(z)e^{p_1(z)} + b_2(z)e^{p_2(z)} $.
• Nevanlinna 이론과 Hadamard의 인수분해 정리를 적용하여 $ \lambda(f) < \infty $인 전체 해의 구조를 유도하고, 이를 지수다항식과 연결한다.
• 해를 미분방정식에 대입하여 유도된 재귀 계수 관계를 사용하여 영의 수렴 지수가 유한한 해가 존재할 조건을 규명한다.
• 미지수 계수의 방법과 지수다항식의 구조적 분석을 활용하여 $ l = 2 $ 및 $ l = 4 $의 해를 분류하며, $ b_2 $와 $ b_3 $가 특정 대수적 제약 조건을 만족해야 함을 보여준다.
• 해의 성장과 영의 분포에 관한 정리를 적용하여 가능한 $ l $의 값을 제약하고, 두 독립 해가 존재하고 $ \lambda(f) < \infty $일 경우 $ l = 2 $가 유일한 가능성임을 증명한다.
• 해의 가정에서 지수의 대칭성과 부호 분석을 통해 다른 $ l $ 값, 특히 $ l $과 $ s $가 서로소 정수일 때 $ l \geq 3 $의 경우를 배제한다.

실험 결과

연구 질문

• RQ1 다항식 $ p_1(z) $와 $ p_2(z) $가 같은 차수를 가지며 서로 다른 주계수를 가질 때, 미분방정식 $ f'' - (b_1(z)e^{p_1(z)} + b_2(z)e^{p_2(z)})f = 0 $이 $ \lambda(f) < \infty $를 만족하는 비자명한 해를 가질 수 있는 조건은 무엇인가?
• RQ2 Ishizaki가 제기한 바에 따르면, 이러한 해가 존재하기 위해 $ p_1(z) $와 $ p_2(z) $의 주계수 비율에 필요한 조건은 무엇인가?
• RQ3 계수가 $ A(z) = e^{lz} + b_2e^{sz} + b_3 $이고 $ l $과 $ s $가 서로소 정수이며 $ b_2, b_3 $가 상수일 때, 방정식 $ f'' - (e^{lz} + b_2e^{sz} + b_3)f = 0 $이 두 선형 독립 해를 가지며 $ \lambda(f) < \infty $일 수 있는 $ l $의 값은 무엇인가?
• RQ4 $ l = 2 $ 및 $ l = 4 $에 대해 $ \lambda(f) < \infty $인 모든 해를 완전하고 명시적으로 특성화할 수 있는가? 이 경우 $ b_2 $와 $ b_3 $는 어떤 대수적 제약 조건을 만족해야 하는가?
• RQ5 해당 방정식이 $ l \neq 2,4 $일 때도 $ \lambda(f) < \infty $인 해를 가질 수 있는가, 아니면 $ l = 2 $가 유일한 가능성인가?

주요 결과

• 방정식 $ f'' - (b_1(z)e^{p_1(z)} + b_2(z)e^{p_2(z)})f = 0 $에서 비자명한 해가 $ \lambda(f) < \infty $를 만족하면, $ p_1(z) $와 $ p_2(z) $의 주계수 비율은 $ \alpha = \frac{2(m+1)-1}{2(m+1)} $의 형태여야 하며, 이는 Ishizaki의 질문에 부분적으로 답한다. 여기서 $ m \geq 0 $은 정수이다.
• 계수가 $ A(z) = e^{lz} + b_2e^{sz} + b_3 $이고 $ l $과 $ s $가 서로소 정수이며 $ b_2, b_3 $가 상수일 때, 두 선형 독립 해가 존재하고 $ \lambda(f) < \infty $일 수 있는 것은 $ l = 2 $일 때에만 가능하다.
• $ l = 2 $일 경우, 모든 $ \lambda(f) < \infty $인 해는 명시적으로 특성화된다: $ f = \kappa e^{h} $의 형태이며, 여기서 $ \kappa $는 $ e^z $에 대한 다항식이고 $ h $는 $ e^z $와 $ z $의 선형 조합이며, 계수는 특정 재귀 관계를 만족한다.
• $ l = 4 $일 경우, 유사한 명시적 특성화가 제공되며, 해가 존재하기 위해서는 $ b_2 $와 $ b_3 $가 $ b_2 = c_0(k_1 - k_2) $ 및 $ 4b_3 = (k_1 + k_2 + 1)^2 $를 만족해야 한다. 여기서 $ k_1, k_2 $는 음이 아닌 정수이다.
• 논문은 영의 수렴 지수가 유한한 두 선형 독립 해 $ f_1 $과 $ f_2 $를 구성하였으며, $ k_1 $ 또는 $ k_2 $ 중 하나를 0으로 선택함으로써 $ \min\{\lambda(f_1), \lambda(f_2)\} = 0 $일 수 있음을 보였다.
• 저자들은 $ l \neq 2,4 $일 경우 이러한 해가 존재하지 않을 것이라 추측하며, 해 다항식의 계수에 대한 재귀 공식을 제공한다. 그러나 $ l \geq 3 $에 대해 이러한 조건을 만족하는 비자명한 해의 존재성은 아직 증명되지 않았다.