[논문 리뷰] The iterated logarithmic algebra

Daniel E. Loeb|arXiv (Cornell University)|1995. 02. 09.

Polynomial and algebraic computation참고 문헌 25인용 수 12

한 줄 요약

이 논문은 다중 로그와 실수 거듭제곱을 포함하는 형식적 표현으로 다항식 및 역거듭제곱급수 이론을 일반화한 반복 로그 대수(I)를 소개한다. 실수에 대해 일반화된 계승, 이항계수 및 스틸링 수를 정의함으로써 조화 로그 기저를 수립하고, 이동 불변 연산자를 분류하며, 이항형 수열과 셰퍼 수열에 대해 재귀, 이행, 라그랑주 역함수 공식과 같은 핵심 공식을 유도한다.

ABSTRACT

We generalize the Umbral Calculus of G-C. Rota by studying not only sequences of polynomials and inverse power series, or even the logarithms studied in, but instead we study sequences of formal expressions involving the iterated logarithms and x to an arbitrary real power. Using a theory of formal power series with real exponents, and a more general definition of factorial, binomial coefficient, and Stirling numbers to all the real numbers, we define the Iterated Logarithmic Algebra I. Its elements are the formal representations of the asymptotic expansions of a large class of real functions, and we define the harmonic logarithm basis of I which will be interpreted as a generalization of the powers x^n since it behaves nicely with respect to the derivative We classify all operators over I which commute with the derivative (classically these are known as shift-invariant operators), and formulate several equivalent definitions of a sequence of binomial type. We then derive many formulas useful towards the calculation of these sequences including the Recurrence Formula, the Transfer Formula, and the Lagrange Inversion Formula. Finally, we study Sheffer sequences, and give many examples.

연구 동기 및 목표

• 반복 로그와 x의 실수 거듭제곱을 포함하는 형식적 표현을 포함하도록 로타의 우마브러 계산을 확장하는 것.
• 실수에 대해 일반화된 계승, 이항계수, 스틸링 수 연산을 정의하는 것.
• 다항식 x^n의 일반화이자 미분과 잘 어울리는 조화 로그 기저를 구성하는 것.
• 미분과 가환하는 모든 선형 연산자(이동 불변 연산자)를 대수 위에서 분류하는 것.
• 이항형 수열과 셰퍼 수열에 대해 일반적인 계산 공식인 재귀, 이행, 라그랑주 역함수 공식을 도출하는 것.

제안 방법

• 비정수 거듭제곱과 반복 로그를 다룰 수 있는 실수 지수를 가진 형식적 거듭제곱급수 이론을 개발한다.
• 고전적인 조합 구조를 일반화하여 모든 실수에 대해 정의된 일반화된 계승 및 이항계수 함수를 도입한다.
• 미분과 깔끔하게 작용하는 x^n의 일반화로서 조화 로그 기저를 정의한다.
• 연산자 이론을 사용하여 대수 I 위의 모든 이동 불변 연산자(즉, 미분과 가환하는 연산자)를 분류한다.
• 이항형 수열 내에서 재귀 공식, 이행 공식, 라그랑주 역함수 공식을 도출한다.
• 프레임워크를 셰퍼 수열에 적용하여 통합적인 처리와 여러 예제를 제공한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 우마브러 계산을 반복 로그와 x의 실수 지수를 포함하는 형식적 거듭제곱급수로 확장할 수 있는가?
• RQ2 실수로 확장했을 때 계승, 이항계수, 스틸링 수의 일반화된 형태는 무엇인가?
• RQ3 어떤 선형 연산자가 대수 위에서 미분과 가환하는가? 그리고 그것들을 완전히 분류할 수 있는가?
• RQ4 이 확장된 대수에서 이항형 수열에 대해 일반적인 계산 공식인 재귀, 이행, 라그랑주 역함수 공식은 무엇인가?
• RQ5 셰퍼 수열은 반복 로그 대수의 맥락에서 어떻게 행동하는가? 그리고 어떤 예제를 도출할 수 있는가?

주요 결과

• 반복 로그 대수 I는 반복 로그와 x의 실수 거듭제곱을 포함하는 점근 전개의 형식적 대수로 정의된다.
• 다항식 x^n의 일반화이자 미분을 잘 따르는 조화 로그 기저가 구성되어 있으며, 다항식 유사 행동의 자연스러운 확장이 가능하다.
• 모든 이동 불변 연산자—즉, 미분과 가환하는 연산자—는 이 대수의 프레임워크 내에서 완전히 분류된다.
• 재귀 공식, 이행 공식, 라그랑주 역함수 공식은 이 설정에서 일반화되고, 이항형 수열에 대해 성립하는 것으로 증명된다.
• 셰퍼 수열은 체계적으로 연구되었으며, 여러 예제가 유도되어 이 대수가 점근 해석학과 조합론에서의 유용성을 보여준다.
• 일반화된 계승 및 이항계수 함수는 모든 실수에 대해 정의되어 있어 비정수 지수에 대한 조합 연산을 가능하게 한다.