THE DECISION PROBLEMS ABOUT THE PERIODIC SOLUTIONS OF THE DOMINO PROBLEMS

In this paper, by reducing the Post Corresponding Problem to (1) the problem of deciding whether or not the origin-constrained domino problem has periodic solutions and (2) the problem of deciding whether or not the unrestricted domino problem has periodic solutions, it is obtained that the above two decision problems are both unsolvable.     

对偶锥映像上的问题

本文研究了对偶锥映像上的一些非线性问题.利用拓扑度理论和半序的方法,获得了对偶锥映像的锐角原理,Debrunner-Flor不等式和不动点定理的结果.推广了一般单调映像的锐角原理和Debrunner-Flor不等式的一些结果.     

FINITE DETERMINATION OF BIFURCATION PROBLEMS

1PreliminariesInthissectionwedefinesomenotationsandcollectsomebasicresultsnecessaryformakingthepaperself-contained.Definition1.1WedenotebyE(n,p)thesetofgermsat0eacofsmoothmappingsfromactoso.Ifp=1wewritesimplyE(n)fore(n,1).TheWalgebrastructureofRinducesanaturalXalgebrastructureone(n).Theringe(n)hasauniquemaxdrialidealm(n),consistingofthosegermsfEe(n)suchthatf(0)=0.Wecallf(z,A)Em(n q)abifurcationproblem,21,'',inarestatevariablesandAl,'',A,aretheparametervariables.LetRbearing,MaR-module,…     

非线性特征值问题的正解

本文着重考察非线性特征值问题u"+λg(t)f(u)=0,0＜t＜1,u(0)=u(1)=0,在没有任何单调性条件下,运用不动点指数理论,得到了上述问题的正解,推广、改进了以往的工作.     

关于核完备空间的几个问题

<正> 1955年A.Grothendieck在建立核空间理论的同时,作为例子也具体给出了一类特殊的完备空间——gestufen空间具有核性的充要条件,十年之后,A.Pietsch和作者的一篇未发表的工作各自独立地得到了一般完备空间的核性条件,从此核完备空间的研究就展开了,如可参看[7—9]. 本文是继续探讨这方面的问题,共分四个部分:首先,为完整起见,在§1我们将重新叙述和证明完备空间为核的条件(我们原先的证明就与Pietsch不同);其次,在§2中我     

两类Cayley的向图的同构问题

证明了对m=1,2,3,有限广义双循环群B(Q8)是m-DCI群当且仅当它的极大交换子群L是m-DCI群且4|-1mm|L|;有限广义二面体群D是m-DCI群当且仅当它的极大交换子群K是m-DCI群且2|-1mm|K|.     

POSITIVE SOLUTIONS OF m-POINT BOUNDARY-VALUE PROBLEMS

The paper is concerned with the existence and multiplicity of positive solutions for a nonlinear m-point boundary value problem. The proofs are based on a fixed-point theorem and a fixed-point index theorem in cones.     

非线性特征值问题的正解

本文着重考察非线性特征值问题u"+λg(t)f(u)=0, 0相似文献   

关于多值函数的逼近问题

本文讨论了多值函数的逼近问题,得到关于非凸值多值函数的两个逼近定理,Cellina逼近定理和De Blasi-Myjak逼近定理被作为推论重新得到,最后,作为应用,证明了一个抽象经济模型的均衡存在性定理.     

规划问题的一种新提法

用数学工具去解决实际问题的一个前提条件是需要建立一个恰当的数学模型。随着问题研究的深入,往往需要人们寻求一些新的数学工具去建立更加符合客观实际的数学模型。传统的单目标最优化问题(规划问题)的数学模型(?)f(x),R={x|g_i(x)≥0,i=1,2,…,m}是有局限的。主要反映在下面两方面:1.实际问题中的约束条件常常发生在一种不分明的环境中,按分明情况处理有时会丢失更为恰当的解。2.多目标最优化问题与单目标最优化问题,目标函数与约束条件之间往往没有不可逾越的鸿沟。有的问题本来是多目标最优化问题,但为了处理上的方便人为地把有些目     

TWO PROBLEMS OF HERMITE ELLIPTIC EQUATIONS

In this article, the author investigates some Hermite elliptic equations in a modified Sobolev space introduced by X. Ding [2]. First, the author shows the existence of a ground state solution of semilinear Hermite elliptic equation. Second, the author studies the eigenvalue problem of linear Hermite elliptic equation in a bounded or unbounded domain.     

矩阵反问题解的稳定性

首先说明一些记号.C~(m×n):所有m×n复元素矩阵的全体,C_r~(m×n):C~(m×n)中所有秩为r的矩阵的全体.A~H:矩阵A的转置共轭.I~((n)):n行列单位矩阵.A>0表示A是正定Hermite矩阵,λ_(max)(A)与λ_(min)(A)分别表示Hermite矩阵A的最大与最小特征值,σ_(max)(A)与σ_(min)(A)分别表示矩阵A的最大与最小奇异值.A~+:A的Moors-Penrose广义逆.|| ||_2:矩阵的谱范数,|| ||_F:矩阵的Frobenius范数.     

一类奇异型折扣费用模型之推广

设((?),(?),P)为一概率空间,(?)_t,t≥0为(?)中的上升(?)-域,W_t,t≥0为(?)_t,适应的标准 Wiener 过程,且对(?)0≤s≤t≤∞,W_t—W_s 与(?)_s 独立.以(?)表(?)_t 适应左连续0初值有限变差过程全体.对(?)ξ={ξ_t,t≥0}∈(?)有正规分解ξ_t=ξ_t~ —ξ_t~-,(?)_t(?)ξ_t~ ξ_t~-表ξ_t的全变差,当然ξ~ 及ξ_-皆(?)中单调非降过程.有关类型的折扣费用问题曾被不少人研究过,例如 Bene(?)等人的文章.后来这些     

一类非线性方程组的奇摄动问题

本文在较弱的假设下．用校正边界层的方法得到了一类非线性奇摄动方程组的一致有效渐近展开式．并得到了其渐近性态．     

一类扩展线性规划问题的推广

研究文［１］的扩展线性规划问题的更一般的情形：ｍｉｎｚ＝∑ｎｊ＝１ｃｊ｜ｘｊ｜，ｓ．ｔＡｘ＝ｂ，ｘｊ≥０，ｊ∈Ｉ｛１，２，…，ｎ｝。给出其不扩展单纯形表的单纯形算法。     

CLASSICAL SOLUTIONS OF BOUNDARY VALUE PROBLEMS OF CARLEMAN EQUATION

Applying the exponential formula in nonlinear semigroup,the author proves theexistence of global classical solutions to the nonhomogeneous boundary value problemsof Carleman equation,and discusses the asymptotic behaviour of the solutions.     

关于矩阵张量积的一类问题

本文给出有限个矩阵张量积分别是正规矩阵、厄米特矩阵、正定矩阵的条件．推广了Y．E．Kuo的相关结果．另外也给出了两个亚半正定矩阵的张量积还是亚半正定矩阵的充要条件．     

一类反特征值问题的最小二乘解

因为集合y是由矩阵的部分特征值及其相应的特征向量的信息决定的,所以问题(0.2)是一类反特征值问题.[1]证明了。当集合y非空时:问题(0.2)存在唯一解?,其表达式为     

用样条函数解两类插值问题

设φ(x)是定义在[a,b]上的一个实函数,一般插值问题的提法是:若在[a,b]上若干点处给定了φ(x)的函数值和(或)导数值,要求某一函数f(x)(例如多项式或样条函数)逼近φ(x)。近年来的理论研究和计算实践都表明,用样条函数解这类插值问题,可以得到令人满意的结果。