共振情形下一类非合作反应堆数学模型正解的存在性.docxVIP

共振情形下一类非合作反应堆数学模型正解的存在性 摘要：研究一类源自核反应堆的二阶非合作微分系统正解的存在性,其中非线性项为变号函数.运用分歧理论为该系统建立了数个正解的存在性结果,并得到保证正解存在的最优充分条件.所得结果丰富并补充了已有文献的相关结论. 1. 引言本文研究二阶非合作微分系统?正解的存在性,其中c,d为正常数,非线性项f∈C([0,1]×[0,∞),R)且g∈C([0,∞),[0,∞))因此,系统(1.1)是一个半正系统,同时由Neumann边界条件易见系统(1.1)为共振系统.系统(1.1)与的稳态形式有着紧密联系.反应扩散系统(1.2)旨在描述密闭容器中与中子通量、反应堆温度等因素密切相关的核反应过程,其中?是R注意到模型(1.2)中的Neumann边界条件意味着快中子不能穿越容器壁,而且密闭容器的边界绝热,这代表更加贴近实际的情形.近年来,诸多学者对模型(1.3)正解的存在性及相关性质做了深入研究,并获得了许多深刻的结果(H1) f∈C([0,1]×[0,∞),R),g∈C([0,∞),[0,∞)).注1.1 (H1)蕴含了非线性项f是变号且下无界的,这将对系统(1.1)正解存在性的研究带来较大困难.此外,本文将首次建立共振情形下反应堆数学模型正解的存在性及全局分歧结果所得结论将进一步丰富反应堆数学模型的相关理论.对于其它半正问题和共振问题的研究,可参见文本文结构作如下安排:在第二部分,将给出一些所需的符号及预备知识;第三部分将叙述并证明系统(1.1)正解的存在性定理,同时给出一些相关结果和注记.2. 预备知识若函数p∈C[0,1]在[0,1]上严格为正,则记为p?0.令K(t,s)为边值问题的格林函数,则不难验证K(t,s)0,?(t,s)∈[0,1]×[0,1].此时,等价于算子方程由假设(H1)易知这显然是一个共振问题.在后续讨论中,给定函数我们将研究与(2.2)等价的积分微分方程事实上,若问题(2.4)存在一个正解u,则由(H1)和(2.1)可知原系统(1.1)必存在正解(u,v).这里称(u,v)为系统(1.1)的一个正解,若(u,v)满足(1.1)且u?0,v?0.众所周知,问题(2.4)等价于积分方程其中的格林函数.显然,G(t,s)在[0,1]×[0,1]连续且令则σ∈(0,1).定义锥其中下面,我们给出本文所采用的主要工具.假设E是实的Banach空间,其范数为∥·∥.假设K是空间E中的一个锥.称非线性映射A:[0,∞)×K→E是正的,若它满足A([0,∞)×K)?K.称上述映射A为K-全连续的若A连续且把[0,∞)×K中的有界子集映射为空间E中的相对紧集.称定义于E上的线性正算子V是算子A的线性弱函数,若它满足A(λ,u)≥λV (u),(λ,u)∈[0,∞)×K.记r(B)为定义在空间E上的连续线性算子B的谱半径.引理2.1(i)锥K有非空内部且满足(ii) A:[0,∞)×K→E是一个正的K-全连续算子.且A(λ,u)=λBu+F(λ,u),其中B:E→E是r(B)0的线性强正紧算子,F:[0,∞)×K→E满足当∥u∥→0时,∥F (λ,u)∥=?(∥u∥)对λ局部一致地成立.则在中存在无界连通子集C,使得(r(B)方便起见,记的主特征值,其中函数p由(2.3)给出.由Krein-Rutman定理3. 主要结果及证明为了叙述本文的主要结果,假设(H2)存在正常数Rr,使得定理3.1假设(H1),(H2),(H3)成立.若条件之一满足,则系统(1.1)至少存在一个正解.证我们只证明情形(i),情形(ii)的证明完全类似.考虑辅助问题其中λ∈[0,∞)为参数.由第二部分的讨论易知(3.1)等价于算子方程运用假设(H2),(H3)并结合函数其中从而(3.1)可改写为令对λ局部一致地成立,其中因此,由引理2.1可知存在(3.3)解的连通分支C,它在S中连接(λ下面,分两步来完成本定理剩余部分的证明.第一步连通分支C在S中连接(λ事实上,若能够证明C在S中连接(λ假设{(λ我们宣称{λ由函数这与∥v此时,由(3.4)及上述宣称可得∥u这等价于借助(2.8)及(3.2),经简单估计可得这表明存在不依赖于k的函数χ∈C[0,1],使得此外,由假设(H3)易得{Tu在空间故于是,第二步u是共振问题(2.2)的解.显然,只需证明不存在能够满足∥u∥反设(3.5)存在一个满足∥u∥其中φ是主特征值故另一方面,若问题(3.5)