|
x和凹形w.r.t.z,我们有那个“U”∞(x,·)和“U”∞(·,z)在其域的内部是连续的,对于ll x和z。现在假设相反,存在>0,(x,z)∈ int(`D)和a序列(xn,zn)∈ int(\'D),(xn,zn)-→N→+∞(x,z)使:N≥ 0,| U∞(xn,zn)-“U”∞(x,z)|>。在不丧失普遍性的情况下,我们假设:∞(xn,zn)>U∞(x,z)+。通过“U”的连续性∞(·,z),我们有足够大的∞(xn,zn)-“U”∞(xn,z)>。在不丧失普遍性的情况下,我们假设≥ z代表一个ll n≥ 0.然后,我们定义zn=z-√锌- z、 从“U”的凹陷处观察∞(·,z)该:\'U∞(xn,z)-“U”∞(xn,~zn)z- 锌≥“U”∞(xn,zn)-“U”∞(xn,z)zn- z> zn- z、 然后:\'U∞(xn,z)-“U”∞(xn,~zn)>√锌- z、 xn(自)-→N→+∞(x,z),这与U的局部有界性相矛盾∞.接下来,我们假设“U”∞不在int(\'D)上局部有界,即存在(x,z)∈ int(D)和(xn,zn)→ (x,z)使得U(xn,zn)→ +∞. 设c>0为(x+c,z+c)∈int(\'D)。然后从变量x和z中U的不减少得出∞(x+c,z+c)≥“U”∞(xn,z+c)≥“U”∞(xn,zn)-→ ∞, 作为n→ ∞.自从你∞两个变量的w.r.t.部分凹,这意味着∞= ∞ 在“D”上。我们现在关注定理3.2中的第一个不等式。引理4.2。\'V≤“U”∞在“D”上,为了证明引理4.2,我们在“U”的情况下使用正则化∞局部边界。引理4.1,\'U∞在“D”内部是连续的。但一般来说,每个变量都不存在两次差异。因此,我们推出了一款ny∈ (0,1]:\'Un(x,z)=z\'D\'Un(ξ,ζ)ρ(x)- ξ、 z- ζ) dξdζ(x,z)∈“D,为了所有人”∈ [0, ∞], (4.1)其中R中的所有u:ρ(u)=-2ρ(u/),其中ρ(u)=Ce-1/(1-|u |)| u |<1,并且选择C,使得rrρ(u)du=RB(0,1)ρ(u)du=1。显然,ρ是C∞, 紧支撑,且ρ在零处积分收敛到狄拉克质量。
|