“When is it true that a function which approximately satisfies a function equation ε must be somehow close to an exact solution of ε" is a classical question in the theory of functional equations. Such a problem was formulated by Ulam [17] in 1940 and solved by Hyers [5] for the Cauchy function equation in the next year. It has given rise to the stability theory for functional equations. Since then, the stability of functional equations has been extensively investigated by many mathematicians [2, 6, 7, 9, 10, 11, 12, 13, 14, 15]. Recently, Li and Hua [8] investigated the Hyers–Ulam stability of the following polynomial equation:

where x∈[−1,1], and α,β∈R. Later in 2010, Bikhdam, Soleiman Mezerji, and Eshaghi Gordji [1] proved that if |a1| is large and |a0| is small enough, then the following polynomial equation of degree n:

where x∈[−1,1], and ai∈R,(i=0,1,2,⋯,n), have Hyers–Ulam stability. They also established the Hyers–Ulam stability of power series equations, and investigated their generalized Hyers–Ulam stability.

Operator equations in Banach spaces are of great significance in pure and applied mathematics, and Banach spaces are the generalization of [-1,1], There have been some results concerning the Hyers–Ulam stability of equations in Banach spaces, Banach algebras, and quasi–Banach algebras. In 2016, Eghbali [3] discussed and proved the Hyers–Ulam stability of the generalized polynomial equation over Banach algebras with real coefficients. In 2019, Weizheng Zhang, Liubin Hua, and Yongjin Li [18] investigated and proved the Hyers–Ulam stability of polynomial equations in quasi–Banach algebras. Whether Banach algebras or quasi–Banach algebras are metric spaces, considering that dislocated quasi–metric spaces are the generalization of metric spaces, is of great importance to investigate equations in dislocated quasi–metric spaces. In this paper, motivated by the results mentioned above, we investigate the Hyers–Ulam stability of three typical polynomial equations in dislocated quasi–metric spaces.

Definition 1.1. Let X be a Banach space and F(x)=0 be an equation in X. If a constant C>0 exists with the following property: for every ε>0 and y∈X, if ‖F(y)‖≤ε, then some x0∈X exists satisfying F(x0)=0, such that ‖y−x0‖<Cε. Such C is called a Hyers–Ulam stability constant for equation F(x)=0. Thus, we say that the equation F(x)=0 has Hyers–Ulam stability in X.

The concept of dislocated quasi–metric spaces was introduced in 2001 by Hitzler [7] in which the self–distance of points need not be zero.

Definition 1.2.([4]) Let X be a nonempty set and d:X×X→[0,∞) be a given function that satisfies

• (1) d(x,y)=d(y,x)=0 implies that x=y;

• (2) d(x,y)≤d(x,z)+d(z,y) for all x,y,z∈X.

Then, d is called a dislocated quasi metric on X, and the pair (X,d) is called a dislocated quasi–metric space.

Rahman, and Sarwar [16] defined the convergence and completeness in dislocated quasi–metric spaces as follows:

Definition 1.3.([16])

Let (X,d) be a dislocated quasi–metric space, {x_n } be a sequence in X, and x ∈ X. Then, the sequence {x_n} converges to x if and only if

Definition 1.4.([16])

Let (X,d) be a dislocated quasi–metric space and {xn} be a sequence in $X$. We say that the sequence {xn} is a left-Cauchy sequence if and only if for every ε>0, a positive integer N=N(ε) exists such that d(xn,xm)≤ε for all n≥m>N.

Definition 1.5.([16])

Let (X,d) be a dislocated quasi–metric space and {x_n } be a sequence in X. We say that the sequence {x_n} is a right-Cauchy sequence if and only if for every ε >0, a positive integer N=N(ε) exists such that d(xn,xm)≤ε for all m≥n>N.

Definition 1.6.([16])

Let (X,d) be a dislocated quasi–metric space and {x_n} be a sequence in X. We say that the sequence {x_n} is a Cauchy sequence if and only if for every ε >0, a positive integer N=N(ε) exists such that d(xn,xm)≤ε for all n,m>N.

Definition 1.7.([16])

Let (X,d) be a dislocated quasi–metric space. We say that

• (1) (X,d) is left-complete if and only if every left-Cauchy sequence in X is convergent;

• (2) (X,d) is right-complete if and only if every right-Cauchy sequence in X is convergent;

• (3) (X,d) is complete if and only if every Cauchy sequence in X is convergent.

Therefore, a dislocated quasi–metric space that is left-complete may not be right-complete.

Example 1.1.([12])

Let X=R, and define the metric in R as follows:

Then, (R,d) is right-complete but not left-complete.

Remark 1.1.

Every metric space is a dislocated quasi–metric space, but the converse is not necessarily true. Thus, it is interesting to investigate the difference of completeness between metric spaces and dislocated quasi–metric spaces.

Theorem 1.1. Let (X,|| ⋅ ||) be a normed space, for all x,y ∈ X. We define the metric space in X as ρ (x,y)=|| x-y ||, and define the dislocated quasi metric in X as d(x,y)=|| x-y || + || x ||. Then, the completeness of X under the metric ρ is equivalent to the completeness under the dislocated quasi metric d if and only if every Cauchy sequence with metric ρ converges to 0.

Proof. (Sufficiency) Suppose that the completeness of X under the metric ρ is equivalent to the completeness under the dislocated quasi metric d, and {x_n} is a Cauchy sequence under the metric ρ, then {x_n} is also a Cauchy sequence under the dislocated quasi metric d. Thus, for any positive integer N, where n,m>N, we have the following:

Therefore,

That is, every Cauchy sequence under the metric ρ converges to 0. (Necessity) Suppose that any Cauchy sequence of X under the metric ρ converges to 0, then X is complete with the metric ρ. Suppose {x_n} is a Cauchy sequence of X under the dislocated quasi metric d. Then, for any positive integer N, where n,m>N, we have the following:

That is,

Thus, {x_n} is also a Cauchy sequence under the metric ρ, and xn→0∈X(n→∞). Moreover, X is complete under the dislocated quasi metric d.

Using the fixed–point theorem is a key point to prove the Hyers–Ulam stability of polynomial equations. In 2014, Rahman, and Sarwar [16] investigated and proved some fixed–point theorems in dislocated quasi–metric spaces.

Definition 1.8.([16])

Let (X,d) be a metric space. A self–mapping T:X " X is called a generalized contraction

if and only if, for all x,y∈X, c1,c2,c3,c4 exist such that sup{c1+c2+c3+2c4}<1 and

Theorem 1.2.([16])

Let (X,d) be a complete dislocated quasi metric space, and T: X " X be a continuous self–mapping satisfying the following condition:

for all x,y∈X and α,β,γ,μ≥0 with α+β+γ+2μ<1. Then, T has a unique fixed point.

Let X=[-1,1]. We define the metric in X as follows:

This paper primarily investigates the following three operator equations in $X$:

where ai∈R(i=0,1,2,⋯,n,⋯) are the coefficient operators of the corresponding equations. This paper proves that the above equations have Hyers–Ulam stability on (X,d) under some conditions of their coefficient operators.

Because we already have the basic knowledge, we can investigate the Hyers–Ulam stability of the polynomial equations in dislocated quasi–metric spaces.

Lemma 2.1. Let X=[-1,1]. We define the dislocated quasi metric in X as d(x,y)=|x−y|+|x|. Then, X is a complete quasi–metric space.

Proof. X is a dislocated quasi–metric space under the dislocated quasi metric d. Let {x_n} be a Cauchy sequence of X. Then, for any positive integer N, where n,m>N, we have the following:

Therefore,

That is, any Cauchy sequence in X converges to X. Thus, (X,d) is a complete dislocated quasi–metric space.

Lemma 2.1. Let X=[-1,1]. We define the dislocated quasi metric in X as d(x,y)=|x−y|+|x|. Then, X is a complete quasi–metric space.

Proof. X is a dislocated quasi–metric space under the dislocated quasi metric d. Let {x_n} be a Cauchy sequence of X. Then, for any positive integer N, where n,m>N, we have

the following:

Therefore,

That is, any Cauchy sequence in X converges to X. Thus, (X,d) is a complete dislocated quasi–metric space.

2.1. Hyers–Ulam Stability of Equation (1.1) in Dislocated Quasi–metric Spaces

Theorem 2.1. If |a1|>n,a0=0, and y∈X satisfies the inequality

then a solution x0∈X exists for Equation (1.1) such that,

where α=n|a1|.

Proof. Let ε>0 and y∈X satisfy the inequality |yn+a1y+a0|≤ε. We prove that an x0∈X that satisfies Equation (1.1) also satisfies max{d(x0,y),d(y,x0)}<2ε(1−α)|a1|. First, we define a new operator on X:

and we have the following inequality:

Thus, as a function of x, g(x) is a continuous linear operator and maps X to X. Next, we prove that g satisfies the condition of Theorem 1.2. For any x,y ∈ X and x ≠ y, we have the following:

Thus,

Let α=n|a1|,β=0,γ=0, and µ =0, then we have α∈[0,1), and

Thus, g satisfies the condition of Theorem 1.2. By Theorem 1.2, unique x₀ ∈ X exist, such that g(x₀)=x₀. Hence, Equation (1.1) has a solution on X.

Finally, we demonstrate that Equation (1.1) has Hyers–Ulam stability. On one hand,

On the other hand,

Thus, we derive the following inequality:

which completes the proof.

2.2. Hyers–Ulam Stability of Equation (1.2) in Dislocated Quasi–metric Spaces

Using a similar method, we obtain the result regarding the Hyers–Ulam stability of Equation (1.2) in X.

Theorem 2.2. If a₀=0, |a1|>2|a2|+3|a3|+⋯+n|an|, and y∈X satisfies the inequality

then a solution x0∈X of Equation (1.2) exists such that

where α=2|a2|+3|a3|+⋯+n|an||a1|.

Proof. Let ε >0, and let y ∈ X satisfy the following inequality

We demonstrate that a solution x₀ ∈ X of Equation (1.2) exists such that max{d(x0,y),d(y,x0)}<2ε(1−α)|a1|. First, we define a new operator on X:

g(x)=−1a1(a0+a2x2+⋯+anxn),x∈[−1,1],

and we have the following inequality:

Thus, as a function of x, g(x) is a continuous linear operator and maps X to X.

Next, we prove that g satisfies the condition of Theorem 1.2. For any x,y ∈ X and x ≠ y, we have

Thus,

Let α=2|a2|+3|a3|+⋯+n|an||a1|, and β=γ=μ=0. Thus, we have α∈[0,1), and

Therefore, g satisfies the condition of Theorem 1.2. By Theorem 1.2, a unique x₀ ∈ X exists, such that g(x₀)=x₀. Hence Equation (1.2) has a solution on X. Finally, we demonstrate that Equation (1.2) has the Hyers–Ulam stability. On one hand,

On the other hand,

Thus, we derive the following inequality:

which completes the proof.

2.3. Hyers–Ulam Stability of Equation (1.3) in Dislocated Quasi–metric Spaces

Using a similar method, we obtain the result regarding the Hyers–Ulam stability of Equation (1.3) in X.

Theorem 2.3. If a₀=0, |a1|>∑ i=2∞i|ai|, and y ∈ X satisfies the

following inequality:

then a solution x0∈X of Equation (1.3) exists such that

where α=∑ i=2∞i|ai||a1|.

Proof. Let ε > 0 and y ∈ X satisfies the following inequality:

We demonstrate that a solution x0∈X satisfying Equation (1.3) exists such that max{d(x0,y),d(y,x0)}<2ε(1−α)|a1|. First, we define a new operator on X:

and we have the following inequality:

Thus, as a function of x, g(x) is a continuous linear operator and it maps X to X.

Next, we prove that g satisfies the condition of Theorem 1.2. For any x,y ∈ X and x ≠ y, we have the following:

Thus,

Let α=∑ i=2∞i|ai||a1|, and β=γ=μ=0. Then, we have α∈[0,1), and

Therefore, g satisfies the condition of Theorem 1.2. By Theorem 1.2, a unique x₀ ∈ X exists, such that g(x₀)=x₀. Hence, Equation (1.3) has a solution on X. Finally, we show that Equation (1.3) has the Hyers–Ulam stability. On one hand,

On the other hand,

Thus, we derive the following inequality:

which completes the proof.

It is easy to see that, using a similar method, we can discuss the Hyers–Ulam stability of the polynomial equation on any complete dislocated quasi–metric spaces. However, the results above work only under the condition in which the constant term of the polynomial equation equals to 0, and the Hyers–Ulam stability of polynomial equations in dislocated quasi–metric spaces does not work when the constant term is not equal to 0.

Example 2.1. Let X=[-1,1]. We define the dislocated quasi metric of X as: d(x,y)=|x−y|+|x|. In the following equation:

we take ε=1n, where n≥2,n∈N+. Therefore, x=1 is a solution to Equation (2.1). Then, suppose y=1−1n, and we have the following:

However,

and

Thus, the equation x2−2x+1=0 has no Hyers-Ulam stability in (X,d).

This work was supported by the National Natural Science Foundation of China (11971493).