Optimal regularity for supercritical parabolic obstacle problems

IF 4.3 3区材料科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC

ACS Applied Electronic Materials Pub Date : 2023-09-29 DOI:10.1002/cpa.22166

Xavier Ros-Oton, Clara Torres-Latorre

{"title":"Optimal regularity for supercritical parabolic obstacle problems","authors":"Xavier Ros-Oton, Clara Torres-Latorre","doi":"10.1002/cpa.22166","DOIUrl":null,"url":null,"abstract":"We study the obstacle problem for parabolic operators of the type <math>\n <semantics>\n <mrow>\n <msub>\n <mi>∂</mi>\n <mi>t</mi>\n </msub>\n <mo>+</mo>\n <mi>L</mi>\n </mrow>\n <annotation>$\\partial _t + L$</annotation>\n </semantics></math>, where L is an elliptic integro-differential operator of order 2s, such as <math>\n <semantics>\n <msup>\n <mrow>\n <mo>(</mo>\n <mo>−</mo>\n <mi>Δ</mi>\n <mo>)</mo>\n </mrow>\n <mi>s</mi>\n </msup>\n <annotation>$(-\\Delta )^s$</annotation>\n </semantics></math>, in the supercritical regime <math>\n <semantics>\n <mrow>\n <mi>s</mi>\n <mo>∈</mo>\n <mo>(</mo>\n <mn>0</mn>\n <mo>,</mo>\n <mfrac>\n <mn>1</mn>\n <mn>2</mn>\n </mfrac>\n <mo>)</mo>\n </mrow>\n <annotation>$s \\in (0,\\frac{1}{2})$</annotation>\n </semantics></math>. The best result in this context was due to Caffarelli and Figalli, who established the <math>\n <semantics>\n <msubsup>\n <mi>C</mi>\n <mi>x</mi>\n <mrow>\n <mn>1</mn>\n <mo>,</mo>\n <mi>s</mi>\n </mrow>\n </msubsup>\n <annotation>$C^{1,s}_x$</annotation>\n </semantics></math> regularity of solutions for the case <math>\n <semantics>\n <mrow>\n <mi>L</mi>\n <mo>=</mo>\n <msup>\n <mrow>\n <mo>(</mo>\n <mo>−</mo>\n <mi>Δ</mi>\n <mo>)</mo>\n </mrow>\n <mi>s</mi>\n </msup>\n </mrow>\n <annotation>$L = (-\\Delta )^s$</annotation>\n </semantics></math>, the same regularity as in the elliptic setting.Here we prove for the first time that solutions are actually more regular than in the elliptic case. More precisely, we show that they are C1, 1 in space and time, and that this is optimal. We also deduce the <math>\n <semantics>\n <msup>\n <mi>C</mi>\n <mrow>\n <mn>1</mn>\n <mo>,</mo>\n <mi>α</mi>\n </mrow>\n </msup>\n <annotation>$C^{1,\\alpha }$</annotation>\n </semantics></math> regularity of the free boundary. Moreover, at all free boundary points <math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <msub>\n <mi>x</mi>\n <mn>0</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>t</mi>\n <mn>0</mn>\n </msub>\n <mo>)</mo>\n </mrow>\n <annotation>$(x_0,t_0)$</annotation>\n </semantics></math>, we establish the following expansion:\n\n ","PeriodicalId":3,"journal":{"name":"ACS Applied Electronic Materials","volume":null,"pages":null},"PeriodicalIF":4.3000,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/cpa.22166","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACS Applied Electronic Materials","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/cpa.22166","RegionNum":3,"RegionCategory":"材料科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"ENGINEERING, ELECTRICAL & ELECTRONIC","Score":null,"Total":0}

引用次数: 0

Abstract

We study the obstacle problem for parabolic operators of the type $\partial_{t} + L$ , where L is an elliptic integro-differential operator of order 2s, such as ${(- Δ)}^{s}$ , in the supercritical regime $s \in (0, \frac{1}{2})$ . The best result in this context was due to Caffarelli and Figalli, who established the $C_{x}^{1, s}$ regularity of solutions for the case $L = {(- Δ)}^{s}$ , the same regularity as in the elliptic setting.

Here we prove for the first time that solutions are actually more regular than in the elliptic case. More precisely, we show that they are C^{1, 1} in space and time, and that this is optimal. We also deduce the $C^{1, α}$ regularity of the free boundary. Moreover, at all free boundary points $(x_{0}, t_{0})$ , we establish the following expansion:

查看原文本刊更多论文

超临界抛物线障碍问题的最优正则性

我们研究了 ∂ t + L $\partial _t + L$ 类型抛物线算子的障碍问题，其中 L 是阶数为 2s 的椭圆整微分算子，如 ( - Δ ) s $(-\Delta )^s$ ，在超临界系统 s∈ ( 0 , 1 2 ) $s \in (0,\frac{1}{2})$ 中。在这种情况下，最好的结果是 Caffarelli 和 Figalli 取得的，他们确定了 L = ( - Δ ) s $L = (-\Delta )^s$情况下的解的 C x 1 , s $C^{1,s}_x$ 正则性，这与椭圆情况下的正则性相同。更准确地说，我们证明了它们在空间和时间上都是 C1, 1，而且这是最优的。我们还推导出自由边界的 C 1 , α $C^{1,\alpha }$ 规则性。此外，在所有自由边界点 ( x 0 , t 0 ) $(x_0,t_0)$ 上，我们建立了以下扩展：

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

ACS Applied Electronic Materials Multiple-

CiteScore

7.20

自引率

4.30%

发文量

567