Characterization and Stability of Multi-Euler-Lagrange Quadratic Functional Equations
Abstract
The aim of the current article is to characterize and to prove the stability of multi-Euler-Lagrange quadratic mappings. In other words, it reduces a system of equations defining the multi-Euler-Lagrange quadratic mappings to an equation, say, the multi-Euler-Lagrange quadratic functional equation. Moreover, some results corresponding to known stability (Hyers, Rassias, and Gӑvruta) outcomes regarding the multi-Euler-Lagrange quadratic functional equation are presented in quasi-β-normed and Banach spaces by using the fixed point methods. Lastly, an example for the nonstable multi-Euler-Lagrange quadratic functional equation is indicated.
1. Introduction
The celebrated Ulam challenge [1] arises from this question that how we can find an exact solution near to an approximate solution of an equation. This phenomenon of mathematics is called the stability of functional equations which has many applications in nonlinear analysis. The mentioned question has been partially solved by Hyers [2], Aoki [3], and Rassias [4] for the linear, additive, and linear (unbounded Cauchy difference) mappings, respectively. Next, many Hyers-Ulam stability problems for miscellaneous functional equations were studied by authors in the spirit of Rassias approach (see for instance [5–14] and other resources).
Rassias [30] introduced the following notion of a generalized Euler-Lagrange-type quadratic mapping and investigated its generalized stability.
Definition 1. Suppose that V and W are linear spaces. A nonlinear mapping satisfying the functional equation
Definition 2. Let V and W be vector spaces. A mapping f : Vn⟶W is said to be the n -Euler-Lagrange quadratic or multi-Euler-Lagrange quadratic if the mapping
In this article, we include a characterization of multi-Euler-Lagrange quadratic mappings and show that every multi-Euler-Lagrange quadratic mapping can be described as an equation (namely, the multi-Euler-Lagrange quadratic equation). Under the quadratic condition (2-power condition) in each variable, every multivariable mappings satisfying the mentioned earlier equation is multi-Euler-Lagrange quadratic (Theorem 5). Furthermore, we bring two Hyers-Ulam stability results for multi-Euler-Lagrange quadratic functional equations in quasi-β-normed and Banach spaces which their proof is based according to some known fixed point methods; see [33, 34] for more stability results in quasi-β-Banach spaces setting. Finally, we indicate an example to show that the multi-Euler-Lagrange quadratic functional equation is nonstable in the case of singularity.
2. Characterization of Multi-Euler-Lagrange Quadratic Mappings
- (i)
ℕ=the set of all natural numbers
- (ii)
ℤ= the set of all integer numbers
- (iii)
ℚ= the set of all rational numbers
- (iv)
ℕ0≔ℕ ∪ {0}
- (v)
ℝ+≔[0, ∞)
Let V be a linear space over ℚ. Given n ∈ ℕ, p ∈ ℕ0, s = (s1, ⋯, sn) ∈ ℚn, and v = (v1, ⋯, vn) ∈ Vn. We write sv≔(s1v1, ⋯, snvn) and pv≔(pv1, ⋯, pvn) which belong to Vn. Here and subsequently, V is linear space over ℚ and , in which i ∈ {1, 2}. Furthermore, for given the fixed elements such that aij ≠ 0, ±1, where i = 1, 2 and j = 1, ⋯, n (here and the rest of the paper). We will write and simply ai and vi, respectively, when no confusion can arise.
Definition 3. Let V and W be vector spaces over ℚ and f : Vn⟶W be a multivariable mapping.
- (i)
We say f satisfies (has) the 2-power (quadratic) condition in the jth component if
(9)for all x1, ⋯, xn ∈ V, where a∗ ∈ {a1j, a2j} for all j ∈ {1, ⋯, n} - (ii)
If f(x1, ⋯, xn) = 0 when the fixed xj is zero, then we say that f has zero functional equation in the jth variable. Moreover, if f(x1, ⋯, xn) = 0 for any (x1, ⋯, xn) ∈ Vn with at least one xj is zero, we say f has zero functional equation
We consider two hypotheses as follows:
(H1) f has the quadratic condition in all variables.
(H2) f has zero functional equation.
Remark 4. It is clear that if a mapping f : Vn⟶W satisfies the quadratic condition in the jth variable, then it has zero functional equation in the same variable. Therefore, if f fulfills (H1), then it satisfies (H2).
Theorem 5. For a mapping f : Vn⟶W, the following assertions are equivalent:
- (i)
f is multi-Euler-Lagrange quadratic
- (ii)
f fulfills (8) and H1
Proof. (i) ⇒ (ii) In view of [30], one can show that f satisfies H1. By induction on n, we now proceed the rest of this implication so that f satisfies equation (8). Obviously, f satisfies equation (4) for n = 1. The induction hypothesis is
Then
(ii) ⇒ (i) Let j ∈ {1, ⋯, n} be arbitrary and fixed. Taking v2k = 0 for all k ∈ {1, ⋯, n}\{j} in (8) and applying Remark 4, the left side will be as follows:
Once again, the same replacements convert the right side of (8) to
It follows from (12) and (13) that f is Euler-Lagrange (a1j, a2j)-quadratic in the jth component, and this completes the proof.
We should note that Theorem 5 necessitates that the mapping f : ℝn⟶ℝ defined through fulfills equation (8). Hence, this equation can be called the multi-Euler-Lagrange quadratic functional equation.
3. Stability and Nonstability Results
- (i)
d(u, v) = 0 if and only if u = v
- (ii)
d(u, v) = d(v, u)
- (iii)
d(u, w) ≤ d(u, v) + d(v, w)
The next theorem from [35] is one of fundamental results in fixed point theory and useful to achieve our first purpose in this section.
Theorem 6. Suppose that (Ω, d) is a complete generalized metric space and is a mapping such that its Lipschitz constant is L < 1. Then, for each element x ∈ Ω, one of following cases can be happen:
- (i)
- (ii)
There is an n0 ∈ ℕ such that for all n ≥ n0, and the sequence is convergent to a fixed point x∗ of which belongs to the set . Moreover, for all x ∈ Λ
In the sequel, for any mapping f : Vn⟶W, we define the operator Df : Vn × Vn⟶W via
In the incoming stability result for equation (14), ‖Df(v1, v2)‖ is controlled by a small positive number ε. We recall that for i = 1, 2, we consider vi = (vi1, ⋯, vin) ∈ Vn.
Theorem 7. Given ε > 0. Let V and W be a linear space and a complete normed space, respectively. Suppose that a mapping f : Vn⟶W fulfilling H2 and
Proof. Putting v2 = 0 in (17) and using the assumption H2, we have
Set v1 = v for simply and for the rest of the proof, all the equations and inequalities are valid for all v ∈ Vn. Once more, by replacing (v1, v2) instead of (av1, bv1) = (av, bv) in (17), we get
Multiplying both sides of (20) by mn and plugging to (22), we obtain
Let Ω≔{f:Vn⟶W|f satisfies (H2)}. For each f, g ∈ Ω, we define the function d on Ω as follows:
Similar to the proof of ([36], Theorem 2.2), it is seen that (Ω, d) is a complete generalized metric space. Define through
Therefore, . This shows that and in fact is a strictly contractive operator such that its Lipschitz is 1/m2n. It concludes from (24) that
Hence,
An application of Theorem 6 for the space (Ω, d), the operator , n0 = 0, and x = f, shows that the sequence is convergent in (Ω, d) and its limit; is a fixed point of . Indeed, and
In other words, by induction on l, it is easily verified that for each v ∈ Vn, we have
Remark 8. In the proof of Theorem 7, if we put v1 = 0, we can not reach to (20) unless it is assumed that f is even in each component. Recall from [33] that f : Vn⟶W is even in the kth component if
In other words, this condition is redundant, and we do not need it.
Hereafter, we concentrate our mind on the quasi-β-normed spaces.
Definition 9. Let β be a fix real number with 0 < β < 1 and denote either ℝ or ℂ. Suppose that E is a vector space over . A quasi-β-norm is a real-valued function on E fulfilling the next conditions for all x, y ∈ E and .
- (i)
‖x‖ ≥ 0 and moreover ‖x‖ = 0⇔x = 0
- (ii)
‖tx‖ = |t|β|‖x‖
- (iii)
There exists a real number M ≥ 1 such that ‖x + y‖ ≤ M(‖x‖ + ‖y‖)
When β = 1, the norm above is a quasinorm. Recall that M is the modulus of concavity of the norm ‖·‖. Moreover, if ‖·‖ is a quasi-β-norm on E, the pair (E, ‖·‖) is said to be a quasi- β -normed space. Similar to normed spaces, a complete quasi-β-normed space is called a quasi- β -Banach space. For 0 < p ≤ 1, if ‖x + y‖p ≤ ‖x‖p + ‖y‖p, for all x, y ∈ E, then the quasi-β-norm ‖·‖ is called a (β, p)-norm. In this case, every quasi-β-Banach space is said to be a (β, p)-Banach space. A result of the Aoki-Rolewicz theorem [37] shows that every quasinorm can be equivalent to a p-norm, for some p.
A main tool of this section is the upcoming fixed point lemma which has been proved in ([38], Lemma 3.1).
Lemma 10. Given the fixed j ∈ {−1, 1} and a, t ∈ ℕ with a ≥ 2. Suppose that V is a linear space and W is a (β, p)-Banach space with (β, p)-norm ‖·‖W. If ϕ : V⟶[0, ∞) is a function such that there exists an L < 1 with ϕ(ajv) < Lajtβϕ(v) for all v ∈ V and g : V⟶W is a mapping satisfying
Furthermore, for each v ∈ V, we have G(v) = liml⟶∞(g(ajlv)/ajlt).
In the next theorem, we prove the Găvruta stability of (14) in quasi-β-normed spaces.
Theorem 11. Given j ∈ {−1, 1}. Let V be a vector space over ℚ and W be a (β, p) -Banach space. Assume that φ : Vn × Vn⟶ℝ+ is a function such that φ(mjv1, mjv2) ≤ m2njβLφ(v1, v2) for all v1, v2 ∈ Vn, where 0 < L < 1. If a mapping f : Vn⟶W satisfying H2 and
Proof. Setting v2 = 0 in (38) and applying H2, we have
Lastly, we show that fulfilling (14). Note that Lemma 10 implies that for each v ∈ Vn, . For each v1, v2 ∈ Vn and l ∈ ℕ, by (38), we find
Taking l⟶∞ in the last relation, we observe that for all v1, v2 ∈ Vn, and therefore, fulfills (14).
The following corollary is a consequence of Theorem 11 when the norm of ‖Df(v1, v2)‖ is controlled by sum of variable norms of v1 and v2 with positive powers.
Corollary 12. Let V be a quasi-α-normed space with quasi-α-norm ‖·‖V, and W be a (β, p)-Banach space with (β, p)-norm ‖·‖W. Let θ and λ be positive numbers with λ ≠ 2n(β/α). If a mapping f : Vn⟶W satisfying
Proof. Taking , the result concludes from Theorem 11.
We bring an elementary lemma without proof as follows.
Lemma 13. If a function g : ℝ⟶ℝ is a continuous and satisfies (1), then it has the form g(x) = cx2, for all x ∈ ℝ, where c = g(1).
It is easily seen that when a = b = 1 in (14), then this equation and (3) are the same. In the upcoming result, we extend Lemma 13 for multivariable functions. In fact, we use it to make a counterexample.
Proposition 14. Suppose that f : ℝn⟶ℝ is a continuous which satisfies (3). Then, f has the form
Proof. We first recall from Theorem 2 in [17] that f is a n-quadratic mapping. By induction on n, we proceed the proof. For n = 1, (49) holds by Lemma 13. Assume that (49) is valid for a n ∈ ℕ, and f : ℝn+1⟶ℝ is a continuous (n + 1)-quadratic function. Fix the variables r1, ⋯, rn in ℝ. Then, the function r ↦ f(r1, ⋯, rn, r) is quadratic and continuous, and hence, by Lemma 13, f has the form
Letting r = 1 in (50) and applying (51), we have
It is known that f is (n + 1)-quadratic and c is an n-quadratic function. Therefore, by the induction assumption, there exists a real number c0 so that
It now follows from (50) and (53) that (49) holds for n + 1.
Here, we present a nonstable example for the multiquadratic mappings on ℝn (see [8]). Indeed, for the case α = β = a = b = 1, we show that the assumption λ ≠ 2n can not be eliminated in Corollary 12.
Example 1. Given n ∈ ℕ and δ > 0. Set μ≔((22n − 1)/24n(2n + 4n))δ. The function ψ : ℝn⟶ℝ is defined via
Consider f : ℝn⟶ℝ as a function defined by
Obviously, f is a nonnegative function and moreover is an even function in all components. Additionally, ψ is bounded by μ and continuous. Since f is a uniformly convergent series of continuous functions, it is continuous and bounded. In other words, we get f(r1, ⋯, rn) ≤ (22n/(22n − 1))μ for all (r1, ⋯, rn) ∈ ℝn. For i ∈ {1, 2}, take xi = (xi1, ⋯, xin). We shall prove that
Inequality (57) necessitates that there is N ∈ ℕ such that
Therefore, f satisfies in (56) for all x1, x2 ∈ ℝn. Assume that there exists a number b ∈ [0, ∞) and a multiquadratic function for which the inequality is valid for all (r1, ⋯, rn) ∈ ℝn. An application of Proposition 14 shows that there is a constant c ∈ ℝ such that , and hence
Furthermore, choose N ∈ ℕ such that Nμ > |c| + b. Take r = (r1, ⋯, rn) ∈ ℝn in which rj ∈ (0, 1/2N−1) for all j ∈ {1, ⋯, n}, then 2lrj ∈ (0, 1) for all l = 0, 1, ⋯, N − 1. Therefore
We close the paper by an alternative stability result for equation (14) as follows.
Corollary 15. Let V be a quasi-α-normed space with quasi-α-norm ‖·‖V and W be a (β, p)-Banach space with (β, p)-norm ‖·‖W. Suppose λil > 0 for i ∈ {1, 2} and l ∈ {1, ⋯, n} with λ = λ∗ + λ• ≠ 2n(β/α), where and . If a mapping f : Vn⟶W fulfilling the inequality
Proof. Setting in Theorem 11, one can obtain the desired results.
4. Conclusion
In this paper, by using Euler-Lagrange type quadratic functional equations, we have defined the multi-Euler-Lagrange quadratic mappings and have studied the structure of such mappings. Indeed, we have described the multi-Euler-Lagrange quadratic mapping as an equation. In continuation, we have shown that some fixed point theorems can be applied to prove the Hyers-Ulam stability version of multi-Euler-Lagrange quadratic functional equations in the setting of quasi-β-normed and Banach spaces. In the last part, we have brought an example which shows that such functional equations can be nonstable in the some cases.
- (1)
Which equation can describe the multi-Euler-Lagrange cubic mappings defined in [31]? Are these mappings stable on various Banach spaces? Can the known fixed point methods be useful to prove their Hyers-Ulam stability?
- (2)
Definition of the multiadditive-quartic mappings by using [14] as a system of n functional equations. The characterization of such mappings and discussion about their stability via a fixed point approach
- (3)
Applying the functional equations indicated in [5, 12, 13, 34], we can generalize such mappings and equations to multiple variables
Conflicts of Interest
There do not exist any competing interests regarding this article.
Authors’ Contributions
A.B proposed the topic. H.M and A.M prepared the first draft. Lastly, A.B edited and finalized the manuscript.
Open Research
Data Availability
All results are obtained without any software and found by manual computations. In other words, the manuscript is in the pure mathematics (mathematical analysis) category.