Skip to main content
added 67 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


comments:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within one-quarter of a percent.
  • the $n$-fold integral $$I_n\equiv\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).
  • numerics suggests that $(2\pi)^{-n}I_n\propto\sqrt n$ for large $n$, but I$n\gg 1$ one can use the diffusion equation to deduce that $$\lim_{n\rightarrow\infty}(\pi/n)^{1/2}(2\pi)^{-n}I_n=1.$$
    (I have not been able to derive this asymptotics directly from the Bessel-function integral function expression for $I_n$.)

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


comments:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within one-quarter of a percent.
  • the $n$-fold integral $$I_n\equiv\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).
  • numerics suggests that $(2\pi)^{-n}I_n\propto\sqrt n$ for large $n$, but I have not been able to derive this asymptotics from the Bessel-function integral expression.

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


comments:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within one-quarter of a percent.
  • the $n$-fold integral $$I_n\equiv\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).
  • for $n\gg 1$ one can use the diffusion equation to deduce that $$\lim_{n\rightarrow\infty}(\pi/n)^{1/2}(2\pi)^{-n}I_n=1.$$
    (I have not been able to derive this asymptotics directly from the Bessel function expression for $I_n$.)
added 200 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


curiositiescomments:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within 0.2%one-quarter of a percent.
  • the $n$-fold integral $$\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals $$I_n\equiv\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).
  • numerics suggests that $(2\pi)^{-n}I_n\propto\sqrt n$ for large $n$, but I have not been able to derive this asymptotics from the Bessel-function integral expression.

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


curiosities:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within 0.2%.
  • the $n$-fold integral $$\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


comments:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within one-quarter of a percent.
  • the $n$-fold integral $$I_n\equiv\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).
  • numerics suggests that $(2\pi)^{-n}I_n\propto\sqrt n$ for large $n$, but I have not been able to derive this asymptotics from the Bessel-function integral expression.
added 41 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


curiosities:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within 0.2%.
  • the $n$-fold integral $\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}W_n(1)$$$\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


curiosities:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within 0.2%.
  • the $n$-fold integral $\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}W_n(1)$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).

Following Gerald Edgar, $$W_3(1)\equiv\mathbb{E}[|Y|]=\int dx\int dy \,\sqrt{x^2+y^2}\,p(x,y)=2\pi\int_0^\infty r^2p(r)dr$$ with $p(x,y)dxdy=p(r)\,rdrd\phi$ the rotationally invariant distribution of the complex variable $Y=x+iy=r\cos\phi+ir\sin\phi$.
From here $$\mathbb{E}[|X|]=\int dx\int dy \,|x|\,p(x,y)=\int_0^\infty \int_0^{2\pi} |\cos\phi|r^2 p(r)\,drd\phi=\frac{2}{\pi}W_3(1).$$ According to equation (12) of Borwein, Straub, and Wan the numbers $W_n(1)$ are given by $$W_1(1)=1,\;\;W_n(1)=n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x},\;\;n\geq 2.$$ We thus arrive at $$\int\limits_0^{2\pi}\int\limits_0^{2\pi}\int\limits_0^{2\pi}|\cos x+\cos y+\cos z|\ dx\ dy\ dz=(2\pi)^3\mathbb{E}[|X|]=16\pi^2 W_3(1)$$ $$\qquad=48\pi^2\int_0^\infty J_1(x)J_0(x)^{2}\frac{dx}{x}=3\;\frac{2^{1/3}}{\pi^2}\Gamma({\textstyle \frac{1}{3}})^6 + 108\;\frac{2^{2/3}}{\pi^2}\Gamma({\textstyle \frac{2}{3}})^6 \approx 248.65$$


curiosities:

  • since $(2\pi)^3\approx 248.05$, the average of the absolute value of the sum of three cosines equals unity within 0.2%.
  • the $n$-fold integral $$\int_0^{2\pi}\cdots\int_0^{2\pi}|\cos x_1+\cdots + \cos x_n|\,dx_1\cdots dx_n=2^{n+1}\pi^{n-1}n\int_0^\infty J_1(x)J_0(x)^{n-1}\frac{dx}{x}$$ equals a power of 2 for $n=1$ and $n=2$, but not for $n=3$ (nor for larger $n$, as far as I have checked).
added 32 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
added 32 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
p(r) was missing after the substitution, in the integral for |X|
Source Link
Loading
added 302 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
edited body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
added 349 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
added 349 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
deleted 10 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
deleted 64 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
added 284 characters in body
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading
Source Link
Carlo Beenakker
  • 188.2k
  • 18
  • 448
  • 651
Loading