[논문 리뷰] A package on formal power series

Wolfram Koepf|arXiv (Cornell University)|1994. 04. 19.

Polynomial and algebraic computation참고 문헌 7인용 수 8

한 줄 요약

이 논문은 유리함수, 지수함수, 초함수함수를 그에 해당하는 형식적 로렌트-푸앵카레 급수로 자동 변환하는 데 전용으로 설계된 Mathematica 패키지인 PowerSeries를 제시한다. 미분방정식과 재귀방정식을 생성하기 위한 알고리즘을 구현하여, 하ansen의 고전적 급수표에서 얻은 결과를 높은 정확도와 효율성으로 재현할 수 있도록 한다.

ABSTRACT

Formal Laurent-Puiseux series are important in many branches of mathematics. This paper presents a {\it Mathematica} implementation of algorithms developed by the author for converting between certain classes of functions and their equivalent representing series. The package { t PowerSeries} handles functions of rational, exponential, and hypergeometric type, and enables the user to reproduce most of the results of Hansen's extensive table of series. Subalgorithms of independent significance generate differential equations satisfied by a given function and recurrence equations satisfied by a given sequence.

연구 동기 및 목표

• 특수함수의 형식적 거듭제곱 급수 표현을 체계적으로 생성하기 위한 계산 도구를 개발하기 위해.
• 닫힌형 함수와 그에 해당하는 급수 전개 간의 변환을 위한 알고리즘을 구현하기 위해.
• 주어진 함수가 만족하는 미분방정식과 수열에 대한 재귀관계를 자동으로 파생하기 위해.
• 하ansen의 잘 알려진 급수표에 담긴 광범위한 결과를 재현할 수 있도록 하기 위해.
• 고전적 해석학과 선형미분방정식에서의 기호 계산을 위한 재사용 가능하고 알고리즘적으로 타당한 패키지를 제공하기 위해.

제안 방법

• 패키지는 Mathematica에서의 기호 계산을 활용하여 함수를 그 형식적 거듭제곱 급수 표현으로 변환한다.
• 유리함수, 지수함수, 초함수함수에 특화된 알고리즘을 적용하여 급수 전개를 계산한다.
• 기호 조작 기법을 활용한 알고리즘적 기법을 사용하여 입력 함수가 만족하는 선형 미분방정식을 생성하는 서브루틴을 구현한다.
• 급수 계수로부터 유도된 수열에 대한 선형 재귀방정식을 유도하는 추가 서브루틴을 제공한다.
• 모듈러 구조로 구현되어 있어 더 넓은 기호 계산 작업에서 개별적으로 재사용 가능하도록 설계되어 있다.
• 로렌트-푸앵카레 급수를 지원하여 전개에서 분수거듭제곱과 특이점을 허용한다.

실험 결과

연구 질문

• RQ1 기호 계산을 통해 유리함수, 지수함수, 초함수함수의 형식적 거듭제곱 급수를 어떻게 체계적으로 계산할 수 있는가?
• RQ2 어떤 알고리즘적 접근 방식이 주어진 함수로부터 자동으로 미분방정식을 생성하는가?
• RQ3 급수 계수에 대한 재귀관계를 알고리즘적으로 도출하고 이를 통해 급수 전개를 재구성할 수 있는가?
• RQ4 이 패키지가 하ansen의 종합적인 급수표에 담긴 결과를 어느 정도 재현할 수 있는가?
• RQ5 형식적 로렌트-푸앵카레 급수는 기호 계산에서 어떤 역할을 하며, 실용적인 구현에서는 어떤 의미를 갖는가?

주요 결과

• PowerSeries 패키지는 광범위한 함수군을 그 형식적 거듭제곱 급수 표현으로 자동 변환하는 데 성공하였다.
• 입력 함수가 만족하는 미분방정식을 알고리즘적으로 정밀하게 생성하여 함수의 행동 분석을 심화시킬 수 있도록 하였다.
• 급수 계수에 대한 재귀관계를 생성하여 급수의 효율적 계산과 검증에 필수적인 요소를 제공하였다.
• 구현은 하ansen의 광범위한 급수표에 담긴 대부분의 결과를 재현할 수 있도록 하여 정확성과 실용성을 입증하였다.
• 미분방정식과 재귀방정식 생성을 위한 서브알고리즘은 독립적인 중요성을 지니며 다른 기호 계산 환경에서 재사용 가능하다.
• 고급 기호 알고리즘을 연구자들이 접근 가능한 Mathematica 환경에 통합하는 것이 가능함을 보여주었다.