{"title":"Critical sets of solutions of elliptic equations in periodic homogenization","authors":"Fanghua Lin, Zhongwei Shen","doi":"10.1002/cpa.22186","DOIUrl":null,"url":null,"abstract":"<p>In this paper we study critical sets of solutions <span></span><math>\n <semantics>\n <msub>\n <mi>u</mi>\n <mi>ε</mi>\n </msub>\n <annotation>$u_\\varepsilon$</annotation>\n </semantics></math> of second-order elliptic equations in divergence form with rapidly oscillating and periodic coefficients. Under some condition on the first-order correctors, we show that the <span></span><math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>d</mi>\n <mo>−</mo>\n <mn>2</mn>\n <mo>)</mo>\n </mrow>\n <annotation>$(d-2)$</annotation>\n </semantics></math>-dimensional Hausdorff measures of the critical sets are bounded uniformly with respect to the period <span></span><math>\n <semantics>\n <mi>ε</mi>\n <annotation>$\\varepsilon$</annotation>\n </semantics></math>, provided that doubling indices for solutions are bounded. The key step is an estimate of “turning” of an approximate tangent map, the projection of a non-constant solution <span></span><math>\n <semantics>\n <msub>\n <mi>u</mi>\n <mi>ε</mi>\n </msub>\n <annotation>$u_\\varepsilon$</annotation>\n </semantics></math> onto the subspace of spherical harmonics of order <span></span><math>\n <semantics>\n <mi>ℓ</mi>\n <annotation>$\\ell$</annotation>\n </semantics></math>, when the doubling index for <span></span><math>\n <semantics>\n <msub>\n <mi>u</mi>\n <mi>ε</mi>\n </msub>\n <annotation>$u_\\varepsilon$</annotation>\n </semantics></math> on a sphere <span></span><math>\n <semantics>\n <mrow>\n <mi>∂</mi>\n <mi>B</mi>\n <mo>(</mo>\n <mn>0</mn>\n <mo>,</mo>\n <mi>r</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\partial B(0, r)$</annotation>\n </semantics></math> is trapped between <span></span><math>\n <semantics>\n <mrow>\n <mi>ℓ</mi>\n <mo>−</mo>\n <mi>δ</mi>\n </mrow>\n <annotation>$\\ell -\\delta$</annotation>\n </semantics></math> and <span></span><math>\n <semantics>\n <mrow>\n <mi>ℓ</mi>\n <mo>+</mo>\n <mi>δ</mi>\n </mrow>\n <annotation>$\\ell +\\delta$</annotation>\n </semantics></math>, for <span></span><math>\n <semantics>\n <mi>r</mi>\n <annotation>$r$</annotation>\n </semantics></math> between 1 and a minimal radius <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mi>r</mi>\n <mo>∗</mo>\n </msup>\n <mo>≥</mo>\n <msub>\n <mi>C</mi>\n <mn>0</mn>\n </msub>\n <mi>ε</mi>\n </mrow>\n <annotation>$r^*\\ge C_0\\varepsilon$</annotation>\n </semantics></math>. This estimate is proved by using harmonic approximation successively. With a suitable <span></span><math>\n <semantics>\n <msup>\n <mi>L</mi>\n <mn>2</mn>\n </msup>\n <annotation>$L^2$</annotation>\n </semantics></math> renormalization as well as rescaling we are able to control the accumulated errors introduced by homogenization and projection. Our proof also gives uniform bounds for Minkowski contents of the critical sets.</p>","PeriodicalId":10601,"journal":{"name":"Communications on Pure and Applied Mathematics","volume":"77 7","pages":"3143-3183"},"PeriodicalIF":3.1000,"publicationDate":"2023-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Communications on Pure and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/cpa.22186","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
In this paper we study critical sets of solutions of second-order elliptic equations in divergence form with rapidly oscillating and periodic coefficients. Under some condition on the first-order correctors, we show that the -dimensional Hausdorff measures of the critical sets are bounded uniformly with respect to the period , provided that doubling indices for solutions are bounded. The key step is an estimate of “turning” of an approximate tangent map, the projection of a non-constant solution onto the subspace of spherical harmonics of order , when the doubling index for on a sphere is trapped between and , for between 1 and a minimal radius . This estimate is proved by using harmonic approximation successively. With a suitable renormalization as well as rescaling we are able to control the accumulated errors introduced by homogenization and projection. Our proof also gives uniform bounds for Minkowski contents of the critical sets.