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

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

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

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

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

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

完备空间内矩阵算子的全连续性

1.G.Kthe曾經証明在完备空間λ中对任何X∈λ恆有{X_n}弱收斂于X(見§3定理2),接着他又給出了{X_n}强收斂于X的充要条件(参看§1定理2,3),这是元素的情形,对于矩陣Kthe也討論了类似的問題,得到下列結果:设∑(λ)为     

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

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

关於Булеев迭代法的收斂性及其变形

本文主要研究对应二维变系数自共軛椭圓型偏微分方程的差分方程的一個数值解法,即所謂追赶型迭代法。这個方法是提出的(参看[1][2]),仝时在一個很强的限制之下他証明了方法的收斂性(参看[1])。本文通过与一個“強”迭代过程的比较在一個适当限制之下証明了当参数θ∈(—∞,1—ε)时迭代法的收敛性,特别对拉普拉算子的情形θ∈(—∞,1时]收斂的,仝时也指出当θ>1时是不收斂的詈蠡固岢龇椒ǖ囊粋€变形,这個方法适用於常系数方程。在节省計算量和減少存儲单元方面是较为优越的覀冊谑道隙粤街址椒ㄗ髁吮冉?可惜其收斂性的严格論証尚未得到。     

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

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

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

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

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

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

关于調和函数边界值問題

本文采用一个較直接的方法去証明关于調和函数的边界值性貭的法都定理,并且在这个証明方法的基础上对調和函数的边界值性貭作进一步的探討。引理 設f(t)是[-π,π]上勒貝格可     

一种有界对称域的调和函数

对称Riemann空間是一类重要的齐性空間。按照E.Cartan的分类,在所有既約的非紧致的大范围对称Riemann空間中,有11种是典型群的商空間。华罗庚教授曾把其中的4种(Hermite空間)表成矩陣空間的形式,并借此矩陣形式研究了相应空間的几何学与函数論,获得許多重要結果(見等)。事实証明,利用矩陣表示研究对称空間是很有效的,因此建議研究其余7种空間的矩陣表示和調和函数論等問題。作者对此进行了討論,本文是其中的部份結果。本文(?)1証明了,E.Cartan分类表中的Sp(m,n)/Sp(m)×Sp(n),SU~*(2n)/Sp(n)和Sp(n,c)/Sp(n)可以在四元数矩陣空間中实現为有界对称域,分別記为(?)(m,n),(?)_H(n)     

關於一类非綫性积分方程特征值存在定理

曾經于1947年証明过关于一类非綫性积分方程 (1) λu(x)=integral from D k(x,y)g(u(y),y)dy的特征值存在定理其中D是有界閉区域,g(0,x)≡0 x∈D。具体地說他証明了在K,g滿足一定的条件下,存在着一列严格单調减少而收敛于零的正数列μ_1,μ_2,…对应于每个λ=μ_k。方程(1)至少有一个实的非零的連续解,当时他假設K(x,y)是具有     

解汎函方程的一种迭代法

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

非绝对收敛的非正常积分

在学习非正常积分时,对判別一个积分的绝对收斂性,一般的数学分析教材都有较充分的介绍,学生也较易掌握它。但对非绝对收斂(条件收斂)的非正常积分则介绍较少,学生在学习这一部分总感到困难较大。本文介绍一个定理,有助于对某一类的非正常积分的非绝对收斂性进行判断虻テ鸺?我们只对无穷区间上的非正常积分进行讨论。     

差分方程稳定性及其代数准則

本文研究Banach空間p阶微分方程柯西問題的差分方法。討論了稳定性和收斂性問題,P.Lax等价定理;同时对高阶線性常系数偏微分方程的差分方法给出判別稳定性的代数准则。     

一类非線性拋物型方程的差分方法

本文对某一类非线性抛物型方程提出一种差分格式,这种格式可用追赶法解之,証明了这种格式的收敛性,並在某种范数的意义下(范数中带有对空变量和时間变量的某些差商)是绝对稳定的。上述格式推广到多个空間变量时,对某一类非线性抛物型方程建立了可用交替方向法解的差分格式,並証明了它的收敛性及在較強意义下的稳定性。     

关于解汎函方程的弦截法

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

狄黎赫来(Dirichlet)积分的推广

在敎学的課堂討論过程中,我們觉得把狄黎赫来积分納入一个更广泛的形式、及簡单直接証明在下定理是有好处的,因为这样,关于富氏級数展开的狄黎赫来定理就可以看做在下定理的一个特殊情形;在証明拉普拉斯(Laplace)变換的逆变換式时,也可以无需借助于有界变差函数的理論。定理:設函数f(x)在[o,+∞)内的任何有限区間上,除了有限多个第一类間断点外,皆連續,且在原点存在右导数(或在原点右边附近单調),积分integral from n=o to ∞|f(x)|dx收斂;     

乘积空间稳定性与微分方程组临界情形(Ⅰ)

Lefschetz“微分方程的几何理論”一书中曾应用的“拟稳定”定义引用的結果給出了駐定方程組第一临界情形的定理一个新証明。但其漸近稳定性的証法是錯誤的,也缺少了条件稳定性的結果。在該书的知的俄譯本中已經改正了錯誤。但仅証明了稳定性,不能推証漸近稳定和条件稳定。即是說,他們的証明并不是該定理的完备的証明。同时必須指出:該书仅討論了第一临界情形的“一般情形”,而有意或无意地避开了“特殊     

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

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