Chứng minh rằng các hệ số trong mô hình OLS tuân theo phân phối t với (nk) bậc tự do


29

Lý lịch

Giả sử chúng ta có mô hình Bình phương tối thiểu thông thường trong đó chúng ta có hệ số trong mô hình hồi quy của mình, k

y=Xβ+ϵ

trong đó là một vectơ của các hệ số, là ma trận thiết kế được xác định bởiβ(k×1)X

X=(1x11x12x1(k1)1x211xn1xn(k1))
và các lỗi là IID bình thường,
ϵN(0,σ2I).

Chúng tôi giảm thiểu các lỗi tổng bình phương bằng cách đặt ước tính của chúng tôi cho thành beta = ( X T X ) - 1 X T yβ

β^=(XTX)1XTy.

Công cụ ước tính không thiên vị của σ2

s2=yy^2np
trong đó y^Xβ^ ( ref ).

Hiệp phương sai của β^ được đưa ra bởi

Cov(β^)=σ2C
trong đó C(XTX)1 ( ref ).

Câu hỏi

Làm cách nào tôi có thể chứng minh rằng đối với β^i ,

β^iβisβ^itnk
trong đó tnk là một phân phối t với (nk) bậc tự do và lỗi tiêu chuẩn của β^i được ước tính bởi sβ^i=scii .

Nỗ lực của tôi

Tôi biết rằng với biến ngẫu nhiên được lấy mẫu từ , bạn có thể hiển thị rằng bằng cách viết lại LHS thành và nhận ra rằng chữ số là phân phối chuẩn thông thường và mẫu số là căn bậc hai của phân phối Chi-vuông với df = (n-1) và chia cho (n- 1) (tham khảo ). Và do đó, nó tuân theo phân phối t với df = (n-1) ( ref ).x ~ N ( μ , σ 2 ) ˉ x - μnxN(μ,σ2)( ˉ x -μ

x¯μs/ntn1
(x¯μσ/n)s2/σ2

Tôi không thể mở rộng bằng chứng này cho câu hỏi của mình ...

Có ý kiến ​​gì không? Tôi biết câu hỏi này , nhưng họ không chứng minh rõ ràng, họ chỉ đưa ra một quy tắc, nói rằng "mỗi người dự đoán sẽ trả cho bạn một mức độ tự do".


Vì là sự kết hợp tuyến tính của các biến Bình thường chung, nên nó có phân phối Bình thường. Do đó, tất cả những gì bạn cần làm là (1) thiết lập rằng ; (2) cho thấy là một công cụ ước tính không thiên vị của ; và (3) chứng minh mức độ tự do trong là . Cái sau đã được chứng minh trên trang này ở một số nơi, chẳng hạn như stats.stackexchange.com/a/16931 . Tôi nghi ngờ bạn đã biết cách làm (1) và (2). E( β i)=βis 2 β iβ^iE(β^i)=βisβ^i2s β i n - kVar(β^i)sβ^ink
whuber

Câu trả lời:


32

Vì chúng tôi biết rằng và do đó chúng tôi biết rằng với mỗi thành phần của , trong đó là phần tử đường chéo của . Do đó, chúng ta biết rằng β -β~N(0,σ2(XTX)-1)k β β k-βk~N(0,σ2Skk)Skkkth(XTX

β^=(XTX)1XTY=(XTX)1XT(Xβ+ε)=β+(XTX)1XTε
β^βN(0,σ2(XTX)1)
kβ^
β^kβkN(0,σ2Skk)
Skkkth z k = β k - β k(XTX)1
zk=β^kβkσ2SkkN(0,1).

Hãy lưu ý đến tuyên bố của Định lý về phân phối một hình thức bậc hai bình thường trong một vectơ chuẩn thông thường (Định lý B.8 trong Greene):

Nếu và là đối xứng và idempotent, sau đó được phân phối nơi là bậc .A x T A x χ 2 ν ν AxN(0,I)AxTAxχν2νA

Đặt biểu thị vectơ dư hồi quy và để là ma trận của nhà sản xuất còn lại (ví dụ ) . Thật dễ dàng để xác minh rằng là đối xứng và tạm thời . M=In-X(XTX)-1XT,My= ε Mε^

M=InX(XTX)1XT,
My=ε^M

Đặt là công cụ ước tính cho .

s2=ε^Tε^np
σ2

Sau đó chúng ta cần phải làm một số đại số tuyến tính. Lưu ý ba thuộc tính đại số tuyến tính:

  • Thứ hạng của một ma trận idempotent là dấu vết của nó.
  • Tr(Một1+Một2)= =Tr(Một1)+Tr(Một2)
  • Tr(Một1Một2)= =Tr(Một2Một1) nếu là và là (thuộc tính này rất quan trọng để bên dưới hoạt động )Một1n1×n2Một2n2×n1

Vì vậy,

rank(M)=Tr(M)=Tr(InX(XTX)1XT)=Tr(In)Tr(X(XTX)1XT))=Tr(In)Tr((XTX)1XTX))=Tr(In)Tr(Ip)=np

Sau đó

V=(np)s2σ2=ε^Tε^σ2=(εσ)TM(εσ).

Áp dụng Định lý cho phân phối một hình thức bậc hai bình thường trong một vectơ chuẩn thông thường (đã nêu ở trên), chúng ta biết rằng .Vχnp2

Vì bạn cho rằng thường được phân phối, nên độc lập với và vì là một chức năng của , nên cũng độc lập với . Do đó, và độc lập với nhau.εβ^ε^s2ε^s2β^zkV

Sau đó, là tỷ lệ của phân phối chuẩn thông thường với căn bậc hai của phân phối Chi bình phương với cùng một mức độ tự do (tức là ), đó là một đặc tính của phân phối . Do đó, thống kêphân phối với bậc tự do.

tk=zkV/(np)
npttktnp

Sau đó nó có thể được thao tác đại số thành một hình thức quen thuộc hơn.

tk=β^kβkσ2Skk(np)s2σ2/(np)=β^kβkSkks2=β^kβks2Skk=β^kβkse(β^k)

Ngoài ra một câu hỏi phụ: đối với Theorem for the Distribution of an Idempotent Quadratic Form in a Standard Normal Vector, chúng ta cũng không cần đối xứng? Thật không may, tôi không có Greene, vì vậy tôi không thể thấy bằng chứng mặc dù tôi thấy Wikipedia có dạng giống như bạn . Tuy nhiên, một ví dụ ngược lại dường như là ma trận bình thường dẫn đến không phải là Chi-Squared vì nó có thể mang các giá trị âm. ..AA=(1100)x12+x1x2
Garrett

1
@Garrett Lời xin lỗi của tôi, nên vừa đối xứng vừa bình dị. Một bằng chứng được cung cấp như Định lý 3 trong tài liệu này: www2.econ.iastate.edu/groupes/econ671/hallam/document/ , May mắn thay, là đối xứng cũng như bình thường. AM
Điểm đánh dấu màu xanh

1
A chỉ là một biểu diễn ma trận của một hình thức bậc hai. Mọi dạng bậc hai đều có biểu diễn đối xứng, do đó, yêu cầu đối xứng của được ngầm định trong phát biểu của định lý. (Mọi người không sử dụng ma trận bất đối xứng để biểu diễn các dạng bậc hai.) Do đó, dạng bậc hai được biểu thị duy nhất bởi ma trận không phải là idempotent. A(x1,x2)x12+x1x2A=(11/21/20)
whuber

1
Tại sao ngụ ý độc lập với ? Không hoàn toàn theo đó. ϵN(0,σ2)β^ϵ^
Glassjawed

1
@Glassjawed Vì cả và là đa biến thường được phân phối, sau đó không tương quan ngụ ý độc lập. Sử dụng biểu thức và từ ở trên, chúng ta có thể chỉ ra rằng . β^ε^β^=β+(XX)1Xεε^=MεCov(β^,ε^)=0p×n
rzch
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.