Let $B(X)$ be the Banach algebra of all bounded linear operators acting on a Banach space $X$. Are sums and products of commuting decomposable operators on Banach spaces decomposable? This is one of the most important open problems in the local spectral theory of operators on Banach spaces. Similarly, it is not known if local spectral properties such as the single valued extension property, Dunfords property $(C)$, Bishops property $(β)$, or the decomposition property ($δ$) are preserved under sums and products of commuting operators. But it is shown by Bourhim and Muller that the single-valued extension property is not preserved under the sums and products of commuting operators. On the positive side, Sun proved that the sum and the product of two commuting operators with Dunfords property $(C)$ have the single-valued extension property. Very recently, Aiena and Muller showed that the (localized) single-valued extension property is stable under commuting Riesz perturbations. In this paper, we show that Bishops property ($β$), the decomposition property ($δ$), or decomposable operators $T\in B(X)$ are stable under quasinilpotent, compact, and algebraic commuting perturbations.
- ID de l'article: 2510.09289
- Titre: Sur la stabilité de la propriété de Bishop(β) sous perturbations compactes
- Auteur: Salah Mecheri
- Classification: math.FA (Analyse fonctionnelle)
- Date de publication: 10 octobre 2025
- Lien de l'article: https://arxiv.org/abs/2510.09289
Soit B(X) l'algèbre de Banach de tous les opérateurs linéaires bornés agissant sur un espace de Banach X. La somme et le produit d'opérateurs décomposables commutants restent-ils décomposables ? C'est l'une des questions ouvertes les plus importantes de la théorie spectrale locale des opérateurs sur les espaces de Banach. De même, nous ne savons pas si les propriétés spectrales locales telles que la propriété d'extension analytique unique, la propriété de Dunford(C), la propriété de Bishop(β) ou la propriété de décomposabilité(δ) sont préservées sous la somme et le produit d'opérateurs commutants. Bourhim et Muller ont montré que la propriété d'extension analytique unique n'est pas préservée sous la somme et le produit d'opérateurs commutants. Du côté positif, Sun a montré que la somme et le produit de deux opérateurs commutants ayant la propriété de Dunford(C) possèdent la propriété d'extension analytique unique. Récemment, Aiena et Muller ont montré que la propriété d'extension analytique unique (localisée) est stable sous perturbations de Riesz commutantes. Cet article démontre que la propriété de Bishop(β), la propriété de décomposabilité(δ) ou les opérateurs décomposables sont stables sous perturbations quasi-nilpotentes, compactes et algébriquement commutantes.
- Problèmes à résoudre: Cet article étudie principalement la stabilité des propriétés spectrales locales des opérateurs (en particulier la propriété de Bishop(β)) sous diverses perturbations. Cela inclut spécifiquement:
- La stabilité de la propriété de Bishop(β) sous perturbations de la classe de Helton
- La stabilité de la propriété de décomposabilité(δ) et des opérateurs décomposables sous perturbations algébriques
- La préservation de ces propriétés sous perturbations compactes et quasi-nilpotentes
- Importance du problème:
- La décomposabilité de la somme et du produit d'opérateurs décomposables commutants est un problème central de la théorie spectrale locale des opérateurs sur les espaces de Banach
- L'étude de la stabilité des propriétés spectrales locales est importante pour comprendre la structure spectrale des opérateurs
- Ces résultats ont des applications importantes dans la théorie des sous-espaces invariants, l'analyse harmonique et la théorie de la continuité automatique
- Limitations des méthodes existantes:
- Bourhim et Muller ont montré que la propriété d'extension analytique unique n'est pas préservée sous la somme et le produit d'opérateurs commutants
- Il manque une étude systématique de la stabilité de la propriété de Bishop(β) et de la propriété de décomposabilité(δ)
- Motivation de la recherche: La vérification directe de la propriété de Bishop(β) pour des opérateurs concrets est généralement difficile; il est donc nécessaire de chercher des conditions suffisantes plus faciles à manipuler.
- Introduction du concept de classe de Helton: Définition d'un opérateur S appartenant à la classe de Helton de R, c'est-à-dire l'existence d'un entier k≥1 tel que C(R,S)k(I)=0
- Preuve de la stabilité de la propriété de Bishop(β) sous perturbations de la classe de Helton: Si R possède la propriété de Bishop(β) et S appartient à la classe de Helton de R, alors S possède également la propriété de Bishop(β)
- Établissement de l'équivalence de la propriété de Bishop(β) entre opérateurs nilpotent-équivalents: Preuve que les opérateurs nilpotent-équivalents possèdent la même propriété de Bishop(β)
- Preuve de la stabilité de la propriété de décomposabilité et de la décomposabilité sous perturbations algébriques: Théorèmes de préservation de ces propriétés sous perturbations algébriques, compactes et quasi-nilpotentes
- Conditions suffisantes pour la propriété de Bishop(β) des matrices d'opérateurs 2×2
Étudier la stabilité des propriétés spectrales locales des opérateurs sous perturbations, incluant spécifiquement:
- Entrée: Opérateur linéaire borné T possédant une certaine propriété spectrale locale
- Perturbation: Opérateurs de types spéciaux commutant avec T (classe de Helton, algébriques, compacts, quasi-nilpotents, etc.)
- Sortie: Preuve que l'opérateur perturbé conserve la propriété spectrale locale correspondante
- Définition de la classe de Helton:
Pour R∈B(X), si S satisfait C(R,S)k(I)=0 pour un entier k≥1, alors S appartient à la classe de Helton de R, notée S∈Heltonk(R), où:
C(R,S)k(I)=∑j=0k(−1)k−j(jk)RjSk−j
- Propriété de Bishop(β):
Un opérateur T∈B(X) possède la propriété de Bishop(β) en λ0 s'il existe v>0 tel que pour chaque ouvert U⊂D(λ0;v) et toute suite {fn}n=1∞⊂O(U;X),
limn→∞(S−λI)fn(λ)=0 dans O(U;X)⇒limn→∞fn(λ)=0 dans O(U;X)
Théorème 2.1 (Transitivité de la propriété de Bishop pour la classe de Helton):
Soit R∈B(X) possédant la propriété de Bishop(β) en λ0. Si S∈Heltonk(R), alors S possède la propriété de Bishop(β) en λ0.
Stratégie de preuve:
- Utilisation de la définition de la classe de Helton: ∑j=0k(−1)k−j(jk)RjSk−j=0
- Par récurrence, déduction progressive de (R−λ)kfn(λ)→0 à fn(λ)→0
Théorème 2.3 (Équivalence pour opérateurs nilpotent-équivalents):
Si S,T∈B(X) sont nilpotent-équivalents, alors T possède la propriété de Bishop(β) en λ0 si et seulement si S possède la propriété de Bishop(β) en λ0.
Théorème 2.5 (Stabilité sous perturbations algébriques):
Soit T∈B(X), K∈B(X) un opérateur algébrique avec TK=KT. Si T possède la propriété de Bishop(β) en chaque zéro du polynôme p (où p(K)=0), alors T+K possède la propriété de Bishop(β) en 0.
- Introduction de la classe de Helton: Nouvelle classe d'opérateurs généralisant le concept d'opérateurs nilpotents, fournissant un nouveau cadre pour l'étude des perturbations d'opérateurs
- Technique de preuve par récurrence: Utilisation ingénieuse de la définition de la propriété de Bishop(β), réduisant progressivement les puissances des opérateurs par récurrence
- Méthode de décomposition spectrale: Pour les opérateurs algébriques, utilisation de la décomposition spectrale classique, réduisant le problème au cas de dimension finie
Cet article est une recherche mathématique purement théorique ne comportant pas d'expériences numériques ni d'ensembles de données. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses.
- Stabilité de la propriété de Bishop(β):
- Stabilité sous perturbations de la classe de Helton (Théorème 2.1)
- Stabilité sous perturbations nilpotentes (Corollaire 2.1)
- Stabilité sous perturbations algébriques (Théorème 2.5)
- Stabilité de la propriété de décomposabilité(δ):
- Stabilité sous perturbations algébriques (Corollaire 2.2)
- Stabilité des opérateurs décomposables:
- Stabilité sous perturbations algébriques (Corollaire 2.3)
- Stabilité sous perturbations nilpotentes (Corollaire 2.4)
Le Corollaire 2.7 fournit la stabilité des opérateurs décomposables sous les perturbations suivantes:
- Perturbations par opérateurs quasi-nilpotents
- Perturbations par opérateurs compacts
- Perturbations par opérateurs à spectre discret
L'article fournit des exemples avec l'opérateur de décalage à gauche et l'opérateur de décalage à droite, montrant que la propriété de décomposabilité(δ) n'est pas préservée sous conjugaison ni sous restriction.
- Développement historique:
- N. Dunford a introduit la propriété d'extension analytique unique pour étudier les opérateurs spectraux
- Bishop, Foias et autres ont développé les fondations de la théorie spectrale locale
- Eschmeier et Putinar ont établi les connexions avec la théorie des faisceaux
- Progrès récents:
- Résultats négatifs de Bourhim et Muller: la propriété d'extension analytique unique n'est pas préservée
- Résultats positifs de Sun: la somme et le produit d'opérateurs commutants ayant la propriété de Dunford(C) préservent la propriété d'extension analytique unique
- Résultats d'Aiena et Muller sur les perturbations de Riesz
- Positionnement de cet article: Cet article comble le vide dans l'étude de la stabilité de la propriété de Bishop(β) et de la propriété de décomposabilité(δ) sous perturbations.
- La propriété de Bishop(β) est stable sous plusieurs types de perturbations (classe de Helton, algébriques, nilpotentes)
- La propriété de décomposabilité(δ) et la décomposabilité sont stables sous perturbations algébriques
- Ces résultats fournissent de nouveaux outils et perspectives pour la théorie spectrale locale
- Restrictions sur les perturbations: Exigence que l'opérateur de perturbation commute avec l'opérateur original, ce qui peut être restrictif dans les applications pratiques
- Difficulté de vérification concrète: Bien que des résultats de stabilité soient fournis, la vérification de ces propriétés sur des opérateurs concrets reste difficile
- Problèmes ouverts: Le problème de la somme et du produit d'opérateurs commutants n'est pas complètement résolu
- Étude de la stabilité sous perturbations non-commutantes
- Recherche de classes de perturbations plus générales
- Développement de méthodes de vérification plus efficaces
- Innovation théorique: Introduction du concept de classe de Helton, fournissant un nouveau cadre pour la théorie des perturbations d'opérateurs
- Force systématique: Du particulier au général, établissement d'un système théorique complet
- Preuves rigoureuses: Tous les théorèmes possèdent des preuves mathématiques complètes
- Applications larges: Les résultats peuvent être appliqués à la théorie des sous-espaces invariants, l'analyse harmonique et d'autres domaines
- Manque d'exemples: Absence d'exemples d'application plus concrets
- Complexité computationnelle: Pas de discussion sur la complexité computationnelle de la vérification de ces propriétés
- Méthodes numériques: Absence de méthodes de vérification numérique
- Contribution théorique: Fournit des outils importants pour le développement de la théorie spectrale locale
- Valeur pratique: Fournit une base théorique pour la recherche appliquée en théorie des opérateurs
- Reproductibilité: En tant que théorie mathématique pure, tous les résultats sont vérifiables
- Recherche en théorie spectrale des opérateurs en analyse fonctionnelle
- Étude du problème des sous-espaces invariants
- Applications de la théorie des algèbres d'opérateurs et de la théorie spectrale locale
- Analyse théorique de la théorie des perturbations
L'article cite 24 références connexes, couvrant la littérature classique et les progrès récents de la théorie spectrale locale, incluant:
- Travaux fondateurs de Dunford sur la théorie des opérateurs spectraux
- Recherches pionnières de Bishop sur les propriétés spectrales locales
- Monographie d'Eschmeier et Putinar
- Résultats récents d'Aiena, Muller et autres chercheurs
Cet article apporte une contribution importante au domaine de la théorie spectrale locale des opérateurs. En introduisant de nouveaux concepts et en établissant un cadre théorique systématique, il fait progresser la compréhension de la stabilité des propriétés spectrales des opérateurs. Bien qu'il s'agisse d'une recherche purement théorique, elle fournit une base théorique solide pour les domaines d'application connexes.