(＋∞∑n-1)1/n2m的初等解法

本文用初等的方法研究(＋∞∑n-1)1/n2m(m∈N)的求和问题. 这个问题最先由Euler[8]解决.文献[1][6]给出了另两种求解方法.特别地,对于m=1的情形,即(＋∞∑n-1)1/n2=∏2/6,已有许多不同的证明方法,可见文献[2][3][4][5]以及那里的参考文献.本文的想法,主要受文献[5][6]的启发而来的.     

sum from n=1 to +∞(1/n~(2m))的初等解法

本文用初等的方法研究sum from n=1 to(1/n~(2m))(m∈N)的求和问题。这个问题最先由Euler[8]解决。文献[1][6]给出了另两种求解方法。特别地,对于m=1的情形,即sum from n=1 to ∞(1/n~2)=((π~2)/6),已有许多不同的证明方法,可见文献[2][3][4][5]以及那里的参考文献。本文的想法,主要受文献[5][6]的启发而来的。     

空间-时间分数阶扩散方程的显式差分近似

1 引言分数阶微分方程产生于一些反常扩散模型,已经被利用于模拟在工程,物理,化学和其它科学领域的许多现象．目前已有许多研究专家学者[1][2][3][4]从理论上对方程进行了研究．数值解方面,刘发旺教授等[5,6]首先提出利用行方法求解空间分数阶扩散方程来     

线性规划分解筛选法的一个注记

[1][2]提出了求解线性规划问题的一种方法－分解筛选法,[3]证明了[2]的命题A是错误的,本进一步证明,用分解筛选法筛选出变量不一定是最优基变量。     

Hammerstein 型非线性积分方程的固有值

<正> 本文是作者工作[7]的继续.§1应用拓扑度数理论[1][2][3][5][6]研究实用上常见的多项式型 Hammerstein 非线性积分方程的固有值,即设     

关于对称半正定矩阵线性方程组解法的注记

§1.引言 在有限元法中,以位移为未知数的静力求解问题,最后都归结为求解如下线性方程组 [K][δ]={P},(1.1)其中[K]为对称正定或对称半正定的总刚度矩阵.当出现后者时,直接解法在消元或分解过程中,使对角元素变为零,从而无法继续消元或分解.例如,采用对称分解法时,对[K]的分解公式如下     

旋转壳边界条件广义表达式

旋转壳的边界条件,传统的表达方式是在中面位移μ,μ,ω,ψ或相应的四个力共八个量当中给定四个.而以节圆广义位移作为基本未知数,一个节圆上未知数的数目超过四个[1][2][3][4].在这种情况下关于边界条件的处理问题尚无令人满意的解决办法.本文利用虚功原理,导出一组壳边广义量与非广义量关系公式.研究了七种类型常见边界,给出用广义力与广义位移表示的边界条件公式.每一种边界条件公式的数目可以和一个节圆上所采用的未知数数目相一致.有了这些公式,即可直接将边界条件代入广义位移法运动方程以求解广义位移.这样做,避免了文献[2]关于未知数的变换与逆变换过程,不仅道理上简明而且也简化了计算.有了边界条件广义表达式,使得旋转壳广义位移法在理论上也更为完善.     

格值模型论中的省略型定理

<正> 我们在[2][3]开始的工作中,对于多值模型论准备作一些初步考查.我们已经讨论了2-值模型论中超积基本定理及紧致性定理在多值时的初步推广.本文是这一工作的继续,我们将证明某些值格时的省略型定理.文中有些概念及记号可参看[2]、[3]、[4](但本文的内容与[2]、[3]无关).以下再补充叙述一些与本文有关的概念.     

关于完全3-部图K1,6,n的交叉数

早在上世纪五十年代,Zarankiewicz猜想完全2-部图Km,n(m≤n)的交叉数为[m/2][m-1/2][n/2][n-1/2](对任意实数x,[x]表示不超过x的最大整数)．目前这一猜想的正确只证明了当m≤6时成立．本文主要证明了若Zarankiewicz猜想对m=7成立,则完全3-部图K1,6,n的交叉数为9[n/2][n-1/2] 6[n/2]．     

拉普拉斯变换微分性质的若干应用

给出拉普拉斯变换微分性质在求解拉普拉斯变换和拉普拉斯逆变换时的三个应用,并分别给出相应算例.     

M-带双正交矩阵值小波包

1预备文[1]研究了矩阵值小波,并介绍了离散矩阵值小波变换的应用,表明了研究矩阵值小波的重要性。文[2][3]研究了M-带小波包,文[4]研究了向量值正交小波包。本文在此基础上构造了M-带双正交矩阵值小波包,并研究了它的性质。     

双参数Morley有限元多重网格法

1、引言 多重网格方法是求解偏微分方程的高效快速算法,在实际中得到广泛应用．[2][6]中考察了Morley元的多重网格方法,并用于双调和方程问题。     

关于Pareto极值问题

[1]中研究了Pareto极值问题.[3]中部分地改进了[2]中的结果.本文给出Pareto极值存在的一个一般结论,这一结论包含了[2][3]中的有关结论作为特殊情况.利用弱拓扑还讨论了强-Pareto极值的存在性,从而在比[2][3]有关定理更弱的条件下,获得了更强的结论.     

基于共轭梯度的锥模型信赖域算法

1引 言 本文考虑求解无约束优化问题 minf(x),x∈Rn, (1.1) 其中f(x)在Rn上连续二阶可导.大部分求解无约束优化问题的算法都是基于迭代的思想形成一个近似函数,然后极小化该函数.近似函数通常都采用二次函数,本文研究采用锥函数作为近似函数的锥模型算法.锥模型方法是Davidon于1980年在文献[2]中首次提出来的,随后Sorensen[16],Ariyawansa[1]等对锥模型进行了线搜索策略的研究.Di和Sun[5][18],诸梅芳[20],Xu[19]等对锥模型信赖域方法进行了研究.     

三阶奇异摄动问题及其在数值分析中的应用

§1.引言本文给出一类三阶非线性奇异摄动问题的解析渐近解法,此类问题人们经常在非线性数值稳定性分析中遇到,其解析渐近解有助于我们对若干非线性数值不稳定性问题的认识,也有助于我们对一些数值分析中奇怪的现.象(例如[1][2][3]中讨论的怪影解(GhostSolution))有个全局性认识.在§2中讨论一类三阶奇异摄动问题,这类问题和F.Howes     

求连续minimax问题整体解的区间算法

1 引 言 Minimax问题是一类重要的数学规划问题,它来源于实际并有极广泛的应用([1],[2]).用区间数学方法求解 minimax问题已取得了一些成果.文[1]对由 C2类函数构成的无约束连续 minimax问题进行了研究,建立了相应的区间算法,文[6]～[11]分别讨论和建立了无约束和不等式约束的离散minimax问题的区间算法.文[12]、[13]则讨论了最坏     

高阶中立型方程渐近稳定性的代数判定

微分差分方程渐近稳定性的代数判据在应用时比较方便。最近,文[1]给出了滞后型方程渐近稳定的代数判据,文[2]给出了一阶中立型方程渐近稳定的代数判据。本文旨在推广文[2]的结果,给出高阶中立型方程渐近稳定的代数判据。 考虑中立型微分差分方程     

三维迁移方程的临界参数与临界通量

中子迁移理论中,描述给定的物理系统的两个参数--两个基本的本征值起着重要的作用[1][2],基本时间参数是非定态中子迁移问题的具最大实部的一个实的时间本征值,临界参数是定态中子迁移问题具最大绝对值的一个实的定态本征值.研究与基本时间参数和临界参数的存在性,及相应的非负本征函数的存在性和唯一性有关的一些数学问题至今仍有不少尚待解决[3][4].在文献[5][6]中,我们讨论了基本时间参数及其相应的正本征函数的问题.本文我们研究三维迁移系统的临界参数的存在性,及其相应的本征函数的非负性和唯一性,并给出用迭代法求解它们的收敛性证明以及收敛速度的阶的估计.     

线性多步公式的并行Newton-Raphson迭代方法

1.引言 常微分方程初值问题并行数值方法的研究,一直是并行算法研究中值得注意的问题.其原因不仅在于常微分方程初值问题是一个典型的非线性连续递推问题,也在于它在应用中的重要性,特别如实时计算的需要. [1]与[2]对两类典型的线性多步公式,Adams-Molton隐式公式和 Gear公式(即向后微分公式)进行处理,得到了一类并行算法.其基本思想是将这两类线性多步公式在一个区间上作为非线性方程进行整体迭代求解,该方法的最大特点是方程右端函数在各节点上可以并行计算,适用于多处理机系统和流水线向量机.[2]在一定的迭代初值条     

复矩阵正定性的进一步拓广

实对称矩阵的正定性的研究已取得丰富的成果,并为众多学科所应用。随着应用问题的研究对实矩阵的正定性已有种种推广[1][2][4]。特别[2]对复正定 Hemite 阵作了推广。本文对复矩阵的正定性概念予以进一步拓广,建立了若干有趣的结果。