On the Weyl’s Lemma for Triharmonic Functions

In this paper,by choosing some appropriate test functions,we prove the Weyl’s lemma for triharmonic functions based on the new type of mean value formulas.

A Proof of Brouwer’s Fixed Point Theorem Using Sperner’s Lemma

This article offers a simple but rigorous proof of Brouwer’s fixed point theorem using Sperner’s Lemma.The general method I have used so far in the proof is mainly to convert the n-dimensional shapes to the corresponding case under the Sperner’s Labeling and apply the Sperner’s Lemma to solve the question.

Fuzzy Zorn’s lemma with applications

We introduced the fuzzy axioms of choice,fuzzy Zorn’s lemma and fuzzy well-ordering principle,which are the fuzzy versions of the axioms of choice,Zorn’s lemma and well-ordering principle,and discussed the relations among them.As an application of fuzzy Zorn’s lemma,we got the following results:(1)Every proper fuzzy ideal of a ring was contained in a maximal fuzzy ideal.(2)Every nonzero ring contained a fuzzy maximal ideal.(3)Introduced the notion of fuzzy nilpotent elements in a ring R,and proved that the intersection of all fuzzy prime ideals in a commutative ring R is the union of all fuzzy nilpotent elements in R.(4)Proposed the fuzzy version of Tychonoff Theorem and by use of fuzzy Zorn’s lemma,we proved the fuzzy Tychonoff Theorem.

Small Modular Solutions to Fermat’s Last Theorem

The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infinitely many solutions if the problem is recast in terms of modular arithmetic. Over a hundred years ago Issai Schur was able to show that for any n there is always a sufficiently large prime p0such that for all primes p≥p0the congruence xn+yn≡zn(modp)has a non-trivial solution. Schur’s argument wasnon-constructive, and there is no systematic method available at present to construct specific examples for small primes. We offer a simple method for constructing all possible solutions to a large class of congruences of this type.

Identities on q-Harmonic Numbers

With the help of the classical Abel’s lemma on summation by parts and algorithm of q-hypergeometric summations, we deal with the summation, which can be written as multiplication of a q-hypergeometric term and q-harmonic numbers. This enables us to construct and prove identities on q-harmonic numbers. Several examples are also given.

S-引理及其进展

S-引理是运筹学领域和控制论领域中一个十分重要的定理。本文首先从一个非线性控制系统的全局渐近稳定性分析出发,引出S-过程和S-引理,以及两者之间的联系与区别。接着我们介绍了S-引理的基本内容和最新进展,以及它在复数域和四元数集合上的推广。最后,我们介绍了将齐次型S-引理推广到任意多个对称(或厄米特)矩阵时的一些基本结果。

New versions of Barbalat's lemma with applications

This note presents a set of new versions of Barbalat＇s lemma combining with positive （negative） definite functions.Based on these results,a set of new formulations of Lyapunov-like lemma are established.A simple example shows the usefulness of our results.

A version of Hill's lemma for Cosserat continuum

On the basis of Hill＇s lemma for classical Cauchy continuum, a version of Hill＇s lemma for micro-macro homogenization modeling of heterogeneous Cosserat continuum is presented in the flame of average-field theory. The admissible boundary conditions required to prescribe on the representative volume element for the modeling are extracted and discussed to ensure the satisfaction of Hill-Mandel energy condition and the first-order average field theory.

The Extension of Robinson's Sequential Lemma and Its Application

A. Robinson＇s sequential lemma is extended to nets in general topological space, and obviously the case of nets in ^＊R is its corollary. As its application, the paper proves a property about topology of uniform convergence.

Wiener's lemma:localization and various approaches

Matrices and integral operators with off-diagonal decay appear in numerous areas of mathematics including numerical analysis and harmonic analysis, and they also play impor-tant roles in engineering science including signal processing and communication engineering. Wiener’s lemma states that the localization of matrices and integral operators are preserved un-der inversion. In this introductory note, we re-examine several approaches to Wiener’s lemma for matrices. We also review briefly some recent advances on localization preservation of operations including nonlinear inversion, matrix factorization and optimization.

Approach to a Fifth-Order Boundary Value Problem, via Sperner's Lemma

We consider the five-point boundary value problem for a fifth-order differential equation, where the nonlinearity is superlinear at both the origin and +infinity. Our method of proof combines the Kneser’s theorem with the well-known from combinatorial topology Sperner’s lemma. We also notice that our geometric approach is strongly based on the associated vector field.

用Zorn引理证明代数问题

在引入Zorn引理及其等价命题的基础上,分析了用Zorn引理证明代数问题的一般方法,并以此方法证明代数问题,如满足已知条件的集合的存在性和满足条件的任意一个元素都具有某种性质这类问题.

局部引理及其在(r，s)-SAT问题中的应用

一般说来,寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径:证明满足一定结构性质的对象的概率大于零。在概率方法中,局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法,并将其应用到估计(k,s)-SAT问题中临界函数的下界。

三维空间中点集的Borsuk数

已知Borsuk猜想在R3中是成立的，本文给出R3中有界集Borsuk数的特征，从而完全解决了三维空间中的Borsuk问题．

多项式环Z_(p^e)[x]中的Hensel引理及提升

在多项式环 Zpe[x]中 ,建立了 Hensel引理及提升 ,并利用 Hensel引理证明了 xn- 1在 Zpe[x]中可惟一分解成基本不可约多项式的乘积 ,其中 (n,p) =1。

Adaptive synchronization of a critical chaotic system

This paper further investigates the synchronization problem of a new chaotic system with known or unknown system parameters. Based on the Lyapunov stability theory,a novel adaptive control law is derived for the synchronization of a new chaotic system with known or unknown system parameters.Theoretical analysis and numerical simulations showthe effectiveness and feasibility of the proposed schemes.

Sharp estimates for Hübner’s upper bound function with applications

New better estimates, which are given in terms of elementary functions, for the function r →（2/π）（1 -r2）κ（r）κ′（r） ＋ logr appearing in Hubner＇s sharp upper bound for the Hersch-Pfluger distortion function are obtained. With these estimates, some known bounds for the Hersch-Pfluger distortion function in quasiconformal theory are improved, thus. improving the explicit quasiconformal Schwarz lemma and some known estimates for the solutions to the Ramanujan modular equations.

AN EFFICIENT SIGNATURE SCHEME FROM CATALANO’S TRAPDOOR

Digital signature is one of the most important cryptographic primitives. We proposed a new digital signature scheme based on Catalano’s trapdoor. Since Catalano’s trapdoor is more efficient than existing trapdoors in number theory, our scheme need not modular exponentiation but several modular multiplications in the signing algorithm. We also proved our scheme is provably secure against adap-tively chosen message attack by using the Forking lemma.

POSITIVE SOLUTIONS FOR CRITICAL QUASILINEAR ELLIPTIC EQUATIONS WITH MIXED DIRICHLET-NEUMANN BOUNDARY CONDITIONS

The existence and multiplicity of positive solutions are studied for a class of quasi- linear elliptic equations involving Sobolev critical exponents with mixed Dirichlet-Neumann boundary conditions by the variational methods and some analytical techniques.