|
变分问题。我们首先考虑(A.1)中的最小化问题,得到以下结果。引理A.1。假设1.1和假设1.4(i)成立,并回顾l 从(1.8)开始。然后,存在一个唯一的(直到一个加法常数)φ∈ W1,2Loc(E),求解(A.3)infφ∈W1,2Loc(E)ZE(φ - l)′c类(φ - l) p、 此外,^φ∈ C2,γ′(E)对于一些0<γ′的≤ γ满足二阶线性椭圆方程(A.4) ·pc机^φ - l= 0; x个∈ E、 16 CONSTANTINOS KARDARAS和SCOTT ROBERTSONProof。使符号更清晰setJ(φ):=ZE(φ - l)′c(φ - l)p、 (A.5)使(A.3)变成^J:=infφ∈W1,2Loc(E)J(φ)。注意,假设1.4(i)给出了^J<∞. 在w中,K是一个常数,它会随着行的变化而变化。此外,在适当的情况下,KNW将是一个常数,它仅取决于Enan和En的模型系数。设{φm}m∈N W1,2Loc(E)应使limm↑∞J(φm)=^J.假设1.4(i)和CauchySchwarz不等式,然后实现UPMZEφ′mcφmp≤ K、 因此对于所有的nsupmZEnφ′mcφmp≤ K、 下一步,因为p≥ cn>0和c≥ λn>0,我们有(A.6)supmZEnφ′mφm≤ 千牛。用ψnm表示:=φm-IEnφm,作为φmless,它是En的平均值。从经典的庞加莱不等式[10,第5.8章]和(A.6)可以看出(ψnm)+(ψnm)′ψnm≤ 千牛。Rellich-Kondrachov定理【10,第5.7章】以及ψnmis范数有界inL(En,Rd)意味着ηn的存在∈ W1,2(En),对于某些子序列m(n):ψnm(n)→ ηnstrongly in L(En),ψnm(n)→ ηn在L(En,Rd)中很弱。因此,通过【2,定理13.1.1】,它表明(A.7)L(En;Rd) 第7节→禅宗(v- l)′c(v- l)p、 是弱下半连续的,因此(A.8)ZEn(ηn- l)′c类(ηn- l) p≤ lim infm(n)→∞禅宗(φm- l)′c类(φm-l) p、 现在,fix n<n′。
|