Kiểm tra xem một mật độ là gia đình theo cấp số nhân


8

Cố gắng chứng minh rằng điều này không thuộc về gia đình theo cấp số nhân.

f(y|a)=4(y+a)(1+4a);0<y<1,a>0

Đây là cách tiếp cận của tôi:

f ( y | a ) = ( 4 y ) ( 1 + a

f(y|a)=4(y+a)elog(1+4a)
f(y|a)=(4y)(1+ay)elog(1+4a)

So sánh nó với dạng chuẩn, g ( a ) chỉ là một hàm của a , không thể được định nghĩa theo một mình, vì y trong 1 + ah(y)=4yg(a)aay không thể tách rời. Điều này có đủ để cho thấy rằng phân phối này không thuộc về gia đình hàm mũ.1+ay

Vui lòng xem lại cách tiếp cận của tôi.

Câu trả lời:


7

Bạn đã đặt ngón tay của bạn vào mấu chốt của vấn đề, và thực sự kết quả khá rõ ràng, nhưng logic có vẻ hơi sai. Phương pháp được mô tả dưới đây liên tục sử dụng logarit và phân biệt để làm cho vấn đề dần dần đơn giản hơn, cho đến khi nó trở nên hoàn toàn tầm thường.


Theo định nghĩa, là PDF cho một họ theo cấp số nhân khi logarit của nó có thể được viết dưới dạng tổng của một cái gì đó chỉ theo tham số ( a ), một cái gì đó khác chỉ về dữ liệu ( y ) và một cái gì đó khác là dữ liệu tích của hàm a và hàm của y . Điều này có nghĩa là bạn có thể tự do bỏ qua mọi yếu tố chỉ phụ thuộc rõ ràng vào tham số hoặc chỉ phụ thuộc vào dữ liệu. Trong trường hợp này, rõ ràng là 4fayay chỉ phụ thuộc vàoa, vì vậy chúng tôi có thể bỏ qua nó. 41+4aa

Vấn đề là với . Chúng tôi cần phải chứng minh có thể không tồn tại "nice" chức năng ηTlog ( y + một ) = η ( một ) T ( y ) cộng với một số chức năng của một mình cộng với một số chức năng khác của y một mình. Phần "cộng" đó gây khó chịu, nhưng chúng ta có thể loại bỏ nó bằng cách phân biệt trước tiên đối với một (đạo hàm của bất kỳ hàm nào của y sẽ là 0) và sau đó đối với y (đạo hàm của hàmy+aηTlog(y+a)=η(a)T(y)ayayy mình sẽ bằng không). Khi phủ định cả hai mặt (để làm cho mặt trái tích cực), điều này mang lạia

2aylog(y+a)=1(a+y)2=η(a)T(y).

Tôi muốn lấy logarit để đơn giản hóa phía bên tay phải (mà, bằng với bên tay trái, luôn luôn tích cực). Giả sử T ' là cả hai sẽ đảm bảo liên tục có một số khoảng thời gian giá trị cho một và cho y , trong đó một trong hai - η ' ( một ) > 0T ' ( y ) > 0 hoặc khác η ' ( một ) > 0- T ( y ) >ηTayη(a)>0T(y)>0η(a)>0 . Điều này có nghĩa là chúng ta thực sự có thể chia phần bên tay phải thành hai yếu tố tích cực, cho phép áp dụng logarit. Làm như vậy mang lạiT(y)>0

2log(a+y)=log1(a+y)2=log(η(a)T(y))=log(η(a))+log(T(y))

ay

2(a+y)2=0,

một điều không thể

ηT


Ký hiệu của tôi là Wikipedia, cũng liệt kê một bộ quy tắc để xác định các gia đình theo cấp số nhân. . Các phương pháp minh họa ở đây có thể được sử dụng để biện minh cho các quy tắc đó.
whuber

2
Phân tích đẹp; việc sử dụng các đạo hàm riêng thứ hai hỗn hợp có phần gợi nhớ các tiêu chí để kiểm tra xem các hàm có "có thể định nghĩa được" hay không, ít nhất là các dạng cụ thể (cũng bao gồm một phân tách tương tự).
Glen_b -Reinstate Monica

Cảm ơn @Glen_b. Nó cũng nhiều hơn gợi nhớ đến việc phân tích các tương tác trong các bảng hai chiều. Đó là phiên bản khác biệt hữu hạn. ;-)
whuber

Đúng; đó cũng là một kết nối mà tôi đã khai thác khi chơi với các chữ tượng hình.
Glen_b -Reinstate Monica

@whuber Cảm ơn lời giải thích của bạn. Nhưng tôi đang tìm kiếm thời gian khó khăn để hiểu tại sao chúng ta lấy dẫn xuất một phần và đăng nhập lại. Có khả năng điều này được giải quyết bằng cách xác định hàm chỉ thị cho y luôn phụ thuộc vào a.
30438

1

fh(x)eηT(x)A(η)


g(x,η)=ηT(x)A(η)x1,x2,x3,x4(g(x1,η)g(x2,η))(g(x3,η)g(x4,η))(T(x1)T(x2))(T(x3)T(x4))

f(y;a)=4y+a(4a+1)4e(ln(y+a)ln(4a+1))g(x,η)=ln(y+a)ln(4a+1)


(g(x1,η)g(x2,η))(g(x3,η)g(x4,η))(ln(y1+a)ln(y2+a))(ln(y3+a)ln(y4+a))f(y;a)


f
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.