一类带有不同Rellich项的临界双调和方程组的非平凡解

该文研究一类带有多重临界Sobolev指数和不同Rellich位势项的双调和方程组.利用变分法得到在一定条件下相关最佳常数的达到函数对的存在形式和基本性质,并证明双调和方程组非平凡解的存在性.     

两个对称矩阵和的特征根与其乘积的关系及应用

本文主要讨论对称矩阵 A、B的特征根与 AB=0的关系 .这个问题起源于 Craig定理 :设X～ Nn( μ,I) ,则二次型 X′AX与 X′BX独立的充要条件为 AB=0 .利用随机变量的特征函数理论可知 ,本定理证明的关键在于下面的 Craig引理 .这个引理最早由 Craig提出 ,先后有五、六个证明 ,但都有错误 .直到 1 962年才由许宝禄教授在讨论班上对引理给出了一个正确的证明 ,但证明过程仍较复杂 .由于 Craig定理的结论在多元分析理论中有着十分重要的地位 ,也因其论证经历而更加著名 .所以 ,今天对 Craig引理( Craig定理 )的证明仍有意义 .本文对 Craig引理 ( Craig定理 )给出了一个极为简明的证明 ,并得到了其它的重要结论 ,其中结论之一就是著名的有关多个二次型独立的 Cochran定理成了 Craig引理的一个简单推论 .因此 ,本文对 Craig引理的正确、简明、直观的论证 ,特别是独到的论证过程 ,对多元分析理论和对称矩阵理论都有一定的意义     

蕴含G(o)del定理抽象形式的集合论引理

本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.     

Schwarz引理的推广及其应用

引入Schwarz引理的一个最常见的推广定理,并且作出了详细的证明.同时以引理形式介绍了一个实用的复数性质,并且利用这两个引理,给出了开圆盘内解析函数的的实部,虚部以及模的估计式.     

调和映射的Schwarz-Pick引理（英文）

利用单位圆盘到实直线段上极值函数的双曲几何性质, Mateljevi′c得到了实值调和函数的SchwarzPick引理.运用全纯函数的从属原理,给出该引理的一个简单证明.运用该Schwarz-Pick引理,建立了单位圆盘到自身内调和映射梯度的Schwarz-Pick引理.得到的结果在原点处是精确的而且推广了Colonna的成果.     

一类含权Rellich不等式

本文证明了一类含权Rellich不等式,其中的常数是最佳的.     

Schwarz引理的一个注记

本文中,基于幅角原理和同论理论紧密联系的想法,我们对单复变中经典的Sdlwarz引理给出了一个新的证明.同时,运用同样的方法,我们把Schwarz引理推广到亚纯函数和多连通区域的情形.     

Fan K_y 引理的推广及其应用

§1.引言在多值映像的不动点理论中,Fan Ky 引理(见[1,引理4])是一个很简单的基本命题,它往往是证明更复杂结果的关键工具,例如见[2].本文首先要推广 Fan Ky 引理,然后再给出它的一些应用.     

调和函数的Lipschitz型空间和Landau-Bloch型定理

主要研究调和函数和Poisson方程的解的性质.讨论了调和函数的Lipschitz型空间,建立了调和函数的Schwarz-Pick型引理,并利用所得结果证明了与调和Hardy空间有关的一个Landau-Bloch型定理.最后,还利用正规族理论讨论了与Poisson方程的解有关的Landau-Bloch型定理的存在性.     

蕴含Gdel定理抽象形式的集合论引理(英文)

本文证明了—个集合论性质的引理,由它可直接得出Godel不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.     

蕴含G?del定理抽象形式的集合论引理

本文证明了—个集合论性质的引理,由它可直接得出G?del不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.     

一族非线性约束条件下的摄动梯度投影法

对问题(P),堵丁柱改变了以往的做法,利用对约束切空间的摄动技巧,给出了一个收敛的梯度投影方法.本文推广了[1]中方法,给出了一个更一般的收敛算法,它无需[1]中对约束函数的凸性假设,也不须多次求投影梯度.本文中算法的收敛性证明是建立在[3]中引理10.2.6的简单推广得到的引理3的基础上的.本文引理3减弱了引理10.2.6中的条件3,因而更具实用性.可以简化许多算法的收敛性证明.     

拟凸域上沿某些方向的边界 Schwarz 引理*

本文直接利用全纯映照的性质研究边界Schwarz引理,建立了拟凸域上沿某些满足正定条件的方向的边界Schwarz引理. 文章推广了强拟凸域情形的主要结果,但是证明的方法是不一样的.     

关于N-弱鞅和弱鞅不等式的一个注记

$N$-弱鞅($N$-demimartingales)是由Christofides引进的.Christofides指出均值为零的负相协(negatively associated)随机变量序列的部分和序列是$N$-弱鞅. 然而, 相关文献中引理2.1的证明有错误, 这就影响了其文后的结果引理2.2、定理2.1等. 在这篇注记中,修正了相关文献中的引理2.1, 作为应用, 推广了鞅和下鞅的一些结果.     

几个组合引理的拓扑证明

Brouwer不动点定理的一种证明方法是利用Sperner引理,据此发展了计算不动点的各种算法.用组合方法处理连续映射的问题是组合拓扑学的基本思想.后来逐渐认识到可以沿相反方向进行,即用拓扑学的方法证明某些组合引理,例如Kuhn和Yoseloff。Brou-wer不动点定理和Sperner引理实际上是等价的. 本文利用拓扑学中的拓扑度理论和有关事实,证明几个组合引理,主要工具是分块线性映射的拓扑度.     

积分学中一类公式的证明

积分学中一类公式的证明朱匀华（中山大学数学系５１０２７５）本文利用定积分的一个性质，将数学分析中一类积分计算公式的冗繁推导化为简单证明．１一个引理定积分有一个不为人注意的性质：引理设函数ｆ（ｘ）和ｇ（ｘ）在［ａ，ｂ］上黎曼可积，则有其中年人Ｅ卜．ｌ，...     

关于姜伯驹的三个引理

本文标题中的三个引理是[1]中的引理4.3、4.4和4.5,也就是[2]中的引理Ⅲ4.2,Ⅲ4.3(i)和Ⅲ4.4(i).它们在证明[2]Ⅱ§5的两主要定理中有重要地位.但它们原来的证明都运用泛复迭空间理论,从而需要相当多的准备知识.我们在本文第二部分中将不用这一理论,而是用“直接”法(参看[2]Ⅱ§2中的附记)来证明三个引理A,B,C.其中的后两个引理就是原来的后两个,只引理A的叙述形式已和原来的第一个引理的不同.在本文的第三部分中,我们将证明,在针对非空的不动点类的对应关系方面,这两种叙述形式给出的结果相同. 本文所用的术语和记号(除另有解释者外)都来自[2],文中所论及的空间X,Y都是连通的有限多面体.     

关于Smarandache问题中逆序排列的偶数数列的性质

主要研究了Sm arandache问题中逆序排列的偶数数列的算术性质,采用递推,归纳,猜想的办法,得出了Sm arandache问题中逆序排列的偶数数列的递推公式、通项的精确表达式以及几个相关的性质.引理和定理的证明主要用了递推和数学归纳法.解决了文[1]中的部分问题,对于Sm arandache问题中的数列有推动作用.     

关于商空间的一个注记

《拓扑学基础》[1]中的定理4.1.5,(1)是商空间理论中商映射与映射族的乘积间关系的一个重要命题,但该定理(1)的证明存在欠妥之处.本文利用饱和集与管状引理给出了该定理中(1)的一个正确的证明,并介绍了它的一个重要应用.     

Bihali引理的证明

根据Bihali引理可以确定微分方程解存在的更大一些的区间.该引理显然是十分重要的,然而目前找不到这个引理的证明.本文给出了一种证明.并举实例说明了这个引理的重要性.