Search results for "Mathematics - Classical Analysis and ODEs"
showing 10 items of 106 documents
Rigidity of quasisymmetric mappings on self-affine carpets
2016
We show that the class of quasisymmetric maps between horizontal self-affine carpets is rigid. Such maps can only exist when the dimensions of the carpets coincide, and in this case, the quasisymmetric maps are quasi-Lipschitz. We also show that horizontal self-affine carpets are minimal for the conformal Assouad dimension.
Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group
2018
A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r < \operatorname{diam} S$ contains two balls with radii comparable to $r$ which are contained in different connected components of the complement of $S$. Analogous sets in Euclidean spaces were introduced by Semmes in the late $80$'s. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of redu…
A Function Algebra Providing New Mergelyan Type Theorems in Several Complex Variables
2019
For compact sets $K\subset \mathbb C^{d}$, we introduce a subalgebra $A_{D}(K)$ of $A(K)$, which allows us to obtain Mergelyan type theorems for products of planar compact sets as well as for graphs of functions.
A note on correlation and local dimensions
2015
Abstract Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit set of a Moran construction by means of the data used to construct the set.
Uniform rectifiability implies Varopoulos extensions
2020
We construct extensions of Varopolous type for functions $f \in \text{BMO}(E)$, for any uniformly rectifiable set $E$ of codimension one. More precisely, let $\Omega \subset \mathbb{R}^{n+1}$ be an open set satisfying the corkscrew condition, with an $n$-dimensional uniformly rectifiable boundary $\partial \Omega$, and let $\sigma := \mathcal{H}^n\lfloor_{\partial \Omega}$ denote the surface measure on $\partial \Omega$. We show that if $f \in \text{BMO}(\partial \Omega,d\sigma)$ with compact support on $\partial \Omega$, then there exists a smooth function $V$ in $\Omega$ such that $|\nabla V(Y)| \, dY$ is a Carleson measure with Carleson norm controlled by the BMO norm of $f$, and such th…
Thin and fat sets for doubling measures in metric spaces
2011
We consider sets in uniformly perfect metric spaces which are null for every doubling measure of the space or which have positive measure for all doubling measures. These sets are called thin and fat, respectively. In our main results, we give sufficient conditions for certain cut-out sets being thin or fat.
A function whose graph has positive doubling measure
2014
We show that a doubling measure on the plane can give positive measure to the graph of a continuous function. This answers a question by Wang, Wen and Wen. Moreover we show that the doubling constant of the measure can be chosen to be arbitrarily close to the doubling constant of the Lebesgue measure.
Planar maps whose second iterate has a unique fixed point
2007
Let a>0, F: R^2 -> R^2 be a differentiable (not necessarily C^1) map and Spec(F) be the set of (complex) eigenvalues of the derivative F'(p) when p varies in R^2. (a) If Spec(F) is disjoint of the interval [1,1+a[, then Fix(F) has at most one element, where Fix(F) denotes the set of fixed points of F. (b) If Spec(F) is disjoint of the real line R, then Fix(F^2) has at most one element. (c) If F is a C^1 map and, for all p belonging to R^2, the derivative F'(p) is neither a homothety nor has simple real eigenvalues, then Fix(F^2) has at most one element, provided that Spec(F) is disjoint of either (c1) the union of the number 0 with the intervals ]-\infty, -1] and [1,\infty[, or (c2) t…
Resonance between Cantor sets
2007
Let $C_a$ be the central Cantor set obtained by removing a central interval of length $1-2a$ from the unit interval, and continuing this process inductively on each of the remaining two intervals. We prove that if $\log b/\log a$ is irrational, then \[ \dim(C_a+C_b) = \min(\dim(C_a) + \dim(C_b),1), \] where $\dim$ is Hausdorff dimension. More generally, given two self-similar sets $K,K'$ in $\RR$ and a scaling parameter $s>0$, if the dimension of the arithmetic sum $K+sK'$ is strictly smaller than $\dim(K)+\dim(K') \le 1$ (``geometric resonance''), then there exists $r<1$ such that all contraction ratios of the similitudes defining $K$ and $K'$ are powers of $r$ (``algebraic resonance…
Dimensions of random affine code tree fractals
2014
We calculate the almost sure Hausdorff dimension for a general class of random affine planar code tree fractals. The set of probability measures describing the randomness includes natural measures in random $V$-variable and homogeneous Markov constructions.