[논문 리뷰] Specimen transformationis singularis serierum

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

History and Theory of Mathematics인용 수 6

한 줄 요약

이 논문은 미분방정식 접근을 통해 초함수 유형의 급수를 고유한 방식으로 변환하며, $ s = (1 - x)^{c - a - b} z $라는 치환을 통해 급수의 합에 대한 새로운 표현을 도출한다. 주요 기여는 $ z $에 대한 두 번째 차수 선형 미분방정식으로, $ c - a $ 또는 $ c - b $가 음의 정수일 경우에 단순화되어 유한한 합계를 가능하게 한다. 이 변환은 급수, 적분, 특수함수 항등식 간의 깊은 연결을 드러내며, 특히 삼각함수와 이항계수를 포함하는 새로운 적분 항등식을 통해 나타난다.

ABSTRACT

Euler starts with a hypergeometric series F(a, b, c, x), and differentiates it to get a functional relation. This relation is today known as Euler's identity. Then he integrates to get another and ends up with something like Legendre polynomials. The paper is translated from Euler's Latin original into German.

연구 동기 및 목표

• 일반 매개변수를 가진 초함수 유형 급수에 대해 특정 매개변수 조건 하에서 유한합계를 가능하게 하는 새로운 변환을 도출하는 것.
• 미분방정식 프레임워크를 통해 원래 급수와 변환된 급수 간의 연결을 수립하는 것.
• 표준 적분 방법이 실패할 경우에도 이 변환이 유일하게 효과적임을 보여주는 것.
• 초함수 급수와 그 적분 표현 간의 숨겨진 대칭성과 항등식을 드러내는 것.
• 단일 치환 $ s = (1 - x)^{c - a - b} z $를 통해 서로 다른 급수 및 적분 형태를 통합하는 것.

제안 방법

• 원래 급수 $ s $를 지배하는 미분방정식을 유도하기 위해 $ x^a $, $ x^b $, $ x^c $를 포함하는 항들을 반복적으로 미분하고 변형한다.
• 원래의 두 번째 차수 미분방정식을 $ z $에 대한 새로운 방정식으로 변환하기 위해 치환 $ s = (1 - x)^n z $를 적용한다.
• $ n = c - a - b $로 선택하여 변환된 방정식의 특이항을 제거하고, 이를 $ x(1 - x)\partial\partial z + [c - (\alpha + \beta + 1)x]\partial z - \alpha\beta z = 0 $으로 단순화한다.
• $ \alpha = c - a $, $ \beta = c - b $로 매개변수를 치환하여 변환된 방정식을 $ \alpha $와 $ \beta $로 표현함으로써 원래 급수와의 대칭성을 보여준다.
• 이 변환을 적용하여 $ \Theta^n \partial\phi \cos i\phi $ 및 $ \frac{\partial\phi \cos i\phi}{\Theta^{n+1}} $ 형태의 적분 간의 새로운 항등식을 유도한다. 여기서 $ \Theta = \frac{1 + aa - 2a\cos\phi}{1 - aa} $이다.
• 항등식 $ \left(\frac{n}{i}\right)\int \frac{\partial\phi \cos i\phi}{\Theta^{n+1}} = \left(\frac{-n-1}{i}\right)\int \Theta^n \partial\phi \cos i\phi $를 통해 급수와 적분 간의 이중성 관계를 수립한다.

실험 결과

연구 질문

• RQ1 일반 매개변수를 가진 초함수 유형 급수는 어떻게 하여 유한합계가 가능한 형태로 변환될 수 있는가?
• RQ2 원래 급수를 지배하는 미분방정식은 무엇이며, 치환을 통해 어떻게 단순화될 수 있는가?
• RQ3 $ s = (1 - x)^{c - a - b} z $의 변환이 원래 미분방정식의 비적분 가능성 문제를 어떻게 해결하는가?
• RQ4 유도된 항등식을 통해 변환된 급수와 적분은 어떻게 이항계수와 삼각함수 함수를 포함해 관련되어 있는가?
• RQ5 닫힌 형태의 해를 얻기 위해 $ n = c - a - b $로 매개변수를 선택하는 데 있어 그 의미는 무엇인가?

주요 결과

• 변환 $ s = (1 - x)^{c - a - b} z $는 원래의 발산하거나 초월적인 급수를 두 번째 차수 미분방정식을 만족하는 새로운 급수로 변환하며, $ c - a $ 또는 $ c - b $가 음의 정수일 경우에 단순화된다.
• 변환된 급수 $ z $는 초함수 미분방정식 $ x(1 - x)\partial\partial z + [c - (\alpha + \beta + 1)x]\partial z - \alpha\beta z = 0 $을 만족하며, 이는 매개변수 $ \alpha $와 $ \beta $로 표현된 원래 급수의 형태와 일치한다.
• $ \alpha $ 또는 $ \beta $가 음의 정수일 경우, $ z $의 급수는 종료되어 유한합계를 얻으며, 결과적으로 원래 급수 $ s $는 $ s = z(1 - x)^{c - a - b} $로 닫힌 형태로 표현된다.
• 새로운 적분 항등식이 도출된다: $ \left(\frac{n}{i}\right)\int \frac{\partial\phi \cos i\phi}{\Theta^{n+1}} = \left(\frac{-n-1}{i}\right)\int \Theta^n \partial\phi \cos i\phi $, 여기서 $ \Theta = \frac{1 + aa - 2a\cos\phi}{1 - aa} $이며, 이는 급수와 적분 간의 이중성을 드러낸다.
• 이 방법은 세 개의 급수 $ \mathfrak{A}, \mathfrak{B}, \mathfrak{C} $ 간의 관계를 설정하며, $ \left(\frac{e - h - 1}{e}\right)\mathfrak{A} = \left(\frac{h}{e}\right)(1 - x)^{f + h + 1}\mathfrak{B} $ 및 유사한 항등식을 통해 이항계수와 $ (1 - x) $의 거듭제곱을 통해 그 합을 연결한다.
• 논문은 이 변환이 효과적일 뿐 아니라 더 깊은 대칭성을 드러내며, 나중에 수학적 귀납법을 통해 독립적으로 확인된 결과로써 이 방법의 강건성을 검증한다.