非线性微分方程多点边值問題迭代方法的收斂性与差分格式的誤差估計

在本文研究工作中,我們采用的是化微分方程为积分方程的方法,其中关鍵的一步是构造多点边值問題的格林函数,基于多点边值問題与函数插值問題的联系,我們造出了此类格林函数並給出了中值定理,它們成了本文研究方法上的基础。本文主要結果是对非綫性微分方程多点边值問題迭代方法与差分方法給了几条收斂性定理与誤差估計。誤差估計在要求不多的数据下可用之于数值計算。     

拋物型积分—微分方程的网格解法

本文利用網格方法解間断系数情况下的抛物型积分—微分方程的第三边值問題,在常系数的情况下,最近Douglas和Frank Jones已經作过討論,但是他們所处理的方法只适合連续系数的第一边值問題,我們现在利用由所发展的能量估計方法,对間断系数的第三边值問題进行討論. 我們所討论的問題如文中(11)—(14),对它利用一致差分格式(17)—(19)逼近,我們得到估計‖y-u‖_0≤M(h~(K-(1/2)))+k~(m_a)) 其中u为积分——微分方程之解,y为对应差分方程之解,而k当选取最优格式时为2,其他任意格式时为1。从这里我們知道对間断系数的情况得到与微分方程类似的結果. 从我們的結果中,当系数为連續时,即可得出Douglas,Frank Jones的結果。     

方程(/(x))△u=h(x,y)的ВИШИК問題

本文给出題目所列方程的一个“Dirichlet-Cauchy問題”(問題)的解的存在、唯一性証明,作出一个經典解定理与两个广义解定理,並给出区域为园域及一般区域时解的各种表达式.     

常系数无低阶项椭圆方程式与组的基本解和半空间一般模型边值问题的Poisson核之一作法

§1.引言近几年来一般高阶紹性椭圓方程式与方程組的研究获得了不小的进展。这首先表現在关于解及其微商的LP和Schauder型內估計的确立,以及(对方程式之合根条件者)在几乎不能再扩大的一类(所首先发現者)边界条件下,解及其微商之直到边界的同样估計的确立.这已經推进了高阶线性椭圓方程一般边值問題的研究,并为非线性問題研究提供了一点基础.所說这些,見及它們內所附文献.     

解常微分方程边值问题的差分法

本文研究解线性及非线性二阶常微分方程的差分解法. 在§1中利用差分格林函数建立了解二阶常微分方程的差分格式的解及其一二阶差商的先天估計,并利用此估計式証明了差分方程的解連同它一二阶差商都一致的收斂于微分方程的解及相应微商.而且收敛速度与用差商代替微商的阶相同.附帶証明了微分方程解的存在性定理.     

解廣義線性互補問題的一個序列線性規劃算法

在適當條件下,給出了廣義線性互補問題的絕對誤差界估計,基于這個誤差界,建立了求解此問題的一個序列線性規劃(SLP)算法,并在不要求存在非退化解的情況下,證明了算法的全局收斂性.     

二階非线性方程的週期解

方程组在原点附近是否存在極限圈的問題曾为許多人所研究过[1],因为它就相当於二階非綫性方程在平衡位置x=(?)=0附近是否存在週期解的問題,(2)是非綫性力学中經常遇到的一种方程,对於这一問題,改進前人的方法,曾得到了如下的,具有明顯的物理学解釋的結果: 定理Ⅰ設ⅰ) f(x),g(x)連續,且能保証方程組(1)的解的存在与唯一性,     

关于带有时滞系統在稳定情形中时滞界限的估計

考虑带有时滞系统■的稳定性問題,其中a_(ij),b_(ij)是常数。秦元勳等曾就n=2及一般n的稳定情形作了时滞τ_(ij)≡τ_(ij)(t)>0的界限估計,在估計中用了蔡燧林的常系数线性微分方程组的函数公式,但这一公式形式較为复杂,因而运用它估計时滞时颇为繁复,所得结果运     

带积分边值条件的分数阶微分方程解的存在性和唯一性

研究了一类带积分边值条件的分数阶微分方程边值问题解的存在性和唯一性,并利用Schauder不动点定理以及压缩映像原理,得到了边值问题解的存在性及唯一性结论.     

非一致线性抛物型方程广义解的存在性及唯一性

Galerkin方法是证明各类型偏微分方程边值问題解存在的重要方法,本文将Galerkin方法应用于非一致线性抛物型方程,构造广义解的近似解,证明其弱收敛的极限函数就为广义解。此外还证明解的唯一性。它们是一致线性抛物型方程结果的推广。     

一类有序分数阶差分方程解的存在性

研究一类带有分数阶边值条件的分数阶差分方程解的存在性与唯一性.首先给出这个问题的解的表达式,然后分析格林函数的一些性质,最后运用锥拉伸与锥压缩不动点定理、压缩映像原理、Krasnosel’skii定理证明了该问题解的存在性和唯一性.     

分数阶微分方程边值问题解的存在性和唯一性

运用Schauder不动点定理和压缩映射原理,本文研究了一类含P(t)项的R-L型分数阶脉冲微分方程边值解的存在性和唯一性,得出并证明了解决该边值问题存在性和唯一性的充分条件,并给出实例验证所得结论的可行性.     

具积分边值条件解的存在性

用比较原理和Schauder不动点定理给出了二阶常微分方程满足积分边值条件解的存在性和唯一性.     

Hilbert空间中的集值非线性补问题和非线性补问题

本文讨论了Hilbert空间中的集值非线性补问题和非线性补问題。其主要结论是定理1和定理2。其中定理1给出了在Hilbert空间中集值非线性补问题存在解的一个充分条件。定理2把文〔1〕中的主要结论推广到了一般的Hilbert空间,给出了在Hilbert空间中非线性补问題存在唯一解的充分条件。对于Hilberr空间中的集值非线性补问题和非线性补问題定理1和定理2不但解决了解的存在问题,而且给出了求近似解的一种迭代算法。     

一类积分边值问题解的存在性与唯一性

利用Schauder不动点定理和上下解方法,研究了一般二阶非线性常微分方程满足一类积分边值条件的解的存在性和唯一性.     

含积分边值条件的非线性分数阶微分方程解的存在性与唯一性

研究了一类含积分边值条件的非线性分数阶微分方程{~cD~αu(t)+f(t,u(t))=0,t∈[0,1],u(0)=u″(0)=0,u(1)=λ∫10u(s)ds解的存在性和唯一性.利用不动点定理,得到了该边值问题解的存在性与唯一性定理.作为主要结论的应用,给出2个例子验证了所得结果.     

双线性系统可控、可观测性及实现问题

双綫性系統是許多实际应用的数学模型。自1968年美国的Mohler提出“双綫性系統”这一理論分支后,美国、意大利、日本、法国等国家都有很多人从事这方面的研究,其內容涉及双线性系統的可控性、可观測性、实現問題、最优控制、参数估計和識別等方面的問題,并已在上述有关实际問題以致于导弹拦截、化工过程等方面得到     

关于素数幂和的一个问题

华林問題是解析数論的一个重要問題。1952年,Roth証明了每个充分大的整数n=sum from i=1 to 50(x_i~(i+1)),其中x_i为非負整数,Vaughan改进了Roth的結果,并进一步考虑了素数冪和的問題,于1971年証明每个充分大的正偶数n=sum from i=1 to 30(p_i~(i+1)),其中p_i为素数。本文对Vaughan的結果作了較重大改进,先用最优化的思想改进了計算指数密率的方法,即証明了下列定理1.設自然数k_1≥k_2>k_3>…>k_s,則集合{x_1~(k_1)+x_2~(k_2)+…+x_s~(k_s)}的指数密率v≥(θ_1/k_1)+(θ_2/k_2)+(θ_3/k_3)+…+(θ_s/k_s)其中,θ_1=θ_2=1, 若θ=θ_(i-1)=…=θ_2。(i=2,3,…,s—1) 运用定理1,采取新的分組方法并利用Davenport引理、华罗庚对优弧部分的估計及堆垒素数論方面的一些結果,得到下列定理2.每一个充分大的正奇数n=sum from i=1 to 23(p_i~(i+1))其中p_2为素数。     

某类四阶抛物型方程解的唯一性

本文引用L_2模形式的辅助积分探讨一类四阶抛物方程的某些定解问题解的唯一性,获得类似于文[4]、[5]中某些结果,主要结果是定理1、定理2、定理3和定理5。     

二种矩阵追赶法及其稳定性

用差分法計算气动力学問題时常要解一种特殊类型的綫代数方程組,中用一种矩陣追赶法来解,但这种方法未必总稳定,本文§1中在常系数情况下給出一个稳定的充要条件和二个充分条件. [1]中又提出了另一种追赶法,本文在§2中把中的方法作了簡化,使計算量得到减少,計算程序也簡化,並在常系数情况下作了稳定分析,给出稳定性的充分条件. §3中說明气动力学的某些計算問題用追赶法解时是满足稳定陸条件的.