A Continuation Result for a Bidimensional System of Differential Equations


 Kerry Aldous Shepherd
 1 years ago
 Views:
Transcription
1 Revista INTEGRACIÓN Universidad Industrial de Santander Escuela de Matemáticas Vol. 13, No 2, p , juliodiciembre de 1995 A Continuation Result for a Bidimensional System of Differential Equations In this note we present 'sorne sufficient conditions for the global existence of all solutions of the bidirnensional system x' = Q (y)  IJ (y) f (x), y' = a(t) 9 (3:), which contains the classical Lieuard's equation. x' = o(y) {3(y)f(x), y' = a(t)g(x), where the dots indicate differentiation with respect to t and o, {3,f and 9 are continuous realvalued functions and a is a positive continuously differentiable function on [O,+oJ, and define g(x) = fox g(s)ds, A(y) = foy o(r)dr. If in (1) o(y) = y, {3(y) == 1 and a(t) == 1 this system reduces to wellknown generalized Lienard's equation:
2 Let C(lR) and C I(lR) denote the family of continuous functions and continuous increasing functions on lr, and let: CS(lR) = {h E C(lR) : xh(x) > O for x # O}, CC(lR) = {h E: (CI(R)nCS(lR)}, CP(lR) = {hec(lr):h(x»ofora11x}. Some attempts [1,2,4,5,1l,12} have been made to find.~ufficient condi~ions on and 9 for solutions of (2) and its nonautonomous form: to be continued in the future urider the condition 9 E C S(I R). In [5} and [9} we gave some conditions so that a11solutions of (1) are continuable to the future, considering that,9 E C S (IR). In this paper we obtain sufficient conditions for the global existence of solutions of (1) without make use of above condition. The problem of continuability of solutions is of particular importance in the qualitative theory. So, in various earlier papera (see, for example [61O,13}) we studied various qualitative properties of solutions of (1), taking in account the results of [5} and [9}. On the other hand, the goal of this work is to illustrate how theresults obtained in [3} for the equation (2), can be generalized to the system (1). In this paper, we assume the uniqueness of the solutions of (1) and z(t; ta, zo) denote the unique solution of (1) with z(to; to, zo) = zo where z() = (x(), y()). Throughout a) a E CC(lR), b) {3 E C P (lr), e),9 E C(lR), this paper we also assume the following conditions hold: d) a E C P ([O, +00 1) n C 1([O, +00 )) where C 1denote the family of functions with first continuous derivate.
3 3. Bf(x}g(x} ~  [G(x} + 'Y] lor &11 x. 4. A (±oo) = ±oo. a' (t) 5. a(t} > 1 lor al1 t, Proof. that: for sorne T ~ to. Choose To < T sufficiently close to T so that sorne solution i (t) = (x (t ), y (t}) of (1) exist on [To, T] by an application oí local existence theorern. Define L = {z~ = Az(To} + (1  A)i(To} : O ~ A ~ 1} and let: Since zo = i(to}, by continuous dependence we see that O < A. ~ 1. We clairn that z(t; To, z~.) does not exist up to t = T. If it did, then by continuous dependence, there would exist a neighborhood of z~. such that a11 solutions passing through that neighborhood exist at t = T, contradicting the definition of A. This establishes the clairn. Thus we have: for sorne To < T. ~ T. We sha11 proof that the set 6. = {z(t.; TO,Z~.) : O ~ A < A.} is unbounded. By continuous dependence and (4), there exist sequence {tn} and {An} such that tn  T. Y An  A. as n and
4 for some p E 6.. On the other hand by local existence at (T.,p), the solution :(t; T., p) exists on T.  f ~ t ~ T. for some f > O. Therefore by continuous dependence: contradicting (5). Hence 6. is unbounded. Thus we can choose a sequence {z(t.;tq, ZAn)} of solutions such that: A(y) V (t, x, y) = a (t) + G (x) +'Y. I a'(t) A(y) V(l)(t, x, y) =  () ()  {3(y)f (x )g(x), a t a t V(1)(t,x,y) ~ V(t,x,y). I3y the continuity of V and the compactness of L,there exists WQ > O such that:
5 ror all n, whiclr ilja contradiction to (9). Hence, there exists a constant k > O euch that: Iv(T. To,zAn)1 ~ k for 8011 n. From this and by the continuity of Q we have that: Integrating the first equation of (1) on to ~ t < T and taking in account (10) we obtain: xo + a( M)(t  to)  [t (3(y(r))! (x (r)) dr lto ~ x (t) ~ XQ + a(m)(t  to)  [t (3(y(r))! (x (r)) dr. lto Supposc that x(t) as t  T, then exists é > Osuch tliat z(t} > O on [T 6, T). Making t  T in the right hand side of the abov~ inequality wc havc: 1: 3 (y (T))! (x (T)) dr ht l Tf ~. Tf ~ 00 = {3(Y(T))!(x(r))dr+ {3(y(T))!(X(T))dr [T (3(y(r))!(x(r))dr > o, ltf contradicting (11). Thus x(t) f as t  T. By similar way we obtain that x(t) f as t  T. This is a contradiction with (3). Hence, 8011 solutions of (1) exist in the future. The fo11owingexample does not satisfy the conditions of the Lemma 1 oí [9J, but do ours in the above theorem: X + 2c,!(x) = x(x  d)(x + d) and g(x) =. x, { x  2c, x <c Ixl ~ c c < x
6 Remark 1. le Q (y) = y, {3(y) == 1 and a(t) == 1, the conditions oe Theorem reduce to the obtained in [3, Th5.1]., Remark 2. Notice the advantages oepresent prooe on the [3,T h.5.1], taking a unique Liapunov's Eunction (7). [1] T. A. BURTON, A Continuation result 101' differential equations, Proc. Amer. Math. Soc., 67 (1977), pp [2] J. R. GRAEF, On the generalized Liéna1'd equation with negative damping,.j. Differential Equations, 12 (1972), pp [3J T. HARA, T. YONEYAMA ANO.J.SUGIE, Continuation r'esults 101' differential e~lj,tions by two Liapunov lunctions, A~m. Mat. pura appl. (IV), XXXIII (1983), pp [.(]  Necessary and Sufficíent Conditions lor' the Continuability 01 solutions 01 the system x' = y  F(x), y' = g(; ;), Appl. Anal., 19 (1985), pp [5] J. E. N ÁPOLES. On the continuability 01 solutions 01 bidimensional system", submited for publication. [6] On the global stability 01 non autonomous systems, submited for publication. [7] J. E. N ÁPOLES ANO.J.A. REPILAOO, On the continuation and non oscillation 01 solutions 01 bidimensional systems x' = a(y)  l3(y) f(; ;), y' = a(t)g(: ;), Rey. Ciencias Matemáticas, XV, Nos 23 (1994),Uniy. of Hayana, to appear. [8] On the boundedness and the asymptotic stability in the whole 01 solutions 01 a bidimensional system 01 differ'ential equations" Rey. Ciencias Matemáticas,Uniy. of Hayana, to appear. [9] Continuability, Oscíllability and Boundedness 01 bidimensional system ;1;' = a(y)  l3(y) f(x), y' == a,(t)g(x), Rev. Ciencias Matemáticas, XV, Nos 2 3 (1994), Uniy. of Hayana, to appear. [10] Sufficíent conditions 101' the oscillability 01 solutions 01 system x' = a(y)  l3(y) f(x), y' = a(t)g(x), Rey. Ciencias Matemáticas, XV, Nos 23 (1994), Uniy. of Hayana, to appear. [11] J. E. NÁPOLES ANO A. 1. RUIZ, On the behaviout' olthe solutions olthe differ' ential equation x" +g(x)x' + a(t)f(; ;) = O, (1), Rey. Ciencias Matemáticas, VI, No.1 (1985), Univ. of Habana, 1985, pp (spanish). [12]  On the behaviout' 01 the solutions of the differ'ential equation ; ;" + g(x ); ;' + a(t) f(x) = O, (I1), Rey. Ciencias Matemáticas, VII, No.3 (1986), Uniy. of Hayana, pp (spanish). [13] A. 1 RUIZ ANO J. E. N ÁPOLES, Conver'gence in nonlinear' system with 10r'CÍ'nq ter'm, submited for publication.
Properties of BMO functions whose reciprocals are also BMO
Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a nonnegative BMOfunction w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationCritical points of once continuously differentiable functions are important because they are the only points that can be local maxima or minima.
Lecture 0: Convexity and Optimization We say that if f is a once continuously differentiable function on an interval I, and x is a point in the interior of I that x is a critical point of f if f (x) =
More informationx 2 x 2 cos 1 x x2, lim 1. If x > 0, multiply all three parts by x > 0, we get: x x cos 1 x x, lim lim x cos 1 lim = 5 lim sin 5x
Homework 4 3.4,. Show that x x cos x x holds for x 0. Solution: Since cos x, multiply all three parts by x > 0, we get: x x cos x x, and since x 0 x x 0 ( x ) = 0, then by Sandwich theorem, we get: x 0
More informationA new continuous dependence result for impulsive retarded functional differential equations
CADERNOS DE MATEMÁTICA 11, 37 47 May (2010) ARTIGO NÚMERO SMA#324 A new continuous dependence result for impulsive retarded functional differential equations M. Federson * Instituto de Ciências Matemáticas
More informationA UNIQUENESS RESULT FOR THE CONTINUITY EQUATION IN TWO DIMENSIONS. Dedicated to Constantine Dafermos on the occasion of his 70 th birthday
A UNIQUENESS RESULT FOR THE CONTINUITY EQUATION IN TWO DIMENSIONS GIOVANNI ALBERTI, STEFANO BIANCHINI, AND GIANLUCA CRIPPA Dedicated to Constantine Dafermos on the occasion of his 7 th birthday Abstract.
More informationAn existence result for a nonconvex variational problem via regularity
An existence result for a nonconvex variational problem via regularity Irene Fonseca, Nicola Fusco, Paolo Marcellini Abstract Local Lipschitz continuity of minimizers of certain integrals of the Calculus
More information1. Graphing Linear Inequalities
Notation. CHAPTER 4 Linear Programming 1. Graphing Linear Inequalities x apple y means x is less than or equal to y. x y means x is greater than or equal to y. x < y means x is less than y. x > y means
More informationControllability and Observability of Partial Differential Equations: Some results and open problems
Controllability and Observability of Partial Differential Equations: Some results and open problems Enrique ZUAZUA Departamento de Matemáticas Universidad Autónoma 2849 Madrid. Spain. enrique.zuazua@uam.es
More informationRend. Istit. Mat. Univ. Trieste Suppl. Vol. XXX, 111{121 (1999) Fuzziness in Chang's Fuzzy Topological Spaces Valentn Gregori and Anna Vidal () Summary.  It is known that fuzziness within the concept
More informationSecondorder conditions in C 1,1 constrained vector optimization
Ivan Ginchev, Angelo Guerreggio, Matteo Rocca Secondorder conditions in C 1,1 constrained vector optimization 2004/17 UNIVERSITÀ DELL'INSUBRIA FACOLTÀ DI ECONOMIA http://eco.uninsubria.it In questi quaderni
More informationOn a comparison result for Markov processes
On a comparison result for Markov processes Ludger Rüschendorf University of Freiburg Abstract A comparison theorem is stated for Markov processes in polish state spaces. We consider a general class of
More informationThe Backpropagation Algorithm
7 The Backpropagation Algorithm 7. Learning as gradient descent We saw in the last chapter that multilayered networks are capable of computing a wider range of Boolean functions than networks with a single
More informationA SURGERY RESULT FOR THE SPECTRUM OF THE DIRICHLET LAPLACIAN. Keywords: shape optimization, eigenvalues, Dirichlet Laplacian
A SURGERY RESULT FOR THE SPECTRUM OF THE DIRICHLET LAPLACIA DORI BUCUR AD DARIO MAZZOLEI Abstract. In this paper we give a method to geometrically modify an open set such that the first k eigenvalues of
More informationA STABILITY RESULT ON MUCKENHOUPT S WEIGHTS
Publicacions Matemàtiques, Vol 42 (998), 53 63. A STABILITY RESULT ON MUCKENHOUPT S WEIGHTS Juha Kinnunen Abstract We prove that Muckenhoupt s A weights satisfy a reverse Hölder inequality with an explicit
More informationWhen action is not least
When action is not least C. G. Gray a GuelphWaterloo Physics Institute and Department of Physics, University of Guelph, Guelph, Ontario N1GW1, Canada Edwin F. Taylor b Department of Physics, Massachusetts
More informationRECENTLY, there has been a great deal of interest in
IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 47, NO. 1, JANUARY 1999 187 An Affine Scaling Methodology for Best Basis Selection Bhaskar D. Rao, Senior Member, IEEE, Kenneth KreutzDelgado, Senior Member,
More informationSolutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014
Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 3.4: 1. If m is any integer, then m(m + 1) = m 2 + m is the product of m and its successor. That it to say, m 2 + m is the
More informationFigure 2.1: Center of mass of four points.
Chapter 2 Bézier curves are named after their inventor, Dr. Pierre Bézier. Bézier was an engineer with the Renault car company and set out in the early 196 s to develop a curve formulation which would
More informationA DIRAC TYPE RESULT ON HAMILTON CYCLES IN ORIENTED GRAPHS
A DIRAC TYPE RESULT ON HAMILTON CYCLES IN ORIENTED GRAPHS LUKE KELLY, DANIELA KÜHN AND DERYK OSTHUS Abstract. We show that for each α > every sufficiently large oriented graph G with δ + (G), δ (G) 3 G
More information= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without
More informationTHE PROBLEM OF finding localized energy solutions
600 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 45, NO. 3, MARCH 1997 Sparse Signal Reconstruction from Limited Data Using FOCUSS: A Reweighted Minimum Norm Algorithm Irina F. Gorodnitsky, Member, IEEE,
More informationSpaceTime Approach to NonRelativistic Quantum Mechanics
R. P. Feynman, Rev. of Mod. Phys., 20, 367 1948 SpaceTime Approach to NonRelativistic Quantum Mechanics R.P. Feynman Cornell University, Ithaca, New York Reprinted in Quantum Electrodynamics, edited
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationAn Analysis of the War of Attrition and the AllPay Auction*
journal of economic theory 72, 343362 (1997) article no. ET962208 An Analysis of the War of Attrition and the AllPay Auction* Vijay Krishna Department of Economics, Pennsylvania State University, University
More informationRandom matchings which induce Hamilton cycles, and hamiltonian decompositions of random regular graphs
Random matchings which induce Hamilton cycles, and hamiltonian decompositions of random regular graphs Jeong Han Kim Microsoft Research One Microsoft Way Redmond, WA 9805 USA jehkim@microsoft.com Nicholas
More informationDiscreteTime Signals and Systems
2 DiscreteTime Signals and Systems 2.0 INTRODUCTION The term signal is generally applied to something that conveys information. Signals may, for example, convey information about the state or behavior
More informationEXISTENCE RESULT FOR STRONGLY NONLINEAR ELLIPTIC EQUATIONS IN ORLICZ SOBOLEV SPACES
Proyecciones Vol. 26, N o 2, pp. 157187, August 2007. Universidad Católica del Norte Antofagasta  Chile EXISTENCE RESULT FOR STRONGLY NONLINEAR ELLIPTIC EQUATIONS IN ORLIC SOBOLEV SPACES A. YOUSSFI UNIVERSITÉ
More informationHow Bad is Forming Your Own Opinion?
How Bad is Forming Your Own Opinion? David Bindel Jon Kleinberg Sigal Oren August, 0 Abstract A longstanding line of work in economic theory has studied models by which a group of people in a social network,
More informationx 2 if 2 x < 0 4 x if 2 x 6
Piecewisedefined Functions Example Consider the function f defined by x if x < 0 f (x) = x if 0 x < 4 x if x 6 Piecewisedefined Functions Example Consider the function f defined by x if x < 0 f (x) =
More informationNotes on Richard Dedekind s Was sind und was sollen die Zahlen?
Notes on Richard Dedekind s Was sind und was sollen die Zahlen? David E. Joyce, Clark University December 2005 Contents Introduction 2 I. Sets and their elements. 2 II. Functions on a set. 5 III. Onetoone
More information