13

Let $X,Y,Z$ be the angles of a triangle whose vertices are uniformly distributed on a circle and let $a > 1$. In this question it was proved that the probability

$$ P(X^a + Y^a > Z^a) = f(a) = \frac{1}{2}+\int_{0}^{1}\frac{dx}{\left(x+\sqrt[a]{1-x^a}+1\right)^2} $$

We know that for $a=1$, the probability is $\frac{3}{4}$ and for $a=2$ it is $\log 2$. However for an arbitrary $a$ Wolfram Alpha does not give a closed form.

Question: Does this integral have a closed from and if not, what is the asymptotic series expansion of the integral and its error term?

My progress:

A crude approximation is $$ f(a) \approx \frac{2}{3} + \frac{1+B}{12(a+B)} $$

where $\displaystyle B = \frac{24\log 2 - 17}{9-12\log 2}$. This gives the exact probability at $a = 1,2$ and $\infty$.

3 Answers3

10

Heuristically we can find the first asymptotic term (depending on $a$), though I'm not sure about easy way to find next asimptotic terms. $$I(a)=\int_0^1\frac{dx}{\left(x+\sqrt[a]{1-x^a}+1\right)^2}=\int_0^1\frac{dx}{\big(x+2-(1-\sqrt[a]{1-x^a})\big)^2}$$ Definitely, $1-\sqrt[a]{1-x^a}<2$ on the interval $[0,1]$, so we can decompose the integral into the series $$I(a)=\int_0^1\frac{dx}{(x+2)^2\big(1-\frac{1-\sqrt[a]{1-x^a}}{x+2}\big)^2}=\int_0^1\frac{dx}{(x+2)^2}+2\int_0^1\frac{1-\sqrt[a]{1-x^a}}{(x+2)^3}dx\,+\,...$$ $$=\frac12-\frac13+2\int_0^1\frac{1-e^{\frac1a\ln(1-x^a)}}{(x+2)^3}dx+3\int_0^1\frac{\big(1-e^{\frac1a\ln(1-x^a)}\big)^2}{(x+2)^4}dx\,+\,...$$ Next, decomposing into the series $1-e^{\frac1a\ln(1-x^a)}=-\frac1a\ln(1-x^a)-\frac1{2a^2}\ln^2(1-x^a)-....$ and keeping only the term $\sim\frac1a$ $$I(a)=\frac16-\frac2a\int_0^1\frac{\ln(1-x^a)}{(x+2)^3}dx\,+...$$ Making the substitution $x^a=t$ $$=\frac16-\frac2{a^2}\int_0^1\frac{\ln(1-t)\,t^{\frac1a-1}}{(t^{\frac1a}+2)^3}dt\,+...$$ $$\overset{t=e^{-x}}{=}\frac16-\frac2{a^2}\int_0^\infty\frac{\ln(1-e^{-x})\,e^{-\frac xa}}{(e^{-\frac xa}+2)^3}dx$$ The function $\Big|\frac{\ln(1-e^{-x})e^{-\frac xa}}{(e^{-\frac xa}+2)^3}\Big|$ is majorized by the integrable function $\Big|\frac{\ln(1-e^{-x})}8\Big|$

Applying the DCT and taking the limit $a\to \infty$ under the integral sign $$I(a)=\frac16-\frac2{a^2}\int_0^\infty\frac{\ln(1-e^{-t})}{(1+2)^3}\,dt+o\Big(\frac1{a^2}\Big)$$ $$\boxed{\,\,I(a)=\frac16+\frac{\pi^2}{81}\frac1{a^2}\,+\,o\Big(\frac1{a^2}\Big)\,\,}$$ what is in a good agreement with numeric check (WA)

At $a=10$

$\qquad\displaystyle I(10)=\int_0^1\frac{dx}{\left(x+\sqrt[10]{1-x^{10}}+1\right)^2}=0.1678\color{red}76...$

$\qquad\qquad\text{approximation}=\displaystyle \frac16+\frac{\pi^2}{81}\,\frac1{100}=0.1678\color{red}85...$

( here and here )

$\bf{Update}$

Evaluation of the next asymptotic term gives $$\boxed{\,\,I(a)=\frac16+\frac{2\zeta(2)}{3^3}\frac1{a^2}\,-\,\frac{5\zeta(4)}{2\cdot3^3}\frac1{a^4}\,+\,o\Big(\frac1{a^4}\Big)\,\,}$$ what confirms the idea that the full asymptotics looks like $$I\sim \frac16+\sum_{k=1}^\infty b_k\frac{\zeta(2k)}{a^{2k}}$$ NB: this supposition appeared to be wrong - the asymptotics has a more complicated form and contains odd powers as well. Please see the solution by @metamorphy.


Numerick check (WA)

At $a=10$

$\qquad\qquad\qquad\displaystyle I(10)=\int_0^1\frac{dx}{\left(x+\sqrt[10]{1-x^{10}}+1\right)^2}=0.167875\color{red}637...$

$\quad\text{approximation}=\displaystyle \frac16+\frac{2\zeta(2)}{3^3}\frac1{100}\,-\,\frac{5\zeta(4)}{2\cdot3^3}\frac1{10000}=0.167875\color{red}114...$

here and here

Svyatoslav
  • 20,502
  • 4
    I think I was too pessimistic about next terms. It seems that the third term ($\sim \frac1{a^3}$) has the form $\text{const}\frac{\zeta(3)}{a^3}$ - and is equal to zero. We may suppose that the next non-zero term has the form $\text{const}\frac{\zeta(4)}{a^4}$, so the problem contains a deep symmetry and, probably, the whole series can be obtained. – Svyatoslav Jun 07 '25 at 21:51
  • 1
    @ Svyatoslav You mean there is no term involving $\frac{1}{a^2}$ just like there is not term term involving $\frac{1}{a}$. Curious to see what the full series looks like, especially if it beautifully involves the zeta function. – Nilotpal Sinha Jun 07 '25 at 22:14
  • 2
    AI says: $$\frac{1}{6}+\frac{\pi ^2}{81 a^2}+\frac{-\frac{7 \pi ^4}{3645}+\frac{\pi ^2 \zeta (3)}{243}-\frac{\zeta (5)}{27}}{a^4}+\frac{\frac{2 \pi ^2 \zeta (5)}{243}-\frac{2 \zeta (7)}{27}-\frac{7 \pi ^4 \zeta (3)}{10935}+\frac{25 \pi ^6}{59049}}{a^6}$$ . I don't know is this correct. – Mariusz Iwaniuk Jun 08 '25 at 10:00
  • 2
    @Mariusz Iwaniuk, thank you for your insight. I checked your formula numerically at $a=5$ and $a=10$. It seems that the terms $\sim\frac1{a^4}$ and $\frac1{a^6}$ are not correct: they do not improve the accuracy of $\frac16+\frac{\pi^2}{81a^2}$ approximation - as they should... – Svyatoslav Jun 08 '25 at 11:32
  • @Svyatoslav Is the coefficient of $\frac{1}{a^{2n}}$ equal to $\frac{2(2^{2n}-1)\zeta(2n)}{3^{2n+2}}$ for $n \ge 1$? – Nilotpal Sinha Jun 10 '25 at 14:59
  • 1
    Just found the time to check the third term. Found mistake. The correct term (and numeric confirantion) is in the updated post. – Svyatoslav Jun 13 '25 at 11:47
  • 1
    @Gary, sorry to disturb you. The problem looks interesting; the first terms of the asymptotics give the idea of the full asymptotic in the nice form. I have no clue how to approach the problem in the appropriate way. Maybe it will interest you as well :) – Svyatoslav Jun 13 '25 at 11:56
  • 1
    Thank you for the high mark of my work. This problem is a real challenge, and I still hope that the full asymptotics can be found. Must be found. – Svyatoslav Jun 17 '25 at 17:15
  • @Svyatoslav Agree. I think the full solution is worth a paper – Nilotpal Sinha Jun 19 '25 at 07:53
  • 2
    I've posted an answer with more terms (computed the way I trust ;) – metamorphy Jun 27 '25 at 04:01
7

Here is an algorithmic way to get the asymptotic series (in powers of $1/a$ as $a\to\infty$).


The integral (after $x=t^{1/a}$) equals $f(1/a)$, where $$ f(\lambda)=\int_0^1\frac{\lambda t^{\lambda-1}}{(1+t^\lambda+(1-t)^\lambda)^2}\,dt=\frac16+\lambda\int_0^1 F(\log t, \log(1-t),\lambda)\frac{dt}t, $$ and $$ F(a,b,\lambda)=\frac{e^{a\lambda}}{(1+e^{a\lambda}+e^{b\lambda})^2}-\frac{e^{a\lambda}}{(2+e^{a\lambda})^2} $$ has a power series (that can be computed) of the form $$ F(a,b,\lambda)=\sum_{n=1}^\infty F_n(a,b)\lambda^n,\qquad F_n(a,b)=\sum_{k=1}^n F_{n,k}a^{n-k}b^k. $$ This gives the asymptotics $\color{blue}{f(\lambda)\asymp 1/6+\sum_{n=1}^\infty f_n\lambda^{n+1}}$ as $\lambda\to 0^+$, where $$ f_n=\sum_{k=1}^n F_{n,k}G_{n,k},\quad G_{n,k}=L_{n-k,k},\quad L_{m,n}=\int_0^1\log^m(t)\log^n(1-t)\frac{dt}t. $$


An algorithmic way to express $L_{m,n}$ in terms of $\zeta$-function is to consider \begin{align*} 1+\alpha\sum_{m=0}^\infty\sum_{n=1}^\infty L_{m,n}\frac{\alpha^m}{m!}\frac{\beta^n}{n!} &=1+\alpha\int_0^1 e^{\alpha\log t}(e^{\beta\log(1-t)}-1)\frac{dt}t \\&=\alpha\int_0^1 t^{\alpha-1}(1-t)^\beta\,dt =\frac{\Gamma(1+\alpha)\Gamma(1+\beta)}{\Gamma(1+\alpha+\beta)} \end{align*} and use known series $\log\Gamma(1+z)=-\gamma z+\sum_{n=2}^\infty\zeta(n)(-z)^n/n$; we obtain $$ 1+\alpha\sum_{m=0}^\infty\sum_{n=1}^\infty L_{m,n}\frac{\alpha^m}{m!}\frac{\beta^n}{n!}=\exp\left(\sum_{n=2}^\infty\frac{(-1)^n}n\zeta(n)\big[\alpha^n+\beta^n-(\alpha+\beta)^n\big]\right).$$

The exponentiation has to be performed algorithmically.


I've implemented the above in PARI/GP as follows:

experiment(N) = {
    my (Z = vector(N, n, if (n % 2, eval(Str("Z", n)),
        (2 * 'pi)^n / 2 / n! * abs(bernfrac(n)))));
    Z = sum(n = 2, N, Z[n] * (-x)^n * (1 + y^n - (1 + y)^n) / n);
    Z = apply(Vecrev, Vec((exp(Z + O(x^(N + 1))) - 1) / (x * y)));
    my (F = exp(x) + O(x^N));
    F = F / (1 + F + exp(x * y))^2 - F / (2 + F)^2;
    F = apply(Vecrev, Vec(F / (x * y)));
    return (vector(N - 1, n, sum(k = 1, #F[n],
        k! * (n - k)! * F[n][k] * Z[n][k])))
};

so that running experiment(8) produces \begin{align*} f_1&=\frac{\pi^2}{81}, \\ f_2 &= 0, \\ f_3 &= -\frac{\pi^4}{972}, \\ f_4 &= \frac{2\pi^2}{729}\zeta(3), \\ f_5 &= \frac{7\pi^6}{29160}, \\ f_6 &= -\frac{5\pi^4}{4374}\zeta(3)-\frac{10\pi^2}{729}\zeta(5), \\ f_7 &= -\frac{38047\pi^8}{396809280}-\frac{14\pi^2}{6561}\zeta^2(3), \end{align*} and so on. The values of $f_1$ and $f_3$ (and $f_2$ of course) are the same as reported by @Svyatoslav.

But, as we see, the asymptotics still has non-zero terms with odd powers of $\lambda$ (thus of $a$).


I have no idea whether a closed form of this asymptotic expansion exists.

metamorphy
  • 43,591
  • 1
    thank you very much for you solution and your time! I see now that my supposition about the form of the asymptotics was wrong: the asymptotics has more complicated form and contains odd powers as well. So, this is a good learning experience about jumping to conclusions after evaluation several first terms :) – Svyatoslav Jun 27 '25 at 04:52
4

This is not a proof since just based on data analysis.

Consider the function

$$f(a)=a\int_0^1\frac{dx}{\left(x+\sqrt[a]{1-x^a}+1\right)^2}=\frac a 6+C$$ corresponds to $R^2=0.9999987$.

Now $$a^2\Big(f(a)-\frac a 6\Big)=\frac a 8-\frac 1{90}$$ corresponds to $R^2=0.99984$.

So, as an approximation

$$\frac 12+\int_0^1\frac{dx}{\left(x+\sqrt[a]{1-x^a}+1\right)^2}=\frac{2}{3}+\frac{1}{8 a^2}-\frac{1}{90 a^3}+O\left(\frac{1}{a^4}\right)$$