A sharp pointwise differential inequality for vectorial second-order partial differential operators, with Uhlenbeck structure, is offered. As a consequence, optimal second-order regularity properties of solutions to nonlinear elliptic systems in domains in $\mathbb{R}^n$ are derived. Both local and global estimates are established. Minimal assumptions on the boundary of the domain are required for the latter. In the special case of the $p$-Laplace system, our conclusions broaden the range of the admissible values of the exponent $p$ previously known.
In this paper, we develop a series of boundary pointwise regularity for Dirichlet problems and oblique derivative problems. As applications, we give direct and simple proofs of the higher regularity of the free boundaries in obstacle-type problems and one phase problems.
In this paper, we prove boundary pointwise $C^{k,α}$ regularity for any $k\geq 1$ for fully nonlinear parabolic equations. As an application, we give a direct and short proof of the higher regularity of the free boundaries in obstacle-type problems.
In this paper, we prove a boundary pointwise regularity for fully nonlinear elliptic equations on cones. In addition, based on this regularity, we give simple proofs of the Liouville theorems on cones.
In this paper, we obtain the boundary pointwise $C^{1,α}$ and $C^{2,α}$ regularity for viscosity solutions of fully nonlinear elliptic equations. I.e., If $\partial Ω$ is $C^{1,α}$ (or $C^{2,α}$) at $x_0\in \partial Ω$, the solution is $C^{1,α}$ (or $C^{2,α}$) at $x_0$. Our results are new even for the Laplace equation. Moreover, our proofs are simple.
In this paper, we are inspired by Ngô, Nguyen and Phan's [15] study of the pointwise inequality for positive $C^{4}$-solutions of biharmonic equations with negative exponent by using the growth condition of solutions. They propose an open question of whether the growth condition is necessary to obtain the pointwise inequality. We give a positive answer to this open question. We establish the following local pointwise inequality $$-\frac{Δu}{u}+α\frac{|\nabla u|^{2}}{u^{2}}+βu^{-\frac{q+1}{2}}\leq\frac{C}{R^{2}}$$ for positive $C^{4}$-solutions of the biharmonic equations with negative exponent…
The fractional laplacian is an operator appearing in several evolution models where diffusion coming from a Lévy process is present but also in the analysis of fluid interphases. We provide an extension of a pointwise inequality that plays a rôle in their study. We begin recalling two scenarios where it has been used. After stating the results, for fractional Laplace-Beltrami and Dirichlet-Neumann operators, we provide an sketch of their proofs, unravelling the underlying principle to such inequalities.
Let $Ω$ be a bounded, smooth domain of $\mathbb{R}^{N},$ $N\geq1.$ For each $p>N$ we study the optimal function $s=s_{p}$ in the pointwise inequality \[ \left\vert v(x)\right\vert \leq s(x)\left\Vert \nabla v\right\Vert _{L^{p}(Ω)},\quad\forall\,(x,v)\in\overlineΩ\times W_{0}% ^{1,p}(Ω). \] We show that $s_{p}\in C_{0}^{0,1-(N/p)}(\overlineΩ)$ and that $s_{p}$ converges pointwise to the distance function to the boundary, as $p\rightarrow\infty.$ Moreover, we prove that if $Ω$ is convex, then $s_{p}$ is concave and has a unique maximum point.
We investigate the long time behavior of a system of viscoelastic particles modeled with the homogeneous Boltzmann equation. We prove the existence of a universal Maxwellian intermediate asymptotic state and explicit the rate of convergence towards it. Exponential lower pointwise bounds and propagation of regularity are also studied. These results can be seen as the generalization of several classical facts holding for the pseudo-Maxwellian and constant normal restitution models.
We study the parabolic obstacle problem $$\lap u-u_t=fχ_{\{u>0\}}, \quad u\geq 0,\quad f\in L^p \quad \mbox{with}\quad f(0)=1$$ and obtain two monotonicity formulae, one that applies for general free boundary points and one for singular free boundary points. These are used to prove a second order Taylor expansion at singular points (under a pointwise Dini condition), with an estimate of the error (under a pointwise double Dini condition). Moreover, under the assumption that $f$ is Dini continuous, we prove that the set of regular points is locally a (parabolic) $C^1$-surface and that the set o…
The study of reflector surfaces in geometric optics necessitates the analysis of certain nonlinear equations of Monge-Ampère type known as generated Jacobian equations. These equations, whose general existence theory has been recently developed by Trudinger go beyond the framework of optimal transport. We obtain pointwise estimates for weak solutions of such equations under a condition analogous to the A3w condition of Ma, Trudinger and Wang. Estimates of this type have played an important role in the regularity theory for optimal transport maps and were previously unknown in this context, inc…
We prove the self-improvement of a pointwise $p$-Hardy inequality. The proof relies on maximal function techniques and a characterization of the inequality by curves.
We prove that the following pointwise inequality holds \begin{equation*} -Δu \ge \sqrt\frac{2}{(p+1)-c_n} |x|^{\frac{a}{2}} u^{\frac{p+1}{2}} + \frac{2}{n-4} \frac{|\nabla u|^2}{u} \ \ \text{in}\ \ \mathbb{R}^n \end{equation*} where $c_n:=\frac{8}{n(n-4)}$, for positive bounded solutions of the fourth order Hénon equation that is \begin{equation*} Δ^2 u = |x|^a u^p \ \ \ \ \text {in }\ \ \mathbb{R}^n \end{equation*} for some $a\ge0$ and $p>1$. Motivated by the Moser's proof of the Harnack's inequality as well as Moser iteration type arguments in the regularity theory, we develop an iteration a…
We demonstrate a measure theoretical approach to the local regularity of weak supersolutions to elliptic and parabolic equations in divergence form. In the first part, we show that weak supersolutions become lower semicontinuous after redefinition on a set of measure zero. The proof relies on a general principle, i.e. the De Giorgi type lemma, which offers a unified approach for a wide class of elliptic and parabolic equations, including an anisotropic elliptic equation, the parabolic $p$-Laplace equation, and the porous medium equation. In the second part, we shall show that for parabolic pro…
Inspired by a recent pointwise differential inequality for positive bounded solutions of the fourth-order Hénon equation $Δ^2 u = |x|^a u^p$ in ${\mathbb R}^n$ with $a \geqslant 0$, $p > 1$, $n \geqslant 5$ due to Fazly, Wei, and Xu [ Anal. PDE., 8(2015) 1541--1563], first for some positive constants $α$ and $β$ we establish the following pointwise inequality \[ Δu \geqslant αu^{-\frac{q-1}2} + βu^{-1} |\nabla u|^2 \] in ${\mathbb R}^n$ with $n \geqslant 3$ for positive $C^4$-solutions of the fourth-order equation \[ Δ^2u=-u^{-q} \quad \text{ in } \mathbb R^n \] where $q > 1$. Next, we prove a…
Let $u(t,x)$ be a solution of the heat equation in $\mathbb{R}^n$. Then, each $k-$th derivative also solves the heat equation and satisfies a maximum principle, the largest $k-$th derivative of $u(t,x)$ cannot be larger than the largest $k-$th derivative of $u(0,x)$. We prove an analogous statement for the solution of the heat equation on bounded domains $Ω\subset \mathbb{R}^n$ with Dirichlet boundary conditions. As an application, we give a new and fairly elementary proof of the sharp growth of the second derivatives of Laplacian eigenfunction $-Δϕ_k = λ_k ϕ_k$ with Dirichlet conditions on sm…
We consider the pointwise in space Lp-type regularity for elliptic and parabolic equations of order m in Rn. We provide pointwise Schauder estimates for the general range of Lp exponents, extending previous results from p > n/m to 1 < p < n/m.
We prove a theorem on self-improving regularity for derivatives of solutions of the inequality $F(v'(x))\le KG(v'(x))$ constructed by means of a quasiconvex function $F$ and a null Lagrangian $G$. We apply this theorem to improve the stability and Hölder regularity results of \cite{Egor2008} and to establish a theorem on removability of singularities for solutions of this inequality.
We study the Sobolev regularity of $p$-harmonic functions. We show that $|Du|^{\frac{p-2+s}{2}}Du$ belongs to the Sobolev space $W^{1,2}_{loc}$, $s>-1-\frac{p-1}{n-1}$, for any $p$-harmonic function $u$. The proof is based on an elementary inequality.
We prove Harnack inequality and local regularity results for weak solutions of a quasilinear degenerate equation in divergence form under natural growth conditions. The degeneracy is given by a suitable power of a strong $A_\infty$ weight. Regularity results are achieved under minimal assumptions on the coefficients and, as an application, we prove $C^{1,α}$ local estimates for solutions of a degenerate equation in non divergence form.
In this paper we establish the $C^{1,β}$ regularity of the regular part of the free boundary in the Signorini problem for elliptic operators with variable Lipschitz coefficients. This work is a continuation of the recent paper [GSVG14], where two of us established the interior optimal regularity of the solution. Two of the central results of the present work are a new monotonicity formula and a new epiperimetric inequality.
On doubling metric measure spaces endowed with a strongly local regular Dirichlet form, we show some characterisations of pointwise upper bounds of the heat kernel in terms of global scale-invariant inequalities that correspond respectively to the Nash inequality and to a Gagliardo-Nirenberg type inequality when the volume growth is polynomial. This yields a new proof and a generalisation of the well-known equivalence between classical heat kernel upper bounds and relative Faber-Krahn inequalities or localized Sobolev or Nash inequalities. We are able to treat more general pointwise estimates,…
This paper is concerned with a class of quasilinear elliptic equations involving some potentials related to the Caffarelli-Korn-Nirenberg inequality. We prove the local boundedness and Hölder continuity of weak solutions by using the classical De Giorgi techniques. Our result extends the results of Serrin \cite{Serrin64} and Corolado and Peral \cite{CP04}.
Using a direct approach, we prove a $2$-dimensional epiperimetric inequality for the one-phase problem in the scalar and vectorial cases and for the double-phase problem. From this we deduce, in dimension $2$, the $C^{1,α}$ regularity of the free-boundary in the scalar one-phase and double-phase problems, and of the reduced free-boundary in the vectorial case, without any restriction on the sign of the component functions. Furthermore we show that in the vectorial case the free boundary can end in a cusp.
We study the pointwise regularity of solutions to parabolic equations. As a first result, we prove that if the modulus of mean oscillation of $Δu -u_t$ at the origin is Dini (in $L^p$ average), then the origin is a Lebesgue point of continuity (still in $L^p$ average) for $D^2 u$ and $\dd_t u$. We extend this pointwise regularity result to the parabolic obstacle problem with Dini right hand side. In particular, we prove that the solution to the obstacle problem has, at regular points of the free boundary, a Taylor expansion up to order two in space and one in time (in the $L^p$ average). Moreo…
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 consequences. The linear parabolic Harnack inequality of Moser is discussed extensively, together with its link to two-sided kernel estimates and to the Li-Yau differential Harnack inequality. Then we overview the more recent developements of the theory for nonlinear degenerate/singular equations, highlighting the differences with the quadratic case and introduci…
In this paper, we obtain a series of regularity results for viscosity solutions of fully nonlinear elliptic equations with oblique derivative boundary conditions. In particular, we derive the pointwise $C^α$, $C^{1,α}$ and $C^{2,α}$ regularity. As byproducts, we also prove the A-B-P maximum principle, Harnack inequality, uniqueness and solvability of the equations.
We derive a boundary monotonicity formula for a class of biharmonic maps with Dirichlet boundary conditions. A monotonicity formula is crucial in the theory of partial regularity in super-critical dimensions. As a consequence of such a boundary monotonicity formula, one is able to show partial regularity for variationally biharmonic maps and full boundary regularity for minimizing biharmonic maps.
Pointwise arbitrarily high-order interior estimates for mixed local and nonlocal elliptic equations
School of Mathematics and Statistics, Xinyang Normal University（信阳师范大学数学与统计学院）；School of Mathematics, South China University of Technology（华南理工大学数学学院）；School of Mathematical Sciences, Fudan University（复旦大学数学科学学院）
In my previous paper I have contrived a Ginzburg-Landau heat flow with a time-dependent parameter and by using it, I constructed a harmonic heat flow into spheres with a monotonical inequality and a reverse Poincaré inequality. This paper establishes these two energy inequalities near the boundary and then by making the best of them, we discuss a partial boundary regularity. In addition to it, we demonstrate a whole domain's regularity under "the one-sided condition." This has been proposed by S.Hildebrandt and K.-O.Widman.
For all functions on an arbitrary open set $Ω\subset\R^3$ with zero boundary values, we prove the optimal bound \[ \sup_Ω|u| \leq (2π)^{-1/2} \left(\int_Ω|\nabla u|^2 \,dx\, \int_Ω|Δu|^2 \,dx\right)^{1/4}. \] The method of proof is elementary and admits generalizations. The inequality is applied to establish an existence theorem for the Burgers equation.
We study the doubly nonlinear PDE $$ |\partial_t u|^{p-2}\,\partial_t u-\textrm{div}(|\nabla u|^{p-2}\nabla u)=0. $$ This equation arises in the study of extremals of Poincaré inequalities in Sobolev spaces. We prove spatial Lipschitz continuity and Hölder continuity in time of order $(p-1)/p$ for viscosity solutions. As an application of our estimates, we obtain pointwise control of the large time behavior of solutions.
In this paper we address the question of the pointwise almost everywhere limit of nonlinear Schrödinger flows to the initial data, in both the continuous and the periodic settings. Then we show how, in some cases, certain smoothing effects for the non-homogeneous part of the solution can be used to upgrade to a uniform convergence to zero of this part, and we discuss the sharpness of the results obtained. We also use randomization techniques to prove that with much less regularity of the initial data, both in continuous and the periodic settings, almost surely one obtains uniform convergence o…
In this paper, we consider the pointwise boundary Lipschitz regularity of solutions for the semilinear elliptic equations in divergence form mainly under some weaker assumptions on nonhomogeneous term and the boundary. If the domain satisfies C^{1,\text{Dini}} condition at a boundary point, and the nonhomogeneous term satisfies Dini continuous condition and Lipschitz Newtonian potential condition, then the solution is Lipschitz continuous at this point. Furthermore, we generalize this result to Reifenberg C^{1,\text{Dini}} domains.
This article concerns with the global Hölder regularity of weak solutions to a class of problems involving the fractional $(p,q)$-Laplacian, denoted by $(-Δ)^{s_1}_{p}+(-Δ)^{s_2}_{q}$, for $1<p,q<\infty$ and $s_1,s_2\in (0,1)$. We use a suitable Caccioppoli inequality and local boundedness result in order to prove the weak Harnack type inequality. Consequently, by employing a suitable iteration process, we establish the interior Hölder regularity for local weak solutions, which need not be assumed bounded. The global Hölder regularity result we prove expands and improves the regularity results…
We study local regularity properties for solutions of linear, non-uniformly elliptic equations. Assuming certain integrability conditions on the coefficient field, we prove local boundedness and Harnack inequality. The assumed integrability assumptions are essentially sharp and improve upon classical results by Trudinger [ARMA 1971]. We then apply the deterministic regularity results to the corrector equation in stochastic homogenization and establish sublinearity of the corrector.
