本文包含了一些正解存在的充分条件由正上方和下方有界函数的一阶非线性中立型微分方程。这些方程也可以支持的存在正解在无穷接近零
<年代p一个n class="end-abs">
1。介绍
本文涉及的存在正解的中立型微分方程的形式<年代p一个n class="equation" id="EEq1">
在哪里<年代vg height="14.75" id="M2" style="vertical-align:-3.25793pt;width:445.27499px;" version="1.1" viewbox="0 0 445.27499 14.75" width="445.27499" xmlns="http://www.w3.org/2000/svg">
>
0
,
≥
0
,
∈
(
(
0
,
∞
)
,
(
0
,
∞
)
)
,
∈
(
,
(
0
,
∞
)
)
,
∈
(
,
)
,
是不减少的函数,<年代vg height="13.6125" id="M3" style="vertical-align:-2.34499pt;width:107.65px;" version="1.1" viewbox="0 0 107.65 13.6125" width="107.65" xmlns="http://www.w3.org/2000/svg">
(
)
>
0
,
≠
0
。
的解决方案(<一个href="#EEq1">1。1一个>),我们的意思是一个函数<年代vg height="14.6625" id="M4" style="vertical-align:-3.13504pt;width:251.22501px;" version="1.1" viewbox="0 0 251.22501 14.6625" width="251.22501" xmlns="http://www.w3.org/2000/svg">
∈
(
(
1
−
,
∞
)
,
)
,
=
米
一个
x
{
,
}
,对于一些<年代vg height="13.7" id="M5" style="vertical-align:-3.25793pt;width:41.487499px;" version="1.1" viewbox="0 0 41.487499 13.7" width="41.487499" xmlns="http://www.w3.org/2000/svg">
1
≥
0
,这样<年代vg height="13.45" id="M6" style="vertical-align:-2.21957pt;width:114.375px;" version="1.1" viewbox="0 0 114.375 13.45" width="114.375" xmlns="http://www.w3.org/2000/svg">
(
)
−
(
)
(
−
)
是连续可微的<年代vg height="14.6" id="M7" style="vertical-align:-3.13504pt;width:42.5px;" version="1.1" viewbox="0 0 42.5 14.6" width="42.5" xmlns="http://www.w3.org/2000/svg">
(
1
,
∞
)
等(<一个href="#EEq1">1。1一个>)是满意的<年代vg height="13.55" id="M8" 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
。
存在的问题的解决方案的中立型微分方程研究了几个作者近年来。相关结果我们参考读者<一个href="#B1">1一个>- - - - - -<一个href="#B11">11一个>)和参考引用。然而没有概念保证下面有界正解的存在性,和上面的积极功能。在本文中,我们提出了一些构想。该方法也支持在无穷远处正解的存在性接近零。
我们知道,(<一个href="#EEq1">1。1一个>)在文献中,没有结果的解决方案存在的有界的积极功能。只有解决方案的存在有界的常数处理,例如,在[<一个href="#B6">6一个>,<一个href="#B10">10一个>,<一个href="#B11">11一个>]。似乎定理条件相当复杂,但不能简单推论<一个href="#coro2.2">2.3一个>,<一个href="#coro2.4">2.6一个>,<一个href="#coro3.1">3所示。2一个>。
下面将使用不动点定理证明的主要结果在下一节。
<年代p一个n class="statement" id="lem1.1">引理1.1((见[<一个href="#B6">6一个>,<一个href="#B10">10一个>Krasnoselskii的不动点定理)。年代p一个n>让<年代vg height="10.325" id="M9" style="vertical-align:-0.0pt;width:13.4125px;" version="1.1" viewbox="0 0 13.4125 10.325" width="13.4125" xmlns="http://www.w3.org/2000/svg">
巴拿赫空间,让<年代vg height="10.6875" id="M10" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
是一个有界闭凸子集<年代vg height="10.325" id="M11" style="vertical-align:-0.0pt;width:13.4125px;" version="1.1" viewbox="0 0 13.4125 10.325" width="13.4125" xmlns="http://www.w3.org/2000/svg">
,让<年代vg height="14.475" id="M12" style="vertical-align:-3.13504pt;width:39.137501px;" version="1.1" viewbox="0 0 39.137501 14.475" width="39.137501" xmlns="http://www.w3.org/2000/svg">
1
,
2
的地图<年代vg height="10.6875" id="M13" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
成<年代vg height="10.325" id="M14" style="vertical-align:-0.0pt;width:13.4125px;" version="1.1" viewbox="0 0 13.4125 10.325" width="13.4125" xmlns="http://www.w3.org/2000/svg">
这样<年代vg height="14.6" id="M15" style="vertical-align:-3.13504pt;width:97.650002px;" version="1.1" viewbox="0 0 97.650002 14.6" width="97.650002" xmlns="http://www.w3.org/2000/svg">
1
+
2
∈
Ω
每一对<年代vg height="13.55" id="M16" style="vertical-align:-2.29482pt;width:54px;" version="1.1" viewbox="0 0 54 13.55" width="54" xmlns="http://www.w3.org/2000/svg">
,
∈
Ω
。如果<年代vg height="14.475" id="M17" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
1
收缩,<年代vg height="14.475" id="M18" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
2
是完全连续,那么方程我><年代p一个n class="equation" id="eq1">
有一个解决方案<年代vg height="10.6875" id="M20" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
。我>年代p一个n>
2。正解的存在
在本节中,我们将考虑的存在积极的解决方案(<一个href="#EEq1">1。1一个>)。下一个定理给出了一个正解存在的充分条件由两个正有界函数。
<年代p一个n class="statement" id="thm2.1">定理2.1。年代p一个n>假设存在有界函数<年代vg height="17.8375" id="M21" style="vertical-align:-3.25793pt;width:157.675px;" version="1.1" viewbox="0 0 157.675 17.8375" width="157.675" xmlns="http://www.w3.org/2000/svg">
,
∈
1
(
(
0
,
∞
)
,
(
0
,
∞
)
)
,不断<年代vg height="11.0625" id="M22" style="vertical-align:-0.30096pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 11.0625" width="33.8125" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="13.7" id="M23" style="vertical-align:-3.25793pt;width:70.224998px;" version="1.1" viewbox="0 0 70.224998 13.7" width="70.224998" xmlns="http://www.w3.org/2000/svg">
1
≥
0
+
这样我><年代p一个n class="equation" id="EEq2">
然后(<一个href="#EEq1">1。1一个>)有一个正解有界的功能<年代vg height="9.4875002" id="M27" style="vertical-align:-1.76814pt;width:21.950001px;" version="1.1" viewbox="0 0 21.950001 9.4875002" width="21.950001" xmlns="http://www.w3.org/2000/svg">
,
。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="14.75" id="M28" style="vertical-align:-3.25793pt;width:81.474998px;" version="1.1" viewbox="0 0 81.474998 14.75" width="81.474998" xmlns="http://www.w3.org/2000/svg">
(
(
0
,
∞
)
,
)
所有连续有界函数的集合的常态<年代vg height="17.6875" id="M29" style="vertical-align:-5.44238pt;width:121.0125px;" version="1.1" viewbox="0 0 121.0125 17.6875" width="121.0125" xmlns="http://www.w3.org/2000/svg">
为
为
=
年代
u
p
≥
0
|
(
)
|
。然后<年代vg height="14.75" id="M30" style="vertical-align:-3.25793pt;width:81.474998px;" version="1.1" viewbox="0 0 81.474998 14.75" width="81.474998" xmlns="http://www.w3.org/2000/svg">
(
(
0
,
∞
)
,
)
巴拿赫空间。我们定义一个封闭的、有界凸子集<年代vg height="10.6875" id="M31" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
的<年代vg height="14.75" id="M32" style="vertical-align:-3.25793pt;width:81.474998px;" version="1.1" viewbox="0 0 81.474998 14.75" width="81.474998" xmlns="http://www.w3.org/2000/svg">
(
(
0
,
∞
)
,
)
如下:<年代p一个n class="equation" id="eq2">
现在我们定义两个地图<年代vg height="14.475" id="M34" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
1
和<年代vg height="14.75" id="M35" style="vertical-align:-3.25793pt;width:154.3875px;" version="1.1" viewbox="0 0 154.3875 14.75" width="154.3875" xmlns="http://www.w3.org/2000/svg">
2
∶
Ω
→
(
(
0
,
∞
)
,
)
如下:<年代p一个n class="equation" id="eq3">
我们将为任何显示<年代vg height="13.55" id="M37" style="vertical-align:-2.29482pt;width:54px;" version="1.1" viewbox="0 0 54 13.55" width="54" xmlns="http://www.w3.org/2000/svg">
,
∈
Ω
我们有<年代vg height="14.6" id="M38" style="vertical-align:-3.13504pt;width:97.650002px;" version="1.1" viewbox="0 0 97.650002 14.6" width="97.650002" xmlns="http://www.w3.org/2000/svg">
1
+
2
∈
Ω
。对于每一个<年代vg height="13.55" id="M39" style="vertical-align:-2.29482pt;width:54px;" version="1.1" viewbox="0 0 54 13.55" width="54" xmlns="http://www.w3.org/2000/svg">
,
∈
Ω
和<年代vg height="13.55" id="M40" 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一个n class="equation" id="eq4">
为<年代vg height="14.5375" id="M42" style="vertical-align:-3.25793pt;width:63.299999px;" version="1.1" viewbox="0 0 63.299999 14.5375" width="63.299999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
,我们有<年代p一个n class="equation" id="eq5">
此外,为<年代vg height="13.55" id="M44" 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一个n class="equation" id="EEq5">
让<年代vg height="14.5375" id="M46" style="vertical-align:-3.25793pt;width:63.299999px;" version="1.1" viewbox="0 0 63.299999 14.5375" width="63.299999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
。关于(<一个href="#EEq3">2.2一个>),我们得到<年代p一个n class="equation" id="eq6">
然后<年代vg height="14.5375" id="M48" style="vertical-align:-3.25793pt;width:63.299999px;" version="1.1" viewbox="0 0 63.299999 14.5375" width="63.299999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
和任何<年代vg height="13.55" id="M49" style="vertical-align:-2.29482pt;width:54px;" version="1.1" viewbox="0 0 54 13.55" width="54" xmlns="http://www.w3.org/2000/svg">
,
∈
Ω
,我们获得<年代p一个n class="equation" id="eq7">
因此我们已经证明了这一点<年代vg height="14.6" id="M51" style="vertical-align:-3.13504pt;width:97.650002px;" version="1.1" viewbox="0 0 97.650002 14.6" width="97.650002" xmlns="http://www.w3.org/2000/svg">
1
+
2
∈
Ω
对于任何<年代vg height="13.55" id="M52" style="vertical-align:-2.29482pt;width:54px;" version="1.1" viewbox="0 0 54 13.55" width="54" xmlns="http://www.w3.org/2000/svg">
,
∈
Ω
。
我们将显示<年代vg height="14.475" id="M53" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
1
是一个收缩映射<年代vg height="10.6875" id="M54" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
。为<年代vg height="13.55" id="M55" style="vertical-align:-2.29482pt;width:54px;" version="1.1" viewbox="0 0 54 13.55" width="54" xmlns="http://www.w3.org/2000/svg">
,
∈
Ω
和<年代vg height="13.55" id="M56" 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一个n class="equation" id="eq8">
这意味着<年代p一个n class="equation" id="eq9">
也为<年代vg height="14.5375" id="M59" style="vertical-align:-3.25793pt;width:63.299999px;" version="1.1" viewbox="0 0 63.299999 14.5375" width="63.299999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
,前面的不平等是有效的。我们得出这样的结论:<年代vg height="14.475" id="M60" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
1
是一个收缩映射<年代vg height="10.6875" id="M61" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
。
我们现在证明<年代vg height="14.475" id="M62" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
2
完全是连续的。首先,我们将显示<年代vg height="14.475" id="M63" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
2
是连续的。让<年代vg height="14.7125" id="M64" style="vertical-align:-3.2316pt;width:96.125px;" version="1.1" viewbox="0 0 96.125 14.7125" width="96.125" xmlns="http://www.w3.org/2000/svg">
=
(
)
∈
Ω
是这样的,<年代vg height="14.7125" id="M65" style="vertical-align:-3.2316pt;width:82.837502px;" version="1.1" viewbox="0 0 82.837502 14.7125" width="82.837502" xmlns="http://www.w3.org/2000/svg">
(
)
→
(
)
作为<年代vg height="10.7375" id="M66" style="vertical-align:-0.13794pt;width:51.4375px;" version="1.1" viewbox="0 0 51.4375 10.7375" width="51.4375" xmlns="http://www.w3.org/2000/svg">
→
∞
。因为<年代vg height="10.6875" id="M67" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
关闭了,<年代vg height="13.45" id="M68" style="vertical-align:-2.21957pt;width:83.025002px;" version="1.1" viewbox="0 0 83.025002 13.45" width="83.025002" xmlns="http://www.w3.org/2000/svg">
=
(
)
∈
Ω
。为<年代vg height="13.55" id="M69" 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一个n class="equation" id="eq10">
根据(<一个href="#EEq5">2.8一个>),我们得到<年代p一个n class="equation" id="EEq6">
自<年代vg height="14.7125" id="M72" style="vertical-align:-3.2316pt;width:210.33749px;" version="1.1" viewbox="0 0 210.33749 14.7125" width="210.33749" xmlns="http://www.w3.org/2000/svg">
|
(
(
−
)
)
−
(
(
−
)
)
|
→
0
作为<年代vg height="10.7375" id="M73" style="vertical-align:-0.13794pt;width:51.4375px;" version="1.1" viewbox="0 0 51.4375 10.7375" width="51.4375" xmlns="http://www.w3.org/2000/svg">
→
∞
通过应用勒贝格控制收敛定理,我们得到<年代p一个n class="equation" id="eq11">
这意味着<年代vg height="14.475" id="M75" style="vertical-align:-3.13504pt;width:16.375px;" version="1.1" viewbox="0 0 16.375 14.475" width="16.375" xmlns="http://www.w3.org/2000/svg">
2
是连续的。
我们现在证明<年代vg height="14.6" id="M76" style="vertical-align:-3.13504pt;width:28px;" version="1.1" viewbox="0 0 28 14.6" width="28" xmlns="http://www.w3.org/2000/svg">
2
Ω
相对紧凑。它能充分显示Arzela-Ascoli定理,家庭的功能<年代vg height="14.6625" id="M77" style="vertical-align:-3.13504pt;width:96.262497px;" version="1.1" viewbox="0 0 96.262497 14.6625" width="96.262497" xmlns="http://www.w3.org/2000/svg">
{
2
∶
∈
Ω
}
一致有界和同等连续的吗<年代vg height="14.75" id="M78" 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="10.6875" id="M79" style="vertical-align:-0.0pt;width:11.75px;" version="1.1" viewbox="0 0 11.75 10.6875" width="11.75" xmlns="http://www.w3.org/2000/svg">
Ω
。泛的我们只需要显示,根据莱维坦结果(<一个href="#B7">7一个>),对于任何给定的<年代vg height="11.0625" id="M80" 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="M81" 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="7.1875" id="M82" style="vertical-align:-0.13794pt;width:7.6875px;" version="1.1" viewbox="0 0 7.6875 7.1875" width="7.6875" xmlns="http://www.w3.org/2000/svg">
。然后对条件(<一个href="#EEq6">2.14一个>),<年代vg height="11.1125" id="M83" style="vertical-align:-0.33858pt;width:39.737499px;" version="1.1" viewbox="0 0 39.737499 11.1125" width="39.737499" xmlns="http://www.w3.org/2000/svg">
∈
Ω
和任何<年代vg height="11.0625" id="M84" 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="15.4375" id="M85" style="vertical-align:-3.13504pt;width:41.737499px;" version="1.1" viewbox="0 0 41.737499 15.4375" width="41.737499" xmlns="http://www.w3.org/2000/svg">
∗
≥
1
足够大,这样<年代p一个n class="equation" id="eq12">
然后,对于<年代vg height="15.4375" id="M87" style="vertical-align:-3.13504pt;width:130.85001px;" version="1.1" viewbox="0 0 130.85001 15.4375" width="130.85001" xmlns="http://www.w3.org/2000/svg">
∈
Ω
,
2
>
1
≥
∗
,我们有<年代p一个n class="equation" id="eq13">
为<年代vg height="11.1125" id="M89" style="vertical-align:-0.33858pt;width:39.737499px;" version="1.1" viewbox="0 0 39.737499 11.1125" width="39.737499" xmlns="http://www.w3.org/2000/svg">
∈
Ω
和<年代vg height="15.4375" id="M90" style="vertical-align:-3.13504pt;width:109.8875px;" version="1.1" viewbox="0 0 109.8875 15.4375" width="109.8875" xmlns="http://www.w3.org/2000/svg">
1
≤
1
<
2
≤
∗
,我们得到<年代p一个n class="equation" id="eq14">
因此存在<年代vg height="14.6" id="M92" style="vertical-align:-3.13504pt;width:62.487499px;" version="1.1" viewbox="0 0 62.487499 14.6" width="62.487499" xmlns="http://www.w3.org/2000/svg">
1
=
/
,在那里<年代vg height="17.4" id="M93" style="vertical-align:-5.32956pt;width:215.575px;" version="1.1" viewbox="0 0 215.575 17.4" width="215.575" xmlns="http://www.w3.org/2000/svg">
=
米
一个
x
1
≤
≤
∗
{
(
)
(
(
−
)
)
}
,这样<年代p一个n class="equation" id="eq15">
最后对任何<年代vg height="14.75" id="M95" style="vertical-align:-3.25793pt;width:160.97501px;" version="1.1" viewbox="0 0 160.97501 14.75" width="160.97501" xmlns="http://www.w3.org/2000/svg">
∈
Ω
,
0
≤
1
<
2
≤
1
,存在一个<年代vg height="14.6" id="M96" style="vertical-align:-3.13504pt;width:41.287498px;" version="1.1" viewbox="0 0 41.287498 14.6" width="41.287498" xmlns="http://www.w3.org/2000/svg">
2
>
0
这样<年代p一个n class="equation" id="eq16">
然后<年代vg height="14.6625" id="M98" style="vertical-align:-3.13504pt;width:96.262497px;" version="1.1" viewbox="0 0 96.262497 14.6625" width="96.262497" xmlns="http://www.w3.org/2000/svg">
{
2
∶
∈
Ω
}
一致有界和同等连续的吗<年代vg height="14.75" id="M99" 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.6" id="M100" style="vertical-align:-3.13504pt;width:28px;" version="1.1" viewbox="0 0 28 14.6" width="28" xmlns="http://www.w3.org/2000/svg">
2
Ω
相对紧凑的子集<年代vg height="14.75" id="M101" style="vertical-align:-3.25793pt;width:81.474998px;" version="1.1" viewbox="0 0 81.474998 14.75" width="81.474998" xmlns="http://www.w3.org/2000/svg">
(
(
0
,
∞
)
,
)
。由引理<一个href="#lem1.1">1。1一个>有一个<年代vg height="14.75" id="M102" style="vertical-align:-3.25793pt;width:45.825001px;" version="1.1" viewbox="0 0 45.825001 14.75" width="45.825001" xmlns="http://www.w3.org/2000/svg">
0
∈
Ω
这样<年代vg height="14.625" id="M103" style="vertical-align:-3.25793pt;width:113.7375px;" version="1.1" viewbox="0 0 113.7375 14.625" width="113.7375" xmlns="http://www.w3.org/2000/svg">
1
0
+
2
0
=
0
。我们得出这样的结论:<年代vg height="14.75" id="M104" style="vertical-align:-3.25793pt;width:30.112499px;" version="1.1" viewbox="0 0 30.112499 14.75" width="30.112499" xmlns="http://www.w3.org/2000/svg">
0
(
)
是一个积极的解决方案(<一个href="#EEq1">1。1一个>)。证明已经完成。年代p一个n>
推论2.2。年代p一个n>假设存在的功能<年代vg height="17.8375" id="M105" style="vertical-align:-3.25793pt;width:157.675px;" version="1.1" viewbox="0 0 157.675 17.8375" width="157.675" xmlns="http://www.w3.org/2000/svg">
,
∈
1
(
(
0
,
∞
)
,
(
0
,
∞
)
)
,不断<年代vg height="11.0625" id="M106" style="vertical-align:-0.30096pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 11.0625" width="33.8125" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="13.7" id="M107" style="vertical-align:-3.25793pt;width:70.224998px;" version="1.1" viewbox="0 0 70.224998 13.7" width="70.224998" xmlns="http://www.w3.org/2000/svg">
1
≥
0
+
这样,(<一个href="#EEq2">2.1一个>),(<一个href="#EEq4">2.3一个>),我><年代p一个n class="equation" id="EEq7">
然后(<一个href="#EEq1">1。1一个>)有一个正解有界的功能<年代vg height="9.4875002" id="M109" style="vertical-align:-1.76814pt;width:21.950001px;" version="1.1" viewbox="0 0 21.950001 9.4875002" width="21.950001" xmlns="http://www.w3.org/2000/svg">
,
。我>年代p一个n>
证明。我>年代p一个n>我们只需要证明条件(<一个href="#EEq7">2.21一个>)意味着(<一个href="#EEq3">2.2一个>)。让<年代vg height="14.5375" id="M110" style="vertical-align:-3.25793pt;width:63.299999px;" version="1.1" viewbox="0 0 63.299999 14.5375" width="63.299999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
并设置<年代p一个n class="equation" id="eq17">
然后对(<一个href="#EEq7">2.21一个>),它遵循<年代p一个n class="equation" id="eq18">
自<年代vg height="14.6" id="M113" style="vertical-align:-3.13504pt;width:62.362499px;" version="1.1" viewbox="0 0 62.362499 14.6" width="62.362499" xmlns="http://www.w3.org/2000/svg">
(
1
)
=
0
和<年代vg height="13.4875" id="M114" style="vertical-align:-2.21957pt;width:60.787498px;" version="1.1" viewbox="0 0 60.787498 13.4875" width="60.787498" xmlns="http://www.w3.org/2000/svg">
′
(
)
≤
0
为<年代vg height="14.5375" id="M115" style="vertical-align:-3.25793pt;width:63.299999px;" version="1.1" viewbox="0 0 63.299999 14.5375" width="63.299999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
,这意味着<年代p一个n class="equation" id="eq19">
因此所有条件的定理<一个href="#thm2.1">2.1一个>感到满意。年代p一个n>
推论2.3。年代p一个n>假设存在一个函数<年代vg height="17.8375" id="M117" style="vertical-align:-3.25793pt;width:143.7625px;" version="1.1" viewbox="0 0 143.7625 17.8375" width="143.7625" xmlns="http://www.w3.org/2000/svg">
∈
1
(
(
0
,
∞
)
,
(
0
,
∞
)
)
,不断<年代vg height="11.0625" id="M118" style="vertical-align:-0.30096pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 11.0625" width="33.8125" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="13.7" id="M119" style="vertical-align:-3.25793pt;width:70.224998px;" version="1.1" viewbox="0 0 70.224998 13.7" width="70.224998" xmlns="http://www.w3.org/2000/svg">
1
≥
0
+
这样我><年代p一个n class="equation" id="EEq8">
然后(<一个href="#EEq1">1。1一个>)有一个解决方案<年代vg height="14.6" id="M121" style="vertical-align:-3.13504pt;width:113.6px;" version="1.1" viewbox="0 0 113.6 14.6" width="113.6" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
)
,
≥
1
。我>年代p一个n>
证明。我>年代p一个n>我们把<年代vg height="13.45" id="M122" style="vertical-align:-2.21957pt;width:65.425003px;" version="1.1" viewbox="0 0 65.425003 13.45" width="65.425003" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
)
并应用定理<一个href="#thm2.1">2.1一个>。年代p一个n>
定理2.4。年代p一个n>假设存在的功能<年代vg height="17.8375" id="M123" style="vertical-align:-3.25793pt;width:157.675px;" version="1.1" viewbox="0 0 157.675 17.8375" width="157.675" xmlns="http://www.w3.org/2000/svg">
,
∈
1
(
(
0
,
∞
)
,
(
0
,
∞
)
)
,不断<年代vg height="11.0625" id="M124" style="vertical-align:-0.30096pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 11.0625" width="33.8125" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="13.7" id="M125" style="vertical-align:-3.25793pt;width:70.224998px;" version="1.1" viewbox="0 0 70.224998 13.7" width="70.224998" xmlns="http://www.w3.org/2000/svg">
1
≥
0
+
这样,(<一个href="#EEq2">2.1一个>),(<一个href="#EEq3">2.2一个>)和(<一个href="#EEq4">2.3一个>),我><年代p一个n class="equation" id="EEq9">
然后(<一个href="#EEq1">1。1一个>)有一个正解有界的功能<年代vg height="9.4875002" id="M127" style="vertical-align:-1.76814pt;width:21.950001px;" version="1.1" viewbox="0 0 21.950001 9.4875002" width="21.950001" xmlns="http://www.w3.org/2000/svg">
,
和趋向于零。我>年代p一个n>
证明。我>年代p一个n>定理的证明类似<一个href="#thm2.1">2.1一个>我们忽略它。年代p一个n>
推论2.5。年代p一个n>假设存在的功能<年代vg height="17.8375" id="M128" style="vertical-align:-3.25793pt;width:157.675px;" version="1.1" viewbox="0 0 157.675 17.8375" width="157.675" xmlns="http://www.w3.org/2000/svg">
,
∈
1
(
(
0
,
∞
)
,
(
0
,
∞
)
)
,不断<年代vg height="11.0625" id="M129" style="vertical-align:-0.30096pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 11.0625" width="33.8125" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="13.7" id="M130" style="vertical-align:-3.25793pt;width:70.224998px;" version="1.1" viewbox="0 0 70.224998 13.7" width="70.224998" xmlns="http://www.w3.org/2000/svg">
1
≥
0
+
这样,(<一个href="#EEq2">2.1一个>),(<一个href="#EEq4">2.3一个>),(<一个href="#EEq7">2.21一个>)和(<一个href="#EEq9">2.26一个>)举行。然后(<一个href="#EEq1">1。1一个>)有一个正解有界的功能<年代vg height="9.4875002" id="M131" style="vertical-align:-1.76814pt;width:21.950001px;" version="1.1" viewbox="0 0 21.950001 9.4875002" width="21.950001" xmlns="http://www.w3.org/2000/svg">
,
和趋向于零。我>年代p一个n>
证明。我>年代p一个n>推论的证明类似<一个href="#coro2.1">2.2一个>,我们忽略了它。年代p一个n>
推论2.6。年代p一个n>假设存在一个函数<年代vg height="17.8375" id="M132" style="vertical-align:-3.25793pt;width:143.7625px;" version="1.1" viewbox="0 0 143.7625 17.8375" width="143.7625" xmlns="http://www.w3.org/2000/svg">
∈
1
(
(
0
,
∞
)
,
(
0
,
∞
)
)
,不断<年代vg height="11.0625" id="M133" style="vertical-align:-0.30096pt;width:33.8125px;" version="1.1" viewbox="0 0 33.8125 11.0625" width="33.8125" xmlns="http://www.w3.org/2000/svg">
>
0
和<年代vg height="13.7" id="M134" style="vertical-align:-3.25793pt;width:70.224998px;" version="1.1" viewbox="0 0 70.224998 13.7" width="70.224998" xmlns="http://www.w3.org/2000/svg">
1
≥
0
+
这样,(<一个href="#EEq8">2.25一个>),(<一个href="#EEq9">2.26一个>)举行。然后(<一个href="#EEq1">1。1一个>)有一个解决方案<年代vg height="14.6" id="M135" style="vertical-align:-3.13504pt;width:113.6px;" version="1.1" viewbox="0 0 113.6 14.6" width="113.6" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
)
,
≥
1
倾向于零。我>年代p一个n>
证明。我>年代p一个n>我们把<年代vg height="13.45" id="M136" style="vertical-align:-2.21957pt;width:65.425003px;" version="1.1" viewbox="0 0 65.425003 13.45" width="65.425003" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
)
并应用定理<一个href="#thm2.2">2.4一个>。年代p一个n>
3所示。应用程序和例子
在本节中,我们给出一些应用上面的定理。
<年代p一个n class="statement" id="thm3.1">定理3.1。年代p一个n>假设我><年代p一个n class="equation" id="EEq10">
和存在常数<年代vg height="14.75" id="M139" style="vertical-align:-3.25793pt;width:162.5px;" version="1.1" viewbox="0 0 162.5 14.75" width="162.5" xmlns="http://www.w3.org/2000/svg">
>
0
,
≥
0
,
1
≥
0
+
这样我><年代p一个n class="equation" id="EEq11">
然后(<一个href="#EEq1">1。1一个>)有一个正解趋于零。我>年代p一个n>
证明。我>年代p一个n>我们设置<年代p一个n class="equation" id="eq21">
我们将证明推论的条件<一个href="#coro2.3">2.5一个>感到满意。关于(<一个href="#EEq7">2.21一个>),<年代vg height="14.5375" id="M143" style="vertical-align:-3.25793pt;width:63.299999px;" version="1.1" viewbox="0 0 63.299999 14.5375" width="63.299999" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
1
]
,我们得到<年代p一个n class="equation" id="eq22">
其他条件的必然结果<一个href="#coro2.3">2.5一个>也满意。证明已经完成。年代p一个n>
推论3.2。年代p一个n>假设<年代vg height="14.75" id="M145" style="vertical-align:-3.25793pt;width:163.03751px;" version="1.1" viewbox="0 0 163.03751 14.75" width="163.03751" xmlns="http://www.w3.org/2000/svg">
>
0
,
>
0
,
1
≥
0
+
,(<一个href="#EEq10">3所示。1一个>)持有,我><年代p一个n class="equation" id="eq23">
然后(<一个href="#EEq1">1。1一个>)有一个解决方案我><年代p一个n class="equation" id="eq24">
倾向于零。我>年代p一个n>
证明。我>年代p一个n>我们把<年代vg height="14.6" id="M148" style="vertical-align:-3.13504pt;width:123.3625px;" version="1.1" viewbox="0 0 123.3625 14.6" width="123.3625" xmlns="http://www.w3.org/2000/svg">
1
=
2
=
,
=
0
并应用定理<一个href="#thm3.1">3所示。1一个>。年代p一个n>
例3.3。我>年代p一个n>考虑到非线性中立型微分方程<年代p一个n class="equation" id="EEq12">
在哪里<年代vg height="13.55" id="M150" style="vertical-align:-2.29482pt;width:66.362503px;" version="1.1" viewbox="0 0 66.362503 13.55" width="66.362503" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
∞
)
。我们将证明定理的条件<一个href="#thm3.1">3所示。1一个>感到满意。条件(<一个href="#EEq10">3所示。1一个>)显然认为,(<一个href="#EEq11">3所示。2一个>)的一种形式<年代p一个n class="equation" id="EEq13">
。对于功能<年代vg height="13.45" id="M153" style="vertical-align:-2.21957pt;width:23.275px;" version="1.1" viewbox="0 0 23.275 13.45" width="23.275" xmlns="http://www.w3.org/2000/svg">
(
)
,我们获得<年代p一个n class="equation" id="eq25">
为<年代vg height="14.75" id="M155" style="vertical-align:-3.25793pt;width:238.72501px;" version="1.1" viewbox="0 0 238.72501 14.75" width="238.72501" xmlns="http://www.w3.org/2000/svg">
=
1
,
1
=
1
,
2
=
2
,
=
1
,
0
=
1
条件(<一个href="#EEq13">3所示。9一个>)是满意的,<年代p一个n class="equation" id="EEq14">
如果函数<年代vg height="13.45" id="M157" style="vertical-align:-2.21957pt;width:23.275px;" version="1.1" viewbox="0 0 23.275 13.45" width="23.275" xmlns="http://www.w3.org/2000/svg">
(
)
满足(<一个href="#EEq14">3.11一个>),然后(<一个href="#EEq12">3所示。8一个>)有解的有界函数<年代vg height="14.075" id="M158" style="vertical-align:-2.72118pt;width:260.95001px;" version="1.1" viewbox="0 0 260.95001 14.075" width="260.95001" xmlns="http://www.w3.org/2000/svg">
(
)
=
e
x
p
(
−
2
)
,
(
)
=
e
x
p
(
−
)
,
≥
3
。
例如,如果<年代vg height="14.9375" id="M159" style="vertical-align:-3.25793pt;width:215.27499px;" version="1.1" viewbox="0 0 215.27499 14.9375" width="215.27499" xmlns="http://www.w3.org/2000/svg">
=
1
,
1
=
2
=
1
。
5
,
=
1
,
0
=
1
,从(<一个href="#EEq14">3.11一个>我们获得<年代p一个n class="equation" id="eq26">
和方程<年代p一个n class="equation" id="eq27">
有解决方案<年代vg height="14.2625" id="M162" style="vertical-align:-2.72118pt;width:116.725px;" version="1.1" viewbox="0 0 116.725 14.2625" width="116.725" xmlns="http://www.w3.org/2000/svg">
(
)
=
e
x
p
(
−
1
。
5
)
有界的函数<年代vg height="13.45" id="M163" style="vertical-align:-2.21957pt;width:22.8375px;" version="1.1" viewbox="0 0 22.8375 13.45" width="22.8375" xmlns="http://www.w3.org/2000/svg">
(
)
和<年代vg height="13.45" id="M164" style="vertical-align:-2.21957pt;width:23.3375px;" version="1.1" viewbox="0 0 23.3375 13.45" width="23.3375" xmlns="http://www.w3.org/2000/svg">
(
)
。年代p一个n>
确认
支持的研究是格兰特1/0090/09的格兰特1/1260/12科学教育部的资助机构斯洛伐克共和国和项目apvv - 0700 - 07年的斯洛伐克研发机构。