Une construction abstraite (G, Γ0, Γ1) composée d'un espace de Hilbert auxiliaire G et de deux applications de bord Γ0, Γ1 définies sur le domaine de l'adjoint d'un opérateur symétrique vers G qui encodent les valeurs aux limites et paramètrent toutes les extensions fermées ou auto-adjointes de l'opérateur.

Principe

Un triplet de bord fournit une identité du type de Green reliant les produits scalaires de l'adjoint aux applications de bord et garantit la surjectivité de l'application trace sur G ; les extensions auto-adjointes correspondent bijectivement à des relations ou opérateurs auto-adjoints dans G via les conditions de bord Γ1 = Θ Γ0.

Démonstration

Pour un opérateur de Sturm–Liouville symétrique sur un intervalle, on peut prendre G = C^2 et Γ0, Γ1 comme les évaluations des valeurs aux extrémités et des dérivées ; différents choix d'un Θ auto-adjoint dans G retrouvent les conditions aux limites séparées classiques et décrivent toutes les extensions auto-adjointes.

Mauvaise application

Supposer qu'un triplet de bord fournit littéralement des valeurs aux points pour des opérateurs singuliers quelconques ; pour de nombreux domaines singuliers ou non bornés les applications Γ0, Γ1 sont des traces abstraites sur dom(A*) et ne peuvent être identifiées à des évaluations pointuelles sans vérifier leurs propriétés de mappage.

Conséquence

L'utilisation d'un triplet de bord réduit la classification des extensions à des données opératorielles sur G : on obtient des paramétrisations des résolvantes, des formules explicites de type Kreĭn et une fonction de Weyl codant les données spectrales, facilitant l'analyse spectrale et de diffusion des extensions.

Inversion

La perspective inverse est la spécification directe classique des conditions aux limites sur le domaine sans espace de bord abstrait : les prescriptions de conditions concrètes correspondent à des choix particuliers de Θ dans le formalisme du triplet plutôt qu'à leur remplacement.

Limite

S'applique aux opérateurs symétriques densément définis et fermés ayant des indices de déficience égaux, de sorte que des applications de trace surjectives vers un G de dimension finie ou infinie existent ; ne s'applique pas directement aux opérateurs dépourvus d'un domaine d'adjoint avec la surjectivité requise ni à la classification des extensions non symétriques.

Tension sémantique

Il existe une tension entre les triplets de bord et d'autres cadres d'extension (méthode des indices de von Neumann, méthodes par formes quadratiques) : les triplets offrent une paramétrisation par espace de bord plus explicite, mais requièrent la construction des Γ que certains cadres alternatifs évitent.

Synthèse

Un triplet de bord est un outil abstrait d'espace de bord (G, Γ0, Γ1) qui encode les données de bord de dom(A*) et paramètre les extensions fermées/auto-adjointes par des relations de bord dans G, permettant des formules de résolvantes explicites et une étude spectrale systématique.