SlideShare a Scribd company logo
International
OPEN ACCESS Journal
Of Modern Engineering Research (IJMER)
| IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 5 |
A Non Local Boundary Value Problem with Integral Boundary
Condition
Goteti V R L Sarma1
, Awet Mebrahtu2
Mebrahtom Sebhatu3
Department of Mathematics, Eritrea Institute of Technology, Mainefhi, Eritrea.
I. INTRODUCTION
Non local boundary value problems raises much attention because of its ability to accommodate more
boundary points than their corresponding order of differential equations [5], [8]. Considerable studies were
made by Bai and Fag [2], Gupta [4] and Web [9]. This research article is concerned with the existence and
uniqueness of solutions for the second order three-point boundary value problem with integral type boundary
conditions
−𝑢′′
= 𝑓 𝑡, 𝑢 𝑡 , 𝑡 ∈ (𝑎, 𝑏)
𝑢′
𝑎 = 0
(1.1)
𝑢′
𝑏 + 𝑘𝑢 𝜂 = 𝑢(𝑠)𝑔(𝑠)𝑑𝑠
𝑏
𝑎
where 𝑓: [𝑎, 𝑏] × ℝ → ℝ is a given function and 𝑔: 𝑎, 𝑏 → ℝ is an integral function and 𝜂 ∈ (𝑎, 𝑏). Boundary
value problems with integral boundary conditions constitute a very interesting and important class of problems.
The Green’s function plays an important role in solving boundary value problems of
differential equations. The exact expressions of the solutions for some linear ODEs boundary value problems
can be denoted by Green’s functions of the problems. The Green’s function method might be used to obtain an
initial estimate for shooting method. The Greens function method for solving the boundary value problem is an
effect tools in numerical experiments. Some BVPs for nonlinear integral equations the kernels of which are the
Green’s functions of corresponding linear differential equations. The integral equations can be solved by to
investigate the property of the Green’s functions. The undetermined parametric method we use in this paper is a
universal method, the Green’s functions of many boundary value problems for ODEs can be obtained by similar
method.
In (2008), Zhao discussed the solutions and Green’s functions for non local linear second-order Three-
point boundary value problems.
𝑢′′
+ 𝑓 𝑡 = 0, 𝑡 ∈ [𝑎, 𝑏]
subject to one of the following boundary value conditions:
i. 𝑢 𝑎 = 𝑘𝑢 𝜂 , 𝑢 𝑏 = 0 ii. 𝑢 𝑎 = 0, 𝑢 𝑏 = 𝑘𝑢(𝜂) iii. 𝑢 𝑎 = 𝑘𝑢′
𝜂 , 𝑢 𝑏 = 0
iv. 𝑢 𝑎 = 0, 𝑢 𝑏 = 𝑘𝑢′(𝜂)
where k was the given number and 𝜂 ∈ 𝑎, 𝑏 is a given point.
In (2013), Mohamed investigate the positive solutions to a singular second order boundary value problem
with more generalized boundary conditions. He consider the Sturm-Liouville boundary value problem
𝑢′′
+ 𝜆𝑔(𝑡)𝑓 𝑡 = 0, 𝑡 ∈ [0, 1] with the boundary conditions
∝ 𝑢 0 − 𝛽𝑢′
0 = 0, 𝛾𝑢 1 + 𝛿𝑢′
1 = 0
where ∝> 0, 𝛽 > 0, 𝛾 > 0 𝑎𝑛𝑑 𝛿 > 0 are all constants, 𝜆 is a positive parameter and 𝑓 . Is singular at 𝑢 = 0.
Also the existence of positive solutions of singular boundary value problems of ordinary differential equations
has been studied by many researchers such as Agarwal and Stanek established the existence criteria for
positive solutions singular boundary value problems for nonlinear second order ordinary and delay differential
ABSTRACT: In this article a three point boundary value problem associated with a second order
differential equation with integral type boundary conditions is proposed. Then its solution is
developed with the help of the Green’s function associated with the homogeneous equation. Using this
idea and Iteration method is proposed to solve the corresponding linear problem.
Keywords: Green’s function, Schauder fixed point theorem, Vitali’s convergence theorem.
Ams Msc: 34B18, 34B99, 35J05
A Non Local Boundary Value Problem With Integral Boundary Condition
| IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 6 |
equations using the Vitali’s convergence theorem. Gatical et al proved the existence of positive solution of the
problem
𝑢′′
+ 𝑓 𝑡 = 0, 𝑡 ∈ [0, 1] with the boundary conditions
∝ 𝑢 0 − 𝛽𝑢′
0 = 0 , 𝛾𝑢 1 + 𝛿𝑢′
1 = 0
using the iterative technique and fixed point theorem for cone for decreasing mappings.
Wang and Liu proved the existence of positive solution to the problem
𝑢′′
+ 𝜆𝑔(𝑡)𝑓 𝑡 = 0, 𝑡 ∈ [0, 1] with the boundary conditions ∝ 𝑢 0 − 𝛽𝑢′
0 = 0 and 𝛾𝑢 1 + 𝛿𝑢′
1 =
0 using the Schauder fixed point theorem.
II. PRELIMINARIES
In this section, we introduce notations, definitions and preliminary facts that will be used in the
remainder of this paper. Let 𝐴∁1
𝑎, 𝑏 , ℝ be the space of differentiable functions 𝑢: 𝑎, 𝑏 → ℝ whose first
derivative, 𝑢′ is absolutely continuous.
We take ∁ 𝑎, 𝑏 , ℝ to be the Banach space of all continuous functions from 𝑎, 𝑏 into ℝ with norm 𝑢 ∞ =
sup 𝑢 𝑡 : 𝑎 ≤ 𝑡 ≤ 𝑏
And let 𝐿1
𝑎, 𝑏 , ℝ denote the Banach space of the functions 𝑢: 𝑎, 𝑏 → ℝ that are Lesbegue integrable with
norm 𝑢 𝐿1 = 𝑢(𝑡)𝑑𝑡
𝑏
𝑎
Definition 2.1: A map 𝑓: [𝑎, 𝑏] × ℝ → ℝ is said to be 𝐿1
- caratheodory if
(i) 𝑡 → 𝑓 𝑡, 𝑢 is measurable for each 𝑢 ∈ ℝ
(ii) 𝑢 → 𝑓 𝑡, 𝑢 is continuous for almost each 𝑡 ∈ [𝑎, 𝑏]
(iii) For every 𝑟 > 0 there exists 𝑕 𝑟 ∈ 𝐿1
𝑎, 𝑏 , ℝ such that 𝑓(𝑡, 𝑢) ≤ 𝑕 𝑟 𝑡 for almost each 𝑡 ∈ 𝑎, 𝑏
and all 𝑢 ≤ 𝑟
III. EXISTENCE AND UNIQUENESS RESULTS
Definition 3.1 A function 𝑢 ∈ 𝐴∁1
𝑎, 𝑏 , ℝ is said to be a solution of (1.1) if 𝑢 satisfies (1.1)
Lemma 3.1 : The Green’s function of the corresponding homogeneous boundary value problem with
homogeneous boundary conditions
−𝑢′′ = 0 satisfying 𝑢′
𝑎 = 0, 𝑢′
𝑏 + 𝑘𝑢 𝜂 = 0
is given by 𝐺 𝑡, 𝑠 =
𝜂 − 𝑠 +
1
𝑘
, 𝑎 ≤ 𝑡 < 𝑠
𝜂 − 𝑡 +
1
𝑘
, 𝑠 ≤ 𝑡 ≤ 𝑏
Proof: It can be easily obtained from the elementary properties of Green’s function hence omitted.
Assume that 𝑔∗ =
1
𝑘
𝑔(𝑠)𝑑𝑠 ≠ 1
𝑏
𝑎
and 𝑘 ≠ 0. One need the following auxiliary results.
Lemma 3.2: Let 𝑓: 𝐿1
𝑎, 𝑏 , ℝ then the function defined by 𝑢 𝑡 = 𝐻(𝑡, 𝑠)𝑓(𝑠)𝑑𝑠
𝑏
𝑎
is the unique solution of the boundary value problem
−𝑢′′
= 𝑓 𝑡 , 𝑡 ∈ (𝑎, 𝑏) satisfying 𝑢′
𝑎 = 0, 𝑢′
𝑏 + 𝑘𝑢 𝜂 = 𝑔(𝑠)𝑢(𝑠)𝑑𝑠
𝑏
𝑎
(3.1)
where 𝐻 𝑡, 𝑠 = 𝐺 𝑡, 𝑠 +
1
1−
1
𝑘
𝑔(𝑠)𝑑𝑠
𝑏
𝑎
[ 𝑢 𝑟 𝑓 𝑟 𝑑𝑟 + 𝐺(𝑡, 𝑟)𝑓(𝑟)𝑑𝑟]𝑑𝑠
𝑏
𝑎
𝑏
𝑎
𝑏
𝑎
and 𝐺 𝑡, 𝑠 =
𝜂 − 𝑠 +
1
𝑘
, 𝑎 ≤ 𝑡 < 𝑠
𝜂 − 𝑡 +
1
𝑘
, 𝑠 ≤ 𝑡 ≤ 𝑏
Proof: Let u be a solution of the problem (3.1). Integrating we obtain
𝑢′
𝑡 = 𝑢′
𝑎 − 𝑢(𝑠)𝑓(𝑠)𝑑𝑠
𝑡
𝑎
𝑢′
𝑎 = 0, ⇒ 𝑢′
𝑡 = − 𝑢(𝑠)𝑓(𝑠)𝑑𝑠
𝑡
𝑎
(3.2)
𝑢′
𝑏 = − 𝑢(𝑠)𝑓(𝑠)𝑑𝑠
𝑏
𝑎
Integrating (3.2)
𝑢 𝑡 = 𝑢 𝑎 − (𝑡 − 𝑠)𝑓(𝑠)𝑑𝑠
𝑡
𝑎
𝑢 𝜂 = 𝑢 𝑎 − (𝜂 − 𝑠)𝑓(𝑠)𝑑𝑠
𝜂
𝑎
From the condition 𝑢′
𝑏 + 𝑘𝑢 𝜂 = 𝑢(𝑠)𝑔(𝑠)𝑑𝑠
𝑏
𝑎
𝑢 𝑎 =
1
𝑘
𝑢 𝑠 𝑔 𝑠 𝑑𝑠 +
1
𝑘
𝑢(𝑠)𝑓(𝑠)𝑑𝑠
𝑏
𝑎
+
𝑏
𝑎
(𝜂 − 𝑠)𝑓(𝑠)𝑑𝑠
𝜂
𝑎
A Non Local Boundary Value Problem With Integral Boundary Condition
| IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 7 |
Hence 𝑢 𝑡 =
1
𝑘
𝑢 𝑠 𝑔 𝑠 𝑑𝑠 +
1
𝑘
𝑢(𝑠)𝑓(𝑠)𝑑𝑠
𝑏
𝑎
+
𝑏
𝑎
(𝜂 − 𝑠)𝑓(𝑠)𝑑𝑠
𝜂
𝑎
+ (𝑠 − 𝑡)𝑓(𝑠)𝑑𝑠
𝑡
𝑎
𝑢 𝑡 =
1
𝑘
𝑢 𝑠 𝑔 𝑠 𝑑𝑠 +
1
𝑘
𝑢(𝑠)𝑓(𝑠)𝑑𝑠
𝑏
𝑎
+
𝑏
𝑎
𝐺(𝑡, 𝑠)𝑓(𝑠)𝑑𝑠
𝑏
𝑎
(3.3)
where 𝐺 𝑡, 𝑠 =
𝜂 − 𝑠 +
1
𝑘
, 𝑎 ≤ 𝑡 < 𝑠
𝜂 − 𝑡 +
1
𝑘
, 𝑠 ≤ 𝑡 ≤ 𝑏
Multiply (3.3) by g(s) and integrating over (𝑎, 𝑏)
𝑢(𝑠)𝑔(𝑠)𝑑𝑠
𝑏
𝑎
= 𝑔 𝑠
1
𝑘
𝑢 𝑟 𝑔 𝑟 𝑑𝑟 +
1
𝑘
𝑢 𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎
+
𝑏
𝑎
𝐺 𝑠, 𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎
𝑑𝑠
𝑏
𝑎
𝑢(𝑠)𝑔(𝑠)𝑑𝑠
𝑏
𝑎
1 −
1
𝑘
𝑔 𝑠 𝑑𝑠
𝑏
𝑎
= 𝑔 𝑠
1
𝑘
𝑢 𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎
+ 𝐺 𝑠, 𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎
𝑑𝑠
𝑏
𝑎
𝑢(𝑠)𝑔(𝑠)𝑑𝑠
𝑏
𝑎
=
𝑔 𝑠
1
𝑘
𝑢 𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎 + 𝐺 𝑠,𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎 𝑑𝑠
𝑏
𝑎
1−
1
𝑘
𝑔 𝑠 𝑑𝑠
𝑏
𝑎
(3.4)
Substituting (3.4) in (3.3) gives
𝑢 𝑡 = 𝐺 𝑡, 𝑠 𝑓 𝑠 𝑑𝑠
𝑏
𝑎
+
1
𝑘
𝑢 𝑠 𝑓 𝑠 𝑑𝑠 +
1
𝑘
𝑏
𝑎
𝑔 𝑠
1
𝑘
𝑢 𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎
+ 𝐺 𝑠, 𝑟 𝑓 𝑟 𝑑𝑟
𝑏
𝑎
𝑑𝑠
𝑏
𝑎
1 −
1
𝑘
𝑔 𝑠 𝑑𝑠
𝑏
𝑎
Therefore 𝑢 𝑡 = 𝐻 𝑡, 𝑠 𝑓 𝑠 𝑑𝑠
𝑏
𝑎
. Hence it is proved
Now let us set 𝑔∗
= 1 − 𝑔∗ . Note that
𝐺 𝑡, 𝑠 ≤
1
𝑘
+
𝑎 + 𝑏
2
,
And 𝑖𝑓 𝑘 ≥ 1 𝐺(𝑡, 𝑠) ≤ 1 +
𝑎+𝑏
2
𝑓𝑜𝑟 𝑡, 𝑠 ∈ 𝑎, 𝑏 × 𝑎, 𝑏
Theorem 3.3: Assume that f is an 𝐿1
− 𝐶𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦 function and the following hypothesis
(A1) there exists 𝑙 ∈ 𝐿1
𝑎, 𝑏 , ℝ+
such that
𝑓 𝑡, 𝑥 − 𝑓(𝑡, 𝑥) ≤ 𝑙 𝑡 𝑥 − 𝑥 , ⩝ 𝑥, 𝑥 ∈ ℝ, 𝑡 ∈ 𝑎, 𝑏
Holds. If 𝑙 𝐿1 +
1
𝑘
𝑔 𝐿1 +
𝑔 𝐿1
𝑘𝑔∗
1
𝑘
𝑔 𝐿1 + 𝑙 𝐿1 < 1 +
2
𝑎+𝑏
Then the BVP (1.1) has a unique solution
Proof :
Transform problem (1.1) into a fixed point problem consider the operator
𝑁: ∁( 𝑎, 𝑏 , ℝ) → ∁( 𝑎, 𝑏 , ℝ) defined by
𝑁 𝑢 𝑡 = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠
𝑏
𝑎
𝑡 ∈ [𝑎, 𝑏]
We will show that N is a contraction. Indeed, consider 𝑢, 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ then we have each
𝑡 ∈ 𝑎, 𝑏 .
𝑁 𝑢 𝑡 − 𝑁(𝑢(𝑡)) ≤ 𝐻(𝑡, 𝑠) 𝑓 𝑠, 𝑢 𝑠 − 𝑓(𝑠, 𝑢(𝑠)) 𝑑𝑠
𝑏
𝑎
≤ 𝐺 𝑡, 𝑠 𝑙 𝑠 𝑢 𝑠 − 𝑢 𝑠 𝑑𝑠 +
1
𝑘
𝑏
𝑎
𝑙 𝑠 𝑢 𝑠 − 𝑢 𝑠 2
𝑑𝑠 +
1
𝑘𝑔∗
1
𝑘
𝑙 𝑠 𝑢 𝑠 −
𝑏
𝑎
𝑏
𝑎
𝑢𝑠2𝑔𝑟𝑑𝑠𝑑𝑟+𝑎𝑏𝑙𝑠𝑢𝑠− 𝑢𝑠𝑔𝑟𝑎𝑏𝐺𝑟,𝑠𝑑𝑠𝑑𝑟
Boundary value problems
Therefore
𝑁 𝑢 − 𝑁(𝑢) ∞ ≤ 1 +
𝑎+𝑏
2
𝑙 𝐿1 + 𝑔 𝐿1
2
+
𝑔 𝐿1
2
+ 𝑔 𝐿1. 𝑙 𝐿1
𝑔∗ 𝑢 − 𝑢
Showing that, N is a contraction and hence it has a unique fixed point which is a solution to (1.1). The proof is
completed
We now present an existence result for problem (1.1)
A Non Local Boundary Value Problem With Integral Boundary Condition
| IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 8 |
Theorem 3.4: Suppose that the hypothesis
(H1) The function 𝑓: [𝑎, 𝑏] × ℝ → ℝ is an 𝐿1
− 𝑐𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦
(H2) there exist functions 𝑝, 𝑞 ∈ 𝐿1
𝑎, 𝑏 , ℝ + and ∝∈ [𝑎, 𝑏] such that
𝑓(𝑡, 𝑢) ≤ 𝑝 𝑡 𝑢 ∝
− 𝑞 𝑡 , ⩝ 𝑡, 𝑢 ∈ [𝑎, 𝑏] × ℝ
are satisfied. Then the BVP (1.1) has at least one solution.
Moreover the solution set 𝑠 = 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ : 𝑢 𝑠𝑜𝑙𝑢𝑡𝑖𝑜𝑛 𝑜𝑓 𝑡𝑕𝑒 𝑝𝑟𝑜𝑏𝑙𝑒𝑚 1.1 is compact.
Proof: Transform the BVP (1.1) into a fixed-point problem. Consider the operator N as define in theorem 3.3
We will show that N satisfies the assumptions of the nonlinear alternative of Leray-schauder type.
The proof will be given in several steps
Step1. (N is continuous). Let {𝑢 𝑚 } be a sequence such that 𝑢 𝑚 → 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ . Then
𝑁 𝑢 𝑚 − 𝑁(𝑢) ∞ ≤ 𝐻(𝑡, 𝑠) 𝑓 𝑠, 𝑢 𝑚 𝑠 − 𝑓(𝑠, 𝑢(𝑠)) 𝑑𝑠
𝑏
𝑎
Since f is 𝐿1
− 𝑐𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦 and 𝑔 ∈ 𝐿1
𝑎, 𝑏 , ℝ+
, then
𝑁 𝑢 𝑚 − 𝑁(𝑢) ∞
≤ 1 +
𝑎 + 𝑏
2
𝑓 . , 𝑢 𝑚 . − 𝑓 . , 𝑢 . 𝐿1 + 1 +
𝑎 + 𝑏
2
𝑔 𝐿1
+
𝑎 + 𝑏 + 2
2𝑔∗
𝑔 𝐿1 + 𝑓 . , 𝑢 𝑚 . − 𝑓 . , 𝑢 . 𝐿1
Hence 𝑁 𝑢 𝑚 − 𝑁(𝑢) ∞ → 0 𝑎𝑠 𝑚 → ∞
Step 2 (N maps bounded sets into bounded sets in ∁ 𝑎, 𝑏 , ℝ ). Indeed, it is enough to show that there exists a
positive constant 𝑙 such that for each 𝑢 ∈ 𝐵𝑞 = 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ ; 𝑢 ∞ ≤ 𝑞 . one has 𝑢 ∞ ≤ 𝑙
Let 𝑢 ∈ 𝐵𝑞 . Then for each 𝑡 ∈ 𝑎, 𝑏 , we have 𝑁 𝑢 𝑡 = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠
𝑏
𝑎
By (H2) we have for each 𝑡 ∈ 𝑎, 𝑏
𝑁 𝑢 𝑡 ≤ 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠
𝑏
𝑎
≤ 1 +
𝑎+𝑏
2
𝑞 𝐿1 + 𝑞∝
𝑝 𝐿1 + 1 +
𝑎+𝑏
2
𝑞 𝐿1 + 1 +
𝑎+𝑏
2
𝑔 𝐿1
𝑔∗ 𝑞 𝐿1 + 𝑞∝
𝑝 𝐿1 = 𝑙
Then for each 𝑢 ∈ 𝐵𝑞 we have
𝑁(𝑢) ∞ ≤ 𝑙
Step 3 (N maps bounded set into equicontinuous sets of ∁ 𝑎, 𝑏 , ℝ ). Let 𝜏1, 𝜏2 ∈ 𝑎, 𝑏 ,
𝜏1 < 𝜏2 and 𝐵𝑞 be a bounded set of ∁ 𝑎, 𝑏 , ℝ as in step 2. Let 𝑢 ∈ 𝐵𝑞 and ∈ 𝑎, 𝑏 we have
𝑁 𝑢 𝜏2 − 𝑁(𝑢(𝜏1)) ≤ 𝐻 𝜏2, 𝑠 − 𝐻 𝜏1, 𝑠 𝑞 𝑠 𝑑𝑠 + 𝑞∝
𝐻 𝜏2, 𝑠 − 𝐻 𝜏1, 𝑠 𝑝 𝑠 𝑑𝑠
𝑏
𝑎
𝑏
𝑎
As 𝜏2 → 𝜏1 the right hand side of the above inequality tends to zero. Then 𝑁(𝐵𝑞 ) is equicontinuous. As a
consequence of step 1 to 3 together with the Arzela-Ascoli theorem we can conclude that 𝑁: ∁ 𝑎, 𝑏 , ℝ →
∁ 𝑎, 𝑏 , ℝ is completely continuous.
Step 4. (A priori bounds on solutions). Let 𝑢 = 𝛾𝑁 𝑢 for some 𝑎 < 𝛾 < 𝑏. this implies by (H2) that each
𝑡 ∈ 𝑎, 𝑏 we have
𝑢 𝑡 ≤ 1 +
𝑎+𝑏
2
( 𝑝 𝑠 𝑢 𝑠 ∝
𝑑𝑠 +
𝑏
𝑎
𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑝 𝑠 𝑢 𝑠 ∝
𝑑𝑠)
𝑏
𝑎
Then 𝑢 ∞ ≤ 1 +
𝑎+𝑏
2
𝑝 𝐿1 𝑢 ∞
∝
+ 𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑝 𝐿1 𝑢 ∞
∝
Boundary value problems
If 𝑢 ∞ > 𝑏 we have
𝑢 ∞
𝑏−∝
≤ 1 +
𝑎+𝑏
2
𝑝 𝐿1 + 𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑝 𝐿1
Thus 𝑢 ∞ ≤ ( 1 +
𝑎+𝑏
2
𝑝 𝐿1 + 𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑞 𝐿1 +
𝑔 𝐿1
𝑔∗ 𝑝 𝐿1 )
1
𝑏−∝ = 𝜑∗
Hence 𝑢 ∞ ≤ max 𝑏, 𝜑 = 𝑀
Set 𝑦 = {𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ : 𝑢 ∞ < 𝑀 + 𝑏}
And consider the operator 𝑁: 𝑦 →∈ ∁ 𝑎, 𝑏 , ℝ . from the choice of y, there is no 𝑢 ∈ 𝜕𝑦 such that 𝑢 =
𝛾𝑁 𝑢 for some 𝛾 ∈ 𝑎, 𝑏 . we deduce that N has a fixed point u in y which is a solution of the problem (1.1)
𝑢 𝑚 = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢 𝑚 (𝑠) 𝑑𝑠, 𝑚 ≥ 1, 𝑡 ∈ 𝑎, 𝑏
𝑏
𝑎
As in step 3 and 4 we can easily prove that there exists 𝑀 > 𝑎 such that
𝑢 𝑚 ∞ < 𝑀, ⩝ 𝑚 ≥ 1
A Non Local Boundary Value Problem With Integral Boundary Condition
| IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 9 |
And the set 𝑢 𝑚 , 𝑚 ≥ 1 is equicontinuous in ∁ 𝑎, 𝑏 , ℝ hence by Arzela-Ascoli theorem we can conclude
that there exists a subsequence of 𝑢 𝑚 , 𝑚 ≥ 1 converging to u in ∁ 𝑎, 𝑏 , ℝ using that fact that f in an
𝐿1
− 𝐶𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦 we can prove that
𝑢(𝑡) = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠, 𝑡 ∈ 𝑎, 𝑏
𝑏
𝑎
thus s is compact.
REFERENCES
[1]. Al-Hayan, W. (2007). A domain Decomposition method with Green’s functions for solving Twelfth-order of
boundary value problems. Applied Mathematical sciences, Vol. 9, 2015, no. 8, 353 – 368.
[2]. Bender, C. M. and S. A. Orzag (1999). Advanced mathematical methods for scientists and Engineers; Asymptotic
methods and perturbation theory, ACM30020.
[3]. Benchohra, M. at al Second-Order boundary value problem with integral boundary conditions. Boundary value
problems article ID 260309 vol. 2011
[4]. Dr. Raisinghania, M. D. (2013), Integral equations and boundary value problems sixth edition; S. Chand &
Company PVT. LTD.
[5]. Greengard, L. and V. Kokhlin (1991). On the numerical solution of two-point boundary value problems.
Communications on pure and applied mathematics vol. XLIV, 419-452(1991)
[6]. Herron, I. H. Solving singular boundary value problems for ordinary differential equations. Caribb. J. Math.
Comput. Sci. 15, 2013, 1- 30.
[7]. Kumlin, P. (2003/2004), A note on ordinary differential equations; TMA401/MAN 670 Functional Analysis.
Mathematics Chalmers & GU
[8]. Liu, Z., Kang, S. M and J. S. Ume (2009). Triple positive solutions of nonlinear third order boundary value
problems. Taiwanese Journal of Mathematics Vol. 13, no. 3 pp955-971.
[9]. Mohamed, M. & W. A. W. Azmi (2013), positive solutions to solutions to a singular second order boundary value
problems. Int. Journal of math. Analysis, Vol.7, 2013, no. 41, 2005-2017.
[10]. Raisinghania, M. D. (2011), Integral equations and boundary value problems sixth edition; S. Chand & Company
PVT. LTD. New Delthi-110 055.
[11]. Teterina, A. O. (2013), The Green’s function method for solutions of fourth order nonlinear boundary value
problem. The university of Tennessee, Knoxville
[12]. Yang, C. & P. Weng (2007). Green’s function and positive solutions for boundary value problems of third order
differential equations. Computers and mathematics with applications 54(2007)567-578.
[13]. Zhao, Z. (2007) positive solutions for singular three-point boundary value problems. Electronic Journal of
Differential equations Vol. 2007(2007), no. 156, pp. 1-8. ISSN 1072-6691
[14]. Zhao, Z. (2007), Solution and green’s functions for linear second order three-point boundary value problems;
Computers and mathematics with applications 56(2008)104-113.

More Related Content

PDF
Bc4301300308
PDF
Integral calculus
PDF
On the Analysis of the Finite Element Solutions of Boundary Value Problems Us...
PDF
Matrix Transformations on Some Difference Sequence Spaces
PPTX
A course on integral calculus
PDF
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
DOCX
B.tech ii unit-3 material multiple integration
PDF
Further Results On The Basis Of Cauchy’s Proper Bound for the Zeros of Entire...
Bc4301300308
Integral calculus
On the Analysis of the Finite Element Solutions of Boundary Value Problems Us...
Matrix Transformations on Some Difference Sequence Spaces
A course on integral calculus
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
B.tech ii unit-3 material multiple integration
Further Results On The Basis Of Cauchy’s Proper Bound for the Zeros of Entire...

What's hot (20)

DOCX
Indefinite Integral
DOCX
Btech_II_ engineering mathematics_unit3
PDF
Tenth-Order Iterative Methods withoutDerivatives forSolving Nonlinear Equations
PDF
Uniformity of the Local Convergence of Chord Method for Generalized Equations
PDF
On The Distribution of Non - Zero Zeros of Generalized Mittag – Leffler Funct...
PDF
Analysis of a self-sustained vibration of mass-spring oscillator on moving belt
PDF
B.Tech-II_Unit-V
PDF
B.Tech-II_Unit-III
DOCX
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICS
DOCX
BSC_Computer Science_Discrete Mathematics_Unit-I
DOCX
Btech_II_ engineering mathematics_unit5
DOCX
Btech_II_ engineering mathematics_unit4
DOCX
BSC_COMPUTER _SCIENCE_UNIT-5_DISCRETE MATHEMATICS
PPTX
Z transforms
PDF
The Generalized Difference Operator of the 퐧 퐭퐡 Kind
PDF
B.Tech-II_Unit-IV
PPTX
Helmholtz equation (Motivations and Solutions)
PPTX
Lesson 3: Problem Set 4
PDF
Four Point Gauss Quadrature Runge – Kuta Method Of Order 8 For Ordinary Diffe...
DOCX
Summerp62016update3 slideshare sqrdver2
Indefinite Integral
Btech_II_ engineering mathematics_unit3
Tenth-Order Iterative Methods withoutDerivatives forSolving Nonlinear Equations
Uniformity of the Local Convergence of Chord Method for Generalized Equations
On The Distribution of Non - Zero Zeros of Generalized Mittag – Leffler Funct...
Analysis of a self-sustained vibration of mass-spring oscillator on moving belt
B.Tech-II_Unit-V
B.Tech-II_Unit-III
BSC_COMPUTER _SCIENCE_UNIT-2_DISCRETE MATHEMATICS
BSC_Computer Science_Discrete Mathematics_Unit-I
Btech_II_ engineering mathematics_unit5
Btech_II_ engineering mathematics_unit4
BSC_COMPUTER _SCIENCE_UNIT-5_DISCRETE MATHEMATICS
Z transforms
The Generalized Difference Operator of the 퐧 퐭퐡 Kind
B.Tech-II_Unit-IV
Helmholtz equation (Motivations and Solutions)
Lesson 3: Problem Set 4
Four Point Gauss Quadrature Runge – Kuta Method Of Order 8 For Ordinary Diffe...
Summerp62016update3 slideshare sqrdver2
Ad

Similar to A Non Local Boundary Value Problem with Integral Boundary Condition (20)

PDF
On the-approximate-solution-of-a-nonlinear-singular-integral-equation
PDF
evans_pde_solutions_ch2_ch3.pdf
PDF
The Analytical Nature of the Greens Function in the Vicinity of a Simple Pole
PDF
Some approximation properties of modified baskakov stancu operators
PDF
Solvability of a Four Point Nonlinear Boundary Value Problem
PPT
5icdsa2007 v4
PDF
Existence results for fractional q-differential equations with integral and m...
PDF
Existence results for fractional q-differential equations with integral and m...
PDF
Kt2418201822
PDF
Numerical Solution of the Nonlocal Singularly Perturbed Problem
PDF
Green’s Function Solution of Non-homogenous Singular Sturm-Liouville Problem
PDF
34032 green func
PDF
A Numerical Method For Solving The Problem U T - Delta F (U) 0
PDF
02_AJMS_168_19_RA.pdf
PDF
02_AJMS_168_19_RA.pdf
PDF
Exponential decay for the solution of the nonlinear equation induced by the m...
PDF
590-Article Text.pdf
PDF
590-Article Text.pdf
PDF
On the Application of a Classical Fixed Point Method in the Optimization of a...
PDF
D021018022
On the-approximate-solution-of-a-nonlinear-singular-integral-equation
evans_pde_solutions_ch2_ch3.pdf
The Analytical Nature of the Greens Function in the Vicinity of a Simple Pole
Some approximation properties of modified baskakov stancu operators
Solvability of a Four Point Nonlinear Boundary Value Problem
5icdsa2007 v4
Existence results for fractional q-differential equations with integral and m...
Existence results for fractional q-differential equations with integral and m...
Kt2418201822
Numerical Solution of the Nonlocal Singularly Perturbed Problem
Green’s Function Solution of Non-homogenous Singular Sturm-Liouville Problem
34032 green func
A Numerical Method For Solving The Problem U T - Delta F (U) 0
02_AJMS_168_19_RA.pdf
02_AJMS_168_19_RA.pdf
Exponential decay for the solution of the nonlinear equation induced by the m...
590-Article Text.pdf
590-Article Text.pdf
On the Application of a Classical Fixed Point Method in the Optimization of a...
D021018022
Ad

More from IJMERJOURNAL (20)

PDF
Modeling And Simulation Swash Plate Pump Response Characteristics in Load Sen...
PDF
Generation of Electricity Through A Non-Municipal Solid Waste Heat From An In...
PDF
A New Two-Dimensional Analytical Model of Small Geometry GaAs MESFET
PDF
Design a WSN Control System for Filter Backwashing Process
PDF
Application of Customer Relationship Management (Crm) Dimensions: A Critical ...
PDF
Comparisons of Shallow Foundations in Different Soil Condition
PDF
Place of Power Sector in Public-Private Partnership: A Veritable Tool to Prom...
PDF
Study of Part Feeding System for Optimization in Fms & Force Analysis Using M...
PDF
Investigating The Performance of A Steam Power Plant
PDF
Study of Time Reduction in Manufacturing of Screws Used in Twin Screw Pump
PDF
Mitigation of Voltage Imbalance in A Two Feeder Distribution System Using Iupqc
PDF
Adsorption of Methylene Blue From Aqueous Solution with Vermicompost Produced...
PDF
Analytical Solutions of simultaneous Linear Differential Equations in Chemica...
PDF
Experimental Investigation of the Effect of Injection of OxyHydrogen Gas on t...
PDF
Hybrid Methods of Some Evolutionary Computations AndKalman Filter on Option P...
PDF
An Efficient Methodology To Develop A Secured E-Learning System Using Cloud C...
PDF
Nigerian Economy and the Impact of Alternative Energy.
PDF
CASE STUDY
PDF
Validation of Maintenance Policy of Steel Plant Machine Shop By Analytic Hier...
PDF
li-fi: the future of wireless communication
Modeling And Simulation Swash Plate Pump Response Characteristics in Load Sen...
Generation of Electricity Through A Non-Municipal Solid Waste Heat From An In...
A New Two-Dimensional Analytical Model of Small Geometry GaAs MESFET
Design a WSN Control System for Filter Backwashing Process
Application of Customer Relationship Management (Crm) Dimensions: A Critical ...
Comparisons of Shallow Foundations in Different Soil Condition
Place of Power Sector in Public-Private Partnership: A Veritable Tool to Prom...
Study of Part Feeding System for Optimization in Fms & Force Analysis Using M...
Investigating The Performance of A Steam Power Plant
Study of Time Reduction in Manufacturing of Screws Used in Twin Screw Pump
Mitigation of Voltage Imbalance in A Two Feeder Distribution System Using Iupqc
Adsorption of Methylene Blue From Aqueous Solution with Vermicompost Produced...
Analytical Solutions of simultaneous Linear Differential Equations in Chemica...
Experimental Investigation of the Effect of Injection of OxyHydrogen Gas on t...
Hybrid Methods of Some Evolutionary Computations AndKalman Filter on Option P...
An Efficient Methodology To Develop A Secured E-Learning System Using Cloud C...
Nigerian Economy and the Impact of Alternative Energy.
CASE STUDY
Validation of Maintenance Policy of Steel Plant Machine Shop By Analytic Hier...
li-fi: the future of wireless communication

Recently uploaded (20)

PPTX
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
PDF
PPT on Performance Review to get promotions
PPTX
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
PPTX
Lecture Notes Electrical Wiring System Components
PDF
Arduino robotics embedded978-1-4302-3184-4.pdf
PDF
PRIZ Academy - 9 Windows Thinking Where to Invest Today to Win Tomorrow.pdf
PDF
Evaluating the Democratization of the Turkish Armed Forces from a Normative P...
PPTX
FINAL REVIEW FOR COPD DIANOSIS FOR PULMONARY DISEASE.pptx
PPTX
Internet of Things (IOT) - A guide to understanding
PPTX
Strings in CPP - Strings in C++ are sequences of characters used to store and...
PPTX
web development for engineering and engineering
PPTX
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
PPTX
KTU 2019 -S7-MCN 401 MODULE 2-VINAY.pptx
PPTX
Welding lecture in detail for understanding
PPTX
UNIT-1 - COAL BASED THERMAL POWER PLANTS
PDF
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
PDF
July 2025 - Top 10 Read Articles in International Journal of Software Enginee...
PDF
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
PPTX
Recipes for Real Time Voice AI WebRTC, SLMs and Open Source Software.pptx
PDF
Model Code of Practice - Construction Work - 21102022 .pdf
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
PPT on Performance Review to get promotions
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
Lecture Notes Electrical Wiring System Components
Arduino robotics embedded978-1-4302-3184-4.pdf
PRIZ Academy - 9 Windows Thinking Where to Invest Today to Win Tomorrow.pdf
Evaluating the Democratization of the Turkish Armed Forces from a Normative P...
FINAL REVIEW FOR COPD DIANOSIS FOR PULMONARY DISEASE.pptx
Internet of Things (IOT) - A guide to understanding
Strings in CPP - Strings in C++ are sequences of characters used to store and...
web development for engineering and engineering
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
KTU 2019 -S7-MCN 401 MODULE 2-VINAY.pptx
Welding lecture in detail for understanding
UNIT-1 - COAL BASED THERMAL POWER PLANTS
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
July 2025 - Top 10 Read Articles in International Journal of Software Enginee...
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
Recipes for Real Time Voice AI WebRTC, SLMs and Open Source Software.pptx
Model Code of Practice - Construction Work - 21102022 .pdf

A Non Local Boundary Value Problem with Integral Boundary Condition

  • 1. International OPEN ACCESS Journal Of Modern Engineering Research (IJMER) | IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 5 | A Non Local Boundary Value Problem with Integral Boundary Condition Goteti V R L Sarma1 , Awet Mebrahtu2 Mebrahtom Sebhatu3 Department of Mathematics, Eritrea Institute of Technology, Mainefhi, Eritrea. I. INTRODUCTION Non local boundary value problems raises much attention because of its ability to accommodate more boundary points than their corresponding order of differential equations [5], [8]. Considerable studies were made by Bai and Fag [2], Gupta [4] and Web [9]. This research article is concerned with the existence and uniqueness of solutions for the second order three-point boundary value problem with integral type boundary conditions −𝑢′′ = 𝑓 𝑡, 𝑢 𝑡 , 𝑡 ∈ (𝑎, 𝑏) 𝑢′ 𝑎 = 0 (1.1) 𝑢′ 𝑏 + 𝑘𝑢 𝜂 = 𝑢(𝑠)𝑔(𝑠)𝑑𝑠 𝑏 𝑎 where 𝑓: [𝑎, 𝑏] × ℝ → ℝ is a given function and 𝑔: 𝑎, 𝑏 → ℝ is an integral function and 𝜂 ∈ (𝑎, 𝑏). Boundary value problems with integral boundary conditions constitute a very interesting and important class of problems. The Green’s function plays an important role in solving boundary value problems of differential equations. The exact expressions of the solutions for some linear ODEs boundary value problems can be denoted by Green’s functions of the problems. The Green’s function method might be used to obtain an initial estimate for shooting method. The Greens function method for solving the boundary value problem is an effect tools in numerical experiments. Some BVPs for nonlinear integral equations the kernels of which are the Green’s functions of corresponding linear differential equations. The integral equations can be solved by to investigate the property of the Green’s functions. The undetermined parametric method we use in this paper is a universal method, the Green’s functions of many boundary value problems for ODEs can be obtained by similar method. In (2008), Zhao discussed the solutions and Green’s functions for non local linear second-order Three- point boundary value problems. 𝑢′′ + 𝑓 𝑡 = 0, 𝑡 ∈ [𝑎, 𝑏] subject to one of the following boundary value conditions: i. 𝑢 𝑎 = 𝑘𝑢 𝜂 , 𝑢 𝑏 = 0 ii. 𝑢 𝑎 = 0, 𝑢 𝑏 = 𝑘𝑢(𝜂) iii. 𝑢 𝑎 = 𝑘𝑢′ 𝜂 , 𝑢 𝑏 = 0 iv. 𝑢 𝑎 = 0, 𝑢 𝑏 = 𝑘𝑢′(𝜂) where k was the given number and 𝜂 ∈ 𝑎, 𝑏 is a given point. In (2013), Mohamed investigate the positive solutions to a singular second order boundary value problem with more generalized boundary conditions. He consider the Sturm-Liouville boundary value problem 𝑢′′ + 𝜆𝑔(𝑡)𝑓 𝑡 = 0, 𝑡 ∈ [0, 1] with the boundary conditions ∝ 𝑢 0 − 𝛽𝑢′ 0 = 0, 𝛾𝑢 1 + 𝛿𝑢′ 1 = 0 where ∝> 0, 𝛽 > 0, 𝛾 > 0 𝑎𝑛𝑑 𝛿 > 0 are all constants, 𝜆 is a positive parameter and 𝑓 . Is singular at 𝑢 = 0. Also the existence of positive solutions of singular boundary value problems of ordinary differential equations has been studied by many researchers such as Agarwal and Stanek established the existence criteria for positive solutions singular boundary value problems for nonlinear second order ordinary and delay differential ABSTRACT: In this article a three point boundary value problem associated with a second order differential equation with integral type boundary conditions is proposed. Then its solution is developed with the help of the Green’s function associated with the homogeneous equation. Using this idea and Iteration method is proposed to solve the corresponding linear problem. Keywords: Green’s function, Schauder fixed point theorem, Vitali’s convergence theorem. Ams Msc: 34B18, 34B99, 35J05
  • 2. A Non Local Boundary Value Problem With Integral Boundary Condition | IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 6 | equations using the Vitali’s convergence theorem. Gatical et al proved the existence of positive solution of the problem 𝑢′′ + 𝑓 𝑡 = 0, 𝑡 ∈ [0, 1] with the boundary conditions ∝ 𝑢 0 − 𝛽𝑢′ 0 = 0 , 𝛾𝑢 1 + 𝛿𝑢′ 1 = 0 using the iterative technique and fixed point theorem for cone for decreasing mappings. Wang and Liu proved the existence of positive solution to the problem 𝑢′′ + 𝜆𝑔(𝑡)𝑓 𝑡 = 0, 𝑡 ∈ [0, 1] with the boundary conditions ∝ 𝑢 0 − 𝛽𝑢′ 0 = 0 and 𝛾𝑢 1 + 𝛿𝑢′ 1 = 0 using the Schauder fixed point theorem. II. PRELIMINARIES In this section, we introduce notations, definitions and preliminary facts that will be used in the remainder of this paper. Let 𝐴∁1 𝑎, 𝑏 , ℝ be the space of differentiable functions 𝑢: 𝑎, 𝑏 → ℝ whose first derivative, 𝑢′ is absolutely continuous. We take ∁ 𝑎, 𝑏 , ℝ to be the Banach space of all continuous functions from 𝑎, 𝑏 into ℝ with norm 𝑢 ∞ = sup 𝑢 𝑡 : 𝑎 ≤ 𝑡 ≤ 𝑏 And let 𝐿1 𝑎, 𝑏 , ℝ denote the Banach space of the functions 𝑢: 𝑎, 𝑏 → ℝ that are Lesbegue integrable with norm 𝑢 𝐿1 = 𝑢(𝑡)𝑑𝑡 𝑏 𝑎 Definition 2.1: A map 𝑓: [𝑎, 𝑏] × ℝ → ℝ is said to be 𝐿1 - caratheodory if (i) 𝑡 → 𝑓 𝑡, 𝑢 is measurable for each 𝑢 ∈ ℝ (ii) 𝑢 → 𝑓 𝑡, 𝑢 is continuous for almost each 𝑡 ∈ [𝑎, 𝑏] (iii) For every 𝑟 > 0 there exists 𝑕 𝑟 ∈ 𝐿1 𝑎, 𝑏 , ℝ such that 𝑓(𝑡, 𝑢) ≤ 𝑕 𝑟 𝑡 for almost each 𝑡 ∈ 𝑎, 𝑏 and all 𝑢 ≤ 𝑟 III. EXISTENCE AND UNIQUENESS RESULTS Definition 3.1 A function 𝑢 ∈ 𝐴∁1 𝑎, 𝑏 , ℝ is said to be a solution of (1.1) if 𝑢 satisfies (1.1) Lemma 3.1 : The Green’s function of the corresponding homogeneous boundary value problem with homogeneous boundary conditions −𝑢′′ = 0 satisfying 𝑢′ 𝑎 = 0, 𝑢′ 𝑏 + 𝑘𝑢 𝜂 = 0 is given by 𝐺 𝑡, 𝑠 = 𝜂 − 𝑠 + 1 𝑘 , 𝑎 ≤ 𝑡 < 𝑠 𝜂 − 𝑡 + 1 𝑘 , 𝑠 ≤ 𝑡 ≤ 𝑏 Proof: It can be easily obtained from the elementary properties of Green’s function hence omitted. Assume that 𝑔∗ = 1 𝑘 𝑔(𝑠)𝑑𝑠 ≠ 1 𝑏 𝑎 and 𝑘 ≠ 0. One need the following auxiliary results. Lemma 3.2: Let 𝑓: 𝐿1 𝑎, 𝑏 , ℝ then the function defined by 𝑢 𝑡 = 𝐻(𝑡, 𝑠)𝑓(𝑠)𝑑𝑠 𝑏 𝑎 is the unique solution of the boundary value problem −𝑢′′ = 𝑓 𝑡 , 𝑡 ∈ (𝑎, 𝑏) satisfying 𝑢′ 𝑎 = 0, 𝑢′ 𝑏 + 𝑘𝑢 𝜂 = 𝑔(𝑠)𝑢(𝑠)𝑑𝑠 𝑏 𝑎 (3.1) where 𝐻 𝑡, 𝑠 = 𝐺 𝑡, 𝑠 + 1 1− 1 𝑘 𝑔(𝑠)𝑑𝑠 𝑏 𝑎 [ 𝑢 𝑟 𝑓 𝑟 𝑑𝑟 + 𝐺(𝑡, 𝑟)𝑓(𝑟)𝑑𝑟]𝑑𝑠 𝑏 𝑎 𝑏 𝑎 𝑏 𝑎 and 𝐺 𝑡, 𝑠 = 𝜂 − 𝑠 + 1 𝑘 , 𝑎 ≤ 𝑡 < 𝑠 𝜂 − 𝑡 + 1 𝑘 , 𝑠 ≤ 𝑡 ≤ 𝑏 Proof: Let u be a solution of the problem (3.1). Integrating we obtain 𝑢′ 𝑡 = 𝑢′ 𝑎 − 𝑢(𝑠)𝑓(𝑠)𝑑𝑠 𝑡 𝑎 𝑢′ 𝑎 = 0, ⇒ 𝑢′ 𝑡 = − 𝑢(𝑠)𝑓(𝑠)𝑑𝑠 𝑡 𝑎 (3.2) 𝑢′ 𝑏 = − 𝑢(𝑠)𝑓(𝑠)𝑑𝑠 𝑏 𝑎 Integrating (3.2) 𝑢 𝑡 = 𝑢 𝑎 − (𝑡 − 𝑠)𝑓(𝑠)𝑑𝑠 𝑡 𝑎 𝑢 𝜂 = 𝑢 𝑎 − (𝜂 − 𝑠)𝑓(𝑠)𝑑𝑠 𝜂 𝑎 From the condition 𝑢′ 𝑏 + 𝑘𝑢 𝜂 = 𝑢(𝑠)𝑔(𝑠)𝑑𝑠 𝑏 𝑎 𝑢 𝑎 = 1 𝑘 𝑢 𝑠 𝑔 𝑠 𝑑𝑠 + 1 𝑘 𝑢(𝑠)𝑓(𝑠)𝑑𝑠 𝑏 𝑎 + 𝑏 𝑎 (𝜂 − 𝑠)𝑓(𝑠)𝑑𝑠 𝜂 𝑎
  • 3. A Non Local Boundary Value Problem With Integral Boundary Condition | IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 7 | Hence 𝑢 𝑡 = 1 𝑘 𝑢 𝑠 𝑔 𝑠 𝑑𝑠 + 1 𝑘 𝑢(𝑠)𝑓(𝑠)𝑑𝑠 𝑏 𝑎 + 𝑏 𝑎 (𝜂 − 𝑠)𝑓(𝑠)𝑑𝑠 𝜂 𝑎 + (𝑠 − 𝑡)𝑓(𝑠)𝑑𝑠 𝑡 𝑎 𝑢 𝑡 = 1 𝑘 𝑢 𝑠 𝑔 𝑠 𝑑𝑠 + 1 𝑘 𝑢(𝑠)𝑓(𝑠)𝑑𝑠 𝑏 𝑎 + 𝑏 𝑎 𝐺(𝑡, 𝑠)𝑓(𝑠)𝑑𝑠 𝑏 𝑎 (3.3) where 𝐺 𝑡, 𝑠 = 𝜂 − 𝑠 + 1 𝑘 , 𝑎 ≤ 𝑡 < 𝑠 𝜂 − 𝑡 + 1 𝑘 , 𝑠 ≤ 𝑡 ≤ 𝑏 Multiply (3.3) by g(s) and integrating over (𝑎, 𝑏) 𝑢(𝑠)𝑔(𝑠)𝑑𝑠 𝑏 𝑎 = 𝑔 𝑠 1 𝑘 𝑢 𝑟 𝑔 𝑟 𝑑𝑟 + 1 𝑘 𝑢 𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 + 𝑏 𝑎 𝐺 𝑠, 𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 𝑑𝑠 𝑏 𝑎 𝑢(𝑠)𝑔(𝑠)𝑑𝑠 𝑏 𝑎 1 − 1 𝑘 𝑔 𝑠 𝑑𝑠 𝑏 𝑎 = 𝑔 𝑠 1 𝑘 𝑢 𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 + 𝐺 𝑠, 𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 𝑑𝑠 𝑏 𝑎 𝑢(𝑠)𝑔(𝑠)𝑑𝑠 𝑏 𝑎 = 𝑔 𝑠 1 𝑘 𝑢 𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 + 𝐺 𝑠,𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 𝑑𝑠 𝑏 𝑎 1− 1 𝑘 𝑔 𝑠 𝑑𝑠 𝑏 𝑎 (3.4) Substituting (3.4) in (3.3) gives 𝑢 𝑡 = 𝐺 𝑡, 𝑠 𝑓 𝑠 𝑑𝑠 𝑏 𝑎 + 1 𝑘 𝑢 𝑠 𝑓 𝑠 𝑑𝑠 + 1 𝑘 𝑏 𝑎 𝑔 𝑠 1 𝑘 𝑢 𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 + 𝐺 𝑠, 𝑟 𝑓 𝑟 𝑑𝑟 𝑏 𝑎 𝑑𝑠 𝑏 𝑎 1 − 1 𝑘 𝑔 𝑠 𝑑𝑠 𝑏 𝑎 Therefore 𝑢 𝑡 = 𝐻 𝑡, 𝑠 𝑓 𝑠 𝑑𝑠 𝑏 𝑎 . Hence it is proved Now let us set 𝑔∗ = 1 − 𝑔∗ . Note that 𝐺 𝑡, 𝑠 ≤ 1 𝑘 + 𝑎 + 𝑏 2 , And 𝑖𝑓 𝑘 ≥ 1 𝐺(𝑡, 𝑠) ≤ 1 + 𝑎+𝑏 2 𝑓𝑜𝑟 𝑡, 𝑠 ∈ 𝑎, 𝑏 × 𝑎, 𝑏 Theorem 3.3: Assume that f is an 𝐿1 − 𝐶𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦 function and the following hypothesis (A1) there exists 𝑙 ∈ 𝐿1 𝑎, 𝑏 , ℝ+ such that 𝑓 𝑡, 𝑥 − 𝑓(𝑡, 𝑥) ≤ 𝑙 𝑡 𝑥 − 𝑥 , ⩝ 𝑥, 𝑥 ∈ ℝ, 𝑡 ∈ 𝑎, 𝑏 Holds. If 𝑙 𝐿1 + 1 𝑘 𝑔 𝐿1 + 𝑔 𝐿1 𝑘𝑔∗ 1 𝑘 𝑔 𝐿1 + 𝑙 𝐿1 < 1 + 2 𝑎+𝑏 Then the BVP (1.1) has a unique solution Proof : Transform problem (1.1) into a fixed point problem consider the operator 𝑁: ∁( 𝑎, 𝑏 , ℝ) → ∁( 𝑎, 𝑏 , ℝ) defined by 𝑁 𝑢 𝑡 = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠 𝑏 𝑎 𝑡 ∈ [𝑎, 𝑏] We will show that N is a contraction. Indeed, consider 𝑢, 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ then we have each 𝑡 ∈ 𝑎, 𝑏 . 𝑁 𝑢 𝑡 − 𝑁(𝑢(𝑡)) ≤ 𝐻(𝑡, 𝑠) 𝑓 𝑠, 𝑢 𝑠 − 𝑓(𝑠, 𝑢(𝑠)) 𝑑𝑠 𝑏 𝑎 ≤ 𝐺 𝑡, 𝑠 𝑙 𝑠 𝑢 𝑠 − 𝑢 𝑠 𝑑𝑠 + 1 𝑘 𝑏 𝑎 𝑙 𝑠 𝑢 𝑠 − 𝑢 𝑠 2 𝑑𝑠 + 1 𝑘𝑔∗ 1 𝑘 𝑙 𝑠 𝑢 𝑠 − 𝑏 𝑎 𝑏 𝑎 𝑢𝑠2𝑔𝑟𝑑𝑠𝑑𝑟+𝑎𝑏𝑙𝑠𝑢𝑠− 𝑢𝑠𝑔𝑟𝑎𝑏𝐺𝑟,𝑠𝑑𝑠𝑑𝑟 Boundary value problems Therefore 𝑁 𝑢 − 𝑁(𝑢) ∞ ≤ 1 + 𝑎+𝑏 2 𝑙 𝐿1 + 𝑔 𝐿1 2 + 𝑔 𝐿1 2 + 𝑔 𝐿1. 𝑙 𝐿1 𝑔∗ 𝑢 − 𝑢 Showing that, N is a contraction and hence it has a unique fixed point which is a solution to (1.1). The proof is completed We now present an existence result for problem (1.1)
  • 4. A Non Local Boundary Value Problem With Integral Boundary Condition | IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 8 | Theorem 3.4: Suppose that the hypothesis (H1) The function 𝑓: [𝑎, 𝑏] × ℝ → ℝ is an 𝐿1 − 𝑐𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦 (H2) there exist functions 𝑝, 𝑞 ∈ 𝐿1 𝑎, 𝑏 , ℝ + and ∝∈ [𝑎, 𝑏] such that 𝑓(𝑡, 𝑢) ≤ 𝑝 𝑡 𝑢 ∝ − 𝑞 𝑡 , ⩝ 𝑡, 𝑢 ∈ [𝑎, 𝑏] × ℝ are satisfied. Then the BVP (1.1) has at least one solution. Moreover the solution set 𝑠 = 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ : 𝑢 𝑠𝑜𝑙𝑢𝑡𝑖𝑜𝑛 𝑜𝑓 𝑡𝑕𝑒 𝑝𝑟𝑜𝑏𝑙𝑒𝑚 1.1 is compact. Proof: Transform the BVP (1.1) into a fixed-point problem. Consider the operator N as define in theorem 3.3 We will show that N satisfies the assumptions of the nonlinear alternative of Leray-schauder type. The proof will be given in several steps Step1. (N is continuous). Let {𝑢 𝑚 } be a sequence such that 𝑢 𝑚 → 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ . Then 𝑁 𝑢 𝑚 − 𝑁(𝑢) ∞ ≤ 𝐻(𝑡, 𝑠) 𝑓 𝑠, 𝑢 𝑚 𝑠 − 𝑓(𝑠, 𝑢(𝑠)) 𝑑𝑠 𝑏 𝑎 Since f is 𝐿1 − 𝑐𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦 and 𝑔 ∈ 𝐿1 𝑎, 𝑏 , ℝ+ , then 𝑁 𝑢 𝑚 − 𝑁(𝑢) ∞ ≤ 1 + 𝑎 + 𝑏 2 𝑓 . , 𝑢 𝑚 . − 𝑓 . , 𝑢 . 𝐿1 + 1 + 𝑎 + 𝑏 2 𝑔 𝐿1 + 𝑎 + 𝑏 + 2 2𝑔∗ 𝑔 𝐿1 + 𝑓 . , 𝑢 𝑚 . − 𝑓 . , 𝑢 . 𝐿1 Hence 𝑁 𝑢 𝑚 − 𝑁(𝑢) ∞ → 0 𝑎𝑠 𝑚 → ∞ Step 2 (N maps bounded sets into bounded sets in ∁ 𝑎, 𝑏 , ℝ ). Indeed, it is enough to show that there exists a positive constant 𝑙 such that for each 𝑢 ∈ 𝐵𝑞 = 𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ ; 𝑢 ∞ ≤ 𝑞 . one has 𝑢 ∞ ≤ 𝑙 Let 𝑢 ∈ 𝐵𝑞 . Then for each 𝑡 ∈ 𝑎, 𝑏 , we have 𝑁 𝑢 𝑡 = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠 𝑏 𝑎 By (H2) we have for each 𝑡 ∈ 𝑎, 𝑏 𝑁 𝑢 𝑡 ≤ 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠 𝑏 𝑎 ≤ 1 + 𝑎+𝑏 2 𝑞 𝐿1 + 𝑞∝ 𝑝 𝐿1 + 1 + 𝑎+𝑏 2 𝑞 𝐿1 + 1 + 𝑎+𝑏 2 𝑔 𝐿1 𝑔∗ 𝑞 𝐿1 + 𝑞∝ 𝑝 𝐿1 = 𝑙 Then for each 𝑢 ∈ 𝐵𝑞 we have 𝑁(𝑢) ∞ ≤ 𝑙 Step 3 (N maps bounded set into equicontinuous sets of ∁ 𝑎, 𝑏 , ℝ ). Let 𝜏1, 𝜏2 ∈ 𝑎, 𝑏 , 𝜏1 < 𝜏2 and 𝐵𝑞 be a bounded set of ∁ 𝑎, 𝑏 , ℝ as in step 2. Let 𝑢 ∈ 𝐵𝑞 and ∈ 𝑎, 𝑏 we have 𝑁 𝑢 𝜏2 − 𝑁(𝑢(𝜏1)) ≤ 𝐻 𝜏2, 𝑠 − 𝐻 𝜏1, 𝑠 𝑞 𝑠 𝑑𝑠 + 𝑞∝ 𝐻 𝜏2, 𝑠 − 𝐻 𝜏1, 𝑠 𝑝 𝑠 𝑑𝑠 𝑏 𝑎 𝑏 𝑎 As 𝜏2 → 𝜏1 the right hand side of the above inequality tends to zero. Then 𝑁(𝐵𝑞 ) is equicontinuous. As a consequence of step 1 to 3 together with the Arzela-Ascoli theorem we can conclude that 𝑁: ∁ 𝑎, 𝑏 , ℝ → ∁ 𝑎, 𝑏 , ℝ is completely continuous. Step 4. (A priori bounds on solutions). Let 𝑢 = 𝛾𝑁 𝑢 for some 𝑎 < 𝛾 < 𝑏. this implies by (H2) that each 𝑡 ∈ 𝑎, 𝑏 we have 𝑢 𝑡 ≤ 1 + 𝑎+𝑏 2 ( 𝑝 𝑠 𝑢 𝑠 ∝ 𝑑𝑠 + 𝑏 𝑎 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑝 𝑠 𝑢 𝑠 ∝ 𝑑𝑠) 𝑏 𝑎 Then 𝑢 ∞ ≤ 1 + 𝑎+𝑏 2 𝑝 𝐿1 𝑢 ∞ ∝ + 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑝 𝐿1 𝑢 ∞ ∝ Boundary value problems If 𝑢 ∞ > 𝑏 we have 𝑢 ∞ 𝑏−∝ ≤ 1 + 𝑎+𝑏 2 𝑝 𝐿1 + 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑝 𝐿1 Thus 𝑢 ∞ ≤ ( 1 + 𝑎+𝑏 2 𝑝 𝐿1 + 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑞 𝐿1 + 𝑔 𝐿1 𝑔∗ 𝑝 𝐿1 ) 1 𝑏−∝ = 𝜑∗ Hence 𝑢 ∞ ≤ max 𝑏, 𝜑 = 𝑀 Set 𝑦 = {𝑢 ∈ ∁ 𝑎, 𝑏 , ℝ : 𝑢 ∞ < 𝑀 + 𝑏} And consider the operator 𝑁: 𝑦 →∈ ∁ 𝑎, 𝑏 , ℝ . from the choice of y, there is no 𝑢 ∈ 𝜕𝑦 such that 𝑢 = 𝛾𝑁 𝑢 for some 𝛾 ∈ 𝑎, 𝑏 . we deduce that N has a fixed point u in y which is a solution of the problem (1.1) 𝑢 𝑚 = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢 𝑚 (𝑠) 𝑑𝑠, 𝑚 ≥ 1, 𝑡 ∈ 𝑎, 𝑏 𝑏 𝑎 As in step 3 and 4 we can easily prove that there exists 𝑀 > 𝑎 such that 𝑢 𝑚 ∞ < 𝑀, ⩝ 𝑚 ≥ 1
  • 5. A Non Local Boundary Value Problem With Integral Boundary Condition | IJMER | ISSN: 2249–6645 www.ijmer.com | Vol. 7 | Iss. 5 | May. 2017 | 9 | And the set 𝑢 𝑚 , 𝑚 ≥ 1 is equicontinuous in ∁ 𝑎, 𝑏 , ℝ hence by Arzela-Ascoli theorem we can conclude that there exists a subsequence of 𝑢 𝑚 , 𝑚 ≥ 1 converging to u in ∁ 𝑎, 𝑏 , ℝ using that fact that f in an 𝐿1 − 𝐶𝑎𝑟𝑎𝑡𝑕𝑒𝑜𝑑𝑜𝑟𝑦 we can prove that 𝑢(𝑡) = 𝐻 𝑡, 𝑠 𝑓 𝑠, 𝑢(𝑠) 𝑑𝑠, 𝑡 ∈ 𝑎, 𝑏 𝑏 𝑎 thus s is compact. REFERENCES [1]. Al-Hayan, W. (2007). A domain Decomposition method with Green’s functions for solving Twelfth-order of boundary value problems. Applied Mathematical sciences, Vol. 9, 2015, no. 8, 353 – 368. [2]. Bender, C. M. and S. A. Orzag (1999). Advanced mathematical methods for scientists and Engineers; Asymptotic methods and perturbation theory, ACM30020. [3]. Benchohra, M. at al Second-Order boundary value problem with integral boundary conditions. Boundary value problems article ID 260309 vol. 2011 [4]. Dr. Raisinghania, M. D. (2013), Integral equations and boundary value problems sixth edition; S. Chand & Company PVT. LTD. [5]. Greengard, L. and V. Kokhlin (1991). On the numerical solution of two-point boundary value problems. Communications on pure and applied mathematics vol. XLIV, 419-452(1991) [6]. Herron, I. H. Solving singular boundary value problems for ordinary differential equations. Caribb. J. Math. Comput. Sci. 15, 2013, 1- 30. [7]. Kumlin, P. (2003/2004), A note on ordinary differential equations; TMA401/MAN 670 Functional Analysis. Mathematics Chalmers & GU [8]. Liu, Z., Kang, S. M and J. S. Ume (2009). Triple positive solutions of nonlinear third order boundary value problems. Taiwanese Journal of Mathematics Vol. 13, no. 3 pp955-971. [9]. Mohamed, M. & W. A. W. Azmi (2013), positive solutions to solutions to a singular second order boundary value problems. Int. Journal of math. Analysis, Vol.7, 2013, no. 41, 2005-2017. [10]. Raisinghania, M. D. (2011), Integral equations and boundary value problems sixth edition; S. Chand & Company PVT. LTD. New Delthi-110 055. [11]. Teterina, A. O. (2013), The Green’s function method for solutions of fourth order nonlinear boundary value problem. The university of Tennessee, Knoxville [12]. Yang, C. & P. Weng (2007). Green’s function and positive solutions for boundary value problems of third order differential equations. Computers and mathematics with applications 54(2007)567-578. [13]. Zhao, Z. (2007) positive solutions for singular three-point boundary value problems. Electronic Journal of Differential equations Vol. 2007(2007), no. 156, pp. 1-8. ISSN 1072-6691 [14]. Zhao, Z. (2007), Solution and green’s functions for linear second order three-point boundary value problems; Computers and mathematics with applications 56(2008)104-113.