[論文レビュー] A simple inequality relating the Euler-Riemann zeta function, digamma, and cotangent over the unit interval

Michael Andrew Henry|arXiv (Cornell University)|Jan 2, 2026

Advanced Mathematical Identities被引用数 0

ひとこと要約

要約: 本論文は 0 < x < 1 に対して pi cot(pi x) < zeta(x) - psi(x) を証明し、予想される強化と関連する Kubert-Knuth 関数について論じる。

ABSTRACT

We prove an inequality featuring three well-known functions from analysis, namely the cotangent, the Euler-Riemann zeta function, and the digamma function. Aside from a simple proof of our result, we give a conjectured strengthening. We offer various remarks about the origins of this problem.

研究の動機と目的

• 単位区間 (0,1) でリーマン zeta 関数、digamma、cotangent を結ぶ不等式の動機づけと確立。
• 簡潔な証明を提供し、潜在的な強化と関連する数学的文脈を議論。
• 結果を Kubert-Knuth（replicative）関数およびフーリエ級数の解釈と関連づけ、不等式の構造を照らす。

提案手法

• 古典恒等式 psi(1-x) - psi(x) = pi cot(pi x) を用いて不等式を x 認識するため、0 < x < 1 に対して psi(1-x) < zeta(x) を示すことに還元。
• Elezović–Giordano–Pečarić 型境界による psi(1-x) + 1/(1-x) の単調な上界を活用し、傾斜 b = gamma - 1/2 を用いた比較関数 f(x) = b x + 1/2 を構築。
• 0 < x < 1 において zeta(x) + 1/(1-x) の単調性と端点を分析することにより f(x) <= zeta(x) + 1/(1-x) を示し、結果として psi(1-x) < zeta(x) を得る。
• Corollary 1 と Lemma 1 を用いた絞り込み論法により psi(1-x) + 1/(1-x) を f(x) 以下に配置し、Kubert-Knuth の関数形の枠組みと関連づける。

実験結果

リサーチクエスチョン

• RQ1 不等式 pi cot(pi x) < zeta(x) - psi(x) は (0,1) の全ての x について成り立つか。
• RQ2 境界を改良・強化できるか、Kubert-Knuth の複製性性質とどう関連するか。
• RQ3 zeta- digamma の組み合わせのフーリエ級数の係数に、これらの不等式がどのような影響を与えるか。
• RQ4 pi cot(pi x) + x < zeta(x) - psi(x) < pi cot(pi x) + b̄ x + b の形の予想境界を確立できるか。

主な発見

• 定理1は 0 < x < 1 に対して pi cot(pi x) < zeta(x) - psi(x) を確立。
• 恒等式 psi(1-x) - psi(x) = pi cot(pi x) による同値変換を通じ psi(1-x) < zeta(x) への還元が達成される。
• 傾斜 b = gamma - 1/2 を用いた単調な境界 f(x) = b x + 1/2 を構築し、psi(1-x) を不等式の範囲内に絞り込む主不等式を導出。
• Corollaries および Lemmas は zeta(x) + 1/(1-x) および関連する表現の単調性と端点挙動を与え、証明を可能にする。
• 本論文は pi cot(pi x) を中央に置く二項区間境界と x の線形項を含む強化を予想として議論し、Kubert-Knuth 関数と関連づける。