Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. L...Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. Let T1 = (--△Hn +V)-1V, T2 = (-△Hn +V)-1/2V1/2, and T3 = (--AHn +V)-I/2△Hn, then we verify that [b, Ti], i = 1, 2, 3 are bounded on some LP(Hn), where b ∈ BMO(Hn). Note that the kernel of Ti, i = 1, 2, 3 has no smoothness.展开更多
Using the Weyl ordering of operators expansion formula (Hong-Yi Fan, J. Phys.A 25 (1992) 3443) this paper finds a kind of two-fold integration transformation about the Wigner operator △( q',p) q-number transf...Using the Weyl ordering of operators expansion formula (Hong-Yi Fan, J. Phys.A 25 (1992) 3443) this paper finds a kind of two-fold integration transformation about the Wigner operator △( q',p) q-number transform) in phase space quantum mechanics,∫∫∞-∞dp'dq'/π △(q',p')e-2i( p-p')( q-q')=δ( p-P)δ( q-Q),∫∫∞-∞dqdpδ(p-P)δ(q-Q)e2i(p-p')(q-q')=△(q',p'),whereQ,P are the coordinate and momentum operators, respectively. We apply it to study mutual converting formulae among Q-P ordering, P-Q ordering and Weyl ordering of operators. In this way, the contents of phase space quantum mechanics can be enriched. The formula of the Weyl ordering of operators expansion and the technique of integration within the Weyl ordered product of operators are used in this discussion.展开更多
Abstract. Let H^n be the Heisenberg group and Q = 2n+2 be its homogeneous dimen- sion. In this paper, we consider the Schr6dinger operator -△H^n +V, where △H^n is the sub-Laplacian and V is the nonnegative potenti...Abstract. Let H^n be the Heisenberg group and Q = 2n+2 be its homogeneous dimen- sion. In this paper, we consider the Schr6dinger operator -△H^n +V, where △H^n is the sub-Laplacian and V is the nonnegative potential belonging to the reverse H61der class Bql for ql _〉 Q/2. We show that the operators T1 = V(-△H^n-In +V)-1 and T2 = V1/2(-△H^n-V)-1/2 are both bounded from 1 n HL^1(H^n ) into L1(H^n). Our results are also valid on the stratified Lie group.展开更多
A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlat...A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlation between interval parameters is defined by the multidimensional parallelepiped model which is convenient to describe the correlative and independent interval variables in a unified framework. The original interval variables with correlation are transformed into the standard space without correlation,and then the relationship between the original variables and the standard interval variables is obtained. The expressions of four basic interval arithmetic operations, namely addition, subtraction, multiplication, and division, are given in the standard space. Finally, several numerical examples and a two-step bar are used to demonstrate the effectiveness of the proposed method.展开更多
The boundary value problem with a spectral parameter in the boundary conditions for a polynomial pencil of the Sturm-Liouville operator is investigated. Using the properties of the transformation operators for such op...The boundary value problem with a spectral parameter in the boundary conditions for a polynomial pencil of the Sturm-Liouville operator is investigated. Using the properties of the transformation operators for such operators, the asymptotic formulas for eigenvalues of the boundary value problem are obtained.展开更多
According to customs statistics, China’s exports of machinery and electric products in 1996 were worth US$ 48.21 billion, an increase of 9.9 percent over the preceding year, and 8.4 percent higher than the growth rat...According to customs statistics, China’s exports of machinery and electric products in 1996 were worth US$ 48.21 billion, an increase of 9.9 percent over the preceding year, and 8.4 percent higher than the growth rate of the nation’s total exports. The proportion of machinery and electric product exports in the nation’s total foreign trade volume\ increased from 29.5 percent in 1995 to 31.9 percent in 1996, a growth at 2.4 percent.展开更多
Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)...Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)-based Jupiter protocols for replicated lists, including AJupiter, XJupiter, and CJupiter. They are hard to understand due to the subtle OT technique, and little work has been done on formal verification of complete Jupiter protocols. Worse still, they use quite different data structures. It is unclear about how they are related to each other, and it would be laborious to verify each Jupiter protocol separately. In this work, we make contributions towards a better understanding of Jupiter protocols and the relation among them. We first identify the key OT issue in Jupiter and present a generic solution. We summarize several techniques for carrying out the solution, including the data structures to maintain OT results and to guide OTs. Then, we propose an implementation-independent AbsJupiter protocol. Finally, we establish the (data) refinement relation among these Jupiter protocols (AbsJupiter included). We also formally specify and verify the family of Jupiter protocols and the refinement relation among them using TLA+ (TLA stands for"Temporal Logic of Actions") and the TLC model checker. To our knowledge, this is the first work to formally specify and verify a family of OT-based Jupiter protocols and the refinement relation among them. It would be helpful to promote a rigorous study of OT-based protocols.展开更多
In this note an alternative proof of the equivalence of Drazin invertibility of operators AB and BA is given. As an application, we will prove that σD(AB) = σD(BA) and σD(A) = σD(A), where σD(M) and ■ denote the...In this note an alternative proof of the equivalence of Drazin invertibility of operators AB and BA is given. As an application, we will prove that σD(AB) = σD(BA) and σD(A) = σD(A), where σD(M) and ■ denote the Drazin spectrum and the Aluthge transform of an operator M ∈ B(H), respectively.展开更多
基金supported by NSFC 11171203, S2011040004131STU Scientific Research Foundation for Talents TNF 10026+1 种基金supported by NSFC No.10990012,10926179RFDP of China No.200800010009
文摘Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. Let T1 = (--△Hn +V)-1V, T2 = (-△Hn +V)-1/2V1/2, and T3 = (--AHn +V)-I/2△Hn, then we verify that [b, Ti], i = 1, 2, 3 are bounded on some LP(Hn), where b ∈ BMO(Hn). Note that the kernel of Ti, i = 1, 2, 3 has no smoothness.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 10775097 and 10874174)Specialized Research Fund for the Doctoral Program of Higher Education of China
文摘Using the Weyl ordering of operators expansion formula (Hong-Yi Fan, J. Phys.A 25 (1992) 3443) this paper finds a kind of two-fold integration transformation about the Wigner operator △( q',p) q-number transform) in phase space quantum mechanics,∫∫∞-∞dp'dq'/π △(q',p')e-2i( p-p')( q-q')=δ( p-P)δ( q-Q),∫∫∞-∞dqdpδ(p-P)δ(q-Q)e2i(p-p')(q-q')=△(q',p'),whereQ,P are the coordinate and momentum operators, respectively. We apply it to study mutual converting formulae among Q-P ordering, P-Q ordering and Weyl ordering of operators. In this way, the contents of phase space quantum mechanics can be enriched. The formula of the Weyl ordering of operators expansion and the technique of integration within the Weyl ordered product of operators are used in this discussion.
文摘Abstract. Let H^n be the Heisenberg group and Q = 2n+2 be its homogeneous dimen- sion. In this paper, we consider the Schr6dinger operator -△H^n +V, where △H^n is the sub-Laplacian and V is the nonnegative potential belonging to the reverse H61der class Bql for ql _〉 Q/2. We show that the operators T1 = V(-△H^n-In +V)-1 and T2 = V1/2(-△H^n-V)-1/2 are both bounded from 1 n HL^1(H^n ) into L1(H^n). Our results are also valid on the stratified Lie group.
基金supported by the National Natural Science Foundation for Excellent Young Scholars(Grant 51222502)the National Natural Science Foundation of China(Grant 11172096)the Funds for State Key Laboratory of Construction Machinery(SKLCM2014-1)
文摘A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlation between interval parameters is defined by the multidimensional parallelepiped model which is convenient to describe the correlative and independent interval variables in a unified framework. The original interval variables with correlation are transformed into the standard space without correlation,and then the relationship between the original variables and the standard interval variables is obtained. The expressions of four basic interval arithmetic operations, namely addition, subtraction, multiplication, and division, are given in the standard space. Finally, several numerical examples and a two-step bar are used to demonstrate the effectiveness of the proposed method.
文摘The boundary value problem with a spectral parameter in the boundary conditions for a polynomial pencil of the Sturm-Liouville operator is investigated. Using the properties of the transformation operators for such operators, the asymptotic formulas for eigenvalues of the boundary value problem are obtained.
文摘According to customs statistics, China’s exports of machinery and electric products in 1996 were worth US$ 48.21 billion, an increase of 9.9 percent over the preceding year, and 8.4 percent higher than the growth rate of the nation’s total exports. The proportion of machinery and electric product exports in the nation’s total foreign trade volume\ increased from 29.5 percent in 1995 to 31.9 percent in 1996, a growth at 2.4 percent.
基金This work was(partially)supported by the National Natural Science Foundation of China under Grant Nos.61690204,61932021,61702253,and 61772258.
文摘Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)-based Jupiter protocols for replicated lists, including AJupiter, XJupiter, and CJupiter. They are hard to understand due to the subtle OT technique, and little work has been done on formal verification of complete Jupiter protocols. Worse still, they use quite different data structures. It is unclear about how they are related to each other, and it would be laborious to verify each Jupiter protocol separately. In this work, we make contributions towards a better understanding of Jupiter protocols and the relation among them. We first identify the key OT issue in Jupiter and present a generic solution. We summarize several techniques for carrying out the solution, including the data structures to maintain OT results and to guide OTs. Then, we propose an implementation-independent AbsJupiter protocol. Finally, we establish the (data) refinement relation among these Jupiter protocols (AbsJupiter included). We also formally specify and verify the family of Jupiter protocols and the refinement relation among them using TLA+ (TLA stands for"Temporal Logic of Actions") and the TLC model checker. To our knowledge, this is the first work to formally specify and verify a family of OT-based Jupiter protocols and the refinement relation among them. It would be helpful to promote a rigorous study of OT-based protocols.
基金the National Natural Science Foundation of China (No.10571113)
文摘In this note an alternative proof of the equivalence of Drazin invertibility of operators AB and BA is given. As an application, we will prove that σD(AB) = σD(BA) and σD(A) = σD(A), where σD(M) and ■ denote the Drazin spectrum and the Aluthge transform of an operator M ∈ B(H), respectively.