Boundary Value Problems for Second‐Order Elliptic Operators Satisfying a Carleson Condition

Let Ω be a Lipschitz domain in , and be a second‐order elliptic operator in divergence form. We establish the solvability of the Dirichlet regularity problem with boundary data in and of the Neumann problem with data for the operator L on Lipschitz domains with small Lipschitz constant. We allow the coefficients of the operator L to be rough, obeying a certain Carleson condition with small norm. These results complete the results of Dindo?, Petermichl, and Pipher (2007), where the Dirichlet problem was considered under the same assumptions, and Dindo? and Rule (2010), where the regularity and Neumann problems were considered on two‐dimensional domains.© 2016 Wiley Periodicals, Inc.     

Absence of Infinite Cluster for Critical Bernoulli Percolation on Slabs

We prove that for Bernoulli percolation on a graph , there is no infinite cluster at criticality, almost surely. The proof extends to finite‐range Bernoulli percolation models on ?² that are invariant under ‐rotation and reflection.© 2016 Wiley Periodicals, Inc.     

Dissipative Euler Flows with Onsager‐Critical Spatial Regularity

For any ? > 0 we show the existence of continuous periodic weak solutions v of the Euler equations that do not conserve the kinetic energy and belong to the space ; namely, x ? v (x,t) is ??ε‐Hölder continuous in space at a.e. time t and the integral is finite. A well‐known open conjecture of L. Onsager claims that such solutions exist even in the class .© 2016 Wiley Periodicals, Inc.     

Scattering and Localization Properties of Highly Oscillatory Potentials

We investigate scattering, localization, and dispersive time decay properties for the one‐dimensional Schrödinger equation with a rapidly oscillating and spatially localized potential , where is periodic and mean zero with respect to y. Such potentials model a microstructured medium. Homogenization theory fails to capture the correct low‐energy (k small) behavior of scattering quantities, e.g., the transmission coefficient as ? tends to zero. We derive an effective potential well such that is small, uniformly for as well as in any bounded subset of a suitable complex strip. Within such a bounded subset, the scaled limit of the transmission coefficient has a universal form, depending on a single parameter, which is computable from the effective potential. A consequence is that if ?, the scale of oscillation of the microstructure potential, is sufficiently small, then there is a pole of the transmission coefficient (and hence of the resolvent) in the upper half‐plane on the imaginary axis at a distance of order from . It follows that the Schrödinger operator has an bound state with negative energy situated a distance from the edge of the continuous spectrum. Finally, we use this detailed information to prove the local energy time decay estimate: where denotes the projection onto the continuous spectral part of . © 2013 Wiley Periodicals, Inc.     

Free Boundary Regularity in the Parabolic Fractional Obstacle Problem

The parabolic obstacle problem for the fractional Laplacian naturally arises in American option models when the asset prices are driven by pure‐jump Lévy processes. In this paper we study the regularity of the free boundary. Our main result establishes that, when , the free boundary is a C^1,α graph in x and t near any regular free boundary point . Furthermore, we also prove that solutions u are C^{1 + s} in x and t near such points, with a precise expansion of the form (1) with , and . © 2018 Wiley Periodicals, Inc.     

On Nonnegative Solutions of the Inequality Δ u + uσ ≤ 0 on Riemannian Manifolds

We study the uniqueness of a nonnegative solution of the differential inequality on a complete Riemannian manifold, where σ > 1 is a parameter. We prove that if, for some x₀ ? M and all large enough r where , and B(x,r) is a geodesic ball, then the only nonnegative solution of (*) is identically 0. We also show the sharpness of the above values of the exponents p,q. © 2014 Wiley Periodicals, Inc.     

Convergence of the Two‐Dimensional Dynamic Ising‐Kac Model to

The Ising‐Kac model is a variant of the ferromagnetic Ising model in which each spin variable interacts with all spins in a neighborhood of radius γ ^{? 1} for around its base point. We study the Glauber dynamics for this model on a discrete two‐dimensional torus for a system size and for an inverse temperature close to the critical value of the mean field model. We show that the suitably rescaled coarse‐grained spin field converges in distribution to the solution of a nonlinear stochastic partial differential equation. This equation is the dynamic version of the quantum field theory, which is formally given by a reaction‐diffusion equation driven by an additive space‐time white noise. It is well‐known that in two spatial dimensions such equations are distribution valued and a Wick renormalization has to be performed in order to define the nonlinear term. Formally, this renormalization corresponds to adding an infinite mass term to the equation. We show that this need for renormalization for the limiting equation is reflected in the discrete system by a shift of the critical temperature away from its mean field value.© 2016 by the authors. Communications on Pure and Applied Mathematics is published by Wiley Periodicals, Inc., on behalf of the Courant Institute of Mathematics.     

Multi‐to One‐Dimensional Optimal Transport

We consider the Monge‐Kantorovich problem of transporting a probability density on to another on the line, so as to optimize a given cost function. We introduce a nestedness criterion relating the cost to the densities, under which it becomes possible to solve this problem uniquely by constructing an optimal map one level set at a time. This map is continuous if the target density has connected support. We use level‐set dynamics to develop and quantify a local regularity theory for this map and the Kantorovich potentials solving the dual linear program. We identify obstructions to global regularity through examples. More specifically, fix probability densities f and g on open sets and with . Consider transporting f onto g so as to minimize the cost . We give a nondegeneracy condition on that ensures the set of x paired with [g‐a.e.] y ∈ Y lie in a codimension‐n submanifold of X. Specializing to the case m > n = 1, we discover a nestedness criterion relating s to (f,g) that allows us to construct a unique optimal solution in the form of a map . When and g and f are bounded, the Kantorovich dual potentials (u,υ) satisfy , and the normal velocity V of with respect to changes in y is given by . Positivity of V locally implies a Lipschitz bound on f; moreover, if intersects transversally. On subsets where this nondegeneracy, positivity, and transversality can be quantified, for each integer the norms of and are controlled by these bounds, , and the smallness of . We give examples showing regularity extends from $X to part of , but not from Y to . We also show that when s remains nested for all (f,g), the problem in reduces to a supermodular problem in . © 2017 Wiley Periodicals, Inc.     

Regularity for Shape Optimizers: The Nondegenerate Case

We consider minimizers of (1) where F is a function strictly increasing in each parameter, and is the k^th Dirichlet eigenvalue of Ω. Our main result is that the reduced boundary of the minimizer is composed of C^1,α graphs and exhausts the topological boundary except for a set of Hausdorff dimension at most n – 3. We also obtain a new regularity result for vector‐valued Bernoulli‐type free boundary problems.© 2018 Wiley Periodicals, Inc.     

On the Location of Maxima of Solutions of Schrödinger's Equation

We prove an inequality with applications to solutions of the Schrödinger equation. There is a universal constant c > 0 such that if is simply connected, vanishes on the boundary ∂Ω, and |u| assumes a maximum in , then (1) It was conjectured by Pólya and Szegő (and proven, independently, by Makai and Hayman) that a membrane vibrating at frequency λ contains a disk of size . Our inequality implies a refined result: the point on the membrane that achieves the maximal amplitude is at distance from the boundary. We also give an extension to higher dimensions (generalizing results of Lieb and of Georgiev and Mukherjee): if u solves on with Dirichlet boundary conditions, then the ball B with radius centered at the point in which |u| assumes a maximum is almost fully contained in Ω in the sense that © 2018 Wiley Periodicals, Inc.     

Approximation of Schrödinger operators with δ‐interactions supported on hypersurfaces

We show that a Schrödinger operator with a δ‐interaction of strength α supported on a bounded or unbounded C²‐hypersurface , can be approximated in the norm resolvent sense by a family of Hamiltonians with suitably scaled regular potentials. The differential operator with a singular interaction is regarded as a self‐adjoint realization of the formal differential expression , where is an arbitrary bounded measurable function. We discuss also some spectral consequences of this approximation result.     

New gap results on the 4‐dimensional sphere

A result showed by M. Gursky in 4 ensures that any metric g on the 4‐dimensional sphere satisfying and is isometric to the round metric. In this note, we prove that there exists a universal number i ₀ such that any metric g on the 4‐dimensional sphere satisfying and is isometric to the round metric. Moreover, there exists a universal such that any metric g on the 4‐dimensional sphere with nonnegative sectional curvature, and is isometric to the round metric. This last result slightly improves a rigidity theorem also proved in 4 .     

Volume Estimates on the Critical Sets of Solutions to Elliptic PDEs

In this paper we study solutions to elliptic linear equations either on or a Riemannian manifold, under the assumption that the coefficient functions a^ij are Lipschitz bounded. We focus our attention on the critical set and the singular set , and more importantly on effective versions of these. Currently, with just the Lipschitz regularity of the coefficients, the strongest results in the literature say that the singular set is (n –2)–dimensional; however, at this point it has not even been shown that unless the coefficients are smooth. Fundamentally, this is due to the need of an ?‐regularity theorem that requires higher smoothness of the coefficients as the frequency increases. We introduce new techniques for estimating the critical and singular set, which avoids the need of any such ?‐regularity. Consequently, we prove that if the frequency of u is bounded by Λ, then we have the estimates and , depending on whether the equation is critical or not. More importantly, we prove corresponding estimates for the effective critical and singular sets. Even under the assumption of real analytic coefficients these results are much sharper than those currently in the literature. We also give applications of the technique to give estimates on the volume of the nodal set of solutions and estimates for the corresponding eigenvalue problem.© 2017 Wiley Periodicals, Inc.     

Liouville‐type theorem for the steady compressible Hall‐MHD system

In this paper, we prove a Liouville‐type theorem for the steady compressible Hall‐magnetohydrodynamics system in Π, where Π is whole space or half space . We show that a smooth solution (ρ, u , B ,P) satisfying 1/C₀<ρ<C₀, , and B ∈L^9/2(Π) for some constant C₀>0 is indeed trivial. This generalizes and improves 2 results of Chae.     

Well‐posedness of degenerate differential equations with fractional derivative in vector‐valued functional spaces

In this paper, we study the well‐posedness of the degenerate differential equations with fractional derivative in Lebesgue–Bochner spaces , periodic Besov spaces and periodic Triebel–Lizorkin spaces , where A and M are closed linear operators in a complex Banach space X satisfying , and is the fractional derivative in the sense of Weyl. Using known operator‐valued Fourier multiplier results, we completely characterize the well‐posedness of this problem in the above three function spaces by the R‐bounedness (or the norm boundedness) of the M‐resolvent of A .     

Well‐posedness of non‐autonomous linear evolution equations in uniformly convex spaces

This paper addresses the problem of well‐posedness of non‐autonomous linear evolution equations in uniformly convex Banach spaces. We assume that for each t is the generator of a quasi‐contractive, strongly continuous group, where the domain D and the growth exponent are independent of t . Well‐posedness holds provided that is Lipschitz for all . Hölder continuity of degree is not sufficient and the assumption of uniform convexity cannot be dropped.     

Three‐space type Hahn‐Banach properties

In set theory without the axiom of choice , three‐space type results for the Hahn‐Banach property are provided. We deduce that for every Hausdorff compact scattered space K , the Banach space C(K ) of real continuous functions on K satisfies the (multiple) continuous Hahn‐Banach property in . We also prove in Rudin's theorem: “Radon measures on Hausdorff compact scattered spaces are discrete”.     

Infinite Speed of Propagation and Regularity of Solutions to the Fractional Porous Medium Equation in General Domains

We study the positivity and regularity of solutions to the fractional porous medium equations in for m > 1 and s ∈ (0,1), with Dirichlet boundary data u = 0 in and nonnegative initial condition . Our first result is a quantitative lower bound for solutions that holds for all positive times t > 0. As a consequence, we find a global Harnack principle stating that for any t > 0 solutions are comparable to d^s/m , where d is the distance to ?Ω. This is in sharp contrast with the local case s = 1, where the equation has finite speed of propagation. After this, we study the regularity of solutions. We prove that solutions are classical in the interior (C ^∞ in x and C ^1,α in t ) and establish a sharp regularity estimate up to the boundary. Our methods are quite general and can be applied to wider classes of nonlocal parabolic equations of the form in Ω, both in bounded and unbounded domains.© 2016 Wiley Periodicals, Inc.     

A Classification of Isolated Singularities of Elliptic Monge‐Ampére Equations in Dimension Two

Let ?₁ denote the space of solutions z(x,y) to an elliptic, real analytic Monge‐Ampére equation whose graphs have a non‐removable isolated singularity at the origin. We prove that ?₁ is in one‐to‐one correspondence with ?₂ × ?₂, where ?₂ is a suitable subset of the class of regular, real analytic, strictly convex Jordan curves in ?₂. We also describe the asymptotic behavior of solutions of the Monge‐Ampére equation in the C^k‐smooth case, and a general existence theorem for isolated singularities of analytic solutions of the more general equation .© 2015 Wiley Periodicals, Inc.     

Packing Countably Many Branchings with Prescribed Root‐Sets in Infinite Digraphs

We generalize an unpublished result of C. Thomassen. Let be a digraph and let be a multiset of subsets of V in such a way that any backward‐infinite path in D meets all the sets . We show that if all is simultaneously reachable from the sets by edge‐disjoint paths, then there exists a system of edge‐disjoint spanning branchings in D where the root‐set of is .