|
另一方面,如果a>0,那么我们有||f(x,x)||≤4(1+r)r16αr(2r- 1)((8 - 9αa)r+4r- 4)≤64αr(2r- 1)((8 - 9αa)r+4r- 4)≤256αr(1+r)(8- 9αa)。第二个不等式来自α(1+r)≤ αr,自A>0起成立,最后一个不等式,如上所述,是由于以下事实,根据假设,8-9αa>0和r≥ 这最终确定了边界(8)。基本集合考虑集合C R定义为以下四分之一椭球体的并集:E=((x,x)∈ R4.x个-+ x个≤ 1,x∈, 1., x个∈ [0,1]),E=((x,x)∈ Rx个-+ x个≤ 1,x∈-1., x个∈ [0,1]),E=((x,x)∈ R4.x个++ x个≤ 1,x∈-1.-, x个∈ [-1,0),E=((x,x)∈ Rx个++ x个≤ 1,x∈-, 1., x个∈ [-1, 0]).-1.-0.5 0 0.5 1-1.-0.8-0.6-0.4-0.200.20.40.60.81图2:s et C为四分之一椭球体的并集。设r>0为固定值,并考虑集合Br(c)。这个集合的结构与s et Brconsideredabove相同,因为我们注意到Br=Br(E)表示一个合适的圆E R、 集合Br(C)是明确闭合的,但其凸性不是先验的。Br(C)的凸性。我们证明了Br(E∪E) 是凸面的。通过对称性,这意味着Br(C)也是凸的。注意,半椭球体′=((u,v)∈ R4.u-+ v≤ 1,u∈ [-1,1],v∈ [0,1])包含在半椭球体中‘=((u,v)∈ Ru-+ v≤ 1,u∈ [-1,1],v∈ [0,1]),因此Br(E′) Br(E∪ E) Br(E′)。从上一段可以看出Br(E′)是凸的。现在,取x,y∈ Br(E∪E) 注意,x和y的任何凸组合都属于Br(E′)。因为方程u(λx+(1- λ) y,λx+(1- λ) y)=最多有两个解λ∈ [0,1],具有极端x和y的段最多分为三个子段,其中u(x,x)-具有常量符号。正亚段包含在Br(E′)中,因此属于Br(C)。负子段a重新包含在R(E′)中∩x个∈ R-1.≤ u(x,x)≤, x个≥ 0,也包含在Br(C)中。
|