Lecture Notes: Lax-Milgram Method and Unbounded Operators

Total Page:16

File Type:pdf, Size:1020Kb

Lecture Notes: Lax-Milgram Method and Unbounded Operators ANALYSIS TOOLS WITH APPLICATIONS 533 29. Unbounded operators and quadratic forms 29.1. Unbounded operator basics. Definition 29.1. If X and Y are Banach spaces and D is a subspace of X,thena linear transformation T from D into Y is called a linear transformation (or operator) from X to Y with domain D. We will sometimes wr If D is dense in X, T is said to be densely defined. Notation 29.2. If S and T are operators from X to Y with domains D(S)and D(T )andifD(S) D(T )andSx = Tx for x D(S), then we say T is an extension of S and write⊂ S T. ∈ ⊂ We note that X Y is a Banach space in the norm × x, y = x 2 + y 2. kh ik k k k k If H and K are Hilbert spaces, then Hp K and K H become Hilbert spaces by defining × × ( x, y , x0,y0 )H K := (x, x0)H +(y,y0)K h i h i × and ( y, x , y0,x0 )K H := (x, x0)H +(y,y0)K . h i h i × Definition 29.3. If T is an operator from X to Y with domain D,thegraphof T is Γ(T ):= x, Dx : x D(T ) H K. {h i ∈ } ⊂ × Note that Γ(T )isasubspaceofX Y . × Definition 29.4. An operator T : X Y is closedif Γ(T )isclosedinX Y. → × Remark 29.5. It is easy to see that T is closed iff for all sequences xn D such ∈ that there exists x X and y Y such that xn x and Txn y implies that x and Tx = y. ∈ ∈ → → ∈ D Let H be a Hilbert space with inner product ( , )andnorm v := (v, v). As · · k k usual we will write H for the continuous dual of H and H for the continuous ∗ ∗ p conjugate linear functionals on H. Our convention will be that ( ,v) H∗ is linear while (v, ) H is conjugate linear for all v H. · ∈ · ∈ ∗ ∈ Lemma 29.6. Suppose that T : H K is a densely defined operator between two Hilbert spaces H and K. Then → (1) T ∗ isalwaysaclosedbutnotnecessarilydenselydefined operator. (2) If T is closable, then T¯∗ = T ∗. (3) T is closable iff T ∗ : K H is densely defined. → (4) If T is closable then T¯ = T ∗∗. Proof. Suppose vn D(T ) is a sequence such that vn 0inH and Tvn k { } ⊂ → → in K as n . Then for l D(T ∗), by passing to the limit in the equality, →∞ ∈ (Tvn,l)=(vn,T∗l)welearn(k, l)=(0,T∗l)=0. Hence if T ∗ is densely defined, this implies k = 0 and hence T is closable. This proves one direction in item 3. To prove the other direction and the remaining items of the Lemma it will be useful to express the graph of T ∗ in terms of the graph of T. We do this now. Recall that k D(T ∗)andT ∗k = h iff (k, Tx)K =(h, x)H for all x D(T ). ∈ ∈ This last condition may be written as (k, y)K (h, x)H =0forall x, y Γ(T ). − h i ∈ 534 BRUCE K. DRIVER† Let V : H K K H be the unitary map defined by V x, y = y, x . With × → × h i h− i this notation, we have k, h Γ(T ∗)iff k, h V Γ(T ), i.e. h i ∈ h i ⊥ (29.1) Γ(T ∗)=(V Γ(T ))⊥ = V (Γ(T )⊥), where the last equality is a consequence of V being unitary. As a consequence of Eq. (29.1), Γ(T ∗)isalwaysclosedandhenceT ∗ is always a closed operator, and this proves item 1. Moreover if T is closable, then Γ(T ∗)=V Γ(T )⊥ = V Γ(T )⊥ = V Γ(T¯)⊥ = Γ(T¯∗) which proves item 2. Now suppose T is closable and k (T ∗). Then ⊥ D k, 0 Γ(T ∗)⊥ = V Γ(T )⊥⊥ = V Γ(T )=V Γ(T¯), h i ∈ where T¯ denotes the closure of T. This implies that 0,k Γ(T¯). But T¯ is a well defined operator (by the assumption that T is closable)h i and∈ hence k = T¯0=0. Hencewehaveshown (T ∗)⊥ = 0 which implies (T ∗)isdenseinK. This completestheproofofitem3.D { } D 4. Now assume T is closable so that T ∗ is densely defined. Using the obvi- ous analogue of Eq. (29.1) for T ∗ we learn Γ(T ∗∗)=UΓ(T ∗)⊥ where U y, x = 1 h i x, y = V − y, x . Therefore, h− i − h i Γ(T ∗∗)=UV(Γ(T )⊥)⊥ = Γ(T )=Γ(T )=Γ(T¯) − and hence T¯ = T ∗∗. Lemma 29.7. Suppose that H and K are Hilbert spaces, T : H K is a densely → defined operator which has a densely defined adjoint T ∗. Then Nul(T ∗)=Ran(T )⊥ and Nul(T¯)=Ran(T ∗)⊥ where T¯ denotes the closure of T. Proof. Suppose that k Nul(T ∗)andh (T ), then (k, Th)=(T ∗k, h)=0. ∈ ∈ D Since h (T ) is arbitrary, this proves that Nul(T ∗) Ran(T )⊥. Now suppose ∈ D ⊂ that k Ran(T )⊥. Then 0 = (k, Th) for all h D(T ). This shows that k (T ∗) ∈ ∈ ∈ D and that T ∗k =0. The assertion Nul(T¯)=Ran(T ∗)⊥ follows by replacing T by T ∗ in the equality, Nul(T ∗) = Ran(T )⊥. Definition 29.8. Aquadraticformq on H is a dense subspace (q) H called D ⊂ the domain of q and a sesquilinear form q : (q) (q) C. (Sesquilinear means that q( ,v) is linear while q(v, ) is conjugateD linear×D on →(q) for all v (q).)The · · D ∈ D form q is symmetric if q(v, w)=q(w, v) for all v, w (q),qis positive if q(v) 0(hereq(v)=q(v, v)) for all v (q), and q is∈semi-boundedD if there ≥ ∈ D 2 exists M0 (0, ) such that q(v,v) M0 v for all v (q). ∈ ∞ ≥− k k ∈ D 29.2. Lax-Milgram Methods. For the rest of this section q will be a sesquilinear form on H and to simplify notation we will write X for (q). D Theorem 29.9 (Lax-Milgram). Let q : X X C be a sesquilinear form and suppose the following added assumptions hold.× → (1) X is equipped with a Hilbertian inner product ( , )X . (2) The form q is bounded on X, i.e. there exists a· constant· C< such that ∞ q(v,w) C v X w X for all v,w X. | | ≤ k k ·k k ∈ 2 (3) The form q is coercive, i.e. there exists >0 such that q(v,v) v X for all v X. | | ≥ k k ∈ ANALYSIS TOOLS WITH APPLICATIONS 535 Then the maps : X X and † : X X∗ defined by v := q(v, ) and L → ∗ L → L · †v := q( ,v) are linear and (respectively) conjugate linear isomorphisms of Hilbert spaces.L Moreover· 1 1 1 1 − − and ( †)− − . kL k ≤ k L k ≤ Proof. The operator is bounded because L q(v,w) (29.2) v X =sup| | C v X . kL k ∗ w=0 w X ≤ k k 6 k k Similarly † is bounded with † C. L L ≤ Let β : X X∗ denote the linear Riesz isomorphism defined by β(x)=(x, )X → 1 ° ° · for x X. Define R := β− :°X ° X so that = βR, i.e. ∈ L → L v = q(v, )=(Rv, )X for all v X. L · · ∈ Notice that R is a bounded linear mapwithoperatorboundlessthanC by Eq. (29.2). Since †v (w)=q(w, v)=(Rw, v)X =(w, R∗v)X for all v,w X, L ∈ ¯ 1 ¯ we see that¡ †¢v =(,R∗v)X , i.e. R∗ = β− †, where β(x):=(x, )X =(,x)X . Since β and βL¯ are linear· and conjugate linearL isometric isomorphisms,· to finish· the 1 1 proof it suffices to show R is invertible and that R− X − . Since k k ≤ 2 (29.3) (v, R∗v)X = (Rv, v)X = q(v,v) v , | | | | | | ≥ k kX one easily concludes that Nul(R)= 0 =Nul(R∗). By Lemma 29.7, Ran(R)= { } Nul(R∗)⊥ = 0 ⊥ = X and so we have shown R : X X is injective and has a { } → 2 dense range. From Eq. (29.3) and the Schwarz inequality, v X Rv X v X , i.e. k k ≤ k k k k (29.4) Rv X v X for all v X. k k ≥ k k ∈ This inequality proves the range of R is closed. Indeed if vn is a sequence in X { } such that Rvn w X as n then Eq. (29.4) implies → ∈ →∞ vn vm X Rvn Rvm X 0asm, n . k − k ≤ k − k → →∞ Thus v := limn vn exists in X and hence w = Rv Ran(R) and so Ran(R)= X →∞ ∈ Ran(R) = X. So R : X X is a bijective map and hence invertible. By replacing 1 → 1 v by R− v in Eq. (29.4) we learn R− is bounded with operator norm no larger 1 than − . Theorem 29.10. Let q be a bounded coercive sesquilinear form on X as in Theorem 29.9. Further assume that the inclusion map i : X H is bounded and let L and → L† be the unbounded linear operators on H defined by: (L):= v X : w X q(v, w) is H - continuous , D { ∈ ∈ → } (L†):= w X : v X q(v, w) is H - continuous D { ∈ ∈ → } and for v (L) and w (L†) define Lv H and L†w H by requiring ∈ D ∈ D ∈ ∈ q(v, )=(Lv, ) and q( ,w)=(,L†w). · · · · Then (L) and (L†) are dense subspaces of X and hence of H.
Recommended publications
  • Adjoint of Unbounded Operators on Banach Spaces
    November 5, 2013 ADJOINT OF UNBOUNDED OPERATORS ON BANACH SPACES M.T. NAIR Banach spaces considered below are over the field K which is either R or C. Let X be a Banach space. following Kato [2], X∗ denotes the linear space of all continuous conjugate linear functionals on X. We shall denote hf; xi := f(x); x 2 X; f 2 X∗: On X∗, f 7! kfk := sup jhf; xij kxk=1 defines a norm on X∗. Definition 1. The space X∗ is called the adjoint space of X. Note that if K = R, then X∗ coincides with the dual space X0. It can be shown, analogues to the case of X0, that X∗ is a Banach space. Let X and Y be Banach spaces, and A : D(A) ⊆ X ! Y be a densely defined linear operator. Now, we st out to define adjoint of A as in Kato [2]. Theorem 2. There exists a linear operator A∗ : D(A∗) ⊆ Y ∗ ! X∗ such that hf; Axi = hA∗f; xi 8 x 2 D(A); f 2 D(A∗) and for any other linear operator B : D(B) ⊆ Y ∗ ! X∗ satisfying hf; Axi = hBf; xi 8 x 2 D(A); f 2 D(B); D(B) ⊆ D(A∗) and B is a restriction of A∗. Proof. Suppose D(A) is dense in X. Let S := ff 2 Y ∗ : x 7! hf; Axi continuous on D(A)g: For f 2 S, define gf : D(A) ! K by (gf )(x) = hf; Axi 8 x 2 D(A): Since D(A) is dense in X, gf has a unique continuous conjugate linear extension to all ∗ of X, preserving the norm.
    [Show full text]
  • Majorana Spinors
    MAJORANA SPINORS JOSE´ FIGUEROA-O'FARRILL Contents 1. Complex, real and quaternionic representations 2 2. Some basis-dependent formulae 5 3. Clifford algebras and their spinors 6 4. Complex Clifford algebras and the Majorana condition 10 5. Examples 13 One dimension 13 Two dimensions 13 Three dimensions 14 Four dimensions 14 Six dimensions 15 Ten dimensions 16 Eleven dimensions 16 Twelve dimensions 16 ...and back! 16 Summary 19 References 19 These notes arose as an attempt to conceptualise the `symplectic Majorana{Weyl condition' in 5+1 dimensions; but have turned into a general discussion of spinors. Spinors play a crucial role in supersymmetry. Part of their versatility is that they come in many guises: `Dirac', `Majorana', `Weyl', `Majorana{Weyl', `symplectic Majorana', `symplectic Majorana{Weyl', and their `pseudo' counterparts. The tra- ditional physics approach to this topic is a mixed bag of tricks using disparate aspects of representation theory of finite groups. In these notes we will attempt to provide a uniform treatment based on the classification of Clifford algebras, a work dating back to the early 60s and all but ignored by the theoretical physics com- munity. Recent developments in superstring theory have made us re-examine the conditions for the existence of different kinds of spinors in spacetimes of arbitrary signature, and we believe that a discussion of this more uniform approach is timely and could be useful to the student meeting this topic for the first time or to the practitioner who has difficulty remembering the answer to questions like \when do symplectic Majorana{Weyl spinors exist?" The notes are organised as follows.
    [Show full text]
  • Chapter IX. Tensors and Multilinear Forms
    Notes c F.P. Greenleaf and S. Marques 2006-2016 LAII-s16-quadforms.tex version 4/25/2016 Chapter IX. Tensors and Multilinear Forms. IX.1. Basic Definitions and Examples. 1.1. Definition. A bilinear form is a map B : V V C that is linear in each entry when the other entry is held fixed, so that × → B(αx, y) = αB(x, y)= B(x, αy) B(x + x ,y) = B(x ,y)+ B(x ,y) for all α F, x V, y V 1 2 1 2 ∈ k ∈ k ∈ B(x, y1 + y2) = B(x, y1)+ B(x, y2) (This of course forces B(x, y)=0 if either input is zero.) We say B is symmetric if B(x, y)= B(y, x), for all x, y and antisymmetric if B(x, y)= B(y, x). Similarly a multilinear form (aka a k-linear form , or a tensor− of rank k) is a map B : V V F that is linear in each entry when the other entries are held fixed. ×···×(0,k) → We write V = V ∗ . V ∗ for the set of k-linear forms. The reason we use V ∗ here rather than V , and⊗ the⊗ rationale for the “tensor product” notation, will gradually become clear. The set V ∗ V ∗ of bilinear forms on V becomes a vector space over F if we define ⊗ 1. Zero element: B(x, y) = 0 for all x, y V ; ∈ 2. Scalar multiple: (αB)(x, y)= αB(x, y), for α F and x, y V ; ∈ ∈ 3. Addition: (B + B )(x, y)= B (x, y)+ B (x, y), for x, y V .
    [Show full text]
  • The Notion of Observable and the Moment Problem for ∗-Algebras and Their GNS Representations
    The notion of observable and the moment problem for ∗-algebras and their GNS representations Nicol`oDragoa, Valter Morettib Department of Mathematics, University of Trento, and INFN-TIFPA via Sommarive 14, I-38123 Povo (Trento), Italy. [email protected], [email protected] February, 17, 2020 Abstract We address some usually overlooked issues concerning the use of ∗-algebras in quantum theory and their physical interpretation. If A is a ∗-algebra describing a quantum system and ! : A ! C a state, we focus in particular on the interpretation of !(a) as expectation value for an algebraic observable a = a∗ 2 A, studying the problem of finding a probability n measure reproducing the moments f!(a )gn2N. This problem enjoys a close relation with the selfadjointness of the (in general only symmetric) operator π!(a) in the GNS representation of ! and thus it has important consequences for the interpretation of a as an observable. We n provide physical examples (also from QFT) where the moment problem for f!(a )gn2N does not admit a unique solution. To reduce this ambiguity, we consider the moment problem n ∗ (a) for the sequences f!b(a )gn2N, being b 2 A and !b(·) := !(b · b). Letting µ!b be a n solution of the moment problem for the sequence f!b(a )gn2N, we introduce a consistency (a) relation on the family fµ!b gb2A. We prove a 1-1 correspondence between consistent families (a) fµ!b gb2A and positive operator-valued measures (POVM) associated with the symmetric (a) operator π!(a). In particular there exists a unique consistent family of fµ!b gb2A if and only if π!(a) is maximally symmetric.
    [Show full text]
  • Compactification of Classical Groups
    COMMUNICATIONS IN ANALYSIS AND GEOMETRY Volume 10, Number 4, 709-740, 2002 Compactification of Classical Groups HONGYU HE 0. Introduction. 0.1. Historical Notes. Compactifications of symmetric spaces and their arithmetic quotients have been studied by many people from different perspectives. Its history went back to E. Cartan's original paper ([2]) on Hermitian symmetric spaces. Cartan proved that a Hermitian symmetric space of noncompact type can be realized as a bounded domain in a complex vector space. The com- pactification of Hermitian symmetric space was subsequently studied by Harish-Chandra and Siegel (see [16]). Thereafter various compactifications of noncompact symmetric spaces in general were studied by Satake (see [14]), Furstenberg (see [3]), Martin (see [4]) and others. These compact- ifications are more or less of the same nature as proved by C. Moore (see [11]) and by Guivarc'h-Ji-Taylor (see [4]). In the meanwhile, compacti- fication of the arithmetic quotients of symmetric spaces was explored by Satake (see [15]), Baily-Borel (see [1]), and others. It plays a significant role in the theory of automorphic forms. One of the main problems involved is the analytic properties of the boundary under the compactification. In all these compactifications that have been studied so far, the underlying compact space always has boundary. For a more detailed account of these compactifications, see [16] and [4]. In this paper, motivated by the author's work on the compactification of symplectic group (see [9]), we compactify all the classical groups. One nice feature of our compactification is that the underlying compact space is a symmetric space of compact type.
    [Show full text]
  • Forms on Inner Product Spaces
    FORMS ON INNER PRODUCT SPACES MARIA INFUSINO PROSEMINAR ON LINEAR ALGEBRA WS2016/2017 UNIVERSITY OF KONSTANZ Abstract. This note aims to give an introduction on forms on inner product spaces and their relation to linear operators. After briefly recalling some basic concepts from the theory of linear operators on inner product spaces, we focus on the space of forms on a real or complex finite-dimensional vector space V and show that it is isomorphic to the space of linear operators on V . We also describe the matrix representation of a form with respect to an ordered basis of the space on which it is defined, giving special attention to the case of forms on finite-dimensional complex inner product spaces and in particular to Hermitian forms. Contents Introduction 1 1. Preliminaries 1 2. Sesquilinear forms on inner product spaces 3 3. Matrix representation of a form 4 4. Hermitian forms 6 Notes 7 References 8 FORMS ON INNER PRODUCT SPACES 1 Introduction In this note we are going to introduce the concept of forms on an inner product space and describe some of their main properties (c.f. [2, Section 9.2]). The notion of inner product is a basic notion in linear algebra which allows to rigorously in- troduce on any vector space intuitive geometrical notions such as the length of an element and the orthogonality between two of them. We will just recall this notion in Section 1 together with some basic examples (for more details on this structure see e.g. [1, Chapter 3], [2, Chapter 8], [3]).
    [Show full text]
  • Multiple Operator Integrals: Development and Applications
    Multiple Operator Integrals: Development and Applications by Anna Tomskova A thesis submitted for the degree of Doctor of Philosophy at the University of New South Wales. School of Mathematics and Statistics Faculty of Science May 2017 PLEASE TYPE THE UNIVERSITY OF NEW SOUTH WALES Thesis/Dissertation Sheet Surname or Family name: Tomskova First name: Anna Other name/s: Abbreviation for degree as given in the University calendar: PhD School: School of Mathematics and Statistics Faculty: Faculty of Science Title: Multiple Operator Integrals: Development and Applications Abstract 350 words maximum: (PLEASE TYPE) Double operator integrals, originally introduced by Y.L. Daletskii and S.G. Krein in 1956, have become an indispensable tool in perturbation and scattering theory. Such an operator integral is a special mapping defined on the space of all bounded linear operators on a Hilbert space or, when it makes sense, on some operator ideal. Throughout the last 60 years the double and multiple operator integration theory has been greatly expanded in different directions and several definitions of operator integrals have been introduced reflecting the nature of a particular problem under investigation. The present thesis develops multiple operator integration theory and demonstrates how this theory applies to solving of several deep problems in Noncommutative Analysis. The first part of the thesis considers double operator integrals. Here we present the key definitions and prove several important properties of this mapping. In addition, we give a solution of the Arazy conjecture, which was made by J. Arazy in 1982. In this part we also discuss the theory in the setting of Banach spaces and, as an application, we study the operator Lipschitz estimate problem in the space of all bounded linear operators on classical Lp-spaces of scalar sequences.
    [Show full text]
  • Class Notes, Functional Analysis 7212
    Class notes, Functional Analysis 7212 Ovidiu Costin Contents 1 Banach Algebras 2 1.1 The exponential map.....................................5 1.2 The index group of B = C(X) ...............................6 1.2.1 p1(X) .........................................7 1.3 Multiplicative functionals..................................7 1.3.1 Multiplicative functionals on C(X) .........................8 1.4 Spectrum of an element relative to a Banach algebra.................. 10 1.5 Examples............................................ 19 1.5.1 Trigonometric polynomials............................. 19 1.6 The Shilov boundary theorem................................ 21 1.7 Further examples....................................... 21 1.7.1 The convolution algebra `1(Z) ........................... 21 1.7.2 The return of Real Analysis: the case of L¥ ................... 23 2 Bounded operators on Hilbert spaces 24 2.1 Adjoints............................................ 24 2.2 Example: a space of “diagonal” operators......................... 30 2.3 The shift operator on `2(Z) ................................. 32 2.3.1 Example: the shift operators on H = `2(N) ................... 38 3 W∗-algebras and measurable functional calculus 41 3.1 The strong and weak topologies of operators....................... 42 4 Spectral theorems 46 4.1 Integration of normal operators............................... 51 4.2 Spectral projections...................................... 51 5 Bounded and unbounded operators 54 5.1 Operations..........................................
    [Show full text]
  • Riesz-Like Bases in Rigged Hilbert Spaces, in Preparation [14] Bonet, J., Fern´Andez, C., Galbis, A
    RIESZ-LIKE BASES IN RIGGED HILBERT SPACES GIORGIA BELLOMONTE AND CAMILLO TRAPANI Abstract. The notions of Bessel sequence, Riesz-Fischer sequence and Riesz basis are generalized to a rigged Hilbert space D[t] ⊂H⊂D×[t×]. A Riesz- like basis, in particular, is obtained by considering a sequence {ξn}⊂D which is mapped by a one-to-one continuous operator T : D[t] → H[k · k] into an orthonormal basis of the central Hilbert space H of the triplet. The operator T is, in general, an unbounded operator in H. If T has a bounded inverse then the rigged Hilbert space is shown to be equivalent to a triplet of Hilbert spaces. 1. Introduction Riesz bases (i.e., sequences of elements ξn of a Hilbert space which are trans- formed into orthonormal bases by some bounded{ } operator withH bounded inverse) often appear as eigenvectors of nonself-adjoint operators. The simplest situation is the following one. Let H be a self-adjoint operator with discrete spectrum defined on a subset D(H) of the Hilbert space . Assume, to be more definite, that each H eigenvalue λn is simple. Then the corresponding eigenvectors en constitute an orthonormal basis of . If X is another operator similar to H,{ i.e.,} there exists a bounded operator T withH bounded inverse T −1 which intertwines X and H, in the sense that T : D(H) D(X) and XT ξ = T Hξ, for every ξ D(H), then, as it is → ∈ easily seen, the vectors ϕn with ϕn = Ten are eigenvectors of X and constitute a Riesz basis for .
    [Show full text]
  • Orthogonal, Symplectic and Unitary Representations of Finite Groups
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 353, Number 12, Pages 4687{4727 S 0002-9947(01)02807-0 Article electronically published on June 27, 2001 ORTHOGONAL, SYMPLECTIC AND UNITARY REPRESENTATIONS OF FINITE GROUPS CARL R. RIEHM Abstract. Let K be a field, G a finite group, and ρ : G ! GL(V ) a linear representation on the finite dimensional K-space V . The principal problems considered are: I. Determine (up to equivalence) the nonsingular symmetric, skew sym- metric and Hermitian forms h : V × V ! K which are G-invariant. II. If h is such a form, enumerate the equivalence classes of representations of G into the corresponding group (orthogonal, symplectic or unitary group). III. Determine conditions on G or K under which two orthogonal, sym- plectic or unitary representations of G are equivalent if and only if they are equivalent as linear representations and their underlying forms are \isotypi- cally" equivalent. This last condition means that the restrictions of the forms to each pair of corresponding isotypic (homogeneous) KG-module components of their spaces are equivalent. We assume throughout that the characteristic of K does not divide 2jGj. Solutions to I and II are given when K is a finite or local field, or when K is a global field and the representation is \split". The results for III are strongest when the degrees of the absolutely irreducible representations of G are odd { for example if G has odd order or is an Abelian group, or more generally has a normal Abelian subgroup of odd index { and, in the case that K is a local or global field, when the representations are split.
    [Show full text]
  • Some Elements of Functional Analysis
    Some elements of functional analysis J´erˆome Le Rousseau January 8, 2019 Contents 1 Linear operators in Banach spaces 1 2 Continuous and bounded operators 2 3 Spectrum of a linear operator in a Banach space 3 4 Adjoint operator 4 5 Fredholm operators 4 5.1 Characterization of bounded Fredholm operators ............ 5 6 Linear operators in Hilbert spaces 10 Here, X and Y will denote Banach spaces with their norms denoted by k.kX , k.kY , or simply k.k when there is no ambiguity. 1 Linear operators in Banach spaces An operator A from X to Y is a linear map on its domain, a linear subspace of X, to Y . One denotes by D(A) the domain of this operator. An operator from X to Y is thus characterized by its domain and how it acts on this domain. Operators defined this way are usually referred to as unbounded operators. One writes (A, D(A)) to denote the operator along with its domain. The set of linear operators from X to Y is denoted by L (X,Y ). If D(A) is dense in X the operator is said to be densely defined. If D(A) = X one says that the operator A is on X to Y . The range of the operator is denoted by Ran(A), that is, Ran(A)= {Ax; x ∈ D(A)} ⊂ Y, 1 and its kernel, ker(A), is the set of all x ∈ D(A) such that Ax = 0. The graph of A, G(A), is given by G(A)= {(x, Ax); x ∈ D(A)} ⊂ X × Y.
    [Show full text]
  • On Lifting of Operators to Hilbert Spaces Induced by Positive Selfadjoint Operators
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE J. Math. Anal. Appl. 304 (2005) 584–598 provided by Elsevier - Publisher Connector www.elsevier.com/locate/jmaa On lifting of operators to Hilbert spaces induced by positive selfadjoint operators Petru Cojuhari a, Aurelian Gheondea b,c,∗ a Department of Applied Mathematics, AGH University of Science and Technology, Al. Mickievicza 30, 30-059 Cracow, Poland b Department of Mathematics, Bilkent University, 06800 Bilkent, Ankara, Turkey c Institutul de Matematic˘a al Academiei Române, C.P. 1-764, 70700 Bucure¸sti, Romania Received 10 May 2004 Available online 29 January 2005 Submitted by F. Gesztesy Abstract We introduce the notion of induced Hilbert spaces for positive unbounded operators and show that the energy spaces associated to several classical boundary value problems for partial differential operators are relevant examples of this type. The main result is a generalization of the Krein–Reid lifting theorem to this unbounded case and we indicate how it provides estimates of the spectra of operators with respect to energy spaces. 2004 Elsevier Inc. All rights reserved. Keywords: Energy space; Induced Hilbert space; Lifting of operators; Boundary value problems; Spectrum 1. Introduction One of the central problem in spectral theory refers to the estimation of the spectra of linear operators associated to different partial differential equations. Depending on the specific problem that is considered, we have to choose a certain space of functions, among * Corresponding author. E-mail addresses: [email protected] (P. Cojuhari), [email protected], [email protected] (A.
    [Show full text]