The structure theorem of endomorphism algebras for weak Doi-Hopf modules

The paper is concerned with endomorphism algebras for weak Doi-Hopf modules. Under the condition “weak Hopf-Galois extensions”, we present the structure theorem of endomorphism algebras for weak Doi-Hopf modules, which extends Theorem 3.2 given by Schneider in [1]. As applications of the structure theorem, we obtain the Kreimer-Takeuchi theorem (see Theorem 1.7 in [2]) and the Nikshych duality theorem (see Theorem 3.3 in [3]) in the case of weak Hopf algebras, respectively.     

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.     

F-空间中的一个基本定理及其在数值分析中的应用

本文针对F-空间中闭算子方程的一般逼近格式,研究其相容性、收敛性和稳定性之间的关系.所得的主要结果是：这种一般逼近格式在相容性条件下,其收敛性与稳定性是等价的.此定理可以看作是对Lax等价原理的推广,是求解第一类闭算子方程的一般逼近格式的基本定理.为得到这一主要结果,本文还给出了F-空间中的一条基本定理,众所周知的一致有界原理,闭图像定理和开映像定理是其简单推论.     

关于Borg定理

Borg定理是判定周期系数二阶线性微分方程稳定的一个重要定理,这个定理在一定意义下是不可改进的.本文利用判别式的一个新形式,在弱的限制下,得到判定周期系数二阶线性微分方程稳定的定理,所得结论改进了Borg定理的判定结果.     

等周不等式与Bol-Fujiwara定理

本文研究著名的Bol-Fujiwara定理.利用积分几何方法和经典的等周不等式,得到了Bol-Fujiwara定理的一个推广(定理1),以及推广了的Bol-Fujiwara定理的逆定理(定理2).     

Other Proofs of Old Results

We transform the proof of the second incompleteness theorem given in [3] to a proof-theoretic version, avoiding the use of the arithmetized completeness theorem. We give also new proofs of old results: The Arithmetical Hierarchy Theorem and Tarski's Theorem on undefinability of truth; the proofs in which the construction of a sentence by means of diagonalization lemma is not needed.     

Ceva, Menelaus, and Selftransversality

The purpose of this paper is to state and prove a theorem (the CMS Theorem) which generalizes the familiar Ceva's Theorem and Menelaus' Theorem of elementary Euclidean geometry. The theorem concernsn -acrons (generalizations of n-gons) in affine space of any number of dimensions and makes assertions about circular products of ratios of lengths, areas, volumes, etc. In particular it contains, as special cases, many results in this area proved by earlier authors.     

微分中值定理的另类证明与推广

通常教科书中,微分中值定理的证明建立在罗尔(Rolle)定理之上.本文以实数连续性中的重要定理———区间套定理为依据,给出了拉格朗日微分中值定理的另类证明.此外,还给出了中值定理的若干推广形式.     

Generalization of an Existence Theorem for Variational Inequalities

By using the concept of exceptional family of elements, Zhao proposed a new existence theorem for variational inequalities over a general nonempty closed convex set (Ref. 1, Theorem 2.3), which is a generalization of the well-known Moré's existence theorem for nonlinear complementarity problems. The proof of Theorem 2.3 in Ref. 1 depends strongly on the condition 0∈K. Since this condition is rather strict for a general variational inequality, Zhao proposed an open question at the end of Ref. 1: Can the condition 0∈K in Theorem 2.3 be removed? In this paper, we answer this open question. Furthermore, we present the new notion of exceptional family of elements and establish a theorem of the alternative, by which we develop two new existence theorems for variational inequalities. Our results generalize the Zhao existence result.     

Functions of event variables of a random system with complete connections

In applications it often occurs that the experimenter is faced with functions of random processes. Suppose, for instance, that he only can draw partial or incomplete information about the underlying process or that he has to classify events for the sake of efficiency. We assume that the underlying process is a random system with complete connections (which contains the Markovian case as a special one) satisfying some basic properties, and that a mapping operates on the event space. With these two elements we construct in Section 2 a new random system with complete connections which inherits the properties of the old one (Theorem 2.2.3). In Section 3 we prove a weak convergence theorem (Theorem 3.4.4) in the theoretical framework of the so-called distance diminishing models, which gives a straightforward application in Section 4 to conditional probabilities related to partially observed events (Theorems 4.1.3). Finally we prove a Shannon-McMillan-type theorem (Theorem 4.2.3) finding application to classification procedures.     

Growth properties of the q-Dunkl transform in the space $$L^{p}_{q,\alpha }({\mathbb {R}}_{q},|x|^{2\alpha +1}d_{q}x)$$ L q , α p ( R q , | x | 2 α + 1 d q x )

The Ramanujan Journal - Our aim in this work is to prove an analogue of Titchmarsh’s theorem [19, Theorem 84] and Younis’s theorem [20, Theorem 3.3] on the image under the q-Dunkl...     

The generalized Laguerre inequalities and functions in the Laguerre-Pólya class

The principal goal of this paper is to show that the various sufficient conditions for a real entire function, φ(x), to belong to the Laguerre-Pólya class (Definition 1.1), expressed in terms of Laguerre-type inequalities, do not require the a priori assumptions about the order and type of φ(x). The proof of the main theorem (Theorem 2.3) involving the generalized real Laguerre inequalities, is based on a beautiful geometric result, the Borel-Carathédodory Inequality (Theorem 2.1), and on a deep theorem of Lindelöf (Theorem 2.2). In case of the complex Laguerre inequalities (Theorem 3.2), the proof is sketched for it requires a slightly more delicate analysis. Section 3 concludes with some other cognate results, an open problem and a conjecture which is based on Cardon’s recent, ingenious extension of the Laguerre-type inequalities.     

The Sharkovski? Theorem for spaces of measurable functions

We formulate a generalization of the so-called Random Sharkovski? Theorem from paper by Jan Andres, which is the randomized version of the classical Sharkovski? Theorem. We use the method of transformation to deterministic case involving the Kuratowski-Ryll-Nardzewski selection theorem, which allows us to omit the assumption of completeness of the incorporated measurable space. Moreover, we formulate an analogue of the Sharkovski? Theorem for spaces of measurable functions and for Lp-spaces.     

Some remarks on Arslan’s 2011 paper

It is shown that the main theorem of Arslan’s paper (Theorem 2, 2011), as stated, is incorrect. Under additional conditions, we present a short proof of the corrected version of the theorem. We also give a proof of a theorem of Rao and Shanbhag (1991) [2], employed by Arslan, without the use of the Kolmogorov Consistency Theorem.     

相关Yetter-Drinfel'd Hopf代数上的相关Hopf模结构定理

主要证明了相关Yetter-Drinfel'd Hopf代数上的相关Hopf模结构定理,不仅推广了Yetter-Drinfel'd Hopf代数上的Hopf模结构定理,而且推广了相关Hopf模结构定理.同时,给出相关Yetter-Drinfel'd Hopf代数上的Maschke定理.     

On norm dependent positive definite functions

In the first part of the paper we prove a decomposition theorem for positive definite functions (Theorem 2.3) generalizing a result of de Leeuw and Glicksberg. Using this theorem, we then show (Theorem 3.1) that certain norm dependent positive definite functions are automatically continuous at every point different from zero.     

The translation theorem

Summary We state and prove the Translation Theorem. Then we apply the Translation Theorem to Soare's Extension Theorem, weakening slightly the hypothesis to yield a theorem we call the Modified Extension Theorem. We use this theorem to reprove several of the known results about orbits in the lattice of recursively enumerable sets. It is hoped that these proofs are easier to understand than the old proofs.Mathematics subject classification (1991): 03D25The author was partially supported by a NSF Postdoctoral Fellowship and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University and wishes to thank Michael Stob and Rodney Downey for their help     

Polynomial approximation on tetrahedrons in the finite element method

The main aim of this paper is to derive an interpolation theorem (Theorem 1) which implies both a construction of once continuously differentiable functions which are piecewise polynomial in a domain divided into tetrahedrons (Corollary 1 and Theorem 2) and convergence theorems of the finite element method for solving three-dimensional elliptic boundary value problems of the fourth order (Theorems 3 and 4).