<p>We establish an optimal Calderón-Zygmund theory for nonuniformly elliptic double phase problems with matrix weights. For <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(1&lt;p&lt;q&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(a(\cdot )\in C^{0,\alpha }(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>C</mi> <mrow> <mn>0</mn> <mo>,</mo> <mi>α</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(0&lt;\alpha \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>), and a symmetric, almost everywhere positive definite matrix weight <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">M</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(|\mathbb {M}(x)|\,|\mathbb {M}(x)^{-1}|\le \Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="double-struck">M</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mi mathvariant="double-struck">M</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">|</mo> <mo>≤</mo> <mi mathvariant="normal">Λ</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> for some constant <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Lambda \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and small <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(|\log \mathbb {M}|_{\textrm{BMO}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">|</mo> <mo>log</mo> <mi mathvariant="double-struck">M</mi> <mo stretchy="false">|</mo> </mrow> <mtext>BMO</mtext> </msub> </math></EquationSource> </InlineEquation>, we prove, for every <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\gamma &gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ129"> <EquationSource Format="TEX">\( (|\mathbb {M}F|^p+a(x)|\mathbb {M}F|^q)\in L^\gamma _{\textrm{loc}} \;\Longrightarrow \; (|\mathbb {M}Du|^p+a(x)|\mathbb {M}Du|^q)\in L^\gamma _{\textrm{loc}}. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi mathvariant="double-struck">M</mi> <mi>F</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mo>+</mo> <msup> <mrow> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi mathvariant="double-struck">M</mi> <mi>F</mi> <mo stretchy="false">|</mo> </mrow> <mi>q</mi> </msup> <mrow> <mo stretchy="false">)</mo> <mo>∈</mo> </mrow> <msubsup> <mi>L</mi> <mtext>loc</mtext> <mi>γ</mi> </msubsup> <mspace width="0.277778em" /> <mo stretchy="false">⟹</mo> <msup> <mrow> <mspace width="0.277778em" /> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi mathvariant="double-struck">M</mi> <mi>D</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mo>+</mo> <msup> <mrow> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi mathvariant="double-struck">M</mi> <mi>D</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>q</mi> </msup> <mrow> <mo stretchy="false">)</mo> <mo>∈</mo> </mrow> <msubsup> <mi>L</mi> <mtext>loc</mtext> <mi>γ</mi> </msubsup> <mo>.</mo> </mrow> </math></EquationSource> </Equation>Our argument combines a freezing of the logarithm of the matrix field, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\log \mathbb {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>log</mo> <mi mathvariant="double-struck">M</mi> </mrow> </math></EquationSource> </InlineEquation>, with a fractional maximal-operator method governed by the Muckenhoupt-Wheeden <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {A}_{p,s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">A</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>s</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> classes (where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(1/s=1/p-\alpha /(nq)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mi>s</mi> <mo>=</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>p</mi> <mo>-</mo> <mi>α</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>). This yields scale-invariant comparison and level-set estimates and precludes Lavrentiev gaps at the sharp threshold <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(q/p\le 1+\alpha /n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo stretchy="false">/</mo> <mi>p</mi> <mo>≤</mo> <mn>1</mn> <mo>+</mo> <mi>α</mi> <mo stretchy="false">/</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Our result recovers the identity case <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\,\mathbb {M}\equiv \textrm{I}_n\,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mi mathvariant="double-struck">M</mi> <mo>≡</mo> <msub> <mtext>I</mtext> <mi>n</mi> </msub> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation>, i.e., the classical (unweighted) Calderón-Zygmund theory for double-phase problems.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Calderón-Zygmund estimates for double phase problems with matrix weights

  • Sun-Sig Byun,
  • Yumi Cho,
  • Seungjin Ryu

摘要

We establish an optimal Calderón-Zygmund theory for nonuniformly elliptic double phase problems with matrix weights. For \(1<p<q<\infty \) 1 < p < q < , \(a(\cdot )\in C^{0,\alpha }(\Omega )\) a ( · ) C 0 , α ( Ω ) ( \(0<\alpha \le 1\) 0 < α 1 ), and a symmetric, almost everywhere positive definite matrix weight \(\mathbb {M}\) M with \(|\mathbb {M}(x)|\,|\mathbb {M}(x)^{-1}|\le \Lambda \) | M ( x ) | | M ( x ) - 1 | Λ for some constant \(\Lambda \ge 1\) Λ 1 and small \(|\log \mathbb {M}|_{\textrm{BMO}}\) | log M | BMO , we prove, for every \(\gamma >1\) γ > 1 , \( (|\mathbb {M}F|^p+a(x)|\mathbb {M}F|^q)\in L^\gamma _{\textrm{loc}} \;\Longrightarrow \; (|\mathbb {M}Du|^p+a(x)|\mathbb {M}Du|^q)\in L^\gamma _{\textrm{loc}}. \) ( | M F | p + a ( x ) | M F | q ) L loc γ ( | M D u | p + a ( x ) | M D u | q ) L loc γ . Our argument combines a freezing of the logarithm of the matrix field, \(\log \mathbb {M}\) log M , with a fractional maximal-operator method governed by the Muckenhoupt-Wheeden \(\mathcal {A}_{p,s}\) A p , s classes (where \(1/s=1/p-\alpha /(nq)\) 1 / s = 1 / p - α / ( n q ) ). This yields scale-invariant comparison and level-set estimates and precludes Lavrentiev gaps at the sharp threshold \(q/p\le 1+\alpha /n\) q / p 1 + α / n . Our result recovers the identity case \(\,\mathbb {M}\equiv \textrm{I}_n\,\) M I n , i.e., the classical (unweighted) Calderón-Zygmund theory for double-phase problems.