[論文レビュー] On (self-) reciprocal Appell polynomials: Symmetry and Faulhaber-type polynomials

Bernd C. Kellner|arXiv (Cornell University)|May 31, 2021

Advanced Mathematical Identities被引用数 1

ひとこと要約

本稿は、反射対称性 (R) を満たすアペル多項式とファウルハーバー型多項式との間の構造的関係を、2次変数変換 u = x(x−1) を通じて確立する。この研究では、このようなアペル多項式が An(x) = u′Fn(u) と因数分解されることを証明し、Fn(u) は一般化された逆アペル多項式の係数を用いて定義されるファウルハーバー型多項式であると示す。主な貢献は、これらの係数を逆多項式の微分を用いて閉形式で表現することであり、ベルヌーイ多項式およびオイラー多項式に関する古典的結果を統一的に扱うものである。

ABSTRACT

The main purpose of this paper is to study generalized (self-) reciprocal Appell polynomials, which play a certain role in connection with Faulhaber-type polynomials. More precisely, we show for any Appell sequence when satisfying a reflection relation that the Appell polynomials can be described by Faulhaber-type polynomials, which arise from a quadratic variable substitution. Furthermore, the coefficients of the latter polynomials are given by values of derivatives of generalized reciprocal Appell polynomials. Subsequently, we show some applications to the Bernoulli and Euler polynomials. In the context of power sums the results transfer to the classical Faulhaber polynomials.

研究の動機と目的

• 反射関係 An(1−x) = (−1)nAn(x) を満たすアペル多項式の代数的構造を調査すること。
• u = x(x−1) を用いた因数分解 An(x) = u′Fn(u) を確立すること。ここで Fn(u) はファウルハーバー型多項式である。
• Fn(u) の係数の明示的公式を、一般化された逆アペル多項式の微分を用いて導出すること。
• 累乗和の文脈において、ベルヌーイおよびオイラー多項式に関する古典的結果を統一的かつ一般化すること。

提案手法

• 標準的な逆多項式概念を拡張し、一般化された逆アペル多項式 An,k(x) = xkAn(x−1) を導入する。
• アーミューブラ記法および微分作用素を用いて、An,k(x) の係数に関する漸化式を導出する。
• 2次変数変換 u = x(x−1) を用いることで、An(x) を新しい多項式 Fn(u) の微分として表現し、ファウルハーバー型多項式との関係を確立する。
• An,2k(x) の x=1 における微分値の評価を通じて、Fn(u) の係数の公式を導出する。これにより、一般化された逆多項式と関連づける。
• Fn(u) の係数 fn,k に関する漸化式を確立し、その対称性および k > dn のときの消滅性を示す。
• この枠組みをベルヌーイおよびオイラー多項式などの古典的アペル列に適用し、既知の恒等式および累乗和の公式を再発見する。

実験結果

リサーチクエスチョン

• RQ1 反射関係 An(1−x) = (−1)nAn(x) を満たすアペル多項式は、2次変数変換 u = x(x−1) を用いてどのように因数分解できるか？
• RQ2 得られたファウルハーバー型多項式 Fn(u) の係数と、一般化された逆アペル多項式 An,k(x) の間の正確な関係は何か？
• RQ3 An,k(x) の対称性（例：反パリンドローム的またはパリンドローム的）は、Fn(u) の係数 fn,k にどのような制約を課えるか？
• RQ4 An(x) = Bn(x) の場合に、この枠組みから古典的ファウルハーバー多項式（累乗和用）が特殊ケースとして得られるか？
• RQ5 導出された係数の漸化式から、ジェノチ二数およびオイラー多項式に関する新たな恒等式は何か？

主な発見

• n が 1 以上の奇数の場合、アペル多項式 An(x) は An(x) = u′Fn(u) と因数分解され、u = x(x−1) である。ここで Fn(u) はファウルハーバー型多項式である。
• Fn(u) の係数 fn,k は fn,k = (−1)k/k! ⋅ A(k)n,2k(1) で与えられ、一般化された逆アペル多項式の微分と直接関係づけられる。
• 0 ≤k ≤dn の範囲で、fn,0 = −αn および fn,dn = (1/2)α0 であり、k > dn のとき fn,k = 0 である。これにより、明確なサポート構造が得られる。
• 係数は漸化式 bfn,k+2 = −(4k+6)bfn,k+1 + (n)2bfn−2,k を満たし、これは与えられた変数変換下での An,2k(x) の漸化式と一致する。
• ベルヌーイ多項式の場合、累乗和の公式 Sn(m) = ∫₀^m Bn(x)dx = Fn(y) （y = m(m−1)/2）が、主定理の直接的帰結として回復される。
• この枠組みにより、ジェノチ二数に関する新たな恒等式が得られ、∑ν=0^k (2k−ν choose k)(n choose ν)Gn+1−ν/(n+1−ν) = 0 （n が 1 以上の奇数で、(n+1)/2 ≤k ≤n）が成立する。