Maximal $$L_p$$-regularity for x-dependent fractional heat equations with Dirichlet conditions

Abstract We prove optimal regularity results in $$L_p$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msub> </mml:math> -based function spaces in space and time for a large class of linear parabolic equations with a nonlocal elliptic operator in bounded domains with limited smoothness. Here the nonlocal operator is given by a strongly elliptic and even pseudodifferential operator P of order 2 a ( $$0&lt;a&lt;1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>&lt;</mml:mo> <mml:mi>a</mml:mi> <mml:mo>&lt;</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> ) with nonsmooth x -dependent coefficients. This includes the prominent case of the fractional Laplacian $$(-\Delta )^a$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mo>-</mml:mo> <mml:mi>Δ</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mi>a</mml:mi> </mml:msup> </mml:math> , as well as elliptic operators $$(-\nabla \cdot A(x)\nabla +b(x))^a$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mo>-</mml:mo> <mml:mi>∇</mml:mi> <mml:mo>·</mml:mo> <mml:mi>A</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mi>∇</mml:mi> <mml:mo>+</mml:mo> <mml:mi>b</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:mi>a</mml:mi> </mml:msup> </mml:math> . The proofs are based on general results on maximal $$L_p$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msub> </mml:math> -regularity and its relation to $$\mathcal {R}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>R</mml:mi> </mml:math> -boundedness of the resolvent of the associated (elliptic) operator. Finally, we apply these results to show existence of strong solutions locally in time for a class of nonlinear nonlocal parabolic equations, which include a fractional nonlinear diffusion equation and a fractional porous medium equation after a transformation. The nonlinear results are new in the case of domains with boundary; the linear results are so when P is x -dependent nonsymmetric.

Authors

Institutions

Publication Details

Journal
Mathematische Annalen
Published
2024-09-30
DOI
https://doi.org/10.1007/s00208-024-02999-2
Citations
1
Primary Topic
Numerical methods in inverse problems
Type
article
Field-Weighted Citation Impact
0.89

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Maximal $$L_p$$-regularity for x-dependent fractional heat equations with Dirichlet conditions

Helmut Abels, Gerd Grubb
1 citations
Mathematische Annalen
Numerical methods in inverse problems
0.89
article

Maximal $$L_p$$-regularity for x-dependent fractional heat equations with Dirichlet conditions

Helmut Abels, Gerd Grubb
article en
1 citations

Abstract

Abstract We prove optimal regularity results in $$L_p$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msub> </mml:math> -based function spaces in space and time for a large class of linear parabolic equations with a nonlocal elliptic operator in bounded domains with limited smoothness. Here the nonlocal operator is given by a strongly elliptic and even pseudodifferential operator P of order 2 a ( $$0&lt;a&lt;1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>&lt;</mml:mo> <mml:mi>a</mml:mi> <mml:mo>&lt;</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> ) with nonsmooth x -dependent coefficients. This includes the prominent case of the fractional Laplacian $$(-\Delta )^a$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mo>-</mml:mo> <mml:mi>Δ</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mi>a</mml:mi> </mml:msup> </mml:math> , as well as elliptic operators $$(-\nabla \cdot A(x)\nabla +b(x))^a$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mo>-</mml:mo> <mml:mi>∇</mml:mi> <mml:mo>·</mml:mo> <mml:mi>A</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mi>∇</mml:mi> <mml:mo>+</mml:mo> <mml:mi>b</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:mi>a</mml:mi> </mml:msup> </mml:math> . The proofs are based on general results on maximal $$L_p$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msub> </mml:math> -regularity and its relation to $$\mathcal {R}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>R</mml:mi> </mml:math> -boundedness of the resolvent of the associated (elliptic) operator. Finally, we apply these results to show existence of strong solutions locally in time for a class of nonlinear nonlocal parabolic equations, which include a fractional nonlinear diffusion equation and a fractional porous medium equation after a transformation. The nonlinear results are new in the case of domains with boundary; the linear results are so when P is x -dependent nonsymmetric.

Mathematische AnnalenVol. 391(3)
University of Copenhagen (DK), Department of Mathematical Sciences (RU), University of Regensburg (DE)
Københavns Universitet
Openalex Percentile: Top 29%
Numerical methods in inverse problems
0.89
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.