Search

The authors of [KMM] consider a system of two functional inequalities for a function $$f : {\mathbb{R}} \rightarrow {\mathbb{R}}$$ , and they show that, if certain arithmetical conditions and inequalities for certain parameters are fulfilled, f has to be a polynomial provided that f is continuous at some point x0. This result is derived here under the weaker condition that for some x0 the limit $${\rm lim}_{x \rightarrow x_0} f(x)$$ exists. Moreover, another system of inequalities is given leading to the same result on the nature of f. The methods used also give natural explanations for the fact that Bernoulli numbers play an important role in this context.

A remarkable contribution to the theory of differential equations was made by Adolph Steen in 1874. His results were presented in Danish in a journal containing few articles on mathematics and were wholly ignored by the mathematical community for more than a century. During this time much of his work was rediscovered and extended by numerous authors; in fact the relevant literature embraces five languages in addition to the original Danish and is scattered over correspondingly many countries. In Part I we outline the historical development of Steen's ideas and in Part II we reproduce his pioneering article in an English translation. Though correction of a historical injustice is the primary goal, not everything in his paper has been rediscovered by others. Hence some of the results retain, even at this late date, more than merely historical interest.

Zannier proved that for a Laurent series f(x) satisfying the functional equation of type f(x m ) = P(x, f(x)), where \( P(x, y) \in {\Bbb C}(x)[y] \), if f(x) is not rational the set of such m consists of the powers of a single integer. He mentioned that the case f(x) = P(x, f(x m )) should be proved in a similar way. In this paper we first verify this statement and second we show a theorem which is useful for proving the transcendence of a Laurent series satisfying a certain functional equation. This theorem is a generalization of the result that a Laurent series which satisfiesf(x m ) = P(x, f(x)), where\( P(x, y) \in {\Bbb C}(x, y),\,m \geq 2 \)cannot represent an algebraic function unless it is rational (Ke. Nishioka [1], Zannier [8], Section 3).

A recent note of Ih-Ching Hsu poses an unsolved problem, to wit, the general solution of the functional equation g(x1, x2) + g(φ1(x1), φ2(x2)) = g(x1, φ2(x2)) + g(φ1(x1),x2), where the φi are given functions. This short paper obtains the general solution. It gives conditions which imply that anycontinuous solution has form g1(x1) + g2(x2).

In Szirmai (Ars Math Contemp 16:349–358, 2019) we proved that to each saturated congruent hyperball packing there exists a decomposition of the 3-dimensional hyperbolic space $$\mathbb {H}^3$$ H 3 into truncated tetrahedra. Therefore, in order to get a density upper bound for hyperball packings, it is sufficient to determine the density upper bound of hyperball packings in truncated simplices. In this paper we prove, using the above results and results of the papers Miyamoto (Topology 33(4): 613–629, 1994) and Szirmai (Mat Vesn 70(3): 211–221, 2018), that the density upper bound of the saturated congruent hyperball (hypersphere) packings related to the corresponding truncated tetrahedron cells is realized in regular truncated tetrahedra with density $$\approx 0.86338$$ ≈ 0.86338 . Furthermore, we prove that the density of locally optimal congruent hyperball arrangement in a regular truncated tetrahedron is not a monotonically increasing function of the height (radius) of the corresponding optimal hyperball, unlike the ball (sphere) and horoball (horosphere) packings.

In the paper there are two kinds of functional symmetry considered, i.e., (1)-power symmetry and $$(-1)$$ ( - 1 ) -power symmetry, in a rich subfamily $$\mathcal {B}$$ B of the family of all complex valued functions on a symmetric set $$\mathcal {G}\subset \mathbb {C}$$ G ⊂ C . The first one defines the values $$f(-z)$$ f ( - z ) as identical with f(z) and the other as the inverse of the f(z) in $$\mathcal {G}$$ G . The announced notions allow a unique decomposition of functions $$f\in \mathcal {B}$$ f ∈ B into a product of two factors $$f_{1},f_{-1}$$ f 1 , f - 1 having the (1)- and the $$(-1)$$ ( - 1 ) -power symmetry property, respectively. In the paper there are also given examples of such partitions $$f=f_{1}\cdot f_{-1}$$ f = f 1 · f - 1 , for various $$f\in \mathcal {B},$$ f ∈ B , a solution of the problem of invariance of the above functional symmetries with respect to some one- and two-argument function operations and two applications of the mentioned function decomposition.

We investigate the functional equation $$f(p(x)) = q(f(x))$$ f ( p ( x ) ) = q ( f ( x ) ) where p and q are given real functions. In the paper “On solvability of$$f(p(x)) = q(f(x))$$ f ( p ( x ) ) = q ( f ( x ) ) for given real functionsp, q, Aequat. Math. 90 (2016), 471 - 494”, we solved the problem of the solvability of $$f(p(x)) = q(f(x))$$ f ( p ( x ) ) = q ( f ( x ) ) under the assumption that p, q are strictly increasing continuous real functions. Now, we extend the solutions of this problem for any strictly monotonous continuous real functions p, q. Thereby, we use the methods of the just mentioned paper. Further, we present computations of the so called characteristics of the given functions p, q using the results of this paper and, finally, present a quite short algorithm with input p, q and output ’solvable/not solvable’.

In the paper, we will present some important results from the theory of vector-valued invariant means. Discussing the results contained in the author’s paper Badora (Ann Pol Math 58:147–159, 1993), we will add new facts that were previously not published.

The aim of this paper is to fill in the gaps in the formulation and the proof of a theorem contained in the paper by K.Ozeki (Aequ Math 25:247–252, 1982) published in this journal. We also give a short proof of this theorem and use it to obtain certain information about the factorization of polynomials of the form $$f(x)-f(y)$$ .

In the present paper we describe the family of all closed convex plane curves of class $$C^1$$ C 1 which have circles as their isoptics. In the first part of the paper we give a certain characterization of all ellipses based on the notion of isoptic and we give a geometric characterization of curves whose orthoptics are circles. The second part of the paper contains considerations on curves which have circles as their isoptics and we show the form of support functions of all considered curves.

Non-monotonicity height is an important index to describe the complexity of dynamics for piecewise monotone functions. Although it is used extensively in the theory of iterative roots, its calculation is still difficult especially in the infinite case. In this paper, by introducing the concept of spanning interval, we first present a sufficient condition for piecewise monotone functions to have height infinity and then an algorithm for finding the spanning intervals is given. We further investigate the density of all piecewise monotone functions with infinite and finite height, respectively, and the results indicate the instability of height. At the end of this paper, the variance of height under composition, especially for functions of height 1 and infinity, are also discussed.

The classical result of L. Székelyhidi states that (under some assumptions) every solution of a general linear equation must be a polynomial function. It is known that Székelyhidi’s result may be generalized to equations where some occurrences of the unknown functions are multiplied by a linear combination of the variables. In this paper we study the equations where two such combinations appear. The simplest nontrivial example of such a case is given by the equation$$\begin{aligned} F(x + y) - F(x) - F(y) = yf(x) + xf(y) \end{aligned}$$F(x+y)-F(x)-F(y)=yf(x)+xf(y)considered by Fechner and Gselmann (Publ Math Debrecen 80(1–2):143–154, 2012). In the present paper we prove several results concerning the systematic approach to the generalizations of this equation.

A sequence $$(v_1,\ldots ,v_k)$$ of vertices in a graph G without isolated vertices is called a total dominating sequence if every vertex $$v_i$$ in the sequence totally dominates at least one vertex that was not totally dominated by $$\{v_1,\ldots , v_{i-1}\}$$ and $$\{v_1,\ldots ,v_k\}$$ is a total dominating set of G. The length of a shortest such sequence is the total domination number of G ( $$\gamma _{t}(G)$$ ), while the length of a longest such sequence is the Grundy total domination number of G ( $$\gamma _{gr}^t(G)$$ ). In this paper we study graphs with equal total and Grundy total domination numbers. We characterize bipartite graphs with both total and Grundy total dominations number equal to 4, and show that there is no connected chordal graph G with $$\gamma _{t}(G)=\gamma _{gr}^t(G)=4$$ . The main result of the paper is a characterization of bipartite graphs with $$\gamma _{t}(G)=\gamma _{gr}^t(G)=6$$ proved by establishing a surprising correspondence between the existence of such graphs and a classical but still open problem of the existence of certain finite projective planes.

Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $\chi_{\rho}(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $\Delta$ times ($\Delta$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$., Comment: 24 pages

The aim of this paper is twofold. Firstly, we study the non-existence of finite order meromorphic solutions to the Cubic type of Fermat functional equation $$f(z)^3-3\tau f(z)f(z+c)+f(z+c)^3=1$$. In addition, the paper is concerned with the description of finite order entire solutions of the Quadratic type of Fermat functional equation $$f(z)^2-2\mu f(z)f(z+c)+f(z+c)^2=1$$.

The Hermite–Hadamard inequality was extended using iterated integrals by Retkes [Acta Sci Math (Szeged) 74:95–106, 2008]. In this paper we further extend the main results of the above paper for convex and also for s-convex functions in the second sense.

In this paper we study Gruss type inequalities for real and complex valued functions in probability spaces. Some earlier Gruss type inequalities are extended and refined. Our approach leads to new integral inequalities which are interesting in their own right. As an application, we give a Gruss type inequality for normal operators in a Hilbert space. Similar results are obtained only for self-adjoint operators in earlier papers.

The paper deals with F-normed functions and sequence spaces. First, some general results on such spaces are presented. But most of the results in this paper concern various monotonicity properties and various Kadec–Klee properties of F-normed Orlicz functions and sequence spaces and their subspaces of elements with order continuous norm, when they are generated by monotone Orlicz functions on $${\mathbb {R}}_{+}$$ and equipped with the classical Mazur–Orlicz F-norm. Strict monotonicity, lower (and upper) local uniform monotonicity and uniform monotonicity in the classical sense as well as their orthogonal counterparts are considered. It follows from the criteria that are presented for these properties that all the above classical monotonicity properties except for uniform monotonicity differ from their orthogonal counterparts [in contrast to Kothe spaces (see Hudzik et al. in Rocky Mt J Math 30(3):933–950, 2000)]. The Kadec–Klee properties that are considered in this paper correspond to various kinds of convergence: convergence locally in measure and convergence globally in measure for function spaces, uniform convergence and coordinatewise convergence in the case of sequence spaces.

The study of quantum integers and their operations is closely related to the studies of symmetries of roots of polynomials and of fundamental questions of decompositions in Additive Number Theory. In his papers on quantum arithmetics, Melvyn Nathanson raises the question of classifying solutions of functional equations arising from the multiplication of quantum integers, starting with polynomial solutions and then generalizing to rational function solutions. The classification of polynomial solutions with fields of coefficients of characteristic zero and support base P has been completed. In a paper concerning the Grothendieck group associated to the collection of polynomial solutions, Nathanson poses a problem which asks whether the set of rational function solutions strictly contains the set of ratios of polynomial solutions. It is now known that there are infinitely many rational function solutions $$\Gamma $$ with fields of coefficients of characteristic zero not constructible as ratios of polynomial solutions, even in the purely cyclotomic case, which is the case most similar to the polynomial solution case. The classification of polynomial solutions is thus not sufficient, in essential ways, to resolve the classification problem of all rational function solutions with fields of coefficients of characteristic zero. In this paper we study symmetries of roots of rational functions and the classification of the important class-the last and main obstruction to the classification problem-of rational function solutions, the purely cyclotomic, purely nonrational primitive solutions with fields of coefficients of characteristic zero and support base P, which allows us to complete the classification problem raised by Nathanson.

In an earlier paper we discussed the composition of derivations of order 1 on a commutative ring R, showing that (i) the composition of n derivations of order 1 yields a derivation of order at most n, and (ii) under additional conditions on R the composition of n derivations of order exactly 1 forms a derivation of order exactly n. In the present paper we consider the composition of derivations of any orders on rings. We show that on any commutative ring R the composition of a derivation of order at most n with a derivation of order at most m results in a derivation of order at most $$n+m$$. If R is an integral domain of sufficiently large characteristic, then the composition of a derivation of order exactly n with a derivation of order exactly m results in a derivation of order exactly $$n+m$$. As in the previous paper, the results are proved using Leibniz difference operators.

Quasimetric spaces have been an object of thorough investigation since Frink’s paper appeared in 1937 and various generalisations of the axioms of metric spaces are now experiencing their well-deserved renaissance. The aim of this paper is to present two improvements of Frink’s metrization theorem along with some fixed point results for single-valued mappings on quasimetric spaces. Moreover, Cantor’s intersection theorem for sequences of sets which are not necessarily closed is established in a quasimetric setting. This enables us to give a new proof of a quasimetric version of the Banach Contraction Principle obtained by Bakhtin. We also provide error estimates for a sequence of iterates of a mapping, which seem to be new even in a metric setting.

The purpose of this paper is to investigate the invariance of the arithmetic mean with respect to two weighted Bajraktarevic means, i.e., to solve the functional equation $$\begin{aligned} \left( \frac{f}{g}\right) ^{\!\!-1}\!\!\left( \frac{tf(x)+sf(y)}{tg(x)+sg(y)}\right) +\left( \frac{h}{k}\right) ^{\!\!-1}\!\!\left( \frac{sh(x)+th(y)}{sk(x)+tk(y)}\right) =x+y \qquad (x,y\in I), \end{aligned}$$ where $$f,g,h,k:I\rightarrow \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\rightarrow \mathbb {R}$$ are four times continuously differentiable.

In the first part of the paper we give a new integral representation for the principal branch of the Lambert W function. Then we deduce two continued fraction expansions for this branch. At the end of the paper we study the numerical behavior of the approximants of these expansions.

In this paper we consider monic polynomials such that their coefficients coincide with their zeros. These polynomials were first introduced by S. Ulam. We combine methods of algebraic geometry and dynamical systems to prove several results. We obtain estimates on the number of Ulam polynomials of degree $N$. We provide additional methods to obtain algebraic identities satisfied by the zeros of Ulam polynomials, beyond the straightforward comparison of their zeros and coefficients. To address the question about existence of orthogonal Ulam polynomial sequences, we show that the only Ulam polynomial eigenfunctions of hypergeometric type differential operators are the trivial Ulam polynomials $\{x^N\}_{N=0}^\infty$. We propose a family of solvable $N$-body problems such that their stable equilibria are the zeros of certain Ulam polynomials., This version contains clarifications of the exposition to match the published version of the paper

In this paper our aim is to show some new inequalities of the Redheffer type for Bessel and modified Bessel functions of the first kind. The key tools in our proofs are some classical results on the monotonicity of quotients of differentiable functions as well as on the monotonicity of quotients of two power series. We also use some known results on the quotients of Bessel and modified Bessel functions of the first kind, and by using the monotonicity of the Dirichlet eta function we prove a sharp inequality for the tangent function. At the end of the paper a conjecture is stated, which may be of interest for further research.

The goal of this paper is to point out that the results obtained in the recent papers (Chen and Song in Nonlinear Anal 72:1895–1901, 2010; Chu in J Math Anal Appl 327:1041–1045, 2007; Chu et al. in Nonlinear Anal 59:1001–1011, 2004a, J. Math Anal Appl 289:666–672, 2004b) can be seriously strengthened in the sense that we can significantly relax the assumptions of the main results so that we still get the same conclusions. In order to do this first, we prove that for $$n \ge 3$$ any transformation which preserves the n-norm of any n vectors is automatically plus-minus linear. This will give a re-proof of the well-known Mazur–Ulam-type result that every n-isometry is automatically affine ( $$n \ge 2$$ ) which was proven in several papers, e.g. in Chu et al. (Nonlinear Anal 70:1068–1074, 2009). Second, following the work of Rassias and Semrl (Proc Am Math Soc 118:919–925, 1993), we provide the solution of a natural Aleksandrov-type problem in n-normed spaces, namely, we show that every surjective transformation which preserves the unit n-distance in both directions ( $$n\ge 2$$ ) is automatically an n-isometry.

In the present paper we introduce a notion of the \(\mathbb {K}\)-Riemann integral as a natural generalization of a usual Riemann integral and study its properties. The aim of this paper is to extend the classical Hermite–Hadamard inequalities to the case when the usual Riemann integral is replaced by the \(\mathbb {K}\)-Riemann integral and the convexity notion is replaced by \(\mathbb {K}\)-convexity.

This paper gives simple proofs of Sylvester (` = 2) and Frobenius (` = 3) inequalities. Moreover, a new sufficient condition for the equality of the Frobenius inequality is provided. In addition, an extension for ` > 3 matrices and an application to generalized inverses are provided., This paper has been partially supported by Ministerio de Economia y Competitividad (Grant DGI MTM2013-43678P and Red de Excelencia MTM2015-68805-REDT). The author thanks the referees for their valuable suggestions.

Investigating the future value F(K, s, t) of a capital K invested between dates s and t, the “natural” condition $$F(K,s,t)\ge K$$ F ( K , s , t ) ≥ K has lost its naturality because of the strange fact of negative interest rates. This leads to the task of describing the possible solutions of the multiplicative Sincov equation $$f(s,u)=f(s,t)f(t,u)$$ f ( s , u ) = f ( s , t ) f ( t , u ) for $$s\le t\le u$$ s ≤ t ≤ u where $$f(s,t)=0$$ f ( s , t ) = 0 may happen. In this paper we solve this task and discuss connections to the theory of investments.

A scientific law can be a faithful representation of the physical world only if its form is invariant with respect to changes in the unit or units. This is referred to as the ‘meaningfulness condition.’ This condition is powerful. If we require it, the mathematical form of a scientific or geometric law may be derivable from some abstract constraint, possibly verifiable by a thought experiment or a trivial argument. We discuss five examples of such abstract constraints in this paper: In each case, just one or a couple of meaningful mathematical representations are possible. In this paper, we derive the possible meaningful representations in five examples. These results are obtained under some general conditions, in addition to those listed in 1–5. Other meaningful representations may be possible under different additional conditions.

In this paper we consider a generalized monomial or polynomial $$ f : \mathbb {R}\rightarrow \mathbb {R}$$ f : R → R that satisfies the additional equation $$ f(x) f(y) = 0 $$ f ( x ) f ( y ) = 0 for the pairs $$ (x,y) \in D \,$$ ( x , y ) ∈ D , where $$ D \subseteq {\mathbb {R}}^{2} $$ D ⊆ R 2 is given by some algebraic condition. In the particular cases when f is a generalized polynomial and there exist non-constant regular polynomials p and q that fulfill $$\begin{aligned} D = \{\, (p(t),q(t)) \,\vert \, t \in \mathbb {R}\,\} \end{aligned}$$ D = { ( p ( t ) , q ( t ) ) | t ∈ R } or f is a generalized monomial and there exists a positive rational m fulfilling $$\begin{aligned} D = \{\, (x,y) \in {\mathbb {R}}^{2} \,\vert \, x^2 - m y^2 = 1 \,\}, \end{aligned}$$ D = { ( x , y ) ∈ R 2 | x 2 - m y 2 = 1 } , we prove that $$ f(x) = 0 $$ f ( x ) = 0 for all $$ x \in \mathbb {R}\,$$ x ∈ R .

The equality problem of two-variable Bajraktarević means can be expressed as the functional equation $$\begin{aligned} \left( \frac{f}{g}\right) ^{-1}\bigg (\frac{f(x)+f(y)}{g(x)+g(y)}\bigg ) =\left( \frac{h}{k}\right) ^{-1}\bigg (\frac{h(x)+h(y)}{k(x)+k(y)}\bigg )\qquad (x,y\in I), \end{aligned}$$ f g - 1 ( f ( x ) + f ( y ) g ( x ) + g ( y ) ) = h k - 1 ( h ( x ) + h ( y ) k ( x ) + k ( y ) ) ( x , y ∈ I ) , where I is a nonempty open real interval, $$f,g,h,k:I\rightarrow {\mathbb {R}}$$ f , g , h , k : I → R are continuous functions, g, k are positive and f/g, h/k are strictly monotone. This functional equation, for the first time, was solved by Losonczi in 1999 under 6th-order continuous differentiability assumptions. Additional and new characterizations of this equality problem have been found recently by Losonczi, Páles and Zakaria under the same regularity assumptions in 2021. In this paper it is shown that the same conclusion can be obtained under substantially weaker regularity conditions, namely, assuming only first-order differentiability.

In the present paper a notion of delta (s, t)-convexity in the sense of Veselya nd Zajiucek is studied as a natural generalization of the classical (s, t)-convexity. The main result of this paper is a support theorem for delta (s, t)-convex mappings. Mathematics Subject Classification. 39B62, 26A51, 26B25.

In this paper, we prove the Hyers–Ulam stability theorem when $${f, g, h : \mathbb{R} \to \mathbb{R}}$$ satisfy $$|f(x + y) - g(x) - h(y)| \leq \epsilon$$ in a set $${\Gamma \subset \mathbb{R}^{2}}$$ of measure $${m(\Gamma) = 0}$$ , which refines a previous result in Chung (Aequat Math 83:313–320, 2012) and gives an affirmative answer to the question in the paper. As a direct consequence we obtain that if $${f, g, h : \mathbb{R} \to \mathbb{R}}$$ satisfy the Pexider equation $$f(x + y) - g(x) - h(y) = 0$$ in $${\Gamma}$$ , then the equation holds for all $${x, y \in \mathbb{R}}$$ . Using our method of construction of the set, we can find a set $${\Gamma \subset \mathbb{R}^{2n}}$$ of 2n-dimensional measure 0 and obtain the above result for the functions $${f, g, h : \mathbb{R}^{n} \to \mathbb{C}}$$ .

Spectral analysis and synthesis studies translation invariant function spaces, so-called varieties over topological groups. The basic building blocks are the finite dimensional varieties. In the commutative case finite dimensional varieties are spanned by exponential polynomials. In non-commutative situations no relevant results exist. In this paper we consider finite dimensional left translation invariant linear spaces of continuous complex valued functions over the Heisenberg group. Using basic knowledge about Lie algebra we describe all left varieties of this type. In particular, it turns out that those function spaces are spanned by exponential polynomials as well.

In this paper, we present an application of the viscosity approximation type iterative method introduced by Nandal et al. (Iteration Process for Fixed Point Problems and Zeros of Maximal Monotone Operators, Symmetry, 2019) to visualize and analyse the Julia and Mandelbrot sets for a complex polynomial of the type $$T(z) = z^{n} + p z + r$$ T ( z ) = z n + p z + r , where $$p, r\in {\mathbb {C}}$$ p , r ∈ C , and $$n \ge 2$$ n ≥ 2 . This iterative method has many applications in solving various fixed point problems. We derive an escape criterion to visualize Julia and Mandelbrot sets via the proposed viscosity approximation type method. Moreover, we present several graphical examples of the fractals generated with the proposed iteration method.

In this paper we introduce the concept of translation invariant functions: considering an arbitrary set $$\emptyset \ne S \subset {\mathbb {R}}^n$$ ∅ ≠ S ⊂ R n , the function $$F : S \longrightarrow {\mathbb {R}}$$ F : S ⟶ R is translation invariant if $$F(x) = F(y)$$ F ( x ) = F ( y ) implies $$F(x+t)=F(y+t)$$ F ( x + t ) = F ( y + t ) for any vectors $$x,y,t \in {\mathbb {R}}^n$$ x , y , t ∈ R n such that $$x ,y , x+t ,y+t \in S$$ x , y , x + t , y + t ∈ S . In our main results we shall consider an open, connected set $$\emptyset \ne D \subset {\mathbb {R}}^n$$ ∅ ≠ D ⊂ R n . We prove that if $$F : D \longrightarrow {\mathbb {R}}$$ F : D ⟶ R is a translation invariant, continuous function, then there exists a vector $$a = (a_1, \dots , a_n) \in {\mathbb {R}}^n$$ a = ( a 1 , ⋯ , a n ) ∈ R n and a strictly monotone, continuous function f such that $$\begin{aligned} F(x_1, \dots , x_n) = f (a_1 x_1 + \dots + a_n x_n) \end{aligned}$$ F ( x 1 , ⋯ , x n ) = f ( a 1 x 1 + ⋯ + a n x n ) holds for all $$(x_1, \dots , x_n) \in D \,$$ ( x 1 , ⋯ , x n ) ∈ D . Using this result we also show that continuous solutions $$ F : D \longrightarrow {\mathbb {R}}$$ F : D ⟶ R of the system of functional equations $$\begin{aligned} F(x_1 , \dots , x_j + t_j , \dots , x_n) = \Psi _j (F (x_1 , \dots , x_j , \dots , x_n), t_j) \ \ (j=1,\dots ,n) \end{aligned}$$ F ( x 1 , ⋯ , x j + t j , ⋯ , x n ) = Ψ j ( F ( x 1 , ⋯ , x j , ⋯ , x n ) , t j ) ( j = 1 , ⋯ , n ) can be represented as the composition of a strictly monotone, continuous function and a linear functional as well. Applying the latter theorem, we give a characterization of Cobb–Douglas type utility functions.

In the paper Brillouet-Belluot and Ebanks (Aequationes Math 60:233–242, 2000), the authors found all continuous functions f: [0, 1] → [0, + ∞) which verify f(0) = f(1) = 0 and the functional equation $$f(xy +c f(x) f(y)) = x f(y) + y f(x) +d \, f(x) f(y)$$ where c and d are given real numbers with c ≠ 0. In the present paper we obtain all continuous solutions \({f: \mathbb{R} \rightarrow \mathbb{R}}\) of the functional equation (1).

In this paper we will study a connection between some generalization of AC-subspaces, vector valued invariant $$\lambda $$ λ -means and $$\lambda $$ λ -complementability.

In this paper we will study Hyers-Ulam stability for a general linear partial differential equation of first order in a Banach space.

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy−1) = 2f(x) and f(xy) + f(y−1x) = 2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group \({{GL_n(R), R=\mathbb{Z},\mathbb{R}}}\) , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group Sn, the group of all solutions of these functional equations coincides with the group of all homomorphisms from (Sn, ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.

In this second paper we continue our development of elementary methods for computing continuous complex-valued solutions of the 2-cocycle functional equation on locally compact groups. The first paper dealt primarily with solvable groups. Here we consider some classical motion groups of mathematical physics, including the Euclidean, Galilean, Lorentz and Poincare groups.

The paper deals with the polynomial-like iterative functional equation $$\lambda_1 f(x)+\lambda_2 f^2(x)+\cdots+\lambda_n f^n(x)=F(x).$$ By using Schauder’s fixed point theorem and a version of the uniform boundedness principle for families of convex (respectively higher order convex) functions as basic tools, the existence of nondecreasing convex (respectively higher order convex) solutions to this equation on open (possibly unbounded) intervals is investigated. The results of the paper complement similar ones established by other authors, concerning the existence of monotonic or convex solutions to the above equation on compact intervals. Some examples illustrating their applicability are provided.

Let $$f : {\mathbb{R}} \longrightarrow {\mathbb{R}}$$ denote the function given by $$f(t) = \sum \limits^{\infty}_{n=0} a_{n}t^{n}, t \in {\mathbb{R}}$$ , where $$a_n \geq 0, n \in {\mathbb{N}}$$ . Let K be a closed convex cone in a real Banach space and $$H : K \longrightarrow cc(K)$$ a linear and continuous set-valued function with nonempty, convex and compact values in K. The set-valued function $$F^t(x) := \sum \limits_{n=0}^{\infty} a_{n}t^{n}H^{n}(x), x \in K$$ is linear and continuous for all $$t \geq 0$$ and $$F^{t} \circ F^{s}(x) \subseteq \sum \limits_{n=0}^{\infty} c_{n}H^{n} (x), x \in K$$ where $$c_{n} = \sum \limits_{k=0}^{n} a_{k} a_{n-k}{{t^{k}}s^{n-k}}, t, s \geq 0$$ . The paper generalizes papers of J. Plewnia and M. Piszczek where f is an exponential and a cosine function respectively.

In Shulman (J Funct Anal 263:1468–1484, Theorem 2.2) the author estimated the cardinality of the global image of a subadditive map from a group to an arbitrary power set and applied the result to functional equations of Levi-Civita type (the relations of this result to covering a group by subgroups will be shortly discussed in the present paper). Here we will establish the metric stability of this theorem. Namely it will be shown that if a set-valued map F from a group G to a metric space $$(\mathcal {X}, d)$$ ( X , d ) satisfies the condition $$\begin{aligned} d \left( F(gh), F(g)\cup F(h)\right) < \delta , \;\; \text {for any }\ g,h\in G \; \text { and some } \delta >0, \end{aligned}$$ d F ( g h ) , F ( g ) ∪ F ( h ) < δ , for any g , h ∈ G and some δ > 0 , and the cardinality of each F(g) does not exceed $$n\in \mathbb {N}$$ n ∈ N , then the set $$F(G):= \cup _{g\in G}F(g)$$ F ( G ) : = ∪ g ∈ G F ( g ) can be covered by $$n(n+3)/2$$ n ( n + 3 ) / 2 balls of radius $$(3\cdot 6^{n-1}-1)\delta $$ ( 3 · 6 n - 1 - 1 ) δ .

It is well known that there are no nonzero linear derivations on complex commutative semisimple Banach algebras. In this paper we prove the following extension of this result. Let A be a complex semisimple Banach algebra and let D : A → A be a linear mapping satisfying the relation D(x 2) = 2xD(x) for all x ∈ R. In this case D = 0. Throughout, R will represent an associative ring with center Z(R). A ring R is n-torsion free, where n > 1 is an integer, if nx = 0, x ∈ R implies x = 0. As usual the commutator xy − yx will be denoted by [x, y]. We shall use the commutator identities [xy, z] = [x, z] y + x [y, z] and [x, yz] = [x, y] z + y [x, z] for all x, y, z ∈ R. Recall that a ring R is prime if for a, b ∈ R, aRb = (0) implies that either a = 0 or b = 0, and is semiprime in case aRa = (0) implies that a = 0. An additive mapping D is called a derivation if D(xy) = D(x)y + xD(y) holds for all pairs x, y ∈ R, and is called a Jordan derivation in case D(x 2) = D(x)x + xD(x) is fulfilled for all x ∈ R. Obviously, any derivation is a Jordan derivation. The converse is in general not true. Herstein ([8]) has proved that any Jordan derivation on a 2-torsion free prime ring is a derivation (see also [1]). Cusack ([5]) has generalized Herstein’s result to 2-torsion free semiprime rings (see [2] for an alternative proof). An additive mapping D : R → R is called a left derivation if D(xy) = yD(x) + xD(y) holds for all pairs x, y ∈ R and is called a left Jordan derivation (or Jordan left derivation) in case D(x 2) = 2xD(x) is fulfilled for all x ∈ R. In this paper by a Banach algebra we mean a Banach algebra over the complex field.

The object of this paper is to investigate possibilities of extending the solution F : C → W of certain functional equations to V and of n-Jensen functions f : Cn → W to Vn, where C is a \({\mathbb{Q}}\) -convex subset of V and V, W are \({\mathbb{Q}}\) -vector spaces. Solutions of the considered functional equations defined on V and n-Jensen functions defined on Vn have been utilized in recent papers (e.g. [2], [4]) in order to characterize generalized polynomials P : V →W of degree ≤ n. Therefore these extension theorems may present a point of view for defining generalized polynomials on a \({\mathbb{Q}}\) -convex subset of a \({\mathbb{Q}}\) -vector space.

A real-valued function f defined on an open convex set $$D\subseteq X $$ is called (d, t)-convex if it satisfies $$f(tx + (1 - t)y)\leq tf(x)+(1 - t)f(y) + d(x, y)$$ for all $$x,\, y \in D$$ , where $$d : X {\times} X \rightarrow{\mathbb{R}}$$ is a given function and t $$\in$$ ]0, 1[ is a fixed parameter. The main result of the paper states that if f is locally bounded from above at a point of D and (d, t)-convex then it satisfies the convexity-type inequality (under some assumptions) $$f(sx + (1 - s)y)\leq sf(x) + (1 - s)f(y) +\varphi(s)d(x, y)$$ for all $$x, y \in D$$ and s $$\in$$ [0, 1], where $$\varphi : [0, 1] \rightarrow {\mathbb{R}}$$ is defined as the fixed point of a certain contraction. The main result of this paper offers a generalization of the celebrated Bernstein and Doetsch theorem and the recent results by Nikodem and Ng, Pales and the author.