定义1。让<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M26">
米米米l:米我>米米l:mrow>
(凸体的边界<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M27">
问米米l:米我>米米l:mrow>
)是一个光滑,关闭,均匀凸超曲面封闭的起源<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M28">
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。假设<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M29">
米米米l:米我>米米l:mrow>
是参数化的逆高斯地图吗<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M30">
X米米l:米我><米米l:mo>
:米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
→米米l:米o><米米l:米i>
米米米l:米我><米米l:mo>
⊂米米l:米o><米米l:米年代up>
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
;的<我t一个l我c>
支持功能我t一个l我c>
u米米l:米我>米米l:mrow>
的<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M32">
米米米l:米我>米米l:mrow>
(或<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M33">
问米米l:米我>米米l:mrow>
)被定义为<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M34">
(3)米米l:米text>米ml:mtd>
u米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米fenced open="〈" close="〉" separators="|">
x米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
X米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
∀米米l:米o><米米l:米i>
x米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M35">
·米米l:米o><米米l:米o>
,米米l:米o><米米l:米o>
·米米l:米o>米米l:mrow>
表示标准的内积<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M36">
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。
年代t一个te米ent>
u米米l:米我>米米l:mrow>
后凸被扩展的均匀程度的函数吗<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M38">
1米米l:米n>米米l:mrow>
在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M39">
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。相反,任何连续凸函数<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M40">
u米米l:米我>米米l:mrow>
均匀度<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M41">
1米米l:米n>米米l:mrow>
决定一个凸体如下:<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M42">
(4)米米l:米text>米ml:mtd>
问米米l:米我><米米l:mo>
=米米l:米o><米米l:米fenced open="{" close="}" separators="|">
y米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
:米米l:米o><米米l:米i>
y米米l:米我><米米l:mo>
·米米l:米o><米米l:米i>
x米米l:米我><米米l:mo>
⩽米米l:米o><米米l:米i>
u米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
,米米l:米o><米米l:米text>
∀米米l:米o><米米l:米i>
x米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
从一些基本的概念来支持函数,闵可夫斯基(见定义求和
4),和混合卷(见定义
5闵可夫斯基,发展出了一套理论与凸体有关。如果<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M43">
k米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M44">
p米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
,(
1)是Monge-Ampere方程对应的经典闵可夫斯基的问题<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M45">
(5)米米l:米text>米ml:mtd>
依据米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
f米米l:米我><米米l:mi class="cond">
o米米l:米我><米米l:mi mathvariant="normal">
n米米l:米我><米米l:mtext>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
已解决Nirenberg [
1],Pogorelov [
2,
3程),和姚
4),和许多其他人。当<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M46">
p米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
,(
1)是古典Christoffel-Minkowski问题:<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M47">
(6)米米l:米text>米ml:mtd>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
f米米l:米我><米米l:mi class="cond">
o米米l:米我><米米l:mi mathvariant="normal">
n米米l:米我><米米l:mtext>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
一个必要条件
3)(
6)解决方案<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M48">
(7)米米l:米text>米ml:mtd>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
f米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米i class="cond">
∀米米l:米o><米米l:米i>
我米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1、2米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
,米米l:米o>米米l:mtd>
在哪里<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M49">
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:math>
是标准的区域形成了<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M50">
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。关等。
5获得()
7)是足够了(
6一个容许的解决方案(见定义)
6]。
F我rey[
6]广义闵可夫斯基总和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M51">
p米米l:米我>米米l:mrow>
金额(见定义
4从<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M52">
p米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
来<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M53">
p米米l:米我><米米l:mo>
⩾米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
在1962年。后来,Lutwak [
7)扩展的古典表面积测量<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M54">
p米米l:米我>米米l:mrow>
和用例。还在
7),陆twak首次引入一般闵可夫斯基问题,叫做<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M55">
l米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
闵可夫斯基的问题。在光滑的类别,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M56">
l米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
闵可夫斯基问题相当于考虑以下Monge-Ampere方程:<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M57">
(8)米米l:米text>米ml:mtd>
依据米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
f米米l:米我><米米l:msup>
u米米l:米我>米米l:mrow>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
o米米l:米我><米米l:mi mathvariant="normal">
n米米l:米我><米米l:mtext>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
的独特性<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M58">
l米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
闵可夫斯基的问题<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M59">
p米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M60">
p米米l:米我><米米l:mo>
≠米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
(唯一性持有扩张如果<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M61">
p米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
)已经解决了
7]。然而,独特性<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M62">
p米米l:米我><米米l:mo>
<米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
是困难的和还在营业。在[
8),获得剑等人,对于任何<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M63">
- - - - - -米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
<米米l:米o><米米l:米i>
p米米l:米我><米米l:mo>
<米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
,存在一个积极的功能<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M64">
f米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
C米米l:米我>米米l:mrow>
∞米米l:米我>米米l:mrow>
(米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
保证(
8)有两个不同的解决方案,这意味着我们需要更多考虑唯一性条件。
当考虑情况下<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M65">
1米米l:米n><米米l:米o>
⩽米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
,注意广义Christoffel-Minkowski问题。在光滑的类别,我们需要研究<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M66">
k米米l:米我>米米l:mrow>
黑森方程(
1)。
(
1),胡锦涛等。
9]得到解的存在性和唯一性
1)当<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M67">
1米米l:米n><米米l:米o>
⩽米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M68">
p米米l:米我><米米l:mo>
>米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
在适当的条件下。然而,的独特性(
1)当<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M69">
p米米l:米我><米米l:mo>
<米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
还没有被解决。在本文中,我们研究的独特性(
1)<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M70">
p米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
。
我们的主要结果如下。
<年代t一个te米ent我d="thm1">
定理2。假设<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M71">
u米米l:米我>米米l:mrow>
是一个容许正解的<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M72">
(9)米米l:米text>米ml:mtd>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
f米米l:米我><米米l:msup>
u米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
o米米l:米我><米米l:mi>
n米米l:米我><米米l:mtext>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M73">
1米米l:米n><米米l:米o>
⩽米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M74">
k米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="double-struck">
Z米米l:米我>米米l:math>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M75">
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
∈米米l:米o><米米l:米年代up>
R米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
∖米米l:米o><米米l:米fenced open="{" close="}" separators="|">
k米米l:米我>米米l:mrow>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M76">
f米米l:米我>米米l:mrow>
是一个积极的函数定义在单位球吗<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M77">
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
然后是独特性。如果<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M78">
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
k米米l:米我>米米l:math>
,独特性扩张,这意味着如果<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M79">
u米米l:米我>米米l:mrow>
解决(
9),然后<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M80">
一个米米l:米我><米米l:mi>
u米米l:米我><米米l:mo>
:米米l:米o><米米l:米o>
∀米米l:米o><米米l:米i>
一个米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
R米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
的整体解决方案(
9)。
年代t一个te米ent><年代tatement id="rem1">
备注3。在这里,我们重写(
1)(
9),<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M81">
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
p米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
。
年代t一个te米ent>本文的组织如下。节
2,我们将展示一些基本的概念和引理已获得的关等人在
10]。节
3根据方法,我们证明两个有用的命题(
11]。在最后一节中,我们证明的主要定理。
年代ec>
2。预赛<年代t一个te米ent id="deff2">
定义4。给定两个凸体<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M82">
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M83">
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M84">
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
与各自的支持功能<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M85">
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M86">
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M87">
λ米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
μ米米l:米我><米米l:mo>
⩾米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
(<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M88">
λ米米l:米我><米米l:mo>
+米米l:米o><米米l:米i>
μ米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
),<我t一个l我c>
闵可夫斯基总和我t一个l我c>
λ米米l:米我><米米l:msub>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
μ米米l:米我><米米l:msub>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
⊂米米l:米o><米米l:米年代up>
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
由凸体的支持函数定义是什么<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M90">
λ米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
μ米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
。
为<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M91">
p米米l:米我><米米l:mo>
⩾米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
,让<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M92">
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M93">
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
是两个凸体包含原点<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M94">
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
在他们的内部<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M95">
λ米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
μ米米l:米我><米米l:mo>
⩾米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
(<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M96">
λ米米l:米我><米米l:mo>
+米米l:米o><米米l:米i>
μ米米l:米我><米米l:mo>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
)。凸体<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M97">
λ米米l:米我><米米l:mo>
∘米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o>米米l:mrow>
p米米l:米我>米米l:mrow>
μ米米l:米我><米米l:mo>
∘米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
是由的支持功能<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M98">
λ米米l:米我><米米l:msubsup>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
μ米米l:米我><米米l:msubsup>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
p米米l:米我>米米l:mrow>
,被称为<我t一个l我c>
Firey的我t一个l我c>
p米米l:米我>米米l:mrow>
总和我t一个l我c>的<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M100">
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M101">
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,“<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M102">
+米米l:米o>米米l:mrow>
p米米l:米我>米米l:mrow>
”是指<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M103">
p米米l:米我>米米l:mrow>
总结和“<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M104">
∘米米l:米o>米米l:mrow>
”意味着Firey的乘法。
年代t一个te米ent><年代tatement id="deff3">
定义5。让<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M105">
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
r米米l:米我>米米l:mrow>
凸的身体在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M106">
R米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
和体积的闵可夫斯基<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M107">
(10)米米l:米text>米ml:mtd>
问米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
+米米l:米o><米米l:米o>
⋯米米l:米o><米米l:米o>
+米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
r米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
r米米l:米我>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o>米米l:mtd>
是一个<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M108">
(米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>米米l:math>
学位齐次多项式的家庭<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M109">
λ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
r米米l:米我>米米l:mrow>
。特别的体积<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M110">
问米米l:米我>米米l:mrow>
是<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M111">
(11)米米l:米text>米ml:mtd>
卷米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
问米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
卷米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
λ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
+米米l:米o><米米l:米o>
⋯米米l:米o><米米l:米o>
+米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
r米米l:米我>米米l:mrow>
问米米l:米我>米米l:mrow>
r米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
我米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
我米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
r米米l:米我>米米l:mrow>
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
⋯米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
V米米l:米我><米米l:mfenced separators="|">
问米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
,米米l:米o>米米l:mtd>
的功能<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M112">
V米米l:米我>米米l:mrow>
是对称的。然后<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M113">
V米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
)米米l:米o>米米l:math>
被称为<我t一个l我c>
闵可夫斯基混合体积我t一个l我c>的<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M114">
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。米米l:米o>米米l:math>
定义6。为<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M115">
k米米l:米我><米米l:mo>
∈米米l:米o><米米l:米fenced open="{" close="}" separators="|">
1、2米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米i>
n米米l:米我>米米l:mrow>
,让<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M116">
Γ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
是<我t一个l我c>
凸锥我t一个l我c>在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M117">
R米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
这是由<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M118">
(12)米米l:米text>米ml:mtd>
Γ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米fenced open="{" close="}" separators="|">
λ米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
R米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
:米米l:米o><米米l:米年代ub>
σ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
λ米米l:米我>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米年代ub>
σ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
λ米米l:米我>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
λ米米l:米我>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
一个函数<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M119">
u米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
C米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
(米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
被称为<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M120">
k米米l:米我>米米l:mrow>
凸我t一个l我c>如果<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M121">
(13)米米l:米text>米ml:mtd>
W米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米fenced open="{" close="}" separators="|">
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
∈米米l:米o><米米l:米年代ub>
Γ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
∀米米l:米o><米米l:米i>
x米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M122">
u米米l:米我>米米l:mrow>
被称为一个<我t一个l我c>
可接受的解决方案我t一个l我c>(
1)如果<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M123">
u米米l:米我>米米l:mrow>
是<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M124">
k米米l:米我>米米l:mrow>
凸和满足(
1)。
年代t一个te米ent><年代tatement id="deff5">
定义7。让<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M125">
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
真正是对称的<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M126">
k米米l:米我><米米l:mo>
×米米l:米o><米米l:米i>
k米米l:米我>米米l:math>
矩阵,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M127">
λ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
∈米米l:米o><米米l:米i mathvariant="double-struck">
R米米l:米我>米米l:math>
;的行列式<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M128">
λ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米o>
⋯米米l:米o><米米l:米o>
+米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
是一个齐次多项式的学位<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M129">
k米米l:米我>米米l:mrow>
在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M130">
λ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
。也就是说,<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M131">
(14)米米l:米text>米ml:mtd>
依据米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
λ米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米o>
⋯米米l:米o><米米l:米o>
+米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∑米米l:米o>米米l:mstyle>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
我米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
米米米l:米我>米米l:mrow>
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⋯米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
D米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
一个米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
事实上,系数<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M132">
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⋯米米l:米o><米米l:米年代ub>
λ米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
只取决于<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M133">
一个米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
;然后他们唯一确定。<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M134">
D米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
(米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
被称为<我t一个l我c>
混合判别我t一个l我c>的<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M135">
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
。
年代t一个te米ent>为以后应用程序中,我们收集一些结果已被证明在
10]。
<年代t一个te米ent我d="lem1">
引理8。让<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M136">
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
凸体的支持功能<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M137">
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
,分别。表示闵可夫斯基混合体积<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M138">
V米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
问米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
)米米l:米o>米米l:math>
通过<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M139">
V米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
)米米l:米o>米米l:math>
和<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M140">
(15)米米l:米text>米ml:mtd>
W米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
=米米l:米o><米米l:米fenced open="{" close="}" separators="|">
u米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
米米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1、2米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米i>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
,米米l:米o>米米l:mtd>
然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M141">
(16)米米l:米text>米ml:mtd>
V米米l:米我><米米l:mfenced separators="|">
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
D米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
W米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M142">
D米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
(米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
)米米l:米o>米米l:math>
是混合判别(见定义呢
7的<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M143">
W米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。
年代t一个te米ent><年代tatement id="rem2">
备注9。对所有<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M144">
1米米l:米n><米米l:米o>
⩽米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
⩽米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
,设置<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M145">
u米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
=米米l:米o><米米l:米o>
⋯米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
,然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M146">
(17)米米l:米text>米ml:mtd>
V米米l:米我><米米l:mfenced separators="|">
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
≔米米l:米o><米米l:米年代ub>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
D米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
W米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M147">
D米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
(米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
)米米l:米o>米米l:math>
混合判别<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M148">
W米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
3米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
W米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。此外,如果<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M149">
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
=米米l:米o><米米l:米o>
⋯米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
u米米l:米我>米米l:math>
,表示<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M150">
V米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
)米米l:米o><米米l:米o>
≔米米l:米o><米米l:米i>
V米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M151">
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
)米米l:米o><米米l:米o>
≔米米l:米o><米米l:米年代ub>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
;然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M152">
(18)米米l:米text>米ml:mtd>
V米米l:米我><米米l:mfenced separators="|">
u米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我><米米l:mrow>
依据米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
引理10。<我nline-formula>
V米米l:米我>米米l:mrow>
是一个对称的多重线性形式<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M154">
(米米l:米o><米米l:米年代up>
C米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
(米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
)米米l:米o><米米l:米年代up>
)米米l:米o>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。
年代t一个te米ent><年代tatement id="lem3">
引理11。对于任何函数<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M155">
u米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
C米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
(米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M156">
W米米l:米我><米米l:mo>
=米米l:米o><米米l:米fenced open="{" close="}" separators="|">
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M157">
1米米l:米n><米米l:米o>
⩽米米l:米o><米米l:米i>
k米米l:米我><米米l:mo>
<米米l:米o><米米l:米i>
n米米l:米我>米米l:math>
,我们有闵可夫斯基类型积分公式,<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M158">
(19)米米l:米text>米ml:mtd>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
W米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
W米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M159">
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:math>
是标准的面积元素<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M160">
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。
年代t一个te米ent>以下是一种积极Alexandrov-Fenchel不等式<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M161">
k米米l:米我>米米l:mrow>
凸函数来自[
10]。
<年代t一个te米ent我d="lem4">
引理12 (Alexandrov-Fenchel不平等)。如果<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M162">
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
是<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M163">
k米米l:米我>米米l:mrow>
凸,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M164">
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
是正的,存在吗<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M165">
l米米l:米我><米米l:mo>
∈米米l:米o><米米l:米fenced open="{" close="}" separators="|">
2、3米米l:米n><米米l:米o>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米i>
k米米l:米我>米米l:mrow>
这样<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M166">
u米米l:米我>米米l:mrow>
l米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M167">
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
那么,对于任何<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M168">
v米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
C米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
(米米l:米o><米米l:米年代up>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
,<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M169">
(20)米米l:米text>米ml:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米年代ub>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
v米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
v米米l:米我><米米l:mo>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
当且仅当与平等<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M170">
v米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
一个米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米row>
∑米米l:米o><米米l:米row>
我米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
一个米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
对于一些常量<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M171">
一个米米l:米我><米米l:mo>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。
年代t一个te米ent>
3所示。两个重要的命题现在我们是两个重要的命题。我们使用的方法是(
11]。
<年代t一个te米ent我d="prop1">
第13号提案。假设<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M172">
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
是<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M173">
k米米l:米我>米米l:mrow>
凸;然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M174">
(21)米米l:米text>米ml:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
t米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
t米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⩾米米l:米o><米米l:米fenced separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
t米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
t米米l:米我><米米l:msubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米i class="cond">
∀米米l:米o><米米l:米i>
t米米l:米我><米米l:mo>
∈米米l:米o><米米l:米fenced open="[" close="]" separators="|">
0 1米米l:米n>米米l:mrow>
,米米l:米o>米米l:mtd>
当且仅当与平等<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M175">
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
一个米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米row>
∑米米l:米o><米米l:米row>
我米米l:米我><米米l:mo>
=米米l:米o><米米l:米n>
1米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
一个米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
对于一些常量<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M176">
一个米米l:米我><米米l:mo>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。
年代t一个te米ent><年代tatement id="proof1">
证明。我们只需要证明<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M177">
(22)米米l:米text>米ml:mtd>
F米米l:米我><米米l:mfenced separators="|">
t米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
t米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
t米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
是凹的<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M178">
0 1米米l:米n>米米l:mrow>
。设置<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M179">
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
=米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
t米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
t米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M180">
t米米l:米我><米米l:mo>
∈米米l:米o><米米l:米fenced open="[" close="]" separators="|">
0 1米米l:米n>米米l:mrow>
,我们有<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M181">
(23)米米l:米text>米ml:mtd>
F米米l:米我><米米l:mfenced separators="|">
t米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
对称的多重线性性质<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M182">
V米米l:米我>米米l:mrow>
,很明显<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M183">
(24)米米l:米text>米ml:mtd>
F米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米over>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
(25)米米l:米text>米ml:mtd>
F米米l:米我>米米l:mrow>
′米米l:米我><米米l:mi>
′米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
k米米l:米我><米米l:msubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
2米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n>
1米米l:米n>米米l:mrow>
·米米l:米o><米米l:米fenced open="[" close="]" separators="|">
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n>
1米米l:米n>米米l:mrow>
·米米l:米o><米米l:米年代ub>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
- - - - - -米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米over>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n>
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
2米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米over>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
t米米l:米我>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我>米米l:mrow>
⩽米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
,米米l:米o>米米l:mtd>
过去的不平等使用(
20.);因此<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M184">
F米米l:米我>米米l:mrow>
是一个凹函数<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M185">
0 1米米l:米n>米米l:mrow>
。平等的条件是很容易检查。
年代t一个te米ent><年代tatement id="prop2">
14号预选提案(一般Brunn-Minkowski不平等)。假设<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M186">
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
>米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
是<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M187">
k米米l:米我>米米l:mrow>
凸,然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M188">
(26)米米l:米text>米ml:mtd>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,米米l:米o>米米l:mtd>
当且仅当与平等<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M189">
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
一个米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
+米米l:米o><米米l:米row>
∑米米l:米o><米米l:米row>
我米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
一个米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
对于一些常量<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M190">
一个米米l:米我><米米l:mo>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
一个米米l:米我>米米l:mrow>
n米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
。
年代t一个te米ent><年代tatement id="proof2">
证明。设置<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M191">
(27)米米l:米text>米ml:mtd>
F米米l:米我><米米l:mfenced separators="|">
t米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
t米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
t米米l:米我><米米l:msub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米fenced separators="|">
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米i>
t米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
t米米l:米我><米米l:msubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o>米米l:mtd>
然后<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M192">
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米i>
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
。由(
21),<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M193">
F米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
t米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
⩾米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
;因此<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M194">
F米米l:米我>米米l:mrow>
′米米l:米我>米米l:mrow>
(米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o><米米l:米o>
⩾米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n>米米l:math>
;也就是说,<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M195">
(28)米米l:米text>米ml:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米over>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
︷米米l:米o>米米l:mover>
k米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
⩾米米l:米o><米米l:米n mathvariant="normal">
0米米l:米n><米米l:米o>
。米米l:米o>米米l:mtd>
然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M196">
(29)米米l:米text>米ml:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
⩾米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
由(
19),<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M197">
(30)米米l:米text>米ml:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o>米米l:mtd>
然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M198">
(31)米米l:米text>米ml:mtd>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ub>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米row>
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
。米米l:米o>米米l:mtd>
4所示。定理的证明< xref ref-type =“声明”掉= " thm1 " > < / xref > 2现在我们证明定理
2。主要的方法是(
7,
12]。
<年代t一个te米ent我d="proof3">
证明。假设(
9有两个解决方案<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M199">
u米米l:米我>米米l:mrow>
和<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M200">
v米米l:米我>米米l:mrow>
,然后我们考虑方程在以下三种情况。
<我t一个l我c>
案例1我t一个l我c>(<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M201">
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
>米米l:米o><米米l:米i>
k米米l:米我>米米l:math>
)。假设<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M202">
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
的最大值点吗<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M203">
G米米l:米我><米米l:mo>
=米米l:米o><米米l:米row>
u米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
v米米l:米我>米米l:mrow>
,然后在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M204">
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
,我们有<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M205">
(32)米米l:米text>米ml:mtd>
0米米l:米n><米米l:米o>
=米米l:米o><米米l:米o>
∇米米l:米o><米米l:米row>
ln米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
G米米l:米我>米米l:mrow>
=米米l:米o><米米l:米frac>
∇米米l:米o><米米l:米i>
u米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米frac>
∇米米l:米o><米米l:米i>
v米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
0米米l:米n><米米l:米o>
⩾米米l:米o><米米l:米年代up>
∇米米l:米o>米米l:mrow>
2米米l:米n>米米l:mrow>
ln米米l:米我>米米l:mrow>
米米l:米o><米米l:米row>
G米米l:米我>米米l:mrow>
=米米l:米o><米米l:米fenced separators="|">
∇米米l:米o>米米l:mrow>
2米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米frac>
∇米米l:米o><米米l:米i>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米fenced separators="|">
∇米米l:米o>米米l:mrow>
2米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米frac>
∇米米l:米o><米米l:米i>
v米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
=米米l:米o><米米l:米frac>
∇米米l:米o>米米l:mrow>
2米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米frac>
∇米米l:米o>米米l:mrow>
2米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
;米米l:米o>米米l:mtd>
也就是说,<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M206">
(33)米米l:米text>米ml:mtd>
∇米米l:米o>米米l:mrow>
2米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
⩽米米l:米o><米米l:米frac>
∇米米l:米o>米米l:mrow>
2米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
因此<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M207">
(34)米米l:米text>米ml:mtd>
f米米l:米我><米米l:msup>
u米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米年代up>
u米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
⩽米米l:米o><米米l:米年代up>
u米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
+米米l:米o><米米l:米年代ub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米frac>
u米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
f米米l:米我><米米l:msup>
v米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
;米米l:米o>米米l:mtd>
因此<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M208">
(35)米米l:米text>米ml:mtd>
u米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
k米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
⩽米米l:米o><米米l:米年代up>
v米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
k米米l:米我>米米l:mrow>
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
⟹米米l:米o><米米l:米i>
G米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米frac>
u米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
v米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
⩽米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
;米米l:米o>米米l:mtd>
然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M209">
(36)米米l:米text>米ml:mtd>
u米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
⩽米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n><米米l:米o>
。米米l:米o>米米l:mtd>
同样,我们有<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M210">
v米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
u米米l:米我>米米l:mrow>
⩽米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
。因此<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M211">
u米米l:米我><米米l:mo>
≡米米l:米o><米米l:米i>
v米米l:米我>米米l:math>
。
<我t一个l我c>
案例2我t一个l我c>(<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M212">
0米米l:米n><米米l:米o>
<米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
<米米l:米o><米米l:米i>
k米米l:米我>米米l:math>
)。我们有<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M213">
(37)米米l:米text>米ml:mtd>
u米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代up>
v米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
v米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
;米米l:米o>米米l:mtd>
然后<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M214">
(38)米米l:米text>米ml:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
v米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
v米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米年代up>
∫米米l:米o><米米l:米row>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
v米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
∫米米l:米o><米米l:米row>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
v米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
v米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
⩾米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
k米米l:米我><米米l:msub>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米i>
k米米l:米我>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米年代ub>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ubsup>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o><米米l:米row>
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
/米米l:米o><米米l:米row>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
v米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在我们使用夹在第一不平等和不平等使用(
26在第二个)。因此<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M215">
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
u米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代ub>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
v米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
同时,这迫使平等。平等的条件下,存在一个常数<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M216">
一个米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="double-struck">
R米米l:米我>米米l:math>
这样<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M217">
v米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
一个米米l:米我><米米l:mi>
u米米l:米我><米米l:mo>
。米米l:米o>米米l:math>
由(
9),我们知道<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M218">
一个米米l:米我><米米l:mo>
=米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:math>
。因此,<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M219">
u米米l:米我><米米l:mo>
≡米米l:米o><米米l:米i>
v米米l:米我><米米l:mo>
。米米l:米o>米米l:math>
案例3我t一个l我c>(<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M220">
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
k米米l:米我>米米l:math>
)。根据第二种情况,当<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M221">
p米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
=米米l:米o><米米l:米i>
k米米l:米我>米米l:math>
,我们有<米米l:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M222">
(39)米米l:米text>米ml:mtd>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
u米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
=米米l:米o><米米l:米row>
∫米米l:米o>米米l:mstyle>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
v米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
v米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我><米米l:mo>
⩾米米l:米o><米米l:米年代up>
∫米米l:米o><米米l:米row>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
u米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
v米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
∫米米l:米o><米米l:米row>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
v米米l:米我><米米l:msub>
σ米米l:米我>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
+米米l:米o><米米l:米i>
v米米l:米我><米米l:msub>
δ米米l:米我>米米l:mrow>
我米米l:米我><米米l:mi>
j米米l:米我>米米l:mrow>
d米米l:米我><米米l:mi>
年代米米l:米我>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
k米米l:米我>米米l:mrow>
⩾米米l:米o><米米l:米年代ub>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
- - - - - -米米l:米o><米米l:米i>
k米米l:米我>米米l:mrow>
v米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
V米米l:米我>米米l:mrow>
k米米l:米我><米米l:mo>
+米米l:米o><米米l:米n mathvariant="normal">
1米米l:米n>米米l:mrow>
u米米l:米我>米米l:mrow>
;米米l:米o>米米l:mtd>
然后所有的平等。因此存在<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M223">
一个米米l:米我><米米l:mo>
∈米米l:米o><米米l:米i mathvariant="double-struck">
R米米l:米我>米米l:math>
,这样<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M224">
v米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
一个米米l:米我><米米l:mi>
u米米l:米我>米米l:math>
。因此<我nl在e- - - - - -for米ul一个><米米l:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M225">
{米米l:米o><米米l:米i>
一个米米l:米我><米米l:mi>
u米米l:米我><米米l:mo>
:米米l:米o><米米l:米o>
∀米米l:米o><米米l:米i>
一个米米l:米我><米米l:mo>
∈米米l:米o><米米l:米年代up>
R米米l:米我>米米l:mrow>
+米米l:米o>米米l:mrow>
}米米l:米o>米米l:math>
的整体解决方案(
9)。
现在我们完成定理的证明
2。
年代t一个te米ent>
相互竞争的利益作者宣称没有利益冲突。
年代ec>
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]
[
]