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.
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 correspo...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.展开更多
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 infini...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.展开更多
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-harm...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.展开更多
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 ex...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.展开更多
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. T...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.展开更多
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 conv...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.展开更多
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 ...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.展开更多
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 wit...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.展开更多
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...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.展开更多
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 synch...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.展开更多
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 functio...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.展开更多
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 i...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.展开更多
基金Supported by National Natural Science Foundation of China(Grant Nos.11801006 and 12071489).
文摘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.
基金by Dr Kemp from National Mathematics and Science College.
文摘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.
文摘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.
文摘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.
基金supported by National Natural Science Foundation of China(No.60710002,60974044)Program for Changjiang Scholars and Innovative Research Team in University
文摘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.
基金supported by the National Natural Science Foundation of China (90715011, 10672033 and 10590354) the National Key Basic Research and Development Program (2002CB412709) the Australia Research Council through the ARC International Fellowship Offered at University of Newcastle (LX0666274)
文摘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 Basic Research Foundation of Xi'an University Architecture Technology(JC0620)the Youth Science and Technology Foundation of Xi'an University of Architecture and Technology(QN0736)
文摘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.
基金supported by Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education,Science and Technology(2013R1A1A2005402)National Science Foundation(DMS-1109063)
文摘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.
文摘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.
基金Supported by the National Natural Science Foundation of China(11971384)by the grant of Natural Science Basic Research Program of Shaanxi(Program No.2021JM-137)the Fundamental Research Funds for the Central Universities under grant QTZX2106,China 111 Project(B16037)and OPPO Research Fund.
文摘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.
基金Supported by the State Key Program of National Natural Science of China (60534010), National Basic Research Program of China (973 Program)(2009CB320604), National Natural Science Foundation of China (60674021), the Funds for Creative Research Groups of China (60521003), the 111 Project(B08015), and the Funds of Ph.D. Program of Ministry of Eduction, China (20060145019).
文摘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.
基金Supported by National 973 Project of China(2006CB708304)National Natural Science Foundation of China(10771195)
文摘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.
基金Supported by the National Natural Science Foundation of China (No. 60703086)Program for Excellent Talents in Nanjing University of Posts and Telecommunications(No. NY209014)
文摘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.