1. 引言
在文献[1] -[7] 中，诸多学者研究了第二类型的泛函方程
(1.1)
在区间上具有特定初值条件的渐近奇异解及单峰连续解，同时也讨论了在连续且逐段单调情形下的精确解。从动力系统的研究领域来看，对于这个方程的定性研究也是非常有意义的。考虑到这是个包含迭代的泛函方程，人们也更关注高维空间和抽象空间上它的非单调连续可微解。
文献[8] 研究了一维空间上的型泛函方程的解及解，但所研究的方程，在迭代方程的形式上具有明显的规范性条件，诸多迭代方程的讨论也都具有此条件，如文献[9] -[13] ，本文将去掉规范性条件，进而借用求解一阶线性微分方程的Cauchy积分思想，将带有边值问题的第二类型的泛函方程转化为定性研究一个带有小扰动的泛函方程，易见方程(1.1)在有关条件
下与方程同解。
本文利用矩阵分析的相关理论，通过构造与文献[1] -[7] 不同的结构算子，利用不动点定理、自同胚和紧凸子集的相关性质，研究高维空间上一个紧凸子集上无规范性系数条件的扰动型泛函方程
(1.2)
的连续非单调解的相关性质，其中和在紧凸子集上是一个类函数，，获得了方程(1.2)的非单调连续可微解的存在性、唯一性及稳定性。
2. 预备知识
假设，其中为上的范数，为上的范数，那么明显的，是关于范数，构成一个空间。
假设，易证是一个关于范数是一个空间，其中。其中是映射在处的一个矩阵。
作为一个闭子集，是完备的距离空间。因，易见，若，则。下面讨论中的均为，不再重述。
下面的诸多引理是必需的，其证明方法与文献[11] 中的相类似，但是条件比文献[11] 中的要弱得多。
引理2.1：假设且
(2.1)
(2.2)
其中和是正数，则对于，有
(2.3)
证明：
推论2.1：假设并且
(2.4)
(2.5)
其中和是正数。则对于，有
(2.6)
证明：对，由条件，我们有
证毕。
引理2.2：假设并且满足(2.1)。则
(2.7)
于是，(2.7)成立，证毕。
引理2.3：假设并且都满足(2.4)和(2.5)。则
(2.8)
所以(2.8)成立，证毕。
3. 主要结果
给定常数，假设
定理3.1(存在性) 给定且，，若存在正常数满足
则方程(1.2)有一解。
证明：令。构造如下的算子：
其中，由于对任意的，是连续可微的，则对任意的，也是连续可微的，且。由条件和，对于任意的，则有
进一步，
于是，即算子是上的一个自同胚映射。
下证算子在范数下是连续的。对于任意的，则，
其中只要令，那么就有
(3.1)
所以算子是连续的。
下面证明是的一个紧凸子集。
对任意的令，那么就有
对于任意的，有
所以，也就是是凸的并且也是紧的，因此对于任意的，故是一致有界的。
对任给的，只要取和无关的，显然，对任意的整数和
若时，则有
所以知道，是等度连续的。那么由引理知道是的紧凸子集；
又由不动点定理，则存在一个函数，使得
因此方程(1.2)有一解。证毕。
定理3.2(唯一性) 假设条件和成立，同时假设条件：，则对任意的，方程(1.2)有唯一解。
证明：由定理3.1可得到方程(1.2)解的存在性，并且是的一个闭集，由(3.1)和，知，我们得到算子：是压缩的。因此由Banach不动点定理知算子T有唯一的不动点，即方程(1.2)有唯一解。定理证毕。
定理3.3(稳定性) 设定理3.2中的条件成立，则在中方程(1.2)的解是连续依赖于给定的函数。
证明：对于，由定理3.1及定理3.2我们可以得出分别存在唯一的函数，使得。
于是，由引理2.2和引理2.3，我们有
因为，我们有。故，方程(1.2)的解是连续依赖于给定的函数，即方程的解是稳定的。证毕。
4. 例子
令，其中是的一个紧凸子集，那么取定，而
考虑方程
(4.1)
取，显然，
因为：
那么，
对于任意的，令，有
所以：
即：。
由条件等价于不等式：，其中，那么可得，。选取，又由条件等价于不等式：。
所以。取。由定理(3.1) (3.2) (3.3)知，方程(4.1)在中存在唯一个连续可微解，且连续依赖于。
基金项目
广东省大学生科技创新重点培育项目；岭南师范学院2014年度大学生创新创业训练计划项目；全国大学生创新训练项目，编号：201410579006。
参考文献