一类行列式的界的探索.docVIP

一类行列式的界的探索 王 崇 (学号： 指导老师: 林 磊 摘 要 本文确定了阶数值矩阵的行列式 的行列式的绝对值: 的最小上界. 关键词 阶数值矩阵, 行列式, 最小上界. 一、引子 已知: 阶方阵的行列式,. 求证: 当时, . 证明: 对行列式的阶用数学归纳法: (1)时: 记 , 为中 -1的个数, 则 . 由于本题要求的是矩阵的行列式的绝对值, 且, 故只要考虑 时的情况. 时有2种情形: (i) 没有, 则行列式的绝对值等价于: ; (ii) 只有一个, 则此时等价于: . 由(i)、(ii)可知: 当时, . 而当时:. 故, 当时命题成立. (2) 假设时命题成立, 即有: . 当时: ( ) , 即当 时命题成立. 综上, 由(1), (2) 可得: 对于任意 有: 成立. 从以上证明可以发现多次运用了放缩的方法, 并且放缩的幅度比较大, 所得的结论并非是最优的! 于是本文将就该数值矩阵的更优解进行探索. 探索方法用观察寻找规律法: 先用计算机计算得出3, 4, 5, 6, 7阶时的行列式可能的最大值以及此时对应的矩阵，然后观察寻找出规律并证明猜想的规律. 二、编写程序并计算 用计算机计算编写的程序的主要思想是: 使用穷举法找出每一个可能的矩阵,并计算出他们的行列式的绝对值, 同时比较出大小, 并最终得到最大值. 以四阶为例: 对方阵的每一行进行考虑, 可能的情形有8种包括: [1,1,1,1;-1,1,1,1;1,-1,1,1;1,1,-1,1;1,1,1,-1;-1,-1,1,1;-1,1,-1,1;-1,1,1,-1] 以及以上的相反.但由于取的是绝对值，故不必考虑相反时的情形. 找出方阵每行的所有可能的情形后, 就可以使用穷举法得出所有可能的方阵: 程序的实现方法是从以上八种行的形式中每次取出四种(不重复), 并将其还原成方阵(这样就能取到所有可能得四阶方阵), 同时算出该方阵的行列式的绝对值, 并与上次计算结果比较得出较大值. 最终得到的较大值即为最大值: . 具体程序详见附件. 最后计算的结果最大值分别是: 4阶是16, 5阶是48, 6阶是160, 7阶是576. 程序可以稍加修改成用来计算8, 9, 10一直到阶时的情形. 三、观察并猜想规律 由以上数值计算, 可以发现以前的结论放缩的幅度比较大. 另, 在计算中发现 -1占优矩阵(即除对角线元素为-1, 其余元素为1)的矩阵的行列式并非绝对值最大的矩阵. 猜想更优界为: 阶数 1 2 3 4 5 6 7 计算结果 1 2 4 16 48 160 720 猜想结果([]) 1 2 5 16 55 216 907 优化前结论() 0 1 4 18 96 600 4320 -1占优矩阵 1 0 4 16 48 128 320 四、证明猜想 说明: 为简明见, 若不特别说明, 以下文章中“A0”就表示A矩阵是半正定的. 如: 表示是半正定的矩阵. 定理1: 1) 任意, ; 2) 任意, . 证明: 1) ()只要取, 那么由: 可得: ()由,则存在使得: 那么: . 2) 要证: 任意, 或者: 这由1)直接可得. 定理2: 证明: 当时, 结论显然成立. 当时, 再由所以那么: 且. 再由, 以及定理1, 有: 从而: , 由于 从而 存在正交阵, 使得:对角化, (*) 其中 那么: =. 由于 所以: , 或 . 再由(*)式, 可知: 而: 所以, . 引理1: 设 那么(由此可知, 半正定矩阵的一切主子块也是半正定的). 证明: 由于 取 由以上定理1知: 同理可证: 引理2: 在引理1的假设下, 如果存在, 那么: 证明: 取 那么, 仍由定理1知: 再由引理1, 得到: 类似可证: 引理3: 在引理2的假设下, 有: (1) 证明: 由引理1及引理2知: ,, 由于存在,, 从而由是对称阵. , 这样, 由定理1得: 或者: 那么,由定理2,即得: . 定理3: 设 那么: (2) 证明: 分两种情况证明, 当时,(2)式自然成立. 现在设, 再由 从而, 这时 且, 也即 从而存在, 由分块阵之逆以及上面不等式(1), 有: 推论1:设 其中, 均为方阵, 那么: . 推论2: (Hadamard定理)设: 那么: . 即, 半正定阵的行列式的值不超过主对角线元之积 . 推论3: (Hada