一点看法

数学研究与评论1984年第四期刊登了刘证同志的“L~p-orthogonality in Banach Spaces” (以下简称文献[1])一文,此文给出了Banach空间的L~p一正交元的“存在性”及“唯一性”定理(文献[1]的定理1,2),这无疑证明了L~p-正交性(p>1)的提法对任何一个Banach空间都是非空的,为L~p-正交性的研究提供了理论依据。但就文献[1]中某些定理及推论的价值问题,笔者在此提出拙见,与刘证同志商榷。在文献[1]的推论4,6,7,9,定理8的条件下,p=2时,James和Day已经在文献[2],[3]给出了结论;     

一类捕食者-食饵系统的全局结构

本文中我们证明了关于一般捕食者-食饵系统不存在闭轨线的定理,即文中定理2.应用这一定理和关于捕食者-食饵系统极限环的存在唯一性定理[1],我们完成了在各种参数条件对一个具体的捕食者-食饵系统模型[2]的研究.     

非线性抛物型方程组的非局部初边值问题

本文,我们研究下列非线性抛物型方程组的非局部初边值问题k=1,2,…,m.u_k=u_k(x,t),x=(x_1,x_2,…,x_n) 利用Leray-Schauder不动点定理和能量积分,给出了问题(Ⅰ)解的存在唯一性的证明,这些定理和推论,改进了以前的某些结果[1]、[3]。     

拟线性正对称组具特征的边值问题

<正> 谷超豪在[1],[2],[3]中得到了拟线性正对称组边值问题的 C~ρ解的存在和唯一性定理.陈恕行在[4],[5]中讨论了拟线性对称双曲组的初边值问题.本文继[1]—[5],讨论拟线性正对称组的特征边值问题.     

拟线性正对称组具非线性特征的边值问题

谷超豪在[1]中就报告了拟线性正对称方程组边值问题解的存在和唯一性定理,详细的证明发表于[2],在[7]中对此有所改进,所建立的理论适用于非特征的齐次边值的情况。[3]参考了[2],[4]的做法,把[2]的结果推广到拟线性正对称组具某类特征的边值问题中去,但要求边界条件仍是齐次的。本文讨论边界条件是非齐次的,且是非线性的特征边值问题,在这种情况下建立了可微解的存在和唯一性定理。     

Dunham型联合Chebyshev逼近理论

本文在不假定 G 在紧集 X 上满足 Haar 条件的情形,建立了 Dunham 型联合最佳逼近的 Chebyshev 理论,包括特征定理(定理5、定理6和推论2),唯一性与强唯一性定理(定理9和推论3)以及连续性定理,同时我们也得到了“削皮”定理与联合最佳逼近的量的对偶形式。(定理7)。     

大范围隐函数存在定理的计算可检验充分条件

[6]中讨论了隐函数存在定理的计算可检验充分条件,其中有关结果都是局部性质的。在什么条件下,能得到大范围隐函数存在定理,这个问题值得进一步探讨。本文仍利用区间分析方法,提出大范围隐函数存在定理的计算可检验充分条件,并把古典隐函数存在定理([3],p.128,定理5.2.4)以及[6]中的局部隐函数存在定理作为它的推论。本文采用[6]中有关概念与记号,这里不再一一重复。     

一类中立型泛函方程的解的全局存在唯一性定理

本文研究了一类中立型泛函方程的解的全局存在唯一性问题,获得某些结果,并推广了[1]的定理1.1(p142)和[2]的Ⅱ、定理1。     

关于积分Schoenberg样条的一些结果

设T_(n,k)(f)是积分 Schoenberg 样条。设ω_k(f,δ)L~p 是 L~p[0,1]空间中的 k 阶光滑模。定理1 设1≤p≤∝和,f∈L~p[0,1],则‖T_(n(?)k)(f)-f‖_p≤M_p{1/(k+1)ω_1(f,1)L~p+ω_2(f,1/(k+1)~(1/2))_L~p}推论2 设1≤p≤∝和,f∈L~p[0,1],则‖T_(n,k)(f)-f‖_p≤M′_p·ω(?)(f,1/(k+1)~(1/2))_L~p,这儿 M_′p 是仅依赖于 p 的数。推论2给出了 Muller 问题的解(n 固定情况),定理1是 Muller 问题解的推广。我们也推广了关于 Kantorovic 多项式 P_k(f)(T_(1,k)(f)=P_k(f)的 Berens—Devore 定理,Gru-ndmann 定理和 Muller 定理。     

矩阵三角分解的条件

矩阵的三角分解是求解线性方程组的行之有效的方法之一,本文对此得到一个定理和两个推论,再引用矩阵三角分解的唯一性定理,并通过具体实例,进一步阐明矩阵三角分解的条件及唯一性。     

一类三阶伪抛物型方程初边值问题解的存在定理

借助路径提升问题,利用Banach空间吸引盆理论,研究了一类三阶伪抛物型方程初边值问题解的存在唯一性问题,给出其解存在唯一的充分条件,同时证明了一些已有的结论是本文主要定理的推论.     

关于不连续系统解的普遍唯一性定理

<正> 一、 引言 本文的目的是讨论由不连续的常微分方程所描述的不连续系统解的唯一性定理,分别对不连续的Caratheodory系统和系统获得了解的普遍唯一性准则及一系列的推论.     

关于常微分方程解的存在唯一性簡介(再續)

§5.解的唯一性唯一性的研究集中在探求保証解唯一存在的各种具体条件和一般性的原則上。其次是研究唯一性定理的不同証法;也有少部分的工作討論破坏唯一性的充分条件;此外,还出現了初始条件給在无穷远处的唯一性問題。定理1 (Kamke普遍唯一性定理)。設ω(l,r)是定义在0     

关于随机Lyapunov函数的存在性

本文对于一类非时齐的Ito型随机微分系统及可分离变量的常微辅助系统,建立了[1]的随机稳定性比较准则中的纯量Lyapunov函数及条件随机稳定性比较准则中的向量Lyapunov函数的存在性定理(这些Lyapunov函数我们就称其为随机Lyapunov函数).作为纯量随机Lyapunov函数存在性定理的一个推论,即为[2]中定理2的推广,并且在推论中所构造的随机Lyapunov函数,即为[4]中的Lyapunov函数.这些存在性定理也是[5]中常微分方程稳定性及条件稳定性比较准则的逆定理,对于随机微分系统的推广.     

E-理想拟正则半群

本文定义了一类拟正则半群,所谓E-理想拟正则半群;给出了它以及它的两类特殊情形(E-左正则性拟正则半群,E-半格性拟正则半群)的特征;建立了它们的结构定理,并作为推论获得了左正则带的结构以及带的已知结构(文献[1],Petrich,1967)。     

关于数值数学的一个典型问题

<正> Collatz L.在综述性文章[1]和[2]中就数值数学的典型问题归纳为五类,第一类是方程Tu=φ或Tu=u的解.关于这类问题主要是寻找解的存在性定理和解的存在区间以及唯一性定理等等. 如所周知,由初始元u_o出发,经过迭代     

双参数简单双曲样条

<正> 本文使用文[1]的方法,借助于双无限 Toeplitz 矩阵的一个基本定理,讨论确定在实轴上的双参数简单双曲样条~2H_Δ(x) 的存在唯一性问题和渐近性质.另外,按照文[2]的方法,也讨论确定在有限区间上的~2H_(?)(x) 的存在唯一性问题和渐近性质.     

关于某些函数积分方程的解析解

在本文中,我们给出了函数积分方程(1)—(3)解析解的存在唯一性和渐近性定理。在文献[1]和[2]中分别给出了下面三类函数积分方程     

一类迭代函数方程的连续解

本文用Schauder和Banach不动点定理讨论了一类非多项式形式的迭代函数方程的连续解的存在性唯一性与稳定性,其结果推广了文[1]工作．     

W-空间上的广义向量拟平衡问题

引入了广义向量拟平衡问题和广义集值拟平衡问题,得到了W-空间上广义向量拟平衡问题的存在性定理,作为推论,得到了W-空间上四类拟平衡问题的存在性定理,这些结果推广和改进了文献[1-7]的相应结果。