此外,F(·,·,0,0)∈ Lp(Q)*T) 加一些p≥ 1.那么下面的估算值为kW2,1p(Q**(T)≤ CkF(·,·,0,0)kLp(Q*T) +kP kLp(Q)*(T),Q在哪里**这是Q的一个紧子集*T、 C依赖于K,p,n,Q**T、 和距离(QT,Q*T) ,区(Q)*T、 Q**T) 。引理A.5设QT,[0,T)×Q,其中Q是具有连续边界的Rn中的开域,且*是Q的一个紧子集。假设假设假设a.1和a.2满足,并且a在Q中是统一的正定义*T、 [0,T)×Q*. 此外,F(·,·,0,0)∈ Lp(Q)*T) ,ψ∈ Cα,α/2(Q*) s omep>n+2,α∈ (0 , 1).然后存在一个常数β∈ (0,α)使得下面的估计值保持skp kCβ,β/2(Q**(T)≤ CkF(·,·,0,0)kLp(Q*T) +kP吉隆坡∞(Q)*T) +kψkCα,α/2(Q*),Q在哪里**是Q的一个紧集*, C,β依赖于K,p,n和α,T,dist(Q,Q*), 地区(Q)*, Q**).我们还给出了变分不等式(A.2)的A-B-P比较原理(见Friedman[11]和Tso[25]),这与经典解的比较原理类似。由于变分不等式的解通常是强解,而不是经典解,因此A-B-P比较理论更适合于变分不等式。另一方面,如果我们选择一个足够小的较低的障碍物Γ,使得解P>Γ(见定理B.1),则偏微分方程可以被视为变分不等式的特例。