Processing math: 5%

数学物理学报, 2025, 45(3): 807-823

一类具有瞬时和非瞬时脉冲的 ψ-Caputo 型分数阶微分方程的多解性

姚旺进,1, 张慧萍,2,*

1莆田学院福建省金融信息处理重点实验室 福建莆田 351100

2福建师范大学数学与统计学院 福州 350117

Multiple Solutions for a Class of ψ-Caputo-Type Fractional Differential Equations with Instantaneous and Non-Instantaneous Impulses

Yao Wangjin,1, Zhang Huiping,2,*

1Fujian Key Laboratory of Financial Information Processing, Putian University, Fujian Putian 351100

2School of Mathematics and Statistics, Fujian Normal University, Fuzhou 350117

通讯作者: *E-mail: zhanghpmath@163.com

收稿日期: 2024-05-7   修回日期: 2024-11-27  

基金资助: 福建省自然科学基金(2023J01994)
福建省自然科学基金(2023J01995)
福建省自然科学基金(2024J01871)
福建省自然科学基金(2024J01873)
福建省高校创新团队培育计划(2018-39)
福建省高校数学学科联盟科研项目(2024SXLMMS05)
福建省中青年教师教育科研项目(JAT231093)

Received: 2024-05-7   Revised: 2024-11-27  

Fund supported: Natural Science Foundation of Fujian Province(2023J01994)
Natural Science Foundation of Fujian Province(2023J01995)
Natural Science Foundation of Fujian Province(2024J01871)
Natural Science Foundation of Fujian Province(2024J01873)
Program for Innovative Research Team in Science and Technology in Fujian Province University(2018-39)
Fujian Alliance of Mathematics(2024SXLMMS05)
Education and Research Project for Middle and Young Teachers in Fujian Province(JAT231093)

作者简介 About authors

E-mail:13635262963@163.com

摘要

作为整数阶微分方程的推广, 分数阶微分方程近年来是一个十分热门的研究对象. 分数阶微分方程在反常扩散、流体流动、流行病学和粘弹性力学等许多科学与工程实际问题的建模中发挥着重要作用. 该文研究一类包含 ψ-Caputo 分数阶导数和具有瞬时和非瞬时脉冲的分数阶微分方程. 当参数 μR 时, 利用变分方法和两类三临界点定理, 获得至少三个古典解的存在性. 并且, 该文改进和推广了最近的一些结果. 最后, 给出两个例子来验证所得结果的可行性和有效性.

关键词: ψ-Caputo 分数阶导数; 分数阶微分方程; 变分方法; 三临界点定理

Abstract

In recent years, as an extension of integer-order differential equations, fractional differential equations have became a popular research object. They play an important role in modeling many practical problems of science and engineering, such as anomalous diffusion, fluid flow, epidemiology, viscoelastic mechanics, etc. In this paper, a class of fractional differential equation involving ψ-Caputo fractional derivative with instantaneous and non-instantaneous impulses is considered. By using variational methods and two types of three critical point theorems, the existence of at least three classical solutions is obtained when μR. Moreover, some recent results are improved and extended. In the end, two examples are given to verify the feasibility and effectiveness of the obtained results.

Keywords: ψ-Caputo fractional derivative; fractional differential equation; variational methods; Three critical point theorems

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

本文引用格式

姚旺进, 张慧萍. 一类具有瞬时和非瞬时脉冲的 ψ-Caputo 型分数阶微分方程的多解性[J]. 数学物理学报, 2025, 45(3): 807-823

Yao Wangjin, Zhang Huiping. Multiple Solutions for a Class of ψ-Caputo-Type Fractional Differential Equations with Instantaneous and Non-Instantaneous Impulses[J]. Acta Mathematica Scientia, 2025, 45(3): 807-823

1 引言

本文主要研究如下一类具有瞬时和非瞬时脉冲的 ψ-Caputo 型分数阶微分方程

{CDα,ψT(CDα,ψ0+x(t))=λfi(t,x(t)),t(si,ti+1],i=0,1,,n,Δ(CDα,ψT(I1α,ψ0+x))(ti)=μIi(x(ti)),i=1,2,,n,CDα,ψT(I1α,ψ0+x)(t)=CDα,ψT(I1α,ψ0+x)(t+i),t(ti,si],i=1,2,,n,CDα,ψT(I1α,ψ0+x)(si)=CDα,ψT(I1α,ψ0+x)(s+i),i=1,2,,n,x(0)=x(T)=0,
(1.1)

其中 0<α1, λ>0, μR, CDα,ψ0+CDα,ψT 分别表示 α 阶左侧和右侧 ψ-Caputo 型分数阶导数, I1α,ψ0+ 表示 1α 阶左侧 ψ-Riemann-Liouville 型分数阶积分, ψ(t)C1[T] 是一个递增函数, 且 ψ(t)0, t[T], IiC(R,R), fiC((si,ti+1]×R,R), 0=s0<t1<s1<<sn<tn+1=T, 瞬时脉冲出现在点 ti 处, 非瞬时脉冲在区间 (ti,si] 上产生,

Δ(CDα,ψT(I1α,ψ0+x))(ti)=CDα,ψT(I1α,ψ0+x)(t+i)CDα,ψT(I1α,ψ0+x)(ti),

CDα,ψT(I1α,ψ0+x)(t+i)=Climtt+iDα,ψT(I1α,ψ0+x)(t),
CDα,ψT(I1α,ψ0+x)(ti)=ClimttiDα,ψT(I1α,ψ0+x)(t).

脉冲现象在自然界和人类社会活动中广泛存在. 根据持续作用时间的不同, 脉冲可分为瞬时脉冲和非瞬时脉冲. 瞬时脉冲由于常被用来描述物理学, 医学和自动控制系统等领域中的瞬时突变现象而备受关注. 利用变分方法研究瞬时脉冲微分方程解的存在性和多重性的工作始于 Tian-Ge[18] 和 Nieto-O'Regan[14]. 在此之后, 越来越多的学者关注到这个领域, 并取得丰硕的研究成果, 具体可参见文献 [5,13,17,20,24,28,30]. 然而, 在现实生活中, 并不是所有的现象都能用瞬时脉冲来描述, 比如地震和海啸. 因此, Hernández-O'Regan[6] 引入了非瞬时脉冲. 最早利用变分方法研究非瞬时脉冲微分方程的是 Bai-Nieto[2]. 在此之后, 也有许多学者关注到这个领域, 并取得大量的研究成果, 具体可参见文献 [3,8,23,27]. 随着研究的更进一步发现, 在现实生活中, 有些现象是具有瞬时脉冲和非瞬时脉冲的混合过程, 比如静脉注射现象[21,22], 即人体在注射药物后,血液中的药物浓度会立即增加 (这相当于发生了瞬时脉冲),但随着药物在体内被不断吸收,血液中的浓度会逐渐降低,这是一个渐进而连续的过程 (这相当于发生了非瞬时脉冲). 因此, Tian-Zhang[19] 在非瞬时脉冲微分方程的基础上, 引入瞬时脉冲, 从而研究一类同时具有瞬时和非瞬时脉冲的二阶微分方程, 并利用 Ekeland 的变分原理证明至少一个古典解的存在性. 在文献 [19] 的基础上, 近 5 年来, 大量的学者主要集中于利用变分方法研究具有瞬时和非瞬时脉冲的分数阶微分方程. 特别的, Zhang-Liu[25] 考虑了如下一类具有瞬时和非瞬时脉冲的分数阶微分方程, 通过极小化方法获得至少一个古典解的存在性.

{tDαT(C0Dαtx(t))=fi(t,x(t)),t(si,ti+1],i=0,1,,n,Δ(tDα1T(C0Dαtx))(ti)=Ii(x(ti)),i=1,2,,n,tDα1T(C0Dαtx)(t)=tDα1T(C0Dαtx)(t+i),t(ti,si],i=1,2,,n,tDα1T(C0Dαtx)(s+i)=tDα1T(C0Dαtx)(si),i=1,2,,n,x(0)=x(T)=0.

在文献 [25] 的基础上, Zhou-Deng-Wang[29] 和 Li-Chen-Wu-An[10] 都考虑了具有瞬时和非瞬时脉冲的 p-Laplacian 分数阶微分方程, 并分别通过极小化方法和三临界点定理证明至少一个古典解和至少三个古典解的存在性. 基于上面的研究, Zhang-Ni[26] 研究了一类带有 Sturm-Liouville 边界条件, 且同时具有瞬时与非瞬时脉冲的 p-Laplacian 分数阶微分方程, 通过三临界点定理获得至少三个弱解的存在性.

另一方面, 为了克服大量分数阶微分和积分的定义所引起的不便. Osler[15] 和 Kilbas-Srivastava-Trujillo[9] 引入了 \psi-Caputo 分数阶微分算子, 之后, Almeida[1] 丰富了该算子的基本性质, 为其进一步的研究打下基础. 最早利用变分方法结合临界点理论研究具有 \psi-Caputo 型分数阶微分方程的是 Khaliq-Mujeeb[7], 他们研究了如下问题

\begin{equation*} \left\{ {\begin{array}{l} ^{C}D_{T^{-}}^{\alpha,\psi}\left(\psi'(t) ^{C}D_{0^{+}}^{\alpha,\psi}x(t)\right)=\nabla G(t,x(t)),\quad a.e. t\in [T],\\ x(0)=0=x(T), \end{array}} \right. \end{equation*}

其中, ^{C}D_{0^{+}}^{\alpha,\psi}^{C}D_{T^{-}}^{\alpha,\psi} 分别表示 0<\alpha\le 1 阶左侧和右侧 \psi-Caputo 型分数阶导数, \psi(t):[T]\to \mathbb{R} 是一个递增函数, 且 \psi'(t)\neq 0, t\in [T], \nabla G(t,x) 表示 G:[T]\times \mathbb{R}^{N}\to \mathbb{R} 的梯度. 通过极小化方法, 他们获得至少一个弱解的存在性. 在文献 [7] 的基础上, Li-Li-Jiang-Feng[12] 研究了一类含有广义 p-Laplacian 算子的 \psi-Caputo 型分数阶微分系统, 并通过变分方法获得至少三个弱解的存在性. 最近, Li-Li-Chen-Feng[11] 研究如下一类具有瞬时和非瞬时脉冲的 \psi-Caputo 型分数阶微分方程, 并通过三临界点定理证明至少三个古典解的存在性

\begin{equation}\label{eq3} \left\{ {\begin{array}{l} ^{C}D_{T^{-}}^{\alpha,\psi}\left(^{C}D_{0^{+}}^{\alpha,\psi}x(t)\right)=\lambda f_{i}(t,x(t)),\quad t\in(s_{i},t_{i+1}], i=0,1,\cdots,n,\\ \Delta \left(^{C}D_{T^{-}}^{\alpha,\psi}\left(I_{0^{+}}^{1-\alpha,\psi}x\right)\right)(t_{i})=I_{i}(x(t_{i})), \quad i=1,2,\cdots,n,\\ ^{C}D_{T^{-}}^{\alpha,\psi}\left(I_{0^{+}}^{1-\alpha,\psi}x\right)(t)=\text{$^{C}D$}_{T^{-}}^{\alpha,\psi}\left(I_{0^{+}}^{1-\alpha,\psi}x\right)(t_{i}^{+}),\quad t\in(t_{i},s_{i}], i=1,2,\cdots,n,\\ ^{C}D_{T^{-}}^{\alpha,\psi}\left(I_{0^{+}}^{1-\alpha,\psi}x\right)(s_{i}^{-})=\text{$^{C}D$}_{T^{-}}^{\alpha,\psi}\left(I_{0^{+}}^{1-\alpha,\psi}x\right) (s_{i}^{+}),\quad i=1,2,\cdots,n,\\ x(0)=x(T)=0, \end{array}} \right. \end{equation}
(1.2)

其中 \lambda>0, 0<\alpha\le 1, ^{C}D_{0^{+}}^{\alpha,\psi}^{C}D_{T^{-}}^{\alpha,\psi} 分别表示左侧和右侧 \psi-Caputo 型分数阶导数, I_{0^{+}}^{1-\alpha,\psi} 表示 1-\alpha 阶左侧 \psi-Riemann-Liouville 型分数阶积分, \psi(t)\in C^{1}[T] 是一个递增函数, 且 \psi'(t)\neq 0, t\in [T], I_{i}\in C(\mathbb{R},\mathbb{R}), f_{i}\in C((s_{i},t_{i+1}]\times \mathbb{R},\mathbb{R}), 0=s_{0}<t_{1}<s_{1}<\cdots<s_{n}<t_{n+1}=T, 瞬时脉冲出现在点 t_{i} 处, 非瞬时脉冲在区间 (t_{i},s_{i}] 上产生.

受到以上文献启发, 本文主要研究问题 (1.1), 利用变分方法和两类三临界点定理获得至少三个古典解的存在性. 当 \mu=1 时, 问题 (1.1) 就退化成问题 (1.2). 因此, 本文研究的问题 (1.1) 是问题 (1.2) 的推广形式, 即我们考虑的问题 (1.1) 比 (1.2) 更一般. 问题 (1.2) 获得至少三个古典解的存在性只依赖于参数 \lambda,而本文获得至少三个古典解的存在性不仅依赖于参数 \lambda,而且也依赖于参数 \mu. 换言之, 问题 (1.2) 研究的是当 \mu=1 时,可获得至少三个古典解的存在性,而本文研究的是当 \mu 在一个非空区间上时,获得至少三个古典解的存在性. 实际上, 我们不但在 \mu 位于非负区间上时, 得到至少三个古典解的存在性 (见定理 3.1, 定理 3.2 和定理 3.4,而且也在非正的区间上得到至少三个古典解的存在性 (见定理 3.3 和定理 3.5. 另一方面, 本文所考虑的条件跟问题 (1.2) 不同. 在研究问题 (1.1) 时, 如果继续使用问题 (1.2) 中给出的条件, 则无法应用 Bonanno-Marano[4] 的三临界点定理 (即本文定理 2.2). 主要原因是无法确定参数 \mu 位于哪个区间, 也就无法验证定理条件 (A1). 为此, 我们必须引入新的条件,否则得不到相对应的结果. 所以, 我们提出了不同的条件来研究问题 (1.1),并得到了至少三个古典解的结果. 值得注意的是, 在运用定理 2.2 的证明过程中, 确定 \mu 所在的区间是非常重要的一个问题. 另外, 我们不但使用了 Bonanno-Marano 的三临界点定理来研究问题 (1.1) 至少三个古典解的存在性,而且还使用了 Ricceri[16] 的三临界点定理, 并得到不同的关于三个古典解的结果. 因此, 我们的结论推广了文献 [11] 中的结果. 简单图示如下

下文安排如下; 第 2 节主要给出一些预备知识作为后续定理证明的基础; 第 3 节给出主要定理的证明; 第 4 节给出一些例子来验证我们的主要结果.

2 预备知识

本节先介绍分数阶微积分的一些定义以及下文需要用到的一些引理和定理.

定义 2.1[1,9]-\infty<a<b<+\infty, t\in [a,b], \alpha>0, u(t) 可积, \psi(t)\in C^{1}[a,b] 递增, 且 \psi'(t)\neq 0. 函数 u(t) 的左侧和右侧 \psi-Riemann-Liouville 分数阶积分分别定义如下

\begin{align*} &I_{a^{+}}^{\alpha,\psi}u(t)=\frac{1}{\Gamma(\alpha)}\int_{a}^{t}u(s)(\psi(t)-\psi(s))^{\alpha-1}\psi'(s){\rm d}s,\\ &I_{b^{-}}^{\alpha,\psi}u(t)=\frac{1}{\Gamma(\alpha)}\int_{t}^{b}u(s)(\psi(s)-\psi(t))^{\alpha-1}\psi'(s){\rm d}s. \end{align*}

函数 u(t) 的左侧和右侧 \psi-Riemann-Liouville 分数阶导数分别定义如下

\begin{align*} D_{a^{+}}^{\alpha,\psi}u(t)&=\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{n}I_{a^{+}}^{n-\alpha,\psi}u(t)\\ &=\frac{1}{\Gamma(n-\alpha)}\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{n}\int_{a}^{t}u(s)(\psi(t)-\psi(s))^{n-\alpha-1}\psi'(s){\rm d}s, \end{align*}
\begin{align*} D_{b^{-}}^{\alpha,\psi}u(t)&=\left(\frac{-1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{n}I_{b^{-}}^{n-\alpha,\psi}u(t)\\ &=\frac{1}{\Gamma(n-\alpha)}\left(\frac{-1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{n}\int_{t}^{b}u(s)(\psi(s)-\psi(t))^{n-\alpha-1}\psi'(s){\rm d}s, \end{align*}

其中, 当 \alpha\notin \mathbb{N} 时, n=[\alpha]+1; 当 \alpha\in \mathbb{N} 时, n=\alpha. 特别的, 当 0<\alpha<1 时,

\begin{align*} D_{a^{+}}^{\alpha,\psi}u(t)&=\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)I_{a^{+}}^{1-\alpha,\psi}u(t)\\ &=\frac{1}{\Gamma(1-\alpha)}\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)\int_{a}^{t}u(s)(\psi(t)-\psi(s))^{-\alpha}\psi'(s){\rm d}s,\\ D_{b^{-}}^{\alpha,\psi}u(t)&=\left(\frac{-1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)I_{b^{-}}^{1-\alpha,\psi}u(t)\\ &=\frac{1}{\Gamma(1-\alpha)}\left(\frac{-1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)\int_{t}^{b}u(s)(\psi(s)-\psi(t))^{-\alpha}\psi'(s){\rm d}s. \end{align*}

定义 2.2[1,9]-\infty<a<b<+\infty, \alpha>0, u(t), \psi(t)\in C^{n}[a,b] 使得 \psi 递增, 且 \psi'(t)\neq 0. 函数 u(t) 的左侧和右侧 \psi-Caputo 分数阶导数分别定义如下

\begin{align*} ^{C}D_{a^{+}}^{\alpha,\psi}u(t)&=I_{a^{+}}^{n-\alpha,\psi}\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{n}u(t)\\ &=\frac{1}{\Gamma(n-\alpha)}\int_{a}^{t}(\psi(t)-\psi(s))^{n-\alpha-1}\psi'(s)\left(\frac{1}{\psi'(s)}\frac{\rm d}{{\rm d}s}\right)^{n}u(s){\rm d}s, \end{align*}
\begin{align*} ^{C}D_{b^{-}}^{\alpha,\psi}u(t)=&I_{b^{-}}^{n-\alpha,\psi}\left(\frac{-1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{n}u(t)\\ =&\frac{(-1)^{n}}{\Gamma(n-\alpha)}\int_{t}^{b}(\psi(s)-\psi(t))^{n-\alpha-1}\psi'(s)\left(\frac{1}{\psi'(s)}\frac{\rm d}{{\rm d}s}\right)^{n}u(s){\rm d}s, \end{align*}

其中, 当 \alpha\notin \mathbb{N} 时, n=[\alpha]+1; 当 \alpha\in \mathbb{N} 时, n=\alpha. 特别的, 当 0<\alpha<1 时,

\begin{align*} ^{C}D_{a^{+}}^{\alpha,\psi}u(t)&=I_{a^{+}}^{1-\alpha,\psi}\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)u(t)\\ &=\frac{1}{\Gamma(1-\alpha)}\int_{a}^{t}(\psi(t)-\psi(s))^{-\alpha}u'(s){\rm d}s,\\ ^{C}D_{b^{-}}^{\alpha,\psi}u(t)&=I_{b^{-}}^{1-\alpha,\psi}\left(\frac{-1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)u(t)\\ &=\frac{-1}{\Gamma(1-\alpha)}\int_{t}^{b}(\psi(s)-\psi(t))^{-\alpha}u'(s){\rm d}s. \end{align*}

值得注意的是, 当 \psi(t)=t 时, 左侧和右侧的 \psi-Caputo 分数阶导数就退化为相对应的左侧和右侧的 Caputo 分数阶导数.

定义 2.3[1] 如果 u(t)\in C^{n}[a,b], -\infty<a<b<+\infty, \alpha>0, 那么

\begin{align*} &^{C}D_{a^{+}}^{\alpha,\psi}u(t)=D_{a^{+}}^{\alpha,\psi}\left(u(t)-\sum_{k=0}^{n-1}\frac{1}{k!}(\psi(t)-\psi(a))^{k}\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{k}u(a)\right),\\ &^{C}D_{b^{-}}^{\alpha,\psi}u(t)=D_{b^{-}}^{\alpha,\psi}\left(u(t)-\sum_{k=0}^{n-1}\frac{(-1)^{k}}{k!}(\psi(b)-\psi(t))^{k}\left(\frac{1}{\psi'(t)}\frac{\rm d}{{\rm d}t}\right)^{k}u(b)\right), \end{align*}

其中, 当 \alpha\notin \mathbb{N} 时, n=[\alpha]+1; 当 \alpha\in \mathbb{N} 时, n=\alpha.

注 2.1[引理3] 当 0<\alpha<1 时, 由定义 2.3 和边界条件 x(0)=x(T)=0 可知,

^{C}D_{0^{+}}^{\alpha,\psi}x(t)=D_{0^{+}}^{\alpha,\psi}x(t),\quad ^{C}D_{T^{-}}^{\alpha,\psi}x(t)=D_{T^{-}}^{\alpha,\psi}x(t).

定义 \psi-Caputo 分数阶导数空间 E_{0}^{\alpha,\psi}=\overline{C_{0}^{\infty}([T],\mathbb{R})} 的范数如下

\|x\|:=\left(\int_{0}^{T}\psi'(t)\left|^{C}D_{0^{+}}^{\alpha,\psi}x(t)\right|^{2}{\rm d}t\right)^{\frac{1}{2}},\quad \forall x\in E_{0}^{\alpha,\psi}.

显然, 空间 E_{0}^{\alpha,\psi} 是一个自反可分的 Banach 空间 (见文献 [7]). 为了方便起见, 令 X=E_{0}^{\alpha,\psi}.

引理 2.1[引理2] 对任意的 x\in X, \frac{1}{2}<\alpha\le1, 我们有

\|x\|_{\infty}\le M\left(\int_{0}^{T}\psi'(t)\left|D_{0^{+}}^{\alpha,\psi}x(t)\right|^{2}{\rm d}t\right)^{\frac{1}{2}},

其中 M=\frac{(\psi(T)-\psi(0))^{\alpha-\frac{1}{2}}}{\Gamma(\alpha)(2(\alpha-1)+1)^{\frac{1}{2}}}.

引理 2.2x\in X 是问题 (1.1) 的弱解,则对任意的 y\in X, 下式成立

\int_{0}^{T}\psi'(t)^{C}D_{0^{+}}^{\alpha,\psi}x(t)^{C}D_{0^{+}}^{\alpha,\psi}y(t){\rm d}t-\mu\sum_{i=1}^{n}I_{i}(x(t_{i}))y(t_{i})=\lambda \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}f_{i}(t,x(t))\psi'(t)y(t){\rm d}t.

类似文献 [引理 5] 的做法,可证该引理成立, 证明过程这里省略.

定义泛函 J:X \to \mathbb{R} 如下

\begin{equation}\label{fh} J(x)=\frac{1}{2}\|x\|^{2}-\mu\sum_{i=1}^{n}\int_{0}^{x(t_{i})}I_{i}(s){\rm d}s-\lambda \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t, \end{equation}
(2.1)

其中 F_{i}(t,x)=\int_{0}^{x}f_{i}(t,s){\rm d}s.f_{i}I_{i} 的连续性可知, J\in C^{1}(X,\mathbb{R})

\begin{align*} \langle J'(x),y\rangle=&\int_{0}^{T}\psi'(t)^{C}D_{0^{+}}^{\alpha,\psi}x(t)^{C}D_{0^{+}}^{\alpha,\psi}y(t){\rm d}t-\mu \sum_{i=1}^{n}I_{i}(x(t_{i}))y(t_{i})\\ &-\lambda \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}f_{i}(t,x(t))\psi'(t)y(t){\rm d}t. \end{align*}

显然, J 的临界点就是问题 (1.1) 的弱解.

引理 2.3x\in X 是问题 (1.1) 的弱解, 则 x 是问题 (1.1) 的古典解.

与文献 [定理 2] 的证明类似, 我们可得引理 2.3 成立, 证明过程这里省略.

引理 2.4[7]\frac{1}{2}<\alpha\le 1, 假定在空间 X 中的任意序列 \{x_{k}\} 弱收敛到 x, 则在空间 C[T] 中, 当 k\to \infty 时, x_{k}\to x, i.e. \|x_{k}-x\|_{\infty}\to 0.

定理 2.1[16]X 是一个可分自反的 Banach 空间,\Gamma_{X} 是由 X 上泛函构成的集合且满足如下性质:若序列 \{x_{k}\}X 中弱收敛到 x,且 \liminf\limits_{k\to\infty}J_{1}(x_{k})\le J_{1}(x),则序列 \{x_{k}\} 存在强收敛到 x 的子列. 设 J_{1}: X\to \mathbb{R} 是一个强制的、弱下半连续的 C^{1} 泛函, 在 X 的有界子集上都是有界的, 属于 \Gamma_{X}, 并且在 X 的对偶空间 X^{*} 上存在连续的逆 (J_{1}')^{-1}J_{3}: X\to \mathbb{R} 是一个 C^{1} 泛函, 并且它的导数是紧的. 假设存在 J_{1} 的一个严格局部最小值 x_{0} 使得 J_{1}(x_{0})=J_{3}(x_{0})=0.

\begin{align*} &\rho_{1}=\max\left\{0,\limsup\limits_{\|x\|\to +\infty}\frac{J_{3}(x)}{J_{1}(x)},\limsup\limits_{\|x\|\to x_{0}}\frac{J_{3}(x)}{J_{1}(x)}\right\}, \\ &\rho_{2}=\sup\limits_{x\in J_{1}^{-1}(0,+\infty)}\frac{J_{3}(x)}{J_{1}(x)}, \end{align*}

\rho_{1}<\rho_{2}. 那么对每个区间 [\theta_{1},\theta_{2}]\subset (\frac{1}{\rho_{2}},\frac{1}{\rho_{1}}) (规定 \frac{1}{0}=+\infty, \frac{1}{+\infty}=0), 都存在一个 R>0 满足:对每个 \lambda\in [\theta_{1},\theta_{2}] 和任意一个导数为紧算子的 C^{1} 泛函 J_{2}:X\to\mathbb{R}, 存在 \xi>0 使得, 对任意的 \mu\in [\xi], 方程 J'_{1}(x)-\mu J'_{2}(x)-\lambda J'_{3}(x)=0X 中至少存在三个解且每个解的范数都小于 R.

定理 2.2[4] 假设 X 是可分自反的实 Banach 空间; 设 J_{1}:X\to \mathbb{R} 是强制的, 弱下半连续的且连续 G\hat{\text{a}}teaux 可微的泛函, 它的导数存在一个连续的逆; 设 J_{4}:X\to \mathbb{R} 是弱上半连续的且连续 G\hat{\text{a}}teaux 可微的泛函, 它的 G\hat{\text{a}}teaux 导数是紧的. 假设存在 r\in \mathbb{R} 以及 x_{0}, x_{1}\in X 满足 J_{1}(x_{0})<r<J_{1}(x_{1})J_{4}(x_{0})=0 使得

(A1) \sup\limits_{J_{1}(x)\le r}J_{4}(x)<(r-J_{1}(x_{0}))\frac{J_{4}(x_{1})}{J_{1}(x_{1})-J_{1}(x_{0})}.

(A2) 对于任意的 \lambda\in \Lambda_{r}:=\left[\frac{J_{1}(x_{1})-J_{1}(x_{0})}{J_{4}(x_{1})},\frac{r-J_{1}(x_{0})}{\sup\limits_{J_{1}(x)\le r}J_{4}(x)}\right], 泛函 J_{1}-\lambda J_{4} 是强制的.

那么, 对于任意的 \lambda \in \Lambda_{r}, 泛函 J_{1}-\lambda J_{4}X 中至少存在三个不同的临界点.

3 主要定理及其证明

在本节, 我们主要利用变分方法和两类三临界点定理证明问题 (1.1) 解的多重性.

定理 3.1 假设存在非负常数 k_{i}, i=0, 1,\cdots,n 和一个函数 w(t)\in X \backslash\{0\}, 使得

(H1) \max\left\{\limsup\limits_{|x|\to 0}\frac{F_{i}(t,x)}{|x|^{2}},\limsup\limits_{|x|\to \infty}\frac{F_{i}(t,x)}{|x|^{2}}\right\}\le k_{i}, \quad i=0,1,\cdots,n.

(H2) (\psi(T)-\psi(0))\max\limits_{0\le i\le n}\{k_{i}\}M^{2} <\frac{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,w(t))\psi'(t){\rm d}t}{\|w\|^{2}}.

那么, 对每个区间 [\theta_{1},\theta_{2}]\subset \left(\frac{1}{\rho_{2}},\frac{1}{\rho_{1}}\right) (\rho_{1}\rho_{2} 的定义见定理 2.1), 存在 R>0 满足: 对任意的 \lambda\in [\theta_{1},\theta_{2}], 存在一个 \xi>0 使得对每个 \mu\in [\xi], 问题 (1.1) 在空间 X 中至少存在三个古典解 x_{i}, 且 \|x_{i}\|<R, i=1, 2, 3.

定义泛函 J_{1}, J_{2}, J_{3}:X\to \mathbb{R} 如下

\begin{aligned}J_{1}(x) &=\frac{1}{2}\|x\|^{2} \\J_{2}(x) &=\sum_{i=1}^{n} \int_{0}^{x\left(t_{i}\right)} I_{i}(s) \mathrm{d} s \\J_{3}(x) &=\sum_{i=0}^{n} \int_{s_{i}}^{t_{i+1}} F_{i}(t, x(t)) \psi^{\prime}(t) \mathrm{d} t\end{aligned}
(3.1)

其中 F_{i}(t,x)=\int_{0}^{x}f_{i}(t,s){\rm d}s. 显然 J=J_{1}-\mu J_{2}-\lambda J_{3}.

由文献 [11] 可知, J_{1} 是一个强制的, 序列弱下半连续的 C^{1} 泛函, 并且在 X^{*} 中存在一个连续逆, 同时, J_{2}, J_{3} 的导数是紧算子. 显然, J_{1} 属于 \Gamma_{X}. 假设 \kappaX 中有界子集的界, 即 \|x\|\le \kappa, 则由 (3.1) 式可知, J_{1}(x)=\frac{1}{2}\|x\|^{2}\le \frac{1}{2}\kappa^{2}.

因此, J_{1}X 的每个有界子集上都是有界泛函. 另外, J_{1} 存在一个严格的局部最小值 0, 使得 J_{1}(0)=J_{3}(0)=0.

另一方面, 根据 (H1) 可知, 存在 \varepsilon_{1},\varepsilon_{2}>0, 使得

\begin{equation}\label{32} F_{i}(t,x(t))\le k_{i}|x(t)|^{2},\quad t\in [T], |x|\in (0,\varepsilon_{1})\cup(\varepsilon_{2},+\infty). \end{equation}
(3.2)

F_{i}, i=0,1,\cdots,n 的连续性可知, F_{i}(t,x(t))[\varepsilon_{1},\varepsilon_{2}] 上有界. 因此, 我们可以选择 r>0\sigma>2, 使得

\begin{equation}\label{33} F_{i}(t,x(t))\le k_{i}|x(t)|^{2}+r|x(t)|^{\sigma},\quad t\in [T], x\in \mathbb{R}. \end{equation}
(3.3)

k^{*}= \max\limits_{0\le i\le n}\{k_{i}\}, 由 (3.3) 式和引理 2.1 可知,

\begin{align*} J_{3}(x)&=\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t\le \left(k_{i}\|x\|_{\infty}^{2}+r\|x\|_{\infty}^{\sigma}\right) \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\psi'(t){\rm d}t\\ &\le (\psi(T)-\psi(0))\left(k^{*}M^{2}\|x\|^{2}+rM^{\sigma}\|x\|^{\sigma}\right). \end{align*}

因此,

\begin{equation}\label{34} \limsup\limits_{x\to 0}\frac{J_{3}(x)}{J_{1}(x)}\le\limsup\limits_{x\to 0}\frac{(\psi(T)-\psi(0))\left(k^{*}M^{2}\|x\|^{2}+rM^{\sigma}\|x\|^{\sigma}\right)}{\frac{1}{2}\|x\|^{2}}=2(\psi(T)-\psi(0))k^{*}M^{2}. \end{equation}
(3.4)

另外, 如果 |x|\le\varepsilon_{2}, 那么 \int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t\le h_{i}, 其中 h_{i}>0, i=0,1,\cdots,n. 由 (3.2) 式可知

\begin{equation}\label{35} \begin{split} \limsup\limits_{x\to \infty}\frac{J_{3}(x)}{J_{1}(x)}\le &\limsup\limits_{x\to \infty}\frac{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t}{\frac{1}{2}\|x\|^{2}}\\ =& \limsup\limits_{x\to \infty}\frac{\sum_{i=0}^{n}\int_{|x|\le \varepsilon_{2}}F_{i}(t,x(t))\psi'(t){\rm d}t}{\frac{1}{2}\|x\|^{2}}+\limsup\limits_{x\to \infty}\frac{\sum_{i=0}^{n}\int_{|x|> \varepsilon_{2}}F_{i}(t,x(t))\psi'(t){\rm d}t}{\frac{1}{2}\|x\|^{2}}\\ \le& \limsup\limits_{x\to \infty}\frac{\sum_{i=0}^{n}h_{i}}{\frac{1}{2}\|x\|^{2}}+\limsup\limits_{x\to \infty}\frac{k^{*}M^{2}(\psi(T)-\psi(0))\|x\|^{2}}{\frac{1}{2}\|x\|^{2}}\\ =&2(\psi(T)-\psi(0))k^{*}M^{2}. \end{split} \end{equation}
(3.5)

结合 (3.4) 和 (3.5) 式, 有

\rho_{1}=\max\left\{0,\limsup\limits_{\|x\|\to +\infty}\frac{J_{3}(x)}{J_{1}(x)},\limsup\limits_{\|x\|\to 0}\frac{J_{3}(x)}{J_{1}(x)}\right\}\le 2(\psi(T)-\psi(0))k^{*}M^{2}.

更进一步, 由 (H2) 可知,

\begin{align*} \rho_{2}&=\sup\limits_{x\in J_{1}^{-1}(0,+\infty)}\frac{J_{3}(x)}{J_{1}(x)}=\sup\limits_{x\in X\backslash\{0\}}\frac{J_{3}(x)}{J_{1}(x)}\\ &\ge \frac{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,w(t))\psi'(t){\rm d}t}{\frac{1}{2}\|w(t)\|^{2}}> 2(\psi(T)-\psi(0))k^{*}M^{2}\ge\rho_{1}. \end{align*}

因此, 由定理 2.1 和引理 2.3 可知, 对每个区间 [\theta_{1},\theta_{2}]\subset (\frac{1}{\rho_{2}},\frac{1}{\rho_{1}}), 存在 R>0 满足: 对任意的 \lambda\in [\theta_{1},\theta_{2}], 存在 \xi>0 使得, 对每个 \mu\in [\xi], 问题 (1.1) 在 X 中至少存在三个古典解 x_{i}\|x_{i}\|<R, i=1, 2, 3.

定理 3.2 假设如下条件成立

(H3) 存在正常数 K_{0}, K_{1},\cdots, K_{n}, L_{1}, L_{2},\cdots, L_{n}, \beta, l_{1}, l_{2},\cdots, l_{n}\beta, l_{i}<2, i=1,2,\cdots,n, 使得对所有的 t\in [T], x \in \mathbb{R},

F_{i}(t,x)\le K_{i}\left(1+|x|^{\beta}\right),\quad Z_{i}(x)\le L_{i}\left(1+|x|^{l_{i}}\right),

其中, Z_{i}(x) 定义在 (3.7) 式中.

(H4) 存在 r>0\tilde{x}\in X 使得

\|\tilde{x}\|^{2}>2r,\quad\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t>0,\quad \sum_{i=1}^{n}Z_{i}(\tilde{x}(t_{i}))<0,

并且下面的不等式成立

\begin{equation}\label{xjcl} A_{l}:=\frac{\frac{1}{2}\int_{0}^{T}\psi'(t)\left|^{C}D_{0^{+}}^{\alpha,\psi}\tilde{x}(t)\right|^{2}{\rm d}t}{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t}<A_{r}:=\frac{r}{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max\limits_{|x|\le \sqrt{2M^{2}r}}F_{i}(t,x(t))\psi'(t){\rm d}t}. \end{equation}
(3.6)

那么, 对任意的 \lambda\in \Lambda_{r}=(A_{l},A_{r}), 存在

\begin{align*} \gamma:=\min\left\{\frac{r-\lambda\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max\limits_{|x|\le \sqrt{2M^{2}r}}F_{i}(t,x(t))\psi'(t){\rm d}t}{\max\limits_{|x|\le \sqrt{2M^{2}r}} \sum_{i=1}^{n}Z_{i}(x)}, \right.\\ \left. \frac{\lambda \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t-\frac{1}{2}\|\tilde{x}\|^{2}}{\sum_{i=1}^{n}\left(-Z_{i}(\tilde{x}(t_{i}))\right)}\right\} \end{align*}

使得, 对每一个 \mu\in [0,\gamma), 问题 (1.1) 至少存在三个古典解.

定义泛函 J_{4}:X\to \mathbb{R} 如下

\begin{equation}\label{38} J_{4}(x)=\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t+\frac{\mu}{\lambda}\sum_{i=0}^{n}Z_{i}(x(t_{i})), \end{equation}
(3.7)

其中 Z_{i}(x)=\int_{0}^{x}I_{i}(s){\rm d}s. 显然, J=J_{1}-\lambda J_{4}. 由定理 3.1 的证明可知, J_{1} 是一个序列弱下半连续,强制的, 连续 G\hat{\text{a}}teaux 可微的泛函, 且它的导数在 X^{*} 中存在一个连续逆. 易证 J_{4} 是一个序列弱上半连续, 连续 G\hat{\text{a}}teaux 可微的泛函, 且它的导数是紧的. 接下来,我们主要验证定理 2.2 的两个条件成立.

x\in XJ_{1}(x)\le r, 则由 (3.1) 式和引理 2.1 可知, J_{1}(x)=\frac{1}{2}\|x\|^{2}\ge\frac{1}{2M^{2}}\|x\|_{\infty}^{2}. 因此

\begin{align*} \{x\in X:J_{1}(x)\le r\}\subseteq \left\{x:\frac{1}{2M^{2}}\|x\|_{\infty}^{2}\le r\right\}=\left\{x:\|x\|_{\infty}\le \sqrt{2M^{2}r}\right\}. \end{align*}

鉴于 \lambda>0, \mu \ge0, 有

\begin{align*} \sup\{J_{4}(x):J_{1}(x)\le r\}&=\sup\left\{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t+\frac{\mu}{\lambda}\sum_{i=1}^{n}Z_{i}(x(t_{i})):J_{1}(x)\le r\right\}\\ &\le \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max\limits_{|x|\le \sqrt{2M^{2}r}} F_{i}(t,x(t))\psi'(t){\rm d}t+\frac{\mu}{\lambda}\max\limits_{|x|\le \sqrt{2M^{2}r}} \sum_{i=1}^{n}Z_{i}(x). \end{align*}

如果 \max\limits_{|x|\le \sqrt{2M^{2}r} }\sum_{i=1}^{n}Z_{i}(x)=0, 那么由 \lambda <A_{r} 可知

\begin{equation}\label{36} \sup\{J_{4}(x):J_{1}(x)\le r\}<\frac{r}{\lambda}. \end{equation}
(3.8)

如果 \max\limits_{|x|\le \sqrt{2M^{2}r}}\sum_{i=1}^{n}Z_{i}(x)>0, 根据 \mu \in [0,\gamma), 可得不等式 (3.8) 成立.

另一方面, 再根据 \mu<\gamma, 可知

\begin{equation}\label{37} J_{4}(\tilde{x})=\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t+\frac{\mu}{\lambda}\sum_{i=1}^{n}Z_{i}(\tilde{x}(t_{i}))>\frac{J_{1}(\tilde{x})}{\lambda}. \end{equation}
(3.9)

结合 (3.8) 和 (3.9) 式可得

\begin{equation*} \frac{J_{4}(\tilde{x})}{J_{1}(\tilde{x})}>\frac{1}{\lambda}>\frac{\sup\{J_{4}(x):J_{1}(x)\le r\}}{r}. \end{equation*}

因此, 定理 2.2 的条件 (A1) 成立. 最后, 我们验证条件 (A2) 也成立. 对任意的 x\in X, 由条件 (H3) 和 (2.1) 式可知

\begin{align*} J_{1}(x)-\lambda J_{4}(x)=&\frac{1}{2}\|x\|^{2}-\mu\sum_{i=1}^{n}\int_{0}^{x(t_{i})}I_{i}(s){\rm d}s-\lambda \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t\\ \ge &\frac{1}{2}\|x\|^{2}-\mu\sum_{i=1}^{n}L_{i}(1+|x|^{l_{i}})-\lambda\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}K_{i}(1+|x|^{\beta})\psi'(t){\rm d}t \\ \ge &\frac{1}{2}\|x\|^{2}-\mu\sum_{i=1}^{n}L_{i}(1+\|x\|_{\infty}^{l_{i}})-\lambda \sum_{i=0}^{n} K_{i}(1+\|x\|_{\infty}^{\beta})\int_{s_{i}}^{t_{i+1}}\psi'(t){\rm d}t \\ \ge&\frac{1}{2}\|x\|^{2}-\mu\sum_{i=1}^{n}L_{i}(1+M^{l_{i}}\|x\|^{l_{i}})-\lambda \sum_{i=0}^{n} K_{i}(1+M^{\beta}\|x\|^{\beta})\int_{s_{i}}^{t_{i+1}}\psi'(t){\rm d}t\\ \ge&\frac{1}{2}\|x\|^{2}-\mu\sum_{i=1}^{n}L_{i}(1+M^{l_{i}}\|x\|^{l_{i}})-\lambda \sum_{i=0}^{n} K_{i}(1+M^{\beta}\|x\|^{\beta})(\psi(T)-\psi(0))\\ =& \frac{1}{2}\|x\|^{2}-\mu\sum_{i=1}^{n}L_{i}M^{l_{i}}\|x\|^{l_{i}}-\lambda \sum_{i=0}^{n} K_{i}M^{\beta}(\psi(T)-\psi(0))\|x\|^{\beta}\\ &-\mu\sum_{i=1}^{n}L_{i}-\lambda \sum_{i=0}^{n}K_{i}(\psi(T)-\psi(0)). \end{align*}

因为 \beta<2l_{i}<2, i=1,2,\cdots,n, 所以 \lim\limits_{\|x\|\to +\infty} J_{1}(x)-\lambda J_{4}(x)=+\infty, i.e., 泛函 J_{1}-\lambda J_{4} 是强制的. 因此, 由定理 2.2 可知, 泛函 J_{1}-\lambda J_{4}X 中至少存在三个不同的临界点, 即问题 (1.1) 至少存在三个不同的古典解.

我们注意到参数 \mu 在定理 3.2 中是正的. 实际上, 如果我们考虑 \mu 是负的情况,那么可以得到如下结果.

定理 3.3 假设如下条件成立

(H3)' 存在正常数 K_{0}, K_{1},\cdots, K_{n}, L_{1}, L_{2},\cdots, L_{n}, \beta, l_{1}, l_{2},\cdots, l_{n}\beta, l_{i}<2, i=1,2,\cdots,n, 使得对所有的 t\in [T], x\in \mathbb{R},

F_{i}(t,x)\le K_{i}\left(1+|x|^{\beta}\right),\quad -Z_{i}(x)\le L_{i}\left(1+|x|^{l_{i}}\right).

(H4)' 存在 r>0\tilde{x}\in X 使得

\|\tilde{x}\|^{2}>2r,\quad\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t>0,\quad \sum_{i=1}^{n}Z_{i}(\tilde{x}(t_{i}))>0

并且 (3.6) 式成立.

那么, 对每一个 \lambda\in \Lambda_{r}=(A_{l},A_{r}), 存在

\begin{align*} \gamma^{*}:=\max\left\{\frac{\lambda\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max\limits_{|x|\le \sqrt{2M^{2}r}}F_{i}(t,x(t))\psi'(t){\rm d}t-r}{\max\limits_{|x|\le \sqrt{2M^{2}r}} \sum_{i=1}^{n}\left(-Z_{i}(x)\right)}, \right.\\ \left. \frac{\lambda \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t-\frac{1}{2}\|\tilde{x}\|^{2}}{\sum_{i=1}^{n}\left(-Z_{i}(\tilde{x}(t_{i}))\right)}\right\} \end{align*}

使得, 对任意的 \mu\in (\gamma^{*},0], 问题 (1.1) 至少存在三个古典解.

与定理 3.2 的证明类似, 因为 \lambda>0, \mu\in (\gamma^{*},0], 有

\begin{align*} &\sup\{J_{4}(x):J_{1}(x)\le r\}\\ =&\sup\left\{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,x(t))\psi'(t){\rm d}t+\frac{\mu}{\lambda}\sum_{i=1}^{n}Z_{i}(x(t_{i})):J_{1}(x)\le r\right\}\\ \le &\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max\limits_{|x|\le \sqrt{2M^{2}r} }F_{i}(t,x(t))\psi'(t){\rm d}t-\frac{\mu}{\lambda}\max\limits_{|x|\le \sqrt{2M^{2}r}} \sum_{i=1}^{n}\left(-Z_{i}(x)\right)<\frac{r}{\lambda}. \end{align*}

如果 \max\limits_{|x|\le \sqrt{2M^{2}r} }\sum_{i=1}^{n}\left(-Z_{i}(x)\right)=0, 那么由 \lambda <A_{r} 可知, 上式成立. 如果 \max\limits_{|x|\le \sqrt{2M^{2}r}}\sum_{i=1}^{n}\left(-Z_{i}(x)\right)>0, 根据 \mu\in (\gamma^{*},0], 可知上式亦成立.

另一方面, 由 \mu\in (\gamma^{*},0] 可得

\begin{align*} J_{4}(\tilde{x})=\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t-\frac{\mu}{\lambda}\sum_{i=1}^{n}\left(-Z_{i}(\tilde{x}(t_{i}))\right)>\frac{J_{1}(\tilde{x})}{\lambda}. \end{align*}

经过简单计算可知

\begin{equation*} \frac{J_{4}(\tilde{x})}{J_{1}(\tilde{x})}>\frac{1}{\lambda}>\frac{\sup\{J_{4}(x):J_{1}(x)\le r\}}{r}. \end{equation*}

现在, 我们证明 J_{1}-\lambda J_{4} 对每个 \lambda\in \Lambda_{r}=(A_{l},A_{r}) 是强制的. 由条件 (H3)' 可知,

\begin{align*} J_{1}(x)-\lambda J_{4}(x)\ge &\frac{1}{2}\|x\|^{2}+\mu\sum_{i=1}^{n}L_{i}(1+|x|^{l_{i}})-\lambda\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}K_{i}(1+|x|^{\beta})\psi'(t){\rm d}t \\ \ge & \frac{1}{2}\|x\|^{2}+\mu\sum_{i=1}^{n}L_{i}M^{l_{i}}\|x\|^{l_{i}}-\lambda \sum_{i=0}^{n} K_{i}M^{\beta}(\psi(T)-\psi(0))\|x\|^{\beta}\\ &+\mu\sum_{i=1}^{n}L_{i}-\lambda \sum_{i=0}^{n}K_{i}(\psi(T)-\psi(0)) \end{align*}

由于 \beta<2l_{i}<2, i=1,2,\cdots,n, 泛函 J_{1}-\lambda J_{4} 是强制的. 因此, 问题 (1.1) 至少存在三个古典解.

定理 3.4 假设条件 (H3) 成立, 并且存在常数 r>0s_{n}=\psi^{-1}(\psi(0)+\psi(T)-\psi(t_{1})), 使得

\begin{equation}\label{39} r<\widetilde{W}:=\frac{(\psi(t_{1})-\psi(0))^{2-2\alpha}}{2(1-\alpha)^{2}\Gamma^{2}(1-\alpha)}\left(\frac{2(\alpha-1)(\psi(t_{1})-\psi(0))}{(3-2\alpha)(2-\alpha)}+\psi(T)-\psi(t_{1})\right) \end{equation}
(3.10)

\begin{equation}\label{39x} \begin{split} &\sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}\left(t,\psi(t_{1})-\psi(0)\right)\psi'(t){\rm d}t>0,\\ &\int_{0}^{t_{1}}F_{i}\left(t,\psi(t)-\psi(0)\right)\psi'(t){\rm d}t+\int_{s_{n}}^{T}F_{i}\left(t,\psi(T)-\psi(t)\right)\psi'(t){\rm d}t\ge 0, \end{split} \end{equation}
(3.11)

以及下面的不等式成立

\begin{equation}\label{310} \begin{split} \widetilde{A_{l}}:=&\frac{\widetilde{W}}{\sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\psi(t_{1})-\psi(0))\psi'(t){\rm d}t}\\ <&\widetilde{A_{r}}:=\frac{r}{\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max_{|x|\le \sqrt{2M^{2}r}}F_{i}(t,x(t))\psi'(t){\rm d}t}. \end{split} \end{equation}
(3.12)

那么, 对每个 \lambda\in \widetilde{\Lambda_{r}}=(\widetilde{A_{l}},\widetilde{A_{r}}), 存在

\begin{align*} \widetilde{\gamma}:=\min\left\{\frac{r-\lambda\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max_{|x|\le \sqrt{2M^{2}r}}F_{i}(t,x(t))\psi'(t){\rm d}t}{\max_{|x|\le \sqrt{2M^{2}r}}\sum_{i=1}^{n}Z_{i}(x)},\right.\\ \left. \frac{\lambda \sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\psi(t_{1})-\psi(0))\psi'(t){\rm d}t-\widetilde{W}}{\max_{x\in [\psi(t_{1})-\psi(0)]}\sum_{i=1}^{n}(-Z_{i}(x))}\right\} \end{align*}

使得, 对任意的 \mu\in [0,\widetilde{\gamma}), 问题 (1.1) 至少存在三个古典解.

我们主要还是利用定理 2.2 来证明该定理成立. 定义函数 \vartheta:[T]\to \mathbb{R} 如下

\vartheta(t):=\left\{\begin{array}{ll}\psi(t)-\psi(0), &t \in\left[0, t_{1}\right] \\\psi\left(t_{1}\right)-\psi(0), &t \in\left[t_{1}, s_{n}\right] \\\psi(T)-\psi(t), &t \in\left[s_{n}, T\right]\end{array}\right.

可得

\vartheta^{\prime}(t)=\left\{\begin{array}{ll}\psi^{\prime}(t), &t \in\left(0, t_{1}\right) \\0, &t \in\left(t_{1}, s_{n}\right) \\-\psi^{\prime}(t), &t \in\left(s_{n}, T\right)\end{array}\right.

\begin{array}{rlr}{ }^{C} D_{0^{+}}^{\alpha, \psi} \vartheta(t) &=\frac{1}{\Gamma(1-\alpha)} \int_{0}^{t}(\psi(t)-\psi(s))^{-\alpha} \vartheta^{\prime}(s) \mathrm{d} s &\\&=\frac{1}{(1-\alpha) \Gamma(1-\alpha)}\left\{\begin{array}{ll}(\psi(t)-\psi(0))^{1-\alpha}, &t \in\left[0, t_{1}\right] \\\left(\psi\left(t_{1}\right)-\psi(0)\right)^{1-\alpha}, &t \in\left[t_{1}, s_{n}\right] \\\left(\psi\left(t_{1}\right)-\psi(0)\right)^{1-\alpha}-\left(\psi(t)-\psi\left(s_{n}\right)\right)^{1-\alpha}, &t \in\left[s_{n}, T\right]\end{array}\right.\end{array}

因此,

\begin{align*} J_{1}(\vartheta)=&\frac{1}{2}\int_{0}^{T}\psi'(t)\left|^{C}D_{0^{+}}^{\alpha,\psi}\vartheta(t)\right|^{2}{\rm d}t=\frac{1}{2}\frac{1}{(1-\alpha)^{2}\Gamma^{2}(1-\alpha)}\left(\frac{1}{3-2\alpha}\left(\psi(t_{1})-\psi(0)\right)^{3-2\alpha}\right.\\ &\left.+(\psi(t_{1})-\psi(0))^{2-2\alpha}(\psi(s_{n})-\psi(t_{1}))+(\psi(t_{1})-\psi(0))^{2-2\alpha}(\psi(T)-\psi(s_{n})) \right.\\ &\left. -\frac{2(\psi(t_{1})-\psi(0))^{1-\alpha}}{2-\alpha}(\psi(T)-\psi(s_{n}))^{2-\alpha} +\frac{1}{3-2\alpha}(\psi(T)-\psi(s_{n}))^{3-2\alpha}\right)\\ =&\frac{(\psi(t_{1})-\psi(0))^{2-2\alpha}}{2(1-\alpha)^{2}\Gamma^{2}(1-\alpha)}\left(\frac{2(\alpha-1)(\psi(t_{1})-\psi(0))}{(3-2\alpha)(2-\alpha)}+\psi(T)-\psi(t_{1})\right)\\ =&\widetilde{W}. \end{align*}

由 (3.10) 式可知, J_{1}(\vartheta)>r. 另外, 由于 \lambda>0\mu\ge 0, 有

\begin{align*} \frac{1}{r}\sup\{J_{4}(x):J_{1}(x)\le r\}\le \frac{1}{r}\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max\limits_{|x|\le \sqrt{2M^{2}r}} F_{i}(t,x(t))\psi'(t){\rm d}t+\frac{1}{r}\frac{\mu}{\lambda}\max\limits_{|x|\le \sqrt{2M^{2}r}} \sum_{i=1}^{n}Z_{i}(x). \end{align*}

\max\limits_{|x|\le \sqrt{2M^{2}r}} \sum_{i=1}^{n}Z_{i}(x)=0, 则由 \lambda<\widetilde{A_{r}} 可知

\begin{equation}\label{311} \frac{1}{r}\sup\{J_{4}(x):J_{1}(x)\le r\}<\frac{1}{\lambda}. \end{equation}
(3.13)

\max\limits_{|x|\le \sqrt{2M^{2}r}} \sum_{i=1}^{n}Z_{i}(x)>0, 考虑到 \mu \in [0,\widetilde{\gamma}), 上式亦成立.

另一方面, 根据 (3.11) 式, 可得

\begin{align*} \sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\vartheta(t))\psi'(t){\rm d}t=&\int_{0}^{t_{1}}F_{i}\left(t,\psi(t)-\psi(0)\right)\psi'(t){\rm d}t\\ &+\sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\psi(t_{1})-\psi(0))\psi'(t){\rm d}t\\ &+\int_{s_{n}}^{T}F_{i}\left(t,\psi(T)-\psi(t)\right)\psi'(t){\rm d}t\\ \ge& \sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\psi(t_{1})-\psi(0))\psi'(t){\rm d}t. \end{align*}

所以,

\begin{align*} J_{4}(\vartheta)=&\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\vartheta(t))\psi'(t){\rm d}t+\frac{\mu}{\lambda}\sum_{i=1}^{n}Z_{i}(\vartheta(t_{i}))\\ \ge& \sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\psi(t_{1})-\psi(0))\psi'(t){\rm d}t-\frac{\mu}{\lambda}\max\limits_{x\in [\psi(t_{1})-\psi(0)]}\sum_{i=1}^{n}(-Z_{i}(x))>\frac{\widetilde{W}}{\lambda}. \end{align*}

\max\limits_{x\in [\psi(t_{1})-\psi(0)]}\sum_{i=1}^{n}(-Z_{i}(x))=0, 则由 \lambda>\widetilde{A_{l}} 可知, 上式成立. 若 \max\limits_{x\in [\psi(t_{1})-\psi(0)]} \sum_{i=1}^{n}(-Z_{i}(x))>0, 则由 \mu<\widetilde{\gamma} 可知, 上式也成立. 因此

\begin{equation}\label{312} \frac{J_{4}(\vartheta)}{J_{1}(\vartheta)}=\frac{J_{4}(\vartheta)}{\widetilde{W}}>\frac{1}{\lambda}. \end{equation}
(3.14)

鉴于 (3.13) 和 (3.14) 式, 有

\frac{J_{4}(\vartheta)}{J_{1}(\vartheta)}>\frac{1}{\lambda}>\frac{\sup\{J_{4}(x):J_{1}(x)\le r\}}{r},

这意味着条件 (A1) 成立. 条件 (A2) 的证明与定理 3.2 类似, 这里省略. 因此, 由定理 2.2 可得, 问题 (1.1) 至少存在三个古典解.

类似的, 当 \mu 是负的情况下,我们可得如下结果.

定理 3.5 假设条件 (H3)' 成立, 并且存在常数 r>0s_{n}=\psi^{-1}(\psi(0)+\psi(T)-\psi(t_{1})), 使得 (3.10), (3.11) 和 (3.12) 成立. 那么, 对每个 \lambda\in \widetilde{\Lambda_{r}}, 存在

\begin{align*} \widetilde{\gamma}^{*}:=\max\left\{\frac{\lambda\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max_{|x|\le \sqrt{2M^{2}r}}F_{i}(t,x(t))\psi'(t){\rm d}t-r}{\max_{|x|\le \sqrt{2M^{2}r}}\sum_{i=1}^{n}(-Z_{i}(x))},\right.\\ \left. \frac{\lambda \sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\psi(t_{1})-\psi(0))\psi'(t){\rm d}t-\widetilde{W}}{\min_{x\in [\psi(t_{1})-\psi(0)]}\sum_{i=1}^{n}(-Z_{i}(x))}\right\} \end{align*}

使得, 对任意的 \mu\in (\widetilde{\gamma}^{*},0], 问题 (1.1) 至少存在三个古典解.

由于 \lambda>0\mu\le 0, 我们有

\begin{align*} &\frac{1}{r}\sup\{J_{4}(x):J_{1}(x)\le r\}\\ \le &\frac{1}{r}\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}\max_{|x|\le \sqrt{2M^{2}r}}F_{i}(t,x(t))\psi'(t){\rm d}t-\frac{1}{r}\frac{\mu}{\lambda}\max_{|x|\le \sqrt{2M^{2}r}}\sum_{i=1}^{n}(-Z_{i}(x))<\frac{1}{\lambda}. \end{align*}

假设 \max\limits_{|x|\le \sqrt{2M^{2}r}}\sum_{i=1}^{n}(-Z_{i}(x))=0, 则由 \lambda<\widetilde{A_{r}} 可知, 上式成立. 假设 \max\limits_{|x|\le \sqrt{2M^{2}r}}\sum_{i=1}^{n}(-Z_{i}(x))>0, 则由 \mu \in (\widetilde{\gamma}^{*},0] 可知, 上式同样成立.

另一方面,

\begin{align*} J_{4}(\vartheta)=&\sum_{i=0}^{n}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\vartheta(t))\psi'(t){\rm d}t-\frac{\mu}{\lambda}\sum_{i=1}^{n}(-Z_{i}(\vartheta(t_{i})))\\ \ge& \sum_{i=1}^{n-1}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\psi(t_{1})-\psi(0))\psi'(t){\rm d}t-\frac{\mu}{\lambda}\min\limits_{x\in [\psi(t_{1})-\psi(0)]}\sum_{i=1}^{n}(-Z_{i}(x))>\frac{\widetilde{W}}{\lambda}, \end{align*}

假设 \min\limits_{x\in [\psi(t_{1})-\psi(0)]}\sum_{i=1}^{n}(-Z_{i}(x))=0, 则由 \lambda>\widetilde{A_{l}} 可知, 上式成立. 假设 \min\limits_{x\in [\psi(t_{1})-\psi(0)]}\sum_{i=1}^{n}(-Z_{i}(x))<0, 则由 \mu>\widetilde{\gamma}^{*} 可知, 上式同样成立. 所以,

\frac{J_{4}(\vartheta)}{J_{1}(\vartheta)}=\frac{J_{4}(\vartheta)}{\widetilde{W}}>\frac{1}{\lambda}.

剩余的证明与定理 3.3 类似, 这里我们省略. 因此, 问题 (1.1) 至少存在三个古典解.

4 例子

例 4.1\alpha=0.75, \psi(t)={\rm e}^{t}, 考虑如下问题

\begin{equation}\label{exam1} \left\{ {\begin{array}{l} ^{C}D_{1^{-}}^{0.75,{\rm e}^{t}}\left(^{C}D_{0^{+}}^{0.75,{\rm e}^{t}}x(t)\right)=\lambda f_{i}(t,x(t)),\quad t\in(s_{i},t_{i+1}], i=0,1,\\ \Delta \left(^{C}D_{1^{-}}^{0.75,{\rm e}^{t}}\left(I_{0^{+}}^{0.25,{\rm e}^{t}}x\right)\right)(t_{1})=\mu I_{1}(x(t_{1})),\\ ^{C}D_{1^{-}}^{0.75,{\rm e}^{t}}\left(I_{0^{+}}^{0.25,{\rm e}^{t}}x\right)(t)=\text{$^{C}D$}_{1^{-}}^{0.75,{\rm e}^{t}}\left(I_{0^{+}}^{0.25,{\rm e}^{t}}x\right)(t_{1}^{+}),\quad t\in(t_{1},s_{1}],\\ ^{C}D_{1^{-}}^{0.75,{\rm e}^{t}}\left(I_{0^{+}}^{0.25,{\rm e}^{t}}x\right)(s_{1}^{-})=\text{$^{C}D$}_{1^{-}}^{0.75,{\rm e}^{t}}\left(I_{0^{+}}^{0.25,{\rm e}^{t}}x\right) (s_{1}^{+}),\\ x(0)=x(1)=0, \end{array}} \right. \end{equation}
(4.1)

其中 0=s_{0}<t_{1}=\frac{1}{3}<s_{1}=\ln(e+1-{\rm e}^{\frac{1}{3}})<t_{2}=1. 选取函数 F_{i}(t,x)={\rm e}^{-|x|}x^{3}

w(t)=\left\{\begin{array}{ll}\mathrm{e}^{t}-1, &t \in\left[0, \frac{1}{3}\right) \\\mathrm{e}^{\frac{1}{3}}-1, &t \in\left[\frac{1}{3}, \ln \left(\mathrm{e}+1-\mathrm{e}^{\frac{1}{3}}\right)\right] \\\mathrm{e}-\mathrm{e}^{t}, &t \in\left(\ln \left(e+1-\mathrm{e}^{\frac{1}{3}}\right), 1\right]\end{array}\right.

显然, F_{i}(t,0)=0F_{i}(t,x) 关于 xC^{1} 泛函. 由计算可知, \limsup\limits_{|x|\to \infty}\frac{F_{i}(t,x)}{|x|^{2}}=\limsup\limits_{|x|\to 0}\frac{F_{i}(t,x)}{|x|^{2}}=0 并且 \frac{1}{2}\|w\|^{2}\thickapprox0.4659.k^{*}=0.0045, 我们可以验证 \frac{\int_{0}^{\frac{1}{3}}F_{i}(t,w(t))\psi'(t){\rm d}t+\int_{\ln({\rm e}+1-{\rm e}^{\frac{1}{3}})}^{1}F_{i}(t,w(t))\psi'(t){\rm d}t}{\frac{1}{2}\|w\|^{2}}\thickapprox0.0192>(\psi(T)-\psi(0))k^{*}M^{2}= 0.0135.因此, 定理 3.1 的所有条件都满足. 根据定理 3.1, 对每个区间 [\theta_{1}, \theta_{2}]\subset(52.0833,74.0741), 存在 R>0 满足: 对每个 \lambda\in [\theta_{1}, \theta_{2}], 存在 \xi>0 使得, 对任意的 \mu\in[\xi], 问题 (4.1) 至少存在三个古典解,且其范数小于 R.

例 4.2\alpha=0.6, \psi(t)=27t^{3}, 0=s_{0}<t_{1}=\frac{1}{5}<s_{1}=\frac{1}{3}<t_{2}=\frac{\sqrt[3]{26}}{3}<s_{2}=\frac{80}{81}<t_{3}=1. 所以,

M=\frac{1}{\Gamma(\alpha)(2(\alpha-1)+1)^{\frac{1}{2}}}\approx 0.9496,
\varrho(\alpha)=\frac{26\alpha^{2}-90\alpha+77}{(3-2\alpha)(2-\alpha)(1-\alpha)^{2}\Gamma^{2}(1-\alpha)}\approx 16.3118.

选取

F_{i}(x)=\left\{\begin{array}{ll}0, &x<0, \\\tau(x), &0 \leq x \leq \ell, \\18\left(1+x^{\frac{4}{3}}\right), &x>\ell,\end{array}\right.

其中 \tau(x)[\ell] 是一个递增且可微的函数, 满足

\tau(0)=0,\tau'(0)=0,\tau(1)=1,\tau(\ell)=18(1+\ell^{\frac{4}{3}}), \tau'(\ell)=24\sqrt[3]{\ell}\ell=\left(\frac{32}{2M^{2}\varrho(\alpha)}\right)^{\frac{1}{3-2\alpha}}\approx1.0478.

选取另一个函数

\tilde{x}(t)=\ell\left\{\begin{array}{ll}27 t^{3}, &t \in\left[0, \frac{1}{3}\right), \\1, &t \in\left[\frac{1}{3}, \frac{\sqrt[3]{26}}{3}\right], \\27-27 t^{3}, &t \in\left(\frac{\sqrt[3]{26}}{3}, 1\right].\end{array}\right.

显然, \tilde{x}\in X. 通过计算可知, J_{1}(\tilde{x})=\varrho(\alpha)\ell^{3-2\alpha}. 此外, 条件 (H4) 中的 (3.6) 式可采取如下形式

\frac{64470941}{2460375}\times 32=\frac{64470941}{2460375}\times 32F_{i}(1)=\frac{64470941}{2460375}\times 32\max\limits_{|x|\le 1}F_{i}(x)<\sum_{i=0}^{2}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))\psi'(t){\rm d}t.

显然,

\sum_{i=0}^{2} \int_{s_{i}}^{t_{i+1}} F_{i}(t, \tilde{x}(t)) \psi^{\prime}(t) \mathrm{d} t>\int_{\frac{1}{3}}^{\frac{\sqrt[3]{26}}{27}} F_{i}(\ell) \psi^{\prime}(t) \mathrm{d} t=25 \times 18\left(1+\ell^{\frac{4}{3}}\right) \approx 928.9061

这意味着 (3.6) 式成立. 令 r=\frac{\varrho(\alpha)\ell^{3-2\alpha}}{32}I_{i}(x)=-x^{\frac{1}{2}}, 那么 Z_{i}(x)= -\frac{2}{3}x^{\frac{3}{2}}. 因此, 条件 (H3) 和 (H4) 成立. 根据定理 3.2, 对任意的

\lambda\in \left(\frac{\varrho(\alpha)\ell^{3-2\alpha}}{3\sum_{i=0}^{2}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))t^{2}{\rm d}t},\frac{\frac{\varrho(\alpha)\ell^{3-2\alpha}}{32}}{\frac{2063070112}{2460375}F_{i}(1)}\right),

存在

\gamma=\min\left\{\frac{\frac{\varrho(\alpha)\ell^{3-2\alpha}}{32}-\frac{2063070112}{2460375}\lambda F_{i}(1)}{\max\limits_{|x|\le 1} \sum_{i=1}^{2}Z_{i}(x)}, \frac{3\lambda\sum_{i=0}^{2}\int_{s_{i}}^{t_{i+1}}F_{i}(t,\tilde{x}(t))t^{2}{\rm d}t-\frac{\varrho(\alpha)\ell^{3-2\alpha}}{32}}{\sum_{i=1}^{2}\left(-Z_{i}(\tilde{x}(t_{i}))\right)}\right\},

使得, 对每个 \mu\in [0,\gamma), 问题 (1.1) 至少存在三个古典解.

5 结论

本文主要通过 Bonanno-Marano 和 Ricceri 的三临界点定理证明一类具有瞬时和非瞬时脉冲的 \psi-Caputo 型分数阶微分方程至少三个古典解的存在性. 我们考虑的问题 (1.1) 是文献 [11] 所研究问题 (1.2) 的推广形式. 相对于问题 (1.2), 我们提出不同的条件来研究问题 (1.1), 并且还使用不同于文献 [11] 的临界点定理 (即 Ricceri 的三临界点定理) 来证明问题 (1.1) 至少具有三个古典解. 我们改进和扩展了文献 [11] 的结果. 值得注意的是,通过选取不同的函数 \psi(t), \psi-Caputo 分数阶积分和导数可以退化为一些我们所熟知的分数阶算子定义,如 Riemann-Liouville, Caputo 和 Hadamard 等,这意味着相关经典分数阶算子的存在性结果也被推广.

致谢

非常感谢审稿专家对本篇论文所提出的宝贵修改建议, 使文章更加严谨和完整!

参考文献

Almeida R.

A Caputo fractional derivative of a function with respect to another function

Commun Nonlinear Sci Numer Simul, 2017, 44: 460-481

[本文引用: 4]

Bai L, Nieto J J.

Variational approach to differential equations with not instantaneous impulses

Appl Math Lett, 2017, 73: 44-48

[本文引用: 1]

Bai L, Nieto J J, Wang X Y.

Variational approach to non-instantaneous impulsive nonlinear differential equations

J Nonlinear Sci Appl, 2017, 10(5): 2440-2448

[本文引用: 1]

Bonanno G, Marano S A.

On the structure of the critical set of non-differentiable functions with a weak compactness condition

Appl Anal, 2010, 89(1): 1-10

[本文引用: 2]

Bonanno G, Rodríguez-López R, Tersian S.

Existence of solutions to boundary value problem for impulsive fractional differential equations

Fract Calc Appl Anal, 2014, 17(3): 717-744

[本文引用: 1]

Hernández E, O'Regan D.

On a new class of abstract impulsive differential equations

Proc Amer Math Soc, 2013, 141(5): 1641-1649

[本文引用: 1]

Khaliq A, Mujeeb R U.

Existence of weak solutions for \psi-Caputo fractional boundary value problem via variational methods

J Appl Anal Comput, 2021, 11(4): 1768-1778

[本文引用: 4]

Khaliq A, Rehman M U.

On variational methods to non-instantaneous impulsive fractional differential equation

Appl Math Lett, 2018, 83: 95-102

[本文引用: 1]

Kilbas A A, Srivastava H M, Trujillo J J. Theory and Applications of Fractional Differential Equations. New York: Elsevier, 2006

[本文引用: 3]

Li D P, Chen F Q, Wu Y H, An Y K.

Multiple solutions for a class of p-Laplacian type fractional boundary value problems with instantaneous and non-instantaneous impulses

Appl Math Lett, 2020, 106: 106352

[本文引用: 1]

Li D P, Li Y K, Chen F Q, Feng X Z.

Instantaneous and non-Instantaneous impulsive boundary value problem involving the generalized \psi-Caputo fractional derivative

Fractal Fract, 2023, 7( 3): 206

[本文引用: 6]

Li Y K, Li D P, Jiang Y, Feng X Z.

Solvability for the \psi-Caputo-type fractional differential system with the generalized p-Laplacian operator

Fractal Fract, 2023, 7( 6): 450

[本文引用: 1]

廖丹, 张慧萍, 姚旺进.

基于变分方法的脉冲微分方程 Neumann 边值问题多重解的存在性

数学物理学报, 2023, 43A(2): 447—457

[本文引用: 1]

Liao D, Zhang H P, Yao W J.

Variational approach to existence of multiple solutions for Neumann boundary value problem of impulsive differential equations

Acta Math Sci, 2023, 43A(2): 447-457

[本文引用: 1]

Nieto J J, O'Regan D.

Variational approach to impulsive differential equations

Nonlinear Anal: RWA, 2009, 10(2): 680-690

[本文引用: 1]

Osler T J.

The fractional derivative of a composite function

SIAM J Math Anal, 1970, 1(2): 288-293

[本文引用: 1]

Ricceri B.

A further three critical points theorem

Nonlinear Anal: TMA, 2009, 71(9): 4151-4157

[本文引用: 2]

Rodríguez-López R, Tersian S.

Multiple solutions to boundary value problem for impulsive fractional differential equations

Fract Calc Appl Anal, 2014, 17(4): 1016-1038

[本文引用: 1]

Tian Y, Ge W G.

Applications of variational methods to boundary-value problem for impulsive differential equations

Proc Edinb Math Soc, 2008, 51(2): 509-527

[本文引用: 1]

Tian Y, Zhang M.

Variational method to differential equations with instantaneous and non-instantaneous impulses

Appl Math Lett, 2019, 94: 160-165

DOI:10.1016/j.aml.2019.02.034      [本文引用: 2]

The aim of this paper is to study the existence of solutions for second-order differential equations with instantaneous and non-instantaneous impulses. Applying variational method, the existence result is obtained. (C) 2019 Elsevier Ltd.

Wang H H, Lu D, Lu H Q.

Multiplicity results for second order impulsive differential equations via variational methods

Engineering, 2021, 13(2): 82-93

[本文引用: 1]

Wang Y N, Li C D, Wu H J, Deng H.

Existence of solutions for fractional instantaneous and non-instantaneous impulsive differential equations with perturbation and Dirichlet boundary value

Discrete Contin Dyn Syst Ser S, 2022, 15(7): 1767-1776

[本文引用: 1]

Wei Y F, Shang S M, Bai Z B.

Applications of variational methods to some three-point boundary value problems with instantaneous and noninstantaneous impulses

Nonlinear Anal Model Control, 2022, 27(3): 466-478

[本文引用: 1]

Yao W J.

Variational approach to non-instantaneous impulsive differential equations with p-Laplacian operator

AIMS Math, 2022, 7(9): 17269-17285

[本文引用: 1]

姚旺进.

一类含有 p-Laplacian 算子的脉冲微分方程解的存在性和多重性

应用数学学报, 2021, 44(4): 532—541

[本文引用: 1]

Yao W J.

Existence and multiplicity of solutions for a class of impulsive differential equations with p-Laplacian operator

Acta Math Appl Sin, 2021, 44(4): 532-541

[本文引用: 1]

Zhang W, Liu W B.

Variational approach to fractional Dirichlet problem with instantaneous and non-instantaneous impulses

Appl Math Lett, 2020, 99: 105993

[本文引用: 2]

Zhang W, Ni J B.

Study on a new p-Laplacian fractional differential model generated by instantaneous and non-instantaneous impulsive effects

Chaos Solitons Fractals, 2023, 168: 113143

[本文引用: 1]

Zhao Y L, Luo C L, Chen H B.

Existence results for non-instantaneous impulsive nonlinear fractional differential equation via variational methods

Bull Malays Math Sci Soc, 2020, 43: 2151-2169

[本文引用: 1]

Zhao Y L, Chen H B, Xu C J.

Nontrivial solutions for impulsive fractional differential equations via Morse theory

Appl Math Comput, 2017, 307: 170-179

[本文引用: 1]

Zhou J W, Deng Y M, Wang Y N.

Variational approach to p-Laplacian fractional differential equations with instantaneous and non-instantaneous impulses

Appl Math Lett, 2020, 104: 106251

[本文引用: 1]

姚旺进.

基于变分方法的脉冲微分方程耦合系统解的存在性和多重性

数学物理学报, 2020, 40A(3): 705—716

[本文引用: 1]

Yao W J.

Existence and multiplicity of solutions for a coupled system of impulsive differential equations via variational method

Acta Math Sci, 2020, 40A(3): 705-716

[本文引用: 1]

/