Memeriksa apakah kepadatan adalah keluarga eksponensial

8

Mencoba membuktikan bahwa ini bukan milik keluarga eksponensial.

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

Inilah pendekatan saya:

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

Membandingkannya dengan bentuk standar, dan yang harus menjadi fungsi hanya , tidak dapat didefinisikan dalam hal saja, seperti di tidak dapat dipisahkan. Apakah ini cukup untuk menunjukkan bahwa distribusi ini bukan milik keluarga eksponensial.h(y)=4yg(a)aay1+ay

Harap tinjau pendekatan saya.

pengguna30438
sumber

Jawaban:

7

Anda telah meletakkan jari Anda pada inti masalah, dan memang hasilnya cukup jelas, tetapi logikanya tampaknya agak aneh. Metode yang dijelaskan di bawah ini berulang kali menggunakan logaritma dan diferensiasi untuk membuat masalah semakin sederhana, sampai menjadi sangat sepele.


Menurut definisi, adalah PDF untuk keluarga eksponensial ketika logaritma dapat ditulis sebagai jumlah dari sesuatu dalam hal parameter ( ) saja, sesuatu yang lain hanya dalam hal data ( ) saja, dan sesuatu yang lain yang merupakan produk dari fungsi dan fungsi . Ini berarti Anda bebas untuk mengabaikan faktor apa pun yang hanya bergantung pada parameter atau hanya pada data. Dalam hal ini jelas hanya bergantung pada , jadi kita dapat mengabaikannya. fayay41+4aa

Masalahnya dengan . Kita perlu membuktikan ada tidak bisa eksis "bagus" fungsi dan sehingga ditambah beberapa fungsi saja ditambah beberapa fungsi lain dari saja. Bahwa "plus" bagian menjengkelkan, tapi kita bisa membunuhnya off dengan membedakan pertama terhadap (turunan dari setiap fungsi saja akan menjadi nol) dan kemudian sehubungan dengan (turunan dari fungsi kehendak sendiri menjadi nol). Setelah meniadakan kedua sisi (untuk membuat sisi kiri positif) ini memberiy+aηTlog(y+a)=η(a)T(y)ayayya

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

Saya ingin mengambil logaritma untuk menyederhanakan sisi kanan (yang, sama dengan sisi kiri, selalu positif). Dengan asumsi dan keduanya kontinu akan menjamin ada beberapa interval nilai untuk dan untuk di mana salah satu dan atau yang lain dan . Ini berarti kita memang dapat membagi sisi kanan menjadi dua faktor positif, memungkinkan logaritma diterapkan. Melakukannya menghasilkanηTayη(a)>0T(y)>0η(a)>0T(y)>0

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

(Atau ekspresi yang sebanding dengan beberapa tanda minus dilemparkan ke dalam). Sekarang kita memainkan permainan yang sama: dalam kedua kasus, membedakan kedua sisi sehubungan dengan hasil danay

2(a+y)2=0,

sebuah ketidakmungkinan.

Melihat ke belakang, pendekatan ini harus mengasumsikan baik dan memiliki turunan kedua dalam beberapa interval argumen mereka. Analisis dapat dilakukan di sepanjang garis yang sama menggunakan perbedaan hingga untuk melemahkan asumsi-asumsi itu, tetapi mungkin tidak sepadan dengan itu.ηT

whuber
sumber
Notasi saya adalah Wikipedia, yang juga mencantumkan seperangkat aturan untuk mengidentifikasi keluarga eksponensial. . Metode yang diilustrasikan di sini dapat digunakan untuk membenarkan aturan tersebut.
whuber
2
Analisis yang indah; penggunaan turunan parsial campuran kedua agak mengingatkan pada kriteria untuk memeriksa apakah fungsi "nomogramable", setidaknya bentuk tertentu (yang juga melibatkan pemisahan serupa).
Glen_b -Reinstate Monica
Terima kasih @Glen_b. Ini juga lebih dari mengingatkan analisis interaksi dalam tabel dua arah. Itu versi perbedaan-terbatas. ;-)
whuber
Iya; itu juga koneksi yang saya manfaatkan dalam bermain dengan nomograms.
Glen_b -Reinstate Monica
@whuber Terima kasih atas penjelasan Anda. Tetapi saya kesulitan untuk memahami mengapa kita mengambil turunan parsial dan mengambil log lagi. Apakah ada kemungkinan bahwa ini diselesaikan dengan mendefinisikan fungsi indikator untuk y yang akan selalu bergantung pada a.
user30438
1

Ini akan berada dalam keluarga eksponensial jika dapat ditulis dalam (dengan kondisi lain).fh(x)eηT(x)A(η)


Misalkan . Sekarang untuk setiap 4 titik data dalam ruang sampel = , yang bebas dari η. 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))

Sekarang di sini = . Ambil .f(y;a)=4y+a(4a+1)4e(ln(y+a)ln(4a+1))g(x,η)=ln(y+a)ln(4a+1)


Jadi = - yang tidak bebas dari a. jadi bukan milik keluarga Exponential.(g(x1,η)g(x2,η))(g(x3,η)g(x4,η))(ln(y1+a)ln(y2+a))(ln(y3+a)ln(y4+a))f(y;a)

Mriganka Aulia
sumber
+1 Saya suka pendekatan langsung. Ini jelas menunjukkan bagaimana perbedaan hingga dapat digunakan untuk mengisolasi perilaku kunci . f
whuber