数学物理学报, 2022, 42(3): 760-766 doi:

论文

依赖参数的2$n$阶差分方程边值问题多个非平凡解的存在性

王振国,

黄淮学院数学与统计学院 河南驻马店 463000

Existence and Multiplicity of Solutions for a 2$n$th-Order Discrete Boundary Value Problems with a Parameter

Wang Zhenguo,

School of Mathematics and Statistics, Huanghuai University, Henan Zhumadian 463000

收稿日期: 2021-05-20  

基金资助: 国家自然科学基金.  11971126
吕梁市科学技术重点研发项目.  Rc2020213

Received: 2021-05-20  

Fund supported: the NSFC.  11971126
the Program for Scientific and Technological Research of Lüliang City.  Rc2020213

作者简介 About authors

王振国,E-mail:wangzhg123@163.com , E-mail:wangzhg123@163.com

Abstract

In this paper, we consider the existence and multiplicity of solutions for a $2n$th-order discrete boundary value problems depending on a parameter $\lambda$. When $\lambda\in\left(\frac{p(T)}{2B}, \frac{1}{2A}\right)$, we obtain a sufficient condition for the existence of solutions of a discrete boundary value problems by means of critical point theory. Finally, one example is given to illustrate our main result.

Keywords: Difference equation ; Boundary value problems ; Critical point theory ; Nontrivial solutions

PDF (313KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

王振国. 依赖参数的2$n$阶差分方程边值问题多个非平凡解的存在性. 数学物理学报[J], 2022, 42(3): 760-766 doi:

Wang Zhenguo. Existence and Multiplicity of Solutions for a 2$n$th-Order Discrete Boundary Value Problems with a Parameter. Acta Mathematica Scientia[J], 2022, 42(3): 760-766 doi:

1 引言

近几年, 差分方程被广泛地应用于计算机科学、经济学、生物学等研究领域[1-4], 大量的学者对相关的差分方程问题进行了研究, 其中差分方程解的存在性是研究内容中一个重点, 例如: 周期解的存在性、同宿轨、多解及正解的存在性等[5-11]. 对于微分方程解的存在性的研究, 他们主要使用临界点理论、上下解方法和不动点定理等对微分方程解的存在性进行研究, 详细的研究内容可见文献[5, 6, 12-14]. 在本文中, 我们主要运用临界点理论研究一类具有参数的高阶差分方程边值问题多解存在性.

为了方便读者, 首先我们给出研究问题所需一些符号. 设$ {\Bbb Z} $表示整数集, $ {\Bbb R} $表示实数集, $ a, b\in {\Bbb Z} $, $ {\Bbb Z}(a, b)=\{a, a+1\ldots, b\} $, $ (a\leq b) $.

本文考虑如下具有参数的$ 2n $阶差分方程边值问题

$ \begin{eqnarray} \left\{ \begin{array}{l} \Delta^{n}(p(k)\Delta^{n} u(k-n))+\lambda(-1)^{n+1} f(k, u(k))=0, k\in{\Bbb Z}(1, T), \\ u(0)=u(-1)=\cdots=u(1-n)=0, \Delta^{n}u(T)=\Delta^{n-1}u(T)=\cdots=\Delta u(T)=0, \end{array} \right. \end{eqnarray} $

其中$ T $$ n $是正整数, 并且满足$ T>n $, $ \lambda $是一个正实参数. 对任意的$ k\in{\Bbb Z}(1, T) $, $ f(k, \cdot):{\Bbb R}\rightarrow {\Bbb R} $是连续函数, 并且$ p(k)>0 $. $ \Delta $表示向前差分算子, 定义为$ \Delta u(k)=u(k+1)-u(k) $, $ \Delta^{n} u(k)=\Delta(\Delta^{n-1}u(k)) $.

2003年, 郭志明和庾建设在文献[11] 中首次利用临界点理论(环绕定理)研究如下非线性差分方程周期解、次调和解的存在性

$ \begin{equation} \Delta^{2} u(k-1)+f(k, u(k))=0 , k\in{\Bbb Z}, \end{equation} $

其中对任意的$ k\in{\Bbb Z} $, $ f(k, \cdot)\in C({\Bbb R}, {\Bbb R}) $, 且$ f(k, \cdot)=f(k+m, \cdot) $, $ m $是正整数.

随后, 更多的学者运用临界点理论研究不同类型的差分方程问题[15-17]. 然而, 带有参数的边值问题(1.1) 解的存在性的研究成果特别少. 2010年, 周展在文献[6] 中首次利用环绕定理证明了如下周期差分方程

$ \begin{eqnarray} \Delta^{n}(p(k)\Delta^{n} u(k-n))+(-1)^{n+1} f(k, u(k))=0, k\in{\Bbb Z} \end{eqnarray} $

至少存在两个非平凡周期解. 2018年, 梅鹏和周展在文献[8] 中考虑了如下具有$ 2n $$ p $拉普拉斯算子方程

的周期解和次调和解的存在性.

在本文中, 我们主要考虑了问题(1.1) 在非周期的情形下非平凡解的存在性问题. 当非线性项$ f(k, \cdot) $在满足特定的条件(2.9) 时, 我们运用文献[18] 中的临界点理论得到了差分方程边值问题(1.1) 至少存在无穷多个非平凡解. 最后, 我们用一个实例来说明我们的结论是正确的. 我们注意到在文献[6] 中, 作者考虑了差分方程(1.3) 为周期的情形, 得到了该方程存在两个非平凡周期解. 而在本文中, 我们进一步研究了差分方程(1.3) 是依赖参数的非周期的情形, 证明了当参数$ \lambda\in\left(\frac{p(T)}{2B}, \frac{1}{2A}\right) $ (见定理2.1)时, 边值问题(1.1) 存在无穷多个非平凡解, 该研究内容补充了文献[6] 中相关理论.

2 相关定义和结论

为了证明我们的主要结论, 我们首先给出边值问题(1.1) 的变分框架和相关的引理.

考虑$ T $ -维实Banach空间

定义相应的范数为

$ \begin{eqnarray} \|u\|=\bigg(\sum^{T}_{k=1}(|u(k)|^{2}\bigg)^{\frac{1}{2}}. \end{eqnarray} $

我们可以定义$ S $上另外一个等价范数如下

$ \begin{eqnarray} \|u\|_{\infty}=\max\limits_{k\in{\Bbb Z}(1, T)}\{|u(k)|\}. \end{eqnarray} $

$ E $是一个自反的实Banach空间, 泛函$ I_{\lambda}:E\rightarrow {\Bbb R} $满足下面的结构假设:

(H1) 假设$ \lambda $是一个正实参数. 设$ I_{\lambda}:=\Phi(u)-\lambda\Psi(u) $, $ \forall u\in E $, 其中$ \Phi, \Psi\in C^{1}(E, {\Bbb R}) $, $ \Phi $是强制的, 即$ \lim\limits_{\| u\|\rightarrow \infty}\Phi(u)=+\infty $.

任给$ r>\inf_{E}\Phi $, 令

显然, $ \gamma\geq 0 $, $ \delta\geq 0 $.$ \gamma=0 $或者$ \delta=0 $时, 记$ \frac{1}{\gamma} $$ \frac{1}{\delta} $$ +\infty $. 我们主要结论将用到下面的引理:

引理2.1  [18]假设$ \rm (H1) $成立, 则下列结论成立

$ \rm (a) $对任给$ r>\inf_{E}\Phi $, 任意的$ \lambda\in\left(0, \frac{1}{\varphi(r)}\right) $, 泛函$ I_{\lambda}=\Phi(u)-\lambda\Psi(u) $$ u\in\Phi^{-1}(-\infty, r) $上有一个全局最小点, 它是$ I_{\lambda} $$ E $中局部极小临界点.

$ \rm (b) $如果$ \gamma<+\infty $, 对任意的$ \lambda\in(0, \frac{1}{\gamma}) $, 则下列两个结论二者选一:

$ \rm (b1) $$ I_{\lambda} $存在一个全局最小点, 或者

$ \rm (b2) $存在$ I_{\lambda} $的一个临界点(局部极小点)序列$ \{u_{n}\} $使得$ \lim\limits_{n\rightarrow \infty}\Phi(u_{n})=+\infty $.

下面给出问题(1.1) 的变分框架.

对任意$ u\in S $, 令

$ \begin{eqnarray} \Phi(u)=\frac{1}{2}\sum\limits^{T}_{k=1}p(k)(\Delta^{n} u(k-n))^{2}, \Psi(u)=\sum^{T}_{k=1}F(k, u(k)) , I_{\lambda}(u)=\Phi(u)-\lambda\Psi(u), \end{eqnarray} $

其中$ F(k, \xi)=\int_{0}^{\xi}f(k, s){\rm d}s. $显然, $ I_{\lambda}\in C^{1}(S, {\Bbb R}) $, 直接计算$ I_{\lambda} $$ u(k) $偏导数, 得

$ \begin{equation} \frac{\partial I_{\lambda}(u)}{\partial u(k)}=(-1)^{n}\Delta^{n}(p(k)\Delta^{n} u(k-n))-\lambda f(k, u(k)), k\in{\Bbb Z}(1, T). \end{equation} $

从上式看出, 若$ u $是泛函$ I_{\lambda} $$ S $上的临界点当且仅当

假设$ F(k, \cdot) $满足下列条件:

(H2) $ F(k, \cdot)\in C^{1}({\Bbb R}, {\Bbb R}) $$ F(k, 0)=0 $, $ F(0, \cdot)=0 $, $ \forall k\in{\Bbb Z}(1, T) $;

(H3) $ B=\limsup\limits_{\xi\rightarrow +\infty} \frac{F(k, \xi)}{\xi^{2}} $, $ \forall k\in{\Bbb Z}(1, T) $.

$ \begin{equation} p_{\ast}=\min\limits _{k\in{\Bbb Z}(1, T)}\{p(k)\}. \end{equation} $

下面我们给出文中的主要定理.

定理2.1  假设条件$ \rm (H2), (H3) $满足且存在两个实数序列$ \{a_{j}\}, \{c_{j}\} $, 其中$ \lim\limits_{j\rightarrow +\infty}c_{j}=+\infty $, 使得

$ \begin{equation} |a_{j}|<c_{j}, \end{equation} $

$ \begin{equation} A<\frac{B}{p(T)}, \end{equation} $

其中$ A=\liminf\limits_{j\rightarrow +\infty} \frac{\sum\limits^{T}_{k=1} \max\limits_{|u(k)| \leq c_{j}}F(k, u(k))- F(T, a_{j})}{2\alpha c_{j}^{2}-p(T)a_{j}^{2}} $.

则对每一个$ \lambda\in\left(\frac{p(T)}{2B}, \frac{1}{2A}\right) $, 问题(1.1) 存在一个无界无穷解序列.

  我们注意到

其中$ x=(\Delta^{n-1}u(1-n), \Delta^{n-1}u(2-n), \cdots, \Delta^{n-1}u(T+1-n))^{tr} $, $ C^{i} $$ (i\times i) $对称矩阵

显然, $ 0 $$ C^{i} $的一个特征值, 对任意的$ \eta=(v, v, \cdots, v)^{tr}\in{\Bbb R}^{i} $是对应于$ 0 $的特征向量, 这里, $ v\neq0 $.$ 0<\lambda_{(i, 1)}\leq\lambda_{(i, 2)}\leq\cdots\leq\lambda_{(i, i-1)} $$ C^{i} $的其它特征值, 于是

进一步

$ \alpha=\frac{p_{\ast}}{2}\lambda_{(T+1, 1)}\cdot\lambda_{(T+2, 1)}\cdots\lambda_{(T+n, 1)}\leq2^{2n-1}p_{\ast} $, 因此

$ \|u\|\rightarrow \infty $时, $ \Phi(u)\rightarrow \infty $, 即$ \Phi(u) $$ S $上是强制的. 容易验证(H1) 的其它条件也成立的.

我们使用引理2.1中的$ \rm (b2) $证明我们的主要结论. 取$ \lambda\in\left(\frac{p(T)}{2B}, \frac{1}{2A}\right) $, 假设$ \gamma<+\infty $.$ r_{j}=\alpha c_{j}^{2} $, $ j\in Z $. 如果$ \|u\|\leq (\frac{r_{j}}{\alpha})^{\frac{1}{2}} $, 对于任意的$ k\in{\Bbb Z}(1, T) $, 我们有$ |u(k)|\leq\max\limits _{k\in{\Bbb Z}(1, T)}\{|u(k)|\}\leq \|u\|\leq c_{j} $, 由此可得

$ \begin{eqnarray} \varphi(r_{j})&\leq&\inf\limits_{\|u\|\leq (\frac{r_{j}}{\alpha})^{1/2}}\frac{\sup\limits_{(\|u\|\leq\frac{r_{j}}{\alpha})^{1/2}} \sum\limits^{T}_{k=1}F(k, u(k)) -\sum\limits^{T}_{k=1} F(k, u(k))}{r_{j}-\Phi(u)}{}\\ &\leq&\inf\limits_{\|u\|\leq(\frac{r_{j}}{\alpha})^{1/2}}\frac{\sum\limits^{T}_{k=1} \max\limits_{|u(k)| \leq c_{j}}F(k, u(k)) -\sum\limits^{T}_{k=1} F(k, u(k))}{\alpha c_{j}^{2}-\Phi(u)}. \end{eqnarray} $

对任意的$ k\in{\Bbb Z}(1-n, T-1) $, 取$ (g_{j})(k)=0 $, $ (g_{j})(T)=(g_{j})(T+1)=\cdots=(g_{j})(T+n)=a_{j} $. 显然, $ g_{j}\in S $$ \Phi(g_{j})=\frac{p(T)a_{j}^{2}}{2} $. 从(2.6) 式, 得到$ \|g_{j}\|=|a_{j}|\leq (\frac{r_{j}}{\alpha})^{\frac{1}{2}} $, 代入(2.8)式有

因此, $ \gamma\leq\liminf\limits_{j\rightarrow \infty}\varphi(r_{j}) \leq 2A<+\infty $.

下面, 我们只需验证$ I_{\lambda} $是无下界的. 由(H3), 存在一个正实序列$ \{d_{j}\} $满足$ \lim\limits_{j\rightarrow \infty}d_{j}=+\infty $且有

$ \begin{equation} B=\lim\limits_{j\rightarrow +\infty} \frac{F(k, d_{j}) }{d_{j}^{2}}, \forall k\in{\Bbb Z}(1, T). \end{equation} $

首先, 假设$ B=+\infty $, 那么存在$ M>\frac{p(T)}{2\lambda} $$ \nu_{M}\in {\Bbb Z} $, 当$ \forall j>\nu_{M} $时, 有

$ S $上取一个序列$ \{s_{j}\} $满足: 对任意的$ k\in{\Bbb Z}(1, T-1) $, 取$ (s_{j})(k)=0 $, $ (s_{j})(T)=d_{j} $. 于是

从上式看出, $ \lim\limits_{j\rightarrow +\infty}I_{\lambda}(s_{j})=-\infty $.

接下来, 我们假设$ B<+\infty $. 因为$ \lambda>\frac{p(T)}{2B} $, 从(2.9) 式, 令$ \varepsilon>0 $$ \varepsilon<B-\frac{p(T)}{2\lambda} $, 一定存在$ \nu_{\varepsilon}\in {\Bbb Z} $使得

$ S $中仍取上面的序列$ \{s_{j}\} $, 我们有

显然, $ \lim\limits_{j\rightarrow +\infty}I_{\lambda}(s_{j})=-\infty $.

因此, 由引理$ 2.1 $$ \rm (b2) $, 存在$ I_{\lambda} $的一个临界点(局部极小点)序列$ \{u_{n}\} $使得$ \lim\limits_{n\rightarrow \infty}\Phi(u_{n})=+\infty $. 证毕.

由定理2.1, 我们可以得到如下推论.

推论2.1  假设条件$ \rm (H2) $$ \rm (H3) $成立, 且

$ \begin{eqnarray} A=\liminf\limits_{t\rightarrow +\infty} \frac{\sum\limits^{T}_{k=1} \max\limits_{|\xi|\leq t}F(k, \xi)}{t^{2}}<\frac{2\alpha B}{p(T)}, \end{eqnarray} $

则对每一个$ \lambda\in\left(\frac{p(T)}{2B}, \frac{\alpha}{A}\right) $, 问题(1.1) 存在一个无界无穷解序列.

  令$ \{c_{j}\} $是一个实序列且$ \lim\limits_{j\rightarrow \infty}c_{j}=+\infty $, 使得

$ \begin{eqnarray} A=\lim\limits_{j\rightarrow +\infty} \frac{\sum\limits^{T}_{k=1} \max\limits_{|\xi|\leq c_{j}}F(k, \xi)}{c_{j}^{2}}. \end{eqnarray} $

在(2.7) 式中, 对任意的$ j\in {\Bbb Z} $, 令$ a_{j}=0 $, 再结合条件(H3), (2.10)和(2.11)式, 我们能使用定理2.1推得结论. 证毕.

最后, 我们给出一个例子说明我们的主要结论.

例2.1  考虑边值问题(1.1), 给定函数如下: 对任意的$ k\in{\Bbb Z}(1, T) $, 有

$ \begin{eqnarray} f(k, u)=f(u) =2u\left(1+\varepsilon+\cos(2\ln|u|+1)-\varepsilon \sin(2\ln|u|+1)\right). \end{eqnarray} $

显然, $ F(u) $$ {\Bbb R} $上偶函数, 并且在$ [0, +\infty) $上是单调增加的, 容易验证$ F(u) $满足条件$ \rm (H1) $$ \rm (H2) $, 于是

计算下面极限

$ T=3 $, 对任意的$ k\in{\Bbb Z}(1, 3) $, $ p(k)=1 $, 取充分小的$ \varepsilon>0 $, 总有$ \frac{1}{4+2\varepsilon}< \frac{\alpha}{3\varepsilon} $, 因此, 对任每一个$ \lambda\in\left(\frac{1}{4+2\varepsilon}, \frac{\alpha}{3\varepsilon}\right) $, 由推论2.1, 问题(1.1) 存在一个无界无穷解序列.

参考文献

Kelly W G , Peterson A C . Difference Equations: An Introduction with Applications. San Diego: Academic Press, 1991

[本文引用: 1]

Agarwal R P . Difference Equations and Inequalities. Theory, Methods, and Applications. New York: Marcel Dekker, 2000

Yu J S , Zheng B .

Modeling Wolbachia infection in mosquito population via discrete dynamical model

Journal of Difference Equations and Applications, 2019, 25 (11): 1549- 1567

DOI:10.1080/10236198.2019.1669578     

徐家发, 罗洪林, 刘立山.

一类具有p-Laplacian算子的分数阶差分方程边值问题的正解

数学物理学报, 2021, 41A (2): 402- 414

DOI:10.3969/j.issn.1003-3998.2021.02.012      [本文引用: 1]

Xu J F , Luo H L , Liu L S .

Positive solutions for a class of fractional difference equations boundary value problems with p-Laplacian operator

Acta Mathematica Scientia, 2021, 41A (2): 402- 414

DOI:10.3969/j.issn.1003-3998.2021.02.012      [本文引用: 1]

Zhou Z , Yu J S , Guo Z M .

Periodic solutions of higher-dimensional discrete systems

Proceedings of the Royal Society of Edinburgh: Section A Mathematics, 2004, 134 (5): 1013- 1022

DOI:10.1017/S0308210500003607      [本文引用: 2]

Zhou Z , Yu J S , Chen Y M .

Periodic solutions of a 2nth-order nonlinear difference equation

Science China Mathematics, 2010, 53 (1): 41- 50

DOI:10.1007/s11425-009-0167-7      [本文引用: 4]

D'AguíG , Mawhin J , Sciammetta A .

Positive solutions for a discrete two point nonlinear boundary value problem with p-Laplacian

Journal of Mathematical Analysis and Applications, 2017, 447 (1): 383- 397

DOI:10.1016/j.jmaa.2016.10.023     

Mei P , Zhou Z .

Periodic and subharmonic solutions for a 2nth-order p-Laplacian difference equation containing both advances and retardations

Open Mathematics, 2018, 16, 1435- 1444

DOI:10.1515/math-2018-0123      [本文引用: 1]

Lin G H , Zhou Z .

Homoclinic solutions of discrete φ-Laplacian equations with mixed nonlinearities

Communications on Pure and Applied Analysis, 2018, 17 (5): 1723- 1747

DOI:10.3934/cpaa.2018082     

Zhou Z , Ling J X .

Infinitely many positive solutions for a discrete two point nonlinear boundary value problem with φc-Laplacian

Applied Mathematics Letters, 2019, 91, 28- 34

DOI:10.1016/j.aml.2018.11.016     

Guo Z M , Yu J S .

Existence of periodic and subharmonic solutions for second order superlinear difference equtions

Science China Mathematics, 2013, 46, 506- 515

[本文引用: 2]

Bereanu C , Mawhin J .

Boundary value problems for second-order nonlinear difference equations with discrete φ-Laplacian and singular φ

Journal of Difference Equations and Applications, 2008, 14, 1099- 1118

DOI:10.1080/10236190802332290      [本文引用: 1]

Obersnel F , Omari P .

Positive solutions of the Dirichlet problem for the prescribed mean curvature equation

Journal of Differential Equations, 2010, 249 (7): 1674- 1725

DOI:10.1016/j.jde.2010.07.001     

Lu Y Q , Ma R Y , Gao H L .

Existence and multiplicity of positive solutions for one-dimensional prescribed mean curvature equations

Boundary Value Problems, 2014, 2014, 120

DOI:10.1186/1687-2770-2014-120      [本文引用: 1]

Bonanno G , Candito P .

Nonlinear difference equations investigated via critical point methods

Nonlinear Analysis, 2009, 70, 3180- 3186

DOI:10.1016/j.na.2008.04.021      [本文引用: 1]

Bonanno G , Candito P , D'Aguí G .

Variational methods on finite dimensional Banach space and discrete problems

Advanced Nonlinear Studies, 2014, 14 (4): 915- 939

DOI:10.1515/ans-2014-0406     

Bonanno G , Jebelean P , Şerban C .

Superlinear discrete problems

Applied Mathematics Letters, 2016, 52, 162- 168

DOI:10.1016/j.aml.2015.09.005      [本文引用: 1]

Bonanno G , Molica B G .

Infinitely many solutions for a boundary value problem with discontinuous nonlinearities

Boundary Value Problems, 2009, 2009 (2009): 670675

[本文引用: 2]

/