Showing 1–6 of 6 results for author: Pozuelo, J

Existence and uniqueness of $t$-graphs of prescribed mean curvature in Heisenberg groups

Authors: Julián Pozuelo, Simone Verzellesi

Abstract: We study the prescribed mean curvature equation for $t$-graphs in a Riemannian Heisenberg group of arbitrary dimension. We characterize the existence of classical solutions in a bounded domain without imposing Dirichlet boundary data, and we provide conditions that guarantee uniqueness. Moreover, we extend previous results to solve the Dirichlet problem when the mean curvature is non-constant. Fin… ▽ More We study the prescribed mean curvature equation for $t$-graphs in a Riemannian Heisenberg group of arbitrary dimension. We characterize the existence of classical solutions in a bounded domain without imposing Dirichlet boundary data, and we provide conditions that guarantee uniqueness. Moreover, we extend previous results to solve the Dirichlet problem when the mean curvature is non-constant. Finally, by an approximation technique, we obtain solutions to the sub-Riemannian prescribed mean curvature equation. △ Less

Submitted 10 May, 2024; originally announced May 2024.

MSC Class: 53C17; 49Q10; 53A10

The prescribed mean curvature equation for $t$-graphs in the sub-Finsler Heisenberg group $\mathbb{H}^n$

Authors: Gianmarco Giovannardi, Andrea Pinamonti, Julián Pozuelo, Simone Verzellesi

Abstract: We study the sub-Finsler prescribed mean curvature equation, associated to a strictly convex body $K_0 \subseteq \mathbb{R}^{2n}$, for $t$-graphs on a bounded domain $Ω$ in the Heisenberg group $\mathbb{H}^n$. When the prescribed datum $H$ is constant and strictly smaller that the Finsler mean curvature of $\partial Ω$, we prove the existence of a Lipschitz solution to the Dirichlet problem for th… ▽ More We study the sub-Finsler prescribed mean curvature equation, associated to a strictly convex body $K_0 \subseteq \mathbb{R}^{2n}$, for $t$-graphs on a bounded domain $Ω$ in the Heisenberg group $\mathbb{H}^n$. When the prescribed datum $H$ is constant and strictly smaller that the Finsler mean curvature of $\partial Ω$, we prove the existence of a Lipschitz solution to the Dirichlet problem for the sub-Finsler CMC equation by means of a Finsler approximation scheme. △ Less

Submitted 3 June, 2024; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: We realized that our approximating Finsler equation had a degeneracy problem close to the singular set.Then, we regularized it perturbing it with a Euclidean curvature term, depending on a new parameter $η>0$, that anyway tends to disappear when $η\to 0$. In order to provide estimates for $\sup|u|$, we need to assume condition (1.4) in order to exploit Proposition 4.6

MSC Class: 53C17; 49Q10; 53A10

Area-minimizing horizontal graphs with low-regularity in the sub-Finsler Heisenberg group $\mathbb{H}^1$

Authors: Gianmarco Giovannardi, Julián Pozuelo, Manuel Ritoré

Abstract: In the Heisenberg group $\mathbb{H}^1$, equipped with a left-invariant and not necessarily symmetric norm in the horizontal distribution, we provide examples of entire area-minimizing horizontal graphs which are locally Lipschitz in Euclidean sense. A large number of them fail to have further regularity properties. The examples are obtained by prescribing as singular set a horizontal line or a fin… ▽ More In the Heisenberg group $\mathbb{H}^1$, equipped with a left-invariant and not necessarily symmetric norm in the horizontal distribution, we provide examples of entire area-minimizing horizontal graphs which are locally Lipschitz in Euclidean sense. A large number of them fail to have further regularity properties. The examples are obtained by prescribing as singular set a horizontal line or a finite union of horizontal half-lines extending from a given point. We also provide examples of families of area-minimizing cones. △ Less

Submitted 2 May, 2023; v1 submitted 7 April, 2022; originally announced April 2022.

MSC Class: 53C17; 49Q10

Existence of isoperimetric regions in sub-Finsler nilpotent groups

Authors: Julián Pozuelo

Abstract: We consider a nilpotent Lie group with a bracket-generating distribution $\hhh$ and an asymmetric left-invariant norm $\|\cdot\|_K$ induced by a convex body $K\subseteq\hhh$ containing $0$ in its interior. In this paper we prove the existence of minimizers of the perimeter functional $P_K$ associated to $\|\cdot\|_K$ under a volume (Haar measure) constraint. Our result generalizes the one of Leona… ▽ More We consider a nilpotent Lie group with a bracket-generating distribution $\hhh$ and an asymmetric left-invariant norm $\|\cdot\|_K$ induced by a convex body $K\subseteq\hhh$ containing $0$ in its interior. In this paper we prove the existence of minimizers of the perimeter functional $P_K$ associated to $\|\cdot\|_K$ under a volume (Haar measure) constraint. Our result generalizes the one of Leonardi and Rigot for Carnot groups. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Comments: 17 pages, 1 figure

MSC Class: Primary 53C17; 49Q20; Secondary 22E25

Pansu-Wulff shapes in $\mathbb{H}^1$

Authors: Julián Pozuelo, Manuel Ritoré

Abstract: We consider an asymmetric left-invariant norm $||\cdot ||_K$ in the first Heisenberg group $\mathbb{H}^1$ induced by a convex body $K\subset\mathbb{R}^2$ containing the origin in its interior. Associated to $\|\cdot\|_K$ there is a perimeter functional, that coincides with the classical sub-Riemannian perimeter in case $K$ is the closed unit disk centered at the origin of $\mathbb{R}^2$. Under the… ▽ More We consider an asymmetric left-invariant norm $||\cdot ||_K$ in the first Heisenberg group $\mathbb{H}^1$ induced by a convex body $K\subset\mathbb{R}^2$ containing the origin in its interior. Associated to $\|\cdot\|_K$ there is a perimeter functional, that coincides with the classical sub-Riemannian perimeter in case $K$ is the closed unit disk centered at the origin of $\mathbb{R}^2$. Under the assumption that $K$ has $C^2$ boundary with strictly positive geodesic curvature we compute the first variation formula of perimeter for sets with $C^2$ boundary. The localization of the variational formula in the non-singular part of the boundary, composed of the points where the tangent plane is not horizontal, allows us to define a mean curvature function $H_K$ out of the singular set. In the case of non-vanishing mean curvature, the condition that $H_K$ be constant implies that the non-singular portion of the boundary is foliated by horizontal liftings of translations of $\partial K$ dilated by a factor of $1/H_K$. Based on this we can defined a sphere $\mathbb{S}_K$ with constant mean curvature $1$ by considering the union of all horizontal liftings of $\partial K$ starting from $(0,0,0)$ until they meet again in a point of the vertical axis. We give some geometric properties of this sphere and, moreover, we prove that, up to non-homogeneous dilations and left-translations, they are the only solutions of the sub-Finsler isoperimetric problem in a restricted class of sets. △ Less

Submitted 12 April, 2021; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 35 pages, 10 figures. Final version accepted in Adv. Calc. Var

MSC Class: 53C17; 49Q20

A direct proof of the Brunn-Minkowski inequality in Nilpotent Lie groups

Authors: Julián Pozuelo

Abstract: The purpose of this work is to give a direct proof of the multiplicative Brunn-Minkowski inequality in nilpotent Lie groups based on Hadwiger-Ohmann's one of the classical Brunn-Minkowski inequality in Euclidean space. The purpose of this work is to give a direct proof of the multiplicative Brunn-Minkowski inequality in nilpotent Lie groups based on Hadwiger-Ohmann's one of the classical Brunn-Minkowski inequality in Euclidean space. △ Less

Submitted 29 April, 2019; originally announced April 2019.

Comments: 13 pages, no figures

MSC Class: Primary 22E25; 22E30; Secondary 26B15