Searcharxiv⌕ Search

arXiv subjects

Rosemarie Bongers

Publications and source records attributed to Rosemarie Bongers.

9 recordsLinked to original sources

Applications of Nonlinear Projections to Rectifiable 1-sets

Projection theorems in Euclidean space provide a fundamental link between the geometric structure of a set and the size of its lower-dimensional images. For 1-rectifiable sets in $\mathbb{R}^d$, a classical theorem of Federer shows that the 1-dimensional Hausdorff measure of such sets is controlled by the multiplicity-weighted lengths of finitely many linearly independent projections. We develop a framework for extending Federer's result into a diverse set of nonlinear problems. This technique yields a unified approach for studying sets through their lower-dimensional nonlinear images, as well as studying the exceptional sets which exhibit poor projective behavior. As illustrations of our technique, we show that (i) every 1-rectifiable set contains a pin whose pinned distance set has positive Lebesgue measure, and that the exceptional set of pins for which this fails is contained in a $(d-2)$-dimensional affine subspace; (ii) planar radial projections of a 1-rectifiable set can fail to have positive length from at most one vantage point unless the set is essentially linear; and finally (iii) unions of circles centered on a 1-rectifiable set have positive area under mild assumptions on the radius function.

math.CA↗

Energy-minimizing measures supported near fractal 1-sets

Energy techniques can be used to study the structure of fractal sets; the existence of a measure with finite Riesz energy supported on a set gives information about its dimension, distribution, and density. In this paper, we study energy-minimizing measures supported near fractal $1$-sets. Using physical analogy and a variant of the fast multipole method, we show a strong equidistribution result for these measures. We impose only mild geometric constraints on our sets, assuming only a generational structure of the approximations. This allows us to consider sets which do not exhibit self-similarity or other algebraic constraints. As a corollary, we demonstrate a fundamental limitation in the use of energy techniques for studying Favard length.

math.CA↗

Minimal Constructible Sets

Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family. Problems encountered in this research include the minimum number of steps required to arrive to the last family as well as a characterization of that last family; we solve all those problems. We also define a class of simple families ($n$-minimal constructible) and we analyze the relationships between partitions and separability (our new concept) that lead to interesting results such as finding families based on partitions that generate finite algebras. We prove a number of new results about $n$-minimal constructible families; one major result is that every finite algebra of sets has a generating family which is $n$-minimal constructible for all natural $n$ and we compute the minimum number of steps required to generate an algebra. Another interesting result is a connection between this construction process and Baire's Theorem. This work has a number of possible applications, particularly in the fields of economics and computer science.

math.CO↗

Existence of quasiconformal maps with maximal stretching on any given countable set

Quasiconformal maps are homeomorphisms with useful local distortion inequalities; infinitesimally, they map balls to ellipsoids with bounded eccentricity. This leads to a number of useful regularity properties, including quantitative Hölder continuity estimates; on the other hand, one can use the radial stretches to characterize the extremizers for Hölder continuity. In this work, given any bounded countable set in $\mathbb{R}^d$, we will construct an example of a $K$-quasiconformal map which exhibits the maximum stretching at each point of the set. This will provide an example of a quasiconformal map that exhibits the worst-case regularity on a surprisingly large set, and generalizes constructions from the planar setting into $\mathbb{R}^d$.

math.CA↗

Transversal families of nonlinear projections and generalizations of Favard length

Projections detect information about the size, geometric arrangement, and dimension of sets. To approach this, one can study the energies of measures supported on a set and the energies for the corresponding pushforward measures on the projection side. For orthogonal projections, quantitative estimates rely on a separation condition: most points are well-differentiated by most projections. It turns out that this idea also applies to a broad class of nonlinear projection-type operators satisfying a \textit{transversality condition}. In this work, we establish that several important classes of nonlinear projections are transversal. This leads to quantitative lower bounds for decay rates for nonlinear variants of Favard length, including Favard curve length (as well as a new generalization to higher dimensions, called Favard surface length) and visibility measurements associated to radial projections. As one application, we provide a simplified proof for the decay rate of the Favard curve length of generations of the four corner Cantor set, first established by Cladek, Davey, and Taylor.

math.CA↗

Commutators of Hilbert transforms along monomial curves

The Hilbert transforms associated with monomial curves have a natural non-isotropic structure. We study the commutator of such Hilbert transforms and a symbol $b$ and prove the upper bound of this commutator when $b$ is in the corresponding non-isotropic BMO space by using the Cauchy integral trick. We also consider the lower bound of this commutator by introducing a new testing BMO space associated with the given monomial curve, which shows that the classical non-isotropic BMO space is contained in the testing BMO space. We also show that the non-zero curvature of such monomial curves are important, since when considering Hilbert transforms associated with lines, the parallel version of non-isotropic BMO space and testing BMO space have overlaps but do not have containment.

math.CA↗

Improved Hölder Continuity of Quasiconformal Maps

Quasiconformal maps in the complex plane are homeomorphisms that satisfy certain geometric distortion inequalities; infinitesimally, they map circles to ellipses with bounded eccentricity. The local distortion properties of these maps give rise to a certain degree of global regularity and Hölder continuity. In this paper, we give improved lower bounds for the Hölder continuity of these maps; the analysis is based on combining the isoperimetric inequality with a study of the length of quasicircles. Furthermore, the extremizers for Hölder continuity are characterized, and some applications are given to solutions to elliptic partial differential equations.

math.CV↗

Geometric Bounds for Favard Length

Given a set in the plane, the average length of its projections over all directions is called Favard length. This quantity measures the size of a set, and is closely related to metric and geometric properties of the set such as rectifiability, Hausdorff dimension, and analytic capacity. In this paper, we develop new geometric techniques for estimating Favard length. We will give a short geometrically motivated proof relating Hausdorff dimension to the decay rate of the Favard length of neighborhoods of a set. We will also show that the sequence of Favard lengths of the generations of a self-similar set is convex; this has direct applications to giving lower bounds on Favard length for various fractal sets.

math.CA↗

Stretching and Rotation Sets of Quasiconformal Mappings

Quasiconformal maps in the plane are orientation preserving homeomorphisms that satisfy certain distortion inequalities; infinitesimally, they map circles to ellipses of bounded eccentricity. Such maps have many useful geometric distortion properties, and yield a flexible and powerful generalization of conformal mappings. In this work, we study the singularities of these maps, in particular the sizes of the sets where a quasiconformal map can exhibit given stretching and rotation behavior. We improve results by Astala-Iwaniec-Prause-Saksman and Hitruhin to give examples of stretching and rotation sets with non-sigma-finite measure at the appropriate Hausdorff dimension. We also improve this to give examples with positive Riesz capacity at the critical homogeneity, as well as positivity for a broad class of gauged Hausdorff measures at that dimension.

math.CV↗