Blow-ups of caloric measure in time varying domains and applications to two-phase problems

DOI10.1016/J.MATPUR.2021.05.005MaRDI QIDQ2048449zbMATH OpenOpenAlexFDO

Authors Mihalis Mourgoglou, Carmelo Puliatti

Publication date 6 August 2021

Published in Journal de Mathématiques Pures et Appliquées. Neuvième Série (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2008.06968

zbMATH Keywords

caloric measure capacity density condition free boundary problems heat equation optimal transport tangent measures

Mathematics Subject Classification ID

Spaces of measures, convergence of measures (28A33) Length, area, volume, other geometric measure theory (28A75) Hausdorff and packing measures (28A78) Other generalizations (nonlinear potential theory, etc.) (31C45) Oscillation, zeros of solutions, mean value theorems, etc. in context of PDEs (35B05) Blow-up in context of PDEs (35B44) Optimal transportation (49Q22)

Abstract: We develop a method to study the structure of the common part of the boundaries of disjoint and possibly non-complementary time-varying domains in

m a t h b b R^{n + 1}

,

n g e q 2

, at the points of mutual absolute continuity of their respective caloric measures. Our set of techniques, which is based on parabolic tangent measures, allows us to tackle the following problems: 1) Let

O m e g a_{1}

and

O m e g a_{2}

be disjoint domains in

m a t h b b R^{n + 1}

,

n g e q 2

, which are quasi-regular for the heat equation and regular for the adjoint heat equation, and their complements satisfy a mild non-degeneracy hypothesis on the set

E

of mutual absolute continuity of the associated caloric measures

o m e g a_{i}

with poles at

,

i = 1, 2

. Then, we obtain a parabolic analogue of the results of Kenig, Preiss, and Toro, i.e., we show that the parabolic Hausdorff dimension of

o m e g a_{1} |_{E}

is

n + 1

and the tangent measures of

o m e g a_{1}

at

o m e g a_{1}

-a.e. point of

E

are equal to a constant multiple of the parabolic

(n + 1)

-Hausdorff measure restricted to hyperplanes containing a line parallel to the time-axis. 2) If, additionally,

o m e g a_{1}

and

o m e g a_{2}

are doubling,

l o g f r a c d o m e g a_{2} |_{E} d o m e g a_{1} |_{E} i n V M O (o m e g a_{1} |_{E})

, and

E

is relatively open in the support of

o m e g a_{1}

, then their tangent measures at {it every} point of

E

are caloric measures associated with adjoint caloric polynomials. As a corollary we obtain that in complementary

d e l t a

-Reifenberg flat domains, if

d e l t a

is small enough and

l o g f r a c d o m e g a_{2} d o m e g a_{1} i n V M O (o m e g a_{1})

, then

O m e g a_{1} c a p t < t_{2}

is vanishing Reifenberg flat. This generalizes results of Kenig and Toro for the Laplacian. 3) We establish a parabolic version of a theorem of Tsirelson about triple-points for harmonic measure.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Blow-ups of caloric measure in time varying domains and applications to two-phase problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2048449)