<p>This manuscript focuses on borderline, gradient, and higher regularity estimates of solutions to fully nonlinear elliptic transmission problems given by <Equation ID="Equ1"> <EquationSource Format="TEX">\( {\left\{ \begin{array}{ll} \begin{array}{lclcccl} F^+(D^2 u) &amp; = &amp; f^+(x) &amp; \text { in } &amp; \Omega ^+ &amp; = &amp; B_1 \cap \{ x_n &gt; \psi (x') \}, \\ F^-(D^2 u) &amp; = &amp; f^-(x) &amp; \text { in } &amp; \Omega ^- &amp; = &amp; B_1 \cap \{ x_n &lt; \psi (x') \}, \\ u^+_\nu - u^-_\nu &amp; = &amp; g(x) &amp; \text { on } &amp; \Gamma _{\psi } &amp; = &amp; B_1 \cap \{ x_n = \psi (x') \}, \end{array} \end{array}\right. } \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msup> <mi>F</mi> <mo>+</mo> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>D</mi> <mn>2</mn> </msup> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd> <mo>=</mo> </mtd> <mtd columnalign="left"> <mrow> <msup> <mi>f</mi> <mo>+</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> </mrow> </mtd> <mtd> <msup> <mi mathvariant="normal">Ω</mi> <mo>+</mo> </msup> </mtd> <mtd> <mo>=</mo> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo>∩</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo>&gt;</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msup> <mi>F</mi> <mo>-</mo> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>D</mi> <mn>2</mn> </msup> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd> <mo>=</mo> </mtd> <mtd columnalign="left"> <mrow> <msup> <mi>f</mi> <mo>-</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> </mrow> </mtd> <mtd> <msup> <mi mathvariant="normal">Ω</mi> <mo>-</mo> </msup> </mtd> <mtd> <mo>=</mo> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo>∩</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo>&lt;</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msubsup> <mi>u</mi> <mi>ν</mi> <mo>+</mo> </msubsup> <mo>-</mo> <msubsup> <mi>u</mi> <mi>ν</mi> <mo>-</mo> </msubsup> </mrow> </mtd> <mtd> <mo>=</mo> </mtd> <mtd columnalign="left"> <mrow> <mi>g</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mtd> <mtd> <mrow> <mspace width="0.333333em" /> <mtext>on</mtext> <mspace width="0.333333em" /> </mrow> </mtd> <mtd> <msub> <mi mathvariant="normal">Γ</mi> <mi>ψ</mi> </msub> </mtd> <mtd> <mo>=</mo> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo>∩</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo>=</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </Equation>for suitable functions <i>f</i>, continuous data <i>g</i>, and a fixed interface <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ψ</mi> </math></EquationSource> </InlineEquation>. Specifically, under the standard uniform ellipticity condition on the governing operators and suitable Hölder continuity assumptions on <i>g</i> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ψ</mi> </math></EquationSource> </InlineEquation>, we obtain optimal <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(C^{1,\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>α</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>-regularity provided the forcing term lies in the Lebesgue space <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L^{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(p&gt;n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we establish <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(C^{0,\text {Log-Lip}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mrow> <mn>0</mn> <mo>,</mo> <mtext>Log-Lip</mtext> </mrow> </msup> </math></EquationSource> </InlineEquation> regularity in the borderline case <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f \in L^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. Finally, in the critical borderline case, i.e., when the forcing terms belong to the <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\text {BMO}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>BMO</mtext> </math></EquationSource> </InlineEquation> space and under asymptotic concavity conditions for the governing operators with suitable Hölder continuity assumptions on the data, we obtain higher Log-Lipschitz-type estimates, specifically, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(u \in C_{\text {loc}}^{1, \text {Log-Lip}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>∈</mo> <msubsup> <mi>C</mi> <mrow> <mtext>loc</mtext> </mrow> <mrow> <mn>1</mn> <mo>,</mo> <mtext>Log-Lip</mtext> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. Our results are remarkable, even within the context of linear transmission problems.</p>

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

Transmission Problems for Fully Nonlinear Elliptic Models: Universal Regularity of Solutions

  • Junior da S. Bessa,
  • João Vitor da Silva,
  • Gleydson C. Ricarte

摘要

This manuscript focuses on borderline, gradient, and higher regularity estimates of solutions to fully nonlinear elliptic transmission problems given by \( {\left\{ \begin{array}{ll} \begin{array}{lclcccl} F^+(D^2 u) & = & f^+(x) & \text { in } & \Omega ^+ & = & B_1 \cap \{ x_n > \psi (x') \}, \\ F^-(D^2 u) & = & f^-(x) & \text { in } & \Omega ^- & = & B_1 \cap \{ x_n < \psi (x') \}, \\ u^+_\nu - u^-_\nu & = & g(x) & \text { on } & \Gamma _{\psi } & = & B_1 \cap \{ x_n = \psi (x') \}, \end{array} \end{array}\right. } \) F + ( D 2 u ) = f + ( x ) in Ω + = B 1 { x n > ψ ( x ) } , F - ( D 2 u ) = f - ( x ) in Ω - = B 1 { x n < ψ ( x ) } , u ν + - u ν - = g ( x ) on Γ ψ = B 1 { x n = ψ ( x ) } , for suitable functions f, continuous data g, and a fixed interface \(\psi \) ψ . Specifically, under the standard uniform ellipticity condition on the governing operators and suitable Hölder continuity assumptions on g and \(\psi \) ψ , we obtain optimal \(C^{1,\alpha }\) C 1 , α -regularity provided the forcing term lies in the Lebesgue space \(L^{p}\) L p for \(p>n\) p > n . Furthermore, we establish \(C^{0,\text {Log-Lip}}\) C 0 , Log-Lip regularity in the borderline case \(f \in L^{n}\) f L n . Finally, in the critical borderline case, i.e., when the forcing terms belong to the \(\text {BMO}\) BMO space and under asymptotic concavity conditions for the governing operators with suitable Hölder continuity assumptions on the data, we obtain higher Log-Lipschitz-type estimates, specifically, \(u \in C_{\text {loc}}^{1, \text {Log-Lip}}\) u C loc 1 , Log-Lip . Our results are remarkable, even within the context of linear transmission problems.