arXiv ScienceSearch

arXiv · 2507.22961

On the Explicit Expression of an Extended Version of Riemann Zeta Function

Abstract

In this paper, we focus on the explicit expression of an extended version of Riemann zeta function. We use two different methods, Mellin inversion formula and Cauchy's residue theorem, to calculate a Mellin-Barnes type integral of the analytic function regarding $z$: $Γ(z)Γ(s-z)u^{-z}$ ($u\in (0,1)$, $s\in \mathbb{C}$). We provide the necessary background on the analytic properties of Gamma and Riemann zeta function to confirm the absolute convergence of this Mellin-Barnes integral. Next, we represent the extended version of Riemann zeta function $\sum_{m=1}^{\infty}\sum_{n=1}^{\infty}{(m+n)^{-s}}$ using the following complex integral where the real part of $s$ is larger than 2 and $c>1$ is chosen to make $\Re(s)-c$ larger than 1. $$Γ(s)\sum_{m=1}^{\infty}\sum_{n=1}^{\infty}{(m+n)^{-s}}=\frac{1}{2πi} \int_{c - i\infty}^{c + i\infty} ζ(z) ζ(s - z) Γ(z) Γ(s - z) \, dz$$ We provide the evaluation of this integral by changing the integration path from straight line $\Re(z)=c$ into a rectangular contour whose left side is positioned at negative infinity. We apply the functional equation of Riemann zeta function, Euler's reflection formula, and Legendre's duplication formula to evaluate the integral segment through $\Re(z)=-\infty$. After introducing Hurwitz zeta function and properly calculating the difference between the sum of residues in two analogous rectangular contours, we finalize the evaluation. Lastly, we demonstrate the connection of this result with other intricate integrals involving special functions, such as the hyperbolic function. Additionally, we discuss its applications in deriving explicit expressions for the Barnes zeta function.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yushi Huang. 2025-07-30. On the Explicit Expression of an Extended Version of Riemann Zeta Function. https://arxiv.org/abs/2507.22961

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On Hilbert's 8th Problem

This note takes the probabilistic half of the Riemann Xi story on its own terms. Every object in the subject is a first passage time: Riemann's kernel is the law of the logarithm of a sum of two hitting times of a three dimensional Bessel process, Polya's approximation is the first passage of a Brownian motion with drift, and the reciprocal Xi function, under the Riemann hypothesis, is the Laplace transform of an infinite convolution of exponentials whose rates are the squared zeros. That reciprocal is written as $F_α(s)=ξ(α)/ξ(α+\sqrt s)$, and complete monotonicity, unconditional for $α\ge1$, is conjectured to persist to the critical basepoint $α=1/2$. Kent's eigenvalue expansion says which laws can arise this way, namely those whose Thorin measure is a Dirichlet spectrum with unit atoms, and Krein's inverse spectral theory turns the hypothesis into the existence of a string. The passage from Riemann to Polya is a flow, not a jump: the Cauchy semigroup on Thorin measures, each step an Esscher tilt followed by a Brownian subordination along a curvature family of hyperbolic Bessel processes, with the arithmetic surviving as Fourier modes damped like $e^{-2πk\varepsilon}$. The arithmetic lives in the atoms and nowhere else. Approximations rank by what they keep: Polya keeps neither atoms nor tempering and is off by a factor of three, a fitted Bessel dimension reaches one per cent, and a few atoms with an erfc tempering stay better than one part in a thousand across four decades. And the flow runs backwards: the Thorin measure of the reciprocal is evaluated from a prime sieve with no reference to any zero, and nonnegative deconvolution of it returns the first ten zero ordinates with unit masses, nine of them to four decimals and one to three. All identities are verified with mpmath, and the scripts are included.

math.GM

Dynamical Geometry of Principal Bundle Constrained Systems: Compatible Pairs, Contact Degeneration, and Adapted Metrics

We study invariant codimension-one constraints on principal bundles through compatible pairs: a constraint distribution and a nonzero coadjoint field parallel for a principal connection. Pairing the field with the connection gives an invariant one-form whose Levi form separates a horizontal curvature contribution from a vertical coadjoint-orbit contribution. This decomposition yields criteria for integrability, contactness, and characteristic reduction; holonomy and stabilizer reductions describe global existence. For evolving compatible pairs, we identify the mixed-curvature obstruction to compatibility and prove that connection transport preserves the Levi geometry. For initially contact data over a closed base of dimension $2n$, we establish matching bounds for the quadratic $H^{n+1}$ cost of contact degeneration: making the paired curvature vanish on a Darboux ball of radius $r$ in time $T$ costs an amount comparable to $[T\log(R_*/r)]^{-1}$. The constructed paths remain contact before $T$, preserve the curvature class, and force the $L^\infty$ norm of every transporting velocity gradient to grow at least as $1/[2(T-t)]$ on the collapsing region in Darboux coordinates. On a closed three-manifold, a contact form preserved by a locally free circle action admits an invariant adapted metric with any prescribed positive curl eigenvalue and unit circle generator. We parametrize all such metrics and prove that their space is contractible. Along the circle-bundle degeneration paths, every continuous tensor limit of normalized adapted metrics is degenerate above the collapsing region.

math.GM