Abstract:We introduce an abstract framework for elliptic boundary value problems in a variational form. Given a non-negative quadratic form in a Hilbert space, a boundary pair consists of a bounded operator, the boundary operator, and an auxiliary Hilbert space, the boundary space, such that the boundary operator is bounded from the quadratic form domain into the auxiliary Hilbert space. These data determine a Neumann and Dirichlet operator, a Dirichlet solution and a Dirichlet-to-Neumann operator. The basic example we have in mind is a manifold with boundary, where the quadratic form is the integral over the squared derivative, and the boundary map is the restriction of a function to (a subset of) the boundary of the manifold. As one of the main theorems, we derive a resolvent formula relating the difference of the resolvents of the Neumann and Dirichlet operator with the Dirichlet solution and the Dirichlet-to-Neumann operator. From this, we deduce a spectral characterisation for a point being in the spectrum of the Neumann operator in terms of the family of Dirichlet-to-Neumann operators. The relation can be generalised also to Robin-type boundary conditions. We identify conditions expressed purely in terms of boundary pairs, which allow us to relate our concept with existing concepts such as boundary triples. We illustrate the theory by many examples including Jacobi operators, Laplacians on spaces with (non-smooth) boundary and the Zaremba (mixed boundary conditions) problem.

Extensions of derivations and symmetric operators

Unitary Parametrization Description of Self-Adjoint Extensions of Symmetric Operators

FRIEDRICHS EXTENSION OF SINGULAR SYMMETRIC DIFFERENTIAL OPERATORS

On compressions of self-adjoint extensions of a symmetric linear relation

$J$-self-adjoint operators with $\mathcal{C}$-symmetries: extension theory approach

Boundary relations and generalized resolvents of symmetric operators

The von Neumann extension theory for abstract Friedrichs operators

Derivations and KMS-Symmetric Quantum Markov Semigroups

The Friedrichs Extension of Elliptic Operators with Conditions on Submanifolds of Arbitrary Dimension

Boundary pairs associated with quadratic forms

M-embedded Symmetric Operator Spaces and the Derivation Problem

Nonnegative extensions of Sturm-Liouville operators with an application to problems with symmetric coefficient functions

The Friedrichs extension of a class of discrete symplectic systems

Derivations with Values in Noncommutative Symmetric Spaces

Characterization of Symmetric Operators and Their Friedrichs Extension for Singular Sturm-Liouville Problems

Modular Completely Dirichlet forms as Squares of Derivations

Symmetry breaking operators for strongly spherical reductive pairs

On the Relationship of Two Self-adjoint Extensions of Symmetric Operator

A Characterization of Positive Self-Adjoint Extensions and Its Application to Ordinary Differential Operators

Squares of symmetric operators

Holomorphic extension of one-parameter operator groups