Verbindung zwischen Momenterzeugungsfunktion und charakteristischer Funktion

17

Ich versuche den Zusammenhang zwischen der momenterzeugenden Funktion und der charakteristischen Funktion zu verstehen. Die Momenterzeugungsfunktion ist definiert als:

MX(t)=E(exp(tX))=1+tE(X)1+t2E(X2)2!++tnE(Xn)n!

Unter Verwendung der von Kann ich alle Momente der Verteilung für die Zufallsvariable finden X.exp(tX)=0(t)nXnn!

Die charakteristische Funktion ist definiert als:

φX(t)=E(exp(itX))=1+itE(X)1t2E(X2)2!++(it)nE(Xn)n!

Ich verstehe nicht ganz , welche Informationen die imaginäre Zahl i gibt mir mehr. Ich sehe, dass i2=1 und wir daher nicht nur + in der charakteristischen Funktion haben, sondern warum müssen wir Momente in der charakteristischen Funktion subtrahieren? Was ist die mathematische Idee?

Giuseppe
quelle
7
Ein wichtiger Punkt ist, dass die momenterzeugende Funktion nicht immer endlich ist! (Siehe diese Frage zum Beispiel.) Wenn Sie eine allgemeine Theorie über die Konvergenz in der Verteilung erstellen möchten, möchten Sie, dass sie mit so vielen Objekten wie möglich funktioniert. Die charakteristische Funktion ist natürlich für jede Zufallsvariable endlich, da |exp(itX)|1 .
Kardinal
Die Ähnlichkeiten in den Taylor-Erweiterungen ermöglichen es immer noch, die Momente abzulesen, in denen sie existieren. Beachten Sie jedoch, dass nicht alle Verteilungen Momente haben. Das Interesse an diesen Funktionen geht also weit darüber hinaus! :)
Kardinal
6
Ein weiterer zu beachtender Punkt ist, dass MGF die Laplace-Transformation einer Zufallsvariablen und CF die Fourier-Transformation ist. Es gibt grundlegende Beziehungen zwischen diesen integralen Transformationen, siehe hier .
Tschakravarty
Ich dachte, CF ist die inverse Fouriertransformation (und nicht die Fouriertransformation) einer Propabilitätsverteilung?
Giuseppe
1
Die Unterscheidung ist nur eine Frage des Zeichens im Exponenten und möglicherweise eine multiplikative Konstante.
Glen_b

Antworten:

12

Wie in den Kommentaren erwähnt, existieren immer charakteristische Funktionen, da sie die Integration einer Funktion des Moduls erfordern . Die Momenterzeugungsfunktion muss jedoch nicht existieren, da sie insbesondere die Existenz von Momenten beliebiger Ordnung erfordert.1

Wenn wir wissen, dass für alle integrierbar ist , können wir für jede komplexe Zahl . Dann bemerken wir, dass und .t g ( z ) : = E [ e z X ] z M X ( t ) = g ( t ) φ X ( t ) = g ( i t )E[etX]tg(z):=E[ezX]zMX(t)=g(t)φX(t)=g(it)

Davide Giraudo
quelle