 Research
 Open Access
 Published:
Global homeomorphism and applications to the existence and uniqueness of solutions of some differential equations
Advances in Difference Equations volume 2014, Article number: 52 (2014)
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.
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 HadamardLevy 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 \omega :{R}^{+}\to {R}^{+} 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 f:D\subseteq E\to F satisfies condition (L) if for every continuous function q:[0,1]\to F with q(0)\in f(D), and for every {x}_{0}\in {f}^{1}(0), there exists a continuous function p:[0,b)\to D with p(0)={x}_{0} such that f(p(t))=q(t), 0\le t<b, then there exists a sequence {t}_{n}\to b as n\to \mathrm{\infty} such that
exists and is in D.
The powerful generalization of the HadamardLevy theorem is as follows.
Theorem 1.1 Let f:E\to F 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 x(t) being defined on [0,+\mathrm{\infty}). Then the set A of all the x according to x(t) is called the attraction basin of {x}_{0}, which means x will be attracted to {x}_{0} as t\to +\mathrm{\infty}. Thus, Shen presented Theorem 1.2.
Lemma 1.1 [8]
Let {x}_{0}\in D. Then for any x\in D, the pathlifting problem
has a unique continuous solution t\to {\gamma}_{x}(t) defined on the maximal open interval {I}_{x}=({t}_{{x}^{}},{t}_{{x}^{+}}), \mathrm{\infty}\le {t}_{{x}^{}}<0<{t}_{{x}^{+}}\le +\mathrm{\infty}. Moreover, the set \{(x,t)\in D\times R:t\in {I}_{x}\} is open in D\times R and the mapping (x,t)\to {\gamma}_{x}(t) is continuous.
Theorem 1.2 Let f:E\to F be a local homeomorphism. Then f is a global homeomorphism of E onto F if and only if {\gamma}_{x}(t) is defined on R for all x\in A, namely, {\gamma}_{x}(t) can also be extended to −∞. Here A=\{x\in D:{t}_{x}^{+}=+\mathrm{\infty}\} is the basin of attraction of {x}_{0}.
In 1992, using the nonnegative auxiliary scalar coercive function, that is, continuous mappings k:E\to {R}^{+} with k(x)\to +\mathrm{\infty} as \parallel x\parallel \to +\mathrm{\infty}, Zampieri [9] also generalized the HadamardLevy theorem to show the following situation.
Theorem 1.3 [9]
The mapping f\in {C}^{1}(E;F) is a global diffeomorphism onto F if

(1)
{f}^{\prime}(x)\in Isom(E,F) \mathrm{\forall}x\in E;

(2)
{sup}_{\parallel x\parallel \le r}\parallel {f}^{\prime}{(x)}^{1}\parallel <+\mathrm{\infty} \mathrm{\forall}r:0<r<+\mathrm{\infty};

(3)
there exists a locally Lipschitzian coercive function k:E\to {R}^{+} which admits all {D}_{V}^{+}k(x), and it is such that sup\{{D}_{V}^{+}k(x):v={f}^{\prime}{(x)}^{1}u,x\in E,u\in F,\parallel u\parallel =1\}<+\mathrm{\infty}.
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 k:E\to {R}^{+} which admits the directional right derivatives {D}_{V}^{+}k(x), for arbitrary x,{x}_{0}\in E, y=f(x)\in F, v={f}^{\prime}{(x)}^{1}(yf({x}_{0})) and a continuous mapping h:{R}^{+}\to {R}^{+} such that {D}_{V}^{+}k(x)\le h(k(x)) and for any {r}_{0}>0, the maximum solution of the initial value problem
\{\begin{array}{l}{r}^{\prime}=h(r),\\ r(0)={r}_{0}\end{array}
is defined on [0,a) and there exists a sequence {t}_{n}\to a as n\to \mathrm{\infty} such that {lim}_{n\to \mathrm{\infty}}r({t}_{n})={r}^{\ast} 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 U(t,u) be continuous on an open (t,x)set H and u={u}^{0} the maximal solution of {u}^{\prime}(t)=U(t,u), u(0)={u}_{0}. Let v(t) be a continuous function on [{t}_{0},{t}_{0}+b] satisfying the condition v({t}_{0})\le {u}_{0}, (t,v(t))\in H, and v(t) has a derivative {v}^{\prime}(t) on {t}_{0}\le t\le {t}_{0}+b such that
Then, on a common interval of existence of {u}^{0}(t) and v(t)
Now, we will show our main theorems.
Theorem 2.2 Let f:D\subset E\to F be a {C}^{1} mapping, if

(1)
{f}^{\prime}(x)\in Isom(E,F) \mathrm{\forall}x\in E;

(2)
{sup}_{\parallel x\parallel \le r}\parallel {f}^{\prime}{(x)}^{1}\parallel <+\mathrm{\infty} \mathrm{\forall}r:0<r<+\mathrm{\infty};

(3)
there exists a coercive function k:E\to {R}^{+} which admits the directional right derivatives {D}_{V}^{+}k(x) for arbitrary x,{x}_{0}\in E, y=f(x)\in F, v={f}^{\prime}{(x)}^{1}(yf({x}_{0})) and a continuous mapping h:{R}^{+}\to {R}^{+} such that {D}_{V}^{+}k(x)\le h(k(x)) and for any {r}_{0}>0, the maximum solution of the initial value problem
\{\begin{array}{l}{r}^{\prime}=h(r),\\ r(0)={r}_{0}\end{array}(2.2)
is defined on [0,a) and there exists a sequence {t}_{n}\to a as n\to \mathrm{\infty} such that {lim}_{n\to \mathrm{\infty}}r({t}_{n})={r}^{\ast} is finite. Then f is a global homeomorphism of D onto F.
Proof Since {f}^{\prime}(x)\in Isom(E,F) \mathrm{\forall}x\in E, {f}^{\prime}{(x)}^{1} exists for all \mathrm{\forall}x\in D. Hence f is a local homeomorphism of D. Then, in the light of Theorem 1.2, we only need show that for all x\in A, {\gamma}_{x}(t) can also be extended to −∞. Namely, we need to consider the problem in the opposite direction.
Consider the pathlifting problem of the mapping f
It is clear that
Let v={f}^{\prime}{({\gamma}_{x}(t))}^{1}(yf({x}_{0})). By the assumption (3), we have {D}_{V}^{+}k(x)\le h(k(x)) and the maximum solution r(t) of (2.2) is defined on [0,a) and there exists a sequence {t}_{n}\to a as n\to \mathrm{\infty} such that {lim}_{n\to \mathrm{\infty}}r({t}_{n})={r}^{\ast} is finite. It follows that r(t) is continuous on [0,a] and there is a constant {M}_{1} such that r(t)\le {M}_{1}, t\in [0,a]. By Theorem 2.1, we have
as well as \parallel {\gamma}_{x}(t)\parallel \le {M}_{2}, t\in [0,a) for some constant {M}_{2}, since k is coercive, and let
Let t=h, t\in (a,0], h\in [0,a), a<0, for {t}_{1},{t}_{2}\in (a,0], we have
So {\gamma}_{x}(t) is Lipschitz continuous on (a,0], {\gamma}_{x}(t) 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 f\in {C}^{1}(E;F) is a global diffeomorphism onto F if

(1)
{f}^{\prime}(x)\in Isom(E,F) \mathrm{\forall}x\in E;

(2)
{sup}_{\parallel x\parallel \le r}\parallel {f}^{\prime}{(x)}^{1}\parallel <+\mathrm{\infty} \mathrm{\forall}r:0<r<+\mathrm{\infty};

(3)
there exists a locally Lipschitzian coercive function k:E\to {R}^{+} which admits all {D}_{V}^{+}k(x), and it is such that sup\{{D}_{V}^{+}k(x):v={f}^{\prime}{(x)}^{1}u,x\in E,u\in F,\parallel u\parallel =1\}<+\mathrm{\infty}.
Proof Let
From condition (3) for arbitrary x,{x}_{0}\in E, y\in F, v={f}^{\prime}{(x)}^{1}(yf({x}_{0})).
Define
Let h(t)=M, 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 f(x,u) 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 {R}^{n} with piecewise smooth boundary ∂G whose principal curvatures are bounded.
Let
and note that H is a Hilbert space with norm \parallel \cdot \parallel given by
where {W}^{2,2}\cap {W}_{0}^{1,2} (see [[12], Chapter 7]) can be shown to consist of {W}^{2,2} limits of smooth functions which vanish on the boundary.
We will first consider the differential operator L defined by
where a(x) 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 {H}_{I} or {H}_{II} into {L}^{2}(G).
Denote
where the infimum is taken over {H}_{I} or {H}_{II} 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 ({\mathrm{\Delta}}^{2}\phi \mathrm{\Omega}\phi =0) problem.
Let
Lemma 3.1 If {inf}_{x\in G}a(x)>\mathrm{\Omega}, then L is an invertible operator of {H}_{I} as well as of {H}_{II} onto {L}^{2}(G) and
where C=2+\frac{\mathrm{\Omega}}{{\epsilon}^{2}}+\frac{2{M}_{0}^{2}}{{\epsilon}^{2}} (\epsilon >0).
Proof Since \mathrm{\Omega}=inf\frac{\int {(\mathrm{\Delta}u)}^{2}}{\int {u}^{2}}>0 is the first eigenvalue of {\mathrm{\Delta}}^{2}\phi \mathrm{\Omega}\phi =0 in {H}_{I} ({H}_{II}), it follows that for all u\in {H}_{I}\phantom{\rule{0.25em}{0ex}}({H}_{II}), zero is not an eigenvalue of {\mathrm{\Delta}}^{2}\phi \mathrm{\Omega}\phi =0, so for every u\in {H}_{I}\phantom{\rule{0.25em}{0ex}}({H}_{II}), the operator Lu={\mathrm{\Delta}}^{2}u+a(x)u is an invertible operator of {H}_{I} ({H}_{II}) onto {L}^{2}(G).
For u\in {H}_{I}\phantom{\rule{0.25em}{0ex}}({H}_{II}), we have
for any \epsilon >0 and \mathrm{\Omega}<{m}_{0}, it follows that
From (3.3), we have
and
We obtain
Here C=2+\frac{\mathrm{\Omega}}{{\epsilon}^{2}}+\frac{2{M}_{0}^{2}}{{\epsilon}^{2}}.
Now we express (3.1) in the form
and (3.1) is equivalent to the operator equation
For any u,\phi \in {H}_{I}\phantom{\rule{0.25em}{0ex}}({H}_{II}), we have
□
Theorem 3.1 Assume that

(1)
{inf}_{G\times R}{f}_{u}^{\prime}(x,u)>\mathrm{\Omega};

(2)
there exists a coercive function k:{R}^{n}\to {R}^{+} which admits the directional right derivatives {D}_{V}^{+}k(x) for arbitrary u,{u}_{0}\in {H}_{I}\phantom{\rule{0.25em}{0ex}}({H}_{II}), y\in {L}^{2}(G), v={F}^{\prime}{(u)}^{1}(yF({u}_{0})) and a continuous mapping h:{R}^{+}\to {R}^{+} such that {D}_{V}^{+}k(u)\le h(k(u)) and for any {r}_{0}>0, the maximum solution of the initial value problem
\{\begin{array}{l}{r}^{\prime}=h(r),\\ r(0)={r}_{0}\end{array}
is defined on [0,a) and there exists a sequence \{{t}_{n}\} such that {t}_{n}\to an\to \mathrm{\infty}
is finite. Then there is a unique solution of the equation F(u)=0 in {H}_{I} ({H}_{II}).
Proof The condition {inf}_{G\times R}{f}_{u}^{\prime}(x,u)>\mathrm{\Omega} implies that, for each u, {F}^{\prime}(u) is invertible as a linear operator from {H}_{I} ({H}_{II}) onto {L}^{2}(G). Furthermore, an upper bound for \parallel {F}^{\prime}{(u)}^{1}\parallel is provided by (3.4) if the coefficient a(x) is identified with {f}_{u}^{\prime}(x,u). In fact, C=O({M}_{0}), 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 {H}_{I} ({H}_{II}) onto {L}^{2}(G), and the equation F(u)=0 has a unique solution. □
Corollary 3.1 Assume that f satisfies

(1)
{inf}_{G\times R}{f}_{u}^{\prime}>\mathrm{\Omega};

(2)
uniformly in x, \parallel {f}_{u}^{\prime}\parallel =\omega (\parallel u\parallel ), where ω is a continuous map satisfying {\int}_{a}^{\mathrm{\infty}}\frac{dt}{\omega (t)}=\mathrm{\infty}.
Then there is a unique solution of (3.1) in {H}_{I} ({H}_{II}).
Proof We have from Lemma 3.1 and (3.4)
for positive constants α, β.
Denote {\omega}_{1}(t)=\alpha \omega (t)+\beta; clearly, {\int}_{a}^{\mathrm{\infty}}\frac{dt}{{\omega}_{1}(t)}=\mathrm{\infty}.
Let
then k(u)\to +\mathrm{\infty} as \parallel u\parallel \to +\mathrm{\infty}.
For v={F}^{\prime}{(u)}^{1}(yF({u}_{0})), {u}_{0}\in {H}_{I}\phantom{\rule{0.25em}{0ex}}({H}_{II}), y\in {L}^{2}(G), we have
Let h(t)=M, the initial value problem
changes to
the solution of equation (3.5) on [0,b) is r(t)=Mt. 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)
{inf}_{G\times R}{f}_{u}^{\prime}>\mathrm{\Omega};

(2)
\parallel {f}_{u}^{\prime}\parallel =O(\parallel u\parallel ), uniformly in x\in G.
Then there is a unique solution of (3.1) in {H}_{I} ({H}_{II}).
Proof Condition (2) implies that {\int}_{a}^{\mathrm{\infty}}\frac{dt}{\omega (t)}=\mathrm{\infty} holds, and the result of Elcart and Sigillito in [11] becomes a special case of Theorem 3.1. □
References
 1.
Meyer GH: On solving nonlinear equations with a oneparameter operator imbedding. SIAM J. Numer. Anal. 1968, 5(3):739752.
 2.
Brown KJ, Lin SS: Periodically perturbed conservative systems and a global inverse function theorem. Nonlinear Anal. 1980, 4(1):193201. 10.1016/0362546X(80)900474
 3.
Plastock R: Homeomorphism between Banach space. Trans. Am. Math. Soc. 1974, 200: 169183.
 4.
Shen ZH: On the periodic solution to the Newtonian equation of motion. Nonlinear Anal. 1989, 13(2):145149. 10.1016/0362546X(89)900400
 5.
Shen ZH, Wolfe MA: On the existence of periodic solution of periodically perturbed conservative systems. J. Math. Anal. Appl. 1990, 153(1):7883. 10.1016/0022247X(90)90266I
 6.
Radulescu M, Radulescu S: Global inversion theorems and application to differential equation. Nonlinear Anal. 1980, 4(4):951965.
 7.
Wang WX, Shen ZH: The basin of attraction in Banach spaces and its applications. Acta Math. Sin. 2006, 49(2):10131020.
 8.
Gorni G: A criterion of invertibility in the large for local diffeomorphisms between Banach spaces. Nonlinear Anal. 1993, 21(1):4347. 10.1016/0362546X(93)90176S
 9.
Zampieri G: Diffeomorphisms with Banach space domains. Nonlinear Anal. 1992, 19(10):923932. 10.1016/0362546X(92)90104M
 10.
Lakshmikantham V, Leeda S II. In Differential and Integral Inequalities. Academic Press, New York; 1969.
 11.
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):805813.
 12.
Payne LE: Isoperimetric inequalities and their application. SIAM Rev. 1967, 9(1):453488.
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
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
Yanqing, F., Zhongying, W. & Chuanjun, 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/16871847201452
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871847201452
Keywords
 Banach space
 diffeomorphism
 boundary value problem
 the basin of attraction