の分布


7

円対称複素確率変数の確率分布の正準式または分析式はありますか Z

Z=ejθ,
どこ θU(0,2π)

サイドノート:

実数部と虚数部、すなわち:

(Z)=cosθ(Z)=sinθ
によって与えられる 限界密度を持っている:
f(Z)(z)=f(Z)(z)=1π1z2,1<z<1,
しかし、それらは独立していないため、それらの共同PDFの計算は重要です。

編集: Z 複雑な法線とは異なります。ここでは、振幅 |Z|は決定論的であり、同じ1ですが Z 複雑で正常でした |Z| レイリー分散されます。


これは、円対称の複雑な法線とどう違うのですか?
Maxtron 2018年

1
@Maxtronここでの振幅は1ですが、複雑な法線は、それ自体がレイリー分布を持つ確率変数である振幅を持っています。
ロバートL.

@OlliNiemitaloは、私が覚えているのと同じようなものに対する答えがありました...
Fat32

@ Fat32はい、これはベルを鳴らします。他の質問は:それの分布は何ですか?
Olli Niemitalo

@OlliNiemitaloはいそれは問題でした!
Fat32、2018年

回答:


6

実数部と虚数部は相互に非常に依存しているため(1つの値がある場合、もう1つの値を正確に知っている)、実数部の限界pdfを適用できるようです r、虚数部の値を指定 i

fri(r,i)=fr|i(r | i)fi(i)

実数部と虚数部のPDFを個別に書き留めました。

fr(z)=fi(z)=1π1z2

それは限界pdfを残します fr|i(r | i)。確率変数の特定の実現のためにZ、2つのコンポーネントは決定論的に関連しています。

r2+i2=cos2(θ)+sin2(θ)=1

この関係を考えると、 r の面では i

r2=1i2
r=±1i2

したがって、の限界pdf r の値が与えられた i 一対の衝動です:

fr|i(r | i)=12δ(r1i2)+12δ(r+1i2)

これらをまとめると、次のようになります。

fri(r,i)=δ(r1i2)+δ(r+1i2)2π1i2

これを幾何学的に考えると、水平線ごとに i=i0 (ために i0[1,1]) の中に ri 平面、2点しかない r0=±1i02それらは非ゼロであり、pdfはそれらの点で無限の高さを持っています。ご想像のとおり、これらの交点(つまり、pdfがゼロ以外の点)は、水平線が単位円と交差する場所です。

これは、ジョイントpdfがゼロ値であることを意味します。ただし、単位円に沿った場合は、高さが無限になります。確率変数の定義として、それは直感と一致しますZ が単位円上にある値のみを取ることができるようにします。

私がこれをレイアウトした特定の方法について特別なことは何もありません。また、問題を転置して、ri フォームの平面 r=r0 また、2つの確率変数が密結合しているため、同じ関係が見られます。

この定式化はAlexTPの回答のそれと同等であると思いますが、彼の導出はおそらくより直感的です。


1
誤植はありますか r=1i2; もしかしてr2=1i2?また、結合pdfがxy(またはeqv ri)平面で1に積分されることを示すことができます。再びまた、共同pdffri(r,i)円対称ではありませんか?(分母?)。与えられたロジックを単純に使用することはできませんz=ejθ=cos(θ)+jsin(θ)=x+jyθ で均一0,2π]と制約 x2+y2=1 タイプの円対称ジョイントpdfを提供するだけです fxy(x,y)=Kδ2(x2+y21) または fR,θ=Kδ2(R1); xy平面上のリングインパルス?ここで、Kはおそらく1/2π
Fat32 2018年

1
ありがとうございます、あなたが言及したタイプミスを修正しました。
Jason R

@ Fat32:私はいくつかの修正を加えて、上記のコメントであなたが得ていたもののように聞こえるようにしました。しかし、AlexTPの答えは、おそらくもっと直感的に楽しいものです。
Jason R

1
コピーにタイプミスがあります fr|i(r|i)fr,i(r,i)。そして私はそれを観察しますfr,i(0,1)= とは違う fr,i(1,0)=12π。同じ価値があると思いませんか?
AlexTP 2018年

1
皆さん、多分、簡単なシミュレーションがあなたのポイントを示すのに役立つでしょう:)
AlexTP '17

9

複雑な計算を避け、 X そして YことIID標準正規確率変数、あなたの確率変数Z 同じ分布 V

V(XX2+Y2,YX2+Y2)
(見やすい V=1 との角度 V は、円対称の法線の角度に等しいため、均一です)。

この種の V 円上に均一に分布する点の構成の1つです(これは、 (n1)-sphere、参照球ポイントはピッキングこの答えを例えば)。

したがって、PDF Z単位円の円周の逆数です。ためにZρ=ρejΘ 固定して ρ そして均一 Θ

極座標(極小領域が rdrdθ)、

fR,Θ(r,θ)=12πδ(rρ)


2
これは正しいと思います。
robert bristow-johnson

直感は証明の裏にあるように単純なようです。必要なのは、単位球の表面からポイントを選択することだけです:)
Maxtron

私たちは単に削除することはできません ||z||分母で?それ以外の場合、式をどのように評価しますか||z||0?もちろん、fZ(0)=0保持する。
Matt L.

@MattL。あなたは正しい、それは間違っているz分母で、限界での評価のためではなく、単に間違っているからです。最終結果を修正しました。
AlexTP 2018年

1
@AlexTP:私はまだ分母に変数があるべきではないと思います。私の答えを見て、私が間違っているかどうか/どこで間違っているか教えてください。
Matt L.

4

ここで何が行われているのかがわかれた既存の回答基づいてAlexTPの回答とわずかに異なる、ソリューションの別の非常に単純な表現を提示します(これは、Jason Rの回答で与えられたもの。以下のEDIT-partに示されています)。

[編集:AlexTPが回答を編集したので、PDFの表現は同じです。したがって、3つの答えはすべて最終的に互いに一致します]。

複素確率変数を Z=X+jY として定義される

(1)Z=ρejθ

半径 ρ決定論的であり、与えられているが、角度θ ランダムで均一に分布しています [0,2π)。私はそれ以上の証明なしに述べますZ は、円対称であり、その確率密度関数(PDF)は、

(2)fZ(z)=fZ(x+jy)=fZ(r),withr=x2+y2

つまり、半径(マグニチュード)の関数として記述できます。 r

PDFはどこでもゼロでなければならないので r=ρ、それは(2次元平面上に統合された場合)1に統合する必要があるため、唯一の可能なPDFは

(3)fZ(r)=12πδ(rρ)

それを示すことができます (3) 確率変数の正しい周辺密度につながる X そして Y


編集:

コメントで非常に有用な議論をした後、問題の1つの解決策に合意できたようです。控えめな式であることを以下に示します(3)実際、Jason Rの回答のより複雑に見える式に相当します。私が使用することに注意してくださいr 複素RVの大きさ(半径) Z、ジェイソンの答えでは r の実部を表す Z。私が使用しますx そして y実数部と虚数部のそれぞれについて。さあ行こう:

(4)fZ(r)=12πδ(rρ)=12πδ(x2+y2ρ)

私達はことを知っています δ(g(x)) によって与えられます

(5)δ(g(x))=iδ(xxi)|g(xi)|

どこ xi の(単純な)ルーツです g(x)。我々は持っています

(6)g(x)=x2+y2ρandg(x)=xx2+y2=xr

二つのルーツ xi

(7)x1,2=±ρ2y2

したがって、

(8)|g(x1)|=|g(x2)|=ρ2y2ρ=1(yρ)2

(5)-(8)、式 (4) 次のように書くことができます

(9)fX,Y(x,y)=12π1(yρ)2[δ(xρ2y2)+δ(x+ρ2y2)]

ために ρ=1、式 (9)Jason Rの回答で与えられた表現と同じです

私たちは今、その式に同意できると思います。 (3) 複雑なRVのPDFの正しい(かつ非常に単純な)式です Z=ρejθ 確定的 ρ そして均一に分布 θ


ヤコビアン変換の行列式は r その後
θ=02πr=0+fZ(r)rdrdθ1
AlexTP 2018年

@AlexTP:極端な例をとる ρ=0、RVを作ります Z確定的、それは常にゼロです。PDFはディラックの衝動になるはずです。r=z=y=0、これは私が提案した式で得られるものです。あなたの答えの式で、その場合は未定義の用語が得られます。
Matt L.

それは本当ですが、PDFの価値は無限になり、CDFだけが制限されるべきだと思います。言い換えれば、ディラックのインパルスは積分の内部でのみ重要です。
AlexTP 2018年

はい。ただし、PDFを統合した場合( ρ=0)、あなたは何を手に入れますか?
Matt L.

私はこうします
limρ0+θr=0+12πρδ(rρ)rdrdθ=limρ0+θ12πρρdθ=θ12πdθ=1
積分は有限ですが、PDFはヤコビ行列式のおかげではありません。私のポイントは、ヤコビ行列式が必要であることです。rPDFを極座標で統合するときはいつでも。納得できないと思ったら教えてください。
AlexTP 2018年
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.