Search

We consider here a new type of mixed local and nonlocal equation under suitable Neumann conditions. We discuss the spectral properties associated to a weighted eigenvalue problem and present a global bound for subsolutions. The Neumann condition that we take into account comprises, as a particular case, the one that has been recently introduced in [S. Dipierro, X. Ros-Oton, E. Valdinoci, Rev. Mat. Iberoam. (2017)]. Also, the results that we present here find a natural application to a logistic equation motivated by biological problems that has been recently considered in [S. Dipierro, E. Proietti Lippi, E. Valdinoci, preprint (2020)].

We extend the classical Bernstein technique to the setting of integro-differential operators. As a consequence, we provide first and one-sided second derivative estimates for solutions to fractional equations, including some convex fully nonlinear equations of order smaller than two -- for which we prove uniform estimates as their order approaches two. Our method is robust enough to be applied to some Pucci-type extremal equations and to obstacle problems for fractional operators, although several of the results are new even in the linear case. We also raise some intriguing open questions, one of them concerning the "pure" linear fractional Laplacian, another one being the validity of one-sided second derivative estimates for Pucci-type convex equations associated to linear operators with general kernels., Comment: To appear in Arch. Rat. Mech. Anal

We investigate the convergence as $p\searrow 1$ of the minimizers of the $W^{s,p}$-energy for $s\in (0,1)$ and $p\in (1,\infty )$ to those of the $W^{s,1}$-energy, both in the pointwise sense and by means of $\Gamma $-convergence. We also address the convergence of the corresponding Euler–Lagrange equations and the equivalence between minimizers and weak solutions. As ancillary results, we study some regularity issues regarding minimizers of the $W^{s,1}$-energy.

We consider an energy functional combining the square of the local oscillation of a one-dimensional function with a double-well potential. We establish the existence of minimal heteroclinic solutions connecting the two wells of the potential. This existence result cannot be accomplished by standard methods, due to the lack of compactness properties. In addition, we investigate the main properties of these heteroclinic connections. We show that these minimizers are monotone, and therefore they satisfy a suitable Euler–Lagrange equation. We also prove that, differently from the classical cases arising in ordinary differential equations, in this context the heteroclinic connections are not necessarily smooth, and not even continuous (in fact, they can be piecewise constant). Also, we show that heteroclinics are not necessarily unique up to a translation, which is also in contrast with the classical setting. Furthermore, we investigate the associated Dirichlet problem, studying existence, uniqueness and partial regularity properties, providing explicit solutions in terms of the external data and of the forcing source, and exhibiting an example of discontinuous solution.

We consider an elliptic equation in a cone, endowed with (possibly inhomogeneous) Neumann conditions. The operator and the forcing terms can also allow non-Lipschitz singularities at the vertex of the cone. In this setting, we provide unique continuation results, both in terms of interior and boundary points. The proof relies on a suitable Almgren-type frequency formula with remainders. As a byproduct, we obtain classification results for blow-up limits.

We prove that nonlocal minimal graphs in the plane exhibit generically stickiness effects and boundary discontinuities. More precisely, we show that if a nonlocal minimal graph in a slab is continuous up to the boundary, then arbitrarily small perturbations of the far-away data produce boundary discontinuities. Hence, either a nonlocal minimal graph is discontinuous at the boundary, or a small perturbation of the prescribed conditions produces boundary discontinuities. The proof relies on a sliding method combined with a fine boundary regularity analysis, based on a discontinuity/smoothness alternative. Namely, we establish that nonlocal minimal graphs are either discontinuous at the boundary or their derivative is Holder continuous up to the boundary. In this spirit, we prove that the boundary regularity of nonlocal minimal graphs in the plane “jumps” from discontinuous to $$C^{1,\gamma }$$, with no intermediate possibilities allowed. In particular, we deduce that the nonlocal curvature equation is always satisfied up to the boundary. As an interesting byproduct of our analysis, one obtains a detailed understanding of the “switch” between the regime of continuous (and hence differentiable) nonlocal minimal graphs to that of discontinuous (and hence with differentiable inverse) ones.

We provide a fractional counterpart of the classical results by Schwarz and Malmheden on harmonic functions. From that we obtain a representation formula for $s$-harmonic functions as a linear superposition of weighted classical harmonic functions which also entails a new proof of the fractional Harnack inequality. This proof also leads to optimal constants for the fractional Harnack inequality in the ball., Mathematics in Engineering, in press

We study a nonlocal capillarity problem with interaction kernels that are possibly anisotropic and not necessarily invariant under scaling. In particular, the lack of scale invariance will be modeled via two different fractional exponents $s_1, s_2\in (0,1)$ which take into account the possibility that the container and the environment present different features with respect to particle interactions. We determine a nonlocal Young's law for the contact angle and discuss the unique solvability of the corresponding equation in terms of the interaction kernels and of the relative adhesion coefficient.

We consider nonlocal minimal surfaces in a cylinder with prescribed datum given by the complement of a slab. We show that when the width of the slab is large the minimizers are disconnected and when the width of the slab is small the minimizers are connected. This feature is in agreement with the classical case of the minimal surfaces. Nevertheless, we show that when the width of the slab is large the minimizers are not flat discs, as it happens in the classical setting, and, in particular, in dimension 2 2 we provide a quantitative bound on the stickiness property exhibited by the minimizers. Moreover, differently from the classical case, we show that when the width of the slab is small then the minimizers completely adhere to the side of the cylinder, thus providing a further example of stickiness phenomenon.

We introduce a suitable notion of integral operators (comprising the fractional Laplacian as a particular case) acting on functions with minimal requirements at infinity. For these functions, the classical definition would lead to divergent expressions, thus we replace it with an appropriate framework obtained by a cut-off procedure. The notion obtained in this way quotients out the polynomials which produce the divergent pattern once the cut-off is removed. We also present results of stability under the appropriate notion of convergence and compatibility results between polynomials of different orders. Additionally, we address the solvability of the Dirichlet problem. The theory is developed in general in the pointwise sense. A viscosity counterpart is also presented under the additional assumption that the interaction kernel has a sign, in conformity with the maximum principle structure., To appear in Fract. Calc. Appl. Anal

We prove the Harnack inequality for antisymmetric $s$-harmonic functions, and more generally for solutions of fractional equations with zero-th order terms, in a general domain. This may be used in conjunction with the method of moving planes to obtain quantitative stability results for symmetry and overdetermined problems for semilinear equations driven by the fractional Laplacian. The proof is split into two parts: an interior Harnack inequality away from the plane of symmetry, and a boundary Harnack inequality close to the plane of symmetry. We prove these results by first establishing the weak Harnack inequality for super-solutions and local boundedness for sub-solutions in both the interior and boundary case. En passant, we also obtain a new mean value formula for antisymmetric $s$-harmonic functions.

We consider a forager diffusing via a fractional heat equation and we introduce several efficiency functionals whose optimality is discussed in relation to the Lévy exponent of the evolution equation. Several biological scenarios, such as a target close to the forager, a sparse environment, a target located away from the forager and two targets are specifically taken into account. The optimal strategies of each of these configurations are here analyzed explicitly also with the aid of some special functions of classical flavor and the results are confronted with the existing paradigms of the Lévy foraging hypothesis. Interestingly, one discovers bifurcation phenomena in which a sudden switch occurs between an optimal (but somehow unreliable) Lévy foraging pattern of inverse square law type and a less ideal (but somehow more secure) classical Brownian motion strategy. Additionally, optimal foraging strategies can be detected in the vicinity of the Brownian one even in cases in which the Brownian one is pessimizing an efficiency functional., Journal of Mathematical Biology

We study symmetry and quantitative approximate symmetry for an overdetermined problem involving the fractional torsion problem in a bounded open set Ω ⊂ R n \Omega \subset \mathbb R^n . More precisely, we prove that if the fractional torsion function has a C 1 C^1 level surface which is parallel to the boundary ∂ Ω \partial \Omega then Ω \Omega is a ball. If instead we assume that the solution is close to a constant on a parallel surface to the boundary, then we quantitatively prove that Ω \Omega is close to a ball. Our results use techniques which are peculiar of the nonlocal case as, for instance, quantitative versions of fractional Hopf boundary point lemma and boundary Harnack estimates for antisymmetric functions. We also provide an application to the study of rural-urban fringes in population settlements.

We construct heteroclinic orbits for a strongly nonlocal integro-differential equation. Since the energy associated to the equation is infinite in such strongly nonlocal regime, the proof, based on variational methods, relies on a renormalized energy functional, exploits a perturbation method of viscosity type, combined with an auxiliary penalization method, and develops a free boundary theory for a double obstacle problem of mixed local and nonlocal type. The description of the stationary positions for the atom dislocation function in a perturbed crystal, as given by the Peierls–Nabarro model, is a particular case of the result presented.

We introduce a notion of fractional Laplacian for functions which grow more than linearly at infinity. In such case, the operator is not defined in the classical sense: nevertheless, we can give an ad-hoc definition which can be useful for applications in various fields, such as blowup and free boundary problems. In this setting, when the solution has a polynomial growth at infinity, the right hand side of the equation is not just a function, but an equivalence class of functions modulo polynomials of a fixed order. We also give a sharp version of the Schauder estimates in this framework, in which the full smooth Hölder norm of the solution is controlled in terms of the seminorm of the nonlinearity. Though the method presented is very general and potentially works for general nonlocal operators, for clarity and concreteness we focus here on the case of the fractional Laplacian.

We provide an existence result for stationary fractional mean field game systems, with fractional exponent greater than 1/2. In the case in which the coupling is a nonlocal regularizing potential, we obtain existence of solutions under general assumptions on the Hamiltonian. In the case of local coupling, we restrict to the subcritical regime, that is the case in which the diffusion part of the operator dominates the Hamiltonian term. We consider both the case of local bounded coupling and of local unbounded coupling with power-type growth. In this second regime, we impose some conditions on the growth of the coupling and on the growth of the Hamiltonian with respect to the gradient term., Comment: 19 pages

We define a family of functionals, called \begin{document}$ p $\end{document} -oscillation functionals, that can be interpreted as discrete versions of the classical total variation functional for \begin{document}$ p = 1 $\end{document} and of the \begin{document}$ p $\end{document} -Dirichlet functionals for \begin{document}$ p>1 $\end{document} . We introduce the notion of minimizers and prove existence of solutions to the Dirichlet problem. Finally we provide a description of Class A minimizers (i.e. minimizers under compact perturbations) in dimension \begin{document}$ 1 $\end{document} .

We prove radial symmetry for bounded nonnegative solutions of a weighted anisotropic problem. Given the anisotropic setting that we deal with, the term "radial" is understood in the Finsler framework. In the whole space, J. Serra obtained the symmetry result in the isotropic unweighted setting. In this case we provide the extension of his result to the anisotropic setting. This provides a generalization to the anisotropic setting of a celebrated result due to Gidas-Ni-Nirenberg and such a generalization is new even for in the case of linear operators whenever the dimension is greater than 2. In proper cones, the results presented are new even in the isotropic and unweighted setting for suitable nonlinear cases. Even for the previously known case of unweighted isotropic setting, the present paper provides an approach to the problem by exploiting integral (in)equalities which is new for $N>2$: this complements the corresponding symmetry result obtained via the moving planes method by Berestycki-Pacella.

We consider a Frenkel–Kontorova system of harmonic oscillators in a two-dimensional Euclidean lattice and we obtain a quantitative estimate on the angular function of the equilibria. The proof relies on a PDE method related to a classical conjecture by E. De Giorgi, also in view of an elegant technique based on complex variables that was introduced by A. Farina. In the discrete setting, a careful analysis of the reminders is needed to exploit these types of methodologies inspired by continuum models.

We consider here a problem of population dynamics modeled on a logistic equation with both classical and nonlocal diffusion, possibly in combination with a pollination term. The environment considered is a niche with zero-flux, according to a new type of Neumann condition. We discuss the situations that are more favorable for the survival of the species, in terms of the first positive eigenvalue. Quite surprisingly, the eigenvalue analysis for the one dimensional case is structurally different than the higher dimensional setting, and it sensibly depends on the nonlocal character of the dispersal. The mathematical framework of this problem takes into consideration the equation $$ -\alpha\Delta u +\beta(-\Delta)^su =(m-\mu u)u+\tau\;J\star u \qquad{\mbox{in }}\; \Omega,$$ where $m$ can change sign. This equation is endowed with a set of Neumann condition that combines the classical normal derivative prescription and the nonlocal condition introduced in [S. Dipierro, X. Ros-Oton, E. Valdinoci, Rev. Mat. Iberoam. (2017)]. We will establish the existence of a minimal solution for this problem and provide a throughout discussion on whether it is possible to obtain non-trivial solutions (corresponding to the survival of the population). The investigation will rely on a quantitative analysis of the first eigenvalue of the associated problem and on precise asymptotics for large lower and upper bounds of the resource. In this, we also analyze the role played by the optimization strategy in the distribution of the resources, showing concrete examples that are unfavorable for survival, in spite of the large resources that are available in the environment.

In this paper we investigate, through numerical studies, the dynamical evolutions encoded in a linear one-dimensional nonlocal equation arising in peridynamcs. The different propagation regimes ranging from the hyperbolic to the dispersive, induced by the nonlocal feature of the equation, are carefully analyzed. The study of an initial value Riemann-like problem suggests the formation of a singularity., Comment: 18 pages, 14 figures

We study the dispersive properties of a linear equation in one spatial dimension which is inspired by models in peridynamics. The interplay between nonlocality and dispersion is analyzed in detail through the study of the asymptotics at low and high frequencies, revealing new features ruling the wave propagation in continua where nonlocal characteristics must be taken into account. Global dispersive estimates and existence of conserved functionals are proved. A comparison between these new effects and the classical local {\it scenario} is deepened also through a numerical analysis., Comment: 40 pages, 12 figures

In this paper, we consider an elliptic operator obtained as the superposition of a classical second-order differential operator and a nonlocal operator of fractional type. Though the methods that we develop are quite general, for concreteness we focus on the case in which the operator takes the form − Δ + ( − Δ)s, with s ∈ (0, 1). We focus here on symmetry properties of the solutions and we prove a radial symmetry result, based on the moving plane method, and a one-dimensional symmetry result, related to a classical conjecture by G.W. Gibbons.

We study solutions to $Lu=f$ in $\Omega\subset\mathbb R^n$, being $L$ the generator of any, possibly non-symmetric, stable L\'evy process. On the one hand, we study the regularity of solutions to $Lu=f$ in $\Omega$, $u=0$ in $\Omega^c$, in $C^{1,\alpha}$ domains~$\Omega$. We show that solutions $u$ satisfy $u/d^\gamma\in C^{\varepsilon_\circ}\big(\overline\Omega\big)$, where $d$ is the distance to $\partial\Omega$, and $\gamma=\gamma(L,\nu)$ is an explicit exponent that depends on the Fourier symbol of operator $L$ and on the unit normal $\nu$ to the boundary $\partial\Omega$. On the other hand, we establish new integration by parts identities in half spaces for such operators. These new identities extend previous ones for the fractional Laplacian, but the non-symmetric setting presents some new interesting features. Finally, we generalize the integration by parts identities in half spaces to the case of bounded $C^{1,\alpha}$ domains. We do it via a new efficient approximation argument, which exploits the H\"older regularity of $u/d^\gamma$. This new approximation argument is interesting, we believe, even in the case of the fractional Laplacian.

We consider a parabolic equation driven by a nonlinear diffusive operator and we obtain a gradient estimate in the domain where the equation takes place. This estimate depends on the structural constants of the equation, on the geometry of the ambient space and on the initial and boundary data. As a byproduct, one easily obtains a universal interior estimate, not depending on the parabolic data. The setting taken into account includes sourcing terms and general diffusion coefficients. The results are new, to the best of our knowledge, even in the Euclidean setting, though we treat here also the case of a complete Riemannian manifold.

We consider a fractional version of Gauss capillarity energy. A suitable extension problem is introduced to derive a boundary monotonicity formula for local minimizers of this fractional capillarity energy. As a consequence, blow-up limits of local minimizers are shown to subsequentially converge to minimizing cones. Finally, we show that in the planar case there is only one possible fractional minimizing cone, the one determined by the fractional version of Young's law.

We present a quantitative estimate for the radially symmetric configuration concerning a Serrin-type overdetermined problem for the torsional rigidity in a bounded domain Ω ⊂ R N , when the equation is known on Ω ∖ ω ¯ only, for some open subset ω ⋐ Ω . The problem has concrete motivations in optimal heating with malfunctioning, laminar flows and beams with small inhomogeneities.

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".

We provide global gradient estimates for solutions to a general type of nonlinear parabolic equations, possibly in a Riemannian geometry setting. Our result is new in comparison with the existing ones in the literature, in light of the validity of the estimates in the global domain, and it detects several additional regularity effects due to special parabolic data. Moreover, our result comprises a large number of nonlinear sources treated by a unified approach, and it recovers many classical results as special cases.

The nonlocal world presents an abundance of surprises and wonders to discover. These special properties of the nonlocal world are usually the consequence of long-range interactions, which, especially in presence of geometric structures and nonlinear phenomena, end up producing a variety of novel patterns. We will briefly discuss some of these features, focusing on the case of (non)local minimal surfaces, (non)local phase coexistence models, and (non)local geometric flows.

We start in this paper a systematic study of the superpositions of elliptic operators with different orders, mixing classical and fractional scenarios. For concreteness, we focus on the sum of the Laplacian and the fractional Laplacian, and we provide structural results, including existence, maximum principles (both for weak and classical solutions), interior Sobolev regularity and boundary regularity of Lipschitz type.

This paper recalls some classical motivations in fluid dynamics leading to a partial differential equation which is prescribed on a domain whose boundary possesses two connected components, one endowed with a Dirichlet datum, and the other endowed with a Neumann datum. The problem can also be reformulated as a nonlocal problem on the component endowed with the Dirichlet datum. A series of recent symmetry results are presented and compared with the existing literature.

We provide a general approach to the classification results of stable solutions of (possibly nonlinear) elliptic problems with Robin conditions. The method is based on a geometric formula of Poincaré type, which is inspired by a classical work of Sternberg and Zumbrun and which gives an accurate description of the curvatures of the level sets of the stable solutions. From this, we show that the stable solutions of a quasilinear problem with Neumann data are necessarily constant. As a byproduct of this, we obtain an alternative proof of a celebrated result of Casten and Holland, and Matano. In addition, we will obtain as a consequence a new proof of a result recently established by Bandle, Mastrolia, Monticelli, and Punzo.