Can Elog(x) Be Infinite for Some Distributions?

  • Thread starter Thread starter St41n
  • Start date Start date
  • Tags Tags
    Finite
AI Thread Summary
For a random variable x > 0 with a finite mean, Jensen's inequality indicates that E(log(x)) is less than or equal to log(E(x)), which is finite. The discussion raises the question of whether E(log(x)) can be negative infinity, particularly as x approaches zero, where log(x) tends to negative infinity. An example is provided using the distribution x = exp(-1/u) with u uniformly distributed on (0,1). The consensus is that while log(x) is finite for x > 0, the behavior of E(log(x)) can lead to negative infinity under certain conditions. Therefore, E(log(x)) cannot be infinite if x is strictly positive.
St41n
Messages
32
Reaction score
0
Let x>0 be a random variable with some distribution with finite mean and let E denote the expectation with respect to that distribution.
By Jensen's inequality we have Elog(x) =< logE(x) < +inf

But, does this imply that -inf < Elog(x) too? Or is it possible that Elog(x) = -inf

Sorry if my question is stupid. Thx in advance
 
Physics news on Phys.org
If x> 0 then log(x) is always finite and so E(log(x)) must be finite.
 
But when x -> 0 , log(x) -> -inf
 
Try x=exp(-1/u) where u is uniform on (0,1).
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top