arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0707.4486

A signed analog of Euler's reduction formula for the double zeta function

David M. Bradley
View original source ↗Read source document ↗Export metadata ↓

Abstract

The double zeta function is a function of two arguments defined by a double Dirichlet series, and was first studied by Euler in response to a letter from Goldbach in 1742. By calculating many examples, Euler inferred a closed form evaluation of the double zeta function in terms of values of the Riemann zeta function, in the case when the two arguments are positive integers with opposite parity. Here, we consider a signed analog of Euler's evaluation: namely a reduction formula for the signed double zeta function that reduces to Euler's evaluation when the signs are specialized to 1. This formula was first stated in a 1997 paper by Borwein, Bradley and Broadhurst and was subsequently proved by Flajolet and Salvy using contour integration. The purpose here is to give an elementary proof based on a partial fraction identity.

Explore related subjects

math.CAmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David M. Bradley. 2007-07-30. A signed analog of Euler's reduction formula for the double zeta function. https://arxiv.org/abs/0707.4486

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

KEEP EXPLORING

Related papers

arXiv2026

Level sets of prevalent Weierstrass functions

The $α$-Weierstrass function is defined as $W_g^{α,b}(x) = \sum_{k=0}^{\infty} b^{-αk} g(b^k x)$, where $g$ is a Lipschitz function on the unit circle. For a prevalent $α$-Weierstrass function, we prove that the upper Minkowski dimension of every level set is at most $1-α$, and the Hausdorff dimension of almost every level set equals $1-α$ with respect to its occupation measure. We further demonstrate that the occupation measure of a prevalent $α$-Weierstrass function is absolutely continuous with respect to the Lebesgue measure. Consequently, the result on the Hausdorff dimension of level sets applies to a set of level sets with positive Lebesgue measure. A central tool in our analysis is the Weierstrass embedding. For a sufficiently large dimension $d$, we construct Lipschitz functions $g_0, g_1, \ldots, g_{d-1}$ such that the mapping $x \mapsto \big(W_{g_0}^{α,b}(x), W_{g_1}^{α,b}(x), \ldots, W_{g_{d-1}}^{α,b}(x)\big)$ is $α$-bi-Hölder. We also prove that such an embedding requires at least $1/α$ coordinate functions.

math.CA↗
arXiv2026

Weighted wave envelope estimates for the parabola

In this paper, we extend the Córdoba-Fefferman square function estimate for the parabola to a weighted setting. Our weighted square function estimate is derived from a weighted wave envelope estimate for the parabola. The bounds are formulated in terms of families of multiscale tubes together with weight parameters that quantify the distribution of the weight. As applications, we obtain weighted $L^p$-estimates for a class of Fourier multiplier operators and for solutions to the free Schrödinger equation.

math.CA↗
arXiv2026

The paper "On the constant in a transference inequality for the vector-valued Fourier transform" revisited

The standard proof of the equivalence of Fourier type on \(\mathbb R^d\) and on the torus \(\mathbb T^d\) is usually stated in terms of an implicit constant which can be expressed in terms of the global minimiser of the functions \[f_r(x)=\sum_{m\in\mathbb{Z}}\left|\frac{\sin(π(x+m))}{π(x+m)}\right|^{2r},\qquad x\in [0,1], \ r\ge 1.\] The aim of this note is to provide a short proof of a result of the authors which states that each \(f_r\) takes a global minimum at the point \(x = \frac12\).

math.CA↗