|
让(Ohm≤0,F≤0,P≤0)是给定的概率空间,N≤0是R×M上的给定标记点过程,使得N≤0(ω≤0)≤0=N≤0(ω≤0)对于所有ω≤0∈ Ohm≤0(即R>0时没有事件)。我们将保留符号N≤0参考初始条件。让(Ohm>0,F>0,P>0)是另一个概率空间,对应于下面第2.3小节介绍的SDE中的驱动泊松过程。在强存在的背景下,我们将研究混合标记点过程:特征化、存在性和唯一性概率空间(Ohm, F、 P)我们定义为产品概率空间的完成(Kallenberg,2002,第13页),由Ohm := Ohm≤0× Ohm>0,~F:=F≤0 F> 0,~P:=P≤0×P>0。(2.3)这种概率空间结构的动机是驱动噪声和初始条件是独立的。定义2.6(强初始条件)。让N:Ohm → N#gR×Mbe是一种非爆炸性标记点处理R×M。我们说,N满足一个强初始条件N≤0如果N(ω)≤0=N≤0(ω≤0)a.s.,其中ω=(ω≤0, ω>0) ∈ Ohm.在弱唯一性的情况下,需要另一个初始条件的概念。让(Ohm, F、 P)其他概率空间可能不同于(Ohm, F、 P)。定义2.7(弱初始条件)。让N:Ohm→ N#gR×Mbe在r×M上的非爆炸性标记点过程。我们说Nsatis是一个弱的初始条件N≤0如果诱导概率PN0≤0与PN连接≤0.2.2混合标记点过程:事件-状态视图点2.2.1标记空间和状态过程。设(E,B(E),uE)和(X,B(X),uX)是两个度量空间,其中E和X都是完全可分离的度量空间,uean和uxa都是有界有限的Borelmeasures。每个e∈ E表示一种类型的事件,我们称E为事件空间。每个x∈ X代表系统的一种可能状态,我们称X为状态空间。
|