Related papers: The abelian arithmetic regularity lemma
We present a simple proof of the $C^1$ regularity of $p$-anisotropic functions in the plane for $2\leq p<\infty$. We achieve a logarithmic modulus of continuity for the derivatives. The monotonicity (in the sense of Lebesgue) of the…
We consider the families of finite Abelian groups $\ZZ/p\ZZ\times \ZZ/p\ZZ$, $\ZZ/p^2\ZZ$ and $\ZZ/p\ZZ\times \ZZ/q\ZZ$ for $p,q$ two distinct prime numbers. For the two first families we give a simple characterization of all functions…
This paper is purely expository. We present short elementary proofs of * the Gauss Theorem on constructibility of regular polygons; * the existence of a cubic equation unsolvable in real radicals; * the existence of a quintic equation…
We introduce a notion of upper Green regular solutions to the Lax-Oleinik semi-group that is defined on the set of $C^0$ functions of a closed manifold via a Tonelli Lagrangian. Then we prove some weak $C^2$ convergence results to such a…
We prove a regularity result for Green's functions that are associated to elliptic second order divergence-type linear PDO's with coefficients in C^{1,\alpha}(\bar{\Omega}). Here \alpha\in (0,1) and \Omega\subset \R^n is a bounded…
Urysohn's Lemma is a crucial property of normal spaces that deals with separation of closed sets by continuous functions. It is also a fundamental ingredient in proving the Tietze Extension Theorem, another property of normal spaces that…
In this paper we prove a H\"older partial regularity result for weak solutions $u:\Omega\to \mathbb{R}^N$, $N\geq 2$, to non-autonomous elliptic systems with general growth of the type: \begin{equation*} -\rm{div}\, a(x, u, Du)= b(x, u, Du)…
This thesis starts from a review on current research on the local hypoellipticity of the $\bar\partial$-Neumann problem. It presents the classical method of regularity from estimates of the energy: subelliptic as well as superlogarithmic.…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
Let $S$ be a string of $l$ decimal digits. We give an explicit upper bound on some prime $p$ whose decimal representation contains the string $S$. We also show, as a corollary of the Green-Tao theorem, that there are arbitrarily long…
We exploit a new theory of duality transformations to construct dual representations of models incompatible with traditional duality transformations. Hence we obtain a solution to the long-standing problem of non-Abelian dualities that…
It is shown that, in the theory of absorption semigroups, two possible ways of defining regularity for absorption rates are in fact equivalent.
In this note, we prove $\mathcal{C}^{1,\gamma}$ regularity for solutions of some fully nonlinear degenerate elliptic equations with "superlinear" and "subquadratic " Hamiltonian terms. As an application, we complete the results of…
We give here a new proof of a Tauberian Theorem of complex Laplace transform using the Theory of measure and theory of function with bounded variations. However we deduce the simple proof of Prime Number Theorem.
We address partition regularity problems for homogeneous quadratic equations. A consequence of our main results is that, under natural conditions on the coefficients $a,b,c$, for any finite coloring of the positive integers, there exists a…
We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value $\bot$ whose main purpose is to always return a value for division. To rings…
This work is devoted to the study of the existence and sign of Green's functions for first order linear problems with constant coefficients and initial (one point) conditions. We first prove a result on the existence of solutions of $n$-th…
We use the classical umbral calculus to describe Riordan arrays. Here, a Riordan array is generated by a pair of umbrae, and this provides efficient proofs of several basic results of the theory such as the multiplication rule, the…
We establish partial regularity result for vector-valued solutions to second order elliptic system in divergence form. The coefficients safisfies Dini condition respect to $(x,u)$ with growth order lager than 2. We prove $C^1$-regularity of…
We give a "soft" proof of Alberti's Luzin-type theorem in [1] (G. Alberti, A Lusintype theorem for gradients, J. Funct. Anal. 100 (1991)), using elementary geometric measure theory and topology. Applications to the $C^2$-rectifiability…