Showing 1–14 of 14 results for author: Bechtel, S

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

Authors: Sebastian Bechtel, Cody Hutcheson, Tim Schmatzler, Tolgahan Tasci, Mattes Wittig

Abstract: We give a proof for the Kato square root problem on suitable open sets and subject to pure Dirichlet boundary conditions. In contrast to earlier work, our proof uses only second-order techniques and is in the spirit of the proof given by Egert--Haller--Monniaux--Tolksdorf in the scope of the 27th international internet seminar for $Ω= \mathbb{R}^n$. In contrast to the usual proofs based on the fir… ▽ More We give a proof for the Kato square root problem on suitable open sets and subject to pure Dirichlet boundary conditions. In contrast to earlier work, our proof uses only second-order techniques and is in the spirit of the proof given by Egert--Haller--Monniaux--Tolksdorf in the scope of the 27th international internet seminar for $Ω= \mathbb{R}^n$. In contrast to the usual proofs based on the first-order framework by Axelsson--Keith--McIntosh, the proof becomes substantially shorter and technically less demanding. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: 25 pages. Article written in the scope of ISEM27

A Massive Protocluster Anchored by a Luminous Quasar at $z=6.63$

Authors: Feige Wang, **yi Yang, Joseph F. Hennawi, Xiaohui Fan, Minghao Yue, Eduardo Bañados, Shane Bechtel, Fuyan Bian, Sarah Bosman, Jaclyn B. Champagne, Frederick B. Davies, Roberto Decarli, Emanuele Paolo Farina, Chiara Mazzucchelli, Bram Venemans, Fabian Walter

Abstract: Protoclusters, the progenitors of galaxy clusters, trace large scale structures in the early Universe and are important to our understanding of structure formation and galaxy evolution. To date, only a handful of protoclusters have been identified in the Epoch of Reionization (EoR). As one of the rarest populations in the early Universe, distant quasars that host active supermassive black holes ar… ▽ More Protoclusters, the progenitors of galaxy clusters, trace large scale structures in the early Universe and are important to our understanding of structure formation and galaxy evolution. To date, only a handful of protoclusters have been identified in the Epoch of Reionization (EoR). As one of the rarest populations in the early Universe, distant quasars that host active supermassive black holes are thought to reside in the most massive dark matter halos at that cosmic epoch, and could thus potentially pinpoint some of the earliest protoclusters. In this letter, we report the discovery of a massive protocluster around a luminous quasar at $z=6.63$. This protocluster is anchored by the quasar, and includes three [CII] emitters at $z\sim6.63$, 12 spectroscopically confirmed Ly$α$ emitters (LAEs) at $6.54<z\le6.64$, and a large number of narrow-band imaging selected LAE candidates at the same redshift. This structure has an overall overdensity of $δ=3.3^{+1.1}_{-0.9}$ within $\sim35\times74$ cMpc$^2$ on the sky and an extreme overdensity of $δ>30$ in its central region (i.e., $R\lesssim2$ cMpc). We estimate that this protocluster will collapse into a galaxy cluster with a mass of $6.9^{+1.2}_{-1.4}\times10^{15}~M_\odot$ at the current epoch, more massive than the most massive clusters known in the local Universe such as Coma. In the quasar vicinity, we discover a double-peaked LAE which implies that the quasar has a UV lifetime greater than 0.8 Myrs and has already ionized its surrounding intergalactic medium. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: Accepted for publication in ApJL

Counterexamples to maximal regularity for operators in divergence form

Authors: Sebastian Bechtel, Connor Mooney, Mark Veraar

Abstract: 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. W… ▽ More 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)$. △ Less

Submitted 10 January, 2024; originally announced January 2024.

MSC Class: Primary: 35K90; Secondary: 35B65

Hardy spaces adapted to elliptic operators on open sets

Authors: Sebastian Bechtel, Tim Böhnlein

Abstract: 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 re… ▽ More 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. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 40 pages

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

Authors: Sebastian Bechtel, Mark Veraar

Abstract: 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… ▽ More 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. △ Less

Submitted 2 November, 2023; originally announced November 2023.

MSC Class: Primary: 60H15. Secondary: 35A01; 35B65; 35K59; 35K90; 47H05; 47J35

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

Authors: Sebastian Bechtel

Abstract: 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^{β+ \varepsilon}$ with values in $C^{α+ \varepsilon}$ subject to the parabolic relation $2β+ α= 1$. If $p < \frac{d}α$, we can l… ▽ More 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^{β+ \varepsilon}$ with values in $C^{α+ \varepsilon}$ subject to the parabolic relation $2β+ α= 1$. If $p < \frac{d}α$, we can likewise deal with spatial $H^{α+ \varepsilon, \frac{d}α}$ 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. △ Less

Submitted 22 November, 2023; v1 submitted 4 August, 2022; originally announced August 2022.

Comments: 30 pages. Improved the introduction

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

Authors: Sebastian Bechtel, E. -M. Ouhabaz

Abstract: Let $Ω$ be a bounded domain of $\mathbb{R}^{n+1}$ with $n \ge 1$. We assume that the boundary $Γ$ of $Ω$ 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(Γ)\to L^q(Γ)$ off-diagonal bounds of the form… ▽ More Let $Ω$ be a bounded domain of $\mathbb{R}^{n+1}$ with $n \ge 1$. We assume that the boundary $Γ$ of $Ω$ 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(Γ)\to L^q(Γ)$ 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 $Γ$. If $Γ$ is $C^{1+ κ}$ for some $κ> 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(Γ)$ for all $p \in (1, \infty)$. In addition, the corresponding evolution problem has $L^q(L^p)$-maximal regularity. △ Less

Submitted 2 September, 2023; v1 submitted 19 July, 2022; originally announced July 2022.

Comments: final version, to appear in J. Math. Anal. Appl

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

Authors: Sebastian Bechtel

Abstract: 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 character… ▽ More 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)$. △ Less

Submitted 6 October, 2023; v1 submitted 24 January, 2022; originally announced January 2022.

Comments: final version, to appear in JDE

MSC Class: 35J47

Discovery of a protocluster core associated with an enormous Ly$α$ Nebula at $z = 2.3$

Authors: Qiong Li, Ran Wang, Helmut Dannerbauer, Zheng Cai, Bjorn Emonts, Jason Xavier Prochaska, Fabrizio Arrigoni Battaia, Roberto Neri, Chengpeng Zhang, Xiaohui Fan, Shuowen **, Ilsang Yoon, Shane Bechtel

Abstract: The MAMMOTH-1 nebula at $z=2.317$ is an enormous Ly$α$ nebula (ELAN) extending to a $\sim$440 kpc scale at the center of the extreme galaxy overdensity BOSS 1441. In this paper, we present observations of the $\rm CO(3-2)$ and 250 GHz dust-continuum emission from the MAMMOTH-1 using the IRAM NOrthern Extended Millimeter Array. Our observations show that $\rm CO(3-2)$ emission in this ELAN has not… ▽ More The MAMMOTH-1 nebula at $z=2.317$ is an enormous Ly$α$ nebula (ELAN) extending to a $\sim$440 kpc scale at the center of the extreme galaxy overdensity BOSS 1441. In this paper, we present observations of the $\rm CO(3-2)$ and 250 GHz dust-continuum emission from the MAMMOTH-1 using the IRAM NOrthern Extended Millimeter Array. Our observations show that $\rm CO(3-2)$ emission in this ELAN has not extended widespread emission into the circum- and inter-galactic media. We also find a remarkable concentration of six massive galaxies in $\rm CO(3-2)$ emission in the central $\sim$100 kpc region of the ELAN. Their velocity dispersions suggest a total halo mass of $M_{200c} \sim 10^{13.1} M_{\odot}$, marking a possible protocluster core associated with the ELAN. The peak position of the $\rm CO(3-2)$ line emission from the obscured AGN is consistent with the location of the intensity peak of MAMMOTH-1 in the rest-frame UV band. Its luminosity line ratio between the $\rm CO(3-2)$ and $\rm CO(1-0)$ $r_{3,1}$ is 0.61$\pm$0.17. The other five galaxies have $\rm CO(3-2)$ luminosities in the range of (2.1-7.1)$\times 10^9$ K $\rm km\,s^{-1}$ pc$^2$, with the star-formation rates derived from the 250GHz continuum of ($<$36)-224 $M_{\odot}$yr$^{-1}$. Follow-up spectroscopic observations will further confirm more member galaxies and improve the accuracy of the halo mass estimation. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: 14 pages, 5 figures, 2 tables, accepted for publication in ApJ

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

Authors: Sebastian Bechtel

Abstract: 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 thic… ▽ More 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. △ Less

Submitted 6 January, 2021; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: Completely rewritten to only focus on the extension problem. 6 pages. To be submitted

Extendability of functions with partially vanishing trace

Authors: Sebastian Bechtel, Russell M. Brown, Robert Haller-Dintelmann, Patrick Tolksdorf

Abstract: Let $Ω\subseteq \mathbb{R}^d$ be open and $D\subseteq \partialΩ$ be a closed part of its boundary. Under very mild assumptions on $Ω$, we construct a bounded Sobolev extension operator for the Sobolev space $\mathrm{W}^{k , p}_D (Ω)$, $1 \leq p < \infty$, which consists of all functions in $\mathrm{W}^{k , p} (Ω)$ that vanish in a suitable sense on $D$. In contrast to earlier work, this constructi… ▽ More Let $Ω\subseteq \mathbb{R}^d$ be open and $D\subseteq \partialΩ$ be a closed part of its boundary. Under very mild assumptions on $Ω$, we construct a bounded Sobolev extension operator for the Sobolev space $\mathrm{W}^{k , p}_D (Ω)$, $1 \leq p < \infty$, which consists of all functions in $\mathrm{W}^{k , p} (Ω)$ 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 Ω\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$. △ Less

Submitted 16 February, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 32 pages, 5 Figures. Completely revised manuscript, including extension of higher-order Sobolev spaces, an a-priori density result, homogeneous estimates, and additional results for Lipschitz spaces. To be submitted

Machine learning the DFT potential energy surface for inorganic halide perovskite CsPbBr$_3$

Authors: John C. Thomas, Jonathon S. Bechtel, Anirudh Raju Natarajan, Anton Van der Ven

Abstract: Structural phase transitions as a function of temperature dictate the structure--functionality relationships in many technologically important materials. Harmonic Hamiltonians have proven successful in predicting the vibrational properties of many materials. However, they are inadequate for modeling structural phase transitions in crystals with potential energy surfaces that are either strongly an… ▽ More Structural phase transitions as a function of temperature dictate the structure--functionality relationships in many technologically important materials. Harmonic Hamiltonians have proven successful in predicting the vibrational properties of many materials. However, they are inadequate for modeling structural phase transitions in crystals with potential energy surfaces that are either strongly anharmonic or no\ n-convex with respect to collective atomic displacements or homogeneous strains. In this paper we develop a framework to express highly anharmonic first-principles potential energy surfaces as polynomials of collective cluster deformati\ ons. We further adapt the approach to a nonlinear extension of the cluster expansion formalism through the use of an artificial neural net model. The machine learning models are trained on a large database of first-principles calculations and are shown to reproduce the potential energy surface with l\ ow error. △ Less

Submitted 27 July, 2019; originally announced July 2019.

Journal ref: Phys. Rev. B 100, 134101 (2019)

The Kato Square Root Problem on locally uniform domains

Authors: Sebastian Bechtel, Moritz Egert, Robert Haller-Dintelmann

Abstract: 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… ▽ More 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. △ Less

Submitted 3 December, 2020; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: Minor changes during publication process

MSC Class: 47A60; 35J57

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

Authors: Sebastian Bechtel, Moritz Egert

Abstract: 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 char… ▽ More 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. △ Less

Submitted 22 February, 2021; v1 submitted 6 July, 2018; originally announced July 2018.

Comments: Upload of the published version including the correction of some further typos

Journal ref: Journal of Fourier Analysis and Applications, Springer Verlag, 2019, 25 (5), pp.2733-2781