我们研究振荡周期解的存在两个非自治差分方程出现在各种各样的应用程序具有以下形式:<年代vghe我ght="13.6125" id="M1" style="vertical-align:-2.34499pt;width:132.52499px;" version="1.1" viewbox="0 0 132.52499 13.6125" width="132.52499" xmlns="http://www.w3.org/2000/svg">
̇
(
)
=
−
(
,
(
−
)
)
和<年代vghe我ght="13.6125" id="M2" style="vertical-align:-2.34499pt;width:237.39999px;" version="1.1" viewbox="0 0 237.39999 13.6125" width="237.39999" xmlns="http://www.w3.org/2000/svg">
̇
(
)
=
−
(
,
(
−
)
)
−
(
,
(
−
2
)
)
,在那里<年代vghe我ght="13.6125" id="M3" style="vertical-align:-2.34499pt;width:107.5625px;" version="1.1" viewbox="0 0 107.5625 13.6125" width="107.5625" xmlns="http://www.w3.org/2000/svg">
∈
(
ℝ
×
ℝ
,
ℝ
)
很奇怪对吗<年代vghe我ght="9.2250004" id="M4" style="vertical-align:-1.76814pt;width:12.625px;" version="1.1" viewbox="0 0 12.625 9.2250004" width="12.625" xmlns="http://www.w3.org/2000/svg">
,
和<年代vghe我ght="12.8875" id="M5" style="vertical-align:-1.76814pt;width:47.087502px;" version="1.1" viewbox="0 0 47.087502 12.8875" width="47.087502" xmlns="http://www.w3.org/2000/svg">
,
>
0
是两个给定的常数。通过使用一个辛变换由程(2010)和哈密顿系统的结果,上述方程的振荡周期解的存在性。
1。介绍和主要结果的声明 Furumochi [<一个href="#B4">1一个>]研究以下方程:<年代pan class="displayed-label" id="EEq1.1">
̇
(
)
=
−
年代
我
n
(
(
−
)
)
,
(
1
。
1
)
与<年代vghe我ght="12.3" id="M7" style="vertical-align:-1.29163pt;width:32.224998px;" version="1.1" viewbox="0 0 32.224998 12.3" width="32.224998" xmlns="http://www.w3.org/2000/svg">
≥
0
,<年代vghe我ght="12.3" id="M8" style="vertical-align:-1.29163pt;width:35.174999px;" version="1.1" viewbox="0 0 35.174999 12.3" width="35.174999" xmlns="http://www.w3.org/2000/svg">
≥
0
,<年代vghe我ght="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
模型锁相环控制的高频发电机和广泛应用于通信系统。显然,(<一个href="#EEq1.1">1.1一个>)是一种特殊情况下的下列差分方程:<年代pan class="displayed-label" id="EEq1.2">
̇
(
)
=
−
(
(
−
)
)
,
(
1
。
2
)
在哪里<年代vghe我ght="7.1750002" id="M11" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg">
是一个真正的参数。事实上,很多差分方程发生广泛应用和描述许多有趣的类型的现象也可以书面的形式(<一个href="#EEq1.2">1.2一个>)通过适当的变量的变化。例如,下面的差分微分方程:<年代pan class="displayed-label" id="EEq1.3">
̇
(
)
=
−
(
−
1
)
(
1
+
(
)
)
(
1
。
3
)
出现在多个应用程序和已被许多研究人员研究。方程(<一个href="#EEq1.3">1.3一个>坎宁安()是第一个考虑<一个href="#B8">2一个>)作为一个非线性增长模式表示人口波动的数学描述。随后,(<一个href="#EEq1.3">1.3一个>赖特提出的)(<一个href="#B10">3一个>)发生概率方法应用的渐近理论的质数密度。琼斯(<一个href="#B7">4一个>州(<一个href="#EEq1.3">1.3一个>)也可以描述一个控制系统的操作处理潜在的爆炸性化学反应,和非常相似方程出现在商业周期的经济研究。此外,(<一个href="#EEq1.3">1.3一个>)及其类似的研究在<一个href="#B26">5一个>]生态。
(<一个href="#EEq1.3">1.3一个>),我们做出以下改变的变量:<年代pan class="displayed-label" id="EEq1.4">
=
l
n
(
1
+
)
。
(
1
。
4
)
然后,(<一个href="#EEq1.3">1.3一个>)可以改变的形式(<一个href="#EEq1.2">1.2一个>)
̇
(
)
=
−
(
(
−
1
)
)
,
(
1
。
5
)
在哪里<年代vghe我ght="14.1125" id="M15" style="vertical-align:-2.34499pt;width:104.0375px;" version="1.1" viewbox="0 0 104.0375 14.1125" width="104.0375" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
−
1
)
。
尽管(<一个href="#EEq1.2">1.2一个>表面看起来很简单,Saupe的结果(<一个href="#B24">6一个>仔细的数值研究表明,(<一个href="#EEq1.2">1.2一个>)显示非常复杂的动力学行为。此外,小的已经被证明是最好的作者的知识。
由于各种各样的应用程序,(<一个href="#EEq1.2">1.2一个>吸引了许多作者研究它。在上个世纪1970年代和1980年代,已经有大量的研究问题周期解的存在(<一个href="#B4">1一个>,4一个>,7一个>- - - - - -<一个href="#B23">10一个>),缓慢振荡的解决方案(<一个href="#B6">11一个>)、稳定的解决方案(<一个href="#B2">12一个>- - - - - -<一个href="#B22">14一个>),同宿的解决方案(<一个href="#B5">15一个>,分岔的解决方案(<一个href="#B24">6一个>,16一个>,17一个>)(1.2一个>)。
以后,一般来说,使用的主要工具得出周期解的存在是各种定点定理,在这里,我们想说卡普兰和约克的振荡周期解的存在性(<一个href="#EEq1.5">1.5一个>)(7一个>]。在[<一个href="#B1">7一个>),他们认为以下方程:<年代pan class="displayed-label" id="EEq1.6">
̇
(
)
=
−
(
(
−
1
)
)
,
̇
(
)
=
−
(
(
−
1
)
)
−
(
(
−
2
)
)
,
(
1
。
6
)
在哪里<年代vghe我ght="13.4875" id="M17" style="vertical-align:-2.34499pt;width:10.675px;" version="1.1" viewbox="0 0 10.675 13.4875" width="10.675" xmlns="http://www.w3.org/2000/svg">
是连续的,<年代vghe我ght="13.6125" id="M18" style="vertical-align:-2.34499pt;width:63.599998px;" version="1.1" viewbox="0 0 63.599998 13.6125" width="63.599998" xmlns="http://www.w3.org/2000/svg">
(
)
>
0
为<年代vghe我ght="13.125" id="M19" style="vertical-align:-1.95624pt;width:32.450001px;" version="1.1" viewbox="0 0 32.450001 13.125" width="32.450001" xmlns="http://www.w3.org/2000/svg">
≠
0
,<年代vghe我ght="13.4875" id="M20" style="vertical-align:-2.34499pt;width:10.675px;" version="1.1" viewbox="0 0 10.675 13.4875" width="10.675" xmlns="http://www.w3.org/2000/svg">
满足一些在0和渐近线性条件<年代vghe我ght="6.8499999" id="M21" style="vertical-align:-0.0pt;width:14.6px;" version="1.1" viewbox="0 0 14.6 6.8499999" width="14.6" xmlns="http://www.w3.org/2000/svg">
∞
。作者介绍了一种新技术建立振荡周期解的存在性(<一个href="#EEq1.6">1.6一个>)。他们降低了周期解的搜索(<一个href="#EEq1.6">1.6一个>),发现的问题周期解常微分方程的相关系统。我们将提供更多的细节部分还原法<一个href="#sec2">2一个>。
在上个世纪1990年代和本世纪初,一些作者(<一个href="#B14">18一个>- - - - - -<一个href="#B20">21一个>[]应用卡普兰和约克的原始思想<一个href="#B1">7一个>]研究周期解的存在性和多重性(<一个href="#EEq1.2">1.2一个>)有超过两个延迟。参见[<一个href="#B17">22一个>,23一个>对于一些其他方法。
以前的工作主要侧重于自治差分微分方程(<一个href="#EEq1.2">1.2一个>)。然而,一些论文(<一个href="#B3">13一个>,24一个>)包含一些有趣的时滞微分差分方程在经济学和人口生物学产生延迟<年代vghe我ght="7.0124998" id="M22" style="vertical-align:-0.0pt;width:6.5px;" version="1.1" viewbox="0 0 6.5 7.0124998" width="6.5" xmlns="http://www.w3.org/2000/svg">
(<一个href="#EEq1.2">1.2一个>)取决于时间<年代vghe我ght="9.125" id="M23" style="vertical-align:-0.11285pt;width:5.0124998px;" version="1.1" viewbox="0 0 5.0124998 9.125" width="5.0124998" xmlns="http://www.w3.org/2000/svg">
而不是积极的常数。出于缺乏更多的结果为非自治差分方程周期解,在本文,我们研究以下方程:<年代pan class="displayed-label" id="EEq1.8">
̇
(
)
=
−
(
,
(
−
)
)
,
(
1
。
7
)
̇
(
)
=
−
(
,
(
−
)
)
−
(
,
(
−
2
)
)
,
(
1
。
8
)
在哪里<年代vghe我ght="13.6125" id="M26" style="vertical-align:-2.34499pt;width:137.97501px;" version="1.1" viewbox="0 0 137.97501 13.6125" width="137.97501" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
(
ℝ
×
ℝ
,
ℝ
)
很奇怪对吗<年代vghe我ght="7.1624999" id="M27" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
和<年代vghe我ght="10.9125" id="M28" style="vertical-align:-0.17555pt;width:47.549999px;" version="1.1" viewbox="0 0 47.549999 10.9125" width="47.549999" xmlns="http://www.w3.org/2000/svg">
=
/
2
,<年代vghe我ght="10.9125" id="M29" style="vertical-align:-0.17555pt;width:48.049999px;" version="1.1" viewbox="0 0 48.049999 10.9125" width="48.049999" xmlns="http://www.w3.org/2000/svg">
=
/
3
。在这里,我们借用的术语“振荡周期解”(<一个href="#EEq1.8">1.7一个>)和(<一个href="#EEq1.8">1.8一个>)自<年代vghe我ght="13.6125" id="M30" style="vertical-align:-2.34499pt;width:39.212502px;" version="1.1" viewbox="0 0 39.212502 13.6125" width="39.212502" xmlns="http://www.w3.org/2000/svg">
(
,
)
很奇怪对吗<年代vghe我ght="7.1624999" id="M31" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
。
现在,我们国家主要结果如下。
定理1.1。年代pan>假设<年代vghe我ght="13.6125" id="M32" style="vertical-align:-2.34499pt;width:137.97501px;" version="1.1" viewbox="0 0 137.97501 13.6125" width="137.97501" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
(
ℝ
×
ℝ
,
ℝ
)
很奇怪对吗<年代vghe我ght="7.1624999" id="M33" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
和<年代vghe我ght="7.0124998" id="M34" style="vertical-align:-0.0pt;width:6.5px;" version="1.1" viewbox="0 0 6.5 7.0124998" width="6.5" xmlns="http://www.w3.org/2000/svg">
定期对<年代vghe我ght="9.125" id="M35" style="vertical-align:-0.11285pt;width:5.0124998px;" version="1.1" viewbox="0 0 5.0124998 9.125" width="5.0124998" xmlns="http://www.w3.org/2000/svg">
。假设我><年代pan class="displayed-label" id="eq1">
l
我
米
→
0
(
,
)
=
0
(
)
,
l
我
米
→
∞
(
,
)
=
∞
(
)
(
1
。
9
)
存在。写<年代vghe我ght="19.424999" id="M37" style="vertical-align:-4.59964pt;width:126.025px;" version="1.1" viewbox="0 0 126.025 19.424999" width="126.025" xmlns="http://www.w3.org/2000/svg">
0
∫
=
(
1
/
)
0
0
(
)
和<年代vghe我ght="19.424999" id="M38" style="vertical-align:-4.59964pt;width:135.35001px;" version="1.1" viewbox="0 0 135.35001 19.424999" width="135.35001" xmlns="http://www.w3.org/2000/svg">
∞
∫
=
(
1
/
)
0
∞
(
)
。假设我><年代pan class="list">(H<年代ub>1年代ub>)我>年代pan>
0
≠
±
,<年代vghe我ght="14.475" id="M40" style="vertical-align:-3.13504pt;width:61.724998px;" version="1.1" viewbox="0 0 61.724998 14.475" width="61.724998" xmlns="http://www.w3.org/2000/svg">
∞
≠
±
,尽管<年代vghe我ght="12.7875" id="M41" style="vertical-align:-0.33858pt;width:47.462502px;" version="1.1" viewbox="0 0 47.462502 12.7875" width="47.462502" xmlns="http://www.w3.org/2000/svg">
∈
ℤ
+
,我>年代pan> (H<年代ub>2年代ub>)我>年代pan>存在至少一个整数<年代vghe我ght="14.625" id="M42" style="vertical-align:-3.25793pt;width:14.6875px;" version="1.1" viewbox="0 0 14.6875 14.625" width="14.6875" xmlns="http://www.w3.org/2000/svg">
0
与<年代vghe我ght="16.424999" id="M43" style="vertical-align:-3.25793pt;width:53.549999px;" version="1.1" viewbox="0 0 53.549999 16.424999" width="53.549999" xmlns="http://www.w3.org/2000/svg">
0
∈
ℤ
+
这样我>年代pan>
米
我
n
0
,
∞
<
±
0
<
米
一个
x
0
,
∞
,
(
1
。
1
0
)
然后(<一个href="#EEq1.8">1.7一个>)至少有一个非平凡的振荡周期解<年代vghe我ght="7.1624999" id="M45" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
令人满意的<年代vghe我ght="13.45" id="M46" style="vertical-align:-2.21957pt;width:105.1625px;" version="1.1" viewbox="0 0 105.1625 13.45" width="105.1625" xmlns="http://www.w3.org/2000/svg">
(
)
=
−
(
−
)
。我>年代pan>
定理1.2。年代pan>假设<年代vghe我ght="13.6125" id="M47" style="vertical-align:-2.34499pt;width:137.97501px;" version="1.1" viewbox="0 0 137.97501 13.6125" width="137.97501" xmlns="http://www.w3.org/2000/svg">
(
,
)
∈
(
ℝ
×
ℝ
,
ℝ
)
很奇怪对吗<年代vghe我ght="7.1624999" id="M48" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
和<年代vghe我ght="7.1875" id="M49" style="vertical-align:-0.13794pt;width:7px;" version="1.1" viewbox="0 0 7 7.1875" width="7" xmlns="http://www.w3.org/2000/svg">
定期对<年代vghe我ght="9.125" id="M50" style="vertical-align:-0.11285pt;width:5.0124998px;" version="1.1" viewbox="0 0 5.0124998 9.125" width="5.0124998" xmlns="http://www.w3.org/2000/svg">
。让<年代vghe我ght="14.75" id="M51" style="vertical-align:-3.25793pt;width:32.162498px;" version="1.1" viewbox="0 0 32.162498 14.75" width="32.162498" xmlns="http://www.w3.org/2000/svg">
0
(
)
和<年代vghe我ght="14.6" id="M52" style="vertical-align:-3.13504pt;width:36.825001px;" version="1.1" viewbox="0 0 36.825001 14.6" width="36.825001" xmlns="http://www.w3.org/2000/svg">
∞
(
)
是两个函数中定义定理<一个href="#thm1.1">1.1一个>。写<年代vghe我ght="19.424999" id="M53" style="vertical-align:-4.59964pt;width:126.7875px;" version="1.1" viewbox="0 0 126.7875 19.424999" width="126.7875" xmlns="http://www.w3.org/2000/svg">
0
∫
=
(
1
/
)
0
0
(
)
和<年代vghe我ght="19.424999" id="M54" style="vertical-align:-4.59964pt;width:136.1125px;" version="1.1" viewbox="0 0 136.1125 19.424999" width="136.1125" xmlns="http://www.w3.org/2000/svg">
∞
∫
=
(
1
/
)
0
∞
(
)
。假设我><年代pan class="list">(H<年代ub>3年代ub>)我>年代pan>
0
,
3
0
≠
±
,<年代vghe我ght="14.6" id="M56" style="vertical-align:-3.13504pt;width:95.4375px;" version="1.1" viewbox="0 0 95.4375 14.6" width="95.4375" xmlns="http://www.w3.org/2000/svg">
∞
,
3
∞
≠
±
,尽管<年代vghe我ght="12.7875" id="M57" style="vertical-align:-0.33858pt;width:47.462502px;" version="1.1" viewbox="0 0 47.462502 12.7875" width="47.462502" xmlns="http://www.w3.org/2000/svg">
∈
ℤ
+
,我>年代pan> (H<年代ub>4年代ub>)我>年代pan>存在至少一个整数<年代vghe我ght="14.625" id="M58" style="vertical-align:-3.25793pt;width:14.6875px;" version="1.1" viewbox="0 0 14.6875 14.625" width="14.6875" xmlns="http://www.w3.org/2000/svg">
0
与<年代vghe我ght="16.424999" id="M59" style="vertical-align:-3.25793pt;width:53.549999px;" version="1.1" viewbox="0 0 53.549999 16.424999" width="53.549999" xmlns="http://www.w3.org/2000/svg">
0
∈
ℤ
+
这样我>年代pan>
米
我
n
0
,
∞
<
±
0
<
米
一个
x
0
,
∞
(
1
。
1
1
)
或我><年代pan class="displayed-label" id="eq4">
米
我
n
0
,
∞
<
±
0
3
<
米
一个
x
0
,
∞
,
(
1
。
1
2
)
然后(<一个href="#EEq1.8">1.8一个>)至少有一个非平凡的振荡周期解<年代vghe我ght="7.1624999" id="M62" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
令人满意的<年代vghe我ght="13.45" id="M63" style="vertical-align:-2.21957pt;width:105.1625px;" version="1.1" viewbox="0 0 105.1625 13.45" width="105.1625" xmlns="http://www.w3.org/2000/svg">
(
)
=
−
(
−
)
。我>年代pan>
1.3的话。我>年代pan>定理<一个href="#thm1.1">1.1一个>和<一个href="#thm1.2">1.2一个>关心的存在周期解时滞差分方程(<一个href="#EEq1.8">1.7一个>)和(<一个href="#EEq1.8">1.8一个>)。因此,我们的结果推广了一些结果的引用。我们将使用一个辛变换构造(<一个href="#B25">25一个>[]和定理<一个href="#B16">26一个>为了证明我们的主要结果。年代pan>
2。主要结果的证明 考虑下面的时滞哈密顿系统:<年代pan class="displayed-label" id="EEq2.1">
̇
(
)
=
∇
(
,
)
,
(
2
。
1
)
在哪里<年代vghe我ght="28.9625" id="M65" style="vertical-align:-8.4331pt;width:90.162498px;" version="1.1" viewbox="0 0 90.162498 28.9625" width="90.162498" xmlns="http://www.w3.org/2000/svg">
=
0
−
0
是标准的辛矩阵,<年代vghe我ght="14.2375" id="M66" style="vertical-align:-3.13504pt;width:18.549999px;" version="1.1" viewbox="0 0 18.549999 14.2375" width="18.549999" xmlns="http://www.w3.org/2000/svg">
单位矩阵在吗<年代vghe我ght="13.525" id="M67" style="vertical-align:-0.0pt;width:22.7125px;" version="1.1" viewbox="0 0 22.7125 13.525" width="22.7125" xmlns="http://www.w3.org/2000/svg">
ℝ
,<年代vghe我ght="14.75" id="M68" style="vertical-align:-3.25793pt;width:60.887501px;" version="1.1" viewbox="0 0 60.887501 14.75" width="60.887501" xmlns="http://www.w3.org/2000/svg">
∇
(
,
)
表示的梯度<年代vghe我ght="13.45" id="M69" style="vertical-align:-2.21957pt;width:43.375px;" version="1.1" viewbox="0 0 43.375 13.45" width="43.375" xmlns="http://www.w3.org/2000/svg">
(
,
)
关于<年代vghe我ght="7.375" id="M70" style="vertical-align:-0.17555pt;width:7.9250002px;" version="1.1" viewbox="0 0 7.9250002 7.375" width="7.9250002" xmlns="http://www.w3.org/2000/svg">
,<年代vghe我ght="16.5375" id="M71" style="vertical-align:-2.21957pt;width:136.2625px;" version="1.1" viewbox="0 0 136.2625 16.5375" width="136.2625" xmlns="http://www.w3.org/2000/svg">
∈
1
(
ℝ
×
ℝ
2
,
ℝ
)
是哈密顿函数。假设存在两个常数对称矩阵<年代vghe我ght="14.8625" id="M72" style="vertical-align:-3.25793pt;width:15.2375px;" version="1.1" viewbox="0 0 15.2375 14.8625" width="15.2375" xmlns="http://www.w3.org/2000/svg">
ℎ
0
和<年代vghe我ght="14.7125" id="M73" style="vertical-align:-3.13504pt;width:19.9px;" version="1.1" viewbox="0 0 19.9 14.7125" width="19.9" xmlns="http://www.w3.org/2000/svg">
ℎ
∞
这样<年代pan class="displayed-label" id="EEq2.2">
∇
(
,
)
−
ℎ
0
∇
=
(
|
|
)
,
一个
年代
|
|
⟶
0
,
(
,
)
−
ℎ
∞
=
(
|
|
)
,
一个
年代
|
|
⟶
∞
。
(
2
。
2
)
我们所说的哈密顿系统(<一个href="#EEq2.1">2.1一个>)线性0和渐近<年代vghe我ght="6.8499999" id="M75" style="vertical-align:-0.0pt;width:14.6px;" version="1.1" viewbox="0 0 14.6 6.8499999" width="14.6" xmlns="http://www.w3.org/2000/svg">
∞
常系数<年代vghe我ght="14.8625" id="M76" style="vertical-align:-3.25793pt;width:15.2375px;" version="1.1" viewbox="0 0 15.2375 14.8625" width="15.2375" xmlns="http://www.w3.org/2000/svg">
ℎ
0
和<年代vghe我ght="14.7125" id="M77" style="vertical-align:-3.13504pt;width:19.9px;" version="1.1" viewbox="0 0 19.9 14.7125" width="19.9" xmlns="http://www.w3.org/2000/svg">
ℎ
∞
因为(<一个href="#EEq2.2">2.2一个>)。
现在,我们表明,该还原法(<一个href="#B1">7一个>)可用于研究振荡周期解的(<一个href="#EEq1.8">1.7一个>)和(<一个href="#EEq1.8">1.8一个>)。更准确地说,让<年代vghe我ght="13.45" id="M78" style="vertical-align:-2.21957pt;width:24.025px;" version="1.1" viewbox="0 0 24.025 13.45" width="24.025" xmlns="http://www.w3.org/2000/svg">
(
)
是任何解决方案(<一个href="#EEq1.8">1.7一个>)满足<年代vghe我ght="13.45" id="M79" style="vertical-align:-2.21957pt;width:109.85px;" version="1.1" viewbox="0 0 109.85 13.45" width="109.85" xmlns="http://www.w3.org/2000/svg">
(
)
=
−
(
−
2
)
。让<年代vghe我ght="14.6" id="M80" style="vertical-align:-3.13504pt;width:73.400002px;" version="1.1" viewbox="0 0 73.400002 14.6" width="73.400002" xmlns="http://www.w3.org/2000/svg">
1
(
)
=
(
)
,<年代vghe我ght="14.6" id="M81" style="vertical-align:-3.13504pt;width:97.425003px;" version="1.1" viewbox="0 0 97.425003 14.6" width="97.425003" xmlns="http://www.w3.org/2000/svg">
2
(
)
=
(
−
)
,然后<年代vghe我ght="17.737499" id="M82" style="vertical-align:-3.13504pt;width:132.175px;" version="1.1" viewbox="0 0 132.175 17.737499" width="132.175" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
1
(
)
,
2
(
)
)
⊤
满足<年代pan class="displayed-label" id="EEq2.4">
(
)
=
2
Φ
1
(
,
(
)
)
,
w
h
e
r
e
2
=
0
−
1
1
0
,
(
2
。
3
)
和<年代vghe我ght="17.737499" id="M84" style="vertical-align:-3.13504pt;width:187.075px;" version="1.1" viewbox="0 0 187.075 17.737499" width="187.075" xmlns="http://www.w3.org/2000/svg">
Φ
1
(
,
)
=
(
(
,
1
)
,
(
,
2
)
)
⊤
。更重要的是,如果<年代vghe我ght="13.45" id="M85" style="vertical-align:-2.21957pt;width:27.775px;" version="1.1" viewbox="0 0 27.775 13.45" width="27.775" xmlns="http://www.w3.org/2000/svg">
(
)
是一个解决方案(<一个href="#EEq2.4">2.3一个>)与下面的对称结构<年代pan class="displayed-label" id="EEq2.5">
1
(
)
=
−
2
(
−
)
,
2
(
)
=
1
(
−
)
,
(
2
。
4
)
然后<年代vghe我ght="14.6" id="M87" style="vertical-align:-3.13504pt;width:73.400002px;" version="1.1" viewbox="0 0 73.400002 14.6" width="73.400002" xmlns="http://www.w3.org/2000/svg">
(
)
=
1
(
)
给出了一个解决方案(<一个href="#EEq1.8">1.7一个>)的属性<年代vghe我ght="13.45" id="M88" style="vertical-align:-2.21957pt;width:109.85px;" version="1.1" viewbox="0 0 109.85 13.45" width="109.85" xmlns="http://www.w3.org/2000/svg">
(
)
=
−
(
−
2
)
。因此,解决(<一个href="#EEq1.8">1.7一个>)在类的解决方案和对称<年代vghe我ght="13.45" id="M89" style="vertical-align:-2.21957pt;width:109.85px;" version="1.1" viewbox="0 0 109.85 13.45" width="109.85" xmlns="http://www.w3.org/2000/svg">
(
)
=
−
(
−
2
)
相当于寻找解决方案(<一个href="#EEq2.4">2.3一个>与对称结构()<一个href="#EEq2.5">2.4一个>)。
自<年代vghe我ght="14.4625" id="M90" style="vertical-align:-3.13504pt;width:17.424999px;" version="1.1" viewbox="0 0 17.424999 14.4625" width="17.424999" xmlns="http://www.w3.org/2000/svg">
2
确实是辛矩阵的标准飞机吗<年代vghe我ght="13.775" id="M91" style="vertical-align:-0.0pt;width:17.887501px;" version="1.1" viewbox="0 0 17.887501 13.775" width="17.887501" xmlns="http://www.w3.org/2000/svg">
ℝ
2
系统(<一个href="#EEq2.4">2.3一个>)可以写成下面的哈密顿系统:<年代pan class="displayed-label" id="EEq2.6">
̇
(
)
=
2
∇
∗
(
,
)
,
(
2
。
5
)
在哪里<年代vghe我ght="19.4125" id="M93" style="vertical-align:-4.59964pt;width:240.7375px;" version="1.1" viewbox="0 0 240.7375 19.4125" width="240.7375" xmlns="http://www.w3.org/2000/svg">
∗
∫
(
,
)
=
1
0
∫
(
,
)
+
2
0
(
,
)
为每一个<年代vghe我ght="17.737499" id="M94" style="vertical-align:-3.13504pt;width:117.15px;" version="1.1" viewbox="0 0 117.15 17.737499" width="117.15" xmlns="http://www.w3.org/2000/svg">
=
(
1
,
2
)
⊤
∈
ℝ
2
。
从定理的假设<一个href="#thm1.1">1.1一个>,我们有<年代pan class="displayed-label" id="EEq2.7">
(
,
)
=
0
(
)
+
(
|
|
)
一个
年代
|
|
⟶
0
,
(
,
)
=
∞
(
)
+
(
|
|
)
一个
年代
|
|
⟶
∞
。
(
2
。
6
)
因此,哈密顿函数的梯度<年代vghe我ght="14.3875" id="M96" style="vertical-align:-2.29482pt;width:51.087502px;" version="1.1" viewbox="0 0 51.087502 14.3875" width="51.087502" xmlns="http://www.w3.org/2000/svg">
∗
(
,
)
满足<年代pan class="displayed-label" id="EEq2.9">
∇
∗
(
,
)
=
0
|
|
|
|
|
|
|
|
∇
(
)
+
一个
年代
⟶
0
,
∗
(
,
)
=
∞
|
|
|
|
|
|
|
|
(
)
+
一个
年代
⟶
∞
。
(
2
。
7
)
由(<一个href="#EEq2.9">2.7一个>根据(),<一个href="#B25">25一个>),是一个辛变换<年代vghe我ght="14.8125" id="M98" style="vertical-align:-3.13504pt;width:74.625px;" version="1.1" viewbox="0 0 74.625 14.8125" width="74.625" xmlns="http://www.w3.org/2000/svg">
=
Ψ
1
(
,
)
根据哈密顿系统(<一个href="#EEq2.6">2.5一个>)可以转化为下面的哈密顿系统:<年代pan class="displayed-label" id="EEq2.11">
̇
(
)
=
2
∇
(
,
)
,
(
2
。
8
)
令人满意的<年代pan class="displayed-label" id="EEq2.12">
∇
(
,
)
=
0
2
∇
+
(
|
|
)
一个
年代
|
|
⟶
0
,
(
,
)
=
∞
2
+
(
|
|
)
一个
年代
|
|
⟶
∞
,
(
2
。
9
)
在哪里<年代vghe我ght="11.075" id="M101" style="vertical-align:-3.25793pt;width:15.0375px;" version="1.1" viewbox="0 0 15.0375 11.075" width="15.0375" xmlns="http://www.w3.org/2000/svg">
0
和<年代vghe我ght="10.925" id="M102" style="vertical-align:-3.13504pt;width:19.6875px;" version="1.1" viewbox="0 0 19.6875 10.925" width="19.6875" xmlns="http://www.w3.org/2000/svg">
∞
中定义的两个常数定理吗<一个href="#thm1.1">1.1一个>。
由(<一个href="#EEq2.12">2.9一个>),我们有以下。
引理2.1。年代pan>哈密顿系统(<一个href="#EEq2.11">2.8一个>)是在0和渐近线性<年代vghe我ght="6.8499999" id="M103" style="vertical-align:-0.0pt;width:14.6px;" version="1.1" viewbox="0 0 14.6 6.8499999" width="14.6" xmlns="http://www.w3.org/2000/svg">
∞
常系数<年代vghe我ght="14.3875" id="M104" style="vertical-align:-3.25793pt;width:28.625px;" version="1.1" viewbox="0 0 28.625 14.3875" width="28.625" xmlns="http://www.w3.org/2000/svg">
0
2
和<年代vghe我ght="14.2375" id="M105" style="vertical-align:-3.13504pt;width:33.287498px;" version="1.1" viewbox="0 0 33.287498 14.2375" width="33.287498" xmlns="http://www.w3.org/2000/svg">
∞
2
。我>年代pan>
让<年代vghe我ght="13.45" id="M106" style="vertical-align:-2.21957pt;width:24.025px;" version="1.1" viewbox="0 0 24.025 13.45" width="24.025" xmlns="http://www.w3.org/2000/svg">
(
)
是任何解决方案(<一个href="#EEq1.8">1.8一个>)满足<年代vghe我ght="13.45" id="M107" style="vertical-align:-2.21957pt;width:110.35px;" version="1.1" viewbox="0 0 110.35 13.45" width="110.35" xmlns="http://www.w3.org/2000/svg">
(
)
=
−
(
−
3
)
。让<年代vghe我ght="14.6" id="M108" style="vertical-align:-3.13504pt;width:73.400002px;" version="1.1" viewbox="0 0 73.400002 14.6" width="73.400002" xmlns="http://www.w3.org/2000/svg">
1
(
)
=
(
)
,<年代vghe我ght="14.6" id="M109" style="vertical-align:-3.13504pt;width:97.925003px;" version="1.1" viewbox="0 0 97.925003 14.6" width="97.925003" xmlns="http://www.w3.org/2000/svg">
2
(
)
=
(
−
)
,<年代vghe我ght="14.75" id="M110" style="vertical-align:-3.25793pt;width:105.7375px;" version="1.1" viewbox="0 0 105.7375 14.75" width="105.7375" xmlns="http://www.w3.org/2000/svg">
3
(
)
=
(
−
2
)
,然后<年代vghe我ght="17.887501" id="M111" style="vertical-align:-3.25793pt;width:164.6875px;" version="1.1" viewbox="0 0 164.6875 17.887501" width="164.6875" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
1
(
)
,
2
(
)
,
3
(
)
)
⊤
满足<年代pan class="displayed-label" id="EEq2.14">
(
)
=
3
Φ
2
(
,
(
)
)
,
w
h
e
r
e
3
=
⎛
⎜
⎜
⎝
⎞
⎟
⎟
⎠
0
−
1
−
1
1
0
−
1
1
1
0
,
(
2
。
1
0
)
和<年代vghe我ght="17.887501" id="M113" style="vertical-align:-3.25793pt;width:234.77499px;" version="1.1" viewbox="0 0 234.77499 17.887501" width="234.77499" xmlns="http://www.w3.org/2000/svg">
Φ
2
(
,
)
=
(
(
,
1
)
,
(
,
2
)
,
(
,
3
)
)
⊤
。
在[想法后<一个href="#B14">18一个>),(2.10一个>)可以简化为一个二维哈密顿系统<年代pan class="displayed-label" id="EEq2.15">
̇
(
)
=
2
∇
∗
∗
(
,
)
,
(
2
。
1
1
)
在哪里<年代vghe我ght="19.4125" id="M115" style="vertical-align:-4.59964pt;width:357.86249px;" version="1.1" viewbox="0 0 357.86249 19.4125" width="357.86249" xmlns="http://www.w3.org/2000/svg">
∗
∗
∫
(
,
)
=
1
0
∫
(
,
)
+
2
0
∫
(
,
)
+
2
−
1
0
(
,
)
为每一个<年代vghe我ght="17.737499" id="M116" style="vertical-align:-3.13504pt;width:117.15px;" version="1.1" viewbox="0 0 117.15 17.737499" width="117.15" xmlns="http://www.w3.org/2000/svg">
=
(
1
,
2
)
⊤
∈
ℝ
2
。
从定理的假设<一个href="#thm1.1">1.1一个>,(2.6一个>),哈密顿函数的梯度<年代vghe我ght="14.3875" id="M117" style="vertical-align:-2.29482pt;width:56.799999px;" version="1.1" viewbox="0 0 56.799999 14.3875" width="56.799999" xmlns="http://www.w3.org/2000/svg">
∗
∗
(
,
)
满足<年代pan class="displayed-label" id="EEq2.16">
∇
∗
∗
(
,
)
=
0
|
|
|
|
|
|
|
|
∇
(
)
+
一个
年代
⟶
0
,
∗
∗
(
,
)
=
∞
|
|
|
|
|
|
|
|
(
)
+
一个
年代
⟶
∞
,
(
2
。
1
2
)
在哪里<年代vghe我ght="19.35" id="M119" style="vertical-align:-4.57706pt;width:85.324997px;" version="1.1" viewbox="0 0 85.324997 19.35" width="85.324997" xmlns="http://www.w3.org/2000/svg">
=
2
−
1
−
1
2
是一个对称正定矩阵。
它遵循从(<一个href="#EEq2.16">2.12一个>)和(<一个href="#B25">25一个>),存在一个辛变换<年代vghe我ght="14.8125" id="M120" style="vertical-align:-3.13504pt;width:74.625px;" version="1.1" viewbox="0 0 74.625 14.8125" width="74.625" xmlns="http://www.w3.org/2000/svg">
=
Ψ
2
(
,
)
根据哈密顿系统(<一个href="#EEq2.15">2.11一个>)可以改变下面的哈密顿系统:<年代pan class="displayed-label" id="EEq2.18">
̇
(
)
=
2
∇
(
,
)
,
(
2
。
1
3
)
令人满意的<年代pan class="displayed-label" id="EEq2.19">
∇
(
,
)
=
0
∇
+
(
|
|
)
一个
年代
|
|
⟶
0
,
(
,
)
=
∞
+
(
|
|
)
一个
年代
|
|
⟶
∞
,
(
2
。
1
4
)
在哪里<年代vghe我ght="14.625" id="M123" style="vertical-align:-3.25793pt;width:14.9375px;" version="1.1" viewbox="0 0 14.9375 14.625" width="14.9375" xmlns="http://www.w3.org/2000/svg">
0
和<年代vghe我ght="14.475" id="M124" style="vertical-align:-3.13504pt;width:19.6px;" version="1.1" viewbox="0 0 19.6 14.475" width="19.6" xmlns="http://www.w3.org/2000/svg">
∞
中定义的两个常数定理吗<一个href="#thm1.2">1.2一个>。
然后,(<一个href="#EEq2.19">2.14一个>)收益率以下。
引理2.2。年代pan>哈密顿系统(<一个href="#EEq2.18">2.13一个>)是在0和渐近线性<年代vghe我ght="6.8499999" id="M125" style="vertical-align:-0.0pt;width:14.6px;" version="1.1" viewbox="0 0 14.6 6.8499999" width="14.6" xmlns="http://www.w3.org/2000/svg">
∞
常系数<年代vghe我ght="14.625" id="M126" style="vertical-align:-3.25793pt;width:32.049999px;" version="1.1" viewbox="0 0 32.049999 14.625" width="32.049999" xmlns="http://www.w3.org/2000/svg">
0
和<年代vghe我ght="14.475" id="M127" style="vertical-align:-3.13504pt;width:36.712502px;" version="1.1" viewbox="0 0 36.712502 14.475" width="36.712502" xmlns="http://www.w3.org/2000/svg">
∞
。我>年代pan>
2.3的话。我>年代pan>为了找到周期解(<一个href="#EEq1.8">1.7一个>)和(<一个href="#EEq1.8">1.8一个>),我们只需要寻求哈密顿系统的周期解(<一个href="#EEq2.11">2.8一个>)和(<一个href="#EEq2.18">2.13一个>与对称结构()<一个href="#EEq2.5">2.4一个>),分别。年代pan>
在本文的其余部分,我们将在希尔伯特空间工作<年代vghe我ght="16.625" id="M128" style="vertical-align:-2.21957pt;width:123.35px;" version="1.1" viewbox="0 0 123.35 16.625" width="123.35" xmlns="http://www.w3.org/2000/svg">
=
1
/
2
,
2
(
1
,
ℝ
2
)
,包括所有人<年代vghe我ght="13.45" id="M129" style="vertical-align:-2.21957pt;width:23.225px;" version="1.1" viewbox="0 0 23.225 13.45" width="23.225" xmlns="http://www.w3.org/2000/svg">
(
)
在<年代vghe我ght="16.625" id="M130" style="vertical-align:-2.21957pt;width:69.3125px;" version="1.1" viewbox="0 0 69.3125 16.625" width="69.3125" xmlns="http://www.w3.org/2000/svg">
2
(
1
,
ℝ
2
)
的傅里叶级数<年代pan class="displayed-label" id="eq5">
(
)
=
0
+
+
∞
=
1
c
o
年代
+
年代
我
n
(
2
。
1
5
)
满足<年代pan class="displayed-label" id="eq6">
|
|
0
|
|
2
+
1
2
+
∞
=
1
|
|
|
|
2
+
|
|
|
|
2
<
+
∞
。
(
2
。
1
6
)
的内积<年代vghe我ght="10.325" id="M133" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg">
被定义为<年代pan class="displayed-label" id="eq7">
⟨
1
,
2
⟩
=
0
(
1
)
,
0
(
2
)
+
1
2
∞
=
1
(
1
)
,
(
2
)
+
(
1
)
,
(
2
)
,
(
2
。
1
7
)
在哪里<年代vghe我ght="21.125" id="M135" style="vertical-align:-4.85281pt;width:308.64999px;" version="1.1" viewbox="0 0 308.64999 21.125" width="308.64999" xmlns="http://www.w3.org/2000/svg">
=
0
(
)
+
∑
+
∞
=
1
(
(
)
c
o
年代
+
(
)
年代
我
n
)
(
=
1
,
2
)
,规范<年代vghe我ght="17.525" id="M136" style="vertical-align:-2.67102pt;width:84.362503px;" version="1.1" viewbox="0 0 84.362503 17.525" width="84.362503" xmlns="http://www.w3.org/2000/svg">
为
为
2
=
⟨
,
⟩
,<年代vghe我ght="13.45" id="M137" style="vertical-align:-2.21957pt;width:25.987499px;" version="1.1" viewbox="0 0 25.987499 13.45" width="25.987499" xmlns="http://www.w3.org/2000/svg">
(
⋅
,
⋅
)
表示的内积<年代vghe我ght="13.775" id="M138" style="vertical-align:-0.0pt;width:17.887501px;" version="1.1" viewbox="0 0 17.887501 13.775" width="17.887501" xmlns="http://www.w3.org/2000/svg">
ℝ
2
。
为了获得解决方案(<一个href="#EEq2.11">2.8一个>与对称结构()<一个href="#EEq2.5">2.4一个>),我们定义一个矩阵<年代vghe我ght="14.2375" id="M139" style="vertical-align:-3.13504pt;width:14.8125px;" version="1.1" viewbox="0 0 14.8125 14.2375" width="14.8125" xmlns="http://www.w3.org/2000/svg">
2
用以下形式:<年代pan class="displayed-label" id="eq8">
2
=
0
−
1
1
0
。
(
2
。
1
8
)
然后,通过<年代vghe我ght="14.2375" id="M141" style="vertical-align:-3.13504pt;width:14.8125px;" version="1.1" viewbox="0 0 14.8125 14.2375" width="14.8125" xmlns="http://www.w3.org/2000/svg">
2
,对于任何<年代vghe我ght="13.45" id="M142" style="vertical-align:-2.21957pt;width:54.712502px;" version="1.1" viewbox="0 0 54.712502 13.45" width="54.712502" xmlns="http://www.w3.org/2000/svg">
(
)
∈
,定义一个行动<年代vghe我ght="14.475" id="M143" style="vertical-align:-3.13504pt;width:14.075px;" version="1.1" viewbox="0 0 14.075 14.475" width="14.075" xmlns="http://www.w3.org/2000/svg">
1
在<年代vghe我ght="7.375" id="M144" style="vertical-align:-0.17555pt;width:7.9250002px;" version="1.1" viewbox="0 0 7.9250002 7.375" width="7.9250002" xmlns="http://www.w3.org/2000/svg">
通过<年代pan class="displayed-label" id="EEq2.21">
1
(
)
=
2
(
−
)
。
(
2
。
1
9
)
然后通过直接计算,我们有<年代vghe我ght="19.0375" id="M146" style="vertical-align:-4.15945pt;width:202.5625px;" version="1.1" viewbox="0 0 202.5625 19.0375" width="202.5625" xmlns="http://www.w3.org/2000/svg">
2
1
(
)
=
−
(
−
2
)
=
−
(
−
)
,<年代vghe我ght="19.0375" id="M147" style="vertical-align:-4.15945pt;width:79.662498px;" version="1.1" viewbox="0 0 79.662498 19.0375" width="79.662498" xmlns="http://www.w3.org/2000/svg">
4
1
(
)
=
(
)
,<年代vghe我ght="19.200001" id="M148" style="vertical-align:-4.28235pt;width:121.3375px;" version="1.1" viewbox="0 0 121.3375 19.200001" width="121.3375" xmlns="http://www.w3.org/2000/svg">
=
{
1
,
2
1
,
3
1
,
4
1
}
是一个紧凑的行动结束了吗<年代vghe我ght="10.325" id="M149" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg">
。如果<年代vghe我ght="14.6" id="M150" style="vertical-align:-3.13504pt;width:79.662498px;" version="1.1" viewbox="0 0 79.662498 14.6" width="79.662498" xmlns="http://www.w3.org/2000/svg">
1
(
)
=
(
)
,然后通过一个简单的检查,我们有<年代vghe我ght="13.45" id="M151" style="vertical-align:-2.21957pt;width:23.225px;" version="1.1" viewbox="0 0 23.225 13.45" width="23.225" xmlns="http://www.w3.org/2000/svg">
(
)
有对称结构(<一个href="#EEq2.5">2.4一个>)。
引理2.4。年代pan>写<年代vghe我ght="14.6625" id="M152" style="vertical-align:-3.13504pt;width:187.3125px;" version="1.1" viewbox="0 0 187.3125 14.6625" width="187.3125" xmlns="http://www.w3.org/2000/svg">
年代
E
=
{
∈
∶
1
(
)
=
(
)
}
,然后<年代vghe我ght="10.9125" id="M153" style="vertical-align:-0.17554pt;width:18.362499px;" version="1.1" viewbox="0 0 18.362499 10.9125" width="18.362499" xmlns="http://www.w3.org/2000/svg">
年代
E
的子空间<年代vghe我ght="10.325" id="M154" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg">
用以下形式:我><年代pan class="displayed-label" id="EEq2.22">
年代
E
=
(
)
=
∞
=
1
2
−
1
c
o
年代
(
2
−
1
)
+
2
−
1
∶
年代
我
n
(
2
−
1
)
2
−
1
,
1
=
(
−
1
)
+
1
2
−
1
,
2
,
2
−
1
,
1
=
(
−
1
)
2
−
1
,
2
,
(
2
。
2
0
)
在哪里<年代vghe我ght="19.275" id="M156" style="vertical-align:-4.37273pt;width:159.46249px;" version="1.1" viewbox="0 0 159.46249 19.275" width="159.46249" xmlns="http://www.w3.org/2000/svg">
2
−
1
=
(
2
−
1
,
1
,
2
−
1
,
2
)
⊤
和<年代vghe我ght="19.275" id="M157" style="vertical-align:-4.37273pt;width:157.96249px;" version="1.1" viewbox="0 0 157.96249 19.275" width="157.96249" xmlns="http://www.w3.org/2000/svg">
2
−
1
=
(
2
−
1
,
1
,
2
−
1
,
2
)
⊤
。我>年代pan>
证明。我>年代pan>写<年代vghe我ght="17.737499" id="M158" style="vertical-align:-3.13504pt;width:126.0375px;" version="1.1" viewbox="0 0 126.0375 17.737499" width="126.0375" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
1
(
)
,
2
(
)
)
⊤
,在那里<年代vghe我ght="19.35" id="M159" style="vertical-align:-4.37273pt;width:273.88751px;" version="1.1" viewbox="0 0 273.88751 19.35" width="273.88751" xmlns="http://www.w3.org/2000/svg">
1
(
)
=
0
,
1
+
∑
+
∞
=
1
(
,
1
c
o
年代
+
,
1
年代
我
n
)
,<年代vghe我ght="19.35" id="M160" style="vertical-align:-4.37273pt;width:273.88751px;" version="1.1" viewbox="0 0 273.88751 19.35" width="273.88751" xmlns="http://www.w3.org/2000/svg">
2
(
)
=
0
,
2
+
∑
+
∞
=
1
(
,
2
c
o
年代
+
,
2
年代
我
n
)
。通过<年代vghe我ght="14.475" id="M161" style="vertical-align:-3.13504pt;width:49.0625px;" version="1.1" viewbox="0 0 49.0625 14.475" width="49.0625" xmlns="http://www.w3.org/2000/svg">
1
=
和行动的定义<年代vghe我ght="14.475" id="M162" style="vertical-align:-3.13504pt;width:14.075px;" version="1.1" viewbox="0 0 14.075 14.475" width="14.075" xmlns="http://www.w3.org/2000/svg">
1
,我们有<年代pan class="displayed-label" id="eq9">
1
(
)
,
2
(
)
⊤
=
−
2
−
2
,
1
−
2
⊤
,
(
2
。
2
1
)
的收益率<年代pan class="displayed-label" id="eq10">
0
,
1
+
+
∞
=
1
,
1
c
o
年代
+
,
1
=
⎧
⎪
⎪
⎨
⎪
⎪
⎩
年代
我
n
−
0
,
2
−
+
∞
=
1
(
−
1
)
2
,
2
c
o
年代
2
+
2
,
2
年代
我
n
2
,
f
o
r
=
2
我
年代
e
v
e
n
,
−
0
,
2
−
+
∞
=
1
(
−
1
)
−
1
2
−
1
,
2
年代
我
n
(
2
−
1
)
−
2
−
1
,
2
c
o
年代
(
2
−
1
)
,
f
o
r
=
2
−
1
我
年代
o
d
d
。
(
2
。
2
2
)
然后,我们有<年代pan class="displayed-label" id="eq11">
0
,
1
=
−
0
,
2
,
2
,
1
=
(
−
1
)
+
1
2
,
2
,
2
,
1
=
(
−
1
)
+
1
2
,
2
,
2
−
1
,
1
=
(
−
1
)
+
1
2
−
1
,
2
,
2
−
1
,
1
=
(
−
1
)
2
−
1
,
2
。
(
2
。
2
3
)
同样,由<年代vghe我ght="14.6" id="M166" style="vertical-align:-3.13504pt;width:127.625px;" version="1.1" viewbox="0 0 127.625 14.6" width="127.625" xmlns="http://www.w3.org/2000/svg">
2
(
)
=
1
(
−
(
/
2
)
)
,一个<年代pan class="displayed-label" id="eq12">
0
,
2
=
0
,
1
,
2
,
2
=
(
−
1
)
2
,
1
,
2
,
2
=
(
−
1
)
2
,
1
,
2
−
1
,
2
=
(
−
1
)
2
−
1
,
1
,
2
−
1
,
2
=
(
−
1
)
−
1
2
−
1
,
1
。
(
2
。
2
4
)
因此,<年代vghe我ght="16.137501" id="M168" style="vertical-align:-4.37273pt;width:91px;" version="1.1" viewbox="0 0 91 16.137501" width="91" xmlns="http://www.w3.org/2000/svg">
0
,
2
=
0
,
1
=
0
,<年代vghe我ght="19.4375" id="M169" style="vertical-align:-4.37273pt;width:252.53751px;" version="1.1" viewbox="0 0 252.53751 19.4375" width="252.53751" xmlns="http://www.w3.org/2000/svg">
2
,
1
=
(
−
1
)
+
1
2
,
2
=
(
−
1
)
+
1
(
−
1
)
2
,
1
,也就是说,<年代vghe我ght="16.137501" id="M170" style="vertical-align:-4.37273pt;width:54.912498px;" version="1.1" viewbox="0 0 54.912498 16.137501" width="54.912498" xmlns="http://www.w3.org/2000/svg">
2
,
1
=
0
。同样的,<年代vghe我ght="16.137501" id="M171" style="vertical-align:-4.37273pt;width:147.85001px;" version="1.1" viewbox="0 0 147.85001 16.137501" width="147.85001" xmlns="http://www.w3.org/2000/svg">
2
,
2
=
2
,
1
=
2
,
2
=
0
。因此,对于<年代vghe我ght="13.45" id="M172" style="vertical-align:-2.21957pt;width:60.849998px;" version="1.1" viewbox="0 0 60.849998 13.45" width="60.849998" xmlns="http://www.w3.org/2000/svg">
(
)
∈
年代
E
,<年代pan class="displayed-label" id="eq13">
(
)
=
∞
=
1
2
−
1
c
o
年代
(
2
−
1
)
+
2
−
1
,
年代
我
n
(
2
−
1
)
(
2
。
2
5
)
在哪里<年代vghe我ght="19.4375" id="M174" style="vertical-align:-4.37273pt;width:149.53751px;" version="1.1" viewbox="0 0 149.53751 19.4375" width="149.53751" xmlns="http://www.w3.org/2000/svg">
2
−
1
,
1
=
(
−
1
)
+
1
2
−
1
,
2
,<年代vghe我ght="19.35" id="M175" style="vertical-align:-4.37273pt;width:136.575px;" version="1.1" viewbox="0 0 136.575 19.35" width="136.575" xmlns="http://www.w3.org/2000/svg">
2
−
1
,
1
=
(
−
1
)
2
−
1
,
2
。此外,对于任何<年代vghe我ght="14.6" id="M176" style="vertical-align:-3.13504pt;width:102.65px;" version="1.1" viewbox="0 0 102.65 14.6" width="102.65" xmlns="http://www.w3.org/2000/svg">
1
(
)
,
2
(
)
∈
年代
E
,<年代pan class="displayed-label" id="eq14">
1
1
+
2
=
2
1
(
−
)
+
2
(
−
)
=
2
1
(
−
)
+
2
2
(
−
)
=
1
1
+
1
2
。
(
2
。
2
6
)
和任何<年代vghe我ght="10.8875" id="M178" style="vertical-align:-0.33858pt;width:37.674999px;" version="1.1" viewbox="0 0 37.674999 10.8875" width="37.674999" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
,<年代vghe我ght="14.6" id="M179" style="vertical-align:-3.13504pt;width:293.16251px;" version="1.1" viewbox="0 0 293.16251 14.6" width="293.16251" xmlns="http://www.w3.org/2000/svg">
1
(
(
)
)
=
2
(
−
)
=
2
(
−
)
=
1
(
)
。因此,<年代vghe我ght="10.9125" id="M180" style="vertical-align:-0.17554pt;width:18.362499px;" version="1.1" viewbox="0 0 18.362499 10.9125" width="18.362499" xmlns="http://www.w3.org/2000/svg">
年代
E
的子空间<年代vghe我ght="10.325" id="M181" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg">
。这就完成了引理的证明<一个href="#lem2.4">2.4一个>。年代pan>
哈密顿系统(<一个href="#EEq2.18">2.13一个>矩阵),我们定义另一个行动<年代vghe我ght="16.799999" id="M182" style="vertical-align:-4.22832pt;width:17.5625px;" version="1.1" viewbox="0 0 17.5625 16.799999" width="17.5625" xmlns="http://www.w3.org/2000/svg">
∗
2
用以下形式:<年代pan class="displayed-label" id="eq15">
∗
2
=
1
−
1
1
0
。
(
2
。
2
7
)
然后,通过<年代vghe我ght="16.799999" id="M184" style="vertical-align:-4.22832pt;width:17.5625px;" version="1.1" viewbox="0 0 17.5625 16.799999" width="17.5625" xmlns="http://www.w3.org/2000/svg">
∗
2
,对于任何<年代vghe我ght="13.45" id="M185" style="vertical-align:-2.21957pt;width:54.712502px;" version="1.1" viewbox="0 0 54.712502 13.45" width="54.712502" xmlns="http://www.w3.org/2000/svg">
(
)
∈
,定义一个行动<年代vghe我ght="14.475" id="M186" style="vertical-align:-3.13504pt;width:14.075px;" version="1.1" viewbox="0 0 14.075 14.475" width="14.075" xmlns="http://www.w3.org/2000/svg">
2
在<年代vghe我ght="7.375" id="M187" style="vertical-align:-0.17555pt;width:7.9250002px;" version="1.1" viewbox="0 0 7.9250002 7.375" width="7.9250002" xmlns="http://www.w3.org/2000/svg">
通过<年代pan class="displayed-label" id="EEq2.23">
2
(
)
=
∗
2
(
−
)
。
(
2
。
2
8
)
然后,通过直接计算,我们有<年代vghe我ght="19.2875" id="M189" style="vertical-align:-4.28235pt;width:291.72501px;" version="1.1" viewbox="0 0 291.72501 19.2875" width="291.72501" xmlns="http://www.w3.org/2000/svg">
3
2
(
)
=
−
(
−
3
)
=
−
(
−
)
,
6
2
(
)
=
(
)
和<年代vghe我ght="19.325001" id="M190" style="vertical-align:-4.28235pt;width:162.27499px;" version="1.1" viewbox="0 0 162.27499 19.325001" width="162.27499" xmlns="http://www.w3.org/2000/svg">
=
{
2
,
2
2
,
3
2
,
4
2
,
5
2
,
6
2
}
是一个紧凑的行动结束了吗<年代vghe我ght="10.325" id="M191" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg">
。如果<年代vghe我ght="14.6" id="M192" style="vertical-align:-3.13504pt;width:79.662498px;" version="1.1" viewbox="0 0 79.662498 14.6" width="79.662498" xmlns="http://www.w3.org/2000/svg">
2
(
)
=
(
)
,然后通过直接的检查,我们有<年代vghe我ght="13.45" id="M193" style="vertical-align:-2.21957pt;width:23.225px;" version="1.1" viewbox="0 0 23.225 13.45" width="23.225" xmlns="http://www.w3.org/2000/svg">
(
)
有对称结构(<一个href="#EEq2.5">2.4一个>)。
2.5的话。我>年代pan>通过<年代vghe我ght="19.200001" id="M194" style="vertical-align:-4.28235pt;width:203.0625px;" version="1.1" viewbox="0 0 203.0625 19.200001" width="203.0625" xmlns="http://www.w3.org/2000/svg">
3
2
(
)
=
−
(
−
3
)
=
−
(
−
)
和的定义<年代vghe我ght="14.475" id="M195" style="vertical-align:-3.13504pt;width:14.075px;" version="1.1" viewbox="0 0 14.075 14.475" width="14.075" xmlns="http://www.w3.org/2000/svg">
2
,一组<年代vghe我ght="14.6625" id="M196" style="vertical-align:-3.13504pt;width:149.6875px;" version="1.1" viewbox="0 0 149.6875 14.6625" width="149.6875" xmlns="http://www.w3.org/2000/svg">
{
∈
∶
2
(
)
=
(
)
}
有相同的结构(<一个href="#EEq2.22">2.20一个>),第一个组件的傅里叶系数之间的关系<年代vghe我ght="11.0625" id="M197" style="vertical-align:-3.13504pt;width:14.0125px;" version="1.1" viewbox="0 0 14.0125 11.0625" width="14.0125" xmlns="http://www.w3.org/2000/svg">
1
第二个组件<年代vghe我ght="11.0625" id="M198" style="vertical-align:-3.13504pt;width:14.0125px;" version="1.1" viewbox="0 0 14.0125 11.0625" width="14.0125" xmlns="http://www.w3.org/2000/svg">
2
略有不同的元素<年代vghe我ght="14.6625" id="M199" style="vertical-align:-3.13504pt;width:149.6875px;" version="1.1" viewbox="0 0 149.6875 14.6625" width="149.6875" xmlns="http://www.w3.org/2000/svg">
{
∈
∶
1
(
)
=
(
)
}
。我们也表示它<年代vghe我ght="10.9125" id="M200" style="vertical-align:-0.17554pt;width:18.362499px;" version="1.1" viewbox="0 0 18.362499 10.9125" width="18.362499" xmlns="http://www.w3.org/2000/svg">
年代
E
这是一个子空间的<年代vghe我ght="10.325" id="M201" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg">
。年代pan>
表示由<年代vghe我ght="13.5625" id="M202" style="vertical-align:-2.21957pt;width:44.787498px;" version="1.1" viewbox="0 0 44.787498 13.5625" width="44.787498" xmlns="http://www.w3.org/2000/svg">
−
(
ℎ
)
,<年代vghe我ght="15.125" id="M203" style="vertical-align:-2.21957pt;width:44.787498px;" version="1.1" viewbox="0 0 44.787498 15.125" width="44.787498" xmlns="http://www.w3.org/2000/svg">
+
(
ℎ
)
,<年代vghe我ght="16.5375" id="M204" style="vertical-align:-2.21957pt;width:42.762501px;" version="1.1" viewbox="0 0 42.762501 16.5375" width="42.762501" xmlns="http://www.w3.org/2000/svg">
0
(
ℎ
)
负的数量,积极和零对称矩阵的特征值<年代vghe我ght="10.95" id="M205" style="vertical-align:-0.1254pt;width:9.1374998px;" version="1.1" viewbox="0 0 9.1374998 10.95" width="9.1374998" xmlns="http://www.w3.org/2000/svg">
ℎ
,分别。为一个恒定的对称矩阵<年代vghe我ght="10.95" id="M206" style="vertical-align:-0.1254pt;width:9.1374998px;" version="1.1" viewbox="0 0 9.1374998 10.95" width="9.1374998" xmlns="http://www.w3.org/2000/svg">
ℎ
,我们定义我们的索引<年代pan class="displayed-label" id="eq16">
−
(
ℎ
)
=
∞
=
1
−
(
,
ℎ
)
−
2
0
(
ℎ
)
=
∞
=
1
0
,
(
ℎ
)
(
2
。
2
9
)
在哪里<年代pan class="displayed-label" id="eq17">
(
ℎ
)
=
−
ℎ
−
−
ℎ
。
(
2
。
3
0
)
观察到的<年代vghe我ght="10.7375" id="M209" 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">
足够大,<年代vghe我ght="14.825" id="M210" style="vertical-align:-3.2316pt;width:97.537498px;" version="1.1" viewbox="0 0 97.537498 14.825" width="97.537498" xmlns="http://www.w3.org/2000/svg">
−
(
(
ℎ
)
)
=
2
和<年代vghe我ght="17.799999" id="M211" style="vertical-align:-3.2316pt;width:95.512497px;" version="1.1" viewbox="0 0 95.512497 17.799999" width="95.512497" xmlns="http://www.w3.org/2000/svg">
0
(
(
ℎ
)
)
=
0
。事实上,写<年代pan class="displayed-label" id="EEq2.24">
(
ℎ
)
=
−
ℎ
−
−
ℎ
=
0
⊤
−
0
ℎ
0
0
ℎ
。
(
2
。
3
1
)
请注意,<年代vghe我ght="13.8" id="M213" style="vertical-align:-0.15048pt;width:57.087502px;" version="1.1" viewbox="0 0 57.087502 13.8" width="57.087502" xmlns="http://www.w3.org/2000/svg">
−
=
⊤
。如果<年代vghe我ght="11.0625" id="M214" style="vertical-align:-0.30096pt;width:35.799999px;" version="1.1" viewbox="0 0 35.799999 11.0625" width="35.799999" xmlns="http://www.w3.org/2000/svg">
>
0
够大吗<年代vghe我ght="12.3625" id="M215" style="vertical-align:-0.0pt;width:97.175003px;" version="1.1" viewbox="0 0 97.175003 12.3625" width="97.175003" xmlns="http://www.w3.org/2000/svg">
−
=
+
=
2
,这是第一个矩阵的指数(<一个href="#EEq2.24">2.31一个>)。此外,如果<年代vghe我ght="10.7375" id="M216" 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">
减少,这些指标可以改变只有在这些值<年代vghe我ght="10.7375" id="M217" 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">
的矩阵<年代vghe我ght="14.825" id="M218" style="vertical-align:-3.2316pt;width:34.700001px;" version="1.1" viewbox="0 0 34.700001 14.825" width="34.700001" xmlns="http://www.w3.org/2000/svg">
(
ℎ
)
是单数,<年代vghe我ght="17.799999" id="M219" style="vertical-align:-3.2316pt;width:92.050003px;" version="1.1" viewbox="0 0 92.050003 17.799999" width="92.050003" xmlns="http://www.w3.org/2000/svg">
0
(
(
ℎ
)
)
≠
0
。这种情况发生的这些值<年代vghe我ght="10.9875" id="M220" style="vertical-align:-0.33858pt;width:39.662498px;" version="1.1" viewbox="0 0 39.662498 10.9875" width="39.662498" xmlns="http://www.w3.org/2000/svg">
∈
ℝ
的<年代vghe我ght="10.7375" id="M221" style="vertical-align:-0.13794pt;width:13.45px;" version="1.1" viewbox="0 0 13.45 10.7375" width="13.45" xmlns="http://www.w3.org/2000/svg">
是一个纯粹的虚构特征值的<年代vghe我ght="10.9875" id="M222" style="vertical-align:-0.15048pt;width:17.5875px;" version="1.1" viewbox="0 0 17.5875 10.9875" width="17.5875" xmlns="http://www.w3.org/2000/svg">
ℎ
。实际上假设<年代vghe我ght="17.674999" id="M223" style="vertical-align:-3.13504pt;width:116.2px;" version="1.1" viewbox="0 0 116.2 17.674999" width="116.2" xmlns="http://www.w3.org/2000/svg">
(
1
,
2
)
∈
ℝ
2
×
ℝ
2
是一个特征向量<年代vghe我ght="14.825" id="M224" style="vertical-align:-3.2316pt;width:34.700001px;" version="1.1" viewbox="0 0 34.700001 14.825" width="34.700001" xmlns="http://www.w3.org/2000/svg">
(
ℎ
)
特征值为0,那么<年代vghe我ght="13.8" id="M225" style="vertical-align:-0.15048pt;width:58.962502px;" version="1.1" viewbox="0 0 58.962502 13.8" width="58.962502" xmlns="http://www.w3.org/2000/svg">
⊤
=
−
,一个<年代vghe我ght="14.7125" id="M226" style="vertical-align:-3.13504pt;width:100.0625px;" version="1.1" viewbox="0 0 100.0625 14.7125" width="100.0625" xmlns="http://www.w3.org/2000/svg">
ℎ
1
+
2
=
0
和<年代vghe我ght="14.7125" id="M227" style="vertical-align:-3.13504pt;width:100.0625px;" version="1.1" viewbox="0 0 100.0625 14.7125" width="100.0625" xmlns="http://www.w3.org/2000/svg">
ℎ
2
−
1
=
0
。因此,<年代vghe我ght="14.7125" id="M228" style="vertical-align:-3.13504pt;width:267.21249px;" version="1.1" viewbox="0 0 267.21249 14.7125" width="267.21249" xmlns="http://www.w3.org/2000/svg">
ℎ
(
1
+
2
)
=
(
1
−
2
)
=
(
1
+
2
)
;因此,<年代vghe我ght="14.7125" id="M229" style="vertical-align:-3.13504pt;width:181.41251px;" version="1.1" viewbox="0 0 181.41251 14.7125" width="181.41251" xmlns="http://www.w3.org/2000/svg">
ℎ
(
1
+
2
)
=
−
(
1
+
2
)
。因此,<年代vghe我ght="13.5625" id="M230" style="vertical-align:-2.21957pt;width:80.587502px;" version="1.1" viewbox="0 0 80.587502 13.5625" width="80.587502" xmlns="http://www.w3.org/2000/svg">
±
∈
(
ℎ
)
,如声称。因此,<年代vghe我ght="13.5625" id="M231" style="vertical-align:-2.21957pt;width:32.525002px;" version="1.1" viewbox="0 0 32.525002 13.5625" width="32.525002" xmlns="http://www.w3.org/2000/svg">
−
(
ℎ
)
和<年代vghe我ght="16.5375" id="M232" style="vertical-align:-2.21957pt;width:30.5px;" version="1.1" viewbox="0 0 30.5 16.5375" width="30.5" xmlns="http://www.w3.org/2000/svg">
0
(
ℎ
)
是定义良好的。
下面的定理<一个href="#B16">26一个>在哈密顿系统的周期解的存在性(<一个href="#EEq2.1">2.1一个>)将用于我们的讨论。
定理。年代pan>让<年代vghe我ght="16.5375" id="M233" style="vertical-align:-2.21957pt;width:136.2625px;" version="1.1" viewbox="0 0 136.2625 16.5375" width="136.2625" xmlns="http://www.w3.org/2000/svg">
∈
1
(
ℝ
×
ℝ
2
,
ℝ
)
是<年代vghe我ght="10.8875" id="M234" style="vertical-align:-0.16302pt;width:17.4375px;" version="1.1" viewbox="0 0 17.4375 10.8875" width="17.4375" xmlns="http://www.w3.org/2000/svg">
2
定期在<年代vghe我ght="9.3249998" id="M235" style="vertical-align:-0.12538pt;width:4.4749999px;" version="1.1" viewbox="0 0 4.4749999 9.3249998" width="4.4749999" xmlns="http://www.w3.org/2000/svg">
t
和满足(<一个href="#EEq2.2">2.2一个>)。如果<年代vghe我ght="17.8375" id="M236" style="vertical-align:-3.25793pt;width:124.325px;" version="1.1" viewbox="0 0 124.325 17.8375" width="124.325" xmlns="http://www.w3.org/2000/svg">
0
(
ℎ
0
)
=
0
(
ℎ
∞
)
=
0
和<年代vghe我ght="14.8625" id="M237" style="vertical-align:-3.25793pt;width:97.699997px;" version="1.1" viewbox="0 0 97.699997 14.8625" width="97.699997" xmlns="http://www.w3.org/2000/svg">
−
(
ℎ
0
)
≠
−
(
ℎ
∞
)
,然后哈密顿系统(<一个href="#EEq2.1">2.1一个>至少有一个非平凡周期解。我>年代pan>
现在,我们要求如下。
引理2.6。年代pan>如果<年代vghe我ght="7.1624999" id="M238" style="vertical-align:-0.0pt;width:7.0625px;" version="1.1" viewbox="0 0 7.0625 7.1624999" width="7.0625" xmlns="http://www.w3.org/2000/svg">
z
哈密顿系统的一个解决方案(<一个href="#EEq2.11">2.8一个>)((2.13一个>))
年代
E
,然后<年代vghe我ght="14.8125" id="M240" style="vertical-align:-3.13504pt;width:164.75px;" version="1.1" viewbox="0 0 164.75 14.8125" width="164.75" xmlns="http://www.w3.org/2000/svg">
=
Ψ
1
(
,
)
(
=
Ψ
2
(
,
)
)
是哈密顿系统的解决方案<一个href="#EEq2.6">2.5一个>)((2.11一个>与对称结构()<一个href="#EEq2.5">2.4一个>),分别。我>年代pan>
证明。我>年代pan>由引理<一个href="#lem2.4">2.4一个>,任何<年代vghe我ght="11.1125" id="M241" style="vertical-align:-0.33858pt;width:45.549999px;" version="1.1" viewbox="0 0 45.549999 11.1125" width="45.549999" xmlns="http://www.w3.org/2000/svg">
∈
年代
E
结构(<一个href="#EEq2.5">2.4一个>)。我们只需要显示<年代vghe我ght="14.475" id="M242" style="vertical-align:-3.13504pt;width:48.974998px;" version="1.1" viewbox="0 0 48.974998 14.475" width="48.974998" xmlns="http://www.w3.org/2000/svg">
1
=
或<年代vghe我ght="14.475" id="M243" style="vertical-align:-3.13504pt;width:48.974998px;" version="1.1" viewbox="0 0 48.974998 14.475" width="48.974998" xmlns="http://www.w3.org/2000/svg">
2
=
,也就是说,<年代vghe我ght="14.8125" id="M244" style="vertical-align:-3.13504pt;width:143.6125px;" version="1.1" viewbox="0 0 143.6125 14.8125" width="143.6125" xmlns="http://www.w3.org/2000/svg">
2
Ψ
1
(
,
)
=
Ψ
1
(
,
2
)
或<年代vghe我ght="16.799999" id="M245" style="vertical-align:-4.22832pt;width:149.125px;" version="1.1" viewbox="0 0 149.125 16.799999" width="149.125" xmlns="http://www.w3.org/2000/svg">
∗
2
Ψ
2
(
,
)
=
Ψ
2
(
,
∗
2
)
可以验证,直接由辛的结构转换<年代vghe我ght="14.8125" id="M246" style="vertical-align:-3.13504pt;width:47.487499px;" version="1.1" viewbox="0 0 47.487499 14.8125" width="47.487499" xmlns="http://www.w3.org/2000/svg">
Ψ
1
(
,
)
和<年代vghe我ght="14.8125" id="M247" style="vertical-align:-3.13504pt;width:47.487499px;" version="1.1" viewbox="0 0 47.487499 14.8125" width="47.487499" xmlns="http://www.w3.org/2000/svg">
Ψ
2
(
,
)
,分别。请参阅[<一个href="#B25">25一个>详情)。年代pan>
我们表示矩阵<年代vghe我ght="14.2375" id="M248" style="vertical-align:-3.13504pt;width:22.5375px;" version="1.1" viewbox="0 0 22.5375 14.2375" width="22.5375" xmlns="http://www.w3.org/2000/svg">
2
通过<年代vghe我ght="7.1750002" id="M249" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg">
为了方便。我们证明以下引理。
引理2.7。年代pan>(1)假设(H<年代ub>1年代ub>)和(H<年代ub>3年代ub>),然后<年代vghe我ght="17.8375" id="M250" style="vertical-align:-3.25793pt;width:271.125px;" version="1.1" viewbox="0 0 271.125 17.8375" width="271.125" xmlns="http://www.w3.org/2000/svg">
0
(
0
)
=
0
(
∞
)
=
0
(
0
)
=
0
(
∞
)
=
0
。我>(2)假设(H<年代ub>1年代ub>)和(H<年代ub>2年代ub>),然后<年代vghe我ght="14.75" id="M251" style="vertical-align:-3.25793pt;width:97.287498px;" version="1.1" viewbox="0 0 97.287498 14.75" width="97.287498" xmlns="http://www.w3.org/2000/svg">
−
(
0
)
≠
−
(
∞
)
。我>(3)假设(H<年代ub>3年代ub>)和(H<年代ub>4年代ub>),然后<年代vghe我ght="14.75" id="M252" style="vertical-align:-3.25793pt;width:128.5125px;" version="1.1" viewbox="0 0 128.5125 14.75" width="128.5125" xmlns="http://www.w3.org/2000/svg">
−
(
0
)
≠
−
(
∞
)
。我>年代pan>
证明。我>年代pan>对于任何<年代vghe我ght="13.425" id="M253" style="vertical-align:-2.29482pt;width:55.237499px;" version="1.1" viewbox="0 0 55.237499 13.425" width="55.237499" xmlns="http://www.w3.org/2000/svg">
,
∈
ℝ
,让<年代vghe我ght="14.7125" id="M254" style="vertical-align:-3.2316pt;width:54.075001px;" version="1.1" viewbox="0 0 54.075001 14.7125" width="54.075001" xmlns="http://www.w3.org/2000/svg">
(
(
)
)
和<年代vghe我ght="14.7125" id="M255" style="vertical-align:-3.2316pt;width:69.6875px;" version="1.1" viewbox="0 0 69.6875 14.7125" width="69.6875" xmlns="http://www.w3.org/2000/svg">
(
(
)
)
表示的光谱<年代vghe我ght="14.7125" id="M256" style="vertical-align:-3.2316pt;width:34.5px;" version="1.1" viewbox="0 0 34.5 14.7125" width="34.5" xmlns="http://www.w3.org/2000/svg">
(
)
和<年代vghe我ght="14.7125" id="M257" style="vertical-align:-3.2316pt;width:50.112499px;" version="1.1" viewbox="0 0 50.112499 14.7125" width="50.112499" xmlns="http://www.w3.org/2000/svg">
(
)
,分别。表示由<年代vghe我ght="10.8125" id="M258" style="vertical-align:-0.20064pt;width:8.5749998px;" version="1.1" viewbox="0 0 8.5749998 10.8125" width="8.5749998" xmlns="http://www.w3.org/2000/svg">
和<年代vghe我ght="9.9375" id="M259" style="vertical-align:-2.34499pt;width:8.0625px;" version="1.1" viewbox="0 0 8.0625 9.9375" width="8.0625" xmlns="http://www.w3.org/2000/svg">
的元素<年代vghe我ght="14.7125" id="M260" style="vertical-align:-3.2316pt;width:54.075001px;" version="1.1" viewbox="0 0 54.075001 14.7125" width="54.075001" xmlns="http://www.w3.org/2000/svg">
(
(
)
)
和<年代vghe我ght="14.7125" id="M261" style="vertical-align:-3.2316pt;width:69.6875px;" version="1.1" viewbox="0 0 69.6875 14.7125" width="69.6875" xmlns="http://www.w3.org/2000/svg">
(
(
)
)
然后分别<年代pan class="displayed-label" id="eq18">
d
e
t
4
−
(
)
=
d
e
t
(
+
)
2
2
−
2
2
=
d
e
t
(
+
)
2
−
2
d
e
t
(
+
)
2
+
2
,
d
e
t
4
−
(
)
=
d
e
t
2
+
2
−
2
2
=
d
e
t
2
+
−
2
d
e
t
2
+
+
2
(
=
d
e
t
+
2
−
)
2
−
2
(
d
e
t
+
2
+
)
2
−
2
。
(
2
。
3
2
)
上述计算行列式的显示<年代pan class="displayed-label" id="EEq2.25">
=
(
)
=
±
−
∶
∈
ℤ
+
,
(
2
。
3
3
)
(
=
)
=
±
−
,
±
−
3
∶
∈
ℤ
+
。
(
2
。
3
4
)
案例1。我>年代pan>从(<一个href="#EEq2.25">2.33一个>),如果<年代vghe我ght="14.625" id="M265" style="vertical-align:-3.25793pt;width:57.075001px;" version="1.1" viewbox="0 0 57.075001 14.625" width="57.075001" xmlns="http://www.w3.org/2000/svg">
0
≠
±
,尽管<年代vghe我ght="12.7875" id="M266" style="vertical-align:-0.33858pt;width:47.462502px;" version="1.1" viewbox="0 0 47.462502 12.7875" width="47.462502" xmlns="http://www.w3.org/2000/svg">
∈
ℤ
+
,然后<年代vghe我ght="13.125" id="M267" style="vertical-align:-1.95624pt;width:32.3125px;" version="1.1" viewbox="0 0 32.3125 13.125" width="32.3125" xmlns="http://www.w3.org/2000/svg">
≠
0
,在那里<年代vghe我ght="10.8125" id="M268" style="vertical-align:-0.20064pt;width:8.5749998px;" version="1.1" viewbox="0 0 8.5749998 10.8125" width="8.5749998" xmlns="http://www.w3.org/2000/svg">
的特征值<年代vghe我ght="14.75" id="M269" style="vertical-align:-3.25793pt;width:40.587502px;" version="1.1" viewbox="0 0 40.587502 14.75" width="40.587502" xmlns="http://www.w3.org/2000/svg">
(
0
)
。这意味着<年代vghe我ght="17.8375" id="M270" style="vertical-align:-3.25793pt;width:101.4125px;" version="1.1" viewbox="0 0 101.4125 17.8375" width="101.4125" xmlns="http://www.w3.org/2000/svg">
0
(
(
0
)
)
=
0
为<年代vghe我ght="12.3" id="M271" style="vertical-align:-1.29163pt;width:35.799999px;" version="1.1" viewbox="0 0 35.799999 12.3" width="35.799999" xmlns="http://www.w3.org/2000/svg">
≥
1
。因此,<年代vghe我ght="18.512501" id="M272" style="vertical-align:-3.80836pt;width:190.8625px;" version="1.1" viewbox="0 0 190.8625 18.512501" width="190.8625" xmlns="http://www.w3.org/2000/svg">
0
(
0
∑
)
=
∞
=
1
0
(
(
0
)
)
=
0
。同样,我们有<年代vghe我ght="17.8375" id="M273" style="vertical-align:-3.25793pt;width:215.46249px;" version="1.1" viewbox="0 0 215.46249 17.8375" width="215.46249" xmlns="http://www.w3.org/2000/svg">
0
(
∞
)
=
0
(
0
)
=
0
(
∞
)
=
0
。年代pan>例2。我>年代pan>不失一般性,我们假设<年代vghe我ght="12.525" id="M274" style="vertical-align:-3.25793pt;width:53.987499px;" version="1.1" viewbox="0 0 53.987499 12.525" width="53.987499" xmlns="http://www.w3.org/2000/svg">
0
<
∞
。的条件<我>(H1年代ub>)我>和<我>(H2年代ub>)我>,
0
<
0
<
∞
。
(
2
。
3
5
)
自<年代vghe我ght="14.625" id="M276" style="vertical-align:-3.25793pt;width:48.987499px;" version="1.1" viewbox="0 0 48.987499 14.625" width="48.987499" xmlns="http://www.w3.org/2000/svg">
0
<
0
,(<一个href="#EEq2.25">2.33一个>),
−
(
0
(
0
)
)
≤
2
。通过<年代vghe我ght="14.625" id="M278" style="vertical-align:-3.25793pt;width:98.300003px;" version="1.1" viewbox="0 0 98.300003 14.625" width="98.300003" xmlns="http://www.w3.org/2000/svg">
−
0
<
0
<
∞
和(<一个href="#EEq2.25">2.33一个>),
−
(
0
(
∞
)
)
=
4
,也就是说,<年代pan class="displayed-label" id="eq20">
−
0
0
+
2
≤
−
0
∞
。
(
2
。
3
6
)
为每一个<年代vghe我ght="14.625" id="M281" style="vertical-align:-3.25793pt;width:39.075001px;" version="1.1" viewbox="0 0 39.075001 14.625" width="39.075001" xmlns="http://www.w3.org/2000/svg">
≠
0
从(<一个href="#EEq2.25">2.33一个>),可以很容易检查<年代vghe我ght="14.75" id="M282" style="vertical-align:-3.25793pt;width:176.375px;" version="1.1" viewbox="0 0 176.375 14.75" width="176.375" xmlns="http://www.w3.org/2000/svg">
−
(
(
0
)
)
≤
−
(
(
∞
)
)
。因此,一个<年代vghe我ght="17.362499" id="M283" style="vertical-align:-3.80836pt;width:315.73749px;" version="1.1" viewbox="0 0 315.73749 17.362499" width="315.73749" xmlns="http://www.w3.org/2000/svg">
∑
∞
=
1
(
−
(
(
0
∑
)
)
−
2
)
<
∞
=
1
(
−
(
(
∞
)
)
−
2
)
,因为<年代vghe我ght="14.7125" id="M284" style="vertical-align:-3.2316pt;width:97.337502px;" version="1.1" viewbox="0 0 97.337502 14.7125" width="97.337502" xmlns="http://www.w3.org/2000/svg">
−
(
(
)
)
=
2
为<年代vghe我ght="10.7375" id="M285" 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">
足够大。这个收益率<年代vghe我ght="14.75" id="M286" style="vertical-align:-3.25793pt;width:100.7625px;" version="1.1" viewbox="0 0 100.7625 14.75" width="100.7625" xmlns="http://www.w3.org/2000/svg">
−
(
0
)
<
−
(
∞
)
。然后,财产(2)。年代pan>例3。我>年代pan>的条件<我>(H3年代ub>)我>和<我>(H4年代ub>)我>不失一般性,我们假设<年代vghe我ght="14.625" id="M287" style="vertical-align:-3.25793pt;width:53.799999px;" version="1.1" viewbox="0 0 53.799999 14.625" width="53.799999" xmlns="http://www.w3.org/2000/svg">
0
<
∞
和<年代pan class="displayed-label" id="eq21">
0
<
0
<
∞
。
(
2
。
3
7
)
自<年代vghe我ght="14.625" id="M289" style="vertical-align:-3.25793pt;width:48.887501px;" version="1.1" viewbox="0 0 48.887501 14.625" width="48.887501" xmlns="http://www.w3.org/2000/svg">
0
<
0
,(<一个href="#EEq2.25">2.34一个>),
−
(
0
(
0
)
)
≤
3
。通过<年代vghe我ght="14.75" id="M291" style="vertical-align:-3.25793pt;width:144.8875px;" version="1.1" viewbox="0 0 144.8875 14.75" width="144.8875" xmlns="http://www.w3.org/2000/svg">
−
0
<
0
<
∞
<
3
∞
和(<一个href="#EEq2.25">2.34一个>),有<年代vghe我ght="17.4375" id="M292" style="vertical-align:-5.41734pt;width:128.2375px;" version="1.1" viewbox="0 0 128.2375 17.4375" width="128.2375" xmlns="http://www.w3.org/2000/svg">
−
(
0
(
∞
)
)
=
4
,也就是说,<年代pan class="displayed-label" id="eq22">
−
0
0
+
1
≤
−
0
∞
。
(
2
。
3
8
)
为每一个<年代vghe我ght="14.625" id="M294" style="vertical-align:-3.25793pt;width:39.075001px;" version="1.1" viewbox="0 0 39.075001 14.625" width="39.075001" xmlns="http://www.w3.org/2000/svg">
≠
0
从(<一个href="#EEq2.25">2.34一个>),很容易看到<年代vghe我ght="14.625" id="M295" style="vertical-align:-3.25793pt;width:106.05px;" version="1.1" viewbox="0 0 106.05 14.625" width="106.05" xmlns="http://www.w3.org/2000/svg">
−
∞
<
−
0
和<年代vghe我ght="14.75" id="M296" style="vertical-align:-3.25793pt;width:121.675px;" version="1.1" viewbox="0 0 121.675 14.75" width="121.675" xmlns="http://www.w3.org/2000/svg">
−
3
∞
<
−
3
0
。然后,通过定义的<年代vghe我ght="14.7125" id="M297" style="vertical-align:-3.2316pt;width:85.75px;" version="1.1" viewbox="0 0 85.75 14.7125" width="85.75" xmlns="http://www.w3.org/2000/svg">
−
(
(
)
)
,我们有<年代vghe我ght="14.75" id="M298" style="vertical-align:-3.25793pt;width:207.6125px;" version="1.1" viewbox="0 0 207.6125 14.75" width="207.6125" xmlns="http://www.w3.org/2000/svg">
−
(
(
0
)
)
≤
−
(
(
∞
)
)
。因此,我们有<年代pan class="displayed-label" id="eq23">
∞
=
1
−
0
<
−
2
∞
=
1
−
∞
,
−
2
(
2
。
3
9
)
自<年代vghe我ght="14.7125" id="M300" style="vertical-align:-3.2316pt;width:112.95px;" version="1.1" viewbox="0 0 112.95 14.7125" width="112.95" xmlns="http://www.w3.org/2000/svg">
−
(
(
)
)
=
2
为<年代vghe我ght="10.7375" id="M301" 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">
足够大。这意味着<年代vghe我ght="14.75" id="M302" style="vertical-align:-3.25793pt;width:131.9875px;" version="1.1" viewbox="0 0 131.9875 14.75" width="131.9875" xmlns="http://www.w3.org/2000/svg">
−
(
0
)
<
−
(
∞
)
。然后,财产(3)。年代pan>
现在,我们已经准备好证明的主要结果。我们首先给出定理的证明<一个href="#thm1.1">1.1一个>。
定理的证明<一个href="#thm1.1">1.1一个>。我>年代pan>解决方案(<一个href="#EEq2.11">2.8一个>)
年代
E
确实是非常数的经典<年代vghe我ght="10.8875" id="M304" style="vertical-align:-0.16302pt;width:17.4375px;" version="1.1" viewbox="0 0 17.4375 10.8875" width="17.4375" xmlns="http://www.w3.org/2000/svg">
2
周期性的解决方案和对称结构(<一个href="#EEq2.5">2.4一个>),因此他们给的解决方案(<一个href="#EEq1.8">1.7一个>)的属性<年代vghe我ght="13.45" id="M305" style="vertical-align:-2.21957pt;width:105.1625px;" version="1.1" viewbox="0 0 105.1625 13.45" width="105.1625" xmlns="http://www.w3.org/2000/svg">
(
−
)
=
−
(
)
。因此,我们将寻求解决方案(<一个href="#EEq2.11">2.8一个>)
年代
E
。现在,定理<一个href="#thm1.1">1.1一个>之前的前题<一个href="#lem2.1">2.1一个>,2.6一个>,2.7一个>和定理。年代pan>
定理的证明<一个href="#thm1.2">1.2一个>。我>年代pan>显然,定理<一个href="#thm1.2">1.2一个>之前的前题<一个href="#lem2.2">2.2一个>,2.6一个>,2.7一个>和定理。年代pan>
确认 作者感谢裁判论文的仔细阅读,并给予宝贵的建议。这项工作是由中国国家自然科学基金(11026212)。本文使用AMS-LATEX排版。