Isoperimetric inequality in the Grushin plane
type: Item
instance of: scholarly article
title: Isoperimetric inequality in the Grushin plane
zbMATH Open document ID: 1076.53035
DOI: 10.1007/BF02922077
author: Roberto Monti
author: Daniele Morbidelli
published in: The Journal of Geometric Analysis
publication date: 2005-03-18T00:00:00Z
review text: The so-called Grushin plane is a plane \(\mathbb R^2\) with ``Riemannian'' metric \(ds^2= dx^2+ |x|^{-2\alpha}dy^2\) for a constant \(\alpha\geq 0\), which is one of the simplest examples of sub-Riemannian geometry. In the more general case of Carnot-Carathéodory spaces, isoperimetric inequalities are discussed by Gromov and the others. But in all previous results there are no sharp constants obtained. In this paper the authors prove a sharp isometric inequality in the Grushin plane, precisely they give the following Theorem 1: Let \(\alpha\geq 0\). For any measurable set \(E\subset \mathbb R^2\) with finite measure \(|E|\), define its \(\alpha\)-perimeter as \[ P\alpha(E)= \sup\biggl\{\int_E(\partial_x\varphi_1+ |x|^{\alpha}\partial_y\varphi_2)\,dx\,dy: \varphi_1,\varphi_2\in C^1_0 (\mathbb R^2),\;\sup_{\mathbb R^2}(\varphi_1^2+ \varphi_2^2)^{1/2}\leq 1\biggr\}. \] Then we have \[ |E|\leq\frac{\alpha+ 1} {\alpha+2}\Biggl(2\int_0^{\pi}\sin^\alpha t\,dt\Biggr)^{-\frac{1} {\alpha+1}}P_{\alpha}(E)^{\frac{\alpha+2}{\alpha+1}}. \] Equality holds for the isoperimetric set \[ E_{\alpha}= \Biggr\{(x,y)\in \mathbb R^2: |y| < \int_{\arcsin|x|}^{\pi/2}\sin^{\alpha+ 1}t\,dt,|x|< 1\Biggr\}. \] If \(\alpha> 0\), isoperimetric sets are unique up to vertical translations and dilations of the form \((x,y)\to \delta_{\lambda}(x, y)= (\lambda x, \lambda^{\alpha+ 1}y)\), \(\lambda> 0\). From Theorem 1 we can get a Gagliardo-Nirenberg inequality for the Grushin sub-elliptic gradient, i.e. \[ \biggl(\int_{\mathbb R^2}|f|^{\frac{d}{d- 1}}dx\,dy\biggr)^{\frac{d- 1}{d}} \leq c(\alpha)^{\frac{d-1}{d}} \int_{\mathbb R^2}(|\partial_x f|^2+ |x|^{2\alpha} |\partial_yf|^2)^{1/2}\,dx\,dy \] for all functions \(f\in C^\infty_0(\mathbb R^2)\), where \(d= \alpha+ 2\) and \(c(\alpha)= \frac{\alpha+1} {\alpha+ 2}(2\int_ 0^{\pi}\sin^{\alpha}t\,dt)^{-\frac{1} {\alpha+ 1}}\).
reviewed by: Weihuan Chen
Mathematics Subject Classification ID: 53C17
Mathematics Subject Classification ID: 52A40
zbMATH DE Number: 2147106
zbMATH Keywords: isoperimetric inequality
zbMATH Keywords: Grushin plane
MaRDI profile type: Publication
cites work: Fine properties of sets of finite perimeter in doubling metric measure spaces
cites work: On the Grushin operator and hyperbolic symmetry
cites work: Q4718346
cites work: The geometric Sobolev embedding for vector fields and the isoperimetric inequality
cites work: Isoperimetric inequalities. Differential geometric and analytic perspectives
cites work: Q5725000
cites work: Integrability of the sub-Riemannian mean curvature of surfaces in the Heisenberg group
cites work: Normal and integral currents
cites work: Sobolev and isoperimetric inequalities for degenerate metrics
cites work: Q3346655
cites work: Isoperimetric and Sobolev inequalities for Carnot-Carath�odory spaces and the existence of minimal surfaces
cites work: Q4718347
cites work: On the isoperimetric problem in the Heisenberg group \(\mathbb H^n\)
cites work: Q4458819
cites work: Q4415610
cites work: Surface measures in Carnot-Carathéodory spaces
cites work: The isoperimetric inequality
cites work: Q3772868
cites work: Q4274000
cites work: Q4002250
description: scientific article; zbMATH DE number 2147106