In this article, we investigate the theory of weighted functions of bounded variation (BV), as introduced by Baldi [Ba01]. Depending on the theorem, we impose lower semicontinuity and/or a pointwise A1 condition on the weight. Our motivation is twofold: to establish weighted Gagliardo-Nirenberg-Sobolev (GNS) inequalities for BV functions, and to clarify and extend earlier results on weighted BV spaces. Our main contributions include a structure theorem under minimal assumptions (lower semicontinuity), a smooth approximation result, an embedding theorem, a weighted GNS inequality for BV functions, and a corresponding weighted isoperimetric inequality.
- ID de l'article: 2510.14105
- Titre: Weighted Bounded Variation Revisited
- Auteurs: Simon Bortz, Matthew Gossett, Joseph Kasel, Kabe Moen
- Classification: math.CA (Analyse Classique), math.FA (Analyse Fonctionnelle)
- Date de publication: 15 octobre 2025 (prépublication arXiv)
- Lien de l'article: https://arxiv.org/abs/2510.14105
Cet article réexamine la théorie des fonctions à variation bornée (BV) pondérée introduite par Baldi Ba01. Les auteurs imposent des conditions de semi-continuité inférieure et/ou des conditions ponctuelles A₁ sur les fonctions de poids selon les besoins des différents théorèmes. Les motivations principales sont l'établissement d'inégalités de Gagliardo-Nirenberg-Sobolev (GNS) pondérées pour les fonctions BV et la clarification ainsi que l'extension des résultats antérieurs sur les espaces BV pondérés. Les contributions principales incluent des théorèmes de structure sous des hypothèses minimales (semi-continuité inférieure), des résultats d'approximation lisse, des théorèmes d'immersion, des inégalités GNS pondérées pour les fonctions BV et les inégalités isopérimétriques pondérées correspondantes.
Le problème central étudié dans cet article concerne la théorie des espaces de fonctions à variation bornée sous transformation de mesure. L'espace BV contient des fonctions dont la dérivée au sens des distributions est une mesure de Radon, offrant un cadre plus flexible que les espaces de Sobolev, capable de traiter des fonctions plus singulières (comme les fonctions caractéristiques χₑ d'ensembles E de périmètre fini).
- Valeur théorique: L'espace BV joue un rôle central dans les solutions généralisées des équations aux dérivées partielles, la théorie des mesures de surface et les inégalités isopérimétriques
- Valeur applicative: Applications importantes en débruitage par variation totale, fonctionnelles de Mumford-Shah, traitement d'images et segmentation
- Extensibilité: L'espace BV pondéré, en tant qu'extension naturelle de l'espace de Sobolev pondéré W^{1,1}(w), possède une importance théorique significative
Bien que le travail de Baldi Ba01 soit une référence importante dans ce domaine, il présente les insuffisances suivantes:
- Les théorèmes de structure se limitent aux poids A₁*, tandis que cet article considère uniquement des poids positifs semi-continus inférieurement
- Absence de traitement systématique des ensembles de w-périmètre fini
- Théorèmes de densité incomplets
- Absence d'applications aux inégalités GNS et isopérimétriques
- Théorème de structure: Établissement d'un théorème de structure pour BV_(Ω;w) sous des hypothèses minimales (semi-continuité inférieure), généralisant la restriction aux poids A₁* de Baldi
- Approximation lisse: Établissement d'un théorème d'approximation lisse pour les fonctions BV pondérées, introduisant la condition de w-approximabilité
- Théorèmes d'immersion: Preuve que BV(Ω;w) peut être isométriquement immergé dans un espace BV non pondéré de dimension supérieure
- Inégalité GNS pondérée: Établissement d'une inégalité de Gagliardo-Nirenberg-Sobolev pour les fonctions BV(ℝⁿ;w)
- Inégalité isopérimétrique pondérée: Obtention de l'inégalité isopérimétrique correspondante comme corollaire de l'inégalité GNS
Pour un poids w : ℝⁿ → (0,∞] et un ensemble ouvert Ω ⊆ ℝⁿ, on définit:
- f ∈ BV(Ω;w) si et seulement si f ∈ L¹(Ω;w) et
∥Df∥w(Ω):=sup{∫Ωfdivϕdx:ϕ∈Lipc(Ω;Rn),∣ϕ∣≤w}<∞
Un poids w ∈ A₁ si et seulement s'il existe une constante C > 0 telle que pour toute boule B ⊆ ℝⁿ:
\fintBwdx≤Cinfx∈Bw(x)
Théorème: Soit w : ℝⁿ → (0,∞] semi-continue inférieurement et f ∈ BV_(Ω;w). Alors il existe une mesure de Radon ‖Df‖_w et une fonction ‖Df‖_w-mesurable ν : Ω → ℝⁿ telles que:
- |ν(x)| = 1 ‖Df‖_w-p.p.
- Pour tout φ ∈ Lip_c(Ω;ℝⁿ):
∫Ωfdivϕdx=−∫Ω(ϕ⋅ν)w1d∥Df∥w
Technique clé: Établissement de la relation entre les mesures variationnelles pondérées et non pondérées: d‖Df‖_w = w d‖Df‖, transformant le problème en théorie BV classique.
Introduction de la condition de w-approximabilité:
limε→0\fintB(x,ε)∣w(y)−w(x)∣dy=0 pour ∥Df∥−p.p. x
Théorème: Soit w ∈ A₁*, f ∈ BV(Ω;w):
- Si f est w-approximable, alors il existe une suite {f_k} ⊆ C^∞(Ω)∩BV(Ω;w) telle que f_k → f dans L¹(Ω;w) et ‖Df_k‖_w(Ω) → ‖Df‖_w(Ω)
- Si f n'est pas w-approximable, alors il existe une suite similaire mais ‖Df‖_w(Ω) ≤ lim‖Df_k‖w(Ω) ≤ w{A₁}‖Df‖_w(Ω)
Construction de l'application J : BV(Ω;w) → BV(Ω_w), où Ω_w = {(x,y) ∈ ℝⁿ×ℝ : x ∈ Ω, 0 < y < w(x)}, définie par Jf(x,y) = f(x).
Théorème: J est une immersion isométrique, c'est-à-dire:
- ‖f‖{L¹(Ω;w)} = ‖Jf‖{L¹(Ω_w)}
- ‖Df‖_w(Ω) = ‖D(Jf)‖(Ω_w)
- Conditions minimales: Exigence uniquement de la semi-continuité inférieure du poids plutôt que la condition A₁*, élargissant considérablement le domaine d'application
- w-approximabilité: Nouvelle condition technique introduite, caractérisant le comportement local du poids sur les ensembles singuliers
- Immersion par élévation de dimension: Réalisation d'une immersion isométrique vers un espace BV non pondéré de dimension supérieure via construction du sous-graphe
- Cadre unifié: Unification des théories BV pondérée et non pondérée dans un seul cadre
Cet article est principalement une recherche théorique pure, vérifiant la correction de la théorie par:
- Construction de contre-exemples:
- Exemple 4.5: Démonstration de l'existence d'ensembles de w-périmètre fini mais sans périmètre fini
- Exemple 4.6: Démonstration de l'existence d'ensembles de périmètre fini mais sans w-périmètre fini
- Remarque 5.8: Illustration de la nécessité de la condition de w-approximabilité
- Calculs spécifiques:
- Vérification des résultats théoriques par calcul du w-périmètre de boules
- Calcul des mesures variationnelles de fonctions caractéristiques
Analyse des propriétés de différents types de poids:
- Poids puissance w(x) = |x|^α
- Poids constants par morceaux
- Classe de poids A₁
- Universalité du théorème de structure: Preuve que le théorème de structure subsiste sous les conditions les plus faibles (semi-continuité inférieure)
- Précision de l'approximation lisse:
- Cas w-approximable: Convergence complète ‖Df_k‖_w → ‖Df‖_w
- Cas non w-approximable: Convergence bornée, erreur ne dépassant pas w_{A₁} fois
- Isométrie de l'immersion: Préservation complète de la norme L¹ et de la mesure variationnelle
- Inégalité GNS:
- Cas général: Constante C₁w^{2/1*}_{A₁}
- Cas w^{1/1*}-approximable: Amélioration en C₁w^{1/1*}_{A₁}
Vérification de la cohérence théorique en substituant la fonction caractéristique χ_E dans l'inégalité GNS, obtenant naturellement l'inégalité isopérimétrique.
- Evans-Gariepy EG15: Théorie standard des espaces BV non pondérés
- Ambrosio-Fusco-Pallara AFP00: Théorie moderne des fonctions BV
- Baldi Ba01: Première étude systématique des espaces BV pondérés
- Camfield Ca08: Formule de co-aire dans les espaces BV pondérés
- Pérez-Rela PR19: Inégalités GNS dans les espaces de Sobolev pondérés
Par rapport aux travaux existants, cet article:
- Relâche les conditions sur les poids (de A₁* à semi-continuité inférieure)
- Introduit de nouveaux outils techniques (w-approximabilité)
- Établit des liens directs avec la théorie non pondérée (immersion isométrique)
- Fournit une théorie complète des inégalités
- La théorie BV pondérée peut être établie sous des conditions très générales sur les poids
- La w-approximabilité est la condition clé pour obtenir l'approximation lisse optimale
- L'espace BV pondéré et l'espace BV non pondéré possèdent des liens géométriques profonds
- Les inégalités GNS et isopérimétriques pondérées fournissent des outils importants pour les applications
- Condition de w-approximabilité: Bien que naturelle, elle n'est pas nécessaire et peut être trop restrictive
- Restriction aux poids A₁: L'inégalité GNS nécessite toujours la condition A₁, sans élimination complète des restrictions de poids
- Augmentation de dimension: Le théorème d'immersion nécessite une élévation à une dimension supérieure, pouvant limiter les applications
- Recherche de conditions de remplacement plus faibles pour la w-approximabilité
- Étude des inégalités GNS sous des poids plus généraux
- Exploration des applications aux EDP et problèmes variationnels
- Développement de la théorie géométrique des mesures pour les espaces BV pondérés
- Profondeur théorique: Établissement d'un cadre théorique complet sous des hypothèses minimales, démontrant une profonde maîtrise mathématique
- Innovation technique: La condition de w-approximabilité et la construction d'immersion isométrique sont des innovations techniques ingénieuses
- Systématicité: Formation d'un système complet allant de la théorie fondamentale aux inégalités appliquées
- Rigueur: Preuves détaillées et rigoureuses, constructions de contre-exemples appropriées, démonstration suffisante des limites de la théorie
- Orientation applicative insuffisante: En tant que recherche purement théorique, manque d'exemples d'application concrets
- Complexité de calcul: Certaines conditions (comme la w-approximabilité) peuvent être difficiles à vérifier en pratique
- Restrictions de poids: Malgré le relâchement des conditions, l'inégalité GNS nécessite toujours des poids A₁
- Contribution théorique: Apport important et complément à la théorie des espaces de fonctions pondérés
- Valeur méthodologique: Les méthodes techniques introduites offrent des références pour les recherches connexes
- Potentiel applicatif: Fourniture de fondations théoriques pour le traitement d'images, les problèmes variationnels et autres domaines applicatifs
- Recherche théorique: Théorie des espaces de fonctions, théorie géométrique des mesures
- Problèmes variationnels: Problèmes d'optimisation impliquant des fonctionnelles d'énergie pondérées
- Traitement d'images: Analyse théorique des modèles de variation totale pondérée
- Théorie des EDP: Étude des équations elliptiques et paraboliques pondérées
Cet article s'appuie principalement sur les références importantes suivantes:
- Ba01 A. Baldi. Weighted BV Functions. Houston Journal of Mathematics 27 (2001)
- EG15 L. C. Evans and R. F. Gariepy. Measure Theory and Fine Properties of Functions
- AFP00 L. Ambrosio, N. Fusco, and D. Pallara. Functions of Bounded Variation
- PR19 C. Pérez and E. Rela. Degenerate Poincaré-Sobolev inequalities
- Ca08 C. S. Camfield. Comparison of BV Norms in Weighted Euclidean Spaces
Évaluation Générale: Cet article est un travail mathématique théorique de haute qualité qui apporte des contributions importantes à la théorie des fonctions à variation bornée pondérée. L'article est techniquement rigoureux, fortement innovant et pose des fondations solides pour le développement ultérieur du domaine. Bien que privilégiant la théorie au détriment des applications directes, sa valeur théorique et son impact potentiel ne doivent pas être négligés.