对于0dtasdt，使得Lps'tqd1，ξ0，Д：δZ^r0，1sdR丰富函数，以下适用于所有a P K：Saδps，t，Дq`ξLps'tqξSaδps，t，Д`ξqdSaδps，t，Дq`ξ，其中L是f.Proof的Lipschitz常数。设v“Saδps，t，Дq，w”v `ξ'Lps'tqξ。由于v满足（3.15），我们有，fork P Z和0alaNaδ，Spk，l，wk，l，aδwk，l，a`，δwk，l，aδwk，l，Д`ξq\'\'Lps'tqξ\'ps'tq pfpt，xk，vk，l，aδvk，lq'f pt，xk，wk，l，aδvk，lqq。由于f在其第三个变量中不增加，且Lipschitz连续，我们得到：Spk，l，wk，l，aδwk，l，a`，δwk，l，aδwk，l，Д\'ξqd0。用l“0或l”Naδ和S代替S进行的相同计算给出了bpk，l，wk，l，δwk，l，`,δwk，l，δwk，l，Д\'ξqd0，以及命题6.2中给出的比较定理给出了wk，ldSaδps，t，Д\'ξqk，lfork P Z和l P t0，Naδu。命题3.2中的比较结果给出了引理的第一个不等式。第二个也得到了类似的证明。lProposition 3.7（一致性）。设ДP Cbpr0，T s^R^R，Rq，pt，x，pq P r0，T q^R^p0，1q。我们有，用（3.6）中的符号表示：ˇˇtj\'1ˇtjpSpπ，δ，tj，xk，q，Дptj，xk，qq\'ξ，Д\'ξq\'supaPKr\'Dapt，x，pq\'F pt，x，νpt，x，pq，aхpt，x，pq，aхpt，x，pqsˇˇˇni0，asδ，|π| ni0满足（3.22）–（3.24），π^δZ^r0，1s Q ptj，xk，qqˇpt，x，pq，ξni0。证据