The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to ...The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.展开更多
We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-l...We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.展开更多
In this paper,we prove some Liouville-type theorems for the stationary magnetomicropolar fluids under suitable conditions in three space dimensions.We first prove that the solutions are trivial under the assumption of...In this paper,we prove some Liouville-type theorems for the stationary magnetomicropolar fluids under suitable conditions in three space dimensions.We first prove that the solutions are trivial under the assumption of certain growth conditions for the mean oscillations of the potentials.And then we show similar results assuming that the solutions are contained in L^(p)(R^(3))with p∈[2,9/2).Finally,we show the same result for lower values of p∈[1,9/4)with the further assumption that the solutions vanish at infinity.展开更多
Although the concept of interval fuzzy set and its properties have been defined, its three theorems and their effectiveness are not proved. Therefore, the knowledge presentation and its operation rules of interval fuz...Although the concept of interval fuzzy set and its properties have been defined, its three theorems and their effectiveness are not proved. Therefore, the knowledge presentation and its operation rules of interval fuzzy set are studied firstly, and then the cut set of interval fuzzy set is proposed. Moreover, the decomposition theo- rem, the representation theorem and the extension theorem of interval fuzzy set are presented. Finally, examples are given to demonstrate that the classical fuzzy set is a special case of interval fuzzy set and interval fuzzy set is an effective expansion of the classical fuzzy set.展开更多
In this paper,the growth theorem for convex maps on the Banach space is given, this is: ‖f(x)‖≤‖x‖/(1-‖x‖),x∈B the estimate is best possible for Hilbert space.
Aim To extend several fundamental theorems of conventional elasticity theory to quasicrystalelasticity theory. Methods The basic governing equations of quasicrystal elasticity theory and Gauss's theorem were appli...Aim To extend several fundamental theorems of conventional elasticity theory to quasicrystalelasticity theory. Methods The basic governing equations of quasicrystal elasticity theory and Gauss's theorem were applied in the derivation. Results and Conclusion The principle of virtual work, Betti's reciprocal theorem and the uniqueness theorem of quasicrystal elasticity theory are proud, and some conservative integrals in quasicrystal elasticty theory are obtained.展开更多
This paper gives several fundamental theorems for the stability, uniform stability, asymptotic stability and uniform asymptotic stability. Those theorems allow the derivative of Lyapunov functions to be positive on ce...This paper gives several fundamental theorems for the stability, uniform stability, asymptotic stability and uniform asymptotic stability. Those theorems allow the derivative of Lyapunov functions to be positive on certain sets,relax the restriction about the rate of change of state variable in a system to be bounded in Marachkov's theorem and extend the related results in [4—7].展开更多
In this paper,we extend the definition of almost starlike mappings of order 1/2 on B n to the almost starlike mappings of order α on the bounded starlike circular domains in C n,and give the growth theorem of it....In this paper,we extend the definition of almost starlike mappings of order 1/2 on B n to the almost starlike mappings of order α on the bounded starlike circular domains in C n,and give the growth theorem of it. This type of domain on which we discuss is rather general,in the sense that the domain must be starlike if there exists a normalized biholomorphic starlike mapping on it.展开更多
Let X be a metric space with an ordering structure,A: X→X is a operator and x≤Ax for any x∈X. In this paper we prove a new fixed point theorem, which generalizes famous caristi fixed point theorem.
This is subsequent of , by using the theory of additive fuzzy measure and signed additive fuzzy measure , we prove the Radon_Nikodym Theorem and Lebesgue decomposition Theorem of signed additive fuzzy measure.
Let u(z) be a real_valued harmonic function in the unit disk, we say u(z)∈h p(1【p【+∞), if the p _mean M p(r,u)=12π∫ 2π 0|u(re i θ )| p d θ 1/p is bounded. M.Riesz showed ...Let u(z) be a real_valued harmonic function in the unit disk, we say u(z)∈h p(1【p【+∞), if the p _mean M p(r,u)=12π∫ 2π 0|u(re i θ )| p d θ 1/p is bounded. M.Riesz showed that if u(z)∈h p(1【p【+∞), then there exists a constant A p, depending only on p such that M p(r,v)≤A pM p(r,u), where v(z) is the conjugate harmonic function of u(z).When v(0)=0 and 1【p≤2, W.K.Hayman showed that A p can be given by pp-1 1/p . First, this paper shows that the constant pp-1 1/p can be changed by a smaller constant pp-1 2/p -1 1/2 . Next, if 1【p≤2, then there exists a constant θ 0∈2-p2pπ,π2p such that M p p(r,v)≤ Im p sin pπ2+ tg pπ2pM p p(r,u) for any analytic function f(z)=u(z)+ i v(z) in the unit disk, whenever -θ 0【 arg f(z)【π2.展开更多
The authors obtain the growth and covering theorems for strongly starlike mappings of order α on bounded starlike circular domains.This kind of domain discussed is rather general,since the domain must be starlike if ...The authors obtain the growth and covering theorems for strongly starlike mappings of order α on bounded starlike circular domains.This kind of domain discussed is rather general,since the domain must be starlike if exists a normalized biholomorphic starlike mapping on it.展开更多
文摘The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61877054,12031004,and 12271474).
文摘We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.
基金supported by Inha University Research Grant and National Research Foundation of Korea Grant funded by the Korean Government(RS-2023-00212227)supported by National Research Foundation of Korea Grant funded by the Korean Government(NRF-2020R1C1C1A01006521)。
文摘In this paper,we prove some Liouville-type theorems for the stationary magnetomicropolar fluids under suitable conditions in three space dimensions.We first prove that the solutions are trivial under the assumption of certain growth conditions for the mean oscillations of the potentials.And then we show similar results assuming that the solutions are contained in L^(p)(R^(3))with p∈[2,9/2).Finally,we show the same result for lower values of p∈[1,9/4)with the further assumption that the solutions vanish at infinity.
基金Supported by the Aeronautical Science Foundation(20115868009)the Open Project Program of Key Laboratory of Intelligent Computing&Information Processing of Ministry of Education in Xiangtan University(2011ICIP04)+1 种基金the Program of 211 Innovation Engineering on Information in Xiamen University(2009-2011)the College Students Innovation Training Plan of Xianmen University~~
文摘Although the concept of interval fuzzy set and its properties have been defined, its three theorems and their effectiveness are not proved. Therefore, the knowledge presentation and its operation rules of interval fuzzy set are studied firstly, and then the cut set of interval fuzzy set is proposed. Moreover, the decomposition theo- rem, the representation theorem and the extension theorem of interval fuzzy set are presented. Finally, examples are given to demonstrate that the classical fuzzy set is a special case of interval fuzzy set and interval fuzzy set is an effective expansion of the classical fuzzy set.
文摘In this paper,the growth theorem for convex maps on the Banach space is given, this is: ‖f(x)‖≤‖x‖/(1-‖x‖),x∈B the estimate is best possible for Hilbert space.
文摘Aim To extend several fundamental theorems of conventional elasticity theory to quasicrystalelasticity theory. Methods The basic governing equations of quasicrystal elasticity theory and Gauss's theorem were applied in the derivation. Results and Conclusion The principle of virtual work, Betti's reciprocal theorem and the uniqueness theorem of quasicrystal elasticity theory are proud, and some conservative integrals in quasicrystal elasticty theory are obtained.
文摘This paper gives several fundamental theorems for the stability, uniform stability, asymptotic stability and uniform asymptotic stability. Those theorems allow the derivative of Lyapunov functions to be positive on certain sets,relax the restriction about the rate of change of state variable in a system to be bounded in Marachkov's theorem and extend the related results in [4—7].
文摘In this paper,we extend the definition of almost starlike mappings of order 1/2 on B n to the almost starlike mappings of order α on the bounded starlike circular domains in C n,and give the growth theorem of it. This type of domain on which we discuss is rather general,in the sense that the domain must be starlike if there exists a normalized biholomorphic starlike mapping on it.
文摘Let X be a metric space with an ordering structure,A: X→X is a operator and x≤Ax for any x∈X. In this paper we prove a new fixed point theorem, which generalizes famous caristi fixed point theorem.
文摘This is subsequent of , by using the theory of additive fuzzy measure and signed additive fuzzy measure , we prove the Radon_Nikodym Theorem and Lebesgue decomposition Theorem of signed additive fuzzy measure.
文摘Let u(z) be a real_valued harmonic function in the unit disk, we say u(z)∈h p(1【p【+∞), if the p _mean M p(r,u)=12π∫ 2π 0|u(re i θ )| p d θ 1/p is bounded. M.Riesz showed that if u(z)∈h p(1【p【+∞), then there exists a constant A p, depending only on p such that M p(r,v)≤A pM p(r,u), where v(z) is the conjugate harmonic function of u(z).When v(0)=0 and 1【p≤2, W.K.Hayman showed that A p can be given by pp-1 1/p . First, this paper shows that the constant pp-1 1/p can be changed by a smaller constant pp-1 2/p -1 1/2 . Next, if 1【p≤2, then there exists a constant θ 0∈2-p2pπ,π2p such that M p p(r,v)≤ Im p sin pπ2+ tg pπ2pM p p(r,u) for any analytic function f(z)=u(z)+ i v(z) in the unit disk, whenever -θ 0【 arg f(z)【π2.
文摘The authors obtain the growth and covering theorems for strongly starlike mappings of order α on bounded starlike circular domains.This kind of domain discussed is rather general,since the domain must be starlike if exists a normalized biholomorphic starlike mapping on it.
