Generalized Uniqueness Theorem for Ordinary Differential Equations in Banach Spaces

Hassan, Ezzat R.; Alhuthali, M. Sh.; Al-Ghanmi, M. M.

doi:https://doi.org/10.1155/2014/272479

The Scientific World Journal

On this page

Abstract Introduction Conclusion References Copyright Related Articles

Research Article | Open Access

Volume 2014 | Article ID 272479 | https://doi.org/10.1155/2014/272479

Generalized Uniqueness Theorem for Ordinary Differential Equations in Banach Spaces

Ezzat R. Hassan,¹M. Sh. Alhuthali,¹and M. M. Al-Ghanmi¹

Academic Editor: F. Başar, G. Fernandez-Anaya, G. A. Chechkin, R. Plebaniak

Received13 Nov 2013

Accepted23 Dec 2013

Published10 Feb 2014

Abstract

We consider nonlinear ordinary differential equations in Banach spaces. Uniqueness criterion for the Cauchy problem is given when any of the standard dissipative-type conditions does apply. A similar scalar result has been studied by Majorana (1991). Useful examples of reflexive Banach spaces whose positive cones have empty interior has been given as well.

1. Introduction

Throughout the last century most of the efforts are concentrated on the study of the classical Cauchy problem, also called the initial value problem and denoted by IVP: where and is a real Banach space. In the finite dimensional case the existence is guaranteed by Peano’s theorem. In order to put our results into context, let us start by formulating the classical theorem of Peano.

Theorem 1 (see [1]). Let and . Then (1) has a local solution.

Such an infinite dimensional Cauchy problem may have no solutions. Dieudonné [2] provided the first example of a continuous map from an infinitely dimensional nonreflexive Banach space for which there is no solution to the related Cauchy problem (1). Many counterexamples in various infinite dimensional reflexive as well as nonreflexive Banach spaces followed, for example, [3–6]. Afterwards, Godunov [7] proved that Theorem 1 is false in every infinite dimensional Banach space. It turned out that continuity alone, of the function , is not sufficient to prove a local existence theorem in the case where is infinite dimensional. In order to obtain suitable extensions for the continuity notion on finitely dimensional spaces the ideas were to use different topologies on , and then the study has taken two directions. One direction is to impose strong topology assumptions which can be found in different works, for example, [8–12]. The other approach is to utilize weak topology assumptions; it is observed that if the Banach space is reflexive we recover locally compactness by endowing it with the weak topology. In [9, 13–15] the Cauchy problem (1) has been discussed in reflexive Banach space. Astala [16] proved that a Banach space is reflexive if and only if (1) admits a local solution for every weakly continuous map . Thus there is no hope to extend Peano’s theorem in the weak topology setting to nonreflexive spaces. The nonreflexive case was examined by, among others, [17–20] on assuming, besides the weak continuity of , some condition on involving the measure of weak noncompactness to, somehow, recover the locally compactness lost by the fact that the Banach space we are working on is no longer reflexive. There are a lot of works devoted to investigating uniqueness criteria in which Kamke’s original hypothesis is replaced by a dissipative-type condition formulated in terms of a semi-inner product [8, 11, 20–28]. Majorana [29] found out a very close relation between an auxiliary scalar equation ASE of the form and the classical Cauchy problem (1), where and are reals.

Theorem 2 (see [29]). Let the function be defined in and continuous with respect to such that for every . Further let Cauchy problem (1) have two different classical solutions defined in . Then, for every , there exists such that (2) has at least two different roots with .

An immediate consequence of this latter theorem is the following uniqueness criterion.

Theorem 3 (see [29]). Let the function be defined in and continuous with respect to , such that for every . Further let there exist such that is the only root of (2) with for every . Then, for (1), is the only classical solution defined in .

Therefore we have, in , a very close relation between (2) and (1). It is one of the goals of this work to retain this relation in a suitable generalized sense. However, Majorana’s results are not directly extendable to an arbitrary abstract space as the following example shows.

Example 4. Let us consider the Cauchy problem: where In polar coordinates (3) becomes Thus, besides the trivial solution , there is at least one other given by We conclude that (3) satisfies the assumptions of Theorem 10; however, one cannot find more than the trivial root to the auxiliary scalar equation ASE corresponding to (3); namely, where is an arbitrary scalar.

In his paper [30] the author provided a generalization of Majorana’s theorem in finite dimensional Hilbert spaces; a natural question arises: can we extend this result to infinitely dimensional Banach spaces? The answer is positive as will be shown in the following.

A way to provide a version of Majorana’s uniqueness theorem in Banach space consists in replacing (2) with a suitable one. Our main concern in this work is the classical Cauchy problem (1), where takes values in a real Banach space and and 0 are in .

Before starting the main work we will introduce some concepts. Throughout the following stands for the norm in . The underlying idea to provide counterpart to (2) is based on the following definition.

Definition 5 (see [11]). Let be a real Banach space. A subset of is called a cone if the following are true:(i) is nonempty and nontrivial (i.e., contains a nonzero point);(ii), ;(iii);(iv), where denotes the closure of ;(v), where 0 denotes the zero element of the Banach space .
Assume that , denotes the interior of . The cone of induces an ordering “≤” by setting Let be the set of all continuous linear functionals on such that for all and let be the set of all continuous linear functionals on such that for all . The underlying idea to provide counterpart to (2) is based on the following Lemma which is due to Mazur [31].

Lemma 6 (see [11]). Let be a cone with nonempty interior ; then the following hold:(i) is equivalent to for all ;(ii) implies that there exists a such that , where denotes the boundary of .

It is well known that the requirements on the function are dependent on types of solutions; since we concentrate ourselves to weak solutions, then the classical case in the subject is that due to Szép [15]. Before giving Szép’s Theorem we need the following definition.

Definition 7 (see [11]). A function is said to be weakly-weakly continuous at if given and there exist and a weakly open set containing such that whenever and .

Definition 8. A function is said to be weakly differentiable at if there exists a point in denoted by such that for every .

Theorem 9 (see [15]). Let be a reflexive Banach space and let be a weakly-weakly continuous function on , . Let on . Then (1) has at least one weak solution defined on , .

2. Main Result

This section contains the main results. Throughout this section we will assume that is a real reflexive Banach space endowed with weak topology. is a cone with nonempty interior.

Theorem 10. Let be a weakly-weakly continuous such that on and let for every . Suppose further that (1) admits two different weak solutions defined in . Then, for every and every , there exists such that the following scalar equation has at least two different roots with .

Science is is open, there exist such that all points whose distance from satisfies and are contained in . Let and be such that and . Then Theorem 9 applied to (1) guarantees the existence of the solution of (1) on . The idea of the proof comes from [29].

Proof. It follows, by the assumption , that (1) has the zero solution, so we assume that (1) has the weak solution .
Let and be given. Since is a root of (9) for every , it is sufficient to show that there exists for which (9) is satisfied by some with . Let a real-valued function be defined by setting . Of course is nonnegative weak continuous in and weakly differentiable in , and for every in we have Now, fix with such that for every . Denote . Clearly and for every . At this point there are just two possibilities.P1:If there exists a such that , then, from (11) for such a , (9) is satisfied by . Hence the proof is accomplished by just taking these and .P2:Otherwise if for every . According to Darboux property has a constant sign in , then we take and define Now let us suppose that for every . . On the other hand, we have . It follows, by continuity of , that there exists a such that . The fact that for every and implies that is impossible and the proof will thus be accomplished.

An immediate consequence of Theorem 2 is the following uniqueness criterion.

Theorem 11. Let the hypotheses of the Theorem 10 hold and let for every . Assume further that there exist , , and such that is the only root of the auxiliary scalar equation (9) with for every . Then (1) admits in the interval only the zero solution.
As it was pointed out by Majorana the crucial point in Theorems 10 and 11 is the assumption that (1) has the zero solution. One follows Majorana’s procedure to remove this restriction. If we know a weak solution of (1), then, by means of change of variables , (1) becomes where . It is clear that any two different weak solutions of (1) are mapped to different weak solutions of (13). Moreover (13) admits the zero solution 0, which corresponds to the solution of (1). One thus gets the counterpart to (9):

We can restate Theorems 10 and 11 involving the nontrivial solution instead of .

Theorem 12. Let be a weakly-weakly continuous such that on and let be a weak solution of (1). Further let (1) admit two different weak solutions defined in . Then, for every and for every , there exists such that (14) has at least two different roots with .

Theorem 13. Let be a weakly-weakly continuous such that on and let be a weak solution of (1). Assume further that there exist , , and such that is the only root of the auxiliary scalar equation (14) with for every . Then the (1) admits in the interval only the weak solution .

Remark 14. Another critical point is that, as far as we know, in the standard reflexive Banach spaces usually encountered in differential equations, that is, spaces with being a measurable subset in and , the corresponding positive cones have empty interior. Except for the finite dimensional space, the only nontrivial example of a positive cone with nonempty interior is in , where is a compact topological space. But is not reflexive. This motivates us to give the following example.

Example 15. We think, Sobolev spaces and are the required examples. Because they are Hilbert spaces. consists of continuous functions and consists entirely of continuously differentiable functions. See page 382 of [32].

3. Conclusion

We have taken the time interval to be and the initial value to be 0 only for simplicity of notation; our argument would work just as well for any other compact interval and any other initial value. Moreover, Szép’s assumptions can be replaced by any set of sufficient conditions that guarantee existence of solutions for (1) in reflexive as well as in nonreflexive Banach spaces.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This paper was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The author, therefore, acknowledges with thanks DSR technical and financial support.

References

G. Peano, “Démonstration de l'intégrabilité des équations différentielles ordinaires,” Mathematische Annalen, vol. 37, no. 2, pp. 182–228, 1890.
View at: Publisher Site | Google Scholar | MathSciNet
J. Dieudonné, “Deux exemples singuliers d'équations différentielles,” Acta Scientiarum Mathematicarum, vol. 12, pp. 38–40, 1950.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
A. N. Godunov, “A counterexample to Peano's theorem in an infinite-dimensional Hilbert space,” Vestnik Moskovskogo Universiteta. Serija I. Matematika, Mehanika, vol. 27, no. 5, pp. 31–34, 1972.
View at: Google Scholar | MathSciNet
E. Horst, “Differential equations in Banach spaces: five examples,” Archiv der Mathematik, vol. 46, no. 5, pp. 440–444, 1986.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
G. E. Ladas and V. Lakshmikantham, Differential Equations in Abstract Spaces, Academic Press, New York, NY, USA, 1972.
View at: MathSciNet
J. A. Yorke, “A continuous differential equation in Hilbert space without existence,” Funkcialaj Ekvacioj. Serio Internacia, vol. 13, pp. 19–21, 1970.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
A. N. Godunov, “The Peano theorem in Banach spaces,” Functional Analysis and Its Applications, vol. 9, no. 1, pp. 53–55, 1975.
View at: Google Scholar | MathSciNet
K. Deimling and V. Lakshmikantham, “On existence of extremal solutions of differential equations in Banach spaces,” Nonlinear Analysis; Theory, Methods and Applications, vol. 3, no. 5, pp. 563–568, 1979.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
E. V. Teixeira, “Strong solutions for differential equations in abstract spaces,” Journal of Differential Equations, vol. 214, no. 1, pp. 65–91, 2005.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
V. Lakshmikantham, “Stability and asymptotic behaviour of solutions of differential equations in Banach space,” in Stability Problems, vol. 65 of C.I.M.E. Summer Schools, pp. 38–98, 2011.
View at: Google Scholar
V. Lakshmikantham and S. Leela, Nonlinear Differential Equations in Abstract Spaces, vol. 2 of International Series in Nonlinear Mathematics: Theory, Methods and Applications, Pergamon Press, Oxford, UK, 1981.
View at: MathSciNet
R. H. Martin, Jr., Nonlinear Operators and Differential Equations in Banach Spaces, Robert E. Krieger, Melbourne, VIC, Australia, 1987.
View at: MathSciNet
S.-N. Chow and J. D. Schuur, “An existence theorem for ordinary differential equations in Banach spaces,” Bulletin of the American Mathematical Society, vol. 77, pp. 1018–1020, 1971.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
T. Kato, “Nonlinear semigroups and evolution equations,” Journal of the Mathematical Society of Japan, vol. 19, pp. 508–520, 1967.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
A. Szép, “Existence theorem for weak solutions of ordinary differential equations in reflexive Banach spaces,” Studia Scientiarum Mathematicarum Hungarica, vol. 6, pp. 197–203, 1971.
View at: Google Scholar | MathSciNet
K. Astala, “On Peano's theorem in locally convex spaces,” Studia Mathematica, vol. 73, no. 3, pp. 213–223, 1982.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
D. Bugajewski, “On the existence of weak solutions of integral equations in Banach spaces,” Commentationes Mathematicae Universitatis Carolinae, vol. 35, no. 1, pp. 35–41, 1994.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
M. Cichoń, “Weak solutions of differential equations in Banach spaces,” Differential Inclusions, vol. 15, no. 1, pp. 5–14, 1995.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
M. Cichoń, “On solutions of differential equations in Banach spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 60, no. 4, pp. 651–667, 2005.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
E. Cramer, V. Lakshmikantham, and A. R. Mitchell, “On the existence of weak solutions of differential equations in nonreflexive Banach spaces,” Nonlinear Analysis, vol. 2, no. 2, pp. 169–177, 1978.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
R. P. Agarwal and V. Lakshmikantham, Uniqueness and Nonuniqueness Criteria for Ordinary Differential Equations, World Scientific, 1993.
View at: MathSciNet
M. Arrate, “A uniqueness criterion for ordinary differential equations in Banach spaces,” Proceedings of the American Mathematical Society, vol. 81, no. 3, pp. 421–424, 1981.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S. Kató, “On existence and uniqueness conditions for nonlinear ordinary differential equations in Banach spaces,” Funkcialaj Ekvacioj. Serio Internacia, vol. 19, no. 3, pp. 239–245, 1976.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
M. A. Krasnoselskiï and S. G. Kreïn, “Nonlocal existence theorems and uniqueness theorems for systems of ordinary differential equations,” Doklady Akademii Nauk SSSR, vol. 102, pp. 13–16, 1955 (Russian).
View at: Google Scholar | MathSciNet
V. Lakshmikantham, A. R. Mitchell, and R. W. Mitchell, “Differential equations on closed subsets of a Banach space,” Transactions of the American Mathematical Society, vol. 220, pp. 103–113, 1976.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
V. Lakshmikantham, S. Leela, and V. Moauro, “Existence and uniqueness of solutions of delay differential equations on a closed subset of a Banach space,” Nonlinear Analysis, vol. 2, no. 3, pp. 311–327, 1978.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
R. H. Martin, Jr., “Differential equations on closed subsets of a Banach space,” Transactions of the American Mathematical Society, vol. 179, pp. 399–414, 1973.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
V. Barbu, Nonlinear Differential Equations of Monotone Types in Banach Spaces, Springer Monographs in Mathematics, DeLano Scientific LLC, 2010.
View at: Publisher Site | MathSciNet
A. Majorana, “A uniqueness theorem for $y^{'} = f (x, y), y (x_{0}) = y_{0}$ ,” Proceedings of the American Mathematical Society, vol. 111, no. 1, pp. 215–220, 1991.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
E. R. Hassan, “An extension of the Majorana uniqueness theorem to Hilbert spaces,” Yokohama Mathematical Journal, vol. 56, no. 1-2, pp. 1–7, 2010.
View at: Google Scholar | Zentralblatt MATH | MathSciNet
S. Mazur, “Uber konvexe mengen in linearen normierten raumen,” Studia Mathematica, vol. 4, pp. 70–84, 1933.
View at: Google Scholar
G. Chichilnisky and G. M. Heal, “Competitive equilibrium in Sobolev spaces without bounds on short sales,” Journal of Economic Theory, vol. 59, no. 2, pp. 364–384, 1993.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet

Copyright

Copyright © 2014 Ezzat R. Hassan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies