Skip to main content
added 16 characters in body
Source Link
Michael Hardy
  • 1
  • 12
  • 85
  • 126

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=12\zeta(5)-\pi^2\zeta(3)=6(2\zeta_5-\zeta_3\zeta_2),$$ I have looked at the integrals $$I_{n,m}=:\int_0^1\frac{\ln^n(1-x)\ln^m x}x\mathrm dx$$ for $m,n\in\mathbb N$.

From the power series of $\ln(1-x)$ and recursion, it is not hard to see that $I_{m,n}$ can be written as a rational combination of products of integer zeta values, with the arguments ($\ge 2$) for each product summing up to $m+n+1$, e.g. $$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k\\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1 \end{cases}.$$$$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k, \\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1} \zeta_{2j+1} \zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1. \end{cases}$$

So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$\frac{I_{n+2,n-2}}{I_{n-1,n+1}}=\frac{n+2}{n-1}\quad \text{or}\quad\frac{I_{n+1,n-1}}{I_{n,n}}=\frac{n+1}{n}\quad \text{or}\quad\frac{I_{n,2}}{I_{3,n-1}}=\frac{n}{3},$$ e.g. $$I_{5,2}=\color{red}{10}\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)} $$ and $$I_{3,4}=\color{red}6\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)}. $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.

How to explain that?

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=12\zeta(5)-\pi^2\zeta(3)=6(2\zeta_5-\zeta_3\zeta_2),$$ I have looked at the integrals $$I_{n,m}=:\int_0^1\frac{\ln^n(1-x)\ln^m x}x\mathrm dx$$ for $m,n\in\mathbb N$.

From the power series of $\ln(1-x)$ and recursion, it is not hard to see that $I_{m,n}$ can be written as a rational combination of products of integer zeta values, with the arguments ($\ge 2$) for each product summing up to $m+n+1$, e.g. $$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k\\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1 \end{cases}.$$

So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$\frac{I_{n+2,n-2}}{I_{n-1,n+1}}=\frac{n+2}{n-1}\quad \text{or}\quad\frac{I_{n+1,n-1}}{I_{n,n}}=\frac{n+1}{n}\quad \text{or}\quad\frac{I_{n,2}}{I_{3,n-1}}=\frac{n}{3},$$ e.g. $$I_{5,2}=\color{red}{10}\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)} $$ and $$I_{3,4}=\color{red}6\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)}. $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.

How to explain that?

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=12\zeta(5)-\pi^2\zeta(3)=6(2\zeta_5-\zeta_3\zeta_2),$$ I have looked at the integrals $$I_{n,m}=:\int_0^1\frac{\ln^n(1-x)\ln^m x}x\mathrm dx$$ for $m,n\in\mathbb N$.

From the power series of $\ln(1-x)$ and recursion, it is not hard to see that $I_{m,n}$ can be written as a rational combination of products of integer zeta values, with the arguments ($\ge 2$) for each product summing up to $m+n+1$, e.g. $$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k, \\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1} \zeta_{2j+1} \zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1. \end{cases}$$

So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$\frac{I_{n+2,n-2}}{I_{n-1,n+1}}=\frac{n+2}{n-1}\quad \text{or}\quad\frac{I_{n+1,n-1}}{I_{n,n}}=\frac{n+1}{n}\quad \text{or}\quad\frac{I_{n,2}}{I_{3,n-1}}=\frac{n}{3},$$ e.g. $$I_{5,2}=\color{red}{10}\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)} $$ and $$I_{3,4}=\color{red}6\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)}. $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.

How to explain that?

Commonmark migration
Source Link

Inspired by the well known $$\int_0^1\frac{\ln(1-x)\ln x}x\mathrm dx=\zeta(3)$$ and the integral given [here][1]here (writing $\zeta_r:=\zeta(r)$ for easier reading)$$\int_0^1\frac{\ln^3(1-x)\ln x}x\mathrm dx=12\zeta(5)-\pi^2\zeta(3)=6(2\zeta_5-\zeta_3\zeta_2),$$ I have looked at the integrals $$I_{n,m}=:\int_0^1\frac{\ln^n(1-x)\ln^m x}x\mathrm dx$$ for $m,n\in\mathbb N$.

From the power series of $\ln(1-x)$ and recursion, it is not hard to see that $I_{m,n}$ can be written as a rational combination of products of integer zeta values, with the arguments ($\ge 2$) for each product summing up to $m+n+1$, e.g. $$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k\\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1 \end{cases}.$$

So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$\frac{I_{n+2,n-2}}{I_{n-1,n+1}}=\frac{n+2}{n-1}\quad \text{or}\quad\frac{I_{n+1,n-1}}{I_{n,n}}=\frac{n+1}{n}\quad \text{or}\quad\frac{I_{n,2}}{I_{3,n-1}}=\frac{n}{3},$$ e.g. $$I_{5,2}=\color{red}{10}\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)} $$ and $$I_{3,4}=\color{red}6\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)}. $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.

How to explain that? [1]: https://math.stackexchange.com/questions/908108/how-to-find-large-int-01-frac-ln31x-ln-xx-mathrm-dx

Inspired by the well known $$\int_0^1\frac{\ln(1-x)\ln x}x\mathrm dx=\zeta(3)$$ and the integral given [here][1] (writing $\zeta_r:=\zeta(r)$ for easier reading)$$\int_0^1\frac{\ln^3(1-x)\ln x}x\mathrm dx=12\zeta(5)-\pi^2\zeta(3)=6(2\zeta_5-\zeta_3\zeta_2),$$ I have looked at the integrals $$I_{n,m}=:\int_0^1\frac{\ln^n(1-x)\ln^m x}x\mathrm dx$$ for $m,n\in\mathbb N$.

From the power series of $\ln(1-x)$ and recursion, it is not hard to see that $I_{m,n}$ can be written as a rational combination of products of integer zeta values, with the arguments ($\ge 2$) for each product summing up to $m+n+1$, e.g. $$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k\\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1 \end{cases}.$$

So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$\frac{I_{n+2,n-2}}{I_{n-1,n+1}}=\frac{n+2}{n-1}\quad \text{or}\quad\frac{I_{n+1,n-1}}{I_{n,n}}=\frac{n+1}{n}\quad \text{or}\quad\frac{I_{n,2}}{I_{3,n-1}}=\frac{n}{3},$$ e.g. $$I_{5,2}=\color{red}{10}\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)} $$ and $$I_{3,4}=\color{red}6\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)}. $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.

How to explain that? [1]: https://math.stackexchange.com/questions/908108/how-to-find-large-int-01-frac-ln31x-ln-xx-mathrm-dx

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=12\zeta(5)-\pi^2\zeta(3)=6(2\zeta_5-\zeta_3\zeta_2),$$ I have looked at the integrals $$I_{n,m}=:\int_0^1\frac{\ln^n(1-x)\ln^m x}x\mathrm dx$$ for $m,n\in\mathbb N$.

From the power series of $\ln(1-x)$ and recursion, it is not hard to see that $I_{m,n}$ can be written as a rational combination of products of integer zeta values, with the arguments ($\ge 2$) for each product summing up to $m+n+1$, e.g. $$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k\\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1 \end{cases}.$$

So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$\frac{I_{n+2,n-2}}{I_{n-1,n+1}}=\frac{n+2}{n-1}\quad \text{or}\quad\frac{I_{n+1,n-1}}{I_{n,n}}=\frac{n+1}{n}\quad \text{or}\quad\frac{I_{n,2}}{I_{3,n-1}}=\frac{n}{3},$$ e.g. $$I_{5,2}=\color{red}{10}\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)} $$ and $$I_{3,4}=\color{red}6\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)}. $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.

How to explain that?

Became Hot Network Question
Source Link
Wolfgang
  • 13.4k
  • 5
  • 45
  • 102

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][1] (writing $\zeta_r:=\zeta(r)$ for easier reading)$$\int_0^1\frac{\ln^3(1-x)\ln x}x\mathrm dx=12\zeta(5)-\pi^2\zeta(3)=6(2\zeta_5-\zeta_3\zeta_2),$$ I have looked at the integrals $$I_{n,m}=:\int_0^1\frac{\ln^n(1-x)\ln^m x}x\mathrm dx$$ for $m,n\in\mathbb N$.

From the power series of $\ln(1-x)$ and recursion, it is not hard to see that $I_{m,n}$ can be written as a rational combination of products of integer zeta values, with the arguments ($\ge 2$) for each product summing up to $m+n+1$, e.g. $$I_{n,1}=\begin{cases} -n!\Bigl(\dfrac{n-1}4\zeta_{n+2}-\dfrac12\sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j} \Bigr)\ \ &\text{ for }n=2k\\ -n!\Bigl(\dfrac{n+1}2\zeta_{n+2}- \sum\limits_{j=1}^{k-1}\zeta_{2j+1}\zeta_{n+1-2j}\Bigr)\ \ &\text{ for }n=2k-1 \end{cases}.$$

So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$\frac{I_{n+2,n-2}}{I_{n-1,n+1}}=\frac{n+2}{n-1}\quad \text{or}\quad\frac{I_{n+1,n-1}}{I_{n,n}}=\frac{n+1}{n}\quad \text{or}\quad\frac{I_{n,2}}{I_{3,n-1}}=\frac{n}{3},$$ e.g. $$I_{5,2}=\color{red}{10}\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)} $$ and $$I_{3,4}=\color{red}6\color{blue}{(61\zeta_8-72\zeta_5\zeta_3+12\zeta_3^2\zeta_2)}. $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.

How to explain that? [1]: https://math.stackexchange.com/questions/908108/how-to-find-large-int-01-frac-ln31x-ln-xx-mathrm-dx