In this paper, we establish the sharp asymptotic decay of positive solutions of the Yamabe type equation $\mathcal {L}_s u=u^{\frac {Q+2s}{Q-2s}}$ in a homogeneous Lie group, where $\mathcal {L}_s$ represents a suitable pseudodifferential operator modelled on a class of nonlocal operators arising in conformal CR geometry.

We present necessary and sufficient conditions for an operator of the type sum of squares to be globally hypoelliptic on $T \times G$, where T is a compact Riemannian manifold and G is a compact Lie group. These conditions involve the global hypoellipticity of a system of vector fields on G and are weaker than Hörmander’s condition, while generalizing the well known Diophantine conditions on the torus. Examples of operators satisfying these conditions in the general setting are provided.

In this note, we prove two monotonicity formulas for solutions of $\Delta _H f = c$ and $\Delta _H f - \partial _t f = c$ in Carnot groups. Such formulas involve the right-invariant carré du champ of a function and they are false for the left-invariant one. The main results, theorems 1.1 and 1.2, display a resemblance with two deep monotonicity formulas respectively due to Alt–Caffarelli–Friedman for the standard Laplacian, and to Caffarelli for the heat equation. In connection with this aspect we ask the question whether an ‘almost monotonicity’ formula be possible. In the last section, we discuss the failure of the nondecreasing monotonicity of an Almgren type functional.

In this paper we study various aspects of porosities for conformal fractals. We first explore porosity in the general context of infinite graph directed Markov systems (GDMS), and we show that their limit sets are porous in large (in the sense of category and dimension) subsets. We also provide natural geometric and dynamic conditions under which the limit set of a GDMS is upper porous or mean porous. On the other hand, we prove that if the limit set of a GDMS is not porous, then it is not porous almost everywhere. We also revisit porosity for finite graph directed Markov systems, and we provide checkable criteria which guarantee that limit sets have holes of relative size at every scale in a prescribed direction.

We then narrow our focus to systems associated to complex continued fractions with arbitrary alphabet and we provide a novel characterisation of porosity for their limit sets. Moreover, we introduce the notions of upper density and upper box dimension for subsets of Gaussian integers and we explore their connections to porosity. As applications we show that limit sets of complex continued fractions system whose alphabet is co-finite, or even a co-finite subset of the Gaussian primes, are not porous almost everywhere, while they are uniformly upper porous and mean porous almost everywhere.

We finally turn our attention to complex dynamics and we delve into porosity for Julia sets of meromorphic functions. We show that if the Julia set of a tame meromorphic function is not the whole complex plane then it is porous at a dense set of its points and it is almost everywhere mean porous with respect to natural ergodic measures. On the other hand, if the Julia set is not porous then it is not porous almost everywhere. In particular, if the function is elliptic we show that its Julia set is not porous at a dense set of its points.

In this article, we prove the continuity of the horizontal gradient near a C1,Dini non-characteristic portion of the boundary for solutions to $\Gamma ^{0,{\rm Dini}}$ perturbations of horizontal Laplaceans as in (1.1) below, where the scalar term is in scaling critical Lorentz space L(Q, 1) with Q being the homogeneous dimension of the group. This result can be thought of both as a sharpening of the $\Gamma ^{1,\alpha }$ boundary regularity result in [4] as well as a subelliptic analogue of the main result in [1] restricted to linear equations.

In this paper, we prove contact Poincaré and Sobolev inequalities in Heisenberg groups $\mathbb{H}^{n}$, where the word ‘contact’ is meant to stress that de Rham’s exterior differential is replaced by the exterior differential of the so-called Rumin complex $(E_{0}^{\bullet },d_{c})$, which recovers the scale invariance under the group dilations associated with the stratification of the Lie algebra of $\mathbb{H}^{n}$. In addition, we construct smoothing operators for differential forms on sub-Riemannian contact manifolds with bounded geometry, which act trivially on cohomology. For instance, this allows us to replace a closed form, up to adding a controlled exact form, with a much more regular differential form.

We prove that the fractional Yamabe equation ${\rm {\cal L}}_\gamma u = \vert u \vert ^{((4\gamma )/(Q-2\gamma ))}u$ on the Heisenberg group ℍn has [n + 1/2] sequences of nodal (sign-changing) weak solutions whose elements have mutually different nodal properties, where ${\rm {\cal L}}_\gamma $ denotes the CR fractional sub-Laplacian operator on ℍn, Q = 2n + 2 is the homogeneous dimension of ℍn, and $\gamma \in \bigcup\nolimits_{k = 1}^n [k,((kQ)/Q-1)))$. Our argument is variational, based on a Ding-type conformal pulling-back transformation of the original problem into a problem on the CR sphere S2n + 1 combined with a suitable Hebey-Vaugon-type compactness result and group-theoretical constructions for special subgroups of the unitary group U(n + 1).

Left-invariant PDE-evolutions on the roto-translation group SE(2)(and their resolvent equations) have been widely studied in the fields of cortical modeling and image analysis. They include hypo-elliptic diffusion (for contour enhancement) proposed by Citti & Sarti, and Petitot, and they include the direction process (for contour completion) proposed by Mumford. This paper presents a thorough study and comparison of the many numerical approaches, which, remarkably, are missing in the literature. Existing numerical approaches can be classified into 3 categories: Finite difference methods, Fourier based methods (equivalent to SE(2)-Fourier methods), and stochastic methods (Monte Carlo simulations). There are also 3 types of exact solutions to the PDE-evolutions that were derived explicitly (in the spatial Fourier domain) in previous works by Duits and van Almsick in 2005. Here we provide an overview of these 3 types of exact solutions and explain how they relate to each of the 3 numerical approaches. We compute relative errors of all numerical approaches to the exact solutions, and the Fourier based methods show us the best performance with smallest relative errors. We also provide an improvement of Mathematica algorithms for evaluating Mathieu-functions, crucial in implementations of the exact solutions. Furthermore, we include an asymptotical analysis of the singularities within the kernels and we propose a probabilistic extension of underlying stochastic processes that overcomes the singular behavior in the origin of time-integrated kernels. Finally, we show retinal imaging applications of combining left-invariant PDE-evolutions with invertible orientation scores.

In this paper, we introduce two quantities defined on a surface in a contact manifold. The first one is called degree of transversality $(\text{DOT})$, which measures the transversality between the tangent spaces of a surface and the contact planes. The second quantity, called curvature of transversality $(\text{COT})$, is designed to give a comparison principle for $\text{DOT}$ along characteristic curves under bounds on $\text{COT}$. In particular, this gives estimates on lengths of characteristic curves, assuming $\text{COT}$ is bounded below by a positive constant.

We show that surfaces with constant $\text{COT}$ exist, and we classify all graphs in the Heisenberg group with vanishing $\text{COT}$. This is accomplished by showing that the equation for graphs with zero $\text{COT}$ can be decomposed into two first order PDEs, one of which is the backward invisicid Burgers’ equation. Finally we show that the p-minimal graph equation in the Heisenberg group also has such a decomposition. Moreover, we can use this decomposition to write down an explicit formula of a solution near a regular point.

We prove that the fundamental solutions of Kohn sub-Laplacians$\Delta +i\alpha {{\partial }_{t}}$ on the anisotropic Heisenberg groups are tempered distributions and have meromorphic continuation in α with simple poles. We compute the residues and find the partial fundamental solutions at the poles. We also find formulas for the fundamental solutions for some matrix-valued Kohn type sub-Laplacians on $\text{H}$-type groups.