Lemma 1
Tag 08J0, permanent. Cite it as [Bourbaki, Tag 08J0].
Functions of a Real Variable, chapter VII, § 1. THE GAMMA FUNCTION IN THE REAL DOMAIN
Let and be two functions and twice differentiable on an open interval . If and are logarithmically convex functions on , then is logarithmically convex on .
The relation can be written . We are reduced to showing that the relations imply ; now, when , the relation is equivalent to the fact that the quadratic form is on , and it is clear that if
on then also on .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.