Lemme de Calderón-Zygmund

En mathématiques, le lemme de Calderón-Zygmund est un résultat fondamental en théorie de Fourier, analyse harmonique, et théorie des intégrales singulières (en). Il porte le nom des mathématiciens Alberto Calderón et Antoni Zygmund.

Pour une fonction intégrable donnée  : ℝd→ℂ, où ℝd dénote l'espace euclidien et ℂ dénote l'ensemble des nombres complexes, le lemme de Calderón-Zygmund donne une manière précise de partitionnerd en deux ensembles : l'un où est essentiellement petite ; l'autre constitué d'une collection dénombrable de cubes où est essentiellement grande, mais où l'on garde un certain contrôle de la fonction.

Ceci conduit à la décomposition de Calderón-Zygmund de associée à cette partition, dans laquelle est écrite comme la somme d'une « bonne » et d'une « mauvaise » fonction.

Lemme de Calderón–Zygmund

Lemme de recouvrement

Soient  : ℝd→ℂ une fonction intégrable et une constante strictement positive. Alors il existe des ensembles et tels que :
  1. et
  2. presque partout dans  ;
  3. est une union de cubes , dont les intérieurs sont mutuellement disjoints, et tels que pour tout on ait :

Décomposition de Calderón–Zygmund

étant donnée comme ci-dessus, on peut écrire comme la somme d'une « bonne » fonction et d'une « mauvaise » fonction , . Pour y parvenir, on définit
dénote l'intérieur de , et on pose . En conséquence, nous avons :
pour tout
et pour chaque cube
La fonction a ainsi pour support une collection de cubes sur lesquels est autorisée à être « grande », mais elle a en outre la propriété additionnelle bénéfique que sa valeur moyenne est zéro sur chacun de ces cubes. Simultanément pour presque tout dans , et sur chaque cube dans , est égal à la valeur moyenne de sur ce cube, qui grâce au recouvrement choisi est inférieur à .

Références

Article connexe

  • Portail de l'analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.