三阶线性偏微分方程柯西问题解析解的结构

本文是在[2]、[3]、[4]、的基础上,在复域中讨论三阶线性偏微分方程柯西问题解析解的结构形式。由于应用一个所谓 B (?)矩阵的一个重要性质,有效地得到了一类三阶线性偏微分方程柯西问题解析解的级数表达式。首先,由[6]中定理2的公式(12)中,令 n=3,通过适当代换,容易得到本文需要的下面极为重要的     

2×2矩阵的平方根

在线性代数中我们能够用适当的公式计算矩阵的逆,特征值,特征向量。这篇短文的目的是给出一个2×2矩阵平方根的简单公式。作为卡莱——哈密顿定理的一个应用。     

关于一类定积分的性质及应用

<正> 文[1]、[2]、[3]用区间套原理分别证明了罗尔、拉格朗日、柯西等微分中值定理。本文先给出连续函数在定积分中的几个有趣性质,再应用这些性质构造区间套证明积分第一中值定理。     

Wlelandt—Hoffman定理的简单证明

文[1]用较长的篇幅给出了Wielandt—Hoffman定理的证明。该定理最早由Hoffman和Wielandt于1953年给出,并基于线性规划的理论绐出了证明(见文[2]),1965年曾由Wilkinson给出纯代数的证明(见文[3]),本文借助双重随机矩阵的一个性质,给出一种相当简单的证明方法。为方便起见,先将原定理叙     

线性代数中构造性证明简析

<正> 在微积分中,微分中值定理,绝对收敛的级数必是收敛的,线性微分方程的求解公式的证明等,都是通过构造一个辅助函数来完成,这是熟知的事实.在线性代数中许多命题的证明,也是通过构造辅助矩阵的方法来完成.然而,一个m×n 阶矩阵共有mn 个元素,构造一个m×n 阶矩阵就要考虑mn 个数(或mn 个函数),在这个意义上说,构造一个辅助矩阵要比构造一个辅助函数复杂些.本文就线性代数对构造性证明进行分析和归纳,进而说明在命题证明中辅助矩阵是如何构造的.2 线性代数中构造性证明简析线性代数中从构造性证明的叙述方式来看,它是属于演绎法,但就其构造过程的思考方法即构造性证明是怎样想出来的,就应属于倒推法.要充分利用命题提供的信息(或条件)由命题的结论开始进行一步一步的     

利用调和分析方法证明柯西积分公式

柯西积分公式是复变函数中的重要公式之一,它的证明在一般的教材中是利用柯西积分定理以及函数的连续性来证明的.而在该论文中提供了另一种的柯西积分公式证明方法,主要是利用调和函数和数学分析中的格林公式来证明.     

初等变换的应用

在本文中 ,我们首先给出用初等变换求极大无关组这种方法的理论证明 ,同时得到一个向量组的其余向量由极大无关组线性表示的方法。其次阐述了用初等变换化二次型为标准形以及用初等变换解矩阵方程的理论依据 .1　初等变换求极大无关组在《线性代数》课程中 ,初等变换是一种很重要的手段 .用它可求矩阵的秩 ,矩阵的逆 ,线性方程组的通解 .其实它的用途远不止这些 .在同济大学数学教研室编的《线性代数》(第二版 ) 80 - 81页例题 1 0 ;赵树源主编的《线性代数》1 35页的例题 1及杨子胥编的《高等代数习题解》上册的 381 - 382页都用同一种方法…     

关于矩阵秩的一个定理

许多线性代数教材在处理“矩阵秩是矩阵中非零子式的最高阶数”的定理中,常用向量组线性相关、线性无关的知识来证明.本文我们尝试用矩阵分块乘法的方法来证明这个定理.     

应用柯西公式证明线性代数中几个定理

Cauchy公式是线性代数中著名的定理,其应用十分广泛。线性代数中有几个重要定理,证明都比较复杂。本文应用Cauchy公式给出另一种证明,简捷有力。为叙述方便起见,先将Cauchy公式复述如下:     

|A B|~(1/n)≥|A|~(1/n) |B|~(1/n)的一个证明

文[1]、[2]用两种方法证明了命题:设A,B是n阶正定矩阵,则有|A B|~(1/n)≥|A|~(1/n) |B|~(1/n)等号成立当且仅当A=kB(k>0)。本文用矩阵迹的概念给出一个不同的证明。我们首先证明下面两个引理。     

关于度量和的一个不等式的推广

本文首先证明一个矩阵不等式,然后利用它将文[3]中关于度量和的一个不等式作实质性的推广,同时解决了文[3]中所提出的猜想.     

一类不具有Goldbach性质的可换环

<正> 在另一文[1]中,我们通过考虑2次代数整数环的某些剩余类环并引用模型论中的紧致性定理,证明了:对每一2次代数整数环 J,都存在 J 的扩环,它适合 Goldbach 性质.在本文中,我们用类似的方法证明:对某些2次代数整数环 J,也存在 J 的扩环,它不适合 Goldbach 性质,这两种结果合起来,说明了 Goldbach 性质的某种独立性.本文中的主要论证是自足的,与[1]基本上无关.有关模型论的诸概念,可以参看[2].     

通解矩阵

用消元法程序在计算机上求含m个方程n个未知量的线性代数方程组的通解的同题现在仍然没有得到解决。本文首先给出一个称为“通解矩阵”的新定义，然后证明两个有关定理，以此为基础，使解决上述问题成为一件容易的事。     

通解矩阵(英文)

用消元法程序在计算机上求含ｍ个方程ｎ个未知量的线性代数方程组的通解的问题现在仍然没有得到解决．本文首先给出一个称为“通解矩阵”的新定义，然后证明两个有关定理．以此为基础，使解决上述问题成为一件容易的事．     

线性代数柯西公式的新应用

<正> Cauchy公式是线性代数中著名的重要定理,其应用十分广泛。线性代数中有几个重要定理,证明都比较复杂。本文应用Cauchy公式给出新的证明,简捷有力。为叙述方便起见,先将Cauchy公式复述如下:     

零对称BZ-代数的充要条件

重新证明文[10]中几个重要结论并修正文[10]中的定理1(11)和定理2．在此基础上，利用这些重新证明过的结论及修正过的定理可以按照文[10]中引理3，定理4，定理6，定理7，定理10的证明过程原样证明文[10]中的相应结果．因而在文[10]中，除性质11是结合BZ一代数的等价性质(见文[15])，定理1(11)及定理2需要进行修正外，其余结论及证明过程均成立．     

二元齐次对称多项式与二项式定理

对称多项式是高等代数的基本内容之一。本文从对称多项式的基本理论出发,首先介绍二项式定理的一个等价公式,接着推证出二项式定理的又一个新的等价公式,然后给出它们的一些应用、并推广之。§1.二项式定理的两个等价公式 1.第一等价公式多项式f(a,b)=a~n+b~n是关于a,b的二元对称多项式。根据对称多项式的基本理论,一定可以找到它的初等表达式(指初等对称多项式a+b和ab的多项式,下同)。事实上,著作[2]已经将它找到:     

广义Hamilton代数

<正> 本文中的代数指域Ф上的非结合代数.我们称每一子代数都是理想的代数为 Hami-lton 代数,简记作 H-代数,它是和 Hamilton 群(参看[1])相平行的概念.在[2]中我们刻划了 H-交错代数和 H-Jordan 代数.Outcalt 在[2]的基础上证明了幂结合代数,若还是 H-代数,则它必是交错代数,从而[2]中主要定理对幂结合代数也对.这期间我们还看到刻划 H-结合环的问题也得到解决.本文的目的在于刻划两类更广一些的代数.在§1中我们将刻划每一非零子代数都包含一个非零理想的代数,将称之为广义的 Hamilton代数,简记作 GH-代数.在§2中则刻划一类特殊的 GH-代数.     

几个矩阵范数不等式及其在谱扰动中的应用

1　引　　言在 [5]中 ,孙继广研究了正规矩阵的谱扰动 ,给出了一个Ｈｏｆｆｍａｎ Ｗｉｅｌａｎｄｔ(此后简记为Ｈ -Ｗ )型扰动定理 [6 ]将 [5]中结果加以推广 ,得到了可对角化矩阵的相应扰动定理 近年来 ,这方面的研究工作又取得了一些新的成果[2 ] [7] 在本文中 ,我们将建立几个矩阵范数不等式 ,然后将它们用于可对角化矩阵 (正规矩阵 )的谱扰动 ,导出几个新的Ｈ Ｗ型扰动定理 ,并与有关结果作了比较 本文采用下列记号 :Ｃｎ×ｎ表示ｎ×ｎ复矩阵的全体 ,ＡＨ 表示矩阵Ａ的共轭转置 ,σｊ(Ａ)表示矩阵Ａ的某个奇异值 ,ｄｉａｇ(γ1,……     

关于柯西中值定理的矢量法证明

柯西(Cauchy)中值定理又称一般中值定理.本文给出关于这个定理的一个有别于一般证法的矢量法证明,并给出它在三维空间矢量分析中的一个推广。柯西中值定理设函数f(t)、F(t)在闭区间[a,b]上连续,f′(f)、F′(t)在开区间(a,b)内存在,且F′(t)在(a,b)内每一点均不为零,则存在一点§∈(a,b),使得