litspit.com

arXiv:2405.02854v1 Announce Type: new
Abstract: In 1730, Euler defined the Gamma function $\Gamma(x)$ by the integral representation. It possesses many interesting properties and has wide applications in various branches of mathematics and sciences. According to Lerch, the Gamma function $\Gamma(x)$ can also be defined by the derivative of the Hurwitz zeta function $$\zeta(z,x)=\sum_{n=0}^{\infty}\frac{1}{(n+x)^{z}}$$ at $z=0$. Recently, Hu and Kim defined the corresponding Stieltjes constants $\widetilde{\gamma}_{k}(x)$ and Euler constant $\widetilde{\gamma}_{0}$ from the Taylor series of the alternating Hurwitz zeta function $\zeta_{E}(z,x)$ $$\zeta_{E}(z,x)=\sum_{n=0}^{\infty}\frac{(-1)^n}{(n+x)^z}.$$ And they also introduced the corresponding Gamma function $\widetilde{\Gamma}(x)$ which has the following Weierstrass--Hadamard type product $$\widetilde{\Gamma}(x)=\frac{1}{x}e^{\widetilde{\gamma}_{0}x}\prod_{k=1}^{\infty}\left(e^{-\frac{x}{k}}\left(1+\frac{x}{k}\right)\right)^{(-1)^{k+1}}.$$
In this paper, we shall further investigate the function $\widetilde{\Gamma}(x)$, that is, we obtain several properties in analogy to the classical Gamma function $\Gamma(x)$, including the integral representation, the limit representation, the recursive formula, the special values, the log-convexity, the duplication formula and the reflection equation. Furthermore, we also prove a Lerch-type formula, which shows that the derivative of $\zeta_{E}(z,x)$ can be representative by $\widetilde\Gamma(x)$. As an application to Stark's conjecture in algebraic number theory, we will explicit calculate the derivatives of the partial zeta functions for the maximal real subfield of cyclotomic fields at $z=0$.