解变系数橢圆差分方程的交替方向迭代法

交替方向法是解綫性椭圆型差分方程的重要方法之一.但是迄今只对矩形区域上形如△u+cu=f的方程建立了收斂性理論. 本文第一部分用能量法証明了解变系数橢圓差分方程的交替方向迭代法各种程序的收斂性.並且也用同样方法証明了解半线性橢圆差分方程的交替方向迭代法的收斂性.在第二部分提出一类适用于解变系数椭圓差分方程的高精确度格式,並且用能量法証明了解这种格式的交替方向迭代法的收斂性.     

关于重调和方程组差分介的收敛性

重調和方程或重調和方程組,在弹性力学的許多問題中,例如在水坝与壳体的应力分析中,經常要遇到。黎益在文中对二类重調方程組(扁壳方程)証明了差分介的收斂性?缘谝焕啾饪欠匠套髡呃貌罘址匠痰南凳仃嚨哪持挚山粨Q性,应用Williamson关于求复合矩陣特征值的一个定理,証明了收斂性?缘诙啾饪欠匠?由于系数矩陣的这种可交換性不再存在,Williamson定理失效。为此,作者通过一系列比較复杂的計算,証明了差分介的收斂性庖环椒ǖ耐频脊滔嗟睙┈?而且也比較特殊,难以推广。正如作者在文的末尾所指出的:“如能用Hermite矩陣特征值的理論,……,可期望有力地簡化收斂性的証明,我作过这方面的努力,惜未成功”。     

关于牛頓修正程序的收斂性

在这篇文章中,我们研究一种解非线性算子方程的迭代程序,称之为“牛頓修正程序”。我们在柯西型(区域性)条件之下証明了这种程序的收斂性,并且也附帶証明了方程式的解的存在性。在这里我们去掉了在一般牛頓法理論中对初始值的限制。因之可以視为在大范圍內收斂的迭代程序。最后給出数值例子。作者对自己的导师专家的指导与帮助表示衷心感谢。§1.考虑序列     

解逼近Poisson方程的九点差分方程的交替方向迭代法

周知,九点差分格式逼近Poisson方程有較高的精确度,然而这种差分格式的解法研究的尚不充分。本文作者提出解九点差分格式的几种交替方向迭代程序,並对模型問題求出了它們的最佳松弛因子,估計了收斂速度,証明了这几种迭代法收斂速度的阶均达到O(|lnh|~(-1))。已知超松弛迭代法收斂速度的阶为O(h),可見交替方向迭代法应用于九点差分格式也是极其有效的。     

半线性椭圆差分方程的交替方向迭代法

本文研究一般区域上的一种交替方向迭代法解半线性椭圓差分方程,对单参数給出了收斂速度的估計,得出解半线性椭圆差分方程的收斂速度与解线性椭圓差分方程的收斂速度是基本上一致的;曾在103机上对数值例子进行計算对比,結果表明与理論的証明完全一致。     

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

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

解汎函方程的一种迭代法

本文主要討論解非线性汎函方程的一种迭代法,它比A.C.CepreeB建立的弦方法优越之处在于不要求差商算子的逆算子,我們在“区域性条件”下给出了方法的收斂性定理,並且利用优界原理研究了它的收斂性。     

极坐标系中的交替方向迭代法

本文討論环形区域和扇形区域上方程的数值解法。§1是等距網格的情况,利用非負元素矩陣性质証明了p-R方法的收斂性??是不等距網格的情况§3給出一个数值例子。     

研究差分格式收敛性和稳定性的直接方法

§1引言.用差分法解偏微分方程初值問題的基本问題有:差分解是否收斂到微分方程的真解;差分格式是否稳定.第一个問題是由于用差分格式替代微分方程时的“截断誤差”引起的,第二个問題則是由于解差分格式本身的“数值誤差”(例如舍入誤差)引起的.关于收斂性和稳定性之間的关系已引起一系列的討論.(参看[1—3])其中最     

非线性常微分方程两点边值向题

本文讨论下列方程:(P)(?)x″=f(t,x,x′),t∈(0,1)x(0)=x(1)=0x∈C~2(0,1)∩C~θ[0,1]当 f、f_x、fx′满足某些条件时,我们用上下解方法,把方程(P)归结为带不等式约束条件的二阶常系数线性常微分方程(Q),只要(Q)可解,则(P)可解.而(Q)的可解性,完全可用初等方法解决.本文得到的结果,大大推广了已有结果,如[1]、[7]—[9].     

关于流体层流运动稳定性问题(Ⅰ)—Orr-Sommerfeld方程的特征値问题及展开定理

Orr-Sommerfeld方程的特征值問題及展开定理,已有一些作者研究过[見本文第(Ⅱ)部分文献[1]中的参考文献]。关于展开定理,就目前所知,似以I. Schensted的博士論文最为詳尽。但一方面該文献我們沒有見到,另一方面,据文摘介紹,他所得到的展开定理只有通常形式的一些結果。为了把方法推广用以研究流体层流运动稳定問題,这是不够的。因此在本文中,我們进一步研究了这一問題。得到的主要結果是:展式的系数滿足一个Paley-Wiener型的不等式,它是通常完备正交系展式系数所滿足的Bessel等式的一个推广。而且証明了,展式不但是一致而且是絕对收斂的。     

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

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

周期点集为闭集的闭线段连续自映射

令f为閉綫段Ⅰ的连續自映射。本文証明了下列結果:若f的周期点集为閉集,則:(1) f的每一周期点的周期都是2的方冪;(2) 对于任一x∈I,序列f(x),f~2(x),…的每一收斂子序列均收斂于f的周期点;(3) f的每一非游盪点都是周期点。此外,本文还討論了非稳定流形的若干基本性質。     

广义Galerkin方法解及其导数的超收敛性(英文)

引言近年来,Galerkin方法(有限元方法)的超收斂性、引起了国內外许多计算数学工作者的注意和研究(例如,参看[1]、[2]).本文试图将Galerkin方法的超收斂结果推广到广义Galerkin方法.利用负范数和检验函数空间V_h剖分节点及试探函数空间     

解非线性算子方程的平行弦方法

[1]文提出了解超越方程的平行弦方法。方法的主要优点是不用求导数,但却能达到和Newton方法一样的平方斂速。[1]文的主要缺点是定理的条件是在解的邻域中给出的,但对复方程来说就已很困难了。本文将该方法推广到解非线性算子方程,利用优界原理给出了初始邻域的收斂性定理,并给出了具体构造优方程的方法和误差估计。     

关于解汎函方程的弦截法

本文对于解汎函方程的弦截法进行了若干討論在§2中給出了在“区域性条件”下方法的收斂性定理摱ɡ斫獳.C.CepreeB定理中的h_0小于1/4放大为小于任何小于1的常数r(?)在§3中建立了解的唯一性定理,同时在解存在的条件下考察了方法的收斂性和解的唯一性。     

部分最高阶导数含小参数的椭圆型方程的第一边值问题

米罗斯·支那瑪尔(Milos Zlamal)會先后研究部分最高阶导数含小参数的双曲型方程和椭圓型方程(参看[1][2]);对于某一类两个自变量的方程,証明它們的第一边值問題的解当ε→0时,以抛物型方程的第一边值問題的解为极限。作者曾考虑过一般形式的双曲型方程,得到同样的結果(参看[3])。本文考虑一般形式的椭圓型方程;这里除去米罗斯·支那瑪     

解抛物型方程的一种高精度加权差分格式

利用二阶徽商的四阶精度紧致差分逼近公式，给出解抛物型方程精度为O[1－20）t，t2＋x4]的一种新的加权差分格式，并通过Fourier方法讨论格式的稳定性．证明了当1／2≤θ≤1时，格式是无条件稳定的；当0≤θ＜1／2时，只有r≤1／3（1－2θ），格式才是稳定的，其中θ是加权参数（因子），t，x分别为时空方向的网格长度，r=（D是二阶导数项系数）．     

三维部分粘性Boussinesq方程的对数型正则性准则

主要讨论当扩散系数κ=0时,三维不可压Boussinesq方程光滑解的对数型正则性准则,采用能量估计的方法证明了如果速度满足integral from 0 to T ‖▽×u‖_(BMO)/( ln(e+‖▽×u‖_(BMO)))~(1/2)dt∞,则光滑解(u,θ)在(0,T)可以延拓到t=T.     

关于素数幂和的一个问题

华林問題是解析数論的一个重要問題。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为素数。