鞅不等式与确定性不等式

2022-5-5 11:29:48

鞅不等式与确定性对策*Marcel Nutz+2014年10月21日摘要我们从分析的角度研究了鞅不等式，并证明了一般鞅不等式可以简化为少数变量中的一组确定性不等式。一个非线性算子在一个简单的鞅上精确地确定了一个最优的凹点。我们的结果解释了在稳健对冲的背景下，数学金融中出现的某些不平等现象。鞅不等式；凹面信封；不动点；稳健对冲；Tchakaloff的2010年主题分类理论60G42；49L201简介鞅不等式在概率论和分析的许多领域都很丰富；参见例如Burkholder的调查[11]，了解大量文献。我们从鸟瞰的角度研究离散时间鞅的一般不等式，并将它们与某些确定性不等式联系起来。事实上，我们应该看到，每一个鞅不等式都可以通过*维也纳大学数学系，马蒂亚斯。贝格尔博eck@univie.ac.at.Research由FWF拨款P21209和P26736支持。+哥伦比亚大学统计与数学系，mnutz@columbia.edu.NSF资助的研究DMS-1208985。我们非常感谢约瑟夫·泰奇曼（Josef Teichman）启发了关于Tchakaloff理论的讨论，这导致了文本中所述的鞅版本。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:29:51

我们还要感谢副主编埃尔汉·贝拉克塔尔和两位匿名推荐人的建设性评论。两个确定性的，事实上，鞅不等式在本质上不是非常概率的。鞅不等式的一个简单例子是Doob的极大二次线性，表示运行的最大M*T:=sup0≤T≤满足的任意鞅的T | Mt |km*Tk≤ 2kMTk，其中k·kis是L-范数。我们可以用E[f（MT，M）的形式来表达*T） ]≤ 0表示合适的函数f；也就是说，f（x，y）=y- 4 | x |。我们要考虑的鞅不等式的一般形式是isE[f（ZT）]≤ a、（1.1）其中a是常数，Z=（Zt）t∈Nis是定义为M函数的合适状态过程；在前面的例子中，Z=（M，M*). 更准确地说，让Xbe成为一个向量空间（我们的鞅在其中取值），让Z成为aset，用作状态空间。然后Z值过程Z由一个函数φ：Z×X确定→ Z通过Zt+1=φ（Zt，Mt+1- Mt）和一些初始值z。同样在这个例子中，φ（x，y，d）=（x+d，y∨|x+d |）通过添加下一个增量来更新M，并在必要时增加运行最大值。给定f:Z→R和φ，我们可能会问，是否存在一个（1.1）适用于所有T的有限常数asuch∈ N和所有具有规定初始值的鞅，以及a的最佳（最小）值是什么。下面是一个可能的答案。考虑作用于函数g:Z的算子A→R通过预先与φ合成，并在与鞅增量相对应的变量的原点处取凹包络：Ag（z）=g（φ（z，·））（0），z∈ Z.如果u是支配f的固定点；也就是说，Au=u和u≥ f，thena=u（z）是（1.1）中的容许常数。在自然条件φ（z，0）=z下，一个简单的单调性参数表明a有一个极小的固定点U支配f。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:29:54

该固定点可通过迭代A并传递到极限u=A从f中获得∞f:=limn→∞我们将看到a=u（z）是（1.1）中的最佳常数。在这个意义上，我们可以说鞅不等式可以简化为两个确定性不等式≥ Au和u≥ f、（给你≥ 实际上，我们可以注意到，u定义了一个更强的鞅不等式。也就是说≥ f、 E[u（ZT）]≤ u（z）比原来的不等式E[f（ZT）]≤ u（z）具有最优常数，我们注意到不等式u≥ f在大多数感兴趣的情况下都是严格的。回到我们的例子，我们可以检查最小执行点是否由u（x，y）=（y）给出- 4 |x |如果|x |<y/2,2y- 4 | x | y如果|x |≥ y/2，所以对应于初始值z=（x，| x |）的最佳常数是a=-2 | x |，而u的知识实际上进一步加强了Doob的最大不等式（推论4.3）。当然，也有非常相关的鞅不等式，它们只适用于某些特定类别的鞅；例如，非负鞅，增量为1的鞅，等等。许多这样的不等式可以在我们的框架内通过适当选择Z并赋值来实现-∞ 在合适的子集上定义函数f（另见第4.2节）。所有这些都与概率论或测度论无关；事实上，后者似乎只是为了明确预期。为了清楚地区分这一方面（同时也为读者节省一些可测量的选择参数），我们将发展简单鞅的理论（即，包含无穷多个值的鞅），以便所有期望值实际上都是有限和。在大多数有趣的情况下，f和φ（以及固定点u）具有一些连续性，通过后验近似可以传递到一般马尔可夫。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

能者818

2022-5-5 11:29:57

然而，我们也提供了一个更符合本文精神的替代论点，它甚至适用于在X是有限维的限制下仅可测量的函数。也就是说，我们设计了Chakalo-Off定理的鞅版本，指出给定一个可测（可积）函数G:（Rn）T→ R和n维鞅M，我们可以找到一个简单的鞅n，使得E[g（n，…，NT）]=E[g（M，…，MT）]，而且n定律的（有限）支持在于M定律的支持。注意，这里有一个实际的等式；不需要近似值。本文概述的理论可以被看作是D.L.Burkholder的几篇关于鞅不等式的证明策略的一般公式，其中Z由X、它的运行极大值和它的平方函数组成。也就是说，他使用了一类函数u，大致对应于我们所说的固定点，在各种鞅不等式中找到了可容许的或尖锐的康斯坦茨，事实上，他似乎至少知道这里给出的结构的一部分；具体参见[13]中的定理2.1，以及[10,11,12]等，以及Os,ekowski[22,23]最近的专论评论文章。从霍布森[17]开始，在数学金融领域出现了一系列关于鞅不等式的不同文献。在这种情况下，过程X采用RNA中的值，代表n种可交易证券的贴现价格，而f（ZT）被视为在固定时间范围T到期的期权。问题是找到一个最小常数a和一个可预测过程H（即，Ht是X的函数。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:00

，Xt-1）这样a+TXt=1hHt，Xt- Xt-1i≥ f（ZT），（1.2），其中内积hHt，Xt-Xt-1 I被解释为价格Xt产生的收益或损失-1.在持有证券单位时对XT进行变更。因此，如果a作为期权的价格，交易策略H允许以稳健（无模）的方式对冲f（ZT）的风险。我们观察到，通过对双方的期望，（1.2）意味着鞅不等式e[f（ZT）]≤ a、沿着这些思路，我们得到了几个鞅不等式的“路径”证明。关于稳健融资的这些及相关结果，请参见[1,2,4,5,7,14,16,21]等；在霍布森[18]和奥博霍[20]的调查中可以找到更多的参考文献。特别是，Bouchard和Nutz[6]的一个结果表明，有限时间内的任何鞅不等式都可以与（1.2）类型的不等式相关联。然而，这里使用的机制（用于处理更一般的情况）只产生了H的非建设性存在结果，对不等式的性质几乎没有深入了解。我们将看到，在本质上，H被明确地确定为u（φ（z，·））的导数.本文的其余部分组织如下。在第2节中，我们考虑了固定时间范围T的鞅不等式，并通过动态规划将最优常数与某些凹包络联系起来。第3节主要讨论不明确依赖于时间范围T的鞅不等式；这种时间同质性的进一步条件导致了上述定点考虑。本文还讨论了与数学金融的联系。在第四节中，我们用两个简单的例子来说明这个理论，Doob的极大Lp不等式和Burkholder的不等次鞅不等式。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

点击查看更多内容…

2022-5-5 11:30:03

第5节总结了Tchakalo-off定理的鞅版本。2鞅不等式和凹包络这将便于处理在扩展实线性中取值的函数=[-∞, ∞]. 大会∞ - ∞ = -∞ （2.1）始终使用；特别是在凹度和积分的定义方面。设X为实向量空间。给定一个函数g:X→R、我们定义了它的凹面信封g: 十、→R是控制g，org的最小凹函数（x） =在f{ψ（x）|ψ：x中→ R是凹的，ψ是凹的≥ g} ，x∈ 我们需要在几个变量上取连续的信封。给定一个整数t≥ 0和g:Xt+2→R、我们首先介绍函数Gt:Xt+1→R、 gt（x，…，xt）：=g（x，…，xt，·）（xt）；换言之，我们传递到最终变量中的凹包络，并在p最终变量处计算结果函数。为了一个整数≥ 0，然后我们可以定义成分（T）=o · · · o T-它将T+1变量的函数映射为一个变量的f函数。我们的第一个目标是，对于固定的时间范围T，确定由f:XT+1定义的鞅不等式的最佳常数→R表示连续包络f（T）。给定x∈ 十、我们将用MT（X）表示X值简单鞅M，…，的所有定律的集合，MTsatisfyingM=x。注意，在鞅M的原概率空间上的任何期望E[f（M，…，MT）]都可以表示为f的期望u[f]：=Eu[f]：=Rf du，根据μM定律；后一种观点在续集中会更方便。我们强调，积分∈ MT（x）是一个有限的和，因此不需要任何可测量的条件，而且，根据（2.1），我们有u[f]=-∞ 如果u[f+]=u[f-] = ∞ .一般情况并不比X=R更困难。此外，以下大部分内容适用于复杂情况，没有变化。提议2.1。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:07

设f:XT+1→ R.Thenf（T）（x）=supu∈MT（x）u[f]，x∈ X.（2.2）或，用不同的词陈述：证明一个不等式[f（M，…，MT）]≤ a适用于所有鞅M，从xboils开始，直到检查f（T）（x）≤ a、事实上，f（T）（x）是最佳常数。作为证明的第一步，我们考虑T=1的情况。注意到m（x）只是x上所有概率度量u的集合，具有有限的支持度，重心u[IdX]=x，以下恒等式本质上是ical类（见Kemperman[19]）；为了完整起见，我们陈述了细节。引理2.2。让g:X→ R.THNSUPu∈M（x）u[g]=g（x），x∈ X.证据。让x∈ X和u∈ M（x）； ≤ u[g] =Xλig（十一）≤ G（x）作为g是凹面的，显示supu∈M（x）u[g]≤ G（x）。要查看质量，让x，x∈ X和λ∈ (0, 1). 如果ε>0，则存在εi∈ M（xi）使（具有∧ b:=min{a，b}）μεi[g]≥ ε-1.∧ supu∈M（xi）u[g]- ε.利用λμε+（1- λ） uε∈ M（λx+（1）- λ） x），我们得到λsupu∈M（x）u[g]+（1- λ） supu∈M（x）u[g]≤ lim supε→0λμε[g]+（1）- λ） με[g]≤ supu∈M（λx+（1）-λ） x）u[g]，表明x 7→ supu∈M（x）u[g]为凹形。鉴于supu∈M（x）u[g]≥δx[g]=g（x），g的定义（x）现在产生supu∈M（x）u[g]≥ G（x）。广义视界T情形的推广可以理解为一个动态规划参数，其中鞅定律在随机控制问题中扮演着控制的角色。给定g:Xt+2→ R、因此，我们引入（值）函数et（g）：Xt+1→ R、 Et（g）（x，…，xt）：=supu∈M（xt）u[g（x，…，xt，·）]，以及组分Et:=Eto · · · o ET-它将T+1变量的函数映射为T+1变量的函数。引理2.3。设f:XT+1→R.然后（E）o · · · o ET-1）（f）（x）=supu∈MT（x）u[f]，x∈ X.（2.3）证明。我们首先假设f从上方有界。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:11

看到不平等“≤”, 设ε>0。对于所有0≤ t<t和（x，…，xt）∈ Xt+1，设ut（x，…，Xt）∈M（xt）为ut（x，…，xt）[Et+1（f）（x，…，xt，·）]≥ supu∈M（xt）u[Et+1（f）（x，…，xt，·）]- ε.我们可能会在Xt+1上看到一个随机内核，它配备了离散∑场。回顾我们仅使用具有有限支持的度量，我们可能会形成产品度量με：=（u · · · uT-1）（x）是由Fubini定理得到的MT（x）的一个元素。然后我们有（E）o · · · o ET-1）（f）（x）≤ εT+με[f]≤ εT+supu∈MT（x）u[f]。由于ε>0是任意的，这就产生了所声称的不等式。看到“质量”≥ ”, 菲克斯∈ X并注意到∈ MT（x）可分解为产品u=u u · · · uT-1度量单位u∈ M（x）和内核ut xt，使得ut（x，…，xt）∈ M（xt）代表所有x，xt∈ X.根据运营商Et的定义，我们有（Eo · · · o ET-1）（f）（x）≥ (u u · · · uT-1） [f]=u[f]，权利要求如下：∈ MT（x）是任意的。最后，对于一般函数f，我们观察到（2.3）的两边沿着R值函数的递增序列（fn）是连续的，其性质为{fn=-∞} = {fn+1=-∞}, N≥ 1.因此，我们可以将上述内容应用于f∧ n并作为n传递到极限→ ∞.命题2.1的证明。因为引理2.2表明命题2.1是引理2.3.3时间齐次鞅不等式let x的直接结果∈ 十、设X=X，设（Xt）t=1,2，。。。是X×X×·上的坐标映射过程。此外，设Z为非空集，fix a函数φ：Z×x→ 给定∈ Z、我们定义了Z值过程Z=（Zt）t=0,1，。。。byZ=z，Zt+1=φ（Zt，Xt+1- Xt）。我们为所有函数Z的s集写Z→ R、配备了逐点偏序和收敛性，并定义了算子A:RZ→ RZviaAg（z）：=[go φ（z，·）]（0），z∈ Z.此外，我们还为T折构图A写了一篇文章o · · · o A.

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

何人来此

2022-5-5 11:30:16

使用这种表示法，命题2.1可以重新表述如下。引理3.1。让f:Z→R和let（x，z）∈ X×Z.ATF（Z）=supu∈MT（x）u[f（ZT）]。这个引理看起来可能没有命题2.1那么一般，命题2.1允许对X路径的一般依赖，但让我们提到，通过选择z=N×xnw，我们可以安排事情，使Zt=（t，X，X，…，Xt，0，0，…）。从现在开始，我们主要研究适用于任意时间范围T的鞅不等式。结构条件φ（z，0）=z，z∈ Z（3.1）在这种情况下似乎是很自然的，我们将此作为一个长期的假设。然后，算子A具有以下单调性性质。引理3.2。设g，g′：Z→R.Then（i）Ag≥ G（ii）g≥ g′意味着银≥ Ag′。证据鉴于（3.1），我们有ag（z）=g（φ（z，·））(0) ≥ g（φ（z，0））=g（z），z∈ Z.第二个性质源自.定理3.3。让f:Z→ R.然后是limitA∞f（z）：=limn→∞Anf（z），z∈ Zexists-inR与函数A∞F∈ RZis被描述为A中占主导地位的最小执行点。备注3.4。引理3.1，A∞f（z）是由f，φ和z决定的鞅不等式的最优视界独立常数f。事实上，引理3.1自然地扩展到a∞f（z）=supu∈M∞（x） u[f（Z∞)]如果我们用M表示∞（x） x值单鞅（Mt）t的所有定律集∈N满足M=x。注意，任何这样的鞅最终都是恒量，so，Z∞:= limnZnis定义良好的u-a.s.适用于所有u∈ M∞（x）。定理3.3的证明。它来自引理3.2 thatf≤ Af≤ · · · ≤ Anf，n≥ 1.特别是，限制A∞f（z）：=limn→∞Anf（z）∈R代表所有z∈ 接下来，让我们观察一下，如果（gn）n≥1.Rzi是一个不减损的序列，然后Limingn=（limngn）.事实上，这两个限制都在增加，因此得到了很好的界定，而且立马暗示李明N≤ （林格南）.

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

大多数88

2022-5-5 11:30:20

相反，李明Nisnaval作为凹函数的逐点极限，并支配lim-gn，因此limngN≥ （林格南）. 利用, 我们看到了∞f（z）=limnAn+1f（z）=limn[Anfo φ（z，·）]（0）=[limnAnfo φ（z，·）]（0）=[A]∞Fo φ（z，·）]（0）=AA∞f（z）代表所有z∈ Z就是∞f是一个固定点。如果g∈Rzi是另一个固定点≥ f、那么引理3.2 yieldsthatg=Ang中A的单调性≥ Anf，n≥ 所以是g≥ A.∞f通过达到极限。“简单”表示支持是XN的有限子集。备注3.5。让我们来看看→ R是任何函数，使得f≤ u和Au≤ u（因此Au=u；参见引理3.2）。然后是SUPu∈M∞（x） u[f（Z∞)] = A.∞f（z）≤ A.∞u（z）=u（z）；也就是说，为了证明鞅不等式在a的右边成立，必须证明a的一个固定点u支配f和满意度（z）≤ a、正如引言中提到的，这与伯克霍尔德对几个特定鞅不等式所使用的证明策略的一般公式相对应。对于上述结论，没有必要确定u是最小的固定点；然而，这个属性保证u（z）是最佳的右手侧ide。找到一个明确的公式∞f（或任何其他固定点），研究A所保留的f的性质是很有必要的。我们给出一个简单的例子来说明这一点（另见第4.1节）。备注3.6。假设Z是一个圆锥体，φ是一次正齐次的。如果f∈RZis的正齐次度p>0，然后soare Af和A∞f、的确，让λ≥ 0; thenAf（λz）=f（φ（λz，·））（0）=inf{ψ（0）|ψ（λ·）≥ f（φ（λz，λ·））}=inf{ψ（0）|ψ≥ λpf（φ（z，·））}=inf{λpψ（0）|ψ≥ f（φ（z，·））}=λpAf（z），其中in fima取所有凹函数ψ：X→R

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:25

A的同质性∞f紧随其后。接下来，我们想从抽象的角度解释与数学金融中出现的某些不等式之间的联系，我们将看到后者只是a引入的凹性的表现。为了后续讨论的目的，我们假设我们得到了一个对偶对X，X′和一个分离对h·，·i→ R、超梯度h（d）在d处∈ X被定义为所有ξ的集合∈ X′使得h（d）+hξ，d- di≥ h（d）代表所有d∈ 十、 h被称为超可微，如果这个集合是非空的。引理3.7。让g:Z→ R.以下每一个条件都意味着下一个条件：（i）对于所有z∈ Z存在ξ（Z）∈ X′使得g（φ（z，d））≤ g（z）+hξ（z），di，d∈ X.（3.2）（ii）Ag=g.（iii）对于所有z∈ Z和所有ξ（Z）∈ g（φ（z，·））（0），g（φ（z，d））≤ g（z）+hξ（z），di，d∈ X.如果凹函数g（φ（z，·））在d=0时是超微分的，这些条件是等价的。特别是，如果X是有限维的，而g（φ（z，·））是等价的是有价值的。证据让我等一下。取（3.2）两边的凹面包络，我们看到ag（z）=g（φ（z，·））(0) ≤ g（z）+hξ（z），0i=g（z），由引理3.2表示（ii）。设ξ（z）∈ g（φ（z，·））(0); 也就是g（φ（z，·））（d）≤ g（φ（z，·））（0）+hξ（z），di≡ Ag（z）+hξ（z），di，d∈ X.然后（ii）和g（φ（z，d））的事实≤ g（φ（z，·））（d）收益率（iii）。最后，如果g（φ（z，·））(0) 6= 尽管如此，z∈ Z、显然，（iii）意味着（i）。我们提到引理3.7可以作为一个工具来验证g是一个执行点：在例子中，有时更容易验证像（3.2）这样的关系，它不涉及凹包络（例如[5]）。备注3.8。在数学金融的背景下，Rn估值过程X代表n种可交易证券的贴现价格，而f（ZT）则视为在时间T到期的期权。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:28

g=u=A的不等式（3.2）∞f表示交易策略Ht:=ξ（Zt-1）如果u（z）按其价格收费，则可为期权卖方提供支持：u（z）+TXt=1hHt，Xt- Xt-1i≥ u（ZT）≥ f（ZT），（3.3），其中左边是从金额u（z）和根据H交易的收益/损失中获得的余额。如果时间范围T被视为固定的（这在金融中更自然），则类似的观察也适用；也就是说，Ht∈ [在-t（φ（Zt）-1, ·))]（0）产生这样一个过程：ATF（z）+TXt=1hHt，Xt- Xt-1i≥ f（ZT）。（3.4）特别是，这为导言中提到的[6]的结果提供了一个简单而有建设性的证明（注意，超梯度的一个元素可以通过简单的方向导数来选择）。根据其定义，AT（z）是最小常数，允许（3.4）形式的不等式在所有鞅定律下几乎肯定成立，因此在所有可行的模型中，AT（z）被称为稳健（或模型独立）超边际价格。为了进一步放大财务方面，假设Z 对于某些集合Y，X×Y；对于某些函数，φ（X，Y，d）=φ（X+d，Y）：X×Y→ Z、我们现在写的是（x，y）而不是Z（另见下面4.1节）。如果u=A∞f、那么u（·，y）是凹的，因为eu（x，y）是在x处计算的u（φ（·，y））的凹包络，而且徐（x，y）=u（φ（x，y，·））(0).换句话说，套期保值策略由ξ（x，y）=xu（x，y），在金融语言中对应于期权的增量。某些经典鞅不等式也适用于次鞅。这可能与上述情况有关，如下所示（在多变量情况下，子鞅属性是按分量理解的）。备注3.9。设X=r，g:X→R然后通过引理2.2，我们得到了supu∈M（x）u[g]=g（x）。现在让我*（x）是具有有限支撑和重心x的所有概率测度的集合*≥ 十、

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

能者818

2022-5-5 11:30:31

如果函数g（分量）是非递增的，我们也有SUPu∈M*（x） u[g]=g（x），x∈ X.事实上，对于每种情况*∈ M*（x）有很多∈ M（x）使得μ*[g]≤ u[g]。因此，在a∞f（φ（z，·））是非递增的。一些鞅不等式只适用于非负次鞅。这种情况可以通过选择合适的状态空间Z来解决，如下面第4.2节所示。在本节结束时，我们将简要介绍可测量性问题（我们尽可能避免了这些问题）。备注3.10。假设X=r，Z是一个波兰空间，φ是Borel可测的。如果f是Borel可测量的，可以检查AFA和∞f是上半解析的，尤其是普遍可测的；然而，Af可能无法测量。因此，备注3.8中的套期保值策略也可以选择为通用可测量。4例。1 Doob的最大不等式本小节的目的是通过对Doob的最大Lp不等式的参数化来说明上述抽象理论；在这种情况下，所有感兴趣的数量都可以显式计算。在下面的例子中，X是一个范数为|·|的向量空间。提议4.1。让1<p<∞, Z={（x，y）∈ X×R+：|X |≤ y} φ（x，y，d）=（x+d，y∨|x+d |），f（x，y）=yp-（pp-1） p | x | p，（x，y，d）∈ Z×X。那么支配f的最小不动点由A给出∞f（x，y）=（f（x，y）如果| x |<p-1py，~u（x，y）如果|x |≥P-1py，（4.1）式中u（x，y）：=pyp-聚丙烯-1 | x | yp-1，（x，y）∈ Z.备注4.2。下面的证明还表明，常数（pp-1） f的引脚定义是最佳的。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:34

也就是说，iffc（x，y）=yp- c | x | p（4.2）表示c≥ 0，我们将看到∞足球俱乐部≡ ∞ 对于c<（pp-1） p，而A∞FCC的最终价值为c≥ （pp-1） p.设置| M|*T=max0≤T≤T | Mt |并应用上一小节的结果，我们立即推导出Doob\'s最大Lp不等式的以下分支。推论4.3。适用于所有人（x，y）∈ Z、 T≥ 0和每一个（简单的）X值从M=X开始，我们有（|M）|*T） p∨ yp- （pp-1） p | MT | p≤（yp）- （pp-1） p | x | pif | x |<p-1个，pyp-聚丙烯-1 | x | yp-1如果| x |≥P-1.右侧是最佳选择。特别是对于y=|x |的情况，wehaveE（|M）|*T） p- （pp-1） p | MT | p≤ -聚丙烯-1 | x | p≤ 0（4.3），因此k | M|*Tkp≤聚丙烯-1kMTkp。我们提到函数u也出现在[11]中（4.3）的证明中。那里没有研究常数的最优性；顺便说一句，我们看到∧u（x，y）实际上产生了最优常数f或初始条件y=|x |。函数u也可以从Cox[15]中提取（通过一些额外的工作），Cox[15]考虑了X=R情况下Doob不等式的有限水平版本。命题4.1和备注4.2的证明。修正c≥ 0，并将f:=fc定义为（4.2）。根据注释3.4，函数u:=A∞f的表示形式为u（x，y）=supu∈M∞（x） u[f（Z∞)], （4.4）从f的形式来看，这意味着u（x，y）只依赖于x，通过| x |。此外，我们还得到了λ的标度性质u（λx，λy）=λpu（x，y）≥ 0; 参见备注3.6。因此，u完全由函数描述 : [0, 1] →R（|x |）：=u（x，1）；也就是说，我们有u（0，0）=0和u（x，y）=yp（|x |/y）代表所有人（x，y）∈ Z，y>0。另一方面，我们知道u是a的固定点，u（x，y）=Au（x，y）=u（x+·y）∨ |x+·|）#（0）=u（·，y）∨ | · |)#（x），（4.5）因此x 7→ u（x，y）是凹的。特别是，使用u≥ f和scalingproperty，我们看到u（x，y）=∞ 在某一点（x，y）当且仅当u≡ ∞在Z上。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

nandehutu2022

2022-5-5 11:30:38

目前，让我们假设我们是在u是有限的情况下。在这种情况下，根据（4.5）和（4.4）的缩放特性，或者直接根据（4.4）得出x7→ u（x，y）是连续的。因此是[0,1]上的连续凹函数，由（4.5）可知，其在边界点r处的（左）切线t=1满足（r）≥ rp（1），r∈ [1, ∞); （4.6）注意rp（1） =u（xr，| xr |）如果xr∈ X是| xr |=r的任意点（我们可以假设X6={0}）。为了以后的使用，我们注意到相反的是：一个连续凹函数“ 在[0,1]上，满足（4.6）的类似物确定a的固定点u。让我们确定(0) ≥ 1和(1) < 0. （4.7）事实上，（0）=u（0，1）≥ f（0，1）=1。此外，如果（1）如果是非负的，那么p>1和（4.6）将意味着切线t具有非负斜率，因此（1） =t（1）≥ t（0）≥ (0) ≥ 1.但（4.6）指出，功能t（r）主导rpon[1，∞), 这是不可能的。因此，R7→ rp（1）是凹的，我们看到切线条件（4.6）可以用不同的术语等价地表示。也就是说，如果′（1）表示t的斜率，（4.6）等于0>′(1) ≥ P(1). （4.8）鉴于（4.7），切线t具有唯一的零rin[0,1]。使用插入定理，（4.8）意味着- R(1)=(1) - t（0）=′(1)≤P（1）亨瑟呢≤ 1.- 1/p.（4.9）接下来，我们构建A的另一个固定点进行比较。设t为（唯一确定的）与t和touchesr 7平行的函数→ f（xr，1），r∈ [0, 1].我们用（r，f（xr，1））表示这个接触点的坐标。设置“（r）：=（f（xr，1）代表r∈ [0，r]，\'t（r）代表r∈ （r，1），（4.10）定义，“” 是一个满足（4.8）的连续凹函数。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:43

如上所述，这意味着定义a的固定点u，通过u（0，0）：=0和u（x，y）：=yp（|x |/y）表示（x，y）∈ y>0时的Z。事实上≤ u和“u”的构造意味着“u”≤ u、另一方面，我们有“u”≥ f和u是A在f之上的最小固定点，所以u≤ 因此，\'u=u，\' = 特别是，这建立了属于特殊形式（4.10）；仍然需要精确地确定切线。考虑r:=（1/c）1/p，R7的零点→ 1.-crp=f（xr，1）。根据凹度，我们必须有r≤ R回想一下，ris是切线的零点。鉴于（4.9），我们得出结论：≤ R≤ 1.- 1/p；（4.11）因此，每当c<（第页）时，我们关于u是有限的假设就相矛盾-1） p.支持c=（pp-1）然后r=1- 1/p，所以（4.11）意味着r=r=1-1/p.R7的坡度→ 这里的f（xr，1）是-聚丙烯-1.因此，t（r）=-rpp- 1+p。鉴于（4.10），这与所要求的公式（4.1）相对应。因为我们已经看到，这种形式的u定义了一个支配f的固定点，所以我们不必在a∞f是有限的；此外，当f相对于c递减时，A∞然后，f也是所有c的定义≥ （pp-1） p.4.2不同的从属鞅本小节的主要目的是说明如何适应仅适用于特定类别鞅的鞅不等式。为此，我们将处理不同从属鞅的一个不等式，首先由Burkholder在[9]中推导出实值过程，并在[10]中扩展到Hilbert值情况。如果| Nt+1，则一个鞅N不同地从属于另一个鞅M- 新界|≤ |Mt+1- Mt |适用于所有t≥ 0

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

大多数88

2022-5-5 11:30:48

换句话说，这意味着二元马氏体（M，N）的增量取锥{（d，d）：|d|中的值≤ |d |}，这是定义（二元）鞅类的条件，对于这类鞅，它们的内质是成立的。设H为Hilbert空间。在下面的内容中，我们的基本向量空间是X:=H×H，状态空间是Z=X∪ {}; 另外一点将用作违反从属条件的路径的墓地状态。提案4.4。让1<p<∞ d p*= max{p，p/（p）- 1)}. 为了z∈ Zand d=（d，d）∈ 十、定义φ（z，d）=( 如果z= 或者| d |>d |，z+d，否则f（z）=(-∞ 如果z=,|x | p- （p*- 1） p | x | pif z=（x，x）∈ 十、 ~u（z）=(-∞ 如果z=,p（1）- 1/p*)P-1（|x|- （p*- 1） |x |）p-1if z∈ X.那么支配f的最小不动点由A给出∞f=u，其中u定义为1<p≤ 2 byu（z）=-∞ 如果z=,如果z=（x，x），则为u（z）∈ X和| X |≤ （p*- 1） |x |，f（z）如果z=（x，x）∈ X和| X |>（p*- 1） |x |与| u和f相同，如果2则互换≤ p<∞.推论4.5。让1<p<∞ 和p*= max{p，p/（p）- 1)}. 设M，MbeH值（简单）鞅从（M，M）=（x，x）开始，满足| Mt+1- Mt|≤ |Mt+1- Mt |适用于所有t≥ 0.ThenE[|MT | p- （p*- 1） p | MT | p]≤ u（x，x），尤其是kMTkp≤ （p*- 1） kMTkpif x=x.命题4.4的证明。[10]中包含了所有相关属性；我们只是把它们翻译成我们的设置。事实上，我们有f() = u() 通过定义，并在[10]中的方程式（1.10）下检查f（z）≤ ~u（z）代表z∈ 因此，f≤ u、此外，根据[10]中的备注1.2，u是控制X上f的最小函数，其性质为R7→ u（z+rd）对于所有z都是凹的∈ X和所有d=（d，d）∈ X使得| d |≤ |d |。使用我们的符号并回顾u（φ（z，·））=-∞ 在布景之外{d|≤ |d |}，因此u是控制fonz的最小函数，使得u（φ（Z，·））在X上是凹的。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

能者818

2022-5-5 11:30:51

后者意味着au（z）=u（φ（z，·））（0）=u（φ（z，0））=u（z），因此u是a的固定点。反之，如果g:z→R是A的任意一个固定点，那么g（φ（z，d））=g（z+d+·）因此g（φ（z，·）是凹的。因此，u是占主导地位的u.5 Tchakaloff的鞅定理的最小固定点。在前面的章节中，我们将注意力限制在简单鞅上，我们仍然必须指出，这不会导致普遍性的本质损失。一方面，让我们再次提到，对于nice函数f和φ，从简单鞅到一般鞅的扩展可以通过直接逼近变元来完成；例如，参见文献[13]中引理2.2的证明或文献[8]中定理2.2的证明。另一方面，我们在没有规则条件的情况下发展了该理论，因此我们希望能够在确定预期所需的自然要求下实现扩展；也就是说，只有可测量性。这将通过chakalo-off定理的鞅版本实现。继拜尔和泰奇曼[3]之后，关于容积公式存在性的Tchakaloff经典定理[24]的一般版本可以表述为：给定概率空间上的可积函数f(Ohm, F、 u），给出了一个概率度量ν和有限的支持度，使得ν[F]=u[F]，而且支持度可以选择为位于u的支持度中。函数f可以是多元的，这允许我们在ν上加入一个线性约束的单位；例如，该ν应具有与u相同的第一时刻。我们的目的是提供一个定理的版本，其中u和ν是鞅定律。这种扩展不是即时的，因为Matingable属性对应于有限数量的约束。定理5.1。让k，n，T∈ N和X=Rn。让x∈ 设u是一个X值鞅M的定律。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2022-5-5 11:30:56

，M=x，让A XT+1bea（u-可测量）设置为u（A）=1。此外，设f:XT+1→ RK应该是一个u-可测量的函数，使得u[|f |]<∞. 存在一个鞅定律ν，仍然从x开始，这样#suppν≤ （n+k+1）T，支持 A和ν[f]=u[f]。证据通过改变u-空集上的f，并用更小的完整u-度量集替换a，我们可以假设f和a是Borel。现在，T=1是Tchakaloff定理的结果，其形式为[3，推论2]，应用于函数φ：X→ Rn+k+1由φ（x）=（f（x），x，1）驱动。因此，我们认为这个定理适用于某些T∈ N和s如何传递到T+1。设μ为XT+1上的鞅定律，并设a XT+1满足u（A）=1。设u为XT上u的边缘，由u（B）给出：=u（B×X）表示B∈ 我们感谢Josef Teichman对这个定理的深入讨论。使u=u u. （5.1）很容易看出u是XT上的鞅定律，如果a是XT上a的（普遍可测）正则投影，则u（a）=1。另一方面，从（5.1）可以看出，存在N∈ B（XT），u（N）=0，因此对于所有x∈ 我们有r|f（x，x′）|u（x；dx′）<∞u（x）是x上满足u（x；Ax）=1的鞅定律，其中Ax∈ B（X）是截面Ax={X′∈ X:（X，X′）∈ A} 。根据归纳假设，在x上存在一个鞅定律≤ （n+k+1）T，支持 A\\N（5.2）和ν[g]=u[g]表示g（x）：=Zf（x，x′）u（x；dx′）。修正x∈ 通过将T=1的情况应用于函数f（x，·）和测度u（x），我们得到了x上的鞅定律ν（x），使得#suppν≤ n+k+1，支持 AxandZf（x，x′）ν（x；dx′）=Zf（x，x′）u（x；dx′）≡ g（x）。我们可以看到x7→ ν（x）作为内核，定义ν=ν ν;本产品被定义为（5.2）的结果。通过构造，我们得到了#suppν≤ （n+k+1）T+1。

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝