Related papers: Harnack, Holder, Gauss and Widder: Serrin's Parabo…

We report on recent results and a new line of research at the crossroad of two major theories in the analysis of partial differential equations. The celebrated De Giorgi-Nash-Moser theory shows H{\"o}lder estimates and the Harnack…

In 1957, De Giorgi [3] proved the H\"{o}lder continuity for elliptic equations in divergence form and Moser [7] gave a new proof in 1960. Next year, Moser [8] obtained the Harnack inequality. In this note, we point out that the Harnack…

Two-sided Gaussian estimates for the fundamental solution of a second order linear parabolic differential equation are upper and lower bounds in terms of the fundamental solution of the classical heat conduction equation. In his seminal…

In this paper we give both an historical and technical overview of the theory of Harnack inequalities for nonlinear parabolic equations in divergence form. We start reviewing the elliptic case with some of its variants and geometrical…

We extend the semilinear framework developed by the two authors and the non-trapping quasilinear theory developed by the first author to solve quasilinear wave equations with normally hyperbolic trapping. The most well-known example that…

It is known that solutions to second order uniformly elliptic and parabolic equations, either in divergence or nondivergence (general) form, are H\"{o}lder continuous and satisfy the interior Harnack inequality. We show that even in the…

In this paper, we establish a scale invariant Harnack inequality for some inhomogeneous parabolic equations in a suitable intrinsic geometry dictated by the nonlinearity. The class of equations that we consider correspond to the parabolic…

In 1971 Moser published a simplified version of his proof of the parabolic Harnack inequality. The core new ingredient is a fundamental lemma due to Bombieri and Giusti, which combines an $L^p-L^\infty$-estimate with a weak $L^1$-estimate…

By borrowing ideas from the parabolic theory, we use a combination of De Giorgi's and Moser's methods to give some remarks on the proof of H\"older continuity of weak solutions of elliptic equations.

In this paper, we consider second order degenerate parabolic equations with complex, measurable, and time-dependent coefficients. The degenerate ellipticity is dictated by a spatial $A_2$-weight. We prove that having a generalized…

In this note, we present several seminal developments in the regularity theory of nonlinear (uniformly) elliptic equations, including the De Giorgi-Nash-Moser theory concerning the Hilbert 19th problem and variational equations, as well as…

This paper deals with two separate but related results. First we consider weak solutions to a parabolic operator with H\"ormander vector fields. Adapting the iteration scheme of J\"urgen Moser for elliptic and parabolic equations in…

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 show that the Harnack inequality for a class of degenerate parabolic quasilinear PDE $$\p_t u=-X_i^* A_i(x,t,u,Xu)+ B(x,t,u,Xu),$$ associated to a system of Lipschitz continuous vector fields $X=(X_1,...,X_m)$ in in $\Om\times (0,T)$…

We consider a combination of local and nonlocal $p$-Laplace equations and discuss several regularity properties of weak solutions. More precisely, we establish local boundedness of weak subsolutions, local H\"older continuity of weak…

The theory of De Giorgi (1958) and Nash (1959) solves Hilbert's 19th problem and constitutes a major advance in the analysis of PDEs in the 20th century. This theory concerns the H\"older regularity of solutions to elliptic and parabolic…

We aim to study nonnegative, global solutions to a general class of nonlocal parabolic equations with bounded measurable coefficients. First, we prove a Widder-type theorem. Such a result has previously been studied only for certain…

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…

We develop a convergence theory for non-monotone approximation schemes for fully nonlinear parabolic partial differential equations. Modern computational methods such as kernel-based collocation, spectral methods, physics-informed neural…

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…