Solvability of second order linear differential equations ... - Springer Link

0 downloads 0 Views 2MB Size Report
differential equations. Electron. J. Differ. Equ. 2017, 262 (2017). 7. Darbo, G.: Punti uniti in transformazioni a condominio non compatto. Rend. Semin. Mat. Univ.
Alotaibi et al. Advances in Difference Equations https://doi.org/10.1186/s13662-018-1810-9

(2018) 2018:377

RESEARCH

Open Access

Solvability of second order linear differential equations in the sequence space n(φ) Abdullah Alotaibi1 , M. Mursaleen1,2* and Badriah A.S. Alamri1 *

Correspondence: [email protected] 1 Operator Theory and Applications Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah, Saudi Arabia 2 Department of Mathematics, Aligarh Muslim University, Aligarh, India

Abstract We apply the concept of measure of noncompactness to study the existence of solution of second order differential equations with initial conditions in the sequence space n(φ ). MSC: Primary 47H09; 47H10; secondary 34A34 Keywords: Measure of noncompactness; Darbo’s fixed point theorem; Sequence spaces; Infinite system of second order differential equations

1 Introduction and preliminaries In recent years, the notion of measure of noncompactness has been effectively utilized in sequence spaces for different classes of differential equations (see [4, 5, 8, 11–15]). By applying this notion, Aghajani and Pourhadi [2] investigated the infinite system of secondorder differential equations in an 1 -space. Since then Mohiuddine et al. [10] and Banaś et al. [6] focused on this system in the sequence space p . A measure of noncompactness is a nonnegative real-valued map defined on a collection of bounded subsets of a normed (metric) space which maps the class of relatively compact sets (known as kernel) to zero, while other sets are mapped to a positive value. There are several ways to define this notion on a given space. The widely used approach is the axiomatic one, introduced in [3], which is given below. Let ME denote the family of all nonempty bounded subsets of a Banach space E and NE be its subfamily consisting of all relatively compact sets. Let B(x, r) denote the closed ball centered at x with radius r and Br = B(θ , r). We recall the following definition given in [3]. Definition 1.1 ([3, Definition 3.1.3]) A mapping μ : ME −→ R+ is called a measure of noncompactness (MNC for short) if (i) ker μ is nonempty and a subset of NE . (ii) μ(X) ≤ μ(Y ) for X ⊂ Y . (iii) μ(X) = μ(X). (iv) μ(Conv X) = μ(X). © The Author(s) 2018. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Alotaibi et al. Advances in Difference Equations

(2018) 2018:377

Page 2 of 8

(v) For all λ ∈ [0, 1],   μ λX + (1 – λ)Y ≤ λμ(X) + (1 – λ)μ(Y ). (vi) If (Xn )n∈N is a sequence of closed sets from ME satisfying Xn+1 ⊂ Xn

for all n ∈ N and μ(Xn ) → 0

as n → ∞,

then X∞ =

∞ 

Xn = ∅.

n=1

Definition 1.2 ([5, Definition 3.1.3]) For a measure of noncompactness μ in E, the mapping G : B ⊆ E −→ E is said to be a μE -contraction if there exists a constant 0 < k < 1 such that   μ G(Y ) ≤ kμ(Y )

(1.1)

for any bounded closed subset Y ⊆ B. Darbo [7] used the idea of measure of noncompactness to obtain a new fixed point theorem which generalizes the Banach contraction principle and assures the existence of a fixed point concerning the so-called condensing operators. Theorem 1.1 ([7]) Let  be a nonempty, closed, bounded, and convex subset of a Banach space E, and let G :  →  be a continuous mapping such that there exists a constant θ ∈ [0, 1) with the property μ(G ()) ≤ θ μ(). Then G has a fixed point in . The following definition was given in [1] which is a generalization of Meir–Keeler contraction (MKC) given in [9]. Definition 1.3 ([1]) For an arbitrary measure of noncompactness μ on a Banach space X, we say that an operator T : B → B is a Meir–Keeler condensing operator if for any  > 0 there exists δ > 0 such that  ≤ μ(E) <  + δ



  μ T(E) < 

(1.2)

for any bounded subset E of B; where B is a nonempty subset of X. Now we state the following theorem for Meir–Keeler condensing operators which will be applied in our main results. Theorem 1.2 ([1]) Let μ be an arbitrary measure of noncompactness on a Banach space X. If T : B → B is a continuous and Meir–Keeler condensing operator, then T has at least one fixed point and the set of all fixed points of T in B is compact, where B is a nonempty, bounded, closed, and convex subset of X.

Alotaibi et al. Advances in Difference Equations

(2018) 2018:377

Page 3 of 8

2 The sequence space n(φ ) We denote by C the space of finite sets of distinct positive integers. For any σ ∈ C , we define α(σ ) = {αn (σ )} such that αn (σ ) is 1 if n is in σ ; and 0 elsewhere. Write 

Cr = σ ∈ C :

∞ 

 αn (σ ) ≤ r ,

n=1

and define 

= φ = (φk ) : 0 < φ1 ≤ φn ≤ φn+1 and (n + 1)φn ≥ nφn+1 . Sargent [16] defined the following sequence spaces which were further studied in [11]. Write S(x) for the set of all sequences that are rearrangements of x. For φ ∈ ,



1 |xk | < ∞ , m(φ) = x = (xk ) : x m(φ) = sup sup r≥1 σ ∈Cr φr k∈σ  ∞    n(φ) = x = (xk ) : x n(φ) = sup |uk | φk < ∞ , u∈S(x)

k=1

where φk = φk – φk–1 . Note that, for all n ∈ N ={1, 2, 3, . . .}, m(φ) = 1 , n(φ) = ∞ if φn = 1; and m(φ) = ∞ , n(φ) = 1 if φn = n. We have the following important result. Theorem 2.1 ([12]) For any bounded subset Q of n(φ), we have 



χ(Q) = lim sup sup k→∞ x∈Q

u∈S(x)

∞ 

 |un | φn

,

n=k

where χ(Q) denotes the Hausdorff measure of noncompactness of the set Q which is defined by  χ(Q) := inf  > 0 : Q ⊂

n 

 B(xi , ri ), xi ∈ X, ri < (i = 1, 2, . . .) .

i=1

3 Infinite system of second order differential equations in n(φ ) We study the following infinite system:   d2 ui = –fi t, u1 (t), u2 (t), u3 (t), . . . ; 2 dt

ui (0) = ui (T) = 0, t ∈ [0, T], i = 1, 2, 3 . . .

(3.1)

Let C(I, R) be the space of all continuous real functions on the interval I = [a, b] and C (I, R) be the class of functions with the second continuous derivative on I. A function u = (ui ) ∈ C 2 (I, R) is a solution of (3.1) if and only if u ∈ C(I, R) is a solution of the system of integral equations 2

 ui (t) = 0

T

  G(t, s)fi s, u(s) ds for t ∈ I,

(3.2)

Alotaibi et al. Advances in Difference Equations

(2018) 2018:377

Page 4 of 8

where fi (t, u) ∈ C(I × R∞ , R), i = 1, 2, 3, . . . ; and the Green’s function associated with (3.1) is given by ⎧ ⎨ t (T – s), T ⎩ s (T T

G(t, s) =

0 ≤ t ≤ s ≤ T,

(3.3)

– t), 0 ≤ s ≤ t ≤ T.

From (3.2) and (3.3) 

t

ui (t) = 0

  s (T – t)fi s, u(s) ds + T

 t

  t (T – s)fi s, u(s) ds. T



T

T

Now compute d 1 ui (t) = – dt T

 0

t





1 sfi s, u(s) ds + T

  (T – s)fi s, u(s) ds.

t

Again differentiating we get  1     1  d2 ui (t) = – tfi t, u(t) + (t – T)fi t, u(t) ) = –fi t, u(t) ). dt 2 T T The solution of the infinite system (3.1) in the sequence space 1 was discussed by Aghajani and Pourhadi [2] by establishing a generalization of Darbo type fixed point theorem using the concept of α-admissibility function and Schauder’s fixed point theorem. Here, we determine the solvability of system (3.1) in Banach sequence spaces n(φ). Our result is more general than that of [2]. Assume that (i) The functions fi are defined on the set I × R∞ and take real values. The operator f defined on the space I × n(φ) into n(φ) as         (t, u) → (fu)(t) = f1 t, u(t) , f2 t, u(t) , f3 t, u(t) , . . . is such that the class of all functions ((fu)(t))t∈I is equicontinuous at every point of the space n(φ). (ii) The following inequality holds:      fn t, u1 (t), u2 (t), u3 (t), . . .  ≤ gn (t) + hn (t)un (t), where gn (t) and hn (t) are real functions defined and continuous on I such that ∞ k=1 gk (t) φk converges uniformly on I and the sequence (hn (t)) is equibounded on I. Write G = sup t∈I

∞ 

gk (t) φk

k=1

and H = sup hn (t). n∈N,t∈I

Alotaibi et al. Advances in Difference Equations

(2018) 2018:377

Page 5 of 8

Theorem 3.1 Let conditions (i)–(ii) hold. Then system (3.1) has at least one solution u(t) = (ui (t)) ∈ n(φ) for all t ∈ [0, T]. Proof Let S(u(t)) denote the set of all sequences that are rearrangements of u(t). If v(t) ∈  S(u(t)), then ∞ k=1 |vk (t)| φk ≤ M, where M is a finite positive real number for all u(t) = (ui (t)) ∈ n(φ) for all t ∈ I. Using (3.2) and (ii), we have, for all t ∈ I,   u(t) n(φ)



= sup v∈S(u(t))

∞     

0

k=1

 ≤ sup v∈S(u(t))

 ≤ sup v∈S(u(t))

 = sup

∞  

T



   G(t, s) gk (t) + hk (t)vk (t) ds φk

T

T

G(t, s)gk (t) φk ds +

T

G(t, s)

∞ 

0

 ≤ G sup

k=1



T



  G(t, s)vk (t) φk ds



T

  ∞   uk (t) φk ds G(t, s)

0



T



0

gk (t) φk ds + H

k=1

k=1

T

G(t, s) ds + H sup

v∈S(u(t)) 0



∞  

0

k=1

v∈S(u(t))



0

∞  

≤ sup



 G(t, s)fk s, u(s)  ds φk

∞  



   G(t, s)fk s, u(s) ds φk 

0

k=1

k=1

v∈S(u(t))

T

G(t, s)M ds

v∈S(u(t)) 0

GT 2 HMT 2 + = R, 8 8

say. Let u0 (t) = (u0i (t)) where u0i (t) = 0 for all t ∈ I. ¯ 0 , r1 ) centered at u0 and of radius r1 ≤ r which is of Consider the closed ball B¯ = B(u course a nonempty, bounded, closed, and convex subset of n(φ). Consider the operator ¯ defined as follows. For t ∈ I, F = (Fi ) on C(I, B)  (F u)(t) = (Fi u)(t) =



T

G(t, s)fi s, u(s) ds , 



0

where u(t) = (ui (t)) and ui (t) ∈ C(I, R). We have (F u)(t) = {(Fi u)(t)} ∈ n(φ) for each t ∈ I. Since (fi (t, u(t))) ∈ n(φ) for each t ∈ I, we have ∞    (Fk u)(t) φk } ds ≤ R < ∞. sup v∈S(u(t))

k=1

Also since (Fi u)(t) satisfies the boundary conditions, we have  (Fi u)(0) = 0

T

  G(0, s)fi s, u(s) ds = 0

Alotaibi et al. Advances in Difference Equations

(2018) 2018:377

Page 6 of 8

and 

T

(Fi u)(T) =

  G(T, s)fi s, u(s) ds = 0.

0

¯ Since (F u)(t) – u0 (t) n(φ) ≤ R, F is an operator on B. ¯ The operator F is continuous on C(I, B) by assumption (i). Now, we shall show that F ¯ < is a Meir–Keeler condensing operator. For ε > 0, we have to find δ > 0 such that ε ≤ χ(B) ¯ ε + δ ⇒ χ(F B) < ε. Now  lim





sup

sup





k→∞ u(t)∈B¯ v∈S(u(t))

≤ lim

sup

∞      n=k



≤ lim

0



sup

k→∞ u(t)∈B¯ v∈S(u(t))



sup



sup

k→∞ u(t)∈B¯ v∈S(u(t))



sup





∞  



sup

sup





+ H lim

G(t, s)gn (s) φn ds 0

T

G(t, s) 0

¯ ≤ Hχ(B)

T



T

sup

G(t, s) ds ≤

0

  G(t, s)hn (s)vn (s) φn ds



∞ 





gn (s) φn ds

n=k

k→∞ u(t)∈B¯ v∈S(u(t)) 0



T

0

n=k



sup





T

∞  

sup

k→∞ u(t)∈B¯ v∈S(u(t))

  G(t, s)fn s, v(s)  φn ds

∞  

k→∞ u(t)∈B¯ v∈S(u(t))

≤ lim

T 0

n=k

n=k



+ lim

     G(t, s)fn s, v(s) ds φn

T

  ∞     vn (s) φn ds G(t, s) n=k

2

HT ¯ χ(B). 8

¯ < ε ⇒ χ(B) ¯ < 8ε2 . ¯ < HT 2 χ(B) Hence χ(F B) 8 HT ¯ < ε +δ. Therefore, F is a Meir–Keeler condensTaking δ = HTε 2 (8–HT 2 ), we get ε ≤ χ(B) ing operator defined on the set B¯ ⊂ n(φ). So F satisfies all the conditions of Theorem 1.2 ¯ which is a required solution of system (3.1).  which implies that F has a fixed point in B, Remark 3.1 For φn = n, for all n ∈ N, the above result is reduced to that of Aghajani and Pourhadi [2] but our proof is quite different.

4 Example In order to illustrate the above result, we provide the following example. Example 4.1 Let us consider the system of second order differential equations



√j ∞ d2 uj (t) t  t cos(t)ui (t) = + , dt 2 j4 i4 i=j

Here fi (t, u1 (t), u2 (t), u3 (t), . . .) = considered system (3.1). Clearly

√ j

√ j t j4

t j4

+

j ∈ N, t ∈ I = [0, T]. ∞

and

t cos(t)ui (t) , i=j i4 ∞ t cos(t)ui (t) i=j i4

(4.1)

and so (4.1) is a special case of the are continuous on I for each n ∈ N.

Alotaibi et al. Advances in Difference Equations

(2018) 2018:377

Page 7 of 8

Notice that, for any t ∈ I = [0, T], (fk (t, u(t))) ∈ n(φ) if (uk (t)) ∈ n(φ). Moreover, we have   ∞ ∞ √ ∞  k       t t cos(t)u (t) i   fk t, u(t)  =  4 +  k  i4 k=1

k=1



∞  k=1

√ k

i=k

 ∞ ∞  t   t cos(t)ui (t)  +   k4 i4 k=1 i=k

4

∞  ∞ 

 t  ui (t) 4 i



Tπ + 90



  Tπ + T u(t)n(φ) < ∞. 90

k=1 i=k

4

We will show that assumption (i) is satisfied. Let us fix  > 0 arbitrarily and u(t) = (uk (t)) ∈ n(φ). Then, taking v(t) = (vk (t)) ∈ n(φ) with u(t) – v(t) ≤ δ():= T , we have ∞       t(ui (t) – vi (t)) f t, u(t) – f t, v(t)  = i4 i=j   ≤ T u(t) – v(t)n(φ)

≤ Tδ < , which implies continuity as in assumption (i). Now, we show that assumption (ii) is satisfied. √  ∞      j t  t cos(t)u (t) i  fj t, u(t)  =  +  4 4 j  i i=j



∞   t  ui (t) 4 4 j i i=j   ≤ gj (t) + hj (t)uj (t).



t

+



The function gj (t) =

t

j4

is continuous and

4



j≥1 gj (t)

converges uniformly to

√ 4 tπ , also 90 Tπ 4 . Also 80

hj (t) = tπ90 is continuous and the sequence (hj (t)) is equibounded on I by H = HT 2 < 1 is satisfied by taking T = 1.2, which gives H ≈ 1.9739 and G ≈ 1.9739. 8 Thus, from Theorem 3.1, for a suitable value of r1 (as discussed in Theorem 3.1) the ¯ 0 , r1 ) has a fixed point u(t) = ((ui (t)) ∈ n(φ), operator F as defined in Theorem 3.1 on B(u which is a solution of system (4.1).

Funding This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant No. RG-18-130-37. The authors, therefore, acknowledge with thanks DSR for technical and financial support. Competing interests The authors declare that they have no competing interests. Authors’ contributions The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

Alotaibi et al. Advances in Difference Equations

(2018) 2018:377

Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 13 June 2018 Accepted: 18 September 2018 References 1. Aghajani, A., Mursaleen, M., Haghighi, A.S.: A fixed point theorem for Meir–Keeler condensing operator via measure of noncompactness. Acta Math. Sci. 35B(3), 552–556 (2015) 2. Aghajani, A., Pourhadi, E.: Application of measure of noncompactness to 1 -solvability of infinite systems of second order differential equations. Bull. Belg. Math. Soc. Simon Stevin 22(1), 105–118 (2015) 3. Bana´s, J., Goebel, K.: Measures of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Mathematics, vol. 60. Dekker, New York (1980) 4. Bana´s, J., Lecko, M.: Solvability of infinite systems of differential equations in Banach sequence spaces. J. Comput. Appl. Math. 137, 363–375 (2001) 5. Bana´s, J., Mursaleen, M.: Sequence Spaces and Measure of Noncompactness with Applications to Differential and Integral Equation. Springer, India (2014) 6. Bana´s, J., Mursaleen, M., Rizvi, S.M.H.: Existence of solutions to a boundary-value problem for an infinite system of differential equations. Electron. J. Differ. Equ. 2017, 262 (2017) 7. Darbo, G.: Punti uniti in transformazioni a condominio non compatto. Rend. Semin. Mat. Univ. Padova 24, 84–92 (1955) 8. Das, A., Hazarika, B., Arab, R., Mursaleen, M.: Solvability of the infinite system of integral equations in two variables in the sequence spaces c0 and 1 . J. Comput. Appl. Math. 326, 183–192 (2017) 9. Meir, A., Keeler, E.: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326–329 (1969) 10. Mohiuddine, S.A., Srivastava, H.M., Alotaibi, A.: Application of measures of noncompactness to the infinite system of second-order differential equations in p spaces. Adv. Differ. Equ. 2016, 317 (2016) 11. Mursaleen, M.: On some geometric properties of a sequence space related to lp . Bull. Aust. Math. Soc. 67, 343–347 (2003) 12. Mursaleen, M.: Application of measure of noncompactness to infinite system of differential equations. Can. Math. Bull. 56, 388–394 (2013) 13. Mursaleen, M., Bilalov, B., Rizvi, S.M.H.: Applications of measures of noncompactness to infinite system of fractional differential equations. Filomat 31(11), 3421–3432 (2017) 14. Mursaleen, M., Mohiuddine, S.A.: Applications of measure of noncompactness to the infinite system of differential equations in p spaces. Nonlinear Anal. 75, 2111–2115 (2012) 15. Mursaleen, M., Rizvi, S.M.H.: Solvability of infinite system of second order differential equations in c0 and 1 by Meir–Keeler condensing operator. Proc. Am. Math. Soc. 144(10), 4279–4289 (2016) 16. Sargent, W.L.C.: Some sequence spaces related to the lp spaces. J. Lond. Math. Soc. 35, 161–171 (1960)

Page 8 of 8