[논문 리뷰] Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

Martin Klazar|arXiv (Cornell University)|2026. 01. 03.

Holomorphic and Operator Theory인용 수 0

한 줄 요약

본 논문은 형식적 멱급수(formal power series)를 사용하여 e의 초월성을 확립하는 두 가지 대수적 준형식 증명을 제시합니다: Beukers–Bézivin–Robba의 Lindemann–Weierstrass 접근법의 특이화와 저자에 의한 준형식 적분 기반 증명.

ABSTRACT

We remind the classical analytical proof of the transcendence of $\mathrm{e}$ due to Hilbert. Using formal power series, we then give two algebraic proofs of this result. The first proof is a specialization of the proof of Beukers, Bézivin and Robba of the Lindemann-Weierstrass theorem. The second proof uses improper integrals of formal power series and is due to this author. We explain in what respect both proofs improve upon Hilbert's proof.

연구 동기 및 목표

• e의 초월성에 대한 대수-해석 혼합 AB 증명 프레임워크를 동기 부여하고 정당화한다.
• Lindemann–Weierstrass 스타일의 증명을 준형식 형식적 멱급수 환경으로 옮긴다.
• 형식적 멱급수에 기반한 e의 초월성에 대한 두 가지 고유한 준형식 증명을 제공한다.

제안 방법

• Beukers, Bézivin, Robba 접근법을 정수 계수로 특화하여 e의 초월성을 도출한다.
• 유리 형식적 멱급수와 극의 차수 분석을 사용하여 Euler 유형 적분을 통해 모순을 강제한다.
• Hilbert의 원래 전략을 형식적 Newton 적분을 사용하여 모방하는 준형식 적분 프레임워크를 개발한다.
• 실수 형식적 멱급수에서의 시프트(이동)와 Newton 유형 적분을 도입하고 핵심 항등식(세미포멀 형식의 Euler 항등식)을 증명한다.
• 일부 구성된 급수가 유리함을 보이고 e를 포함하는 선형 종속성을 가정할 때 모순을 도출한다.

실험 결과

연구 질문

• RQ1 형식적 멱급수를 사용한 대수적(해석적이 아닌) 방법으로 e의 초월성을 보일 수 있는가?
• RQ2 정수 데이터가 있는 e에 대한 Lindemann–Weierstrass 유형의 주장이 준형식 AB 증명을 허용하는가?
• RQ3 Hilbert의 원래 적분 전략을 형식적 멱급수에 의한 준형식 AB 증명 프레임워크로 재구성할 수 있는가?
• RQ4 e의 거듭제곱과 관련된 대수적 의존성 가정 하에서 모순을 얻기 위해 필요한 보조 구성(예: Newton 적분 및 시프트)은 무엇인가?

주요 결과

• Beukers–Bézivin–Robba의 준형식 특수화가 정수 데이터로 e의 초월성에 대한 증명을 제공합니다.
• 두 번째 AB & SF 증명은 형식적 멱급수의 부적분을 사용하여 Hilbert의 전략을 모방하고 모순을 도출합니다.
• 두 증명 모두 형식 함수와 실수/복소 멱급수에 대한 준형식 연산에 의존하며, 제어된 한계 내에서만 완전한 형식화된 값으로 처리합니다.
• Euler의 적분 항등식은 준형식 설정에서 확립되며 초월성 주장에 중요한 구성요소로 작용합니다.
• 프레임워크는 초월성 증명을 위한 AB 증명(개수 가능 집합 사용)과 SF 증명(극한 허용 연산)을 구분합니다.
• 두 증명은 e의 초월성을 확립하기 위한 준형식 AB+SF 패러다임 내의 서로 다른 경로를 보여줍니다.