特别地,我们设定iλ(t,u,v)=ZRa(t,x)λU十、五、x+a(t,x)λ十、U十五dx+ZRR-A.十、-2λaλ十、λuvdx。和你,v∈ H0,λ(R)。根据Evans(1998)第5.9.2章和Bensoussan and Lions(1978)第2.6章,我们定义了由所有强可测函数χ:[0,T]→ X与| |χ| Lp(0,T;X)=ZT | |χ(t)| | pXdt1/p,1≤ p<∞,对于p=∞,||χ| | L∞(0,T;X)=ess sup0≤T≤T | |χ(T)| | X,表示χ∈ L(0,T;X),我们可以∈ L(0,T;X)是χ的弱导数,用ν表示=χt、 ifZTWtχ(t)dt=-ZTw(t)ν(t)dt,W∈ C∞c([0,T])。Sobolev空间H(0,T;X)由所有函数χ组成∈ L(0,T;X)使得弱导数存在并属于L(0,T;X)。此外,我们还设置了| |χ| H(0,T;X)=ZT|χ(t)|X+||tχ(t)| | Xdt1/2,(7.4),使H(0,T;X)成为希尔伯特空间(见Evans(1998)中的第5.9.2章)。主要结果。定义7.1。函数u:D→ R是问题(7.3)的强解,如果, 五、∈ Hλ(R),v≥ 0a。e、 ,满足以下条件:U∈ L(0,T;H0,λ(R)),UT∈ L(0,T;Lλ(R)),-U电视- U- Iλ(t;u,v)- u)≤ (g,v)- u) ,u≥ D中的0 a.e.,u(T,x)=0,x∈ R.(7.5)我们将对a、a、g.假设a.a.施加以下条件:,A.坦然A.十、∈ L∞(D) );而且A.T∈ C(D);G∈ H(0,T;Lλ(R))。定理7.2。在假设A下,(7.5)中的变分不等式有唯一的强解。证据假设A等同于(Bensoussan and Lions,1978,第3章)的假设(2.223),(2.224),(2.238),(2.239),(2.240),我们也遵循他们的备注2.24使用λ(x)=e-n | x |对于我们定义的Hilbert空间中任意固定的n>0。反过来,我们可以应用他们的Theorem 2.21,我们的声明如下。我们的主要目标是验证我们的应用满足假设A,因此atTheorem 7.2适用于确保VI(2.15)存在唯一的强解。