Fixed points and stability of an AQCQ-functional equation in \(G\)-normed spaces (Q2829386)

Let \(X\) be a vector space over a field \(\mathbb{F} \in \{\mathbb{R},\mathbb{C}\}\). A function \(\|\cdot, \cdot\|: X^2 \to [0,\infty)\) is called a \(G\)-norm ifNEWLINENEWLINE(1) \(\|x,y\| = 0\) if and only if \(x = y = 0\),NEWLINENEWLINE(2) \(\|x - y, 0 \| \leq \|x - w, 0\| + \|w - y, 0\|\) for all \(x, y, w \in X\),NEWLINENEWLINE(3) \(\|x - y, x - z \| \leq \|x - w, x - w\| + \|w - y, w - z\|\) for all \(x, y, z, w \in X\),NEWLINENEWLINE(4) \(\|\lambda x, \lambda y\| = |\lambda| \|x, y\|\) for all \(x, y \in X\) and \(\lambda \in F\).NEWLINENEWLINELet \((X, \|\cdot, \cdot\|)\) be a \(G\)-normed space. A sequence \(\{x_n \}\) in \(X\) is said to be a \(G\)-Cauchy sequence if for each \(\varepsilon > 0\), there exists an integer \(N\) such that for all \(m, l \geq N\) NEWLINE\[NEWLINE \|x_l - x_m, x_l - x_m \| < \varepsilon, \;\|x_l - x_m, 0 \| < \varepsilon. NEWLINE\]NEWLINE A sequence \(\{x_n \}\) in \(X\) is said to be \(G\)-convergent to an element \(x \in X\) if for each \(\varepsilon > 0\), there exists an integer \(N\) such that for all \(m \geq N\) NEWLINE\[NEWLINE \|x - x_m, x - x_m \| < \varepsilon, \;\|x - x_m, 0 \| < \varepsilon. NEWLINE\]NEWLINENEWLINENEWLINEA \(G\)-normed linear space \(X\) is complete if every \(G\)-Cauchy sequence is \(G\)-convergent in \(X\).NEWLINENEWLINELet \(X\) be a \(G\)-normed space and \(Y\) be a complete \(G\)-normed space. For a given mapping \(f: X \to Y\) we define NEWLINE\[NEWLINE Df(x,y) := f(x + 2y) + f(x - 2y) - 4f(x + y) - 4f(x - y) + 6f(x) - f(2y) - f(-2y) + 4f(y) + 4f(-y) NEWLINE\]NEWLINE for all \(x, y \in X\).NEWLINENEWLINELet \(\varphi: X^4 \to [0, \infty)\) be a function such that there exists an \(L < 1\) with NEWLINE\[NEWLINE \varphi(x,y, z, w) \leq \frac{L}{8} \varphi(2x,2y, 2z, 2w) NEWLINE\]NEWLINE for all \(x, y, z,w \in X\). Let \(f: X \to Y\) be an odd mapping satisfying NEWLINE\[NEWLINE \|Df(x,y), Df(z,w)\| \leq \varphi(x,y, z, w) NEWLINE\]NEWLINE for all \(x, y, z, w \in X\). Then there exists a unique mapping \(C: X \to Y\) such that NEWLINE\[NEWLINE DC(x,y) = 0, NEWLINE\]NEWLINE NEWLINE\[NEWLINE \|f(2x) - 2f(x) - C(x), f(2x) - 2f(x) - C(x) \| \leq \frac{L}{8 - 8L}(4\varphi(x, x, x , x) + \varphi(2x, x, 2x, x)) NEWLINE\]NEWLINE and NEWLINE\[NEWLINE \|f(2x) - 2f(x) - C(x), 0 \| \leq \frac{L}{8 - 8L}(4\varphi(x, x, 0 , 0) + \varphi(2x, x, 0, 0)) NEWLINE\]NEWLINE for all \(x \in X\).NEWLINENEWLINEThis is one of results of the paper in the odd case. The even case is also considered.