In this article, we prove the Hyers-Ulam-Rassias stability of the following Cauchy-Jensen functional inequality:‖f (x) + f (y) + 2f (z) + 2f (w)‖ ≤‖ 2f x + y2 + z + w ‖(0.1)This is applied to inv...In this article, we prove the Hyers-Ulam-Rassias stability of the following Cauchy-Jensen functional inequality:‖f (x) + f (y) + 2f (z) + 2f (w)‖ ≤‖ 2f x + y2 + z + w ‖(0.1)This is applied to investigate isomorphisms between C*-algebras, Lie C*-algebras and JC*-algebras, and derivations on C*-algebras, Lie C*-algebras and JC*-algebras, associated with the Cauchy-Jensen functional equation 2f (x + y/2 + z + w) = f(x) + f(y) + 2f(z) + 2f(w).展开更多
Basing on the papers from [1] to [4], this paper gives some further research,mainly solves the following problems:(1) It proved that several theorems of subgroup which have been raised to the hypergroup are still true...Basing on the papers from [1] to [4], this paper gives some further research,mainly solves the following problems:(1) It proved that several theorems of subgroup which have been raised to the hypergroup are still true.(2) It proved that the isomorphous relationship of the bottomgroups which guid to the hypergroup can still keep such relationship.(3) It proved that the basic isomorphous Theorem and the homogenous Theorem of the bottomgroup which raise to the hypergroup are still true.(4) It point out that when the isomorphous bottomgroups have been raised to the hypergroup,the conditions which form the isomorphism should be lessened.展开更多
If T is an isomorphism of (c0) into C(Ω) (where Ω is a sequentially compact and paracompact space, or a compact metric space in particular), which satisfies the condition ||T||·||T^-1|| ≤ 1 +ε ...If T is an isomorphism of (c0) into C(Ω) (where Ω is a sequentially compact and paracompact space, or a compact metric space in particular), which satisfies the condition ||T||·||T^-1|| ≤ 1 +ε for some ε ∈ (0,1/5), then T/||T|| is close to an isometry with an error less than 9ε. The proof of this article is simple without using the dual space or adjoint operator.展开更多
Let L:=-△+V be the Schrodinger operator on R^(n)with n≥3,where V is a non-negative potential satisfying△^(-1)(V)∈L^(∞)(R^(n)).Let w be an L-harmonic function,determined by V,satisfying that there exists a positiv...Let L:=-△+V be the Schrodinger operator on R^(n)with n≥3,where V is a non-negative potential satisfying△^(-1)(V)∈L^(∞)(R^(n)).Let w be an L-harmonic function,determined by V,satisfying that there exists a positive constantδsuch that,for any x∈Rn,0<δ≤w(x)≤1.Assume that p(·):R^(n)→(0,1]is a variable exponent satisfying the globally log-Hölder continuous condition.In this article,the authors show that the mappings HL^(p)(·))(R^(n))■f■wf∈H^(p)(·)(R^(n))and HL^(p(·))(R^(n))■f■(-△)^(1/2)L^(-1/2)(f)∈H^(p(·))(R^(n))are isomorphisms between the variable Hardy spaces HL^(p(·))(R^(n)),associated with L,and the variable Hardy spaces H^(p(·))(R^(n)).展开更多
On the basis of the quasi-isomorphism of finite groups, a new mapping, weak isomorphism, from a finite group to another finite group is defined. Let G and H be two finite groups and G be weak-isomorphic to H. Then G≌...On the basis of the quasi-isomorphism of finite groups, a new mapping, weak isomorphism, from a finite group to another finite group is defined. Let G and H be two finite groups and G be weak-isomorphic to H. Then G≌H if G satisfies one of the following conditions. 1) G is a finite Abelian group. 2) The order of G is p^3. 3 ) The order of G is p^n+1 and G has a cyclic normal subgroup N = 〈a〉 of order p^n. 4) G is a nilpotent group and if p^││G│, then for any P ∈ Sylp (G), P has a cyclic maximal subgroup, where p is a prime; 5) G is a maximal class group of order p4(p〉3).展开更多
In this paper, the character matrix x n is studied, fast construction method of matrix X 2m is provided. And it is proved that the lower bound estimate of the number of an Latin squares matrix D[X m] is2m(2m)!+...In this paper, the character matrix x n is studied, fast construction method of matrix X 2m is provided. And it is proved that the lower bound estimate of the number of an Latin squares matrix D[X m] is2m(2m)!+∑mi=2[(2m)!] 2∏ij=1K j!∏rj=1b j!.展开更多
A sufficient condition is given to assert that a continuous mapping between Rm and Rn has a zero. The constructive proof of the result is based upon continuation methods and supplies the existence of a path leading to...A sufficient condition is given to assert that a continuous mapping between Rm and Rn has a zero. The constructive proof of the result is based upon continuation methods and supplies the existence of a path leading to the zero point.展开更多
In this paper, a special infinite dimensional Lie algebra is studied. The infinite dimensional Lie algebra appears in the fields of conformal theory, mathematical physics, statistic mechanics and Hamilton operator. Th...In this paper, a special infinite dimensional Lie algebra is studied. The infinite dimensional Lie algebra appears in the fields of conformal theory, mathematical physics, statistic mechanics and Hamilton operator. The infinite dimensional Lie algebras is pop ularized Virasoro-like Lie algebra. Isomorphisms, homomorphisms, ideals of the infinite dimensional Lie algebra are studied.展开更多
In this paper, we first give the concept of weakly P-inversive semigroup S(P). Then we describe the strong P-congruences on S(P) in terms of their P-kernel normal systems. It is proved that there is a bijection be...In this paper, we first give the concept of weakly P-inversive semigroup S(P). Then we describe the strong P-congruences on S(P) in terms of their P-kernel normal systems. It is proved that there is a bijection between the strong P-congruences and the P-kernel normal systems. Finally, it is also prove that the lattice of strong P-congruences and the lattice of P-kernel normal systems on S(P) are isomorphic.展开更多
In this paper, we focus on shortblock nonbinary LDPC(NB-LDPC) codes based on cyclic codes. Based on Tanner graphs' isomorphism, we present an efficient search algorithm for finding non-isomorphic binary cyclic LDP...In this paper, we focus on shortblock nonbinary LDPC(NB-LDPC) codes based on cyclic codes. Based on Tanner graphs' isomorphism, we present an efficient search algorithm for finding non-isomorphic binary cyclic LDPC codes. Notice that the parity-check matrix H of the resulting code is square and not of full rank, and its row weight and column weight are the same. By replacing the ones in the same column of H with a nonzero element of fi nite fi elds GF(q), a class of NB-LDPC codes over GF(q) is obtained. Numerical results show that the constructed codes perform well over the AWGN channel and have fast decoding convergence. Therefore, the proposed NB-LDPC codes provide a promising coding scheme for low-latency and high-reliability communications.展开更多
In this article, some modules over a loop Lie algebra associated to quantum plane are constructed. The isomorphism classes among these modules are also determined.
This paper provides several linear isomorphism theorems for certain nonsymmetric differential operators of sixth order under proper topologies about some complex parameters. From these results, one can, to a large ext...This paper provides several linear isomorphism theorems for certain nonsymmetric differential operators of sixth order under proper topologies about some complex parameters. From these results, one can, to a large extent, explain and control the stability of some objects in their moving processes.展开更多
As known, the method to obtain a sequence space by using convergence field of an infinite matrix is an old method in the theory of sequence spaces. However, the study of convergence field of an infinite matrix in the ...As known, the method to obtain a sequence space by using convergence field of an infinite matrix is an old method in the theory of sequence spaces. However, the study of convergence field of an infinite matrix in the space of almost convergent sequences is so new (see [15]). The purpose of this paper is to introduce the new spaces ^ ~f and fo consisting of all sequences whose Ceshro transforms of order one are in the spaces f and ^ ~ f0, respectively. Also, in this paper, we show that ^ ~f and ^ ~f0 are linearly isomorphic to the spaces f and f0, respectively. The β- and γ-duals of the spaces ^ ~f and 2% are computed. Furthermore, the classes (^ ~f: μ) and (μ : f) of infinite matrices are characterized for any given sequence space μ, and determined the necessary and sufficient conditions on a matrix A to satisfy Bc-core(Ax) K-core(x), K-core(Ax) Bg-core(x), Bc-core(Ax) Be-core(x), Bc-core(Ax) t-core(x) for all x ∈ t∞.展开更多
Formal concept analysis (FCA) is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, e...Formal concept analysis (FCA) is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S : G → P(М), and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.展开更多
The ring of quaternion over R,denoted by R[i,j,k],is a quaternion algebra. In this paper,the roots of quadratic equation with one variable in quaternion field are investigated and it is shown that it has infinitely ma...The ring of quaternion over R,denoted by R[i,j,k],is a quaternion algebra. In this paper,the roots of quadratic equation with one variable in quaternion field are investigated and it is shown that it has infinitely many roots. Then the properties of quaternion algebra over Zp are discussed,and the order of its unit group is determined. Lastly,another ring isomorphism of M2(Zp) and the quaternion algebra over Zp when p satisfies some particular conditions are presented.展开更多
Nanosized Ga-containing ZSM-5 zeolites were prepared via isomorphous substitution and impregnation followed by characterized using various techniques. The catalytic performance of the zeolites for the aromatization of...Nanosized Ga-containing ZSM-5 zeolites were prepared via isomorphous substitution and impregnation followed by characterized using various techniques. The catalytic performance of the zeolites for the aromatization of 1-hexene was investigated. The results indicate that isomorphous substitution promotes the incorporation of Ga heteroatoms into the framework along with the formation of extra-framework GaO;species([GaO;]a) that have stronger interactions with the negative potential of the framework. In addition, based on the Py-IR results and catalytic performance, the [GaO;]aspecies with stronger Lewis acid sites produced a better synergism with moderate Br?nsted acid sites and thus improved the selectivity to aromatic compounds. However, the impregnation results in the formation of Ga;O;phase and small amounts of GaO;species that are mainly located on the external surface([GaO;];), which contribute to weaker Lewis acid sites due to weaker interactions with the zeolite framework. During 1-hexene aromatization, the nanosized Ga isomorphously substituted ZSM-5 zeolite samples(Gax-NZ5) exhibited better catalytic performance compared to the impregnated samples, and the highest aromatic yield(i.e.,65.4 wt%) was achieved over the Ga4.2-NZ5 sample, which contained with the highest Ga content.展开更多
Erdosa and Sós conjectured in 1963 that if G is a graph o ofof ordeq >1/2p(k - 1), then G contains every tree of size k. It is shown in this paper that the conjecture is true if the complement G of G contains ...Erdosa and Sós conjectured in 1963 that if G is a graph o ofof ordeq >1/2p(k - 1), then G contains every tree of size k. It is shown in this paper that the conjecture is true if the complement G of G contains no a copy of K3 as an induced subgraph of G.展开更多
To achieve de novo protein structure determination of challenging cases, multi-wavelength anomalous diffraction(MAD) and multiple isomorphous replacement(MIR) phasing can be powerful tools to obtain low-resolution ini...To achieve de novo protein structure determination of challenging cases, multi-wavelength anomalous diffraction(MAD) and multiple isomorphous replacement(MIR) phasing can be powerful tools to obtain low-resolution initial phases from heavy-atom derivative datasets, then phase extension is needed against high-resolution data to obtain accurate structures.In this context, we propose a direct-methods procedure here that could improve the initial low-resolution MAD/MIR phase quality.And accordingly, an automated process for extending initial phases to high resolution is also described.These two procedures are both implanted in the newly released IPCAS pipeline.Three cases are used to perform the test, including one set of 4.17 ? MAD data from a membrane protein and two sets of MAD/MIR data with derivatives truncated down to 6.80 ? and 6.90 ?, respectively.All the results have shown that the initial phases generated from the direct-methods procedure are better than that from the conventional MAD/MIR methods.The automated phase extensions for the latter two cases starting from 6.80 ? to 3.00 ? and 6.90 ? to 2.80 ? are proved to be successful, leading to complete models.This may provide convenient and reliable tools for phase improvement and phase extension in difficult low-resolution tasks.展开更多
A group G is said to an FN<sub>c</sub>-group if the (c+1)th term γ<sub>c+1</sub>G of its lower central series is finite(or equivalently if it is finite-by-nilpotent of class≤c).A group G ...A group G is said to an FN<sub>c</sub>-group if the (c+1)th term γ<sub>c+1</sub>G of its lower central series is finite(or equivalently if it is finite-by-nilpotent of class≤c).A group G is called a JNFN<sub>c</sub>-group if all itsproper quotients are FN<sub>c</sub>-groupe but G itself is not.The structure of JNFA-groups(JNFN<sub>c</sub>-groupswith c=1) has been described in a joint work of D.J.S Robinson and the author(see J.Algebra,(2)118(1988),346~368).Now we consider JNFN<sub>c</sub>-groups with non-trivial Fitting subgroup forarbitrary c and give a complete description of groups of this type.展开更多
基金supported by the Daejin University grants in 2010
文摘In this article, we prove the Hyers-Ulam-Rassias stability of the following Cauchy-Jensen functional inequality:‖f (x) + f (y) + 2f (z) + 2f (w)‖ ≤‖ 2f x + y2 + z + w ‖(0.1)This is applied to investigate isomorphisms between C*-algebras, Lie C*-algebras and JC*-algebras, and derivations on C*-algebras, Lie C*-algebras and JC*-algebras, associated with the Cauchy-Jensen functional equation 2f (x + y/2 + z + w) = f(x) + f(y) + 2f(z) + 2f(w).
文摘Basing on the papers from [1] to [4], this paper gives some further research,mainly solves the following problems:(1) It proved that several theorems of subgroup which have been raised to the hypergroup are still true.(2) It proved that the isomorphous relationship of the bottomgroups which guid to the hypergroup can still keep such relationship.(3) It proved that the basic isomorphous Theorem and the homogenous Theorem of the bottomgroup which raise to the hypergroup are still true.(4) It point out that when the isomorphous bottomgroups have been raised to the hypergroup,the conditions which form the isomorphism should be lessened.
基金National Natural Science Foundation of China(10571090)the Research Fund for the Doctoral Program of Higher Education(20060055010)
文摘If T is an isomorphism of (c0) into C(Ω) (where Ω is a sequentially compact and paracompact space, or a compact metric space in particular), which satisfies the condition ||T||·||T^-1|| ≤ 1 +ε for some ε ∈ (0,1/5), then T/||T|| is close to an isometry with an error less than 9ε. The proof of this article is simple without using the dual space or adjoint operator.
基金supported by the National Natural Science Foundation of China(11801555 and 11971058)the Fundamental Research Funds for the Central Universities(2020YQLX02)supported by the National Natural Science Foundation of China(11971058,11761131002 and 11671185)。
文摘Let L:=-△+V be the Schrodinger operator on R^(n)with n≥3,where V is a non-negative potential satisfying△^(-1)(V)∈L^(∞)(R^(n)).Let w be an L-harmonic function,determined by V,satisfying that there exists a positive constantδsuch that,for any x∈Rn,0<δ≤w(x)≤1.Assume that p(·):R^(n)→(0,1]is a variable exponent satisfying the globally log-Hölder continuous condition.In this article,the authors show that the mappings HL^(p)(·))(R^(n))■f■wf∈H^(p)(·)(R^(n))and HL^(p(·))(R^(n))■f■(-△)^(1/2)L^(-1/2)(f)∈H^(p(·))(R^(n))are isomorphisms between the variable Hardy spaces HL^(p(·))(R^(n)),associated with L,and the variable Hardy spaces H^(p(·))(R^(n)).
文摘On the basis of the quasi-isomorphism of finite groups, a new mapping, weak isomorphism, from a finite group to another finite group is defined. Let G and H be two finite groups and G be weak-isomorphic to H. Then G≌H if G satisfies one of the following conditions. 1) G is a finite Abelian group. 2) The order of G is p^3. 3 ) The order of G is p^n+1 and G has a cyclic normal subgroup N = 〈a〉 of order p^n. 4) G is a nilpotent group and if p^││G│, then for any P ∈ Sylp (G), P has a cyclic maximal subgroup, where p is a prime; 5) G is a maximal class group of order p4(p〉3).
文摘In this paper, the character matrix x n is studied, fast construction method of matrix X 2m is provided. And it is proved that the lower bound estimate of the number of an Latin squares matrix D[X m] is2m(2m)!+∑mi=2[(2m)!] 2∏ij=1K j!∏rj=1b j!.
基金This work is partially supported by D.G.E.S. PB 96-1338-CO2-01 and the Junta de Andalucla.
文摘A sufficient condition is given to assert that a continuous mapping between Rm and Rn has a zero. The constructive proof of the result is based upon continuation methods and supplies the existence of a path leading to the zero point.
基金Supported by the National Department of Hunan Province(10JJ6013)
文摘In this paper, a special infinite dimensional Lie algebra is studied. The infinite dimensional Lie algebra appears in the fields of conformal theory, mathematical physics, statistic mechanics and Hamilton operator. The infinite dimensional Lie algebras is pop ularized Virasoro-like Lie algebra. Isomorphisms, homomorphisms, ideals of the infinite dimensional Lie algebra are studied.
基金the Science Research Foundation of Qingdao Technological University(C2002-214)
文摘In this paper, we first give the concept of weakly P-inversive semigroup S(P). Then we describe the strong P-congruences on S(P) in terms of their P-kernel normal systems. It is proved that there is a bijection between the strong P-congruences and the P-kernel normal systems. Finally, it is also prove that the lattice of strong P-congruences and the lattice of P-kernel normal systems on S(P) are isomorphic.
基金supported in part by National Natural Science Foundation of China under Grants 61372074,91438101,61103143,U1504601,and U1404622Key Scientific and Technological Project of Henan under Grants 162102310589 and 172102310124
文摘In this paper, we focus on shortblock nonbinary LDPC(NB-LDPC) codes based on cyclic codes. Based on Tanner graphs' isomorphism, we present an efficient search algorithm for finding non-isomorphic binary cyclic LDPC codes. Notice that the parity-check matrix H of the resulting code is square and not of full rank, and its row weight and column weight are the same. By replacing the ones in the same column of H with a nonzero element of fi nite fi elds GF(q), a class of NB-LDPC codes over GF(q) is obtained. Numerical results show that the constructed codes perform well over the AWGN channel and have fast decoding convergence. Therefore, the proposed NB-LDPC codes provide a promising coding scheme for low-latency and high-reliability communications.
基金Supported by NSF 2009J01011 of Fujian of China,NNSF (10826094)NSF 08KJD110001 of Jiangsu Educational Committee
文摘In this article, some modules over a loop Lie algebra associated to quantum plane are constructed. The isomorphism classes among these modules are also determined.
文摘This paper provides several linear isomorphism theorems for certain nonsymmetric differential operators of sixth order under proper topologies about some complex parameters. From these results, one can, to a large extent, explain and control the stability of some objects in their moving processes.
文摘As known, the method to obtain a sequence space by using convergence field of an infinite matrix is an old method in the theory of sequence spaces. However, the study of convergence field of an infinite matrix in the space of almost convergent sequences is so new (see [15]). The purpose of this paper is to introduce the new spaces ^ ~f and fo consisting of all sequences whose Ceshro transforms of order one are in the spaces f and ^ ~ f0, respectively. Also, in this paper, we show that ^ ~f and ^ ~f0 are linearly isomorphic to the spaces f and f0, respectively. The β- and γ-duals of the spaces ^ ~f and 2% are computed. Furthermore, the classes (^ ~f: μ) and (μ : f) of infinite matrices are characterized for any given sequence space μ, and determined the necessary and sufficient conditions on a matrix A to satisfy Bc-core(Ax) K-core(x), K-core(Ax) Bg-core(x), Bc-core(Ax) Be-core(x), Bc-core(Ax) t-core(x) for all x ∈ t∞.
基金the Young Foundation of Sichuan Province(06ZQ026-037) the Education Department Foundation of Sichuan Province(2005A1212006A084)
文摘Formal concept analysis (FCA) is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S : G → P(М), and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.
文摘The ring of quaternion over R,denoted by R[i,j,k],is a quaternion algebra. In this paper,the roots of quadratic equation with one variable in quaternion field are investigated and it is shown that it has infinitely many roots. Then the properties of quaternion algebra over Zp are discussed,and the order of its unit group is determined. Lastly,another ring isomorphism of M2(Zp) and the quaternion algebra over Zp when p satisfies some particular conditions are presented.
基金supported by the National Natural Science Foundation of China(Nos.21276067 and 21676074)Programs of International S&T cooperation(No.2014DFR41110)
文摘Nanosized Ga-containing ZSM-5 zeolites were prepared via isomorphous substitution and impregnation followed by characterized using various techniques. The catalytic performance of the zeolites for the aromatization of 1-hexene was investigated. The results indicate that isomorphous substitution promotes the incorporation of Ga heteroatoms into the framework along with the formation of extra-framework GaO;species([GaO;]a) that have stronger interactions with the negative potential of the framework. In addition, based on the Py-IR results and catalytic performance, the [GaO;]aspecies with stronger Lewis acid sites produced a better synergism with moderate Br?nsted acid sites and thus improved the selectivity to aromatic compounds. However, the impregnation results in the formation of Ga;O;phase and small amounts of GaO;species that are mainly located on the external surface([GaO;];), which contribute to weaker Lewis acid sites due to weaker interactions with the zeolite framework. During 1-hexene aromatization, the nanosized Ga isomorphously substituted ZSM-5 zeolite samples(Gax-NZ5) exhibited better catalytic performance compared to the impregnated samples, and the highest aromatic yield(i.e.,65.4 wt%) was achieved over the Ga4.2-NZ5 sample, which contained with the highest Ga content.
文摘Erdosa and Sós conjectured in 1963 that if G is a graph o ofof ordeq >1/2p(k - 1), then G contains every tree of size k. It is shown in this paper that the conjecture is true if the complement G of G contains no a copy of K3 as an induced subgraph of G.
基金Project supported by the National Basic Research Program of China(Grant No.2011CB911100)of the Ministry of Science and Technology of China
文摘To achieve de novo protein structure determination of challenging cases, multi-wavelength anomalous diffraction(MAD) and multiple isomorphous replacement(MIR) phasing can be powerful tools to obtain low-resolution initial phases from heavy-atom derivative datasets, then phase extension is needed against high-resolution data to obtain accurate structures.In this context, we propose a direct-methods procedure here that could improve the initial low-resolution MAD/MIR phase quality.And accordingly, an automated process for extending initial phases to high resolution is also described.These two procedures are both implanted in the newly released IPCAS pipeline.Three cases are used to perform the test, including one set of 4.17 ? MAD data from a membrane protein and two sets of MAD/MIR data with derivatives truncated down to 6.80 ? and 6.90 ?, respectively.All the results have shown that the initial phases generated from the direct-methods procedure are better than that from the conventional MAD/MIR methods.The automated phase extensions for the latter two cases starting from 6.80 ? to 3.00 ? and 6.90 ? to 2.80 ? are proved to be successful, leading to complete models.This may provide convenient and reliable tools for phase improvement and phase extension in difficult low-resolution tasks.
文摘A group G is said to an FN<sub>c</sub>-group if the (c+1)th term γ<sub>c+1</sub>G of its lower central series is finite(or equivalently if it is finite-by-nilpotent of class≤c).A group G is called a JNFN<sub>c</sub>-group if all itsproper quotients are FN<sub>c</sub>-groupe but G itself is not.The structure of JNFA-groups(JNFN<sub>c</sub>-groupswith c=1) has been described in a joint work of D.J.S Robinson and the author(see J.Algebra,(2)118(1988),346~368).Now we consider JNFN<sub>c</sub>-groups with non-trivial Fitting subgroup forarbitrary c and give a complete description of groups of this type.