Brown定理的一个组合证明

QUILLEN利用代数拓扑的方法证明了Brown定理,BACLAWSKI也是用代数拓扑理论得到公式μ（P）＝μ（Q）∑y∈Qμ（y/f)μ（y/f)μ(o,y) ,作者先给出了μ（P）＝μ（Q）－∑y∈μ（y/f)μ(0,y)的组合证明,然后利用该方法给出了Brown定理的组合证明。     

非线性微分方程的振动准则

本文给出二阶非线性微分方程 (a(t)x′)′+m(t)x′+Q(t,x)=P(t,x,x′)一切解振动和至少存在一个不振动解的几个判别准则。所给定理包含和改进了某些已知结果。     

一元二次矩阵方程的迭代解法

本文讨论一元二次矩阵方程MZ~2+QZ-R=0 (1)的解法。这里M、Q、R是给定的n×n阶实矩阵,M是非零阵,Z是需求的n×n阶阵。文章给出了一个求解(1)的迭代公式,并且证明了如下收敛定理: 若Q是非奇异阵,且满足条件||Q~(-1)M|| ||Q~(-1)R||≤1/2那么迭代公式求解(1)得到的序列{Z_k} k=0,1,2,……,将收敛于方程(1)的唯一解。     

非齐次Moisil-Theodorsco方程组的Riemann边值问题

考虑了在R3空间中的非齐次Moisil-Theodorsco方程组的Riemann边值问题。本文首先研究Moisil-Theodor-sco方程组的Cauchy型积分,Plemelj公式,进而得到了非齐次Moisil-Theodorsco方程组解的积分表示和它的Plemelj公式,在此基础上还讨论了它的一个Riemann边值问题。最后运用积分方程方法和Banach不动点定理证明了该Ri-emann边值问题解的存在性和唯一性,同时也给出了其解的积分表示式。     

广义力学中完整非保守系统的时间积分定理

给出了广义力学中完整非保守系统的广义维里定理，基于该定理，得到了广义力学中完整非保守系统的一给特殊的积分公式。     

齐线性微分方程组降阶定理的一个一般证明

文[1]只给出了齐线性微分方程组有几个线性无关解时降阶定理的特殊证明,本文再给出该定理的一个一般证明。     

反应扩散方程组的周期行波解

本文利用压缩不动点定理,讨论了一类反应扩散方程组的周期行波解.我们证明了解的唯一存在性,并给出了求解的逐步迭代公式.     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

L~1极限鞅及其诱导测度

设(Ω,■,P)是一概率空间,△是一向右定向集。(x_t,■_t,△)是L~1极限鞅。对任一A∈■,定义它的诱导集函数Q为:Q(A)=■∫_Ax_tdP.本文第二部分讨论了L~1极限鞅的性质包括它的Riesz分解定理、收敛定理和与其它鞅型适应族的关系。第三部分讨论了L~1极限鞅(x_t,■_t,△)诱导的集函数的性质。定理7给出了Q<相似文献   

Moisil-Theodorsco方程组的Riemann边值问题

证明了Moisil-Theodoresco方程组在R3空间中对应的Cauchy定理,研究了相应的Cauchy型积分及其Holder连续性,获得了它的Plemelj公式.同时,给出了R3空间中的刘维尔定理,进而讨论了齐次和非齐次Moisil-Theodorsco方程组的一类Riemann边值问题.证明了它的解的存在性定理,并且给出了解的积分表达式.     

关于Green公式若干问题的探讨

本文研究了Green公式的某些问题,讨论了函数P(x,y),Q(x,y)及偏导数 P/ y, Q/ x在有界连通(单连通的或复连通的)区域D内(或边界C上)存在奇点的情形。利用广义积分收敛的定义,在一定条件下,证明了一个新的定理。可以看出,该新定理是Green公式的进一步推广与完善。此外,还讨论了Green公式的两种形式。最后,给出了例子说明定理的应用。     

RLC电路Q值测量研究

在RLC谐振电路中的Q值测量中,经常使用公式Q=cmax／U,实际上,在Q值极低的情况下,使用此公式进行测量是存在误差的,将这一问题进行深入的研讨,并给出公式的适应范围。     

双解析函数的一个带共轭值的边值问题

讨论了双解析函数的一个带共轭值的边值问题.首先通过双解析函数的plemelj公式,把所要解决的边值问题转化为一类积分方程的形式.然后证明了几个有用的不等式,再结合函数论知识中的积分方程理论和压缩映像原理,得到了该问题的解的存在性和唯一性.     

平面定常Stokes方程的Galerkin边界元解泌

把平面定常Srokes方程的边值问题转化为边界积分方程后，通过与边界积分方程等价的变分形式，采用线性单元，利用Galerkin边界元方法求解．在计算单元刚度矩阵时，对二重积分的第一重使用精确积分，第二重使用数值积分，详细推导了第一重积分的解析公式．数值算例验证了Galerkin方法误差的理论结：E（u）=O（h^2）     

一类一阶椭圆型方程组的Schauder估计

考察在两维平面上,当边界并非光滑的情况下,一类一阶椭圆型方程组的边值问题.采取了Schauder估计的方法,选取一种加权的Hlder范数,通过将一阶椭圆组化为二阶的形式,利用二阶椭圆方程相关结果,得到了方程组的正则性和Fredholm型可解性结果.     

矩阵方程X+A~*X~(-q)A=Q(q≥1)的正定解

研究了非线性矩阵方程X+A*X-qA=Q(q≥1)在AA*=A*A,AQ=QA时的准最大正定解,并给出了解的存在性定理以及求解方法.     

抽象锥中积分-微分方程的单调迭代方法

本文考虑Banach空间中积分-微分方程的周期边值问题,利用抽象锥、推广了的比较定理及非线性算子的不动点定理,构造出两个单调迭代序列,证明了Banach空间中积分-微分方程具有周期边值的最小解最大解存在定理。     

Riemann边值问题关于边界曲线的稳定性

讨论了当E为复平面上的有界连通区域且所有已知函数在E上满足H lder条件时 ,Rieman边值问题在边界曲线Γ E发生光滑扰动时的稳定性问题 ,给出了相应的误差估计 ,并建立了收敛性定理 ,且当Riemann边值问题的指标R <0 时提出了扰动拟可解的概念 .     

等离子体纳米结构Fano谐振的Q值计算研究

具有Fano谐振的表面等离子体纳米结构因其独特的光学特性及应用潜力,受到了广泛的关注和研究.品质因子（Q值）是谐振模式电磁存储能力的一个重要评价指标,本文从定义出发得到了Q值的时域拟合公式,并结合时域有限差分方法对典型金属纳米结构以及Fano谐振各特征模式的Q值展开研究;此外,还使用了较为简单方便的频域半高宽公式对上述结构进行了Q值计算.通过对比两种方法得到的结果,我们发现尽管频域半高宽公式能够适用于简单的金属纳米结构谐振模式Q值计算,但是在处理Fano谐振的Q值时将会带来较大的误差,有些情况下甚至极大地偏离实际值导致计算结果失去意义.,而本文中采用的时域拟合Q值公式从谐振模式的本质出发,不受结构响应谱线型的影响,适用于各种情况下对谐振模式Q值的准确计算.     

Cn(0,1)的Dirichlet边值问题

在Cn(0,1)中的Schwarz积分公式是多复变函数的一个重要定理,通过引入积分算子给出了在Cn(0,1)中Schwarz积分公式的另外一种递推证法,证明过程简洁且证明方法直接,最后在此基础上讨论了在Cn(0,1)中两种典型的边值问题的解.