How to show that, for $\alpha<1$ it holds: $|\min\left(z\log z,0\right)|\leq Cz^{\alpha}$, $\forall z\geq 0$ for an appropriate $C<\infty$.
This pops up in the convergence results given in the JKO paper for gradient flows.
How to show that, for $\alpha<1$ it holds: $|\min\left(z\log z,0\right)|\leq Cz^{\alpha}$, $\forall z\geq 0$ for an appropriate $C<\infty$.
This pops up in the convergence results given in the JKO paper for gradient flows.
So, as $z\ge 0$ and $\log z<0 \iff z\in (0,1)$, we want to prove that $\forall \alpha<1 \ \exists C: \forall z\in (0,1): \ -z\log z \le Cz^\alpha$ Set $x:=1/z$, now it is $>1$, then we want to prove $\log x = -\log z \le C z^{\alpha-1} = Cx^{(1-\alpha)}$ Set $\beta := 1-\alpha \ >0$, then using the fact that $\displaystyle{\lim_{x\to \infty}\frac{\log x}{x^\beta} = 0}$, we conclude that it is upper bounded.
For $z$ a positive real and $a$ a real $< 1$ , $z log(z) < C z^a$ because logs grow slower than roots. Analogue for complex z , write out the real and imaginary part and keep in mind that $exp$ has a period of $2 \pi i$ ( how does that make the branches of $log(z)$ look like ? ). That way you should be able to find the answer yourself.