Volume 2022, Issue 1 3021457
Research Article
Open Access

Characterization and Stability of Multi-Euler-Lagrange Quadratic Functional Equations

Abasalt Bodaghi

Corresponding Author

Abasalt Bodaghi

Department of Mathematics, Garmsar Branch, Islamic Azad University, Garmsar, Iran azad.ac.ir

Search for more papers by this author
Hossein Moshtagh

Hossein Moshtagh

Department of Computer Science, University of Garmsar, Garmsar, Iran ugsr.ir

Search for more papers by this author
Amir Mousivand

Amir Mousivand

Department of Mathematics, West Tehran Branch, Islamic Azad University, Tehran, Iran azad.ac.ir

Search for more papers by this author
First published: 10 October 2022
Academic Editor: Cristian Chifu

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 [514] and other resources).

During the last two decades, stability problems for multivariable mappings were studied and extended by a number of authors. One of the mappings is the multiquadratic mapping, studied, for example, in [1517]. Recall that a multivariable mapping f : VnW is said to be multiquadratic [11] if it fulfills the famous quadratic equation
(1)
in each component. Note that equation (1) is a suitable tool for obtaining some characterizations in the setting of inner product spaces and in fact plays a prominent role. In other words, any square norm on an inner product space fulfills
(2)
which is called the parallelogram equality. However, some functional equations have been applied to characterize inner product spaces and are available in [18, 19] and references therein. In addition, the quadratic functional equation was used to characterize inner product spaces in [20, 21].
A lot of information about equation (1) and some equations which are equivalent to it (in particular, about their solutions and stability) and more applications can be found for instance in [2224]. Park was the first author who studied the stability of multiquadratic in the setting of Banach algebras [16]. After that, some authors introduced various versions of multiquadratic mappings and investigated the Hyers-Ulam stability of such mappings in Banach spaces and non-Archimedean spaces; these results are available for instance in [15, 2529]. As for an unification of the multiquadratic mappings, Zhao et al. [17] were the first authors who described the structure of multiquadratic mappings, and in fact, they showed that f : VnW is a multiquadratic mapping if and only if the equation
(3)
holds, where vi = (x1i, ⋯, vni) ∈ Vn and i ∈ {1, 2}.

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

(4)
is called 2-dimensional quadratic, where u, vV and a, b are the fixed reals with a2 + b2 > 1.

It is easily seen that the Euler-Lagrange equality
(5)
is valid for , defined in Definition 1 with any fixed reals a, b, and hence, (4) is also called Euler-Lagrange quadratic functional equation; we refer to [31] for Euler-Lagrange type cubic functional equation and its stability. Note that equation (4) is a general form of (1) in the case that a = b = 1, and so the function satisfies (4). Next, Xu [32] extended the definition above to several variable mappings and presented the next definition.

Definition 2. Let V and W be vector spaces. A mapping f : VnW is said to be the n -Euler-Lagrange quadratic or multi-Euler-Lagrange quadratic if the mapping

(6)
satisfies (4), for all i ∈ {1, ⋯, n} and all viV.

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

Throughout, we consider the following known notations:
  • (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, p0, 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.

For v1, v2Vn and a1, a2n, set
(7)
In continuation, we show that the equation
(8)
is a general form of (4) for the multivariable case. In other words, we prove that every multi-Euler-Lagrange quadratic mapping fulfills (1) and vice versa. For doing this, we need some definitions and the upcoming lemma.

Definition 3. Let V and W be vector spaces over and f : VnW be a multivariable mapping.

  • (i)

    We say f satisfies (has) the 2-power (quadratic) condition in the jth component if

    (9)
    for all x1, ⋯, xnV, 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 : VnW 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 : VnW, 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

(10)

Then

(11)

(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:

(12)

Once again, the same replacements convert the right side of (8) to

(13)

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

The goals of this section are to prove miscellaneous result stability of multi-Euler-Lagrange quadratic equation (14) such as Hyers and Găvruta stability. Here, we mention a special case of equation (8) in which a1 = (a, ⋯, a) and a2 = (b, ⋯, b), and so (8) converts to
(14)
in which
(15)
and m = a2 + b2 (used here and from now on) for all j ∈ {1, ⋯, n}.
For a set E, a function d : E × E⟶[0, ∞] is said to be a generalized metric on E provided that d fulfills the statements below, for all u, v, wE.
  • (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 nn0, 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 : VnW, we define the operator Df : Vn × VnW via

(16)
for the fixed nonzero integers a, b where and are defined in (15) for all j = 1, ⋯, n.

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 : VnW fulfilling H2 and

(17)
for all v1, v2Vn. Then, there exists a unique solution of (14) such that
(18)
for all vVn. In addition,
(19)
for all vVn.

Proof. Putting v2 = 0 in (17) and using the assumption H2, we have

(20)
for all v1Vn, where
(21)

Set v1 = v for simply and for the rest of the proof, all the equations and inequalities are valid for all vVn. Once more, by replacing (v1, v2) instead of (av1, bv1) = (av, bv) in (17), we get

(22)

Multiplying both sides of (20) by mn and plugging to (22), we obtain

(23)
and thus
(24)

Let Ω≔{f:VnW|f satisfies (H2)}. For each f, gΩ, we define the function d on Ω as follows:

(25)

Similar to the proof of ([36], Theorem 2.2), it is seen that (Ω, d) is a complete generalized metric space. Define through

(26)
for all vVn. Take g, hΩ and Cg,h ∈ [0, ∞] with d(g, h) ≤ Cg,h. Then, ‖g(v) − h(v)‖ ≤ Cg,hε, and hence
(27)

Therefore, . This shows that and in fact is a strictly contractive operator such that its Lipschitz is 1/m2n. It concludes from (24) that

(28)

Hence,

(29)

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

(30)

In other words, by induction on l, it is easily verified that for each vVn, we have

(31)
and (19) follows. Note that clearly fΛ, and hence, part (iii) of Theorem 6 and (29) necessitate that
(32)
which proves (18). In addition,
(33)
for all v1, v2Vn. The last relation shows that for all v1, v2Vn and means that fulfills (14). Let us finally suppose that is another solution of equation (14) satisfies H2 such that inequality (18) holds. Then, satisfies (30), and so it is a fixed point of . Furthermore, by (18), we get
(34)
and consequently, . It now follows from part (ii) of Theorem 6 that . This finishes the proof.

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 : VnW is even in the kth component if

(35)

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, yE 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 + yp ≤ ‖xp + ‖yp, for all x, yE, 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 vV and g : VW is a mapping satisfying

(36)
for all vV, then there exists a uniquely determined mapping G : VW such that G(av) = atG(v) and
(37)

Furthermore, for each vV, 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, v2Vn, where 0 < L < 1. If a mapping f : VnW satisfying H2 and

(38)
then there is a unique solution of (14) so that
(39)
where
(40)
whereas M is the modulus of concavity of the norm ‖·‖W.

Proof. Setting v2 = 0 in (38) and applying H2, we have

(41)
for all v1vVn, where is defined in (21). Interchanging (v1, v2) into (av1, bv1) = (av, bv) in (38), we obtain
(42)
for all vVn. Multiplying both sides of (41) by mnβ, we get
(43)
for all vVn. It follows from (42), (43), and part (iii) of Definition 9 that
(44)
for all vVn, where is defined in (40). By Lemma 10, there exists a mapping which is unique such that and
(45)

Lastly, we show that fulfilling (14). Note that Lemma 10 implies that for each vVn, . For each v1, v2Vn and l, by (38), we find

(46)

Taking l⟶∞ in the last relation, we observe that for all v1, v2Vn, 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 : VnW satisfying

(47)
for all v1, v2Vn, then there exists a unique solution of (14) such that
(48)
for all v = v1Vn, where Λ = M[mnβ + |a|αλ + |b|αλ].

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

(49)
where c is a constant in .

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 rf(r1, ⋯, rn, r) is quadratic and continuous, and hence, by Lemma 13, f has the form

(50)
where c is a constant in . One should note that c depends on r1, ⋯, rn, and hence
(51)

Letting r = 1 in (50) and applying (51), we have

(52)

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

(53)

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

(54)

Consider f : n as a function defined by

(55)

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

(56)
for all x1, x2n. Clearly, (56) holds for x1 = x2 = 0. Let x1, x2n with
(57)

Inequality (57) necessitates that there is N such that

(58)
and so . It follows the last relation that 2N|xij| < 1 for all i = 1, 2 and j = 1, ⋯, n. Hence, 2N−1|xij| < 1. Let y1, y2 ∈ {xij|i = 1, 2, j = 1, ⋯, n}. Then 2N−1|y1 ± y2| < 1. It is known that ψ is multiquadratic function on (−1, 1)n, and hence, Dψ(2lx1, 2lx2) = 0 for all l ∈ {0, 1, 2, ⋯, N − 1}. Now, the last equality and relation (58) imply that
(59)
for all x1, x2n. Hence, (56) is valid for case (57). If , then
(60)

Therefore, f satisfies in (56) for all x1, x2n. 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

(61)

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

(62)
which is a contradiction with (61).

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 : VnW fulfilling the inequality

(63)
for all v1, v2Vn, then there exists a unique solution of (14) so that
(64)
for all v = v1Vn, where .

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.

The current work provides guidelines for further research and proposals for new directions and open problems with relevant discussions. Here, we give some questions and information on the connections between the fixed point theory and the Hyers-Ulam stability.
  • (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.

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.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.