Ortalama olduğunu kanıtlamak istiyorsun X¯ ve n rv.s Xi/X¯
bağımsız veya eşdeğer olarak toplamın U:=∑Xi
ve n oranlar Wi:=Xi/Ubağımsızdır. Biraz daha genel bir sonuç ortaya koyabiliriz.Xi muhtemelen farklı şekiller var αi, ama aynı ölçek β>0 ki bu olduğu varsayılabilir β=1.
Ortak Laplace dönüşümünü düşünün U ve W=[Wi]ni=1
yani
ψ(t,z):=E{exp[−tU−z⊤W}=E{exp[−t∑iXi−∑iziXiU]}
Bu bir
nboyutlu integral
(0,∞)n
Cst∫exp[−(1+t)(x1+⋯+xn)−z1x1+⋯+znxnx1+⋯+xn]xα1−11…xαn−1ndx
sabitin göreceli olduğu
x. Eğer integral işareti altına yeni değişkenler
y : = (1+t)x, integralin iki fonksiyonun bir ürünü olarak yazılabileceğini kolayca görüyoruz.
t diğeri vektöre bağlı
z. Bu kanıtlıyor
U ve
W bağımsızdır.
Feragat . Bu soru Lukacs'ın oransal toplam bağımsızlığı teoremiyle , dolayısıyla Eugene Lukacs'ın Gamma Dağılımının Karakterizasyonu ile ilgili makalesiyle ilgilidir . Burada sadece bu makalenin ilgili kısmını (yani s. 324), gösterimlerde bazı değişikliklerle çıkardım. Ayrıca karmaşık sayılar içeren değişkenlerin değişmesini önlemek için karakteristik fonksiyonun kullanımını Laplace dönüşümünün kullanımı ile değiştirdim.