Next Article in Journal
An Extended Shapley TODIM Approach Using Novel Exponential Fuzzy Divergence Measures for Multi-Criteria Service Quality in Vehicle Insurance Firms
Previous Article in Journal
Impacts of Viscous Dissipation and Brownian motion on Jeffrey Nanofluid Flow over an Unsteady Stretching Surface with Thermophoresis
Previous Article in Special Issue
On Approximate Aesthetic Curves
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Ulam Stability of a Second Linear Differential Operator with Nonconstant Coefficients

1
Department of Mathematics, Politehnica University of Timişoara, Piaţa Victoriei no.2, 300006 Timişoara, Romania
2
Department of Mathematics, Faculty of Automation and Computer Science, Technical University of Cluj-Napoca, Str. Memorandumului, No. 28, 400114 Cluj-Napoca, Romania
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2020, 12(9), 1451; https://doi.org/10.3390/sym12091451
Submission received: 29 July 2020 / Revised: 21 August 2020 / Accepted: 25 August 2020 / Published: 3 September 2020
(This article belongs to the Special Issue Ulam's Type Stability and Symmetry)

Abstract

:
In this paper, we obtain a result on Ulam stability for a second order differential operator acting on a Banach space. The result is connected to the existence of a global solution for a Riccati differential equation and some appropriate conditions on the coefficients of the operator.

1. Introduction

Ulam stability is one of the main topics in functional equation theory. The starting point of Ulam stability was the question formulated by S.M. Ulam during a talk given at Madison University, Wisconsin, and concerns the approximate homomorphisms of a metric group (see [1]). The topic was intensively developed and studied in the last 50 years. For some results, methods, extensions and generalizations of the notion we refer the reader to [1,2].
The first results on Ulam stability for differential equations were obtained by M. Obloza [3] and C. Alsina and R. Ger [4]. T. Miura, S. Miyajima and S. Takahasi proved that the linear differential operator of n-th order with constant coefficients is stable in Ulam sense if and only if its characteristic equation has no roots on the imaginary axis [5]. This result was generalized by D. Popa and I. Raşa who obtained a sharp estimate of Ulam constant [6]. Recently, A.R. Baias and D. Popa obtained the best Ulam constant for a second order linear differential operator with constant coefficients [7]. Recall also the result obtained by M. Onitsuka et al. on the best constant of linear differential equation of the first order [8]. For more details on Ulam stability of differential equations and differential operators, we refer the reader to [9,10,11,12].
To this moment there are few results on Ulam stability for the linear differential operator of higher order with nonconstant coefficients. This is indeed the reason for which in this paper we deal with Ulam stability of a second order linear differential operator with nonconstant coefficients.
In what follows, let X be a Banach space over R . Let I R be an interval, a I , f C 1 ( I , R ) , g C ( I , R ) . By C n ( I , X ) , we denote as usual the set of all n-times continuously differentiable functions defined on I with values in the Banach space X.
Definition 1.
[13] Let A be a linear space over the field R . A function ρ A : A [ 0 , + ] is called a gauge on A if:
1. 
ρ A ( x ) = 0 if and only if x = 0 ;
2. 
ρ A ( λ x ) = | λ | ρ ( x ) for all x A , λ R , λ 0 .
Let us consider the linear differential operator with nonconstant coefficients D : C 2 ( I , X ) C ( I , X ) given by
D ( y ) = y + f y + g y , y C 2 ( I , X ) .
Let φ C n ( I , X ) , n N and denote
| | φ | | = sup | | φ ( x ) | | : x I .
Then | | φ | | is a gauge. We suppose also that C n ( I , X ) , n N , are endowed with the same gauge | | · | | for n = 0 , 1 , 2 .
Definition 2.
The operator D is called Ulam stable if there exists a nonnegative constant L such that for every ε > 0 and every y C 2 ( I , X ) satisfying
| | D ( y ) | | ε
there exists y 0 C 2 ( I , X ) such that D ( y 0 ) = 0 and
| | y y 0 | | L · ε .
A function y satisfying (2) for some ε > 0 is called an approximate solution of the equation D ( y ) = 0 . The number L in the relation (3) is called an Ulam constant of D.

2. Main Result

The main result on Ulam stability for the operator D defined by the relation (1) is contained in the next two theorems.
Theorem 1.
Suppose that there exists K > 0 such that
g ( x ) 1 K , x I
and the Riccati equation
u = u 2 + f u + f g
has a solution u C 1 ( I , R ) with u ( a ) = f ( a ) . Then for every y C 2 ( I , X ) satisfying
| | D ( y ) | | ε ,
there exists z C 2 ( I , X ) , such that D ( z ) = 0 and
| | y z | | K ε .
Proof. 
With the above u satisfying (4), let
U ( x ) : = a x u ( t ) d t , φ ( x ) : = e U ( x ) , x I ,
and
F ( x ) : = a x f ( t ) d t , ψ ( x ) : = e F ( x ) U ( x ) , x I .
Consider the equation
y ( x ) + f ( x ) y ( x ) + g ( x ) y ( x ) = h ( x ) , x I .
Multiplying it by φ ( x ) , by using (4) and having in mind that φ = u φ , we get
( φ y + ( f u ) φ y ) = φ h
which leads to
φ ( x ) · y ( x ) + ( f ( x ) u ( x ) ) · φ ( x ) · y ( x ) y ( a ) = a x φ ( t ) h ( t ) d t , x I .
Multiplying the previous relation by ψ ( x ) φ ( x ) , we obtain
ψ ( x ) · y ( x ) + ψ ( x ) · ( f ( x ) u ( x ) ) · y ( x ) = y ( a ) + a x φ ( t ) h ( t ) d t ψ ( x ) φ ( x ) , x I .
Since ψ = ( f u ) ψ , it follows that
( ψ y ) ( t ) = y ( a ) + a t φ ( s ) h ( s ) d s · ψ ( t ) φ ( t ) , t I ,
and this yields
ψ ( x ) · y ( x ) = y ( a ) + a x y ( a ) + a t φ ( s ) h ( s ) d s ψ ( t ) φ ( t ) d t , x I .
To resume, (7) is equivalent to
y ( x ) = 1 ψ ( x ) y ( a ) + a x y ( a ) + a t φ ( s ) h ( s ) d s ψ ( t ) φ ( t ) d t , x I
In particular, the homogeneous equation
z ( x ) + f ( x ) z ( x ) + g ( x ) z ( x ) = 0 , x I
is equivalent to
z ( x ) = 1 ψ ( x ) z ( a ) + a x z ( a ) ψ ( t ) φ ( t ) d t , x I .
Now let ε > 0 and y C 2 ( I ) satisfying (5). Then y satisfies also (7) and (8) with | h ( x ) | ε , x I . Let z C 2 ( I ) , be a solution of (9) with z ( a ) = y ( a ) and z ( a ) = y ( a ) . According to (10),
z ( x ) = 1 ψ ( x ) y ( a ) + a x y ( a ) ψ ( t ) φ ( t ) d t , x I
and it satisfies the relation D ( z ) = 0 . So it remains to prove (6). Using (8) and (10), we obtain
| y ( x ) z ( x ) | = 1 ψ ( x ) a x a t φ ( s ) h ( s ) d s ψ ( t ) φ ( t ) d t , x I .
Suppose that x I , x > a . Then
| y ( x ) z ( x ) | ε 1 ψ ( x ) a x a t φ ( s ) d s ψ ( t ) φ ( t ) d t .
If x I , x < a , then by (11) we obtain
| y ( x ) z ( x ) | = 1 ψ ( x ) x a a t φ ( s ) h ( s ) d s ψ ( t ) φ ( t ) d t 1 ψ ( x ) x a t a φ ( s ) h ( s ) d s ψ ( t ) φ ( t ) d t ε 1 ψ ( x ) x a t a φ ( s ) d s · ψ ( t ) φ ( t ) d t = ε 1 ψ ( x ) a x a t φ ( s ) d s · ψ ( t ) φ ( t ) d t .
Therefore, we have
| y ( x ) z ( x ) | ε 1 ψ ( x ) a x a t φ ( s ) d s · ψ ( t ) φ ( t ) d t , x I .
To finish the proof it remains to show that
Q ( x ) : = a x a t φ ( s ) d s ψ ( t ) φ ( t ) d t K ψ ( x ) 0 , x I .
To this end, let us remark that Q ( x ) = ψ ( x ) φ ( x ) P ( x ) , where
P ( x ) : = a x φ ( s ) d s K φ ( x ) ( f ( x ) u ( x ) ) , x I .
Since φ = φ · u we have
P ( x ) = φ ( x ) K · φ ( x ) · u ( x ) · f ( x ) u ( x ) K · φ ( x ) · f ( x ) u ( x ) , x I ,
and using (4) we get
P ( x ) = φ ( x ) · ( 1 K g ( x ) ) 0 , x I .
Combined with P ( a ) = 0 , this yields P ( x ) 0 for x < a , x I , and P ( x ) 0 , for x > a , x I , respectively.
Accordingly, Q ( x ) 0 for x I , x < a and Q ( x ) 0 for x I , x > a , respectively. Since Q ( a ) = K < 0 , we conclude that Q ( x ) 0 , x I . Thus, (12) is proved and this finishes the proof of the theorem. □
A similar result is presented in the following.
Theorem 2.
Suppose that there exists K > 0 such that
g ( x ) 1 K , x I
and the equation
u = u 2 + f u + f + g
has a solution u C 1 ( I , R ) , with u ( a ) = f ( a ) . Then the operator D is Ulam stable with the Ulam constant K.
Proof. 
The proof is analogous to the proof of Theorem 1. Only (13) should be replaced by P ( x ) = φ ( x ) · ( 1 + K g ( x ) ) 0 , x I .  □
In what follows we obtain some direct consequences of the Theorems 1 and 2.
Corollary 1.
Suppose that there exists K > 0 such that
g ( x ) 1 K , x I ,
and the equation
u = u 2 g
has a solution u C 1 ( I , R ) , with u ( a ) = 0 for some a I . Then the operator D : C 2 ( I , X ) C ( I , X )
D ( y ) = y + g y
is Ulam stable with the Ulam constant K.
Corollary 2.
Suppose that there exists K > 0 such that
g ( x ) 1 K , x I
and the equation
u = u 2 + g
has a solution u C 1 ( I , R ) with u ( a ) = 0 for some a I . Then the operator D : C 2 ( I , X ) C ( I , X )
D ( y ) = y + g y
is Ulam stable with the Ulam constant K.
The proof of the previous corollaries follows immediately by taking f = 0 in the Theorems 1 and 2, respectively.
Remark 1.
The particular case g ( x ) = λ ( x ) λ 2 ( x ) , λ C 1 ( I , R ) being a periodic function, is studied in [14,15] and corresponds to the Hill’s equation.
Remark 2.
The stability of the operator D defined by (1) depends on the existence of a global solution for the Riccati Equation (4). In the following is given an example where some appropriate conditions on the coefficients of the Equation (4) lead to the existence of such a solution. For this we will use the following result contained in [16].
Theorem 3.
Let I = [ 0 , + ) and a , b , c C ( I , R ) , x 0 I and y 0 0 . If a ( x ) 0 , c ( x ) 0 for all x I , then the Cauchy problem
y = a ( x ) y 2 + b ( x ) y + c ( x ) , x I y ( x 0 ) = y 0
has a unique nonnegative solution y = φ ( x ) on [ x 0 , + ) .
Corollary 3.
Let I = [ 0 , + ) and suppose that:
(i) 
f ( 0 ) 0 ;
(ii) 
f ( x ) g ( x ) , x I ;
(iii) 
g ( x ) 1 K > 0 , x I .
Then the operator D defined by (1) is Ulam stable with the Ulam constant K.
Proof. 
The result is a simple consequence of the Theorems 1 and 3.  □
Analogously, we obtain the following result.
Corollary 4.
Let I = [ 0 , + ) and suppose that:
(i) 
f ( 0 ) 0 ;
(ii) 
f ( x ) g ( x ) , x I ;
(iii) 
g ( x ) 1 K < 0 , x I .
Then the operator D defined by (1) is Ulam stable with the Ulam constant K.
Example 1.
Let I = [ 0 , + ) , 0 < b < a and suppose that b | g ( x ) | a , x I . Then the operator D defined by the relation
D ( y ) ( x ) = y ( x ) + a x y ( x ) + g ( x ) y ( x ) , y C 2 ( I ) , x I ,
is Ulam stable with the Ulam constant 1 b .
Proof. 
Let f ( x ) = a x , x I . The condition b | g ( x ) | a , x I and the continuity of g implies g ( x ) [ b , a ] , x I , or g ( x ) [ a , b ] , x I (clearly, if g has two values of opposite signs, then g must take the value zero at some point in I).
If g ( x ) [ b , a ] , x I , then, according to Corollary 3, D is Ulam stable with the Ulam constant 1 b . If g ( x ) [ a , b ] , x I , then D is Ulam stable with the Ulam constant 1 b , in view of Corollary 4.  □

3. Conclusions

In this paper, we studied the Ulam stability of a linear differential operator of second order acting on a Banach space. We proved the Ulam stability of the equation using the assumption that a certain Riccati differential equation has a global solution. In appropriate conditions of the coefficients of the operators, we obtained an explicit representation of its Ulam constant. Finally, we presented some stability results for particular cases of the operator.

Author Contributions

These authors contributed equally to this work. All authors read and agreed to the published version of the manuscript.

Funding

This work was partially supported by a grant of the Romanian Ministry of Research and Innovation, project number 10PFE/16.10.2018, Perform-Tech-UPT—The increasing of the institutional performance of the Polytechnic University of Timişoara by strengthening the research, development and technological transfer capacity in the field of “Energy, Environment and Climate Change, within Program 1—Development of the national system of Research and Development, Subprogram 1.2—Institutional Performance—Institutional Development Projects—Excellence Funding Projects in RDI, PNCDI III.

Acknowledgments

The authors would like to thank the referees for carefully reading of the manuscript and for giving useful comments and suggestions which improve the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Hyers, D.H.; Isac, G.; Rassias, T. Stability of Functional Equations in Several Variables; Birkhäuser Boston Inc.: Basel, Switzerland, 1998. [Google Scholar]
  2. Brzdȩk, J.; Popa, D.; Raşa, I.; Xu, B. Ulam Stability of Operators; Academic Press: Cambridge, MA, USA, 2018. [Google Scholar]
  3. Obloza, M. Hyers stability of linear differential equation. Roczn. Nauk. Dydakt. Pr. Math. 1993, 13, 259–270. [Google Scholar]
  4. Alsina, C.; Ger, R. On some inequalities and stability results related to the exponential function. J. Inequal. Appl. 1998, 2, 373–380. [Google Scholar] [CrossRef]
  5. Miura, T.; Miyajima, S.; Takahasi, S.E. Hyers–Ulam stability of linear differential operator with constant coeffcients. Math. Nachr. 2003, 258, 90–96. [Google Scholar] [CrossRef]
  6. Popa, D.; Raşa, I. On the Hyers–Ulam stability of the linear differential equation. J. Math. Anal. Appl. 2011, 381, 530–537. [Google Scholar] [CrossRef] [Green Version]
  7. Baias, A.B.; Popa, D. On the best Ulam constant of the second order linear differential operator. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 2020, 114, 23. [Google Scholar] [CrossRef]
  8. Onitsuka, M.; Shoji, T. Hyers–Ulam stability of first-order homogeneous linear differential equations with a real-valued coefficient. Appl. Math. Lett. 2017, 63, 102–108. [Google Scholar] [CrossRef] [Green Version]
  9. Jung, S.-M. Hyers–Ulam stability of a system of first order linear differential equations with constant coefficients. J. Math. Anal. Appl. 2006, 320, 549–561. [Google Scholar] [CrossRef] [Green Version]
  10. Miura, T.; Miyajima, S.; Takahasi, S.E. A characterization of Hyers–Ulam stability of first order linear differential operators. J. Math. Anal. Appl. 2003, 286, 136–146. [Google Scholar] [CrossRef] [Green Version]
  11. Popa, D.; Raşa, I. Hyers–Ulam stability of the linear differential operator with nonconstant coefficients. Appl. Math. Comput. 2012, 219, 1562–1568. [Google Scholar] [CrossRef]
  12. Takahasi, S.E.; Takagi, H.; Miura, T.; Miyajima, S. The Hyers–Ulam stability constants of first order linear differential operators. J. Math. Anal. Appl. 2004, 296, 403–409. [Google Scholar] [CrossRef] [Green Version]
  13. Brzdȩk, J.; Popa, D.; Raşa, I. Hyers–Ulam stability with respect to gauges. J. Math. Anal. Appl. 2017, 453, 620–628. [Google Scholar] [CrossRef]
  14. Fukutaka, R.; Onitsuka, M. Ulam Stability for a Class of Hill’s Equations. Symmetry 2019, 11, 1483. [Google Scholar] [CrossRef] [Green Version]
  15. Fukutaka, R.; Onitsuka, M. Best constant for Ulam stability of Hill’s equations. Bull. Sci. Math. 2020, 163, 102888. [Google Scholar] [CrossRef]
  16. Barbu, V. Differential Equations; Springer: Berlin/Heidelberg, Germany, 2016. [Google Scholar]

Share and Cite

MDPI and ACS Style

Cădariu, L.; Popa, D.; Raşa, I. Ulam Stability of a Second Linear Differential Operator with Nonconstant Coefficients. Symmetry 2020, 12, 1451. https://doi.org/10.3390/sym12091451

AMA Style

Cădariu L, Popa D, Raşa I. Ulam Stability of a Second Linear Differential Operator with Nonconstant Coefficients. Symmetry. 2020; 12(9):1451. https://doi.org/10.3390/sym12091451

Chicago/Turabian Style

Cădariu, Liviu, Dorian Popa, and Ioan Raşa. 2020. "Ulam Stability of a Second Linear Differential Operator with Nonconstant Coefficients" Symmetry 12, no. 9: 1451. https://doi.org/10.3390/sym12091451

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop