Forms and Operators

Forms and Operators

Lecture 5 Forms and operators Now we introduce the main object of this course – namely forms in Hilbert spaces. They are so popular in analysis because the Lax-Milgram lemma yields properties of existence and uniqueness which are best adapted for establishing weak solutions of elliptic partial differential equations. What is more, we already have the Lumer-Phillips machinery at our disposal, which allows us to go much further and to associate holomorphic semigroups with forms. 5.1 Forms: algebraic properties In this section we introduce forms and put together some algebraic properties. As domain we consider a vector space V over K. A sesquilinear form on V is a mapping a: V V K such that × → a(u + v, w) = a(u, w) + a(v, w), a(λu, w) = λa(u, w), a(u, v + w) = a(u, v) + a(u, w), a(u, λv) = λa(u, v) for all u, v, w V , λ K. ∈ ∈ If K = R, then a sesquilinear form is the same as a bilinear form. If K = C, then a is antilinear in the second variable: it is additive in the second variable but not homogeneous. Thus the form is linear in the first variable, whereas only half of the linearity conditions 1 are fulfilled for the second variable. The form is 1 2 -linear; or sesquilinear since the Latin ‘sesqui’ means ‘one and a half’. For simplicity we will mostly use the terminology form instead of sesquilinear form. A form a is called symmetric if a(u, v) = a(v, u)(u, v V ), ∈ and a is called accretive if Re a(u, u) 0 (u V ). > ∈ A symmetric form is also called positive if it is accretive. In the following we will also use the notation a(u) := a(u, u)(u V ) ∈ for the associated quadratic form. 50 5.1 Remarks. (a) If K = C, then each form a satisfies the polarisation identity 1 a(u, v) = a(u + v) a(u v) + ia(u + iv) ia(u iv) (u, v V ). 4 − − − − ∈ In particular, the form is determined by its quadratic terms. The identity also shows that a is symmetric if and only if a(u) R for all u V . This characterisation is obviously ∈ ∈ only true if K = C. So here we have a case where the choice of the field matters. (b) If K = C, then a is positive symmetric if and only if a(u) [0, ) for all u V . ∈ ∞ ∈ Now we may again consider K = C or R. Recall that a scalar product is a symmetric form a which is definite, i.e., a(u) > 0 for all u V 0 . For Schwarz’s inequality to hold we do not need definiteness. In fact, we may∈ even\{ consider} a version which involves two symmetric forms. This will be useful later on. Note that each form a satisfies the parallelogram identity a(u + v) + a(u v) = 2a(u) + 2a(v)(u, v V ). − ∈ 5.2 Proposition. (Schwarz’s inequality) Let a, b: V V K be two symmetric forms. Assume that a(u) b(u) for all u V . Then × → | | 6 ∈ a(u, v) b(u)1/2b(v)1/2 (u, v V ). (5.1) | | 6 ∈ Proof. Let u, v V . In order to show (5.1) we may assume that a(u, v) R (in the ∈ ∈ complex case replace u by γu with a suitable γ C, γ = 1). Then a(u, v) = a(v, u) by the symmetry of a, and therefore ∈ | | 1 a(u, v) = a(u + v) a(u v) . 4 − − Hence from the hypothesis one obtains 1 1 a(u, v) b(u + v) + b(u v) = b(u) + b(v) , | | 6 4 − 2 in virtue of the parallelogram identity. Let s > b(u)1/2, t > b(v)1/2. Then 1 1 1 b(u) b(v) a(u, v) = st a u, v st + st. | | s t 6 · 2 s2 t2 6 Taking the infimum over s and t we obtain (5.1). Finally, we introduce the adjoint form. Let a: V V K be a form. Then × → a∗(u, v) := a(v, u)(u, v V ) ∈ defines a form a∗ : V V K. Thus a is symmetric if and only if a = a∗. In the case of complex scalars, the× forms→ 1 1 Re a := (a + a∗) and Im a := (a a∗) 2 2i − 51 are symmetric and a = Re a + i Im a. We call Re a the real part and Im a the imaginary part of a. Note that (Re a)(u) = Re a(u) and (Im a)(u) = Im a(u) for all u V . ∈ There is another algebraic notion – only used for the case K = C – that will play a role in this course. A form a: V V C is sectorial if there exists θ [0, π/2) such that × → ∈ a(u) z C 0 ; Arg z θ 0 for all u V . If we want to specify the angle, we ∈ { ∈ \{ } | | 6 } ∪ { } ∈ say that a is sectorial of angle θ. It is obvious that a form a: V V C is sectorial if × → and only if there exists a constant c > 0 such that Im a(u) c Re a(u)(u V ). | | 6 ∈ (The angle θ and the constant c are related by c = tan θ.) 5.2 Representation theorems Now we consider the case where the underlying form domain is a Hilbert space V over K. An important result is the classical representation theorem of Riesz-Fr´echet: If η is a continuous linear functional on V , then there exists a unique u V such that ∈ η(v) = (v u) (v V ) | V ∈ (cf. [Bre83; Th´eor`emeV.5]). The purpose of this section is to generalise this result. First of all, in the complex case, it will be natural to consider the antidual V ∗ of V instead of the dual space V 0. More precisely, if K = R, then V ∗ = V 0 is the dual space of V , and if K = C, then we denote by V ∗ the space of all continuous antilinear functionals. (We recall that η : V C is called → antilinear if η(u + v) = η(u) + η(v) and η(λu) = λη(u) for all u, v V , λ C.) Then V ∗ ∈ ∈ is a Banach space over for the norm η = sup η(v) . For η V ∗ we frequently C V 0 v V 61 write k k k k | | ∈ η, v := η(v)(v V ). h i ∈ Of course, the theorem of Riesz-Fr´echet can be reformulated by saying that for each η V ∗ there exists a unique u V such that ∈ ∈ η(v) = (u v) (v V ). | V ∈ We will also need the Riesz isomorphism Φ: V V ∗, u (u ). It is easy to see that Φ is linear and isometric. The Riesz-Fr´echet theorem→ shows7→ that| ·Φ is surjective. Next we derive a slight generalisation of the Riesz-Fr´echet theorem, the omni-present Lax-Milgram lemma. A form a: V V K is called bounded if there exists M 0 such that × → > a(u, v) M u v (u, v V ). (5.2) | | 6 k kV k kV ∈ 52 It is not difficult to show that boundedness of a form is equivalent to continuity; see Exercise 5.1. The form is coercive if there exists α > 0 such that Re a(u) α u 2 (u V ). (5.3) > k kV ∈ If a: V V K is a bounded form, then × → u, v := a(u, v)(u, v V ) hA i ∈ defines a bounded operator : V V ∗ with (V,V ) 6 M, where M is the constant A → kAkL ∗ from (5.2). Incidentally, each bounded operator from V to V ∗ is of this form. Coercivity implies that is an isomorphism: this is the famous Lax-Milgram lemma. Before statingA and proving the Lax-Milgram lemma we treat the ‘operator version’. 5.3 Remark. Let A (V ) be coercive, i.e., ∈ L Re (Au u) α u 2 (u V ), | > k kV ∈ with some α > 0. Then, obviously, A αI is accretive, and Remark 3.20 implies that − 1 1 A αI is m-accretive. Therefore A = αI + (A αI) is invertible in (V ), and A− 6 α (see− Lemma 3.16, Remark 3.17 and Lemma 3.19).− L k k 5.4 Lemma. (Lax-Milgram) Let V be a Hilbert space, a: V V K a bounded and × → coercive form. Then the operator : V V ∗ defined above is an isomorphism and 1 1 A → − (V ,V ) 6 α , with α > 0 from (5.3). kA kL ∗ Proof. Composing with the inverse of the Riesz isomorphism Φ: V V ∗ we obtain an 1 A → operator Φ− (V ) satisfying A ∈ L 1 2 Re Φ− u u = Re u, u = Re a(u, u) α u (u V ). A hA i > k k ∈ 1 1 1 1 From Remark 5.3 we conclude that Φ− is invertible in (V ), and (Φ− )− 6 α . As Φ is an isometric isomorphism we obtainA the assertions. L k A k If the form is symmetric, then the Lax-Milgram lemma is the same as the theorem of Riesz-Fr´echet. In fact, then a is an equivalent scalar product, i.e., a(u)1/2 defines an equivalent norm on V . 5.3 Semigroups by forms, the complete case Here we come to the heart of the course: we prove the first generation theorem. With a coercive form we associate an operator that is m-sectorial and thus yields a contractive, holomorphic semigroup.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    12 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us