Beyond the Euler–Mascheroni Constant: A Family of Functionals

Ken Nagai

arXiv: 2509.22289v1 · PDF · 26 September 2025
Categories: math.GM
Licence: CC BY 4.0 The site shows the text.

Abstract

We introduce a family of regularized functionals g_n(x) that generalize the Euler–Mascheroni constant \gamma. They arise from a weighted regularization of Clausen-type trigonometric sums, and admit explicit integral representations, differential and ladder relations, together with an umbral generating function.

Items 12

Theorem

Theorem 1 (Main Theorem)

XVJZ

The Euler–Mascheroni constant \gamma, arising as the finite part of \zeta(1), admits a natural extension to an infinite family of regularized functionals g_n(x). They admit explicit integral representations, differential and ladder relations, and a unified umbral generating function, thereby situating \gamma within a broader analytic framework.

Proposition

Proposition 1 (Integral representation)

5YBN

For n\ge1 and x>0,

g_n(x)=H_n-\log(2\pi x) - n \int_0^1 (1-u)^{n-1}\,\log\!\bigl(2\sin(\pi x u)\bigr)\,du.

Corollary

Corollary 1 (Small-x normalization)

22QV

For n\ge1,

g_n(x) = O(x^2)\qquad (x\to 0^+).

Proposition

Proposition 2 (Differential form)

L77X

For n\ge1 and x>0,

\begin{aligned} x\,g_n'(x) &= 2n!\sum_{m\ge1}\frac{(2m)!}{(2m+n)!}\,\zeta(2m)\,x^{2m} - 1\\ &= -\,n \int_0^1 (1-u)^{n-1}\,\pi x u\,\cot(\pi x u)\,du \;-\; 1. \end{aligned}

Remark

Remark 1 (Cotangent connection)

KMSY

The derivative formula shows that g_n is governed by cotangent averages, linking it with classical Bernoulli expansions of \pi\cot(\pi z).

Proposition

Proposition 3 (Ladder in n)

EKR3

For n\ge1 and x>0,

g_{n+1}(x)-g_n(x) =\frac{1}{n+1} - \int_0^1\!\bigl[(n+1)(1-u)^n-n(1-u)^{n-1}\bigr]\, \log(2\sin(\pi x u))\,du.

Corollary

Corollary 2 (Large-n decay)

GMAE

For fixed x>0,

g_n(x) = O\!\left(\tfrac{1}{n}\right)\qquad (n\to\infty).

Remark

Remark 2 (Bernoulli connection)

VLSQ

Thus g_n(x) interpolates between the Euler–Mascheroni constant and higher Bernoulli data, reflecting the classical bridge between Clausen sums and even zeta values.

Remark

Remark 3 (Clausen origin)

UIHZ

In the cosine–Clausen expansion one encounters

\operatorname{Cl}^{(c)}_{2m+1}(\theta) = \sum_{r=0}^{m-1}\zeta(2m+1-2r)\,\frac{(-1)^r \theta^{2r}}{(2r)!} - \frac{(-1)^m \theta^{2m}}{(2m)!}\,g_{2m}\!\Bigl(\tfrac{|\theta|}{2\pi}\Bigr) + \cdots,

where the divergent central contribution involving \zeta(1) is naturally replaced by g_{2m}(|\theta|/2\pi). This indicates that the family g_n(x) has its origin in the same mechanism that produces the Euler–Mascheroni constant in the simplest case m=0.

Proposition

Proposition 4 (Generating function)

QNRT

For |z|<1,

\begin{aligned} \sum_{n\ge1} g_n(x)\,z^n &= -\,\frac{z}{1-z}\,\log(2\pi x) - \frac{\log(1-z)}{1-z} \\ &\quad - \int_0^1 \log\!\bigl(2\sin(\pi x u)\bigr)\, \frac{z}{\bigl(1 - z(1-u)\bigr)^2}\,du. \end{aligned}

Remark

Remark 4 (Umbral perspective)

H2PB

The generating function realizes g_n(x) as coefficients of an operator-valued series acting on \log(2\sin(\pi x u)). This matches the umbral perspective [Roman1984, RotaTaylor1994, Blasiak2005], where moments are encoded by a single parent functional.

Proof

Proof (Sketch of proof)

D9OZ

The defining moment representation of g_n(x) leads directly to the integral identity in Proposition 2.1. Differentiating under the integral sign yields the differential and ladder relations. Finally, the umbral generating function provides a unified operator perspective, from which the Main Theorem follows by a straightforward synthesis.

Source and licence

The text on this page is from arXiv:2509.22289v1 by Ken Nagai, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2509/2509.22289.jsonl.