非线性高阶微分方程边值问题解的存在性与多解性

来源 :山西大学 | 被引量 : 0次 | 上传用户:crr0808
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
非线性高阶微分方程边值问题在物理学领域中有着极为丰富的源泉和广泛的应用,研究它的解的存在性与多解性无论在理论上还是在实践中都有着非常重要的意义。本文分三章对一类非线性四阶、六阶微分方程边值问题进行了讨论。在第一章中,我们主要利用强单调映象原理和临界点理论对一类非线性四阶两点边值问题进行了讨论。我们对非线性项f进行一些适当的限制,得到了边值问题解的存在性,唯一性以及多解性。这部分内容已经被SCI收录的核心杂志《Nolinear Anal.》接收。在第二章中,我们利用不动点指数理论对一类四阶两点边值问题进行讨论,所讨论的模型与第一章的基本类似。我们主要讨论它的变号解的存在性。变号解的研究是目前大家非常关注的一个热点问题。在第三章中,我们利用Leggett-Williams三解定理讨论了一类六阶两点边值问题三个正凹解的存在性。这部分内容已发表在《山西大学学报》上。 下面,我们对本文的主要结果加以具体阐述。 在第一章中,我们主要利用强单调映象原理和临界点理论讨论以下四阶两点边值问题(BVP):其中f:[0,1]×R1→R1连续。 首先,我们利用强单调映象原理讨论BVP(1.1.1)解的存在唯一性。主要结论如下: 定理1.3.1 假设对每一个t∈[0,1],f(t, u)是u的减函数,即当u1,u2∈R1且u1<u2时,f(t, u1)≥f(t, u2),则BVP(1.1.1)在C4[0,1]中存在唯一解。 定理1.3.2 若存在α∈[0,π4),使得[f(t, u)-f(t, υ)][u-υ]≤α|u-υ|2,t∈[0,1],u,υ∈R1。则BVP(1.1.1)在C4[0,1]中存在唯一解。 然后,利用临界点理论讨论了BVP(1.1.1)解的存在性与多解性。主要结果如下: 定理1.4.1假设 integral from 0 to u f(t, υ)dυ≤α/2 u2+b(t)|u|2-γ+c(t),t∈[0,1],u∈R1,其中α∈[0,π4),γ∈(0,2),b∈L2/γ[0,1],c∈L[0,1],则BVP(1.1.1)在C4[0,1]中至少存在一个解。
其他文献
随机扩增多态DNA技术(简称RAPD)是二十世纪90年代发展起来的一项DNA分子多态检测技术,它建立在PCR技术基础上,以一系列不同随机排列的碱基序列—单链寡核苷酸为引物—对所研究的基因组DNA进行PCR扩增。该技术能够在没有任何遗传背景的情况下,对物种基因组进行DNA多态性分析。它不但能通过众多的引物检测大量的基因位点,且具有高效、快速、样品用量少和对材料要求不高等优点,目前已广泛应用于动植物的
设N为有限群G的正规子群,θ为N的G-不变的不可约复特征标。借助射影表示以及上同调理论等技术,对每个特征标三元组(G,N,θ)均定义了一个上同调元素ω(θ)∈H2(G/N,C*)以描述θ的可扩张性障碍,即θ可扩张为G的特征标当且仅当ω(θ)=1。 本文重点探讨了障碍映射ω:IrrG(N)→H2(G/N,C*)的若干乘法性质,我们证明了只要θθ′∈IrrG(N),就有ω(θθ′)=ω(θ)ω(
特征标的诱导,限制和扩张为特征标的三大基本技术。如何在有限群的不可约特征标与其子群的不可约特征标之间按特征标的诱导关系建立一个一一对应,将对研究大群与子群的特征标理论之间的相互关系提供十分有用的技术。 设S为有限群G的一个次正规子群,η为S的任意一个不可约复特征标,则称(S,η,)为G的一个次正规特征标对。本论文重点考察了在何种条件下可以在(S,η)的稳定子群IG(S,η)和G之间按特征标的
本文首先简单介绍了ARCH模型的提出背景和发展过程,着重探讨了ARCH过程的相依性问题。在第一章和第二章两部分分别简单介绍了ARCH模型的提出背景和发展过程,国内外研究简况,以及ARCH模型的若干基本性质。本文的重点内容是第三章。在这一部分,我们将讨论ARCH(1)序列的各种相依性,以及与此相关的性质。我们研究了ARCH(1)序列各种意义下的正相依性和尾部相依性,以及ARCH(1)平方序列的最大不
时滞微分方程可以用来描述许多自然现象,在物理、生物、生态等诸多领域有非常广泛的应用。因而对时滞微分方程进行研究,无论在理论上还是在实践中都有非常重要的意义。本文分为三章,主要讨论时滞微分方程 (?)(t)+integral from 0 to b(t) (R(t,θ)x(t-θ)dθ)=0 (1)及中立型微分方程 d/dt[y(t)+integral from a to b (P(t,
用酶或细胞生物转化一些特殊产物是酶工程领域的支撑点。然而,酶常以可溶性形式存在,难于从反应混合物中再分离,往往随转化过程的完成而一并弃之。酶是一种比较昂贵的产品,因此,如何能使酶反复利用,提高效率,降低成本,就成为酶工程领域的技术瓶颈。用某些不溶性支撑物将酶或细胞固定化可解决上述技术难关,有关这方面内容已有详尽报道。 海因酶(Hydantoinase, EC 3.5.2),是一类催化海因、5
在许多科学领域的研究中,例如:力学,物理学,生物数学,经济数学,自动控制等。常微分方程已不能精确的描述客观事物了,许多现象都用泛函微分方程作为它们的数学模型,因此对泛函微分方程的研究引起了人们的普遍重视。而泛函微分方程的渐近性与周期解又是泛函微分方程中两个大的研究领域。近年来,国内外许多学者对线性的,非线性的,中立型的,时滞泛函微分方程的渐近性与周期解都做了深入的研究,见文[26,27]。该文研究
本文以有限群的特征标为核心概念主要讨论了以下两个内容:有限群特征标的π-限制和π-诱导及有限群特征标的核与中心。主要结果如下: 第一部分是关于有限群特征标的π-限制和π-诱导的内容。在这一部分提出特征标的π-限制和π-分量两个概念,考察了它们的基本性质,并用之证明了一个特征标对应定理的π-形式。这一部分的主要结论是下文中的定理A和定理B,其中定理A为特征标的研究提供了一种新的技术,定理B是该
本文在介绍基于三能级结构单分子光子源的基本原理和单光子统计测量的基础上,具体进行了以下四个方面的研究: (1) 理论上研究了利用Hanbury-Brown-Twiss(HBT)探测方法来记录两个单光子计数器响应的单分子光子源输出的每一个事件,给出了单脉冲的统计分布Mandel参数Q(T)的特点。同时利用ON(?)OFF动态模型对单分子光子源强度涨落进行了分析。 (2) 理论研究了基于H
真核细胞被细胞内膜分隔成许多不同的区室,各区室之间通过复杂的囊泡运输和微管系统进行物质交换和信息传递。囊泡运输具有高度的选择性,Rab-G7Pase作为囊泡运输的分子开关,在囊泡运输的不同阶段调节囊泡特定的运输途径。纤毛虫是一类低等的单细胞真核生物,它的许多功能由细胞内特化的细胞器来完成,各细胞器之间通过囊泡转运进行物质交换。研究Rab蛋白在其中的功能,有助于了解真核细胞中囊泡定向运输机理。