高级方程正解的存在性与几个条件<年代vg height="17.487499" id="M1" style="vertical-align:-3.80836pt;width:249.125px;" version="1.1" viewbox="0 0 249.125 17.487499" width="249.125" xmlns="http://www.w3.org/2000/svg">
∑
̇
(
)
+
=
1
(
)
(
ℎ
(
)
)
=
0
,
ℎ
(
)
≥
研究在以下三种情况:(一)系数<年代vg height="11.05" id="M2" style="vertical-align:-3.2316pt;width:14.525px;" version="1.1" viewbox="0 0 14.525 11.05" width="14.525" xmlns="http://www.w3.org/2000/svg">
是积极的;(b)系数<年代vg height="11.05" id="M3" style="vertical-align:-3.2316pt;width:14.525px;" version="1.1" viewbox="0 0 14.525 11.05" width="14.525" xmlns="http://www.w3.org/2000/svg">
是消极的;(c)有一个相同数量的积极的和消极的系数。结果非振动解的渐近也。
<年代p一个nclass="end-abs">
1。介绍
摘要先进标量微分方程的非振动特性。先进的微分方程出现在多个应用程序,特别是在经济学数学模型;例如,一个先进的术语可能反映了依赖于预期资本存量(<一个href="#B1">1一个>,<一个href="#B2">2一个>]。
它不是很清楚如何制定这类方程的初值问题,解的存在性和唯一性变成一个复杂的问题。研究振荡,我们需要假设存在halfline此类方程的解决方案。在1980年代初,足够一阶常系数线性方程先进振荡条件和参数得到的偏差<一个href="#B3">3一个>和非线性方程组的<一个href="#B4">4一个>]。后来其他先进的振动特性进行了研究和混合微分方程(见专著[<一个href="#B5">5一个>),论文(<一个href="#B6">6一个>- - - - - -<一个href="#B12">12一个>)和引用)。总的来说,这些出版物主要处理足够的振荡条件;只有很少的结果(<一个href="#B7">7一个>,<一个href="#B9">9一个>,<一个href="#B12">12一个>)对方程正解的存在性与几个先进的条款和变量系数,一般振动理论是不完整的甚至一阶线性方程的变量先进的参数和变量系数相同的信号。摘要部分弥补了这个空白。我们获得一些高级使用广义特征方程非振动结果不平等(<一个href="#B13">13一个>]。本文的主要方法是基于不动点理论;也因此,我们国家在某些情况下存在的一个解决方案。
在线性情况下,最好的研究模型与先进的参数方程的类型<年代p一个nclass="equation" id="eq1">
̇
(
)
−
(
)
(
ℎ
(
)
)
+
(
)
(
)
=
0
,
̇
(
)
−
(
)
(
)
+
(
)
(
(
)
)
=
0
,
(
1
。
1
)
在哪里<年代vg height="13.45" id="M5" style="vertical-align:-2.21957pt;width:50.474998px;" version="1.1" viewbox="0 0 50.474998 13.45" width="50.474998" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
,<年代vg height="13.45" id="M6" style="vertical-align:-2.21957pt;width:49.974998px;" version="1.1" viewbox="0 0 49.974998 13.45" width="49.974998" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
,<年代vg height="13.5625" id="M7" style="vertical-align:-2.21957pt;width:48.724998px;" version="1.1" viewbox="0 0 48.724998 13.5625" width="48.724998" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
,<年代vg height="13.6125" id="M8" style="vertical-align:-2.34499pt;width:47.400002px;" version="1.1" viewbox="0 0 47.400002 13.6125" width="47.400002" xmlns="http://www.w3.org/2000/svg">
(
)
≥
。
让我们注意到高阶线性和非线性方程的振荡和先进的混合参数也广泛的调查,从(<一个href="#B14">14一个>];参见最近的论文(<一个href="#B15">15一个>- - - - - -<一个href="#B19">19一个>)和引用。
与一个先进的参数方程,获得的结果在<一个href="#B20">20.一个>,<一个href="#B21">21一个>可以新配方如下定理a - c)。
<年代p一个nclass="statement" id="thma1">定理(见[<一个href="#B20">20.一个>])。年代p一个n><我>如果<年代vg height="7.1750002" id="M9" style="vertical-align:-0.1254pt;width:7.9749999px;" version="1.1" viewbox="0 0 7.9749999 7.1750002" width="7.9749999" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="10.7375" id="M10" style="vertical-align:-0.13794pt;width:7.4749999px;" version="1.1" viewbox="0 0 7.4749999 10.7375" width="7.4749999" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="10.95" id="M11" style="vertical-align:-0.1254pt;width:9.1374998px;" version="1.1" viewbox="0 0 9.1374998 10.95" width="9.1374998" xmlns="http://www.w3.org/2000/svg">
ℎ
在同等连续的<年代vg height="13.45" id="M12" style="vertical-align:-2.21957pt;width:39.337502px;" version="1.1" viewbox="0 0 39.337502 13.45" width="39.337502" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
,<年代vg height="13.45" id="M13" style="vertical-align:-2.21957pt;width:50.474998px;" version="1.1" viewbox="0 0 50.474998 13.45" width="50.474998" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
,<年代vg height="13.45" id="M14" style="vertical-align:-2.21957pt;width:49.974998px;" version="1.1" viewbox="0 0 49.974998 13.45" width="49.974998" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
,<年代vg height="13.5625" id="M15" style="vertical-align:-2.21957pt;width:48.724998px;" version="1.1" viewbox="0 0 48.724998 13.5625" width="48.724998" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
,<年代vg height="14.8375" id="M16" style="vertical-align:-3.23907pt;width:169.58749px;" version="1.1" viewbox="0 0 169.58749 14.8375" width="169.58749" xmlns="http://www.w3.org/2000/svg">
l
我
米
年代
u
p
→
∞
(
ℎ
(
)
−
]
<
∞
,那么先进的方程我><年代p一个nclass="equation" id="EEq1">
̇
(
)
+
(
)
(
ℎ
(
)
)
+
(
)
(
)
=
0
(
1
。
2
)
有一个非振动解。我>年代p一个n>
在本文中,我们扩展定理的几个偏差参数和系数(定理<一个href="#thm4">2.10一个>)。
<年代p一个nclass="statement" id="thmb1">定理B(见[<一个href="#B20">20.一个>])。年代p一个n><我>如果<年代vg height="7.1750002" id="M18" style="vertical-align:-0.1254pt;width:7.9749999px;" version="1.1" viewbox="0 0 7.9749999 7.1750002" width="7.9749999" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="10.7375" id="M19" style="vertical-align:-0.13794pt;width:7.4749999px;" version="1.1" viewbox="0 0 7.4749999 10.7375" width="7.4749999" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="10.95" id="M20" style="vertical-align:-0.1254pt;width:9.1374998px;" version="1.1" viewbox="0 0 9.1374998 10.95" width="9.1374998" xmlns="http://www.w3.org/2000/svg">
ℎ
在同等连续的<年代vg height="13.45" id="M21" style="vertical-align:-2.21957pt;width:39.337502px;" version="1.1" viewbox="0 0 39.337502 13.45" width="39.337502" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
,<年代vg height="13.45" id="M22" style="vertical-align:-2.21957pt;width:50.474998px;" version="1.1" viewbox="0 0 50.474998 13.45" width="50.474998" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
,<年代vg height="13.45" id="M23" style="vertical-align:-2.21957pt;width:49.974998px;" version="1.1" viewbox="0 0 49.974998 13.45" width="49.974998" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
,<年代vg height="13.5625" id="M24" style="vertical-align:-2.21957pt;width:48.724998px;" version="1.1" viewbox="0 0 48.724998 13.5625" width="48.724998" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
,<年代vg height="14.8375" id="M25" style="vertical-align:-3.23907pt;width:169.58749px;" version="1.1" viewbox="0 0 169.58749 14.8375" width="169.58749" xmlns="http://www.w3.org/2000/svg">
l
我
米
年代
u
p
→
∞
(
ℎ
(
)
−
]
<
∞
,我><年代p一个nclass="equation" id="EEq2">
l
我
米
年代
u
p
→
∞
ℎ
(
)
(
)
e
x
p
ℎ
(
)
1
(
)
<
,
(
1
。
3
)
那么先进的方程我><年代p一个nclass="equation" id="EEq3">
̇
(
)
−
(
)
(
ℎ
(
)
)
−
(
)
(
)
=
0
(
1
。
4
)
有一个非振动解。我>年代p一个n>
必然的结果<一个href="#coro1">2.3一个>本文扩展了定理的B的情况下几个系数<年代vg height="14.7125" id="M28" style="vertical-align:-3.2316pt;width:41.724998px;" version="1.1" viewbox="0 0 41.724998 14.7125" width="41.724998" xmlns="http://www.w3.org/2000/svg">
≥
0
和先进的参数<年代vg height="14.825" id="M29" style="vertical-align:-3.2316pt;width:15.7px;" version="1.1" viewbox="0 0 15.7 14.825" width="15.7" xmlns="http://www.w3.org/2000/svg">
ℎ
(一般来说,<年代vg height="13.45" id="M30" style="vertical-align:-2.21957pt;width:49.974998px;" version="1.1" viewbox="0 0 49.974998 13.45" width="49.974998" xmlns="http://www.w3.org/2000/svg">
(
)
≡
0
);如果<年代p一个nclass="equation" id="eq2">
米
一个
x
ℎ
(
)
=
1
1
(
)
≤
,
(
1
。
5
)
然后这个方程<年代p一个nclass="equation" id="eq3">
̇
(
)
+
=
1
ℎ
(
)
(
)
=
0
(
1
。
6
)
有一个最终正解。我们所知,只有相反的不平等(<年代vg height="14.825" id="M33" style="vertical-align:-3.2316pt;width:67.074997px;" version="1.1" viewbox="0 0 67.074997 14.825" width="67.074997" xmlns="http://www.w3.org/2000/svg">
米
我
n
ℎ
(
)
而不是<年代vg height="14.825" id="M34" style="vertical-align:-3.2316pt;width:69.675003px;" version="1.1" viewbox="0 0 69.675003 14.825" width="69.675003" xmlns="http://www.w3.org/2000/svg">
米
一个
x
ℎ
(
)
在上界)被称为一个充分振荡状态。系数和先进的参数也被认为是一种更普遍比(<一个href="#B20">20.一个>]。比较方程的常数参数偏差,和系数(推论<一个href="#coro4">2.8一个>)也。
对于高级方程系数不同的迹象,以下结果。
<年代p一个nclass="statement" id="thmc1">定理C(见[<一个href="#B21">21一个>])。年代p一个n><我>如果<年代vg height="13.45" id="M35" style="vertical-align:-2.21957pt;width:92.512497px;" version="1.1" viewbox="0 0 92.512497 13.45" width="92.512497" xmlns="http://www.w3.org/2000/svg">
0
≤
(
)
≤
(
)
和<年代vg height="13.5625" id="M36" style="vertical-align:-2.21957pt;width:48.724998px;" version="1.1" viewbox="0 0 48.724998 13.5625" width="48.724998" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
,那么存在一个方程的非振动解的解决方案我><年代p一个nclass="equation" id="EEq4">
̇
(
)
−
(
)
(
ℎ
(
)
)
+
(
)
(
)
=
0
。
(
1
。
7
)
这个结果是广义的定理<一个href="#thm6">2.13一个>的几个积极的和消极的方面和一些先进的参数;此外,积极的方面也可以先进的推进不大于相应的消极方面。
我们也研究先进的积极和消极系数方程的情况下积极方面占主导地位,而不是消极的;一些足够的振动条件给出了定理<一个href="#thm7">2.15一个>;这些结果之后不断进步和应用于方程系数。让我们注意分析混合方程的振动特性与积极先进的术语<年代p一个nclass="equation" id="eq4">
̇
(
)
+
(
)
(
ℎ
(
)
)
−
(
)
(
(
)
)
=
0
,
ℎ
(
)
≥
,
(
)
≤
,
(
)
≥
0
,
(
)
≥
0
(
1
。
8
)
也更复杂的比其他情况下的混合方程具有积极和消极的系数(<一个href="#B21">21一个>]。
在振动理论中,结果非振动解的渐近性质是相当重要的;例如,对于方程与几个延误和积极的系数,所有非振动解趋于零如果系数之和的积分发散;为负系数相同的条件下,所有的解趋于无穷。在定理<一个href="#thm2">2.6一个>和<一个href="#thm5">2.11一个>,先进的方程非振动解的渐近性质与系数相同的标志进行了研究。
本文组织如下。部分<一个href="#sec2">2一个>包含主要结果先进方程非振动解的存在性和渐近的这些解决方案:首先对方程系数相同的符号,然后与正负系数方程。部分<一个href="#sec3">3一个>涉及到一些评论和开放的问题。
2。主要结果
考虑第一个方程<年代p一个nclass="equation" id="EEq5">
̇
(
)
−
=
1
ℎ
(
)
(
)
=
0
,
(
2
。
1
)
在下列条件:<年代p一个nclass="list">(a1)年代p一个n><年代p一个nclass="list-content">
(
)
≥
0
,<年代vg height="12.8875" id="M41" style="vertical-align:-1.76814pt;width:78.150002px;" version="1.1" viewbox="0 0 78.150002 12.8875" width="78.150002" xmlns="http://www.w3.org/2000/svg">
=
1
,
…
,
,基本上是勒贝格可测函数局部有界<年代vg height="12.3" id="M42" style="vertical-align:-1.29163pt;width:32.224998px;" version="1.1" viewbox="0 0 32.224998 12.3" width="32.224998" xmlns="http://www.w3.org/2000/svg">
≥
0
,年代p一个n>年代p一个n>(a2)年代p一个n><年代p一个nclass="list-content">
ℎ
∶
(
0
,
∞
)
→
ℝ
是勒贝格可测函数,<年代vg height="14.825" id="M44" style="vertical-align:-3.2316pt;width:55.275002px;" version="1.1" viewbox="0 0 55.275002 14.825" width="55.275002" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
,<年代vg height="12.8875" id="M45" style="vertical-align:-1.76814pt;width:78.150002px;" version="1.1" viewbox="0 0 78.150002 12.8875" width="78.150002" xmlns="http://www.w3.org/2000/svg">
=
1
,
…
,
。年代p一个n>年代p一个n>
定义2.1。我>年代p一个n>本地绝对连续函数<年代vg height="14.75" id="M46" style="vertical-align:-3.25793pt;width:107.7px;" version="1.1" viewbox="0 0 107.7 14.75" width="107.7" xmlns="http://www.w3.org/2000/svg">
∶
(
0
,
∞
)
→
被称为<我>一个解决方案的问题我>(<一个href="#EEq5">2.1一个>如果它满足(<一个href="#EEq5">2.1一个>),几乎所有<年代vg height="14.75" id="M47" style="vertical-align:-3.25793pt;width:66.787498px;" version="1.1" viewbox="0 0 66.787498 14.75" width="66.787498" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
∞
)
。年代p一个n>
相同的定义将进一步用于所有先进的方程。
<年代p一个nclass="statement" id="thm1">定理2.2。年代p一个n><我>假设不平等我><年代p一个nclass="equation" id="EEq6">
(
)
≥
=
1
(
)
e
x
p
ℎ
(
)
(
)
,
≥
0
(
2
。
2
)
有一个非负解每个区间上可积的是哪一个<年代vg height="14.625" id="M49" style="vertical-align:-3.25793pt;width:35.375px;" version="1.1" viewbox="0 0 35.375 14.625" width="35.375" xmlns="http://www.w3.org/2000/svg">
(
0
,
]
,然后(<一个href="#EEq5">2.1一个>)有一个积极的解决方案<年代vg height="13.7" id="M50" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="14.75" id="M51" style="vertical-align:-3.25793pt;width:28.924999px;" version="1.1" viewbox="0 0 28.924999 14.75" width="28.924999" xmlns="http://www.w3.org/2000/svg">
0
(
)
是一个非负解不等式(<一个href="#EEq6">2.2一个>)。表示<年代p一个nclass="equation" id="eq5">
+
1
(
)
=
=
1
(
)
e
x
p
ℎ
(
)
(
)
,
=
0
,
1
,
…
,
(
2
。
3
)
然后<年代p一个nclass="equation" id="eq6">
1
(
)
=
=
1
(
)
e
x
p
ℎ
(
)
0
(
)
≤
0
(
)
。
(
2
。
4
)
我们用归纳法<年代vg height="15.05" id="M54" style="vertical-align:-3.49493pt;width:165.41251px;" version="1.1" viewbox="0 0 165.41251 15.05" width="165.41251" xmlns="http://www.w3.org/2000/svg">
0
≤
+
1
(
)
≤
(
)
≤
0
(
)
。因此,存在一个点态极限<年代vg height="14.8" id="M55" style="vertical-align:-3.20526pt;width:127.0125px;" version="1.1" viewbox="0 0 127.0125 14.8" width="127.0125" xmlns="http://www.w3.org/2000/svg">
(
)
=
l
我
米
→
∞
(
)
。勒贝格的收敛定理,我们有<年代p一个nclass="equation" id="eq7">
(
)
=
=
1
(
)
e
x
p
ℎ
(
)
。
(
)
(
2
。
5
)
然后,该函数<年代p一个nclass="equation" id="eq8">
(
)
=
0
e
x
p
0
(
)
f
o
r
一个
n
y
0
>
0
(
2
。
6
)
是一个积极的解决方案(<一个href="#EEq5">2.1一个>)。年代p一个n>
推论2.3。年代p一个n><我>如果我><年代p一个nclass="equation" id="EEq7">
米
一个
x
ℎ
(
)
=
1
1
(
)
≤
,
≥
0
,
(
2
。
7
)
然后(<一个href="#EEq5">2.1一个>)有一个积极的解决方案<年代vg height="13.7" id="M59" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="17.487499" id="M60" style="vertical-align:-3.80836pt;width:118.775px;" version="1.1" viewbox="0 0 118.775 17.487499" width="118.775" xmlns="http://www.w3.org/2000/svg">
0
∑
(
)
=
=
1
(
)
,然后<年代vg height="11.075" id="M61" style="vertical-align:-3.25793pt;width:13.625px;" version="1.1" viewbox="0 0 13.625 11.075" width="13.625" xmlns="http://www.w3.org/2000/svg">
0
满足(<一个href="#EEq6">2.2一个>)在任何时候<年代vg height="9.125" id="M62" style="vertical-align:-0.11285pt;width:5.0124998px;" version="1.1" viewbox="0 0 5.0124998 9.125" width="5.0124998" xmlns="http://www.w3.org/2000/svg">
在哪里<年代vg height="17.487499" id="M63" style="vertical-align:-3.80836pt;width:90.824997px;" version="1.1" viewbox="0 0 90.824997 17.487499" width="90.824997" xmlns="http://www.w3.org/2000/svg">
∑
=
1
(
)
=
0
。在当<年代vg height="17.487499" id="M64" style="vertical-align:-3.80836pt;width:87.349998px;" version="1.1" viewbox="0 0 87.349998 17.487499" width="87.349998" xmlns="http://www.w3.org/2000/svg">
∑
=
1
(
)
≠
0
不平等(<一个href="#EEq7">2.7一个>)意味着<年代p一个nclass="equation" id="eq9">
0
(
)
∑
=
1
∫
(
)
e
x
p
ℎ
(
)
0
≥
(
)
0
(
)
∑
=
1
(
∫
)
e
x
p
米
一个
x
ℎ
(
)
0
(
=
∑
)
=
1
(
)
∑
=
1
(
∫
)
e
x
p
米
一个
x
ℎ
(
)
∑
=
1
≥
∑
(
)
=
1
(
)
∑
=
1
(
)
=
1
。
(
2
。
8
)
因此,<年代vg height="14.75" id="M66" style="vertical-align:-3.25793pt;width:28.924999px;" version="1.1" viewbox="0 0 28.924999 14.75" width="28.924999" xmlns="http://www.w3.org/2000/svg">
0
(
)
不平等是一个积极的解决方案(<一个href="#EEq6">2.2一个>)。由定理<一个href="#thm1">2.2一个>,(<一个href="#EEq5">2.1一个>)有一个积极的解决方案<年代vg height="13.7" id="M67" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。年代p一个n>
推论2.4。年代p一个n><我>如果存在<年代vg height="11.0625" id="M68" style="vertical-align:-0.30096pt;width:36.5px;" version="1.1" viewbox="0 0 36.5 11.0625" width="36.5" xmlns="http://www.w3.org/2000/svg">
>
0
这样<年代vg height="14.825" id="M69" style="vertical-align:-3.2316pt;width:82.099998px;" version="1.1" viewbox="0 0 82.099998 14.825" width="82.099998" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
−
≤
和<年代vg height="19.299999" id="M70" style="vertical-align:-4.59964pt;width:135.14999px;" version="1.1" viewbox="0 0 135.14999 19.299999" width="135.14999" xmlns="http://www.w3.org/2000/svg">
∫
∞
0
∑
=
1
(
)
<
∞
,然后(<一个href="#EEq5">2.1一个>)有一个最终正解。我>年代p一个n>
推论2.5。年代p一个n><我>如果存在<年代vg height="11.0625" id="M71" style="vertical-align:-0.30096pt;width:36.5px;" version="1.1" viewbox="0 0 36.5 11.0625" width="36.5" xmlns="http://www.w3.org/2000/svg">
>
0
这样<年代vg height="14.825" id="M72" style="vertical-align:-3.2316pt;width:82.099998px;" version="1.1" viewbox="0 0 82.099998 14.825" width="82.099998" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
−
≤
和<年代vg height="14.825" id="M73" style="vertical-align:-3.2316pt;width:111.0375px;" version="1.1" viewbox="0 0 111.0375 14.825" width="111.0375" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
)
=
0
,然后(<一个href="#EEq5">2.1一个>)有一个最终正解。我>年代p一个n>
证明。我>年代p一个n>条件下的必然结果<一个href="#coro2">2.4一个>或推论<一个href="#coro3">2.5一个>很明显,存在<年代vg height="14.75" id="M74" style="vertical-align:-3.25793pt;width:38.3125px;" version="1.1" viewbox="0 0 38.3125 14.75" width="38.3125" xmlns="http://www.w3.org/2000/svg">
0
≥
0
这样,(<一个href="#EEq7">2.7一个>)是满意的。年代p一个n>
定理2.6。年代p一个n><我>让<年代vg height="19.15" id="M75" style="vertical-align:-4.47675pt;width:135.14999px;" version="1.1" viewbox="0 0 135.14999 19.15" width="135.14999" xmlns="http://www.w3.org/2000/svg">
∫
∞
∑
=
1
(
)
=
∞
和<年代vg height="7.1624999" id="M76" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
是一个最终正解的<一个href="#EEq5">2.1一个>),然后<年代vg height="14.8" id="M77" style="vertical-align:-3.21404pt;width:111.9px;" version="1.1" viewbox="0 0 111.9 14.8" width="111.9" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
)
=
∞
。我>年代p一个n>
证明。我>年代p一个n>假设<年代vg height="13.45" id="M78" style="vertical-align:-2.21957pt;width:51.224998px;" version="1.1" viewbox="0 0 51.224998 13.45" width="51.224998" xmlns="http://www.w3.org/2000/svg">
(
)
>
0
为<年代vg height="13.55" id="M79" style="vertical-align:-3.13504pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.55" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
1
,然后<年代vg height="13.45" id="M80" style="vertical-align:-2.21957pt;width:51.224998px;" version="1.1" viewbox="0 0 51.224998 13.45" width="51.224998" xmlns="http://www.w3.org/2000/svg">
̇
(
)
≥
0
为<年代vg height="13.55" id="M81" style="vertical-align:-3.13504pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.55" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
1
和<年代p一个nclass="equation" id="eq10">
̇
(
)
≥
=
1
(
)
1
,
≥
1
,
(
2
。
9
)
这意味着<年代p一个nclass="equation" id="eq11">
(
)
≥
1
1
=
1
(
)
。
(
2
。
1
0
)
因此,<年代vg height="14.8" id="M84" style="vertical-align:-3.21404pt;width:111.9px;" version="1.1" viewbox="0 0 111.9 14.8" width="111.9" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
)
=
∞
。年代p一个n>
考虑在一起(<一个href="#EEq5">2.1一个>)以下方程:<年代p一个nclass="equation" id="EEq8">
̇
(
)
−
=
1
(
)
(
)
=
0
,
(
2
。
1
1
)
为<年代vg height="13.7" id="M86" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。我们假设(<一个href="#EEq8">2.11一个>)条件(a1)——(a2)也持有。
<年代p一个nclass="statement" id="thm3">定理2.7。年代p一个n><我>假设<年代vg height="14.825" id="M87" style="vertical-align:-3.2316pt;width:104.2125px;" version="1.1" viewbox="0 0 104.2125 14.825" width="104.2125" xmlns="http://www.w3.org/2000/svg">
≤
(
)
≤
ℎ
(
)
,<年代vg height="14.7125" id="M88" style="vertical-align:-3.2316pt;width:105.6125px;" version="1.1" viewbox="0 0 105.6125 14.7125" width="105.6125" xmlns="http://www.w3.org/2000/svg">
0
≤
(
)
≤
(
)
,<年代vg height="13.7" id="M89" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
和定理的条件<一个href="#thm1">2.2一个>持有,那么(<一个href="#EEq8">2.11一个>)有一个积极的解决方案<年代vg height="13.7" id="M90" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="14.75" id="M91" style="vertical-align:-3.25793pt;width:56.125px;" version="1.1" viewbox="0 0 56.125 14.75" width="56.125" xmlns="http://www.w3.org/2000/svg">
0
(
)
≥
0
是一个不平等的解决方案(<一个href="#EEq6">2.2一个>)<年代vg height="13.7" id="M92" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
,那么这个函数不等式如果也是一个解决方案<年代vg height="14.7125" id="M93" style="vertical-align:-3.2316pt;width:29.825001px;" version="1.1" viewbox="0 0 29.825001 14.7125" width="29.825001" xmlns="http://www.w3.org/2000/svg">
(
)
和<年代vg height="14.825" id="M94" style="vertical-align:-3.2316pt;width:31px;" version="1.1" viewbox="0 0 31 14.825" width="31" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
取而代之的是<年代vg height="14.7125" id="M95" style="vertical-align:-3.2316pt;width:29.325001px;" version="1.1" viewbox="0 0 29.325001 14.7125" width="29.325001" xmlns="http://www.w3.org/2000/svg">
(
)
和<年代vg height="14.7125" id="M96" style="vertical-align:-3.2316pt;width:29.6625px;" version="1.1" viewbox="0 0 29.6625 14.7125" width="29.6625" xmlns="http://www.w3.org/2000/svg">
(
)
。引用定理<一个href="#thm1">2.2一个>完成了证明。年代p一个n>
推论2.8。年代p一个n><我>假设存在<年代vg height="14.7125" id="M97" style="vertical-align:-3.2316pt;width:41.724998px;" version="1.1" viewbox="0 0 41.724998 14.7125" width="41.724998" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="14.7125" id="M98" style="vertical-align:-3.2316pt;width:43.049999px;" version="1.1" viewbox="0 0 43.049999 14.7125" width="43.049999" xmlns="http://www.w3.org/2000/svg">
>
0
这样<年代vg height="14.7125" id="M99" style="vertical-align:-3.2316pt;width:90.8125px;" version="1.1" viewbox="0 0 90.8125 14.7125" width="90.8125" xmlns="http://www.w3.org/2000/svg">
0
≤
(
)
≤
,<年代vg height="14.825" id="M100" style="vertical-align:-3.2316pt;width:112.9375px;" version="1.1" viewbox="0 0 112.9375 14.825" width="112.9375" xmlns="http://www.w3.org/2000/svg">
≤
ℎ
(
)
≤
+
,<年代vg height="13.7" id="M101" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
和不平等我><年代p一个nclass="equation" id="eq12">
≥
=
1
(
2
。
1
2
)
有一个解决方案<年代vg height="12.3" id="M103" style="vertical-align:-1.29163pt;width:35.787498px;" version="1.1" viewbox="0 0 35.787498 12.3" width="35.787498" xmlns="http://www.w3.org/2000/svg">
≥
0
,然后(<一个href="#EEq5">2.1一个>)有一个积极的解决方案<年代vg height="13.7" id="M104" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。我>年代p一个n>
证明。我>年代p一个n>考虑方程常数参数<年代p一个nclass="equation" id="EEq9">
̇
(
)
−
=
1
+
=
0
。
(
2
。
1
3
)
因为这个函数<年代vg height="13.45" id="M106" style="vertical-align:-2.21957pt;width:50.674999px;" version="1.1" viewbox="0 0 50.674999 13.45" width="50.674999" xmlns="http://www.w3.org/2000/svg">
(
)
≡
是一个不平等的解决方案(<一个href="#EEq6">2.2一个>)对应于(<一个href="#EEq9">2.13一个>由定理),<一个href="#thm1">2.2一个>,(<一个href="#EEq9">2.13一个>)有一个积极的解决方案。定理<一个href="#thm3">2.7一个>意味着这个推论。年代p一个n>
推论2.9。年代p一个n><我>假设<年代vg height="14.7125" id="M107" style="vertical-align:-3.2316pt;width:90.8125px;" version="1.1" viewbox="0 0 90.8125 14.7125" width="90.8125" xmlns="http://www.w3.org/2000/svg">
0
≤
(
)
≤
,<年代vg height="14.825" id="M108" style="vertical-align:-3.2316pt;width:106.3875px;" version="1.1" viewbox="0 0 106.3875 14.825" width="106.3875" xmlns="http://www.w3.org/2000/svg">
≤
ℎ
(
)
≤
+
为<年代vg height="13.7" id="M109" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
,我><年代p一个nclass="equation" id="eq13">
=
1
≤
1
,
(
2
。
1
4
)
然后(<一个href="#EEq5">2.1一个>)有一个积极的解决方案<年代vg height="13.7" id="M111" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。我>年代p一个n>
证明。我>年代p一个n>自<年代vg height="17.487499" id="M112" style="vertical-align:-3.80836pt;width:96px;" version="1.1" viewbox="0 0 96 17.487499" width="96" xmlns="http://www.w3.org/2000/svg">
∑
=
1
≤
1
/
,这个数字<年代vg height="10.9375" id="M113" style="vertical-align:-0.20064pt;width:49.299999px;" version="1.1" viewbox="0 0 49.299999 10.9375" width="49.299999" xmlns="http://www.w3.org/2000/svg">
=
1
/
是一个积极的解决不平等吗<年代p一个nclass="equation" id="eq14">
≥
=
1
,
(
2
。
1
5
)
这就完成了证明。年代p一个n>
现在考虑用积极系数方程<年代p一个nclass="equation" id="EEq10">
̇
(
)
+
=
1
ℎ
(
)
(
)
=
0
。
(
2
。
1
6
)
定理2.10。年代p一个n><我>假设<年代vg height="14.7125" id="M116" style="vertical-align:-3.2316pt;width:57.025002px;" version="1.1" viewbox="0 0 57.025002 14.7125" width="57.025002" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
是连续函数有界<年代vg height="14.75" id="M117" style="vertical-align:-3.25793pt;width:42.5px;" version="1.1" viewbox="0 0 42.5 14.75" width="42.5" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
和<年代vg height="14.825" id="M118" style="vertical-align:-3.2316pt;width:15.7px;" version="1.1" viewbox="0 0 15.7 14.825" width="15.7" xmlns="http://www.w3.org/2000/svg">
ℎ
在同等连续的函数<年代vg height="14.75" id="M119" style="vertical-align:-3.25793pt;width:42.5px;" version="1.1" viewbox="0 0 42.5 14.75" width="42.5" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
令人满意的<年代vg height="14.825" id="M120" style="vertical-align:-3.2316pt;width:107.9875px;" version="1.1" viewbox="0 0 107.9875 14.825" width="107.9875" xmlns="http://www.w3.org/2000/svg">
0
≤
ℎ
(
)
−
≤
,然后(<一个href="#EEq10">2.16一个>)有一个非振动解。我>年代p一个n>
证明。我>年代p一个n>在空间<年代vg height="14.75" id="M121" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
的连续函数<年代vg height="14.75" id="M122" style="vertical-align:-3.25793pt;width:42.5px;" version="1.1" viewbox="0 0 42.5 14.75" width="42.5" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
,考虑集<年代p一个nclass="equation" id="eq15">
=
∣
0
≤
≤
=
1
,
(
)
(
2
。
1
7
)
和运营商<年代p一个nclass="equation" id="eq16">
(
)
(
)
=
=
1
−
(
)
e
x
p
ℎ
(
)
。
(
)
(
2
。
1
8
)
如果<年代vg height="10.75" id="M125" style="vertical-align:-0.33858pt;width:44.037498px;" version="1.1" viewbox="0 0 44.037498 10.75" width="44.037498" xmlns="http://www.w3.org/2000/svg">
∈
,然后<年代vg height="10.75" id="M126" style="vertical-align:-0.33858pt;width:57.674999px;" version="1.1" viewbox="0 0 57.674999 10.75" width="57.674999" xmlns="http://www.w3.org/2000/svg">
∈
。 的积分算子<年代p一个nclass="equation" id="eq17">
(
)
(
)
∶
=
ℎ
(
)
(
)
,
(
2
。
1
9
)
我们将证明<年代vg height="10.325" id="M128" style="vertical-align:-0.0pt;width:25.8375px;" version="1.1" viewbox="0 0 25.8375 10.325" width="25.8375" xmlns="http://www.w3.org/2000/svg">
是一个紧集的空间<年代vg height="14.75" id="M129" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
。如果<年代vg height="10.75" id="M130" style="vertical-align:-0.33858pt;width:44.037498px;" version="1.1" viewbox="0 0 44.037498 10.75" width="44.037498" xmlns="http://www.w3.org/2000/svg">
∈
,然后<年代p一个nclass="equation" id="eq18">
为
(
)
(
)
为
(
0
,
∞
)
≤
年代
u
p
≥
0
+
|
|
|
|
(
)
≤
年代
u
p
≥
0
=
1
(
)
<
∞
。
(
2
。
2
0
)
因此,功能设置<年代vg height="10.325" id="M132" style="vertical-align:-0.0pt;width:25.8375px;" version="1.1" viewbox="0 0 25.8375 10.325" width="25.8375" xmlns="http://www.w3.org/2000/svg">
一致有界的空间<年代vg height="14.75" id="M133" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
。 功能<年代vg height="14.825" id="M134" style="vertical-align:-3.2316pt;width:15.7px;" version="1.1" viewbox="0 0 15.7 14.825" width="15.7" xmlns="http://www.w3.org/2000/svg">
ℎ
在同等连续的<年代vg height="14.75" id="M135" style="vertical-align:-3.25793pt;width:42.5px;" version="1.1" viewbox="0 0 42.5 14.75" width="42.5" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
,所以任何<年代vg height="11.0625" id="M136" style="vertical-align:-0.30096pt;width:34.887501px;" version="1.1" viewbox="0 0 34.887501 11.0625" width="34.887501" xmlns="http://www.w3.org/2000/svg">
>
0
,存在一个<年代vg height="14.75" id="M137" style="vertical-align:-3.25793pt;width:42.599998px;" version="1.1" viewbox="0 0 42.599998 14.75" width="42.599998" xmlns="http://www.w3.org/2000/svg">
0
>
0
这样,对于<年代vg height="14.75" id="M138" style="vertical-align:-3.25793pt;width:70.449997px;" version="1.1" viewbox="0 0 70.449997 14.75" width="70.449997" xmlns="http://www.w3.org/2000/svg">
|
−
|
<
0
的不平等<年代p一个nclass="equation" id="eq19">
|
|
ℎ
(
)
−
ℎ
|
|
<
(
)
2
年代
u
p
≥
0
=
1
(
)
−
1
,
=
1
,
…
,
(
2
。
2
1
)
成立。的关系<年代p一个nclass="equation" id="eq20">
ℎ
(
0
)
0
−
ℎ
(
)
=
0
+
ℎ
(
0
)
−
ℎ
(
0
)
−
ℎ
ℎ
(
)
0
=
0
−
ℎ
ℎ
(
)
0
,
(
2
。
2
2
)
我们对<年代vg height="19.525" id="M141" style="vertical-align:-5.44238pt;width:257.85001px;" version="1.1" viewbox="0 0 257.85001 19.525" width="257.85001" xmlns="http://www.w3.org/2000/svg">
|
−
0
|
<
米
我
n
{
0
,
/
2
年代
u
p
≥
0
∑
=
1
(
)
}
和<年代vg height="10.75" id="M142" style="vertical-align:-0.33858pt;width:44.037498px;" version="1.1" viewbox="0 0 44.037498 10.75" width="44.037498" xmlns="http://www.w3.org/2000/svg">
∈
估计<年代p一个nclass="equation" id="eq21">
|
|
(
)
(
)
−
(
)
0
|
|
=
|
|
|
|
ℎ
(
)
t
(
)
−
ℎ
(
0
)
0
|
|
|
|
≤
(
)
0
|
|
|
|
(
)
+
ℎ
ℎ
(
)
0
|
|
|
|
≤
|
|
(
)
−
0
|
|
年代
u
p
≥
0
=
1
|
|
ℎ
(
)
+
(
)
−
ℎ
0
|
|
年代
u
p
≥
0
=
1
<
(
)
2
+
2
=
。
(
2
。
2
3
)
因此,一组<年代vg height="10.325" id="M144" style="vertical-align:-0.0pt;width:25.8375px;" version="1.1" viewbox="0 0 25.8375 10.325" width="25.8375" xmlns="http://www.w3.org/2000/svg">
包含函数一致有界和等度连续的<年代vg height="14.75" id="M145" style="vertical-align:-3.25793pt;width:42.5px;" version="1.1" viewbox="0 0 42.5 14.75" width="42.5" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
,所以它紧凑的空间<年代vg height="14.75" id="M146" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
;因此,一组<年代vg height="10.325" id="M147" style="vertical-align:-0.0pt;width:30.887501px;" version="1.1" viewbox="0 0 30.887501 10.325" width="30.887501" xmlns="http://www.w3.org/2000/svg">
也在紧凑<年代vg height="14.75" id="M148" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
。 由Schauder不动点定理,存在一个连续函数<年代vg height="10.75" id="M149" style="vertical-align:-0.33858pt;width:44.037498px;" version="1.1" viewbox="0 0 44.037498 10.75" width="44.037498" xmlns="http://www.w3.org/2000/svg">
∈
这样<年代vg height="10.475" id="M150" style="vertical-align:-0.11285pt;width:47.974998px;" version="1.1" viewbox="0 0 47.974998 10.475" width="47.974998" xmlns="http://www.w3.org/2000/svg">
=
,那么这个函数<年代p一个nclass="equation" id="eq22">
−
(
)
=
e
x
p
0
(
)
(
2
。
2
4
)
是一个有界正解的<一个href="#EEq10">2.16一个>)。此外,由于<年代vg height="7.1624999" id="M152" style="vertical-align:-0.11285pt;width:7.5374999px;" version="1.1" viewbox="0 0 7.5374999 7.1624999" width="7.5374999" xmlns="http://www.w3.org/2000/svg">
是负的,这个解决方案是nonincreasing<年代vg height="14.75" id="M153" style="vertical-align:-3.25793pt;width:42.5px;" version="1.1" viewbox="0 0 42.5 14.75" width="42.5" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
。年代p一个n>
定理2.11。年代p一个n><我>假设条件的定理<一个href="#thm4">2.10一个>持有,我><年代p一个nclass="equation" id="eq23">
∞
0
=
1
(
)
=
∞
,
(
2
。
2
5
)
和<年代vg height="7.1624999" id="M155" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
是一个非振动解的解决方案(<一个href="#EEq10">2.16一个>),然后<年代vg height="14.8" id="M156" style="vertical-align:-3.21404pt;width:105.2375px;" version="1.1" viewbox="0 0 105.2375 14.8" width="105.2375" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
)
=
0
。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="13.45" id="M157" style="vertical-align:-2.21957pt;width:51.224998px;" version="1.1" viewbox="0 0 51.224998 13.45" width="51.224998" xmlns="http://www.w3.org/2000/svg">
(
)
>
0
为<年代vg height="13.7" id="M158" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
,然后<年代vg height="13.45" id="M159" style="vertical-align:-2.21957pt;width:51.224998px;" version="1.1" viewbox="0 0 51.224998 13.45" width="51.224998" xmlns="http://www.w3.org/2000/svg">
̇
(
)
≤
0
为<年代vg height="13.7" id="M160" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。因此,<年代vg height="13.45" id="M161" style="vertical-align:-2.21957pt;width:24.025px;" version="1.1" viewbox="0 0 24.025 13.45" width="24.025" xmlns="http://www.w3.org/2000/svg">
(
)
nonincreasing因此有一个有限的限制。如果<年代vg height="14.8" id="M162" style="vertical-align:-3.21404pt;width:132.9375px;" version="1.1" viewbox="0 0 132.9375 14.8" width="132.9375" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
)
=
>
0
,然后<年代vg height="13.45" id="M163" style="vertical-align:-2.21957pt;width:52.662498px;" version="1.1" viewbox="0 0 52.662498 13.45" width="52.662498" xmlns="http://www.w3.org/2000/svg">
(
)
>
对于任何<年代vg height="9.125" id="M164" style="vertical-align:-0.11285pt;width:5.0124998px;" version="1.1" viewbox="0 0 5.0124998 9.125" width="5.0124998" xmlns="http://www.w3.org/2000/svg">
,因此<年代vg height="17.487499" id="M165" style="vertical-align:-3.80836pt;width:133.8125px;" version="1.1" viewbox="0 0 133.8125 17.487499" width="133.8125" xmlns="http://www.w3.org/2000/svg">
∑
̇
(
)
≤
−
=
1
(
)
这意味着<年代vg height="14.8" id="M166" style="vertical-align:-3.21404pt;width:122.6px;" version="1.1" viewbox="0 0 122.6 14.8" width="122.6" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
)
=
−
∞
。这与假设<年代vg height="13.45" id="M167" style="vertical-align:-2.21957pt;width:24.025px;" version="1.1" viewbox="0 0 24.025 13.45" width="24.025" xmlns="http://www.w3.org/2000/svg">
(
)
是积极的,因此<年代vg height="14.8" id="M168" style="vertical-align:-3.21404pt;width:105.2375px;" version="1.1" viewbox="0 0 105.2375 14.8" width="105.2375" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
(
)
=
0
。年代p一个n>
让我们注意,我们不能保证任何(指数或多项式)收敛速度为零甚至为常系数<年代vg height="11.05" id="M169" style="vertical-align:-3.2316pt;width:14.525px;" version="1.1" viewbox="0 0 14.525 11.05" width="14.525" xmlns="http://www.w3.org/2000/svg">
,如以下示例所示。
<年代p一个nclass="statement" id="ex1">例2.12。我>年代p一个n>考虑方程<年代vg height="13.5625" id="M170" style="vertical-align:-2.21957pt;width:112.2px;" version="1.1" viewbox="0 0 112.2 13.5625" width="112.2" xmlns="http://www.w3.org/2000/svg">
̇
(
)
+
(
ℎ
(
)
)
=
0
,在那里<年代vg height="16.612499" id="M171" style="vertical-align:-2.21957pt;width:70.175003px;" version="1.1" viewbox="0 0 70.175003 16.612499" width="70.175003" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
=
l
n
,<年代vg height="12.3" id="M172" style="vertical-align:-1.29163pt;width:32.224998px;" version="1.1" viewbox="0 0 32.224998 12.3" width="32.224998" xmlns="http://www.w3.org/2000/svg">
≥
3
,<年代vg height="13.5625" id="M173" style="vertical-align:-2.21957pt;width:86.275002px;" version="1.1" viewbox="0 0 86.275002 13.5625" width="86.275002" xmlns="http://www.w3.org/2000/svg">
(
3
)
=
1
/
l
n
3
。然后,<年代vg height="13.5625" id="M174" style="vertical-align:-2.21957pt;width:88.237503px;" version="1.1" viewbox="0 0 88.237503 13.5625" width="88.237503" xmlns="http://www.w3.org/2000/svg">
(
)
=
1
/
(
l
n
)
是趋近于零的慢的解决方案<年代vg height="11.3375" id="M175" style="vertical-align:-0.11285pt;width:17.6px;" version="1.1" viewbox="0 0 17.6 11.3375" width="17.6" xmlns="http://www.w3.org/2000/svg">
−
对于任何<年代vg height="11.0625" id="M176" style="vertical-align:-0.30096pt;width:33.700001px;" version="1.1" viewbox="0 0 33.700001 11.0625" width="33.700001" xmlns="http://www.w3.org/2000/svg">
>
0
。年代p一个n>
考虑现在先进的积极的和消极的系数方程<年代p一个nclass="equation" id="EEq11">
̇
(
)
−
=
1
ℎ
(
)
(
)
−
(
)
(
)
=
0
,
≥
0
。
(
2
。
2
6
)
定理2.13。年代p一个n><我>假设<年代vg height="14.7125" id="M178" style="vertical-align:-3.2316pt;width:29.825001px;" version="1.1" viewbox="0 0 29.825001 14.7125" width="29.825001" xmlns="http://www.w3.org/2000/svg">
(
)
和<年代vg height="14.7125" id="M179" style="vertical-align:-3.2316pt;width:29.325001px;" version="1.1" viewbox="0 0 29.325001 14.7125" width="29.325001" xmlns="http://www.w3.org/2000/svg">
(
)
基本上是勒贝格可测局部有界函数,<年代vg height="14.7125" id="M180" style="vertical-align:-3.2316pt;width:105.6125px;" version="1.1" viewbox="0 0 105.6125 14.7125" width="105.6125" xmlns="http://www.w3.org/2000/svg">
(
)
≥
(
)
≥
0
,<年代vg height="14.825" id="M181" style="vertical-align:-3.2316pt;width:31px;" version="1.1" viewbox="0 0 31 14.825" width="31" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
和<年代vg height="14.7125" id="M182" style="vertical-align:-3.2316pt;width:29.6625px;" version="1.1" viewbox="0 0 29.6625 14.7125" width="29.6625" xmlns="http://www.w3.org/2000/svg">
(
)
是勒贝格可测函数,<年代vg height="14.825" id="M183" style="vertical-align:-3.2316pt;width:104.2125px;" version="1.1" viewbox="0 0 104.2125 14.825" width="104.2125" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
(
)
≥
和不平等(<一个href="#EEq6">2.2一个>)有一个非负的解决方案,然后(<一个href="#EEq11">2.26一个>)有一个非解决方案;此外,它有一个积极的不减少的和负面nonincreasing解决方案。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="11.075" id="M184" style="vertical-align:-3.25793pt;width:13.625px;" version="1.1" viewbox="0 0 13.625 11.075" width="13.625" xmlns="http://www.w3.org/2000/svg">
0
是一个非负解(<一个href="#EEq6">2.2一个>),表示<年代p一个nclass="equation" id="eq24">
+
1
(
)
=
=
1
(
)
e
x
p
ℎ
(
)
(
)
−
(
)
e
x
p
(
)
(
)
,
≥
0
,
≥
0
。
(
2
。
2
7
)
我们有<年代vg height="14.75" id="M186" style="vertical-align:-3.25793pt;width:40.825001px;" version="1.1" viewbox="0 0 40.825001 14.75" width="40.825001" xmlns="http://www.w3.org/2000/svg">
0
≥
0
,(<一个href="#EEq6">2.2一个>),<年代p一个nclass="equation" id="eq25">
0
≥
=
1
(
)
e
x
p
ℎ
(
)
0
≥
(
)
=
1
(
)
e
x
p
ℎ
(
)
0
(
)
−
(
)
e
x
p
(
)
0
(
)
=
1
(
)
。
(
2
。
2
8
)
自<年代vg height="14.7125" id="M188" style="vertical-align:-3.2316pt;width:105.6125px;" version="1.1" viewbox="0 0 105.6125 14.7125" width="105.6125" xmlns="http://www.w3.org/2000/svg">
(
)
≥
(
)
≥
0
和<年代vg height="14.825" id="M189" style="vertical-align:-3.2316pt;width:104.2125px;" version="1.1" viewbox="0 0 104.2125 14.825" width="104.2125" xmlns="http://www.w3.org/2000/svg">
≤
(
)
≤
ℎ
(
)
,然后<年代vg height="14.6" id="M190" style="vertical-align:-3.13504pt;width:56.125px;" version="1.1" viewbox="0 0 56.125 14.6" width="56.125" xmlns="http://www.w3.org/2000/svg">
1
(
)
≥
0
。 接下来,让我们假设<年代vg height="14.6875" id="M191" style="vertical-align:-3.20526pt;width:117.2125px;" version="1.1" viewbox="0 0 117.2125 14.6875" width="117.2125" xmlns="http://www.w3.org/2000/svg">
0
≤
(
)
≤
−
1
(
)
。定理的假设<年代vg height="15.05" id="M192" style="vertical-align:-3.49493pt;width:53.762501px;" version="1.1" viewbox="0 0 53.762501 15.05" width="53.762501" xmlns="http://www.w3.org/2000/svg">
+
1
≥
0
。让我们证明<年代vg height="15.05" id="M193" style="vertical-align:-3.49493pt;width:90.012497px;" version="1.1" viewbox="0 0 90.012497 15.05" width="90.012497" xmlns="http://www.w3.org/2000/svg">
+
1
(
)
≤
(
)
。这个不等式的形式<年代p一个nclass="equation" id="eq26">
=
1
(
)
e
x
p
ℎ
(
)
(
)
−
(
)
e
x
p
(
)
≤
(
)
=
1
(
)
e
x
p
ℎ
(
)
−
1
(
)
−
(
)
e
x
p
(
)
−
1
,
(
)
(
2
。
2
9
)
相当于<年代p一个nclass="equation" id="eq27">
=
1
e
x
p
ℎ
(
)
(
)
(
)
−
−
(
)
e
x
p
ℎ
(
)
(
)
≤
(
)
=
1
e
x
p
ℎ
(
)
−
1
(
)
(
)
−
−
(
)
e
x
p
ℎ
(
)
(
)
−
1
。
(
)
(
2
。
3
0
)
这对任何不平等是显而易见的<年代vg height="14.6875" id="M196" style="vertical-align:-3.20526pt;width:117.2125px;" version="1.1" viewbox="0 0 117.2125 14.6875" width="117.2125" xmlns="http://www.w3.org/2000/svg">
0
≤
(
)
≤
−
1
(
)
,<年代vg height="14.7125" id="M197" style="vertical-align:-3.2316pt;width:57.025002px;" version="1.1" viewbox="0 0 57.025002 14.7125" width="57.025002" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
,<年代vg height="14.7125" id="M198" style="vertical-align:-3.2316pt;width:41.224998px;" version="1.1" viewbox="0 0 41.224998 14.7125" width="41.224998" xmlns="http://www.w3.org/2000/svg">
≥
0
;因此,我们有<年代vg height="15.05" id="M199" style="vertical-align:-3.49493pt;width:90.012497px;" version="1.1" viewbox="0 0 90.012497 15.05" width="90.012497" xmlns="http://www.w3.org/2000/svg">
+
1
(
)
≤
(
)
。 勒贝格的收敛定理,逐点的限制<年代vg height="14.8" id="M200" style="vertical-align:-3.20526pt;width:127.0125px;" version="1.1" viewbox="0 0 127.0125 14.8" width="127.0125" xmlns="http://www.w3.org/2000/svg">
(
)
=
l
我
米
→
∞
(
)
令人满意的<年代p一个nclass="equation" id="eq28">
(
)
=
=
1
(
)
e
x
p
ℎ
(
)
(
)
−
(
)
e
x
p
(
)
(
)
,
≥
0
,
(
2
。
3
1
)
(
)
≥
0
,<年代vg height="13.7" id="M203" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.7" width="35.387501" xmlns="http://www.w3.org/2000/svg">
≥
0
。然后,该函数<年代p一个nclass="equation" id="eq29">
(
)
=
0
e
x
p
0
(
)
,
≥
0
(
2
。
3
2
)
是一个积极的不减少的解决方案(<一个href="#EEq11">2.26一个>)对于任何<年代vg height="14.75" id="M205" style="vertical-align:-3.25793pt;width:57.3125px;" version="1.1" viewbox="0 0 57.3125 14.75" width="57.3125" xmlns="http://www.w3.org/2000/svg">
(
0
)
>
0
和是一个负面nonincreasing解决方案(<一个href="#EEq11">2.26一个>)对于任何<年代vg height="14.75" id="M206" style="vertical-align:-3.25793pt;width:57.3125px;" version="1.1" viewbox="0 0 57.3125 14.75" width="57.3125" xmlns="http://www.w3.org/2000/svg">
(
0
)
<
0
。年代p一个n>
推论2.14。年代p一个n><我>让<年代vg height="14.7125" id="M207" style="vertical-align:-3.2316pt;width:29.825001px;" version="1.1" viewbox="0 0 29.825001 14.7125" width="29.825001" xmlns="http://www.w3.org/2000/svg">
(
)
和<年代vg height="14.7125" id="M208" style="vertical-align:-3.2316pt;width:29.325001px;" version="1.1" viewbox="0 0 29.325001 14.7125" width="29.325001" xmlns="http://www.w3.org/2000/svg">
(
)
在本地勒贝格可测基本上满足有界函数<年代vg height="14.7125" id="M209" style="vertical-align:-3.2316pt;width:105.6125px;" version="1.1" viewbox="0 0 105.6125 14.7125" width="105.6125" xmlns="http://www.w3.org/2000/svg">
(
)
≥
(
)
≥
0
,让<年代vg height="14.825" id="M210" style="vertical-align:-3.2316pt;width:31px;" version="1.1" viewbox="0 0 31 14.825" width="31" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
和<年代vg height="14.7125" id="M211" style="vertical-align:-3.2316pt;width:29.6625px;" version="1.1" viewbox="0 0 29.6625 14.7125" width="29.6625" xmlns="http://www.w3.org/2000/svg">
(
)
勒贝格可测函数,<年代vg height="14.825" id="M212" style="vertical-align:-3.2316pt;width:104.2125px;" version="1.1" viewbox="0 0 104.2125 14.825" width="104.2125" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
(
)
≥
。除了假设不平等(<一个href="#EEq7">2.7一个>)持有。然后,(<一个href="#EEq11">2.26一个>)有一个非振动解。我>年代p一个n>
现在考虑方程常数偏差先进的参数<年代p一个nclass="equation" id="EEq12">
̇
(
)
−
=
1
(
)
+
−
(
)
+
=
0
,
(
2
。
3
3
)
在哪里<年代vg height="14.5875" id="M214" style="vertical-align:-3.2316pt;width:34.9375px;" version="1.1" viewbox="0 0 34.9375 14.5875" width="34.9375" xmlns="http://www.w3.org/2000/svg">
,
是连续函数,<年代vg height="14.7125" id="M215" style="vertical-align:-3.2316pt;width:41.887501px;" version="1.1" viewbox="0 0 41.887501 14.7125" width="41.887501" xmlns="http://www.w3.org/2000/svg">
≥
0
,<年代vg height="14.7125" id="M216" style="vertical-align:-3.2316pt;width:43.049999px;" version="1.1" viewbox="0 0 43.049999 14.7125" width="43.049999" xmlns="http://www.w3.org/2000/svg">
≥
0
。
表示<年代vg height="17.475" id="M217" style="vertical-align:-5.44238pt;width:113.3875px;" version="1.1" viewbox="0 0 113.3875 17.475" width="113.3875" xmlns="http://www.w3.org/2000/svg">
=
年代
u
p
≥
0
(
)
,<年代vg height="17.549999" id="M218" style="vertical-align:-5.41734pt;width:107.2375px;" version="1.1" viewbox="0 0 107.2375 17.549999" width="107.2375" xmlns="http://www.w3.org/2000/svg">
=
我
n
f
≥
0
(
)
,<年代vg height="17.475" id="M219" style="vertical-align:-5.44238pt;width:112.55px;" version="1.1" viewbox="0 0 112.55 17.475" width="112.55" xmlns="http://www.w3.org/2000/svg">
=
年代
u
p
≥
0
(
)
,<年代vg height="17.549999" id="M220" style="vertical-align:-5.41734pt;width:106.2375px;" version="1.1" viewbox="0 0 106.2375 17.549999" width="106.2375" xmlns="http://www.w3.org/2000/svg">
=
我
n
f
≥
0
(
)
。
<年代p一个nclass="statement" id="thm7">定理2.15。年代p一个n><我>假设<年代vg height="14.7125" id="M221" style="vertical-align:-3.2316pt;width:41.724998px;" version="1.1" viewbox="0 0 41.724998 14.7125" width="41.724998" xmlns="http://www.w3.org/2000/svg">
≥
0
,<年代vg height="14.7125" id="M222" style="vertical-align:-3.2316pt;width:41.224998px;" version="1.1" viewbox="0 0 41.224998 14.7125" width="41.224998" xmlns="http://www.w3.org/2000/svg">
≥
0
,<年代vg height="14.575" id="M223" style="vertical-align:-3.2316pt;width:51.737499px;" version="1.1" viewbox="0 0 51.737499 14.575" width="51.737499" xmlns="http://www.w3.org/2000/svg">
<
∞
,<年代vg height="14.3625" id="M224" style="vertical-align:-3.2316pt;width:51.412498px;" version="1.1" viewbox="0 0 51.412498 14.3625" width="51.412498" xmlns="http://www.w3.org/2000/svg">
<
∞
。我>如果存在一个数字<年代vg height="14.75" id="M225" style="vertical-align:-3.25793pt;width:41.875px;" version="1.1" viewbox="0 0 41.875 14.75" width="41.875" xmlns="http://www.w3.org/2000/svg">
0
<
0
这样我><年代p一个nclass="equation" id="EEq13">
=
1
0
−
≥
0
,
(
2
。
3
4
)
=
1
−
0
≤
0
,
(
2
。
3
5
)
然后(<一个href="#EEq12">2.33一个>)有一个非解决方案;此外,它有一个积极nonincreasing和消极不减少的解决方案。我>年代p一个n>
证明。我>年代p一个n>在空间<年代vg height="14.75" id="M228" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
,考虑集<年代vg height="14.975" id="M229" style="vertical-align:-3.25793pt;width:139.02499px;" version="1.1" viewbox="0 0 139.02499 14.975" width="139.02499" xmlns="http://www.w3.org/2000/svg">
=
{
∣
0
≤
≤
0
}
和运营商<年代p一个nclass="equation" id="eq30">
(
)
(
)
=
=
1
(
)
e
x
p
+
(
)
−
(
)
e
x
p
+
。
(
)
(
2
。
3
6
)
为<年代vg height="10.75" id="M231" style="vertical-align:-0.33858pt;width:44.037498px;" version="1.1" viewbox="0 0 44.037498 10.75" width="44.037498" xmlns="http://www.w3.org/2000/svg">
∈
我们从(<一个href="#EEq13">2.34一个>)和(<一个href="#EEq14">2.35一个>)<年代p一个nclass="equation" id="eq31">
(
)
(
)
≤
=
1
−
0
≤
0
,
(
)
(
)
≥
=
1
0
−
≥
0
。
(
2
。
3
7
)
因此,<年代vg height="10.725" id="M233" style="vertical-align:-0.3135pt;width:65.974998px;" version="1.1" viewbox="0 0 65.974998 10.725" width="65.974998" xmlns="http://www.w3.org/2000/svg">
⊂
。 考虑到积分算子<年代p一个nclass="equation" id="eq32">
(
)
(
)
∶
=
+
(
)
,
>
0
。
(
2
。
3
8
)
我们将显示<年代vg height="10.325" id="M235" style="vertical-align:-0.0pt;width:25.8375px;" version="1.1" viewbox="0 0 25.8375 10.325" width="25.8375" xmlns="http://www.w3.org/2000/svg">
是一个紧集的空间<年代vg height="14.75" id="M236" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
。为<年代vg height="10.75" id="M237" style="vertical-align:-0.33858pt;width:44.037498px;" version="1.1" viewbox="0 0 44.037498 10.75" width="44.037498" xmlns="http://www.w3.org/2000/svg">
∈
,我们有<年代p一个nclass="equation" id="eq33">
为
为
(
)
(
)
(
0
,
∞
)
≤
年代
u
p
≥
0
+
|
|
|
|
|
|
(
)
≤
0
|
|
。
(
2
。
3
9
)
因此,功能设置<年代vg height="10.325" id="M239" style="vertical-align:-0.0pt;width:25.8375px;" version="1.1" viewbox="0 0 25.8375 10.325" width="25.8375" xmlns="http://www.w3.org/2000/svg">
一致有界的空间<年代vg height="14.75" id="M240" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
。 平等<年代vg height="24.6" id="M241" style="vertical-align:-6.75905pt;width:312.5625px;" version="1.1" viewbox="0 0 312.5625 24.6" width="312.5625" xmlns="http://www.w3.org/2000/svg">
∫
0
+
0
−
∫
+
=
∫
0
+
∫
0
+
−
∫
0
+
−
∫
+
0
+
=
∫
0
−
∫
+
0
+
意味着<年代p一个nclass="equation" id="eq34">
|
|
(
)
(
)
−
(
)
0
|
|
=
|
|
|
|
+
(
)
−
0
+
0
|
|
|
|
≤
(
)
0
|
|
|
|
(
)
+
+
0
+
|
|
|
|
|
|
(
)
≤
2
0
|
|
|
|
−
0
|
|
。
(
2
。
4
0
)
因此,一组<年代vg height="10.325" id="M243" style="vertical-align:-0.0pt;width:25.8375px;" version="1.1" viewbox="0 0 25.8375 10.325" width="25.8375" xmlns="http://www.w3.org/2000/svg">
因此,设置<年代vg height="10.325" id="M244" style="vertical-align:-0.0pt;width:30.887501px;" version="1.1" viewbox="0 0 30.887501 10.325" width="30.887501" xmlns="http://www.w3.org/2000/svg">
紧凑的空间<年代vg height="14.75" id="M245" style="vertical-align:-3.25793pt;width:52.987499px;" version="1.1" viewbox="0 0 52.987499 14.75" width="52.987499" xmlns="http://www.w3.org/2000/svg">
(
0
,
∞
)
。 由Schauder不动点定理,存在一个连续函数<年代vg height="7.1624999" id="M246" style="vertical-align:-0.11285pt;width:7.5374999px;" version="1.1" viewbox="0 0 7.5374999 7.1624999" width="7.5374999" xmlns="http://www.w3.org/2000/svg">
令人满意的<年代vg height="14.75" id="M247" style="vertical-align:-3.25793pt;width:68.675003px;" version="1.1" viewbox="0 0 68.675003 14.75" width="68.675003" xmlns="http://www.w3.org/2000/svg">
0
≤
≤
0
这样<年代vg height="10.475" id="M248" style="vertical-align:-0.11285pt;width:47.974998px;" version="1.1" viewbox="0 0 47.974998 10.475" width="47.974998" xmlns="http://www.w3.org/2000/svg">
=
;因此,函数<年代p一个nclass="equation" id="eq35">
(
)
=
0
e
x
p
0
(
)
,
≥
0
(
2
。
4
1
)
是一个积极的nonincreasing解决方案(<一个href="#EEq12">2.33一个>)对于任何<年代vg height="14.75" id="M250" style="vertical-align:-3.25793pt;width:57.3125px;" version="1.1" viewbox="0 0 57.3125 14.75" width="57.3125" xmlns="http://www.w3.org/2000/svg">
(
0
)
>
0
和是一个负面不减少的解决方案(<一个href="#EEq11">2.26一个>)对于任何<年代vg height="14.75" id="M251" style="vertical-align:-3.25793pt;width:57.3125px;" version="1.1" viewbox="0 0 57.3125 14.75" width="57.3125" xmlns="http://www.w3.org/2000/svg">
(
0
)
<
0
。年代p一个n>
让我们评论,(<一个href="#EEq14">2.35一个>)对于任何<年代vg height="14.75" id="M252" style="vertical-align:-3.25793pt;width:41.875px;" version="1.1" viewbox="0 0 41.875 14.75" width="41.875" xmlns="http://www.w3.org/2000/svg">
0
<
0
意味着<年代vg height="17.487499" id="M253" style="vertical-align:-3.80836pt;width:120.85px;" version="1.1" viewbox="0 0 120.85 17.487499" width="120.85" xmlns="http://www.w3.org/2000/svg">
∑
=
1
(
−
)
<
0
。
<年代p一个nclass="statement" id="coro7">推论2.16。年代p一个n><我>让<年代vg height="17.487499" id="M254" style="vertical-align:-3.80836pt;width:120.85px;" version="1.1" viewbox="0 0 120.85 17.487499" width="120.85" xmlns="http://www.w3.org/2000/svg">
∑
=
1
(
−
)
<
0
,<年代vg height="17.487499" id="M255" style="vertical-align:-3.80836pt;width:78.887497px;" version="1.1" viewbox="0 0 78.887497 17.487499" width="78.887497" xmlns="http://www.w3.org/2000/svg">
∑
=
1
>
0
,对于我><年代p一个nclass="equation" id="EEq15">
0
=
∑
l
n
=
1
/
∑
=
1
米
一个
x
k
,
(
2
。
4
2
)
的不平等我><年代p一个nclass="equation" id="EEq16">
=
1
0
−
≥
0
(
2
。
4
3
)
成立,那么(<一个href="#EEq12">2.33一个>)有一个有界正解。我>年代p一个n>
证明。我>年代p一个n>的负数<年代vg height="14.625" id="M258" style="vertical-align:-3.25793pt;width:14.675px;" version="1.1" viewbox="0 0 14.675 14.625" width="14.675" xmlns="http://www.w3.org/2000/svg">
0
中定义的(<一个href="#EEq15">2.42一个>)是一个解决方案的(<一个href="#EEq13">2.34一个>)和(<一个href="#EEq14">2.35一个>);根据定义,它满足(<一个href="#EEq14">2.35一个>)和(<一个href="#EEq16">2.43一个>)意味着(<一个href="#EEq13">2.34一个>)。年代p一个n>
例2.17。我>年代p一个n>考虑到不断的进步和系数方程<年代p一个nclass="equation" id="EEq17">
̇
(
)
−
(
+
)
+
(
+
)
=
0
,
(
2
。
4
4
)
在哪里<年代vg height="11.0625" id="M260" style="vertical-align:-0.30096pt;width:61.912498px;" version="1.1" viewbox="0 0 61.912498 11.0625" width="61.912498" xmlns="http://www.w3.org/2000/svg">
0
<
<
,<年代vg height="11.0625" id="M261" style="vertical-align:-0.30096pt;width:35.637501px;" version="1.1" viewbox="0 0 35.637501 11.0625" width="35.637501" xmlns="http://www.w3.org/2000/svg">
>
0
,<年代vg height="12.3" id="M262" style="vertical-align:-1.29163pt;width:33.700001px;" version="1.1" viewbox="0 0 33.700001 12.3" width="33.700001" xmlns="http://www.w3.org/2000/svg">
≥
0
。然后,<年代vg height="14.8625" id="M263" style="vertical-align:-3.25793pt;width:114.8625px;" version="1.1" viewbox="0 0 114.8625 14.8625" width="114.8625" xmlns="http://www.w3.org/2000/svg">
0
=
(
1
/
)
l
n
(
/
)
的最小值<年代vg height="10.8125" id="M264" style="vertical-align:-0.20064pt;width:8.5749998px;" version="1.1" viewbox="0 0 8.5749998 10.8125" width="8.5749998" xmlns="http://www.w3.org/2000/svg">
的不平等(<一个href="#EEq14">2.35一个>)持有;(<一个href="#EEq17">2.44一个>),它的形式<年代vg height="15.3" id="M265" style="vertical-align:-1.29163pt;width:80.137497px;" version="1.1" viewbox="0 0 80.137497 15.3" width="80.137497" xmlns="http://www.w3.org/2000/svg">
−
≤
0
。 不平等(<一个href="#EEq13">2.34一个>)(<一个href="#EEq17">2.44一个>)可以写成<年代p一个nclass="equation" id="eq36">
(
)
=
−
−
≥
0
,
(
2
。
4
5
)
的函数<年代vg height="13.6125" id="M267" style="vertical-align:-2.34499pt;width:27.799999px;" version="1.1" viewbox="0 0 27.799999 13.6125" width="27.799999" xmlns="http://www.w3.org/2000/svg">
(
)
减少在<年代vg height="13.5625" id="M268" style="vertical-align:-2.21957pt;width:108.25px;" version="1.1" viewbox="0 0 108.25 13.5625" width="108.25" xmlns="http://www.w3.org/2000/svg">
(
−
∞
,
−
l
n
(
)
/
]
如果<年代vg height="11.0625" id="M269" style="vertical-align:-0.30096pt;width:35.325001px;" version="1.1" viewbox="0 0 35.325001 11.0625" width="35.325001" xmlns="http://www.w3.org/2000/svg">
>
0
对于任何负面<年代vg height="7.1624999" id="M270" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
如果<年代vg height="10.9125" id="M271" style="vertical-align:-0.17555pt;width:33.700001px;" version="1.1" viewbox="0 0 33.700001 10.9125" width="33.700001" xmlns="http://www.w3.org/2000/svg">
=
0
;除此之外,<年代vg height="13.6125" id="M272" style="vertical-align:-2.34499pt;width:54.224998px;" version="1.1" viewbox="0 0 54.224998 13.6125" width="54.224998" xmlns="http://www.w3.org/2000/svg">
(
0
)
<
0
。因此,如果<年代vg height="14.6" id="M273" style="vertical-align:-3.13504pt;width:60.962502px;" version="1.1" viewbox="0 0 60.962502 14.6" width="60.962502" xmlns="http://www.w3.org/2000/svg">
(
1
)
<
0
对于一些<年代vg height="14.6" id="M274" style="vertical-align:-3.13504pt;width:41.875px;" version="1.1" viewbox="0 0 41.875 14.6" width="41.875" xmlns="http://www.w3.org/2000/svg">
1
<
0
,然后<年代vg height="13.6125" id="M275" style="vertical-align:-2.34499pt;width:54.862499px;" version="1.1" viewbox="0 0 54.862499 13.6125" width="54.862499" xmlns="http://www.w3.org/2000/svg">
(
)
<
0
对于任何<年代vg height="14.6" id="M276" style="vertical-align:-3.13504pt;width:67.25px;" version="1.1" viewbox="0 0 67.25 14.6" width="67.25" xmlns="http://www.w3.org/2000/svg">
∈
(
1
,
0
)
。因此,不平等<年代p一个nclass="equation" id="EEq18">
0
=
/
1
−
−
l
n
≥
0
(
2
。
4
6
)
是充分必要条件的定理<一个href="#thm7">2.15一个>满意(<一个href="#EEq17">2.44一个>)。 图<一个href="//www.newsama.com/journals/aaa/2011/637142/fig1/" target="_blank">1一个>演示了进步的可能值<年代vg height="10.75" id="M278" style="vertical-align:-0.15048pt;width:9.375px;" version="1.1" viewbox="0 0 9.375 10.75" width="9.375" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="7.0124998" id="M279" style="vertical-align:-0.0pt;width:6.5px;" version="1.1" viewbox="0 0 6.5 7.0124998" width="6.5" xmlns="http://www.w3.org/2000/svg">
,这样推论<一个href="#coro7">2.16一个>意味着一个正解的存在<年代vg height="11.0625" id="M280" style="vertical-align:-0.30096pt;width:89.112503px;" version="1.1" viewbox="0 0 89.112503 11.0625" width="89.112503" xmlns="http://www.w3.org/2000/svg">
1
=
<
=
2
。然后,(<一个href="#EEq18">2.46一个>)的形式<年代vg height="16.9375" id="M281" style="vertical-align:-2.21957pt;width:128.3125px;" version="1.1" viewbox="0 0 128.3125 16.9375" width="128.3125" xmlns="http://www.w3.org/2000/svg">
0
。
5
/
≥
2
−
(
l
n
2
)
/
,仅是可能的<年代vg height="11.25" id="M282" style="vertical-align:-0.30096pt;width:132.3125px;" version="1.1" viewbox="0 0 132.3125 11.25" width="132.3125" xmlns="http://www.w3.org/2000/svg">
>
0
。
5
l
n
2
≈
0
。
3
4
7
这些值相当于<年代p一个nclass="equation" id="EEq19">
≤
−
l
n
(
2
−
l
n
2
/
)
。
l
n
2
(
2
。
4
7
)
在本文中,我们开发了先进的变系数方程的非振动理论和进步。大多数以前的振动结果处理振荡或常数的参数偏差。在所有引用文件中,只有[<一个href="#B8">8一个>)有一个振动条件(定理<一个href="#thm5">2.11一个>部分情况下)(<一个href="#EEq5">2.1一个>)(<年代vg height="14.825" id="M287" style="vertical-align:-3.2316pt;width:87.487503px;" version="1.1" viewbox="0 0 87.487503 14.825" width="87.487503" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
=
+
),在这种情况下,恰逢推论<一个href="#coro2">2.4一个>。本文的比较结果与之前的结果讨论了作者的介绍。
最后,让我们国家一些开放的问题,为研究主题。<年代p一个nclass="list">(1)年代p一个n><年代p一个nclass="list-content">证明或反驳:如果(<一个href="#EEq5">2.1一个>),<年代vg height="14.7125" id="M288" style="vertical-align:-3.2316pt;width:57.025002px;" version="1.1" viewbox="0 0 57.025002 14.7125" width="57.025002" xmlns="http://www.w3.org/2000/svg">
(
)
≥
0
建立解决方案,然后(<一个href="#EEq11">2.26一个>),积极的和消极的系数也有非解决方案。年代p一个n>年代p一个n>
这个方向的第一步,证明或者反驳,如果<年代vg height="13.5625" id="M289" style="vertical-align:-2.21957pt;width:48.724998px;" version="1.1" viewbox="0 0 48.724998 13.5625" width="48.724998" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
≥
和方程<年代p一个nclass="equation" id="eq37">
̇
(
)
−
+
(
)
(
ℎ
(
)
)
=
0
(
3
。
1
)
有一个解决方案,建立方程<年代p一个nclass="equation" id="eq38">
̇
(
)
−
(
)
(
ℎ
(
)
)
=
0
(
3
。
2
)
也有一个解决方案,建立<年代vg height="15.1875" id="M292" style="vertical-align:-2.26974pt;width:135.375px;" version="1.1" viewbox="0 0 135.375 15.1875" width="135.375" xmlns="http://www.w3.org/2000/svg">
+
(
)
=
米
一个
x
{
(
)
,
0
}
。
如果这些猜想都是有效的,获得先进的方程比较结果。<年代p一个nclass="list">(2)年代p一个n><年代p一个nclass="list-content">推导出振动条件(<一个href="#EEq5">2.1一个>)与振荡系数。振荡的结果与不断推进和一个振荡方程系数最近获得的(<一个href="#B22">22一个>]。年代p一个n>年代p一个n> (3)年代p一个n><年代p一个nclass="list-content">时考虑先进的积极和消极系数方程的积极和消极方面的数量不一致。年代p一个n>年代p一个n> (4)年代p一个n><年代p一个nclass="list-content">研究和/或存在唯一性问题的初值问题或为先进的微分方程边值问题。年代p一个n>年代p一个n>
确认
l . Berezansky以色列外交部支持的部分吸收。e·布雷弗曼被NSERC部分支持。