Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
214 views

Explicit expression for a function in number theory

In their paper "Moyenne de certains fonctions arithmétiques sur les entiers friables", Tenenbaum and Wu proved that for the case of the function $\beta$ which is the indicator function of ...
24 votes
1 answer
1k views

Integrating on $\mathbb{R}$ by summing on $\mathbb{Q}^+$

Does the following integration method hold for regular enough functions $F:\mathbb{R}\to\mathbb{R}$? \begin{align} &\zeta(2)\sum_{\frac{a}{b}\in\mathbb{Q}_n} \frac{F(\log \frac{a}{b})}{\sqrt{abn}...
13 votes
1 answer
761 views

If $(a,b,c)$ are the sides of a triangle, then the probability $P(ax + by \ge c) = \frac{4}{\pi^2}\chi_2(x) + \frac{4}{\pi^2}\chi_2(y)$

Posting this question in MO since it is unanswered in MSE Let $(a,b,c)$ be the side of a triangle. In its most general linear form, the triangle inequality can be expressed as: Does $ax + by \ge c$ ...
6 votes
0 answers
431 views

How to prove these identities for $\log(2)$ based on $_3F_2$ integrals?

In this MO post I have placed 4 Ramanujan-type hypergeometric series found using the LLL algorithm for fast computing of some logarithms. I could prove 3 of them by means of classical methods based on ...
3 votes
0 answers
231 views

Could the patterns in the roots of the Riemann-Liouville differintegral for $(s-1)\,\zeta(s)$ be explained?

The well-known integral expression for the entire function: $$(s-1)\,\zeta(s) = \frac{-i\,\pi}{2}\int_{1/2-i\infty}^{1/2+i\infty} \frac{\csc(\pi\,u)^2}{u^{s-1}} \, du \qquad s \in \mathbb{C} \tag{0}$$ ...
0 votes
0 answers
136 views

Bounded sums involving primes

I'm trying to generalize the Theorem 2.7.1 in [1] where they prove: $$\sum_{p \leq x} f(p) = \int_{2}^{x} \frac{f(t)}{\log{t}} dt + \epsilon(x)f(x) - \int_{2}^{x} \epsilon(t) f^{'}(t) dt $$ where $\...
2 votes
0 answers
70 views

How to extend this sum involving generalized harmonic numbers?

It is well-known since Euler that the Generalized harmonic numbers, defined for $n\in\mathbb N$ by $$H_n^{(r)}=\sum_{k=1}^n\frac1{k^r},$$ can be naturally extended for non integer $n$ in terms of ...
24 votes
1 answer
2k views

Why these surprising proportionalities of integrals involving odd zeta values?

Inspired by the well known $$\int_0^1\frac{\ln(1-x)\ln x}x\mathrm dx=\zeta(3)$$ and the integral given here (writing $\zeta_r:=\zeta(r)$ for easier reading)$$\int_0^1\frac{\ln^3(1-x)\ln x}x\mathrm dx=...
22 votes
2 answers
6k views

$\mathbf{P} = \mathbf{NP}$, what's the problem?

Let's take the problem of the backpack: $A_1,\ldots ,A_n$ the weights that are integers, and we want to know if we can achieve a total weight of $V$. We take $$I=\dfrac{1}{2\pi}\int_0^{2\pi} \exp(-iVt)...
7 votes
1 answer
292 views

On a certain double integral appearing in the Fourier series coefficients of $\mathrm{SL}_2(\mathbb{C})$-Eisenstein series

The following integral appears naturally within the computation of the Fourier series coefficients of a real analytic $\mathrm{SL}_2(\mathbb{C})$-Eisenstein series: \begin{align*} \int_{-\infty}^{\...
1 vote
0 answers
128 views

Relation between sum and integral [closed]

The Euler-Maclaurin formula helps to relate sums and integrals. I am particularly interested in one case of equation and want to get it clarified. $$\lim_{x\to\infty} \left(\sum_{n=0}^{x}f(n)-\int_{0}^...
2 votes
0 answers
249 views

Calculating $\int_1^{\infty}\frac{\operatorname{ali}(x)}{x^3}dx$, where $\operatorname{ali}(x)$ is the inverse function of the logarithmic integral

It is well-known that we can compute the closed-form of the integrals $$\int_1^{\infty}\frac{\log x}{x^2}dx$$ and $$\int_1^{\infty}\frac{\operatorname{li} (x)}{x^3}dx,$$ where $\operatorname{li} (x)$ ...
5 votes
1 answer
335 views

Three integral expressions for integer values of $\zeta(s)$. Could these be further reduced to known integrals?

In this MSE-question I've asked about three, similarly shaped, integrals for integer vales of $\zeta(s)$ that I found numerically: $$\zeta \left( 3 \right) =\frac12{\int_{0}^{1} \frac{1}{x}\big(\zeta(...
8 votes
2 answers
565 views

integral transform of Fibonacci polynomials is integral

The Fibonacci polynomials are defined recursively by $F_0(x)=0, F_1(x)=1$ and $F_n(x)=xF_{n-1}(x)+F_{n-2}(x)$, for $n\geq2$. While computing certain integrals, I observe the following (numerically) ...
14 votes
1 answer
799 views

Are there integral representations of the Mertens constant?

It is well-known that the Euler constant $$\gamma=\lim\limits_{n\to \infty}\biggl( \sum\limits_{k\le n}\dfrac{1}{k}-\ln{n}\biggr ) $$ has a bunch of integral representations, e.g. $$\gamma=-\int\...
2 votes
1 answer
543 views

On $\zeta(7)$ as the integration of the product of an indefinite integral due to Lobachevskii by a power of the inverse Gudermannian function

In this post I invoke certain function from a post of this site MathOverflow it is [1] (please see further references from the post, authors from the Springer link of the cited literature and answers ...
7 votes
1 answer
570 views

Basel problem and inversive geometry

An interesting solution of the Basel problem is given in https://www.tandfonline.com/doi/abs/10.1080/00029890.2018.1452473 (Basel Problem: A Solution Motivated by the Power of a Point, by Kapil R. ...
5 votes
0 answers
114 views

Remainder term in an integral linked to the Riemann zeta function

Sorry if this is not research level, but the following problem occurs in my own research: it is trivial to show that for $k\ge2$ integral we have $\zeta(k)=(1/(k-1)!)\int_0^\infty t^{k-1}/(e^t-1)\,dt$ ...
3 votes
2 answers
448 views

Evaluating the integral $\int_1^x \log^k t \frac{\sqrt{t-1}}{t^2} dt$

I am trying to evaluate the integral $$ I_k(x)=\int_1^x \log^k t \frac{\sqrt{t-1}}{t^2} dt $$ with $x$ tending to infinity. In fact, I wish to have an estimate $$ \sum_{k=0}^\infty \frac{1}{\log^k x} ...
9 votes
1 answer
458 views

Summing moments and Riemann zeta values

Let $d\mu_n(x)=\cos^{2n}x\,dx$ and consider the averages of moments $$\alpha_n=\frac{\int_0^{\pi/2}x^4d\mu_n(x)}{\int_0^{\pi/2}d\mu_n(x)}.$$ Then, I have encountered a curious evaluation $$\sum_{n=1}^{...
2 votes
0 answers
114 views

Is there an explicit version of Morse Lemma used in stationary phase method?

In the proof of the stationary phase method (at least the one I have seen) Morse lemma shows up, which states: Let $g:\mathbb R^n\to \mathbb R$ be a function of class $C^\infty$ for which $0$ is a ...
1 vote
1 answer
250 views

Question about the stationary phase method and the smooth function used

A statement of the stationary phase method I know is the following. Suppose $\phi(x_0) = \phi'(x_0) = 0$ and $\phi''(x_0) \not = 0$. If $\psi$ is a smooth function supported in a sufficiently small ...
22 votes
2 answers
1k views

A closed form for an integral expressed as a finite series of $\zeta(2k+1)$, $\pi^m$ and a rational?

In this paper the following beautiful integral expression for $\zeta(3)$ is derived: $$\zeta(3)=\frac{1}{7}\,\int_0^{\pi} x\,(\pi-x)\csc(x)\, dx$$ In a comment at the end of this question, I ...
27 votes
2 answers
2k views

Are these two new ways of representing odd zeta values as integrals known?

This is inspired by the same beautiful integral expression for $\zeta(3)$ as this question, but goes in a slightly different direction. Writing the original integral in the form $$\int_0^1\frac{x(1-x)}...
3 votes
2 answers
303 views

Basic question related to Stieltjes integral

I am reading this paper. I am stuck on something, which I think is something basic but I haven't been able to figure it out yet, and I was hoping someone could explain it to me. Let $$ \sigma(u) = \...
3 votes
1 answer
344 views

Another integral that has a closed form involving finite series of $\zeta(2k+1)$'s. Could it be reflexive?

In the context of a series of questions here, here and here, about closed form expressions involving finite series of $\zeta(2k+1)$'s for certain integrals, I would like to raise another one: $$f(n):=...
1 vote
0 answers
108 views

Characters of a quadratic extension and convergence

Let $F$ be a non-archimedean local field, $\chi$ a quasi-character of $F^\star$ and $\psi$ a positive character of $E^\star$. I would like to understand why the usual Rankin-Selberg zeta integrals ...
55 votes
4 answers
4k views

An interesting integral expression for $\pi^n$?

I came on the following multiple integral while renormalizing elliptic multiple zeta values: $$\int_0^1\cdots \int_0^1\int_1^\infty {{1}\over{t_n(t_{n-1}+t_n)\cdots (t_1+\cdots+t_n)}} dt_n\cdots dt_1.$...
7 votes
1 answer
642 views

volume over a hypercube, over simplex: twist by Euler numbers

Let $\square_n=\{(x_1,\dots,x_n): 0\leq x_i\leq1,\, \forall i\}$ be an $n$-dimensional unit hypercube, and let $\Delta_n=\{(u_1,\dots,u_n):u_1+\cdots+u_n\leq\frac{\pi}2,\, u_i\geq0,\, \forall i\}$ be $...
106 votes
5 answers
10k views

integral of a "sin-omial" coefficients=binomial

I find the following averaged-integral amusing and intriguing, to say the least. Is there any proof? For any pair of integers $n\geq k\geq0$, we have $$\frac1{\pi}\int_0^{\pi}\frac{\sin^n(x)}{\...
9 votes
1 answer
695 views

Conductor as volume of the integers ring

I am working on Tate's thesis, and I have some problems with computations, yet the result seems to be a good natural motivation for introducing the arithmetic conductor of a character. Let $F$ be a ...
3 votes
2 answers
532 views

Is the singular integral that come up in circle method independnet of the representatin of the equations?

Let $F_1(\mathbf{x}), F_2(\mathbf{x}) \in \mathbb{Z}[x_1, ..., x_n]$ be a degree $d$ homogeneous polynomial. For the system of equations $$F_1(\mathbf{x})= F_2(\mathbf{x}) =0,$$ we have the ...
5 votes
1 answer
206 views

Showing the positivity of a singular integral that came up in circle method

Let $F(\mathbf{x}) \in \mathbb{Z}[x_1, ..., x_n]$ be a degree $d$ homogeneous form. Let $$ I(\alpha) = \int_{[0,1]^n} e^{2 \pi i F(\mathbf{x}) \alpha} dx_1...dx_n. $$ Then the singular integral is ...
4 votes
1 answer
143 views

Mean value of a function associated with continued fractions

Suppose that an irrational $x$ in $(0,1)$ has convergents $c(k,x)$, and let $$d(x) = \sum_{k=0}^{\infty} \mid x - c(k,x)\mid.$$ What is the mean value of $d$?
11 votes
1 answer
865 views

Integral formula for $\int_{0}^{\infty}e^{-3\pi x^{2}}((\sinh \pi x)/(\sinh 3\pi x))\,dx$ by Ramanujan

The following is a re-post from MSE because I did not get any answer even after offering a bounty. Towards the end of G. N. Watson's (one of the joint authors of famous book "A Course of Modern ...
1 vote
0 answers
290 views

Adelic integral factorization

In order to calculate Tamagawa numbers, I need to justify that for a nice (say Schwartz-Bruhat) function, the following identity holds : $$\int_{\mathbf{A}^2} f(x)dx = \int_{SL_2(\mathbf{A})/SL_2(K)} ...
2 votes
0 answers
361 views

Definite integral probably equal to zeta with known (but unusable) closed form for the indefinite integral

Related to this and this questions. Basically got definite integral that experimentally equals $\zeta(s)$ both numerically and symbolically. Closed form for the indefinite integral is known, but I ...
3 votes
0 answers
273 views

When does this method for integrals of fractional/integer parts work?

In a question Agno suggested an interesting way to compute $\{x\}$ and $\zeta(s)$. Define $$ F(x) = \{x\} = x - \lfloor x \rfloor = \frac{i \, \log\left(-e^{\left(-2 i \, \pi x\right)}\right)}{2 \, \...
5 votes
3 answers
717 views

Speed of convergence for Weyl's Equidistribution theorem

If $f$ is a continuous periodic fonction on $[0,1]$ and $a\not\in\mathbb{Q}$, the Weyl's equidistribution theorem states that $$\frac{1}{n}\sum_{k=0}^{n-1}f(ak)\rightarrow \int_0^1 f(x)dx.$$ Can we ...
11 votes
2 answers
1k views

Is there a notion of integration over the algebraic numbers?

For reasons which are hard to articulate (due to they not being very clear in my mind), but having to do with the eprint From Matrix Models and quantum fields to Hurwitz space and the absolute Galois ...