BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Janusz Matkowski appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
It is observed that in some money exchange operations, the applied $n$ -variable mean $M$ should be self reciprocally-conjugate, i.e. it should satisfy the equality \[ M\left( x_{1},\ldots,x_{n}\right) M\left( \frac{1}{x_{1}},\ldots,\frac{1}{x_{n}} \right) =1,\quad x_{1},\ldots,x_{n}>0. \] The main result says that the only weighted quasiarithmetic mean satisfying this condition is the weighet geometric mean.
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 \to I$ then for every nonempty subset $S \subseteq\{1,\dots,p\}$ there exists a uniquely determined mean $K_S \colon I^p \to I$ such that the mean-type mapping $(N_1,\dots,N_p) \colon I^p \to I^p$ is $K$-invariant, where $N_i:=K_S$ for $i \in S$ and $N_i:=M_i$ otherwise. Moreover \begin{equation*} \min(M_i\colon i \in S)\le K_S\le \max(M_i\colon i \in S). \end{equation*} Later we use this result to: (1) construct a broad family of $K$-invariant mean-type mappings, (2) solve functional equations of invariant-type, and (3) characterize Beta-type means.
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 invariance mean implies the convergence of all orbits. A strongly irregular mean-type mapping is constructed and its unique invariant mean is determined. An application in solving a functional equation is presented.
Motivated by recent results on beta-type functions, a new family of means, which are of logarithmic Cauchy quotient type, are determined and characterized.
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 sequence of iterates $((M,N)^n)_{n=1}^\infty$ converge to $(K,K)$ pointwise. Recently it was proved that continuity assumption cannot be omitted in general. We show that if $K$ is a unique $(M,N)$-invariant mean then, under no continuity assumption, $(M,N)^n \to (K,K)$.
All beta-type functions, which are p-homogeneous, are determined. Applying this result, we show that a beta-type function is a homogeneous mean iff it is the harmonic one. A reformulation of a result due to Heuvers in terms of a Cauchy difference and the harmonic mean is given.
Let $f$ and $g$ be real-valued continuous injections defined on a non-empty real interval $I$, and let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be probability spaces in each of which there is at least one measurable set whose measure is strictly between $0$ and $1$. We say that $(f,g)$ is a $(λ, μ)$-switch if, for every $\mathscr{L} \otimes \mathscr{M}$-measurable function $h: X \times Y \to \mathbf{R}$ for which $h[X\times Y]$ is contained in a compact subset of $I$, it holds $$ f^{-1}\!\left(\int_X f\!\left(g^{-1}\!\left(\int_Y g \circ h\;dμ\right)\right)d λ\right)\! = g^{-1}\!\left(\int_Y g\!\left(f^{-1}\!\left(\int_X f \circ h\;dλ\right)\right)d μ\right)\!, $$ where $f^{-1}$ is the inverse of the corestriction of $f$ to $f[I]$, and similarly for $g^{-1}$. We prove that this notion is well-defined, by establishing that the above functional equation is well-posed (the equation can be interpreted as a permutation of generalized means and raised as a problem in the theory of decision making under uncertainty), and show that $(f,g)$ is a $(λ, μ)$-switch if and only if $f = ag + b$ for some $a,b \in \mathbf R$, $a \ne 0$.
For a measure space $(Ω,Σ,μ)$ and a bijective increasing function $φ:\left[ 0,\infty \right) \rightarrow \left[0,\infty \right)$ the $L^{p}$-like paranormed ($F$-normed) function space with the paranorm of the form $\mathbf{p}_φ(x)=φ^{-1}\left(\int_Ωφ\circ \left|x\right|dμ\right)$ is considered. Main results give general conditions under which this space is uniformly convex. The Clarkson theorem on the uniform convexity of $L^{p}$-space is generalized. Under some specific assumptions imposed on $φ$ we give not only a proof of the uniform convexity but also show the formula of a modulus of convexity. We establish the uniform convexity of all finite-dimensional paranormed spaces, generated by a strictly convex bijection $φ$ of $[0, \infty)$. However, the {\it a contrario} proof of this fact provides no information on a modulus of convexity of these spaces. In some cases it can be done, even an exact formula of a modulus can be proved. We show how to make it in the case when $S={\mathbb R}^2$ and $φ$ is given by $φ(t)={\rm e}^t-1$.