Related papers: Maps preserving the sum-to-difference ratio
Consider the self-map F of the space of real-valued test functions on the line which takes a test function f to the test function sending a real number x to f(f(x))-f(0). We show that F is discontinuous, although its restriction to the…
In the paper, the equivalence of the functional inequality $$\|2f(x)+f(y)+f(-y)-f(x-y)\|\leq\|f(x+y)\|\;\;\;(x,y\in{G})$$ and the Drygas functional equation $$f(x+y)+f(x-y)=2f(x)+f(y)+f(-y)\;\;\;(x,y\in{G})$$ is proved for functions…
This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…
Let X and Y be curves over a finite field. In this article we explore methods to determine whether there is a rational map from Y to X by considering L-functions of certain covers of X and Y and propose a specific family of covers to…
We prove that if a mapping F:X to Y, where X and Y are Banach spaces, is metrically regular at x for y and its inverse F^{-1} is convex and closed valued locally around (x,y), then for any function G:X to Y with lip G(x)regF(x|y)) < 1, the…
We show that a family ${\cal F}$ of meromorphic functions in a domain $D$ satisfying $$\frac{|f^{(k)}|}{1+|f^{(j)}|^\alpha}(z)\ge C \qquad \mbox{for all} z\in D \mbox{and all} f\in {\cal F}$$ (where $k$ and $j$ are integers with $k>j\ge 0$…
We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…
Let B(X) be the algebra of all bounded linear operators on a complex Banach space X of dimension at least three. For an arbitrary nonzero complex number t we determine the form of mappings f: B(X)-->B(X) with sufficiently large range such…
Let $\mathbf{X}$ be a class of metric spaces and let $\mathbf{P}_{\mathbf{X}}$ be the set of all $f:[0, \infty)\to [0, \infty)$ preserving $\mathbf{X},$ $(Y, f\circ\rho)\in\mathbf{X}$ whenever $(Y, \rho)\in\mathbf{X}.$ For arbitrary subset…
Our main result is that we describe the solutions $g,f:S\rightarrow\mathbb{C}$ of the functional equation \[g(x\sigma(y))=g(x)g(y)-f(x)f(y)+\alpha f(x\sigma(y)),\quad x,y\in S,\] where $S$ is a semigroup, $\alpha \in \mathbb{C}$ is a fixed…
In this paper, we study sums of translates on the real axis. These functions generalize logarithms of weighted algebraic polynomials. Namely, we are dealing with the following functions \[ F(\mathbf{y},t) := J(t) + \sum \limits_{j=1}^n…
Let $l$ be a finite field of cardinality $q$ and let $n$ be in $\mathbb{Z}_{\geq 1}$. Let $f_1,\ldots,f_n \in l[x_1,\ldots,x_n]$ not all constant and consider the evaluation map $f=(f_1,\ldots,f_n) \colon l^n \to l^n$. Set…
We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…
We show that the family of all holomorphic functions $f$ in a domain $D$ satisfying $$\frac{|f^{(k)}|}{1+|f|}(z)\le C \qquad \mbox{ for all } z\in D$$ (where $k$ is a natural number and $C>0$) is quasi-normal. Furthermore, we give a general…
Let $\mathbb{F}_q$ be a finite field with $q$ elements and let $n$ be a positive integer. In this paper, we study the digraph associated to the map $x\mapsto x^n h(x^{\frac{q-1}{m}})$, where $h(x)\in\mathbb{F}_q[x].$ We completely determine…
We show that if $f$ is a non-negative superquadratic function, then $A\mapsto\mathrm{Tr}f(A)$ is a superquadratic function on the matrix algebra. In particular, \begin{align*} \tr f\left( {\frac{{A + B}}{2}} \right) +\tr f\left(\left|…
The Theory of Functional Connections (TFC) is most often used for constraints over the field of real numbers. However, previous works have shown that it actually extends to arbitrary fields. The evidence for these claims is restricting…
Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,...,x_n]$ is a sum of $m$ squares in $K[x_1,...,x_n]$, then $f$ is a sum of \[4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose…
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet…