Trotter s product formula for projections

Similar documents
Sectorial Forms and m-sectorial Operators

Domination of semigroups associated with sectorial forms

HOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS. Josef Teichmann

L -uniqueness of Schrödinger operators on a Riemannian manifold

Holomorphic functions which preserve holomorphic semigroups

Hilbert space methods for quantum mechanics. S. Richard

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

UNBOUNDED OPERATORS ON HILBERT SPACES. Let X and Y be normed linear spaces, and suppose A : X Y is a linear map.

BI-CONTINUOUS SEMIGROUPS FOR FLOWS IN INFINITE NETWORKS. 1. Introduction

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

1 Math 241A-B Homework Problem List for F2015 and W2016

A NOTE ON STOCHASTIC INTEGRALS AS L 2 -CURVES

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

5 Compact linear operators

be the set of complex valued 2π-periodic functions f on R such that

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Geometry and the Kato square root problem

Geometry and the Kato square root problem

Periodic decomposition of measurable integer valued functions

THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS

Wentzell Boundary Conditions in the Nonsymmetric Case

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

THEOREMS, ETC., FOR MATH 515

A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE

The following definition is fundamental.

Non-linear factorization of linear operators

Real Analysis Notes. Thomas Goller

Topics in Harmonic Analysis Lecture 1: The Fourier transform

Chapter 8 Integral Operators

ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS

Zero-one laws for functional calculus on operator semigroups

I teach myself... Hilbert spaces

Review and problem list for Applied Math I

Corollary A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X;

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1

ON THE WELL-POSEDNESS OF THE HEAT EQUATION ON UNBOUNDED DOMAINS. = ϕ(t), t [0, τ] u(0) = u 0,

Chapter 6 Integral Transform Functional Calculi

Partial Differential Equations

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Overview of normed linear spaces

Analysis Preliminary Exam Workshop: Hilbert Spaces

QUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE. Denitizable operators in Krein spaces have spectral properties similar to those

On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry

Analyticity of semigroups generated by Fleming-Viot type operators

Midterm 1. Every element of the set of functions is continuous

l(y j ) = 0 for all y j (1)

An introduction to some aspects of functional analysis

ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS

OBSERVATION OPERATORS FOR EVOLUTIONARY INTEGRAL EQUATIONS

On Semigroups Of Linear Operators

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Infinite-dimensional Vector Spaces and Sequences

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

IV. TOPICS ON HILBERT SPACE OPERATORS

Functional Analysis Exercise Class

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

Domain Perturbation for Linear and Semi-Linear Boundary Value Problems

Herz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,

here, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional

An ill-posed boundary value problem for the Helmholtz equation on Lipschitz domains

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Introduction to Semigroup Theory

SPECTRAL THEORY EVAN JENKINS

An Operator Theoretical Approach to Nonlocal Differential Equations

On Riesz-Fischer sequences and lower frame bounds

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Functional Analysis I

16 1 Basic Facts from Functional Analysis and Banach Lattices

Mathematical Methods for Physics and Engineering

Fréchet differentiability of the norm of L p -spaces associated with arbitrary von Neumann algebras

Measurable functions are approximately nice, even if look terrible.

Preface and Overview. vii

T (1) and T (b) Theorems on Product Spaces

General Inner Product & Fourier Series

Chapter 7: Bounded Operators in Hilbert Spaces

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Perturbation Theory for Self-Adjoint Operators in Krein spaces

On the Stokes semigroup in some non-helmholtz domains

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

Patryk Pagacz. Characterization of strong stability of power-bounded operators. Uniwersytet Jagielloński

Derivatives. Differentiability problems in Banach spaces. Existence of derivatives. Sharpness of Lebesgue s result

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

A SOLUTION TO THE PROBLEM OF L p MAXIMAL REGULARITY

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

A 3 3 DILATION COUNTEREXAMPLE

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

Ordinary Differential Equations II

TEST CODE: PMB SYLLABUS

Behaviour of Lipschitz functions on negligible sets. Non-differentiability in R. Outline

1 Definition of the Riemann integral

arxiv: v1 [math.ap] 18 May 2017

Transcription:

Trotter s product formula for projections Máté Matolcsi, Roman Shvydkoy February, 2002 Abstract The aim of this paper is to examine the convergence of Trotter s product formula when one of the C 0-semigroups is replaced by a projection (which can always be regarded as a constant degenerate semigroup). The motivation to study Trotter s formula in this setting arises from the fact that for nice open sets Ω R n the C 0 -semigroup on L 2 (Ω) generated by the Laplacian with Dirichlet boundary conditions can be obtained as a limit of a formula of this type. Introduction Let A be the generator of a C 0 -semigroup (e ta ) t 0 on a Banach space E, and let B L(E). Then A+B generates a C 0 semigroup which is given by Trotter s product formula e t(a+b) = lim (e t n A e t n B ) n () where the limit is taken in the strong operator topology. A possible direction of generalization of this well-known result is discussed in [] and []. Namely, the convergence of Trotter s product formula is examined in the case when the C 0 -semigroup e tb is replaced by the simplest of degenerate semigroups, i.e. a projection P L(E). For convenience we include the basic notions here. A family of operators S(t) t>0 is called a degenerate semigroup on E if S : (0, ) L(E) is strongly continuous and satisfies the semigroup property S(t+ s) = S(t)S(s) for all s, t > 0. If, in addition, S(0) := lim t 0 S(t) exists strongly, then we say that S(t) t>0 (or S(t) t 0 ) is a continuous degenerate semigroup. In this case S(0) is a bounded projection, its image E 0 := S(0)E is invariant under Supported by the Marie Curie Host Fellowship Transform Methods for Evolution Equations at the University of Ulm. Supported by the student part of the NSF grant DMS-9800027.

S(t) (t 0), and the restriction of S(t) t 0 to E 0 is a C 0 -semigroup on E 0 and S(t) equals 0 on E := (I S(0))E (see [6], Theorem 0.5.5). A trivial example of a continuous degenerate semigroup is given by S(t) := P (t > 0), where P denotes a bounded projection. Now, in () we replace the C 0 -semigroup e tb by the continuous degenerate semigroup S(t) = P (t > 0), and we examine the convergence of the formula lim (e t n A P ) n (2) under various assumptions on A and P. (Of course, in the trivial case when e ta and P commute, the formula converges to the restriction of e ta to P E.) In Section 2 we describe some interesting conditions under which (2) converges strongly (in fact, these results and their applications (see in particular Example 2.4 below) give motivation to study the convergence of (2) in this more general setting). In Section we provide some non-trivial examples where (2) fails to converge. 2 Convergence results 2. Bounded generators The easiest case to study is, of course, that of bounded generators. Theorem 2.. Let A L(E) be the generator of a C 0 -semigroup (e ta ) t 0 and let P L(E) be a projection. Then lim (e t n A P ) n x = e P AP t P x for all x E and uniformly for t [0, T ]. Proof. Assume first that both e ta and P are contractive. Let V (t) := P e ta P L(P E) and apply Chernoff s product formula (see eg. [5], Theorem III.5.2) to the family V (t) on the space P E. Note that V (0) = I P E, V (t) V (h)x (for all t ), and lim x h 0 h = P Ax = P AP x for all x P E, and P AP is a bounded operator on P E. Now, by Chernoff s product formula lim [V ( t n )]n x = e P AP t x for all x P E and uniformly for t [0, T ]. Furthermore, for any given x E we can decompose x as x = P x + (I P )x =: x + x 2 and have Now, for large n we have (e t n A P ) n x = (e t n A P ) n x = e t n A (P e t n A P ) n x. e P AP t P x (P e t n A P ) n x = e P AP t x (P e t n A P ) n x < ε for t [0, T ], and also e t n A (P e t n A P ) n x (P e t n A P ) n x = (I P )e t n A (P e t n A P ) n x = (I P )(e t n A I)(P e t n A P ) n x I P e t n A I x < ε 2

In the general case we first introduce an equivalent norm on E such that P becomes contractive, then we use a scaling argument to achieve that the semigroup become contractive. Indeed, with the new norm x 0 := P x + (I P )x E is a Banach space and and 0 are equivalent, and P is contractive on E 0. Now, for λ > A 0 the rescaled semigroup e λt e At is contractive on E 0, therefore the result of Case can be applied, and the result follows. Remark 2.2. By similar arguments one can prove the following statement: if (e ta ) t 0 is a C 0 -semigroup on E and P is a finite dimensional projection with Ran P D(A) then lim (e t n A P ) n x = e P AP t P x where e P AP t is meant to be the C 0 -semigroup on P E generated by the bounded operator P AP. See also Remark 5 below. 2.2 Positive semigroups The results in this subsection are taken from []. Let (X, Σ, µ) be σ-finite measure space and let (e ta ) t 0 be a positive C 0 - semigroup on E = L p (X) where p <. Let Ω X be measurable. Then P f := Ω f defines a projection on E, where Ω denotes the characteristic function of Ω. In this subsection we will use the notation L p (Ω) both in the usual sense and and in the sense to denote the subspace of functions f in L p (X) such that f = 0 almost everywhere in Ω c. When a function f is in L p (Ω) in the usual sense, we define the extension f on X by f Ω = f and f Ω c = 0. The following result holds (see [], Theorem 5.): Theorem 2.. Let f E and t > 0. Then S(t)f := lim (e t n A P ) n f exists and S(t) t>0 is a continuous degenerate semigroup of positive operators. Furthermore, S(0) := lim t 0 S(t) is a projection of the the form S(0)f = Y f where Y Ω is a measurable set. The continuous degenerate semigroup S(t) t>0 can also be characterized by the following maximality property (see [], Theorem 5.). Let T (t) t>0 be any degenerate semigroup of positive operators on L p (X) which maps L p (X) to L p (Ω) and for which 0 T (t)f e ta f for t > 0 and 0 f L p (X). Then T (t)f S(t)f. With the notations of Theorem 2. it can happen that Y = and S(t) = 0 (see [], Example 5.4). However, in the following important case Y = Ω holds (for a detailed discussion of this Example and the following Remark see [], Section 5 and 7): Example 2.4. (The Dirichlet Laplacian) Let p = 2, X = R n (with Lebesgue measure) and A = the Laplacian on L 2 (R n ). Let Ω be a bounded open set with Lipschitz boundary. Then (with the notations of Theorem 2.) we have Y = Ω and S(t) L 2 (Ω) = e t Ω, where Ω is the Dirichlet Laplacian on L 2 (Ω), i.e. D( Ω ) = {f H 0 (Ω) : f L 2 (Ω)} and Ω f = f.

Remark 2.5. For general open sets Ω we still have Y = Ω and S(t) L 2 (Ω) = e t Ω where Ω denotes the pseudo-dirichlet Laplacian on L 2 (Ω), i.e. Ω is associated with the following densely-defined closed positive form a on L 2 (Ω) with domain D(a) = {f L 2 (Ω) : f H (R n )} and a(f, f) = f 2 + R n n j= R n D j f 2 = Ω f 2 + n j= D R n j f 2. This means that we have Ω = Ω whenever D(a) = H0 (Ω). It is not an aim of this paper to describe such sets Ω, but in the example above we take boundedness and Lipschitz boundary as simple sufficient conditions. 2. Closed forms In this subsection we describe another important case when Trotter s product formula converges. The results in this subsection are direct consequences of [[8], Theorem and Addendum]. We describe the basic notions briefly. Let H be a Hilbert space and let a : D(a) D(a) C be a sesquilinear mapping where D(a), the domain of a, is a is a subspace of H. We assume that a is semibounded, i.e. that there exists λ R such that u 2 a := Re a(u, u) + λ(u, u) H > 0 for all u D(a), u 0. Moreover, we assume that a + λ is sectorial and closed, i.e., that Im a(u, u) M(Re a(u, u) + λ(u, u) H ) and (D(a), a ) is complete. In short, we will call a a closed form. Let K = D(a) be the closure of D(a) in H. Denote by A the operator on K associated with a, i.e. D(A) = {u D(a) : v K such that a(u, φ) = (v, φ) H for all φ D(a)} and Au = v. Then A generates a C 0 -semigroup e ta on K. Denote by Q the orthogonal projection on K. Now, define the operator e ta on H by e ta x = e ta Qx, x H, t 0 Then e ta is a continuous degenerate semigroup on H. We call it the degenerate semigroup generated by a on H. Now, let b be a second closed form on H. Define a + b on H by D(a + b) = D(a) D(b) and (a + b)(u, v) = a(u, v) + b(u, v). Then it is easy to see that a + b is a closed form again. Now the following product formula holds (see [8], Theorem and Addendum). Theorem 2.6. Let x H. Then for all t > 0. e t(a+b) x = lim (e t n a e t n b ) n x 4

Remark 2.7. In [[8], Addendum] this theorem is stated only for densely defined, closed forms a and b but the proof applies to the non-densely defined case, as well. Now, let P be an orthogonal projection. Define the form b by D(b) = P H and b(u, v) = 0 for all u, v P H. Then e tb = P for all t 0. Therefore, as a corollary of Theorem 2.6 we have Theorem 2.8. For any orthogonal projection P and closed form a, the limit S(t)x = lim (e t n a P ) n x exists for all x H and t > 0, and S(t) t>0 is the continuous degenerate semigroup generated by the form a P H. Remark 2.9. Theorem 2.8 gives a proof of the statement in Remark 2.5 above. There is an alternative way to formulate this result. Let T (z) z Στ be a holomorphic C 0 -semigroup on H, defined on a sector Σ τ := {z C : z 0, arg z < τ}, τ (0, π 2 ]. Assume that (T (z) for all z Σ τ. Then the generator A of T (z) is associated with a densely defined, semibounded, closed form a (see [7], Chapters VI. and IX., and also [2], Theorem.2), so we have the following corollary (see [] Theorem 4): Corollary 2.0. Let A be the generator of a holomorphic semigroup (e za ) z Στ on a Hilbert space H, where τ (0, π 2 ], and assume that e za for all z Σ τ. Let P be an orthogonal projection. Then S(t)x = lim (e t n A P ) n x exists for all x H and t > 0, and S(t) t>0 is a continuous degenerate semigroup on H. Counterexamples In view of the results in Section one may conjecture that (2) converges in more general settings. In particular, the following conjectures were given in []: (a) Let e ta be a contractive C 0 -semigroup on a Hilbert space H, and let P be an orthogonal projection. Then (2) should converge. (b) Let e ta be a positive, contractive C 0 -semigroup on L p (X, Σ, µ) (where (X, Σ, µ) is a σ-finite measure space, and < p < ), and let P be a positive, contractive projection. Then (2) should converge. In this section we present two examples which disprove these conjectures. We remark that the case p = in conjecture (b) was not included, because a positive, contractive C 0 -semigroup and a positive, contractive projection on E = L ([0, ]), such that (2) fails to converge, was already provided in []. 5

. Hilbert case Let us remark that by using the theory of unitary dilations of contractive C 0 - semigroups in Hilbert spaces (see e.g. [4], Corollary 6.4) one can reduce the first conjecture to the case of unitary C 0 -semigroups. Therefore, we are looking for a counterexample among unitary semigroups instead of arbitrary contractive ones. We carry out our construction in the space L 2 [0, ]. As an example of unitary semigroup, we take the semigroup of multiplication by e ith, where h is a realvalued, measurable function on [0, ], to be specified later. We choose P to be the one-dimensional orthogonal projection onto the space of constant functions, i.e. P f = f(x)dx. As a test function on which (2) will fail for t =, we 0 take. Denoting c n = [ ] n 0 ei n h(x) dx, the function e n A P () becomes c n n e i n h. However, by the Lebesgue Dominated Convergence Theorem, lim c n = as well as lim e i n h = in L 2 [0, ]. So, lim [e n A P ] n () exists in L 2 [0, ] if and only if the numerical limit lim cn n () exists. Now we specify the function h, for which we prove that () diverges. Put h = χ (/2 k,/2 ]2 k π. Then c k n = e i 2 k n 2kπ. We show the following two inequalities lim inf c 2 n 2n e (4+ π 2 4 ) (4) lim sup c 2 n 2n π2 (6+ e 6 π4 27 24 7 ). (5) Noticing that 4 + π2 4 < 6 + π2 Let us show (4) first. Observe that 6 π4 27 24 7 we get the desired result. c 2 n = n 2 n π 2 n + k=n+ n 2 k = 2 n π. Using the inequality cos(α) α2 2 we get c 2 n Re c 2 n = = 4 2 n π2 2 n 2 2k cos( 2k n 2 2 n π) π2 4 k ( 2k 2 4 n ) 4 n (2n 2) = π2 (4 + 2n 4 ) + π2 4 n. Since lim N ( + a N + b N 2 ) N = e a, we obtain (4). To prove (5) let us simplify c 2 n. We have 6

Notice that Thus, n c 2 n = = n 2 n π + 2 n ei π + 2 n π + 2 n ( 2 + i k=n+ 2 ) + 2 n n π π. e i 2k π = e i( )k+ 2 π = 2 + i( )k+ 2. After these computations c 2 n becomes n π = 2 + i 6. 2 n π + i 2 2 n. Now using the inequality cos(α) α2 estimate = 2 n Re c 2 n n = π2 2n (6 + π2 6 π 4 27 24 7 2 + α4 24 ( 2 k π2 4 k 8 4 n + π4 2 n 2 8 4 n + π4 8 24 we obtain the following 6 k ) 8 24 6 n 8 n 8 6 n 7 ) + a (2 n ) 2 + b (2 n ) 4, for some constants a and b. Similarly, using sin(α) α, we have Thus, c 2 n 2n Im c 2 n n 2 n π + 2 2 n 2 k 2 k = ( Re c 2 n 2 + Im c 2 n 2) 2 n 2 ( 2 π2 2 n (6 + 6 π 4 + ( 2 2 n )2 a 2 +... + ( 2 (n + )π 2 n. 27 24 7 ) + ( 2 2 n )2 (n + ) 2 a 2 n )8 a 8 ) 2 n Passing to the upper limit as n, we finally obtain (5). 2. 7

Remark.. The function is not in the domain of the generator A of our semigroup. In fact, we see from Remark 2.2 above that for any function f D(A), f = the formula (2) converges and we have lim (e t n A P f ) n f = e (Af,f) f, where P f denotes the orthogonal projection on the -dimensional subspace spanned by f..2 L p -case for positive semigroups Our second example is on the Hilbert space L 2 [0, 2π], but now for a positive contractive semigroup and positive contractive projection. We take e ta f(x) = f(x+2πt), regarding f as a 2π-periodic function. Now let P be the orthogonal projection onto the space spanned by the positive norm-one function g(x) = 4π [4 + ] cos 2 k 2k x. Notice that like in the previous example our projection is one-dimensional (see Remark.2 below). Simple substitution shows that (2) evaluated at g for t = exists if and only if the limit exists. Denoting 0 k=0 2π lim g(x)g(x + n )dx 2π c n = g(x)g(x + n )dx and using the orthogonality of cosines, we obtain 0 c n = 6 7 + 7 n 2k cos 2k n π Now following the same calculations as for the first example, we obtain inequalities (4) and (5) with powers doubled on the right hand sides. This disproves the second conjecture. Remark.2. As we have already noticed the projections in our examples are one-dimensional. It would be interesting to know what property of a semigroup on a Hilbert space is responsible for the existence of (2) for all one-dimensional, or more specifically, one-dimensional orthogonal projections. The authors are grateful to Wolfgang Arendt, András Bátkai and Bálint Farkas for helpful conversations. 8

References [] W. Arendt and C. Batty, Absorbtion semigroups and Dirichlet boundary conditions. Math. Ann. 295, 427-448 (99). [2] W. Arendt, S. Bu and M. Haase, Functional calculus, variational methods and Liapunov s theorem. Arch. Math. 77, 65-75 (200). [] W. Arendt and M. Ulm, Trotter s product formula for projections. Ulmer Seminare 997. [4] E.B.Davies, One-parameter Semigroups. London 980. [5] K.-J. Engel and R. Nagel One-Parameter Semigroups for Linear Evolution Equations. Berlin 999. [6] E. Hille and R.S. Phillips, Functional Analysis and Semigroups. Providence, R.I. 957. [7] T. Kato, Perturbation Theory for Linear Operators. Berlin 976. [8] T. Kato, Trotter s product formula for an arbitrary pair of self-adjoint contraction semigroups. Topics in Functional Analysis, I. Gohlberg, M. Kac (eds.) Academic Press, New York. 85-95 (978). Máté Matolcsi Department of Applied Analysis, Eötvös Loránd University Pázmány Péter sétány -, 7, Budapest, Hungary. e-mail: matomate@cs.elte.hu and Abteilung Angewandte Analysis, Universitat Ulm 89069 Ulm, Germany. e-mail: matemato@mathematik.uni-ulm.de Roman Shvydkoy Mathematics Department, University of Missouri-Columbia Columbia, MO 652, USA. e-mail: shvidkoy@math.missouri.edu 9