徐菲
摘 要 利用臨界點理論,先將邊值問題的解轉換為相應泛函的臨界點,再利用鞍點定理得到該泛函的臨界點的存在問題,進而得到邊值問題解的存在性。
關鍵詞 階差分方程 解的存在性 鞍點定理 Neumann邊值問題
中圖分類號:O175.08 文獻標識碼:A DOI:10.16400/j.cnki.kjdkx.2016.03.022
1 引言及主要結果
近年來,差分方程的研究越來越受到大家的關注,其中周期解以及邊值問題的研究最為廣泛。之前大家對差分方程周期解的存在問題,邊值問題采用的都是古典的方法,①即先找到相應的Green函數,再將問題轉換為算子不動點問題,進而利用相關的不動點定理和拓撲度理論來討論解的存在性。自2003年,②庾建設教授等人將臨界點理論應用于差分方程的研究后,我們發現該方法為差分方程的學習開辟了新的方法。并且,較之前的方法,臨界點理論③更為方便高效。之前關于差分Neumann邊值問題的研究多是低階④⑤的,高階⑥⑦的相對較少。
令、分別表示實數集和整數集,表示自然數集。
€HO, ≤定義 = {, + 1, …}, = {, + 1, …, }。本文主要考慮以下階差分方程
() + (,) = 0, (1.) (1.1)
在Neumann邊值條件 = = … = = 0, = = … = = 0 (1.2) 下解的存在問題。是任意的正整數,且有>。這里€HU為向前差分算子,其中 = , = €HU(€HU)。((1,)€?),是一組給定的非零的序列。令
() = () (1.3)
其中( )= ( ),且有
= ()( ), €HO(1,)
因此是邊值問題(1.1)-(1.2)的解當且僅當是在上的一個臨界點且滿足條件(1.2)。*表示一個向量的轉置,令 = {, , …, }*則存在一個階矩陣使得 = (),那么(1.3)式可以如下表示:
() = ()() (1.4)
這里 () = ( ),設()表示的所有特征值構成的集合。
定義1.1 設是一個實Banach空間,()滿足Palais-Smale條件(簡稱P.S.條件),如果對任給的{},{()}有界,當時()蘊含{}有收斂的子列。記 = {:||||<}是以0為中心,半徑為的開球,邊界€HQ = { : |||| = }。
引理1.1 (鞍點定理⑧)設 = ⊕是一個Hilbert空間,其中≠{0}是的一個有限維的子空間。若()滿足P.S.條件且滿足:
(1) 存在常數>0,>0使得≤,
(2) 存在和常數>使得≥,
那么有臨界值≥,且 = (()),€%m = {(∩, ): = }其中表示∩上的恒等算子。
2 主要結論及其證明
定理2.1 假設存在一個常數(),對任給的(1,)有
( ()) = 0 (2.1)
那么邊值問題(1.1)-(1.2)至少存在一個非平凡解。
證明: 設 = , = |||| 2。其中是一個階單位矩陣,由已知條件知0(),方程(1.4)可轉換為
() = () (2.2)
設 = {|||()},有>0。取定(0,),由(2.1)式知,存在一個正常數使得
∣( )∣≤|| + ,(1,)。 (2.3)
因此有
||€HV|| =
≤≤|||| +
這里 = {:(1,)}。下面我們就兩種情形來證明。
情形1:當≠€HT時。
要證明泛函存在臨界點,可以運用引理(1.1)。首先,我們證明滿足P.S.條件。設,(1)使得{()}幾乎處處有界,且當時()0。存在,當>時,有||()||≤1。因此
|||| = ||() + €HV()||≤||()|| + ||€HV()||≤1 + |||| +
由于0(),所以 = ⊕。令 = + ,其中,那么有
||||2 = || + ||2 = ||||2 + ||||2 ≥||||2 + ||||2 = ||||2
因此對任給的>,||||≤||||≤|||| + + 1也就是說||||≤
可以看到{}有收斂的子列,因此滿足P.S.條件。下面我們只需證明滿足引理1.1的兩個條件即可。由(2.3)式可以看出|()|≤||||2 + ||||,那么對任給的,有
()≥()|()|≥||||2 ||||2 ||||
= ()(||||)2 (2.4)
設 = ,那么對任給的,有()≥,此時 = 0, = , = 。
對任給的 = ,有
()≤() + |()|≤||||2 + ||||2 + ||||
= ()(||||)2 + ||||
根據定義知<0,所以當||||→時()→。也就是說存在常數<,>0使得≤,即條件(2)滿足。所以由鞍點定理知,至少存在一個非平凡解。
情形1:當 = €HT時。
是正定的,(2.4)式意味著當||||→時()→。也就是說可以在某一點取到最小值,其中() = 。所以即為邊值問題(1.1)-(1.2)的解。
注釋
① Agarwal ,RP, Wong, FH: Upper and lower solutions method for higher-order discrete boundary values problems, Math. Inequal. Appl. 1 551-557 (1998).
② Guo, ZM, Yu, JS: Existence of periodic and subharmonic solutions for two-order superlinear difference equations, Sci. China Ser. A. 33 226-235 (2003).
③ 張恭慶.臨界點理論及其應用[M].上海:上海科學出版社,1980.
④ Liu, X, Zhang, YB, Shi, HP: Periodic solutions for fourth-order nonlinear functional difference equations, Math. Meth. Appl. Sci. 38 1-10 (2014).
⑤ Liu,X,Zhang,YB,Shi,HP: Noexistence and existence results for a class of fourth-order difference Dirichlet boundary value problems, Math. Meth. Appl. Sci. 38 691-700(2015).
⑥ Zhou, Z, Yu, JS, Chen, YM: Periodic solutions of a 2nth-Order nonliner
⑦ 周展,庾建設,陳玉明.2n階非線性差分方程的周期解[J].中國科學:數學,2010.40(1):33-42.
⑧ Rabinowitz,PH:Minimax Methods in Critical Point Theory with Applications to Differential Equatins, Amer. Math. Soc. Providence, RI, USA, 65(1986).