PRODUCT FORMULAS IN THE FRAMEWORK OF MEAN ERGODIC THEOREMS J. Z. BERNAD´ 1 Abstract. An extension of Chernoff’s product formula for one-parameter functions taking values in the space of bounded linear operators on a Banach space is given. Essentially, the n-th one-parameter function in the product formula is mapped by the n-th iterate of a contraction acting on the space of the one-parameter functions. The motivation to study this specific product formula lies in the growing field of dynamical control of quantum systems, involving the procedure of dynamical decoupling and also the Quantum Zeno effect. 1. Introduction and preliminaries It has been shown recently the convergence in norm of the following product formula [1] t x t x t x † n Px t lim ue n ue n ...ue n u = e . (1.1) n→∞ with u unitary operator and x bounded operator on a Hilbert space . Further- more, t C with t < and is a projection operator which maps theH elements of the set∈ | | ∞ P n 1 k Ξ = x ( ) : lim ukx u† exists B(H) { ∈ B H n } Xk=1 onto the linear subspace x ( ):[u, x]=0 . (1.2) { ∈ B H } The convergence of (1.1) is due to the properties of the power bounded map x uxu†, which has been discussed in the context of mean ergodic theorems [2]. →Eq. (1.1) is an example of a degenerate semigroup product formula [3]. In these cases on may apply [4, 5] Chernoff’s product formula [6, 7] rather than Trotter’s arXiv:1812.11819v2 [math-ph] 24 Jan 2020 [8]. However, this approach works for (1.1), when there exists a non-zero natural number k such that uk is equal to the identity operator I. We may even generalize this special case of (1.1) to the following product formula n t x t x t x k lim u1e n u2e n ...uke n (1.3) n→∞ with n/k being a natural number and u1u2 ...uk equals to I. In order to lift these type of constraints on the unitary operators, one has to provide a generalization Copyright 2016 by the Tusi Mathematical Research Group. Date: Received: Mar. 20, 2019; Accepted: zzzzzz. 2010 Mathematics Subject Classification. Primary 47D03; Secondary 47A35, 47N50. Key words and phrases. Chernoff’s product formula, mean ergodic theorems, strongly con- tinuous semigroups. 1 2 J. Z. BERNAD´ of Chernoff’s result. A partial answer to this question has been given in Ref. [1], where only uniformly continuous semigroups are considered. However, Chernoff’s Theorem has a much deeper approach, and therefore we intend to further develop the statements of [1] such that an extended version of Chernoffs product formula is provided. This is the main aim of our paper, where we employ results from ergodic theory. It is also natural to consider the extension of the map x uxu† to a more general contraction map. This generalization will include automatically→ the cases of Refs. [4, 9] where the unitary operator u is replaced by a projection operator leading to questions in the topic of Quantum Zeno effect. In fact, there is a great interest from the physics community to understand the above mentioned product formulas [10] and approaches focusing mainly on uniformly continuous semigroups are generating up to date results [11, 12]. The approach to the main result in Theorem 2.1, presented in the subsequent discussion, is formulated in the language of strongly continuous semigroups and mean ergodic theorems. Therefore, it is assumed familiarity with the basic facts concerning these topics [2, 13]. Recently, extensions of the Chernoff’s product formula has been proved [14] in the context of non-autonomous differential equa- tions [15] and general Trotter-Kato formulas [16]. In this article, we focus on a different direction, motivated by product formulas like (1.1), and for this purpose we shall need the following mean ergodic theorem. Let us consider a Banach space and a power bounded linear transformation Π: , i.e., there exists a constantB M > 1 such that B → B Πn 6 M n N. k k ∈ Π is a contraction when M = 1. We consider the following two closed linear subspaces for Π [2] 1 n Ξ = x : lim Πkx exists , B { ∈ B n } Xk=1 and Ker(I Π) = x : Πx = x . − { ∈ B } When is reflexive, the theorems of E. R. Lorch in [17] guarantee Ξ = and B B B Π is mean ergodic on . The next theorem on the separation of ΞB is mostly due to K. Yosida [2, 18]: B Theorem 1.1. Let Π be a power bounded linear operator on a Banach space . Then B Ξ = Ker(I Π) Rng(I Π). B − ⊕ − 1 n k The linear operator x = lim n k=1 Π x assigned to x ΞB is the projection P 2 ∈ of ΞB onto Ker(I Π). We haveP = = Π = Π and for any y the assertions − P P P P ∈ B 1 n k a) lim n k=1 Π y =0 b) y RngP(I Π) ∈ − are equivalent. PRODUCT FORMULAS IN THE FRAMEWORK OF MEAN ERGODIC THEOREMS 3 Recall also that a strongly continuous (C ) semigroup t T on is such that 0 → t B 1) T0 = 1, 2) T T = T t, s > 0, s t t+s ∀ 3) lim Ttx x =0 x . t→0 k − k ∀ ∈ B The strong derivative of Tt at t = 0 is a closed, densely-defined operator, the generator of Tt. From now on, we denote by ( ) the Banach space of all bounded linear operators on endowed with the operatorL B norm . B k kL(B) 2. Main result Under the above conditions we are going to give an analytical proof of the following theorem: Theorem 2.1. Let Vt be a strongly continuous function from R+ to the linear contractions on the Banach space such that V0 = 1. Consider a contraction Π on ( ) such that Π1 = 1, whoseB Ces`aro mean L B 1 n Πix, x ( ) n ∈L B Xi=1 converges to the projector projecting onto the linear subspace P Ker(I Π) = x ( ) : Πx = x . − { ∈L B } Suppose that V Ξ and the closure A of A = d (V ) at t =0 is the generator t ∈ L(B) dt P t of a C0 contraction semigroup. Then 2 n Π(Vt/n)Π (Vt/n) ... Π (Vt/n) converges to etA in the strong operator topology. The theorem will be proved via a theorem and three lemmas, whereas some of them are already known. Theorem 2.2. Let Tn(t) t>0, n =0, 1, 2,... , be C0 semigroups on the Banach space with generators{ A } satisfying the stability condition B n T (t) 6 Meωt (2.1) k n k where the constants M > 1 and ω R are independent of n and t. Define ∈ A = limn→∞ An and suppose that a) A is densely defined, b) for some λ>ω the range Rng(λ A) is dense in . − B Then the closure of A is the infinitesimal generator of a C0 semigroup T (t), which satisfies T (t) = limn→∞ Tn(t) in the strong operator topology and uniformly for every compact interval [0, t0]. Proof. It is in fact the Trotter-Kato approximation theorem, see [19] together with [20]. Another approach in [6] considers to be separable. B 4 J. Z. BERNAD´ Lemma 2.3. Let S be a linear contraction on the Banach space . Then we have B en(S−I)x Snx 6 √n Sx x (2.2) k − k k − k for all x and n =0, 1, 2,... ∈ B Proof. Can be found in Lemma 2 of [6]. Lemma 2.4. A sequence of operators Tn ( ), where is a Banach space, converges strongly to an operator T ( )∈iff L B B ∈L B a) the sequence Tnx converges for any x in a dense subset D b) and there exists{ M} > 0 such that T 6 M. ⊂ B k nkL(B) Proof. Is a special case of the proof of Theorem II.1.18 in [21]. Lemma 2.5. Let Π be a contraction on a Banach space such that Π1 = 1. 1 t 6 B Suppose that x ΞB with + n x 1 for all t > 0 and n = 1, 2,... Then, together with the∈ projector k projectingk onto the linear subspace Ker(I Π) P − t t t t lim (1 + x)n (1 + Πx)(1 + Π2x) ... (1 + Πnx) =0. (2.3) n→∞ k nP − n n n k Proof. Let us fix n. According to Theorem 1.1 Ξ = Ker(I Π) Rng(I Π). B − ⊕ − Suppose first that x Ker(I Π) Rng(I Π), so therefore exists a y such that x = x + y Π∈y and we− define⊕ the following− operator: ∈ B P − S =(1 + t x)i(1 + tΠy tΠi+1y)(1 + tΠi+1x) ... (1 + tΠnx), 1 6 i < n. i P − Then (1 + t x)n (1 + tΠx)(1 + tΠ2x) ... (1 + tΠnx) k P − k 6 (1 + t x)n (1 + t x)n(1 + tΠy tΠn+1y) k P − P − k n−2 + (1 + t x)n(1 + tΠy tΠn+1y) S + S S k P − − n−1k k i+1 − ik Xi=1 + S (1 + tΠx)(1 + tΠ2x) ... (1 + tΠnx) . (2.4) k 1 − k We are going to upper bound every term on the right hand side of the above inequality. For the first term, we have (1 + t x)n (1 + t x)n(1 + tΠy tΠn+1y) k P − P − k 6 (1 + tx) n tΠy tΠn+1y 6 2t y , (2.5) kP k k − kB k k where we have used that is a projector, Π a contraction and 1 + tx 6 1.