罗尔中值定理的一些新证法(英文)

给出了罗尔微分中值定理的三种新的证明方法,其中第二种很简便的方法仅依赖于大家熟知的Heine-Borel有限覆盖定理.由此可见罗尔微分中值定理可以是实数的完备性的直接推论.     

A version of Rolle's theorem and applications

This paper deals with global injectivity of vector fields defined on euclidean spaces. Our main result establishes a version of Rolle's Theorem under generalized Palais-Smale conditions. As a consequence of this, we prove global injectivity for a class of vector fields defined on n-dimensional spaces.Research partially supported by CNPq/Brazil under grant # 307014/89-4Research partially supported by CNPq/Brazil under grant # 301251/78-9     

Approximate Rolle's theorems for the proximal subgradient and the generalized gradient

We establish approximate Rolle's theorems for the proximal subgradient and for the generalized gradient. We also show that an exact Rolle's theorem for the generalized gradient is completely false in all infinite-dimensional Banach spaces (even when they do not possess smooth bump functions).     

On an extension of Rolle's theorem to locally convex spaces

This work concerns the extension of a weak form of the Rolle's theorem to locally convex spaces that satisfy an axiom of separation. The result provides a condition for asserting the uniqueness of a solution to nonlinear functional equations, including nonlinear integro-differential equations. We use the extended Rolle's theorem to prove the uniqueness of a solution to a nonlinear, fractional differential equation.     

On arrangements of roots for a real hyperbolic polynomial and its derivatives

In this paper we count the number ?_n^(0,k), k?n−1, of connected components in the space Δ_n^(0,k) of all real degree n polynomials which a) have all their roots real and simple; and b) have no common root with their kth derivatives. In this case, we show that the only restriction on the arrangement of the roots of such a polynomial together with the roots of its kth derivative comes from the standard Rolle's theorem. On the other hand, we pose the general question of counting all possible root arrangements for a polynomial p(x) together with all its nonvanishing derivatives under the assumption that the roots of p(x) are real. Already the first nontrivial case n=4 shows that the obvious restrictions coming from the standard Rolle's theorem are insufficient. We prove a generalized Rolle's theorem which gives an additional restriction on root arrangements for polynomials.     

Inverse spectral problem for normal matrices and the Gauss-Lucas theorem

We establish an analog of the Cauchy-Poincare interlacing theorem for normal matrices in terms of majorization, and we provide a solution to the corresponding inverse spectral problem. Using this solution we generalize and extend the Gauss-Lucas theorem and prove the old conjecture of de Bruijn-Springer on the location of the roots of a complex polynomial and its derivative and an analog of Rolle's theorem, conjectured by Schoenberg.

     

Technical Note Discontinuous Implicit Quasivariational Inequalities in Normed Spaces

In this paper, we consider an implicit quasivariational inequality without continuity assumptions in normed spaces. The main result (Theorem 2.1) provides an infinite-dimensional version of Theorem 3.2 in Ref. 1. To achieve such a goal, we employ Theorem 3.2 in Ref. 1 and the technique of Cubiotti in Ref. 2. In particular, Theorem 3.1 covers a recent result of Cubiotti (Theorem 3.1 of Ref. 2) as a special case. Communicated by F. Giannessi This research was partially supported by the National Science Council of Taiwan, ROC.     

Notes on Embedding Theorems for Local Hardy spaces

In this note we establish an embedding theorem (Theorem 2.4) for local Hardy spaces in the sense of GOLDBERG [G]. This result is a non-homogeneous version of the theorem of BAERNSTEIN and SAWYER (Theorem BS). Also applying this theorem we establish embedding theorem and Fourier embedding theorem (Theorem 4.2, Theorem 4.3 and Corollary 4.4) for local Hardy spaces.     

一类高阶微分方程第二特征值的上界

本文研究形如（１．１）的第二特征上界问题,得到了定理１ 和定理２,其中定理１ 的估计系数与［ａ,ｂ］无关,定理２ 的结果在一定条件下比定理１ 好．     

Representation of Continuous Functions and Its Applications

In this work, we introduce a Representation of continuous real-valued functions defined over a real Hilbert space. As a consequence, we can introduce a Sandwich Theorem for semi-continuous functions, a Separation Theorem for closed sets and a representation Theorem of lower semi-continuous functions.     

覆盖粗糙集模型增值算子及其性质

为了给不断发生变化的数据库的知识发现提供新的数学工具,本文引进覆盖粗糙集模型的确定增值算子ZX(Y)和不确定增值算子ZX(Y),并讨论了它们的有关性质,即通过研究两个新集合hX(x)、lX(x)的性质(定理2.1和定理2.2),给出并证明了两个增值算子的性质(定理2.3和定理2.4)。     

零对称BZ-代数的充要条件

重新证明文[10]中几个重要结论并修正文[10]中的定理1(11)和定理2．在此基础上，利用这些重新证明过的结论及修正过的定理可以按照文[10]中引理3，定理4，定理6，定理7，定理10的证明过程原样证明文[10]中的相应结果．因而在文[10]中，除性质11是结合BZ一代数的等价性质(见文[15])，定理1(11)及定理2需要进行修正外，其余结论及证明过程均成立．     

关于“华罗庚-王中烈型不等式”一文的注记

指出了［１］的定理２中的一个错误,推广了［１］中定理１给出的华罗庚－王中烈型不等式,避开控制不等式与动态规划模型等专门工具,改用较为初等的平均值不等式证明之,使改正后的［１］中的定理２成其推论     

Ultrafilters and multidimensional Ramsey Theorems

Utilizing ultrafilters on the setN of natural numbers which have certain special properties, we prove some simultaneous generalizations of Ramsey's Theorem and several single dimension Ramsey-type theorems. (For instance, as a very special case, we obtain a simultaneous generalization of Ramsey's Theorem and van der Waerden's Theorem.) Examples are given to show directions in which these results cannot be extended.     

Corrigendum to Cleft Extensions of Hopf Algebroids

Theorem 2.2 stated a monoidal isomorphism between the comodule categories of two bialgebroids in a Hopf algebroid. The proof of Theorem 2.2 was based on the journal version of Brzeziński (Ann Univ Ferrara Sez VII (NS) 51:15–27, 2005, Theorem 2.6), whose proof turned out to contain an unjustified step. Here we show that all other results in our paper remain valid if we drop unverified Theorem 2.2, and return to an earlier definition of a comodule of a Hopf algebroid that distinguishes between comodules of the two constituent bialgebroids.     

Ein semialgebraischer Beweis der topologischen Form des Hauptsatzes von Zariski

We give a semialgebraic proof of the topological form of Zariski's Main Theorem. As an application we deduce the Riemann Extension Theorem for isoalgebraic functions from Zariski's Main Theorem.     

Simple Fourth-Degree Cubature Formulae with Few Nodes over General Product Regions

A simple method is proposed for constructing fourth-degree cubature formulae over general product regions with no symmetric assumptions. The cubature formulae that are constructed contain at most $n^2+7n+3$ nodes and they are likely the first kind of fourth-degree cubature formulae with roughly $n^2$ nodes for non-symmetric integrations. Moreover, two special cases are given to reduce the number of nodes further. A theoretical upper bound for minimal number of cubature nodes is also obtained.     

凝聚映象的不动点及算子方程Ax+Bx+Cx=x的可解性

按文[1]中方法得到几个对凝聚映象的不动点定理,还扩充文[2]中对于算子方程Ax B x=x到Ax B x Cx=x可解性的某些结论.主要结果是定理2、定理3与定理5.     

Erratum to: A note on the Brück conjecture

In the article “A note on the Brück conjecture” (Arch. Math. 95 (2010), 257–268), the proofs of our results Theorem 1.4 and Theorem 1.6 mainly depend on Lemma 2.6, which is wrong. In this corrigendum, we give a correct proof of Theorem 1.4. Theorem 1.6 can be proved similarly; so we omit its proof.     

Mcshane积分与强Lusin条件

<正> 1972年J.Mcshane在KH-积分定义的基础上给以适当的限制,得出一种积分,人们称之为Mcshane积分(简记M-积分)。这种积分定义简单,不需引用测度,而且人们已经证明它与Lebesgue积分等价。从而,我们可以利用M-积分的特点,进一步刻划L-积分的性质。本文在高维空间中建立M-积分的两个定理;然后引入强Lusin条件概念。给出M-积分的弱等度收