We consider various types of Hardy-Sobolev inequalities on a Carnot-Carathéodory space $(\Om, d)$ associated to a system of smooth vector fields $X=\{X_1, X_2,...,X_m\}$ on $\RR^n$ satisfying the Hörmander's finite rank condition $rank Lie[X_1,...,X_m] \equiv n$. One of our main concerns is the trace inequality
\int_{\Om}|ϕ(x)|^{p}V(x)dx\leq C\int_{\Om}|Xϕ|^{p}dx,\qquad ϕ\in C^{\infty}_{0}(\Om),
where $V$ is a general weight, i.e., a nonnegative locally integrable function on $\Om$, and $1<p<+\infty$. Under sharp geometric assumptions on the domain $\Om\subset \Rn$ that can be measured equivalently in terms of subelliptic capacities or Hausdorff contents, we establish various forms of Hardy-Sobolev type inequalities.
We prove some regularity estimates for a class of convex functions in Carnot-Carathéodory spaces, generated by Hörmander vector fields. Our approach relies on both the structure of metric balls induced by Hörmander vector fields and local upper estimates for the corresponding subharmonic functions.
The purpose of this paper is to establish some basic interior estimates of Cauchy-Schauder type for the heat flow associated with a system of smooth vector fields satisfying Hormander's finite rank condition
The notion of horizontal energy minimizers between C-C spaces is introduced. We prove existence of such energy minimizers when the domain is a $C^{2}$, noncharacteristic bounded open set in a C-C space and the target is a C-C space of Carnot type.
Given a $C^2$ family of vector fields $X_1,...,X_m$ which induces a continuous Carnot-Carathéodory distance, we show that any absolute minimizer of a supremal functional defined by a $C^2$ quasiconvex Hamiltonian $f(x, z, p)$, allowing $z$-variable dependence, is a viscosity solution to the Aronsson equation $-\langle X(f(x, u(x), Xu(x))), D_p f(x, u(x), Xu(x))\rangle = 0.$
In this paper we study the asymptotic behavior of solutions to the subelliptic $p$-Poisson equation as $p\to +\infty$ in Carnot Carathéodory spaces. In particular, introducing a suitable notion of differentiability, we extend the celebrated result of Bhattacharya, DiBenedetto and Manfredi [Rend. Sem. Mat. Univ. Politec. Torino, 1989, Special Issue, 15-68] and we prove that limits of such solutions solve in the sense of viscosity a hybrid first and second order PDE involving the $\infty-$Laplacian and the Eikonal equation.
This article is devoted to the study of the behavior of generalized entire solutions for a wide class of quasilinear degenerate inequalities modeled on the following prototype with p-Laplacian in the main part \begin{equation*} {\underset{m}{\overset{i=1}{\sum}}} X_i^*(|\mathbf{X}u|^{p-2} X_i u)\geq |u|^{q-2}u, \ \ x\in {\mathbb{R}}^{n},\ q>1,\ p>1, \end{equation*} where ${\mathbb{R}}^{n}$ is a Carnot-Carathéodory metric space, generated by the system of vector fields $\mathbf{X}=(X_1,X_2,..,X_m)$ and $X_i^*$ denotes the adjoint of $X_i$ with respect to Lebesgue measure. For the case where $p$…
Given a Carnot-Carathéodory space $\Om \sub \R^n$ with associated vector fields $X=\{X_1,...,X_m\}$, we derive the subelliptic $\infty$-Laplace system for mappings $u : \Om \larrow \R^N$, which reads \[ \label{1} \De^X_\infty u \, :=\, \Big(Xu \ot Xu + \|Xu\|^2 [Xu]^\bot \ot I \Big) : XX u\, = \, 0 \tag{1} \] in the limit of the subelliptic $p$-Laplacian as $p\ri \infty$. Here $Xu$ is the horizontal gradient and $[Xu]^\bot$ is the projection on its nullspace. Next, we identify the Variational Principle characterizing \eqref{1}, which is the "Euler-Lagrange PDE" of the supremal functional \[ \l…
We study strongly harmonic functions in Carnot-Carathéodory groups defined via the mean value property with respect to the Lebesgue measure. For such functions we show their Sobolev regularity and smoothness. Moreover, we prove that strongly harmonic functions satisfy the sub-Laplace equation for the appropriate gauge norm and that the inclusion is sharp. We observe that spherical harmonic polynomials in $\mathbb{H}_1$ are both strongly harmonic and satisfy the sub-Laplace equation. Our presentation is illustrated by examples.
We extend Bony's propagation of support argument \cite{Bony} to $C^1$ solutions of the non-homogeneous sub-elliptic $p-$Laplacian associated to a system of smooth vector fields satisfying Hörmander's finite rank condition. As a consequence we prove a strong maximum principle and strong comparison principle that generalize results of Tolksdorf \cite{Tolksdorf}.
In this paper we prove an invariant Harnack inequality on Carnot-Carathéodory balls for fractional powers of sub-Laplacians in Carnot groups. The proof relies on an "abstract" formulation of a technique recently introduced by Caffarelli and Silvestre. In addition, we write explicitly the Poisson kernel for a class of degenerate subelliptic equations in product-type Carnot groups.
In this paper we study various Hardy inequalities in the Heisenberg group $\mathbb H^n$, w.r.t. the Carnot-Carathéodory distance $δ$ from the origin. We firstly show that the optimal constant for the Hardy inequality is strictly smaller than $n^2 = (Q-2)^2/4$, where $Q$ is the homogenous dimension. Then, we prove that, independently of $n$, the Heisenberg group does not support a radial Hardy inequality, i.e., a Hardy inequality where the gradient term is replaced by its projection along $\nabla_{\mathbb H}δ$. This is in stark contrast with the Euclidean case, where the radial Hardy inequality…
Given a Carnot-Carathéodory metric space $(R^n, d_{\hbox{cc}})$ generated by vector fields $\{X_i\}_{i=1}^m$ satisfying Hörmander's condition, we prove in theorem A that any absolute minimizer $u\in W^{1,\infty}_{\hbox{cc}}(\Om)$ to $F(v,\Om)=\sup_{x\in\Om}f(x,Xv(x))$ is a viscosity solution to the Aronsson equation (1.6), under suitable conditions on $f$. In particular, any AMLE is a viscosity solution to the subelliptic $\infty$-Laplacian equation (1.7). If the Carnot-Carathédory space is a Carnot group ${\bf G}$ and $f$ is independent of $x$-variable, we establish in theorem C the uniquness…
Let X_1,...,X_q be the basis of the space of horizontal vector fields on a homogeneous Carnot group in R^n (q<n). We consider a degenerate elliptic system of N equations, in divergence form, structured on these vector fields, where the coefficients a_{ab}^{ij} (i,j=1,2,...,q, a,b=1,2,...,N) are real valued bounded measurable functions defined in a bounded domain A of R^n, satisfying the strong Legendre condition and belonging to the space VMO_{loc}(A) (defined by the Carnot-Caratheodory distance induced by the X_i's). We prove interior HW^{1,p} estimates (2<p<\infty) for weak solutions to the …
We prove a Hardy-type inequality for the gradient of the Heisenberg Laplacian on open bounded convex polytopes on the first Heisenberg Group. The integral weight of the Hardy inequality is given by the distance function to the boundary measured with respect to the Carnot-Carathéodory metric. The constant depends on the number of hyperplanes, given by the boundary of the convex polytope, which are not orthogonal to the hyperplane $x_3=0$.
In this paper we will establish different weighted Poincaré inequalities with variable exponents on Carnot-Carathéodory spaces or Carnot groups. We will use different techniques to obtain these inequalities. For vector fields satisfying Hörmander's condition in variable non-isotropic Sobolev spaces, we consider a weight in the variable Muckenhoupt class $% A_{p(\cdot ),p^{\ast }(\cdot )}$, where the exponent $p(\cdot )$ satisfies appropriate hypotheses, and in this case we obtain the first order weighted Poincaré inequalities with variable exponents. In the case of Carnot groups we also set up…
We study inequalities related to the heat kernel for the hypoelliptic sublaplacian on an H-type Lie group. Specifically, we obtain precise pointwise upper and lower bounds on the heat kernel function itself. We then apply these bounds to derive an estimate on the gradient of solutions of the heat equation, which is known to have various significant consequences including logarithmic Sobolev inequalities. We also present a computation of the heat kernel, and a discussion of the geometry of H-type groups including their geodesics and Carnot-Carathéodory distance functions.
In the setting of a Lie group of polynomial volume growth, we derive inequalities of Caffarelli-Kohn-Nirenberg type, where the weights involved are powers of the Carnot-Caratheodory distance associated with a fixed system of vector fields which satisfy the Hörmander condition. The use of weak $L^p$ spaces is crucial in our proofs and we formulate these inequalities within the framework of $L^{p,q}$ Lorentz spaces (a scale of (quasi)-Banach spaces which extend the more classical $L^p$ Lebesgue spaces) thereby obtaining a refinement of, for instance, Sobolev and Hardy-Sobolev inequalities.
In $\mathbb{R}^3$ we consider the vector fields \[ X_1 =\frac{ \partial }{\partial x},\qquad X_2 =\frac{ \partial }{\partial y}+ |x|^α\frac{ \partial }{\partial z}, \] where $α\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+ =\{(x,y,z)\in\mathbb{R}^3: z\geq 0\}$ be the (closed) upper half-space and let $f\in C^1 ( \mathbb{R} ^3_+ )$ be a function such that $X_1f, X_2f \in L^ p(\mathbb{R}^3_+)$ for some $p>1$. In this paper, we prove that the restriction of $f$ to the plane $z=0$ belongs to a suitable Besov space that is defined using the Carnot-Carathéodory metric associated with $X_1$ and $X_2…
