Abstract Let Ω ⊂ ℝ n + 1 {\Omega\subset\mathbb{R}^{n+1}} , n ≥ 2 {n\geq 2} , be a 1-sided non-tangentially accessible domain (aka uniform domain), that is, Ω satisfies the interior Corkscrew and Harnack chain conditions, which are respectively scale-invariant/quantitative versions of openness and path-connectedness. Let us assume also that Ω satisfies the so-called capacity density condition, a quantitative version of the fact that all boundary points are Wiener regular. Consider L 0 u = - div ( A 0 ∇ u ) {L_{0}u=-\mathrm{div}(A_{0}\nabla u)} , L u = - div ( A ∇ u ) {Lu=-\mathrm{div}(A\nabla u)} , two real (non-necessarily symmetric) uniformly elliptic operators in Ω, and write ω L 0 {\omega_{L_{0}}} , ω L {\omega_{L}} for the respective associated elliptic measures. The goal of this program is to find sufficient conditions guaranteeing that ω L {\omega_{L}} satisfies an A ∞ {A_{\infty}} -condition or a RH q {\mathrm{RH}_{q}} -condition with respect to ω L 0 {\omega_{L_{0}}} . In this paper we establish that if the discrepancy of the two matrices satisfies a natural Carleson measure condition with respect to ω L 0 {\omega_{L_{0}}} , then ω L ∈ A ∞ ( ω L 0 ) {\omega_{L}\in A_{\infty}(\omega_{L_{0}})} . Additionally, we can prove that ω L ∈ RH q ( ω L 0 ) {\omega_{L}\in\mathrm{RH}_{q}(\omega_{L_{0}})} for some specific q ∈ ( 1 , ∞ ) {q\in(1,\infty)} , by assuming that such Carleson condition holds with a sufficiently small constant. This “small constant” case extends previous work of Fefferman–Kenig–Pipher and Milakis–Pipher together with the last author of the present paper who considered symmetric operators in Lipschitz and bounded chord-arc domains, respectively. Here we go beyond those settings, our domains satisfy a capacity density condition which is much weaker than the existence of exterior Corkscrew balls. Moreover, their boundaries need not be Ahlfors regular and the restriction of the n -dimensional Hausdorff measure to the boundary could be even locally infinite. The “large constant” case, that is, the one on which we just assume that the discrepancy of the two matrices satisfies a Carleson measure condition, is new even in the case of nice domains (such as the unit ball, the upper-half space, or non-tangentially accessible domains) and in the case of symmetric operators. We emphasize that our results hold in the absence of a nice surface measure: all the analysis is done with the underlying measure ω L 0 {\omega_{L_{0}}} , which behaves well in the scenarios we are considering. When particularized to the setting of Lipschitz, chord-arc, or 1-sided chord-arc domains, our methods allow us to immediately recover a number of existing perturbation results as well as extend some of them.
more »
« less
Uniqueness of the 2D Euler equation on a corner domain with non-constant vorticity around the corner
Abstract We consider the 2D incompressible Euler equation on a corner domain Ω with angle νπ with 1 2 < ν < 1 . We prove that if the initial vorticity ω 0 ∈ L 1 (Ω) ∩ L ∞ (Ω) and if ω 0 is non-negative and supported on one side of the angle bisector of the domain, then the weak solutions are unique. This is the first result which proves uniqueness when the velocity is far from Lipschitz and the initial vorticity is non-constant around the boundary.
more »
« less
- PAR ID:
- 10390860
- Date Published:
- Journal Name:
- Nonlinearity
- Volume:
- 35
- Issue:
- 6
- ISSN:
- 0951-7715
- Page Range / eLocation ID:
- 2767 to 2808
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Let Ω ⊂ ℝ n + 1 {\Omega\subset\mathbb{R}^{n+1}} , n ≥ 2 {n\geq 2} , be a 1-sided non-tangentially accessible domain (also known as uniform domain), that is, Ω satisfies the interior Corkscrew and Harnack chain conditions, which are respectively scale-invariant/quantitative versions of openness and path-connectedness. Let us assume also that Ω satisfies the so-called capacity density condition, a quantitative version of the fact that all boundary points are Wiener regular. Consider two real-valued (non-necessarily symmetric) uniformly elliptic operators L 0 u = - div ( A 0 ∇ u ) and L u = - div ( A ∇ u ) L_{0}u=-\operatorname{div}(A_{0}\nabla u)\quad\text{and}\quad Lu=-%\operatorname{div}(A\nabla u) in Ω, and write ω L 0 {\omega_{L_{0}}} and ω L {\omega_{L}} for the respective associated elliptic measures. The goal of this article and its companion[M. Akman, S. Hofmann, J. M. Martell and T. Toro,Perturbation of elliptic operators in 1-sided NTA domains satisfying the capacity density condition,preprint 2021, https://arxiv.org/abs/1901.08261v3 ]is to find sufficient conditions guaranteeing that ω L {\omega_{L}} satisfies an A ∞ {A_{\infty}} -condition or a RH q {\operatorname{RH}_{q}} -condition with respect to ω L 0 {\omega_{L_{0}}} . In this paper, we are interested in obtaininga square function and non-tangential estimates for solutions of operators as before. We establish that bounded weak null-solutions satisfy Carleson measure estimates, with respect to the associated elliptic measure. We also show that for every weak null-solution, the associated square function can be controlled by the non-tangential maximal function in any Lebesgue space with respect to the associated elliptic measure. These results extend previous work ofDahlberg, Jerison and Kenig and are fundamental for the proof of the perturbation results in the paper cited above.more » « less
-
For data which are analytic only close to the boundary of the domain, we prove that in the inviscid limit the Navier-Stokes solution converges to the corresponding Euler solution. Compared to earlier results, in this paper we only require boundedness of an integrable analytic norm of the initial data, with respect to the normal variable, thus removing the uniform in viscosity boundedness assumption on the vorticity. As a consequence, we may allow the initial vorticity to be unbounded close to the set $y=0$, which we take as the boundary of the domain; in particular the vorticity can grow with the rate $$1/y^{1-\delta}$$ for $$y$$ close to $$0$$, for any $$\delta>0$$.more » « less
-
Springer (Ed.)We analyze non-perturbatively the one-dimensional Schrödinger equation describing the emission of electrons from a model metal surface by a classical oscillating electric field. Placing the metal in the half-space x 0, the Schrödinger equation of the system is i∂t ψ = − 2 1 ∂x 2 ψ + (x)(U − E x cos ωt)ψ, t > 0, x ∈ R, where (x) is the Heaviside function and U > 0 is the effective confining potential (we choose units so that m = e = = 1). The amplitude E of the external electric field and the frequency ω are arbitrary. We prove existence and uniqueness of classical solutions of the Schrödinger equation for general initial conditions ψ(x, 0) = f (x), x ∈ R. When 2the initial condition is in L the evolution is unitary and the wave function goes to zero at any fixed x as t → ∞. To show this we prove a RAGE type theorem and show that the discrete spectrum of the quasienergy operator is empty. To obtain positive electron current we consider non-L 2 initial conditions containing an incoming beam from the left. The beam is partially reflected and partially transmitted for all t > 0. For these initial conditions we show that the solution approaches in the large t limit a periodic state that satisfies an infinite set of equations formally derived, under the assumption that the solution is periodic by Faisal et al. (Phys Rev A 72:023412, 2005). Due to a number of pathological features of the Hamiltonian (among which unboundedness in the physical as well as the spatial Fourier domain) the existing methods to prove such results do not apply, and we introduce new, more general ones. The actual solution exhibits a very complex behavior, as seen both analytically and numerically. It shows a steep increase in the current as the frequency passes a threshold value ω = ωc , with ωc depending on the strength of the electric field. For small E, ωc represents the threshold in the classical photoelectric effect, as described by Einstein’s theory.more » « less
-
Abstract Supercell thunderstorms develop low-level rotation via tilting of environmental horizontal vorticity (ωh) by the updraft. This rotation induces dynamic lifting that can stretch near-surface vertical vorticity into a tornado. Low-level updraft rotation is generally thought to scale with 0–500 m storm-relative helicity (SRH): the combination of storm-relative flow, |SRF|, |ωh|, and cosϕ(whereϕis the angle betweenSRFandωh). It is unclear how much influence each component of SRH has in intensifying the low-level mesocyclone. This study surveys these three components using self-organizing maps (SOMs) to distill 15 906 proximity soundings for observed right-moving supercells. Statistical analyses reveal the component most highly correlated to SRH and to streamwise vorticity (ωs) in the observed profiles is |ωh|. Furthermore, |ωh| and |SRF| are themselves highly correlated due to their shared dependence on the hodograph length. The representative profiles produced by the SOMs were combined with a common thermodynamic profile to initialize quasi-realistic supercells in a cloud model. The simulations reveal that, across a range of real-world profiles, intense low-level mesocyclones are most closely linked toωhandSRF, while the angle between them appears to be mostly inconsequential. Significance StatementAbout three-fourths of all tornadoes are produced by rotating thunderstorms (supercells). When the part of the storm near cloud base (approximately 1 km above the ground) rotates more strongly, the chance of a tornado dramatically increases. The goal of this study is to identify the simplest characteristic(s) of the environmental wind profile that can be used to forecast the likelihood of strong cloud-base rotation. This study concludes that the most important ingredients for storm rotation are the magnitudes of the horizontal vertical wind shear between the surface and 500 m and the storm inflow wind, irrespective of their relative directions. This finding may lead to improved operational identification of environments favoring tornado formation.more » « less