Related papers: On subadditive quasi-arithmetic means

Let $\mathbb{R}_+=[0,\infty)$ and let $A\subseteq\mathbb{R}^n_+$. We have found the necessary and sufficient conditions under which a function $\Phi:A\to\mathbb{R}_+$ has an isotone subadditive continuation on $\mathbb{R}^n_+$. It allows us…

In this paper we characterize generalized quasi-arithmetic means, that is means of the form $M(x_1,...,x_n):=(f_1+...+f_n)^{-1}(f_1(x_1)+...+f_n(x_n))$, where $f_1,...,f_n:I\to\mathbb{R}$ are strictly increasing and continuous functions.…

In this work, approximations for real two variables function $f$ which has continuous partial $(n-1)$-derivatives $(n \ge 1)$ and has the $n$--th partial derivative of bounded bivariation or absolutely continuous are established. Explicit…

For a subshift $(X, \sigma_X)$ and a subadditive sequence $\mathcal{F}=\{\log f_n\}_{n=1}^{\infty}$ on $X$, we study equivalent conditions for the existence of $h\in C(X)$ such that $\lim_{n\rightarrow\infty}(1/{n})\int \log f_n d \mu=\int…

An upper mean here is a subadditive functional $\overline M$ defined on bounded functions on a commutative group which has, beside some natural requirements, the property we call restricted additivity: if $g(x)= f(x)+f(x+t)$, then…

In this article, we prove two new versions of a theorem proven by Efron in [Efr65]. Efron's theorem says that if a function $\phi : \mathbb{R}^2 \rightarrow \mathbb{R}$ is non-decreasing in each argument then we have that the function $s…

For a set $M$ of $m$ elements, we define a decreasing chain of classes of normalized monotone-increasing valuation functions from $2^M$ to $\mathbb{R}_{\geq 0}$, parameterized by an integer $q \in [2,m]$. For a given $q$, we refer to the…

It is well known that a continuously differentiable function is monotone in an interval $[a,b]$ if and only if its first derivative does not change its sign there. We prove that this is equivalent to requiring that the Caputo derivatives of…

Let $(\mathbb X, T)$ be a subshift of finite type equipped with the Gibbs measure $\nu$ and let $f$ be a real-valued H\"older continuous function on $\mathbb X$ such that $\nu(f) = 0$. Consider the Birkhoff sums $S_n f = \sum_{k=0}^{n-1} f…

Given an increasing process $(A_t)_{t\geq 0}$, we characterize the right-continuous non-decreasing functions $f: \R_+\to \R_+$ that map $A$ to a pure-jump process. As an example of application, we show for instance that functions with…

In a nutshell, we intend to extend Schoenberg's classical theorem connecting conditionally positive semidefinite functions $F\colon \mathbb{R}^n \to \mathbb{C}$, $n \in \mathbb{N}$, and their positive semidefinite exponentials $\exp(tF)$,…

Let $N$ be a finite set of cardinality $n$, and $a\in N$. A submodular function $f$ on $N$ with $f(a)=1$ is defined to be $a$-reduced if, for any decomposition $f=g+h$ into submodular functions where $h$ does not depend on $a$, it follows…

Associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=f^{(-1)}(T^*(f(x),f(y)))$ where $T^*:[0,1]^2\rightarrow[0,1]$ is an associative function with neutral element in $[0,1]$, $f: [0,1]\rightarrow [0,1]$ is…

Quasi-arithmetic means are defined for every continuous, strictly monotone function $f \colon U \rightarrow \mathbb{R}$, ($U$ -- an interval). For an $n$-tuple $a \in U^n$ with corresponding vector of weights $w=(w_1,\dots,w_n)$ ($w_i>0$,…

We discuss subsets $S$ of ${\mathbb{R}}^n$ such that every real valued function $f$ on $S$ is of the form {equation*} f(x_1,x_2,...,x_n) = u_1(x_1) + u_2(x_2) + ... + u_n(x_n), {equation*} and the related concepts and situations in…

Given a continuous real-valued function on [0, 1], and a closed subset E \subset [0, 1] we denote by f E the restriction of f to E, that is, the function defined only on E that takes the same values as f at every point of E >. The…

According to a celebrated result by L\"owner, a real-valued function $f$ is operator monotone if and only if its L\"owner matrix, which is the matrix of divided differences $L_f=(\frac{f(x_i)-f(x_j)}{x_i-x_j})_{i,j=1}^N$, is positive…

We show that the de Bruijn-Erd\H{o}s condition for the error term in their improvement of Fekete's Lemma is not only sufficient but also necessary in the following strong sense. Suppose that given a sequence $0\leq f(1)\leq f(2)\leq…

Given an undirected unweighted graph $G = (V, E)$ on $n$ vertices and $m$ edges, a subgraph $H\subseteq G$ is a spanner of $G$ with stretch function $f: \mathbb{R}_+ \rightarrow \mathbb{R}_+$, if for every pair $s, t$ of vertices in $V$,…

Let G be a finite abelian group of order n. For a complex valued function f on G, let \fht denote the Fourier transform of f. The uncertainty inequality asserts that if f \neq 0 then |supp(f)| |supp(\fht)| \geq n. Answering a question of…