Related papers: First Baire class functions in the pluri-fine topo…

For higher order integral functionals with $p(x)$ growth with respect to the highest order derivative $D^m u$, we prove that $D^m u$ is H\"older continuous on an open subset $\Omega_0 \subset \Omega$ of full Lebesgue- measure, provided that…

Let G be a connected compact Lie group acting on a manifold M and let D be a transversally elliptic operator on M. The multiplicity of the index of D is a function on the set of irreducible representations of G. Let T be a maximal torus of…

Fix $N\in\mathbb N$ and assume that for every $n\in\{1,\ldots, N\}$ the functions $f_n\colon[0,1]\to[0,1]$ and $g_n\colon[0,1]\to\mathbb R$ are Lebesgue measurable, $f_n$ is almost everywhere approximately differentiable with…

We prove simple theorems concerning the maximal order of a large class of multiplicative functions. As an application, we determine the maximal orders of certain functions of the type $\sigma_A(n)= \sum_{d\in A(n)} d$, where A(n) is a…

In the setting of a metric space equipped with a doubling measure supporting a Poincar\'e inequality, we show that BV functions are, in the sense of multiple limits, continuous with respect to a 1-fine topology, at almost every point with…

In this article we consider functions $f$ meromorphic in the unit disk. We give an elementary proof for a condition that is sufficient for the univalence of such functions. This condition simplifies and generalizes known conditions. We…

We consider the set of Baire 1 functions endowed with the pointwise partial ordering and investigate the structure of the linearly ordered subsets.

We prove that for a stratifiable scattered space $X$ of finite scattered height, the function space $C_k(X)$ endowed with the compact-open topology is Baire if and only if $X$ has the Moving Off Property of Gruenhage and Ma. As a byproduct…

We study two families of integral functionals indexed by a real number $p > 0$. One family is defined for 1-dimensional curves in $\R^3$ and the other one is defined for $m$-dimensional manifolds in $\R^n$. These functionals are described…

We prove a highly uniform version of the prime number theorem for a certain class of $L$-functions. The range of $x$ depends polynomially on the analytic conductor, and the error term is expressed in terms of an optimization problem…

In a previous study, the first author defines an inverse ambiguous function on a group $G$ to be a bijective function $f : G \to G$ satisfying the functional equation $f^{-1}(x) = f(x^{-1})$ for all $x \in G$. In this paper, we investigate…

We introduce the generalized notion of semicontinuity of a function defined on a topological space and derive the useful classification of the so-called Lipschitz derivatives of functions defined on a metric space. Secondly, we investigate…

The class of type-two basic feasible functionals ($\mathtt{BFF}_2$) is the analogue of $\mathtt{FP}$ (polynomial time functions) for type-2 functionals, that is, functionals that can take (first-order) functions as arguments.…

Brouwer (1927) claimed that every function from the Baire space to natural numbers is induced by a neighbourhood function whose domain admits bar induction. We show that Brouwer's claim is provable in Heyting arithmetic in all finite types…

We prove that, given a function $f$ in the Nevanlinna class $N$ and a positive integer $n$, there exist $g\in N$ and $h\in BMOA$ such that $f^{(n)}=gh^{(n)}$. We may choose $g$ to be zero-free, so it follows that the zero sets for the class…

We investigate Baire-one functions whose graph is contained in a graph of usco mapping. We prove in particular that such a function defined on a metric space with values in $\mathbb{R}^d$ is the pointwise limit of a sequence of continuous…

We study the class ${\mathcal C}(\Omega)$ of univalent analytic functions $f$ in the unit disk $\mathbb{D} = \{z \in \mathbb{C} :\,|z|<1 \}$ of the form $f(z)=z+\sum_{n=2}^{\infty}a_n z^n$ satisfying \[ 1+\frac{zf"(z)}{f'(z)} \in \Omega,…

Let $\Omega \subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $\Omega \cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of…

We first prove De Giorgi type level estimates for functions in $W^{1,t}(\Omega)$, $\Omega\subset\mathbb{R}^N$, with $t>N\geq 2$. This augmented integrability enables us to establish a new Harnack type inequality for functions which do not…

We prove for an arbitrary complex $^*$-algebra $A$ that every topologically irreducible $^*$-representation of $A$ on a Hilbert space is finite dimensional precisely when the Lebesgue decomposition of representable positive functionals over…