Search results for " proof"
showing 10 items of 118 documents
Dorronsoro's theorem in Heisenberg groups
2020
A theorem of Dorronsoro from the 1980s quantifies the fact that real-valued Sobolev functions on Euclidean spaces can be approximated by affine functions almost everywhere, and at all sufficiently small scales. We prove a variant of Dorronsoro's theorem in Heisenberg groups: functions in horizontal Sobolev spaces can be approximated by affine functions which are independent of the last variable. As an application, we deduce new proofs for certain vertical vs. horizontal Poincare inequalities for real-valued functions on the Heisenberg group, originally due to Austin-Naor-Tessera and Lafforgue-Naor.
Representation Theorems for Indefinite Quadratic Forms Revisited
2010
The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring the second representation theorem to hold is proved. A new simple and explicit example of a self-adjoint operator for which the second representation theorem does not hold is also provided.
An Elementary Proof of a Theorem of Graham on Finite Semigroups
2020
The purpose of this note is to give a very elementary proof of a theorem of Graham that provides a structural description of finite 0-simple semigroups and its idempotent-generated subsemigroups.
Congruence-based proofs of the recognizability theorems for free many-sorted algebras
2020
Abstract We generalize several recognizability theorems for free single-sorted algebras to free many-sorted algebras and provide, in a uniform way and without using either regular tree grammars or tree automata, purely algebraic proofs of them based on congruences.
Hitchhiker's guide to the fractional Sobolev spaces
2012
AbstractThis paper deals with the fractional Sobolev spaces Ws,p. We analyze the relations among some of their possible definitions and their role in the trace theory. We prove continuous and compact embeddings, investigating the problem of the extension domains and other regularity results.Most of the results we present here are probably well known to the experts, but we believe that our proofs are original and we do not make use of any interpolation techniques nor pass through the theory of Besov spaces. We also present some counterexamples in non-Lipschitz domains.
Abstract and concrete tangent modules on Lipschitz differentiability spaces
2020
We construct an isometric embedding from Gigli's abstract tangent module into the concrete tangent module of a space admitting a (weak) Lipschitz differentiable structure, and give two equivalent conditions which characterize when the embedding is an isomorphism. Together with arguments from a recent article by Bate--Kangasniemi--Orponen, this equivalence is used to show that the ${\rm Lip}-{\rm lip}$ -type condition ${\rm lip} f\le C|Df|$ implies the existence of a Lipschitz differentiable structure, and moreover self-improves to ${\rm lip} f =|Df|$. We also provide a direct proof of a result by Gigli and the second author that, for a space with a strongly rectifiable decomposition, Gigli'…
The Fatou coordinate for parabolic Dulac germs
2017
We study the class of parabolic Dulac germs of hyperbolic polycycles. For such germs we give a constructive proof of the existence of a unique Fatou coordinate, admitting an asymptotic expansion in the power-iterated log scale.
Maximal regularity via reverse Hölder inequalities for elliptic systems of n-Laplace type involving measures
2008
In this note, we consider the regularity of solutions of the nonlinear elliptic systems of n-Laplacian type involving measures, and prove that the gradients of the solutions are in the weak Lebesgue space Ln,∞. We also obtain the a priori global and local estimates for the Ln,∞-norm of the gradients of the solutions without using BMO-estimates. The proofs are based on a new lemma on the higher integrability of functions.
Entropy, Lyapunov exponents, and rigidity of group actions
2018
This text is an expanded series of lecture notes based on a 5-hour course given at the workshop entitled "Workshop for young researchers: Groups acting on manifolds" held in Teres\'opolis, Brazil in June 2016. The course introduced a number of classical tools in smooth ergodic theory -- particularly Lyapunov exponents and metric entropy -- as tools to study rigidity properties of group actions on manifolds. We do not present comprehensive treatment of group actions or general rigidity programs. Rather, we focus on two rigidity results in higher-rank dynamics: the measure rigidity theorem for affine Anosov abelian actions on tori due to A. Katok and R. Spatzier [Ergodic Theory Dynam. Systems…
Rectifiability of RCD(K,N) spaces via δ-splitting maps
2021
In this note we give simplified proofs of rectifiability of RCD(K,N) spaces as metric measure spaces and lower semicontinuity of the essential dimension, via -splitting maps. The arguments are inspired by the Cheeger-Colding theory for Ricci limits and rely on the second order differential calculus developed by Gigli and on the convergence and stability results by Ambrosio-Honda. peerReviewed