0
$\begingroup$

For $f_0$ and $f_1$ two continuos probability density functions on $\mathbb{R}$, by Hölder, I know that $f_1^x f_0^{1-x}$ is integrable on $\mathbb{R}$, where $0 \leq x \leq 1$. Let $l=f_1/f_0$, then $g:=l^xf_0=f_1^x f_0^{1-x}$. Is it true that derivative of $g$, of any order, w.r.t $x$ is also integrable on $\mathbb{R}$? For example $g^{''}=\ln(l)^2 l^xf_0$?

I have a solution to this problem at mathstackexchange.com for the case when $l$ is increasing, and for $g^{''}$, here. I think it should still be true when $l$ is not necessarily increasing, and even for the higher order derivatives, but I am not able to show it.

Thanks for your help.

Improve this question
$\endgroup$
2
  • $\begingroup$ Is $f_2$ supposed to be $f_0$? $\endgroup$
    – Gerry Myerson
    Apr 7, 2014 at 3:21
  • $\begingroup$ @Gerry Myerson Yes a typo. $\endgroup$
    – Seyhmus Güngören
    Apr 7, 2014 at 7:56

1 Answer 1

Reset to default
1
$\begingroup$

Consider $f_1^xf_0^{1-x}$ for $x$ in the strip $0<Re(x)<1$ and use Cauchy's formula.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thanks for the answer. I had a quick look at complex integrals and from your answer I guessed that I had to take a contour integral of $f_1^xf_0^{1-x}$, for complex $x$, and one segment of the contour would be the real line from $0$ to $1$. If I am not incorrect, $f_1^xf_0^{1-x}$ has no residue, therefore the contour integral should give $0$. I calculated the integral over the real line and it was $(f_1-f_0)/\ln(f_1-f_0)$. I dont have any idea about the part of the arc and I also dont know how to conclude about integrability. Could you please further help? $\endgroup$
    – Seyhmus Güngören
    Apr 7, 2014 at 10:49
  • $\begingroup$ For any x in the strip, $f_1^xf_0^{1-x}$ is integrable. Now express the derivatives as contour integrals of the function using Cauchy's formula. $\endgroup$
    – Michael Renardy
    Apr 7, 2014 at 13:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.