SearcharxivSearch

arXiv · 2002.09679

On the mean value property of fractional harmonic functions

Abstract

As well known, harmonic functions satisfy the mean value property, namely the average of the function over a ball is equal to its value at the center. This fact naturally raises the question on whether this is a characterizing feature of balls, namely whether a set for which all harmonic functions satisfy the mean value property is necessarily a ball. This question was investigated by several authors, and was finally elegantly, completely and positively settled by \"Ulk\"u Kuran, with an artful use of elementary techniques. This classical problem has been recently fleshed out by Giovanni Cupini, Nicola Fusco, Ermanno Lanconelli and Xiao Zhong who proved a quantitative stability result for the mean value formula, showing that a suitable "mean value gap" (measuring the normalized difference between the average of harmonic functions on a given set and their pointwise value) is bounded from below by the Lebesgue measure of the "gap" between the set and the ball (and, consequently, by the Fraenkel asymmetry of the set). That is, if a domain "almost" satisfies the mean value property, then it must be necessarily close to a ball. Here we investigate the nonlocal counterparts of these results. In particular we will prove a classification result and a stability result, establishing that: if fractional harmonic functions enjoy a suitable exterior average property for a given domain, then the domain is necessarily a ball, a suitable "nonlocal mean value gap" is bounded from below by an appropriate measure of the difference between the set and the ball. Differently from the classical case, some of our arguments rely on purely nonlocal properties, with no classical counterpart, such as the fact that "all functions are locally fractional harmonic up to a small error".

Explore related subjects

Keep this discovery

BibTeXRIS

Claudia Bucur, Serena Dipierro, Enrico Valdinoci. 2020-02-22. On the mean value property of fractional harmonic functions. https://arxiv.org/abs/2002.09679

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Well-posedness of the two-dimensional unsteady Prandtl system in Sobolev space with degenerate critical points

This paper is devoted to the well-posedness of classical Prandtl equations in a finite order Sobolev space. For a initial data with degenerate critical points and general outflow, we obtain the local-in-time existence and uniqueness of the solution to the Prandtl equations in a Sobolev space, by introducing a new iteration scheme and linear cancelation. This result shows that Oleinik's monotonicity condition is not a necessary condition for the Prandtl equations to be well-posed in Sobolev spaces and provides evidence to demonstrate that zero shear stress does not necessarily lead to boundary layer separation in two-dimensional unsteady boundary layers.

math.AP

Global existence and time decay for a bipolar Euler-Poisson system with one pressureless and undamped fluid

We study the Cauchy problem for a three-dimensional bipolar Euler--Poisson system in which one fluid is pressureless and undamped, while the other is subject to momentum relaxation. For sufficiently small smooth perturbations of a constant equilibrium, we prove the global existence and uniqueness of smooth solutions under an irrotationality assumption on the initial velocity of the pressureless fluid, together with algebraic time-decay estimates. The main difficulty is that the velocity of the pressureless fluid is dissipated only indirectly through the Poisson coupling, and this mechanism degenerates strongly at high frequencies, leading to a regularity-loss structure. We overcome this difficulty by combining refined Green-function estimates, a low--middle--high frequency decomposition, and high-order nonlinear energy estimates adapted to the asymmetric regularity hierarchy. The result establishes a global small-data theory for this asymmetric regime, in which pressure and damping are simultaneously absent from the same fluid.

math.AP

Boundary layer of 2D Chemotaxis Navier-Stokes equations with logarithmic Sensitivity. II. viscous vanishing limit

This is the second part of a two-part work concerning boundary layer solutions to the coupled Chemotaxis-Navier-Stokes system in the two-dimensional half-space. In the present work, we address the convergence of boundary layer solutions to singular chemotaxis-fluid equations under slip boundary conditions with respect to the chemical diffusion-viscosity parameter $\varepsilon$ in the two-dimensional half-plane. More precisely, we show that the boundary layer for $\varepsilon>0$ (viscous convection coefficient) converges to the superposition of the outer layer (solution with $\varepsilon=0$) and the inner layer as $\varepsilon\rightarrow0$. The outer and inner profiles are explicitly derived as in the first part\cite{WWZ}. Furthermore, the well-posedness results of the coupled Chemotaxis-Navier-Stokes system in conormal Sobolev spaces will be presented in Appendix. They answer the question mentioned in the first part of the two-part work. This study could help the understanding of the chemotactic movement of aerobic bacteria to the water-air surface observed experimentally in fluids, and enrich the theoretical results of boundary layer in chemotactic fluid models.

math.AP