Showing 1–4 of 4 results for author: Idu, K O

Alexandrov's estimate revisited

Authors: Charles Griffin, Kennedy Obinna Idu, Robert L. Jerrard

Abstract: Alexandrov's estimate states that if $Ω$ is a bounded open convex domain in ${\mathbb R}^n$ and $u:\bar Ω\to {\mathbb R}$ is a convex solution of the Monge-Ampere equation $\det D^2 u = f$ that vanishes on $\partial Ω$, then \[ |u(x) - u(y)| \le ω(|x-y|)(\int_Ωf)^{1/n} \qquad \mbox{for }ω(δ) = C_n\,\mbox{diam}(Ω)^{\frac{n-1}n} δ^{1/n}. \] We establish a variety of improvements of this, depending o… ▽ More Alexandrov's estimate states that if $Ω$ is a bounded open convex domain in ${\mathbb R}^n$ and $u:\bar Ω\to {\mathbb R}$ is a convex solution of the Monge-Ampere equation $\det D^2 u = f$ that vanishes on $\partial Ω$, then \[ |u(x) - u(y)| \le ω(|x-y|)(\int_Ωf)^{1/n} \qquad \mbox{for }ω(δ) = C_n\,\mbox{diam}(Ω)^{\frac{n-1}n} δ^{1/n}. \] We establish a variety of improvements of this, depending on the geometry of $\partial Ω$. For example, we show that if the curvature is bounded away from $0$, then the estimate remains valid if $ω(δ)$ is replaced by $C_Ωδ^{\frac 12 + \frac 1{2n}}$. We determine the sharp constant $C_Ω$ when $n=2$, and when $n\ge 3$ and $\partial Ω$ is $C^2$, we determine the sharp asymptotics of the optimal modulus of continuity $ω_Ω(δ)$ as $δ\to 0$. For arbitrary convex domains, we characterize the scaling of the optimal modulus $ω_Ω$. Under very mild nondegeneracy conditions, our results yield the improved Holder estimate, $ω_Ω(δ) \le C δ^α$ for some $α>1/n$. △ Less

Submitted 9 March, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

$C^{1,α}$-rectifiability in low codimension in Heisenberg groups

Authors: Kennedy Obinna Idu, Francesco Paolo Maiale

Abstract: A natural notion of higher order rectifiability is introduced for subsets of Heisenberg groups $\mathbb{H}^n$ in terms of covering a set almost everywhere by a countable union of $(\mathbf{C}_H^{1,α},\mathbb{H})$-regular surfaces, for some $0 < α\leq 1$. We prove that a sufficient condition for $C^{1,α}$-rectifiability of low-codimensional subsets in Heisenberg groups is the almost everywhere exis… ▽ More A natural notion of higher order rectifiability is introduced for subsets of Heisenberg groups $\mathbb{H}^n$ in terms of covering a set almost everywhere by a countable union of $(\mathbf{C}_H^{1,α},\mathbb{H})$-regular surfaces, for some $0 < α\leq 1$. We prove that a sufficient condition for $C^{1,α}$-rectifiability of low-codimensional subsets in Heisenberg groups is the almost everywhere existence of suitable approximate tangent paraboloids. △ Less

Submitted 5 September, 2023; v1 submitted 9 February, 2021; originally announced February 2021.

Comments: Corrected typos and general improvements to the proofs

MSC Class: 28A75 (primary) 43A80; 53C17 (secondary)

Characterizations of $k$-rectifiability in homogenous groups

Authors: Kennedy Obinna Idu, Valentino Magnani, Francesco Paolo Maiale

Abstract: A well known notion of $k$-rectifiable set can be formulated in any metric space using Lipschitz images of subsets of $\mathbb{R}^k$. We prove some characterizations of $k$-rectifiability, when the metric space is an arbitrary homogeneous group. In particular, we show that the a.e. existence of the $(k,\mathbb{G})$-approximate tangent group implies $k$-rectifiability. A well known notion of $k$-rectifiable set can be formulated in any metric space using Lipschitz images of subsets of $\mathbb{R}^k$. We prove some characterizations of $k$-rectifiability, when the metric space is an arbitrary homogeneous group. In particular, we show that the a.e. existence of the $(k,\mathbb{G})$-approximate tangent group implies $k$-rectifiability. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Comments: 21 pages

Geometric criteria for $C^{1,α}$ rectifiability

Authors: Giacomo Del Nin, Kennedy Obinna Idu

Abstract: We prove criteria for $\mathcal{H}^k$-rectifiability of subsets of $\mathbb{R}^n$ with $C^{1,α}$ maps, $0<α\leq 1$, in terms of suitable approximate tangent paraboloids. We also provide a version for the case when there is not an a priori tangent plane, measuring on dyadic scales how close the set is to lying in a $k$-plane. We then discuss the relation with similar criteria involving Peter Jones'… ▽ More We prove criteria for $\mathcal{H}^k$-rectifiability of subsets of $\mathbb{R}^n$ with $C^{1,α}$ maps, $0<α\leq 1$, in terms of suitable approximate tangent paraboloids. We also provide a version for the case when there is not an a priori tangent plane, measuring on dyadic scales how close the set is to lying in a $k$-plane. We then discuss the relation with similar criteria involving Peter Jones' $β$ numbers, in particular proving that a sufficient condition is the boundedness for small $r$ of $r^{-α}β_p(x,r)$ for $\mathcal{H}^k$-a.e. $x$ and for any $1\leq p\leq \infty$. △ Less

Submitted 9 October, 2019; v1 submitted 23 September, 2019; originally announced September 2019.

MSC Class: 28A75; 28A78; 26A16