Related papers: A sharp quantitative estimate of critical sets

The present paper studies a quantitative version of the transversality theorem. More precisely, given a continuous function $f\in \mathcal{C}([0,1]^d,\mathbb{R}^m)$ and a manifold $W\subset \mathbb{R}^m$ of dimension $p$, a sharpness result…

Let $u$ be a harmonic function in a $C^1$ domain $D\subset \mathbb{R}^d$, which vanishes on an open subset of the boundary. In this note we study its critical set $\{x \in \overline{D}: \nabla u(x) = 0 \}$. When $D$ is a $C^{1,\alpha}$…

In this note we define a $C^1$ function $F:[0,M]^2\to [0,2]$ that satisfies that its set of critical values has positive measure. This function provides an example, easier than those that usually appear in the literature, of how the order…

The paper provides an elementary proof establishing a sharp universal bound on the $(d-1)$-Hausdorff measure of the zeros of any nontrivial multivariable polynomial $p:\mathbb{R}^d\to\mathbb{R}$ within a $d$-dimensional cube of size $r$.…

Let $X(\cdot) $ be a random field $\mathbb{R}^D \to \mathbb{R}^d$, $D\geq d$. We first studied the level set $X^{-1}( u) $, $u \in \mathbb{R}^d$. In particular we gave a weak condition for this level set to be rectifiable. Then, we…

Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$…

It is well-known that there is a Sobolev homeomorphism $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ for any $p<n$ which maps a set $C$ of zero Lebesgue $n$-dimensional measure onto the set of positive measure. We study the size of this critical set…

We consider spherical Riesz means of multiple Fourier series and some generalizations. While almost everywhere convergence of Riesz means at the critical index $(d-1)/2$ may fail for functions in the Hardy space $h^1(\mathbb T^d)$, we prove…

We introduce a new notion of a harmonic measure for a $d$-dimensional set in $\R^n$ with $d<n-1$, that is, when the codimension is strictly bigger than 1. Our measure is associated to a degenerate elliptic PDE, it gives rise to a…

We generalize the Lebesgue-Hausdorff Theorem on the characterization of Baire-one functions for $\sigma$-strongly functionally discrete mappings defined on arbitrary topological spaces

Consider all the level sets of a real function. We can group these level sets according to their Hausdorff dimensions. We show that the Hausdorff dimension of the collection of all level sets of a given Hausdorff dimension can be…

Cantor sets in \(\mathbb{R}\) are common examples of sets for which Hausdorff measures can be positive and finite. However, there exist Cantor sets for which no Hausdorff measure is supported and finite. The purpose of this paper is to try…

Let $E$ be an infinite-dimensional separable Hilbert space. We show that for every $C^1$ function $f:E\to\mathbb{R}^d$, every open set $U$ with $C_f:=\{x\in E:\,Df(x)\; \text{is not surjective}\}\subset U$ and every continuous function…

Dobi\'nski set $\mathcal{D}$ is an exceptional set for a certain infinite product identity, whose points are characterized as having exceedingly good approximations by dyadic rationals. We study the Hausdorff dimension and logarithmic…

The present paper studies a quantitative version of the transversality theorem. More precisely, given a continuous function $g\in \mathcal{C}([0,1]^d,\mathbb{R}^m)$ and a global smooth manifold $W\subset \mathbb{R}^m$ of dimension $p$, we…

Hausdorff measure and Hausdorff dimension are useful tools to describe fractals. This paper investigates the bounds on the $d\log_32$-dimensional Hausdorff measure of the $d$-fold Cartesian product of the $1/3$ Cantor set, $\mathcal C^d$.…

We repurpose tools from the theory of quantitative rectifiability to study the qualitative rectifiability of measures in $\Bbb{R}^n$, $n\geq 2$. To each locally finite Borel measure $\mu$, we associate a function $\widetilde J_2(\mu, x)$…

The family $\mathcal{P}_{d}^{\lambda_{d-1}}$ of all probability measures on $[0,1]^d$ whose $(d-1)$-dimensional marginals are all equal to the Lebesgue measure $\lambda_{d-1}$ on $[0,1]^{d-1}$ contains remarkably pathological elements:…

Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n,…

Given a solution $u$ to a linear homogeneous second order elliptic equation with Lipschitz coefficients, we introduce techniques for giving improved estimates of the critical set $\Cr(u)\equiv \{x:|\nabla u|(x)=0\}$. The results are new…