arXiv ScienceSearch

arXiv · 2507.15333

A Vitali-type lemma for the boundary

Abstract

Take a set of balls in $\mathbb R^d$. We find a subset of pairwise disjoint balls whose combined perimeter controls the perimeter of the union of the original balls. This can be seen as a boundary version of the Vitali covering lemma. We further prove combined volume-perimeter results and counterexamples and apply them to find short proofs of some regularity statements for maximal functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Julian Weigt. 2025-07-21. A Vitali-type lemma for the boundary. https://arxiv.org/abs/2507.15333

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The divergence set for the wave equation in higher dimensions

It is shown that if $u$ solves the wave equation in $\mathbb{R}^{4+1}$ with initial data $u(\cdot,0) = u_0(\cdot) \in H^s$ and $\partial_tu(\cdot,0) = u_1(\cdot ) \in H^{s-1}$, where $0.5 < s \leq 0.55$, then $u(x,t) \to u_0(x)$ and $\partial_tu(x,t) \to u_1(x)$ pointwise as $t \to 0$, for all $x$ outside an exceptional set of Hausdorff dimension at most $6-4s$. In a very small range of $s$, this verifies a conjecture of Barceló, Bennett, Carbery, and Rogers. More generally, a partial improvement to the exceptional set bound in $\mathbb{R}^{n+1}$ is obtained for $n \geq 4$ and $1/2 < s < n/4$.

math.CA

The multifractal nature of a parametrized family of von Koch functions

In a famous paper published in 1904, Helge von Koch introduced the curve that still serves nowadays as an iconic representation of fractal shapes. In fact, von Koch's main goal was the construction of a continuous but nowhere differentiable function, very similar to the snowflake, using elementary geometric procedures, and not analytical formulae. We prove that a parametrized family of functions (including and) generalizing von Koch's example enjoys a rich multifractal behavior, thus enriching the class of historical mathematical objects having surprising regularity properties. The analysis relies on the study of the orbits of an underlying dynamical system and on the introduction of self-similar measures and non-trivial iterated functions systems adapted to the problem.

math.CA

Frame Sets and Zeros of Zak Transforms of Extended Gaussians

Let $a,b,c\in\mathbb C$ with $\re(a)<0$, we show that the extended Gaussian $e^{ax^2+bx+c}$ has maximal frame set (i.e., its frame set consists of precisely all positive pairs $(α,β)$ with $αβ<1$), and its Zak transform has a unique simple zero in the unit square $[0,1)^2$ (in particular, the zero is at the center of the unit square if $b=0$). These statements extend the same results of the usual Gaussian (the cases when $a<0$ and $b,c\in\mathbb R$), and add more instances to the observation that if a continuous Wiener function has maximal frame set, then its Zak transform has a unique simple zero in the unit square. The proof of the maximality of the frame set combines metaplectic representation with a classical density result of the standard Gaussian. The proof of the uniqueness of the zero relies on properties of the theta function.

math.CA