Überprüfen, ob eine Dichte eine exponentielle Familie ist

8

Der Versuch zu beweisen, dass dies nicht zur exponentiellen Familie gehört.

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

Hier ist mein Ansatz:

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

Wenn man es mit der Standardform vergleicht, kann und die nur eine Funktion von , nicht als allein definiert werden, wie in ist untrennbar miteinander verbunden. Reicht dies aus, um zu zeigen, dass diese Verteilung nicht zur exponentiellen Familie gehört.h(y)=4yg(a)aay1+ay

Bitte überprüfen Sie meinen Ansatz.

user30438
quelle

Antworten:

7

Sie haben Ihren Finger auf den Kern der Sache gelegt, und das Ergebnis ist in der Tat ziemlich offensichtlich, aber die Logik scheint ein wenig falsch zu sein. Das nachstehend beschriebene Verfahren verwendet wiederholt Logarithmen und Differenzierung, um das Problem zunehmend einfacher zu machen, bis es völlig trivial wird.


Per Definition ist das PDF für eine Exponentialfamilie, wenn sein Logarithmus als Summe von etwas nur in Bezug auf den Parameter ( ), etwas anderes nur in Bezug auf die Daten ( ) und etwas anderes, das a ist, geschrieben werden kann Produkt einer Funktion von und einer Funktion von . Dies bedeutet, dass Sie alle Faktoren ignorieren können, die eindeutig nur vom Parameter oder nur von den Daten abhängen. In diesem Fall ist es offensichtlich, dass nur von abhängt , sodass wir es möglicherweise ignorieren. a y a y 4fayay a41+4aa

Das Problem ist mit . Wir müssen beweisen, dass es keine "schönen" Funktionen und so dass plus eine Funktion von alleine plus eine andere Funktion von alleine. Dieser "Plus" -Teil ist ärgerlich, aber wir können ihn abtöten, indem wir zuerst in Bezug auf (die Ableitung einer Funktion von allein ist Null) und dann in Bezug auf (die Ableitung einer Funktion alleinigen Willens) differenzieren Null sein). Beim Negieren beider Seiten (um die linke Seite positiv zu machen) ergibt sichη T log ( y + a ) = η ( a ) T ( y ) a y a y y ay+aηTlog(y+a)=η(a)T(y)ayayya

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

Ich möchte Logarithmen verwenden, um die rechte Seite zu vereinfachen (was, da es gleich der linken Seite ist, immer positiv ist). Unter der Annahme, dass und beide stetig sind, wird garantiert, dass es einige Intervalle von Werten für und für in denen entweder und oder sonst und . Dies bedeutet, dass wir die rechte Seite tatsächlich in zwei positive Faktoren aufteilen können, sodass der Logarithmus angewendet werden kann. Dies ergibtT ' a y - η ' ( a ) > 0 T ' ( y ) > 0 η ' ( a ) > 0 - T ' ( y ) > 0η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))

(oder ein vergleichbarer Ausdruck mit ein paar Minuszeichen). Jetzt spielen wir das gleiche Spiel: in jedem Fall beide Seiten in Bezug auf beide Differenzierung und Ausbeutenay

2(a+y)2=0,

eine Unmöglichkeit.

Rückblickend musste dieser Ansatz davon ausgehen, dass sowohl als auch innerhalb einiger Intervalle ihrer Argumente zweite Ableitungen haben. Die Analyse kann nach dem gleichen Prinzip durchgeführt werden, wobei endliche Differenzen verwendet werden, um diese Annahmen zu schwächen, aber die Mühe lohnt sich wahrscheinlich nicht.ηT

whuber
quelle
Meine Notation ist die von Wikipedia, die auch eine Reihe von Regeln zur Identifizierung exponentieller Familien auflistet . . Die hier dargestellten Methoden können verwendet werden, um diese Regeln zu rechtfertigen.
whuber
2
Schöne Analyse; Die Verwendung gemischter zweiter partieller Ableitungen erinnert ein wenig an Kriterien, um zu überprüfen, ob Funktionen "nomogrammierbar" sind, zumindest in bestimmten Formen (was auch eine ähnliche Trennung beinhaltet).
Glen_b -State Monica
Danke @Glen_b. Es erinnert auch mehr als an die Analyse von Interaktionen in Zwei-Wege-Tabellen. Das ist die Finite-Differenzen-Version. ;-)
whuber
Ja; Auch das ist eine Verbindung, die ich beim Spielen mit Nomogrammen ausgenutzt habe.
Glen_b -State Monica
@whuber Danke für deine Erklärung. Es fällt mir jedoch schwer zu verstehen, warum wir partielle Ableitungen nehmen und erneut loggen. Gibt es eine Möglichkeit, dies zu lösen, indem eine Indikatorfunktion für y definiert wird, die immer von a abhängt.
user30438
1

Es wird in einer exponentiellen Familie sein, wenn es in (mit anderen Bedingungen) geschrieben werden kann.fh(x)eηT(x)A(η)


Sei . Nun für 4 beliebige Datenpunkte im Probenraum = , das frei von η ist. 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))

Hier ist nun = . Nimm .f(y;a)=4y+a(4a+1)4e(ln(y+a)ln(4a+1))g(x,η)=ln(y+a)ln(4a+1)


Also = - was nicht frei von a ist. so gehört nicht zu Exponentialfamilie.(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
quelle
+1 Ich mag den einfachen Ansatz. Es zeigt deutlich, wie endliche Differenzen verwendet werden können, um das Schlüsselverhalten von zu isolieren . f
whuber