-
带p-Laplacian算子的微分方程主要来源于非牛顿流体理论和多孔介质气体的湍流理论. 学者从多孔介质方程[1]中抽象出p-Laplacian方程，随后此类方程被广泛地应用到诸多领域，且p-Laplacian算子在许多物理工程的实际应用中可以更加具体地解释一些复杂的物理现象，所以，越来越多的学者研究带有p-Laplacian算子的分数阶微分方程解的存在性[2-6].
随着科学技术的进步和学者的深入研究，分数阶微分方程模型引起了数学学者们的广泛关注，在过去的几十年里，分数阶微分方程的成果丰硕[7-10]，如：不同边值条件下的正解性，其主要研究方法包括锥上不动点定理、上下解方法、单调迭代方法等[11-13].
文献[14]利用Banach压缩映射原理和Guo-Krasnosel’ski不动点定理得到了以下具有p-Laplacian算子的边值问题
正解的存在唯一性定理，其中0＜β≤1，2＜α≤2+β，D0+α和cD0+β分别为α阶的Riemann-Liouville型分数阶导数和β阶的Caputo分数阶微分，p＞1，f：
$[a, b] \times \mathbb{R} \longrightarrow \mathbb{R} $ 为连续函数.文献[15]利用Guo-Krasnosel’ski不动点定理和上下解方法得到了具有p-laplacian算子的Caputo分数阶微分方程边值问题
的正解存在性的一些新结果. 其中
D0+β，D0+α是标准的Riemann-Liouville型分数阶导数.
文献[16]运用单调迭代法得到了分数阶微分方程边值问题
的正解的存在性结果. 其中
Dα，Dβ是标准的Riemann-Liouville型分数阶导数.
基于上述研究，本文利用p-Laplacian算子考虑分数阶微分方程边值问题
正解的存在性.其中1＜β≤2，2＜α≤3，0RDtβ，0RDtα是标准的Riemann-Liouville型分数阶导数.φp(s)=
$|s|^{p-2} s, p>1, \varphi_p^{-1}=\varphi_q, \frac{1}{p}+\frac{1}{q}=1, f:[0, 1] \times[0, +\infty) \longrightarrow[0, +\infty) $ 是连续函数. 通过运用Leggett-Williams不动点定理得到方程(4)至少存在3个正解的结果. 与文献[16]所研究的问题相比，本文所研究的边值问题更具一般性.
HTML
-
定义1[17] 连续函数y：
$[0, +\infty) \longrightarrow \mathbb{R} $ 的α＞0阶Riemann-Liouville积分定义为其中等式右端在[0，+∞)内有定义.
定义2[18] 连续函数y：
$[0, +\infty) \longrightarrow \mathbb{R} $ 的α＞0阶Riemann-Liouville微分定义为其中n是不小于α的最小整数.
引理1[18] 设u(t)∈C[0, 1]∩L1[0, 1]，且α＞0，则
其中n是不小于α的最小整数.
引理2[18] 设u(t)∈L1(0，1)，且α＞β＞0，则
其中n是不小于α的最小整数.
引理3[18] 设ρ＞0，μ＞0，则
引理4 设y∈[0, 1]，1＜β≤2，2＜α≤3，则分数阶微分方程边值问题
有唯一解
其中
证 利用引理1，对方程0RDtαu(t)+y(t)=0两边求α阶积分，可得
由边值条件
可得
因为α＞β，对(8)式两边进行β阶微分，可得
由边值条件(0RDtβu(t))t=1=0，可得
即
其中
引理5 设g∈[0, 1]，1＜β≤2，2＜α≤3，则分数阶微分方程边值问题
有唯一解
其中
证 用引理1，对方程
${ }_0^R D_{\mathrm{t}}^\beta\left(\varphi_p\left({ }_0^R D_{\mathrm{t}}^\alpha u(t)\right)\right)=g(t) $ 两边求β阶积分，可得由边值条件
可得
即
即
由引理4可知
引理6 函数G(t，s)，H(t，s)满足如下性质：
(i) 对任意的t，s∈[0, 1]，G(t，s)≥0，H(t，s)≥0；
(ii) 对任意的t，s∈[0, 1]，
$\frac{{{{(1 - s)}^{\alpha - \beta - 1}}{t^{\alpha - 1}}}}{{\mathit{\Gamma }(\alpha )}} - \frac{{{{(1 - s)}^{\alpha - 1}}{t^{a - 1}}}}{{\mathit{\Gamma }(\alpha )}} \le G(t, s) \le \frac{{{{(1 - s)}^{a - 1}}{t^{\alpha - 1}}}}{{\mathit{\Gamma }(\alpha )}} $ ；(iii) 对任意的t，s∈[0, 1]，
$\frac{{{{(1 - s)}^{\beta - 1}}{t^{\beta - 1}}}}{{\mathit{\Gamma }(\beta )}} - \frac{{{{(t - s)}^{\beta - 1}}{t^{\beta - 1}}}}{{\mathit{\Gamma }(\beta )}} \le H(t, s) \le \frac{{{{(1 - s)}^{\beta - 1}}{t^{\beta - 1}}}}{{\mathit{\Gamma }(\beta )}} $ .证 (i) 由函数G(t，s)，H(t，s)的表达式可知(i)显然成立.
(ii) 若0≤s≤t≤1，则一定有
因此
当0≤s≤t≤1时，有
当0≤t≤s≤1时，有
即
(iii) 若0≤s≤t≤1，则一定有
因此
当0≤s≤t≤1时，有
当0≤t≤s≤1时，有
即
引理7[19] 设E是一个Banach空间，P是E中的一个锥，Ω1，Ω2是E中的两个有界开集，并且Ω1⊂Ω2，假设A：
$ P \cap ({{\mathit{\bar \Omega }}_2}\backslash {\mathit{\Omega }_1}) \longrightarrow P$ 是全连续算子，若(i)
$ \left\| {Ax} \right\| \le \left\| x \right\|\left( {x \in P \cap \partial {\mathit{\Omega }_1}} \right), \left\| {Ax} \right\| \ge \left\| x \right\|\left( {x \in P \cap \partial {\mathit{\Omega }_2}} \right)$ ；(ii)
$ \left\| {Ax} \right\| \ge \left\| x \right\|\left( {x \in P \cap \partial {\mathit{\Omega }_1}} \right), \left\| {Ax} \right\| \le \left\| x \right\|\left( {x \in P \cap \partial {\mathit{\Omega }_2}} \right)$ .中有一个成立，那么A在
$ P \cap \left( {{{\mathit{\bar \Omega }}_2}\backslash {\mathit{\Omega }_1}} \right)$ 中有一个不动点.引理8[20] 设P为实Banach空间E中的一个锥，
θ是P上的一个非负连续凹泛函，使得当
$x \in {\bar P}_c \text { 时, } \theta(x) \leqslant\|x\|$ ，并且假设A：
$\bar{P}_c \longrightarrow \bar{P}_c $ 是全连续的，且存在常数满足0＜a＜b＜d≤c，使得(i)
$ \{x \in P(\theta, b, d): \theta(x)>b\} \neq \varnothing$ ，且对x∈P(θ，b，d)有θ(Ax)＞b；(ii) 当‖x‖≤a时，‖Ax‖≤a；
(iii) 当x∈P(θ，b，c)且‖Ax‖＞d时，θ(Ax)＞b.
那么A至少有3个不动点x1，x2，x3，满足
-
记E=C[0, 1]，在E中定义范数
则E为Banach空间. 定义锥P⊂E为
定义锥P上的非负连续泛函θ为
对于给定的连续函数f∈[0, 1]×[0，+∞)，对任意的u∈P，定义积分算子
$T: P \longrightarrow E $ 为定理1
$T: P \longrightarrow P $ 是全连续算子.证 设Ω是P的任意有界集，即存在一个常数γ＞0，使得∀u∈Ω，都满足‖u‖≤γ. 由于f(t，u(t)) 是连续的，则对于t∈[0, 1]，存在m＞0，使得
令
所有T(Ω)是一致有界的.
由于G(t，s)在[0, 1]×[0, 1]上是一致连续的，因此G(t，s)是一致连续的.对任意的ε＞0，存在δ＞0，使得当t1，t2∈[0, 1]，t1＜t2，|t2－t1|＜δ时，有
于是
这就表明T(Ω)是等度连续的. 因此，由Arzela-Ascoli定理可证明算子
$T: P \longrightarrow P $ 是全连续的.为方便起见，我们引入符号定理2 假设f(t，u(t))为C[0, 1]×[0，+∞)上的连续函数，其中
若存在两个正常数r2＞r1＞0，使得
(i) 当(t，u(t))∈[0, 1]×[0，r1]时，f(t，u(t))≥φp(Nr1)；
(ii) 当(t，u(t))∈[0, 1]×[0，r2]时，f(t，u(t))≤φp(Mr2).
则方程(4)至少有一个正解u，使得r1＜‖u‖＜r2.
证 令
当u∈∂Ω1时，有
由(i)和引理6得
从而
令
当u∈∂Ω2时，有
可从(ii)和引理6得
从而‖Tu‖≤‖u‖，u∈∂Ω2.
总之，通过引理7可知，方程(4)至少有一个正解u，且满足r1＜‖u‖＜r2.
定理3 假设f(t，u(t))为C[0, 1]×[0，+∞)上的连续函数，若存在满足0＜a＜b＜c的正常数，使得
(i) 当(t，u(t))∈[0, 1]×[0，a]时，f(t，u(t))≤φp(Ma)；
(ii) 当(t，u(t))∈[0, 1]×[b，c]时，f(t，u(t))≥φp(Nb)；
(iii) 当(t，u(t))∈[0, 1]×[0，c]时，f(t，u(t))≤φp(Mc).
则方程(4)至少有3个正解u1，u2，u3，且满足
证 如果
$u \in \bar{P}_c $ ，则$ T: \bar{P}_c \longrightarrow \bar{P}_c$ 是一个全连续算子. 假设$u \in \bar{P}_c $ ，则‖u‖≤c，由引理6和(iii)可得则对任意的
$u \in \bar{P}_c $ ，有‖Tu‖≤c，则$ T: \bar{P}_c \longrightarrow \bar{P}_c$ .同样地，如果$u \in \bar{P}_a $ ，则由(i)得到‖Tu‖≤a，因此满足引理8中的条件(ii).下面证明引理8的条件(i)也是满足的.很明显，
若u∈P(θ，b，d)，对任意的0≤t≤1有b≤u(t)≤d，通过(ii)可得
即对任意的u∈P(θ，b d)，θ(Tu)＞b.因此满足引理8中的条件(i).
最后，我们证明引理8的条件(iii)也是满足的. 对任意的u∈P(θ，b，c)，都有θ(Tu)＞b. 因此，引理8的条件(iii)也成立.
综上所述，引理8的所有条件都满足. 根据引理8，可以得出方程(4)存在3个正解u1，u2和u3，满足
-
例1 考虑边值问题
其中
经过计算得
选取
$ a=\frac{1}{2}, b=2, c=3$ ，有应用定理3，例1至少有3个正解u1，u2，u3，且满足
DownLoad: