[논문 리뷰] De transformatione seriei divergentis 1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + etc. in fractionem continuam

Leonhard Euler, Artur Diener외 1명|arXiv (Cornell University)|2012. 01. 31.

History and Theory of Mathematics인용 수 7

한 줄 요약

이 논문은 수렴하지 않는 초함수 유형의 급수 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 를 반복적인 대수적 변환을 통해 연속분수로 변환하는 방법을 제시한다. Euller는 연속분수 표현 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ 를 유도하며, 유리식의 반복적 단순화를 통해 원래 급수와의 등가성을 증명함으로써, 수렴하지 않는 급수를 연속분수로 분석하는 데 기초가 되는 기법을 확립한다.

ABSTRACT

In this paper, Euler transforms the divergent series in the title, and thereby dervies the well known continued fraction expansion for pi/4 from Leibniz's series. The paper is translated from Euler's Latin originial into German.

연구 동기 및 목표

• 수렴하지 않는 급수 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 에 대한 연속분수 표현을 직접적이고 기본적인 방법으로 유도하는 것.
• 이전에 리카티 방정식 변환에 기반한 간접적 증명을 대체하여 더 접근하기 쉬운 대수적 단순화 방법을 제시하는 것.
• 유리식의 반복적 변환을 통해 수렴하지 않는 급수와 유도된 연속분수 간의 등가성을 입증하는 것.
• 체계적인 치환과 텔레스코프 패턴을 사용하여 계승적으로 증가하는 급수를 연속분수로 변환하는 일반적인 방법을 확립하는 것.

제안 방법

• 급수를 $1 - A + AB - ABC + ABCD - \cdots$ 형태로 단순화하기 위해 $a = mx$ 및 $b = nx$ 라는 치환을 도입한다. 여기서 $A = a$, $B = a + b$, $C = a + 2b$ 등이다.
• 합을 $S = 1 - A + AB - ABC + \cdots$ 로 정의하고, $1/S = 1 + \frac{A - AB + ABC - \cdots}{S}$ 로 표현함으로써 반복적 분해를 유도한다.
• 다음으로 $1/S = 1 + 1/P$ 라고 놓고, $P = 1 + b/Q$, $Q = 1 + 2b/R$, $R = 1 + 3b/S$ 와 같이 계속해서 연속된 유리식의 사슬을 도입한다.
• 각 단계에서 $X = 1 + \frac{k b}{Y}$ 라는 재귀 관계를 사용하며, 여기서 $k$ 는 증가하고 분자에는 이항계수(삼각수, 양각수)가 포함된다.
• 연속분수에서 패턴이 나타날 때까지 과정을 계속하여, 분모의 계수들이 이항계수와 증가하는 항을 포함하는 형태로 나타나게 한다.
• 최종적으로 연속분수 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ 를 재구성함으로써 변환의 정당성을 확인한다.

실험 결과

연구 질문

• RQ1 수렴하지 않는 급수 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 가 기본적인 대수적 변환만으로 연속분수로 변환될 수 있는가?
• RQ2 급수 합의 역수를 반복적으로 유리식으로 분해할 때 어떤 재귀적 구조가 도출되는가?
• RQ3 이항계수(삼각수, 양각수)는 감소 과정 중 연속분수 계수에 어떻게 나타나는가?
• RQ4 유도된 연속분수 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ 는 원래 수렴하지 않는 급수와 수학적으로 등가한가?
• RQ5 이 방법은 다른 계승적으로 증가하는 급수로 일반화될 수 있으며, 기존의 연속분수 항등식을 검증하는 데 사용될 수 있는가?

주요 결과

• 수렴하지 않는 급수 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ 가 대수적으로 연속분수 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ 와 등가임을 입증한다.
• 이 변환은 $1/S = 1 + 1/P$, $P = 1 + b/Q$, $Q = 1 + 2b/R$ 등과 같은 반복적 분해를 통해 이루어지며, 각 단계에서 새로운 변수와 새로운 계수 패턴이 도입된다.
• 연속분수 분모의 계수는 1, 2, 3, 4, 5, ... 와 같은 이항계수의 순서이며, 이는 삼각수와 양각수에 해당한다.
• 이 방법은 역으로 과정을 거쳐 브라운커의 연속분수 $\pi/4$ 를 확인함으로써 유효성을 입증한다: 연속분수에서 출발하여 라이프니츠 급수 $1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac{\pi}{4}$ 를 재구성한다.
• 유사하게, 이 방법은 연속분수 $\cfrac{1}{1 + \cfrac{1}{1 + \cfrac{4}{1 + \cfrac{9}{1 + \cdots}}}}$ 가 교대 조화급수 $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots = \log 2$ 와 등가임을 검증한다.
• 반복적인 단순화 과정은 각 새로운 변수가 항의 순서를 이동시키고 분자에 새로운 이항계수를 도입하는 체계적인 패턴을 드러내며, 이는 전체 연속분수의 구조를 유도하는 데 기여한다.