Boundary Triplet Methods

• Boundary triplet methods are an operator-theoretic framework that classifies extensions of symmetric or skew-symmetric operators via boundary maps and auxiliary Hilbert spaces.
• They provide analytical parametrizations and explicit resolvent formulas that connect spectral theory, boundary value problems, and index formulas in differential operators.
• The methodology enables defining self-adjoint, skew-self-adjoint, and maximal dissipative extensions, with applications in ODEs, PDEs, and port-Hamiltonian systems.

Boundary triplet methods constitute an operator-theoretic framework for the classification and explicit construction of extensions—particularly self-adjoint, skew-self-adjoint, and maximal dissipative extensions—of symmetric and skew-symmetric densely defined linear operators in a Hilbert space. By encoding extension data in terms of boundary maps and auxiliary Hilbert spaces, the theory yields analytic parametrizations, abstract extension criteria, and explicit resolvent formulas, thereby establishing deep connections to spectral theory, index formulas, and boundary value problems for ordinary and partial differential operators (Waurick et al., 2017).

1. Formal Definition and Abstract Structure

The core concept involves a Hilbert space $H$, a densely defined closed symmetric or skew-symmetric operator $T_0$, and its adjoint $T_0^*$. A boundary triplet for $T_0^*$ is a triple $(\mathcal{G},\Gamma_0,\Gamma_1)$, with $\mathcal{G}$ an auxiliary Hilbert space and surjective linear maps $\Gamma_0,\Gamma_1: D(T_0^*)\rightarrow\mathcal{G}$, such that the combined map $$D(T_0^*)\ni x\mapsto (\Gamma_0x,\Gamma_1x)\in\mathcal{G}\oplus\mathcal{G}$$ is onto and a version of Green's identity holds: $$(T_0^* x, y)_H - (x, T_0^* y)_H = (\Gamma_1 x, \Gamma_0 y)_{\mathcal{G}} - (\Gamma_0 x, \Gamma_1 y)_{\mathcal{G}} \quad \forall x,y\in D(T_0^*) .$$ If $T_0$ is skew-symmetric,

$$(T_0^* x, y)_H + (x, T_0^* y)_H = (\Gamma_0 x, \Gamma_1 y)_{\mathcal{G}} + (\Gamma_1 x, \Gamma_0 y)_{\mathcal{G}} .$$

This structure induces a bijection between closed extensions $A_\Theta$ of $T_0$ in $H$ and closed linear relations $\Theta\subset\mathcal{G}\oplus\mathcal{G}$, with $$D(A_\Theta) = \{ x\in D(T_0^*) : (\Gamma_0 x, \Gamma_1 x)\in\Theta \}$$ (Ivanov, 2023, Latushkin et al., 2021).

2. Parametrization of Extensions: Self-Adjoint, Skew-Self-Adjoint, Maximal Dissipative

The extension theory via boundary triplets provides precise characterizations:

• Self-adjoint extensions: When $T_0$ is symmetric, $A_\Theta$ is self-adjoint if and only if $\Theta$ is a self-adjoint relation in $\mathcal{G}\oplus\mathcal{G}$. In the typical operator parametrization, extensions correspond to boundary conditions $B\Gamma_0x = \Gamma_1x$ with $B$ self-adjoint in $\mathcal{G}$ (Latushkin et al., 2021).
• Skew-self-adjoint extensions: For skew-symmetric $T_0$, extensions $H$ with $H=-H^*$ are in one-to-one correspondence with unitaries in $\mathcal{G}$ acting in the parametrization $$D(H) = \{x\in D(T_0^*): (U^{-1}-I)\Gamma_0x + (U+I)\Gamma_1x = 0\}$$, $H x = -T_0^* x$ (Waurick et al., 2017).
• Maximal dissipative extensions: In the absence of equal deficiency indices, the triplet formalism is extended or replaced by boundary relations, which allow for the existence and explicit construction of maximal dissipative realizations, parameterized by dissipative relations in the boundary space (Waurick et al., 2017, Mogilevskii, 2011).

3. Boundary Systems and Generalizations

Boundary systems extend the triplet framework to more general (especially skew-symmetric) operators. A boundary system is a quintuple $$(\mathcal{S},\mathcal{G}_1,\mathcal{G}_2,\omega,\mathcal{F})$$ composed of sesquilinear forms and surjective maps

$$\mathcal{F}: \textrm{Graph}(T_0^*) \longrightarrow \mathcal{G}_1\oplus\mathcal{G}_2$$

satisfying a Green-type identity

$$\mathcal{S}\left((x,T_0^*x),(y,T_0^*y)\right) = \omega\left(\mathcal{F}(x,T_0^*x),\mathcal{F}(y,T_0^*y)\right).$$

When skew-self-adjoint extensions exist, the boundary system induces a boundary triplet, and the parametrizations coincide. In the nonself-adjoint scenario (unequal deficiency indices), only the boundary system exists, giving maximal dissipative extensions via natural deficiency subspace decompositions (Waurick et al., 2017).

4. Analytic Machinery: γ-Field, Weyl Function, and Resolvent Formula

Central to the theory is the construction of the $\gamma$-field and Weyl function. For $\lambda$ in the resolvent set,

$$\gamma(\lambda):\mathcal{G}\to H,\quad \gamma(\lambda)\varphi = \text{unique }u \in \ker(T_0^*-\lambda)\text{ with }\Gamma_0 u = \varphi .$$

The Weyl function is $M(\lambda) = \Gamma_1 \gamma(\lambda)$ (Latushkin et al., 2021, Ivanov, 2023). Fundamental properties:

• $M(\lambda)$ is a Nevanlinna (Herglotz) operator-valued function, holomorphic off the real axis.
• The Kreĭn (or Kreĭn-Naimark) resolvent formula relates the resolvents of different extensions via

$$(A_\Theta - \lambda)^{-1} = (A_0 - \lambda)^{-1} + \gamma(\lambda)\left(\Theta-M(\lambda)\right)^{-1}\gamma(\bar{\lambda})^* .$$

The analytic and spectral information of $A_\Theta$ is encoded in $M(\lambda)$, for instance, eigenvalues of $A_\Theta$ correspond to zeros of $\Theta-M(\lambda)$ (Latushkin et al., 2021, Frymark, 2019).

5. Application to Differential Operators and Canonical Systems

Boundary triplet methodology is applicable to a diverse array of linear differential operators:

• First-order elliptic operators: Abstract construction yields index formulas (e.g., Dirac-type) and analytic proofs of index theorems using the boundary Weyl function, connecting to the Agranovich–Dynin index-difference formula (Ivanov, 2023).
• Degenerate and higher-order ODEs: Boundary relations accommodate arbitrary deficiency indices, enabling description of extensions and explicit formulas for Weyl functions, as in canonical systems and powers of Jacobi differential operators (Mogilevskii, 2011, Frymark, 2019).
• Port-Hamiltonian and implicit PDE systems: The range-representation triplet approach applies, where boundary maps are naturally defined on the domain of underlying coefficient operators, enabling the analysis and control of infinite-dimensional dynamical systems, including the characterization of Dirac structures and Lagrangian subspaces (Gernandt et al., 22 Mar 2025).

6. Boundary Triplets in Non-Hilbert Space Contexts and Dual Pair Formalism

Extensions to indefinite (Kreĭn) spaces and dual pair settings are implemented via boundary triples for pairs $(A,B)$ of closed linear relations, utilizing an indefinite inner product. A boundary triple $(\mathcal{H},\Gamma_0,\Gamma_1)$ is characterized by the property $\ker\Gamma_0=B, \ker\Gamma_1=A$, and the Green identity is formulated in the Kreĭn space (Jursenas, 26 Mar 2025). The Weyl family associated to a dual pair determines the boundary triple uniquely up to similarity, with additional criteria available for unitary equivalence in the symmetric case.

7. Synthesis, Unification, and Further Directions

Boundary triplet methods unify classical self-adjoint extension theory, modern geometric approaches (Lagrangian subspaces, Dirac structures), and analytic/spectral machinery. The approach encompasses definiteness and non-definiteness, ordinary and generalized boundary value problems for ODEs/PDEs, and even operator matrices with possibly nonstandard domains (Post, 2012). Open questions deal with parametrization for non-symmetric operators, functional models for dissipative realizations, and direct connections to control-theoretic constructs such as $C_0$-semigroups (Waurick et al., 2017, Gernandt et al., 22 Mar 2025).

---

Key Reference Papers:

• "Some remarks on the notions of boundary systems and boundary triple(t)s" (Waurick et al., 2017) (Schubert et al.)
• "Boundary triplets and the index of families of self-adjoint elliptic boundary problems" (Ivanov, 2023)
• "Resolvent expansions for self-adjoint operators via boundary triplets" (Latushkin et al., 2021)
• "Boundary relations and boundary conditions for general (not necessarily definite) canonical systems with possibly unequal deficiency indices" (Mogilevskii, 2011)
• "Boundary pairs associated with quadratic forms" (Post, 2012)
• "Boundary triples for a family of degenerate elliptic operators of Keldysh type" (Monard et al., 2023)
• "Extension theory via boundary triplets for infinite-dimensional implicit port-Hamiltonian systems" (Gernandt et al., 22 Mar 2025)
• "Boundary Triples and Weyl $m$-functions for Powers of the Jacobi Differential Operator" (Frymark, 2019)
• "On the similarity of boundary triples for dual pairs" (Jursenas, 26 Mar 2025)