確率論と統計学において、キャンベルの定理またはキャンベル・ハーディの定理は、点過程の平均値を含む積分に関数を合計した期待値に関連する特定の方程式または結果のセットであり、ランダムな合計の期待値と分散を計算することができます。定理の 1 つのバージョン[ 1 ]は、キャンベルの公式[ 2 ]としても知られており、28 は、ポアソン点過程ではなく、一般的な点過程上の前述の合計に対する積分方程式を伴います。 [ 2 ]また、モーメント測度と階乗モーメント測度を含む方程式も存在し 、これらはキャンベルの公式のバージョンとみなされます。これらの結果はすべて、確率論と統計学で使用され、特に点過程の理論[ 3 ]と待ち行列理論[ 4 ] および関連分野である確率幾何学[ 1 ]、連続体パーコレーション理論[ 5 ]および空間統計学において重要です。[ 2 ] [ 6 ]
キャンベルの定理[ 7 ]と呼ばれる別の結果は、特にポアソン点過程に関するものであり、ポアソン点過程のモーメントとラプラス汎関数を計算する方法を提供する。
両方の定理の名前は、真空管内の熱電子雑音(ショット雑音とも呼ばれる)に関するノーマン・R・キャンベルの研究[ 8 ] [ 9 ]に由来し[ 3 ] [ 10 ]、これはアルファ粒子検出に関するアーネスト・ラザフォードとハンス・ガイガー の研究に部分的に触発されたもので、ポアソン点過程はハリー・ベイトマンによる微分方程式の族の解として現れた[ 10 ]。 キャンベルの研究では、実数直線上のポアソン過程のランダム和のモーメントと母関数を示しているが、主な数学的議論はGHハーディによるものであり、その結果がキャンベル・ハーディの定理と呼ばれることもあると述べている[ 10 ] [ 11 ]。
点過程の場合d次元ユークリッド空間上で定義される、[ a ]キャンベルの定理は、実数値関数の期待値を計算する方法を提供する。 また定義もそして合計するとすなわち:
どこは期待値を表し、集合表記法は次のように使用されます。はランダム集合とみなされます(点過程表記を参照)。 キャンベルの定理は、上記の期待値を強度尺度と関連付けている。ボレル集合Bに関して、強度尺度はは次のように定義されます。
ここで、測定表記法は次のように使用される。ランダムな計数尺度とみなされる。点過程の平均点数として解釈できるセットBに位置する。
一般的な(必ずしも単純ではない)点過程に対するキャンベルの定理の1つのバージョン強度測定付き:
これはキャンベルの公式[ 2 ]またはキャンベルの定理[ 1 ] [ 12 ] [ 13 ]として知られており、可測関数の和の期待値を計算する方法を提供する。実数直線上の範囲を持つ。より具体的には、点過程の場合そして測定可能な関数合計点過程における以下の式は、次の式で与えられる。
ここで、方程式の一方の辺が有限であれば、もう一方の辺も有限である。[ 14 ]この方程式は本質的にフビニの定理[ 1 ]の応用であり、単純なものか否かを問わず、幅広いクラスの点過程に対して成り立つ。[ 2 ]積分表記によっては、[ b ]この積分は次のように書くこともできる。[ 14 ]
強度測定点過程の密度を持つすると、キャンベルの公式は次のようになる。
定常点過程の場合一定の密度でキャンベルの定理または公式は、体積積分に帰着する。
この方程式は、定常確率過程の一例である均質ポアソン点過程に対して自然に成り立つ。[ 1 ]
キャンベルの定理は、一般的な点過程において、ある点(点過程)の関数をその点過程のすべての点について合計した期待値を計算する方法を提供する。点過程におけるこのようなランダムな合計は、数学モデルとして用いられる多くの分野で応用されている。
キャンベルはもともと、真空管における熱電子雑音(ショット雑音とも呼ばれる)の理解を動機として、ランダム和の問題を研究していた。その結果、点過程上の関数のランダム和の研究は、確率論、特に点過程理論においてショット雑音として知られている。
無線ネットワーク通信では、送信機が受信機に信号を送信しようとすると、ネットワーク内の他のすべての送信機が干渉源とみなされ、情報理論に基づくデータ送信能力に関して、従来の有線通信ネットワークにおけるノイズと同様の問題を引き起こします。干渉する送信機の位置が何らかの点過程を形成すると仮定すると、ショットノイズを使用してそれらの干渉信号の合計をモデル化することができ、これが無線ネットワークの確率幾何学モデルにつながっています。[ 15 ]
ニューロンへの総入力は、類似した時間経過を持つ多数のシナプス入力の合計です。入力が独立したポアソン点過程としてモデル化される場合、平均電流とその分散はキャンベルの定理によって与えられます。一般的な拡張として、ランダムな振幅を持つ合計を考慮する方法があります。
この場合、キュムラントの等しい
一般的な点過程の場合、ランダムな和の性質、特に点過程上で和をとる関数に応じて、キャンベルの定理のより一般的なバージョンが存在する。
関数が点過程の複数の点の関数である場合、点過程のモーメント測度または階乗モーメント測度が必要となります。これらは、確率変数のモーメントや階乗と比較することができます。必要な測度の種類は、ランダム和における点過程の点が互いに異なる必要があるか、あるいは重複してもよいかによって異なります。
モーメント法は、点が重複することを許容する場合に使用されます。
階乗モーメント法は、点が重複してはならない場合、つまり点が互いに異なる場合に使用されます。
一般的な点過程の場合、キャンベルの定理は点過程の1点の関数の和にのみ適用されます。1点の関数の和と点過程全体の関数の和を計算するには、パーム理論またはパーム計算として知られる確率論の一分野に基づいた、点過程のパーム分布を用いた一般化されたキャンベルの定理が必要です。
キャンベルの定理の別のバージョン[ 7 ]は、ポアソン点過程の場合、強度測定付きそして測定可能な関数ランダムな合計
この積分が有限である場合、定理はさらに、任意の複素数値に対して次のことを主張する。方程式
右辺の積分が収束する場合に成り立つ。これは純虚数の場合に当てはまる。。 さらに、
そしてこの積分が収束すれば、
どこランダム和の分散を表す。
この定理から、ポアソン点過程の期待値に関するいくつかの結果が導かれ、その ラプラス関数も含まれる。[ 7 ] [ c ]
ポアソン点過程の場合強度測定付きラプラス汎関数は、上記のキャンベルの定理[ 7 ]の結果であり、次のように与えられます。[ 15 ]
均質なケースでは次のようになります。