SearcharxivSearch

arXiv subjects

Moritz Egert

Publications and source records attributed to Moritz Egert.

At least 19 recordsLinked to original sources

The parabolic Dini-$\beta$ condition and absolute continuity of surface and caloric measure

We show if $\partial \Omega$ is the graph of a parabolic Lipschitz function, then parabolic surface measure $\sigma$ of $\partial \Omega$ is absolutely continuous with respect to its caloric measure if and only if a (square) Dini-$\beta$ condition is satisfied. More specifically, the (square) Dini-$\beta$ condition is that \[\int_0^1 \hat{\beta}(X,t,r)^2 \frac{dr}{r} < \infty, \quad \text{$\sigma$-a.e. } (X,t) \in \partial \Omega.\] Here $\hat{\beta}$ is a parabolic version of the Jones ($L^2$) $\beta$-numbers. We show that these conditions are satisfied if and only if the graph is covered by a countable collection of {\it regular} Lipschitz graphs, that is, graphs with additional in-time regularity in the form of a half order time derivative in the parabolic BMO space. This supports the view that covering by {\it regular} Lipschitz graphs is the right notion for qualitative parabolic rectifiability in the context of parabolic PDEs. We also show that if \[\int_0^1 \hat{\beta}(X,t,r)^2 \frac{dr}{r} < \infty\] up to a set of caloric measure zero then the caloric measure is absolutely continuous with respect to surface measure.

math.AP

$\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$

We establish the first results on $\mathrm{L}^p$ bounds for Riesz transforms associated with non-autonomous second order parabolic differential operators in divergence form with bounded coefficients that depend measurably on all variables. In the case of complex coefficients, we identify the maximal open range of exponents $1<p \leq2$ through the availability of $\mathrm{L}^p$ resolvent bounds. This open range always contains the lower parabolic Sobolev conjugate of $2$ and the result is sharp in spatial dimension $n \geq 2$. For real coefficients, we prove extrapolation to the full range. Our argument relies on novel space-time off-diagonal bounds based on two complementary geometries: parabolic cubes on small scales and regions modeled after the half-order time derivative of a parabolic Bessel potential on large scales.

math.CA

Meyers exponent rules the first-order approach to second-order elliptic boundary value problems

The first-order approach to boundary value problems for second-order elliptic equations in divergence form with transversally independent complex coefficients in the upper half-space rewrites the equation algebraically as a first-order system, much like how harmonic functions in the plane relate to the Cauchy-Riemann system in complex analysis. It hinges on global Lp -bounds for some p > 2 for the resolvent of a perturbed Dirac-type operator acting on the boundary. At the same time, gradients of local weak solutions to such equations exhibit higher integrability for some p > 2, expressed in terms of weak reverse H{\"o}lder estimates. We show that the optimal exponents for both properties coincide. Our proof relies on a simple but seemingly overlooked connection with operator-valued Fourier multipliers in the tangential direction.

math.AP

A Note on Complex Interpolation of Quasi-Banach Function Spaces

Kalton and Mitrea characterized complex interpolation spaces of quasi-Banach function spaces as Calder\'on products if both interpolants are separable. We show that one separability assumption may be omitted and establish a Wolff-reiteration result with one non-separable endpoint space.

math.FA

A stability result for parabolic measures of operators with singular drifts

We study the operator \[ \partial_t - \text{div} A \nabla + B \cdot \nabla \] in parabolic upper-half-space, where $A$ is an elliptic matrix satisfying an oscillation condition and $B$ is a singular drift with a Carleson control. Our main result establishes quantitative $A_{\infty}$-estimates for the parabolic measure in terms of oscillation of $A$ and smallness of $B$. The proof relies on new estimates for parabolic Green functions that quantify their deviations from linear functions of the normal variable and on a novel, quantitative Carleson measure criterion for anisotropic $A_{\infty}$-weights.

math.AP

Bounded functional calculus for divergence form operators with dynamical boundary conditions

We consider divergence form operators with complex coefficients on an open subset of Euclidean space. Boundary conditions in the corresponding parabolic problem are dynamical, that is, the time derivative appears on the boundary. As a matter of fact, the elliptic operator and its semigroup act simultaneously in the interior and on the boundary. We show that the elliptic operator has a bounded $\mathrm{H}^\infty$-calculus in $\mathrm{L}^p$ if the coefficients satisfy a $p$-adapted ellipticity condition. A major challenge in the proof is that different parts of the spatial domain of the operator have different dimensions. Our strategy relies on extending a contractivity criterion due to Nittka and a non-linear heat flow method recently popularized by Carbonaro-Dragi\v{c}evi\'c to our setting.

math.AP

Corrigendum to: Elliptic Boundary Value Problems with Fractional Regularity Data: The First Order Approach

The preliminary material of the monograph (arXiv:1607.03852) written by the first two authors contains two major imprecisions that necessitates a number of (in the end harmless) changes throughout the entire text. One is about identification of abstract and concrete Hardy spaces for perturbed Dirac operators, the other one about interpolation of quasi-Banach function spaces. Since these erroneous statements are not unlikely to spread, we provide a detailed corrigendum, including further background and corrected statements for all affected results. All other results remain unchanged.

math.AP

Gaussian estimates vs. elliptic regularity on open sets

Given an elliptic operator $L= - \mathrm{div} (A \nabla \cdot)$ subject to mixed boundary conditions on an open subset of $\mathbb{R}^d$, we study the relation between Gaussian pointwise estimates for the kernel of the associated heat semigroup, H\"older continuity of $L$-harmonic functions and the growth of the Dirichlet energy. To this end, we generalize an equivalence theorem of Auscher and Tchamitchian to the case of mixed boundary conditions and to open sets far beyond Lipschitz domains. Yet we prove consistency of our abstract result by encompassing operators with real-valued coefficients and their small complex perturbations into one of the aforementioned equivalent properties. The resulting kernel bounds open the door for developing a harmonic analysis for the associated semigroups on rough open sets.

math.AP

Explicit improvements for $\mathrm{L}^p$-estimates related to elliptic systems

We give a simple argument to obtain $\mathrm{L}^p$-boundedness for heat semigroups associated to uniformly strongly elliptic systems on $\mathbb{R}^d$ by using Stein interpolation between Gaussian estimates and hypercontractivity. Our results give $p$ explicitly in terms of ellipticity. It is optimal at the endpoint $p=\infty$. We also obtain $\mathrm{L}^p$-estimates for the gradient of the semigroup, where $p>2$ depends on ellipticity but not on dimension.

math.AP

A universal variational framework for parabolic equations and systems

We propose a variational approach to solve Cauchy problems for parabolic equations and systems independently of regularity theory for solutions. This produces a universal and conceptually simple construction of fundamental solution operators (also called propagators) for which we prove ${L}^2$ off-diagonal estimates, which is new under our assumptions. In the special case of systems for which pointwise local bounds hold for weak solutions, this provides Gaussian upper bound for the corresponding fundamental solution. In particular, we obtain a new proof of Aronson's estimates for real equations. The scheme is general enough to allow systems with higher order elliptic parts on full space or second order elliptic parts on Sobolev spaces with boundary conditions. Another new feature is that the control on lower order coefficients is within critical mixed time-space Lebesgue spaces or even mixed Lorentz spaces.

math.AP

The Kato square root problem for weighted parabolic operators

We give a simplified and direct proof of the Kato square root estimate for parabolic operators with elliptic part in divergence form and coefficients possibly depending on space and time in a merely measurable way. The argument relies on the nowadays classical reduction to a quadratic estimate and a Carleson-type inequality. The precise organization of the estimates is different from earlier works. In particular, we succeed in separating space and time variables almost completely despite the non-autonomous character of the operator. Hence, we can allow for degenerate ellipticity dictated by a spatial $A_2$-weight, which has not been treated before in this context.

math.AP

Mixed Boundary Value Problems on Cylindrical Domains

We study second-order divergence-form systems on half-infinite cylindrical domains with a bounded and possibly rough base, subject to homogeneous mixed boundary conditions on the lateral boundary and square integrable Dirichlet, Neumann, or regularity data on the cylinder base. Assuming that the coefficients A are close to coefficients A\_0 that are independent of the unbounded direction with respect to the modified Carleson norm of Dahlberg, we prove a priori estimates and establish well-posedness if A\_0 has a special structure. We obtain a complete characterization of weak solutions whose gradient either has an L^2-bounded non-tangential maximal function or satisfies a Lusin area bound. Our method relies on the first-order formalism of Axelsson, McIntosh, and the first author and the recent solution of Kato's conjecture for mixed boundary conditions due to Haller-Dintelmann, Tolksdorf, and the second author.

math.AP

Note on time-regularity for weak solutions to parabolic systems of p-Laplace type

We show that local weak solutions to parabolic systems of p-Laplace type are H{ö}lder continuous in time with values in a spatial Lebesgue space and H{ö}lder continuous on almost every time line. We provide an elementary and self-contained proof building on the local higher integrability result of Kinnunen and Lewis.

math.AP

On uniqueness results for Dirichlet problems of elliptic systems without DeGiorgi-Nash-Moser regularity

We study uniqueness of Dirichlet problems of second order divergence-form elliptic systems with transversally independent coefficients on the upper half-space in absence of regularity of solutions. To this end, we develop a substitute for the fundamental solution used to invert elliptic operators on the whole space by means of a representation via abstract single layer potentials. We also show that such layer potentials are uniquely determined.

math.AP

The Kato Square Root Problem follows from an Extrapolation Property of the Laplacian

On a domain $Ω\subseteq \mathbb{R}^d$ we consider second order elliptic systems in divergence form with bounded complex coefficients, realized via a sesquilinear form with domain $V \subseteq H^1(Ω)$. Under very mild assumptions on $Ω$ and $V$ we show that the Kato Square Root Problem for such systems can be reduced to a regularity result for the fractional powers of the negative Laplacian in the same geometric setting. This extends an earlier result of McIntosh to non-smooth coefficients.

math.FA

The Kato Square Root Problem for Mixed Boundary Conditions

We consider the negative Laplacian subject to mixed boundary conditions on a bounded domain. We prove under very general geometric assumptions that slightly above the critical exponent $\frac{1}{2}$ its fractional power domains still coincide with suitable Sobolev spaces of optimal regularity. In combination with a reduction theorem recently obtained by the authors, this solves the Kato Square Root Problem for elliptic second order operators and systems in divergence form under the same geometric assumptions.

math.FA

Carleson Conditions for Weights: The quantitative small constant case

We investigate the small constant case of a characterization of $A_\infty$ weights due to Fefferman, Kenig and Pipher. In their work, Fefferman, Kenig and Pipher bound the logarithm of the $A_\infty$ constant by the Carleson norm of a measure built out of the heat extension, up to a multiplicative and additive constant (as well as the converse). We prove, qualitatively, that when one of these quantities is small so is the other. In fact, we show that these quantities are bounded by a constant times the square root of the other, provided at least one of them is sufficiently small. We also give an application of our result to the study of elliptic measures associated to elliptic operators with coefficients satisfying the ``Dahlberg-Kenig-Pipher" condition. We suspect that the square root dependence in the bound used in this application is sharp and give some justification for this in the last section.

math.CA

Lp-estimates for the square root of elliptic systems with mixed boundary conditions

This article focuses on Lp-estimates for the square root of elliptic systems of second order in divergence form on a bounded domain. We treat complex bounded measurable coefficients and allow for mixed Dirichlet/Neumann boundary conditions on domains beyond the Lipschitz class. If there is an associated bounded semigroup on Lp0 , then we prove that the square root extends for all p $\in$ (p0, 2) to an isomorphism between a closed subspace of W1p carrying the boundary conditions and Lp. This result is sharp and extrapolates to exponents slightly above 2. As a byproduct, we obtain an optimal p-interval for the bounded H$\infty$-calculus on Lp. Estimates depend holomorphically on the coefficients, thereby making them applicable to questions of non-autonomous maximal regularity and optimal control. For completeness we also provide a short summary on the Kato square root problem in L2 for systems with lower order terms in our setting.

math.CA