Related papers: The Morse-Sard theorem revisited

Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such…

Let $\{H_{n,m}\}_{n,m\in \mathbb{N}}$ be the two dimensional Haar system and $S_{n,m}f$ be the rectangular partial sums of its Fourier series with respect to some $f\in L^1([0,1)^2)$. Let $\mathcal{N}, \mathcal{M}\subset \mathbb{N}$ be two…

A result of Chernoff gives sufficient condition for an $L^2$-function on $\R^n$ to be quasi-analytic. This is a generalization of the classical Denjoy-Carleman theorem on $\R$ and of the subsequent work on $\R^n$ by Bochner and Taylor. In…

This paper studies the relationship between vector-valued BMO functions and the Carleson measures defined by their gradients. Let $dA$ and $dm$ denote Lebesgue measures on the unit disc $D$ and the unit circle $\mathbb T$, respectively. For…

We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be…

Recently, the first author of this paper, used the structure of finite dimensional translation invariant subspaces of C(R,C) to give a new proof of classical Montel's theorem, about continuous solutions of Fr\'{e}chet's functional equation…

Under the assumption that the approximating function $\psi$ is monotonic, the classical Khintchine-Groshev theorem provides an elegant probabilistic criterion for the Lebesgue measure of the set of $\psi$-approximable matrices in $\R^{mn}$.…

We focus on a sequence of functions $\{f_n\}$, defined on a compact manifold with boundary $S$, converging in the $C^k$ metric to a limit $f$. A common assumption implicitly made in the empirical sciences is that when such functions…

Let $V\in C^2(\R^d)$ such that $\mu_V(\d x):= \e^{-V(x)}\,\d x$ is a probability measure, and let $\aa\in (0,2)$. Explicit criteria are presented for the $\aa$-stable-like Dirichlet form $$\E_{\aa,V}(f,f):= \int_{\R^d\times\R^d}…

Let $I, J\subset \mathbb{R}$ be closed intervals, and let $H$ be $C^{3}$ smooth real valued function on $I\times J$ with nonvanishing $H_{x}$ and $H_{y}$. Take any fixed positive numbers $a,b$, and let $d\mu$ be a probability measure with…

Let $d,k$ be natural numbers and let $\mathcal{L}_1, \dots, \mathcal{L}_k \in \mathrm{GL}_d(\mathbb{Q})$ be linear transformations such that there are no non-trivial subspaces $U, V \subseteq \mathbb{Q}^d$ of the same dimension satisfying…

We prove that almost every level set of a Sobolev function in a planar domain consists of points, Jordan curves, or homeomorphic copies of an interval. For monotone Sobolev functions in the plane we have the stronger conclusion that almost…

Let $L^m_p(R^n)$, $p\in [1,\infty]$, be the homogeneous Sobolev space, and let $E\subset R^n$ be a closed set. For each $p>n$ and each non-negative integer $m$ we give an intrinsic characterization of the restrictions to $E$ of $m$-jets…

The Riesz-Markov theorem identifies any positive, finite, and regular Borel measure on the complex unit circle with a positive linear functional on the continuous functions. By the Weierstrass approximation theorem, the continuous functions…

We establish Hadamard-type inequalities for a class of symmetric matrices called $k$-positive matrices for which the $m$-th elementary symmetric functions of their eigenvalues are positive for all $m\leq k$. These matrices arise naturally…

We study the mean-value harmonic functions on open subsets of $\mathbb{R}^n$ equipped with weighted Lebesgue measures and norm induced metrics. Our main result is a necessary condition saying that all such functions solve a certain…

In [GW09a] we conjectured that uniformity of degree $k-1$ is sufficient to control an average over a family of linear forms if and only if the $k$th powers of these linear forms are linearly independent. In this paper we prove this…

We present several Liouville type results for the $p$-Laplacian in $\R^N$. Suppose that $h$ is a nonnegative regular function such that $$ h(x) = a|x|^\gamma\ {\rm for}\ |x|\ {\rm large},\ a>0\ {\rm and}\ \gamma> -p. $$ We obtain the…

We consider symmetric non-negative definite bilinear forms on algebras of bounded real valued functions and investigate closability with respect to the supremum norm. In particular, any Dirichlet form gives rise to a sup-norm closable…

This paper is concerned with various fine properties of the functional \[ \mathbb{D}(A) = \int_{\mathbb{T}^n}{\text{det}}^\frac{1}{n-1}(A(x))\,dx \] introduced in [33]. This functional is defined on $X_p$, which is the cone of matrix fields…