Related papers: Regularity results for mixed local and nonlocal do…

We prove the higher differentiability of integer order of locally bounded minimizers of integral functionals of the form \begin{equation*} \mathcal{F}(u,\Omega):= \,\sum_{i=1}^{n} \dfrac{1}{p_i}\displaystyle \int_\Omega \, a_i(x) \lvert…

We consider the following class of mixed local-nonlocal equations: \begin{align}\label{abs}\tag{$\mathcal{P}$} -\Delta_p u + (-\Delta)_p^s u = V |u|^{p-2}u \text{ in } \Omega, \end{align} where $s \in (0,1), p \in (1, \infty)$, and the…

We present a formalization in Lean of the core interior De Giorgi--Nash--Moser theory for uniformly elliptic divergence-form equations with bounded measurable coefficients. The formalized results include local boundedness of weak…

Local boundedness and Harnack inequalities are studied for solutions to parabolic and elliptic integro-differential equations whose governing nonlocal operators are associated with nonsymmetric forms. We present two independent proofs, one…

Weak solutions to parabolic integro-differential operators of order $\alpha \in (\alpha_0, 2)$ are studied. Local a priori estimates of H\"older norms and a weak Harnack inequality are proved. These results are robust with respect to…

We prove the local Lipschitz regularity of the local minimizers of scalar integral functionals of the form \begin{equation*} \mathcal{F}(v;\Omega)= \int_{\Omega} f (x, Dv) dx \end{equation*} under $(p,q)$-growth conditions. The main novelty…

The functionals of double phase type \[ \mathcal{H} (u):= \int \left(|Du|^{p} + a(x)|Du|^{q} \right) dx, ( q > p > 1, a(x)\geq 0) \] are introduced in the epoch-making paper by Colombo-Mingione for constants $p$ and $q$, and investigated by…

We prove uniform parabolic H\"older estimates of De Giorgi-Nash-Moser type for sequences of minimizers of the functionals \[ \mathcal{E}_\varepsilon(W) = \int_0^\infty \frac{e^{- t/\varepsilon}}{\varepsilon} \bigg\{…

We prove the local Lipschitz regularity of the minimizers of functionals of the form \[ \mathcal I(u)=\int_\Omega f(\nabla u(x))+g(x)u(x)\,dx\qquad u\in\phi+W^{1,1}_0(\Omega) \] where $g$ is bounded and $\phi$ satisfies the Lower Bounded…

Minimizers of functionals of mixed local and nonlocal type are locally $C^{1,\beta}$-regular.

We show that quasi-minimizers of non-homogeneous energy functionals on metric measure spaces are locally H\"older continuous and satisfy the Harnack inequality. We assume that the spaces are doubling and support a Poincar\'e inequality. The…

We extend the De Giorgi-Nash-Moser theory to nonlocal, possibly degenerate integro-differential operators.

In this paper we study the regularity of the local minima of integral functionals: in particular, not convexity (quasi-convexity, policonvexity or rank one convexity) hypothesis will be made on the density, neither structure hypothesis nor…

We establish local boundedness and local H\"older continuity of weak solutions to the following prototype problem: $$ -\operatorname{div}\left(|x|^{-2 \beta}|\nabla u|^{\mathbf{q}-2} \nabla u\right)+(-\Delta)_{p(\cdot, \cdot),…

We consider the nonlocal double phase equation \begin{align*} \mathrm{P.V.} &\int_{\mathbb{R}^n}|u(x)-u(y)|^{p-2}(u(x)-u(y))K_{sp}(x,y)\,dy\\ &+\mathrm{P.V.} \int_{\mathbb{R}^n} a(x,y)|u(x)-u(y)|^{q-2}(u(x)-u(y))K_{tq}(x,y)\,dy=0,…

We consider a class of nonlinear integro-differential equations whose leading operator is obtained as a superposition of $(-\Delta_{p})^{s}$ and $(-\Delta_{p})^{t}$, where $0<s<t<1<p<\infty$, weighted via two possibly degenerate…

The purpose of this article is twofold. First, an issue of regularity of weak solution to the problem $(P)$ (See below) is addressed. Secondly, we investigate the question of $H^s$ versus $C^0$- weighted minimizers of the functional…

We present an extension of the classical De Giorgi class, and then we show that functions in this new class are locally bounded and locally H\"older continuous. Some applications are given. As a first application, we give a regularity…

We extend the De Giorgi-Nash-Moser theory to a class of nonlocal hypoelliptic equations arising naturally in kinetic theory, in which a first-order transport operator is coupled with an elliptic nonlocal operator involving fractional…

We consider local minimizers of the functional \[ \sum_{i=1}^N \int (|u_{x_i}|-\delta_i)^p_+\, dx+\int f\, u\, dx, \] where $\delta_1,\dots,\delta_N\ge 0$ and $(\,\cdot\,)_+$ stands for the positive part. Under suitable assumptions on $f$,…