A Dissertation Entitled Sobolev Gradient Semi-Flows & Applications

Total Page:16

File Type:pdf, Size:1020Kb

A Dissertation Entitled Sobolev Gradient Semi-Flows & Applications A Dissertation entitled Sobolev Gradient Semi-flows & Applications to Nonlinear Problems by Ramesh Karki Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Doctor of Philosophy Degree in Mathematics Dr. Alessandro Arsie, Committee Chair Dr. Denis A. White, Committee Member Dr. Franco Cardin, Committee Member Dr. Gregory S. Spradlin, Committee Member Dr. Mao-Pei Tsui, Committee Member Dr. Patricia R. Komuniecki, Dean College of Graduate Studies The University of Toledo May 2015 Copyright 2015, Ramesh Karki This document is copyrighted material. Under copyright law, no parts of this document may be reproduced without the expressed permission of the author. An Abstract of Sobolev Gradient Semi-flows & Applications to Nonlinear Problems by Ramesh Karki Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Doctor of Philosophy Degree in Mathematics The University of Toledo May 2015 We are interested in solving nonlinear pseudo-differential equations (in particular, partial differential equations as well) involving fractional powers of uniformly ellip- tic self-adjoint operators of order two with suitable smoothness conditions on the coefficients subject to given (Dirichlet or periodic) boundary conditions. Under the stronger assumptions, we are interested in studying solutions in a special class whose elements satisfy non-selfintersecting property and have bounded distance from a given hyperplane, since such solutions are the analogue for Aubrey-Mather sets for ODEs and leaves of minimal foliations or laminations for PDEs . To solve such a ΨDE, we will start by introducing an energy type functional whose Euler-Lagrange equation is the pseudo-differential equation itself. As we seek to minimize this functional, we will introduce the Sobolev gradient of the functional as an element of a suitable Sobolev space and then we consider the gradient descent equation subject to appropriate ini- tial and boundary conditions. The equilibrium solutions of this Sobolev gradient descent equation are the critical points we are looking for. Now the first step of our work will be to construct a semi-flow corresponding to the aforementioned initial-boundary value problem. So we will prove the existence, uniqueness, regularity, and comparison properties related to the semi-flow. Then iii the next step will be to analyze the convergence of this semi-flow to an equilibrium solution to this initial-boundary value problem. In our work, we will adapt two methods: analytical method and numerical method. We apply various analytical tools to establish the general results and numerical tools to study concrete solutions of particular pseudo-differential or partial differential equations. iv Dedicated to \My Professors, Teachers, Family, and Friends" who have directly or indirectly supported me in my academic life Acknowledgments I would like to sincerely thank my Ph. D. adviser Prof. Alessandro Arsie for his continuous advice and tireless support to develop foundation in my research area and successfully establish main results and many other technical results included in this dissertation. I would like to thank my dissertation committee members Dr. Denis A. White, Dr. Mao-Pei Tsui, Dr. Franco Cardin and Dr. Gregory Spradlin for their careful reading of this manuscript, feedback and suggestions. I would also like to thank Dr. Timothy Blass and Prof. Rafael de lLave for their support in many ways. Their kind responses of my questions in emails and in person during several meetings, their help on providing notes, papers and books, and giving comments were instrumental to proceed my research work ahead. I am particularly indebted to my good friends and professors Dr. Akaki Tikaradze, Dr. Vani Cheruvu, Dr. Santosh Kandel, Dr. Harihar Khanal, who have been help- ing me discuss on several topics and problems, giving me valuable suggestions and encouragements to obtain my academic achievements by several means. Finally, I would like to express my sincere thanks to my family, many other friends, colleagues, and professors who have influenced directly and indirectly in my academic life so that their support has immensely helped me obtain my academic achievements. Ramesh Karki vi Contents Abstract iii Acknowledgments vi Contents vii List of Abbreviations x List of Symbols xi Preface xii 1 Introduction 1 2 Some Preliminaries 5 2.1 Euler-Lagrange Equation . .5 2.2 Sobolev Spaces . .7 2.2.1 When Ω = Td ...........................7 2.2.2 When Ω is an open bounded domain . 10 2.3 Sobolev Gradients . 11 2.4 Sobolev Gradient Descent Equations . 14 2.5 Semigroups And Fractional Powers of Linear Operators . 16 2.6 The Spectral Property For An Unbounded Self-adjoint Operator On A Hilbert Space . 22 2.7 Main Results . 23 vii 2.7.1 Existence, Uniqueness & Regularity . 23 2.7.2 The Comparison Principles . 24 2.7.3 Applications To Semilinear ΨDEs . 25 2.7.4 Numerical Solutions To Some ΨDEs . 25 3 Characterization of Sobolev Spaces and Fractional Powers of Oper- ators 27 3.1 Characterization of L2(Ω)........................ 27 3.2 Characterizations of Hα(Ω); Hαβ(Ω) and Fractional Powers of Oper- ators on L2(Ω).............................. 28 3.3 Fractional Powers of Operators on Hαβ(Ω)............... 30 4 Constructions of Semigroups, Comparison, Regularity & Bounded- ness 32 4.1 Constructions of Semigroups and Comparison . 33 4.2 Regularity and Boundedness of e−tAα .................. 37 4.3 Constructions of Semigroups and Comparison, revisited . 41 4.4 Regularity and Boundeness Properties of etL .............. 46 5 The Proofs of Main Results 50 5.1 The Proofs of Main Theorems Under L2-gradient . 50 5.1.1 Some Preliminaries . 50 5.1.2 The Proof of Theorem 2.7.1 . 54 5.1.3 The Proof of Theorem 2.7.3 . 58 5.2 The Proofs of Main Theorems Under Hαβ-gradient . 62 5.2.1 Some Preliminaries (Revisited) . 62 5.2.2 The Proof of Theorem 2.7.2 . 65 5.2.3 The Proof of Theorem 2.7.4 . 70 viii 6 Applications to Semilinear Pseudo Differential Equations 75 6.1 Nonself-intersecting Solutions . 76 6.2 A Generalization of Minimal Foliations (or Minimal Laminations) & Invariant Tori (or Aubry-Mather Sets) . 77 6.3 The Proof of Theorem 2.7.5 . 82 6.4 Regularity in Some Special Cases . 91 6.5 Numerical Solutions to Some Semilinear PDEs and ΨDEs . 92 References 100 A Pseudo-differential Operators 103 B MATLAB Programmings 107 B.1 Code for Example 6.5.1 . 107 ix List of Abbreviations E-L . Euler-Lagrange ACP ...................... abstract Cauchy aroblem IVP . initial value problem IBVP . initial-boundary value problem ΨDE . pseudo-differential equation PDE . partial differential equation ODE . ordinary differetial equation FFT . fast Fourier transform DFT . discrete Fourier transform x List of Symbols R ........... The set of real numbers N ........... The set of positive integers NTd ........ The torus or N copies of [0;N]d or Rd=NZd C1(Ω)..... The space of smooth functions in Ω 1 Cc (Ω)..... The space of smooth functions with compact supports in Ω S(R)........ The Schwarz space of rapidly decreasing smooth functions 0 1 D (Ω)....... The space of distributions or dual of Cc (Ω) S0(R)....... The space of tempered distributions or dual of S(R) L1(Ω)...... The space of functions whose essentialsup norm is finite L2(Ω)....... The space of functions (more generally distributions) which are square integrable over Ω and satisfy either periodic or Dirichlet boundary conditions Hk(Ω)...... Sobolev space of order k consisting of distributions in L2(Ω) whose weak partial derivatives of orders ≤ k, k 2 Z+ are in L2(Ω) Hs(Ω)...... Fractional order Sobolev space of order s Hαs(Ω)..... Fractional order Sobolev space of order αs Inner Products( :; :)L2 = (:; :)L2(Ω) ; (:; :)αβ = (:; :)Hαβ (Ω) ; (:; :)αs = (:; :)Hαs(Ω) ; (:; :)s = (:; :)Hs(Ω) ; (:; :)k = (:; :)Hk(Ω) ; (:; :)0 = (:; :)H0(Ω) Norms . k:k1 = k:kL1(Ω), k:kL2 = k:kL2(Ω), k:kαβ = k:kHαβ (Ω), k:kαs = k:kHαs(Ω), k:ks = k:kHs(Ω), k:kk = k:kHk(Ω), k:k0 = k:kH0(Ω) L(H)....... The Banach space of all bounded linear operators on Hilbert space H under supnorm of operators. α @jαj d D ..........= for multi-index α = (α1; : : : ; αd) 2 N with jαj = α1 + @xα1 :::@xαd @αi th ··· + αd, where each is αi weak partial derivative. @xαi α α1 αd d jxj .........= x1 ::::::::xn for multi-index α = (α1; : : : ; αd) 2 N with jαj = α1 + ··· + αd. xi Preface The goal of this dissertation work is to give a brief presentation of Sobolev gradi- ents and to emphasize their applications on the theory of partial differential equations and pseudo-differential equations. We explore in depth the solutions to such equa- tions and some interesting behavior of the solutions using powerful tools from some of the rich theories of analysis such as the abstract semigroup theory, the spectral theory of linear unbounded self-adjoint operator on a Hilbert space, the theory of gen- eralized functions, functional analysis, and theory of partial differential equations and pseudo-differential equations. It, further, highlights on some numerical applications of these equations and opens up some problems in the future directions. xii Chapter 1 Introduction In this chapter we are going to discuss briefly what our main goal is, how we set up problem, and what we do to solve the problem we set up. We also discuss about what we prove so far, work in progress and the possible extensions of our problem or some future projects. Here our main interest is to solve certain types of nonlinear partial differential equations (PDEs) and pseudo-differential equations (ΨDEs), look for some special classes of solutions and investigate various properties. We will investigate these equations and their solutions via analytical method as well as numerical method. To deal with each of these nonlinear PDEs and ΨDEs we consider in section 2.1 a certain energy type functional Eα defined on an infinite dimensional Hilbert space H, namely a Sobolev space Hs(Ω); s ≥ 0, so that the equation satisfied by its critical points is the given PDE or ΨDE.
Recommended publications
  • Arxiv:1901.07148V2 [Math.DS] 6 Mar 2020 Uvyo Ohasrc N Oceefaue Fteanalys the of Features Concrete Spect and Real Operators
    COMPLEX SYMMETRIC EVOLUTION EQUATIONS PHAM VIET HAI AND MIHAI PUTINAR Abstract. We study certain dynamical systems which leave invari- ant an indefinite quadratic form via semigroups or evolution families of complex symmetric Hilbert space operators. In the setting of bounded operators we show that a C-selfadjoint operator generates a contraction C0-semigroup if and only if it is dissipative. In addition, we exam- ine the abstract Cauchy problem for nonautonomous linear differential equations possessing a complex symmetry. In the unbounded operator framework we isolate the class of complex symmetric, unbounded semi- groups and investigate Stone-type theorems adapted to them. On Fock space realization, we characterize all C-selfadjoint, unbounded weighted composition semigroups. As a byproduct we prove that the generator of a C-selfadjoint, unbounded semigroup is not necessarily C-selfadjoint. 1. Introduction 1.1. Complex symmetric operators. The study of abstract complex sym- metric operators is relatively new, originating in the articles [10, 11], al- though specific classes of these operators and their spectral behavior were investigated for several decades. Notable in this respect is the non-hermitian quantum mechanics formalism; its hamiltonians are complex symmetric, non-selfadjoint in the classical sense, but have real spectrum. See [9] for a survey of both abstract and concrete features of the analysis of complex symmetric operators. We start by recalling some basic terminology, illustrated by a couple of examples. arXiv:1901.07148v2 [math.DS] 6 Mar 2020 Definition 1.1. An unbounded, linear operator T is called C-symmetric on a separable, complex Hilbert space H if there exists a conjugation C (i.e.
    [Show full text]
  • An Introduction to Evolution Pdes September 24, 2018
    An introduction to evolution PDEs September 24, 2018 CHAPTER 3 - EVOLUTION EQUATION AND SEMIGROUP In this chapter we make the link between the existence theory for evolution PDEs we have presented in the two first chapters and the theory of continuous semigroup of linear and bounded operators. In that unified framework we may establish the Duhamel formula and the extension of the existence theory by perturbation argument. We also briefly present the Hille-Yosida-Lumer-Phillips existence theory for m-dissipative operators. Contents 1. From linear evolution equation to semigroup 1 1.1. Semigroup 1 1.2. From well-posedness to semigroup 2 2. Semigroup and generator 3 3. Duhamel formula and mild solution 6 4. Dual semigroup and weak solution 7 5. Coming back to the well-posedness issue for evolution equations 9 5.1. A perturbation trick 10 5.2. Semilinear evolution equation 11 5.3. Dissipativity and extension trick 13 6. Semigroup Hille-Yosida-Lumer-Phillips' existence theory 14 7. Complements 17 7.1. Continuity 17 7.2. Nonautonomous semigroup 18 7.3. Transport equation in measures and L1 frameworks 20 8. Discussion 21 8.1. Several way to build solutions 21 8.2. From Hille-Yosida theory to variational solutions. 21 8.3. Very weak solution 22 9. Bibliographic discussion 25 1. From linear evolution equation to semigroup 1.1. Semigroup. We state the definition of a continuous semigroup of linear and bounded oper- ators. Definition 1.1. We say that (St)t≥0 is a continuous semigroup of linear and bounded operators on a Banach space X, or we just say
    [Show full text]
  • Lecture 6 the Lumer–Phillips Theorem
    Lecture 6 The Lumer–Phillips Theorem In the previous lecture we saw the characterisation of generators of strongly continuous semigroups, called Hille–Yosida theorem. Unfortunately, even in the case of relatively simple problems, it is practically impossible to check all the properties listed: It is already difficult to estimate the operator norm of the resolvent, let alone all powers of it. We also have to make sure that our operator is closed, which also might be a painful task in particular situations. In this lecture we study a class of operators, for which the above two difficulties may be remedied in a satisfactory way. 6.1 Dissipative operators Due to their importance, we now return to the study of contraction semigroups , i.e., semigroups T where the semigroup operators are contractive, and look for a characterisation of their generator that does not require explicit knowledge of the resolvent. The following is a key notion towards this goal. Definition 6.1. A linear operator A on a Banach space X is called dissipative if (λ A)f λ f (6.1) k − k ≥ k k for all λ > 0 and f D(A). ∈ Note that it suffices to establish the validity of the inequality above only for unit vectors f X, ∈ f = 1. For f = 0 the inequality is trivial, for f = 0 one can normalise. Note also that we did k k 6 not require here the density of the domain or any other analytic properties of the operator. To familiarise ourselves with dissipative operators we state some of their basic properties.
    [Show full text]
  • 9 Édition Du Colloque Tendances Dans Les
    TAMTAM TAMTAM «Tendances dans les Applications Mathématiques en Tunisie, Algérie et Maroc» est 2019 TAMTAM2019un - Tlemcen colloque maghrébin, TAMTAM2019 organisé - Tlemcen tous les TAMTAM2019 deux ans, - à Tlemcen tour de rôle, TAMTAM2019 en Tunisie, - Tlemcen en Algérie et TAMTAM2019 - Tlemcen TAMTAM2019 - TlemcenUNIVERSITÉ ABOU BEKR BLEKAÏD - TLEMCEN au Maroc. Après Rabat (2003), Tunis (2005), Alger (2007), Kénitra (2009), Sousse (2011), Alger (2013), Tanger (2015) et Hammamet (2017). La 9ème édition se déroulera du 23 au 27 février FACULTÉ DES SCIENCES 9 2019 à Tlemcen- Algerie sous la présidence d’honneur du Professeur Boucherit Kebir, Recteur ème de l’Université de Tlemcen. DÉPARTEMENT DE MATHÉMATIQUES édition du colloque Tendances dans les Applications Mathématiques en Tunisie Algérie et Maroc LABORATOIRE D’ANALYSE NON LINÉAIRE & MATHÉMATIQUES APPLIQUÉES TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen 9ème édition du colloque Sponsors Tendances dans les Applications Mathématiques en Tunisie Algérie et Maroc TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen 23-27 février 2019 Tlemcen, ALGERIE TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen TAMTAM2019 - Tlemcen
    [Show full text]
  • Evolution Equations Governed by Elliptic Operators Wolfgang Arendt
    Evolution Equations Governed by Elliptic Operators by Wolfgang Arendt 2 Chapter 1 Unbounded Operators In this chapter we introduce unbounded operators and put together some proper- ties which will be frequently used. Moreover, we discuss the spectral theorem for self-adjoint operators which will give us very interesting examples of elliptic operators in the sequel. 1.1 Closed operators Let E be a complex Banach space. Definition 1.1.1. An operator on E is a linear mapping A : D(A) → E, where D(A) is a subspace of E which we call the domain of A. The operator A is called bounded if kAk := sup kAxk < ∞. kxk≤1,x∈D(A) If kAk = ∞, then A is called unbounded. The notion of an operator is too general to allow one to do some analysis. The least thing one needs is to be allowed to exchange limits and the operation. That is made precise in the following definition. Definition 1.1.2. An operator A is closed if for any sequence (xn)n∈N in D(A) such that lim xn = x and limn→∞ Axn = y exist in E one has x ∈ D(A) and Ax = y. n→∞ Thus an operator A on E is closed if and only if its graph G(A) := {(x, Ax): x ∈ D(A)} is a closed subspace of E × E. If D(A) is a closed subspace of E, then the closed graph theorem asserts that A is bounded if and only if A is closed. We will be mainly interested in closed operators with dense domain.
    [Show full text]
  • Lecture Notes Evolution Equations
    Lecture Notes Evolution Equations Roland Schnaubelt These lecture notes are based on my course from summer semester 2020, though there are minor corrections and improvements as well as small changes in the numbering of equations. Typically, the proofs and calculations in the notes are a bit shorter than those given in the course. The drawings and many additional oral remarks from the lectures are omitted here. On the other hand, the notes contain very few proofs (of peripheral statements) not presented during the course. Occasionally I use the notation and definitions of my lecture notes Analysis 1{4 and Functional Analysis without further notice. I want to thank Heiko Hoffmann for his support in the preparation of an earlier version of these notes. Karlsruhe, July 23, 2020 Roland Schnaubelt Contents Chapter 1. Strongly continuous semigroups and their generators1 1.1. Basic concepts and properties1 1.2. Characterization of generators 15 1.3. Dissipative operators 22 1.4. Examples with the Laplacian 35 Chapter 2. The evolution equation and regularity 46 2.1. Wellposedness and the inhomogeneous problem 46 2.2. Mild solution and extrapolation 51 2.3. Analytic semigroups and sectorial operators 56 Chapter 3. Perturbation and approximation 72 3.1. Perturbation of generators 72 3.2. The Trotter-Kato theorems 80 3.3. Approximation formulas 86 Chapter 4. Long-term behavior 90 4.1. Exponential stability and dichotomy 90 4.2. Spectral mapping theorems 99 Chapter 5. Stability of positive semigroups 106 Bibliography 112 ii CHAPTER 1 Strongly continuous semigroups and their generators Throughout, X and Y are non-zero complex Banach spaces, where we mostly write k · k instead of k · kX etc.
    [Show full text]
  • Math.DS] 22 Jan 2019 Uvyo Ohasrc N Oceefaue Fteanalys the of Features Concrete Spect and Real Operators
    COMPLEX SYMMETRIC EVOLUTION EQUATIONS PHAM VIET HAI AND MIHAI PUTINAR Abstract. We study certain dynamical systems which leave invari- ant an indefinite quadratic form via semigroups or evolution families of complex symmetric Hilbert space operators. In the setting of bounded operators we show that a C-selfadjoint operator generates a contraction C0-semigroup if and only if it is dissipative. In addition, we exam- ine the abstract Cauchy problem for nonautonomous linear differential equations possessing a complex symmetry. In the unbounded operator framework we isolate the class of complex symmetric, unbounded semi- groups and investigate Stone-type theorems adapted to them. On Fock space realization, we characterize all C-selfadjoint, unbounded weighted composition semigroups. As a byproduct we prove that the generator of a C-selfadjoint, unbounded semigroup is not necessarily C-selfadjoint. 1. Introduction 1.1. Complex symmetric operators. The study of abstract complex sym- metric operators is relatively new, originating in the articles [10, 11], al- though specific classes of these operators and their spectral behavior were investigated for several decades. Notable in this respect is the non-hermitian quantum mechanics formalism; its hamiltonians are complex symmetric, non-selfadjoint in the classical sense, but have real spectrum. See [9] for a survey of both abstract and concrete features of the analysis of complex symmetric operators. We start by recalling some basic terminology, illustrated by a couple of examples. arXiv:1901.07148v1 [math.DS] 22 Jan 2019 Definition 1.1. An unbounded, linear operator T is called C-symmetric on a separable, complex Hilbert space H if there exists a conjugation C (i.e.
    [Show full text]
  • Differential Operators P the L -Dissipativity of Partial
    LECTURE NOTES of TICMI P THE L -DISSIPATIVITY OF PARTIAL DIFFERENTIAL OPERATORS Alberto Cialdea © Tbilisi University Press Tbilisi Summary. After giving some classical results concerning the dissipativity of linear operators on Banach spaces and the generation of contractive semigroups, the course will focus on the Lp-dissipativity of partial differential operators. Some recent results, obtained in joint papers with Vladimir Maz'ya, will be discussed. The main one is an algebraic necessary and sufficient condition for the Lp-dissipativity of the scalar operator rt(Ar), where A is a matrix whose entries are complex measures and whose imaginary part is symmetric. We survey several other results connected to this condition and obtained mainly by V. Maz'ya and his co-authors. They concern operators with lower order terms, operators with constant complex coefficients, the angle of dissipativity, systems of partial differential operators, higher order operators. 2010 Mathematics Subject Classification: 35J05,35J25. Key Words and Phrases: Partial differential operators, Lp{Dissipativity Alberto Cialdea Dipartimento di Matematica e Informatica, Universit`adella Basilicata, Viale dell'Ateneo Lucano 10, 85100, Potenza, Italy. email: [email protected] 2 Contents Preface 5 Introduction 7 1 A short introduction to Semigroup Theory 11 1.1 The Hille-Yosida Theorem . 11 1.1.1 Uniformly continuous semigroups . 11 1.1.2 Strongly continuous semigroups . 12 1.1.3 The Hille-Yosida Theorem . 19 1.2 The dissipativity in an abstract setting . 25 1.2.1 Dissipative operators on Banach spaces . 25 1.2.2 The Lumer-Phillips Theorem . 31 2 Lp-dissipativity of scalar second order operators 37 2.1 General results .
    [Show full text]
  • Boundary Triplets for Skew-Symmetric Operators and the Generation Of
    BOUNDARY TRIPLETS FOR SKEW-SYMMETRIC OPERATORS AND THE GENERATION OF STRONGLY CONTINUOUS SEMIGROUPS SVEN-AKE WEGNER1 Abstract. We give a self-contained and streamlined exposition of a generation theorem for C0- semigroups based on the method of boundary triplets. We apply this theorem to port-Hamiltonian systems where we discuss recent results appearing in stability and control theory. We give detailed proofs and require only a basic knowledge of operator and semigroup theory. 1. Introduction It is a prominent result from the theory of unbounded operators that there is a one-to-one corre- spondence between unbounded self-adjoint and bounded unitary operators. This correspondence is a key ingredient for the characterization of those symmetric operators which allow for a self-adjoint extension, established by von Neumann in 1929. Given a skew-symmetric operator A: D(A) ⊆ X → X on a Hilbert space X, a variant of the correspon- dence above gives rise to a bijection between dissipative extensions and a certain class of contractive operators. This in turn yields a parametrization of those extensions generating a C0-semigroup of contractions B : D(B) → X such that A ⊆ B & B ge- 1-1 K : X → X is contractive & ←→ nerates a C0-semigroup of contractions K(1 − A)=(1+ A) on D(A) which was established by Phillips in 1959. Above, the contractions are defined on the initial Hilbert space X. The fact that on ran(1 − A) the operator K is completely determined by A suggests that a smaller domain can be enough for the parametrization. In addition, classical applications to boundary value problems—where the extension problem amounts to determine the correct boundary conditions yielding a generator—also suggest that the degrees of freedom in the extension problem can be captured by operators defined on a much smaller, possibly even finite-dimensional, space.
    [Show full text]