# Global homeomorphism and applications to the existence and uniqueness of solutions of some differential equations

- Feng Yan-qing
^{1}Email author, - Wang Zhong-ying
^{1}and - Weng Chuan-jun
^{1}

**2014**:52

https://doi.org/10.1186/1687-1847-2014-52

© Yan-qing et al.; licensee Springer. 2014

**Received: **17 October 2013

**Accepted: **13 January 2014

**Published: **31 January 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.

## Keywords

## 1 Introduction

*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 $\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))

*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 Hadamard-Levy 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].

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 path*-

*lifting 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 Hadamard-Levy 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}$.

- (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}(y-f({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}(y-f({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.

*f*

*k*is coercive, and let

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}(y-f({x}_{0}))$.

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

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.

*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.

*L*defined by

where $a(x)$ are bounded measurable functions defined in *G*.

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)$.

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.

**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)$.

Here $C=2+\frac{\mathrm{\Omega}}{{\epsilon}^{2}}+\frac{2{M}_{0}^{2}}{{\epsilon}^{2}}$.

□

**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}(y-F({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}$.

then $k(u)\to +\mathrm{\infty}$ as $\parallel u\parallel \to +\mathrm{\infty}$.

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. □

## Declarations

### 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).

## Authors’ Affiliations

## References

- Meyer GH: On solving nonlinear equations with a one-parameter operator imbedding.
*SIAM J. Numer. Anal.*1968, 5(3):739-752.MathSciNetView ArticleGoogle Scholar - 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-4MathSciNetView ArticleGoogle Scholar - Plastock R: Homeomorphism between Banach space.
*Trans. Am. Math. Soc.*1974, 200: 169-183.MathSciNetView ArticleGoogle Scholar - 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-0MathSciNetView ArticleGoogle Scholar - 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-IMathSciNetView ArticleGoogle Scholar - Radulescu M, Radulescu S: Global inversion theorems and application to differential equation.
*Nonlinear Anal.*1980, 4(4):951-965.MathSciNetView ArticleGoogle Scholar - Wang WX, Shen ZH: The basin of attraction in Banach spaces and its applications.
*Acta Math. Sin.*2006, 49(2):1013-1020.Google Scholar - 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-SMathSciNetView ArticleGoogle Scholar - Zampieri G: Diffeomorphisms with Banach space domains.
*Nonlinear Anal.*1992, 19(10):923-932. 10.1016/0362-546X(92)90104-MMathSciNetView ArticleGoogle Scholar - Lakshmikantham V, Leeda S II. In
*Differential and Integral Inequalities*. Academic Press, New York; 1969.Google Scholar - 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.View ArticleGoogle Scholar - Payne LE: Isoperimetric inequalities and their application.
*SIAM Rev.*1967, 9(1):453-488.MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.