derivative of the $L^p$-norm with respect to $p$

Maybe this helps for point [1].

By definition for $f>0$, $||f||_p=(\int_{\Omega} (f(\omega))^{p}d\mu(\omega))^{1/p}$. Introducing $p_f(x)$ as the density of $f$, this can be rewritten, via a change of variables, as an integral over the real line:

$||f||_p=(\int_{0}^{+\infty} dx \quad p_f(x)x^{p})^{1/p}$ [1]

and now one can use standard real analysis techniques to get the derivative of an integral dependent on a parameter.

Taking the log:

$\frac{\partial}{\partial p}\ln ||f||_p=\frac{1}{||f||_p}\frac{\partial}{\partial p}||f||_p$ [2]

And than using [1]:

$\frac{\partial}{\partial p}\ln ||f||_p=-\frac{1}{p^2}\ln \int_{0}^{+\infty} dx \quad p_f(x)x^{p}+\frac{1}{p}\int_{0}^{+\infty} dx \quad p_f(x)x^{p}\ln(x)$ [3]

Using [3], [2] and evaluating at $p=1$ using the hypothesis:

$\frac{\partial}{\partial p}||f||_p|_{p=1}=\int_{0}^{+\infty} dx \quad p_f(x)x \ln(x)=\int_{\Omega} f(\omega)\ln(f(\omega))d\mu(\omega)$

This approach of course requires that a density exists and one should also justify better some passages to be more formal but I think it leads to the right result.


We need to assume that $$\int_{\Omega}\log(f(\omega))f(\omega)~\mathrm d \mu(\omega) < \infty.$$ To see that this does not follow from the stated assumptions, Let $\Omega := [e,\infty)$ with Lebesgue measure and set $f(x) := \frac{1}{x \log(x)^2}.$ The arguments below will show that this assumption is necessary for the derivative in question to be finite.

Let $g(p) = \|f\|_p^p.$ For any $y>0$, the function $p \mapsto y^p$ is convex on $(0,\infty)$, and therefore the function $h \mapsto \frac{y^{p+h} - y^{h}}{h}$ is increasing in $h$ for any $p>0$. Fixing $p>0$ and using the monotone convergence theorem, we obtain \begin{align*} \lim_{h \searrow 0} \frac{g(p+h)-g(h)}{h} &= \lim_{h\searrow 0} \int_{\Omega} \frac{f(\omega)^{p+h} - f(\omega)^{p}}{h}~\mathrm d \mu(\omega) \\ &=\int_{\Omega} \lim_{h\searrow 0}\frac{f(\omega)^{p+h} - f(\omega)^{p}}{h}~\mathrm d \mu(\omega) \\ &= \int_{\Omega} \log(f(\omega)) f(\omega)^p ~\mathrm{d} \mu(\omega). \end{align*} Applying the same reasoning with $h \nearrow 0$, we obtain that $g$ is differentiable with $$ g'(p) = \int_{\Omega} \log(f(\omega)) f(\omega)^p ~\mathrm{d} \mu(\omega),$$ for all $p > 0$ where the right-hand side is finite. Note that by assumption, this holds for $p = 1$, and as the map $p \mapsto \int_{\Omega} \log(f(\omega)) f(\omega)^p ~\mathrm{d} \mu(\omega)$ is continuous by virtue of the monotone convergence theorem, the right-hand side above is finite for all $p>0$. Hence, $g$ is differentiable on $(0,\infty)$, and by the chain rule $h(p) = g(p)^{1/p} = \|f\|_p$ is differentiable on $(0,\infty)$ as well, and we have $$ g'(p) = \frac{d}{dp} (h(p)^p) = p \cdot h(p)^{p-1} \cdot h'(p) + h(p)^p \cdot \log(h(p)).$$ By assumption we have $h(1) =1$ and therefore we obtain $h'(1) = g'(1)$ which yields $$h'(1) = \int_{\Omega} \log(f(w)) f(w) ~\mathrm{d}\mu(\omega). $$ The above deliberations hold for any measure $\mu$, so this covers both cases.