SearcharxivSearch

arXiv subjects

Ermanno Lanconelli

Publications and source records attributed to Ermanno Lanconelli.

10 recordsLinked to original sources

A spherical flatness index and a stability inequality for harmonic pseudospheres

We introduce a new flatness index for the boundary of an open subset $Ω$ of $\mathbb{R}^n$, $n\ge 2$. This index provides a necessary condition for $\partialΩ$ to be a harmonic pseudosphere and sufficient conditions for a harmonic pseudosphere to be a Euclidean sphere. These conditions will follow from a stability inequality formulated in terms of a harmonic invariant, the Kuran gap, recently introduced by the last two authors.

math.AP

One-side Liouville Theorem for hypoelliptic Ornstein--Uhlenbeck operators having drifts with imaginary spectrum

We prove the Liouville theorem for \emph{non-negative} solutions to (possibly degenerate) Ornstein-Uhlenbeck equations whose linear drift has imaginary spectrum. This provides an answer to a question raised by Priola and Zabczyk since the proof of their Theorem characterizing the Ornstein-Uhlenbeck operators having the Liouville property for \emph{bounded} solutions. Our approach is based on a Liouville property at ``$t=-\infty$" for the solutions to the relevant Kolmogorov equation which, in turn, derives from a new parabolic Harnack-type inequality for its non-negative ancient solutions.

math.AP

On the harmonic characterization of the spheres: a sharp stability inequality and some of its consequences

Let $ D$ be a bounded open subset of $\mathbb R^n$ with $|\partial D| < \infty$ and let $x_0 $ be a point of $D$. We introduce a new parameter, that we call Kuran gap of $\partial D$ w.r.t. $x_0$. Roughly speaking, this parameter, denoted by $\mathcal{K}(\partial D, x_0)$, measures the gap between $u(x_0)$ and the average of $u$ on $\partial D$ for a particular family of functions $u$ harmonic in $\overline{D}$, in terms of the Poisson kernel of the biggest ball $B$ centered at $x_0$ and contained in $D$. To do that, we need the domain $D$ Lyapunov-Dini regular in at least one of the points of $\partial D$ nearest to $x_0$. Our main stability result can be described as follows: $\mathcal{K}(\partial D, x_0)$ is bounded from below by a kind of isoperimetric index, precisely the normalized difference beetween $|\partial D|$ and $|\partial B|$. This extends a stability result by Preiss and Toro, and a more recent theorem by Agostiniani and Magnanini. Moreover, from our stability inequality we obtain a new sufficient condition for a harmonic pseudosphere to be a Euclidean sphere, a result which partially improves a rigidity theorem by Lewis and Vogel. Finally, we give a new solution of the surface version of a solid ``potato'' problem by Aharonov, Schiffer and Zalcman.

math.AP

On the Perron solution of the caloric Dirichlet problem: an elementary approach

By an easy trick taken from caloric polynomial theory we construct a family $\mathscr{B}$ of $almost\ regular$ domains for the caloric Dirichlet problem. $\mathscr{B}$ is a basis of the Euclidean topology. This allows to build, with a basically elementary procedure, the Perron solution to the caloric Dirichlet problem on every bounded domain.

math.AP

Harnack inequality and Liouville-type theorems for Ornstein-Uhlenbeck and Kolmogorov operators

We prove, with a purely analytic technique, a one-side Liouville theorem for a class of Ornstein--Uhlenbeck operators ${\mathcal L_0}$ in $\mathbb{R}^N$, as a consequence of a Liouville theorem at "$t=- \infty$" for the corresponding Kolmogorov operators ${\mathcal L_0} - \partial_t$ in $\mathbb{R}^{N+1}$. In turn, this last result is proved as a corollary of a global Harnack inequality for non-negative solutions to $({\mathcal L_0} - \partial_t) u = 0$ which seems to have an independent interest in its own right. We stress that our Liouville theorem for ${\mathcal L_0}$ cannot be obtained by a probabilistic approach based on recurrence if $N>2$. We provide a self-contained proof of a Liouville theorem involving recurrent Ornstein--Uhlenbeck stochastic processes in the Appendix.

math.AP

Large sets at infinity and Maximum Principle on unbounded domains for a class of sub-elliptic operators

Maximum Principles on unbounded domains play a crucial rôle in several problems related to linear second-order PDEs of elliptic and parabolic type. In this paper we consider a class of sub-elliptic operators $\mathcal{L}$ in $\mathbb{R}^N$ and we establish some criteria for an unbounded open set to be a Maximum Principle set for $\mathcal{L}$. We extend some classical results related to the Laplacian (by Deny, Hayman and Kennedy) and to the sub-Laplacians on stratified Lie groups (by Bonfiglioli and the second-named author).

math.AP

Wiener-type tests from a two-sided Gaussian bound

In this paper we are concerned with hypoelliptic diffusion operators $\mathcal{H}$. Our main aim is to show, with an axiomatic approach, that a Wiener-type test of $\mathcal{H}$-regularity of boundary points can be derived starting from the following basic assumptions: Gaussian bounds of the fundamental solution of $\mathcal{H}$ with respect to a distance satisfying doubling condition and segment property. As a main step towards this result, we establish some estimates at the boundary of the continuity modulus for the generalized Perron-Wiener solution to the relevant Dirichlet problem. The estimates involve Wiener-type series, with the capacities modeled on the Gaussian bounds. We finally prove boundary Hölder estimates of the solution under a suitable exterior cone-condition.

math.AP

Global $L^{p}$ estimates for degenerate Ornstein-Uhlenbeck operators with variable coefficients

We consider a class of degenerate Ornstein-Uhlenbeck operators in $\mathbb{R}^{N}$, of the kind [\mathcal{A}\equiv\sum_{i,j=1}^{p_{0}}a_{ij}(x) \partial_{x_{i}x_{j}}^{2}+\sum_{i,j=1}^{N}b_{ij}x_{i}\partial_{x_{j}}%] where $(a_{ij})$ is symmetric uniformly positive definite on $\mathbb{R}^{p_{0}}$ ($p_{0}\leq N$), with uniformly continuous and bounded entries, and $(b_{ij})$ is a constant matrix such that the frozen operator $\mathcal{A}_{x_{0}}$ corresponding to $a_{ij}(x_{0})$ is hypoelliptic. For this class of operators we prove global $L^{p}$ estimates ($1<p<\infty$) of the kind:% [|\partial_{x_{i}x_{j}}^{2}u|_{L^{p}(\mathbb{R}% ^{N})}\leq c{|\mathcal{A}u|_{L^{p}(\mathbb{R}^{N})}+|u|_{L^{p}(\mathbb{R}% ^{N})}} for i,j=1,2,...,p_{0}.] We obtain the previous estimates as a byproduct of the following one, which is of interest in its own:% [|\partial_{x_{i}x_{j}}^{2}u|_{L^{p}(S_{T})}\leq c{|Lu|_{L^{p}(S_{T})}+|u|_{L^{p}(S_{T})}}] for any $u\in C_{0}^{\infty}(S_{T}),$ where $S_{T}$ is the strip $\mathbb{R}^{N}\times[-T,T]$, $T$ small, and $L$ is the Kolmogorov-Fokker-Planck operator% [L\equiv\sum_{i,j=1}^{p_{0}}a_{ij}(x,t) \partial_{x_{i}x_{j}}% ^{2}+\sum_{i,j=1}^{N}b_{ij}x_{i}\partial_{x_{j}}-\partial_{t}%] with uniformly continuous and bounded $a_{ij}$'s.

math.AP