Geometric Distribution, Poisson

AI Thread Summary
The discussion revolves around calculating Pr(M>1) given that N has a geometric distribution and M has a Poisson distribution, with the conditions E(N) = E(M) and Var(N) = 2Var(M). The expected value and variance formulas for both distributions are provided, leading to the relationship λ = (1-p)/p and 2λ = (1-p)/(p^2). A participant initially struggles to solve for λ but later confirms they found the solution after receiving guidance. The final expression for Pr(M>1) is derived as 1 - Pr(M=0) - Pr(M=1), which simplifies to 1 - e^(-λ) - λe^(-λ). The thread concludes with the participant successfully resolving their query.
Mad Scientists
Messages
3
Reaction score
0
The problem is the following;

N has a geometric distribution with Pr(N=0)>0. M has a Poisson distribution. You are given:

E(N) = E(M); Var(N) = 2Var(M)

Calculate Pr (M>1).

From general knowledge we know that the expected value of a variable in a geometric distribution E(N) = q/p, and Var(N) = q/(p^2).
Also; the expected value of a variable in a Poisson distribution E(M) = lambda and Var(M) also = lambda.

I believe that the answer is 1 - pr(M=0) - pr(M=1) which is the equivalent of
1-e^(-lambda)-lambda*e^(-lambda).

But this would require solving for lambda, a feat I have not yet accomplished.


Any pointers?..

Thanks in advance,

Teddy
 
Physics news on Phys.org
You should be able to solve for p and \lambda, from \lambda = (1-p)/p, and 2\lambda = (1-p)/(p^2).

Note that Pr(N=0) = p > 0 so \lambda < +\infty.
 
Last edited:
Thanks Enuma, I was able to solve for it.
 
NM i saw the reply.
 
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