On graph differential equations and its associated matrix differential equations

Similar documents
Approximating solutions of nonlinear second order ordinary differential equations via Dhage iteration principle

Linear ODEs. Existence of solutions to linear IVPs. Resolvent matrix. Autonomous linear systems

Relative Controllability of Fractional Dynamical Systems with Multiple Delays in Control

ARTICLE IN PRESS. Dynamic graphs. Electrical Engineering Department, Santa Clara University, Santa Clara, CA 95053, USA

10. Linear Systems of ODEs, Matrix multiplication, superposition principle (parts of sections )

Second order Volterra-Fredholm functional integrodifferential equations

16 1 Basic Facts from Functional Analysis and Banach Lattices

Nonlinear D-set contraction mappings in partially ordered normed linear spaces and applications to functional hybrid integral equations

Ψ-asymptotic stability of non-linear matrix Lyapunov systems

THE SZEMERÉDI REGULARITY LEMMA AND ITS APPLICATION

Fundamentals of Linear Algebra. Marcel B. Finan Arkansas Tech University c All Rights Reserved

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

Matrices: 2.1 Operations with Matrices

Functional Differential Equations with Causal Operators

Lecture notes on Ordinary Differential Equations. S. Sivaji Ganesh Department of Mathematics Indian Institute of Technology Bombay

UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE

On the simultaneous diagonal stability of a pair of positive linear systems

Singularities and Laplacians in Boundary Value Problems for Nonlinear Ordinary Differential Equations

12. Perturbed Matrices

Existence Theorem for First Order Ordinary Functional Differential Equations with Periodic Boundary Conditions

A Quadruple Fixed Point Theorem for Contractive Type Condition by Using ICS Mapping and Application to Integral Equation

The Existence of Maximal and Minimal Solution of Quadratic Integral Equation

An introduction to Birkhoff normal form

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR A SYSTEM OF FRACTIONAL DIFFERENTIAL EQUATIONS 1. Yong Zhou. Abstract

UNIQUENESS OF SOLUTIONS TO MATRIX EQUATIONS ON TIME SCALES

Boolean Inner-Product Spaces and Boolean Matrices

Journal of Complexity. New general convergence theory for iterative processes and its applications to Newton Kantorovich type theorems

MATH 326: RINGS AND MODULES STEFAN GILLE

Lecture 7: Positive Semidefinite Matrices

610 S.G. HRISTOVA AND D.D. BAINOV 2. Statement of the problem. Consider the initial value problem for impulsive systems of differential-difference equ

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA

SZEMERÉDI S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS

Chapter 2: Linear Independence and Bases

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

On the fixed point theorem of Krasnoselskii and Sobolev

Inner Product Spaces

Course Summary Math 211

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT

Symmetric Matrices and Eigendecomposition

Math Ordinary Differential Equations

Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1

Section 2.8: The Existence and Uniqueness Theorem

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

Existence and Uniqueness Results for Nonlinear Implicit Fractional Differential Equations with Boundary Conditions

Stability Properties With Cone Perturbing Liapunov Function method

EXISTENCE RESULTS FOR NONLINEAR FUNCTIONAL INTEGRAL EQUATIONS VIA NONLINEAR ALTERNATIVE OF LERAY-SCHAUDER TYPE

ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES

I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm

EXISTENCE AND UNIQUENESS OF POSITIVE SOLUTIONS TO HIGHER-ORDER NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION WITH INTEGRAL BOUNDARY CONDITIONS

2 Statement of the problem and assumptions

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

The Foundations of Real Analysis A Fundamental Course with 347 Exercises and Detailed Solutions

Zangwill s Global Convergence Theorem

Math 117: Continuity of Functions

Modified Gauss Seidel type methods and Jacobi type methods for Z-matrices

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR FOURTH-ORDER BOUNDARY-VALUE PROBLEMS IN BANACH SPACES

Minimum number of non-zero-entries in a 7 7 stable matrix

Common Fixed Point Results in Complex Valued Metric Spaces with (E.A) and (CLR) Properties

On boundary value problems for fractional integro-differential equations in Banach spaces

LOCAL FIXED POINT THEORY INVOLVING THREE OPERATORS IN BANACH ALGEBRAS. B. C. Dhage. 1. Introduction

The local equicontinuity of a maximal monotone operator

M. S. N. Murty, B. V. Appa Rao, and G. Suresh Kumar

SOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES

Solving Linear Systems

(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

NOTES ON LINEAR ODES

7 Complete metric spaces and function spaces

Nonlinear Analysis 71 (2009) Contents lists available at ScienceDirect. Nonlinear Analysis. journal homepage:

An introduction to Mathematical Theory of Control

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Upper and lower solutions method and a fractional differential equation boundary value problem.

(v, w) = arccos( < v, w >

Problem Set 5: Solutions Math 201A: Fall 2016

Part III. 10 Topological Space Basics. Topological Spaces

Lecture 2 - Unconstrained Optimization Definition[Global Minimum and Maximum]Let f : S R be defined on a set S R n. Then

M.S.N. Murty* and G. Suresh Kumar**

On the construction of ISS Lyapunov functions for networks of ISS systems

Chapter 2 Random Ordinary Differential Equations

A TWO PARAMETERS AMBROSETTI PRODI PROBLEM*

Common fixed points for α-ψ-ϕ-contractions in generalized metric spaces

WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)

Well-foundedness of Countable Ordinals and the Hydra Game

Compact operators on Banach spaces

On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings

Introduction and Preliminaries

L p Spaces and Convexity

RESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices

Putzer s Algorithm. Norman Lebovitz. September 8, 2016

TOPOLOGICAL EQUIVALENCE OF LINEAR ORDINARY DIFFERENTIAL EQUATIONS

MATRICES. a m,1 a m,n A =

Honors Algebra II MATH251 Course Notes by Dr. Eyal Goren McGill University Winter 2007

Zweier I-Convergent Sequence Spaces

Discrete Population Models with Asymptotically Constant or Periodic Solutions

Dually Normal ADL. S. Ravi Kumar 1. G.C.Rao 2 1. DUAL ANNIHILATORS. s S, and hence the element s ( x a)

Supremum and Infimum

Convergence Rate of Nonlinear Switched Systems

5 Flows and cuts in digraphs

The Solution of Linear Systems AX = B

Transcription:

Malaya Journal of Matematik 1(1)(2013) 1 9 On graph differential equations and its associated matrix differential equations J. Vasundhara Devi, a, R.V.G. Ravi Kumar b and N. Giribabu c a,b,c GVP-Prof.V.Lakshmikantham Institute for Advanced Studies, Department of Mathematics, GVP College of Engineering, Visakhapatnam-530048, Andhra Pradesh, India. Abstract Networks are one of the basic structures in many physical phenomena pertaining to engineering applications. As a network can be represented by a graph which is isomorphic to its adjacency matrix, the study of analysis of networks involving rate of change with respect to time reduces to the study of graph differential equations or equivalently matrix differential equations. In this paper, we develop the basic infrastructure to study the IVP of a graph differential equation and the corresponding matrix differential equation. Criteria are obtained to guarantee the existence of a solution and an iterative technique for convergence to the solution of a matrix differential equation is developed. Keywords: Dynamic graph, adjacency matrix, graph linear space, graph differential equations, matrix differential equations, existence of a solution, monotone iterative technique. 2010 MSC: 34G20. c 2012 MJM. All rights reserved. 1 Introduction A graph [1] represents a network of a natural or a man-made system, wherein interconnections between its constituents play an important role. Graphs have been utilized to model organizational structures in social sciences. It has been observed that the graphs which are static in nature limit the study in social phenomena where changes with time are natural. Hence, it was thought that a dynamic graph will be more appropriate in modeling such social behavior [2, 4]. The concept of a dynamic graph was introduced in [2] and a graph differential equation was utilized to describe the famous prey predator model and its stability properties were studied [2]. The importance of networks in engineering fields and the representation of a network by a graph led us to consider a graph differential equation as an important topic of study. Thus we plan to study the existence of solutions through monotone iterative technique [3] for the graph differential equation through its associated matrix differential equations. 2 Preliminaries In this section we introduce the notions and concepts that are necessary to develop graph differential equations and and the corresponding matrix differential equations. All the basic definitions and results are taken from [2] and suitable changes are made to suit our set up. Consider a weighted directed simple graph (called digraph) D = (V, E) an ordered pair, where V is a non-empty finite set of N vertices and E is the set of all directed edges. To each directed edge (v i, v j ) we assign a nonzero weight e ij R if (v i, v j ) E while e ij = 0 if (v i, v j ) / E. Corresponding to a digraph D we associate an adjacency matrix E = (e ij ). This association is Corresponding author. E-mail address: jvdevi@gmail.com (J. Vasundhara Devi).

2 J. Vasundhara Devi et al. / On graph differential... an isomorphism. Graph linear space. Let v 1, v 2,... v N be N vertices, N fixed and D N be the set of all weighted directed simple graphs ( called digraphs), D = (V, E). Then (D N, +,.) is a linear space over the field of real numbers with the following definition of the addition and scalar multiplication. Let D 1, D 2 be two digraphs D 1 = (V, E 1 ) and D 2 = (V, E 2 ). Then the sum D 1 + D 2 is defined as D 1 + D 2 = (V, E 1 + E 2 ) where E 1 + E 2 is the set of all edges (v i, v j ) E 1 E 2 where the weight of (v i, v j ) is defined as the sum of the weights of the edges (v i, v j ) in the respective digraphs D 1 and D 2. Let D = (V, E) be a graph then by αd = (V, αe) where αe is the set of all edges (v i, v j ) whose weight is α times the weight of (v i, v j ). Observe that if α = 0 then αd = 0 D N is the graph consisting of N isolated vertices. Hence the set of edges is empty. With the fore mentioned operations, (D N, +,.) is a linear space. This space is isomorphic to the linear space M N of all N N adjacency matrices with entries of the principal diagonal being zero, defined over the field of real numbers, with the usual definition of matrix addition and scalar multiplication. Let γ be a matrix norm defined as γ : M N R + satisfying (i) γ(m) > 0 m M N, m 0 (ii) γ(α m) = α γ(m), m M N, α R (iii) γ(m 1 + m 2 ) γ(m 1 ) + γ(m 2 ), m 1, m 2 M N. Once a matrix norm is chosen we can define an associated matrix norm on D N and induced metric η is given by η(m 1, m 2 ) = γ (m 1 m 2 ), m 1, m 2 M N. In order to study graph functions that vary over time, we use an axiomatic definition of the abstract linear space D N into itself. Consider the space D N and a family of mappings Φ : R + D N D N, where to any graph D D N and any parameter (time) t R + assigns a graph Φ (t, D) D N. Dynamic graph. A dynamic graph D = Φ D (t) is a one parameter mapping Φ D : R + D N with Φ D (t) = Φ (t, D) D N satisfying the following axioms. (i). Φ (t 0, D 0 ) = D 0 (ii). Φ is continuous (iii). Φ(t 2, Φ (t 1, D)) = Φ(t 1 + t 2, D), t 1, t 2 R +, D D N. The first axiom establishes D(t 0 ) = D 0 as the initial graph. The second axiom requires continuity of mapping Φ (t, D) with respect to t and D which includes continuity with respect to t 0 and D 0. The third axiom establishes that dynamic graph D as a one parameter graph Φ (t, D) of transformations of the space D N into itself. Corresponding to a dynamic graph the dynamic adjacency matrix is defined as follows. Definition 2.1. A dynamic adjacency matrix Ê is a one-parameter mapping ψ : R + E N E N of the space E N into itself satisfying the following axioms. (i) ψ(t 0, E 0 ) = E 0. (ii) ψ(t, E) is continuous. (iii) ψ(t 2, ψ(t 1, E)) = ψ(t 1 + t 2, E), t 1, t 2 R + and E E N. Examples. A dynamic graph can be defined by the corresponding adjacency matrix and a few examples are given below. (1) Let ψ(t, E) = E, t R +, E D N Then ψ(t 0, E 0 ) = E 0 and ψ(t, E) = E is continuous t and E and ψ(t 2, ψ(t 1, E)) = ψ(t 2, E) = E

J. Vasundhara Devi et al. / On graph differential... 3 Therefore, the dynamic graph D = D for all t R +. = ψ(t 1 + t 2, E) (2) Let ψ(t, E) = E 0 t R +, E E N. Then the dynamic graph D = E0 for all t R +. (3) Let ψ(t, E) = t E 0 + E, t R +, E E N and E 0 be any initial adjacency matrix. Then ψ(0, E 0 ) = E 0 and ψ(t n, E) ψ(t 0, E) whenever t n t 0 and ψ(t, E n ) ψ(t, E 0 ) whenever E n E 0 Further ψ(t 2, ψ(t 1, E)) = ψ(t 2, t 1 E 0 + E) = t 2 E 0 + (t 1 E 0 + E) = (t 1 + t 2 ) E 0 + E = ψ(t 1 + t 2, E). Therefore, the dynamic graph D = te 0 + D for all t R +. Motion of the graph. The mapping Φ(t, D) = D is called the motion of the graph. The mapping ψ(t, E) is called as the motion of the adjacency matrix Ê. A graph De satisfying Φ(t, D e ) = D e is called as the equilibrium graph. In order to define the time evolution of a graph one needs the concept of a derivative in the abstract space, we can use the theory of abstract differential equations. Introducing the concept of Frechet derivative, if it exists on the notion of a generalized derivative we consider the time-evolution of a dynamic graph abstractly by the equation D = G(t, D) where D represents the tendency of the graph to change in time t. In order to introduce the corresponding concept in the adjacency matrices we need the following notions. (1) The adjacency matrix Ê = E(t) is said to be continuous if the entry e ij(t) is continuous for all i, j = 1, 2,... N. (2) The continuous adjacency matrix Ê = E(t) is said to be differentiable if each continuous entry e ij(t) is differentiable for all i, j = 1, 2,... N, and is denoted by E = (e ij ) N N. With the above definitions in place we can express the corresponding changes in an adjacency matrix that evolved in time t for a dynamic graph by the equation de = F (t, E). dt With the concept of rate of change of a graph with respect to time t, one can consider the differentiable equation in the abstract space D N. Using the theory of differential equations in abstract spaces one can study the graph differential equations. An alternative approach that is more useful for practical purposes would be to consider the corresponding adjacency matrix differential equation or simply the matrix differential equation. 3 Linear Matrix differential equations In this section, we study a graph differential equation that can be expressed as a linear matrix differential equation. Now consider a matrix differential equation (M DE) given by E = F (t, E). where F (t, E) is a N N matrix in which each entry f ij (t) is a function of t, e ij where i, j = 1, 2,..., N and satisfies certain smoothness conditions. In order to analyze the graph differential equation through the Matrix differential equation (M DE) we first consider those equations that can be transformed to a linear system. Consider the IVP of a MDE, corresponding to some graph differential equation, given by E = F (t, E) E(t 0 ) = E 0 = (k ij ) N N (3.1)

4 J. Vasundhara Devi et al. / On graph differential... where F : I E N E N is continuous, I = [t 0, T ]. This means that F (t, E) = (f ij (t, e 11, e 12,..., e 1N, e 21, e 22,..., e 2N,..., e N1, e N2,..., e NN )) N N and f ij is a continuous, real valued function. Suppose that f ij (t) are linear combinations of the functions e ij (t). Then the system (3.1) can be written as a linear system X = AX (3.2) X(t 0 ) = X 0 where X is the vector given by A is N 2 N 2 coefficient matrix and X T = [e 11, e 12,..., e 1N, e 21, e 22,..., e 2N,..., e N1, e N2,..., e NN ], X T 0 = [k 11, k 12,..., k 1N, k 21, k 22,..., k 2N,..., k N1, k N2,..., k NN ]. As the qualitative theory of the system (3.2) is well established, using it one can easily analyze the linear system (3.2) and the corresponding graph differential equation. Next suppose that MDE(3.2) along with its initial condition is of the form E = AE E(t 0 ) = E 0 = (k ij ) N N where A is the coefficient matrix of order N N. The system (3.2) can be considered as N subsystems given by X j = AX j, X j (t 0 ) = k j, j = 1, 2,..., N (3.4) where X j = e 1j e 2j. e Nj and K j = k 1j k 2j. k Nj. The N subsystems given by (3.4) can be completely understood through the theory of ordinary differential systems and the corresponding graph differential equation can be analyzed. (3.3) 4 Nonlinear matrix differential equation We proceed to introduce an initial value problem of the nonlinear matrix differential equation in this section. Further we prove some basic inequality theorems. Consider the Matrix differential equation (M DE) given by, E = F (t, E) E(t 0 ) = E 0, where E = (e ij ) N N and F (t, E) is the matrix given by F (t, E) = (f ij (t, e rs )) i, j = 1, 2,..., N and r, s = 1, 2,..., N and f ij are real valued functions which are nonlinear in terms of the entries e rs. In order to study the MDE (4.1) we need to devlop new notions that would help us to develop basic Matrix differential inequality results. We begin with a Partial Order. Definition 4.1. Consider two matrices A and B of order N. We say that A B if and only if a ij b ij for all i, j = 1, 2,..., N. Definition 4.2. A matrix function E : I E N defined by E(t) = (e ij (t)) is said to be continuous if and only if e ij : I R is continuous for all i, j = 1, 2,..., N. Definition 4.3. A matrix function E : I E N is said to be continuous and differentiable if and only if e ij : I R is continuous and differentiable for all i, j = 1, 2,..., N. Definition 4.4. By a solution of the IVP(4.1) we mean a matrix function E : I E N which is continuous, differentiable and satisfies the equation(4.1) along with the initial condition. (4.1)

J. Vasundhara Devi et al. / On graph differential... 5 In order to state the basic differential inequality theorem we introduce the following notions. Definition 4.5. By a lower solution of the MDE(4.1) we mean a continuous differentiable matrix function V (t) satisfying the inequalities V F (t, V ), V (t 0 ) E 0 (4.2) Definition 4.6. By a upper solution of the MDE(4.1) we mean a continuous differentiable matrix function W (t) satisfying the inequalities W F (t, W ), W (t 0 ) E 0 (4.3) Definition 4.7. A function F (t, U) C[I E N, E N ] is said to be quasi monotone nondecreasing in U for each t, if and only if V W and v mn = w mn for some m, n implies f ij (t, V (t)) f ij (t, W (t)) for all i, j = 1, 2,..., N. The basic matrix differential inequlity results is given below. Theorem 4.1. Assume that V F (t, V ) (4.4) W F (t, W ) (4.5) where V, W C 1 [I, E N ] and F C[I E N, E N ] and F (t, U) be quasi monotone nondecreasing in U for each t. Further assume that V 0 < W 0 where V (t 0 ) = V 0 E N and W (t 0 ) = W 0 E N. Then V (t) < W (t), t I,where I = [t 0, T ] provided one of the inequalities in (4.4) and (4.5) is strict. Proof. Assume that V F (t, V ), W > F (t, W ). Suppose that the conclusion does not hold. Then there exists an element t 1 I such that V (t) < W (t) for t 0 < t < t 1 and there exists a pair of indices k and l such that v kl (t 1 ) = w kl (t 1 ). Now since F (t, U) is quasi monotone nondecreasing in U, this implies that f ij (t, V (t)) f ij (t, W (t)), t I (4.6) for i, j = 1, 2,..., N. Further v kl (t) < w kl (t), t 0 < t < t 1 and v kl (t 1 ) = w kl (t 1 ) implies for small h < 0, v kl (t 1 + h) v kl (t 1 ) < w kl (t 1 + h) w kl (t 1 ), which further implies that taking limit as h 0, we get v kl (t 1 + h) v kl (t 1 ) h > w kl(t 1 + h) w kl (t 1 ) h v kl (t 1 ) w kl (t 1 ) (4.7) Using the inequalities (4.4), (4.5) and (4.7), yield f kl (t 1, V (t 1 )) v kl (t 1) w kl (t 1) > f kl (t 1, W (t 1 )) = f kl (t 1, V (t 1 )), which is a contradiction. conclusion holds and the proof is complete. Next we state and prove a theorem involving non strict inequalities in this set up. Hence the Theorem 4.2. Suppose (4.4) and (4.5) holds and that F (t, U) is quasi monotone nondecreasing in U for each t. Further, suppose that F satisfies, F (t, W ) F (t, V ) L (W V ) for W V, where L > 0 is a N N matrix. Then V 0 W 0 implies that V (t) W (t), t I. Proof. Let us define W ɛ (t) = W (t) + ɛ e 2Lt, where ɛ > 0 is sufficiently small. Then W ɛ (t) = W (t) + 2L ɛ e 2 Lt F (t, W (t)) + 2L ɛ e 2Lt F (t, W (t)) F (t, W ɛ (t)) + F (t, W ɛ (t)) + 2L ɛ e 2Lt

6 J. Vasundhara Devi et al. / On graph differential... L(W ɛ (t) W (t)) + F (t, W ɛ (t)) + 2L ɛ e 2Lt = F (t, W ɛ (t)) + L ɛ e 2Lt > F (t, W ɛ (t)). Further, W ɛ (t 0 ) = W (t 0 ) + ɛ e 2Lt0 > W 0 V 0 Hence we are in a position to apply the result for strict differential inequalities which yields V (t) < W ɛ (t), t I which implies as ɛ 0, V (t) W (t) and the proof is complete. The study of existence of a solution in a sector is essential to develop the monotone iterative technique. The following theorem deals with the existence of a solution in a sector. Theorem 4.3. Let V, W C 1 [I, E N ] be lower and upper solutions of the Matrix differential equation E = F (t, E) E(t 0 ) = E 0 such that V (t) W (t) on I and F C[Ω, E N ], where Ω = {(t, E) : V (t) E W (t), t I. Then there exists a solution E(t) of (4.8) such that V (t) E(t) W (t) on I. Proof. Let P : I E N E N be defined by P (t, E) = (p ij (t)) N N where p ij (t) = Max{v ij (t), Min{e ij, w ij (t) (4.8) Then F (t, P ) = (f ij (t, P (t, E)) defines a continuous extension of F to I E N F is bounded on Ω, which implies that E is bounded on Ω. Hence the system E = F (t, P (t, E)), E(t 0 ) = E 0 has a solution E(t) on I. and is also bounded since For ɛ > 0, consider w ɛij (t) = w ij (t) + ɛ(1 + t) and v ɛij (t) = v ij (t) ɛ(1 + t) for i, j = 1, 2,..., N. We claim that V ɛ (t) < E(t) < W ɛ (t). Since v ɛij (0) < e ij (0) < w ɛij (0) for any i and j we have V ɛ (0) < E(0) < W ɛ (0). Suppose that there exists an element t 1 (t 0, T ] and a pair of indices k and l such that v ɛkl (t) < e kl (t) < w ɛkl (t) on [t 0, t 1 ) and e kl (t 1 ) = w ɛkl (t 1 ). Then e kl (t 1 ) > w kl (t 1 ) and hence p kl (t 1 ) = w kl (t 1 ). Also we have V (t 1 ) P (t 1, E(t 1 )) W (t 1 ). Since F is quasi monotone nondecreasing, we have F (t 1, P (t 1, E(t 1 ))) F (t 1, W (t 1 )) Then w kl (t 1 ) f kl (t 1, W (t 1 )) f kl (t 1, P (t 1, E(t 1 )) = e kl (t 1 ) Since w ɛ kl (t 1 ) > w kl (t 1), we have w ɛ kl (t 1 ) > e kl (t 1), which is a contradiction to the fact that e kl (t) < w ɛkl (t) for t [t 0, t 1 ) and e kl (t 1 ) = w ɛkl (t 1 ). Therefore V ɛ (t) < E(t) < W ɛ (t) on I. Now as ɛ 0, we obtain that V (t) E(t) W (t) and the proof is complete. 5 Monotone iterative technique In this section we shall construct monotone sequences that converges to the solutions of E = F (t, E) E(t 0 ) = E 0 (5.1)

J. Vasundhara Devi et al. / On graph differential... 7 Theorem 5.1. Assume that V 0, W 0 C 1 [I, E N ], I = [t 0, T ] are lower and upper solutions of the IVP (5.1) such that V 0 W 0 on I. Let F C[I E N, E N ]. Suppose further that F (t, X) F (t, Y ) M(X Y ), for V 0 Y X W 0, M R N N, M 0. Then there exists monotone sequences {V n, {W n such that {V n converges to ρ and {W n converges to R as n uniformly and monotonically on I and that ρ and R are the minimal and maximal solutions of IVP (5.1) respectively. Proof. For any Y C 1 [I, E N ] such that V 0 Y W 0, we consider the linear Matrix differential equation Then there exists a unique solution of (5.2) given by t X(t) = e M(t t0) X 0 + e M(t s) [F (s, Y (s)) + MY (s)]ds t 0 Define a sequence {V n by Let V 1 be the solution of (5.3) for n = 1. X = F (t, Y ) M(X Y ), X(t 0 ) = X 0. (5.2) V n = F (t, V n 1 ) M (V n V n 1 ), V n (t 0 ) = X 0, n = 1, 2,..., (5.3) Consider P = V 0 V 1 Then P = V 0 V 1 F (t, V 0 ) F (t, V 0 ) + M (V 1 V 0 ), MP. and P (t 0 ) 0 which implies that P 0 on I, and thus V 0 V 1 on I. Similarly, we consider a sequence {W n by Let W 1 be the solution of (5.4) for n = 1. W n = F (t, W n 1 ) M (W n W n 1 ), W n (t 0 ) = X 0 (5.4) Consider Q = W 1 W 0 Then Q = W 1 W 0 F (t, W 0 ) M (W 1 W 0 ) F (t, W 0 ) = M Q and Q (t 0 ) 0 which implies that Q(t) 0. Hence W 1 W 0 on I. Now we proceed to show that V 1 W 1 on I. Set R = V 1 W 1 Then R = V 1 W 1 = F (t, V 0 ) M(V 1 V 0 ) F (t, W 0 ) + M(W 1 W 0 ) M (W 0 V 0 ) M (V 1 V 0 W 1 + W 0 ) = MR and R (t 0 ) = 0, which implies that R 0 on I and thus V 1 W 1 on I. Hence we have shown that V 0 V 1 W 1 W 0 on I. Now suppose that for some n = k, the result V k 1 V k W k W k 1 holds on I. We claim that V k V k+1 W k+1 W k on I. To prove this we first set n = k in (5.3) and (5.4). Then clearly there exists unique solutions V k+1 (t) and W k+1 (t) satisfying (5.3) and (5.4) respectively on I. Consider S = V k V k+1 Then S = V k V k+1 = F (t, V k 1 ) M(V k V k 1 ) F (t, V k ) + M (V k+1 V k ),

8 J. Vasundhara Devi et al. / On graph differential... M(V k V k 1 ) + M (V k+1 V k V k + V k 1 ), MS. and S(t 0 ) = 0 which implies that S 0 on I and thus V k V k+1 on I. Similarly we can show that W k+1 W k on I. Set T = V k+1 W k+1 Then T = V k+1 W k+1 = F (t, V k ) M(V k+1 V k ) F (t, W k ) + M (W k+1 W k ), M(W k V k ) + M (W k+1 W k V k+1 + V k ), MT. and T (t 0 ) = 0, which implies that T 0 on I and thus V k+1 W k+1 on I. We have shown that V k V k+1 W k+1 W k on I. Therefore we have V 0 V 1 V n W n W 1 W 0 on [t 0, T ]. (5.5) The sequences {V n, {W n are uniformly bounded on [t 0, T ] and by (5.3) and (5.4) it follows that { V n, { W n are also uniformly bounded. As a result, the sequences {V n and {W n are equicontinuous on [t 0, T ] and consequently by Ascoli-Arzela s Theorem there exists subsequences {V nk, {W nk that converge uniformly on [t 0, T ]. In view of (5.5) it also follows that the entire sequences {V n, {W n converge uniformly and monotonically to ρ and R respectively as n. By considering the integral equations corresponding to the IVP of MDE (5.3) and (5.4) respectively, we can show that ρ and R are solutions of IVP(5.1). The proof uses the concepts of uniform convergence and uniform continuity and is well established. To prove that ρ, R are respectively the minimal and maximal solutions of (5.1) we have to show that if X is any solution of (5.1) such that V 0 X W 0 on I, then V 0 ρ X R W 0 on I. To do this, suppose that for some n, V n X W n on I and set φ = X V n+1 so that φ = F (t, X) F (t, V n ) + M(V n+1 V n ) M(X V n ) + M(V n+1 V n ) = Mφ; and φ(t 0 ) = 0. Hence, it follows that V n+1 X on I. Similarly X W n+1 on I. Hence V n+1 X W n+1 on I. Since V 0 X W 0 on I, this proves by induction that V n X W n on I for all n. Taking the limit as n, we conclude that ρ X R on I and the proof is complete. Corollary 5.1. If in addition to the assumption Theorem 5.1, if F satisfies the following condition then the solution is unique. Proof. We have ρ R on I. F (t, X) F (t, Y ) M(X Y ), X Y Consider φ(t) = R(t) ρ(t) Then φ = R (t) ρ (t) = F (t, R) F (t, ρ) M(R ρ) and φ(t 0 ) = 0 which implies that φ(t) 0 on I and thus R(t) ρ(t) on I. Hence ρ(t) = X(t) = R(t) on I, and the proof is complete. Mφ.

J. Vasundhara Devi et al. / On graph differential... 9 6 Acknowledgements This work was done under the project no. 2/48(8)/2011/-R&D II/1600 sanctioned by National Board of Higher Mathematics, Department of Atomic Energy, Government of India. The authors acknowledge their support. References [1] Narsingh Deo, Graph Theory with Application to Engineering and Computer Science [2] D.D.Siljak, Dynamic graphs, Nnlinear Analysis: Hybrid Systems 2(2008) 544-567. [3] G.S.Ladde, V.Lakshmikantham and A.S. Vatsala, Monotone Iterative Techniques for Nonlinear Differential Equations, Pitman Publishing INC., 1985. [4] A.R. Radcliffe-Brown, On social structure, Journal of the Royal Anthropological Institute of Great Britain and Ireland 70(1940)1-12. Received: September 12, 2012; Accepted: October 30, 2012 UNIVERSITY PRESS