gydF4y2Ba调查的对象是一个系统的脉冲微分方程”上确界。“这些方程还没有广泛研究,同时他们是足够的许多真实世界过程的数学模型的现状极大地取决于它的最大价值在过去的时间间隔。实用稳定性的非线性脉冲微分方程组上确界的定义和研究。应用Razumikhin方法分段连续标量李雅普诺夫函数和标量脉冲微分方程的比较结果。统一各种稳定性的概念和提供一个总体框架的调查稳定理论,稳定的两项措施的概念被应用到给定的系统和比较标量方程。一个例子说明获得的充分条件的有效性。
gydF4y2Ba的一个主要理论微分方程定性问题是稳定性。在一些真实世界的情况下,它需要系统可能在数学上不稳定的状态;然而,系统可能振荡充分接近理想的状态,所以它的性能被认为是可以接受的。例如,飞机可能振荡在数学上,不稳定的路径,然而,它的性能是可以接受的。在这种情况下,它是适当的使用所谓的实用稳定性,这是定义并研究了各种类型的微分方程(<一个href="#B6">1一个>- - - - - -<一个href="#B17">8一个>]。统一各种稳定性的概念和提供一个总体框架的调查稳定理论,稳定的两项措施的概念已被证明是非常强大的(见,例如,<一个href="#B9">9一个>),在其中引用引用)。的一个非常有用的方法,调查稳定的解决方案是Lyapunov-Razumikhin方法结合比较法。事实上,应用李雅普诺夫函数允许我们考虑一个标量方程,研究稳定性能的解决方案。有时,它的解决方案是不稳定在李雅普诺夫意义上,应用常规的规范。它需要使用两个措施不仅对给定的方程,也对方程进行了比较。
gydF4y2Ba在过去的几十年里,一直十分注重自动控制系统及其应用计算数学和建模。许多问题在控制理论中对应于监管的最大偏差量(见[<一个href="#B12">10一个>])。这样的问题可以充分包含极大值算子的微分方程建模。注意各种微分方程的稳定性条件得到“最大值”(<一个href="#B6">1一个>,11一个>- - - - - -<一个href="#B15">14一个>]。
gydF4y2Ba摘要实用稳定性的非线性脉冲微分方程组涉及未知函数的最大价值在过去一个时间间隔进行了研究。应用Razumikhin方法分段连续标量李雅普诺夫函数和标量脉冲微分方程的比较结果。本文不同于现有的最新结果,两种不同的措施应用于标量方程给定系统和比较。实用稳定充分条件在整个空间(定理<一个href="#thm1">2.10一个>)以及一个球(定理<一个href="#thm2">2.11一个>得到了)。一个球的情况下需要更多的比全球情况下所需的条件。本文考虑的主要的口音<年代p一个ncl一个年代年代="list">(我)年代p一个n><年代p一个ncl一个年代s="list-content">一种新型的泛函微分方程含有未知函数的上确界在过去一个时间间隔;年代p一个n>年代p一个n>(2)年代p一个n><年代p一个ncl一个年代s="list-content">实际稳定,比稳定性更强;年代p一个n>年代p一个n>(3)年代p一个n><年代p一个ncl一个年代s="list-content">两双不同的措施比较标量方程和给定的系统。年代p一个n>年代p一个n>
2。主要结果gydF4y2Ba让<年代vg height="11.2" id="M1" style="vertical-align:-0.0pt;width:17.862499px;" version="1.1" viewbox="0 0 17.862499 11.2" width="17.862499" xmlns="http://www.w3.org/2000/svg">
ℝ
是<年代vg height="7.1374998" id="M2" style="vertical-align:-0.10033pt;width:7.8874998px;" version="1.1" viewbox="0 0 7.8874998 7.1374998" width="7.8874998" xmlns="http://www.w3.org/2000/svg">
维欧几里得空间规范<年代vg height="13.8625" id="M3" style="vertical-align:-2.37006pt;width:27.887501px;" version="1.1" viewbox="0 0 27.887501 13.8625" width="27.887501" xmlns="http://www.w3.org/2000/svg">
为
⋅
为
,<年代vg height="15.05" id="M4" style="vertical-align:-3.49493pt;width:78.512497px;" version="1.1" viewbox="0 0 78.512497 15.05" width="78.512497" xmlns="http://www.w3.org/2000/svg">
ℝ
+
=
(
0
,
∞
)
。
gydF4y2Ba让<年代vg height="16.35" id="M5" style="vertical-align:-4.00897pt;width:40.4375px;" version="1.1" viewbox="0 0 40.4375 16.35" width="40.4375" xmlns="http://www.w3.org/2000/svg">
{
}
∞
1
是一个固定的点序列<年代vg height="14.825" id="M6" style="vertical-align:-3.49493pt;width:19.9125px;" version="1.1" viewbox="0 0 19.9125 14.825" width="19.9125" xmlns="http://www.w3.org/2000/svg">
ℝ
+
这样<年代vg height="12.825" id="M7" style="vertical-align:-3.49493pt;width:61.587502px;" version="1.1" viewbox="0 0 61.587502 12.825" width="61.587502" xmlns="http://www.w3.org/2000/svg">
+
1
>
和<年代vg height="14.825" id="M8" style="vertical-align:-3.2316pt;width:105.0625px;" version="1.1" viewbox="0 0 105.0625 14.825" width="105.0625" xmlns="http://www.w3.org/2000/svg">
l
我
米
→
∞
=
∞
。让<年代vg height="11.0625" id="M9" 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
是一个固定的常数。
gydF4y2Ba考虑非线性脉冲微分方程的系统与“上确界”:<年代p一个ncl一个年代年代="equation" id="EEq1">
=
,
(
)
,
年代
u
p
(
]
∈
−
,
(
)
f
o
r
≥
0
,
≠
,
+
0
=
−
0
f
o
r
=
1
,
2
,
…
,
(
2
。
1
)
与初始条件<年代p一个ncl一个年代年代="equation" id="EEq3">
(
)
=
(
)
f
o
r
∈
0
−
,
0
,
(
2
。
2
)
在哪里<年代vg height="11.625" id="M12" style="vertical-align:-0.33858pt;width:45.837502px;" version="1.1" viewbox="0 0 45.837502 11.625" width="45.837502" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
,<年代vg height="15.5625" id="M13" style="vertical-align:-3.49493pt;width:160.72501px;" version="1.1" viewbox="0 0 160.72501 15.5625" width="160.72501" xmlns="http://www.w3.org/2000/svg">
∶
ℝ
+
×
ℝ
×
ℝ
→
ℝ
,<年代vg height="15.225" id="M14" style="vertical-align:-3.2316pt;width:94.6875px;" version="1.1" viewbox="0 0 94.6875 15.225" width="94.6875" xmlns="http://www.w3.org/2000/svg">
∶
ℝ
→
ℝ
,<年代vg height="12.8875" id="M15" style="vertical-align:-1.76814pt;width:89.199997px;" version="1.1" viewbox="0 0 89.199997 12.8875" width="89.199997" xmlns="http://www.w3.org/2000/svg">
=
1
,
2
,
3
,
…
,<年代vg height="14.825" id="M16" style="vertical-align:-3.49493pt;width:50.287498px;" version="1.1" viewbox="0 0 50.287498 14.825" width="50.287498" xmlns="http://www.w3.org/2000/svg">
0
∈
ℝ
+
,<年代vg height="15.2625" id="M17" style="vertical-align:-3.25793pt;width:135.8875px;" version="1.1" viewbox="0 0 135.8875 15.2625" width="135.8875" xmlns="http://www.w3.org/2000/svg">
∶
(
0
−
,
0
]
→
ℝ
。
gydF4y2Ba请注意,对于<年代vg height="15.2" id="M18" style="vertical-align:-3.20526pt;width:254.1375px;" version="1.1" viewbox="0 0 254.1375 15.2" width="254.1375" xmlns="http://www.w3.org/2000/svg">
∶
(
−
,
]
→
ℝ
,
=
(
1
,
2
,
…
,
)
我们表示<年代p一个ncl一个年代年代="equation" id="eq1">
年代
u
p
(
]
∈
−
,
(
)
=
年代
u
p
(
]
∈
−
,
1
(
)
,
年代
u
p
(
]
∈
−
,
2
(
)
,
…
,
年代
u
p
(
]
∈
−
,
(
)
。
(
2
。
3
)
表示由<年代vg height="13.9625" id="M20" style="vertical-align:-2.21957pt;width:173.1125px;" version="1.1" viewbox="0 0 173.1125 13.9625" width="173.1125" xmlns="http://www.w3.org/2000/svg">
P
C
(
,
)
(
⊂
ℝ
,
⊂
ℝ
)
所有功能的集合<年代vg height="10.5375" id="M21" style="vertical-align:-0.16302pt;width:77.337502px;" version="1.1" viewbox="0 0 77.337502 10.5375" width="77.337502" xmlns="http://www.w3.org/2000/svg">
∶
→
分段连续的吗<年代vg height="10.325" id="M22" 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.3625" id="M23" style="vertical-align:-3.2316pt;width:47.349998px;" version="1.1" viewbox="0 0 47.349998 14.3625" width="47.349998" xmlns="http://www.w3.org/2000/svg">
∈
和连续从左边的点<年代vg height="14.3625" id="M24" style="vertical-align:-3.2316pt;width:47.349998px;" version="1.1" viewbox="0 0 47.349998 14.3625" width="47.349998" xmlns="http://www.w3.org/2000/svg">
∈
,<年代vg height="14.7125" id="M25" style="vertical-align:-3.2316pt;width:109.725px;" version="1.1" viewbox="0 0 109.725 14.7125" width="109.725" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
−
0
)
。
gydF4y2Ba在进一步的调查中,我们将假定初始功能<年代vg height="15.2625" id="M26" style="vertical-align:-3.25793pt;width:146.3px;" version="1.1" viewbox="0 0 146.3 15.2625" width="146.3" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
0
−
,
0
]
,
ℝ
)
解决脉冲微分方程组的初值问题与“上确界”(<一个href="#EEq1">2.1一个>)和(<一个href="#EEq3">2.2一个>)存在于<年代vg height="14.75" id="M27" style="vertical-align:-3.25793pt;width:66.525002px;" version="1.1" viewbox="0 0 66.525002 14.75" width="66.525002" xmlns="http://www.w3.org/2000/svg">
(
0
−
,
∞
)
。注意,微分方程与最大值以及脉冲微分方程上确界还没有深入研究。虽然这些方程延误泛函微分方程,并不是所有的已知文献结果延迟微分方程应用于他们。主要原因是最大函数非常非线性的存在。只有部分得到的结果存在连续的情况(见[<一个href="#B1">15一个>,16一个>])。
gydF4y2Ba让<年代vg height="14.825" id="M28" style="vertical-align:-3.49493pt;width:51.650002px;" version="1.1" viewbox="0 0 51.650002 14.825" width="51.650002" xmlns="http://www.w3.org/2000/svg">
⊂
ℝ
+
。表示由<年代vg height="13.45" id="M29" style="vertical-align:-2.21957pt;width:34.950001px;" version="1.1" viewbox="0 0 34.950001 13.45" width="34.950001" xmlns="http://www.w3.org/2000/svg">
(
)
所有整数的集合<年代vg height="10.7375" id="M30" style="vertical-align:-0.13794pt;width:8.6000004px;" version="1.1" viewbox="0 0 8.6000004 10.7375" width="8.6000004" xmlns="http://www.w3.org/2000/svg">
这样<年代vg height="14.3625" id="M31" style="vertical-align:-3.2316pt;width:47.349998px;" version="1.1" viewbox="0 0 47.349998 14.3625" width="47.349998" xmlns="http://www.w3.org/2000/svg">
∈
。
gydF4y2Ba我们将定义以下的措施:<年代p一个ncl一个年代年代="equation" id="eq2">
(
Γ
=
ℎ
∈
−
,
∞
)
×
ℝ
,
ℝ
+
∶
米
我
n
∈
ℝ
(
,
ℎ
(
,
)
=
0
f
o
r
e
一个
c
h
∈
−
,
∞
)
Γ
=
ℎ
∈
ℝ
,
ℝ
+
∶
米
我
n
∈
ℝ
,
ℎ
ℎ
(
)
=
0
Γ
=
∗
ℝ
∈
+
×
ℝ
,
ℝ
+
∶
米
我
n
∈
ℝ
ℎ
∗
(
,
)
=
0
f
o
r
e
一个
c
h
∈
ℝ
+
,
ℎ
∗
,
1
≤
ℎ
∗
,
2
|
|
f
o
r
1
|
|
≤
|
|
2
|
|
,
∈
ℝ
+
。
(
2
。
4
)
2.1的话。我>年代p一个n>请注意,任何规范<年代vg height="11.2" id="M33" style="vertical-align:-0.0pt;width:17.862499px;" version="1.1" viewbox="0 0 17.862499 11.2" width="17.862499" xmlns="http://www.w3.org/2000/svg">
ℝ
是一个函数的<年代vg height="10.475" id="M34" style="vertical-align:-0.0pt;width:9.3000002px;" version="1.1" viewbox="0 0 9.3000002 10.475" width="9.3000002" xmlns="http://www.w3.org/2000/svg">
Γ
和任何规范<年代vg height="10.475" id="M35" style="vertical-align:-0.0pt;width:11.8px;" version="1.1" viewbox="0 0 11.8 10.475" width="11.8" xmlns="http://www.w3.org/2000/svg">
ℝ
是两类<年代vg height="15.1625" id="M36" style="vertical-align:-0.17555pt;width:9.3000002px;" version="1.1" viewbox="0 0 9.3000002 15.1625" width="9.3000002" xmlns="http://www.w3.org/2000/svg">
Γ
和<年代vg height="15.625" id="M37" style="vertical-align:-0.0pt;width:9.3000002px;" version="1.1" viewbox="0 0 9.3000002 15.625" width="9.3000002" xmlns="http://www.w3.org/2000/svg">
Γ
。例如,函数<年代vg height="17.924999" id="M38" style="vertical-align:-2.21957pt;width:124.8125px;" version="1.1" viewbox="0 0 124.8125 17.924999" width="124.8125" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
(
,
)
=
−
Γ
|
|
∈
。年代p一个n>
让<年代vg height="14.8625" id="M39" style="vertical-align:-3.25793pt;width:43.799999px;" version="1.1" viewbox="0 0 43.799999 14.8625" width="43.799999" xmlns="http://www.w3.org/2000/svg">
ℎ
0
∈
Γ
,<年代vg height="14.825" id="M40" style="vertical-align:-3.49493pt;width:50.287498px;" version="1.1" viewbox="0 0 50.287498 14.825" width="50.287498" xmlns="http://www.w3.org/2000/svg">
0
∈
ℝ
+
,<年代vg height="15.2625" id="M41" style="vertical-align:-3.25793pt;width:146.3px;" version="1.1" viewbox="0 0 146.3 15.2625" width="146.3" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
0
−
,
0
]
,
ℝ
)
。我们将使用以下符号:<年代p一个ncl一个年代年代="equation" id="EEq4">
0
0
,
=
年代
u
p
∈
0
−
,
0
ℎ
0
(
,
(
)
)
。
(
2
。
5
)
让<年代vg height="13.55" id="M43" style="vertical-align:-2.29482pt;width:35.174999px;" version="1.1" viewbox="0 0 35.174999 13.55" width="35.174999" xmlns="http://www.w3.org/2000/svg">
>
0
是一个固定的数量和<年代vg height="11.225" id="M44" style="vertical-align:-0.33858pt;width:37.700001px;" version="1.1" viewbox="0 0 37.700001 11.225" width="37.700001" xmlns="http://www.w3.org/2000/svg">
ℎ
∈
Γ
。定义<年代p一个ncl一个年代年代="equation" id="eq3">
(
(
ℎ
,
)
=
{
(
,
)
∈
−
,
∞
)
×
ℝ
∶
ℎ
(
,
)
<
}
,
(
(
ℎ
,
)
=
{
(
,
)
∈
−
,
∞
)
×
ℝ
∶
ℎ
(
,
)
≤
}
。
(
2
。
6
)
我们将介绍实用的脉冲微分方程稳定性的定义与“上确界,”思想的基础上稳定的两项措施被认为是在<一个href="#B17">8一个>,9一个>]。
<年代p一个ncl一个年代s="statement" id="deff1">定义2.2。我>年代p一个n>让功能<年代vg height="14.8625" id="M46" style="vertical-align:-3.25793pt;width:59.325001px;" version="1.1" viewbox="0 0 59.325001 14.8625" width="59.325001" xmlns="http://www.w3.org/2000/svg">
ℎ
,
ℎ
0
∈
Γ
和积极的常数<年代vg height="12.7625" id="M47" style="vertical-align:-1.76814pt;width:31.512501px;" version="1.1" viewbox="0 0 31.512501 12.7625" width="31.512501" xmlns="http://www.w3.org/2000/svg">
,
被给予。脉冲微分方程系统的“上确界”(<一个href="#EEq1">2.1一个>)说<年代p一个ncl一个年代年代="list">(<我>年代我>1)<年代p一个ncl一个年代s="list-content">实际上对稳定<年代vg height="13.45" id="M48" style="vertical-align:-2.21957pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 13.45" width="36.712502" xmlns="http://www.w3.org/2000/svg">
(
,
)
方面的措施<年代vg height="14.8625" id="M49" style="vertical-align:-3.25793pt;width:41.174999px;" version="1.1" viewbox="0 0 41.174999 14.8625" width="41.174999" xmlns="http://www.w3.org/2000/svg">
(
ℎ
0
,
ℎ
)
如果存在<年代vg height="14.75" id="M50" 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
这样,对于任何<年代vg height="15.2625" id="M51" style="vertical-align:-3.25793pt;width:146.3px;" version="1.1" viewbox="0 0 146.3 15.2625" width="146.3" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
0
−
,
0
]
,
ℝ
)
不平等<年代vg height="14.75" id="M52" style="vertical-align:-3.25793pt;width:85.6875px;" version="1.1" viewbox="0 0 85.6875 14.75" width="85.6875" xmlns="http://www.w3.org/2000/svg">
0
(
0
,
)
<
意味着<年代vg height="14.8625" id="M53" style="vertical-align:-3.25793pt;width:119.975px;" version="1.1" viewbox="0 0 119.975 14.8625" width="119.975" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
(
;
0
,
)
)
<
为<年代vg height="13.7" id="M54" 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.3875" id="M55" style="vertical-align:-3.25793pt;width:19.862499px;" version="1.1" viewbox="0 0 19.862499 14.3875" width="19.862499" xmlns="http://www.w3.org/2000/svg">
0
被定义为(<一个href="#EEq4">2.5一个>),
(
;
0
,
)
是一个解决方案(<一个href="#EEq1">2.1一个>)和(<一个href="#EEq3">2.2一个>); 年代p一个n>(<我>年代我>2)<年代p一个ncl一个年代s="list-content">对几乎均匀稳定<年代vg height="13.45" id="M57" style="vertical-align:-2.21957pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 13.45" width="36.712502" xmlns="http://www.w3.org/2000/svg">
(
,
)
方面的措施<年代vg height="14.8625" id="M58" style="vertical-align:-3.25793pt;width:41.174999px;" version="1.1" viewbox="0 0 41.174999 14.8625" width="41.174999" xmlns="http://www.w3.org/2000/svg">
(
ℎ
0
,
ℎ
)
如果(<我>年代我>1)满意<年代vg height="14.825" id="M59" style="vertical-align:-3.49493pt;width:50.287498px;" version="1.1" viewbox="0 0 50.287498 14.825" width="50.287498" xmlns="http://www.w3.org/2000/svg">
0
∈
ℝ
+
。年代p一个n>年代p一个n>
2.3的话。我>年代p一个n>在的情况下<年代vg height="10.9125" id="M60" 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="14.975" id="M61" style="vertical-align:-3.25793pt;width:148.78751px;" version="1.1" viewbox="0 0 148.78751 14.975" width="148.78751" xmlns="http://www.w3.org/2000/svg">
ℎ
0
(
,
)
=
ℎ
(
,
)
=
为
为
、定义<一个href="#deff1">2.2一个>减少的定义<我>实际的稳定我>脉冲微分方程,研究了在<一个href="#B8">4一个>]。在的情况下<年代vg height="10.9125" id="M62" 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="14.7125" id="M63" style="vertical-align:-3.2316pt;width:61.162498px;" version="1.1" viewbox="0 0 61.162498 14.7125" width="61.162498" xmlns="http://www.w3.org/2000/svg">
(
)
≡
,<年代vg height="12.8875" id="M64" style="vertical-align:-1.76814pt;width:74.875px;" version="1.1" viewbox="0 0 74.875 12.8875" width="74.875" xmlns="http://www.w3.org/2000/svg">
=
1
,
2
,
…
,<年代vg height="14.975" id="M65" style="vertical-align:-3.25793pt;width:148.78751px;" version="1.1" viewbox="0 0 148.78751 14.975" width="148.78751" xmlns="http://www.w3.org/2000/svg">
ℎ
0
(
,
)
=
ℎ
(
,
)
=
为
为
above-given定义减少定义为相应类型的实用稳定性的常微分方程,给出了这些书(<一个href="#B8">4一个>,6一个>]。年代p一个n>
在进一步的调查中,我们将使用标量脉冲微分方程初值问题的比较:<年代p一个ncl一个年代年代="equation" id="EEq5">
=
(
,
)
,
≥
0
,
≠
,
+
0
=
,
=
1
,
2
,
…
,
(
2
。
7
)
0
=
0
,
(
2
。
8
)
在哪里<年代vg height="14.5375" id="M68" style="vertical-align:-3.25793pt;width:58.612499px;" version="1.1" viewbox="0 0 58.612499 14.5375" width="58.612499" xmlns="http://www.w3.org/2000/svg">
,
0
∈
ℝ
,<年代vg height="14.925" id="M69" style="vertical-align:-3.49493pt;width:207.1375px;" version="1.1" viewbox="0 0 207.1375 14.925" width="207.1375" xmlns="http://www.w3.org/2000/svg">
∶
ℝ
+
×
ℝ
→
ℝ
,
∶
ℝ
→
ℝ
,<年代vg height="12.8875" id="M70" style="vertical-align:-1.76814pt;width:74.875px;" version="1.1" viewbox="0 0 74.875 12.8875" width="74.875" xmlns="http://www.w3.org/2000/svg">
=
1
,
2
,
…
。
gydF4y2Ba在进一步的调查中,我们将假定初始点<年代vg height="15.05" id="M71" style="vertical-align:-3.49493pt;width:109.3375px;" version="1.1" viewbox="0 0 109.3375 15.05" width="109.3375" xmlns="http://www.w3.org/2000/svg">
(
0
,
0
)
∈
ℝ
+
×
ℝ
标量脉冲方程的解决方案(<一个href="#EEq5">2.7一个>)存在于<年代vg height="14.75" id="M72" 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="M73" 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
。一些存在的结果,请参阅《Bainov和Simeonov<一个href="#B3">17一个>]。
gydF4y2Ba注意,定义为实际稳定的两项措施为标量脉冲微分方程(<一个href="#EEq5">2.7一个>)是由以下给出定义。
<年代p一个ncl一个年代s="statement" id="deff2">定义2.4。我>年代p一个n>让功能<年代vg height="20.725" id="M74" style="vertical-align:-4.09424pt;width:94.487503px;" version="1.1" viewbox="0 0 94.487503 20.725" width="94.487503" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
∈
Γ
,
ℎ
∗
0
∈
Γ
和积极的常数<年代vg height="12.7625" id="M75" style="vertical-align:-1.76814pt;width:31.512501px;" version="1.1" viewbox="0 0 31.512501 12.7625" width="31.512501" xmlns="http://www.w3.org/2000/svg">
,
被给予。标量脉冲微分方程(<一个href="#EEq5">2.7一个>)说<年代p一个ncl一个年代年代="list">(<我>年代我>3)<年代p一个ncl一个年代s="list-content">实际上对稳定<年代vg height="13.45" id="M76" style="vertical-align:-2.21957pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 13.45" width="36.712502" xmlns="http://www.w3.org/2000/svg">
(
,
)
方面的措施<年代vg height="16.950001" id="M77" style="vertical-align:-4.09424pt;width:47.775002px;" version="1.1" viewbox="0 0 47.775002 16.950001" width="47.775002" xmlns="http://www.w3.org/2000/svg">
(
ℎ
∗
0
,
ℎ
∗
)
如果存在<年代vg height="14.75" id="M78" 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
这样,对于任何<年代vg height="14.5375" id="M79" style="vertical-align:-3.25793pt;width:49.900002px;" version="1.1" viewbox="0 0 49.900002 14.5375" width="49.900002" xmlns="http://www.w3.org/2000/svg">
0
∈
ℝ
的不平等<年代vg height="16.950001" id="M80" style="vertical-align:-4.09424pt;width:67.237503px;" version="1.1" viewbox="0 0 67.237503 16.950001" width="67.237503" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
(
0
)
<
意味着<年代vg height="15.9125" id="M81" style="vertical-align:-3.25793pt;width:128.55px;" version="1.1" viewbox="0 0 128.55 15.9125" width="128.55" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
(
,
(
;
0
,
0
)
)
<
为<年代vg height="13.7" id="M82" 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.75" id="M83" style="vertical-align:-3.25793pt;width:60.775002px;" version="1.1" viewbox="0 0 60.775002 14.75" width="60.775002" xmlns="http://www.w3.org/2000/svg">
(
;
0
,
0
)
是一个解决方案(<一个href="#EEq5">2.7一个>)和(<一个href="#EEq5">2.8一个>);年代p一个n>(<我>年代我>4)<年代p一个ncl一个年代s="list-content">对几乎均匀稳定<年代vg height="13.45" id="M84" style="vertical-align:-2.21957pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 13.45" width="36.712502" xmlns="http://www.w3.org/2000/svg">
(
,
)
方面的措施<年代vg height="16.950001" id="M85" style="vertical-align:-4.09424pt;width:47.775002px;" version="1.1" viewbox="0 0 47.775002 16.950001" width="47.775002" xmlns="http://www.w3.org/2000/svg">
(
ℎ
∗
0
,
ℎ
∗
)
如果(<我>年代我>4)满意<年代vg height="14.825" id="M86" style="vertical-align:-3.49493pt;width:50.287498px;" version="1.1" viewbox="0 0 50.287498 14.825" width="50.287498" xmlns="http://www.w3.org/2000/svg">
0
∈
ℝ
+
。年代p一个n>年代p一个n>
2.5的话。我>年代p一个n>在的情况下<年代vg height="14.8" id="M87" style="vertical-align:-2.37006pt;width:90.224998px;" version="1.1" viewbox="0 0 90.224998 14.8" width="90.224998" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
(
,
)
=
为
为
和<年代vg height="16.950001" id="M88" style="vertical-align:-4.09424pt;width:78.824997px;" version="1.1" viewbox="0 0 78.824997 16.950001" width="78.824997" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
(
)
=
为
为
、定义<一个href="#deff2">2.4一个>减少到一个定义为实际微分方程的零解的稳定性(见[<一个href="#B11">6一个>])。年代p一个n>
我们会给一个标量微分方程几乎不稳定,但同时它几乎是稳定的两个措施。
<年代p一个ncl一个年代s="statement" id="ex1">例2.6。我>年代p一个n>考虑标量微分方程<年代vg height="10.8625" id="M89" style="vertical-align:-0.11285pt;width:38.849998px;" version="1.1" viewbox="0 0 38.849998 10.8625" width="38.849998" xmlns="http://www.w3.org/2000/svg">
′
=
。这个方程的零解几乎不稳定。与此同时,如果我们选择的措施<年代vg height="16.950001" id="M90" style="vertical-align:-4.09424pt;width:66.349998px;" version="1.1" viewbox="0 0 66.349998 16.950001" width="66.349998" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
(
)
=
|
|
和<年代vg height="15.35" id="M91" style="vertical-align:-2.21957pt;width:96.25px;" version="1.1" viewbox="0 0 96.25 15.35" width="96.25" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
(
,
)
=
−
|
|
,那么同样的标量方程几乎均匀稳定的两个措施。年代p一个n>
我们将研究之间的联系实际稳定的标量脉冲微分方程的两项措施(<一个href="#EEq5">2.7一个>)和相应的实用稳定性的两项措施的脉冲微分方程系统的“上确界”(<一个href="#EEq1">2.1一个>)。
gydF4y2Ba介绍以下符号:<年代p一个ncl一个年代年代="equation" id="eq4">
=
(
∈
−
,
∞
)
∶
∈
,
+
1
,
=
1
,
2
,
…
,
=
∞
=
1
。
(
2
。
9
)
我们将介绍类<年代vg height="10.6625" id="M93" style="vertical-align:-0.0pt;width:11.1px;" version="1.1" viewbox="0 0 11.1 10.6625" width="11.1" xmlns="http://www.w3.org/2000/svg">
Λ
分段连续李雅普诺夫函数将用于调查的实际稳定脉冲微分方程与“上确界。”
<年代p一个ncl一个年代s="statement" id="deff3">定义2.7。我>年代p一个n>我们会说,函数<年代vg height="15.05" id="M94" style="vertical-align:-3.49493pt;width:144.2px;" version="1.1" viewbox="0 0 144.2 15.05" width="144.2" xmlns="http://www.w3.org/2000/svg">
(
,
)
∶
Δ
×
Ω
→
ℝ
+
,<年代vg height="13.45" id="M95" style="vertical-align:-2.21957pt;width:79.275002px;" version="1.1" viewbox="0 0 79.275002 13.45" width="79.275002" xmlns="http://www.w3.org/2000/svg">
Δ
⊂
(
−
,
∞
)
,<年代vg height="11.5875" id="M96" style="vertical-align:-0.3135pt;width:48.875px;" version="1.1" viewbox="0 0 48.875 11.5875" width="48.875" xmlns="http://www.w3.org/2000/svg">
Ω
⊂
ℝ
,<年代vg height="11.1125" id="M97" style="vertical-align:-0.33858pt;width:38.950001px;" version="1.1" viewbox="0 0 38.950001 11.1125" width="38.950001" xmlns="http://www.w3.org/2000/svg">
0
∈
Ω
,属于类<年代vg height="10.6625" id="M98" style="vertical-align:-0.0pt;width:11.1px;" version="1.1" viewbox="0 0 11.1 10.6625" width="11.1" xmlns="http://www.w3.org/2000/svg">
Λ
如果<年代p一个ncl一个年代年代="list">(1)年代p一个n><年代p一个ncl一个年代s="list-content">
(
,
)
是一个连续函数在吗<年代vg height="13.625" id="M100" style="vertical-align:-2.21957pt;width:79.112503px;" version="1.1" viewbox="0 0 79.112503 13.625" width="79.112503" xmlns="http://www.w3.org/2000/svg">
(
Δ
∩
)
×
Ω
和<年代vg height="13.45" id="M101" style="vertical-align:-2.21957pt;width:65.9375px;" version="1.1" viewbox="0 0 65.9375 13.45" width="65.9375" xmlns="http://www.w3.org/2000/svg">
(
,
0
)
≡
0
为<年代vg height="11.075" id="M102" style="vertical-align:-0.33858pt;width:35.6875px;" version="1.1" viewbox="0 0 35.6875 11.075" width="35.6875" xmlns="http://www.w3.org/2000/svg">
∈
Δ
,年代p一个n>年代p一个n>(2)年代p一个n><年代p一个ncl一个年代s="list-content">对于每一个<年代vg height="13.45" id="M103" style="vertical-align:-2.21957pt;width:61.737499px;" version="1.1" viewbox="0 0 61.737499 13.45" width="61.737499" xmlns="http://www.w3.org/2000/svg">
∈
(
Δ
)
和<年代vg height="11.1125" id="M104" 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">
∈
Ω
存在有限的限制<年代p一个ncl一个年代年代="equation" id="eq5">
,
=
−
0
,
=
l
我
米
↑
(
,
)
,
+
0
,
=
l
我
米
↓
(
,
)
,
(
2
。
1
0
)
(3)年代p一个n><年代p一个ncl一个年代s="list-content">函数<年代vg height="13.45" id="M106" style="vertical-align:-2.21957pt;width:39.525002px;" version="1.1" viewbox="0 0 39.525002 13.45" width="39.525002" xmlns="http://www.w3.org/2000/svg">
(
,
)
李普希茨对其第二个参数设置<年代vg height="11.075" id="M107" style="vertical-align:-0.3135pt;width:39.987499px;" version="1.1" viewbox="0 0 39.987499 11.075" width="39.987499" xmlns="http://www.w3.org/2000/svg">
Δ
×
Ω
。年代p一个n>年代p一个n>
让<年代vg height="15.05" id="M108" style="vertical-align:-3.49493pt;width:144.2px;" version="1.1" viewbox="0 0 144.2 15.05" width="144.2" xmlns="http://www.w3.org/2000/svg">
(
,
)
∶
Δ
×
Ω
→
ℝ
+
,<年代vg height="11.075" id="M109" style="vertical-align:-0.33858pt;width:39.474998px;" version="1.1" viewbox="0 0 39.474998 11.075" width="39.474998" xmlns="http://www.w3.org/2000/svg">
∈
Λ
。对于任何<年代vg height="11.35" id="M110" style="vertical-align:-0.38873pt;width:64.400002px;" version="1.1" viewbox="0 0 64.400002 11.35" width="64.400002" xmlns="http://www.w3.org/2000/svg">
∈
Δ
∩
和任何函数<年代vg height="13.55" id="M111" style="vertical-align:-2.29482pt;width:129.66251px;" version="1.1" viewbox="0 0 129.66251 13.55" width="129.66251" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
−
,
]
,
Ω
)
,我们将定义一个函数的导数<年代vg height="10.575" id="M112" style="vertical-align:-0.20064pt;width:12.625px;" version="1.1" viewbox="0 0 12.625 10.575" width="12.625" xmlns="http://www.w3.org/2000/svg">
沿着一条轨迹的解决方案(<一个href="#EEq1">2.1一个>)如下:<年代p一个ncl一个年代年代="equation" id="EEq7">
(
2
。
1
)
(
,
)
=
l
我
米
→
0
1
年代
u
p
+
,
(
)
+
,
(
)
,
年代
u
p
(
]
∈
−
,
0
。
(
+
)
−
(
,
(
)
)
(
2
。
1
1
)
考虑以下设置:<年代p一个ncl一个年代年代="equation" id="eq6">
ℝ
=
∈
+
,
ℝ
+
,
ℝ
∶
(
)
我
年代
年代
t
r
我
c
t
l
y
我
n
c
r
e
一个
年代
我
n
g
一个
n
d
(
0
)
=
0
=
∈
+
,
ℝ
+
。
∶
(
)
我
年代
年代
t
r
我
c
t
l
y
我
n
c
r
e
一个
年代
我
n
g
一个
n
d
(
)
≥
,
(
0
)
=
0
(
2
。
1
2
)
在进一步的调查中,我们将使用以下的比较结果。
<年代p一个ncl一个年代s="statement" id="lem1">引理2.8 (Hristova [<一个href="#B5">12一个>])。年代p一个n><我>下列条件得到满足。我><年代p一个ncl一个年代年代="list">(1)年代p一个n><年代p一个ncl一个年代s="list-content">的函数<年代vg height="15.2625" id="M115" style="vertical-align:-3.25793pt;width:175.625px;" version="1.1" viewbox="0 0 175.625 15.2625" width="175.625" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
0
,
]
×
Ω
×
Ω
,
ℝ
)
和<年代vg height="14.7125" id="M116" style="vertical-align:-3.2316pt;width:84.224998px;" version="1.1" viewbox="0 0 84.224998 14.7125" width="84.224998" xmlns="http://www.w3.org/2000/svg">
∈
(
Ω
,
Ω
)
为<年代vg height="14.75" id="M117" style="vertical-align:-3.25793pt;width:86.962502px;" version="1.1" viewbox="0 0 86.962502 14.75" width="86.962502" xmlns="http://www.w3.org/2000/svg">
∈
(
(
0
,
)
)
,在那里<年代vg height="11.5875" id="M118" style="vertical-align:-0.3135pt;width:48.875px;" version="1.1" viewbox="0 0 48.875 11.5875" width="48.875" xmlns="http://www.w3.org/2000/svg">
Ω
⊂
ℝ
,<年代vg height="14.75" id="M119" style="vertical-align:-3.25793pt;width:142.925px;" version="1.1" viewbox="0 0 142.925 14.75" width="142.925" xmlns="http://www.w3.org/2000/svg">
0
,
∶
0
≤
0
<
<
∞
是常数。我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">这个函数<年代vg height="14.75" id="M120" style="vertical-align:-3.25793pt;width:140.1875px;" version="1.1" viewbox="0 0 140.1875 14.75" width="140.1875" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
0
−
,
0
]
,
Ω
)
。我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl一个年代s="list-content">初值问题(<一个href="#EEq1">2.1一个>)和(<一个href="#EEq3">2.2一个>)有一个解决方案<年代vg height="14.75" id="M121" style="vertical-align:-3.25793pt;width:101.8375px;" version="1.1" viewbox="0 0 101.8375 14.75" width="101.8375" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
;
0
,
)
,这样<年代vg height="13.45" id="M122" style="vertical-align:-2.21957pt;width:55.037498px;" version="1.1" viewbox="0 0 55.037498 13.45" width="55.037498" xmlns="http://www.w3.org/2000/svg">
(
)
∈
Ω
在<年代vg height="14.5375" id="M123" style="vertical-align:-3.25793pt;width:60.650002px;" version="1.1" viewbox="0 0 60.650002 14.5375" width="60.650002" xmlns="http://www.w3.org/2000/svg">
(
0
−
,
]
。我>年代p一个n>年代pan>(4)年代p一个n><年代p一个ncl一个年代s="list-content">的函数<年代vg height="15.05" id="M124" style="vertical-align:-3.49493pt;width:156.28751px;" version="1.1" viewbox="0 0 156.28751 15.05" width="156.28751" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
0
,
]
×
ℝ
+
,
ℝ
+
)
,<年代vg height="13.6125" id="M125" style="vertical-align:-2.34499pt;width:64.650002px;" version="1.1" viewbox="0 0 64.650002 13.6125" width="64.650002" xmlns="http://www.w3.org/2000/svg">
(
,
0
)
≡
0
为<年代vg height="14.5375" id="M126" style="vertical-align:-3.25793pt;width:60.900002px;" version="1.1" viewbox="0 0 60.900002 14.5375" width="60.900002" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
]
和<年代vg height="14.8875" id="M127" style="vertical-align:-3.2316pt;width:49.387501px;" version="1.1" viewbox="0 0 49.387501 14.8875" width="49.387501" xmlns="http://www.w3.org/2000/svg">
∈
,<年代vg height="14.75" id="M128" style="vertical-align:-3.25793pt;width:86.962502px;" version="1.1" viewbox="0 0 86.962502 14.75" width="86.962502" xmlns="http://www.w3.org/2000/svg">
∈
(
(
0
,
)
)
。我>年代p一个n>年代pan>(5)年代p一个n><年代p一个ncl一个年代s="list-content">对于任何初始点<年代vg height="14.825" id="M129" style="vertical-align:-3.49493pt;width:52.799999px;" version="1.1" viewbox="0 0 52.799999 14.825" width="52.799999" xmlns="http://www.w3.org/2000/svg">
0
∈
ℝ
+
,标量脉冲微分方程的初值问题(<一个href="#EEq5">2.7一个>)有一个最大的解决方案<年代vg height="15.5875" id="M130" style="vertical-align:-3.25793pt;width:115.5625px;" version="1.1" viewbox="0 0 115.5625 15.5875" width="115.5625" xmlns="http://www.w3.org/2000/svg">
∗
(
)
=
∗
(
;
0
,
0
)
定义了<年代vg height="14.5375" id="M131" style="vertical-align:-3.25793pt;width:60.900002px;" version="1.1" viewbox="0 0 60.900002 14.5375" width="60.900002" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
]
。我>年代p一个n>年代pan>(6)年代p一个n><年代p一个ncl一个年代s="list-content">这个函数<年代vg height="15.05" id="M132" style="vertical-align:-3.49493pt;width:163.03751px;" version="1.1" viewbox="0 0 163.03751 15.05" width="163.03751" xmlns="http://www.w3.org/2000/svg">
∶
(
0
−
,
]
×
Ω
→
ℝ
+
,<年代vg height="11.075" id="M133" style="vertical-align:-0.33858pt;width:39.474998px;" version="1.1" viewbox="0 0 39.474998 11.075" width="39.474998" xmlns="http://www.w3.org/2000/svg">
∈
Λ
是这样的,<年代p一个ncl一个年代年代="list">(我)年代p一个n><年代p一个ncl一个年代s="list-content">对于任何数量<年代vg height="14.75" id="M134" style="vertical-align:-3.25793pt;width:211.4875px;" version="1.1" viewbox="0 0 211.4875 14.75" width="211.4875" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
]
∶
≠
,
∈
(
(
0
,
)
)
和任何函数<年代vg height="13.55" id="M135" style="vertical-align:-2.29482pt;width:129.66251px;" version="1.1" viewbox="0 0 129.66251 13.55" width="129.66251" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
−
,
]
,
Ω
)
这样<年代vg height="13.55" id="M136" style="vertical-align:-2.29482pt;width:184.25px;" version="1.1" viewbox="0 0 184.25 13.55" width="184.25" xmlns="http://www.w3.org/2000/svg">
(
,
(
)
)
≥
(
+
,
(
+
)
)
为<年代vg height="13.45" id="M137" style="vertical-align:-2.21957pt;width:68.212502px;" version="1.1" viewbox="0 0 68.212502 13.45" width="68.212502" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
0
)
的不平等<年代p一个ncl一个年代年代="equation" id="eq7">
(
2
。
1
)
(
,
(
)
)
≤
(
,
(
,
(
)
)
)
(
2
。
1
3
)
成立。我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">
(
+
0
,
(
)
)
≤
(
(
,
)
)
,
∈
(
(
0
,
)
)
,
∈
Ω
。我>年代p一个n>年代pan> 然后,不平等<年代vg height="16.3375" id="M140" style="vertical-align:-4.52943pt;width:238.575px;" version="1.1" viewbox="0 0 238.575 16.3375" width="238.575" xmlns="http://www.w3.org/2000/svg">
年代
u
p
∈
(
−
,
0
]
(
0
+
,
(
0
+
)
)
≤
0
意味着不平等<年代vg height="14.3" id="M141" style="vertical-align:-2.21957pt;width:103.2625px;" version="1.1" viewbox="0 0 103.2625 14.3" width="103.2625" xmlns="http://www.w3.org/2000/svg">
(
,
(
)
)
≤
∗
(
)
为<年代vg height="14.5375" id="M142" style="vertical-align:-3.25793pt;width:60.900002px;" version="1.1" viewbox="0 0 60.900002 14.5375" width="60.900002" xmlns="http://www.w3.org/2000/svg">
∈
(
0
,
]
。我>年代p一个n>
2.9的话。我>年代p一个n>引理<一个href="#lem1">2.8一个>是有效的,当<年代vg height="10.325" id="M143" style="vertical-align:-0.0pt;width:42.587502px;" version="1.1" viewbox="0 0 42.587502 10.325" width="42.587502" xmlns="http://www.w3.org/2000/svg">
=
∞
,也就是<年代vg height="14.75" id="M144" 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>
我们将获得实用稳定的两个充分条件措施与“上确界脉冲微分方程。“我们将使用李雅普诺夫函数类<年代vg height="10.6625" id="M145" style="vertical-align:-0.0pt;width:11.1px;" version="1.1" viewbox="0 0 11.1 10.6625" width="11.1" xmlns="http://www.w3.org/2000/svg">
Λ
。证据是基于Razumikhin法和对比法采用标量脉冲微分方程。
gydF4y2Ba在全球李雅普诺夫函数满足的情况下所需的条件,我们得到以下的结果。
<年代p一个ncl一个年代s="statement" id="thm1">定理2.10。年代p一个n><我>下列条件得到满足。我><年代p一个ncl一个年代年代="list">(1)年代p一个n><年代p一个ncl一个年代s="list-content">这个函数<年代vg height="13.4875" id="M146" style="vertical-align:-2.34499pt;width:28.1875px;" version="1.1" viewbox="0 0 28.1875 13.4875" width="28.1875" xmlns="http://www.w3.org/2000/svg">
∈
个人电脑<年代vg height="15.5625" id="M147" style="vertical-align:-3.49493pt;width:123.9375px;" version="1.1" viewbox="0 0 123.9375 15.5625" width="123.9375" xmlns="http://www.w3.org/2000/svg">
(
ℝ
+
×
ℝ
×
ℝ
,
ℝ
]
和<年代vg height="13.6125" id="M148" style="vertical-align:-2.34499pt;width:79.949997px;" version="1.1" viewbox="0 0 79.949997 13.6125" width="79.949997" xmlns="http://www.w3.org/2000/svg">
(
,
0
,
0
)
≡
0
。我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">的函数<年代vg height="15.225" id="M149" style="vertical-align:-3.2316pt;width:96.449997px;" version="1.1" viewbox="0 0 96.449997 15.225" width="96.449997" xmlns="http://www.w3.org/2000/svg">
∈
(
ℝ
,
ℝ
)
和<年代vg height="14.7125" id="M150" style="vertical-align:-3.2316pt;width:59.599998px;" version="1.1" viewbox="0 0 59.599998 14.7125" width="59.599998" xmlns="http://www.w3.org/2000/svg">
(
0
)
=
0
为<年代vg height="15.05" id="M151" style="vertical-align:-3.49493pt;width:70.25px;" version="1.1" viewbox="0 0 70.25 15.05" width="70.25" xmlns="http://www.w3.org/2000/svg">
∈
(
ℝ
+
)
。我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl一个年代s="list-content">的函数<年代vg height="14.8625" id="M152" style="vertical-align:-3.25793pt;width:59.325001px;" version="1.1" viewbox="0 0 59.325001 14.8625" width="59.325001" xmlns="http://www.w3.org/2000/svg">
ℎ
0
,
ℎ
∈
Γ
和<年代vg height="20.725" id="M153" style="vertical-align:-4.09424pt;width:99.699997px;" version="1.1" viewbox="0 0 99.699997 20.725" width="99.699997" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
∈
Γ
,
ℎ
∗
∈
Γ
。我>年代p一个n>年代pan>(4)年代p一个n><年代p一个ncl一个年代s="list-content">存在一个函数<年代vg height="15.5625" id="M154" style="vertical-align:-3.49493pt;width:187.5px;" version="1.1" viewbox="0 0 187.5 15.5625" width="187.5" xmlns="http://www.w3.org/2000/svg">
(
,
)
∶
(
−
,
∞
)
×
ℝ
→
ℝ
+
与<年代vg height="11.075" id="M155" style="vertical-align:-0.33858pt;width:39.474998px;" version="1.1" viewbox="0 0 39.474998 11.075" width="39.474998" xmlns="http://www.w3.org/2000/svg">
∈
Λ
这样<年代p一个ncl一个年代年代="list">(我)年代p一个n><年代p一个ncl一个年代s="list-content">
(
ℎ
(
,
)
)
≤
ℎ
∗
(
,
(
,
)
)
一个
n
d
ℎ
∗
0
(
(
,
)
)
≤
(
ℎ
0
(
,
)
)
f
o
r
(
,
)
∈
(
−
,
∞
)
×
ℝ
,在那里<年代vg height="12.7625" id="M157" style="vertical-align:-1.76814pt;width:54.375px;" version="1.1" viewbox="0 0 54.375 12.7625" width="54.375" xmlns="http://www.w3.org/2000/svg">
,
∈
;我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">对于任何数量<年代vg height="16.7125" id="M158" style="vertical-align:-3.49493pt;width:172.8625px;" version="1.1" viewbox="0 0 172.8625 16.7125" width="172.8625" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
+
∶
≠
,
∈
(
ℝ
+
)
和任何函数<年代vg height="14.0625" id="M159" style="vertical-align:-2.29482pt;width:135.77499px;" version="1.1" viewbox="0 0 135.77499 14.0625" width="135.77499" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
−
,
]
,
ℝ
)
这样<年代vg height="13.55" id="M160" style="vertical-align:-2.29482pt;width:184.25px;" version="1.1" viewbox="0 0 184.25 13.55" width="184.25" xmlns="http://www.w3.org/2000/svg">
(
,
(
)
)
>
(
+
,
(
+
)
)
为<年代vg height="13.45" id="M161" style="vertical-align:-2.21957pt;width:68.212502px;" version="1.1" viewbox="0 0 68.212502 13.45" width="68.212502" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
0
)
的不平等<年代p一个ncl一个年代年代="equation" id="eq8">
(
2
。
1
)
(
,
(
)
)
≤
(
,
(
,
(
)
)
)
(
2
。
1
4
)
持有,<年代vg height="15.05" id="M163" style="vertical-align:-3.49493pt;width:131.46249px;" version="1.1" viewbox="0 0 131.46249 15.05" width="131.46249" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
ℝ
+
×
ℝ
,
ℝ
+
)
和<年代vg height="13.6125" id="M164" style="vertical-align:-2.34499pt;width:64.650002px;" version="1.1" viewbox="0 0 64.650002 13.6125" width="64.650002" xmlns="http://www.w3.org/2000/svg">
(
,
0
)
≡
0
;我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl一个年代s="list-content">
(
+
0
,
(
)
)
≤
(
(
,
)
)
,因为<年代vg height="15.125" id="M166" style="vertical-align:-2.21957pt;width:122.475px;" version="1.1" viewbox="0 0 122.475 15.125" width="122.475" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
,
∈
(
ℝ
+
)
,在那里<年代vg height="14.8875" id="M167" style="vertical-align:-3.2316pt;width:49.387501px;" version="1.1" viewbox="0 0 49.387501 14.8875" width="49.387501" xmlns="http://www.w3.org/2000/svg">
∈
。我>年代p一个n>年代pan> 然后,(制服)对实际稳定<年代vg height="13.45" id="M168" style="vertical-align:-2.21957pt;width:72.712502px;" version="1.1" viewbox="0 0 72.712502 13.45" width="72.712502" xmlns="http://www.w3.org/2000/svg">
(
(
)
,
(
)
)
方面的措施<年代vg height="16.950001" id="M169" style="vertical-align:-4.09424pt;width:47.775002px;" version="1.1" viewbox="0 0 47.775002 16.950001" width="47.775002" xmlns="http://www.w3.org/2000/svg">
(
ℎ
∗
0
,
ℎ
∗
)
标量的脉冲微分方程(<一个href="#EEq5">2.7一个>意味着(制服)对实际稳定<年代vg height="13.45" id="M170" style="vertical-align:-2.21957pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 13.45" width="36.712502" xmlns="http://www.w3.org/2000/svg">
(
,
)
方面的措施<年代vg height="14.8625" id="M171" style="vertical-align:-3.25793pt;width:41.174999px;" version="1.1" viewbox="0 0 41.174999 14.8625" width="41.174999" xmlns="http://www.w3.org/2000/svg">
(
ℎ
0
,
ℎ
)
脉冲微分方程组的“上确界”(<一个href="#EEq1">2.1一个>)积极的常量<年代vg height="12.7625" id="M172" style="vertical-align:-1.76814pt;width:31.512501px;" version="1.1" viewbox="0 0 31.512501 12.7625" width="31.512501" xmlns="http://www.w3.org/2000/svg">
,
给出了。我>年代p一个n>
证明。我>年代p一个n>让标量脉冲微分方程(<一个href="#EEq5">2.7一个>)几乎稳定在这两个措施<年代vg height="16.950001" id="M173" style="vertical-align:-4.09424pt;width:47.775002px;" version="1.1" viewbox="0 0 47.775002 16.950001" width="47.775002" xmlns="http://www.w3.org/2000/svg">
(
ℎ
∗
0
,
ℎ
∗
)
关于<年代vg height="13.45" id="M174" style="vertical-align:-2.21957pt;width:72.712502px;" version="1.1" viewbox="0 0 72.712502 13.45" width="72.712502" xmlns="http://www.w3.org/2000/svg">
(
(
)
,
(
)
)
。因此,存在一个点<年代vg height="14.75" id="M175" 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
这样<年代vg height="16.950001" id="M176" style="vertical-align:-4.09424pt;width:85.5px;" version="1.1" viewbox="0 0 85.5 16.950001" width="85.5" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
(
0
)
<
(
)
意味着<年代p一个ncl一个年代年代="equation" id="EEq8">
ℎ
∗
,
;
0
,
0
<
(
)
f
o
r
≥
0
,
(
2
。
1
5
)
在哪里<年代vg height="14.75" id="M178" style="vertical-align:-3.25793pt;width:60.775002px;" version="1.1" viewbox="0 0 60.775002 14.75" width="60.775002" xmlns="http://www.w3.org/2000/svg">
(
;
0
,
0
)
是一个解决方案(<一个href="#EEq5">2.7一个>)和(<一个href="#EEq5">2.8一个>)。选择一个函数<年代vg height="13.425" id="M179" style="vertical-align:-2.29482pt;width:29.5875px;" version="1.1" viewbox="0 0 29.5875 13.425" width="29.5875" xmlns="http://www.w3.org/2000/svg">
∈
个人电脑<年代vg height="15.2625" id="M180" style="vertical-align:-3.25793pt;width:97.699997px;" version="1.1" viewbox="0 0 97.699997 15.2625" width="97.699997" xmlns="http://www.w3.org/2000/svg">
(
(
0
−
,
0
]
,
ℝ
)
这样<年代p一个ncl一个年代年代="equation" id="EEq9">
0
0
,
<
,
(
2
。
1
6
)
,让<年代vg height="14.75" id="M182" style="vertical-align:-3.25793pt;width:58.549999px;" version="1.1" viewbox="0 0 58.549999 14.75" width="58.549999" xmlns="http://www.w3.org/2000/svg">
(
;
0
,
)
的解决方案(<一个href="#EEq1">2.1一个>)与初始条件(<一个href="#EEq3">2.2一个>)。让<年代vg height="16.3375" id="M183" style="vertical-align:-4.52943pt;width:217.7375px;" version="1.1" viewbox="0 0 217.7375 16.3375" width="217.7375" xmlns="http://www.w3.org/2000/svg">
0
=
年代
u
p
∈
(
−
,
0
]
(
0
+
,
(
0
+
)
)
。从引理<一个href="#lem1">2.8一个>为<年代vg height="13.45" id="M184" style="vertical-align:-2.21957pt;width:79.275002px;" version="1.1" viewbox="0 0 79.275002 13.45" width="79.275002" xmlns="http://www.w3.org/2000/svg">
Δ
=
(
−
,
∞
)
和<年代vg height="11.2" id="M185" style="vertical-align:-0.0pt;width:48.875px;" version="1.1" viewbox="0 0 48.875 11.2" width="48.875" xmlns="http://www.w3.org/2000/svg">
Ω
=
ℝ
,它遵循的有效性不平等<年代p一个ncl一个年代年代="equation" id="EEq10">
,
;
0
,
≤
∗
;
0
,
0
f
o
r
≥
0
。
(
2
。
1
7
)
从条件4(我),我们获得<年代vg height="13.125" id="M187" style="vertical-align:-1.95624pt;width:68.212502px;" version="1.1" viewbox="0 0 68.212502 13.125" width="68.212502" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
0
]
ℎ
∗
0
0
+
,
0
ℎ
+
≤
0
0
+
,
0
+
<
(
)
。
(
2
。
1
8
)
不平等(<一个href="#EEq11">2.18一个>),
ℎ
∗
0
(
年代
u
p
∈
(
−
,
0
]
(
0
+
,
(
0
+
)
)
)
≤
年代
u
p
∈
(
−
,
0
]
ℎ
∗
0
(
(
0
+
,
(
0
+
)
)
)
,我们获得<年代p一个ncl一个年代年代="equation" id="EEq12">
ℎ
∗
0
0
<
(
)
。
(
2
。
1
9
)
从条件4 (i)和不平等(<一个href="#EEq8">2.15一个>),(2.17一个>)和(<一个href="#EEq12">2.19一个>),我们得到的<年代vg height="13.7" id="M191" style="vertical-align:-3.25793pt;width:40.599998px;" version="1.1" viewbox="0 0 40.599998 13.7" width="40.599998" xmlns="http://www.w3.org/2000/svg">
≥
0
ℎ
,
;
0
,
≤
ℎ
∗
,
,
;
0
,
≤
ℎ
∗
,
∗
;
0
,
0
<
(
)
(
2
。
2
0
)
或<年代p一个ncl一个年代年代="equation" id="EEq14">
ℎ
,
;
0
,
<
。
(
2
。
2
1
)
在李雅普诺夫函数不满足的情况下全球条件4 (ii)和4 (iii)的定理<一个href="#thm1">2.10一个>,我们得到以下的充分条件。
<年代p一个ncl一个年代s="statement" id="thm2">定理2.11。年代p一个n><我>下列条件得到满足。我><年代p一个ncl一个年代年代="list">(1)年代p一个n><年代p一个ncl一个年代s="list-content">的条件<年代vg height="13.45" id="M194" style="vertical-align:-2.21957pt;width:18.35px;" version="1.1" viewbox="0 0 18.35 13.45" width="18.35" xmlns="http://www.w3.org/2000/svg">
(
1
)
和(2)定理<一个href="#thm1">2.10一个>感到满意。我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">的函数<年代vg height="14.8625" id="M195" style="vertical-align:-3.25793pt;width:64.537498px;" version="1.1" viewbox="0 0 64.537498 14.8625" width="64.537498" xmlns="http://www.w3.org/2000/svg">
ℎ
0
,
ℎ
∈
Γ
,<年代vg height="20.725" id="M196" style="vertical-align:-4.09424pt;width:99.699997px;" version="1.1" viewbox="0 0 99.699997 20.725" width="99.699997" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
∈
Γ
,
ℎ
∗
∈
Γ
;存在积极的常量<年代vg height="12.7625" id="M197" style="vertical-align:-1.76814pt;width:31.512501px;" version="1.1" viewbox="0 0 31.512501 12.7625" width="31.512501" xmlns="http://www.w3.org/2000/svg">
,
和一个函数<年代vg height="11.325" id="M198" style="vertical-align:-0.33858pt;width:44.337502px;" version="1.1" viewbox="0 0 44.337502 11.325" width="44.337502" xmlns="http://www.w3.org/2000/svg">
Ψ
∈
,<年代vg height="13.675" id="M199" style="vertical-align:-2.21957pt;width:58.775002px;" version="1.1" viewbox="0 0 58.775002 13.675" width="58.775002" xmlns="http://www.w3.org/2000/svg">
Ψ
(
)
≤
这样<年代vg height="14.975" id="M200" style="vertical-align:-3.25793pt;width:126.525px;" version="1.1" viewbox="0 0 126.525 14.975" width="126.525" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
)
≤
Ψ
(
ℎ
0
(
,
)
)
为<年代vg height="14.8625" id="M201" style="vertical-align:-3.25793pt;width:100.5625px;" version="1.1" viewbox="0 0 100.5625 14.8625" width="100.5625" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
(
ℎ
0
,
)
,<年代vg height="14.825" id="M202" style="vertical-align:-3.2316pt;width:79.8125px;" version="1.1" viewbox="0 0 79.8125 14.825" width="79.8125" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
)
<
意味着<年代vg height="14.825" id="M203" style="vertical-align:-3.2316pt;width:104.275px;" version="1.1" viewbox="0 0 104.275 14.825" width="104.275" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
(
)
)
<
为<年代vg height="11.625" id="M204" style="vertical-align:-0.33858pt;width:45.837502px;" version="1.1" viewbox="0 0 45.837502 11.625" width="45.837502" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
,<年代vg height="15.05" id="M205" style="vertical-align:-3.49493pt;width:70.25px;" version="1.1" viewbox="0 0 70.25 15.05" width="70.25" xmlns="http://www.w3.org/2000/svg">
∈
(
ℝ
+
)
。我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl一个年代s="list-content">存在一个函数<年代vg height="20.075001" id="M206" style="vertical-align:-3.49493pt;width:152.7375px;" version="1.1" viewbox="0 0 152.7375 20.075001" width="152.7375" xmlns="http://www.w3.org/2000/svg">
(
,
)
∶
(
ℎ
,
)
→
ℝ
+
与<年代vg height="11.075" id="M207" style="vertical-align:-0.33858pt;width:39.474998px;" version="1.1" viewbox="0 0 39.474998 11.075" width="39.474998" xmlns="http://www.w3.org/2000/svg">
∈
Λ
这样<年代p一个ncl一个年代年代="list">(我)年代p一个n><年代p一个ncl一个年代s="list-content">
(
ℎ
(
,
)
)
≤
ℎ
∗
(
,
(
,
)
)
一个
n
d
ℎ
∗
0
(
(
,
)
)
≤
(
ℎ
0
(
,
)
)
f
o
r
(
,
)
∈
(
ℎ
,
)
,在那里<年代vg height="12.7625" id="M209" style="vertical-align:-1.76814pt;width:54.375px;" version="1.1" viewbox="0 0 54.375 12.7625" width="54.375" xmlns="http://www.w3.org/2000/svg">
,
∈
;我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">对于任何数量<年代vg height="15.05" id="M210" style="vertical-align:-3.49493pt;width:172.8625px;" version="1.1" viewbox="0 0 172.8625 15.05" width="172.8625" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
+
∶
≠
,
∈
(
ℝ
+
)
和任何函数<年代vg height="14.0625" id="M211" style="vertical-align:-2.29482pt;width:278.39999px;" version="1.1" viewbox="0 0 278.39999 14.0625" width="278.39999" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
−
,
]
,
ℝ
)
∶
(
,
(
)
)
∈
(
ℎ
,
)
这样<年代vg height="13.55" id="M212" style="vertical-align:-2.29482pt;width:184.25px;" version="1.1" viewbox="0 0 184.25 13.55" width="184.25" xmlns="http://www.w3.org/2000/svg">
(
,
(
)
)
>
(
+
,
(
+
)
)
为<年代vg height="13.45" id="M213" style="vertical-align:-2.21957pt;width:68.212502px;" version="1.1" viewbox="0 0 68.212502 13.45" width="68.212502" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
0
)
的不平等<年代p一个ncl一个年代年代="equation" id="eq9">
(
2
。
1
)
(
,
(
)
)
≤
(
,
(
,
(
)
)
)
(
2
。
2
2
)
持有,<年代vg height="15.05" id="M215" style="vertical-align:-3.49493pt;width:131.46249px;" version="1.1" viewbox="0 0 131.46249 15.05" width="131.46249" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
ℝ
+
×
ℝ
,
ℝ
+
)
和<年代vg height="13.6125" id="M216" style="vertical-align:-2.34499pt;width:64.650002px;" version="1.1" viewbox="0 0 64.650002 13.6125" width="64.650002" xmlns="http://www.w3.org/2000/svg">
(
,
0
)
≡
0
;我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl一个年代s="list-content">
(
+
0
,
(
)
)
≤
(
(
,
)
)
f
o
r
(
,
)
∈
(
ℎ
,
)
,
∈
(
ℝ
+
)
,在那里<年代vg height="14.8875" id="M218" style="vertical-align:-3.2316pt;width:49.387501px;" version="1.1" viewbox="0 0 49.387501 14.8875" width="49.387501" xmlns="http://www.w3.org/2000/svg">
∈
。我>年代p一个n>年代pan> 然后,对(制服)实用稳定性<年代vg height="13.45" id="M219" style="vertical-align:-2.21957pt;width:72.712502px;" version="1.1" viewbox="0 0 72.712502 13.45" width="72.712502" xmlns="http://www.w3.org/2000/svg">
(
(
)
,
(
)
)
方面的措施<年代vg height="16.950001" id="M220" style="vertical-align:-4.09424pt;width:47.775002px;" version="1.1" viewbox="0 0 47.775002 16.950001" width="47.775002" xmlns="http://www.w3.org/2000/svg">
(
ℎ
∗
0
,
ℎ
∗
)
标量的脉冲微分方程(<一个href="#EEq5">2.7一个>意味着(制服)对实际稳定<年代vg height="13.45" id="M221" style="vertical-align:-2.21957pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 13.45" width="36.712502" xmlns="http://www.w3.org/2000/svg">
(
,
)
方面的措施<年代vg height="14.8625" id="M222" style="vertical-align:-3.25793pt;width:41.174999px;" version="1.1" viewbox="0 0 41.174999 14.8625" width="41.174999" xmlns="http://www.w3.org/2000/svg">
(
ℎ
0
,
ℎ
)
脉冲微分方程组的“上确界”(<一个href="#EEq1">2.1一个>)。我>年代p一个n>
证明。我>年代p一个n>让标量脉冲微分方程(<一个href="#EEq5">2.7一个>)实际上对稳定<年代vg height="13.45" id="M223" style="vertical-align:-2.21957pt;width:72.712502px;" version="1.1" viewbox="0 0 72.712502 13.45" width="72.712502" xmlns="http://www.w3.org/2000/svg">
(
(
)
,
(
)
)
方面的措施<年代vg height="16.950001" id="M224" style="vertical-align:-4.09424pt;width:47.775002px;" version="1.1" viewbox="0 0 47.775002 16.950001" width="47.775002" xmlns="http://www.w3.org/2000/svg">
(
ℎ
∗
0
,
ℎ
∗
)
。因此,存在一个点<年代vg height="14.75" id="M225" 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
这样<年代vg height="16.950001" id="M226" style="vertical-align:-4.09424pt;width:85.5px;" version="1.1" viewbox="0 0 85.5 16.950001" width="85.5" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
(
0
)
<
(
)
意味着<年代p一个ncl一个年代年代="equation" id="EEq15">
ℎ
∗
,
;
0
,
0
<
(
)
f
o
r
≥
0
,
(
2
。
2
3
)
在哪里<年代vg height="14.75" id="M228" style="vertical-align:-3.25793pt;width:60.775002px;" version="1.1" viewbox="0 0 60.775002 14.75" width="60.775002" xmlns="http://www.w3.org/2000/svg">
(
;
0
,
0
)
是一个解决方案(<一个href="#EEq5">2.7一个>)和(<一个href="#EEq5">2.8一个>)。选择一个函数<年代vg height="13.425" id="M229" style="vertical-align:-2.29482pt;width:29.5875px;" version="1.1" viewbox="0 0 29.5875 13.425" width="29.5875" xmlns="http://www.w3.org/2000/svg">
∈
个人电脑<年代vg height="15.2625" id="M230" style="vertical-align:-3.25793pt;width:97.699997px;" version="1.1" viewbox="0 0 97.699997 15.2625" width="97.699997" xmlns="http://www.w3.org/2000/svg">
(
(
0
−
,
0
]
,
ℝ
)
这样<年代p一个ncl一个年代年代="equation" id="EEq16">
0
0
,
<
,
(
2
。
2
4
)
,让<年代vg height="14.75" id="M232" style="vertical-align:-3.25793pt;width:58.549999px;" version="1.1" viewbox="0 0 58.549999 14.75" width="58.549999" xmlns="http://www.w3.org/2000/svg">
(
;
0
,
)
的解决方案(<一个href="#EEq1">2.1一个>)与初始条件(<一个href="#EEq3">2.2一个>)。我们将证明<年代p一个ncl一个年代年代="equation" id="EEq17">
ℎ
,
;
0
,
<
(
2
。
2
5
)
适用于<年代vg height="13.7" id="M234" 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.8625" id="M235" style="vertical-align:-3.25793pt;width:117.35px;" version="1.1" viewbox="0 0 117.35 14.8625" width="117.35" xmlns="http://www.w3.org/2000/svg">
(
,
(
)
)
∈
(
ℎ
0
,
)
为<年代vg height="14.5375" id="M236" style="vertical-align:-3.25793pt;width:87.324997px;" version="1.1" viewbox="0 0 87.324997 14.5375" width="87.324997" xmlns="http://www.w3.org/2000/svg">
∈
(
0
−
,
0
]
和条件(2)和3 (i),它遵循<年代p一个ncl一个年代年代="equation" id="eq10">
ℎ
ℎ
(
,
(
)
)
≤
Ψ
0
(
,
(
)
)
≤
Ψ
0
0
,
<
Ψ
(
)
≤
<
,
∈
0
−
,
0
,
(
2
。
2
6
)
也就是说,不平等(<一个href="#EEq17">2.25一个>)持有<年代vg height="14.5375" id="M238" style="vertical-align:-3.25793pt;width:63.037498px;" version="1.1" viewbox="0 0 63.037498 14.5375" width="63.037498" xmlns="http://www.w3.org/2000/svg">
(
0
−
,
0
]
。假设(<一个href="#EEq17">2.25一个>)不适用<年代vg height="13.05" id="M239" style="vertical-align:-3.25793pt;width:35.387501px;" version="1.1" viewbox="0 0 35.387501 13.05" width="35.387501" xmlns="http://www.w3.org/2000/svg">
>
0
。考虑以下两种情况。案例1。我>年代p一个n>我们存在一个点<年代vg height="15.5875" id="M240" style="vertical-align:-3.25793pt;width:41.737499px;" version="1.1" viewbox="0 0 41.737499 15.5875" width="41.737499" xmlns="http://www.w3.org/2000/svg">
∗
>
0
,<年代vg height="15.5875" id="M241" style="vertical-align:-3.25793pt;width:141.05px;" version="1.1" viewbox="0 0 141.05 15.5875" width="141.05" xmlns="http://www.w3.org/2000/svg">
∗
≠
,
∈
(
(
0
,
∞
)
)
这样<年代p一个ncl一个年代年代="equation" id="EEq18">
ℎ
∗
,
∗
;
0
,
=
,
ℎ
,
;
0
,
<
f
o
r
∈
0
−
,
∗
。
(
2
。
2
7
)
让<年代vg height="16.3375" id="M243" style="vertical-align:-4.52943pt;width:217.7375px;" version="1.1" viewbox="0 0 217.7375 16.3375" width="217.7375" xmlns="http://www.w3.org/2000/svg">
0
=
年代
u
p
∈
(
−
,
0
]
(
0
+
,
(
0
+
)
)
。从引理<一个href="#lem1">2.8一个>函数的<年代vg height="13.45" id="M244" style="vertical-align:-2.21957pt;width:39.525002px;" version="1.1" viewbox="0 0 39.525002 13.45" width="39.525002" xmlns="http://www.w3.org/2000/svg">
(
,
)
定义在一组<年代vg height="15.5875" id="M245" style="vertical-align:-3.25793pt;width:225.4375px;" version="1.1" viewbox="0 0 225.4375 15.5875" width="225.4375" xmlns="http://www.w3.org/2000/svg">
{
(
,
)
∈
(
0
,
∗
]
×
ℝ
∶
ℎ
(
,
)
≤
}
,它遵循的有效性不平等<年代p一个ncl一个年代年代="equation" id="EEq19">
,
;
0
,
≤
∗
;
0
,
0
f
o
r
∈
0
,
∗
。
(
2
。
2
8
)
从条件3(我),我们获得<年代p一个ncl一个年代年代="equation" id="eq11">
ℎ
∗
0
0
+
,
0
ℎ
+
≤
0
0
+
,
0
(
]
+
<
(
)
,
∈
−
,
0
(
2
。
2
9
)
或<年代p一个ncl一个年代年代="equation" id="EEq20">
ℎ
∗
0
0
<
(
)
。
(
2
。
3
0
)
不平等(<一个href="#EEq15">2.23一个>),(2.28一个>)和(<一个href="#EEq20">2.30一个>),点的选择<年代vg height="11.675" id="M249" style="vertical-align:-0.11285pt;width:11.3625px;" version="1.1" viewbox="0 0 11.3625 11.675" width="11.3625" xmlns="http://www.w3.org/2000/svg">
∗
条件3 (i),我们得到的<年代p一个ncl一个年代年代="equation" id="eq12">
ℎ
(
)
=
∗
,
∗
;
0
,
≤
ℎ
∗
,
∗
,
∗
;
0
,
≤
ℎ
∗
,
∗
∗
;
0
,
0
<
(
)
。
(
2
。
3
1
)
获得的矛盾证明的有效性(<一个href="#EEq17">2.25一个>)
>
0
。年代p一个n><年代p一个ncl一个年代s="statement" id="casee2">例2。我>年代p一个n>让存在一个号码<年代vg height="14.75" id="M252" style="vertical-align:-3.25793pt;width:92.837502px;" version="1.1" viewbox="0 0 92.837502 14.75" width="92.837502" xmlns="http://www.w3.org/2000/svg">
∈
(
(
0
,
∞
)
)
这样<年代vg height="14.8625" id="M253" style="vertical-align:-3.25793pt;width:119.975px;" version="1.1" viewbox="0 0 119.975 14.8625" width="119.975" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
(
;
0
,
)
)
<
为<年代vg height="14.75" id="M254" style="vertical-align:-3.25793pt;width:90.887497px;" version="1.1" viewbox="0 0 90.887497 14.75" width="90.887497" xmlns="http://www.w3.org/2000/svg">
∈
(
0
−
,
)
和<年代vg height="14.8625" id="M255" style="vertical-align:-3.25793pt;width:139.3px;" version="1.1" viewbox="0 0 139.3 14.8625" width="139.3" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
(
;
0
,
)
)
=
。然后,当<一个href="#casee1">1一个>为<年代vg height="15.5625" id="M256" style="vertical-align:-3.2316pt;width:45.299999px;" version="1.1" viewbox="0 0 45.299999 15.5625" width="45.299999" xmlns="http://www.w3.org/2000/svg">
∗
=
,我们获得一个矛盾。获得的矛盾证明的有效性(<一个href="#EEq17">2.25一个>)
>
0
。年代p一个n>年代p一个n>
2.12的话。我>年代p一个n>(2)请注意,如果在条件不平等<年代vg height="14.825" id="M258" style="vertical-align:-3.2316pt;width:79.8125px;" version="1.1" viewbox="0 0 79.8125 14.825" width="79.8125" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
)
<
意味着<年代vg height="14.825" id="M259" style="vertical-align:-3.2316pt;width:104.275px;" version="1.1" viewbox="0 0 104.275 14.825" width="104.275" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
(
)
)
≤
为<年代vg height="11.625" id="M260" style="vertical-align:-0.33858pt;width:51.049999px;" version="1.1" viewbox="0 0 51.049999 11.625" width="51.049999" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
,<年代vg height="15.05" id="M261" style="vertical-align:-3.49493pt;width:70.25px;" version="1.1" viewbox="0 0 70.25 15.05" width="70.25" xmlns="http://www.w3.org/2000/svg">
∈
(
ℝ
+
)
,那么索赔的定理<一个href="#thm2">2.11一个>如果包含函数<年代vg height="13.725" id="M262" style="vertical-align:-2.29482pt;width:103.875px;" version="1.1" viewbox="0 0 103.875 13.725" width="103.875" xmlns="http://www.w3.org/2000/svg">
∈
,
(
)
>
,<年代vg height="15.05" id="M263" style="vertical-align:-3.49493pt;width:70.25px;" version="1.1" viewbox="0 0 70.25 15.05" width="70.25" xmlns="http://www.w3.org/2000/svg">
∈
(
ℝ
+
)
。年代p一个n>
推论2.13。年代p一个n><我>下列条件得到满足。我><年代p一个ncl一个年代年代="list">(1)年代p一个n><年代p一个ncl一个年代s="list-content">条件<年代vg height="13.45" id="M264" style="vertical-align:-2.21957pt;width:18.35px;" version="1.1" viewbox="0 0 18.35 13.45" width="18.35" xmlns="http://www.w3.org/2000/svg">
(
1
)
和<年代vg height="13.45" id="M265" style="vertical-align:-2.21957pt;width:18.35px;" version="1.1" viewbox="0 0 18.35 13.45" width="18.35" xmlns="http://www.w3.org/2000/svg">
(
2
)
的定理<一个href="#thm1">2.10一个>感到满意。我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">的函数<年代vg height="14.8625" id="M266" style="vertical-align:-3.25793pt;width:59.325001px;" version="1.1" viewbox="0 0 59.325001 14.8625" width="59.325001" xmlns="http://www.w3.org/2000/svg">
ℎ
0
,
ℎ
∈
Γ
,存在一个正的常数<年代vg height="10.55" id="M267" style="vertical-align:-0.0pt;width:11.325px;" version="1.1" viewbox="0 0 11.325 10.55" width="11.325" xmlns="http://www.w3.org/2000/svg">
这样<年代vg height="14.825" id="M268" style="vertical-align:-3.2316pt;width:79.8125px;" version="1.1" viewbox="0 0 79.8125 14.825" width="79.8125" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
)
<
意味着<年代vg height="14.825" id="M269" style="vertical-align:-3.2316pt;width:104.275px;" version="1.1" viewbox="0 0 104.275 14.825" width="104.275" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
(
)
)
<
为<年代vg height="11.625" id="M270" style="vertical-align:-0.33858pt;width:45.837502px;" version="1.1" viewbox="0 0 45.837502 11.625" width="45.837502" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
,<年代vg height="15.05" id="M271" style="vertical-align:-3.49493pt;width:70.25px;" version="1.1" viewbox="0 0 70.25 15.05" width="70.25" xmlns="http://www.w3.org/2000/svg">
∈
(
ℝ
+
)
。我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl一个年代s="list-content">存在一个函数<年代vg height="15.5625" id="M272" style="vertical-align:-3.49493pt;width:187.5px;" version="1.1" viewbox="0 0 187.5 15.5625" width="187.5" xmlns="http://www.w3.org/2000/svg">
(
,
)
∶
(
−
,
∞
)
×
ℝ
→
ℝ
+
与<年代vg height="11.075" id="M273" style="vertical-align:-0.33858pt;width:39.474998px;" version="1.1" viewbox="0 0 39.474998 11.075" width="39.474998" xmlns="http://www.w3.org/2000/svg">
∈
Λ
这样<年代p一个ncl一个年代年代="list">(我)年代p一个n><年代p一个ncl一个年代s="list-content">
(
ℎ
(
,
)
)
≤
(
,
)
≤
(
ℎ
0
(
,
)
)
f
o
r
(
,
)
∈
(
ℎ
,
)
在哪里<年代vg height="12.7625" id="M275" style="vertical-align:-1.76814pt;width:54.375px;" version="1.1" viewbox="0 0 54.375 12.7625" width="54.375" xmlns="http://www.w3.org/2000/svg">
,
∈
;我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl一个年代s="list-content">对于任何数量<年代vg height="15.05" id="M276" style="vertical-align:-3.49493pt;width:172.8625px;" version="1.1" viewbox="0 0 172.8625 15.05" width="172.8625" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
+
∶
≠
,
∈
(
ℝ
+
)
和任何函数<年代vg height="14.0625" id="M277" style="vertical-align:-2.29482pt;width:267.97501px;" version="1.1" viewbox="0 0 267.97501 14.0625" width="267.97501" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
−
,
]
,
ℝ
)
∶
(
,
(
)
)
∈
(
ℎ
,
)
这样<年代vg height="13.55" id="M278" style="vertical-align:-2.29482pt;width:184.25px;" version="1.1" viewbox="0 0 184.25 13.55" width="184.25" xmlns="http://www.w3.org/2000/svg">
(
,
(
)
)
>
(
+
,
(
+
)
)
为<年代vg height="13.45" id="M279" style="vertical-align:-2.21957pt;width:68.212502px;" version="1.1" viewbox="0 0 68.212502 13.45" width="68.212502" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
0
)
的不平等<年代p一个ncl一个年代年代="equation" id="eq13">
(
2
。
1
)
(
,
(
)
)
≤
0
(
2
。
3
2
)
持有;我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl一个年代s="list-content">
(
+
0
,
(
)
)
≤
(
,
)
f
o
r
(
,
)
∈
(
ℎ
,
)
,
∈
(
ℝ
+
)
。我>年代p一个n>年代pan> 然后,脉冲微分方程组与“上确界”(<一个href="#EEq1">2.1一个>)对几乎均匀稳定<年代vg height="13.45" id="M282" style="vertical-align:-2.21957pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 13.45" width="36.712502" xmlns="http://www.w3.org/2000/svg">
(
,
)
方面的措施<年代vg height="14.8625" id="M283" style="vertical-align:-3.25793pt;width:41.174999px;" version="1.1" viewbox="0 0 41.174999 14.8625" width="41.174999" xmlns="http://www.w3.org/2000/svg">
(
ℎ
0
,
ℎ
)
。我>年代p一个n>
证明。我>年代p一个n>推论的证明<一个href="#coro1">2.13一个>遵循的一个定理<一个href="#thm1">2.10一个>为<年代vg height="13.6125" id="M284" style="vertical-align:-2.34499pt;width:65.425003px;" version="1.1" viewbox="0 0 65.425003 13.6125" width="65.425003" xmlns="http://www.w3.org/2000/svg">
(
,
)
≡
0
和<年代vg height="13.55" id="M285" style="vertical-align:-2.29482pt;width:54.662498px;" version="1.1" viewbox="0 0 54.662498 13.55" width="54.662498" xmlns="http://www.w3.org/2000/svg">
(
)
≡
。在这种情况下,标量方程(<一个href="#EEq5">2.7一个>)是几乎均匀稳定的措施<年代vg height="16.950001" id="M286" style="vertical-align:-4.09424pt;width:66.349998px;" version="1.1" viewbox="0 0 66.349998 16.950001" width="66.349998" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
(
)
=
|
|
,<年代vg height="14.6125" id="M287" style="vertical-align:-2.21957pt;width:77.75px;" version="1.1" viewbox="0 0 77.75 14.6125" width="77.75" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
(
,
)
=
|
|
。年代p一个n>
3所示。应用程序 gydF4y2Ba考虑下面的脉冲微分方程组与“上确界”:<年代p一个ncl一个年代年代="equation" id="EEq21">
(
)
=
(
)
2
(
)
+
2
(
)
年代
我
n
2
+
年代
u
p
(
]
∈
−
,
(
)
,
(
)
=
−
(
)
2
(
)
+
2
(
)
年代
我
n
2
+
年代
u
p
(
]
∈
−
,
(
)
,
≥
0
,
≠
,
(
+
0
)
=
(
)
,
(
+
0
)
=
(
)
,
(
3
。
1
)
与初始条件<年代p一个ncl一个年代年代="equation" id="EEq22">
(
)
=
1
−
0
,
(
)
=
2
−
0
f
o
r
∈
0
−
,
0
,
(
3
。
2
)
在哪里<年代vg height="13.325" id="M290" style="vertical-align:-2.29482pt;width:54.049999px;" version="1.1" viewbox="0 0 54.049999 13.325" width="54.049999" xmlns="http://www.w3.org/2000/svg">
,
∈
ℝ
,<年代vg height="11.0625" id="M291" 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
是足够小的常数,<年代vg height="14.75" id="M292" 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
,<年代vg height="13.45" id="M293" style="vertical-align:-2.21957pt;width:73.762497px;" version="1.1" viewbox="0 0 73.762497 13.45" width="73.762497" xmlns="http://www.w3.org/2000/svg">
,
∈
(
1
,
2
)
。不失一般性,我们可以假设<年代vg height="14.75" id="M294" 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
<
1
。
gydF4y2Ba让<年代vg height="21.2875" id="M295" style="vertical-align:-3.25793pt;width:148.1125px;" version="1.1" viewbox="0 0 148.1125 21.2875" width="148.1125" xmlns="http://www.w3.org/2000/svg">
ℎ
0
√
(
,
,
)
=
|
|
+
2
|
|
,<年代vg height="16.637501" id="M296" style="vertical-align:-2.29482pt;width:153.7625px;" version="1.1" viewbox="0 0 153.7625 16.637501" width="153.7625" xmlns="http://www.w3.org/2000/svg">
ℎ
(
,
,
)
=
−
3
(
2
+
2
)
,<年代vg height="16.950001" id="M297" style="vertical-align:-4.09424pt;width:66.349998px;" version="1.1" viewbox="0 0 66.349998 16.950001" width="66.349998" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
0
(
)
=
|
|
,<年代vg height="16.5375" id="M298" style="vertical-align:-2.21957pt;width:101.725px;" version="1.1" viewbox="0 0 101.725 16.5375" width="101.725" xmlns="http://www.w3.org/2000/svg">
ℎ
∗
(
,
)
=
−
3
|
|
。考虑<年代vg height="18.125" id="M299" style="vertical-align:-3.49493pt;width:96.912498px;" version="1.1" viewbox="0 0 96.912498 18.125" width="96.912498" xmlns="http://www.w3.org/2000/svg">
∶
ℝ
2
→
ℝ
+
,<年代vg height="16.637501" id="M300" style="vertical-align:-2.29482pt;width:115.7625px;" version="1.1" viewbox="0 0 115.7625 16.637501" width="115.7625" xmlns="http://www.w3.org/2000/svg">
(
,
)
=
2
+
2
2
。很容易的检查条件3 (i)的定理<一个href="#thm1">2.10一个>函数的<年代vg height="16.5375" id="M301" style="vertical-align:-2.21957pt;width:90.162498px;" version="1.1" viewbox="0 0 90.162498 16.5375" width="90.162498" xmlns="http://www.w3.org/2000/svg">
(
)
=
2
∈
和<年代vg height="13.45" id="M302" style="vertical-align:-2.21957pt;width:83.574997px;" version="1.1" viewbox="0 0 83.574997 13.45" width="83.574997" xmlns="http://www.w3.org/2000/svg">
(
)
=
∈
。
gydF4y2Ba让<年代vg height="15.05" id="M303" style="vertical-align:-3.49493pt;width:161.25px;" version="1.1" viewbox="0 0 161.25 15.05" width="161.25" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
+
,
≠
,
=
1
,
2
,
…
和<年代vg height="17.674999" id="M304" style="vertical-align:-3.13504pt;width:231.22501px;" version="1.1" viewbox="0 0 231.22501 17.674999" width="231.22501" xmlns="http://www.w3.org/2000/svg">
∈
P
C
(
(
−
,
]
,
ℝ
2
)
,
=
(
1
,
2
)
是这样的,<年代p一个ncl一个年代年代="equation" id="EEq23">
2
1
(
)
+
2
2
2
(
)
>
2
1
(
+
)
+
2
2
2
(
(
+
)
f
o
r
∈
−
,
0
)
(
3
。
3
)
或<年代vg height="14.6" id="M306" style="vertical-align:-3.13504pt;width:252.91251px;" version="1.1" viewbox="0 0 252.91251 14.6" width="252.91251" xmlns="http://www.w3.org/2000/svg">
(
1
(
)
,
2
(
)
)
>
(
1
(
+
)
,
2
(
+
)
)
。
gydF4y2Ba让<年代vg height="12.8875" id="M307" style="vertical-align:-1.76814pt;width:46.512501px;" version="1.1" viewbox="0 0 46.512501 12.8875" width="46.512501" xmlns="http://www.w3.org/2000/svg">
=
1
,
2
。如果存在一个点<年代vg height="13.325" id="M308" style="vertical-align:-2.29482pt;width:78.0625px;" version="1.1" viewbox="0 0 78.0625 13.325" width="78.0625" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
]
这样<年代vg height="16.3375" id="M309" style="vertical-align:-4.52943pt;width:155.22501px;" version="1.1" viewbox="0 0 155.22501 16.3375" width="155.22501" xmlns="http://www.w3.org/2000/svg">
年代
u
p
∈
(
−
,
]
(
)
=
(
)
,然后<年代vg height="19.625" id="M310" style="vertical-align:-4.52943pt;width:493.51251px;" version="1.1" viewbox="0 0 493.51251 19.625" width="493.51251" xmlns="http://www.w3.org/2000/svg">
(
年代
u
p
∈
(
−
,
]
(
)
)
2
=
(
(
)
)
2
≤
年代
u
p
∈
(
−
,
]
(
2
1
(
)
+
2
2
2
(
)
)
=
2
1
(
)
+
2
2
2
(
)
。
gydF4y2Ba如果上面的不平等也是如此<年代vg height="16.3375" id="M311" style="vertical-align:-4.52943pt;width:155.22501px;" version="1.1" viewbox="0 0 155.22501 16.3375" width="155.22501" xmlns="http://www.w3.org/2000/svg">
年代
u
p
∈
(
−
,
]
(
)
>
(
)
对所有<年代vg height="13.325" id="M312" style="vertical-align:-2.29482pt;width:66.224998px;" version="1.1" viewbox="0 0 66.224998 13.325" width="66.224998" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
]
;也就是说,存在<年代vg height="13.45" id="M313" style="vertical-align:-2.21957pt;width:78.712502px;" version="1.1" viewbox="0 0 78.712502 13.45" width="78.712502" xmlns="http://www.w3.org/2000/svg">
∈
(
−
,
)
这样<年代vg height="16.3375" id="M314" style="vertical-align:-4.52943pt;width:181.35001px;" version="1.1" viewbox="0 0 181.35001 16.3375" width="181.35001" xmlns="http://www.w3.org/2000/svg">
年代
u
p
∈
(
−
,
]
(
)
=
(
+
0
)
。
gydF4y2Ba然后,对于<年代vg height="12.8875" id="M315" style="vertical-align:-1.76814pt;width:46.512501px;" version="1.1" viewbox="0 0 46.512501 12.8875" width="46.512501" xmlns="http://www.w3.org/2000/svg">
=
1
,
2
,我们获得<年代p一个ncl一个年代年代="equation" id="eq14">
(
)
年代
u
p
(
]
∈
−
,
|
|
(
)
≤
|
|
|
|
|
|
(
)
年代
u
p
(
]
∈
−
,
|
|
|
|
=
(
)
(
)
2
⎷
年代
u
p
(
]
∈
−
,
(
)
2
≤
2
1
(
)
+
2
2
2
(
)
=
1
(
)
,
2
。
(
)
(
3
。
4
)
因此,如果不平等(<一个href="#EEq23">3所示。3一个>)完成,然后我们有<年代p一个ncl一个年代年代="equation" id="eq15">
(
3
。
1
)
1
(
)
,
2
=
(
)
1
(
)
年代
u
p
(
]
∈
−
,
1
(
)
+
2
2
(
)
年代
u
p
(
]
∈
−
,
2
(
)
≤
3
1
(
)
,
2
。
(
)
(
3
。
5
)
对于任何<年代vg height="10.7375" id="M318" style="vertical-align:-0.13794pt;width:8.6000004px;" version="1.1" viewbox="0 0 8.6000004 10.7375" width="8.6000004" xmlns="http://www.w3.org/2000/svg">
,我们获得<年代p一个ncl一个年代年代="equation" id="eq16">
(
,
)
=
2
2
+
2
2
2
≤
2
2
+
2
2
=
2
(
,
)
,
(
3
。
6
)
在哪里<年代vg height="13.45" id="M320" style="vertical-align:-2.21957pt;width:117.4375px;" version="1.1" viewbox="0 0 117.4375 13.45" width="117.4375" xmlns="http://www.w3.org/2000/svg">
=
米
一个
x
(
,
)
>
1
。
gydF4y2Ba现在,考虑标量比较脉冲微分方程的初值问题<年代p一个ncl一个年代年代="equation" id="eq17">
=
3
f
o
r
≠
,
(
+
0
)
=
2
(
)
,
0
=
0
。
(
3
。
7
)
解决上述脉冲微分方程的初值问题<年代vg height="19.975" id="M322" style="vertical-align:-3.80836pt;width:189.8px;" version="1.1" viewbox="0 0 189.8 19.975" width="189.8" xmlns="http://www.w3.org/2000/svg">
∏
(
)
=
(
=
1
(
2
−
1
)
)
0
3
(
−
0
)
为<年代vg height="13.45" id="M323" style="vertical-align:-2.21957pt;width:164.9875px;" version="1.1" viewbox="0 0 164.9875 13.45" width="164.9875" xmlns="http://www.w3.org/2000/svg">
∈
(
,
+
1
)
,
=
1
,
2
,
…
。让数字<年代vg height="20.4125" id="M324" style="vertical-align:-2.6146pt;width:80.875px;" version="1.1" viewbox="0 0 80.875 20.4125" width="80.875" xmlns="http://www.w3.org/2000/svg">
√
0
<
<
被给予,<年代vg height="17.9125" id="M325" style="vertical-align:-3.25793pt;width:53.8125px;" version="1.1" viewbox="0 0 53.8125 17.9125" width="53.8125" xmlns="http://www.w3.org/2000/svg">
|
0
|
<
2
。然后,<年代p一个ncl一个年代年代="equation" id="eq18">
ℎ
∗
(
,
(
)
)
=
−
3
|
|
=
=
1
2
|
|
−
1
0
|
|
−
3
0
≤
|
|
0
|
|
<
2
≤
,
(
3
。
8
)
实际上,标量方程比较均匀稳定的措施<年代vg height="16.950001" id="M327" style="vertical-align:-4.09424pt;width:47.775002px;" version="1.1" viewbox="0 0 47.775002 16.950001" width="47.775002" xmlns="http://www.w3.org/2000/svg">
(
ℎ
∗
0
,
ℎ
∗
)
。因此,根据定理<一个href="#thm1">2.10一个>脉冲微分方程系统,“上确界”(<一个href="#EEq21">3所示。1一个>)是几乎均匀稳定的两项措施,即不平等<年代vg height="16.3375" id="M328" style="vertical-align:-4.52943pt;width:210.5625px;" version="1.1" viewbox="0 0 210.5625 16.3375" width="210.5625" xmlns="http://www.w3.org/2000/svg">
年代
u
p
∈
(
−
,
0
]
(
|
1
(
)
|
+
2
|
2
(
)
|
)
<
意味着<年代vg height="17.8375" id="M329" style="vertical-align:-3.25793pt;width:218.75px;" version="1.1" viewbox="0 0 218.75 17.8375" width="218.75" xmlns="http://www.w3.org/2000/svg">
−
3
(
2
(
;
0
,
)
+
2
2
(
;
0
,
)
)
<
为<年代vg height="13.7" id="M330" 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
。
4所示。结论gydF4y2Ba两种类型的充分条件实际脉冲微分方程的稳定性与“上确界”。全球一个球和案件。两种类型的结果是基于李雅普诺夫的应用分段连续函数和标量脉冲微分方程的比较结果。统一各种稳定性的概念和提供一个总体框架的调查稳定理论,稳定的两项措施的概念被应用到给定的系统和比较标量方程。注意,到处都在研究微分方程的稳定性在文献中两个不同的措施仅适用于给定的方程。身份的同时,在特定的情况下脉冲函数,也就是说,<年代vg height="14.7125" id="M331" style="vertical-align:-3.2316pt;width:142.425px;" version="1.1" viewbox="0 0 142.425 14.7125" width="142.425" xmlns="http://www.w3.org/2000/svg">
(
)
≡
,
=
1
,
2
,
…
,结果减少结果实际微分方程的稳定性与“最大值”,这也是新的。实际结果的归纳结果常微分方程的稳定性(见[<一个href="#B8">4一个>,6一个>脉冲微分方程),结果(见[<一个href="#B8">4一个>微分差分方程),结果,结果脉冲微分差分方程(见[<一个href="#B4">2一个>,5一个>])。
承认gydF4y2BaNI11FMI004/30.05.2011支持的研究部分,基金“科学研究”,普罗夫迪夫大学。