[논문 리뷰] Algebraic Values of Transcendental Functions at Algebraic Points

Jing-Jing Huang, Diego Marques외 1명|ArXiv.org|2008. 08. 20.

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

한 줄 요약

이 논문은 임의의 가산 부분집합이 대수적 수의 집합일 수 있으며, 이는 전순사 해석 함수의 예외 집합이 될 수 있음을 증명한다. 즉, 함수는 이러한 점들에서 대수적 값을 갖지만, 그 외의 점에서는 대수적 출력을 피한다. 재귀적으로 정의된 다항식과 급수 수렴 기반의 구조적 방법을 사용하여, 이전에 알려진 대수적 점에서 대수적 값을 갖는 전순사 해석 함수의 결과를 일반화하며, $ e^z $, $ 2^z $, $ \sin(\pi z)e^z $와 같은 예들을 하나의 프레임워크로 통합한다.

ABSTRACT

In this paper, the authors will prove that any subset of $\overline{\QQ}$ can be the exceptional set of some transcendental entire function. Furthermore, we could generalize this theorem to a much more general version and present a unified proof.

연구 동기 및 목표

• 대수적 점들을 밀도가 높은 $\mathbb{C}$의 부분집합으로 매핑하는 전순사 해석 함수에 관한 슈타켈의 결과를 일반화하기 위해.
• 모든 가산 부분집합 $A \subseteq \overline{\mathbb{Q}}$가 어떤 전순사 해석 함수 $f$의 예외 집합 $S_f = \{\alpha \in \overline{\mathbb{Q}} \mid f(\alpha) \in \overline{\mathbb{Q}}\}$가 될 수 있음을 확립하기 위해.
• 지정된 도함수 값 조건을 만족하는 이러한 함수의 존재를 통합적이고 구조적인 방법으로 증명하기 위해.
• 전순사 해석 함수의 예외 집합이 $\overline{\mathbb{Q}}$의 가산 부분집합이 될 수 있으며, 이는 유한 집합, 여유한 집합, 또는 무한 집합일 수 있음을 보여주기 위해.

제안 방법

• 가산 집합 $A \subseteq \overline{\mathbb{Q}}$의 순서화된 열 $\{\alpha_n\}$에 따라 재귀적으로 단항 다항식 $P_n(z)$를 $P_n(z) = (z - \alpha_{j_n})P_{n-1}(z)$로 정의한다.
• $i_n = m_n + 1 - j_n$을 정의하여 각 $\alpha_{j_n}$의 다항식 $P_n(z)$ 내에서의 중복도를 추적하며, $P_n^{(i_n)}(\alpha_{j_n}) \neq 0$임을 보장한다.
• 계수 $a_k$를 선택하여 급수 $f(z) = \sum_{k=0}^\infty a_k P_k(z)$가 각 $s \geq 0$에 대해 $f^{(s)}(\alpha_j) \in E_{\alpha_j,s}$가 되도록 한다. 여기서 $E_{\alpha_j,s}$는 $\mathbb{C}$의 밀집 부분집합이다.
• $|a_k| \leq \frac{1}{C_k k!}$이 되도록 하여 $C_k$가 $|P_k(z)|$를 상한으로 가지게 하고, 이는 컴팩트 집합에서 절대적이고 균일한 수렴을 보장하므로 $f$는 전순사 함수가 된다.
• 레마 3을 사용하여 $P_k$ 기저에서 계수의 유일성을 증명하고, 이는 $f$가 다항식이 아니므로 전순사 함수임을 보장한다.
• 귀납법을 적용하여 $a_k$를 선택함으로써 $f^{(i)}(\alpha_j) \in E_{\alpha_j,i}$를 확보하며, 특히 중요한 점에서 $P_k^{(i_n)}(\alpha_{j_n})$의 비영이 되는 것을 이용한다.

실험 결과

연구 질문

• RQ1 모든 가산 부분집합 $A \subseteq \overline{\mathbb{Q}}$가 어떤 전순사 해석 함수 $f$의 예외 집합 $S_f$로 실현될 수 있는가?
• RQ2 대수적 점들을 $\mathbb{C}$의 지정된 밀집 부분집합으로 매핑하는 전순사 해석 함수를 생성하는 통일된 구조적 방법이 존재하는가? 이는 대수적 값도 포함한다.
• RQ3 대수적 점 $\alpha$에서의 모든 도함수 값 $f^{(s)}(\alpha)$를 지정된 밀집 집합 $E_{\alpha,s}$ 안에 제어할 수 있는가?
• RQ4 구성된 함수 $f$가 다항식이 아닌 전순사 함수가 되도록 보장하는 조건은 무엇인가?

주요 결과

• 모든 가산 부분집합 $A \subseteq \overline{\mathbb{Q}}$에 대해, $S_f = A$인 전순사 해석 함수 $f$가 존재한다. 즉, $f(\alpha) \in \overline{\mathbb{Q}}$이면 $\alpha \in A$이며, 그 반대도 성립한다.
• 이 구성은 지정된 도함수 값 조건을 만족하는 전순사 해석 함수를 불가측한 무수히 많은 수로 생성한다.
• 함수 $f(z) = \sum_{k=0}^\infty a_k P_k(z)$는 전순사 함수이자 전순사 함수이며, 계수 $a_k$는 모든 $s \geq 0$ 및 $\alpha_j \in A$에 대해 $f^{(s)}(\alpha_j) \in E_{\alpha_j,s}$를 만족하도록 선택된다.
• 이 방법은 기존의 예를 일반화한다: $f_4(z) = 2^z$는 $S_{f_4} = \mathbb{Q}$를 가지며, $f_5(z) = e^{i\pi z}$는 $S_{f_5} = \mathbb{Q}$를 가지며, 샤누엘의 추측에 따르면 $f_6(z) = \sin(\pi z)e^z$는 $S_{f_6} = \mathbb{Z}$를 가진다.
• 증명은 모든 $s \geq 0$ 및 $\alpha_j \in A$에 대해 $f^{(s)}(\alpha_j) \in E_{\alpha_j,s}$임을 보이며, 여기서 $E_{\alpha_j,s}$는 $\mathbb{C}$에 밀집되어 있다. 또한 계수의 유일성에 기반하여 $f$는 다항식이 아니므로 전순사 함수임이 보장된다.
• 예외 집합 $S_f$는 $\overline{\mathbb{Q}}$의 가산 부분집합이면 어떤 것도 가능하며, 이는 유한 집합, $\mathbb{Q}$, $\mathbb{Z}$, $\mathbb{N}$ 등 $E_{\alpha,s}$의 선택에 따라 달라진다.