Skip to main content
13 of 13
added 4 characters in body
japalmer
  • 391
  • 2
  • 10

Non-negativity of a complicated function

Show that $f(x)\ge 0$ for $0\le x \le 1$, where:

$$f(x) = \arccos(x)^2 -8x(5x^2-2) \sqrt{1-x^2}\arccos(x)+36 x^8-112 x^6+93 x^4-17 x^2$$

The endpoints are $f(0)=\pi^2/4$ and $f(1)=0$. Plotting verifies that the function is positive, but it is not monotonic, or concave. The maximum is the root of a complicated function, so it is not clear how to separate into sub-intervals. There seems to be no way to separate the function into the sum of two simpler parts that are positive.

The problem is equivalent to showing that $\log\hspace{-1pt}\big( h(r)\big)$ is concave on $(0,1]$, where:

$$h(r) = r^{-1}\Big(\pi -2 (1-2r ) \sqrt{r}\sqrt{1-r}-2 \arccos\big(\hspace{-2pt}\sqrt{r}\big)\Big),\quad 0< r \le 1 $$

Update: based on a comment, the problem can be reduced to showing that $g(x) \le 0$ for $1/2 \le x \le 1$, where:

$$g(x) = x\big(x^6-\mbox{$\frac{7}{3}$} x^4 + \mbox{$\frac{103}{72}$}x^2-\mbox{$\frac{25}{144}$}\big)\sqrt{1-x^2}+\mbox{$\frac{5}{9}$}\big(x^4-\mbox{$\frac{19}{20}$}x^2+\mbox{$\frac{7}{80}$}\big)\arccos(x)$$

Since $g$ is monotonic, this is equivalent to showing that $w(x)\ge 0$ on $[1/2,1]$, where:

$$w(x) = x(40 x^2-19)\sqrt{1-x^2}\arccos(x)-144 x^8+378 x^6-323 x^4+93 x^2-4$$

This may seem somewhat obscure, but it turns out to be important for proving a significant theorem on uniqueness of solutions to unmixing linear combinations of independent random variables. One part of the solution I posted in another question. I believe I have a solution for that, though it involves working with a piecewise function and verifying monotonicity of 60 essentially elementary functions. The other part, involving the integral over the radial direction comes down to proving that this function is positive (derived and extracted from a more complicated expression).

Does anyone know how to show that a function like this is positive, or have an idea that I could pursue? I'm asking here because I have no idea how to proceed.

japalmer
  • 391
  • 2
  • 10