Related papers: Pexider invariance equation for embeddable mean-ty…

We prove that whenever the selfmapping $(M_1,\dots,M_p)\colon I^p \to I^p$, ($p \in \mathbb{N}$ and $M_i$-s are $p$-variable means on the interval $I$) is invariant with respect to some continuous and strictly monotone mean $K \colon I^p…

Given two continuous functions $f,g:I\to\mathbb{R}$ such that $g$ is positive and $f/g$ is strictly monotone, a measurable space $(T,A)$, a measurable family of $d$-variable means $m: I^d\times T\to I$, and a probability measure $\mu$ on…

We show that, for a (not necessarily continuous) weakly contractive mean-type mapping $\mathbf{M} \colon I^p\to I^p$ (where $I$ is an interval and $p \in \mathbb{N}$), the functional equation $K \circ \mathbf{M}=K$ has at most one solution…

Given two continuous functions $f,g:I\to\mathbb{R}$ such that $g$ is positive and $f/g$ is strictly monotone, a measurable space $(T,A)$, a measurable family of $d$-variable means $m: I^d\times T\to I$, and a probability measure $\mu$ on…

For a sequence of continuous, monotone functions $f_1,\dots,f_n \colon I \to \mathbb{R}$ ($I$ is an interval) we define the mapping $M \colon I^n \to I^n$ as a Cartesian product of quasi-arithmetic means generated by $f_j$-s. It is known…

On the space of isometric embeddings $f_g$ of metrics $g$ on a manifold $M^n$ into the standard $(\mb{S}^{\tn=\tn(n)},\tg)$, we consider the total exterior scalar curvature $\Theta_{f_g}(M)$, and squared $L^2$ norm of the mean curvature…

Classical result states that for two continuous and strict means $M,\,N \colon I^2 \to I$ ($I$ is an interval) there exists a unique $(M,N)$-invariant mean $K \colon I^2 \to I$, i.e. such a mean that $K \circ (M,N)=K$ and, moreover, the…

In this paper we determine the solutions $(\varphi,f_1,f_2)$ of the Pexider functional equation \[\varphi\Big(\frac{x+y}2\Big)\big(f_1(x)-f_2(y)\big)=0,\qquad (x,y)\in I_1\times I_2,\] where $I_1$ and $I_2$ are nonempty open subintervals.…

Let $(X,{\mathcal A},\mu)$ be a probability space and let $S\colon X\to X$ be a measurable transformation. Motivated by the paper of K. Nikodem [Czechoslovak Math. J. 41(116) (4) (1991) 565--569], we concentrate on a functional equation…

e study the properties of the mean-type mappings ${\bf M}\colon I^p \to I^p$ of the form $${\bf M}(x_1,\dots,x_p):=\big(M_1(x_{\alpha_{1,1}},\dots,x_{\alpha_{1,d_1}}),\dots,M_p(x_{\alpha_{p,1}},\dots,x_{\alpha_{p,d_p}})\big),$$ where $p$…

We prove that for any singular measure $\mu$ on $\mathbb{R}^n$ it is possible to cover $\mu$-almost every point with $n$ families of Lipschitz slabs of arbitrarily small total width. More precisely, up to a rotation, for every $\delta>0$…

For a given $p$-variable mean $M \colon I^p \to I$ ($I$ is a subinterval of $\mathbb{R}$), following (Horwitz, 2002) and (Lawson and Lim, 2008), we can define (under certain assumption) its $(p+1)$-variable $\beta$-invariant extension as…

Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with…

Let (N,g) be a Riemannian manifold. For a compact, connected and oriented submanifold M of N. we define the space of volume preserving embeddings Emb_{\mu}(M,N) as the set of smooth embeddings f:M \rightarrow N such that f*\mu^{f}=\mu,…

In the finite dimensional case, mean-type mappings, their invariant means, relations between the uniqueness of invariant means and convergence of orbits of the mapping, are considered. In particular it is shown, that the uniqueness of an…

We show that if $f\colon I\to I$ is piecewise monotone, post-critically finite, and locally eventually onto, then for every point $x\in X=\underleftarrow{\lim}(I,f)$ there exists a planar embedding of $X$ such that $x$ is accessible. In…

A finite family $\mathcal{F}=\{f_1,\ldots,f_n\}$ of continuous selfmaps of a given metric space $X$ is called an iterated function system (shortly IFS). In a case of contractive selfmaps of a complete metric space is well-known that IFS has…

Given two functions $f,g:I\to\mathbf{R}$ and a probability measure $\mu$ on the Borel subsets of $[0,1]$, the two-variable mean $M_{f,g;\mu}:I^2\to I$ is defined by $$ M_{f,g;\mu}(x,y) :=\bigg(\frac{f}{g}\bigg)^{-1}\left( \frac{\int_0^1…

Let $(X, \mathscr{L}, \lambda)$ and $(Y, \mathscr{M}, \mu)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with $0 < \lambda(A) < \lambda(X)$ and $0 < \mu(B) < \mu(Y)$, and let $I\subseteq…

We provide a theoretical foundation for non-parametric estimation of functions of random variables using kernel mean embeddings. We show that for any continuous function $f$, consistent estimators of the mean embedding of a random variable…