[论文解读] The iterated logarithmic algebra

Daniel E. Loeb|arXiv (Cornell University)|Feb 9, 1995

Polynomial and algebraic computation参考文献 25被引用 12

一句话总结

本文提出了迭代对数代数（I），这是罗塔的范畴演算的推广，将多项式与反幂级数理论扩展至包含迭代对数和x的实数次幂的正式表达式。通过在实数上定义广义阶乘、二项式系数和斯特林数，建立了调和对数基，并对平移不变算子进行了分类，推导出序列的递推公式、转移公式和拉格朗日反演公式等关键公式，适用于二项式型序列和谢弗序列。

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的非整数次幂和迭代对数。
• 引入了定义在所有实数上的广义阶乘和二项式系数函数，扩展了经典的组合构造。
• 将调和对数基定义为x^n的推广，其与微分运算具有良好的交互性。
• 利用算子理论对代数I上的所有平移不变算子（即与微分交换的算子）进行分类。
• 在代数中推导出二项式型序列的递推公式、转移公式和拉格朗日反演公式。
• 将该框架应用于谢弗序列，提供统一处理方式并给出多个实例。

实验结果

研究问题

• RQ1 如何将范畴演算扩展至包含正式幂级数中的迭代对数和x的实数指数？
• RQ2 当扩展至实数时，阶乘、二项式系数和斯特林数的广义形式是什么？
• RQ3 哪些线性算子在代数上与微分交换，且如何实现其完全分类？
• RQ4 在该扩展代数中，二项式型序列的一般计算公式——递推公式、转移公式和拉格朗日反演公式——是什么？
• RQ5 谢弗序列在迭代对数代数中的行为如何？可推导出哪些实例？

主要发现

• 迭代对数代数I被定义为包含迭代对数和x的实数次幂的渐近展开的正式代数。
• 构建了一个调和对数基，该基推广了x^n，并尊重微分运算，从而实现了类似单项式行为的自然扩展。
• 所有平移不变算子——即与微分交换的算子——均在该代数框架内被完全分类。
• 递推公式、转移公式和拉格朗日反演公式在该设定下被广义化，并被证明对二项式型序列成立。
• 谢弗序列得到系统研究，并推导出多个实例，展示了该代数在渐近分析和组合数学中的实用性。
• 广义阶乘和二项式系数函数被定义在所有实数上，使得非整数指数上的组合运算成为可能。