取值于赋值幺半群的加权上下文无关文法及其语言

上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。     

Fuzzy 上下文无关语言的Chomsky定理

在关于Fuzzy上下文无关语言的已有成果基础上,进一步考虑简化Fuzzy上下文无关文法,提出用派生刻画Fuzzy上下文无关文法与语言的性质,得到了Fuzzy上下文无关语言的Chomsky定理,并利用Pumping引理来判别一个语言是否为上下文无关语言.     

模糊正则文法的逼近性

为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近.研究表明,当t-模*满足一定的条件时,max-*型模糊正则文法与max-min型模糊正则文法在生成模糊语言能力方面是等价的.     

S~1上一类自映射的迭代根(英文)

本文给出了圆周上dege(f)=0的分段严格单调的连续映射f存在任意阶迭代根的充分必要条件,得出了f存在任意阶迭代根等价于可以嵌入一个拟半流的结论.     

S1上一类自映射的迭代根

本文给出了圆周上dege(f)=0的分段严格单调的连续映射f存在任意阶迭代根的充分必要条件,得出了f存在任意阶迭代根等价于可以嵌入一个拟半流的结论.     

带幂非线性项变系数非线性波动方程的李对称分类与等价性变换

从微分方程群理论分析角度,研究了一类含有3个任意函数和2个幂非线性项的变系数非线性波动方程.由于方程具有很强的任意性和非线性项,可通过等价性变换寻找方程的不变对称分类.首先给出了等价性变换的一般结果,其中包括一些包含任意元的非局部变换.然后对所研究的方程,利用广义扩展等价群和条件等价群给出了方程的完全对称分类.最后获得并分析了方程的特殊类相似解.     

中间逻辑中的良构范式

本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.     

用范式理论研究常微分方程焦点量问题*

利用范式与焦点量之间关系的一个定理并拓展了矩阵表示法,借助于计算机代数语言Mathe-matica的帮助,本文给出了一种计算常微分方程焦点量问题的新方法,利用这种方法可以计算常微分方程的任意阶焦点量,并通过一个算例验证了本文所提出的方法的正确性。这种方法的优点是简捷、方便、只进行简单的代数运算。     

无序和的一个注记

对于任意集合上广义实数取值的非负函数,文献[1]给出了无序和的两种定义,文献[2]给出了无序和的第三种定义,文章证明了这三种定义相互等价.对于任意集合上绝对可和的复值函数,文献[1]和文献[2]分别给出了无序和的两种不同定义,文章证明了这两种定义等价.     

非半简分叉问题的范式

根据文[1]给出了求解非半简分叉问题范式的方法．作为应用实例分析了一般非线性系统的非半简双零特征值问题的范式，给出用原系统系数表达的范式系数．     

Transfinitely valued Euclidean domains have arbitrary indecomposable order type

We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely characterize the norm complexity of Euclidean domains. Modifying this construction, we also find a finitely valued Euclidean domain with no multiplicative integer valued norm.     

A renorming of some nonseparable Banach spaces with the Fixed Point Property

We prove that for every Banach space which can be embedded in c₀(Γ) (for instance, reflexive spaces or more generally spaces with M-basis) there exists an equivalent renorming which enjoys the (weak) Fixed Point Property for non-expansive mappings. As a consequence, we solve a longtime open question in Metric Fixed Point Theory: Every reflexive Banach can be renormed to satisfy the Fixed Point Property. Furthermore, this norm can be chosen arbitrarily closed to the original norm.     

Analytic norms in Orlicz spaces

It is shown that an Orlicz sequence space admits an equivalent analytic renorming if and only if it is either isomorphic to or isomorphically polyhedral. As a consequence, we show that there exists a separable Banach space admitting an equivalent -Fréchet norm, but no equivalent analytic norm.

     

Norms on unitizations of banach algebras revisited

Let A be an algebra without unit. If ∥ ∥ is a complete regular norm on A it is known that among the regular extensions of ∥ ∥ to the unitization of A there exists a minimal (operator extension) and maximal (ℓ₁-extension) which are known to be equivalent. We shall show that the best upper bound for the ratio of these two extensions is exactly 3. This improves the results represented by A. K. Gaur and Z. V. Kovářík and later by T. W. Palmer. The second author was partially supported by the grant No. 201/03/0041 of GAČR.     

Moduli of convexity and smoothness of reflexive subspaces of L

We show that for any probability measure μ there exists an equivalent norm on the space L¹(μ) whose restriction to each reflexive subspace is uniformly smooth and uniformly convex, with modulus of convexity of power type 2. This renorming provides also an estimate for the corresponding modulus of smoothness of such subspaces.     

关于2R（w2R）范数的一个注记

证明了自反Banach空间X上的等价w2R范数全体构成一个剩余集;同时证明了X闭子空间上等价的w2R范数均可延拓为X上等价的w2R范数.特别地,当X是可分时,上述w2R范数可替换为2R范数.     

The widest continuous integral

An approach to a definition of an integral, which differs from definitions of Lebesgue and Henstock-Kurzweil integrals, is considered. We use trigonometrical polynomials instead of simple functions. Let V be the space of all complex trigonometrical polynomials without the free term. The definition of a continuous integral on the space V is introduced. All continuous integrals are described in terms of norms on V. The existence of the widest continuous integral is proved, the explicit form of its norm is obtained and it is proved that this norm is equivalent to the Alexiewicz norm. It is shown that the widest continuous integral is wider than the Lebesgue integral. An analog of the fundamental theorem of calculus for the widest continuous integral is given.     

Global Periodic Attractor for Strongly Damped and Driven Wave Equations

In this paper we consider the strongly damped and driven nonlinear wave equations under homogeneous Dirichlet boundary conditions. By introducing a new norm which is equivalent to the usual norm, we obtain the existence of a global periodic attractor attracting any bounded set exponentially in the phase space, which implies that the system behaves exactly as a one dimensional system.     

矩阵可对角化的零化多项式的判定

给定数域F上的方阵A,借助等价标准形和数学归纳法证明了如果存在数域F上互素的一次因式乘积的多项式是A的零化多项式,则A可对角化.     

Aubin—Nitsche Estimates Are Equivalent to Compact Embeddings

In this short note we show that having an Aubin–Nitsche type estimate (a superconvergence estimate in a weaker norm for a convergent Galerkin method) is equivalent to having compact injection of the space into its completion with the weaker norm.