Abstract
In this paper, the global diffeomorphism theorem due to Zampieri was generalized. The concept of the basin of attraction is the main tool of our exposition in discussing the diffeomorphism between Banach spaces. The existence and uniqueness of a solution of the fourth order elliptic boundary value problem was proved by employing our generalized theorem. The results of this paper generalize some known theorems.
MSC:35J40.
Similar content being viewed by others
1 Introduction
An important problem in nonlinear analysis is to find precise conditions for a local diffeomorphism f between two Banach spaces E, F to be a global one. Many authors have investigated this problem and have obtained results along this line, see [1–4]. The most famous conclusion among these may be the Hadamard-Levy theorem [2], it states that a continuously differentiable map f between two Banach spaces E and F, which is a local diffeomorphism and satisfies the condition
is a homeomorphism, where is a continuous increasing mapping.
In 1974, Plastock [3] reduced the global homeomorphism problem to one of finding the conditions for a local homeomorphism to satisfy the ‘line lifting property’. This property was then shown to be equivalent to a limiting condition which was designated by condition (L).
Definition 1.1 (condition (L))
Let D an open connected set of E, the continuous mapping satisfies condition (L) if for every continuous function with , and for every , there exists a continuous function with such that , , then there exists a sequence as such that
exists and is in D.
The powerful generalization of the Hadamard-Levy theorem is as follows.
Theorem 1.1 Let be a local homeomorphism. Then f is a global homeomorphism of E onto F if and only if f satisfies condition (L).
Theorem 1.1 was employed to prove the global diffeomorphism and the existence and uniqueness of solution of boundary value problems by some authors [3–6].
Let us consider about the Cauchy problem:
with
which is equivalent to
In [7], Shen found that the condition (L) could be replaced with being defined on . Then the set A of all the x according to is called the attraction basin of , which means x will be attracted to as . Thus, Shen presented Theorem 1.2.
Lemma 1.1 [8]
Let . Then for any , the path-lifting problem
has a unique continuous solution defined on the maximal open interval , . Moreover, the set is open in and the mapping is continuous.
Theorem 1.2 Let be a local homeomorphism. Then f is a global homeomorphism of E onto F if and only if is defined on R for all , namely, can also be extended to −∞. Here is the basin of attraction of .
In 1992, using the nonnegative auxiliary scalar coercive function, that is, continuous mappings with as , Zampieri [9] also generalized the Hadamard-Levy theorem to show the following situation.
Theorem 1.3 [9]
The mapping is a global diffeomorphism onto F if
-
(1)
;
-
(2)
;
-
(3)
there exists a locally Lipschitzian coercive function which admits all , and it is such that .
The purpose of this paper is to generalize the above Zampieri [9] theorems by making use of Theorem 1.2 and the attraction basin. In our main Theorem 2.2, in Section 2, we replaced Zampieri’s condition (3) by the conditions:
-
(3)
there exists a coercive function which admits the directional right derivatives , for arbitrary , , and a continuous mapping such that and for any , the maximum solution of the initial value problem
is defined on and there exists a sequence as such that is finite.
Thus Theorem 1.3 is a corollary of our theorem. Our proofs are different from the proofs given by Zampieri [9]. In Section 3, we will apply our theorems to the existence and uniqueness of solutions of the fourth order elliptic boundary value problem.
2 The main theorems
In this paper, we denote E, F, Banach spaces, D is an open subset of E. The following theorem will be employed to prove our main theorems.
Theorem 2.1 [10]
Let be continuous on an open -set H and the maximal solution of , . Let be a continuous function on satisfying the condition , , and has a derivative on such that
Then, on a common interval of existence of and
Now, we will show our main theorems.
Theorem 2.2 Let be a mapping, if
-
(1)
;
-
(2)
;
-
(3)
there exists a coercive function which admits the directional right derivatives for arbitrary , , and a continuous mapping such that and for any , the maximum solution of the initial value problem
(2.2)
is defined on and there exists a sequence as such that is finite. Then f is a global homeomorphism of D onto F.
Proof Since , exists for all . Hence f is a local homeomorphism of D. Then, in the light of Theorem 1.2, we only need show that for all , can also be extended to −∞. Namely, we need to consider the problem in the opposite direction.
Consider the path-lifting problem of the mapping f
It is clear that
Let . By the assumption (3), we have and the maximum solution of (2.2) is defined on and there exists a sequence as such that is finite. It follows that is continuous on and there is a constant such that , . By Theorem 2.1, we have
as well as , for some constant , since k is coercive, and let
Let , , , , for , we have
So is Lipschitz continuous on , can also be extended to −∞, and Theorem 2.2 is proved. □
We find Zampieri’s results (Theorem 1.3) as a consequence of Theorem 2.2.
Corollary 2.1 The mapping is a global diffeomorphism onto F if
-
(1)
;
-
(2)
;
-
(3)
there exists a locally Lipschitzian coercive function which admits all , and it is such that .
Proof Let
From condition (3) for arbitrary , , .
Define
Let , then the condition (3) of Theorem 2.2 is satisfied, and the corollary is proved. □
3 Applications of the main theorems
Consider the fourth order elliptic boundary value problem
where is measurable in x for all u and has continuous partial derivatives in u for almost all x.
Alexiades and Elcart [11] studied the existence of solution of the problem (3.1), and here we will prove the existence and uniqueness of solution of the problem (3.1).
We assume that G is a bounded domain in with piecewise smooth boundary ∂G whose principal curvatures are bounded.
Let
and note that H is a Hilbert space with norm given by
where (see [[12], Chapter 7]) can be shown to consist of limits of smooth functions which vanish on the boundary.
We will first consider the differential operator L defined by
where are bounded measurable functions defined in G.
We shall be concerned with the sets of boundary conditions
or
and we define
Each of these spaces is a closed subspace of H and the differential operator L is a bounded linear operator from or into .
Denote
where the infimum is taken over or according to whether (I) or (II) are the boundary conditions in the relevant eigenvalue problem. In fact, Ω is the first eigenvalue in the clamped plate () problem.
Let
Lemma 3.1 If , then L is an invertible operator of as well as of onto and
where ().
Proof Since is the first eigenvalue of in (), it follows that for all , zero is not an eigenvalue of , so for every , the operator is an invertible operator of () onto .
For , we have
for any and , it follows that
From (3.3), we have
and
We obtain
Here .
Now we express (3.1) in the form
and (3.1) is equivalent to the operator equation
For any , we have
□
Theorem 3.1 Assume that
-
(1)
;
-
(2)
there exists a coercive function which admits the directional right derivatives for arbitrary , , and a continuous mapping such that and for any , the maximum solution of the initial value problem
is defined on and there exists a sequence such that
is finite. Then there is a unique solution of the equation in ().
Proof The condition implies that, for each u, is invertible as a linear operator from () onto . Furthermore, an upper bound for is provided by (3.4) if the coefficient is identified with . In fact, , where C is the constant in (3.4), implies that
for positive constant α, β.
By the above discussion and condition (2), the assumptions of Theorem 2.2 are satisfied, F is a homeomorphism of () onto , and the equation has a unique solution. □
Corollary 3.1 Assume that f satisfies
-
(1)
;
-
(2)
uniformly in x, , where ω is a continuous map satisfying .
Then there is a unique solution of (3.1) in ().
Proof We have from Lemma 3.1 and (3.4)
for positive constants α, β.
Denote ; clearly, .
Let
then as .
For , , , we have
Let , the initial value problem
changes to
the solution of equation (3.5) on is . Hence all the conditions of Theorem 3.1 are satisfied. We get the results of this corollary. □
Corollary 3.2 (Alexiades and Elcrat)
Assume that f satisfies
-
(1)
;
-
(2)
, uniformly in .
Then there is a unique solution of (3.1) in ().
Proof Condition (2) implies that holds, and the result of Elcart and Sigillito in [11] becomes a special case of Theorem 3.1. □
References
Meyer GH: On solving nonlinear equations with a one-parameter operator imbedding. SIAM J. Numer. Anal. 1968, 5(3):739-752.
Brown KJ, Lin SS: Periodically perturbed conservative systems and a global inverse function theorem. Nonlinear Anal. 1980, 4(1):193-201. 10.1016/0362-546X(80)90047-4
Plastock R: Homeomorphism between Banach space. Trans. Am. Math. Soc. 1974, 200: 169-183.
Shen ZH: On the periodic solution to the Newtonian equation of motion. Nonlinear Anal. 1989, 13(2):145-149. 10.1016/0362-546X(89)90040-0
Shen ZH, Wolfe MA: On the existence of periodic solution of periodically perturbed conservative systems. J. Math. Anal. Appl. 1990, 153(1):78-83. 10.1016/0022-247X(90)90266-I
Radulescu M, Radulescu S: Global inversion theorems and application to differential equation. Nonlinear Anal. 1980, 4(4):951-965.
Wang WX, Shen ZH: The basin of attraction in Banach spaces and its applications. Acta Math. Sin. 2006, 49(2):1013-1020.
Gorni G: A criterion of invertibility in the large for local diffeomorphisms between Banach spaces. Nonlinear Anal. 1993, 21(1):43-47. 10.1016/0362-546X(93)90176-S
Zampieri G: Diffeomorphisms with Banach space domains. Nonlinear Anal. 1992, 19(10):923-932. 10.1016/0362-546X(92)90104-M
Lakshmikantham V, Leeda S II. In Differential and Integral Inequalities. Academic Press, New York; 1969.
Alexiades V, Elcrat A, Shaefer P: Existence theorems for some nonlinear fourth order elliptic boundary value problems. Nonlinear Anal., Theory Methods Appl. 1979, 4(4):805-813.
Payne LE: Isoperimetric inequalities and their application. SIAM Rev. 1967, 9(1):453-488.
Acknowledgements
The authors are grateful to the referees for their comments and references which improve the paper. The work has been supported by the Natural Science Foundation of Jiansu (13KJD110001).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declared that they have no conflicts of interest to this work.
Authors’ contributions
All authors contributed equally to the manuscript. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Yan-qing, F., Zhong-ying, W. & Chuan-jun, W. Global homeomorphism and applications to the existence and uniqueness of solutions of some differential equations. Adv Differ Equ 2014, 52 (2014). https://doi.org/10.1186/1687-1847-2014-52
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-52