我们讨论解决方案的存在,在佩蒂斯可积性的假设下,针对一类边值问题涉及非线性分数微分包含nonseparated边界条件。我们的分析依赖于Monch不动点定理结合noncompactness薄弱的技术措施。
本文主要关注以下的存在结果分数微分包含布施,边界条件:<年代p一个ncl一个年代年代="equation" id="EEq1.1"> ( ] ( ) ∈ ( , ( ) ) , ∈ ∶ = 0 , , > 0 , ( 0 ) = 1 ( ) + 1 , ′ ( 0 ) = 2 ′ ( ) + 2 , 1 ≠ 1 , 2 ≠ 1 , ( 1 。 1 ) 在哪里<年代vg height="12.3" id="M2" style="vertical-align:-1.29163pt;width:63.349998px;" version="1.1" viewbox="0 0 63.349998 12.3" width="63.349998" xmlns="http://www.w3.org/2000/svg"> 1 < ≤ 2 是一个实数,<年代vg height="11.2" id="M3" style="vertical-align:-0.0pt;width:30.4125px;" version="1.1" viewbox="0 0 30.4125 11.2" width="30.4125" xmlns="http://www.w3.org/2000/svg"> 是卡普托分数导数。<年代vg height="13.625" id="M4" style="vertical-align:-2.21957pt;width:128.08749px;" version="1.1" viewbox="0 0 128.08749 13.625" width="128.08749" xmlns="http://www.w3.org/2000/svg"> ∶ × → ( ) 是一个多值映射,<年代vg height="10.325" id="M5" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 是巴拿赫空间与规范<年代vg height="13.8625" id="M6" style="vertical-align:-2.37006pt;width:27.887501px;" version="1.1" viewbox="0 0 27.887501 13.8625" width="27.887501" xmlns="http://www.w3.org/2000/svg"> 为 ⋅ 为 ,<年代vg height="13.625" id="M7" style="vertical-align:-2.21957pt;width:35.912498px;" version="1.1" viewbox="0 0 35.912498 13.625" width="35.912498" xmlns="http://www.w3.org/2000/svg"> ( ) 所有的非空的子集的家庭吗<年代vg height="10.325" id="M8" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 。
最近,分数微分方程已经发现大量的物理和工程在各个领域的应用(<一个href="#B1">1一个>,<一个href="#B2">2一个>]。应该注意的是,大多数的书籍和论文分数微积分是致力于可解性的分数阶微分方程的初值问题。相比之下,这一理论非线性分数微分方程的边值问题得到了关注最近和这一理论的许多方面需要探索。更多的细节和示例,请参阅[<一个href="#B3">3一个>- - - - - -<一个href="#B18">18一个>)和引用。
调查存在上述问题的解决方案,我们使用Monch的不动点定理结合noncompactness疲弱的技术措施,这是一个重要的微分方程方法寻求解决方案。这种技术主要是发起的专著Banaś和Goebel<一个href="#B19">19一个>),随后开发和使用在许多文件;见,例如,Banaś和Sadarangani [<一个href="#B20">20.一个>),郭et al。<一个href="#B21">21一个>],Krzyśka和Kubiaczyk [<一个href="#B22">22一个>),Lakshmikantham和Leela都<一个href="#B23">23一个>,Monch [<一个href="#B24">24一个>],奥雷根[<一个href="#B25">25一个>,<一个href="#B26">26一个>],Szufla [<一个href="#B27">27一个>,<一个href="#B28">28一个>),其中的引用。
20.。07年,Ouahab [<一个href="#B29">29日一个>]研究解的存在<年代vg height="7.1750002" id="M9" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg"> 分数微分包含通过选择定理和不动点定理。最近,Chang和分担<一个href="#B30">30.一个>)建立了一些新的存在结果分数微分夹杂物由于多值映射的不动点定理。问题(<一个href="#EEq1.1">1.1一个>)是论文中讨论了单值的情况下<一个href="#B31">31日一个>];一些存在结果单和多值情况下的扩展(<一个href="#EEq1.1">1.1一个>)布施,本文得到了积分边界条件(<一个href="#B32">32一个>]和[<一个href="#B33">33一个>]。其他结果分数微分夹杂物,我们参考读者<一个href="#B34">34一个>]。据我们所知,很少有结果用于弱解的非线性分数微分夹杂物。出于上述论文,这篇论文的目的是建立为边值问题存在结果(<一个href="#EEq1.1">1.1一个>)由于Monch不动点定理结合noncompactness薄弱的技术措施。
本文的其余部分组织如下。节<一个href="#sec2">2一个>,我们介绍一些关于分数微积分的基本定义和符号和多值映射。节<一个href="#sec3">3一个>,给出主要结果分数微分夹杂物。在最后一节中,给出了一个例子来说明我们的主要结果。
在本节中,我们介绍了符号,定义和初步的事实将在本文的其余部分中使用。让<年代vg height="10.325" id="M10" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 是一个真实的巴拿赫空间与规范<年代vg height="13.8625" id="M11" style="vertical-align:-2.37006pt;width:27.887501px;" version="1.1" viewbox="0 0 27.887501 13.8625" width="27.887501" xmlns="http://www.w3.org/2000/svg"> 为 ⋅ 为 和双空间<年代vg height="11.525" id="M12" style="vertical-align:-0.0pt;width:18.5625px;" version="1.1" viewbox="0 0 18.5625 11.525" width="18.5625" xmlns="http://www.w3.org/2000/svg"> ∗ ,让<年代vg height="14.3" id="M13" style="vertical-align:-2.21957pt;width:142.0125px;" version="1.1" viewbox="0 0 142.0125 14.3" width="142.0125" xmlns="http://www.w3.org/2000/svg"> ( , ) = ( , ( , ∗ ) ) 表示的空间<年代vg height="10.325" id="M14" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 弱拓扑。来,让<年代vg height="13.45" id="M15" style="vertical-align:-2.21957pt;width:47.125px;" version="1.1" viewbox="0 0 47.125 13.45" width="47.125" xmlns="http://www.w3.org/2000/svg"> ( , ) 所有连续函数的巴拿赫空间<年代vg height="10.5125" id="M16" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> 来<年代vg height="10.325" id="M17" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 与规范<年代p一个ncl一个年代年代="equation" id="eq2"> 为 为 ∞ = 年代 u p { 为 ( ) 为 ∶ 0 ≤ ≤ } , ( 2 。 1 ) ,让<年代vg height="16.5375" id="M19" style="vertical-align:-2.21957pt;width:53.799999px;" version="1.1" viewbox="0 0 53.799999 16.5375" width="53.799999" xmlns="http://www.w3.org/2000/svg"> 1 ( , ) 表示函数的巴拿赫空间<年代vg height="13.1875" id="M20" style="vertical-align:-2.29482pt;width:75.324997px;" version="1.1" viewbox="0 0 75.324997 13.1875" width="75.324997" xmlns="http://www.w3.org/2000/svg"> ∶ → 勒贝格可积与规范<年代p一个ncl一个年代年代="equation" id="eq3"> 为 为 1 = 0 为 ( ) 为 。 ( 2 。 2 ) 我们让<年代vg height="13.85" id="M22" style="vertical-align:-2.21957pt;width:58.462502px;" version="1.1" viewbox="0 0 58.462502 13.85" width="58.462502" xmlns="http://www.w3.org/2000/svg"> ∞ ( , ) 有界可测函数的巴拿赫空间<年代vg height="13.1875" id="M23" style="vertical-align:-2.29482pt;width:75.324997px;" version="1.1" viewbox="0 0 75.324997 13.1875" width="75.324997" xmlns="http://www.w3.org/2000/svg"> ∶ → 配备标准<年代p一个ncl一个年代年代="equation" id="eq4"> 为 为 ∞ = 我 n f { > 0 ∶ 为 ( ) 为 ≤ , 一个 。 e 。 ∈ } 。 ( 2 。 3 ) 同时,<年代vg height="16.5375" id="M25" style="vertical-align:-2.21957pt;width:65.675003px;" version="1.1" viewbox="0 0 65.675003 16.5375" width="65.675003" xmlns="http://www.w3.org/2000/svg"> 1 ( , ) 表示函数的空间吗<年代vg height="13.1875" id="M26" style="vertical-align:-2.29482pt;width:75.324997px;" version="1.1" viewbox="0 0 75.324997 13.1875" width="75.324997" xmlns="http://www.w3.org/2000/svg"> ∶ → 绝对连续的一阶导数,<年代vg height="15.4125" id="M27" style="vertical-align:-2.29482pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 15.4125" width="12.225" xmlns="http://www.w3.org/2000/svg"> ,绝对是连续的。
让<年代vg height="13.8625" id="M28" style="vertical-align:-2.37006pt;width:55.962502px;" version="1.1" viewbox="0 0 55.962502 13.8625" width="55.962502" xmlns="http://www.w3.org/2000/svg"> ( , 为 ⋅ 为 ) 巴拿赫空间,让<年代vg height="14.875" id="M29" style="vertical-align:-3.22282pt;width:230.0125px;" version="1.1" viewbox="0 0 230.0125 14.875" width="230.0125" xmlns="http://www.w3.org/2000/svg"> c l ( ) = { ∈ ( ) ∶ 我 年代 c l o 年代 e d } ,<年代vg height="14.8875" id="M30" style="vertical-align:-3.2316pt;width:237.5px;" version="1.1" viewbox="0 0 237.5 14.8875" width="237.5" xmlns="http://www.w3.org/2000/svg"> ( ) = { ∈ ( ) ∶ 我 年代 b o u n d e d } ,<年代vg height="17.137501" id="M31" style="vertical-align:-5.03984pt;width:241.7625px;" version="1.1" viewbox="0 0 241.7625 17.137501" width="241.7625" xmlns="http://www.w3.org/2000/svg"> c p ( ) = { ∈ ( ) ∶ 我 年代 c o 米 p 一个 c t } ,<年代vg height="17.137501" id="M32" style="vertical-align:-5.03984pt;width:326.52499px;" version="1.1" viewbox="0 0 326.52499 17.137501" width="326.52499" xmlns="http://www.w3.org/2000/svg"> c p , ( ) = { ∈ ( ) ∶ 我 年代 c o 米 p 一个 c t 一个 n d c o n v e x } 。多值映射<年代vg height="13.45" id="M33" style="vertical-align:-2.21957pt;width:99.574997px;" version="1.1" viewbox="0 0 99.574997 13.45" width="99.574997" xmlns="http://www.w3.org/2000/svg"> ∶ → ( ) 是<我>凸我>(<我>关闭我>)价值<年代vg height="13.45" id="M34" style="vertical-align:-2.21957pt;width:30.6px;" version="1.1" viewbox="0 0 30.6 13.45" width="30.6" xmlns="http://www.w3.org/2000/svg"> ( ) 所有凸(关闭)吗<年代vg height="10.75" id="M35" style="vertical-align:-0.33858pt;width:40.200001px;" version="1.1" viewbox="0 0 40.200001 10.75" width="40.200001" xmlns="http://www.w3.org/2000/svg"> ∈ 。我们说<年代vg height="10.75" id="M36" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 是<我>界上有界集我>如果<年代vg height="14.8875" id="M37" style="vertical-align:-3.37204pt;width:119.8375px;" version="1.1" viewbox="0 0 119.8375 14.8875" width="119.8375" xmlns="http://www.w3.org/2000/svg"> ( ) = ∪ ∈ ( ) 是有界的<年代vg height="10.325" id="M38" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 对所有<年代vg height="14.7125" id="M39" style="vertical-align:-3.2316pt;width:67.012497px;" version="1.1" viewbox="0 0 67.012497 14.7125" width="67.012497" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) (例如,<年代vg height="15.1375" id="M40" style="vertical-align:-3.39708pt;width:243.60001px;" version="1.1" viewbox="0 0 243.60001 15.1375" width="243.60001" xmlns="http://www.w3.org/2000/svg"> 年代 u p ∈ { 年代 u p { 为 为 ∶ ∈ ( ) } } < ∞ ) 。映射<年代vg height="10.75" id="M41" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 被称为<我>上半我>(<我>南加大。我>)<年代vg height="10.325" id="M42" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 如果为每个<年代vg height="14.3875" id="M43" style="vertical-align:-3.25793pt;width:46.299999px;" version="1.1" viewbox="0 0 46.299999 14.3875" width="46.299999" xmlns="http://www.w3.org/2000/svg"> 0 ∈ ,一组<年代vg height="14.75" id="M44" style="vertical-align:-3.25793pt;width:36.6875px;" version="1.1" viewbox="0 0 36.6875 14.75" width="36.6875" xmlns="http://www.w3.org/2000/svg"> ( 0 ) 是一个非空的封闭的子集<年代vg height="10.325" id="M45" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 如果对于每一个开集<年代vg height="10.325" id="M46" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 的<年代vg height="10.325" id="M47" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 包含<年代vg height="14.75" id="M48" style="vertical-align:-3.25793pt;width:36.6875px;" version="1.1" viewbox="0 0 36.6875 14.75" width="36.6875" xmlns="http://www.w3.org/2000/svg"> ( 0 ) ,有一个开放的社区<年代vg height="14.3875" id="M49" style="vertical-align:-3.25793pt;width:19.512501px;" version="1.1" viewbox="0 0 19.512501 14.3875" width="19.512501" xmlns="http://www.w3.org/2000/svg"> 0 的<年代vg height="11.075" id="M50" style="vertical-align:-3.25793pt;width:14.8125px;" version="1.1" viewbox="0 0 14.8125 11.075" width="14.8125" xmlns="http://www.w3.org/2000/svg"> 0 这样<年代vg height="14.75" id="M51" style="vertical-align:-3.25793pt;width:75.487503px;" version="1.1" viewbox="0 0 75.487503 14.75" width="75.487503" xmlns="http://www.w3.org/2000/svg"> ( 0 ) ⊆ 。我们说<年代vg height="10.75" id="M52" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 是<我>完全连续我>如果<年代vg height="13.625" id="M53" style="vertical-align:-2.21957pt;width:36.849998px;" version="1.1" viewbox="0 0 36.849998 13.625" width="36.849998" xmlns="http://www.w3.org/2000/svg"> ( ℬ ) 相对紧凑每<年代vg height="14.8875" id="M54" style="vertical-align:-3.2316pt;width:70.974998px;" version="1.1" viewbox="0 0 70.974998 14.8875" width="70.974998" xmlns="http://www.w3.org/2000/svg"> ℬ ∈ ( ) 。如果多值映射<年代vg height="10.75" id="M55" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 是完全连续与非空的紧凑的价值观呢<年代vg height="10.75" id="M56" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 是事项当且仅当吗<年代vg height="10.75" id="M57" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 有一个封闭的图形(例如,<年代vg height="14.6875" id="M58" style="vertical-align:-3.20526pt;width:207.53751px;" version="1.1" viewbox="0 0 207.53751 14.6875" width="207.53751" xmlns="http://www.w3.org/2000/svg"> → ∗ , → ∗ , ∈ ( ) 暗示<年代vg height="14.6" id="M59" style="vertical-align:-3.13504pt;width:70.425003px;" version="1.1" viewbox="0 0 70.425003 14.6" width="70.425003" xmlns="http://www.w3.org/2000/svg"> ∗ ∈ ( ∗ ) )。映射<年代vg height="10.75" id="M60" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 有一个<我>不动点我>如果有<年代vg height="10.75" id="M61" style="vertical-align:-0.33858pt;width:40.200001px;" version="1.1" viewbox="0 0 40.200001 10.75" width="40.200001" xmlns="http://www.w3.org/2000/svg"> ∈ 这样<年代vg height="13.45" id="M62" style="vertical-align:-2.21957pt;width:58.587502px;" version="1.1" viewbox="0 0 58.587502 13.45" width="58.587502" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) 。多值算子的不动点的集合<年代vg height="10.75" id="M63" style="vertical-align:-0.15048pt;width:11.9125px;" version="1.1" viewbox="0 0 11.9125 10.75" width="11.9125" xmlns="http://www.w3.org/2000/svg"> 将用<年代vg height="10.9875" id="M64" style="vertical-align:-0.15048pt;width:37.962502px;" version="1.1" viewbox="0 0 37.962502 10.9875" width="37.962502" xmlns="http://www.w3.org/2000/svg"> F 我 x 。多值映射<年代vg height="14.7125" id="M65" style="vertical-align:-3.22282pt;width:109.9625px;" version="1.1" viewbox="0 0 109.9625 14.7125" width="109.9625" xmlns="http://www.w3.org/2000/svg"> ∶ → c l ( ) 据说是<我>可衡量的我>如果对于每一个<年代vg height="13.1875" id="M66" style="vertical-align:-2.29482pt;width:39.362499px;" version="1.1" viewbox="0 0 39.362499 13.1875" width="39.362499" xmlns="http://www.w3.org/2000/svg"> ∈ ,函数<年代p一个ncl一个年代年代="equation" id="eq5"> | | | | ⟼ ( , ( ) ) = 我 n f − ∶ ∈ ( ) ( 2 。 4 ) 是可以衡量的。多值映射的更多细节,请参阅奥宾的书籍和Cellina [<一个href="#B35">35一个>),奥宾和Frankowska<一个href="#B36">36一个>],Deimling [<一个href="#B37">37一个>胡锦涛和Papageorgiou [],<一个href="#B38">38一个>],Kisielewicz [<一个href="#B39">39一个>),Covitz和纳德勒(<一个href="#B40">40一个>]。
此外,对于一个给定的集合<年代vg height="10.575" id="M68" style="vertical-align:-0.20064pt;width:12.625px;" version="1.1" viewbox="0 0 12.625 10.575" width="12.625" xmlns="http://www.w3.org/2000/svg"> 的函数<年代vg height="10.675" id="M69" style="vertical-align:-0.16302pt;width:67.974998px;" version="1.1" viewbox="0 0 67.974998 10.675" width="67.974998" xmlns="http://www.w3.org/2000/svg"> ∶ ↦ ℝ ,让我们表示<年代vg height="13.575" id="M70" style="vertical-align:-2.26974pt;width:134.96249px;" version="1.1" viewbox="0 0 134.96249 13.575" width="134.96249" xmlns="http://www.w3.org/2000/svg"> ( ) = { ( ) ∶ ∈ } ,<年代vg height="10.75" id="M71" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,<年代vg height="13.575" id="M72" style="vertical-align:-2.26974pt;width:177.75px;" version="1.1" viewbox="0 0 177.75 13.575" width="177.75" xmlns="http://www.w3.org/2000/svg"> ( ) = { ( ) ∶ ∈ , ∈ } 。
对于任何<年代vg height="13.55" id="M73" style="vertical-align:-2.29482pt;width:74.275002px;" version="1.1" viewbox="0 0 74.275002 13.55" width="74.275002" xmlns="http://www.w3.org/2000/svg"> ∈ ( , ) ,让<年代vg height="16.475" id="M74" style="vertical-align:-4.74141pt;width:25.825001px;" version="1.1" viewbox="0 0 25.825001 16.475" width="25.825001" xmlns="http://www.w3.org/2000/svg"> , 被选择的集合<年代vg height="10.325" id="M75" style="vertical-align:-0.0pt;width:12.05px;" version="1.1" viewbox="0 0 12.05 10.325" width="12.05" xmlns="http://www.w3.org/2000/svg"> 定义为<年代p一个ncl一个年代年代="equation" id="eq6"> , = ∈ 1 ( , ) ∶ ( ) ∈ ( , ( ) ) 一个 。 e 。 。 ∈ ( 2 。 5 )
定义2.1。我>年代p一个n>一个函数<年代vg height="11" id="M77" style="vertical-align:-0.16302pt;width:78.375px;" version="1.1" viewbox="0 0 78.375 11" width="78.375" xmlns="http://www.w3.org/2000/svg"> ℎ ∶ → 据说是弱顺序连续如果<年代vg height="10.95" id="M78" style="vertical-align:-0.1254pt;width:9.1374998px;" version="1.1" viewbox="0 0 9.1374998 10.95" width="9.1374998" xmlns="http://www.w3.org/2000/svg"> ℎ 需要每一个弱收敛序列<年代vg height="10.325" id="M79" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 的弱收敛序列<年代vg height="10.325" id="M80" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> (例如,为一个ny<年代vg height="14.6875" id="M81" style="vertical-align:-3.20526pt;width:31.25px;" version="1.1" viewbox="0 0 31.25 14.6875" width="31.25" xmlns="http://www.w3.org/2000/svg"> ( ) 在<年代vg height="10.325" id="M82" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 与<年代vg height="14.6875" id="M83" style="vertical-align:-3.20526pt;width:82.337502px;" version="1.1" viewbox="0 0 82.337502 14.6875" width="82.337502" xmlns="http://www.w3.org/2000/svg"> ( ) → ( ) 在<年代vg height="13.45" id="M84" style="vertical-align:-2.21957pt;width:38.849998px;" version="1.1" viewbox="0 0 38.849998 13.45" width="38.849998" xmlns="http://www.w3.org/2000/svg"> ( , ) 然后<年代vg height="14.8" id="M85" style="vertical-align:-3.20526pt;width:121.2px;" version="1.1" viewbox="0 0 121.2 14.8" width="121.2" xmlns="http://www.w3.org/2000/svg"> ℎ ( ( ) ) → ℎ ( ( ) ) 在<年代vg height="13.45" id="M86" style="vertical-align:-2.21957pt;width:38.849998px;" version="1.1" viewbox="0 0 38.849998 13.45" width="38.849998" xmlns="http://www.w3.org/2000/svg"> ( , ) 为每一个<年代vg height="10.5125" id="M87" style="vertical-align:-0.15048pt;width:43.700001px;" version="1.1" viewbox="0 0 43.700001 10.5125" width="43.700001" xmlns="http://www.w3.org/2000/svg"> → )。年代p一个n>
定义2.2。我>年代p一个n>一个函数<年代vg height="16.137501" id="M88" style="vertical-align:-4.37271pt;width:120.5px;" version="1.1" viewbox="0 0 120.5 16.137501" width="120.5" xmlns="http://www.w3.org/2000/svg"> ∶ → c l , c v ( ) 有一个弱如果任何序列顺序关闭图<年代vg height="16.35" id="M89" style="vertical-align:-4.05913pt;width:117.0125px;" version="1.1" viewbox="0 0 117.0125 16.35" width="117.0125" xmlns="http://www.w3.org/2000/svg"> ( , ) ∞ 1 ∈ × ,<年代vg height="14.6875" id="M90" style="vertical-align:-3.20526pt;width:68.050003px;" version="1.1" viewbox="0 0 68.050003 14.6875" width="68.050003" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) 为<年代vg height="13.575" id="M91" style="vertical-align:-2.26974pt;width:89.175003px;" version="1.1" viewbox="0 0 89.175003 13.575" width="89.175003" xmlns="http://www.w3.org/2000/svg"> ∈ { 1 , 2 , … } 与<年代vg height="14.6875" id="M92" style="vertical-align:-3.20526pt;width:82.337502px;" version="1.1" viewbox="0 0 82.337502 14.6875" width="82.337502" xmlns="http://www.w3.org/2000/svg"> ( ) → ( ) 在<年代vg height="13.45" id="M93" style="vertical-align:-2.21957pt;width:38.849998px;" version="1.1" viewbox="0 0 38.849998 13.45" width="38.849998" xmlns="http://www.w3.org/2000/svg"> ( , ) 为每一个<年代vg height="10.75" id="M94" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ 和<年代vg height="14.6875" id="M95" style="vertical-align:-3.20526pt;width:80.650002px;" version="1.1" viewbox="0 0 80.650002 14.6875" width="80.650002" xmlns="http://www.w3.org/2000/svg"> ( ) → ( ) 在<年代vg height="13.45" id="M96" style="vertical-align:-2.21957pt;width:38.849998px;" version="1.1" viewbox="0 0 38.849998 13.45" width="38.849998" xmlns="http://www.w3.org/2000/svg"> ( , ) 为每一个<年代vg height="10.75" id="M97" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,然后<年代vg height="13.55" id="M98" style="vertical-align:-2.29482pt;width:55.924999px;" version="1.1" viewbox="0 0 55.924999 13.55" width="55.924999" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) 。年代p一个n>
定义2.3(见[<一个href="#B41">41一个>])。我>年代p一个n>这个函数<年代vg height="10.5375" id="M99" style="vertical-align:-0.16302pt;width:76.162498px;" version="1.1" viewbox="0 0 76.162498 10.5375" width="76.162498" xmlns="http://www.w3.org/2000/svg"> ∶ → 据说是佩蒂斯可积<年代vg height="10.5125" id="M100" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> 当且仅当存在一个元素<年代vg height="14.375" id="M101" style="vertical-align:-3.24037pt;width:48.049999px;" version="1.1" viewbox="0 0 48.049999 14.375" width="48.049999" xmlns="http://www.w3.org/2000/svg"> ∈ 对应于每一个<年代vg height="10.725" id="M102" style="vertical-align:-0.3135pt;width:37.325001px;" version="1.1" viewbox="0 0 37.325001 10.725" width="37.325001" xmlns="http://www.w3.org/2000/svg"> ⊂ 这样<年代vg height="18.549999" id="M103" style="vertical-align:-4.47675pt;width:131.45px;" version="1.1" viewbox="0 0 131.45 18.549999" width="131.45" xmlns="http://www.w3.org/2000/svg"> ( ∫ ) = ( ( ) ) 对所有<年代vg height="14.3875" id="M104" style="vertical-align:-2.29482pt;width:48.362499px;" version="1.1" viewbox="0 0 48.362499 14.3875" width="48.362499" xmlns="http://www.w3.org/2000/svg"> ∈ ∗ ,右边的积分应该是存在于勒贝格的感觉。根据定义,<年代vg height="18.549999" id="M105" style="vertical-align:-4.47675pt;width:89.8125px;" version="1.1" viewbox="0 0 89.8125 18.549999" width="89.8125" xmlns="http://www.w3.org/2000/svg"> = ∫ ( ) 。让<年代vg height="13.45" id="M106" style="vertical-align:-2.21957pt;width:45.924999px;" version="1.1" viewbox="0 0 45.924999 13.45" width="45.924999" xmlns="http://www.w3.org/2000/svg"> ( , ) 所有的空间<年代vg height="10.325" id="M107" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 重视佩蒂斯可积函数的区间<年代vg height="10.5125" id="M108" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> 。年代p一个n>
引理2.4(见[<一个href="#B41">41一个>])。年代p一个n><我>如果<年代vg height="13.45" id="M109" style="vertical-align:-2.21957pt;width:23.6px;" version="1.1" viewbox="0 0 23.6 13.45" width="23.6" xmlns="http://www.w3.org/2000/svg"> ( ⋅ ) 佩蒂斯的可积和<年代vg height="13.5625" id="M110" style="vertical-align:-2.21957pt;width:24.025px;" version="1.1" viewbox="0 0 24.025 13.5625" width="24.025" xmlns="http://www.w3.org/2000/svg"> ℎ ( ⋅ ) 本质上是一个可衡量的和有界实值函数,然后呢<年代vg height="13.5625" id="M111" style="vertical-align:-2.21957pt;width:47.5px;" version="1.1" viewbox="0 0 47.5 13.5625" width="47.5" xmlns="http://www.w3.org/2000/svg"> ( ⋅ ) ℎ ( ⋅ ) 佩蒂斯的可积。我>年代p一个n>
定义2.5(见[<一个href="#B42">42一个>])。我>年代p一个n>让<年代vg height="10.325" id="M112" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 巴拿赫空间,<年代vg height="14.6" id="M113" style="vertical-align:-3.13504pt;width:20.8375px;" version="1.1" viewbox="0 0 20.8375 14.6" width="20.8375" xmlns="http://www.w3.org/2000/svg"> Ω 所有有界的集合的子集<年代vg height="10.325" id="M114" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> ,<年代vg height="14.2375" id="M115" style="vertical-align:-3.13504pt;width:17.1px;" version="1.1" viewbox="0 0 17.1 14.2375" width="17.1" xmlns="http://www.w3.org/2000/svg"> 1 单位球<年代vg height="10.325" id="M116" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 。的<我>德布拉西我>测量弱noncompactness是地图<年代vg height="14.6" id="M117" style="vertical-align:-3.13504pt;width:113.8px;" version="1.1" viewbox="0 0 113.8 14.6" width="113.8" xmlns="http://www.w3.org/2000/svg"> ∶ Ω → ( 0 , ∞ ) 定义为<年代p一个ncl一个年代年代="equation" id="eq7"> ( ) = 我 n f > 0 ∶ t h e r e e x 我 年代 t 年代 一个 w e 一个 k l y c o 米 p 一个 c t 年代 u b 年代 e t Ω o f 年代 u c h t h 一个 t ⊂ 1 。 + Ω ( 2 。 6 )
引理2.6(见[<一个href="#B42">42一个>])。年代p一个n><我>德布拉西衡量noncompactness满足以下属性:我><年代p一个ncl一个年代年代="list">(一)年代p一个n><年代p一个ncl一个年代s="list-content"> ⊂ ⇒ ( ) ≤ ( ) ;我>年代p一个n>年代pan>(b)年代p一个n><年代p一个ncl一个年代s="list-content"> ( ) = 0 ⇔ 相对弱紧凑;我>年代p一个n>年代pan>(c)年代p一个n><年代p一个ncl一个年代s="list-content"> ( ∪ ) = 米 一个 x { ( ) , ( ) } ;我>年代p一个n>年代pan>(d)年代p一个n><年代p一个ncl一个年代s="list-content"> ( ) = ( ) ,在那里<年代vg height="16.6" id="M123" style="vertical-align:-0.1254pt;width:19.450001px;" version="1.1" viewbox="0 0 19.450001 16.6" width="19.450001" xmlns="http://www.w3.org/2000/svg"> 表示弱者关闭<年代vg height="10.725" id="M124" style="vertical-align:-0.1254pt;width:11.375px;" version="1.1" viewbox="0 0 11.375 10.725" width="11.375" xmlns="http://www.w3.org/2000/svg"> ;我>年代p一个n>年代pan>(e)年代p一个n><年代p一个ncl一个年代s="list-content"> ( + ) ≤ ( ) + ( ) ;我>年代p一个n>年代pan>(f)年代p一个n><年代p一个ncl一个年代s="list-content"> ( ) = | | ( ) ;我>年代p一个n>年代pan>(g)年代p一个n><年代p一个ncl一个年代s="list-content"> ( c o n v ( ) ) = ( ) ;我>年代p一个n>年代pan>(h)年代p一个n><年代p一个ncl一个年代s="list-content"> ( ∪ | | ≤ ℎ ) = ℎ ( ) 。我>年代p一个n>年代pan>下面的结果是直接从Hahn-Banach定理。我>年代p一个n>
引理2.7。年代p一个n><我>让<年代vg height="10.325" id="M129" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 赋范空间<年代vg height="14.75" id="M130" style="vertical-align:-3.25793pt;width:38.537498px;" version="1.1" viewbox="0 0 38.537498 14.75" width="38.537498" xmlns="http://www.w3.org/2000/svg"> 0 ≠ 0 。然后存在<年代vg height="14.3875" id="M131" style="vertical-align:-2.29482pt;width:48.362499px;" version="1.1" viewbox="0 0 48.362499 14.3875" width="48.362499" xmlns="http://www.w3.org/2000/svg"> ∈ ∗ 与<年代vg height="13.8625" id="M132" style="vertical-align:-2.37006pt;width:54.087502px;" version="1.1" viewbox="0 0 54.087502 13.8625" width="54.087502" xmlns="http://www.w3.org/2000/svg"> 为 为 = 1 和<年代vg height="14.975" id="M133" style="vertical-align:-3.25793pt;width:86.050003px;" version="1.1" viewbox="0 0 86.050003 14.975" width="86.050003" xmlns="http://www.w3.org/2000/svg"> ( 0 ) = 为 0 为 。我><我>出于完整性的考虑,我们回忆起Pettis-integral的定义和卡普托分数阶的导数。我>年代p一个n>
定义2.8(见[<一个href="#B25">25一个>])。我>年代p一个n>让<年代vg height="11" id="M134" style="vertical-align:-0.16302pt;width:76.587502px;" version="1.1" viewbox="0 0 76.587502 11" width="76.587502" xmlns="http://www.w3.org/2000/svg"> ℎ ∶ → 是一个函数。部分佩蒂斯积分的函数<年代vg height="10.95" id="M135" style="vertical-align:-0.1254pt;width:9.1374998px;" version="1.1" viewbox="0 0 9.1374998 10.95" width="9.1374998" xmlns="http://www.w3.org/2000/svg"> ℎ 的订单<年代vg height="12.7875" id="M136" style="vertical-align:-0.33858pt;width:48.125px;" version="1.1" viewbox="0 0 48.125 12.7875" width="48.125" xmlns="http://www.w3.org/2000/svg"> ∈ ℝ + 被定义为<年代p一个ncl一个年代年代="equation" id="eq8"> ℎ ( ) = 0 ( − ) − 1 Γ ( ) ℎ ( ) , ( 2 。 7 ) 标志”<年代vg height="18" id="M138" style="vertical-align:-4.03784pt;width:9.8500004px;" version="1.1" viewbox="0 0 9.8500004 18" width="9.8500004" xmlns="http://www.w3.org/2000/svg"> ∫ ”佩蒂斯积分表示<年代vg height="10.475" id="M139" style="vertical-align:-0.0pt;width:9.3000002px;" version="1.1" viewbox="0 0 9.3000002 10.475" width="9.3000002" xmlns="http://www.w3.org/2000/svg"> Γ 是伽玛函数。年代p一个n>
定义2.9(见[<一个href="#B3">3一个>])。我>年代p一个n>为一个函数<年代vg height="11" id="M140" style="vertical-align:-0.16302pt;width:76.587502px;" version="1.1" viewbox="0 0 76.587502 11" width="76.587502" xmlns="http://www.w3.org/2000/svg"> ℎ ∶ → 她的分数阶导数<年代vg height="10.95" id="M141" style="vertical-align:-0.1254pt;width:9.1374998px;" version="1.1" viewbox="0 0 9.1374998 10.95" width="9.1374998" xmlns="http://www.w3.org/2000/svg"> ℎ 被定义为<年代p一个ncl一个年代年代="equation" id="eq9"> + ℎ ( 1 ) = Γ ( − ) ( − ) − − 1 ℎ ( ) ( ) , − 1 < < , ( 2 。 8 ) 在哪里<年代vg height="13.125" id="M143" style="vertical-align:-1.95624pt;width:71.974998px;" version="1.1" viewbox="0 0 71.974998 13.125" width="71.974998" xmlns="http://www.w3.org/2000/svg"> = ( ] + 1 和<年代vg height="12.9125" id="M144" style="vertical-align:-1.95624pt;width:19.35px;" version="1.1" viewbox="0 0 19.35 12.9125" width="19.35" xmlns="http://www.w3.org/2000/svg"> ( ] 表示的整数部分<年代vg height="7.1750002" id="M145" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg"> 。年代p一个n>
引理2.10(见[<一个href="#B43">43一个>])。年代p一个n><我>让<年代vg height="10.325" id="M146" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 巴拿赫空间<年代vg height="12.925" id="M147" style="vertical-align:-1.90608pt;width:12.325px;" version="1.1" viewbox="0 0 12.325 12.925" width="12.325" xmlns="http://www.w3.org/2000/svg"> 非空的、有界闭凸,等度连续的子集<年代vg height="13.45" id="M148" style="vertical-align:-2.21957pt;width:47.125px;" version="1.1" viewbox="0 0 47.125 13.45" width="47.125" xmlns="http://www.w3.org/2000/svg"> ( , ) 。假设<年代vg height="16.137501" id="M149" style="vertical-align:-4.37271pt;width:120.5px;" version="1.1" viewbox="0 0 120.5 16.137501" width="120.5" xmlns="http://www.w3.org/2000/svg"> ∶ → c l , c v ( ) 有一个弱顺序关闭图。如果这意味着我><年代p一个ncl一个年代年代="equation" id="EEq2.1"> = c o n v ( { 0 } ∪ ( ) ) ⟹ ( 2 。 9 ) 适用于每一个子集<年代vg height="10.575" id="M151" style="vertical-align:-0.20064pt;width:12.625px;" version="1.1" viewbox="0 0 12.625 10.575" width="12.625" xmlns="http://www.w3.org/2000/svg"> 的<年代vg height="12.925" id="M152" style="vertical-align:-1.90608pt;width:12.325px;" version="1.1" viewbox="0 0 12.325 12.925" width="12.325" xmlns="http://www.w3.org/2000/svg"> ,那么运营商包容<年代vg height="13.45" id="M153" style="vertical-align:-2.21957pt;width:56.775002px;" version="1.1" viewbox="0 0 56.775002 13.45" width="56.775002" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) 有一个解决方案<年代vg height="12.925" id="M154" style="vertical-align:-1.90608pt;width:12.325px;" version="1.1" viewbox="0 0 12.325 12.925" width="12.325" xmlns="http://www.w3.org/2000/svg"> 。我>年代p一个n>
让我们首先定义我们所说的解决问题(<一个href="#EEq1.1">1.1一个>)。
<年代p一个ncl一个年代s="statement" id="deff3.1">定义3.1。我>年代p一个n>一个函数<年代vg height="16.637501" id="M155" style="vertical-align:-2.29482pt;width:92.824997px;" version="1.1" viewbox="0 0 92.824997 16.637501" width="92.824997" xmlns="http://www.w3.org/2000/svg"> ∈ 1 ( , ) 据说是一个解决方案(<一个href="#EEq1.1">1.1一个>),如果存在一个函数<年代vg height="16.5375" id="M156" style="vertical-align:-2.21957pt;width:81.099998px;" version="1.1" viewbox="0 0 81.099998 16.5375" width="81.099998" xmlns="http://www.w3.org/2000/svg"> ∈ 1 ( , ) 与<年代vg height="13.55" id="M157" style="vertical-align:-2.29482pt;width:97.25px;" version="1.1" viewbox="0 0 97.25 13.55" width="97.25" xmlns="http://www.w3.org/2000/svg"> ( ) ∈ ( , ( ) ) 乙醯。<年代vg height="10.75" id="M158" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,这样<年代p一个ncl一个年代年代="equation" id="eq11"> ( ) = ( ) 一个 。 e 。 ∈ , 1 < ≤ 2 , ( 3 。 1 ) 和<年代vg height="9.8625002" id="M160" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 9.8625002" width="7.875" xmlns="http://www.w3.org/2000/svg"> 满足条件<年代vg height="14.625" id="M161" style="vertical-align:-3.13504pt;width:358.42499px;" version="1.1" viewbox="0 0 358.42499 14.625" width="358.42499" xmlns="http://www.w3.org/2000/svg"> ( 0 ) = 1 ( ) + 1 , ′ ( 0 ) = 2 ′ ( ) + 2 , 1 ≠ 1 , 2 ≠ 1 。证明的主要结果,我们需要以下假设:<年代p一个ncl一个年代年代="list">(H1)年代p一个n><年代p一个ncl一个年代s="list-content"> ∶ × → c p , c v ( ) 弱顺序关闭图;年代p一个n>年代p一个n>(H2)年代p一个n><年代p一个ncl一个年代s="list-content">对于每一个连续<年代vg height="13.45" id="M163" style="vertical-align:-2.21957pt;width:75.112503px;" version="1.1" viewbox="0 0 75.112503 13.45" width="75.112503" xmlns="http://www.w3.org/2000/svg"> ∈ ( , ) 存在一个标量可测函数<年代vg height="10.5375" id="M164" style="vertical-align:-0.16302pt;width:75.474998px;" version="1.1" viewbox="0 0 75.474998 10.5375" width="75.474998" xmlns="http://www.w3.org/2000/svg"> ∶ → 与<年代vg height="13.45" id="M165" style="vertical-align:-2.21957pt;width:98.087502px;" version="1.1" viewbox="0 0 98.087502 13.45" width="98.087502" xmlns="http://www.w3.org/2000/svg"> ( ) ∈ ( , ( ) ) a.e.上<年代vg height="10.5125" id="M166" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> 和<年代vg height="7.4250002" id="M167" style="vertical-align:-0.11285pt;width:8.0375004px;" version="1.1" viewbox="0 0 8.0375004 7.4250002" width="8.0375004" xmlns="http://www.w3.org/2000/svg"> 佩蒂斯可积在<年代vg height="10.5125" id="M168" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> ;年代p一个n>年代p一个n>(H3)年代p一个n><年代p一个ncl一个年代s="list-content">存在<年代vg height="18.3125" id="M169" style="vertical-align:-4.77652pt;width:102.1375px;" version="1.1" viewbox="0 0 102.1375 18.3125" width="102.1375" xmlns="http://www.w3.org/2000/svg"> ∈ ∞ ( , ℝ + ) 和一个连续不减少的功能<年代vg height="13.55" id="M170" style="vertical-align:-2.29482pt;width:135.3125px;" version="1.1" viewbox="0 0 135.3125 13.55" width="135.3125" xmlns="http://www.w3.org/2000/svg"> ∶ ( 0 , ∞ ) → ( 0 , ∞ ) 这样<年代p一个ncl一个年代年代="equation" id="eq12"> 为 ( , ) 为 = 年代 u p { | | ∶ ∈ ( , ) } ≤ ( ) ( 为 为 ) ; ( 3 。 2 ) (H4)年代p一个n><年代p一个ncl一个年代s="list-content">对于每一个有界集<年代vg height="10.725" id="M172" style="vertical-align:-0.3135pt;width:43.962502px;" version="1.1" viewbox="0 0 43.962502 10.725" width="43.962502" xmlns="http://www.w3.org/2000/svg"> ⊂ ,每个<年代vg height="10.75" id="M173" style="vertical-align:-0.33858pt;width:33.3125px;" version="1.1" viewbox="0 0 33.3125 10.75" width="33.3125" xmlns="http://www.w3.org/2000/svg"> ∈ ,下面的不平等是适用的:<年代p一个ncl一个年代年代="equation" id="eq13"> ( ( , ) ) ≤ ( ) ⋅ ( ) ; ( 3 。 3 ) (H5)年代p一个n><年代p一个ncl一个年代s="list-content">存在一个常数<年代vg height="11.0625" id="M175" style="vertical-align:-0.30096pt;width:38.887501px;" version="1.1" viewbox="0 0 38.887501 11.0625" width="38.887501" xmlns="http://www.w3.org/2000/svg"> > 0 这样<年代p一个ncl一个年代年代="equation" id="eq14"> ∗ + 为 为 为 为 ∞ ( ) ∗ > 1 , ( 3 。 4 ) 在哪里<年代vg height="14.45" id="M177" style="vertical-align:-2.34499pt;width:14.7875px;" version="1.1" viewbox="0 0 14.7875 14.45" width="14.7875" xmlns="http://www.w3.org/2000/svg"> ∗ 和<年代vg height="11.8" id="M178" style="vertical-align:-0.15048pt;width:18.25px;" version="1.1" viewbox="0 0 18.25 11.8" width="18.25" xmlns="http://www.w3.org/2000/svg"> ∗ 是由(<一个href="#EEq3.5">3.9一个>)。年代p一个n>
定理3.2。年代p一个n><我>让<年代vg height="10.325" id="M179" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 巴拿赫空间。假设假设(H1)——(H5)感到满意。如果我><年代p一个ncl一个年代年代="equation" id="EEq3.1"> 为 为 为 为 ∞ ∗ < 1 , ( 3 。 5 ) 然后这个问题(<一个href="#EEq1.1">1.1一个>)至少有一个解决方案<年代vg height="10.5125" id="M181" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> 。我>年代p一个n>
证明。我>年代p一个n>让<年代vg height="13.55" id="M182" style="vertical-align:-2.29482pt;width:71.175003px;" version="1.1" viewbox="0 0 71.175003 13.55" width="71.175003" xmlns="http://www.w3.org/2000/svg"> ∈ ( 0 , ] 是一个给定的函数;很明显,边值问题(<一个href="#B18">18一个>]<年代p一个ncl一个年代年代="equation" id="EEq3.2"> ( ) = ( ) , ∈ ( 0 , ) , 1 < ≤ 2 ( ) = 1 ( ) + 1 , ( 0 ) = 2 ( ) + 2 , 1 ≠ 1 , 2 ≠ 1 ( 3 。 6 ) 有一个独特的解决方案<年代p一个ncl一个年代年代="equation" id="EEq3.3"> ( ) = 0 ( , ) ( ) + ( ) , ( 3 。 7 ) 在哪里<年代vg height="13.45" id="M185" style="vertical-align:-2.21957pt;width:40.287498px;" version="1.1" viewbox="0 0 40.287498 13.45" width="40.287498" xmlns="http://www.w3.org/2000/svg"> ( , ) 定义的公式吗<年代p一个ncl一个年代年代="equation" id="EEq3.4"> ⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩ ( , ) = ( − ) − 1 − Γ ( ) 1 ( − ) − 1 1 + − 1 Γ ( ) 2 1 + 1 − 1 ( − ) − 2 2 − 1 1 , − 1 Γ ( − 1 ) 我 f − 0 ≤ ≤ ≤ , 1 ( − ) − 1 1 + − 1 Γ ( ) 2 1 + 1 − 1 ( − ) − 2 2 − 1 1 , − 1 Γ ( − 1 ) 我 f 0 ≤ ≤ ≤ , ( ) = 2 1 + 1 − 1 2 − 1 1 − − 1 1 1 。 − 1 ( 3 。 8 ) 的表达式<年代vg height="13.45" id="M187" style="vertical-align:-2.21957pt;width:40.287498px;" version="1.1" viewbox="0 0 40.287498 13.45" width="40.287498" xmlns="http://www.w3.org/2000/svg"> ( , ) 和<年代vg height="13.6125" id="M188" style="vertical-align:-2.34499pt;width:23.112499px;" version="1.1" viewbox="0 0 23.112499 13.6125" width="23.112499" xmlns="http://www.w3.org/2000/svg"> ( ) ,很明显<年代vg height="13.45" id="M189" style="vertical-align:-2.21957pt;width:40.287498px;" version="1.1" viewbox="0 0 40.287498 13.45" width="40.287498" xmlns="http://www.w3.org/2000/svg"> ( , ) 上是连续的<年代vg height="10.725" id="M190" style="vertical-align:-0.3135pt;width:35.825001px;" version="1.1" viewbox="0 0 35.825001 10.725" width="35.825001" xmlns="http://www.w3.org/2000/svg"> × 和<年代vg height="13.6125" id="M191" style="vertical-align:-2.34499pt;width:23.112499px;" version="1.1" viewbox="0 0 23.112499 13.6125" width="23.112499" xmlns="http://www.w3.org/2000/svg"> ( ) 上是连续的<年代vg height="10.5125" id="M192" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> 。表示由<年代p一个ncl一个年代年代="equation" id="EEq3.5"> ∗ = 年代 u p 0 | | | | ( , ) , ∈ , ∗ = 米 一个 x 0 ≤ ≤ 为 ( ) 为 。 ( 3 。 9 ) 我们将问题(<一个href="#EEq1.1">1.1一个>)不动点问题,考虑到多值算子<年代vg height="16.137501" id="M194" style="vertical-align:-4.37271pt;width:193.75px;" version="1.1" viewbox="0 0 193.75 16.137501" width="193.75" xmlns="http://www.w3.org/2000/svg"> ∶ ( , ) → c l , c v ( ( , ) ) 定义为<年代p一个ncl一个年代年代="equation" id="EEq3.6"> ( ) = ℎ ∈ ( , ) ∶ ℎ ( ) = ( ) + 0 ( , ) ( ) , ∈ , , ( 3 。 1 0 ) ,请参考[<一个href="#B31">31日一个>定义操作符<年代vg height="10.325" id="M196" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 。显然,固定的点<年代vg height="10.325" id="M197" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 解决方案的问题(<一个href="#EEq1.1">1.1一个>)。我们首先证明(<一个href="#EEq3.6">3.10一个>)是有意义的。看到这,让<年代vg height="13.45" id="M198" style="vertical-align:-2.21957pt;width:75.112503px;" version="1.1" viewbox="0 0 75.112503 13.45" width="75.112503" xmlns="http://www.w3.org/2000/svg"> ∈ ( , ) ;(H2)存在一个佩蒂斯的可积函数<年代vg height="10.5375" id="M199" style="vertical-align:-0.16302pt;width:75.474998px;" version="1.1" viewbox="0 0 75.474998 10.5375" width="75.474998" xmlns="http://www.w3.org/2000/svg"> ∶ → 这样<年代vg height="13.45" id="M200" style="vertical-align:-2.21957pt;width:98.087502px;" version="1.1" viewbox="0 0 98.087502 13.45" width="98.087502" xmlns="http://www.w3.org/2000/svg"> ( ) ∈ ( , ( ) ) 乙醯。<年代vg height="10.75" id="M201" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ 。自<年代vg height="13.85" id="M202" style="vertical-align:-2.21957pt;width:97.9375px;" version="1.1" viewbox="0 0 97.9375 13.85" width="97.9375" xmlns="http://www.w3.org/2000/svg"> ( , ⋅ ) ∈ ∞ ( ) ,然后<年代vg height="13.45" id="M203" style="vertical-align:-2.21957pt;width:60.662498px;" version="1.1" viewbox="0 0 60.662498 13.45" width="60.662498" xmlns="http://www.w3.org/2000/svg"> ( , ⋅ ) ( ⋅ ) 佩蒂斯可积,是这样的吗<年代vg height="10.325" id="M204" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 是定义良好的。让<年代vg height="11.0625" id="M205" style="vertical-align:-0.30096pt;width:38.887501px;" version="1.1" viewbox="0 0 38.887501 11.0625" width="38.887501" xmlns="http://www.w3.org/2000/svg"> > 0 ,并考虑<年代p一个ncl一个年代年代="equation" id="eq21"> = ∈ ( , ) ∶ 为 为 ∞ 为 为 ≤ , 1 − 2 为 为 ≤ 为 为 1 − 2 为 为 + 为 为 为 为 ∞ ( ) 0 为 为 2 , − 1 为 为 , f o r 1 , 2 ; ∈ ( 3 。 1 1 ) 显然,子集<年代vg height="10.325" id="M207" style="vertical-align:-0.0pt;width:12.7px;" version="1.1" viewbox="0 0 12.7 10.325" width="12.7" xmlns="http://www.w3.org/2000/svg"> 是一个封闭的、凸、有界和等度连续的子集<年代vg height="13.45" id="M208" style="vertical-align:-2.21957pt;width:47.125px;" version="1.1" viewbox="0 0 47.125 13.45" width="47.125" xmlns="http://www.w3.org/2000/svg"> ( , ) 。我们将显示<年代vg height="10.325" id="M209" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 满足这些假设的引理<一个href="#lem2.4">2.10一个>。证明将在四个步骤。<我>步骤1我>。我们将显示操作员<年代vg height="13.45" id="M210" style="vertical-align:-2.21957pt;width:32.424999px;" version="1.1" viewbox="0 0 32.424999 13.45" width="32.424999" xmlns="http://www.w3.org/2000/svg"> ( ) 是每个凸<年代vg height="10.75" id="M211" style="vertical-align:-0.33858pt;width:40.6875px;" version="1.1" viewbox="0 0 40.6875 10.75" width="40.6875" xmlns="http://www.w3.org/2000/svg"> ∈ 。事实上,如果<年代vg height="14.7125" id="M212" style="vertical-align:-3.13504pt;width:15.2375px;" version="1.1" viewbox="0 0 15.2375 14.7125" width="15.2375" xmlns="http://www.w3.org/2000/svg"> ℎ 1 和<年代vg height="14.7125" id="M213" style="vertical-align:-3.13504pt;width:15.2375px;" version="1.1" viewbox="0 0 15.2375 14.7125" width="15.2375" xmlns="http://www.w3.org/2000/svg"> ℎ 2 属于<年代vg height="13.45" id="M214" style="vertical-align:-2.21957pt;width:32.424999px;" version="1.1" viewbox="0 0 32.424999 13.45" width="32.424999" xmlns="http://www.w3.org/2000/svg"> ( ) ,然后存在佩蒂斯的可积函数<年代vg height="14.6" id="M215" style="vertical-align:-3.13504pt;width:29.424999px;" version="1.1" viewbox="0 0 29.424999 14.6" width="29.424999" xmlns="http://www.w3.org/2000/svg"> 1 ( ) ,<年代vg height="14.6" id="M216" style="vertical-align:-3.13504pt;width:104.1875px;" version="1.1" viewbox="0 0 104.1875 14.6" width="104.1875" xmlns="http://www.w3.org/2000/svg"> 2 ( ) ∈ ( , ( ) ) 这样,<年代vg height="10.75" id="M217" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,我们有<年代p一个ncl一个年代年代="equation" id="EEq3.7"> ℎ ( ) = ( ) + 0 ( , ) ( ) , = 1 , 2 。 ( 3 。 1 2 ) 让<年代vg height="12.3" id="M219" style="vertical-align:-1.29163pt;width:62.849998px;" version="1.1" viewbox="0 0 62.849998 12.3" width="62.849998" xmlns="http://www.w3.org/2000/svg"> 0 ≤ ≤ 1 。然后,为每个<年代vg height="10.75" id="M220" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,我们有<年代p一个ncl一个年代年代="equation" id="eq23"> ℎ 1 + ( 1 − ) ℎ 2 ( ) = ( ) + 0 ( , ) 1 ( ) + ( 1 − ) 2 ( ) 。 ( 3 。 1 3 ) 自<年代vg height="10.325" id="M222" style="vertical-align:-0.0pt;width:12.05px;" version="1.1" viewbox="0 0 12.05 10.325" width="12.05" xmlns="http://www.w3.org/2000/svg"> 有凸值,<年代vg height="14.6" id="M223" style="vertical-align:-3.13504pt;width:182.60001px;" version="1.1" viewbox="0 0 182.60001 14.6" width="182.60001" xmlns="http://www.w3.org/2000/svg"> ( 1 + ( 1 − ) 2 ) ( ) ∈ ( , ) 我们有<年代vg height="14.7125" id="M224" style="vertical-align:-3.13504pt;width:152.2px;" version="1.1" viewbox="0 0 152.2 14.7125" width="152.2" xmlns="http://www.w3.org/2000/svg"> ℎ 1 + ( 1 − ) ℎ 2 ∈ ( ) 。<我>步骤2我>。我们将显示操作员<年代vg height="10.325" id="M225" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 地图<年代vg height="10.325" id="M226" style="vertical-align:-0.0pt;width:12.7px;" version="1.1" viewbox="0 0 12.7 10.325" width="12.7" xmlns="http://www.w3.org/2000/svg"> 成<年代vg height="10.325" id="M227" style="vertical-align:-0.0pt;width:12.7px;" version="1.1" viewbox="0 0 12.7 10.325" width="12.7" xmlns="http://www.w3.org/2000/svg"> 。看到这,<年代vg height="10.75" id="M228" style="vertical-align:-0.33858pt;width:52.799999px;" version="1.1" viewbox="0 0 52.799999 10.75" width="52.799999" xmlns="http://www.w3.org/2000/svg"> ∈ 。然后存在<年代vg height="10.75" id="M229" style="vertical-align:-0.33858pt;width:40.6875px;" version="1.1" viewbox="0 0 40.6875 10.75" width="40.6875" xmlns="http://www.w3.org/2000/svg"> ∈ 与<年代vg height="13.45" id="M230" style="vertical-align:-2.21957pt;width:59.224998px;" version="1.1" viewbox="0 0 59.224998 13.45" width="59.224998" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) 佩蒂斯和存在一个可积的函数<年代vg height="10.5375" id="M231" style="vertical-align:-0.16302pt;width:75.474998px;" version="1.1" viewbox="0 0 75.474998 10.5375" width="75.474998" xmlns="http://www.w3.org/2000/svg"> ∶ → 与<年代vg height="13.45" id="M232" style="vertical-align:-2.21957pt;width:98.087502px;" version="1.1" viewbox="0 0 98.087502 13.45" width="98.087502" xmlns="http://www.w3.org/2000/svg"> ( ) ∈ ( , ( ) ) 乙醯。<年代vg height="10.75" id="M233" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ 。不失一般性,我们假设<年代vg height="13.45" id="M234" style="vertical-align:-2.21957pt;width:48.549999px;" version="1.1" viewbox="0 0 48.549999 13.45" width="48.549999" xmlns="http://www.w3.org/2000/svg"> ( ) ≠ 0 对所有<年代vg height="10.75" id="M235" style="vertical-align:-0.33858pt;width:36.700001px;" version="1.1" viewbox="0 0 36.700001 10.75" width="36.700001" xmlns="http://www.w3.org/2000/svg"> ∈ 。然后,存在<年代vg height="15.5625" id="M236" style="vertical-align:-3.2316pt;width:53.799999px;" version="1.1" viewbox="0 0 53.799999 15.5625" width="53.799999" xmlns="http://www.w3.org/2000/svg"> ∈ ∗ 与<年代vg height="14.9375" id="M237" style="vertical-align:-3.2316pt;width:59.525002px;" version="1.1" viewbox="0 0 59.525002 14.9375" width="59.525002" xmlns="http://www.w3.org/2000/svg"> 为 为 = 1 和<年代vg height="14.9375" id="M238" style="vertical-align:-3.2316pt;width:111.5px;" version="1.1" viewbox="0 0 111.5 14.9375" width="111.5" xmlns="http://www.w3.org/2000/svg"> ( ( ) ) = 为 ( ) 为 。因此,对于每一个固定的<年代vg height="10.75" id="M239" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,我们有<年代p一个ncl一个年代年代="equation" id="eq24"> 为 ( ) 为 = ( ( ) ) = ( ) + 0 ( , ) ( ) ≤ ( ( ) ) + 0 ( , ) ( ) ≤ 为 ( ) 为 + 0 为 ( , ) 为 ( ( ) ) ≤ ∗ + ∗ 为 为 ∞ 为 为 为 为 ∞ 。 ( 3 。 1 4 ) 因此,通过(H5),我们有<年代p一个ncl一个年代年代="equation" id="eq25"> 为 为 ∞ ≤ ∗ + 为 为 为 为 ∞ ∗ 为 为 ∞ ≤ 。 ( 3 。 1 5 ) 下一个假设<年代vg height="10.75" id="M242" style="vertical-align:-0.33858pt;width:52.799999px;" version="1.1" viewbox="0 0 52.799999 10.75" width="52.799999" xmlns="http://www.w3.org/2000/svg"> ∈ 和<年代vg height="14.2375" id="M243" style="vertical-align:-3.13504pt;width:62.337502px;" version="1.1" viewbox="0 0 62.337502 14.2375" width="62.337502" xmlns="http://www.w3.org/2000/svg"> 1 , 2 ∈ ,<年代vg height="12.375" id="M244" style="vertical-align:-3.13504pt;width:45.512501px;" version="1.1" viewbox="0 0 45.512501 12.375" width="45.512501" xmlns="http://www.w3.org/2000/svg"> 1 < 2 这<年代vg height="14.6" id="M245" style="vertical-align:-3.13504pt;width:103.1375px;" version="1.1" viewbox="0 0 103.1375 14.6" width="103.1375" xmlns="http://www.w3.org/2000/svg"> ( 2 ) − ( 1 ) ≠ 0 。然后,存在<年代vg height="14.3875" id="M246" style="vertical-align:-2.29482pt;width:48.362499px;" version="1.1" viewbox="0 0 48.362499 14.3875" width="48.362499" xmlns="http://www.w3.org/2000/svg"> ∈ ∗ 这样<年代vg height="14.8125" id="M247" style="vertical-align:-3.13504pt;width:215.25px;" version="1.1" viewbox="0 0 215.25 14.8125" width="215.25" xmlns="http://www.w3.org/2000/svg"> 为 ( 2 ) − ( 1 ) 为 = ( ( 2 ) − ( 1 ) ) 。因此,<年代p一个ncl一个年代年代="equation" id="eq26"> 为 为 2 − 1 为 为 = 2 − 1 + 0 2 , − 1 , ⋅ ( ) ≤ 2 − 1 + 0 2 , − 1 ≤ 为 为 , ⋅ ( ) 2 − 1 为 为 + 0 为 为 2 , − 1 为 为 为 ≤ 为 为 , ⋅ 为 ( ) 2 − 1 为 为 为 为 + ( ) 为 为 ∞ 0 为 为 2 , − 1 为 为 , ; ( 3 。 1 6 ) 这意味着<年代vg height="10.75" id="M249" style="vertical-align:-0.33858pt;width:39.5px;" version="1.1" viewbox="0 0 39.5 10.75" width="39.5" xmlns="http://www.w3.org/2000/svg"> ∈ 。一步<我>3我>。我们将显示操作员<年代vg height="10.325" id="M250" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 有一个弱顺序关闭图。让<年代vg height="16.35" id="M251" style="vertical-align:-4.05913pt;width:56.262501px;" version="1.1" viewbox="0 0 56.262501 16.35" width="56.262501" xmlns="http://www.w3.org/2000/svg"> ( , ) ∞ 1 是一个序列<年代vg height="10.725" id="M252" style="vertical-align:-0.3135pt;width:42px;" version="1.1" viewbox="0 0 42 10.725" width="42" xmlns="http://www.w3.org/2000/svg"> × 与<年代vg height="14.6875" id="M253" style="vertical-align:-3.20526pt;width:82.337502px;" version="1.1" viewbox="0 0 82.337502 14.6875" width="82.337502" xmlns="http://www.w3.org/2000/svg"> ( ) → ( ) 在<年代vg height="13.45" id="M254" style="vertical-align:-2.21957pt;width:38.849998px;" version="1.1" viewbox="0 0 38.849998 13.45" width="38.849998" xmlns="http://www.w3.org/2000/svg"> ( , ) 为每一个<年代vg height="10.75" id="M255" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,<年代vg height="14.6875" id="M256" style="vertical-align:-3.20526pt;width:80.650002px;" version="1.1" viewbox="0 0 80.650002 14.6875" width="80.650002" xmlns="http://www.w3.org/2000/svg"> ( ) → ( ) 在<年代vg height="13.45" id="M257" style="vertical-align:-2.21957pt;width:38.849998px;" version="1.1" viewbox="0 0 38.849998 13.45" width="38.849998" xmlns="http://www.w3.org/2000/svg"> ( , ) 为每一个<年代vg height="10.75" id="M258" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,<年代vg height="14.6875" id="M259" style="vertical-align:-3.20526pt;width:71.6875px;" version="1.1" viewbox="0 0 71.6875 14.6875" width="71.6875" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) 为<年代vg height="13.575" id="M260" style="vertical-align:-2.26974pt;width:89.175003px;" version="1.1" viewbox="0 0 89.175003 13.575" width="89.175003" xmlns="http://www.w3.org/2000/svg"> ∈ { 1 , 2 , … } 。我们将显示<年代vg height="13.1875" id="M261" style="vertical-align:-2.29482pt;width:49.162498px;" version="1.1" viewbox="0 0 49.162498 13.1875" width="49.162498" xmlns="http://www.w3.org/2000/svg"> ∈ 。的关系<年代vg height="14.6875" id="M262" style="vertical-align:-3.20526pt;width:71.6875px;" version="1.1" viewbox="0 0 71.6875 14.6875" width="71.6875" xmlns="http://www.w3.org/2000/svg"> ∈ ( ) ,我们意味着存在<年代vg height="17.275" id="M263" style="vertical-align:-5.37971pt;width:64.287498px;" version="1.1" viewbox="0 0 64.287498 17.275" width="64.287498" xmlns="http://www.w3.org/2000/svg"> ∈ , 这样<年代p一个ncl一个年代年代="equation" id="eq27"> ( ) = ( ) + 0 ( , ) ( ) 。 ( 3 。 1 7 ) 我们必须表明,存在<年代vg height="16.012501" id="M265" style="vertical-align:-4.37273pt;width:53.712502px;" version="1.1" viewbox="0 0 53.712502 16.012501" width="53.712502" xmlns="http://www.w3.org/2000/svg"> ∈ , 这样,对于每个<年代vg height="10.75" id="M266" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,<年代p一个ncl一个年代年代="equation" id="eq28"> ( ) = ( ) + 0 ( , ) ( ) 。 ( 3 。 1 8 ) 自<年代vg height="13.45" id="M268" style="vertical-align:-2.21957pt;width:35.650002px;" version="1.1" viewbox="0 0 35.650002 13.45" width="35.650002" xmlns="http://www.w3.org/2000/svg"> ( ⋅ , ⋅ ) 紧凑的值,存在一个子序列<年代vg height="13.9875" id="M269" style="vertical-align:-5.37971pt;width:20.262501px;" version="1.1" viewbox="0 0 20.262501 13.9875" width="20.262501" xmlns="http://www.w3.org/2000/svg"> 这样<年代p一个ncl一个年代年代="equation" id="eq29"> ( ⋅ ) ⟶ ( ⋅ ) 我 n ( , ) 一个 年代 ⟶ ∞ ( ) ∈ , ( ) 一个 。 e 。 ∈ 。 ( 3 。 1 9 ) 自<年代vg height="13.45" id="M271" style="vertical-align:-2.21957pt;width:36.0625px;" version="1.1" viewbox="0 0 36.0625 13.45" width="36.0625" xmlns="http://www.w3.org/2000/svg"> ( , ⋅ ) 有一个弱顺序关闭图,<年代vg height="13.45" id="M272" style="vertical-align:-2.21957pt;width:67.487503px;" version="1.1" viewbox="0 0 67.487503 13.45" width="67.487503" xmlns="http://www.w3.org/2000/svg"> ∈ ( , ) 。佩蒂斯勒贝格控制收敛定理的积分然后暗示<年代vg height="14.3875" id="M273" style="vertical-align:-2.29482pt;width:48.362499px;" version="1.1" viewbox="0 0 48.362499 14.3875" width="48.362499" xmlns="http://www.w3.org/2000/svg"> ∈ ∗ ,<年代p一个ncl一个年代年代="equation" id="eq30"> ( ) = ( ) + 0 ( , ) ( ) ⟶ ( ) + 0 ; ( , ) ( ) ( 3 。 2 0 ) 也就是说,<年代vg height="14.6875" id="M275" style="vertical-align:-3.20526pt;width:94.800003px;" version="1.1" viewbox="0 0 94.800003 14.6875" width="94.800003" xmlns="http://www.w3.org/2000/svg"> ( ) → ( ) 在<年代vg height="13.45" id="M276" style="vertical-align:-2.21957pt;width:40.3125px;" version="1.1" viewbox="0 0 40.3125 13.45" width="40.3125" xmlns="http://www.w3.org/2000/svg"> ( , ) 。重复这每<年代vg height="10.75" id="M277" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ 显示<年代vg height="13.55" id="M278" style="vertical-align:-2.29482pt;width:79.762497px;" version="1.1" viewbox="0 0 79.762497 13.55" width="79.762497" xmlns="http://www.w3.org/2000/svg"> ( ) ∈ ( ) 。<我>步骤4我>。言外之意(<一个href="#EEq2.1">2.9一个>)持有。现在我们<年代vg height="10.575" id="M279" style="vertical-align:-0.20064pt;width:12.625px;" version="1.1" viewbox="0 0 12.625 10.575" width="12.625" xmlns="http://www.w3.org/2000/svg"> 是的一个子集<年代vg height="10.325" id="M280" style="vertical-align:-0.0pt;width:12.7px;" version="1.1" viewbox="0 0 12.7 10.325" width="12.7" xmlns="http://www.w3.org/2000/svg"> 这样<年代vg height="15.3" id="M281" style="vertical-align:-2.26974pt;width:140.96249px;" version="1.1" viewbox="0 0 140.96249 15.3" width="140.96249" xmlns="http://www.w3.org/2000/svg"> ⊂ c o n v ( ( ) ∪ { 0 } ) 。很明显,<年代vg height="15.3" id="M282" style="vertical-align:-2.26974pt;width:156.2625px;" version="1.1" viewbox="0 0 156.2625 15.3" width="156.2625" xmlns="http://www.w3.org/2000/svg"> ( ) ⊂ c o n v ( ( ) ∪ { 0 } ) 对所有<年代vg height="10.75" id="M283" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ 。因此,<年代vg height="13.45" id="M284" style="vertical-align:-2.21957pt;width:144.3625px;" version="1.1" viewbox="0 0 144.3625 13.45" width="144.3625" xmlns="http://www.w3.org/2000/svg"> ( ) ⊂ ( ) , ∈ ,是有界的<年代vg height="13.45" id="M285" style="vertical-align:-2.21957pt;width:30.975px;" version="1.1" viewbox="0 0 30.975 13.45" width="30.975" xmlns="http://www.w3.org/2000/svg"> ( ) 。因为函数<年代vg height="9.9375" id="M286" style="vertical-align:-2.34499pt;width:8.4375px;" version="1.1" viewbox="0 0 8.4375 9.9375" width="8.4375" xmlns="http://www.w3.org/2000/svg"> 上是连续的<年代vg height="10.5125" id="M287" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> ,一组<年代vg height="18.8375" id="M288" style="vertical-align:-2.34499pt;width:108.8375px;" version="1.1" viewbox="0 0 108.8375 18.8375" width="108.8375" xmlns="http://www.w3.org/2000/svg"> { ( ) , ∈ } ⊂ 紧凑,所以<年代vg height="13.6125" id="M289" style="vertical-align:-2.34499pt;width:69.449997px;" version="1.1" viewbox="0 0 69.449997 13.6125" width="69.449997" xmlns="http://www.w3.org/2000/svg"> ( ( ) ) = 0 。通过假设(H4)和测量的属性<年代vg height="13.425" id="M290" style="vertical-align:-2.29482pt;width:8.8500004px;" version="1.1" viewbox="0 0 8.8500004 13.425" width="8.8500004" xmlns="http://www.w3.org/2000/svg"> ,我们为每个<年代vg height="10.75" id="M291" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ( ( ) ( ) ) = ( ) + 0 ( , ) ( ) ∶ ∈ , , ∈ , ∈ ≤ { ( ) ∶ ∈ } + 0 ( , ) ( ) ∶ ∈ , , ∈ , ∈ ≤ 0 ≤ ( , ) ( ) ∶ ( ) ∈ ( , ( ) ) , ∈ , ∈ 0 为 ( , ) 为 ⋅ ≤ 为 为 ( ) ⋅ ( ( ) ) 为 为 ∞ ⋅ 0 ≤ 为 为 为 ( , ) 为 ⋅ ( ( ) ) 为 为 ∞ ⋅ ∗ ⋅ 0 ( ( ) ) , ( 3 。 2 1 ) 这给了<年代p一个ncl一个年代年代="equation" id="eq32"> 为 为 ∞ ≤ 为 为 为 为 ∞ ⋅ 为 为 ∞ ⋅ ∗ 。 ( 3 。 2 2 ) 这意味着<年代p一个ncl一个年代年代="equation" id="eq33"> 为 为 ∞ ⋅ 为 为 1 − 为 为 ∞ ⋅ ∗ ≤ 0 。 ( 3 。 2 3 ) 由(<一个href="#EEq3.1">3.5一个>),<年代vg height="14.8125" id="M295" style="vertical-align:-3.13504pt;width:62.337502px;" version="1.1" viewbox="0 0 62.337502 14.8125" width="62.337502" xmlns="http://www.w3.org/2000/svg"> 为 为 ∞ = 0 ;也就是说,<年代vg height="10.9125" id="M296" style="vertical-align:-0.17555pt;width:35.237499px;" version="1.1" viewbox="0 0 35.237499 10.9125" width="35.237499" xmlns="http://www.w3.org/2000/svg"> = 0 为每一个<年代vg height="10.75" id="M297" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,然后<年代vg height="10.575" id="M298" style="vertical-align:-0.20064pt;width:12.625px;" version="1.1" viewbox="0 0 12.625 10.575" width="12.625" xmlns="http://www.w3.org/2000/svg"> 相对弱的紧凑在吗<年代vg height="10.325" id="M299" style="vertical-align:-0.0pt;width:12.225px;" version="1.1" viewbox="0 0 12.225 10.325" width="12.225" xmlns="http://www.w3.org/2000/svg"> 。鉴于引理<一个href="#lem2.4">2.10一个>,我们推断出<年代vg height="10.325" id="M300" style="vertical-align:-0.0pt;width:14.8375px;" version="1.1" viewbox="0 0 14.8375 10.325" width="14.8375" xmlns="http://www.w3.org/2000/svg"> 有一个不动点,显然是一个解决问题(<一个href="#EEq1.1">1.1一个>)。这就完成了证明。年代p一个n>
的续集我们给出一个例子说明了定理<一个href="#thm3.1">3.2一个>。
<年代p一个ncl一个年代s="statement" id="ex4.1">例4.1。我>年代p一个n>我们考虑以下部分双曲分数微分包含的形式<年代p一个ncl一个年代年代="equation" id="EEq4.1"> 1 ( ) ∈ 7 + 1 3 | | 1 + | | ( ] ( ) , ∈ ∶ = 0 , , 1 < ≤ 2 , ( 0 ) = 1 ( ) + 1 , ( 0 ) = 2 ( ) + 2 , ( 4 。 1 ) 集<年代vg height="10.6875" id="M302" style="vertical-align:-0.0pt;width:35.924999px;" version="1.1" viewbox="0 0 35.924999 10.6875" width="35.924999" xmlns="http://www.w3.org/2000/svg"> = 1 ,<年代vg height="14.6" id="M303" style="vertical-align:-3.13504pt;width:86.512497px;" version="1.1" viewbox="0 0 86.512497 14.6" width="86.512497" xmlns="http://www.w3.org/2000/svg"> 1 = 2 = − 1 ,<年代vg height="14.6" id="M304" style="vertical-align:-3.13504pt;width:77px;" version="1.1" viewbox="0 0 77 14.6" width="77" xmlns="http://www.w3.org/2000/svg"> 1 = 2 = 0 ,然后<年代vg height="13.6125" id="M305" style="vertical-align:-2.34499pt;width:50.3125px;" version="1.1" viewbox="0 0 50.3125 13.6125" width="50.3125" xmlns="http://www.w3.org/2000/svg"> ( ) = 0 。所以<年代vg height="14.45" id="M306" style="vertical-align:-2.34499pt;width:41.987499px;" version="1.1" viewbox="0 0 41.987499 14.45" width="41.987499" xmlns="http://www.w3.org/2000/svg"> ∗ = 0 。让<年代p一个ncl一个年代年代="equation" id="eq35"> = 1 = = 1 , 2 , … , ∶ , … ∞ = 1 | | | | < ∞ ( 4 。 2 ) 与规范<年代p一个ncl一个年代年代="equation" id="eq36"> 为 为 = ∞ = 1 | | | | 。 ( 4 。 3 ) 集<年代p一个ncl一个年代年代="equation" id="eq37"> = 1 , 2 , … , , … , = 1 , 2 , … , , , … , = 1 7 + 1 3 | | 1 + | | , ∈ 。 ( 4 。 4 ) 为每一个<年代vg height="14.4625" id="M310" style="vertical-align:-3.20526pt;width:44.650002px;" version="1.1" viewbox="0 0 44.650002 14.4625" width="44.650002" xmlns="http://www.w3.org/2000/svg"> ∈ ℝ 和<年代vg height="10.75" id="M311" style="vertical-align:-0.33858pt;width:34.724998px;" version="1.1" viewbox="0 0 34.724998 10.75" width="34.724998" xmlns="http://www.w3.org/2000/svg"> ∈ ,我们有<年代p一个ncl一个年代年代="equation" id="eq38"> | | , | | ≤ 1 7 + 1 3 | | 1 + | | 。 ( 4 。 5 ) 因此条件<年代vg height="13.45" id="M313" style="vertical-align:-2.21957pt;width:29.637501px;" version="1.1" viewbox="0 0 29.637501 13.45" width="29.637501" xmlns="http://www.w3.org/2000/svg"> ( H 1 ) ,<年代vg height="13.45" id="M314" style="vertical-align:-2.21957pt;width:29.637501px;" version="1.1" viewbox="0 0 29.637501 13.45" width="29.637501" xmlns="http://www.w3.org/2000/svg"> ( H 2 ) ,<年代vg height="13.45" id="M315" style="vertical-align:-2.21957pt;width:29.637501px;" version="1.1" viewbox="0 0 29.637501 13.45" width="29.637501" xmlns="http://www.w3.org/2000/svg"> ( H 3 ) 保持与<年代vg height="19.725" id="M316" style="vertical-align:-4.77652pt;width:156.60001px;" version="1.1" viewbox="0 0 156.60001 19.725" width="156.60001" xmlns="http://www.w3.org/2000/svg"> ( ) = 1 / ( 7 + 1 3 ) , ∈ ,<年代vg height="13.55" id="M317" style="vertical-align:-2.29482pt;width:159.66251px;" version="1.1" viewbox="0 0 159.66251 13.55" width="159.66251" xmlns="http://www.w3.org/2000/svg"> ( ) = 1 + , ∈ ( 0 , ∞ ) 。对于任何有界集<年代vg height="14.25" id="M318" style="vertical-align:-0.3135pt;width:43.237499px;" version="1.1" viewbox="0 0 43.237499 14.25" width="43.237499" xmlns="http://www.w3.org/2000/svg"> ⊂ 1 ,我们有<年代p一个ncl一个年代年代="equation" id="eq39"> 1 ( ( , ) ) ≤ 7 + 1 3 ⋅ ( ) , ∀ ∈ 。 ( 4 。 6 ) 因此(H4)满意。从(<一个href="#EEq3.4">3.8一个>),我们有<年代p一个ncl一个年代年代="equation" id="eq40"> ⎧ ⎪ ⎨ ⎪ ⎩ ( , ) = ( − ) − 1 Γ − ( ) ( 1 − ) − 1 + 2 Γ ( ) ( 1 − 2 ) ( 1 − ) − 2 , 4 Γ ( − 1 ) 我 f − 0 ≤ ≤ ≤ 1 , ( 1 − ) − 1 + 2 Γ ( ) ( 1 − 2 ) ( 1 − ) − 2 , 4 Γ ( − 1 ) 我 f 0 ≤ ≤ ≤ 1 。 ( 4 。 7 ) 因此,我们得到<年代p一个ncl一个年代年代="equation" id="eq41"> 1 0 ( , ) = 0 ( , ) + 1 = ( , ) 0 ( − ) − 1 Γ − ( ) ( 1 − ) − 1 + 2 Γ ( ) ( 1 − 2 ) ( 1 − ) − 2 + 4 Γ ( − 1 ) 1 − ( 1 − ) − 1 + 2 Γ ( ) ( 1 − 2 ) ( 1 − ) − 2 = 4 Γ ( − 1 ) 4 − 2 + 4 Γ ( + 1 ) 1 − 2 。 4 Γ ( ) ( 4 。 8 ) 一个简单的计算了<年代p一个ncl一个年代年代="equation" id="EEq4.3"> ∗ < 1 + 1 4 Γ ( ) 2 Γ ( + 1 ) ∶ = 。 ( 4 。 9 ) 我们将检查条件(<一个href="#EEq3.1">3.5一个>)是满意的。事实上<年代p一个ncl一个年代年代="equation" id="EEq4.4"> 为 为 ∞ ∗ < 1 7 1 3 < 1 , ( 4 。 1 0 ) 这是一些满意吗<年代vg height="13.45" id="M324" style="vertical-align:-2.21957pt;width:60.875px;" version="1.1" viewbox="0 0 60.875 13.45" width="60.875" xmlns="http://www.w3.org/2000/svg"> ∈ ( 1 , 2 ] ,(H5)满意<年代vg height="17.7875" id="M325" style="vertical-align:-3.22282pt;width:125.8125px;" version="1.1" viewbox="0 0 125.8125 17.7875" width="125.8125" xmlns="http://www.w3.org/2000/svg"> > / ( 7 1 3 − ) 。然后通过定理<一个href="#thm3.1">3.2一个>问题(<一个href="#EEq4.1">4所示。1一个>)至少有一个解决方案<年代vg height="10.5125" id="M326" style="vertical-align:-0.15048pt;width:10.4375px;" version="1.1" viewbox="0 0 10.4375 10.5125" width="10.4375" xmlns="http://www.w3.org/2000/svg"> 的值<年代vg height="7.1750002" id="M327" style="vertical-align:-0.1254pt;width:8.9375px;" version="1.1" viewbox="0 0 8.9375 7.1750002" width="8.9375" xmlns="http://www.w3.org/2000/svg"> 令人满意的(<一个href="#EEq4.4">4.10一个>)。年代p一个n>
第一作者的工作是由NNSF中国(11161027)、中国NNSF(10901075),中国教育部的重点项目(210226)。作者感谢裁判根据评价的论文已经修改。
r .帮助<我>分数阶微积分应用物理我>,世界科学,新加坡,2000年。
j . Sabatier共和党Agrawal, j . a . Tenreiro马查多,<我>分数微积分的发展我>施普林格,2007年。
答:a . Kilbas h·h·斯利瓦斯塔瓦和j·j·特鲁希略<我>分数阶微分方程理论及应用我>爱思唯尔科学帐面价值,Amsterdam, The Netherlands, 2006.
诉Lakshmikantham、美国Leela都和j . v .戴维<我>部分动态系统理论我>英国剑桥,剑桥科学出版社,2009年。
k·s·米勒和b•罗斯<我>介绍分数微积分和分数微分方程我>约翰·威利& Sons,纽约,纽约,美国,1993年。
k·b·奥尔德姆和j . Spanier<我>分数微积分我>、学术出版社,纽约,纽约,美国,1974年。
Podlubny,<我>分数微分方程我>在科学与工程、数学、学术出版社,纽约,纽约,美国,1999年。
s . g . Samko a . a . Kilbas和o . i Marichev<我>分数积分和衍生品我>,理论和应用,戈登和违反科学出版商Yverdon,瑞士,1993。
r·p·阿加瓦尔·m·Benchohra, s . Hamani“分数微分方程边值问题,”<我>先进的研究在当代数学我>》16卷,第196 - 181页,2008年。
b·艾哈迈德·j·j·尼托,“非局部边值问题的解的高阶非线性分数微分方程,”<我>抽象和应用分析我>ID 494720条,卷。2009年,9页,2009。
z白和h . Lu”正解非线性分数微分方程的边值问题,“<我>《数学分析和应用程序我>,卷311,不。2、495 - 505年,2005页。
m . El-Shahed和j·j·尼托,“非平凡解非线性分数阶多点边值问题,“<我>计算机和数学与应用程序我>卷,59号11日,第3443 - 3438页,2010年。
c·f·李、罗x n和y周”存在正解的非线性分数微分方程的边值问题,“<我>计算机和数学与应用程序我>卷,59号3、1363 - 1375年,2010页。
焦f和y周”,存在一类分数边值问题的解决方案通过临界点理论,“<我>计算机和数学与应用程序我>,卷62,不。3、1181 - 1199年,2011页。
j . Wang和y周”,巴拿赫空间非线性部分控制系统的分析,“<我>非线性分析。理论、方法和应用我>,卷74,不。17日,第5942 - 5929页,2011年。
b·艾哈迈德·g . Wang, l .张“冲动的反周期边值问题的非线性分数阶微分方程,”<我>非线性分析。理论、方法和应用我>,卷74,不。3、792 - 804年,2011页。
W.-X。周和Y.-D。楚说:“存在的解决方案与多点分数微分方程的边界条件,”<我>非线性科学与数值模拟通信我>,17卷,不。3、1142 - 1148年,2012页。
w·周、y . Chang和h . Liu“弱解非线性分数dif-ferential方程在巴拿赫空间中,“<我>离散动力学性质和社会我>文章ID 527969卷,2012年,13页,2012。
j . Banaś和k Goebel<我>Noncompactness在巴拿赫空间的措施我>,60卷,马塞尔·德克,纽约,纽约,美国,1980年。
j . Banaś和k . Sadarangani noncompactness的一些措施在连续函数空间,”<我>非线性分析。理论、方法和应用我>,卷68,不。2、377 - 383年,2008页。
d .郭诉Lakshmikantham x刘,<我>非线性积分方程在抽象空间中我>卷,373<我>数学及其应用我>Kluwer学术,多德雷赫特,荷兰,1996年。
Krzyśka和i Kubiaczyk,“伪和弱有界解非线性微分方程在巴拿赫空间中,“<我>Demonstratio Mathematica我>,32卷,不。2、323 - 330年,1999页。
诉Lakshmikantham和s . Leela都<我>非线性微分方程在抽象空间中我>,卷2,帕加马出版社,纽约,纽约,美国,1981年。
h . Monch“非线性常微分方程边值问题的二阶在巴拿赫空间中,“<我>非线性分析我>,4卷,不。5,985 - 999年,1980页。
d·奥雷根“定点顺序弱连续映射理论,”<我>数学和计算机模拟我>,27卷,不。5,页1 - 14,1998。
d·奥雷根“弱解常微分方程在巴拿赫空间中,“<我>应用数学的信我>,12卷,不。1,第105 - 101页,1999。
s . Szufla”测量的应用noncompactness存在定理,”<我>德拉Rendiconti del Seminario Matematico意大利帕多瓦我>卷,75年,页1 - 14,1986。
Szufla和a . Szukała“弱解的存在性定理<米一个th我d="M328" xmlns="http://www.w3.org/1998/Math/MathML"> n米我>米row>米ath>阶微分方程在巴拿赫空间。”<我>函数等Approximatio Commentarii更加我>26卷,第319 - 313页,1998年,致力于朱利安Musielak。
a . Ouahab”一些结果部分边值问题的微分夹杂物,”<我>非线性分析。理论、方法和应用我>,卷69,不。11日,第3896 - 3877页,2008年。
Y.-K。Chang和j·j·尼托”,一些新的存在分数微分包含边界条件的结果,“<我>数学和计算机模拟我>卷,49号3 - 4、605 - 609年,2009页。
b·艾哈迈德”新结果非线性分数微分方程边值问题的布施,边界条件,”<我>Acta Mathematica Vietnamica我>36卷,第668 - 659页,2011年。
b·艾哈迈德·j·j·尼托,a . Alsaedi“非线性分数微分方程解的存在唯一性与布施类型积分边界条件,”<我>Acta Mathematica Scientia B我>没有,卷。31日。6,2122 - 2130年,2011页。
b·艾哈迈德和s . k . Ntouyas”和反周期typeintegral边界条件非线性分数微分夹杂物,”<我>讨论Mathematicae微分夹杂物、控制和优化我>。在出版社。
j·亨德森和a . Ouahab”与分数阶脉冲微分夹杂物”,<我>计算机和数学与应用程序我>卷,59号3、1191 - 1226年,2010页。
j。奥宾和a . Cellina<我>微分夹杂物我>施普林格,卷。264年,纽约,纽约,美国,1984年。
j。奥宾和h . Frankowska<我>集值分析我>,卷2,Birkhauser、波士顿、质量,美国,1990年。
k . Deimling<我>多值的微分方程我>,卷1,Walter De Gruyter纽约,纽约,美国,1992年。
美国胡锦涛和n s Papageorgiou<我>多值分析理论的手册我>多德雷赫特,卷1,Kluwer学术,荷兰,1997年。
m . Kisielewicz<我>微分夹杂物和最优控制我>Kluwer学术,多德雷赫特,荷兰,1991年。
h . Covitz和s b•纳德勒Jr .)”在广义度量空间多值映射收缩,”<我>以色列《数学我>,8卷,第5 - 11页,1970年。
b·j·佩蒂斯在向量空间的整合,“<我>事务的美国数学学会我>,44卷,不。2、277 - 304年,1938页。
f·s·德布拉西”的一个属性在巴拿赫空间单位球,”<我>公报数学de la法国des数学科学de Roumanie我>21卷,第262 - 259页,1977年。
h·A·h·萨勒姆A . m . A . El-Sayed o·l·穆斯塔法,“分数微积分在巴拿赫空间上的注意,“<我>皆Scientiarum Mathematicarum Hungarica我>,42卷,不。2、115 - 130年,2005页。