Cσ+αC^{\sigma+\alpha} regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels

We establish $C^{\sigma+\alpha}$ interior estimates for concave nonlocal fully nonlinear equations of order $\sigma\in(0,2)$ with rough kernels. Namely, we prove that if $u\in C^{\alpha}(\mathbb R^n)$ solves in $B_1$ a concave translation invariant equation with kernels in $\mathcal L_0(\sigma)$, then $u$ belongs to $C^{\sigma+\alpha}(\overline{ B_{1/2}})$, with an estimate. More generally, our results allow the equation to depend on $x$ in a $C^\alpha$ fashion. Our method of proof combines a Liouville theorem and a blow-up (compactness) procedure. Due to its flexibility, the same method can be useful in different regularity proofs for nonlocal equations

A new relation between the zero of AFBA_{FB} in B0→K∗μ+μ−B^0 \to K^* \mu^+\mu^- and the anomaly in P5′P_5^\prime

We present two exact relations, valid for any dilepton invariant mass region (large and low-recoil) and independent of any effective Hamiltonian computation, between the observables $P_i$ and $P_i^{CP}$ of the angular distribution of the 4-body decay $B \to K^*(\to K\pi) l^+l^-$. These relations emerge out of the symmetries of the angular distribution. We discuss the implications of these relations under the (testable) hypotheses of no scalar or tensor contributions and no New Physics weak phases in the Wilson coefficients. Under these hypotheses there is a direct relation among the observables $P_{1}$,$P_2$ and $P_{4,5}^\prime$. This can be used as an independent consistency test of the measurements of the angular observables. Alternatively, these relations can be applied directly in the fit to data, reducing the number of free parameters in the fit. This opens up the possibility to perform a full angular fit of the observables with existing datasets. An important consequence of the found relations is that a priori two different measurements, namely the measured position of the zero ($q_0^2$) of the forward-backward asymmetry $A_{FB}$ and the value of $P_5^\prime$ evaluated at this same point, are related by $P_4^2(q_0^{2})+P_5^2(q_0^{2})=1$. Under the hypotheses of real Wilson coefficients and $P_4^\prime$ being SM-like, we show that the higher the position of $q_0^{2}$ the smaller should be the value of $P_5^\prime$ evaluated at the same point. A precise determination of the position of the zero of $A_{FB}$ together with a measurement of $P_4^\prime$ (and $P_1$) at this position can be used as an independent experimental test of the anomaly in $P_5^\prime$. We also point out the existence of upper and lower bounds for $P_1$, namely $P_5^{\prime 2}-1 \leq P_1 \leq 1-P_4^{\prime 2}$, which constraints the physical region of the observables.Comment: 5 pages, 3 figure

Local integration by parts and Pohozaev identities for higher order fractional Laplacians

We establish an integration by parts formula in bounded domains for the higher order fractional Laplacian $(-\Delta)^s$ with $s>1$. We also obtain the Pohozaev identity for this operator. Both identities involve local boundary terms, and they extend the identities obtained by the authors in the case $s\in(0,1)$. As an immediate consequence of these results, we obtain a unique continuation property for the eigenfunctions $(-\Delta)^s\phi=\lambda\phi$ in $\Omega$, $\phi\equiv0$ in $\mathbb R^n\setminus\Omega$.Comment: The sign of the boundary term in Theorem 1.5 has been correcte

Boundary regularity for fully nonlinear integro-differential equations

We study fine boundary regularity properties of solutions to fully nonlinear elliptic integro-differential equations of order $2s$, with $s\in(0,1)$. We consider the class of nonlocal operators $\mathcal L_*\subset \mathcal L_0$, which consists of infinitesimal generators of stable L\'evy processes belonging to the class $\mathcal L_0$ of Caffarelli-Silvestre. For fully nonlinear operators $I$ elliptic with respect to $\mathcal L_*$, we prove that solutions to $I u=f$ in $\Omega$, $u=0$ in $\mathbb R^n\setminus\Omega$, satisfy $u/d^s\in C^{s+\gamma}(\overline\Omega)$, where $d$ is the distance to $\partial\Omega$ and $f\in C^\gamma$. We expect the class $\mathcal L_*$ to be the largest scale invariant subclass of $\mathcal L_0$ for which this result is true. In this direction, we show that the class $\mathcal L_0$ is too large for all solutions to behave like $d^s$. The constants in all the estimates in this paper remain bounded as the order of the equation approaches 2. Thus, in the limit $s\uparrow1$ we recover the celebrated boundary regularity result due to Krylov for fully nonlinear elliptic equations.Comment: To appear in Duke Math.

Nonexistence results for nonlocal equations with critical and supercritical nonlinearities

We prove nonexistence of nontrivial bounded solutions to some nonlinear problems involving nonlocal operators of the form $$Lu(x)=\sum a_{ij}\partial_{ij}u+{\rm PV}\int_{\R^n}(u(x)-u(x+y))K(y)dy.$$ These operators are infinitesimal generators of symmetric L\'evy processes. Our results apply to even kernels $K$ satisfying that $K(y)|y|^{n+\sigma}$ is nondecreasing along rays from the origin, for some $\sigma\in(0,2)$ in case $a_{ij}\equiv0$ and for $\sigma=2$ in case that $(a_{ij})$ is a positive definite symmetric matrix. Our nonexistence results concern Dirichlet problems for $L$ in star-shaped domains with critical and supercritical nonlinearities (where the criticality condition is in relation to $n$ and $\sigma$). We also establish nonexistence of bounded solutions to semilinear equations involving other nonlocal operators such as the higher order fractional Laplacian $(-\Delta)^s$ (here $s>1$) or the fractional $p$-Laplacian. All these nonexistence results follow from a general variational inequality in the spirit of a classical identity by Pucci and Serrin