|
因此,可以很好地定义迭代。在我们展示所有这些序列都是收敛的之前,我们先从基于命题2的simpleobservation开始。推论4。如果C是PQD copula,那么Tf,gσpnqpCσqpu,vq是所有n P n证明的NQDcopula。结果归纳地遵循命题2。"引理5。函数SPFPNQ、pgpnq的序列是逐点收敛的。此外,如果α和β分别是它们的任何极限值,然后,它满足了方程PFPαq“α,分别是PGPβq”β。证明。我们回顾了这样一个事实,即PFPUQ,pgpvq,在r0,1sby[21,引理1,(G2)]上是不递减的,这意味着所有的迭代都是单调的非递增的。一个简单的观察PFPUQ“u\'f puqěu意味着PFPNQPUQ“pfpn'1qppfpuqqěpfpn'1qpuq,因此该序列对于所有u P r0,1s是单调的;对于g也是一样的。选择任意u P r0,1s,并让α为fpnqpuq的极限。然后,pfpαq是fpn'1qpuq的极限,因此pfpαq“α;对于β也是一样。注。映射CσTh~nTf,gσpCσq是否以及可能何时是所有copula的紧度量空间上的收缩是一个有趣的问题。很容易看出,对于任何copula C,D,我们有}Tf,gσpCσqpu,vq'Tf,gσpDσqpu,vq}”κpu,vq}Cσpu,vq'Dσpu,vq},其中κpu,vq是u{pfpuq,v'的乘积{pgpvq和maxt0,1'fpuqgpvqu。这些因子中的每一个都不大于1,但是当uan和v趋向于1时,它趋向于1。因此,我们得到了0dκpu,vqd1,这证明了该映射是非膨胀的。因为不可能为κ找到一个恒定的ka1,所以它不是一个收缩。我们省略了细节,但没有进一步延长论文的篇幅。我们有点惊讶于尽管如此,我们仍然能够证明迭代对称连杆机构的收敛性:MAXMIN VS。
|