Une formulation par opérateur en blocs (matrice d'opérateurs) qui adjoint des opérateurs auxiliaires d'entrée/sortie ou de projection à un opérateur non-Fredholm, dégénéré ou presque singulier afin d'obtenir un système étendu Fredholm ou inversible ; largement utilisée en réduction spectrale, analyse microlocale et problèmes aux limites.

Principe

Construire une matrice d'opérateurs augmentée (P R_-; R_+ 0) où R_+ et R_- relient l'espace original à un espace auxiliaire (souvent fini-dimensionnel) choisi pour capturer noyaux et conoyaux approximatifs ; l'inversibilité de la matrice en blocs fournit un complément de Schur (hamiltonien effectif) codant les données spectrales ou aux limites et produit un paramétrix pour P.

Démonstration

Pour inverser un opérateur semiclassique P(h) avec un noyau approximatif, on choisit R_+ projetant sur des états résonants approximatifs et R_- injectant des coefficients auxiliaires ; la résolution du système de Grushin fournit un inverse modulo petites erreurs et un opérateur effectif de dimension finie dont le spectre décrit les résonances ou valeurs propres de P(h).

Mauvaise application

Choisir des espaces auxiliaires ou des opérateurs de projection (R_+, R_-) inappropriés qui ne saisissent pas le vrai noyau/conoyau approché conduit à un système en blocs non inversible ou à un hamiltonien effectif qui représente mal le problème spectral.

Conséquence

Une réduction de Grushin correctement réalisée donne un paramétrix précis, un opérateur effectif de dimension finie encodant des informations spectrales/aux limites fines, de meilleures estimations du résolvant et une voie claire pour calculer valeurs propres asymptotiques, résonances ou corrections de bord.

Inversion

Si P est déjà Fredholm/inversible ou non dégénéré, effectuer une réduction de Grushin est superflu ; l'inverse est la réduction triviale où les espaces auxiliaires disparaissent et le système en blocs se réduit à l'opérateur original inversible.

Limite

Cette technique concerne des opérateurs linéaires (souvent pseudodifférentiels ou semiclassiques) dont l'inversion directe est obstruée par des problèmes de noyau/conoyau ou de dégénérescence ; elle exclut les inverses triviaux en dimension finie et les configurations où un paramétrix classique suffit sans augmentation auxiliaire.

Tension sémantique

La méthode de Grushin est apparentée aux réductions par complément de Schur, aux projections de Feshbach et aux réductions Dirichlet–Neumann ; la tension porte sur le choix des espaces auxiliaires et sur la distinction entre réductions microlocales de Grushin et éliminations algébriques globales.

Synthèse

Le problème de Grushin est une extension par blocs d'opérateurs qui augmente un opérateur dégénéré ou non-Fredholm par des applications auxiliaires pour produire un système inversible dont le complément de Schur est un opérateur effectif de dimension finie capturant les aspects spectraux et aux limites de l'opérateur initial.