[논문 리뷰] On the functional equation $f^n(z)+g^n(z)=e^{\alpha z+\beta}$

Qi Han, Feng Lü|arXiv (Cornell University)|2016. 12. 20.

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

한 줄 요약

이 논문은 복소평면 위에서 두 종류의 페르마 유형 함수방정식에 대한 유리형 해를 분류한다: $f^n(z) + (f')^n(z) = e^{eta z + eta}$ 및 $f^n(z) + f^n(z + c) = e^{eta z + eta}$, $n \geq 1$ 에 대해 네바린나 이론과 타원 함수의 성질을 사용한다. 주요 결과는 $n \geq 3$ 일 때 미분 방정식의 해는 전형적이고 $f(z) = d e^{(\alpha z + \beta)/n}$ 형태임을 보이며, $n=3$ 일 때는 차수 유한한 유리형 해가 존재하지 않음을 값 분포 이론을 이용한 모순에 의해 증명한다.

ABSTRACT

We describe meromorphic solutions to the equations $f^n(z)+\left(f' ight)^n(z)=e^{\alpha z+\beta}$ and $f^n(z)+f^n(z+c)=e^{\alpha z+\beta}$ ($c eq0$) over the complex plane $\mathbf{C}$ for integers $n\geq1$.

연구 동기 및 목표

• 함수방정식 $f^n(z) + g^n(z) = e^{\alpha z + \beta}$ 의 모든 유리형 해를 분류하는 것, 여기서 $g(z) = f'(z)$ 이거나 $g(z) = f(z + c)$ 이며 $n \geq 1$ 이다.
• 고전적 페르마 유형 방정식을 복소해석학과 네바린나 이론을 사용하여 지수 함수 오른쪽 항으로 확장하는 것.
• 차수 유한한 유리형 해가 $f^n(z) + f^n(z + c) = e^{\alpha z + \beta}$ 차분 방정식에 존재하는지 여부와 그 구조를 규명하는 것, 특히 $n = 3$ 에서의 경우.
• 특히 $n \geq 3$ 에서 미분 방정식 $f^n(z) + (f')^n(z) = e^{\alpha z + \beta}$ 의 전형적 해를 특성화하는 것.
• 위어스트라스 타원 함수와 그 값 분포가 해를 구성하거나 배제하는 데 미치는 영향을 조사하는 것.

제안 방법

• 유리형 함수의 성장과 값 분포를 분석하기 위해 네바린나 이론을 사용하며, 특히 특성 함수 $T(r, f)$ 와 수세기 함수 $N(r, f)$ 를 다룬다.
• 네바린나 이론의 첫 번째 및 두 번째 주요 정리와 로그 도함수 보조정리를 적용하여 오차 항을 통제한다.
• 위어스트라스 $\wp$-함수와 그 대수적 항등식 $(\wp')^2 = 4\wp^3 - 1$ 을 사용하여 $n=3$ 에 대한 후보 해를 구성한다.
• 방정식에 대입하여 무한대에서의 점근적 행동을 분석함으로써 $f(z)$ 와 $f(z+c)$ 사이의 함수관계를 유도한다.
• 성장 추정에 기반한 모순 증명을 사용한다: 유한 차수를 가진다고 가정하면 $\rho(p(h)) < \infty$ 가 되며, 이는 $h$ 가 다항식이 되도록 강제한다.
• Weierstrass 함수와 그 합성의 성장에 관한 Bank–Langley 및 Edrei–Fuchs 정리를 적용하여 값 분포에서의 모순을 유도한다.

실험 결과

연구 질문

• RQ1 어느 $n \geq 1$ 에서 $f^n(z) + (f')^n(z) = e^{\alpha z + \beta}$ 에 대해 비자명한 유리형 해가 존재하는가?
• RQ2 $n = 3$ 일 때, 차수 유한한 유리형 해가 $f^n(z) + f^n(z + c) = e^{\alpha z + \beta}$ 차분 방정식에 존재할 수 있는가?
• RQ3 $n \geq 3$ 에서 $f^n(z) + (f')^n(z) = e^{\alpha z + \beta}$ 의 전형적 해의 구조는 무엇인가?
• RQ4 $n=3$ 의 경우 위어스트라스 $\wp$-함수의 영과 극이 가능한 해를 어떻게 제약하는가?
• RQ5 $n=2$ 일 때, 차수 유한한 해가 존재하는 조건은 $\alpha$, $\beta$, $c$ 에 대해 어떤가?

주요 결과

• 모든 해는 $n \geq 3$ 일 때 전형적이며 $f(z) = d e^{(\alpha z + \beta)/n}$ 형태이며, $d^n \left(1 + \left(\frac{\alpha}{n}\right)^n \right) = 1$ 이다.
• $n=3$ 일 때, 차수 유한한 유리형 해는 존재하지 않으며, 값 분포와 성장 추정에 기반한 모순에 의해 증명된다.
• $n=2$ 일 때, $\alpha = 0$ 이거나 $f(z) = d e^{(\alpha z + \beta)/2}$ 이면 해가 존재하며, 추가로 전형적 해 $f(z) = e^{\beta/2} \sin(z + b)$ 도 존재한다.
• $n=3$ 의 해 공식에서 $h(z)$ 는 $f$ 가 유한 차수를 가질 경우 다항식이어야 한다. 이는 $\wp(h(z))$ 의 성장에서 유도된다.
• 무한히 많은 $p(h(z))$ 의 영점이 존재한다고 가정하면, 함수방정식에서 일관되지 않은 점근적 행동이 발생하여 표준 성장 한계를 위반함으로써 모순이 발생한다.
• $n=1$ 일 때, 해는 $\alpha \neq -1$ 이면 $f(z) = \frac{e^{\alpha z + \beta}}{\alpha + 1} + a e^{-z}$ 이며, $\alpha = -1$ 이면 $f(z) = z e^{-z} + a e^{-z}$ 이다.