All Questions
Tagged with integration nt.number-theory
40 questions
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 ...
- 1,257
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}...
- 634
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$ ...
- 5,470
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 ...
- 2,836
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}$$
...
- 4,169
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 $\...
- 109
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 ...
- 13.4k
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)...
- 4,074
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}^{\...
- 7,609
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}^...
- 111
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(...
- 4,169
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 ...
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)$ ...
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=...
- 13.4k
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$ ...
- 13.1k
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. ...
- 16.5k
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} ...
- 130
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}^{...
- 43.2k
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 ...
- 3,625
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 ...
- 3,625
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,625
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):=...
- 4,169
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) ...
- 43.2k
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 ...
- 551
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)}...
- 13.4k
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 ...
- 4,169
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 $...
- 43.2k
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.$...
- 1,307
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 ...
- 5,424
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)}{\...
- 43.2k
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 ...
- 3,625
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 ...
- 3,625
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$?
- 3,443
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 ...
- 2,249
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\...
- 13.4k
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)} ...
- 5,424
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 ...
- 25.4k
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 \, \...
- 25.4k
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 ...
- 65
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 ...
- 33.3k