Stone s theorem and the Laplacian

Size: px
Start display at page:

Download "Stone s theorem and the Laplacian"

Transcription

1 LECTRE 5 Stone s theorem and the Laplacian In the previous lecture we have shown the Lumer-Phillips Theorem 4.12, which says among other things that if A is closed, dissipative, D(A) = X and R(λ 0 I A) = X for some λ 0 > 0, then A generates a contraction semigroup. In this lecture we first establish several variants of this result and deduce a characterization of generators of isometric groups. This characterization then implies Stone s famous theorem stating that precisely the skewadjoint operators generate unitary C 0 groups on Hilbert spaces. In the remainder of the lecture we then discuss the Laplacian in two simple settings: in L 2 (R d ) and in L 2 () with Dirichlet boundary conditions, where R d is open and bounded. We show that these realizations of the Laplacian are dissipative and selfadjoint (and thus generate C 0 semigroups). These facts play a crucial role in our main applications to wave and Schrödinger equations. Here the Hilbert space setting arises naturally in view of the physical background. It also allows to establish the desired properties of the Laplacian by elegant functional analytic tools. This approach relies on Sobolev spaces and weak derivatives. Actually, we do not need many deep results about these spaces. The relevant information is recalled below in an intermezzo. We also provide a rather long appendix containing the proofs and an introduction to this large subject. We further use basic facts about the Fourier transform and selfadjoint operators which are collected and proved in two more appendices. Again we list the relevant results in the intermezzo. We first come back to the Lumer-Phillips Theorem 4.12 and discuss the range condition via duality theory. To this aim, for a linear operator A in X with dense domain, we define its adjoint A by A x := y for all x D(A ), where y is taken from D(A ) := { x X y X x D(A) : Ax, x = x, y } (5.1). This means that Ax, x = x, A x for all x D(A) and all x D(A ), and D(A ) consist of all x X for which this operation works. It turns out that this is the correct definition to develop the theory. To get some experience with adjoints, we discuss several basic properties of adjoints in the next remark. Remark 5.1. Let A be a densely defined linear operator in X. (a) Since D(A) is dense, there is at most one vector y = A x as in (5.1), so that A : D(A ) X is a map. It is clear that A is linear. If A B(X), then D(A ) = X and (5.1) coincides with the definition of A usually given in courses on functional analysis. 41

2 (b) The operator A is closed in X (thought A does not need to be closed). In fact, let x n D(A ), x X, and y X such that x n x and A x n y in X as n. For every x D(A) we then compute x, y = lim x, n A x n = lim Ax, n x n = Ax, x. As a result, x D(A ) and A x = y. (c) If T B(X), then the sum A + T with D(A + T ) = D(A) has the adjoint (A+T ) = A +T with D((A+T ) ) = D(A ). To verify this fact, let x D(A) and x X. We obtain (A + T )x, x = Ax, x + x, T x. Hence, x D((A + T ) ) if and only if x D(A ), and then (A + T ) x = A x + T x. (d) If T B(X), then the product T A with domain D(T A) = D(A) has the adjoint A T with domain D(A T ) = { x X T x D(A ) }. This fact can be shown analogously as part (c). From (c) and (d) it follows that (λi A) = λi A for λ C. The next result allows to replace the range condition in the Lumer-Phillips theorem by the injectivity of λi A for some λ > 0. If one knows the adjoint of A, the injectivity should be much easier to check than the range condition. However, in applications it is often very hard to compute A (namely D(A )) directly. Nevertheless, Corollary 5.2 is used in the proof of Stone s theorem. Corollary 5.2. Let A be dissipative and densely defined. If λi A is injective for some λ > 0, then A generates a contraction semigroup. (By Proposition 4.11, λi A is injective for all λ > 0 if A is dissipative.) Proof. Due to Theorem 4.12, it suffices to show that λi A has dense range. Let x X annihilate R(λI A); i.e., (λi A)x, x = 0 = x, 0 for all x D(A). This fact leads to x D(A ) and λx A x = 0. The injectivity assumption now yields x = 0. A corollary to the Hahn-Banach theorem then implies the density of R(λI A). sually the density of the domain of an operator is relatively easy to check. Still it is a nice fact that one gets it for free in the context of the Hille-Yosida theorem if X is reflexive. Proposition 5.3. Let X be a reflexive Banach space and A be a closed operator in X such that (ω, ) ρ(a) and λr(λ, A) M for all λ > ω and some constants M, ω 0. Then D(A) is dense in X. In particular, if A is a dissipative operator on a reflexive Banach space such that λ 0 I A is surjective for some λ 0 > 0, then A generates a contraction semigroup. Proof. Let x X and n N with n > ω. Then the vectors x n = nr(n, A)x belong to D(A) and are uniformly bounded in X. Since X is reflexive, the Banach-Alaoglu theorem gives a subsequence (x nj ) j and a vector z X such that x nj converges weakly to z as j. Since D(A) is closed and convex, we obtain z D(A), see e.g. Theorem 3.7 in [Bre11]. We now show x = z to deduce D(A) = X. We first note that the vectors y n = R(1, A)x n = 42

3 nr(n, A)R(1, A)x also belong to D(A) and converge to R(1, A)x =: y in X as n due to Lemma 3.7 (because of y D(A)). We thus obtain the weak limits y nj y and Ay nj = y nj x nj y z as j. As above, we infer that (y, y z) is contained in gr(a) = gr(a) so that Ay = y z. Consequently, x = y Ay = z belongs to D(A). If A is dissipative and R(λ 0 I A) = X for some λ 0 > 0, then A is closed, (0, ) ρ(a) and λr(λ, A) 1 for all λ > 0 due to Proposition The first part thus yields that D(A) = X and the second assertion now follows from the Hille-Yosida Theorem 3.8. We next use the Lumer-Phillips theorem to characterize the generators of isometric C 0 groups. Corollary 5.4. For a linear operator A, the following assertions are equivalent. (a) The operator A generates an isometric C 0 group T ( ), i.e., T (t)x = x for all x X and t R. (b) The operator A is closed and densely defined, A and A are dissipative and λi A and λi + A are surjective for some λ > 0. (c) The operator A is closed and densely defined, R \ {0} ρ(a) and R(λ, A) 1 λ for all λ R \ {0}. Proof. The Lumer-Phillips Theorem 4.12 says that (b) holds if and only if A and A generate contraction semigroups. Theorem 4.2 then implies the equivalence of assertion (b) and (c), and it shows that (b) holds if and only if A generates a C 0 group of contractions T (t), t R. It remains to prove that a contractive C 0 group T ( ) is already isometric. Indeed, we have T (t)x x = T ( t)t (t)x T ( t) T (t)x T (t)x for all x X and all t R, so that T (t) is isometric. In the Hilbert space setting, the above result leads to Stone s theorem on unitary groups. To this aim, we have to recall a few more concepts. Definition 5.5. Let X be a Hilbert space with scalar product ( ). A linear operator A on X is called symmetric if x, y D(A) : (Ax y) = (x Ay). Let A be a densely defined linear operator on X. Then its Hilbert space adjoint A is given by A y := z for all y D(A), where z is taken from D(A ) := { y X z X x D(A) : (Ax y) = (x z) }, cf. (5.1). A densely defined linear operator A is called selfadjoint if A = A and skewadjoint if A = A. Finally, an operator T B(X) is called unitary if it is invertible with T 1 = T B(X). 43

4 We remark that besides A there also exists the adjoint A in X. These two operators are related via Riesz representation theorem, cf. (C.1) in Appendix C. Observe that a densely defined linear operator A is symmetric if and only if A A. Moreover, A is skewadjoint if and only if ia is selfadjoint. We point out that selfadjointness and skewadjointness means in particular that D(A) = D(A ). We further remark that symmetry is relatively easy to check in many examples, whereas selfadjointness or skewadjointness (mainly the equality D(A) = D(A )) often is very hard to verify. On the other hand, these properties have far reaching consequences as in Stone s theorem below. We collect several properties of the Hilbert space adjoints and of selfadjoint operators in the next remark, see Appendix C for more details. Property (f) is used below to prove the selfadjointness of the Dirichlet Laplacian. Remark 5.6. Let A be a densely defined operator in a Hilbert space X. Then the following assertions hold. (a) As in Remark 5.1 one sees that A is closed in X. In particular, a symmetric, densely defined, linear operator is closable with A A (since A A ). (b) Parts (c) and (d) of Remark 5.1 hold for A in a similar way. But recall that (ai) = ai for a C. (c) Let A be closed. Then σ(a ) = { λ λ σ(a) } by (C.2) in Appendix C. (d) If A is symmetric, then also A is symmetric. In fact, for x, y D(A) there are x n, y n D(A) with x n x, y n y, Ax n Ax and Ay n Ay in X as n. It follows (Ax y) = lim n (Ax n y n ) = lim n (x n Ay n ) = (x Ay). (e) There are symmetric closed operators which are not selfadjoint, see Example C.10 in Appendix C. (f) Let A be closed and symmetric. Then A is selfadjoint if and only if σ(a) R. Moreover, if ρ(a) R, then σ(a) R. See Theorem C.9. We can now derive Stone s theorem from the Lumer-Phillips theorem. Alternatively Stone s theorem also follows from the spectral theorem, see Section VII.4 in [RS72]. We will use Stone s theorem to solve the linear Schrödinger equation in a later lecture. In fact, this theorem is a cornerstone of the mathematical foundations of quantum mechanics. Theorem 5.7 (Stone, 1930). Let X be a Hilbert space and A be a linear operator on X with dense domain. Then A generates a C 0 group of unitary operators if and only if A is skewadjoint. Proof. 1) Let A = A. For x D(A) = D(A ), we have J(x) = {ϕ x } where ϕ x := ( x) (see Example 4.6). We compute Ax, ϕ x = (Ax x) = (x Ax) = (Ax x) = Ax, ϕ x, so that Re Ax, ϕ x = 0. Hence, A and A = A are dissipative as well as A = ( A) = A. Corollary 5.2 thus shows that A and A generate contraction semigroups. Therefore, A generates a C 0 group (T (t)) t R of invertible isometric 44

5 operators due to Corollary 5.4. A result from functional analysis then implies that each T (t) is unitary (see Proposition C.7 in Appendix C). 2) Let A generate a unitary C 0 group (T (t)) t R. Since T (t) = T (t) 1 = T ( t) for t 0, the family (T (t) ) t 0 is a contraction semigroup with the generator A by Theorem 4.2. For x, y D(A) we thus obtain (Ax y) = lim( 1 t 0 t (T (t)x x) y) = lim (x 1 t 0 t (T (t) y y)) = (x Ay), i.e., A A. We further know from Theorem 4.2 that σ(a) ir. Since σ(a ) = { λ λ σ(a) } ir by Remark 5.6 (c), Lemma 3.6 yields A = A. In our main applications the Laplacian in an L 2 setting plays a crucial role. To investigate this operator, we need weak derivatives, Sobolev spaces and the Fourier transform. These topics are discussed in the next intermezzo. The proofs and much more background material can be found in the corresponding appendices D and E. Intermezzo 3: Weak derivatives, Sobolev spaces and the Fourier transform The classical derivative does not fit well to L p spaces since it is based on a pointwise limit. Instead, one uses on L p spaces the so called weak derivative. In its definition one requires that one can integrate by parts against functions ϕ Cc, which is well adapted to integrable functions. Let R d be open, k N and p [1, ]. A function u L p () has a weak derivative v in L p () with respect to the jth coordinate for some j {1,..., d} if there is a function v L p () such that u j ϕ dx = vϕ dx (5.2) holds for all ϕ Cc (). The function v is uniquely determined (up to a null function) due to Lemma D.5 in Appendix D, and we set j u := v. The set Wp 1 () of all functions u in L p () possessing weak derivatives in L p () with respect to all coordinates is called a Sobolev space. The linear space Wp 1 () becomes a Banach space when endowed with the norm ( u u 1,p := p p + d j=1 j u p p)1/p, if p <, max j=1,...,d { u, j u }, if p =, see Proposition D.3. Here, as usual in the L p context, we identify functions which are equal almost everywhere. For each p [1, ], this norm is equivalent to the norm given by d u p + j u p. j=1 Weak derivatives of higher order and the Sobolev spaces Wp k () are defined analogously. We set Wp 0 () = L p () and H k () = W2 k (). Observe that (5.2) leads to u, j ϕ L p = u j ϕ dx = ( j u)ϕ dx = j u, ϕ L p 45

6 for all u Wp 1 () and ϕ Cc (). This definition via duality already allows to deduce various properties of weak derivatives (e.g. their linearity). Other properties follow by approximation. (The corresponding density results are proved via cut-off functions and mollifiers, see Appendix D.) In the next remark we summarize the properties of weak derivatives and Sobolev spaces needed later on. Roughly speaking, many of the simple facts about derivatives can be extended to weak ones if properly translated into the L p setting. But, of course, there are several new phenomena also discussed below. Remark 5.8. Let R d be open, k N and p [1, ]. Then the following assertions hold. (a) If u C k () and u and all its derivatives up to order k belong to L p (), then u Wp k () and the classical and the weak derivatives coincide (see Remark D.2). (b) Let p <. A function u L p () belongs to Wp k () if and only if there are u n C k () Wp k () such that u n u in L p () and all derivatives of u n up to order k converge in L p (). We then have j u = lim n j u n in L p () and analogously for higher derivatives up to order k (see Lemma D.6 and Theorem D.13). (c) The space Cc (R d ) is dense in Wp k (R d ) if p < (see Theorem D.13). (d) A function u L p (a, b) (where a < b ) belongs to Wp 1 (a, b) := Wp 1 ((a, b)) if and only if u is continuous and there is a function v L p (a, b) such that t u(t) = u(s) + v(τ) dτ for all t, s (a, b). (5.3) s It then holds u := 1 u = v and u has a continuous extension to a (or b) if a > (or b < ). See Theorem D.10. For instance, let u(t) = t and v(t) = 1 for t > 0 and v(t) = 1 for t < 0. Then (5.3) holds, and thus u Wp 1 ( 1, 1) with u = v. See also Example D.4 for further explicit examples. (e) (Product rule) If u Wp 1 () and v Wp 1 () with 1 p + 1 p = 1, then uv W1 1() and j(uv) = u j v + v j u for j = 1,..., d (see Proposition D.7). Let p [1, ) and k N. In view of Remark 5.8 (c), we define W k p () = closure of C c () in W k p (), where we set H k () = W 2 k(). Remark 5.8 (c) shows that W p k (R d ) = Wp k (R d ). We say that functions u W p 1 () have the trace 0 on. This definition is justified by the following result: If is sufficiently smooth (e.g. is compact and of class C 1 ), then the restriction map u u from Wp 1 () C() to L p (, σ) can continuously be extended to the trace operator tr : Wp 1 () L p (, σ), where σ is the surface measure on. Moreover, W 1 p () is the kernel of tr. (See Theorem D.27 in Appendix D.) We continue with an upgraded version of (5.2) which will allow us to prove the symmetry of the Laplacian on L 2 (R d ). Let p (1, ). For F W p 1 () d 46

7 and ϕ W p 1 () we have Gauß formula ϕ div F dx = F ϕ dx. (5.4) In fact, this identity holds for F C c () d and ϕ C c () and thus (5.4) follows by approximation. (See Theorem D.28 for a much more precise result.) One of the most important features of Sobolev spaces is that their elements enjoy better regularity properties than their definition directly implies. This behavior is encoded in the embedding theorems of Sobolev and Morrey (see Theorem D.15 and Corollary D.21). Here we only state certain basic versions: Wp k (R d ) L q (R d ) if k d p d q, q [p, ), (5.5) Wp k (R d ) C 0 (R d ) if k d p > 0. (5.6) For open sets R d it further holds W p k () L q () if k d p d q, q [p, ), (5.7) W p k () C 0 () if k d p > 0. (5.8) As a byproduct, one further obtains Poincaré s inequality u p dx δ u p p (5.9) for each bounded open subset R d, p [1, ), some δ > 0 and all u W 1 p (). (See Theorem D.15 and Corollary D.19 in Appendix D.) The Sobolev space W2 k(rd ) = H k (R d ) can be treated by means of the Fourier transform in a very efficient way. To that purpose, we recall that for a function f L 1 (R d ) L 2 (R d ) the Fourier transform is given by Ff(ξ) = f(ξ) := (2π) d 2 e iξ x f(x) dx, ξ R d, (5.10) R d where ξ x = ξ 1 x ξ d x d. Clearly, f (2π) d 2 f 1. In fact, it holds f C 0 (R d ) (see Corollary E.8 in Appendix E). Plancherel s theorem says that one can extend F to a unitary operator on L 2 (R d ) which is again denoted by F. Note that formula (5.10) does not hold with a Lebesgue integral if f is not integrable on R d. Theorem 5.9. The Fourier transform extends to a unitary operator F : L 2 (R d ) L 2 (R d ) satisfying (F 1 g)(y) = (Fg)( y) for g L 2 (R d ) and y R d. Let f, g L 2 (R d ), h L 1 (R d ), k N and j {1,..., d}. We then obtain the following assertions. (a) (Plancherel) (Ff Fg) L 2 = (f g) L 2, R d fĝ dx = fg R d dx. (b) F(h f) = (2π) d 2 ĥ f, F 1 (ĥ f) = (2π) d 2 { h f. (c) H k (R d ) = u L 2 (R d ) } ξ k 2û L2 (R d ). (d) j u = if 1 (ξ j û) for u H 1 (R d ). 47

8 This result is proved in Theorems E.11 and E.14 in Appendix E. Here the symbols ξ k 2 and ξ j denote the functions ξ ξ k 2 and ξ ξ j, respectively. The convolution h f L 2 (R d ) is given by (h f)(x) = h(x y)f(y) dy, R d x R d, see (E.3) in Appendix E. Based on the Fourier transform we now treat the Laplacian on L 2 (R d ) and show in particular its selfadjointness. Therefore, i is skewadjoint which is crucial for the investigation of Schrödinger equations. Example We set X = L 2 (R d ), m(ξ) = ξ 2 2 for ξ Rd, D(A) := { u X mû X } = H 2 (R d ), and Au := F 1 mû = u. The latter identities follow from Theorem 5.9. Observe that u is a sum of weak derivatives of second order and that u = div( u). We want to show that A is dissipative, selfadjoint and σ(a) = R. Recall that H 2 (R d ) = H 2 (R d ) by Remark 5.8 (c), so that (5.4) implies that u v dx = u v dx = u v dx, R d R d R d u u dx = u 2 dx 0 R d R d for all u, v D(A). This means that A is symmetric and dissipative. Let λ C \ R. To show the surjectivity of λi A, we set r λ (ξ) = 1 for λ+ ξ 2 ξ R d. Clearly, r λ and mr λ are bounded. We define u = F 1 r f λ for f X. Theorem 5.9 yields u X, mû = mr f λ X and λu u = F 1 (λ + m)û = F 1 (λ + m)r λ f = f. Hence, u H 2 (R d ) and λi A is surjective. Proposition 5.3 now shows that A generates a contraction semigroup, and thus A is closed, densely defined and satisfies (0, ) ρ(a). Since A is symmetric, Remark 5.6 (f) then implies that A is selfadjoint and that σ(a) R. So we arrive at σ(a) R. The equality σ(a) = R is shown in Exercise 5.1. We state two important consequences of the above result. First, the graph norm of the operator A of Example 5.10 is complete on H 2 (R d ) since A is closed on D(A) = H 2 (R d ). The open mapping theorem then implies that A is equivalent to the H 2 norm. There thus exists a constant c > 0 with u d k u k=1 d k,l=1 kl u 2 2 c( u u 2 2) (5.11) holds for all u H 2 (R d ). In other words, the graph norm of the Laplacian dominates in the L 2 sense all derivatives of second and first order. This is a truly astonishing result in view of the possible cancellations in the sum u. Thanks to the Lumer-Phillips theorem, the operator A generates a C 0 semigroup T ( ). Hence, the function u given by u(t) = T (t)u 0 for t 0 and 48

9 u 0 H 2 (R d ) belongs to C 1 (R +, L 2 (R d )) C(R +, H 2 (R d )) and it is the unique solution of the diffusion equation u (t) = u(t), t 0, u(0) = u 0, in this function class. We will not study this or similar parabolic equations in detail. In fact, their solutions have much better regularity properties than provided by the theory presented here. For the relevant theory on analytic semigroups we refer in particular to the monograph [Lun95]. To handle the Dirichlet Laplacian on a domain, we need another famous result (due to Lax and Milgram) which turns Riesz representation theorem for Hilbert space duals into one of the most useful tools for applied analysis. A map T on X is called antilinear if T (αx+y) = αt x+y for α C and x, y X. Theorem 5.11 (Lax-Milgram lemma). Let Y be a Hilbert space and a : Y Y C be a sesquilinear form (i.e., x a(x, y) is linear and y a(x, y) is antilinear for x, y Y ) such that a(x, y) c x y Re a(x, x) δ x 2 (boundedness), (strict accretivity) hold for all x, y Y and some constants c, δ > 0. Then for each ψ Y there is a unique z Y such that a(y, z) = ψ(y) for all y Y. The map ψ z is antilinear and bounded. Proof. We first establish a connection between the form a and the scalar product on Y. The map ϕ y := a(, y) belongs to Y with ϕ y c y for each y Y since a is bounded. Riesz representation theorem gives a unique Sy Y such that (x Sy) = ϕ y (x) = a(x, y) for all x Y and Sy = ϕ y c y. As a result, S B(Y ). Moreover, the strict accretivity yields δ y 2 Re a(y, y) = Re(y Sy) (y Sy) c y Sy for every y Y which implies δ c y Sy. It is then easy to see that S is injective and has a closed range R(S). If x Y is orthogonal to R(S), we conclude 0 = (x Sx) = Re(x Sx) = Re a(x, x) δ x 2, so that x = 0. Thus, R(S) = R(S) = Y and S is invertible with S 1 c δ. Let ψ Y. There is a unique v Y such that ψ = ( v) thanks to Riesz theorem. Hence, a(y, S 1 v) = (y SS 1 v) = (y v) = ψ(y) for all y Y and the vector z := S 1 v = S 1 T ψ Y is the desired solution, where T : Y Y denotes the antilinear isomorphism from Riesz theorem. If also z Y satisfies a(y, z) = ψ(y) for all y Y, then 0 = a(z z, z z) δ z z 2 as above, and thus z = z. We now use the Lax-Milgram lemma to define the Dirichlet Laplacian on a domain by means of a corresponding form. 49

10 Example 5.12 (Dirichlet Laplacian). Let R d be open and bounded and X = L 2 (). sesquilinear form a(u, v) = u v dx We define the for u, v H 1 () =: Y. We construct a selfadjoint, dissipative and invertible operator A corresponding to a. Due to Hölder s inequality and Poincaré s estimate (5.9), the form a satisfies the conditions of the Lax-Milgram lemma. We next introduce D(A) := { u Y f X v Y : a(u, v) = (f v) L 2}, Au := f, where f is given by D(A). Observe that here the function f is unique since Y is dense in X. Clearly, A is linear. The map ϕ f : v (v f) L 2 belongs to Y if f L 2 () and ϕ f Y = sup (v f) L 2 sup v 2 f 2 f 2. v 1,2 1 v 1,2 1 Theorem 5.11 now gives a unique u Y such that u 2 u 1,2 c ϕ f Y c f 2 and a(u, v) = a(v, u) = ϕ f (v) = (f v) L 2, i.e., a(u, v) = (ϕ v) L 2 for all v Y. Hence, u D(A) and Au = f so that A is bijective with a bounded inverse. It follows that A is closed and that there is a point λ 0 > 0 in ρ(a) since ρ(a) is open. For u, v D(A) we further compute (Au v) L 2 = a(u, v) = a(v, u) = (Av u) L 2 = (u Av) L 2, (Au u) L 2 = a(u, u) δ u 2 1,2 0, using (5.9). Consequently A is symmetric, dissipative and λ 0 I A is surjective. Proposition 5.3 and Remark 5.6 now imply that A generates a contraction semigroup and that it is selfadjoint. Below, we write D instead of A. In the above example we have constructed a selfadjoint operator that we call Dirichlet Laplacian. Let us justify this name. First, we recall that a function u C() satisfies the homogeneous Dirichlet boundary condition if it vanishes on. As explained after Remark 5.8 this condition is replaced by u H 1 () in the L 2 setting. To explain the operator A itself, we assume that is of class C 1. We set A 0 u = u for u D(A 0 ) = H 2 () H 1 (). Gauß formula then yields ( A 0 u v) = ( u)v dx = u v dx = a(u, v) for all u D(A 0 ) and v H 1 () = Y, see Theorem D.28 in Appendix D. So, if C 1, the operator A extends A 0, and one may consider A 0 as the natural Dirichlet Laplacian in L 2 (). If we assume more, namely C 2, known results about elliptic partial differential equations imply that I A 0 is surjective in L 2 (), see Theorems 8.3 and 8.12 in [GT01]. Therefore, A = A 0 if C 2. In this case the graph norm again controls the 2 norms of all derivatives of first and second order, cf. (5.11). 50

11 The above generation results can be extended to more general elliptic differential operators with suitable boundary, acting in L p spaces or in spaces of continuous functions. Among the vast literature we refer to [Lun95] and [Tan97], and to [Ouh05] for form methods. Example 5.12 allows to solve the heat equation on the domain with Dirichlet boundary conditions. As in Example 5.10, we omit this result. We rather consider an operator matrix involving the Dirichlet Laplacian which will later be used to investigate the wave equation (cf. Lecture 1). Example Let R d be open and bounded. We use the Dirichlet Laplacian D in L 2 () introduced in the previous example. We recall that D( D ) consists of those u H 1 () such that there is a function f L 2 () with u H 1 () : u v dx = fv dx, and then D u = f. To treat the wave equation (1.3) (at first with b = 0), we introduce the Hilbert space X = H 1 () L 2 () endowed with the scalar product (( ) ( )) u1 v1 = ( u 1 v 1 + u 2 v 2 ) dx. u 2 v 2 By Poincaré s estimate (5.9) the corresponding norm is equivalent to the usual norm on X given by ( u 1 2 1,2 + u ) 1 2. On X we define the operator ( ) 0 I A = with D(A) = D( D 0 D ) H 1 (). As mentioned in the introduction, the Cauchy problem for A in X should correspond to the wave equation (1.3) with b = 0. We explain this in detail in the next lecture. In this example we show that A is skewadjoint. For (u 1, u 2 ), (v 1, v 2 ) D(A) we first compute ( ( ) ( )) (( ) ( )) u1 v1 u2 v1 A = = ( u u 2 v 2 D u 1 v 2 v 1 + ( D u 1 )v 2 ) dx 2 = ( u 2 v 1 u 1 v 2 ) dx (( ) ( )) (( ) ( )) u1 v2 u1 v1 = = A. D v 1 u 2 v 2 u 2 Hence, A is skewsymmetric (i.e., ia is symmetric). Moreover, Re(Aw w) = 0 for all w D(A), so that A is dissipative. We define the bounded operator ( ) 0 R = 1 D I 0 on X, where the inverse 1 D exists by Example It is easy to see that RX D(A) and AR = I, as well as RAw = w for all w D(A). As a result, A is invertible, and thus λi A is surjective for sufficiently small λ > 0. Proposition 5.3 now implies that A is densely defined. Since also ia is invertible, Remark 5.6 (f) yields the selfadjointness of ia and so A is skewadjoint. 51

12 Exercises Exercise 5.1. On X = L 2 (R d ) let Au = u with D(A) = H 2 (R d ). Show that R σ(a) (and hence σ(a) = R by Example 5.10). { Exercise 5.2. Let X be a Hilbert space with an orthonormal basis un n N }. Let a n C be given. Define the operator A on X by Ax = n=1 a n (x u n )u n for x D(A) = { x X (a n (x u n )) n l 2}. Compute the spectrum and the resolvent of A. Show that (i) A generates a C 0 semigroup T ( ) if and only if sup n N Re a n <, (ii) A generates a unitary group T ( ) if and only if a n ir for all n N. How does T ( ) look like? Exercise 5.3. Let A generate a C 0 semigroup T ( ) on a reflexive Banach space X. Show that A generates a C 0 semigroup S( ) on X and that S(t) = T (t) for all t 0. What can be said if X is not reflexive? Exercise 5.4. Let X = L 2 (0, ) and Au = u for u D(A) = H 1 (0, ). Show that A is dissipative, closed and σ(a) = { λ C Re λ 0 }. Compute A. (We note that A generates a contraction semigroup T ( ) by the Lumer-Phillips theorem. As in Exercise 3.3 one can show that T (t)f(s) = f(s t) if s t > 0 and T (t)f(s) = 0 if s t 0, where f X, t 0 and s > 0.) 52

13 Bibliography [HS65] [AF03] Robert A. Adams and John J. F. Fournier. Sobolev spaces, volume 140 of Pure and Applied Mathematics (Amsterdam). Elsevier/Academic Press, Amsterdam, second edition, [Bre11] Haim Brezis. Functional analysis, Sobolev spaces and partial differential equations. niversitext. Springer, New York, [Con90] John B. Conway. A course in functional analysis, volume 96 of Graduate texts in mathematics. Springer, New York, ed. [EN99] Klaus-Jochen Engel and Rainer Nagel. One-Parameter Semigroups for Linear Evolution Equations, volume 194 of Graduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, [Eva10] Lawrence C. Evans. Partial differential equations, volume 19 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, [GT01] David Gilbarg and Neil S. Trudinger. Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, Reprint of the 1998 edition. [HP57] Einar Hille and Ralph S. Phillips. Functional analysis and semi-groups. American Mathematical Society Colloquium Publications, vol. 31. American Mathematical Society, Providence, R. I., rev. ed. Edwin Hewitt and Karl Stromberg. Real and abstract analysis. A modern treatment of the theory of functions of a real variable. Springer-Verlag, New York, [Lun95] Alessandra Lunardi. Analytic semigroups and optimal regularity in parabolic problems. Progress in Nonlinear Differential Equations and their Applications, 16. Birkhäuser Verlag, Basel, [Ouh05] El Maati Ouhabaz. Analysis of heat equations on domains, volume 31 of London Mathematical Society Monographs Series. Princeton niversity Press, Princeton, NJ, [Paz83] [RR04] [RS72] Amnon Pazy. Semigroups of linear operators and applications to partial differential equations, volume 44 of Applied mathematical sciences. Springer, New York, Michael Renardy and Robert C. Rogers. An introduction to partial differential equations, volume 13 of Texts in Applied Mathematics. Springer, New York, second edition, Michael Reed and Barry Simon. Methods of modern mathematical physics. I. Functional analysis. Academic Press, New York, [Rud87] Walter Rudin. Real and complex analysis. McGraw-Hill Book Co., New York, third edition, [Rud91] Walter Rudin. Functional analysis. International Series in Pure and Applied Mathematics. McGraw-Hill Inc., New York, second edition, [Tan97] Hiroki Tanabe. Functional analytic methods for partial differential equations, volume 204 of Monographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker Inc., New York, [TL80] Angus Ellis Taylor and David C. Lay. Introduction to functional analysis. John Wiley & Sons, New York-Chichester-Brisbane, second edition, [Wer07] Dirk Werner. Funktionalanalysis. Springer-Lehrbuch. Springer Verlag, Berlin, , korr. Aufl. LIII

14 [Yos80] Kôsaku Yosida. Functional analysis, volume 123 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, sixth edition, LIV

Wellposedness and inhomogeneous equations

Wellposedness and inhomogeneous equations LECTRE 6 Wellposedness and inhomogeneous equations In this lecture we complete the linear existence theory. In the introduction we have explained the concept of wellposedness and stressed that only wellposed

More information

OPERATOR SEMIGROUPS. Lecture 3. Stéphane ATTAL

OPERATOR SEMIGROUPS. Lecture 3. Stéphane ATTAL Lecture 3 OPRATOR SMIGROUPS Stéphane ATTAL Abstract This lecture is an introduction to the theory of Operator Semigroups and its main ingredients: different types of continuity, associated generator, dual

More information

Perturbation and exponential stability

Perturbation and exponential stability LECTRE 7 Perturbation and exponential stability So far we have introduced the basic concepts of linear semigroup theory, characterized wellposedness and solved inhomogeneous evolution equations. We can

More information

Sectorial Forms and m-sectorial Operators

Sectorial Forms and m-sectorial Operators Technische Universität Berlin SEMINARARBEIT ZUM FACH FUNKTIONALANALYSIS Sectorial Forms and m-sectorial Operators Misagheh Khanalizadeh, Berlin, den 21.10.2013 Contents 1 Bounded Coercive Sesquilinear

More information

Introduction. Christophe Prange. February 9, This set of lectures is motivated by the following kind of phenomena:

Introduction. Christophe Prange. February 9, This set of lectures is motivated by the following kind of phenomena: Christophe Prange February 9, 206 This set of lectures is motivated by the following kind of phenomena: sin(x/ε) 0, while sin 2 (x/ε) /2. Therefore the weak limit of the product is in general different

More information

BIHARMONIC WAVE MAPS INTO SPHERES

BIHARMONIC WAVE MAPS INTO SPHERES BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.

More information

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;

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; 2.2 Rudiments 71 Corollary 2.12. 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; (ii) ρ(a) (ω, ) and for such λ semigroup R(λ,

More information

1.4 The Jacobian of a map

1.4 The Jacobian of a map 1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p

More information

The Dirichlet-to-Neumann operator

The Dirichlet-to-Neumann operator Lecture 8 The Dirichlet-to-Neumann operator The Dirichlet-to-Neumann operator plays an important role in the theory of inverse problems. In fact, from measurements of electrical currents at the surface

More information

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

On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry Ognjen Milatovic Department of Mathematics and Statistics University of North Florida Jacksonville, FL 32224 USA. Abstract

More information

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

THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily

More information

Appendix A Functional Analysis

Appendix A Functional Analysis Appendix A Functional Analysis A.1 Metric Spaces, Banach Spaces, and Hilbert Spaces Definition A.1. Metric space. Let X be a set. A map d : X X R is called metric on X if for all x,y,z X it is i) d(x,y)

More information

Operator Semigroups and Dispersive Equations

Operator Semigroups and Dispersive Equations 16 th Internet Seminar on Evolution Equations Operator Semigroups and Dispersive Equations Lecture Notes Dirk Hundertmark Lars Machinek Martin Meyries Roland Schnaubelt Karlsruhe, Halle, February 21, 213

More information

Semigroups of Operators

Semigroups of Operators Lecture 11 Semigroups of Operators In tis Lecture we gater a few notions on one-parameter semigroups of linear operators, confining to te essential tools tat are needed in te sequel. As usual, X is a real

More information

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply

More information

A SHORT PROOF OF INCREASED PARABOLIC REGULARITY

A SHORT PROOF OF INCREASED PARABOLIC REGULARITY Electronic Journal of Differential Equations, Vol. 15 15, No. 5, pp. 1 9. ISSN: 17-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu A SHORT PROOF OF INCREASED

More information

Classes of Linear Operators Vol. I

Classes of Linear Operators Vol. I Classes of Linear Operators Vol. I Israel Gohberg Seymour Goldberg Marinus A. Kaashoek Birkhäuser Verlag Basel Boston Berlin TABLE OF CONTENTS VOLUME I Preface Table of Contents of Volume I Table of Contents

More information

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

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

Fact Sheet Functional Analysis

Fact Sheet Functional Analysis Fact Sheet Functional Analysis Literature: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen.

More information

Analysis Preliminary Exam Workshop: Hilbert Spaces

Analysis Preliminary Exam Workshop: Hilbert Spaces Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H

More information

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES Electronic Journal of Differential Equations, Vol. 21(21, No. 72, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu ALMOST PERIODIC SOLUTIONS

More information

Introduction to Semigroup Theory

Introduction to Semigroup Theory Introduction to Semigroup Theory Franz X. Gmeineder LMU München, U Firenze Bruck am Ziller / Dec 15th 2012 Franz X. Gmeineder Introduction to Semigroup Theory 1/25 The Way Up: Opening The prototype of

More information

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department

More information

Weak Convergence Methods for Energy Minimization

Weak Convergence Methods for Energy Minimization Weak Convergence Methods for Energy Minimization Bo Li Department of Mathematics University of California, San Diego E-mail: bli@math.ucsd.edu June 3, 2007 Introduction This compact set of notes present

More information

Wentzell Boundary Conditions in the Nonsymmetric Case

Wentzell Boundary Conditions in the Nonsymmetric Case Math. Model. Nat. Phenom. Vol. 3, No. 1, 2008, pp. 143-147 Wentzell Boundary Conditions in the Nonsymmetric Case A. Favini a1, G. R. Goldstein b, J. A. Goldstein b and S. Romanelli c a Dipartimento di

More information

Université de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz

Université de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz Université de Metz Master 2 Recherche de Mathématiques 2ème semestre Systèmes gradients par Ralph Chill Laboratoire de Mathématiques et Applications de Metz Année 26/7 1 Contents Chapter 1. Introduction

More information

Equations paraboliques: comportement qualitatif

Equations paraboliques: comportement qualitatif Université de Metz Master 2 Recherche de Mathématiques 2ème semestre Equations paraboliques: comportement qualitatif par Ralph Chill Laboratoire de Mathématiques et Applications de Metz Année 25/6 1 Contents

More information

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

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

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram

More information

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

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA GLASNIK MATEMATIČKI Vol. 35(55(2000, 45 58 BOUNDARY VALUE PROBLEMS IN KREĬN SPACES Branko Ćurgus Western Washington University, USA Dedicated to the memory of Branko Najman. Abstract. Three abstract boundary

More information

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,

More information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

More information

IV. TOPICS ON HILBERT SPACE OPERATORS

IV. TOPICS ON HILBERT SPACE OPERATORS 12.1 IV. TOPICS ON HILBERT SPACE OPERATORS 12. Unbounded linear operators 12.1 Unbounded operators in Banach spaces. In the elementary theory of Hilbert and Banach spaces, the linear operators that are

More information

Weak Formulation of Elliptic BVP s

Weak Formulation of Elliptic BVP s Weak Formulation of Elliptic BVP s There are a large number of problems of physical interest that can be formulated in the abstract setting in which the Lax-Milgram lemma is applied to an equation expressed

More information

A Concise Course on Stochastic Partial Differential Equations

A Concise Course on Stochastic Partial Differential Equations A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original

More information

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:

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: Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable

More information

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 1 Basic Facts from Functional Analysis and Banach Lattices 16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness

More information

Fourier Transform & Sobolev Spaces

Fourier Transform & Sobolev Spaces Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev

More information

On Semigroups Of Linear Operators

On Semigroups Of Linear Operators On Semigroups Of Linear Operators Elona Fetahu Submitted to Central European University Department of Mathematics and its Applications In partial fulfillment of the requirements for the degree of Master

More information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32 Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak

More information

Lecture Notes on PDEs

Lecture Notes on PDEs Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential

More information

Partial Differential Equations

Partial Differential Equations Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,

More information

Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on

Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on manifolds. Author: Ognjen Milatovic Department Address: Department

More information

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence 1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.

More information

Functional Analysis F3/F4/NVP (2005) Homework assignment 3

Functional Analysis F3/F4/NVP (2005) Homework assignment 3 Functional Analysis F3/F4/NVP (005 Homework assignment 3 All students should solve the following problems: 1. Section 4.8: Problem 8.. Section 4.9: Problem 4. 3. Let T : l l be the operator defined by

More information

Elliptic Partial Differential Equations of Second Order

Elliptic Partial Differential Equations of Second Order David Gilbarg Neil S.Trudinger Elliptic Partial Differential Equations of Second Order Reprint of the 1998 Edition Springer Chapter 1. Introduction 1 Part I. Linear Equations Chapter 2. Laplace's Equation

More information

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS

More information

Conservative Control Systems Described by the Schrödinger Equation

Conservative Control Systems Described by the Schrödinger Equation Conservative Control Systems Described by the Schrödinger Equation Salah E. Rebiai Abstract An important subclass of well-posed linear systems is formed by the conservative systems. A conservative system

More information

Variational Formulations

Variational Formulations Chapter 2 Variational Formulations In this chapter we will derive a variational (or weak) formulation of the elliptic boundary value problem (1.4). We will discuss all fundamental theoretical results that

More information

A metric space X is a non-empty set endowed with a metric ρ (x, y):

A metric space X is a non-empty set endowed with a metric ρ (x, y): Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary

More information

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some

More information

Strongly continuous semigroups

Strongly continuous semigroups Capter 2 Strongly continuous semigroups Te main application of te teory developed in tis capter is related to PDE systems. Tese systems can provide te strong continuity properties only. 2.1 Closed operators

More information

CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE

CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE ATHANASIOS G. ARVANITIDIS AND ARISTOMENIS G. SISKAKIS Abstract. In this article we study the Cesàro operator C(f)() = d, and its companion operator

More information

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

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

Sobolev Spaces. Chapter Hölder spaces

Sobolev Spaces. Chapter Hölder spaces Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

and finally, any second order divergence form elliptic operator

and finally, any second order divergence form elliptic operator Supporting Information: Mathematical proofs Preliminaries Let be an arbitrary bounded open set in R n and let L be any elliptic differential operator associated to a symmetric positive bilinear form B

More information

Hille-Yosida Theorem and some Applications

Hille-Yosida Theorem and some Applications Hille-Yosida Theorem and some Applications Apratim De Supervisor: Professor Gheorghe Moroșanu Submitted to: Department of Mathematics and its Applications Central European University Budapest, Hungary

More information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a

More information

FIXED POINT METHODS IN NONLINEAR ANALYSIS

FIXED POINT METHODS IN NONLINEAR ANALYSIS FIXED POINT METHODS IN NONLINEAR ANALYSIS ZACHARY SMITH Abstract. In this paper we present a selection of fixed point theorems with applications in nonlinear analysis. We begin with the Banach fixed point

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: ADJOINTS IN HILBERT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: ADJOINTS IN HILBERT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: ADJOINTS IN HILBERT SPACES CHRISTOPHER HEIL 1. Adjoints in Hilbert Spaces Recall that the dot product on R n is given by x y = x T y, while the dot product on C n is

More information

Unbounded operators on Hilbert spaces

Unbounded operators on Hilbert spaces Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.

More information

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

1.3.1 Definition and Basic Properties of Convolution

1.3.1 Definition and Basic Properties of Convolution 1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

We denote the space of distributions on Ω by D ( Ω) 2.

We denote the space of distributions on Ω by D ( Ω) 2. Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study

More information

BASIC FUNCTIONAL ANALYSIS FOR THE OPTIMIZATION OF PARTIAL DIFFERENTIAL EQUATIONS

BASIC FUNCTIONAL ANALYSIS FOR THE OPTIMIZATION OF PARTIAL DIFFERENTIAL EQUATIONS BASIC FUNCTIONAL ANALYSIS FOR THE OPTIMIZATION OF PARTIAL DIFFERENTIAL EQUATIONS S. VOLKWEIN Abstract. Infinite-dimensional optimization requires among other things many results from functional analysis.

More information

A Smooth Operator, Operated Correctly

A Smooth Operator, Operated Correctly Clark Department of Mathematics Bard College at Simon s Rock March 6, 2014 Abstract By looking at familiar smooth functions in new ways, we can make sense of matrix-valued infinite series and operator-valued

More information

C.6 Adjoints for Operators on Hilbert Spaces

C.6 Adjoints for Operators on Hilbert Spaces C.6 Adjoints for Operators on Hilbert Spaces 317 Additional Problems C.11. Let E R be measurable. Given 1 p and a measurable weight function w: E (0, ), the weighted L p space L p s (R) consists of all

More information

TD 1: Hilbert Spaces and Applications

TD 1: Hilbert Spaces and Applications Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.

More information

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties

More information

ADJOINT FOR OPERATORS IN BANACH SPACES

ADJOINT FOR OPERATORS IN BANACH SPACES ADJOINT FOR OPERATORS IN BANACH SPACES T. L. GILL, S. BASU, W. W. ZACHARY, AND V. STEADMAN Abstract. In this paper we show that a result of Gross and Kuelbs, used to study Gaussian measures on Banach spaces,

More information

Functional Analysis, Stein-Shakarchi Chapter 1

Functional Analysis, Stein-Shakarchi Chapter 1 Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises

More information

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,

More information

Variational and Topological methods : Theory, Applications, Numerical Simulations, and Open Problems 6-9 June 2012, Northern Arizona University

Variational and Topological methods : Theory, Applications, Numerical Simulations, and Open Problems 6-9 June 2012, Northern Arizona University Variational and Topological methods : Theory, Applications, Numerical Simulations, and Open Problems 6-9 June 22, Northern Arizona University Some methods using monotonicity for solving quasilinear parabolic

More information

Hilbert space methods for quantum mechanics. S. Richard

Hilbert space methods for quantum mechanics. S. Richard Hilbert space methods for quantum mechanics S. Richard Spring Semester 2016 2 Contents 1 Hilbert space and bounded linear operators 5 1.1 Hilbert space................................ 5 1.2 Vector-valued

More information

Kernel Method: Data Analysis with Positive Definite Kernels

Kernel Method: Data Analysis with Positive Definite Kernels Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University

More information

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system Electronic Journal of Differential Equations, Vol. 20082008), No. 119, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu login: ftp) EXISTENCE

More information

Eigenvalues and Eigenfunctions of the Laplacian

Eigenvalues and Eigenfunctions of the Laplacian The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors

More information

Elliptic Operators with Unbounded Coefficients

Elliptic Operators with Unbounded Coefficients Elliptic Operators with Unbounded Coefficients Federica Gregorio Universitá degli Studi di Salerno 8th June 2018 joint work with S.E. Boutiah, A. Rhandi, C. Tacelli Motivation Consider the Stochastic Differential

More information

************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan

************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan ************************************* Partial Differential Equations II (Math 849, Spring 2019) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.

More information

A Brief Introduction to Functional Analysis

A Brief Introduction to Functional Analysis A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with

More information

Semigroup Generation

Semigroup Generation Semigroup Generation Yudi Soeharyadi Analysis & Geometry Research Division Faculty of Mathematics and Natural Sciences Institut Teknologi Bandung WIDE-Workshoop in Integral and Differensial Equations 2017

More information

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As

More information

Introduction to Functional Analysis With Applications

Introduction to Functional Analysis With Applications Introduction to Functional Analysis With Applications A.H. Siddiqi Khalil Ahmad P. Manchanda Tunbridge Wells, UK Anamaya Publishers New Delhi Contents Preface vii List of Symbols.: ' - ix 1. Normed and

More information

Strong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback

Strong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback To appear in IMA J. Appl. Math. Strong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback Wei-Jiu Liu and Miroslav Krstić Department of AMES University of California at San

More information

A note on the σ-algebra of cylinder sets and all that

A note on the σ-algebra of cylinder sets and all that A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In

More information

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

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,

More information

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects... Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1

More information

8 Singular Integral Operators and L p -Regularity Theory

8 Singular Integral Operators and L p -Regularity Theory 8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation

More information

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

UNBOUNDED OPERATORS ON HILBERT SPACES. Let X and Y be normed linear spaces, and suppose A : X Y is a linear map. UNBOUNDED OPERATORS ON HILBERT SPACES EFTON PARK Let X and Y be normed linear spaces, and suppose A : X Y is a linear map. Define { } Ax A op = sup x : x 0 = { Ax : x 1} = { Ax : x = 1} If A

More information

RIESZ BASES AND UNCONDITIONAL BASES

RIESZ BASES AND UNCONDITIONAL BASES In this paper we give a brief introduction to adjoint operators on Hilbert spaces and a characterization of the dual space of a Hilbert space. We then introduce the notion of a Riesz basis and give some

More information

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,

More information

CONVERGENCE OF APPROXIMATING FIXED POINTS FOR MULTIVALUED NONSELF-MAPPINGS IN BANACH SPACES. Jong Soo Jung. 1. Introduction

CONVERGENCE OF APPROXIMATING FIXED POINTS FOR MULTIVALUED NONSELF-MAPPINGS IN BANACH SPACES. Jong Soo Jung. 1. Introduction Korean J. Math. 16 (2008), No. 2, pp. 215 231 CONVERGENCE OF APPROXIMATING FIXED POINTS FOR MULTIVALUED NONSELF-MAPPINGS IN BANACH SPACES Jong Soo Jung Abstract. Let E be a uniformly convex Banach space

More information

Chapter 6 Integral Transform Functional Calculi

Chapter 6 Integral Transform Functional Calculi Chapter 6 Integral Transform Functional Calculi In this chapter we continue our investigations from the previous one and encounter functional calculi associated with various semigroup representations.

More information

CHAPTER VIII HILBERT SPACES

CHAPTER VIII HILBERT SPACES CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically

More information