JPS 概率论与数理统计》杂志上 1687 - 9538<我年代年代npub-type="ppub"> 1687 - 952 x Hindawi出版公司 10.1155 / 2014/274535 274535年 研究文章 Subgeometric遍历性的分析依赖政府时间随机李雅普诺夫漂移条件下连续时间马尔可夫链 Lekgari Mokaedi V。 z D。 学校的数学和统计,武汉大学,武汉430072 中国 whu.edu.cn 2014年 31日<米在th>8 2014年 2014年 21<米在th>04 2014年 15<米在th>07年年 2014年 31日<米在th>8 2014年 2014年 版权©2014 Mokaedi诉Lekgari。 这是一个开放的文章在知识共享归属许可下发布的,它允许无限制的使用,分布和繁殖在任何媒介,提供最初的工作是正确的引用。

我们研究随机时间依赖Foster-Lyapunov subgeometric率分析连续时间马尔可夫链的遍历性(中国十冶公司)。我们主要关心利用可用的结果确定的依赖政府为中国十冶公司依赖漂移条件和时间随机漂移条件离散时间马尔可夫链,将其转移到中国十冶公司。

1。介绍</t我tle> <p>马尔可夫过程的遍历理论近年来获得了相当可观的注意。与我们关注subgeometric遍历性,松散来说,是一种收敛速度比普通的遍历性但低于几何遍历性,更需要研究尤其是对连续马尔可夫过程(<xrgydF4y2B一个ef ref-type="bibr" rid="B3"> 1</xrgydF4y2B一个ef>]。正是因为这一原因,本研究开发的兴趣。</p><p>MeyngydF4y2Ba和Tweedie<xrgydF4y2B一个ef ref-type="bibr" rid="B9"> 2</xrgydF4y2B一个ef>]首创的研究依赖漂移<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>不可约马尔可夫过程。然后康纳堡(<xrgydF4y2B一个ef ref-type="bibr" rid="B1"> 3</xrgydF4y2B一个ef>)发现,依赖Foster-Lyapunov标准不仅可以使用确定的各态历经性质马尔可夫过程<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M2"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>但也推断出大范围收敛率<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M3"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>。这项研究集中在过程<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M4"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>子样品在某个确定的时间。在[<xrgydF4y2B一个ef ref-type="bibr" rid="B1"> 3</xrgydF4y2B一个ef>]这项研究的结果被用于控制链的分类。遍历性依赖上下文中的漂移条件确定的时间指数研究了许多作者,在他们(<xrgydF4y2B一个ef ref-type="bibr" rid="B15"> 4</xrgydF4y2B一个ef>,<xrgydF4y2B一个ef ref-type="bibr" rid="B16"> 5</xrgydF4y2B一个ef>]。Yuksel和Meyn<xrgydF4y2B一个ef ref-type="bibr" rid="B15"> 4</xrgydF4y2B一个ef>”他们的研究结果应用于随机稳定在一个擦除通道。“Zurkowski的动机的<xrgydF4y2B一个ef ref-type="bibr" rid="B16"> 5</xrgydF4y2B一个ef>)研究其可能的应用网络控制和事件触发控制系统。虽然我们不能忽视我们的研究等领域的实际应用随机网络的稳定性,呈现这样的应用程序超出了我们的工作范围。</p><p>gydF4y2B一个康纳和堡(<xrgydF4y2B一个ef ref-type="bibr" rid="B1"> 3</xrgydF4y2B一个ef>]和Yuksel Meyn [<xrgydF4y2B一个ef ref-type="bibr" rid="B15"> 4</xrgydF4y2B一个ef>]研究了遍历性与漂移条件形式<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M5"> <mml:msup> <mml:mrow> <mml:mi> P</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mi> V</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> ≤</米米l:米o> <mml:mi> β</米米l:米我><米米l:mi> V</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>对于一些确定性的函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M6"> <mml:mi> n</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M7"> <mml:mi> β</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。根据定理2.1 (2)(<xrgydF4y2B一个ef ref-type="bibr" rid="B14"> 6</xrgydF4y2B一个ef>一个确定性的函数序列<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M8"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>存在,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M9"> <mml:mi> V</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,满足Foster-Lyapunov漂移条件:<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M10"> <mml:mtable> <mml:mlabeledtr id="EEq1"> <mml:mtd> <mml:mtext> (1)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mi> </mml:mi> <mml:mi> P</米米l:米我><米米l:msub> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> ≤</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> - - - - - -</米米l:米o> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> f</米米l:米我><米米l:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:msub> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mo> </mml:mo> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>一个娇小的组<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M11"> <mml:mi> C</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> B</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M12"> <mml:mi> b</米米l:米我><米米l:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>这样<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M13"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是有界的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M14"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>。</p><p>gydF4y2B一个事实证明,这不仅对每个Foster-Lyapunov条件适用<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M15"> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:math> </inline-formula>也为一个序列的停止时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M16"> <mml:mo stretchy="false"> {</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M17"> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:math> </inline-formula>离散时间马尔可夫链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M18"> <mml:msub> <mml:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:math> </inline-formula>(<xrgydF4y2B一个ef ref-type="bibr" rid="B16"> 5</xrgydF4y2B一个ef>]。结果Zurkowski [<xrgydF4y2B一个ef ref-type="bibr" rid="B16"> 5</xrgydF4y2B一个ef>严重依赖康纳的工作和堡(<xrgydF4y2B一个ef ref-type="bibr" rid="B1"> 3</xrgydF4y2B一个ef>],Meyn和Tweedie [<xrgydF4y2B一个ef ref-type="bibr" rid="B7"> 7</xrgydF4y2B一个ef>],和Tuominen Tweedie [<xrgydF4y2B一个ef ref-type="bibr" rid="B14"> 6</xrgydF4y2B一个ef>]。</p><p>gydF4y2B一个本研究遵循的工作依赖政府先前的研究调查时间随机漂移条件结果subgeometric遍历性中国十冶公司的一个简单的,读者友好的方式。在前面的作者康纳和堡(<xrgydF4y2B一个ef ref-type="bibr" rid="B1"> 3</xrgydF4y2B一个ef>]研究依赖几何李雅普诺夫漂移条件一般马尔可夫链子样品在某一确定的时间。随机时间依赖漂移研究然后由Yuksel Meyn [<xrgydF4y2B一个ef ref-type="bibr" rid="B15"> 4</xrgydF4y2B一个ef>]和Zurkowski [<xrgydF4y2B一个ef ref-type="bibr" rid="B16"> 5</xrgydF4y2B一个ef>一般离散马尔可夫链和链,分别。工作在这个研究利用上述研究的结果与关注subgeometric可数状态空间的遍历性<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M19"> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> </mml:math> </inline-formula>流程。</p><p>gydF4y2B一个本文组织如下。节<xrgydF4y2B一个ef ref-type="sec" rid="sec2"> 2</xrgydF4y2B一个ef>,我们有预赛部分介绍基本的符号,定义和定理。主要结果是利用部分<xrgydF4y2B一个ef ref-type="sec" rid="sec3"> 3</xrgydF4y2B一个ef>这主要是关心subgeometric遍历性率<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M20"> <mml:mrow> <mml:mi> r</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M21"> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:math> </inline-formula>规范。部分<xrgydF4y2B一个ef ref-type="sec" rid="sec4"> 4</xrgydF4y2B一个ef>本研究的结论。</p></年代ec> <sec id="sec2"> <title>2。预赛</t我tle> <p>让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M22"> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mo stretchy="false"> {</米米l:米o> <mml:mn mathvariant="normal"> 0 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mn mathvariant="normal"> 2</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mo> …</米米l:米o> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M23"> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。我们让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M24"> <mml:msub> <mml:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> t</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:math> </inline-formula>表示连续时间马尔可夫链(中国十冶公司)可数状态空间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M25"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi mathvariant="script"> B</米米l:米我><米米l:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> X</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。连续时间马尔可夫过程的转换函数是用<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M26"> <mml:msup> <mml:mrow> <mml:mi> P</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> j</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> P</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mi> j</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mi> j</米米l:米我></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> ]</米米l:米o> </mml:math> </inline-formula>,这里以后<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M27"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi> 一个</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>指标集的函数吗<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M28"> <mml:mrow> <mml:mi> 一个</米米l:米我></米米l:mrow> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M29"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> P</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> x</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M30"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> x</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>分别表示连锁条件下的概率和期望<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M31"> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mi> 我</米米l:米我></米米l:math> </inline-formula>。</p><年代ec id="sec2.1"> <title>2.1。第一次打次</t我tle> <p>给定一个子集<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M32"> <mml:mi> C</米米l:米我><米米l:mo> ⊆</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>我们让<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M33"> <mml:mtable> <mml:mlabeledtr id="EEq2"> <mml:mtd> <mml:mtext> (2)</米米l:米text> </mml:mtd> <mml:mtd> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> δ</米米l:米我></米米l:mrow> </mml:msubsup> <mml:mo> =</米米l:米o> <mml:mi> 正</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mrow> <mml:mo class="left"> {</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我><米米l:mo> ≥</米米l:米o> <mml:mi> δ</米米l:米我><米米l:mo> :</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo class="right"> }</米米l:米o> </mml:mrow> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>是第一个时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M34"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>推迟了一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M35"> <mml:mi> δ</米米l:米我><米米l:mo> ></米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>。在当<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M36"> <mml:mi> δ</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>我们有<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M37"> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msubsup> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:math> </inline-formula>。我们也有<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M38"> <mml:mtable> <mml:mlabeledtr id="EEq3"> <mml:mtd> <mml:mtext> (3)</米米l:米text> </mml:mtd> <mml:mtd> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo> =</米米l:米o> <mml:mi> 正</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mrow> <mml:mo class="left"> {</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我><米米l:mo> ≥</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> J</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> :</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo class="right"> }</米米l:米o> </mml:mrow> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>作为第一个打时间的设置<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M39"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>在第一跳<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M40"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> J</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>的过程。我们也注意到,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M41"> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:math> </inline-formula>如果<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M42"> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> ∉</米米l:米o> <mml:mi> C</米米l:米我></米米l:math> </inline-formula>。如果<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M43"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>是一个单体组成的国家吗<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M44"> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,那么我们写<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M45"> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> δ</米米l:米我></米米l:mrow> </mml:msubsup> </mml:mrow> </mml:math> </inline-formula>为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M46"> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> δ</米米l:米我></米米l:mrow> </mml:msubsup> </mml:mrow> </mml:math> </inline-formula>等同于<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M47"> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> </mml:mrow> </mml:math> </inline-formula>为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M48"> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> </mml:mrow> </mml:math> </inline-formula>。</p></年代ec> <sec id="sec2.2"> <title>2.2。< inline-formula > < mml:数学xmlns: mml = " http://www.w3.org/1998/Math/MathML " id = " M49 " > < mml: mrow > < mml: mi mathvariant = "脚本" > l < / mml: mi > < / mml: mrow > < / mml:数学> < / inline-formula >遍历性</t我tle> <p>为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M50"> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:math> </inline-formula>,这样<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M51"> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo> ≥</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M52"> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mtext> th</米米l:米text> </mml:math> </inline-formula>时刻用<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M53"> <mml:msubsup> <mml:mrow> <mml:mi> 米</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mi> j</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo> :</米米l:米o> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msubsup> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M54"> <mml:msubsup> <mml:mrow> <mml:mi> 米</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo> :</米米l:米o> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msubsup> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> </mml:math> </inline-formula>。通过定义马尔可夫过程<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M55"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>据说是<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M56"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:math> </inline-formula>遍历(或遍历学位<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M57"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:math> </inline-formula>)如果<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M58"> <mml:msubsup> <mml:mrow> <mml:mi> 米</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>对于一些(然后)有限的非空的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M59"> <mml:mi> C</米米l:米我><米米l:mo> ⊆</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>。在遍历度,更多的研究<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M60"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:math> </inline-formula>遍历性相关话题,感兴趣的读者可以参考毛(<xrgydF4y2B一个ef ref-type="bibr" rid="B5"> 8</xrgydF4y2B一个ef>)和引用。</p></年代ec> <sec id="sec2.3"> <title>2.3。几何遍历性</t我tle> <p>根据(<xrgydF4y2B一个ef ref-type="bibr" rid="B1"> 3</xrgydF4y2B一个ef>),<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M61"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>据说如果存在一个函数几何遍历性<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M62"> <mml:mi> V</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和常量<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M63"> <mml:mi> γ</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M64"> <mml:mi> R</米米l:米我><米米l:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>这样,对于任何<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M65"> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M66"> <mml:msub> <mml:mrow> <mml:mrow> <mml:mo stretchy="false"> ∥</米米l:米o> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> P</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msup> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mo> ·</米米l:米o> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> π</米米l:米我><米米l:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mo> ·</米米l:米o> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo stretchy="false"> ∥</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ≤</米米l:米o> <mml:mi> R</米米l:米我><米米l:mi> V</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> γ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msup> </mml:math> </inline-formula>,相当于一个规模函数的存在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M67"> <mml:mi> V</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,一个小<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M68"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>和常量<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M69"> <mml:mi> λ</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M70"> <mml:mi> b</米米l:米我><米米l:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>,这样<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M71"> <mml:mi> P</米米l:米我><米米l:mi> V</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> ≤</米米l:米o> <mml:mi> λ</米米l:米我><米米l:mi> V</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。</p></年代ec> <sec id="sec2.4"> <title>2.4。Subgeometric率函数</t我tle> <p>让函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M72"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:math> </inline-formula>,在那里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M73"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>可衡量的增加功能的家庭吗<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M74"> <mml:mi> r</米米l:米我><米米l:mo> :</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>令人满意的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M75"> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:mrow> <mml:mi> 日志</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mo> /</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:mrow> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mo> ↓</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>作为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M76"> <mml:mi> t</米米l:米我><米米l:mo> ↑</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>。让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M77"> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>表示积极功能的类<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M78"> <mml:mover accent="false"> <mml:mrow> <mml:mi> r</米米l:米我></米米l:mrow> <mml:mo> ¯</米米l:米o> </mml:mover> <mml:mo> :</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>这样,对于一些<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M79"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:math> </inline-formula>我们有<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M80"> <mml:mtable> <mml:mlabeledtr id="EEq4"> <mml:mtd> <mml:mtext> (4)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> <</米米l:米o> <mml:munder> <mml:mrow> <mml:mi> lim</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mi> t</米米l:米我></米米l:munder> <mml:mo> </mml:mo> <mml:mi> 正</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mfrac> <mml:mrow> <mml:mover accent="false"> <mml:mrow> <mml:mi> r</米米l:米我></米米l:mrow> <mml:mo> ¯</米米l:米o> </mml:mover> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> </mml:mfrac> <mml:mo> ≤</米米l:米o> <mml:munder> <mml:mrow> <mml:mi> lim</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mi> t</米米l:米我></米米l:munder> <mml:mo> </mml:mo> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mfrac> <mml:mrow> <mml:mover accent="false"> <mml:mrow> <mml:mi> r</米米l:米我></米米l:mrow> <mml:mo> ¯</米米l:米o> </mml:mover> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> </mml:mfrac> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>然后<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M81"> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>被称为subgeometric率函数的类(<xrgydF4y2B一个ef ref-type="bibr" rid="B10"> 9</xrgydF4y2B一个ef>]。事实上(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq4"> 4</xrgydF4y2B一个ef>)意味着函数的等价类的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M82"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>类的功能<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M83"> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>。类中的函数的例子<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M84"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>率<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M85"> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:mi> 经验值</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 年代</米米l:米我><米米l:msup> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> /</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> +</米米l:米o> <mml:mi> α</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M86"> <mml:mi> α</米米l:米我><米米l:mo> ></米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M87"> <mml:mi> 年代</米米l:米我><米米l:mo> ></米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>,最近才在文学讨论。不失一般性,我们假设<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M88"> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>每当<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M89"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>。</p><p>gydF4y2B一个的属性<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M90"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:math> </inline-formula>根据(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq4"> 4</xrgydF4y2B一个ef>),在这项研究中经常使用<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M91"> <mml:mtable> <mml:mlabeledtr id="EEq5"> <mml:mtd> <mml:mtext> (5)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> x</米米l:米我><米米l:mo> +</米米l:米o> <mml:mi> y</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> ≤</米米l:米o> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> x</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> y</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> </mml:mo> <mml:mo> ∀</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> y</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> <mml:mlabeledtr id="EEq6"> <mml:mtd> <mml:mtext> (6)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mfrac> <mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo> +</米米l:米o> <mml:mi> 一个</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> </mml:mfrac> <mml:mo> ⟶</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> </mml:mo> <mml:mtext> 作为</米米l:米text> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mi> x</米米l:米我><米米l:mo> ⟶</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mtext> 为</米米l:米text> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mtext> 每一个</米米l:米text> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mi> 一个</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula></p> </sec> <sec id="sec2.5"> <title>2.5。调制的时刻</t我tle> <p>充分条件<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M92"> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:math> </inline-formula>遍历性涉及调制的时刻第一次。subgeometric率函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M93"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>由(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq4"> 4</xrgydF4y2B一个ef>),一个函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M94"> <mml:mi> f</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,一个子集<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M95"> <mml:mi> C</米米l:米我><米米l:mo> ⊆</米米l:米o> <mml:mi> X</米米l:米我></米米l:math> </inline-formula>和一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M96"> <mml:mi> δ</米米l:米我><米米l:mo> ≥</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>,我们定义了调制的时刻<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M97"> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> δ</米米l:米我></米米l:mrow> </mml:msubsup> </mml:mrow> </mml:math> </inline-formula>通过<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M98"> <mml:mtable> <mml:mlabeledtr id="EEq7"> <mml:mtd> <mml:mtext> (7)</米米l:米text> </mml:mtd> <mml:mtd> <mml:msub> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> δ</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> :</米米l:米o> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> δ</米米l:米我></米米l:mrow> </mml:msubsup> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> f</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> t</米米l:米我></米米l:mrow> </mml:mrow> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> ,</米米l:米o> <mml:mo> </mml:mo> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>类似于调制的时刻第一次<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M99"> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> δ</米米l:米我></米米l:mrow> </mml:msubsup> </mml:mrow> </mml:math> </inline-formula>作为(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq7"> 7</xrgydF4y2B一个ef>)以上,调制的时刻第一次<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M100"> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> </mml:mrow> </mml:math> </inline-formula>,即<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M101"> <mml:msubsup> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,定义如下。subgeometric率函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M102"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>,一个函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M103"> <mml:mi> f</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,一个子集<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M104"> <mml:mi> C</米米l:米我><米米l:mo> ⊆</米米l:米o> <mml:mi> X</米米l:米我></米米l:math> </inline-formula>,然后<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M105"> <mml:mtable> <mml:mlabeledtr id="EEq8"> <mml:mtd> <mml:mtext> (8)</米米l:米text> </mml:mtd> <mml:mtd> <mml:msubsup> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> ∶</米米l:米o> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> f</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> ,</米米l:米o> <mml:mo> </mml:mo> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula></p> </sec> <sec id="sec2.6"> <title>2.6。Subgeometric率遍历性</t我tle> <p>让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M106"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>;然后遍历链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M107"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>据说subgeometric遍历的顺序<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M108"> <mml:mrow> <mml:mi> r</米米l:米我></米米l:mrow> </mml:math> </inline-formula>在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M109"> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:math> </inline-formula>规范或只是<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M110"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>如果所有遍历<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M111"> <mml:mi> x</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>;然后<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M112"> <mml:mtable> <mml:mlabeledtr id="EEq9"> <mml:mtd> <mml:mtext> (9)</米米l:米text> </mml:mtd> <mml:mtd> <mml:munder> <mml:mrow> <mml:mi> lim</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> t</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo> +</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:mrow> </mml:munder> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> <mml:msub> <mml:mrow> <mml:mrow> <mml:mo class="left"> ∥</米米l:米o> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> P</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msup> <mml:mo minsize="0.75em" maxsize="0.75em"> (</米米l:米o> <mml:mi> x</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mo> ·</米米l:米o> <mml:mo minsize="0.75em" maxsize="0.75em"> )</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:mi> π</米米l:米我><米米l:mo minsize="0.75em" maxsize="0.75em"> (</米米l:米o> <mml:mo> ·</米米l:米o> <mml:mo minsize="0.75em" maxsize="0.75em"> )</米米l:米o> </mml:mrow> <mml:mo class="right"> ∥</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>在哪里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M113"> <mml:mrow> <mml:mi> π</米米l:米我></米米l:mrow> </mml:math> </inline-formula>是独特的不变分布的过程(签署)测量<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M114"> <mml:mrow> <mml:mi> σ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,在那里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M115"> <mml:msub> <mml:mrow> <mml:mrow> <mml:mo stretchy="false"> ∥</米米l:米o> <mml:mrow> <mml:mi> σ</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> ∥</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mo> |</米米l:米o> <mml:mi> g</米米l:米我><米米l:mo> |</米米l:米o> <mml:mo> ≤</米米l:米o> <mml:mi> f</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo> |</米米l:米o> <mml:mrow> <mml:mi> σ</米米l:米我><米米l:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> g</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo> |</米米l:米o> </mml:mrow> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M116"> <mml:mi> f</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>是可测函数。</p><p>gydF4y2B一个众所周知,(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq9"> 9</xrgydF4y2B一个ef>)当且仅当Foster-Lyapunov(或只是李雅普诺夫)漂移情况。正是因为这一原因,李雅普诺夫漂移条件发挥非常重要的作用在我们的研究中。李雅普诺夫漂移条件提供界限返回时间访问集从而主张一些控制马尔可夫过程动力学通过专注于打击时报在一个特定的集合。</p><p>gydF4y2Ba我们意识到技术,依靠小集的一些以前的研究可能不可用时间随机漂移设置因为少量<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M117"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>不一定是小<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M118"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>。然而,我们也知道,对于一个<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M119"> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>不可约的过程,所有的有限的子集<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M120"> <mml:mrow> <mml:mi mathvariant="script"> X</米米l:米我></米米l:mrow> </mml:math> </inline-formula>是娇小的,一套可以关闭娇小的总是存在(<xrgydF4y2B一个ef ref-type="bibr" rid="B8"> 10</xrgydF4y2B一个ef>),这表明我们的工作将局限于处理娇小的集。然后通过定理5.5.7 Meyn Tweedie [<xrgydF4y2B一个ef ref-type="bibr" rid="B7"> 7</xrgydF4y2B一个ef>我们知道如果马尔可夫链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M121"> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>不可约和非周期,然后每一个娇小的小。因此所有的娇小的集在这项研究中被认为是小因为所有连锁店都假定<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M122"> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>不可约和非周期。</p><p>gydF4y2B一个根据上述定义和符号我们准备状态以下subgeometric率约遍历性的命题<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M123"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历性和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M124"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历性。</p><年代t一个tement id="prop1"> <title>命题1(见命题2.11 [< xref ref-type =“bibr”掉= " B11 " > < / xref > 11])。</t我tle> <p>让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M125"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是一个不可约马尔可夫过程,和假设,对于一些<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M126"> <mml:mi> ε</米米l:米我><米米l:mo> ></米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>和一些函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M127"> <mml:mi> f</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M128"> <mml:mrow> <mml:mi mathvariant="script"> X</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,一个<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M129"> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> f</米米l:米我><米米l:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> <mml:mo> <</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,尽管<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M130"> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M131"> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ≤</米米l:米o> <mml:mi> 年代</米米l:米我><米米l:mo> ≤</米米l:米o> <mml:mi> ε</米米l:米我></米米l:math> </inline-formula>。如果存在一个娇小的集合<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M132"> <mml:mi> C</米米l:米我><米米l:mo> ⊆</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>和一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M133"> <mml:mi> δ</米米l:米我><米米l:mo> ></米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>这样<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M134"> <mml:mtable> <mml:mlabeledtr id="eq10"> <mml:mtd> <mml:mtext> (10)</米米l:米text> </mml:mtd> <mml:mtd> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:mo> </mml:mo> <mml:msub> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> δ</米米l:米我><米米l:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>然后<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M135"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M136"> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:math> </inline-formula>遍历。</p></年代t一个tement> <statement id="prop2"> <title>命题2(见定理3.3刘et al。(< xref ref-type =“bibr”掉= " B4 " > < / xref > 12])。</t我tle> <p>一个不可约马尔可夫链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M137"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是subgeometrically遍历速度<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M138"> <mml:mrow> <mml:mi> r</米米l:米我></米米l:mrow> </mml:math> </inline-formula>总变差中规范当且仅当对一些(然后)有限的子集<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M139"> <mml:mi> C</米米l:米我><米米l:mo> ⊂</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>一个人<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M140"> <mml:mtable> <mml:mlabeledtr id="eq11"> <mml:mtd> <mml:mtext> (11)</米米l:米text> </mml:mtd> <mml:mtd> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:mo> </mml:mo> <mml:msubsup> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula></p> </statement> <statement id="prop3"> <title>命题3(定理3.2刘et al。(< xref ref-type =“bibr”掉= " B4 " > < / xref > 12])。</t我tle> <p>对于一些有限的非空的集合<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M141"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M142"> <mml:msub> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:msubsup> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> j</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>当且仅当有限集合<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M143"> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> </mml:math> </inline-formula>和任何<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M144"> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>,然后<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M145"> <mml:msubsup> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>。</p></年代t一个tement> <p>本研究在不减少的序列的停止时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M146"> <mml:mo stretchy="false"> {</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> :</米米l:米o> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>与<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M147"> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>被认为是类似于序列假设Spieksma [2.1<xrgydF4y2B一个ef ref-type="bibr" rid="B13"> 13</xrgydF4y2B一个ef>),重申如下。递归定义<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M148"> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M149"> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mi> 正</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mo stretchy="false"> {</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo> ></米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> :</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ≠</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我><米米l:mo> - - - - - -</米米l:米o> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,如果<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M150"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>不是一个吸收状态(例如,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M151"> <mml:mi> 问</米米l:米我><米米l:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ≠</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>)。我们把<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M152"> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> k</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mi> k</米米l:米我><米米l:mo> ></米米l:米o> <mml:mi> n</米米l:米我></米米l:math> </inline-formula>如果<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M153"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是一个吸收状态;然后,我们有<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M154"> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> k</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:math> </inline-formula>。在这个意义上的序列<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M155"> <mml:msub> <mml:mrow> <mml:mrow> <mml:mo stretchy="false"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> }</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:math> </inline-formula>是一个不减少的停车时间序列代表连续跳。</p></年代ec> </sec> <sec id="sec3"> <title>3所示。主要结果</t我tle> <p>本节中给出的内容在subgeometric率的遍历性<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M156"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>,在那里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M157"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>被认为是一个不可约和非周期中国十冶公司。结果给出了定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.1"> 4</xrgydF4y2B一个ef>,<xrgydF4y2B一个ef ref-type="statement" rid="thm3.2"> 6</xrgydF4y2B一个ef>,<xrgydF4y2B一个ef ref-type="statement" rid="thm3.3"> 7</xrgydF4y2B一个ef>。定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.1"> 4</xrgydF4y2B一个ef>定理3.1的修改版(<xrgydF4y2B一个ef ref-type="bibr" rid="B4"> 12</xrgydF4y2B一个ef>),而定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.2"> 6</xrgydF4y2B一个ef>是一个连续的命题5.1.2 Zurkowski [<xrgydF4y2B一个ef ref-type="bibr" rid="B16"> 5</xrgydF4y2B一个ef>]。最后我们有定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.3"> 7</xrgydF4y2B一个ef>它遵循从定理2.16的<xrgydF4y2B一个ef ref-type="bibr" rid="B11"> 11</xrgydF4y2B一个ef>]。</p><年代t一个tement id="thm3.1"> <title>定理4。</t我tle> <p>让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M158"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是一个不可约和非周期链。进一步假设一些(然后任何)有限的非空的集合<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M159"> <mml:mi> C</米米l:米我><米米l:mo> ⊆</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>存在一个函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M160"> <mml:mi> V</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M161"> <mml:mi> b</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:math> </inline-formula>这样,越来越序列的停止时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M162"> <mml:mo stretchy="false"> {</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> N</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M163"> <mml:mtable> <mml:mlabeledtr id="EEq10"> <mml:mtd> <mml:mtext> (12)</米米l:米text> </mml:mtd> <mml:mtd> <mml:maligngroup></mml:maligngroup> <mml:malignmark></mml:malignmark> <mml:mrow> <mml:munder> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:munder> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="left"></mml:mo> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mo> ≤</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> }</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mo> </mml:mo> <mml:mo> ∀</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我><米米l:mo> ;</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>然后对任何<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M164"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M165"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M166"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历。</p></年代t一个tement> <statement id="proof1"> <title>证明。</t我tle> <p>值得意识到链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M167"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>也非周期和不可约<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M168"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>是娇小的,因此小<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M169"> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> </mml:math> </inline-formula>是有界的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M170"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>。让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M171"> <mml:msub> <mml:mrow> <mml:mi> ζ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mi> 最小值</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mrow> <mml:mo stretchy="false"> {</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我><米米l:mo> ≥</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> :</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> }</米米l:米o> </mml:mrow> </mml:math> </inline-formula>。我们知道<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M172"> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ≤</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> ζ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> </mml:msub> </mml:math> </inline-formula> <inline-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M173"> <mml:mo> ∀</米米l:米o> <mml:mi> B</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msup> <mml:mrow> <mml:mi mathvariant="script"> B</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> X</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:math> </inline-formula>,因为链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M174"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>能错过的一些访问链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M175"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>集<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M176"> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,因此,对于任何一个<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M177"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>,我们有<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M178"> <mml:mtable> <mml:mlabeledtr id="EEq11"> <mml:mtd> <mml:mtext> (13)</米米l:米text> </mml:mtd> <mml:mtd> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:mo> </mml:mo> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> ≤</米米l:米o> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ζ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>这意味着<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M179"> <mml:mtable> <mml:mlabeledtr id="EEq12"> <mml:mtd> <mml:mtext> (14)</米米l:米text> </mml:mtd> <mml:mtd> <mml:maligngroup></mml:maligngroup> <mml:malignmark></mml:malignmark> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:mo> </mml:mo> <mml:msub> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> δ</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="left"></mml:mo> <mml:mo> </mml:mo> <mml:mo> ≤</米米l:米o> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ζ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> t</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> =</米米l:米o> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:mo> </mml:mo> <mml:msubsup> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>对于任何<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M180"> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:math> </inline-formula>。我们得到了(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq12"> 14</xrgydF4y2B一个ef>)由于等价的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M181"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M182"> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>和假设<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M183"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:math> </inline-formula>因此满足submultiplicative属性(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq5"> 5</xrgydF4y2B一个ef>)。采用命题<xrgydF4y2B一个ef ref-type="statement" rid="prop3"> 3</xrgydF4y2B一个ef>我们得到了(<xrgydF4y2B一个ef ref-type="disp-formula" rid="EEq12"> 14</xrgydF4y2B一个ef>)意味着<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M184"> <mml:msubsup> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>对于任何<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M185"> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>。然后,通过命题<xrgydF4y2B一个ef ref-type="statement" rid="prop2"> 2</xrgydF4y2B一个ef>,一组<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M186"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>是<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M187"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>定期的;因此我们得出结论:链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M188"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历。</p></年代t一个tement> <p>值得注意的是,在实践中,漂移条件定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.1"> 4</xrgydF4y2B一个ef>以上是不容易验证,因为它涉及到未知信息<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M189"> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> </mml:math> </inline-formula>。实际上更有利的漂移条件所推论<xrgydF4y2B一个ef ref-type="statement" rid="coro1"> 5</xrgydF4y2B一个ef>。这是毛(<xrgydF4y2B一个ef ref-type="bibr" rid="B5"> 8</xrgydF4y2B一个ef>调查)<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M190"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:math> </inline-formula>遍历性时<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M191"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:math> </inline-formula>被限制为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M192"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>;然后刘et al。<xrgydF4y2B一个ef ref-type="bibr" rid="B4"> 12</xrgydF4y2B一个ef>扩展的结果时的情况<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M193"> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:math> </inline-formula>。在随机时间依赖漂移函数,我们国家以下推论2.1推论的修改版本的刘et al。<xrgydF4y2B一个ef ref-type="bibr" rid="B4"> 12</xrgydF4y2B一个ef>]。</p><年代t一个tement id="coro1"> <title>推论5。</t我tle> <p>让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M194"> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:math> </inline-formula>与<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M195"> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo> ≥</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>。然后链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M196"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M197"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:math> </inline-formula>遍历性(例如,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M198"> <mml:msub> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msubsup> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:math> </inline-formula>)当且仅当对一些有限的非空的集合<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M199"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>和越来越序列的停止时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M200"> <mml:mo stretchy="false"> {</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>存在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M201"> <mml:mrow> <mml:mo stretchy="false"> ⌊</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> ⌋</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>有限的非负函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M202"> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> k</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M203"> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ≤</米米l:米o> <mml:mi> k</米米l:米我><米米l:mo> ≤</米米l:米o> <mml:mrow> <mml:mo stretchy="false"> ⌊</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> ⌋</米米l:米o> </mml:mrow> </mml:math> </inline-formula>和一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M204"> <mml:mrow> <mml:mi> b</米米l:米我></米米l:mrow> </mml:math> </inline-formula>这样<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M205"> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mo> ≥</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msubsup> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo> ^</米米l:米o> </mml:mover> </mml:mrow> </mml:msubsup> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> </mml:math> </inline-formula>和<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M206"> <mml:mtable> <mml:mlabeledtr id="eq15"> <mml:mtd> <mml:mtext> (15)</米米l:米text> </mml:mtd> <mml:mtd> <mml:maligngroup></mml:maligngroup> <mml:malignmark></mml:malignmark> <mml:mrow> <mml:munder> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:munder> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> (</米米l:米o> <mml:mrow> <mml:mi> 米</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="left"></mml:mo> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mo> ≤</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo> ^</米米l:米o> </mml:mover> <mml:mo> +</米米l:米o> <mml:mi> 米</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> (</米米l:米o> <mml:mrow> <mml:mi> 米</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> }</米米l:米o> </mml:mrow> </mml:msub> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M207"> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ≤</米米l:米o> <mml:mi> 米</米米l:米我><米米l:mo> ≤</米米l:米o> <mml:mrow> <mml:mo stretchy="false"> ⌊</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> ⌋</米米l:米o> </mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>,在那里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M208"> <mml:mover accent="true"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo> ^</米米l:米o> </mml:mover> <mml:mo> =</米米l:米o> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo> - - - - - -</米米l:米o> <mml:mrow> <mml:mo stretchy="false"> ⌊</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> ⌋</米米l:米o> </mml:mrow> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M209"> <mml:mrow> <mml:mo stretchy="false"> ⌊</米米l:米o> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> ⌋</米米l:米o> </mml:mrow> </mml:math> </inline-formula>表示整数部分功能,即小于或等于最大整数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M210"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:math> </inline-formula>。</p></年代t一个tement> <statement id="proof2"> <title>证明。</t我tle> <p>这个推论的证明类似于推论的证明2.1刘et al。<xrgydF4y2B一个ef ref-type="bibr" rid="B4"> 12</xrgydF4y2B一个ef>)和遵循自然。</p></年代t一个tement> <p> <italic> 的话。</我t一个l我c>在特定情况下的必然结果<xrgydF4y2B一个ef ref-type="statement" rid="coro1"> 5</xrgydF4y2B一个ef>据说,链式subgeometrically遍历速度<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M211"> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> </mml:msup> <mml:mo> ∨</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>,对于一些<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M212"> <mml:mi mathvariant="script"> l</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> </mml:math> </inline-formula>全变差,规范当且仅当我们有非负函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M213"> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mo> ,</米米l:米o> <mml:mo> …</米米l:米o> <mml:mo> ,</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> k</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msup> </mml:math> </inline-formula>在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M214"> <mml:mrow> <mml:mi mathvariant="script"> X</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M215"> <mml:mi> C</米米l:米我><米米l:mo> ⊂</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M216"> <mml:mi> b</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:math> </inline-formula>这样<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M217"> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mo> ≥</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>,<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M218"> <mml:mtable> <mml:mlabeledtr id="eq16"> <mml:mtd> <mml:mtext> (16)</米米l:米text> </mml:mtd> <mml:mtd> <mml:maligngroup></mml:maligngroup> <mml:malignmark></mml:malignmark> <mml:mrow> <mml:munder> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:munder> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> (</米米l:米o> <mml:mrow> <mml:mi> 米</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="left"></mml:mo> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mo> ≤</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi mathvariant="script"> l</米米l:米我></米米l:mrow> <mml:mo> ^</米米l:米o> </mml:mover> <mml:mo> +</米米l:米o> <mml:mi> 米</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> (</米米l:米o> <mml:mrow> <mml:mi> 米</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> )</米米l:米o> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> }</米米l:米o> </mml:mrow> </mml:msub> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M219"> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ≤</米米l:米o> <mml:mi> 米</米米l:米我><米米l:mo> ≤</米米l:米o> <mml:mi> n</米米l:米我></米米l:math> </inline-formula>和任何<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M220"> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:math> </inline-formula>。</p><p>gydF4y2B一个李雅普诺夫定理中漂移<xrgydF4y2B一个ef ref-type="statement" rid="thm3.1"> 4</xrgydF4y2B一个ef>和推论<xrgydF4y2B一个ef ref-type="statement" rid="coro1"> 5</xrgydF4y2B一个ef>这是的<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M221"> <mml:mtable> <mml:mlabeledtr id="eq17"> <mml:mtd> <mml:mtext> (17)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mrow> <mml:munder> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> C</米米l:米我></米米l:mrow> </mml:munder> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mi> j</米米l:米我></米米l:mrow> </mml:msub> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> j</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> ≤</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:mi> λ</米米l:米我><米米l:mi> W</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> ,</米米l:米o> <mml:mo> </mml:mo> <mml:mo> ∀</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我><米米l:mo> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>在哪里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M222"> <mml:mi> V</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> W</米米l:米我><米米l:mo> :</米米l:米o> <mml:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M223"> <mml:mi> λ</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:math> </inline-formula>是这里,在本文的其余部分用于方便。我们注意到的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M224"> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> </mml:math> </inline-formula>矩阵<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M225"> <mml:mi> 问</米米l:米我><米米l:mo> =</米米l:米o> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mi> j</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> </mml:math> </inline-formula>实值函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M226"> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> </mml:math> </inline-formula>在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M227"> <mml:mrow> <mml:mi mathvariant="script"> X</米米l:米我></米米l:mrow> </mml:math> </inline-formula>我们有<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M228"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 问</米米l:米我><米米l:mi> V</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> ∶</米米l:米o> <mml:mo> =</米米l:米o> <mml:mrow> <mml:msub> <mml:mo stretchy="false"> ∑</米米l:米o> <mml:mrow> <mml:mi> j</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我><米米l:mi> j</米米l:米我></米米l:mrow> </mml:msub> <mml:mi> V</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> j</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> ,</米米l:米o> <mml:mo> ∀</米米l:米o> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>。</p><p>gydF4y2B一个定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.2"> 6</xrgydF4y2B一个ef>它遵循处理subgeometric收敛速度的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M229"> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:math> </inline-formula>遍历链,当<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M230"> <mml:mrow> <mml:mi> f</米米l:米我></米米l:mrow> </mml:math> </inline-formula>不是一个全变差。总而言之我们会处理<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M231"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>规律的娇小的子集<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M232"> <mml:mi> C</米米l:米我><米米l:mo> ⊂</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>。</p><年代t一个tement id="thm3.2"> <title>定理6。</t我tle> <p>假设<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M233"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是一个<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M234"> <mml:mrow> <mml:mi> ψ</米米l:米我></米米l:mrow> </mml:math> </inline-formula>不可约和非周期马尔可夫链。进一步假设有功能<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M235"> <mml:mi> V</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M236"> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> g</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,在那里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M237"> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> </mml:math> </inline-formula>在小型有界集吗<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M238"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>,不断<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M239"> <mml:mi> ε</米米l:米我><米米l:mo> ></米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M240"> <mml:mi> b</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="double-struck"> R</米米l:米我></米米l:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M241"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>这样,越来越序列的停止时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M242"> <mml:mo stretchy="false"> {</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M243"> <mml:mtable> <mml:mlabeledtr id="EEq13"> <mml:mtd rowspan="2"> <mml:mtext> (18)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mi> E</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mo> ∣</米米l:米o> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> ≤</米米l:米o> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> }</米米l:米o> </mml:mrow> </mml:msub> </mml:mtd> </mml:mlabeledtr> <mml:mtr> <mml:mtd> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi> ε</米米l:米我></米米l:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> f</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> ≤</米米l:米o> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> ;</米米l:米o> </mml:mtd> </mml:mtr> </mml:mtable> </mml:math> </disp-formula>然后<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M244"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M245"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历。</p></年代t一个tement> <statement id="proof3"> <title>证明。</t我tle> <p>对所有<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M246"> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>停止所有的时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M247"> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> </mml:math> </inline-formula>Dynkin不等式,我们得到的<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M248"> <mml:mtable> <mml:mlabeledtr id="EEq14"> <mml:mtd> <mml:mtext> (19)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mi> E</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:munderover> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我><米米l:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:munderover> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mo> ∣</米米l:米o> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> ≤</米米l:米o> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:mi> E</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:munderover> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我><米米l:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:munderover> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> }</米米l:米o> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> ;</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>然后对所有<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M249"> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:math> </inline-formula>我们得到了<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M250"> <mml:mtable> <mml:mlabeledtr id="EEq15"> <mml:mtd> <mml:mtext> (20)</米米l:米text> </mml:mtd> <mml:mtd> <mml:maligngroup></mml:maligngroup> <mml:mi> E</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:munderover> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:munderover> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mo> ∣</米米l:米o> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:malignmark></mml:malignmark> <mml:mo id="EJAABAAABAUAJAA"></mml:mo> <mml:mo> ≤</米米l:米o> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:mi> E</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:munderover> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:munderover> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> }</米米l:米o> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="id" indenttarget="EJAABAAABAUAJAA"></mml:mo> <mml:mo> ≤</米米l:米o> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>因为<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M251"> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> </mml:math> </inline-formula>是有界的<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M252"> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:math> </inline-formula>。又如定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.1"> 4</xrgydF4y2B一个ef>我们有<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M253"> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ≤</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> ζ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> </mml:msub> </mml:math> </inline-formula>,尽管<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M254"> <mml:mi> B</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msup> <mml:mrow> <mml:mi mathvariant="script"> B</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,在那里<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M255"> <mml:msubsup> <mml:mrow> <mml:mi> ζ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> B</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> δ</米米l:米我></米米l:mrow> </mml:msubsup> <mml:mo> =</米米l:米o> <mml:mi> 最小值</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mo stretchy="false"> {</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo> ></米米l:米o> <mml:mi> δ</米米l:米我><米米l:mo> :</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> B</米米l:米我><米米l:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>采样达到时间是连锁店吗<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M256"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>。然后<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M257"> <mml:mtext> 为</米米l:米text> <mml:mi> </mml:mi> <mml:mtext> 所有</米米l:米text> <mml:mi> </mml:mi> <mml:mi> 我</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:math> </inline-formula> <disp-formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M258"> <mml:mtable> <mml:mlabeledtr id="eq21"> <mml:mtd> <mml:mtext> (21)</米米l:米text> </mml:mtd> <mml:mtd> <mml:maligngroup></mml:maligngroup> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> f</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> r</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> 年代</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:malignmark></mml:malignmark> <mml:mo id="EDAAEAAABAFAJAA"></mml:mo> <mml:mo> ≤</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> u</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> u</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="id" indenttarget="EDAAEAAABAFAJAA"></mml:mo> <mml:mo> ≤</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mo> ~</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> 年代</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="id" indenttarget="EDAAEAAABAFAJAA"></mml:mo> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:munderover> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> k</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mo> ˘</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:munderover> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mo> ˘</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> k</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="id" indenttarget="EDAAEAAABAFAJAA"></mml:mo> <mml:mo> ≤</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:munderover> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:mi> ξ</米米l:米我><米米l:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:munderover> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mo> ∣</米米l:米o> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="id" indenttarget="EDAAEAAABAFAJAA"></mml:mo> <mml:mo> <</米米l:米o> <mml:mi> V</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我></米米l:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>这意味着<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M259"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历性的链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M260"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>。</p></年代t一个tement> <p>这个方程<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M261"> <mml:mtable> <mml:mlabeledtr id="eq22"> <mml:mtd> <mml:mtext> (22)</米米l:米text> </mml:mtd> <mml:mtd> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:msubsup> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∫</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mo> ~</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> d</米米l:米我><米米l:mi> 年代</米米l:米我></米米l:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> <mml:mo> =</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> 我</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:mrow> <mml:munderover> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:mrow> <mml:mi> k</米米l:米我><米米l:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> ξ</米米l:米我></米米l:mrow> <mml:mo> ˘</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:munderover> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mi> g</米米l:米我><米米l:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mo> ˘</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> k</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo class="right"> ]</米米l:米o> </mml:mrow> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>从公式(15)(<xrgydF4y2B一个ef ref-type="bibr" rid="B6"> 14</xrgydF4y2B一个ef>第五节),当然最明显的符号的变化。</p><p>gydF4y2B一个下面的定理推广的结果<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M262"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>在遍历性定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.2"> 6</xrgydF4y2B一个ef>可以建立结合命题的结果吗<xrgydF4y2B一个ef ref-type="statement" rid="prop1"> 1</xrgydF4y2B一个ef>(例如,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M263"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历性)与定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.1"> 4</xrgydF4y2B一个ef>(例如,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M264"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>遍历性)。这个定理是类似于[命题5.1.4<xrgydF4y2B一个ef ref-type="bibr" rid="B16"> 5</xrgydF4y2B一个ef>和定理2.8<xrgydF4y2B一个ef ref-type="bibr" rid="B2"> 15</xrgydF4y2B一个ef>]。</p><年代t一个tement id="thm3.3"> <title>定理7(借用了定理2.16 [< xref ref-type =“bibr”掉= " B11 " > < / xref > 11])。</t我tle> <p>让<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M265"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是一个不可约和非周期链。进一步假设一些(然后任何)有限的非空的集合<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M266"> <mml:mi> C</米米l:米我><米米l:mo> ⊆</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>存在一个函数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M267"> <mml:mi> f</米米l:米我><米米l:mo> :</米米l:米o> <mml:mi> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和常量<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M268"> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> </mml:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M269"> <mml:mrow> <mml:mi> ε</米米l:米我></米米l:mrow> </mml:math> </inline-formula>这样,越来越序列的停止时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M270"> <mml:mo stretchy="false"> {</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M271"> <mml:msub> <mml:mrow> <mml:mi> E</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> f</米米l:米我><米米l:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> 年代</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> <mml:mo> ≤</米米l:米o> <mml:mi> f</米米l:米我><米米l:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:math> </inline-formula>,尽管<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M272"> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我></米米l:math> </inline-formula>和<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M273"> <mml:mn mathvariant="normal"> 0</米米l:米n><米米l:米o> ≤</米米l:米o> <mml:mi> 年代</米米l:米我><米米l:mo> ≤</米米l:米o> <mml:mi> ε</米米l:米我></米米l:math> </inline-formula>。然后,对一些<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M274"> <mml:mi> r</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> Λ</米米l:米我></米米l:math> </inline-formula>和一个常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M275"> <mml:mi> δ</米米l:米我><米米l:mo> ></米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n></米米l:math> </inline-formula>,<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M276"> <mml:mtable> <mml:mlabeledtr id="eq23"> <mml:mtd> <mml:mtext> (23)</米米l:米text> </mml:mtd> <mml:mtd> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:msub> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> δ</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mi> </mml:mi> <mml:mo> </mml:mo> <mml:mi> 一个</米米l:米我><米米l:mi> n</米米l:米我><米米l:mi> d</米米l:米我><米米l:mo> </mml:mo> <mml:munder> <mml:mrow> <mml:mi> 吃晚饭</米米l:米我><米米l:mo> ⁡</米米l:米o> </mml:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:munder> <mml:msub> <mml:mrow> <mml:mi> G</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mi> δ</米米l:米我></米米l:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>然后<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M277"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是subgeometrically遍历速度<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M278"> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> r</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> ∨</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M279"> <mml:mo stretchy="false"> (</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 2</米米l:米n></米米l:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> ∨</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>规范,功能<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M280"> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="normal"> Ψ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 2</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> :</米米l:米o> <mml:mi mathvariant="script"> X</米米l:米我><米米l:mo> →</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> ,</米米l:米o> <mml:mi> ∞</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>是一对年轻逆函数。</p></年代t一个tement> <p>链的漂移条件定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.3"> 7</xrgydF4y2B一个ef>不容易找到,但给出了一个更简单的方法来验证漂移(<xrgydF4y2B一个ef ref-type="bibr" rid="B11"> 11</xrgydF4y2B一个ef>推论2.17]。这是重申如下推论。</p><年代t一个tement id="coro2"> <title>推论8。</t我tle> <p>让链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M281"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>那么在定理<xrgydF4y2B一个ef ref-type="statement" rid="thm3.3"> 7</xrgydF4y2B一个ef>为一个固定的常数<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M282"> <mml:mi> α</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0 1</米米l:米n><米米l:米o stretchy="false"> ]</米米l:米o> </mml:math> </inline-formula>和积极的常量<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M283"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> c</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> η</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>这样,越来越序列的停止时间<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M284"> <mml:mo stretchy="false"> {</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mi> n</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="double-struck"> Z</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,<d我年代p- - - - - -formula> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M285"> <mml:mtable> <mml:mlabeledtr id="eq24"> <mml:mtd> <mml:mtext> (24)</米米l:米text> </mml:mtd> <mml:mtd> <mml:maligngroup></mml:maligngroup> <mml:malignmark></mml:malignmark> <mml:mrow> <mml:munder> <mml:mstyle displaystyle="true"> <mml:mo stretchy="false"> ∑</米米l:米o> </mml:mstyle> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> </mml:msub> </mml:munder> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> η</米米l:米我></米米l:mrow> </mml:msup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我><米米l:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo linebreak="newline" indentalign="left"></mml:mo> <mml:mo> </mml:mo> <mml:mo> </mml:mo> <mml:mo> ≤</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> c</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> η</米米l:米我></米米l:mrow> </mml:msub> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> η</米米l:米我><米米l:mo> - - - - - -</米米l:米o> <mml:mi> α</米米l:米我></米米l:mrow> </mml:msup> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> </mml:mrow> <mml:mo class="right"> )</米米l:米o> </mml:mrow> <mml:mo> +</米米l:米o> <mml:mi> b</米米l:米我><米米l:msub> <mml:mrow> <mml:mn mathvariant="bold"> 1</米米l:米n></米米l:mrow> <mml:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> {</米米l:米o> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> T</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> n</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:mi> C</米米l:米我></米米l:mrow> <mml:mo minsize="0.75em" maxsize="0.75em"> }</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mo> </mml:mo> <mml:mi> η</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mrow> <mml:mo class="left"> (</米米l:米o> <mml:mi> α</米米l:米我><米米l:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o class="right"> ]</米米l:米o> </mml:mrow> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>对于每一个<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M286"> <mml:mi> p</米米l:米我><米米l:mo> ∈</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>;然后链<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M287"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> Φ</米米l:米我></米米l:mrow> <mml:mrow> <mml:mi> t</米米l:米我></米米l:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>是subgeometrically遍历速度<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M288"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> +</米米l:米o> <mml:mi> t</米米l:米我><米米l:msup> <mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> - - - - - -</米米l:米o> <mml:mi> p</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> - - - - - -</米米l:米o> <mml:mi> α</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> /</米米l:米o> <mml:mi> α</米米l:米我></米米l:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 日志</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mi> t</米米l:米我><米米l:msup> <mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> b</米米l:米我></米米l:mrow> </mml:msup> <mml:mo> ∨</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n></米米l:math> </inline-formula>,在<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M289"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o> - - - - - -</米米l:米o> <mml:mi> α</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> <mml:mi> p</米米l:米我></米米l:mrow> </mml:msup> <mml:msup> <mml:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> 日志</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mi> V</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> b</米米l:米我></米米l:mrow> </mml:msup> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> ∨</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n><米米l:米o stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>规范。</p></年代t一个tement> </sec> <sec id="sec4"> <title>4所示。结论</t我tle> <p>通过这项研究,我们已经成功地依赖政府subgeometric率时间随机遍历性分析为中国十冶公司Foster-Lyapunov漂移条件。然而仍有更多的工作要做更多的研究尤其是在应用程序可能铺平道路。我们依赖的研究如康纳和堡(<xrgydF4y2B一个ef ref-type="bibr" rid="B1"> 3</xrgydF4y2B一个ef>]他们工作的结果应用于“驯服”连锁(技术上来说任何链subgeometric漂移<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M290"> <mml:mi> ϕ</米米l:米我><米米l:mo stretchy="false"> (</米米l:米o> <mml:mi> t</米米l:米我><米米l:mo stretchy="false"> )</米米l:米o> <mml:mo> ~</米米l:米o> <mml:mi> c</米米l:米我><米米l:mi> t</米米l:米我><米米l:msup> <mml:mrow> <mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mrow> <mml:mi> ln</米米l:米我><米米l:mo> ⁡</米米l:米o> <mml:mi> t</米米l:米我></米米l:mrow> <mml:mo stretchy="false"> ]</米米l:米o> </mml:mrow> </mml:mrow> <mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> α</米米l:米我></米米l:mrow> </mml:msup> </mml:math> </inline-formula>)。还研究连续时间马尔可夫链的可数状态空间控制(<xrgydF4y2B一个ef ref-type="bibr" rid="B11"> 11</xrgydF4y2B一个ef>)是应用于折扣和奖励平均最优标准。因此我们未来的研究将着眼于做任何可能的改进研究,提炼我们的结果和确定应用程序的结果。确实利息相同的发展等研究领域的“控制和优化理论”,“信息理论”和“排队论”。</p></年代ec> <back> <sec sec-type="conflict"> <title>利益冲突</t我tle> <p>作者宣称没有利益冲突有关的出版。</p></年代ec> <ref-list> <ref id="B3" content-type="article"> <label>1</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 侯</年代urn一个米e> <given-names> Z。</g我ven-names> </name> <name> <surname> 刘</年代urn一个米e> <given-names> Y。</g我ven-names> </name> <name> <surname> 张</年代urn一个米e> <given-names> H。</g我ven-names> </name> </person-group> <article-title> Subgeometric收敛率的连续时间马尔可夫过程</一个rt我cle-title> <source> <italic> 《应用概率</我t一个l我c><year> 2005年</ygydF4y2B一个ear> <volume> 42</gydF4y2B一个volume> <issue> 3</我年代年代ue> <fpage> 698年</fp一个ge> <lpage> 712年</lp一个ge> <pub-id pub-id-type="doi"> 10.1239 /日本/ 1127322021</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR2157514</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 27944487525</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B9" content-type="article"> <label>2</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Meyn</年代urn一个米e> <given-names> s P。</g我ven-names> </name> <name> <surname> Tweedie</年代urn一个米e> <given-names> r . L。</g我ven-names> </name> </person-group> <article-title> 依赖马尔可夫链的收敛标准</一个rt我cle-title> <source> <italic> 上应用的可能性</我t一个l我c><year> 1994年</ygydF4y2B一个ear> <volume> 4</gydF4y2B一个volume> <issue> 1</我年代年代ue> <fpage> 149年</fp一个ge> <lpage> 168年</lp一个ge> <pub-id pub-id-type="doi"> 10.1214 / aoap / 1177005204</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR1258177</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B1" content-type="article"> <label>3</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 康纳</年代urn一个米e> <given-names> 美国B。</g我ven-names> </name> <name> <surname> 堡</年代urn一个米e> <given-names> G。</g我ven-names> </name> </person-group> <article-title> 依赖Foster-Lyapunov subgeometric收敛标准的马尔可夫链</一个rt我cle-title> <source> <italic> 随机过程及其应用</我t一个l我c><year> 2009年</ygydF4y2B一个ear> <volume> 119年</gydF4y2B一个volume> <issue> 12</我年代年代ue> <fpage> 4176年</fp一个ge> <lpage> 4193年</lp一个ge> <pub-id pub-id-type="doi"> 10.1016 / j.spa.2009.10.001</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR2565563</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 70350620148</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B15" content-type="article"> <label>4</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Yuksel</年代urn一个米e> <given-names> 年代。</g我ven-names> </name> <name> <surname> Meyn</年代urn一个米e> <given-names> s P。</g我ven-names> </name> </person-group> <article-title> 依赖政府时间随机,随机漂移为马尔可夫链和应用在消除随机稳定渠道</一个rt我cle-title> <source> <italic> IEEE自动控制</我t一个l我c><year> 2013年</ygydF4y2B一个ear> <volume> 58</gydF4y2B一个volume> <issue> 1</我年代年代ue> <fpage> 47</fp一个ge> <lpage> 59</lp一个ge> <pub-id pub-id-type="doi"> 10.1109 / TAC.2012.2204157</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR3006706</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 84871806807</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B16" content-type="mastersthesis"> <label>5</l一个bel> <nlm-citation publication-type="thesis"> <person-group person-group-type="author"> <name> <surname> Zurkowski</年代urn一个米e> <given-names> r。</g我ven-names> </name> </person-group> <source> <italic> 李雅普诺夫分析在马尔可夫链的收敛率和随机时间依赖漂移(硕士论文)</我t一个l我c><year> 2013年</ygydF4y2B一个ear> <publisher-loc> 加拿大安大略省</publ是her-loc> <publisher-name> 皇后大学</publ是her-name> </nlm-citation> </ref> <ref id="B14" content-type="article"> <label>6</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Tuominen</年代urn一个米e> <given-names> P。</g我ven-names> </name> <name> <surname> Tweedie</年代urn一个米e> <given-names> r . L。</g我ven-names> </name> </person-group> <article-title> Subgeometric收敛率<我nl我ne-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M291"> <mml:mrow> <mml:mstyle> <mml:mi> f</米米l:米我></米米l:mstyle> </mml:mrow> </mml:math> </inline-formula>各态历经的马尔可夫链</一个rt我cle-title> <source> <italic> 应用概率的进步</我t一个l我c><year> 1994年</ygydF4y2B一个ear> <volume> 26</gydF4y2B一个volume> <issue> 3</我年代年代ue> <fpage> 775年</fp一个ge> <lpage> 798年</lp一个ge> <pub-id pub-id-type="doi"> 10.2307 / 1427820</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR1285459</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> ZBL0803.60061</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B7" content-type="book"> <label>7</l一个bel> <nlm-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Meyn</年代urn一个米e> <given-names> s P。</g我ven-names> </name> <name> <surname> Tweedie</年代urn一个米e> <given-names> r . L。</g我ven-names> </name> </person-group> <source> <italic> 马尔可夫链和随机稳定</我t一个l我c><year> 1993年</ygydF4y2B一个ear> <publisher-name> 施普林格</publ是her-name> <pub-id pub-id-type="doi"> 10.1007 / 978-1-4471-3267-7</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR1287609</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B5" content-type="article"> <label>8</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 毛</年代urn一个米e> <given-names> y . H。</g我ven-names> </name> </person-group> <article-title> 对连续时间马尔可夫链遍历度</一个rt我cle-title> <source> <italic> 中国科学:数学</我t一个l我c><year> 2004年</ygydF4y2B一个ear> <volume> 47</gydF4y2B一个volume> <issue> 2</我年代年代ue> <fpage> 161年</fp一个ge> <lpage> 174年</lp一个ge> <pub-id pub-id-type="doi"> 10.1360/02 ys0306</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR2068936</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 3142657342</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B10" content-type="article"> <label>9</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Nummelin</年代urn一个米e> <given-names> E。</g我ven-names> </name> <name> <surname> Tuominen</年代urn一个米e> <given-names> P。</g我ven-names> </name> </person-group> <article-title> Orey定理的收敛速度哈里斯的马尔可夫链的应用程序更新理论</一个rt我cle-title> <source> <italic> 随机过程及其应用</我t一个l我c><year> 1983年</ygydF4y2B一个ear> <volume> 15</gydF4y2B一个volume> <issue> 3</我年代年代ue> <fpage> 295年</fp一个ge> <lpage> 311年</lp一个ge> <pub-id pub-id-type="doi"> 10.1016 / 0304 - 4149 (83)90037 - 6</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR711187</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 0010862224</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B8" content-type="book"> <label>10</l一个bel> <nlm-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Meyn</年代urn一个米e> <given-names> s P。</g我ven-names> </name> <name> <surname> Tweedie</年代urn一个米e> <given-names> r . L。</g我ven-names> </name> </person-group> <source> <italic> 广义马尔可夫过程的正确性和哈里斯Reccurence</我t一个l我c><year> 1993年</ygydF4y2B一个ear> <publisher-loc> 普罗维登斯,美国国际扶轮</publ是her-loc> <publisher-name> 美国数学学会</publ是her-name> </nlm-citation> </ref> <ref id="B11" content-type="article"> <label>11</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Prieto-Rumeau</年代urn一个米e> <given-names> T。</g我ven-names> </name> <name> <surname> Hernandez-Lerma</年代urn一个米e> <given-names> O。</g我ven-names> </name> </person-group> <article-title> 统一的连续时间马尔可夫链控制的遍历性:一项调查和新结果</一个rt我cle-title> <source> <italic> 《运筹学</我t一个l我c><year> 2012年</ygydF4y2B一个ear> <pub-id pub-id-type="doi"> 10.1007 / s10479 - 012 - 1184 - 4</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 84863749563</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B4" content-type="article"> <label>12</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 刘</年代urn一个米e> <given-names> Y。</g我ven-names> </name> <name> <surname> 张</年代urn一个米e> <given-names> H。</g我ven-names> </name> <name> <surname> 赵</年代urn一个米e> <given-names> Y。</g我ven-names> </name> </person-group> <article-title> Subgeometric为连续时间马尔可夫链遍历性</一个rt我cle-title> <source> <italic> 《数学分析和应用程序</我t一个l我c><year> 2010年</ygydF4y2B一个ear> <volume> 368年</gydF4y2B一个volume> <issue> 1</我年代年代ue> <fpage> 178年</fp一个ge> <lpage> 189年</lp一个ge> <pub-id pub-id-type="doi"> 10.1016 / j.jmaa.2010.03.019</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR2609268</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> ZBL1197.60076</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 77951203768</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B13" content-type="article"> <label>13</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Spieksma</年代urn一个米e> <given-names> f·M。</g我ven-names> </name> </person-group> <article-title> 柯尔莫哥洛夫方程和爆炸性可数状态马尔可夫过程</一个rt我cle-title> <source> <italic> 《运筹学</我t一个l我c><year> 2012年</ygydF4y2B一个ear> <pub-id pub-id-type="doi"> 10.1007 / s10479 - 012 - 1262 - 7</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 84870614544</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> <ref id="B6" content-type="inproceedings"> <label>14</l一个bel> <nlm-citation publication-type="confproc"> <person-group person-group-type="author"> <name> <surname> Meyn</年代urn一个米e> <given-names> s P。</g我ven-names> </name> <name> <surname> Tweedie</年代urn一个米e> <given-names> r . L。</g我ven-names> </name> </person-group> <article-title> 的调查Foster-Lyapunov一般状态空间马尔可夫过程的技术</一个rt我cle-title> <conf-name> 车间的程序随机稳定和随机稳定</c在f- - - - - -n一个米e> <conf-date> 1993年6月</c在f- - - - - -d一个te> <conf-loc> 法国梅斯</c在f- - - - - -loc> </nlm-citation> </ref> <ref id="B2" content-type="article"> <label>15</l一个bel> <nlm-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 白臀</年代urn一个米e> <given-names> R。</g我ven-names> </name> <name> <surname> 堡</年代urn一个米e> <given-names> G。</g我ven-names> </name> <name> <surname> 冰川锅穴</年代urn一个米e> <given-names> E。</g我ven-names> </name> <name> <surname> Soulier</年代urn一个米e> <given-names> P。</g我ven-names> </name> </person-group> <article-title> 实际漂移subgeometric条件收敛率</一个rt我cle-title> <source> <italic> 上应用的可能性</我t一个l我c><year> 2004年</ygydF4y2B一个ear> <volume> 14</gydF4y2B一个volume> <issue> 3</我年代年代ue> <fpage> 1353年</fp一个ge> <lpage> 1377年</lp一个ge> <pub-id pub-id-type="doi"> 10.1214 / 105051604000000323</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> MR2071426</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d><pub- - - - - -我d pub-id-type="other"> 2 - s2.0 - 21244433219</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d></nl米- - - - - -c我tation> </ref> </ref-list> </back> </article> </body> </html>