DOCSLIB.ORG

Solvability of a Maximum Quadratic Integral Equation of Arbitrary Orders

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Solvability of a Maximum Quadratic Integral Equation of Arbitrary Orders Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 11, Number 2, pp. 93–104 (2016) http://campus.mst.edu/adsa Solvability of a Maximum Quadratic Integral Equation of Arbitrary Orders Mohamed Abdalla Darwish King Abdulaziz University Sciences Faculty for Girls Department of Mathematics Jeddah, Saudi Arabia [email protected] Johnny Henderson Baylor University Department of Mathematics Waco, Texas 76798-7328, USA Johnny [email protected] Kishin Sadarangani Universidad de Las Palmas de Gran Canaria Departamento de Matematicas´ Campus de Tafira Baja, 35017 Las Palmas de Gran Canaria, Spain [email protected] Abstract We investigate a new quadratic integral equation of arbitrary orders with maxi- mum and prove an existence result for it. We will use a fixed point theorem due to Darbo as well as the monotonicity measure of noncompactness due to Banas´ and Olszowy to prove that our equation has at least one solution in C[0; 1] which is monotonic on [0; 1]. AMS Subject Classifications: 45G10, 47H09, 45M99. Keywords: Fractional, monotonic solutions, monotonicity measure of noncompact- ness, quadratic integral equation, Darbo theorem. Received August 24, 2016; Accepted November 27, 2016 Communicated by Martin Bohner 94 M. A. Darwish, J. Henderson and K. Sadarangani 1 Introduction In several papers, among them [1,11], the authors studied differential and integral equa- tions with maximum. In [6–9] Darwish et al. studied fractional integral equations with supremum. Also, in [4, 5], Caballero et al. studied the Volterra quadratic integral equa- tions with supremum. They showed that these equations have monotonic solutions in the space C[0; 1]. Darwish [7] generalized and extended the Caballero et al. [4] results to the case of quadratic fractional integral equations with supremum. In this paper we will study the fractional quadratic integral equation with maximum Z t 0 (T y)(t) ' (s)κ(t; s) max[0,σ(s)] jy(τ)j y(t) = f(t) + 1−β ds; t 2 J = [0; 1]; 0 < β < 1; Γ(β) 0 ('(t) − '(s)) (1.1) where f; ' : J ! R, T : C(J) ! C(J), σ : J ! J and κ : J × J ! R+. By using the monotonicity measure of noncompactness due to Banas´ and Olszowy [3] as well as the Darbo fixed point theorem, we prove the existence of monotonic solutions to (1.1) in C[0; 1]. Now, we assume that (E; k · k) is a real Banach space. We denote by B(x; r) the closed ball centred at x with radius r and Br ≡ B(θ; r), where θ is a zero element of E. We let X ⊂ E. The closure and convex closure of X are denoted by X and ConvX, respectively. The symbols X + Y and λY are using for the usual algebraic operators on sets and ME and NE stand for the families defined by ME = fA ⊂ E : A 6= ;;A is boundedg and NE = fB ⊂ ME : B is relatively compactg, respectively. Definition 1.1 (See [2]). A function µ : ME ! [0; +1) is called a measure of non- compactness in E if the following conditions: ◦ 1 ; 6= fX 2 ME : µ(X) = 0g = kerµ ⊂ NE, 2◦ if X ⊂ Y , then µ(X) ≤ µ(Y ), 3◦ µ(X) = µ(X) = µ(ConvX), 4◦ µ(λX + (1 − λ)Y ) ≤ λµ(X) + (1 − λ)µ(Y ), 0 ≤ λ ≤ 1 and ◦ 5 if (Xn) is a sequence of closed subsets of ME with Xn ⊃ Xn+1(n = 1; 2; 3; :::) 1 and lim µ(Xn) = 0 then X1 = \n=1Xn 6= ;, n!1 hold. We will establish our result in the Banach space C(J) of all defined, real and con- tinuous functions on J ≡ [0; 1] with standard norm kyk = maxfjy(τ)j : τ 2 Jg. Next, we define the measure of noncompactness related to monotonicity in C(J); see [2, 3]. Let ; 6= Y ⊂ C(J) be a bounded set. For y 2 Y and " ≥ 0, the modulus of continuity of the function y , denoted by !(y; "), is defined by !(y; ") = supfjy(t) − y(s)j : t; s 2 J; jt − sj ≤ "g: A Maximum Quadratic Integral Equation 95 Moreover, we let !(Y; ") = supf!(y; "): y 2 Y g and !0(Y ) = lim !(Y; "): "!0 Define d(y) = sup (jy(t) − y(s)j − [y(t) − y(s)]) t;s2J; s≤t and d(Y ) = sup d(y): y2Y Notice that all functions in Y are nondecreasing on J if and only if d(Y ) = 0. Now, we define the map µ on MC(J) as µ(Y ) = d(Y ) + !0(Y ): Clearly, µ satisfies all conditions in Definition 3, and therefore, it is a measure of non- compactness in C(J) [3]. Definition 1.2. Let P : M ! E be a continuous mapping, where ; 6= M ⊂ E. Suppose that P maps bounded sets onto bounded sets. Let Y be any bounded subset of M with µ(PY ) ≤ αµ(Y ), α ≥ 0, then P is called verify the Darbo condition with respect to a measure of noncompactness µ. In the case α < 1, the operator P is said to be a contraction with respect to µ. Theorem 1.3 (See [10]). Let ; 6= Ω ⊂ E be a closed, bounded and convex set. If P :Ω ! Ω is a continuous contraction mapping with respect to µ, then P has a fixed point in Ω. We will need the following two lemmas in order to prove our results [4]. Lemma 1.4. Let r : J ! J be a continuous function and y 2 C(J). If, for t 2 J, (F y)(t) = max jy(τ)j; [0,σ(t)] then F y 2 C(J). Lemma 1.5. Let (yn) be a sequence in C(J) and y 2 C(J). If (yn) converges to y 2 C(J), then (F yn) converges uniformly to F y uniformly on J. 96 M. A. Darwish, J. Henderson and K. Sadarangani 2 Main Theorem Let us consider the following assumptions: (a1) f 2 C(J). Moreover, f is nondecreasing and nonnegative on J. (a2) The operator T : C(J) ! C(J) is continuous and satisfies the Darbo condition with a constant c for the measure of noncompactness µ . Moreover, T y ≥ 0 if y ≥ 0. (a3) There exist constants a; b ≥ 0 such that j(T y)(t)j ≤ a + bkyk 8y 2 C(J); t 2 J. 1 (a4) The function ' : J ! R is C (J) and nondecreasing. (a5) The function κ : J ×J ! R+ is continuous on J ×J and nondecreasing 8t and s separately. Moreover, κ∗ = sup κ(t; s). (t;s)2J×J (a6) The function σ : J ! J is nondecreasing and continuous on J. (a7) 9 r0 > 0 such that κ∗r (a + br ) kfk + 0 0 ('(1) − '(0))β ≤ r (2.1) Γ(β + 1) 0 ck∗r and 0 < ('(1) − '(0))−β. Γ(β + 1) Now, we define two operators K and F on C(J) as follows Z t 0 1 ' (s)κ(t; s) max[0,σ(s)] jy(τ)j (Ky)(t) = 1−β ds (2.2) Γ(β) 0 ('(t) − '(s)) and (Fy)(t) = f(t) + (T y)(t) · (Ky)(t); (2.3) respectively. Solving (1.1) is equivalent to find a fixed point of the operator F. Under the above assumptions, we will prove the following theorem. Theorem 2.1. Assume the assumptions (a1) − (a7) are satisfied. Then (1.1) has at least one solution y 2 C(J) which is nondecreasing on J. Proof. First, we claim that the operator F transforms C(J) into itself. For this, it is sufficient to show that if y 2 C(J), then Ky 2 C(J). Let y 2 C(J) and t1; t2 2 J (t1 ≤ t2) such that jt2 − t1j ≤ " for fixed " > 0, then we have j(Ky)(t2) − (Ky)(t1)j A Maximum Quadratic Integral Equation 97 Z t2 0 1 ' (s)κ(t2; s) max[0,σ(s)] jy(τ)j = 1−β ds Γ(β) 0 ('(t2) − '(s)) Z t1 0 ' (s)κ(t1; s) max[0,σ(s)] jy(τ)j − 1−β ds 0 ('(t1) − '(s)) Z t2 0 1 ' (s)κ(t2; s) max[0,σ(s)] jy(τ)j ≤ 1−β ds Γ(β) 0 ('(t2) − '(s)) Z t2 0 ' (s)κ(t1; s) max[0,σ(s)] jy(τ)j − 1−β ds 0 ('(t2) − '(s)) Z t2 0 1 ' (s)κ(t1; s) max[0,σ(s)] jy(τ)j + 1−β ds Γ(β) 0 ('(t2) − '(s)) Z t1 0 ' (s)κ(t1; s) max[0,σ(s)] jy(τ)j − 1−β ds 0 ('(t2) − '(s)) Z t1 0 1 ' (s)κ(t1; s) max[0,σ(s)] jy(τ)j + 1−β ds Γ(β) 0 ('(t2) − '(s)) Z t1 0 ' (s)κ(t1; s) max[0,σ(s)] jy(τ)j − 1−β ds 0 ('(t1) − '(s)) Z t2 0 1 ' (s)jκ(t2; s) − κ(t1; s)j max[0,σ(s)] jy(τ)j ≤ 1−β ds Γ(β) 0 ('(t2) − '(s)) Z t2 0 Z t1 1 ' (s)jκ(t1; s)j max[0,σ(s)] jy(τ)j 1 + 1−β ds + jκ(t1; s)j Γ(β) t1 ('(t2) − '(s)) Γ(β) 0 0 β−1 β−1 ×' (s) j('(t2) − '(s)) − ('(t1) − '(s)) j max jy(τ)j ds [0,σ(s)] kyk Z t2 '0(s) κ∗kyk ≤ !κ("; :) 1−β ds + Γ(β) 0 ('(t2) − '(s)) Γ(β) Z t1 0 β−1 β−1 × ' (s)[('(t1) − '(s)) − ('(t2) − '(s)) ]ds 0 Z t2 '0(s) + 1−β ds t1 ('(t2) − '(s)) kyk κ∗kyk = ! ("; :)('(t ) − '(0))β + Γ(β + 1) κ 2 Γ(β + 1) β β β × ('(t1) − '(0)) − ('(t2) − '(0)) + 2('(t2) − '(t1)) kyk 2κ∗kyk ≤ ! ("; :)('(t ) − '(0))β + ('(t ) − '(t ))β Γ(β + 1) κ 2 Γ(β + 1) 2 1 kyk 2κ∗kyk ≤ ! ("; :)('(1) − '(0))β + [!('; ")]β; (2.4) Γ(β + 1) κ Γ(β + 1) where we used !κ("; :) = sup jκ(t; s) − κ(τ; s)j t; τ2J; jt−τ|≤" 98 M.
Load more

Recommended publications
  • Global Institute Lahore
    Global Institute Lahore HADAMARD k-FRACTIONAL INTEGRAL AND ITS APPLICATION BY GHULAM FARID DOCTOR OF PHILOSPHY IN BUSINESS MATHEMATICS February, 2015 GLOBAL INSTITUTE LAHORE i HADAMARD k-FRACTINAL INTEGRAL AND ITS APPLICATION BY GHULAM FARID A dissertation submitted to Faculty of Management Sciences In Partial Fullfilment of the Requirements for the Degree of DOCTOR OF PHILOSPHY IN BUSINESS MATHEMATICS FEBRUARY, 2015 ii IN THE NAME OF ALLAH, THE MOST BENIFICIAL, THE MOST MERCIFUL iii GLOBAL INSTITUTE LAHORE HADAMARD k-FRACTIONAL INTEGRAL AND ITS APPLICATION BY GHULAM FARID A dissertation submitted to Faculty of Management Sciences, in partial fullfilment of the requirements for the degree of DOCTOR OF PHILOSPHY IN BUSINESS MATHEMATICS Dissertation Committee iv DECLARATION This is to certify that this research work has not been submitted for obtaining similar degree from any other university/college. v DEDICATED TO My Beloved Son Muhammad Yahya Khan vi ACKNOWLEDGEMENT Gratitude to almighty Allah for His unending blessings that has reinforced me to complete this humble piece of dissertation. I am also obliged to all the teachers and fellows at Global Institute, Lahore. I am grateful to my supervisor Dr. Ghulam Mustafa Habibullah for his motivation, support and guidance to the right direction. I am highly obliged to Muhammad Kashif Khan, the Chairman Global Institute Lahore and all of the college officials including the Rector, Pro-Rector and all the faculty members of the institute for their guidance, support and favours. The financial support of Higher Education Commission, Pakistan in facilitating me to take up this research work, is most gratefully acknowledged. I am also thankful to my brother Professor Muhammad Zulqarnain Khan and my wife for their continuous support and encouragement.
    [Show full text]
  • The Geometry of Paths*
    THEGEOMETRY OF PATHS* BY OSWALDVEBLEN AND TRACYYERKES THOMAS 1. Introduction. The first part of this paper is intended as a systematic general account of the geometry of paths and is largely based on the series of notes by Eisenhart and Veblen in volume 8 of the Proceedings of the National Academy of Sciences. The general theory is carried far enough to include an account of a series of tensors defined by means of normal coordinates, and also a series of generalizations of the operation of covariant differentiation. We then turn to a special problem, the investigation of the conditions which must be satisfied by the functions r in order that the differential equations of the paths shall possess homogeneous first integrals.! We first solve a still more special problem for first integrals of the nt\\ degree (§ 15). This includes as a special case the problem solved by Eisenhart and Veblen in the Proceedings of the National Academy of Sciences, vol. 8 (1922), p. 19, of finding the conditions which must be satisfied by the Ps in order that the equations (2.1) shall be the differential equations of the geodesies of a Riemann space. Finally we solve the general problem for the linear and quadratic cases; that is to say, we find algebraic necessary and sufficient conditions on the functions r in order that (2.1) shall possess homogeneous linear and quadratic first integrals. The method used will generalize to homogeneous first integrals of the nth degree. We leave unsolved all the projective problems which corre- spond to the affine problems which we have solved.
    [Show full text]
  • On Solutions of Quadratic Integral Equations
    On solutions of quadratic integral equations Ph.D Thesis Written at The Faculty of Mathematics and Computer Science, Adam Mickiewicz University Pozna´n, Poland, 2013 By MOHAMED METWALI ATIA METWALI Under the guidance of Dr. hab. Mieczys law Cicho´n Department of Differential Equations, Faculty of Mathematics and Computer Science, Adam Mickiewicz University In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Mathematics Acknowledgments First of all, I am thankful to Allah for all the gifts has given me. I would like to express my gratitude and thanks to my advisor and my professor, Dr. hab. Mieczys law Cicho´n, Department of Differential Equations, Faculty of Mathematics and Computer Science, Adam Mickiewicz University for his help and valuable advice in the preparation of this dissertation. I am thankful to my family (my wife and my lovely sons ”Basem and Eyad”) for their support, encouragement and standing beside me during my stay in Poland. ii Contents 1 Preliminaries 4 1.1 Introduction................................ 4 1.2 Notationandauxiliaryfacts . 4 1.2.1 LebesgueSpaces ......................... 5 1.2.2 Young and N-functions...................... 5 1.2.3 Orliczspaces ........................... 6 1.3 Linearandnonlinearoperators. 7 1.3.1 Thesuperpositionoperators.. 7 1.3.2 Fredholmintegraloperator. 9 1.3.3 Volterraintegraloperator. 10 1.3.4 Urysohnintegraloperator. 11 1.3.5 Themultiplicationoperator. 12 1.4 Monotonefunctions. .. .. .. 14 1.5 Measuresofnoncompactness. 17 1.6 Fixedpointtheorems. .. .. .. 19 2 Monotonic integrable solutions for quadratic integral equations on a half line. 23 2.1 Motivations and historical background. .... 23 2.2 Introduction. ............................... 25 2.3 Mainresult ................................ 26 2.4 Examples ................................
    [Show full text]
  • Characterisation of the Algebraic Properties of First Integrals of Scalar Ordinary Differential Equations of Maximal Symmetry
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 212, 349]374Ž. 1997 ARTICLE NO. AY975506 Characterisation of the Algebraic Properties of First Integrals of Scalar Ordinary Differential Equations of Maximal Symmetry G. P. Flessas,* K. S. Govinder,² and P. G. L. Leach³ View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Department of Mathematics, Uni¨ersity of the Aegean, Karlo¨assi, 83 200, Samos, Greece Submitted by Thanasis Fokas Received March 10, 1995 We undertake a study of the first integrals of linear nth order scalar ordinary differential equations with maximal symmetry. We establish patterns for the first integrals associated with these equations. It is shown that second and third order equations are the pathological cases in the study of higher order differential equations. The equivalence of contact symmetries for third order equations to non-Cartan symmetries of second order equations is highlighted. Q 1997 Academic Press 1. INTRODUCTION A scalar ordinary differential equation Žn. ExŽ.,y,y9,..., y s0,Ž. 1 *E-mail address: [email protected]. ² Permanent address: Department of Mathematics and Applied Mathematics, University of Natal, Durban, 4041, Republic of South Africa. E-mail address: [email protected]. ³ Permanent address: Department of Mathematics and Applied Mathematics, University of Natal, Durban, 4041, Republic of South Africa. Member of the Centre for Theoretical and Computational Chemistry, University of Natal and associate member of the Centre for Nonlinear Studies, University of the Witwatersrand, Johannesburg, Republic of South Africa. E-mail address: [email protected].
    [Show full text]
  • QUADRATIC INTEGRATION of GAUSSIAN PROCESSES Lim 22Ax
    proceedings of the american mathematical society Volume 81, Number 4, April 1981 QUADRATIC INTEGRATION OF GAUSSIAN PROCESSES T. F. LIN Abstract. Let x(t), 0 < t < r, be a Gaussian process whose covariance function R(s, t) satisfies certain conditions. If G(x) satisfies some mild condition, then the quadratic integral L2-lim'2,kG(x(tk))&x(tk)2 along any sequence of paritions of [0, T] whose mesh goes to zero exists. The differential rule for x(t) is also derived. 0. Introduction. Let x(/), 0 < / < 1, be a Gaussian process with covariance function R(s, /), 0 < s, t < 1. In studying some connections between Gaussian processes and boundary value problems, Baxter showed, under certain conditions, (see [1, Theorem 1, p. 522], or [6, Theorem 20.4, p. 297]) that the quadratic variation of x(/) over [0, 1] is lim 22Ax(/,)2 =['/(/) dt (0.1) where tk = tg = k2~n, 0 < k < 2", Ax(tk) = x(tk + x) - x(tk), 0 < k < 2" - 1, and where/(/), 0 < / < 1, is defined by /(/) = lim {/?(/ + A, /) - R(t, t)}/h - lim {R(t + A, /) - R(t, t)}/h. (0.2) This result was later extended to a wider class of processes (see [5], [2], [4]). The limit in (0.1) is L2-convergent (as well as almost sure convergent). If G(y) is a nice function of y, it is not hard to prove that 2o G(x(tk))Ax(tk)2\ = f{/o'g(x(/))/(/) dt}. (0.3) {2" —1 ) From (0.1) and (0.3), it is reasonable to conjecture that the quadratic integral of G(x(t)) w.r.t.
    [Show full text]
  • Lecture 1 Linear Quadratic Regulator: Discrete-Time Finite Horizon
    EE363 Winter 2008-09 Lecture 1 Linear quadratic regulator: Discrete-time finite horizon LQR cost function • multi-objective interpretation • LQR via least-squares • dynamic programming solution • steady-state LQR control • extensions: time-varying systems, tracking problems • 1–1 LQR problem: background discrete-time system x(t +1) = Ax(t)+ Bu(t), x(0) = x0 problem: choose u(0), u(1),... so that x(0),x(1),... is ‘small’, i.e., we get good regulation or control • u(0), u(1),... is ‘small’, i.e., using small input effort or actuator • authority we’ll define ‘small’ soon • these are usually competing objectives, e.g., a large u can drive x to • zero fast linear quadratic regulator (LQR) theory addresses this question Linear quadratic regulator: Discrete-time finite horizon 1–2 LQR cost function we define quadratic cost function N−1 T T T J(U)= x(τ) Qx(τ)+ u(τ) Ru(τ) + x(N) Qf x(N) τX=0 where U =(u(0),...,u(N 1)) and − Q = QT 0, Q = QT 0, R = RT > 0 ≥ f f ≥ are given state cost, final state cost, and input cost matrices Linear quadratic regulator: Discrete-time finite horizon 1–3 N is called time horizon (we’ll consider N = later) • ∞ first term measures state deviation • second term measures input size or actuator authority • last term measures final state deviation • Q, R set relative weights of state deviation and input usage • R> 0 means any (nonzero) input adds to cost J • LQR problem: find u (0),...,u (N 1) that minimizes J(U) lqr lqr − Linear quadratic regulator: Discrete-time finite horizon 1–4 Comparison to least-norm input c.f.
    [Show full text]
  • Solvability of a Q-Fractional Integral Equation Arising in the Study of an Epidemic Model Mohamed Jleli and Bessem Samet*
    Jleli and Samet Advances in Difference Equations (2017)2017:21 DOI 10.1186/s13662-017-1076-7 R E S E A R C H Open Access Solvability of a q-fractional integral equation arising in the study of an epidemic model Mohamed Jleli and Bessem Samet* *Correspondence: [email protected] Abstract Department of Mathematics, College of Science, King Saud We study the solvability of a functional equation involving q-fractional integrals. Such University, P.O. Box 2455, Riyadh, an equation arises in the study of the spread of an infectious disease that does not 11451, Saudi Arabia induce permanent immunity. Our method is based on the noncompactness measure argument in a Banach algebra and an extension of Darbo’s fixed point theorem. MSC: 62P10; 26A33; 45G10 Keywords: epidemic model; q-calculus; fractional order; measure of noncompactness 1 Introduction In this paper, we deal with the solvability of the q-fractional integral equation N t gi(t, x(t)) x(t)= f (t)+ (t – qs)(αi–)u s, x(s) d s , t ∈ I, (.) i (α ) i q i= q i where I = [, ], q ∈ (, ), αi >,fi : I → R,andgi, ui : I × R → R (i =,...,N). For N =,q =,andα =,equation(.) arises in the study of the spread of an infectious disease that does not induce permanent immunity (see [–]). Equation (.)canbewrittenas N αi · · ∈ x(t)= fi(t)+gi t, x(t) Iq ui , x( ) (t) , t I, i= αi where Iq is the q-fractional integral of order αi defined by [] t αi (αi–) ∈ Iq h(t)= (t – qs) h(s) dqs, t I.
    [Show full text]
  • On Some Fractional Quadratic Integral Inequalities
    KYUNGPOOK Math. J. 60(2020), 211-222 https://doi.org/10.5666/KMJ.2020.60.1.211 pISSN 1225-6951 eISSN 0454-8124 c Kyungpook Mathematical Journal On Some Fractional Quadratic Integral Inequalities Ahmed M. A. El-Sayed Department of Mathematics and Computer Science, Faculty of Science, Alexandria University, Alexandria, Egypt e-mail : [email protected] Hind H. G. Hashem∗ Department of Mathematics, Faculty of Science, Qassim University, Buraidah, Saudi Arabia e-mail : [email protected] Abstract. Integral inequalities provide a very useful and handy tool for the study of qualitative as well as quantitative properties of solutions of differential and integral equa- tions. The main object of this work is to generalize some integral inequalities of quadratic type not only for integer order but also for arbitrary (fractional) order. We also study some inequalities of Pachpatte type. 1. Introduction and Preliminaries In the theory of differential and integral equations, Gronwall's lemma has been widely used in various applications since its first appearance in the article by Bell- man in 1943. In this article the author gave a fundamental lemma, known as Gronwall-Bellman Lemma, which is used to study the stability and asymptotic be- havior of solutions of differential equations. Gronwall's lemma has seen several generalizations to various forms [3, 11, 28]. The literature on these inequalities and their applications is vast; see [1, 2, 4] and the references given therein [19, 20, 23]. In addition, as the theory of calculus on time scales has developed over the last few years, some Gronwall-type integral inequalities on time scales have been established by many authors [17, 21, 24].
    [Show full text]
  • Quadratic Integral Equations in Reflexive Banach Space
    Discussiones Mathematicae 61 Differential Inclusions, Control and Optimization 30 (2010 ) 61{69 QUADRATIC INTEGRAL EQUATIONS IN REFLEXIVE BANACH SPACE Hussein A.H. Salem Faculty of Sciences Taibah University, Yanbu Saudi Arabia and Department of Mathematics Faculty of Sciences Alexandria University, Egypt e-mail: [email protected] Abstract This paper is devoted to proving the existence of weak solutions to some quadratic integral equations of fractional type in a reflexive Banach space relative to the weak topology. A special case will be considered. Keywords and phrases: Pettis integral, fractional calculus, fixed point theorem, quadratic integral equation. 2000 Mathematics Subject Classification: 26A33. 1. Introduction Prompted by the application of the quadratic functional integral equations to nuclear physics, these equations have provoked some interest in the liter- ature [2, 7] and [14]. Specifically, the so-called quadratic integral equations of Chandrasekher type can be very often encountered in many applications (cf. [2] and [8]). Some problems in the queueing theory and biology lead to the quadratic functional integral equation of fractional type (cf. e.g. [10] and [13]) (1) x(t) = h(t) + g(t; x(t))I αf(t; x(t)); t 2 [0; 1]; α > 0; 62 H.A.H. Salem where Iα denotes the standard (Riemann-Liouville) integral operator (cf. e.g. [15, 16] and [21]) and f is a real-valued function. The quadratic func- tional integral equation of type (1) has provoked some interest by many authors (see [6, 9] and [11] for instance). Similar problems are investigated in [4, 5]. In comparison with the existence results in the references, our assumptions ore more natural.
    [Show full text]
  • A Certain Integral-Recurrence Equation with Discrete-Continuous Auto-Convolution
    ARCHIVUM MATHEMATICUM (BRNO) Tomus 47 (2011), 245–250 A CERTAIN INTEGRAL-RECURRENCE EQUATION WITH DISCRETE-CONTINUOUS AUTO-CONVOLUTION Mircea I. Cîrnu Abstract. Laplace transform and some of the author’s previous results about first order differential-recurrence equations with discrete auto-convolution are used to solve a new type of non-linear quadratic integral equation. This paper continues the author’s work from other articles in which are considered and solved new types of algebraic-differential or integral equations. 1. Introduction In the earlier paper [4], N. M. Flaisher solved by Fourier transform method a second order differential-recurrence equation. The present author used in [2] the Laplace transform to derive Newton’s formulas about the sums of powers of the roots of a polynomial. In this paper, the Laplace transform will be used to solve an integral-recurrence equation on semi-axis, with discrete-continuous auto-convolution of its unknowns. Namely, applying the Laplace transform on considered equation, we obtain for the transforms of unknowns a first order differential-recurrence equation with discrete auto-convolution of the type studied in [3] and [1]. Using for this equation the general theory given in [3], we find the transforms of unknowns in convenient assumptions, the solutions of the initial equation being obtained by inverse Laplace transform. 2. Convolution products Two convolution products have been imposed over the time. The first, in continuous-variable case, is the bilateral convolution of two integrable functions u(x) and v(x) on real axis, given by formula Z ∞ u(x) ? v(x) = u(t)v(x − t) dt , −∞ 2010 Mathematics Subject Classification: primary 45G10; secondary 44A10.
    [Show full text]
  • Ovidiu Furdui Problems in Mathematical Analysis
    Problem Books in Mathematics Ovidiu Furdui Limits, Series, and Fractional Part Integrals Problems in Mathematical Analysis Problem Books in Mathematics Series Editors: Peter Winkler Department of Mathematics Dartmouth College Hanover, NH 03755 USA For further volumes: http://www.springer.com/series/714 Ovidiu Furdui Limits, Series, and Fractional Part Integrals Problems in Mathematical Analysis 123 Ovidiu Furdui Department of Mathematics Technical University of Cluj-Napoca Cluj-Napoca, Romania ISSN 0941-3502 ISBN 978-1-4614-6761-8 ISBN 978-1-4614-6762-5 (eBook) DOI 10.1007/978-1-4614-6762-5 Springer New York Heidelberg Dordrecht London Library of Congress Control Number: 2013931852 Mathematics Subject Classification (2010): 11B73, 11M06, 33B15, 26A06, 26A42, 40A10, 40B05, 65B10 © Springer Science+Business Media New York 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer.
    [Show full text]
  • Q-INTEGRAL EQUATIONS of FRACTIONAL ORDERS 1. Introduction in This Paper, We Are Concerned with the Following Functional Equation
    Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 17, pp. 1{14. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu Q-INTEGRAL EQUATIONS OF FRACTIONAL ORDERS MOHAMED JLELI, MOHAMMAD MURSALEEN, BESSEM SAMET Abstract. The aim of this paper is to study the existence of solutions for a class of q-integral equations of fractional orders. The techniques in this work are based on the measure of non-compactness argument and a generalized version of Darbo's theorem. An example is presented to illustrate the obtained result. 1. Introduction In this paper, we are concerned with the following functional equation Z t f(t; x(b(t))) (α−1) x(t) = F t; x(a(t)); (t − qs) u(s; x(s)) dqs ; t 2 I; (1.1) Γq(α) 0 where α > 1, q 2 (0; 1), I = [0; 1], f; u : [0; 1] × R ! R, a; b : I ! I and F : I × R × R ! R. Equation (1.1) can be written as α x(t) = F t; x(a(t)); f(t; x(b(t)))Iq u(·; x(·))(t) ; t 2 I; α where Iq is the q-fractional integral of order α defined by (see [1]) Z t α 1 (α−1) Iq h(t) = (t − qs) h(s) dqs; t 2 [0; 1]: Γq(α) 0 Using a measure of non-compactness argument combined with a generalized version of Darbo's theorem, we provide sufficient conditions for the existence of at least one solution to (1.1).
    [Show full text]