Search arXivSearch

arXiv · 2403.09657

Inverse application of the generalized Littlewood theorem concerning integrals of the logarithm of analytic functions: an easy method to establish equalities between different analytic functions

Abstract

Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain new criteria equivalent to the Riemann hypothesis. Later, the same theorem was applied to calculate certain infinite sums and study the properties of zeroes of a few analytical functions. In this Note, we discuss what, in a sense, are inverse applications of this theorem. We first prove an easy Lemma that if two meromorphic on the whole complex plane functions $f(z)$ and $g(z)$ have the same zeroes and poles, taking into account their orders, and have appropriate asymptotic for large $|z|$, then for some integer $n$, $d^n \ln(f(z)/dz^n = d^n\ln(g(z)/dz^n$. The use of this Lemma enables easy proofs of many identities between elliptic functions and their transformation rules. In particular, we show how for any complex number $a$, $\wp(z)-a$, where $\wp(z)$ is Weierstrass $\wp$-function, can be presented as a product and ratio of three elliptic $θ_1$-functions of certain arguments. We also establish n-tuple rules for elliptic theta-functions and /rho_z(z) functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

S. K. Sekatskii. 2024-07-11. Inverse application of the generalized Littlewood theorem concerning integrals of the logarithm of analytic functions: an easy method to establish equalities between different analytic functions. https://arxiv.org/abs/2403.09657

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

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM