Source author record

Paweł Pasteczka

Paweł Pasteczka appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CA math.FA math.OC math.GM

Catalog footprint

What is connected

19works

4topics

3close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2021arXiv

On the Hardy property of mixed means

Hardy property of means has been extensively studied by Páles and Pasteczka since 2016. The core of this research is based on few of their properties: concavity, symmetry, monotonicity, repetition invariance and homogeneity (last axiom was recently omitted using some homogenizations techniques). In the present paper we deliver a study of possible omitting monotonicity and replacing repetition invariance by a weaker axiom. These results are then used to establish the Hardy constant for certain types of mixed means.

preprint2021arXiv

On the integral approach to means and their Hardy property

The celebrated Hardy inequality can be written in the form $$\int_0^\infty \mathcal{P}_p \big(f|_{[0,x]}\big)dx \le (1-p)^{-1/p} \int_0^\infty f(x)\:dx \qquad \text{ for }p\in(0,1)\text{ and }f \in L^1\text{ with }f\ge0,$$ where $\mathcal{P}_p$ stands for the $p$-th power mean. One can ask about possible generalizations of this property to another families (with sharp constant depending on the mean). Adapting the notion of Riemann integral, for every weighted mean we define the lower and the upper integral mean. We prove that every symmetric, monotone, $\mathbb{R}$-weighted mean on $I$ which is continuous in its entries and weights has at most one continuous extension to the integral one. Moreover this extension preserves the Hardy constant. This result allows to extend the latter inequality to the family of homogeneous, concave deviation means.

preprint2020arXiv

Decision making via generalized Bajraktarević means

We define decision-making functions which arise from studying the multidimensional generalization of the weighted Bajraktarević means. It allows a nonlinear approach to optimization problems. These functions admit several interesting (from the point of view of decision-making) properties, for example, delegativity (which states that each subgroup of decision-makers can aggregate their decisions and efforts), casuativity (each decision affects the final outcome except two trivial cases) and convexity-type properties. Beyond establishing the most important properties of such means, we solve their equality problem, we introduce a notion of synergy and characterize the null-synergy decision-making functions of this type.

preprint2020arXiv

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

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.

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.

preprint2020arXiv

Quasiarithmetic-type invariant means on probability space

For a family $(\mathscr{A}_x)_{x \in (0,1)}$ of integral quasiarithmetic means sattisfying certain measurability-type assumptions we search for an integral mean $K$ such that $K\big((\mathscr{A}_x(\mathbb{P}))_{x \in (0,1)}\big)=K(\mathbb{P})$ for every compactly supported probabilistic Borel measure $\mathbb{P}$. Also some results concerning the uniqueness of invariant means will be given.

preprint2019arXiv

Invariant means and iterates of mean-type mappings

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)$.

preprint2019arXiv

Online premeans and their computation complexity

We extend some approach to a family of symmetric means (i.e. symmetric functions $\mathscr{M} \colon \bigcup_{n=1}^\infty I^n \to I$ with $\min\le \mathscr{M}\le \max$; $I$ is an interval). Namely, it is known that every symmetric mean can be written in a form $\mathscr{M}(x_1,\dots,x_n):=F(f(x_1)+\cdots+f(x_n))$, where $f \colon I \to G$ and $F \colon G \to I$ ($G$ is a commutative semigroup). For $G=\mathbb{R}^k$ or $G=\mathbb{R}^k \times \mathbb{Z}$ ($k \in \mathbb{N}$) and continuous functions $f$ and $F$ we obtain two series of families (depending on $k$). It can be treated as a measure of complexity in a family of means (this idea is inspired by theory of regular languages and algorithmics). As a result we characterize celebrated families of quasi-arithmetic means ($G=\mathbb{R}\times \mathbb{Z}$) and Bajraktarević means ($G=\mathbb{R}^2$ under some additional assumptions). Moreover, we establish certain estimations of complexity for several other classical families.

preprint2018arXiv

Invariant property for discontinuous mean-type mappings

It is known that if $M,\,N$ are continuous two-variable means such that $|M(x,y)-N(x,y)| < |x-y|$ for every $x,\ y$ with $x\ne y$, then there exists a unique invariant mean (which is continuous too). We are looking for invariant means for pairs satisfying the inequality above, but continuity of means is not assumed. In this setting the invariant mean is no longer uniquely defined, but we prove that there exist the smallest and the biggest one. Furthermore it is shown that there exists at most one continuous invariant mean related to each pair.

preprint2018arXiv

Jensen-type geometric shapes

We present both necessary and sufficient conditions to the convex closed shape $X$ such that the inequality $$ \frac{1}{|X|} \int_X f(x)\:dx \le \frac{1}{|\partial X|} \int_{\partial X} f(x)\:dx$$ is valid for every convex function $f \colon X \to \mathbb{R}$ ($\partial X$ stands for the boundary of $X$). It is proved that this inequality holds if $X$ is (i) an $n$-dimensional parallelotope, (ii) an $n$-dimensional ball, (iii) a convex polytope having an inscribed sphere (tangent to all its facets) with center in the center of mass of $\partial X$.

preprint2018arXiv

On a lattice-like property of quasi-arithmetic means

We will prove that in a family of quasi-arithmetic means sattisfying certain smoothness assumption (embed with a naural pointwise ordering) every finite family has both supremum and infimum, which is also a quasi-arithmetic mean sattisfying the same smoothness assumptions. More precisely, if $f$ and $g$ are $\mathcal{C}^2$ functions with nowhere vanishing first derivative then there exists a function $h$ such that: (i) $A^{[f]} \le A^{[h]}$, (ii) $A^{[g]} \le A^{[h]}$, and (iii) for every continuous strictly monotone function $s \colon I \to \mathbb{R}$ $$ A^{[f]} \le A^{[s]} \text{ and } A^{[g]} \le A^{[s]} \text{ implies } A^{[h]} \le A^{[s]} $$ ($A^{[f]}$ stands for a quasi-arithmetic mean generated by a function $f$ and so on). Moreover $h\in\mathcal{C}^2$, $h'\ne0$, and it is a solution of the differential equation $$ \frac{h''}{h'}=\max\Big(\frac{f''}{f'},\,\frac{g''}{g'}\Big). $$ We also provide some extension to a finite family of means. Obviously dual statements with inverses inequality sign as well as a multifuntion generalization will be also stated.

preprint2018arXiv

Weakening of Hardy property for means

The aim of this paper is to find a broad family of means defined on a subinterval of $I \subset [0,+\infty)$ such that $$ \sum_{n=1}^\infty \mathscr{M}(a_1,\dots,a_n) <+\infty \quad\text{ for all }\quad a \in \ell_1(I).$$ Equivalently, the averaging operator $$ (a_1,\,a_2,a_3\,,\dots) \mapsto \big( a_1,\,\mathscr{M}(a_1,a_2),\,\mathscr{M}(a_1,a_2,a_3), \dots\big) $$ is a selfmapping of $\ell_1(I)$. This property is closely related to so-called Hardy inequality for means (which additionally requires boundedness of this operator). In fact we prove that these two properties are equivalent in a family of Gini means and Gaussian product of Power means. Moreover it is shown that this is not the case for quasi-arithmetic means.

preprint2017arXiv

Interval-type theorems concerning quasi-arithmetic means

Family of quasi-arithmetic means has a natural, partial order (point-wise order) $A^{[f]}\le A^{[g]}$ if and only if $A^{[f]}(v)\le A^{[g]}(v)$ for all admissible vectors $v$ ($f,\,g$ and, later, $h$ are continuous and monotone and defined on a common interval). Therefore one can introduce the notion of interval-type sets (sets $\mathcal{I}$ such that whenever $A^{[f]} \le A^{[h]} \le A^{[g]}$ for some $A^{[f]},\,A^{[g]} \in \mathcal{I}$ then $A^{[h]} \in \mathcal{I}$ too). Our aim is to give examples of interval-type sets involving vary smoothness assumptions of generating functions.

preprint2014arXiv

Iterated Quasi-Arithmetic Mean-Type Mappings

For a family of quasi-arithmetic means satisfying certain smoothness condition we majorize the speed of convergence of the iterative sequence of self-mappings having a mean on each entry, described in the definition of Gaussian product, to relevant mean-type mapping. We apply this result to approximate any continuous function which is invariant with respect to such a self-mappings.

preprint2014arXiv

Scales of quasi-arithmetic means determined by invariance property

It is well known that if $\mathcal{P}_t$ denotes a set of power means then the mapping $\mathbb{R} \ni t \mapsto \mathcal{P}_t(v) \in (\min v, \max v)$ is both 1-1 and onto for any non-constant sequence $v = (v_1,\dots,\,v_n)$ of positive numbers. Shortly: the family of power means is a scale. If $I$ is an interval and $f \colon I \rightarrow \mathbb{R}$ is a continuous, strictly monotone function then $f^{-1}(\tfrac{1}{n} \sum f(v_i))$ is a natural generalization of power means, so called quasi-arithmetic mean generated by $f$. A famous folk theorem says that the only homogeneous, quasi-a\-rith\-me\-tic means are power means. We prove that, upon replacing the homogeneity requirement by an invariant-type axiom, one gets a family of quasi-arithmetic means building up a scale, too.

preprint2013arXiv

A new estimate of the difference among quasi-arithmetic means

In the 1960s Cargo and Shisha proved some majorizations for the distance among quasi-arithmetic means (defined as f^{-1}(\sum_{i=1}^{n} w_i f(a_i) for any continuous, strictly monotone function f:I->R, where I is an interval, and a=(a_1,...,a_n) is a vector with entries in I, w=(w_1,...,w_n) is a sequence of corresponding weights w_i>0, w_1+...+w_n=1). Nearly thirty years later, in 1991, Pàles presented an iff condition for a sequence of quasi-arithmetic means to converge to another QA mean. It was closely related with the three parameters' operator (f(x)-f(z))/(f(x)-f(y)). The author presented recently an estimate for the distance among such quasi-arithmetic means whose underlying functions satisfy some smoothness conditions. Used was the operator f -> f''/f' introduced in the 1940s by Mikusiński and Łojasiewicz. It is natural to look for similar estimate(s) in the case of the underlying functions not being smooth. For instance, by the way of using Pàles' operator. This is done in the present note. Moreover, the result strengthens author's earlier estimates.

preprint2013arXiv

On negative results concerning Hardy means

In the present paper we are going to prove some necessary condition for a mean to be Hardy. This condition is then applied to completely characterize the Hardy property among the Gini means.

preprint2013arXiv

On some type of Hardy's inequality involving generalized power means

We discuss properties of certain generalization of Power Means proposed in 1971 by Carlson, Meany and Nelson. For any fixed parameter (k,s,q) and vector (v_1,...,v_n) they take the q-th power means of all possible k-tuples (v_{i_1},...,v_{i_k}), and then calculate the s-th power mean of the resulting vector of length C_n^k. We work towards a complete answer to the question when such means satisfy inequalities resembling the classical Hardy inequality. We give a definitive answer in a large part of the parameter space. An unexpected corollary is that this family behaves much differently than most of other families admitting Hardy-type inequalities. Namely, arbitrarily small perturbations of parameters may lead to the breakdown of such inequalities.

preprint2011arXiv

When is a family of generalized means a scale?

For a family {k_t | t \in I} of real C^2 functions defined on U (I, U -- open intervals) and satisfying some mild regularity conditions, we prove that the mapping I \ni t --> k_t^{-1}(\sum_{i=1}^n w_i k_t(a_i)) is a continuous bijection between I and (min a, max a), for every fixed non-constant sequence a = (a_i)_{i=1}^n with values in U and every set, of the same cardinality, of positive weights w=(w_i)_{i=1}^n. In such a situation one says that the family of functions {k_t} generates a scale on U. The precise assumptions in our result read (all indicated derivatives are with respect to x \in U) (i) k'_t does not vanish anywhere in U for every t \in I, (ii) I \ni t \mapsto \frac{k"_t(x)}{k'_t(x)} is increasing, 1--1 on a dense subset of U and onto the image R for every x \in U. This result makes possible few new things as well as new proofs of classical results.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint