Chcesz udowodnić, że to znaczy X¯ i n rv.s Xi/X¯
są niezależne lub równoważne od sumy U:=∑Xi
i n stosunki Wi:=Xi/Usą niezależne. Możemy udowodnić nieco bardziej ogólny wynik, zakładając, żeXi mieć możliwie różne kształty αi, ale w tej samej skali β>0 co można założyć β=1.
Rozważ wspólną transformację Laplace'a U i W=[Wi]ni = 1
to znaczy,
ψ ( t ,z ): = E{exp[ - tU-z⊤W }=E { exp[ - t∑jaXja-∑jazjaXjaU] }
Wyraża się to jako
n-wymiarowa całka ponad
( 0 , ∞)n
Cst∫exp[ - ( 1 + t ) (x1+⋯+xn)−z1x1+⋯+znxnx1+⋯+xn]xα1−11…xαn−1ndx
gdzie stała jest względem
x. Jeśli wprowadzimy nowe zmienne pod znakiem integralnym przez ustawienie
y:=(1+t)x, widzimy łatwo, że całka może być zapisana jako iloczyn dwóch funkcji, z których jedna zależy od
t drugi w zależności od wektora
z. To świadczy o tym
U i
W są niezależne.
Zastrzeżone . To pytanie odnosi się do twierdzenia Lukacsa o niezależności od sumy proporcjonalnej , stąd artykuł Eugene Lukacsa Charakterystyka rozkładu gamma . Właśnie wyodrębniłem tutaj odpowiednią część tego artykułu (mianowicie s. 324), z pewnymi zmianami w notacjach. Zastąpiłem także użycie funkcji charakterystycznej transformacją Laplace'a, aby uniknąć zmian zmiennych obejmujących liczby zespolone.