Source author record

Janusz Matkowski

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
2topics
4close collaborators

Published work

8 publications

preprint2021arXiv

Means in money exchange operations

It is observed that in some money exchange operations, the applied nn -variable mean MM should be self reciprocally-conjugate, i.e. it should satisfy the equality M(x1,…,xn)M(1x1,…,1xn)=1,x1,…,xn>0. 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.

preprint2020arXiv

Invariant means, complementary averages of means, and a characterization of the beta-type means

We prove that whenever the selfmapping (M1,…,Mp) ⁣:Ip→Ip(M_1,\dots,M_p)\colon I^p \to I^p, (p∈Np \in \mathbb{N} and MiM_i-s are pp-variable means on the interval II) is invariant with respect to some continuous and strictly monotone mean K ⁣:Ip→IK \colon I^p \to I then for every nonempty subset S⊆{1,…,p}S \subseteq\{1,\dots,p\} there exists a uniquely determined mean KS ⁣:Ip→IK_S \colon I^p \to I such that the mean-type mapping (N1,…,Np) ⁣:Ip→Ip(N_1,\dots,N_p) \colon I^p \to I^p is KK-invariant, where Ni:=KSN_i:=K_S for i∈Si \in S and Ni:=MiN_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 KK-invariant mean-type mappings, (2) solve functional equations of invariant-type, and (3) characterize Beta-type means.

preprint2020arXiv

Mean-type mappings and invariance principle

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.

preprint2019arXiv

Invariant means and iterates of mean-type mappings

Classical result states that for two continuous and strict means M, N ⁣:I2→IM,\,N \colon I^2 \to I (II is an interval) there exists a unique (M,N)(M,N)-invariant mean K ⁣:I2→IK \colon I^2 \to I, i.e. such a mean that K∘(M,N)=KK \circ (M,N)=K and, moreover, the sequence of iterates ((M,N)n)n=1∞((M,N)^n)_{n=1}^\infty converge to (K,K)(K,K) pointwise. Recently it was proved that continuity assumption cannot be omitted in general. We show that if KK is a unique (M,N)(M,N)-invariant mean then, under no continuity assumption, (M,N)n→(K,K)(M,N)^n \to (K,K).

preprint2016arXiv

On the commutation of generalized means on probability spaces

Let ff and gg be real-valued continuous injections defined on a non-empty real interval II, and let (X,L,λ)(X, \mathscr{L}, λ) and (Y,M,μ)(Y, \mathscr{M}, μ) be probability spaces in each of which there is at least one measurable set whose measure is strictly between 00 and 11. We say that (f,g)(f,g) is a (λ,μ)(λ, μ)-switch if, for every L⊗M\mathscr{L} \otimes \mathscr{M}-measurable function h:X×Y→Rh: X \times Y \to \mathbf{R} for which h[X×Y]h[X\times Y] is contained in a compact subset of II, it holds f−1 ⁣(∫Xf ⁣(g−1 ⁣(∫Yg∘h  dμ))dλ) ⁣=g−1 ⁣(∫Yg ⁣(f−1 ⁣(∫Xf∘h  dλ))dμ) ⁣, 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−1f^{-1} is the inverse of the corestriction of ff to f[I]f[I], and similarly for g−1g^{-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)(f,g) is a (λ,μ)(λ, μ)-switch if and only if f=ag+bf = ag + b for some a,b∈Ra,b \in \mathbf R, a≠0a \ne 0.

preprint2013arXiv

Uniform convexity of paranormed generalizations of LpL^p spaces

For a measure space (Ω,Σ,μ)(Ω,Σ,μ) and a bijective increasing function φ:[0,∞)→[0,∞)φ:\left[ 0,\infty \right) \rightarrow \left[0,\infty \right) the LpL^{p}-like paranormed (FF-normed) function space with the paranorm of the form pφ(x)=φ−1(∫Ωφ∘∣x∣dμ)\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 LpL^{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,∞)[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=R2S={\mathbb R}^2 and φφ is given by φ(t)=et−1φ(t)={\rm e}^t-1.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.