多重三角T阵与多元多项式的快速除法

我们在[1]中给出了求三角形T矩阵的逆和计算一元多项式除法的O(nlogn)算法,改进了这两个问题已有的工作量为O(nlog~2n)的快速算法。本文给出了多重三角T阵的乘积、求逆和多元多项式的快速除法等快速方法,推广了[1]和[2]的结果。为叙述简便,我们仅就二重上三角形T阵与二元多项式除法讨论。由此不难推广到一般情形。     

经典代数特征值反问题的一般提法

§1.引言 [3]曾提出两类Hermiie阵的代数特征值反问题,后来被人们称之为加法问题和乘法问题并推广到更一般的情形.到目前止,经典代数特征值反问题在数学上的最一般提法如下: 问题G.给定n+1个n阶实对称矩阵A,A_1,…,A_n和n个实数λ_1,…,λ_n,求n个实数x_1,…,x_n,使矩阵     

四维二阶 Hadamard 矩阵的分类

一、引言所谓 n 维 m 阶 m~n Hadamard 矩阵(简称为 H 阵)就是满足下面两个条件的 n 维矩阵A=[A_(ij…z)]。条件1:A_(ij…z)=±1(0≤i,j,…,z≤m-1),其中 A_(ij…z)的下标有n 个。条件2:sum from p sum from q…sum from y A_(pq…ya)A_(pq…yb)=m~(n-1)δ_(ab)(这里(Pq…yn),是(ij…z)的任意一个置换,δ_(ab)=(?)容易看出当 n=2时,它就是以前大家所熟知的Hadamard 矩阵。关于高维 Hadamrd 矩阵的细节可见[1]。     

关于代数特征值反问题对称情况可解的充分条件

§1.引言 本文讨论下述特征值反问题的可解性: 问题 G.设A_0=(a_(ij)~((0)))和A_k=(a_(ij)~((k)))(k=1,…,n)是一组n+1个n×n实对称矩阵,λ_1,…,λ_n是n个不同的实数.求实数c_1,…,c_n使得矩阵A_0+sum from k-1 to n C_k·A_k的特征值为λ_1,…,λ_n. [1]和[2]曾给出此问题可解的充分条件.本文应用Rothe不动点定理[3]给出问题G可解的另外两个充分条件.本文的结果可判定[1]和[2]中定理所不能判定的某些问题     

特征值全为正的实二重随机阵的存在性

<正> 若 n 阶方阵 T=(t_(ij))满足 t_(ij)≥0,sum from i=1 to n t_(ij)=1,sum from i=1 to n t_(ij)=1,i,j=1,2,…,n,则称 T 为实二重随机阵.设 A 为 n 阶方阵,当 n≥2时,如果存在 n 阶置换阵 P,使(?),其中 A_(11)为 r 阶方阵,1相似文献   

关于四元数矩阵乘积迹的不等式

设 H~(m×n)为 m×n 四元数矩阵的集合,σ_1(A)≥…≥σ_n(A)为 A∈H~(mxn)的奇异值。本文证明了:1)设 A∈H~(mxm),B∈H~(mxm),r=min(m,m),则|tr(4B)|≤c r σ_i(A)σ_i(B).2)设 A_i∈H~(mxm),i=1,2,…,n,(A_1A_2…A_n)k为 A_1A_2…A_n 的任一个 k 阶主子阵,则|tr(A_1.A_2…A_n)_k|≤sun form i=1 to k σ_i(A_1)…σ_i(A_n).我们还得到四元数矩阵迹的其它一些不等式。这些结果推广和改进了文[1],[2]中的结果,进一步解决了 Bellman 猜想。     

两点浅见

华罗庚等曾在数学学报第11卷(1961)发表了《数学方法在麦收中的应用》一文(以后简称[1])。笔者对此文有两点浅见,现述于此以与华罗庚先生和广大读者商榷。 1.[1]中研究了这样一个问题:设平面上有n个不同点A_1,A_2,…,A_n和n个正常数m_1,m_2,…,m_n,要在平面上求一点使函数 F(P)=sum form to i=1 to n (m_i|PA_i|)取最小值。(此问题已为林诒勋先生在1960年完全解决,见[3].)[1]对此问题提出的解法如下:     

整系数多项式的哥德巴赫定理

哥德巴赫猜想断定每一个比4大的偶数是两个素数的和、用Z表示整数环,多项式环Z[x]与Z一样是一个唯一分解整环,其中不可约多项式相当于整数中的素数。本文的目的是证明多项式环Z[x]中与哥德巴赫猜想类似的定理。 定理1.在Z[x]中每一个次数n≥1的多项式M可以写成两个不可约n次多项式A与B的和,即     

关于厄米特矩阵的一个不等式

<正> 文献 [1] 中叙述了厄米特矩阵的一个重要性质:设 A_1,A_2,…,A_k 是 k 个 n 阶正定厄米特矩阵,则有     

多项式不动点的进一步研究

对文[1]中关于多项式不动点的主要定理进行了修正和发展,进而研究了多项式的广义(高阶)不动点,证明了对任意给定的n个点t_1≤t_2≤…≤t_n,存在唯一的首项系数为α∈R(α≠0)的n次多项式P(x)以它们为广义不动点.     

一类矩阵多项式的L-值的摄动分析

1.引言 考虑矩阵多项式: F(λ)=sum from j=0 to m(A_jλ~j),这里A_0,A_1,…,A_m均为n×n矩阵,λ为纯量.在工程实践中,上述问题归结为:求λ及非零n维列向量x,使得     

规范奇数边形一个猜想的解决北大核心

文[1]定义了规范五边形,并着重研究规范五边形的有关性质,最后提出了一个关于非正多边形的规范奇数边形的存在性猜想,其本质如下:猜想存在非正多边形的规范奇数边形,类似于规范五边形的定义,在2n+1(n∈N^(*),n≥2)边形A_(1)A_(2)…A_(2n+1)中,B_(1),B_(2).     

p.n.p.矩阵的一些性质

一个n阶实方阵若其各阶主子式皆非正,则称为部分非正阵,简写作p.n.p.矩阵.特别地,各阶主子式皆负的p.n.p.矩阵称为部分负矩阵,简写为p.n.矩阵。文[1]、[5]讨论了p.n.p.矩阵的谱性质。本文在[5]的基础上讨论了p.n.p.矩阵的若干性质,并给出p.n.p.矩阵特征值的某些估计式。 引理1 设A=(A_(ij)_n×n为一p.n.p.矩阵,则A的特征值之实部不全为负(n≥2)。 证 设λ_1,λ_2,…,λ_n为A的全部特征值。假定A的每一特征值之实部皆为负。分两种情     

关于A_(n-1)型CHEVALLEY扩群■的唯一性

本文讨论[1]中留下的A_(n-1)型Chevalley群G≌SL_n(K)的扩群G的唯一性问题,得到群G在同构意义下至多有1/2φ(n)个。     

Grunwald插值多项式算子的逼近阶

设J_n~(α,β)(x)(α,β>-1)是在[-1,1]上以ρ(x)=(1-x)~α(1+x)~β为权函数的n阶Jacobi正交多项式。l_k~(n)(x)(K=1,2,…,n)是以J_n~(α,β)(x)的零点{x~(n)_1,x_2~(n),…,X_n~(n)}为基点的Lagrange插值基本多项式,对于f(x)∈C[-1,1],其Grunwald插值多项式算子是(见[1]第Ⅲ部分;[2]P.196)     

多边形面积公式的两种证法

式中(x_i,y_i)是n边形的顶点A_i的坐标,i=1,2,…,n,n个顶点的顺序A_1,A_2,…,A_n在图上是按逆时针方向排列的。 有些解析几何读物(如[1])已就边数较少的多边形介绍了这个公式,但不给一般的证明。本文试就任意多边形(包括凸的和凹的)给出公式(1)的两种证法,供教学上参考。     

n个相容事件和的概率公式及其应用

如所周知,n个互不相容的事件和的概率等于各个事件的概率之和。在一般情形,当A_1,A_2,…,A_n可以是相容的,为求和■A_i的概率,我們有如下的公式(参看[1]的第一章习題20):当n=1时,公式显然成立;当n=2时,也是容易証明的,因为     

关于n连贯多项式的几个结论

数集K上的多项式f（x）＋i（i＝0，1，…，n－1，整数n≥2）均在K上可约，则称f（x）为K上的n连贯多项式，二连贯多项式简称连贯多项式．自[1]提出n连贯多项式的概念以来，有较多文献在研究它．一般在复数集C，实数集R，有理数集Q，或整数集Z上研究n连贯多项式．本交给出关于”连贯多项式的n个结论（没有指明在哪个数集上时，指在任意数集上），这些结论都是由n连贯多项式的定义容易证明的，所以多未证明．定理1（1）复数域C上次数不小于2，或R上次数不小于3的多项式均为n连贯多项式；（2）ax2＋bx＋c（a＞0）在R上为n连贯多项式的充要…     

分枝与定界(Branch and Bound)方法简介

1引言不少组合最优化问题可以归结为下面的形式:max f (x)或min f(x),这里s是一个有限集合。让我们看几个例子。[例1]分配问题(Assignment Problem,以下简称为AP)设有n个人A_1,A_2,…,A_n,另外有n件工作B_1,B_2m,…;B_n,又设A_i做工作B_j可以生产的价值为C_(ij),现在要分配每一个人A_i做一件工作B_j,规定每一个人都恰好     

一个三角形不等式的再推广

在三角形中,有一个熟知的不等式命题为命题1 若△ABC的三边的长分别为a、b、c,外接圆半径为R,则 1986年,文[1]在圆内接四边形中,推出了一个类似的命题: 命题2 若圆内接四边形ABCD的四边长长分别为a、b、c、d,圆的半径为R,则 1987年,文[2]将上述命题一般化,进一步证明了命题3 若圆内接n边形A_1A_2…A_n的n边的长分别为a_1、a_2 …、a_n,圆的半径为R,则等号当且仅当A_1A_2……A_n为正n边形时成立。