title: Homogénéisation
text: # Homogénéisation
  
  Dans les mathématiques et la physique, $l'homogénéisation^,$ est un champ scientifique qui s'est développé à partir des années 1970 et qui a pour objet l'étude de systèmes multi-échelles. Plus précisément, l'homogénéisation s'attache à l'étude d'équations aux dérivées partielles dont un terme oscille fortement. Ces oscillations sont généralement liées à l'étude de milieux présentant des hétérogénéités à l'échelle microscopique (par exemple, des matériaux composites). L'objet de la théorie de l'homogénéisation est de proposer une équation « effective » (ou « homogénéisée ») généralement plus simple, qui décrive le comportement de la solution de l'équation considérée dans la limite où la petite échelle tend vers 0. Un des buts de cette théorie est de simplifier ainsi la simulation numérique de systèmes physiques complexes faisant intervenir plusieurs échelles.
  
  ## Domaines d'applications
  
  Initialement conceptualisée pour des équations elliptiques, la méthode d'homogénéisation par l'analyse asymptotique s'étend à divers types d'équations stationnaires ou non, à commencer par les équations de transport décrites par une équation de Boltzmann dont la diffusion constitue une approximation qui est retrouvée par cette approche. On trouve ainsi des exemples d'application dans des domaines aussi divers que la diffusion de masse ou de chaleur, la mécanique des fluides ou le transfert radiatif. Elle s'applique également à la mécanique des milieux $continus^,$ ou l'électromagnétisme.
  
  ## Exemple d'une équation elliptique
  
  On traite ici de la méthode utilisant un développement asymptotique sur l'exemple d'une équation elliptique. L'utilisation de cette technique nécessite que le milieu considéré ait une structure spécifique: périodique (comme ci-dessous), presque-périodique, ou encore aléatoire avec des propriétés de stationnarité et $d'ergodicité^,.$
  
  On considère ici une équation elliptique pour la fonction inconnue u(x) dans le domaine ${\mathcal {D}}\subset \mathbb {R} ^{d}$
  
      $\left\{{\begin{array}{rcl}-\nabla \cdot \left({\mathsf {A}}\left(\mathbf {x} \right)\cdot \nabla u(\mathbf {x} )\right)&=&f(\mathbf {x} )\,,\quad \mathbf {x} \in {\mathcal {D}}\\[0.6em]u|_{\partial {\mathcal {D}}}&=&g\end{array}}\right.$
  
  où $f$est un terme source et $g$ est la donnée au bord imposée. On suppose que la matrice ${\mathsf {A}}$ est définie positive (éventuellement symétrique).
  
  Le problème est défini sur un milieu comportant une échelle de variation lente x et une échelle de variation rapide $y={\frac {\mathbf {x} }{\varepsilon }}$ où ε mesure l'échelle microscopique
  
         $-\nabla \cdot \left({\mathsf {A}}\left(\mathbf {y} \right)\cdot \nabla u^{\varepsilon }(\mathbf {y} )\right)=f(\mathbf {x} )$
  
  Lorsque ε tend vers 0, cette équation peut être efficacement approximée par une équation — dite équation homogénéisée — faisant intervenir une matrice ${\mathsf {A}}^{\star }$ qui s'écrit
  
         $-\nabla \cdot \left({\mathsf {A}}^{\star }(\mathbf {x} )\cdot \nabla u^{\star }(\mathbf {x} )\right)=f(\mathbf {x} )$
  
  dans le sens où
  
         $\lim \limits _{\varepsilon \to 0}u^{\varepsilon }(\mathbf {x} )=u^{\star }(\mathbf {x} )$
  
  Dans le cas où  ${\mathsf {A}}(\mathbf {y} )$ est un coefficient périodique, la matrice homogénéisée ${\mathsf {A}}^{\star }$ est constante, d'où une simplification substantielle du problème.
  
  ### Analyse asymptotique
  
  * Le milieu est supposé périodique de cellule ${\mathcal {E}}=[0,1]^{d}$. C'est-à-dire que, pour $(\mathbf {e} _{i})$ la base canonique de $\mathbb {R} ^{d}$, on a
  
         ${\mathsf {A}}(\mathbf {x} +\mathbf {e} _{i})={\mathsf {A}}(\mathbf {x} ){\text{ pour tout }}i\in \{1,\cdots ,d\}$
  * x et y sont considérées comme des variables indépendantes. On a donc
  
         $u(\mathbf {x} )=u^{\varepsilon }(\mathbf {x} ,\mathbf {y} )\qquad \Rightarrow \qquad \nabla =\nabla _{x}+{\frac {1}{\varepsilon }}\nabla _{y}\,,\quad \nabla \cdot =\nabla _{x}\cdot +{\frac {1}{\varepsilon }}\nabla _{y}\cdot$
  
  La solution est développée sous forme d'une série de Hilbert, où chaque terme est périodique par rapport à la seconde variable $\mathbf {y}$
  
         $u^{\varepsilon }(\mathbf {x} ,\mathbf {y} )=u_{0}(\mathbf {x} ,\mathbf {y} )+\varepsilon u_{1}(\mathbf {x} ,\mathbf {y} )+\varepsilon ^{2}u_{2}(\mathbf {x} ,\mathbf {y} )+\cdots$
  
  On obtient ainsi
  
         $\nabla u^{\varepsilon }=\varepsilon ^{-1}\nabla _{y}u_{0}+\sum _{i=0}^{\infty }\varepsilon ^{i}\left(\nabla _{y}u_{i+1}+\nabla _{x}u_{i}\right)$
  
  Le regroupement des termes du même ordre permet d'obtenir à l'ordre 0 l'équation homogénéisée
  
         $-\nabla _{x}\cdot \left({\mathsf {A}}^{\star }\nabla _{x}u_{0}\right)=f$
  
  où  ${\mathsf {A}}^{\star }$ est une matrice constante obtenu par la résolution d'un problème à l'échelle locale.
  
  Ayant porté l'expression de la série ci-dessus dans l'équation satisfaite par $u^{\varepsilon }$ on extrait les termes correspondant à chaque ordre du développement
  
  * à l'ordre $ε^{−2}$
  
         $\nabla _{y}\cdot \left({\mathsf {A}}\nabla _{y}u_{0}\right)=0$
      En testant l'équation contre $u_{0}$ et via une intégration par parties, on obtient
         $\int _{\mathcal {E}}\nabla _{y}u_{0}\cdot \left({\mathsf {A}}\nabla _{y}u_{0}\right)\mathrm {d} \mathbf {y} =0$
      L'intégrande est non négatif par coercivité de  ${\mathsf {A}}$ . Cela implique que  $\nabla _{y}u_{0}=0$  donc  $u_{0}$  ne dépend que de  $\mathbf {x}$ .
  * à l'ordre $ε^{−1}$ et en tenant compte de la relation précédente
  
         $\nabla _{y}\cdot \left({\mathsf {A}}\nabla _{y}u_{1}\right)+\nabla _{y}{\mathsf {A}}\cdot \nabla _{x}u_{0}=0$
      Si la fonction  $w_{i}(\mathbf {y} )$, de moyenne nulle sur  ${\mathcal {E}}$, est solution du problème local  $\nabla _{y}\cdot \left({\mathsf {A}}\left(\nabla _{y}w_{i}+e_{i}\right)\right)=0$  alors on peut écrire par linéarisation du problème
         $u_{1}(\mathbf {x} ,\mathbf {y} )={\overline {u}}_{1}(\mathbf {x} )+\sum _{i=1}^{d}{\frac {\partial u_{0}}{\partial x_{i}}}(\mathbf {x} )w_{i}(\mathbf {y} )$
      où  ${\overline {u}}_{1}(\mathbf {x} )$  est une fonction d'intégration arbitraire que l'on va choisir nulle.
  * à l'ordre ε0
  
         $-\nabla _{x}\cdot \left({\mathsf {A}}\nabla _{x}u_{0}\right)-\nabla _{y}\cdot \left({\mathsf {A}}\nabla _{x}u_{1}\right)-\nabla _{x}\cdot \left({\mathsf {A}}\nabla _{y}u_{1}\right)-\nabla _{y}\cdot \left({\mathsf {A}}\nabla _{y}u_{2}\right)=f$
      En moyennant sur  ${\mathcal {E}}$  on en déduit
         $-\nabla _{x}\cdot \left(\left(\int _{\mathcal {E}}{\mathsf {A}}\right)\nabla _{x}u_{0}\right)-\nabla _{x}\cdot \int _{\mathcal {E}}{\mathsf {A}}\nabla _{y}u_{1}=f$
      En reportant l'équation donnant $u_1$ on obtient l'équation de diffusion homogénéisée
         $-\nabla _{x}\cdot \left({\mathsf {A}}^{\star }\nabla _{x}u_{0}\right)=f$
      avec
         ${\mathsf {A}}_{ij}^{\star }=\int _{\mathcal {E}}\left({\mathsf {A}}_{ij}(\mathbf {y} )+\sum _{k=1}^{d}{\mathsf {A}}_{ik}(\mathbf {y} ){\frac {\partial w_{j}(\mathbf {y} )}{\partial y_{k}}}\right){\rm {d}}\mathbf {y}$
  
  Dans le cas monodimensionnel, on peut même obtenir une expression explicite de la matrice homogénéisée: il s'agit de la moyenne harmonique de la matrice ${\mathsf {A}}$:
  
  ${\mathsf {A}}^{\star }=\left(\left\langle {\mathsf {A}}^{-1}\right\rangle \right)^{-1}$
  
  En reprenant la démonstration ci-dessus, on observe que ${\mathsf {A}}^{\star }=\left\langle {\mathsf {A}}\left(1+w'\right)\right\rangle$ où l'équation que satisfait le correcteur est
  
  $\left({\mathsf {A}}\left(1+w'\right)\right)'=0$
  
  En intégrant cette équation différentielle ordinaire, on trouve naturellement que
  
  $\left(1+w'\right)={\frac {C}{\mathsf {A}}}$
  
  où $C$ est une constante d'intégration. Pour que la fonction $w$ soit périodique, l'unique choix possible de $C$ est la moyenne harmonique
  
  $C=\left(\left\langle {\mathsf {A}}^{-1}\right\rangle \right)^{-1}$
  
  en injectant cette identité dans l'expression de ${\mathsf {A}}^{\star }$, on trouve le résultat souhaité.
  
  ## Référence
  
  * ↑ (en) A. Bensoussan, J.-L. Lions et G. Papanicolaou, Asymptotic Analysis for Periodic Structures, Amsterdam, North-Holland, 1978, 699 p. (ISBN 978-0-08-087526-2, lire en ligne)
  * ↑ (en) Luc Tartar, The General Theory of Homogenization, Springer, 2009, 210 p. (ISBN 978-90-481-5142-4)
  * ↑ (en) S. Nemat-Nasser et M. Hori, Micromechanics : Overall Properties of Heterogeneous Materials, North-Holland, 1999 (ISBN 0-444-50084-7)
  * ↑ (en) Allaire, Conception optimale des structures, Springer, 2002, p. 176-190
  * ↑ (en) S. M. Kozlov, « Homogenization of Random Operators », Sbornik Mathematics, vol. 37, $n^o$ 2,‎ 1980, p. 167-180
  * ↑ (en) G. C. Papanicolaou et S. R. Varadhan, « Boundary Value Problems with Rapidly Oscillating Coefficients », Seria Colloquium Mathematical Society Janos Bolyai, vol. 27,‎ 1981, p. 835-873
  