SearcharxivSearch

arXiv subjects

Sebastian Bechtel

Publications and source records attributed to Sebastian Bechtel.

17 recordsLinked to original sources

Strong existence and uniqueness for a class of quasilinear stochastic evolution equations

We establish existence of probabilistically strong solutions and pathwise uniqueness for a class of quasilinear stochastic evolution equations on bounded domains. Our results combine recent weak existence results for quasilinear stochastic evolution equations in an $L^p$-setting (with $p > 2$) with Yamada--Watanabe theory. To establish pathwise uniqueness, we rely on an $L^1$-contraction argument.

math.PR

The Kato square root estimate with Robin boundary conditions

We prove the Kato square root estimate for second-order divergence form elliptic operators $-div(A\nabla)$ on a bounded, locally uniform domain $D \subseteq \mathbb{R}^n$, for accretive coefficients $A \in L^\infty(D; \mathbb{C}^n)$, under the Robin boundary condition $\nu \cdot A\nabla u + bu = 0$ for a (possibly unbounded) boundary conductivity $b$. In contrast to essentially all previous estimates of Kato square root operators, no first-order approach seems possible for the Robin boundary conditions.

math.AP

Non-linear parabolic PDEs with rough coefficients and critical data: existence, uniqueness and regularity of weak solutions

This article investigates the well-posedness of weak solutions to non-linear parabolic PDEs driven by rough coefficients with rough initial data in critical homogeneous Besov spaces. Well-posedness is understood in the sense of existence and uniqueness of maximal weak solutions in suitable weighted $Z$-spaces in the absence of smallness conditions. We showcase our theory with an application to rough reaction--diffusion equations. Subsequent articles will treat further classes of equations, including equations of Burgers-type and quasi-linear problems, using the same approach. Our toolkit includes a novel theory of hypercontractive singular integral operators (SIOs) on weighted $Z$-spaces and a self-improving property for super-linear reverse H\"older inequalities.

math.AP

A new scale of function spaces characterizing homogeneous Besov spaces

We introduce and study a new scale of function spaces that characterize the homogeneous Besov spaces $\mathrm{\dot B}^{\beta}_{p,q}$, hence completing earlier work by Ullrich. These new spaces include the ones introduced by Barton and Mayboroda, and systematically studied by Amenta under the name of weighted $\mathrm{Z}$-spaces, for the purpose of boundary value problems with $\mathrm{\dot B}^{\beta}_{p,p}$ data. They are the counterparts to the weighted tent spaces with Whitney averages, developed by Huang, and arise as their real interpolants. We describe their functional analytic properties: completeness, duality, embeddings, as well as their real and complex interpolants.

math.CA

An extended variational setting for critical SPDEs with L\'evy noise

The critical variational setting was recently introduced and shown to be applicable to many important SPDEs not covered by the classical variational setting. In this paper, we extend the critical variational setting in several ways. We introduce a flexibility in the range space for the nonlinear drift term, due to which certain borderline cases can now also be included. An example of this is the Allen-Cahn equation in dimension two in the weak setting. In addition to this, we allow the drift to be singular in time, which is something that naturally arises in the study of the skeleton equations for large deviation principles for SPDEs. Last but not least, we present the theory in the case of L\'evy noise for which the critical setting was not available yet.

math.AP

A second order approach to the Kato square root problem on open sets

We obtain the Kato square root property for coupled second-order elliptic systems in divergence form subject to mixed boundary conditions on an open and possibly unbounded set in $\mathbb{R}^n$ under two simple geometric conditions: The Dirichlet boundary parts for the respective components are Ahlfors--David regular and a quantitative connectivity property in the spirit of locally uniform domains holds near the remaining Neumann boundary parts. In contrast to earlier work, our proof is not based on the first-order approach due to Axelsson--Keith--McIntosh but uses a second-order approach in the spirit of the original solution to the Kato square root problem on Euclidean space. This way, the proof becomes substantially shorter and technically less demanding.

math.FA

Counterexamples to maximal regularity for operators in divergence form

In this paper, we present counterexamples to maximal $L^p$-regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions' theory that such operators admit maximal $L^2$-regularity on $H^{-1}$ under a coercivity condition on the coefficients, and without any regularity conditions in time and space. We show that in general one cannot expect maximal $L^p$-regularity on $H^{-1}(\mathbb{R}^d)$ or $L^2$-regularity on $L^2(\mathbb{R}^d)$.

math.AP

Hardy spaces adapted to elliptic operators on open sets

Let $L= - \mathrm{div} (A \nabla \cdot)$ be an elliptic operator defined on an open subset of $\mathbb{R}^d$, complemented with mixed boundary conditions. Under suitable assumptions on the operator and the geometry, we derive an atomic characterization (depending only on the boundary conditions) for the Hardy space $H^1_L$ defined using an adapted square function for $L$. This generalizes known results of Auscher and Russ in the case of pure Dirichlet/Neumann boundary conditions on Lipschitz domains. In particular, we develop a connection between the harmonic analysis of $L$ and its underlying geometry.

math.FA

An extrapolation result in the variational setting: improved regularity, compactness, and applications to quasilinear systems

In this paper we consider the variational setting for SPDE on a Gelfand triple $(V, H, V^*)$. Under the standard conditions on a linear coercive pair $(A,B)$, and a symmetry condition on $A$ we manage to extrapolate the classical $L^2$-estimates in time to $L^p$-estimates for some $p>2$ without any further conditions on $(A,B)$. As a consequence we obtain several other a priori regularity results of the paths of the solution. Under the assumption that $V$ embeds compactly into $H$, we derive a universal compactness result quantifying over all $(A,B)$. As an application of the compactness result we prove global existence of weak solutions to a system of second order quasi-linear equations.

math.PR

Weighted non-autonomous $L^q(L^p)$ maximal regularity for complex systems

We show weighted non-autonomous $L^q(L^p)$ maximal regularity for families of complex second-order systems in divergence form under a mixed regularity condition in space and time. To be more precise, we let $p,q \in (1,\infty)$ and we consider coefficient functions in $C^{\beta + \varepsilon}$ with values in $C^{\alpha + \varepsilon}$ subject to the parabolic relation $2\beta + \alpha = 1$. If $p < \frac{d}{\alpha}$, we can likewise deal with spatial $H^{\alpha + \varepsilon, \frac{d}{\alpha}}$ regularity. The starting point for this result is a weak $(p,q)$-solution theory with uniform constants. Further key ingredients are a commutator argument that allows us to establish higher a priori spatial regularity, operator-valued pseudo differential operators in weighted spaces, and a representation formula due to Acquistapace and Terreni. Furthermore, we show $p$-bounds for semigroups and square roots generated by complex elliptic systems under a minimal regularity assumption for the coefficients.

math.AP

Off-diagonal bounds for the Dirichlet-to-Neumann operator

Let $\Omega$ be a bounded domain of $\mathbb{R}^{n+1}$ with $n \ge 1$. We assume that the boundary $\Gamma$ of $\Omega$ is Lipschitz. Consider the Dirichlet-to-Neumann operator $N_0$ associated with a system in divergence form of size $m$ with real symmetric and H\''older continuous coefficients. We prove $L^p(\Gamma)\to L^q(\Gamma)$ off-diagonal bounds of the form$$ \| 1_F e^{-t N_0} 1_E f \|_q \lesssim (t \wedge 1)^{\frac{n}{q}-\frac{n}{p}} \left( 1 + \frac{dist(E,F)}{t} \right)^{-1} \| 1_E f \|_p$$for all measurable subsets $E$ and $F$ of $\Gamma$. If $\Gamma$ is $C^{1+ \kappa}$ for some $\kappa > 0$ and $m=1$, we obtain a sharp estimate in the sense that $ \left( 1 + \frac{dist(E,F)}{t} \right)^{-1}$ can be replaced by$ \left( 1 + \frac{dist(E,F)}{t} \right)^{-(1 + \frac{n}{p} - \frac{n}{q})}$. Such bounds are also valid for complex time. For $n=1$, we apply our off-diagonal bounds to prove that the Dirichlet-to-Neumann operator associated with a system generates an analytic semigroup on $L^p(\Gamma)$ for all $p \in (1, \infty)$. In addition, the corresponding evolution problem has $L^q(L^p)$-maximal regularity.

math.AP

$L^p$-estimates for the square root of elliptic systems with mixed boundary conditions II

We show $L^p$ estimates for square roots of second order complex elliptic systems $L$ in divergence form on open sets in $\mathbb{R}^d$ subject to mixed boundary conditions. The underlying set is supposed to be locally uniform near the Neumann boundary part, and the Dirichlet boundary part is Ahlfors-David regular. The lower endpoint for the interval where such estimates are available is characterized by $p$-boundedness properties of the semigroup generated by $-L$, and the upper endpoint by extrapolation properties of the Lax-Milgram isomorphism. Also, we show that the extrapolation range is relatively open in $(1,\infty)$.

math.AP

The extension problem for fractional Sobolev spaces with a partial vanishing trace condition

We construct whole-space extensions of functions in a fractional Sobolev space of order $s\in (0,1)$ and integrability $p\in (0,\infty)$ on an open set $O$ which vanish in a suitable sense on a portion $D$ of the boundary $\partial O$ of $O$. The set $O$ is supposed to satisfy the so-called interior thickness condition in $\partial O \setminus D$, which is much weaker than the global interior thickness condition. The proof works by means of a reduction to the case $D=\emptyset$ using a geometric construction.

math.FA

Extendability of functions with partially vanishing trace

Let $\Omega \subseteq \mathbb{R}^d$ be open and $D\subseteq \partial\Omega$ be a closed part of its boundary. Under very mild assumptions on $\Omega$, we construct a bounded Sobolev extension operator for the Sobolev space $\mathrm{W}^{k , p}_D (\Omega)$, $1 \leq p < \infty$, which consists of all functions in $\mathrm{W}^{k , p} (\Omega)$ that vanish in a suitable sense on $D$. In contrast to earlier work, this construction is global and \emph{not} using a localization argument, which allows to work with a boundary regularity that is sharp at the interface dividing $D$ and $\partial \Omega \setminus D$. Moreover, we provide homogeneous and local estimates for the extension operator. Also, we treat the case of Lipschitz function spaces with a vanishing trace condition on $D$.

math.CA

The Kato Square Root Problem on locally uniform domains

We obtain the Kato square root estimate for second order elliptic operators in divergence form with mixed boundary conditions on an open and possibly unbounded set in $\mathbb{R}^d$ under two simple geometric conditions: The Dirichlet boundary part is Ahlfors--David regular and a quantitative connectivity property in the spirit of locally uniform domains holds near the Neumann boundary part. This improves upon all existing results even in the case of pure Dirichlet or Neumann boundary conditions. We also treat elliptic systems with lower order terms. As a side product we establish new regularity results for the fractional powers of the Laplacian with boundary conditions in our geometric setup.

math.FA

Interpolation theory for Sobolev functions with partially vanishing trace on irregular open sets

A full interpolation theory for Sobolev functions with smoothness between 0 and 1 and vanishing trace on a part of the boundary of an open set is established. Geometric assumptions are of mostly measure theoretic nature and reach beyond Lipschitz regular domains. Previous results were limited to regular geometric configurations or Hilbertian Sobolev spaces. Sets with porous boundary and their characteristic multipliers on smoothness spaces play a major role in the arguments.

math.CA