EQUATIONS WITH A PARAMETER



Similar documents
Differential Inequalities with Initial Time Difference and Applications

Fuzzy Differential Systems and the New Concept of Stability

QUASILINEARIZATION METHOD

TAKE-AWAY GAMES. ALLEN J. SCHWENK California Institute of Technology, Pasadena, California INTRODUCTION

ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS

A new continuous dependence result for impulsive retarded functional differential equations

Some remarks on Phragmén-Lindelöf theorems for weak solutions of the stationary Schrödinger operator

Lecture 13 Linear quadratic Lyapunov theory

OPTIMAL SELECTION BASED ON RELATIVE RANK* (the "Secretary Problem")

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang

PRIME FACTORS OF CONSECUTIVE INTEGERS

t := maxγ ν subject to ν {0,1,2,...} and f(x c +γ ν d) f(x c )+cγ ν f (x c ;d).

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

OPTIMAl PREMIUM CONTROl IN A NON-liFE INSURANCE BUSINESS


Properties of BMO functions whose reciprocals are also BMO

Iterations of sum of powers of digits

M-Degrees of Quadrangle-Free Planar Graphs

ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n

Probability Generating Functions

SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

On the Multiplier of a Lie Algebra

I. Pointwise convergence

Fairness in Routing and Load Balancing

Exponential Functions and Laplace Transforms for Alpha Derivatives

Multiple positive solutions of a nonlinear fourth order periodic boundary value problem

Math 55: Discrete Mathematics

General Theory of Differential Equations Sections 2.8, , 4.1

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

Solutions of Equations in One Variable. Fixed-Point Iteration II

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

Homework 2 Solutions

Part II NUMERICAL MATHEMATICS

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

Section 1.3 P 1 = 1 2. = P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., =

ALGORITHMIC TRADING WITH MARKOV CHAINS

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x

SCORE SETS IN ORIENTED GRAPHS

Pacific Journal of Mathematics

Single machine parallel batch scheduling with unbounded capacity

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

2OO THE MINIMUM ABSOLUTE DEVIATION TREND LINE CHARLES F. COOK

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

ON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, , UAE

3 Signals and Systems: Part II

THE BANACH CONTRACTION PRINCIPLE. Contents

GI01/M055 Supervised Learning Proximal Methods

Walrasian Demand. u(x) where B(p, w) = {x R n + : p x w}.

Mathematical Methods of Engineering Analysis

Some facts about polynomials modulo m (Full proof of the Fingerprinting Theorem)

A deeper analysis indicates, at least in qualitative

OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN. E.V. Grigorieva. E.N. Khailov

THE CONTRACTION MAPPING THEOREM

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES

CS 688 Pattern Recognition Lecture 4. Linear Models for Classification

JUST THE MATHS UNIT NUMBER 8.5. VECTORS 5 (Vector equations of straight lines) A.J.Hobson

x a x 2 (1 + x 2 ) n.

k, then n = p2α 1 1 pα k

Equilibria and Dynamics of. Supply Chain Network Competition with Information Asymmetry. and Minimum Quality Standards

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

Numerical Methods for Differential Equations

1 Introduction, Notation and Statement of the main results

Brownian Motion and Stochastic Flow Systems. J.M Harrison

EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION

9.2 Summation Notation

Lecture 7: Finding Lyapunov Functions 1

1 if 1 x 0 1 if 0 x 1

A simple criterion on degree sequences of graphs

Cycles in a Graph Whose Lengths Differ by One or Two

WHERE DOES THE 10% CONDITION COME FROM?

Some stability results of parameter identification in a jump diffusion model

An improved on-line algorithm for scheduling on two unrestrictive parallel batch processing machines

1. (First passage/hitting times/gambler s ruin problem:) Suppose that X has a discrete state space and let i be a fixed state. Let

Gambling Systems and Multiplication-Invariant Measures

Cooling and Euler's Method

Some Problems of Second-Order Rational Difference Equations with Quadratic Terms

Student Outcomes. Lesson Notes. Classwork. Discussion (10 minutes)

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

Lecture notes on Ordinary Differential Equations. Plan of lectures

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra

d e f i n i c j i p o s t a w y, z w i z a n e j e s t t o m. i n. z t y m, i p o jі c i e t o

A Simple Characterization for Truth-Revealing Single-Item Auctions

GENERALIZED INTEGER PROGRAMMING

THE NUMBER OF GRAPHS AND A RANDOM GRAPH WITH A GIVEN DEGREE SEQUENCE. Alexander Barvinok

Load balancing of temporary tasks in the l p norm

Adaptive Online Gradient Descent

Continued Fractions and the Euclidean Algorithm

A Simple Observation Concerning Contraction Mappings

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

Online Appendix to Stochastic Imitative Game Dynamics with Committed Agents

The Fourier Series of a Periodic Function

Metric Spaces. Chapter 1

Functional Optimization Models for Active Queue Management

LECTURE 15: AMERICAN OPTIONS

2.3. Proposition. There exists an enumeration operator W a such that χ A = W a (A ) for all A N.

Transcription:

Journal of Applied Mathematics Stochastic Analysis, 10:3 (1997), 273-278. MONOTONE ITERATIONS FOR DIFFERENTIAL EQUATIONS WITH A PARAMETER TADEUSZ JANKOWSKI Technical University of Gdansk, Department of Numerical Analysis Gdansk, POLAND V. LAKSHMIKANTHAM Florida Institute of Technology, Applied Mathematics Program Melbourne, FL 32901 USA (Received February, 1997; Revised June, 1997) Consider the problem y (t)- f(t,y(t),i), (o)- o, (,) 0. t e J [0, b], Employing the method of upper lower solutions the monotone iterative technique, existence of extremal solutions for the above equation are proved. Key words: Monotone Iterations, Differential Equations, Monotone Iterative Technique. AMS subject classifications: 34A45, 34B99. 1. Prehminaries Consider the following differential equation x (t) = f(t,x(t),), t E J : [O,b] (la) with the boundary conditions x(o)- ko, x(b) kl, (lb) where f C(J R R,R) ko, k 1 R are given. The corresponding solution of (1) yields a pair of (x, ) CI(J, R) x R for which problem (1) is satisfied. Problem (1) is called a problem with a parameter. Conditions on f which guarantee the existence of solutions to (1) are important analysis theorems. Such theorems can be formulated under the assumption that f satisfies the Lipschitz condition with respect to the last two variables with suitable Printed in the U.S.A. ()1997 by North Atlantic Science Publishing Company 273

274 TADEUSZ JANKOWSKI V. LAKSHMIKANTHAM Lipschitz constants or Lipschitz functions [1-3, 5]. This paper applies the method of lower upper solutions for proving existence results [4]. Using this technique, we construct monotone sequences, giving sufficient conditions under which they are convergent. Moreover this method gives a problem solution in a closed set. Note that x(b) in condition (lb) may appear in a nonlinear way, so it is a reason that we consider the following problem in the place of (1): y (t) f(t, y(t), ix), t E J [0, b], where f C(J x n x R, n), G C(R x R, R). 2. Main Results A pair (v, c) e CI(j, R) x R is said to be a lower solution of (2) if: v (t) <_ f(t, v(t), c), t J, < an upper solution of (2) if the inequalities are reversed. Theorem 1" Assume that f C(J x R x R, R), G C(R x R, R), : 1 o yo, Zo e CI(j,R), ixo, 3 o R, such that (Yo, IXo), (Zo, 3 o) are lower upper solutions of problem (2) such that yo(t) < zo(t), t e J, ixo < /o; 2 o f is nondecreasing with respect to the last two variables; 3 o G is nondecreasing with respect to the first variable; 4 o G(y, ix)- G(y, ) <_ N(- ix) for yo(t) <_ y(t) <_ zo(t), t J, ixo <- ix <- fl <- /o with N >_ O. Then there exist monotone sequences {Yn, IXn}, {Zn, n} such that yn(t)-*y(t), zn(t)-*z(t), t E J; ixnix, ") n/ as noc; this convergence is uniformly monotonically on J. Moreover, (y, ix), (z,) are minimal maximal solutions of problem (2), respectively. Proof: From the above assumptions, it is known that: Yo(0) <- ko, Z o(t) >- f(t, zo(t), 7o), Zo(0) >- ko, 0 >_ G(zo, 7o), yo(t) < Zo(t), t J, ixo < 70. Let (yl,)l), (Zl, ) l) be the solutions of: Yi(t) f(t, Yo(t),ixo), Yl(0) 0 G(yo, ixo)- N(IXl z(t)- f(t, zo(t),7o), Zl(0 ]0 0 a(zo, o) N(71 70),

Monotone Iterations for Differential Equations with a Parameter 275 respectively. Put p- o- A1, so: 0 a(yo, Ao)- N(A 1 Ao) >- N(A1 Ao) Np, thus p _< 0 o -< A1- Now let p 1 71" In view of 3 o 4 o, we have: 0 G(Y0, )o) N(A1 Ao) G(Yo, Ao) G(zo 70) N()I "o) + N(71 70) K_ G(zo, )o) G(zo, 70) N(I o) q- N(71 70) -< N(7o- Ao)- N( I o) + N(71 70) Np. HenceA1_<71. Set p-71-70, sothat: 0 G(Zo, 70) N(71 70) _K N(71 70) Np, As a result, we have: AO A1 < 71 70" We shall show that thus 71 -< 70. yo(t) <_ yl(t) <_ zl(t.<_ zo(t), t E Z. (3) Let p(t)- yo(t)- yl(t), t E J, so: p (t) yo(t)- yl(t) <_ f(t, yo(t),ao)- f(t, yo(t),ao) O, p(0)- Yo(0)-Yl(0)<_ 0. This shows that p(t) <_ 0, t J. Therefore yo(t) <_ yl(t), t J. Put p(t) yl(t)- zl(t), t J. In view of 2 o, we have p (t) y(t)- Zl(t) f(t, yo(t),ao)- f(t, zo(t),7o) <_ f(t, zo(t), 70) f(t, zo(t), 70) O, p(0)-0, so p(t)<_o, tj, yl(t)<_zl(t), tej. Put p(t)-zl(t )-zo(t), t J. We obtain: p (t) Zl(t) Z o(t <_ f(t, zo(t), 70) f(t, zo(t), 7o) O, so p(t) 0, t J, hence zl(t <_ zo(t), t J. This shows that (3) is satisfied. Note that: yl(t)- f(t, Yo(t),)o) <_ f(t, Yl(t),l),Yl(O)- Moreover, in view of 3 o Zl(t) -f(t, zo(t),7o) >- f(t, zl(t), 71), Zl(0) ]0" 4 o, we have" 0 G(Yo, 0)- N(I A0) <- G(Yl, o)- N( 1.- o) G(yl, "o)- G(yl, A1)q-((Yl, "1)- N()I )o) -< N()I )o) q- G(Yl, 1) N()I )o) G(yl, 1), 0 G(z0, 70) N(71 70) >- G(Zl, 70) N(71 70) G(Zl, 70) G(Zl, 71) q- G(Zl, 71) N(71 70)

276 TADEUSZ JANKOWSKI V. LAKSHMIKANTHAM _ - -- -- -- -- o 1 - "- k- k 1 /k /k- 1 --" -- ") 1 0, yz(t) _< f(t, Yk(t), Ak) 0 G(Yk,,k) - for some k > 1. We shall prove that: _ k<--)ktl--<tk+l Yk( t) yk + l(t)-zk+l(t)-zk(t), re J, Y+I(t)- f(t, YkTl(t),)k+l), Yk+l(0)- 0 G(y k + k 1, + 1), z + l(t) >_ f(t,z k + l(t), 7k + 1), Zk + 1(0) 0 G(z k + l") k + 1) >-- N(/1 ") 0) + G(Zl, ") 1) N(71 7o) G(Zl, ") 1)" Consequently, (yl,l), (z1, ),1) are lower upper solutions of problem (2). Let us assume that Yo(t) < Yl(t) -< " "-< Yk-1(t) --< Yk(t) <-- zk(t) <-- Zk-1(t) --< ""--< zl(t) --< Zo(t), tej [ Yk(O)- ko, J z(t) >_ f(t, zk(t), 7k), Zk(O)- ko, o >_ a(z, (4) where Y + 1(t) f(t yk(t) ;k) Yk + 1(0) k0, 0 G(yk, "k)- N(k + 1 k) z + l(t) f(t, zk(t), 7k), Zk + 1(0) k0, 0 G(Zk, 7k) N(Tk + 1 7k)" Put p "k- "k + 1, so" 0 G(Yk,,k)- N(, k + 1 k) >-- N(Ak + 1 )k) Np, hence,k<_,k+l. Let P-- k+l--tk+l" 0 G(Yk, $k)- N(Ak + 1 )k) G(Yk, k) G(Zk, 7k) N(k + )k) -t- N(7 k + 1, <_ a(zk, "k) a(zk, 7) N(, + 1 k) q- N(Tk + 1 < N(Tk Ak) N(k + 1 )k) nu N(Tk + 1 3/k) Np. In view of 3 4,weseethat:

Monotone Iterations for Differential Equations with a Parameter 277 Hence we have A k + 1 -< 7k + 1" Now, let p 7k + 1 ") k" Then: 0 G(zk, 7k) N(Tk + 1 ")/k) <-- Np, so 7k + 1 < 7k, which shows that the first inequality of (4) is satisfied. As before, we set p(t) yk(t)- Yk -- + l(t), t E J. Then: p (t) yk(t)- Yk + 1(t) f(t Yk(t) Ak)- f(t Yk(t) Ak) O, p(0)-0, so Yk(t)<_Yk+l(t), tej. We observe that for p(t)--yk+l(t)- z k + l(t), t J, we have p (t) Yk + 1(t) z + l(t)- f(t, Yk(t),Ak)- f(t, zk(t), - <_ f(t, z(t), 7) f(t, z(t), 7) 0 p (t) z k + l(t) z(t) < f(t, zk(t), 7k) f(t, zk(t), 7k) 0, SO Z k h-1 (t) Zk(t) t C:. J. Therefore: Yk( t) <- yk + l(t)-<zk+l(t)-<zk(t), reg. It is simple to show that (Yk + 1,Ak + 1), (zk + 1,Tk + 1) are lower upper solutions of problem (2). which proves that Yk+l(t) <zk+l(t), tj. Put p(t)-zk+l(t)-zk(t), tj. Then we have: Hence, by induction, we have: "0 -</1 -< "-< )n -< "/n <-""-< 1 -< 0, Yo(t) <_ Yl(t) _< _< Yn(t) <_ Zn(t <_ <_ Zl(t _< Zo(t), t J for all n. Employing stard techniques [4], it can be shown that the sequences {Yn, An}, {Zn, 7n} converge uniformly monotonically to (y,a), (z, 7), respectively. Indeed, (y,a) (z, 7) are solutions of problem (2) in view of the continuity of f G, the definitions of the above sequences. We have to show that if (u, )is any solution of problem (2) such that: Yo(t) <_ u(t) <_ zo(t), t J, A 0 <_/ <_ 70, then: yo(t) <_ y(t) <_ u(t) <_ z(t) <_ zo(t), t J, A 0 _< A < < 7 < 70" To show this, we suppose that" yk(t) <_ u(t) < zk(t), t J, A k _</ _< 7k for some k. Put A k _ " + 1 Then, in view of 3 o 4 o, we have 0 G(Yk, "k)- N(/k -t- 1 "k) <-- a(u, )k)- N(/k -t- 1 "k) a(zt,/k)- a(u, fl)- N(. k h- 1 "k) <_ N(fl "k) N()k -t- "k) Np, so p <_ 0, hence Ak + 1 -< " Let p 7k + 1" Then we obtain" 0 G(tt, [3) a(zk, t) G(Zk, ) G(Zk, [k) at" N(fk h- 1 [k)

278 TADEUSZ JANKOWSKI V. LAKSHMIKANTHAM hence p <_ 0, so fl <_ 7k + 1" <_ N(Tk ) + N(Tk + 1 7k) Np, This shows that: "k+ <--/ <-- 7+1. As before, we set p(t) Yk + 1(t) u(t), t E J. In view of 2 we obtain" p(t) Yk h" 1 tt(t) f( Yk(t) /k) f(t, lt(t), < f(t, u(t), fl) f(t, u(t), fl) 0; hence p(t)<_o, re J, Yk+l(t)<-u(t), tj. Now let p(t)--u(t)-z k+ tj. We see that" p (t) u (t)- z k + (t) f(t,u(t),fl)- f(t, zk(t),7) < f(t,z(t), 7) f(t,z(t), 7a) 0, p(t) < 0, t J, so u(t) < zk + l(t), t J. This shows that: Yk + l(t) -< u(t) <_ z k + l(t), By induction, this proves that the inequalities: are satisfied for all n. tej. Yn(t) <_u(t) <_Zn(t), t J, n-<fl-<tn Taking the limit as nc, we conclude that: y(t) <_ u(t) <_ z(t), t J, _< _< 7. Therefore, (y,), (z, 7) are minimal maximal solutions of (2). The proof is cornplete. References [1] [4] Goma, A., The method of successive approximations in a two-point boundary value problem with a parameter, Ukr. Mat. Zh. 29 (1977), 800-807. (In Russian) Jankowski, T., Existence, uniqueness approximate solutions of problems with a parameter, Zesz. Nauk. Politech. Gdansk Mat. 16 (1993), 3-167. Kurpiel, N.S. Marusiak, A.G., A multipoint boundary value problem for differential equations with parameters, Ukr. Mat. Zh. 32 (1980), 223-226. (In Russian) Ladde, G.S., Lakshmikantham, V. Vatsala, A.S., Monotone Iterative Techniques for Nonlinear Differential Equations, Pitman, Boston 1985. Pomentale, T., A constructive theorem of existence uniqueness for the problem y = f(x,y,a), y(a),a,y(b)= fl, Z. Angew. Math. Mech. 56 (1976), 387-388.