Reducible means and reducible inequalities

It is well-known that if a real valued function acting on a convex set satisfies the $n$-variable Jensen inequality, for some natural number $n\geq 2$, then, for all $k\in\{1,\dots, n\}$, it fulfills the $k$-variable Jensen inequality as well. In other words, the arithmetic mean and the Jensen inequality (as a convexity property) are both reducible. Motivated by this phenomenon, we investigate this property concerning more general means and convexity notions. We introduce a wide class of means which generalize the well-known means for arbitrary linear spaces and enjoy a so-called reducibility property. Finally, we give a sufficient condition for the reducibility of the $(M,N)$-convexity property of functions and also for H\"older--Minkowski type inequalities

On Kedlaya type inequalities for weighted means

In 2016 we proved that for every symmetric, repetition invariant and Jensen concave mean $\mathscr{M}$ the Kedlaya-type inequality $$\mathscr{A}\big(x_1,\mathscr{M}(x_1,x_2),\ldots,\mathscr{M}(x_1,\ldots,x_n)\big)\le \mathscr{M} \big(x_1, \mathscr{A}(x_1,x_2),\ldots,\mathscr{A}(x_1,\ldots,x_n)\big)$$ holds for an arbitrary $(x_n)$ ($\mathscr{A}$ stands for the arithmetic mean). We are going to prove the weighted counterpart of this inequality. More precisely, if $(x_n)$ is a vector with corresponding (non-normalized) weights $(\lambda_n)$ and $\mathscr{M}_{i=1}^n(x_i,\lambda_i)$ denotes the weighted mean then, under analogous conditions on $\mathscr{M}$, the inequality $$\mathscr{A}_{i=1}^n \big(\mathscr{M}_{j=1}^i (x_j,\lambda_j),\:\lambda_i\big) \le \mathscr{M}_{i=1}^n \big(\mathscr{A}_{j=1}^i (x_j,\lambda_j),\:\lambda_i\big)$$ holds for every $(x_n)$ and $(\lambda_n)$ such that the sequence $(\frac{\lambda_k}{\lambda_1+\cdots+\lambda_k})$ is decreasing.Comment: J. Inequal. Appl. (2018

A composite functional equation from algebraic aspect

In this paper we discuss the composite functional equation f(x+2f(y))=f(x)+y+f(y) on an Abelian group. This equation originates from Problem 10854 of the American Mathematical Monthly. We give an algebraic description of the solutions on uniquely 3-divisible Abelian groups, and then we construct all solutions f of this equation on finite Abelian groups without elements of order 3 and on divisible Abelian groups without elements of order 3 including the additive group of real numbers

Ulam type stability problems for alternative homomorphisms

We introduce an alternative homomorphism with respect to binary operations and investigate the Ulam type stability problem for such a mapping. The obtained results apply to Ulam type stability problems for several important functional equations.ArticleJOURNAL OF INEQUALITIES AND APPLICATIONS. 2014:228 (2014)journal articl

On the invariance equation for two-variable weighted nonsymmetric Bajraktarevi\'c means

The purpose of this paper is to investigate the invariance of the arithmetic mean with respect to two weighted Bajraktarevi\'c means, i.e., to solve the functional equation $$\bigg(\frac{f}{g}\bigg)^{\!\!-1}\!\!\bigg(\frac{tf(x)+sf(y)}{tg(x)+sg(y)}\bigg) +\bigg(\frac{h}{k}\bigg)^{\!\!-1}\!\!\bigg(\frac{sh(x)+th(y)}{sk(x)+tk(y)}\bigg)=x+y \qquad(x,y\in I),$$ where $f,g,h,k:I\to\mathbb{R}$ are unknown continuous functions such that $g,k$ are nowhere zero on $I$, the ratio functions $f/g$, $h/k$ are strictly monotone on $I$, and $t,s\in\mathbb{R}_+$ are constants different from each other. By the main result of this paper, the solutions of the above invariance equation can be expressed either in terms of hyperbolic functions or in terms of trigonometric functions and an additional weight function. For the necessity part of this result, we will assume that $f,g,h,k:I\to\mathbb{R}$ are four times continuously differentiable

First and second order optimality conditions for optimal control problems of state constrained integral equations

This paper deals with optimal control problems of integral equations, with initial-final and running state constraints. The order of a running state constraint is defined in the setting of integral dynamics, and we work here with constraints of arbitrary high orders. First and second-order necessary conditions of optimality are obtained, as well as second-order sufficient conditions