Một khái quát của câu hỏi yêu cầu phân phối khi phân phối được biết và hỗ trợ trên các số tự nhiên. (Trong câu hỏi, có phân phối Poisson tham số và .)X X λ = λ 1 + λ 2 + ⋯ + λ n m = nY= ⌊ X/ M⌋XXλ = λ1+ λ2+ ⋯ + λnm = n
Sự phân bố của có thể dễ dàng xác định bởi sự phân bố của , có khả năng tạo ra chức năng (PGF) có thể được xác định trong điều khoản của PGF của . Đây là một phác thảo của phái sinh.m Y XYm YX
Viết cho pgf của , trong đó (theo định nghĩa) . được xây dựng từ theo cách mà pgf, , của nó làX p n = Pr ( X = n ) m Y X qp ( x ) = p0+ p1x + ⋯ + pnxn+ ⋯Xpn= Pr ( X= n )m YXq
q( x )= =( p0+ p1+ ⋯ + pm - 1) + ( pm+ pm + 1+ ⋯ + p2m−1)xm+ ⋯ +(pnm+pn m +1+ ⋯ +p( n + 1 ) m -1)xnm+ ⋯ .
Bởi vì điều này hội tụ hoàn toàn cho , chúng ta có thể sắp xếp lại các điều khoản thành một tổng số phần của biểu mẫu| x | ≤ 1
Dm , tp ( x ) = pt+ pt + mxm+ ⋯ + pt + n mxn m+ ⋯
cho . Chuỗi lũy thừa của các hàm bao gồm mọi thuật ngữ của chuỗi bắt đầu bằng : đôi khi được gọi là số thập phân của . Các tìm kiếm của Google hiện tại không đưa ra nhiều thông tin hữu ích về các số thập phân, vì vậy để hoàn thiện, đây là một công thức.x t D m , t p m th p t th pt=0,1,…,m−1xtDm,tpmthptthp
Đặt là bất kỳ gốc gốc của sự thống nhất; ví dụ: lấy . Sau đó, nó xuất phát từ và đóm th ω = exp ( 2 i π / m ) ω m = 1 ∑ m - 1 j = 0 ω j = 0ωmthω=exp(2iπ/m)ωm=1∑m−1j=0ωj=0
xtDm,tp(x)=1m∑j=0m−1ωtjp(x/ωj).
Để thấy điều này, lưu ý rằng toán tử là tuyến tính, do đó, nó đủ để kiểm tra công thức trên cơ sở . Áp dụng phía bên tay phải để mang đến cho { 1 , x , x 2 , ... , x n , ... } x nxtDm,t{1,x,x2,…,xn,…}xn
xtDm,t[xn]=1m∑j=0m−1ωtjxnω−nj=xnm∑j=0m−1ω(t−n)j.
Khi và khác nhau bởi bội số của , mỗi số hạng trong tổng bằng và chúng ta thu được . Mặt khác, các điều khoản xoay quanh các quyền hạn của và các tổng này bằng không. Khi toán tử này bảo toàn tất cả các lũy thừa của đồng quy với modulo và giết chết tất cả các quyền khác: đó chính xác là phép chiếu mong muốn.n m 1 x n ω t - n x t mtnm1xnωt−nxtm
Một công thức cho tuân theo dễ dàng bằng cách thay đổi thứ tự tổng hợp và nhận ra một trong các khoản tiền là hình học, do đó viết nó ở dạng đóng:q
q(x)=∑t=0m−1(Dm,t[p])(x)=∑t=0m−1x−t1m∑j=0m−1ωtjp(ω−jx)=1m∑j=0m−1p(ω−jx)∑t=0m−1(ωj/x)t=x(1−x−m)m∑j=0m−1p(ω−jx)x−ωj.
Ví dụ: pgf của phân phối Poisson của tham số là . Với , và pgf của sẽ làp ( x ) = exp ( λ ( x - 1 ) ) m = 2 ω = - 1 2 Yλp(x)=exp(λ(x−1))m=2ω=−12Y
q(x)=x(1−x−2)2∑j=02−1p((−1)−jx)x−(−1)j=x−1/x2(exp(λ(x−1))x−1+exp(λ(−x−1))x+1)=exp(−λ)(sinh(λx)x+cosh(λx)).
Một cách sử dụng của phương pháp này là để tính toán các khoảnh khắc của và . Giá trị của đạo hàm của pgf được đánh giá tại là thời điểm giai thừa . Các khoảnh khắc là sự kết hợp tuyến tính của người đầu tiên khoảnh khắc thừa. Ví dụ, bằng cách sử dụng các quan sát này, đối với Poisson phân phối , giá trị trung bình của nó (là khoảnh khắc giai thừa đầu tiên) bằng , giá trị trung bình của bằng và giá trị trung bình của bằngm Y k th x = 1 k th k th k X λ 2 ⌊ ( X / 2 ) ⌋ λ - 1XmYkthx=1kthkthkXλ2⌊(X/2)⌋3⌊(X/3)⌋λ-1+e-3λ/2(sin ( √λ−12+12e−2λ3⌊(X/3)⌋λ−1+e−3λ/2(sin(3√λ2)3√+cos(3√λ2)) :
Các phương tiện cho được hiển thị bằng màu xanh lam, đỏ và vàng, như các chức năng của : không có triệu chứng, giá trị trung bình giảm theo so với trung bình Poisson ban đầu.λ ( m - 1 ) / 2m=1,2,3λ(m−1)/2
Công thức tương tự cho phương sai có thể thu được. (Chúng trở nên lộn xộn khi tăng và do đó bị bỏ qua. Một điều họ chắc chắn thiết lập là khi không có bội số của là Poisson: nó không có sự bình đẳng đặc trưng của trung bình và phương sai) Đây là một âm mưu của phương sai là hàm của cho :m > 1 Y λ m = 1 , 2 , 3mm>1Yλm=1,2,3
Điều thú vị là đối với các giá trị lớn hơn của , phương sai tăng . Theo trực giác, điều này là do hai hiện tượng cạnh tranh: chức năng sàn là ngăn chặn hiệu quả các nhóm giá trị ban đầu là khác biệt; điều này phải làm cho phương sai giảm. Đồng thời, như chúng ta đã thấy, các phương tiện cũng thay đổi (vì mỗi thùng được đại diện bởi giá trị nhỏ nhất của nó); điều này phải gây ra một thuật ngữ bằng bình phương của sự khác biệt của phương tiện được thêm lại. Sự gia tăng phương sai cho lớn trở nên lớn hơn với giá trị lớn hơn của .bước sóng mλλm
Hành vi của phương sai của với rất phức tạp. Hãy kết thúc bằng một mô phỏng nhanh (trong ) cho thấy những gì nó có thể làm. Các sơ đồ cho thấy sự khác biệt giữa phương sai của và phương sai của đối với Poisson phân phối với các giá trị khác nhau của từ đến . Trong mọi trường hợp, các ô dường như đã đạt đến các giá trị tiệm cận của chúng ở bên phải.m m ⌊ X / m ⌋ X X λ 1 5000m YmR
m⌊X/m⌋XXλ15000
set.seed(17)
par(mfrow=c(3,4))
temp <- sapply(c(1,2,5,10,20,50,100,200,500,1000,2000,5000), function(lambda) {
x <- rpois(20000, lambda)
v <- sapply(1:floor(lambda + 4*sqrt(lambda)),
function(m) var(floor(x/m)*m) - var(x))
plot(v, type="l", xlab="", ylab="Increased variance",
main=toString(lambda), cex.main=.85, col="Blue", lwd=2)
})