Ha már integráltunk,akkor deriváljunk is. Az alábbi megoldás egy kicsit számolósab ("ijesztőbb" :-), direktben megadja az \(\displaystyle X=\max_iX_i\) valószínűségi változó eloszlását és ennek generátorfüggvénye alapján számoljuk a várható értéket.
Szükség lesz az \(\displaystyle f(x)=\prod_{i=1}^{n}(e^{p_ix}-1)\) függvény alábbi tulajdonságaira:
\(\displaystyle f{'}(x)-f(x)=\sum_{i=1}^np_i\prod_{j\neq i}(e^{p_jx}-1)\tag1\)
Ha f(x) Taylor-sora \(\displaystyle f(x)=\sum_{k=0}^\infty a_kx^k\), akkor mivel 0 n-szeres gyöke f-nek
\(\displaystyle a_0=...=a_{n-1}=0 \tag2\)
\(\displaystyle f{'}(x)-f(x)=\sum_{k=n}^\infty(ka_{k}-a_{k-1})x^{k-1} \tag3\)
Legyen \(\displaystyle q_k=P(X=k)\). Ekkor nyilván \(\displaystyle q_0=...=q_{n-1}=0\) továbbá a \(\displaystyle G(x)=\sum_{k=n}^\infty q_kx^k\) generátorfüggvény felhasználásával \(\displaystyle E(X)=G{'}(1)\), így elég G'(1) értékét meghatározni.
Ha X=k és utoljára az i értéket húztuk, továbbá a többi j érték \(\displaystyle x_j\)-szer fordult elő (\(\displaystyle x_j\geq1,j\neq i\)), akkor ez az esemény \(\displaystyle \frac{(k-1)!}{\prod{x_j!}}\) esetben fordul elő és minden előfordulás valószínűsége \(\displaystyle p_i\prod p_j^{x_j}\) Tehát
\(\displaystyle q_k=\sum_{i=1}^{n}
\sum_{\begin{matrix} \sum x_j=k-1\\
j\neq i\\
x_j\geq1
\end{matrix}}
p_i\prod p_j^{x_j}\frac{(k-1)!}{\prod {x_j!}}=(k-1)!\sum_{i=1}^{n}p_i
\sum_{\begin{matrix}
\sum x_j=k-1\\
j\neq i\\
x_j\geq1
\end{matrix}}
\prod\frac{p_j^{x_j}}{{x_j!}}\)
Látható, hogy \(\displaystyle \frac{q_k}{(k-1)!}\) értéke megegyezik az (1) jobb oldalán szereplő függvény Taylor-sorában az \(\displaystyle x^{k-1}\) tag együtthatójával, így (3) szerint
\(\displaystyle q_k=(k-1)!(ka_k-a_{k-1})=k!a_k-(k-1)!a_{k-1}=f^{(k)}(0)-f^{(k-1)}(0) \tag4\)
Ha \(\displaystyle F(x)=\sum_{k=n}^\infty f^{(k)}(0)x^k\) (a definíció érvényes |x|<1 esetben, hiszen \(\displaystyle \lim_{k\to\infty} f^{(k)}(0)=\sum q_k=1\)), akkor (4) alapján \(\displaystyle G(x)=F(x)(1-x)\). De \(\displaystyle f^{(k)}(0)\) könnyen számolható, ha f(x) definíciójában elvégezzük a tagonkénti szorzást.
Legyen \(\displaystyle S_i\) a \(\displaystyle \{p_1,...,p_n\}\) halmaz i elemű részhalmazainak a halmaza és tetszőleges \(\displaystyle S\in S_i\) esetén legyen \(\displaystyle |S|=\sum_{p_i\in S}p_i\). Ekkor \(\displaystyle k\geq1\) esetén
\(\displaystyle f^{(k)}(0)=1-\sum_{S\in S_{n-1}}|S|^k+
\sum_{S\in S_{n-2}}|S|^k-...+(-1)^{n-1}\sum_{S\in S_1}|S|^k=1+\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}|S|^k \tag5\)
Felhasználva, hogy (5)-ben mindenhol |S|<1, F(x) hatványsorában |S|x hányadosú mértani sorokat kell összegeznünk, így
\(\displaystyle F(x)=\frac{x^n}{1-x}+\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}\frac{|S|^nx^n}{1-|S|x}\)
\(\displaystyle G(x)=x^n+(1-x)\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}\frac{|S|^nx^n}{1-|S|x}\)
\(\displaystyle E(X)=G{'}(1)=n-\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}\frac{|S|^n}{1-|S|}=n-\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}\left(\frac{|S|^n-1}{1-|S|}+\frac1{1-|S|}\right)\)
Felhasználva, hogy ha \(\displaystyle S\in S_i\), akkor egyértelműen megfeleltethető neki egy olyan \(\displaystyle S'\in S_{n-i}\), hogy 1-|S|=|S'|, kapjuk
\(\displaystyle E(X)=n-\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}\frac{|S|^n-1}{1-|S|}-\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_{n-i}}\frac1{|S|}\)
\(\displaystyle E(X)=n+\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}(|S|^{n-1}+|S|^{n-2}+...+1)+\sum_{i=1}^{n-1}(-1)^{i+1}\sum_{S\in S_i}\frac1{|S|} \tag6\)
Alkalmazzuk most (5)-öt a k=1,2,...n-1 esetben és adjuk össze az egyenlőségeket. Mivel most \(\displaystyle f^{(k)}(0)=0\), kapjuk
\(\displaystyle 0=\sum_{k=1}^{n-1}f^{(k)}(0)=n-1+\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}(|S|^{n-1}+|S|^{n-2}+...+|S|)\)
Ebből azonnal következik, hogy (6)-ban
\(\displaystyle n+\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}(|S|^{n-1}+|S|^{n-2}+...+1)=1+\sum_{i=1}^{n-1}(-1)^{n-i}\sum_{S\in S_i}1=1+\sum_{i=1}^{n-1}(-1)^{n-i}\binom{n}{i}=(-1)^{n+1}\)
Tehát
\(\displaystyle E(X)=(-1)^{n+1}+\sum_{i=1}^{n-1}(-1)^{i+1}\sum_{S\in S_i}\frac1{|S|}=\sum_{i=1}^{n}(-1)^{i+1}\sum_{S\in S_i}\frac1{|S|}\)
|