scholarly journals Complementary means with respect to a nonsymmetric invariant mean

Author(s):  
Janusz Matkowski

AbstractIt is known that if a bivariate mean K is symmetric, continuous and strictly increasing in each variable, then for every mean M there is a unique mean $$N\,$$ N such that K is invariant with respect to the mean-type mapping $$\left( M,N\right) ,$$ M , N , which means that $$K\circ \left( M,N\right) =K$$ K ∘ M , N = K and N is called a K-complementary mean for M (Matkowski in Aequ Math 57(1):87–107, 1999). This paper extends this result for a large class of nonsymmetric means. As an application, the limits of the sequences of iterates of the related mean-type mappings are determined, which allows us to find all continuous solutions of some functional equations.

Mathematics ◽  
2020 ◽  
Vol 8 (10) ◽  
pp. 1753
Author(s):  
Janusz Matkowski ◽  
Paweł Pasteczka

We prove that whenever the selfmapping (M1,…,Mp):Ip→Ip, (p∈N and Mi-s are p-variable means on the interval I) is invariant with respect to some continuous and strictly monotone mean K:Ip→I then for every nonempty subset S⊆{1,…,p} there exists a uniquely determined mean KS:Ip→I such that the mean-type mapping (N1,…,Np):Ip→Ip is K-invariant, where Ni:=KS for i∈S and Ni:=Mi otherwise. Moreover min(Mi:i∈S)≤KS≤max(Mi:i∈S). 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.


Author(s):  
Karol Baron

AbstractBased on iteration of random-valued functions we study the problem of solvability in the class of continuous and Hölder continuous functions $$\varphi $$ φ of the equations $$\begin{aligned} \varphi (x)=F(x)-\int _{\Omega }\varphi \big (f(x,\omega )\big )P(d\omega ),\\ \varphi (x)=F(x)+\int _{\Omega }\varphi \big (f(x,\omega )\big )P(d\omega ), \end{aligned}$$ φ ( x ) = F ( x ) - ∫ Ω φ ( f ( x , ω ) ) P ( d ω ) , φ ( x ) = F ( x ) + ∫ Ω φ ( f ( x , ω ) ) P ( d ω ) , where P is a probability measure on a $$\sigma $$ σ -algebra of subsets of $$\Omega $$ Ω .


1985 ◽  
Vol 98 (2) ◽  
pp. 195-212 ◽  
Author(s):  
Patrick J. McCarthy

AbstractThe quadratic functional equation f(f(x)) *–Tf(x) + Dx = 0 is equivalent to the requirement that the graph be invariant under a certain linear map The induced projective map is used to show that the equation admits a rich supply of continuous solutions only when L is hyperbolic (T2 > 4D), and then only when T and D satisfy certain further conditions. The general continuous solution of the equation is given explicitly in terms of either (a) an expression involving an arbitrary periodic function, function additions, inverses and composites, or(b) suitable limits of such solutions.


2012 ◽  
Vol DMTCS Proceedings vol. AQ,... (Proceedings) ◽  
Author(s):  
Patrick Bindjeme ◽  
james Allen fill

International audience In a continuous-time setting, Fill (2012) proved, for a large class of probabilistic sources, that the number of symbol comparisons used by $\texttt{QuickSort}$, when centered by subtracting the mean and scaled by dividing by time, has a limiting distribution, but proved little about that limiting random variable $Y$—not even that it is nondegenerate. We establish the nondegeneracy of $Y$. The proof is perhaps surprisingly difficult.


1969 ◽  
Vol 12 (6) ◽  
pp. 837-846 ◽  
Author(s):  
John A. Baker

Consider the functional equation(1)assumed valid for all real x, y and h. Notice that (1) can be written(2)a difference analogue of the wave equation, if we interpret etc., (i. e. symmetric h differences), and that (1) has an interesting geometric interpretation. The continuous solutions of (1) were found by Sakovič [5].


1985 ◽  
Vol 97 (2) ◽  
pp. 261-278 ◽  
Author(s):  
P. J. McCarthy ◽  
M. Crampin ◽  
W. Stephenson

AbstractThe requirement that the graph of a function be invariant under a linear map is equivalent to a functional equation of f. For area preserving maps M(det (M) = 1), the functional equation is equivalent to an (easily solved) linear one, or to a quadratic one of the formfor all Here 2C = Trace (M). It is shown that (Q) admits continuous solutions ⇔ M has real eigenvalues ⇔ (Q) has linear solutions f(x) = λx ⇔ |C| ≥ 1. For |c| = 1 or C < – 1, (Q) only admits a few simple solutions. For C > 1, (Q) admits a rich supply of continuous solutions. These are parametrised by an arbitrary function, and described in the sense that a construction is given for the graphs of the functions which solve (Q).


2015 ◽  
Vol 27 (3-4) ◽  
pp. 469-484 ◽  
Author(s):  
D. Zeglami ◽  
A. Charifi ◽  
S. Kabbaj

Sign in / Sign up

Export Citation Format

Share Document