Quiero demostrar la siguiente proposición:
La función de $w\to (-Li_{5/2}(-e^w))^{2/5}$ es convexa en $\mathbb R$.
Y, como creo, el mismo es verdad para la función de $w\to (-Li_{p}(-e^w))^{1/p}$ para $p\ge 1$ (wiki en polylogarithm). Yo no encuentro ninguna directo de los resultados sobre este tema.
Para delimitada $w$ es posible construir una trama en, digamos, Mathematica, y ver que la proposición es verdadera no. Para $w\to\infty$ puedo encontrar el asymptotical comportamiento: $c_1w+c_2/w +\mathcal O(w^{-2})$, $c_i>0$.
Por lo tanto, dos preguntas. Es este desarrollo suficiente para garantizar la convexidad? Y qué hacer en la región donde la asymptotics no es cierto todavía? Por supuesto, que se puede construir una trama en la que una lo suficientemente grande y compacto, pero elige correctamente la última parece ser una tarea compleja, demasiado.
Calcular la segunda derivada, no aporta nada útil, o, al menos, yo puedo demostrar que la señal es constante.
$\frac{\left(-Li_p(-e^w)\right)^{1/p-2}\left(p Li_{p-2}(-e^w)Li_p(-e^w)-(p-1)(-Li_{p-1}(-e^w))^2\right)}{p^2}$
Yo estaría encantado de escuchar todas las sugerencias sobre la posible razonamiento para mi proposición.
Editar (16.05.2013) me las arreglé para probar la siguiente declaración:
Supongamos que la función de $\theta(r)=\eta(r)\eta(r-2)-\frac{r-1}{r}\eta^2(r-1)$ es positivo para $p$ e $p-1$ donde $\eta$ - Dirichlet de la función de eta, $p\ge 2$. Si la función de $w\to(- Li_{p-1}(-e^w))^{\frac{1}{p-1}}$ es convexa en $\mathbb R_+$, entonces también lo es $w\to(- Li_p(-e^w))^{1/p}$ .
Editar (17.05.2013) Por un método análogo al de mi anterior edición, se puede demostrar que la hipótesis de convexidad es verdadera para todo entero $p>0$.