Related papers: Differentiability of Lipschitz Functions in Lebesg…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

A version of the Lebesgue differentiation theorem is offered, where the $L^p$ norm is replaced with any rearrangement-invariant norm. Necessary and sufficient conditions for a norm of this kind to support the Lebesgue differentiation…

In this paper, we establish a simple criterion for two $L$-functions $L_1$ and $L_2$ satisfying a functional equation (and some natural assumptions) to have infinitely many distinct zeros. Some related questions have already been answered…

It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong…

A remarkable theorem of R. C. James is the following: suppose that $X$ is a Banach space and $C \subseteq X$ is a norm bounded, closed and convex set such that every linear functional $x^* \in X^*$ attains its supremum on $C$; then $C$ is a…

We consider the classical obstacle problem on bounded, connected Lipschitz domains $D \subset \mathbb{R}^n$. We derive quantitative bounds on the changes to contact sets under general perturbations to both the right hand side and the…

Linearly independent Dirichlet L-functions satisfying the same Riemann-type of functional equation have been supposed for long time to possess off critical line non trivial zeros. We are taking a closer look into this problem and into its…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

We study the local Lipschitz one subsets of a finite dimensional space, that is, sets for which there exists a continuous function whose local Lipschitz derivative is the characteristic function of said set. We give a characterization of a…

Let $g(z)=\int_0^zp(t)\exp(q(t))\,dt+c$ where $p,q$ are polynomials and $c\in\mathbb{C}$, and let $f$ be the function from Newton's method for $g$. We show that under suitable assumptions the Julia set of $f$ has Lebesgue measure zero.…

Functions, uniformly bounded in $BV$ norm in some bounded open set $U$ in $R^n$, are compact in $L_1(U)$. This result is known when $U$ has Lipschitz boundary [EG Th. 4 p. 176], [G 1.19 Th. p. 17], [Z 5.34 Cor. p. 227]; the proof for…

In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal. We prove the rectifiability of such sets: more precisely we show that, in some…

It is well known that the Riemann zeta function, as well as several other $L$-functions, is universal in the strip $1/2<\sigma<1$; this is certainly not true for $\sigma>1$. Answering a question of Bombieri and Ghosh, we give a simple…

In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though…

We construct a differentiable locally Lipschitz function $f$ in $\mathbb{R}^{N}$ with the property that for every convex body $K\subset \mathbb{R}^N$ there exists $\bar x \in \mathbb{R}^N$ such that $K$ coincides with the set $\partial_L…

Can a positive function on R have zero Lebesgue integral? It depends on how much choice one has. Keywords: Lebesgue integral; Zermelo--Fraenkel theory; Feferman-Levy model

We prove that for a homogeneous linear partial differential operator $\mathcal A$ of order $k \le 2$ and an integrable map $f$ taking values in the essential range of that operator, there exists a function $u$ of special bounded variation…

In the present article we provide a sufficient condition for a closed set F in R^d to have the following property which we call c-removability: Whenever a function f:R^d->R is locally convex on the complement of F, it is convex on the whole…

We prove that convex functions of finite order on the real line and subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some set of zero relative Lebesgue density, are bounded from above…

We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $\epsilon:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$…