在给出主要结果之前,我们定义了边值问题(1.1)的解。
定义3.1A函数被称为问题(1.1)的解决方案,如果,并且有功能,这样的话
哪里
(3.1)
在续集中,我们设置
(3.2)
(3.3)
定理3.2
假设
(H)1) 是一个 Carathéodory多值映射;
(H)2)存在一个函数 这样的话
为所有人 和 ,哪里 由提供(3.2);
(H)三) 是一个 Carathéodory多值映射;
(H)4)存在一个函数 具有 对于.e(电子). 和一个非递减函数 这样的话
为所有人 ;
(H)5)存在一个数字 这样的话
(3.4)
哪里 , 由给定(3.2)和(3.3)中,分别地,和 .
然后是问题(1.1)有关于的解决方案 .
证明为了将问题(1.1)转化为定点问题,让我们定义一个运算符通过
对于,,其中问由(3.1)给出。
我们研究空间中的积分包含上所有连续实值函数的带上确界范数.定义两个多值映射通过
对于和
对于.
请注意我们将向操作员展示和满足定理2.4的所有条件为了清楚起见,我们将证明分为一系列步骤和要求。
步骤1。我们证明了这一点 是上的多值收缩 .
让和.然后和
对一些人来说.自,存在这样的话因此,多值运算符U型由定义,其中
具有非空值且可测量。让是一个可衡量的选择U型(由Kuratowski-Ryll-Nardzewski的选择定理存在[21,22]). 然后和a.e.开启.
定义
由此可见和
在区间内取得优势,我们获得
(3.5)
将不等式(3.5)与通过互换x个和年,我们得到
为所有人。这表明是多值收缩
第2步。我们将向操作员展示 是美国的紧凑型。这是众所周知的[[23],命题1.2],如果一个算子是完全连续的,并且有一个闭图,那么它就是u.s.c。因此,我们将证明是完全连续的,并且有一个封闭图。此步骤涉及多个索赔。
索赔I 将有界集映射为中的有界集 .
让是中的有界集合.
现在每个人,存在一个这样的话
然后针对每个,
这意味着
因此有界。
权利要求II 将有界集映射为等连续集.
在索赔I的证明中,让是一个有界集,并且对一些人来说。然后存在这样的话
那么对于任何具有我们有
显然,上述不等式的右侧趋向于零,与作为因此,根据Arzelá-Ascoli定理是完全连续的。
权利要求III 接下来我们证明 具有闭合图.
让,和.然后我们需要证明这一点。与关联,存在使得每个,
因此,它足以表明存在使得每个,
让我们考虑线性算子由提供
请注意
作为因此,根据引理2.6是一个闭图运算符。此外,我们还有.自,我们有
对一些人来说.
因此具有闭合图(因此具有闭合值)。因此,是紧值的。
因此,运营商和满足定理2.4的所有条件。因此,定理2.4的结论适用,条件(i)或条件(ii)均成立。我们证明结论(ii)是不可能的。如果对于,那么就存在和这样的话
(3.6)
通过假设(H2),对于所有人,我们有
因此,对于任何,
为所有人.那么我们有
因此,
(3.7)
现在,如果定理2.4的条件(ii)成立,则存在和这样的话.然后x个是(3.6)的解因此,不等式(3.7)得出
这与(3.4)相矛盾。因此,在中有一个固定点根据定理2.4,这实际上是问题(1.1)的解决方案。这就完成了证明。 □
3.1下部半连续情况
本节致力于研究(1.1)中的映射不一定是凸值的情况。我们通过应用Leray-Shauder型的非线性选择和Bressan和Colombo的选择定理,建立了问题的存在性结果[24]对于具有可分解值的下半连续映射。在展示这个结果之前,我们回顾了一些基本概念。
让是Banach空间的非空闭子集和是具有非空闭值的多值运算符。是下半连续(l.s.c.),如果集合对任何开放集开放在里面.让是的子集.是可测量条件属于σ由所有形式集生成的代数,其中勒贝格的测量单位是和Borel的测量单位是ℝ.一个子集属于如果全部可分解和可衡量的,函数,其中代表的特征函数.
定义3.3让Y(Y)是一个可分度量空间是一个多值运算符。我们说拥有财产(BC),如果是较低的半连续(ls.c.),并且具有非空的闭合和可分解值。
让是具有非空紧值的多值映射。定义多值运算符与关联F类作为
它被称为Nemytskii运算符,与F类.
定义3.4让是具有非空紧值的多值函数。我们说F类如果其关联的Nemytskii算子为下半连续型(l.s.c.型)ℱ是下半连续的,并且具有非空的闭合可分解值。
引理3.5([25])
让 Y(Y) 是一个可分度量空间 是满足该性质的多值算子(不列颠哥伦比亚省).然后 有一个连续的选择,那就是,存在一个连续函数(单一的-宝贵的) 这样的话 对于每个 .
定理3.6 假设(H)2),(H4),(H5),并且以下条件保持不变:
(H)6) 非空紧-值多值映射,以便
-
(a)
, 是 可测量的,
-
(b)
每个都是下半连续的 ;
然后是边值问题(1.1)上至少有一个解决方案 .
证明它来自(H2),(H4)、和(H6)那个F类和克为l.s.c.型。那么从引理3.5来看,存在连续函数这样的话,为所有人.
考虑一下这个问题
(3.8)
请注意,如果是(3.8)的解,则x个是问题(1.1)的解决方案。现在,我们定义了两个多值运算符通过
和
很明显是连续的。定理3.2中的论点也保证了和在单值集上满足压缩映射非线性替代的所有条件[26]因此,问题(3.8)有了解决方案。 □
示例3.7考虑以下分数边值问题:
(3.9)
哪里
我们有
具有。使用给定的数据,我们发现
很明显,根据条件:
我们发现,其中因此,满足了定理3.2的所有假设。因此,定理3.2的结论适用于问题(3.9)。