国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

具有跳躍項的Duffing方程的擬周期解?

2020-01-08 01:42:58張新麗
關(guān)鍵詞:有界定理證明

張新麗

(1.中國海洋大學數(shù)學科學學院, 山東 青島 266100; 2.青島科技大學數(shù)理學院, 山東 青島 266061)

0 引言

近年來,具有跳躍項的半線性Duffing 方程

x″+ax+-bx-=f(x,t)

(1)

已成為非線性振動理論研究的熱點(見文獻[1-10]),其中a和b是正常數(shù),且a≠b;x+=max{x,0},x-=max{-x,0},當方程中f(x,t)只與t有關(guān)時,方程(1)變?yōu)?/p>

x″+ax+-bx-=f(t)。

(2)

Dancer[1]和Fucik[2]研究了方程(2)的邊值問題。Ortega[3]研究了方程

x″+ax+-bx-=1+εh(t)。

(3)

他證明了當|ε|充分小,h(t)∈C4(R/2πZ)時,一切解是有界的,即對于任意t∈R,解x(t)

Liu[7]將方程(2)中f(t)是周期情形的結(jié)果推廣到了擬周期情形。他首先建立了擬周期反轉(zhuǎn)映射的不變曲線的存在性定理,并利用它證明了當f(t)是實解析擬周期函數(shù)時,方程(2)擬周期解的存在性和任意解的有界性。

文獻[8]建立了光滑擬周期映射的不變曲線的存在性定理,并證明了當f(t)是光滑擬周期函數(shù)時,方程(2)的擬周期解的存在性和任意解的有界性。

Wang[9]研究了方程(1)中函數(shù)f(x,t)=p(t)-φ(x)的情況,其中p(t)為光滑的2π周期函數(shù),擾動項φ(x)為有界函數(shù),利用Ortega建立的扭轉(zhuǎn)定理,證明了周期解的有界性。

文獻[10]研究了方程

x″+ax+-bx-=Gx(x,t)+p(t)。

(4)

式中:p(t)∈C23(R/2πZ);G(x,t)∈C21(R×R/2πZ),利用Moser 小扭轉(zhuǎn)定理證明了方程任意解的有界性。

受文獻[8-9]啟發(fā),本文研究方程

x″+ax+-bx-+φ(x)=p(t)。

(5)

式中:擾動項φ(x)為有界函數(shù),且φ(0)=0;p(t)是光滑擬周期函數(shù),其頻率ω=(ω1,ω2,…,ωn)滿足Diophantine條件

(6)

式中:|k|=|k1|+|k2|+…+|kn|;常數(shù)σ0;μ>0。利用文獻[8]中的扭轉(zhuǎn)定理,證明了方程(5)的擬周期解的存在性和任意解的有界性。

先引入輔助函數(shù)[4]

C(t)是初值問題

的解。記S(t)=-C′(t),則

(Ⅰ)C(-t)=C(t),S(-t)=-S(t)。

(Ⅲ)S2(t)+a(C+(t))2+b(C-(t))2≡a。

本文的主要結(jié)果如下:

定理1設對任意的k∈Zn{0}有〈k,ωω0〉?Z,若(H1)p(t)∈Cq+1(q>2n+1),且

(H3)bφ(+∞)-aφ(-∞)≠p0(b-a)。

則方程(5)有無窮多個擬周期解,且所有解是有界的。

(H4)p(t)∈Cq+1(q>2n+3),且

則方程(5)有無窮多個擬周期解,且所有解是有界的。

在下文中,規(guī)定c<1和C>1是兩個通用的正常數(shù)。

1 準備工作

方程(5)等價于下面的非自治Hamilton系統(tǒng)

(7)

其中

容易證明下面的引理:

引理1對任意(x0,y0)∈R2,t0∈R,哈密頓系統(tǒng)(7)在整個t軸上存在滿足z(t0)=(x0,y0)的解為z(t)=(x(t;t0,x0,y0),y(t;t0,x0,y0))。

利用變換

(8)

其中

(9)

(10)

由φ(x)∈Cq(R),p(t)∈Cq+1(R/2πZ)知,I1,I2關(guān)于r,θ分別為Cq+1,C2。記

(11)

有如下結(jié)論(見文獻[4]):

(12)

(Ⅱ)

(13)

(Ⅲ)若函數(shù)

(14)

(15)

(Ⅳ)若假設

(16)

其中

(17)

(18)

(Ⅴ)

(19)

(20)

(Ⅶ)令

(21)

(22)

下面對哈密頓系統(tǒng)(8)做正則變換。系統(tǒng)(8)的Hamilton函數(shù)h(r,θ,t)由(9)式給出。由于

rdθ-hdt=-(hdt-rdθ),

這意味著若從(9)式能解出r=r(h,t,θ)作為h,t和θ的函數(shù),于是

(23)

方程(23)是一個Hamilton系統(tǒng),它以r=r(h,t,θ)為其Hamilton函數(shù),以h,t和θ分別作為作用變量、角變量和時間變量。由(9)知

且當r>>1時,

(24)

由隱函數(shù)定理知,存在函數(shù)R=R(h,t,θ),使得

r(h,t,θ)=ω0h-R(h,t,θ),

(25)

其中R1(h,t,θ)滿足(18)。因此系統(tǒng)(8)轉(zhuǎn)化為

(26)

引理2[9]存在正則變換Φ1:h=ρ,t=τ+T(ρ,θ),其中T(ρ,θ+2π)=T(ρ,θ)。在此變換下,Hamilton函數(shù)(25)變換為

(27)

2 定理的證明

本節(jié)利用文獻[8]中的小扭轉(zhuǎn)定理來證明2個定理。考慮正則變換后的Hamilton系統(tǒng)

(28)

(29)

顯然,系統(tǒng)(28)變換為

(30)

其中

由(21)知

(31)

將J(ω0δ-2v)代入Hamilton函數(shù)H(v,τ,θ,δ),得

其中

由注釋(Ⅶ)和引理2得到

(32)

新的Hamilton函數(shù)H(v,τ,θ,δ)代入系統(tǒng)(29)得到

(33)

在初始條件(v(v0,τ0,0),τ(v0,τ0,0))=(v0,τ0)下,系統(tǒng)(33)存在解(v(v0,τ0,θ),τ(v0,τ0,θ)),可設它有如下表達式

(34)

因此系統(tǒng)(33)的Poincare映射P1為

P1(v0,τ0)=(v0+δF2(v0,τ0,θ),τ0+ω0θ+

δF1(v0,τ0,θ))。

對(34)兩邊求導得

(35)

由式(32)和(35)可得,當δ→0+,k+l≤q-2,時,

其中C0是與δ無關(guān)的常數(shù)。此時記作

F1(v0,τ0,θ)=Oq-2(1),F2(v0,τ0,θ)=Oq-2(1)。

若當δ→0+,k+l≤q-2時

記作

F1(v0,τ0,θ)=oq-2(1),F2(v0,τ0,θ)=oq-2(1)。

因此

v(v0,τ0,θ)=v0+δOq-2(1),
τ(v0,τ0,θ)=τ0+ω0θ+δOq-2(1)。

(36)

由式(35)直接計算知

F1(v0,τ0,2π)=

F2(v0,τ0,2π)=

故Poincare映射P1的表達式為:

(37)

其中

(38)

(39)

(40)

假設函數(shù)p(t)具有如下Fourier展開式

定理1的證明:若對任意的k∈Zn{0}有〈k,ωω0〉?Z,由文獻[8]中的定理3.1知,若δ充分小且

即bφ(+∞)-aφ(-∞)≠p0(b-a);

由式(8)及Fubini定理知

滿足文獻[8]中定理3.1的所有條件,因此系統(tǒng)(33)的Poincare映射有擬周期不變曲線,頻率為(ω1,ω2,…,ωn)。從而系統(tǒng)(7)有無窮多個擬周期解,且所有解都是有界的。定理證畢。

注1:從定理1的證明過程知,系統(tǒng)(7)有無窮多個頻率為

的擬周期解,其中α滿足下面的條件

其中常數(shù)γ,δ充分小,

根據(jù)文獻[8]中定理3.4證明過程知,

l=l1(u0,τ0),m=l2(u0,τ0),

由于?τ0∈R,

不妨設

滿足了文獻[8]中定理3.4的所有條件,因此系統(tǒng)(33)的Poincare映射有擬周期不變曲線,頻率為(ω1,ω2,…,ωn)。因此系統(tǒng)(7)有無窮多個擬周期解,且所有解都是有界的。定理證畢。

注2:從定理2的證明過程知,系統(tǒng)(7)有無窮多個擬周期解,其頻率為

其中α滿足下面的條件

α∈[Ω(1)+12-3γ,Ω(2)-12-3γ],

致謝:本文的研究和寫作過程中,樸大雄教授給予了悉心地指導,并提出了很多寶貴意見,作者在此向他表示誠摯的謝意。

猜你喜歡
有界定理證明
復Banach空間的單位球上Bloch-型空間之間的有界的加權(quán)復合算子
J. Liouville定理
獲獎證明
判斷或證明等差數(shù)列、等比數(shù)列
A Study on English listening status of students in vocational school
一類具低階項和退化強制的橢圓方程的有界弱解
“三共定理”及其應用(上)
淺談正項有界周期數(shù)列的一些性質(zhì)
證明我們的存在
Individual Ergodic Theorems for Noncommutative Orlicz Space?
瑞丽市| 济南市| 南川市| 平乐县| 蓬溪县| 克东县| 合水县| 吉安县| 夏邑县| 镇坪县| 宁城县| 浦城县| 宁明县| 花莲市| 百色市| 措勤县| 宁南县| 九龙坡区| 克山县| 铁力市| 鲁山县| 新宁县| 黄浦区| 长葛市| 紫云| 龙川县| 上虞市| 博乐市| 陆丰市| 准格尔旗| 江城| 重庆市| 叙永县| 长治县| 遂宁市| 大港区| 南城县| 北宁市| 阿拉善盟| 崇仁县| 赣州市|