|
如前所述,对于足够小的x,g和fx(以及连接它们的线)都位于该邻域中。对于h:=g- fx,这意味着IX(g)- Ix(fx)=DIx(fx)·h+ZDIx(fx+th)·(h,h)dt>0,因为DIx(fx)·h=0,DIx(fx+tsh)·(h,h)>0。这与Ix(g)<Ix(fx)的假设相矛盾,我们得出结论,fx确实是Ix的最小值,这意味着I(x)=Ix(fx)局部。最后,作为x 7→ fxis平滑且(f,x)7→ Ix(f)=x2F(f)+kfkh是光滑的,我们看到x 7→ I(x)=Ix(fx)在0附近是平滑的。(请注意,此参数依赖于σ(0)6=0,这意味着F(F)6=0表示F的邻域为0。)备注5.8。变分计算直接法中的经典反例表明,验证极小值存在性的步骤不应过于轻率。例如,函数lj(u):=Z(美国)- 1) +u(s)Ds在H中没有极小值,但通过选择斜率| u |=1在0附近振荡的分段线性函数u,J可以任意接近0。我们参考18 C.拜耳、P.K.弗里兹、A.古利萨什维利、B.霍瓦思、B.斯坦佩托的任何关于变分法的教科书。在上述情况下,正定义二阶导数意义上的局部“凸性”阻止了这种现象。证明极小值存在的另一种方法是证明J在弱意义下是(下半)连续的。5.1.2。一般情况。在一般情况下(参见命题5.2),我们定义了函数H:H×R→ HbyH(f,x)(t):=英尺-ρ(x- ρG(f))nDσK˙f, 1[0,t]E+DσK˙f˙f,K1[0,t]Eoρf(f)+(x- ρG(f))ρf(f)D(σσ)K˙f, K1[0,t]E=英尺-ρ(x- ρG(f))ρf(f)(R(f)(t)+R(f)(t))+(x- ρG(f))ρf(f)R(f)(t),(5.5),其中R,R:H→ 定义为:R(f)(t):=Dσ(K˙f),1[0,t]E,(5.6)R(f)(t):=Dσ(K˙f)˙f,K1[0,t]E,(5.7)t∈ [0,1]。我们可以很容易地检查G,R,罕见的光滑。引理5.9。
|