Optimal regularity for supercritical parabolic obstacle problems

IF 3.1 1区数学 Q1 MATHEMATICS

Communications on Pure and Applied Mathematics 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":10601,"journal":{"name":"Communications on Pure and Applied Mathematics","volume":"77 3","pages":"1724-1765"},"PeriodicalIF":3.1000,"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":"Communications on Pure and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/cpa.22166","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","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分钟内获得全文求助全文

来源期刊

Communications on Pure and Applied Mathematics 数学-数学

CiteScore

6.70

自引率

3.30%

发文量

审稿时长

>12 weeks

期刊介绍： Communications on Pure and Applied Mathematics (ISSN 0010-3640) is published monthly, one volume per year, by John Wiley & Sons, Inc. © 2019. The journal primarily publishes papers originating at or solicited by the Courant Institute of Mathematical Sciences. It features recent developments in applied mathematics, mathematical physics, and mathematical analysis. The topics include partial differential equations, computer science, and applied mathematics. CPAM is devoted to mathematical contributions to the sciences; both theoretical and applied papers, of original or expository type, are included.