Pub Date : 2024-02-05DOI: 10.2140/apde.2024.17.171
Mitsuo Higaki, Christophe Prange, Jinping Zhuge
We address the large-scale regularity theory for the stationary Navier–Stokes equations in highly oscillating bumpy John domains. These domains are very rough, possibly with fractals or cusps, at the microscopic scale, but are amenable to the mathematical analysis of the Navier–Stokes equations. We prove a large-scale Calderón–Zygmund estimate, a large-scale Lipschitz estimate, and large-scale higher-order regularity estimates, namely, and estimates. These nice regularity results are inherited only at mesoscopic scales, and clearly fail in general at the microscopic scales. We emphasize that the large-scale regularity is obtained by using first-order boundary layers constructed via a new argument. The large-scale regularity relies on the construction of second-order boundary layers, which allows for certain boundary data with linear growth at spatial infinity. To the best of our knowledge, our work is the first to carry out such an analysis. In the wake of many works in quantitative homogenization, our results strongly advocate in favor of considering the boundary regularity of the solutions to fluid equations as a multiscale problem, with improved regularity at or above a certain scale.
{"title":"Large-scale regularity for the stationary Navier–Stokes equations over non-Lipschitz boundaries","authors":"Mitsuo Higaki, Christophe Prange, Jinping Zhuge","doi":"10.2140/apde.2024.17.171","DOIUrl":"https://doi.org/10.2140/apde.2024.17.171","url":null,"abstract":"<p>We address the large-scale regularity theory for the stationary Navier–Stokes equations in highly oscillating bumpy John domains. These domains are very rough, possibly with fractals or cusps, at the microscopic scale, but are amenable to the mathematical analysis of the Navier–Stokes equations. We prove a large-scale Calderón–Zygmund estimate, a large-scale Lipschitz estimate, and large-scale higher-order regularity estimates, namely, <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mi>C</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>γ</mi></mrow></msup></math> and <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mi>C</mi></mrow><mrow><mn>2</mn><mo>,</mo><mi>γ</mi></mrow></msup></math> estimates. These nice regularity results are inherited only at mesoscopic scales, and clearly fail in general at the microscopic scales. We emphasize that the large-scale <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mi>C</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>γ</mi></mrow></msup></math> regularity is obtained by using first-order boundary layers constructed via a new argument. The large-scale <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mi>C</mi></mrow><mrow><mn>2</mn><mo>,</mo><mi>γ</mi></mrow></msup></math> regularity relies on the construction of second-order boundary layers, which allows for certain boundary data with linear growth at spatial infinity. To the best of our knowledge, our work is the first to carry out such an analysis. In the wake of many works in quantitative homogenization, our results strongly advocate in favor of considering the boundary regularity of the solutions to fluid equations as a multiscale problem, with improved regularity at or above a certain scale. </p>","PeriodicalId":49277,"journal":{"name":"Analysis & PDE","volume":"14 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139752886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-05DOI: 10.2140/apde.2024.17.243
Luis A. Caffarelli, María Soria-Carro
We introduce a new family of intermediate operators between the fractional Laplacian and the nonlocal Monge–Ampère introduced by Caffarelli and Silvestre that are given by infimums of integrodifferential operators. Using rearrangement techniques, we obtain representation formulas and give a connection to optimal transport. Finally, we consider a global Poisson problem prescribing data at infinity, and prove existence, uniqueness, and -regularity of solutions in the full space.
{"title":"On a family of fully nonlinear integrodifferential operators : from fractional Laplacian to nonlocal Monge–Ampère","authors":"Luis A. Caffarelli, María Soria-Carro","doi":"10.2140/apde.2024.17.243","DOIUrl":"https://doi.org/10.2140/apde.2024.17.243","url":null,"abstract":"<p>We introduce a new family of intermediate operators between the fractional Laplacian and the nonlocal Monge–Ampère introduced by Caffarelli and Silvestre that are given by infimums of integrodifferential operators. Using rearrangement techniques, we obtain representation formulas and give a connection to optimal transport. Finally, we consider a global Poisson problem prescribing data at infinity, and prove existence, uniqueness, and <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mi>C</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msup></math>-regularity of solutions in the full space. </p>","PeriodicalId":49277,"journal":{"name":"Analysis & PDE","volume":"38 1","pages":""},"PeriodicalIF":2.2,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139752481","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
<p>We prove three results in this paper: First, we prove, for a wide class of functions <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>φ</mi>