Search results for " 28A75"
showing 10 items of 20 documents
On the Dimension of Kakeya Sets in the First Heisenberg Group
2021
We define Kakeya sets in the Heisenberg group and show that the Heisenberg Hausdorff dimension of Kakeya sets in the first Heisenberg group is at least 3. This lower bound is sharp since, under our definition, the $\{xoy\}$-plane is a Kakeya set with Heisenberg Hausdorff dimension 3.
Normal forms and embeddings for power-log transseries
2016
First return maps in the neighborhood of hyperbolic polycycles have their asymptotic expansion as Dulac series, which are series with power-logarithm monomials. We extend the class of Dulac series to an algebra of power-logarithm transseries. Inside this new algebra, we provide formal normal forms of power-log transseries and a formal embedding theorem. The questions of classifications and of embeddings of germs into flows of vector fields are common problems in dynamical systems. Aside from that, our motivation for this work comes from fractal analysis of orbits of first return maps around hyperbolic polycycles. This is a joint work with Pavao Mardešić, Jean-Philippe Rolin and Vesna Župano…
The forgotten mathematical legacy of Peano
2019
International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.
Local conical dimensions for measures
2012
AbstractWe study the decay of μ(B(x,r)∩C)/μ(B(x,r)) asr↓ 0 for different kinds of measures μ on ℝnand various conesCaroundx. As an application, we provide sufficient conditions that imply that the local dimensions can be calculated via cones almost everywhere.
Improved Bounds for Hermite–Hadamard Inequalities in Higher Dimensions
2019
Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| } \int_{\partial \Omega}{ f d\sigma},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ \Omega_2 \subset \Omega_1 \subset \mathbb{R}^n$: $$ \frac{|\partial \Omega_1|}{|\Omega_1|} \frac{| \Omega_2|}{|\partial \Ome…
Sharp estimate on the inner distance in planar domains
2020
We show that the inner distance inside a bounded planar domain is at most the one-dimensional Hausdorff measure of the boundary of the domain. We prove this sharp result by establishing an improved Painlev\'e length estimate for connected sets and by using the metric removability of totally disconnected sets, proven by Kalmykov, Kovalev, and Rajala. We also give a totally disconnected example showing that for general sets the Painlev\'e length bound $\kappa(E) \le\pi \mathcal{H}^1(E)$ is sharp.
Dynamics of the scenery flow and geometry of measures
2015
We employ the ergodic theoretic machinery of scenery flows to address classical geometric measure theoretic problems on Euclidean spaces. Our main results include a sharp version of the conical density theorem, which we show to be closely linked to rectifiability. Moreover, we show that the dimension theory of measure-theoretical porosity can be reduced back to its set-theoretic version, that Hausdorff and packing dimensions yield the same maximal dimension for porous and even mean porous measures, and that extremal measures exist and can be chosen to satisfy a generalized notion of self-similarity. These are sharp general formulations of phenomena that had been earlier found to hold in a n…
Quasispheres and metric doubling measures
2018
Applying the Bonk-Kleiner characterization of Ahlfors 2-regular quasispheres, we show that a metric two-sphere $X$ is a quasisphere if and only if $X$ is linearly locally connected and carries a weak metric doubling measure, i.e., a measure that deforms the metric on $X$ without much shrinking.
Uniformization of two-dimensional metric surfaces
2014
We establish uniformization results for metric spaces that are homeomorphic to the Euclidean plane or sphere and have locally finite Hausdorff 2-measure. Applying the geometric definition of quasiconformality, we give a necessary and sufficient condition for such spaces to be QC equivalent to the Euclidean plane, disk, or sphere. Moreover, we show that if such a QC parametrization exists, then the dilatation can be bounded by 2. As an application, we show that the Euclidean upper bound for measures of balls is a sufficient condition for the existence of a 2-QC parametrization. This result gives a new approach to the Bonk-Kleiner theorem on parametrizations of Ahlfors 2-regular spheres by qu…
Quasiconformal Jordan Domains
2020
We extend the classical Carath\'eodory extension theorem to quasiconformal Jordan domains $( Y, d_{Y} )$. We say that a metric space $( Y, d_{Y} )$ is a quasiconformal Jordan domain if the completion $\overline{Y}$ of $( Y, d_{Y} )$ has finite Hausdorff $2$-measure, the boundary $\partial Y = \overline{Y} \setminus Y$ is homeomorphic to $\mathbb{S}^{1}$, and there exists a homeomorphism $\phi \colon \mathbb{D} \rightarrow ( Y, d_{Y} )$ that is quasiconformal in the geometric sense. We show that $\phi$ has a continuous, monotone, and surjective extension $\Phi \colon \overline{ \mathbb{D} } \rightarrow \overline{ Y }$. This result is best possible in this generality. In addition, we find a n…