1. 引言
近年来，随着分数阶微分方程在物理、力学、化学、控制、工程等各个领域的重要应用 [1] ，对这类问题的研究也与日俱增 [2] - [5] 。从这些文献里可以发现，虽然一些作者已经给出关于非线性分数次多点边值问题解的存在性和多解性，但是对高阶分数次非线性多点边值解的存在性和唯一性的结果相对较少。为此，在本文中，我们将研究下列高阶分数次非线性边值问题
，， (1)
， (2)
其中是标准的Riemann-Liouville导数。
在本文中，我们将利用偏序集上的不动点定理证明问题(1)~(2)正解的存在性和唯一性。对于偏序集上的不动点定理，可以参考文献 [6] - [8] 。
下面我们给出偏序集上的不动点定理以供读者参考。
定理1.1. 设是偏序集，在中存在一个度量单位，则是一个完备的度量空间。假设满足下列条件：
如果在中为一个单调非增数列，且，
那么，。 (3)
设为一个单调非增的映射，且
，，
其中是连续的且为单调非增的函数，在上有定义且，。如果存在使得，那么有一个不动点。
如果我们考虑满足下面条件
由于和是可以比较的，根据，且存在。 (4)
我们可以得到下面的结果。
定理1.2 假设定理1.1的条件和(4)成立，则得到正解的唯一性。
2. 相关引理
引理2.1 如果，那么边值问题
，，， (5)
关于边值条件(2)有唯一的解
(6)
其中
(7)
引理2.2如(7)所给出给出，则
(i)在上是一个连续函数，并且；
(ii)关于第一个变量是严格的递增函数；
(iii)。
3. 问题(1)~(2)非减正解的存在性和唯一性
在本部分中，运用偏序集上的不动点定理证明问题(1)~(2)中解的存在性和唯一性结果。此处使用的
基本空间是。是实的Banach空间，其范数为。注意这个空间通过下列条件能定义偏序集
，，。
利用
可以证明完备的度量，满足定理1.1中的条件(3)。此外，对任意的，及函数，满足条件(4)。
定理3.1 边值问题(1)~(2)有唯一的正解且这个解是严格递增的，如果下列条件成立：
(a) 当，其中， (指的是测度)时，那么是关于第二个变量的单调非增的连续函数；
(b) 当，且，时，存在，使得
。
证明：考虑锥
则是中一个闭集且为完全的度量空间，距离。
定义算子为
，
通过引理2.2和条件(a)可知。
下面我们将验证满足定理1.1和1.2所有的条件。
首先，当且时，通过定理中的条件(a)我们有
这就证明了是单调非减的算子。
另一方面，当时，通过定理3.1中的条件(b)我们有
由于函数单调非减，通过条件(b)可知
设，显然在上是连续函数且单调非减，在上有和。此外，当时，我们有
由于，，那么。
由定理1.1可知问题(1)~(2)至少有一个正解。由于满足条件(4)，则由定理1.2可知问题(1.1)~(1.2)有唯一的正解。
最后，我们将证明解是一个严格的递增函数。因为，且，所以。
此外，令，且，我们考虑下列情形。
情形I：当时。在这种情况下，，由于，假定，那么
其中，由于，那么。另外，是关于第二个变量是单调非增的，那么与定理中的条件(a)当时，其中，那么矛盾。
情形II：当时。在这种情形中，令，且，那么
由引理2.2和可知。
如果，那么，即
并且由引理2.2知。类似情形I可得矛盾，那么。证毕
致谢
本论文受国家自然科学基金(批准号：11301038)；吉林省科技厅自然科学基金(批准号：20160101244JC)；2015年吉林省教育大学生创新创业训练计划项目资助。
参考文献