分布约束最优停车

特别是，我们有{τ>tk}f（Xxτ）)=∞Pi=1NPj=1E{Y（k），Y，αtk=0}{Xxtk∈Ai}{Yy，αtk=yj}f（Xxτi，j）=∞Pi=1NPj=1E{Y（k），Y，αtk=0}{Xxtk∈Ai}{Yy，αtk=yj}Ehf（Xxτi，j）|Ftki≥∞Pi=1NPj=1E{Y（k），Y，αtk=0}{Xxtk∈Ai}{Yy，αtk=yj}vk+1（Xxtk，Yy，α（tk）- 3.= 呃(1)- Y（k），Y，αtk）vk+1（Xxtk，Yy，α我- 3.,式中，不等式源自第三步中的构造和关于Ftk的停止时间τij的独立性。然后我们总结f（Xxτ）)≥ EhY（k），y，αtkf（Xxtk）+（1- Y（k），Y，αtk）vk+1（Xxtk，Yy，α我- 3..结合上一步的主要不等式，我们得到了Vk（x，y）≥ Ef（Xxτ）)≥ EhY（k），y，αtkf（Xxtk）+（1- Y（k），Y，αtk）vk+1（Xxtk，Yy，α我- 3.≥ EhY（k），y，αtkf（Xxtk）+（1）- Y（k），Y，αtk）vk+1Xxtk，Yy，αtk我- 4. - 2（1+C）（1+x）.因为 α是任意的，然后我们得出≤ vk（x，y）。第6步：让τ∈ Ttkbe任意的停止时间，使得τ~Pr`=1y`δt`。定义amartingale asY（i）t:=E{τ=ti}|Ft所有t的分布约束最优停止≥ 0和每个我∈ {1，…，r}。我们可以很容易地检查每个i的Y（i）=yi∈ {1，…，r}andY（1）t+·Y（r）t=E{τ=t}+··+1{τ=tr}|Ft= 1.那么如果我们考虑Y是一个具有Y（i）t的Rr值鞅≡ 就我所知，0∈ {1，…，k- 1} 然后我们看到了Yt∈ K每个t≥ 最后，我们得到了y（k）tk=E{τ=tk}|Ftk= 1{τ=tk}∈ {0, 1}.然后根据鞅表示定理，存在α∈ 对于哪个Yy，αt=yt，对于所有t≥ 0，几乎可以肯定。我们可以计算[f（Xxτ）]=E{τ=tk}f（Xxtk）+1{τ>tk}f（Xxτ）= EhY（k），y，αtkf（Xxtk）+（1）- Y（k），Y，αtk）E[f（Xxτ）|Ftk]i.在{τ>tk}集上，我们有p[τ=ti | Ftk]=E{τ=ti}|Ftk= Y（i）tk每个i∈ {k+1，…，r}。几乎每ω∈ {τ>tk}，我们有[f（Xxτ）|Ftk]≤ vk+1Xxtk，Yy，αtk利用布朗运动的强马尔可夫性和平稳性。

然后wedee[f（Xxτ）]≤ EhY（k），y，αtkf（Xxtk）+（1）- Y（k），Y，αtk）vk+1（Xxtk，Yy，αtk）i≤ A.因为τ是一个任意的停止时间，这意味着vk（x，y）≤ 引理4的AB证明这个论点的主要思想是，我们可以取一个不满足Y（k）tk的受控过程Y∈ {0，1}，并在区间[tk]上修改它- h、 [tk]到扰动过程Y具有Ytk-h=Ytk-手摇,（k） tk∈ {0, 1}. 特别是，我们可以在不明显改变预期收益的情况下这样做。我们提请读者注意的一个关键想法是使用布朗桥牌[tk]-h、 tk]在建筑中。这种结构符合推论2的精神。虽然一开始可能会尝试类似于推论1的构造，但使用布朗桥而不是布朗增量可以让我们在论证中的关键点上设置条件。证据修正（x，y）∈ R×k、 为了便于记法，定义：=supα∈Atk-1hy（k），tk-1，y，αtkf（Xtk-1，xtk）+（1- Y（k），tk-1，y，αtk）vk+1Xtk-1，xtk，Ytk-1，y，αtk是t、 Ytk-1，y，αu∈ 驻科部队≥ tk-1Y（k），tk-1，y，αtk∈ {0，1}几乎可以肯定，和b:=supα∈Atk-1hy（k），tk-1，y，αtkf（Xtk-1，xtk）+（1- Y（k），tk-1，y，αtk）vk+1Xtk-1，xtk，Pk（Ytk-1，y，α（tk）是t、 Ytk-1，y，αu∈ 驻科部队≥ tk-1.分布约束最优停止24通过引理3，我们得到了vk（x，y）=A。在剩余的证明中，我们使用上标ttk-1为简洁起见，选择X和Y。第一步：让我们∈ Atk-1为任意控件，其中Yy，αu∈ 驻科部队≥ tk-1和y（k），y，αtk∈ {0，1}几乎可以肯定。注意，集{Y（k），Y，αtk=0}上的Yy，αtk=Pk（Yy，αtk），几乎可以肯定。ThenEhY（k），y，αtkf（Xxtk）+（1）- Y（k），Y，αtk）vk+1Xxtk，Yy，αtki=EhY（k），y，αtkf（Xxtk）+（1）- Y（k），Y，αtk）vk+1Xxtk，Pk（Yy，αtk）我≤ B.因为α是任意的，我们得出结论A≤ B.第2步：让α∈ Atk-1为任意控件，其中Yy，αu∈ 驻科部队≥ tk-1.几乎可以肯定。

对于任何0<h<tk- tk-1.定义一个随机变量M asM:=h-1/2maxtk-H≤s≤tk|Ws- Wtk-H- H-1（s）- tk+h）（Wtk- Wtk-h） |。那么M是Ftk可测的，并且在分布上等于[0,1]上标准布朗桥的绝对最大值，我们用ΦBB表示其累积分布函数。如果我们定义G:=σ（Ftk-H∪ σ（Wtk）），则M独立于G。定义一个随机向量YtkasY（k）tk:=1{M≤Φ-1BBY（k），Y，αtk-H}andY（k+1）：rtk:=Pk（Yy，αtk）-h） 1{M>Φ-1BBY（k），Y，αtk-H},其中Y（k+1）：rtkdenotes向量中的第（k+1）个到第（rth）个元素。让Y（i）tk≡ 0代表安怡∈ {1，…，k-1}. 然后，Ytkis Ftk是可测量的，并且具有以下关键特性：Ytk | Ftk-H=Yy，αtk-h、 我们还注意到{Y（k）tk=1}|G= Y（k），Y，αtk-h、 根据鞅表示定理，存在α∈ Atk-那么Yy，αU∈ 驻科部队≥ tk-1，Y（k），Y，αtk∈ {0,1}和Yy，αtk=最肯定的。然后我们可以计算y（k），y，αtkf（Xxtk）+（1- Y（k），Y，αtk）vk+1Xxtk，Yy，αtki=E{Y（k）tk=1}f（Xxtk）+1{Y（k）tk=0}vk+1Xxtk，Pk（Yy，αtk-h）= EE{Y（k）tk=1}|Gf（Xxtk）+E{Y（k）tk=0}|Gvk+1Xxtk，Pk（Yy，αtk-h）= EhY（k），y，αtk-hf（Xxtk）+（1- Y（k），Y，αtk-h） vk+1Xxtk，Pk（Yy，αtk-h）i、 但通过f和vk+1的连续性和增长界，我们可以将支配收敛定理应用于seelimδ→0+EhY（k），y，αtk-hf（Xxtk）+（1- Y（k），Y，αtk-h） vk+1Xxtk，Pk（Yy，αtk-h）i=EhY（k），y，αtkf（Xxtk）+（1）- Y（k），Y，αtk）vk+1Xxtk，Pk（Yy，αtk）i、 受分布约束的最优停止条件 > 0，我们可以把h>0取得足够小，使得h（k），y，αtkf（Xxtk）+（1- Y（k），Y，αtk）vk+1Xxtk，Pk（Yy，αtk）我≤ EhY（k），y，αtk-hf（Xxtk）+（1- Y（k），Y，αtk-h） vk+1Xxtk，Pk（Yy，αtk-h）i+= EhY（k），y，αtkf（Xxtk）+（1- Y（k），Y，αtk）vk+1Xxtk，Yy，αtki+≤ A+.因为 我们得出结论，α是任意的≤ A.C.命题证明。我们分几个步骤进行，每个步骤都将相邻点之间的值函数联系起来。

在前三点中，我们考虑时间变量向后移动，时间变量向前移动远离终端时间，最后跳到终端时间。在第四步中，我们讨论x中的任意扰动。在第五步中，我们讨论x的某个面内部的扰动k、 包括可能的面部跳跃。在第六步中，我们考虑从一个内部点跳到另一个表面上k、 最后，在最后一步中，我们将讨论如何将这些内容组合成一个连贯的范围。第一步：修正（t，x，y）∈ [tk]-1，tk]×R×kand t公司∈ [tk]-1，tk]使≤ t、 让α∈ 一个任意控件，其中Yt，y，αu∈ KforAll u≥ t、 几乎可以肯定。定义一种新的控制方法∈ A作为αu:=1{u≥t} αu，为了所有的u≥ t、 我们可以看到Yt，y，αu∈ KforAll u∈ [t，tk]和Yt，y，αtk=Yt，y，αtk，几乎可以肯定。Thenwk（t，x，y）≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i=EhY（k），t，Y，αtkf（Xt，xtk）+（1- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i-2ce | Wt- Wt |，其中C>0至少与f和vk+1的x中的Lipschitz常数一样大。但请记住，对于布朗运动，我们可以找到C>0，这样E | Wt- Wt|≤ CT- T1/2.利用这一点以及α是任意的这一事实，我们得出了dewk（t，x，y）- wk（t，x，y）≤ 2CT- T1/2.第二步：修正（t，x，y）∈ [tk]-1，tk）×R×坎特∈ [tk]-1，tk）使得≤ t、 定义η：=rtk- ttk- T≥ 1.让我们∈ A可以是一个任意的控件，y，αu∈ KforAll u≥ t、 几乎可以肯定。定义新的控制α∈ A为αu:=ηατu，分布约束最优停止，其中τu:=η（u- t） +t对于所有u∈ [t，tk]。注意αu∈ Fτuby定义。因为τu≤ u、 然后我们有αu∈ Fusoit是一种适应性控制。

我们也可以通过It^o积分的时变性质来检验Wtk- Wt，Yt，y，αtk（d）=η-1（Wtk）- Wt），Yt，y，αtk.然后Yt，y，αu∈ KforAll u∈ [t，tk]，几乎可以肯定，通过k鞅的性质。那么α是容许控制。我们可以计算（t，x，y）≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i-2C（1）- η-1） E | Wtk- Wt |。现在，我们开始定义这个不等式的最终项。首先，注意到x7的凸性→ 十、-1/2，我们可以得到一个有界η-1=1+t- ttk- T-1/2≥ 1.-T- t2（tk- t） 。此外，对于足够大的C>0，仅取决于tr，我们有E | Wu |≤ C代表allu∈ [0，tr]。然后我们可以估计（1）- η-1） E | Wtk- Wt|≤ 2Ct- t2（tk- t） 。把这些放在一起，回想α是任意的，我们得出Dewk（t，x，y）- wk（t，x，y）≤ 4C | t- t|tk- t、 第三步：修正（t，x，y）∈ [tk]-1，tk]×R×kand-letα∈ A可以是对whichYt，y，αu的任意控制∈ KforAll u≥ t、 几乎可以肯定。通过f和vk+1在x中的Lipschitz连续性，我们可以得到hy（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i≤ EhY（k），t，y，αtkf（x）+（1）- Y（k），t，Y，αtk）vk+1（x，Pk（Yt，Y，αtk））i+CE[|Wtk- 我们可以用C | tk来限制误差项- t | 1/2。通过将包含vk+1的项视为应用于凹函数的一个观察映射（参见命题3的证明），并注意到受控过程Y是鞅，我们可以将Jensen不等式应用于seehy（k），t，Y，αtkf（x）+（1）- Y（k），t，Y，αtk）vk+1（x，Pk（Yt，Y，αtk））i≤ ykf（x）+（1）- yk）vk+1（x，Pk（y））≤ wk（tk，x，y）。但由于α是任意的，我们得出结论WK（t，x，y）- w（tk，x，y）≤ C | tk- t | 1/2。分布约束最优停止274步：固定（t，x，y）∈ [tk]-1，tk]×R×坎德x∈ R.Letα∈ A是一个任意的控制项，y，αu∈ KforAll u≥ t、 几乎可以肯定。

然后我们立即计算wk（t，x，y）≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i- 2C十、- 十、,其中C>0至少与f和vk+1的x中的Lipschitz常数一样大。因为α是任意的，所以我们得出dewk（t，x，y）≥ w（t，x，y）- 2C十、- 十、.第五步：修正（t，x，y）∈ [tk]-1，tk]×R×k、 现在假设y不是k、 或相当于每个坐标中的值小于一。表示byI:={i∈ {1，…，r}| yi=0}，J={1，…，r}\\t其中y分别为零和非零的不相交坐标集合。设δ：=mini∈J{min{| yi |，|1- yi |}>0。让我来∈ kbe任何一点- yk`∞≤ δ. 让α∈ A是一个任意的控制项，y，αu∈ KforAll u≥ t、 几乎可以肯定。注意，α几乎肯定等于零，对于I.定义一个新的控制α中的每个坐标∈ A作为αu:=（1）- 基尼- yk1/2`∞) 注意，通过构造我们有min（Y（i），t，Y，αu，1- Y（i），t，Y，αu）≥ δky- yk1/2`∞每一次我∈ 类似地，我们有min（Y（i），t，Y，αu，1- Y（i），t，Y，αu）≥ δky- yk1/2`- 基尼- yk`≥ (δ - 基尼- yk1/2`）ky- yk1/2`≥ 0，为了所有的你≥ t、 几乎可以肯定。再加上观察到α在I的每个方向上等于零，这意味着Yt，y，αu∈ KforAll u≥ 我几乎不能肯定。此外，我们还有kyt，y，αtk- y，y，αtkk`∞≤ 基尼- yk`∞+1.-q1- 基尼- yk1/2`∞kYt，y，αtk- yk`∞≤ 基尼- yk`∞+ Rky- yk1/2`∞≤ （1+R）ky- yk1/2`∞, （C.1）几乎可以肯定，其中R>0是集合的直径k、 在继续具体的界限之前，我们注意到一个关于透视图的估计。对于任何一个y，y∈ k如yk，yk6=1，我们有kpk（y）- Pk（y）k`∞≤1.- yk+1- yk基尼- yk`∞.也就是说，透视图不能用Lipschitz表示为yk，yk→ 1.

利用这一点以及命题2中关于vk+1的H¨older连续性和界，我们可以仔细地对|（1）进行约束- yk）vk+1（x，Pk（y））- (1 - yk）vk+1（x，Pk（y））|≤ min{1- yk，1- yk}|vk+1（x，Pk（y））- vk+1（x，Pk（y））|+|yk- yk |（|vk+1（x，Pk（y））|+|vk+1（x，Pk（y））|）≤√2Cky- yk1/2`∞+ 2C（1+| x |）ky- yk`∞.分布约束最优停止28在yk，yk6=1的情况下很容易看到该界限，当其中一个等式精确为零时，可以仔细检查该界限。然后使用上面的界限以及f上的增长界限，我们检查（t，x，y）≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i-嗯√2CkYt，y，αtk- y，y，αtkk1/2`∞+ 3C | Xt，xtk | kYt，y，αtk- y，y，αtkk`∞i、 应用H¨older不等式和（C.1）中的几乎确定界，我们将最后一项由eh | Xt，xtk | kYt，y，αtk进行了界定- y，y，αtkk`∞我≤x+tr1/2（1+R）1/2ky- yk1/4`∞.把所有这些放在一起，回顾α是任意的，我们得出dewk（t，x，y）- wk（t，x，y）≤ C（1+| x |）ky- yk1/4`，用于足够大的常数C>0。如果y是顶点，那么唯一允许的控制是α≡ 0，所以我们直接从命题2得到了任何邻近的y的相同界（实际上是更好的界）。第6步：至少将一些δ>0的值固定到δ<1/（2r）。固定（t，x，y）∈ [tk]-1，tk]×R×k假设（yk，…，yr）中至少有一个元素在（0，δ）中。表示byI:={i∈ {1，…，r}| yi=0}，J=我∈ {1，…，r}|yi∈ (0, δ),K:={1，…，r}\\（I）∪ J） y分别为零、“小”和“大”的不相交坐标集合。雷蒂∈ kbe将J中y的元素设置为零，并将这些值添加到单个索引κ中得到的任何点∈ K.那么在所有坐标I中都是零∪ J和非零（和“大”）inall坐标K。

此外，肯塔基- yk`∞≥ δ、 所以δ≤ 基尼- yk1/2`∞.让α∈ A可以是一个任意的控件，y，αu∈ KforAll u≥ t、 几乎可以肯定。注意，对于I中的每个坐标，α几乎肯定等于零。同样，因为Yt，y，α的每个分量都是鞅，我们得出δ≥ yi=EhY（i），t，y，αtki≥ 每个i的δPhY（i），t，y，αtki∈ 也就是说，PhY（i），t，y，αtk≥ δi≤ δ、 所以Yt，y，α的第i坐标保持很小的概率。定义α∈ A通过移动坐标i处的α值∈ J到κth坐标。注意，通过构造，Y（κ），t，Y，αu=Y（κ），t，Y，αu+Xi∈JY（i），t，y，αu∈ [0,1]和Y（κ），t，Y，αu∈ KforAll u≥ t、 几乎可以肯定。此外，对于每个i，我们有y（i），t，y，αtk=y（i），t，y，αtk，分布约束的最优停止时间∈ 我∪ K\\{κ}，和pHY（i），t，Y，αtk- Y（i），t，Y，αtk≥ δi≤ 每个i的δ∈ J.最后，我们有Y（κ），t，Y，αtk- Y（κ），t，Y，αtk≥ rδi≤ δ.总之，我们有phkyt，y，αtk- y，y，αtkk`∞≥ 2rδi≤ δ.然后使用与前一步相同的边界，我们现在可以计算wk（t，x，y）≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i≥ EhY（k），t，y，αtkf（Xt，xtk）+（1）- Y（k），t，Y，αtk）vk+1（Xt，xtk，Pk（Yt，Y，αtk））i-嗯√2CkYt，y，αtk- y，y，αtkk1/2`∞+ 3C | Xt，xtk | kYt，y，αtk- y，y，αtkk`∞i、 右侧的第一项可能以hkyt，y，αtk为界- y，y，αtkk1/2`∞我≤√2 PhkYt，y，αtk- y，y，αtkk`∞≥ 2rδi+√2rδ≤p2（r+1）δ1/2。类似地，第二项可以是有界的asEh | Xt，xtk | kYt，y，αtk- y，y，αtkk`∞我≤p | x |+trEhkYt，y，αtk- y，y，αtkk`∞i1/2≤ 2p（|x |+tr）（1+r）δ。把这些放在一起，回忆α是任意的，δ是任意的≤ 基尼- yk1/2`∞, 我们得出dewk（t，x，y）- wk（t，x，y）≤ C（1+| x |）ky- yk1/4`，用于足够大的常数C>0。第7步：我们现在简要说明如何将所有这些估计值放在一起。我们分别考虑每个坐标中的H？older估计，因为它们最终可以使用三角形不等式进行组合。

注意，x中的Lipschitz正则性已经被证明。在时间方向上，fix（t，x，y）∈ [tk]-1，tk]×R×坎特∈ [tk]-1，tk]一些小的θ>0使得θ<tk- tk-1.如果没有≤ t、 第1步我们得到了wk（t，x，y）- wk（t，x，y）≤ 2CT- T1/2.如果t<t=tk，那么在第3步我们得到了wk（t，x，y）- wk（t，x，y）=wk（t，x，y）- wk（tk，x，y）≤ C | tk- t | 1/2=CT- T1/2.现在假设t<t≤ tk- |T- t | 1/2。第二步，我们得到了wk（t，x，y）- wk（t，x，y）≤ 4C | t- t|tk- T≤ 4C | t- t | | t- t | 1/2=4C | t- t | 1/2。分布约束最优停止30在下一步中，我们关键地看到（1/4）-H？older系数出现在哪里。如果tk-|T-t | 1/2≤t<t<t然后通过应用步骤1和步骤3，我们看到（t，x，y）- wk（t，x，y）≤ [wk（t，x，y）- wk（tk，x，y）]+[wk（tk，x，y）- wk（t，x，y）]≤ C | tk- t |+4C | tk- t | 1/2≤ C|t- t | 1/2+4C | t- t | 1/4。最后，我们考虑t的情况≤ tk- |T- t | 1/2≤ t<tk。通过应用步骤1到3中的每一步，我们可以看到（t，x，y）- wk（t，x，y）≤ [wk（t，x，y）- wk（tk）- |T- t | 1/2，x，y）]+[wk（tk- |T- t | 1/2，x，y）- wk（tk，x，y）]+[wk（tk，x，y）- wk（t，x，y）]≤ 4C|tk- |T- t | 1/2- t | | t- t | 1/2+C | t- t | 1/4+4C | tk- t | 1/2≤ 4C | t- t | | t- t | 1/2+C | t- t | 1/4+4C | t- t | 1/4≤ （C+8C）|t- t | 1/4。当然，通过取一个足够大的常数，我们可以将所有| t- t | t的1/2项- t | 1/4项，并在t中获得（1/4）-H¨older连续性结果。（1/4）-H¨older连续性结果遵循与时间扰动情况类似的方法。关键的想法是，第5步和第6步告诉本地如何以（1/4）-H–older的方式扰动，包括进入和离开边界。

然后通过一个掩盖的论点和kwe可以得到连接任意两点的局部H¨older不等式的有限链，并得到足够大常数的结果。定理2的D证明这个论点本质上是引理3证明中给出的与时间相关的版本。这里的关键思想是利用集合的凸性K和wkin y的凹度，以建造一个-次优控制，将状态约束满足为从附近点开始的可容许控制的凸组合。证据固定（t，x，y）∈ [tk]-1，tk）×R×kND 0<h<tk- tk-1.为了便于记法，定义θ：=tkandA:=supα∈阿泰克τα，Xt，xτα，Yt，y，ατα是t、 y，y，αu∈ KforAll u≥ t、 不等式wk（t，x，y）≤ 即使在这些状态约束的情况下，A也是一个标准结果。我们让感兴趣的读者阅读[26]中的定理3.3，转而关注相反的不等式。步骤1：修复任意 > 0.选择足够大的R>0≤U≤t+h|Wu- Wt|≥ R#≤ .因为wk在紧集[t，t+h]×[x]上是连续的-R、 x+R]×k、 我们可以发现δ>0足够小wk（t，x，y）- wk（t，x，y）≤ 适用于所有人（t，x）∈ [t，t+h]×[x- R、 x+R]和y，y∈ 太棒了- yk`∞≤ δ.同样，由于f在x中是Lipschitz，vk+1在y中是Lipschitz，因此我们可以发现δ>0，可能比以前小，因此我们也f（x）- f（x）+vk+1（x，y）- vk+1（x，y）≤ 对于所有的x，x∈ R和y∈ k+1就是这样十、- 十、≤ δ.最后，取δ>0，可能更小，因此δ1/2+δ1/4≤ .第2步：我们首先在[t，t+h]上构建有限网格，然后kwhich将充分利用工作的连续性。设∧：={ti}Mi=1b是[t，t+h]中网格点的有限集合，其关键性质是∈ [t，t+h]，存在i∈ {1, . . .