几类函数方程问题的证明

函数方程广泛出现在数学学科的各分支中以及计算机科学等领域,本文通过举出若干函数方程的例子,给出有关函数方程问题的证明方法,强调极限与连续性在高等数学解题中的应用.     

非线性双曲型方程的混合问题

非线性双曲型方程的混合问题张立龙（郑州大学郑州市４５００５２）本文用单调方法讨论非线性双曲型方程混合问题解的存在唯一性，其中，Ω是Ｒｎ中充分光滑的有界区域，其边界用表示，Ｑ＝Ω×［Ｔ］是柱体，其侧面记作Σ；系数，ａｉｊ（ｘ），ｉ，ｊ＝１，２，…，ｎ，...     

三阶变系数发展方程的局部问题

提出三阶变系数发展方程的的局部问题,按文章里的方法来推出问题解的黎曼函数表示的公式,然后用黎曼方法证明解的唯一性.     

关于贝努利方程解法的探讨

分析了贝努利方程的求解问题 ,提出了变量代换法、积分因子法、常数变易法、公式法等 4种求解贝努利方程的方法 .拓宽了贝努利方程的解题思路 .     

带吸收项的渗流方程的柯西牛曼问题

本文在半无界域中考察带吸收项的渗流方程的柯西牛曼问题．主要结果为：（１）证明该问题弱解的存在唯一性，（２）证明边值条件不影响初始扰动传播的有限性．     

二阶拟线性双曲型方程的混合问题

Kato T.研究了拟线性双曲型方程的Dirichlet问题.本文讨论其边界条件满足Lopatinsky条件的二阶拟线双曲型方程的混合问题,得到了大范围解的存在定理,较Kato的局部性结果为好.线性情形结果的证明是用作者的方法,它与Kato的方法是不相同的,并且适用于高阶方程的情形,因此Kato的结果可以推广到高阶拟线性双曲型方程。     

热传导方程的反问题

介绍了数理方程反问题的研究现状和主要方法,用Galerkin逼近法和拓扑度理论得出一类线性方程反应问题的存在性定理,用不动点原理得出一类非线性方程反问题的存在性,惟一性定理,并给出求解反问题的算法和收敛性证明。     

非线性退缩椭圆型方程Neumann问题多重解的存在性

利用临界点理论研究一类非线性退缩椭圆型方程Neumann问题的多解性．在嵌入非紧的条件下,证明泛函在给定集上满足（PS）条件．     

一族拉克斯可积晶格方程

孤立子理论的研究不断发展,在很多科学领域中都存在孤立子以及与孤立子理论密切联系的问题,可积耦合系统是在研究无中心的Virasoro对称代数或孤立子方程时产生的。人们已经找到多种求可积耦合的方法:1.摄动方法;2.扩大对应的Lax对的方法;3.扩展新的loop代数的方法;4.利用半直和李代数的方法,等等。提出一个离散的矩阵谱问题,由离散零曲率方程推导出一类新的可积晶格方程族。那么,获得的晶格方程族的拉克斯可积性得到证明。     

热传导方程的修正C—N格式及稳定性分析

提出热传导方程的修正C—N显格式,x2^（n＋1）,z（J-1）^（n＋1）的差分格式的处理方法,对算法进行了稳定性及收敛性证明,得到了修正显武热传导方程的稳定性条件为r≤3．数值实验表明,该方法稳定性好,宜于直接在计算机上使用．     

三类复系数复数方程的特征方程解法

文（１），（２）曾讨论过某些复系数复数方程的求解，借助文（３）的方法，提出用特征方程解三类复系数复数方程。     

一类非线性发展方程及其应用

本文讨论了如何由齐线性方程（组）初值问题解的衰减估计来构造其相应半线性问题“小初值”整体解及其渐近性，并将其结果应用于半线性热传导方程、Ｓｃｈｒｏｄｉｎｇｅｒ方程（组）等Ｃａｕｃｈｙ问题，得到一系列有关结果。     

带位势的非线性的Schroedinger方程的Cauchy问题的可解性

研究带位势V（x）∈L^2（R^a）的非线性Schroedinger方程的Cauchy问题的解的存在性，利用Kato—Rellich定理证明Schroedinger算子H=A—V在H^2（R^n）中的自伴性从而由Stone定理得知H=A—V在H^2（R^n）中生成酉群，据此研究了含比F（u）=｜u｜^2σu更一般的非线性项时方程的解的存在性。     

二维Laplace方程Neumann问题直接边界积分方程的Galerkin解法

对任意形状区域的二维Laplace方程△u（x）=0的Neumann问题,用Green公式和基本解-1/2ln｜x-y｜推导得出与之等价的直接边界识分方程,采用直接边界积分方程的Galerkin解法来解该第二类Fredholm积分方程,在进行边界离散化处理时采用常单元。为了提高数值计算的误差精度,在形成线性代数方程组的刚度矩阵元素时,对二重积分的内层积分采用精确积分表达式,外层积分使用Gauss数值积分,数值实验表明该方法的有效性和实用性。     

四次丢番图方程x^2=2y^4—1只有两正整数解的初等证明

本文用初等方法证明四次丢番图方程x2＝2y4－1只有两正整数解（x，y）＝（1，1）和（239，13），从而解决了数学家L．J．Mordell向数学界提出的挑战[1]。     

分配伪格上矩阵方程(组)解唯一的条件

在带有对合反自同构的分配伪格上,讨论矩阵方程（组）解的问题,得到矩阵方程（组）解唯一的若干条件．     

SM方程的关于二等变解的等价方程

证明SM方程的二等变解的爆破问题,从等变解的等价方程入手,证明其余项展开式的收敛性,导出了二等变解的等价方程,构造了可分解的汉密尔顿算子.     

一阶,二阶线性混合型复方程的一些边值问题

只讨论最简单的一阶混合型（椭圆－双曲型）复方程（方程组的复形式）与二阶混合型（椭圆－双曲型）方程。首先，我们证明一阶混合型复方程Ｒｉｅｍａｎｎ－Ｈｉｌｂｅｒｔ边值问题解的唯一性，然后使用关于解析函数间断Ｒｉｅｍａｎｎ－Ｈｉｂｅｒｔ边值问题的结果证明上述边值问题的存在性，进而又用一阶混合型方程的上述结果导出二阶混合型方程斜微商边值问题的可解性。Ａ．Ｖ．Ｂｉｃａｄｚｅ用复分析方法证明了二阶混合型Ｄｉｒ     

对流方程的分组显式方法

用显式及隐式迎风格式给出了求解对流方程ａｕ／ａｔ－ａｕ／ａｘ＝０的分组显式方法，证明其相容性及（弱）稳定性，数值例子表明该方法是有效的。     

一类Riccati方程解析解

研究一类代数Ｒｉｃｃａｔｉ方程求解问题．在较弱的条件（即，系统（Ａ，Ｂ）能稳定，矩阵对（Ｃ，Ａ）能检测，Ｃ∈Ｒｎ×ｎ为满秩阵且ＣＴＣＡ为对称阵）下，得到了一类代数Ｒｉｃｃａｔｉ方程的显式解析解．