切り捨てられたRV導出の条件付き予想、Gumbel分布（ロジスティック差異）

私は独立同一分布している2つの確率変数、すなわち持っ： $\epsilon_{1}, \epsilon_{0} \overset{\text{iid}}{\sim} \text{Gumbel}(\mu,\beta)$

F (ϵ) = \exp (- \exp (- \frac{ϵ - μ}{β})),

$F(\epsilon) = \exp(-\exp(-\frac{\epsilon-\mu}{\beta})),$

f (ϵ) = \frac{1}{β} \exp (- (\frac{ϵ - μ}{β} + \exp (- \frac{ϵ - μ}{β}))) .

$f(\epsilon) = \dfrac{1}{\beta}\exp(-\left(\frac{\epsilon-\mu}{\beta}+\exp(-\frac{\epsilon-\mu}{\beta})\right)).$

2つの量を計算しようとしています。

$E_{ϵ_{1}} E_{ϵ_{0} | ϵ_{1}} [c + ϵ_{1} | c + ϵ_{1} > ϵ_{0}]$ $\mathbb{E}_{\epsilon_{1}}\mathbb{E}_{\epsilon_{0}|\epsilon_{1}}\left[c+\epsilon_{1}|c+\epsilon_{1}>\epsilon_{0}\right]$
$E_{ϵ_{1}} E_{ϵ_{0} | ϵ_{1}} [ϵ_{0} | c + ϵ_{1} < ϵ_{0}]$ $\mathbb{E}_{\epsilon_{1}}\mathbb{E}_{\epsilon_{0}|\epsilon_{1}}\left[\epsilon_{0}|c+\epsilon_{1}<\epsilon_{0}\right]$

私は、フォームの何かで統合を行う必要があるポイントに到達します：。これは、閉じたフォームに積分がないようです。誰かがこれを手伝ってくれる？多分私は何か間違ったことをした。 $e^{e^{x}}$

私は間違いなく閉じた形のソリューションがあるべきだと感じています。（編集：それが閉じた形式ではない場合でも、積分をすばやく評価するためのソフトウェアがある[Ei（x）など]があれば、それは大丈夫だと思います。）

編集：

変数の変更に伴い、

および

y = \exp (- \frac{ϵ_{1} - μ}{β})

$y =\exp(-\frac{\epsilon_{1}-\mu}{\beta})$

μ - β \ln y = ϵ_{1}

$\mu-\beta\ln y =\epsilon_{1}$

これはおよび $[0,\;\infty)$ それぞれ。 $\left[0,\;\exp(-\frac{\epsilon_{0}-c-\mu}{\beta})\right]$

。次に、変数の変更の下で、（1）を煮詰めました... $|J|=|\dfrac{d\epsilon}{dy}|=\frac{\beta}{y}$

\int_{0}^{\infty} \frac{1}{1 - e^{- x}} (\int_{μ - β \ln x - c}^{\infty} [c + μ - β \ln y] e^{- y} d y) e^{- x} d x

$\int_{0}^{\infty}\dfrac{1}{1-e^{-x}}\left(\int_{\mu-\beta\ln x-c}^{\infty}\left[c+\mu-\beta\ln y\right]e^{-y}dy\right)e^{-x}dx$

代数の間違いがあるかもしれませんが、私はまだこの積分を解決できません...

関連質問：iidガンベル変数の最大値への期待

— オオカミ
ソース

閉じた形のソリューションは絶対にありません。なぜあるべきだと感じたのですか？

— ゴードンスミス

@GordonSmyth閉じた形のソリューションがないことをどうやって知っていますか？

— wolfsatthedoor

$(\mu,\beta)$

E [ϵ_{1} | ϵ_{1} + c > ϵ_{0}] = \frac{\int_{- \infty}^{+ \infty} x F (x + c) f (x) d x}{\int_{- \infty}^{+ \infty} F (x + c) f (x) d x}

$\mathbb{E}[\epsilon_1|\epsilon_1+c>\epsilon_0]= \frac{\int_{-\infty}^{+\infty} x F(x+c) f(x) \text{d}x}{\int_{-\infty}^{+\infty} F(x+c) f(x) \text{d}x}$

f

$f$

F

$F$

μ = 0

$\mu=0$

β = 1

$\beta=1$

\begin{aligned} \int_{- \infty}^{+ \infty} F (x + c) f (x) d x & = \int_{- \infty}^{+ \infty} \exp {- \exp [- x - c]} \exp {- x} \exp {- \exp [- x]} d x \\ \overset{a = e^{c}}{=} \int_{- \infty}^{+ \infty} \exp {- (1 + a) \exp [- x]} \exp {- x} d x \\ = \frac{1}{1 + a} {[\exp {- (1 + a) e^{- x}}]}_{- \infty}^{+ \infty} \\ = \frac{1}{1 + a} \end{aligned}

$\begin{align*} \int_{-\infty}^{+\infty} F(x+c) f(x) \text{d}x &= \int_{-\infty}^{+\infty} \exp\{-\exp[-x-c]\}\exp\{-x\}\exp\{-\exp[-x]\}\text{d}x\\&\stackrel{a=e^c}{=}\int_{-\infty}^{+\infty} \exp\{-(1+a)\exp[-x]\}\exp\{-x\}\text{d}x\\&=\frac{1}{1+a}\left[ \exp\{-(1+a)e^{-x}\}\right]_{-\infty}^{+\infty}\\ &=\frac{1}{1+a} \end{align*}$

\begin{aligned} \int_{- \infty}^{+ \infty} x F (x + c) f (x) d x & = \int_{- \infty}^{+ \infty} x \exp {- (1 + a) \exp [- x]} \exp {- x} d x \\ \overset{z = e^{- x}}{=} \int_{0}^{+ \infty} \log (z) \exp {- (1 + a) z} d z \\ = \frac{- 1}{1 + a} {[Ei (- (1 + a) z) - \log (z) e^{- (1 + a) z}]}_{0}^{\infty} \\ = \frac{γ + \log (1 + a)}{1 + a} \end{aligned}

$\begin{align*} \int_{-\infty}^{+\infty} x F(x+c) f(x) \text{d}x &= \int_{-\infty}^{+\infty} x \exp\{-(1+a)\exp[-x]\}\exp\{-x\}\text{d}x\\ &\stackrel{z=e^{-x}}{=} \int_{0}^{+\infty} \log(z) \exp\{-(1+a)z\}\text{d}z\\ &= \frac{-1}{1+a}\left[\text{Ei}(-(1+a) z) -\log(z) e^{-(1+a) z}\right]_{0}^{\infty}\\ &= \frac{\gamma+\log(1+a)}{1+a} \end{align*}$

E [ϵ_{1} | ϵ_{1} + c > ϵ_{0}] = γ + \log (1 + e^{- c})

$\mathbb{E}[\epsilon_1|\epsilon_1+c>\epsilon_0]=\gamma+\log(1+e^{-c})$

U

$U$

X = - \log {- \log (U)}

$X=-\log\{-\log(U)\}$

— 西安
ソース

epsilon0もrvであることをご存知ですか？

— wolfsatthedoor