MHB Verifying Solution for Exponentially Distributed Random Vars.

AI Thread Summary
The discussion focuses on calculating the probability $\Phi$ for two independent and identically distributed exponential random variables $X$ and $Y$. The initial analytical solution presented does not align with simulation results, prompting a request for clarification or correction. The derived expression for $\Phi involves multiple probability calculations and expectations, ultimately leading to a formula that incorporates the parameters $A$, $B$, and others. The poster emphasizes that intermediate steps were omitted initially, which could lead to confusion, and they provide a more detailed breakdown of the calculations. The final expression for $\Phi is presented, aiming for accuracy in the context of the problem.
user_01
Messages
5
Reaction score
0
Given two i.i.d. random variables $X,Y$, such that $X\sim \exp(1), Y \sim \exp(1)$. I am looking for the probability $\Phi$. However, the analytical solution that I have got does not match with my simulation. I am presenting it here with the hope that someone with rectifies my mistake.

:


$$\Phi =\mathbb{P}\left[P_v \geq A + \frac{B}{Y}\right] $$

$$
P_v=
\left\{
\begin{array}{ll}
a\left(\frac{b}{1+\exp\left(-\bar \mu\frac{P_s X}{r^\alpha}+\varphi\right)}-1\right), & \text{if}\ \frac{P_s X}{r^\alpha}\geq P_a,\\
0, & \text{otherwise}.
\end{array}
\right.
$$

---
**My solution**

\begin{multline}
\Phi = \mathbb{P}\left[ a\left(\frac{b}{1+\exp\left(-\bar \mu\frac{P_s X}{r^\alpha}+\varphi\right)}-1\right) \geq A + \frac{B}{Y}\right]\mathbb{P}\left[X \geq \frac{P_ar^\alpha}{P_s}\right] + {\mathbb{P}\left[0 \geq A + \frac{B}{Y}\right] \mathbb{P}\left[X \geq \frac{P_ar^\alpha}{P_s}\right]}
\end{multline}

Given that $\mathbb{P}[0>A+\frac{B}{Y}] = 0$

$$ \Phi = \mathbb{P}\left[a\left(\frac{b}{1+\exp\left(-\bar \mu\frac{P_s X}{r^\alpha}+\varphi\right)}-1\right) \geq A + \frac{B}{Y}\right] \exp\left(-\frac{P_ar^\alpha}{P_s}\right) $$

consider $D = A + a$, $c = \frac{\bar{\mu}P_s}{r^{\alpha}}$

$$ \Phi = \mathbb{P} \left[Y \geq \frac{1}{ab}\mathbb{E}_Y[DY + B]. \mathbb{E}_X [1+e^\varphi e^{-c X}] \right] $$

$$\Phi = \exp\left(-\frac{D+B}{ab}\left(1 + \frac{e^\varphi}{1+c}\right)\right)\exp\left(-\frac{P_a r^\alpha}{P_s}\right) $$
 

Attachments

  • pic_1.PNG
    pic_1.PNG
    6.7 KB · Views: 108
Physics news on Phys.org
I did not include the whole intermediate steps in the above solution which may cause confusion. Hence those steps are now presented below.

---
**My solution**

\begin{multline}
\Phi = \mathbb{P}\left[ a\left(\frac{b}{1+\exp\left(-\bar \mu\frac{P_s X}{r^\alpha}+\varphi\right)}-1\right) \geq A + \frac{B}{Y}\right]\mathbb{P}\left[X \geq \frac{P_ar^\alpha}{P_s}\right] + {\mathbb{P}\left[0 \geq A + \frac{B}{Y}\right] \mathbb{P}\left[X \geq \frac{P_ar^\alpha}{P_s}\right]}
\end{multline}

Given that $\mathbb{P}[0>A+\frac{B}{Y}] = 0$

$$ \Phi = \mathbb{P}\left[a\left(\frac{b}{1+\exp\left(-\bar \mu\frac{P_s X}{r^\alpha}+\varphi\right)}-1\right) \geq A + \frac{B}{Y}\right] \exp\left(-\frac{P_ar^\alpha}{P_s}\right) $$

Now consider only the first part of the expression on the right side of the equation, and letting $c = \frac{\bar{\mu}P_s}{r^{\alpha}}$.

$$ \mathbb{P}\left[a\left(\frac{b}{1+\exp\left(-\bar \mu\frac{P_s X}{r^\alpha}+\varphi\right)}-1\right) \geq A + \frac{B}{Y}\right] = \mathbb{P}\left[\frac{ab}{1+\exp\left(-c X+\varphi\right)}-a \geq A + \frac{B}{Y}\right]$$

consider $D = A + a$, and with mathematical manipulations, we get:

$$ \Phi = \mathbb{P} \left[Y \geq \frac{1}{ab}\mathbb{E}_Y[DY + B]. \mathbb{E}_X [1+e^\varphi e^{-c X}] \right] $$

$$\Phi = \exp\left(-\frac{D+B}{ab}\left(1 + \frac{e^\varphi}{1+c}\right)\right)\exp\left(-\frac{P_a r^\alpha}{P_s}\right) $$
 
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...
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top