
TL;DR
This paper develops identities to evaluate multiple unit square integrals, providing new formulas and classical integral evaluations, including double integrals for constants and Ramanujan's integrals.
Contribution
It introduces novel identities for evaluating multiple integrals and derives new and classical integral formulas using these identities.
Findings
Derived identities for multiple unit square integrals
Evaluated double and triple integrals explicitly
Presented new expressions for Ramanujan's integrals
Abstract
In this article we prove some identities which allow us to evaluate some multiple unit square integrals. In our examples we will give the value of some double and triple integrals. Then, we prove several classical integral formulas with the help of these identities and we present others that seems to be new. Finally we get double integrals for classical constants and different expression for two Ramanujan's integral formulas.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Some unit square integrals
Juan Carlos Sampedro
Department of Mathematics, University of Basque Country, Barrio de Sarriena s/n,48940 Leioa, Spain
Abstract.
In this article we prove some identities which allow us to evaluate some multiple unit square integrals. In our examples we will give the value of some double and triple integrals. Then, we prove several classical integral formulas with the help of these identities and we present others that seems to be new. Finally we get double integrals for classical constants and different expression for two Ramanujan’s integral formulas.
Key words and phrases:
Riemann integral, Unit Square integrals, Multiple integrals, Classical constants
1991 Mathematics Subject Classification:
26B02, 44A05
1. Principal theorems
In this section we will explain the results that we will use to prove the consequences and examples below. Since we will be dealing with continuous functions defined over intervals of the form we state the following consequence of the Riemann integral definition, for this case.
Lemma 1.1**.**
Let be a continuous function on for , then
[TABLE]
We need also a version for continuous functions on . We assume also that they are integrable.
Lemma 1.2**.**
Let be a monotone, continuous and integrable function on , then
[TABLE]
Proof.
According to the previous lemma, for
[TABLE]
If we consider and we take the limit
[TABLE]
Finally, note that meet the requirements for the interchange of the limits due to the monotony. This concludes the proof. ∎
Theorem 1.3**.**
Main Theorem Let and be real numbers with , and . If the single integral is convergent then,
[TABLE]
where is the imaginary unit.
Proof.
From Lemma 1.2 we get
[TABLE]
We generalize the sum defining the next function whith ,
[TABLE]
Considering that ,
[TABLE]
Now we change the sum and the integral, and then we sum the geometric series. In this way we obtain:
[TABLE]
Note that
[TABLE]
so,
[TABLE]
Finally, we can commute the limit with the integrals and we calculate the limit
[TABLE]
and finally we get,
[TABLE]
This concludes the proof. For the second formula just make the change of variables . ∎
The next results are generalizations of the theorem, so we do not include many details of the proofs.
Theorem 1.4**.**
Let and be real numbers with , and . If the multiple integral is convergent,
[TABLE]
Proof.
The proof is similar to the previous case if we use the generalized form for variables in the integral
[TABLE]
∎
Theorem 1.5**.**
Let and be real numbers with , and . If the multiple integral is convergent, then we have
[TABLE]
Corollary 1.6**.**
Let be a natural number, then,
[TABLE]
Proof.
Just use the last theorem with ,, and . ∎
2. Aplications
Theorem 2.1**.**
Let , , , , , be real numbers, if the series converges we have
[TABLE]
[TABLE]
Proof.
[TABLE]
We interchange the sum and the integral and then we use the identities of the theorem 1.3.
[TABLE]
The proof of the other formula is similar. ∎
Corollary 2.2**.**
Let , , , , , be real numbers, if the series converges, we have
[TABLE]
[TABLE]
Proof.
We use the geometrical series formula,
[TABLE]
and the theorem 1.3. ∎
Theorem 2.3**.**
Let be real numbers, if the integral converges,
[TABLE]
Proof.
Just use the last corollary to get the double integral that belongs to the infinite series and make the substitution and . ∎
Theorem 2.4**.**
If the integrals are convergent, we have
[TABLE]
[TABLE]
[TABLE]
Proof.
We get the double integral that corresponds to the single integral of the right side and then we make the change of variable . ∎
3. Aplications to the Number Theory
The two following theorems are related to Lerch Transcendent and Riemann zeta function [S].
Theorem 3.1**.**
Let be an integer and , then if the integral converges
[TABLE]
[TABLE]
Proof.
Take the following identities
[TABLE]
[TABLE]
Then we use the theorem 1.3 and we interchange the limit and the sum thanks to the monotone convergence theorem. ∎
Theorem 3.2**.**
Let be an integer and , then if the integral converges
[TABLE]
[TABLE]
Proof.
We use the variable change to the formula of the theorem 3.1 with . ∎
Theorem 3.3**.**
Let if the integral converges
[TABLE]
[TABLE]
Theorem 3.4**.**
Let if the integral converges
[TABLE]
Proof.
Take Guillera’s and Sondow’s formula [S2]
[TABLE]
and use the binomial theorem for and the formula . ∎
The following theorems are about the Euler gamma constant. In the following corollary we recover a formula by Sondow [S1] and we give another proof of his formula.
Corollary 3.5**.**
The following formula for holds:
[TABLE]
Proof.
[TABLE]
[TABLE]
where the penultimate step follows from Theorem 1.3, and the last one from the definition of the Euler constant. ∎
We can generalized the last formula with the next theorem,
Theorem 3.6**.**
Let and be real numbers, if the integral converges
[TABLE]
where is the the digamma function.
Proof.
First we have these two integrals with and being real numbers (with the condition that the integral converges)
[TABLE]
[TABLE]
so, with the help of the theorem 1.3, and choosing , (with and ) and keeping the last hypothesis, we get
[TABLE]
[TABLE]
Then, doing , (so ), and keeping the condition that the series converges, we see that the sum above is equal to
[TABLE]
so
[TABLE]
According to the monotone convergence theorem we can interchange the sum and the double integral. Hence
[TABLE]
Finally, rename the parameters. ∎
Finally, we give a double integral for Digamma function.
Theorem 3.7**.**
Let , if the integral converges
[TABLE]
where is the Digamma function.
Proof.
Using the sum of the geometric series we get
[TABLE]
Finally, we solve the integral with the help of the main theorem
[TABLE]
∎
4. Some Ramanujan formulas
The Ramanujan’s paper entitled Some Definite Integrals which appeared in Messenger of Mathematics (1915), [R] included, among others, the following formulae:
[TABLE]
[TABLE]
Using our main theorem we get another expressions for these formulae.
Theorem 4.1**.**
If is a real number such that and , then if the integral converges
[TABLE]
[TABLE]
Theorem 4.2**.**
Let be a positive real numbers and , then if the integral converges
[TABLE]
[TABLE]
5. Examples
In this section we’ll see some examples and applications of all we have seen before.
Example 5.1**.**
(Theorem 1.3) Taking , setting and , and choosing and values of the parameters, we see
[TABLE]
we get
[TABLE]
Example 5.2**.**
(Theorem 1.3) Taking , setting , and , and choosing and values of the parameters, we see
[TABLE]
we obtain
[TABLE]
and
[TABLE]
Example 5.3**.**
(Theorem 1.3) Taking , setting , and , and choosing and values of the parameters, we see
[TABLE]
Example 5.4**.**
(Theorem 1.3) Choosing and values of the parameters, we see
[TABLE]
[TABLE]
If ,
[TABLE]
Example 5.5**.**
(Theorem 1.3) Taking , and choosing and values of the parameters, we see
[TABLE]
Example 5.6**.**
Theorem 1.4 If and ,
[TABLE]
If and ,
[TABLE]
If ,
[TABLE]
And if and ,
[TABLE]
Example 5.7**.**
Theorem 1.5 If , , , , and ,
[TABLE]
where is the Exponential integral .
[TABLE]
Example 5.8**.**
(Corollary 1.6) If and doing a variable change we can assure
[TABLE]
[TABLE]
with .
Example 5.9**.**
(Corollary 2.2) Letting in the first formula, we have
[TABLE]
If we make the substitution and to the integral, we get
[TABLE]
Example 5.10**.**
(Theorem 2.3) If , and :
[TABLE]
Example 5.11**.**
Theorem 2.4 If we change and in the 2nd formula we prove one of the Dirichlet’s formulas
[TABLE]
Example 5.12**.**
(Theorem 3.3) If
[TABLE]
Example 5.13**.**
(Theorem 3.3) We know , so if , and
[TABLE]
where is the Catalan’s constant.
Example 5.14**.**
(Theorem 3.3) If , and
[TABLE]
Example 5.15**.**
(Theorem 3.4) If , and ,
[TABLE]
Example 5.16**.**
(Theorem 3.6) If and ,
[TABLE]
If and ,
[TABLE]
Example 5.17**.**
(Teorema 3.7) Thanks to the double integral of Digamma function we can get
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
where is the Catalan’s constant.
Acknowledgment
Special thanks to Jesús Guillera and Jonathan Sondow for their help in the editing of the article. The first people who rated my work. I also acknowledge to the anonymous referee whose comments have been very helpful in improving the presentation.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[S 2] Guillera, Jesús and Sondow, Jonathan . Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent. Ramanujan J. 16 (2008) 247-270.
- 2[R] Ramanujan, Srinivasa . Some definite integrals. Mess. Math. 44 (1915), pp. 10-18
- 3[S 1] Sondow, Jonathan . Double integrals for Euler’s constant and ln 4/pi and an analog of Hadjicostas’s formula. Amer. Math. Monthly 112 (2005) 61-65.
- 4[S] Sondow, Jonathan and Weisstein, Eric W. Riemann Zeta Function. Math World - A Wolfram Web Resource. http://mathworld.wolfram.com/Riemann Zeta Function.html
- 5[W] Weisstein, Eric W. Unit Square Integral. Math World–A Wolfram Web Resource. http://mathworld.wolfram.com/Unit Square Integral.html
