Skip to main content

Theory and Modern Applications

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

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

∫ 0 ∞ d s ω ( s ) =∞, ∥ [ f ′ ( x ) ] − 1 ∥ ≤ω ( ∥ x ∥ ) ,

is a homeomorphism, where ω: R + → 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⊆E→F satisfies condition (L) if for every continuous function q:[0,1]→F with q(0)∈f(D), and for every x 0 ∈ f − 1 (0), there exists a continuous function p:[0,b)→D with p(0)= x 0 such that f(p(t))=q(t), 0≤t<b, then there exists a sequence t n →b as n→∞ such that

lim n → ∞ p( t n )

exists and is in D.

The powerful generalization of the Hadamard-Levy theorem is as follows.

Theorem 1.1 Let f:E→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:

x Ë™ (t)=G ( x ( t ) ) ,x(0)= x 0

with

G(x):=− f ′ ( x ) − 1 ( f ( x ) − f ( x 0 ) ) ,

which is equivalent to

f ( x ( t ) ) −f( x 0 )= e − t ( f ( x ) − f ( x 0 ) ) .

In [7], Shen found that the condition (L) could be replaced with x(t) being defined on [0,+∞). 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→+∞. Thus, Shen presented Theorem 1.2.

Lemma 1.1 [8]

Let x 0 ∈D. Then for any x∈D, the path-lifting problem

{ f ( γ x ( t ) ) = f ( x 0 ) + e − t ( f ( x ) − f ( x 0 ) ) , t ∈ R , γ x ( 0 ) = x , γ x ( t ) ∈ D

has a unique continuous solution t→ γ x (t) defined on the maximal open interval I x =( t x − , t x + ), −∞≤ t x − <0< t x + ≤+∞. Moreover, the set {(x,t)∈D×R:t∈ I x } is open in D×R and the mapping (x,t)→ γ x (t) is continuous.

Theorem 1.2 Let f:E→F be a local homeomorphism. Then f is a global homeomorphism of E onto F if and only if γ x (t) is defined on R for all x∈A, namely, γ x (t) can also be extended to −∞. Here A={x∈D: t x + =+∞} is the basin of attraction of x 0 .

In 1992, using the nonnegative auxiliary scalar coercive function, that is, continuous mappings k:E→ R + with k(x)→+∞ as ∥x∥→+∞, Zampieri [9] also generalized the Hadamard-Levy theorem to show the following situation.

Theorem 1.3 [9]

The mapping f∈ C 1 (E;F) is a global diffeomorphism onto F if

  1. (1)

    f ′ (x)∈Isom(E,F) ∀x∈E;

  2. (2)

    sup ∥ x ∥ ≤ r ∥ f ′ ( x ) − 1 ∥<+∞ ∀r:0<r<+∞;

  3. (3)

    there exists a locally Lipschitzian coercive function k:E→ R + which admits all D V + k(x), and it is such that sup{ D V + k(x):v= f ′ ( x ) − 1 u,x∈E,u∈F,∥u∥=1}<+∞.

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:

  1. (3)

    there exists a coercive function k:E→ R + which admits the directional right derivatives D V + k(x), for arbitrary x, x 0 ∈E, y=f(x)∈F, v= f ′ ( x ) − 1 (y−f( x 0 )) and a continuous mapping h: R + → R + such that D V + k(x)≤h(k(x)) and for any r 0 >0, the maximum solution of the initial value problem

    { r ′ = h ( r ) , r ( 0 ) = r 0

is defined on [0,a) and there exists a sequence t n →a as n→∞ such that lim n → ∞ r( t n )= r ∗ 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 ′ (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 )≤ u 0 , (t,v(t))∈H, and v(t) has a derivative v ′ (t) on t 0 ≤t≤ t 0 +b such that

v ′ (t)≤U ( t , v ( t ) ) .

Then, on a common interval of existence of u 0 (t) and v(t)

v(t)≤ u 0 (t).
(2.1)

Now, we will show our main theorems.

Theorem 2.2 Let f:D⊂E→F be a C 1 mapping, if

  1. (1)

    f ′ (x)∈Isom(E,F) ∀x∈E;

  2. (2)

    sup ∥ x ∥ ≤ r ∥ f ′ ( x ) − 1 ∥<+∞ ∀r:0<r<+∞;

  3. (3)

    there exists a coercive function k:E→ R + which admits the directional right derivatives D V + k(x) for arbitrary x, x 0 ∈E, y=f(x)∈F, v= f ′ ( x ) − 1 (y−f( x 0 )) and a continuous mapping h: R + → R + such that D V + k(x)≤h(k(x)) and for any r 0 >0, the maximum solution of the initial value problem

    { r ′ = h ( r ) , r ( 0 ) = r 0
    (2.2)

is defined on [0,a) and there exists a sequence t n →a as n→∞ such that lim n → ∞ r( t n )= r ∗ is finite. Then f is a global homeomorphism of D onto F.

Proof Since f ′ (x)∈Isom(E,F) ∀x∈E, f ′ ( x ) − 1 exists for all ∀x∈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∈A, γ x (t) 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

{ f ( γ x ( t ) ) = f ( x 0 ) + e − t ( f ( x ) − f ( x 0 ) ) , γ x ( 0 ) = x , γ x ( t ) ∈ [ 0 , a ) .

It is clear that

γ x ′ (t)=− [ f ′ ( γ x ( t ) ) ] − 1 e − t ( f ( x ) − f ( x 0 ) ) .

Let v= f ′ ( γ x ( t ) ) − 1 (y−f( x 0 )). By the assumption (3), we have D V + k(x)≤h(k(x)) and the maximum solution r(t) of (2.2) is defined on [0,a) and there exists a sequence t n →a as n→∞ such that lim n → ∞ r( t n )= r ∗ is finite. It follows that r(t) is continuous on [0,a] and there is a constant M 1 such that |r(t)|≤ M 1 , t∈[0,a]. By Theorem 2.1, we have

∥ k ( γ x ( t ) ) ∥ ≤|r(t)|≤ M 1 ,t∈[0,a]

as well as ∥ γ x (t)∥≤ M 2 , t∈[0,a) for some constant M 2 , since k is coercive, and let

M 3 = sup ∥ x ∥ ≤ M 2 ∥ f ′ ( x ) − 1 ∥ <+∞,x∈D.

Let t=−h, t∈(a,0], h∈[0,−a), a<0, for t 1 , t 2 ∈(a,0], we have

∥ γ x ( t 1 ) − γ x ( t 2 ) ∥ = ∥ γ x ( − h 1 ) − γ x ( − h 2 ) ∥ = ∫ − h 2 − h 1 ∥ γ x ′ ( s ) ∥ d s = ∫ − h 2 − h 1 ∥ f ′ ( γ x ( s ) ) − 1 ∥ e − s ∥ f ( x ) − f ( x 0 ) ∥ d s ≤ ∫ h 1 h 2 ∥ f ′ ( γ x ( − u ) ) ∥ e u ∥ f ( x ) − f ( x 0 ) ∥ d u ≤ M 3 ∫ h 1 h 2 ∥ f ( x ) − f ( x 0 ) ∥ e u d u ≤ M 3 e − a ∥ f ( x ) − f ( x 0 ) ∥ | t 1 − t 2 | .

So γ x (t) is Lipschitz continuous on (a,0], γ 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∈ C 1 (E;F) is a global diffeomorphism onto F if

  1. (1)

    f ′ (x)∈Isom(E,F) ∀x∈E;

  2. (2)

    sup ∥ x ∥ ≤ r ∥ f ′ ( x ) − 1 ∥<+∞ ∀r:0<r<+∞;

  3. (3)

    there exists a locally Lipschitzian coercive function k:E→ R + which admits all D V + k(x), and it is such that sup{ D V + k(x):v= f ′ ( x ) − 1 u,x∈E,u∈F,∥u∥=1}<+∞.

Proof Let

u= y − f ( x 0 ) ∥ y − f ( x 0 ) ∥ .

From condition (3) for arbitrary x, x 0 ∈E, y∈F, v= f ′ ( x ) − 1 (y−f( x 0 )).

Define

D v + k(x)≤M.

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

{ Δ 2 u + f ( x , u ) = 0 , u ∈ H I  or  H I I ,
(3.1)

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

H= { u ∈ W 2 , 2 ∩ W 0 1 , 2 , Δ 2 u ∈ L 2 ( G ) }

and note that H is a Hilbert space with norm ∥⋅∥ given by

∥ u ∥ 2 = ∫ G ( Δ u ) 2 + ∫ G ( Δ 2 u ) 2 ,u∈H,

where W 2 , 2 ∩ 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

Lu= Δ 2 u+a(x)u,
(3.2)

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

We shall be concerned with the sets of boundary conditions

u= ∂ u ∂ n =0,on âˆ‚G;
(I)

or

u=Δu=0,on âˆ‚G;
(II)

and we define

H I = { u ∈ H , ∂ u ∂ n = 0 , x ∈ ∂ G } , H I I = { u ∈ H , Δ u ∈ W 0 1 , 2 } .

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 I I into L 2 (G).

Denote

Ω=inf ∫ ( Δ u ) 2 ∫ u 2 ,
(3.3)

where the infimum is taken over H I or H I I 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 ( Δ 2 φ−Ωφ=0) problem.

Let

m 0 = inf x ∈ G a(x), M 0 = sup x ∈ G a(x).

Lemma 3.1 If inf x ∈ G a(x)>−Ω, then L is an invertible operator of H I as well as of H I I onto L 2 (G) and

∥u∥≤C ∥ L u ∥ 0 ,
(3.4)

where C=2+ Ω ε 2 + 2 M 0 2 ε 2 (ε>0).

Proof Since Ω=inf ∫ ( Δ u ) 2 ∫ u 2 >0 is the first eigenvalue of Δ 2 φ−Ωφ=0 in H I ( H I I ), it follows that for all u∈ H I ( H I I ), zero is not an eigenvalue of Δ 2 φ−Ωφ=0, so for every u∈ H I ( H I I ), the operator Lu= Δ 2 u+a(x)u is an invertible operator of H I ( H I I ) onto L 2 (G).

For u∈ H I ( H I I ), we have

∫ ( Δ u ) 2 +∫a u 2 =∫uLu≤ ε 2 ∫ u 2 + 1 2 ε ∫ ( L u ) 2 ,

for any ε>0 and −Ω< m 0 , it follows that

∫ ( Δ u ) 2 + m 0 ∫ u 2 ≤ ε 2 ∫ u 2 + 1 2 ε ∫ ( L u ) 2 , ∫ ( Δ u ) 2 ≤ ( ε 2 − m 0 ) ∫ u 2 + 1 2 ε ∫ ( L u ) 2 .

From (3.3), we have

∫ ( Δ u ) 2 ≤ ( ε 2 Ω + 1 ) ∫ ( Δ u ) 2 + 1 2 ε ∫ ( L u ) 2 ,∫ ( Δ u ) 2 ≤ Ω ε 2 ∫ ( L u ) 2

and

∫ ( Δ 2 u ) 2 = ∫ ( L u − a u ) 2 ≤ 2 ∫ ( L u ) 2 + 2 ∫ ( a u ) 2 ≤ ( 2 + 2 a 2 ε 2 ) ∫ ( L u ) 2 ≤ ( 2 + 2 M 0 2 ε 2 ) ∫ ( L u ) 2 .

We obtain

∥ u ∥ 2 = ∫ ( Δ u ) 2 + ∫ ( Δ 2 u ) 2 ≤ ( 2 + Ω ε 2 + 2 M 0 2 ε 2 ) ∫ ( L u ) 2 ≤ C ∥ L u ∥ 0 2 .

Here C=2+ Ω ε 2 + 2 M 0 2 ε 2 .

Now we express (3.1) in the form

F(u)= Δ 2 u+f(x,u)

and (3.1) is equivalent to the operator equation

F(u)=0,u∈ H I ( H I I ).

For any u,φ∈ H I ( H I I ), we have

F ′ (u)(φ)= Δ 2 φ+ f u ′ (x,u)φ.

 □

Theorem 3.1 Assume that

  1. (1)

    inf G × R f u ′ (x,u)>−Ω;

  2. (2)

    there exists a coercive function k: R n → R + which admits the directional right derivatives D V + k(x) for arbitrary u, u 0 ∈ H I ( H I I ), y∈ L 2 (G), v= F ′ ( u ) − 1 (y−F( u 0 )) and a continuous mapping h: R + → R + such that D V + k(u)≤h(k(u)) and for any r 0 >0, the maximum solution of the initial value problem

    { r ′ = h ( r ) , r ( 0 ) = r 0

is defined on [0,a) and there exists a sequence { t n } such that t n →an→∞

lim n → ∞ r( t n )= r ∗

is finite. Then there is a unique solution of the equation F(u)=0 in H I ( H I I ).

Proof The condition inf G × R f u ′ (x,u)>−Ω implies that, for each u, F ′ (u) is invertible as a linear operator from H I ( H I I ) onto L 2 (G). Furthermore, an upper bound for ∥ F ′ ( u ) − 1 ∥ is provided by (3.4) if the coefficient a(x) is identified with f u ′ (x,u). In fact, C=O( M 0 ), where C is the constant in (3.4), implies that

∥ [ F ′ ( u ) ] − 1 ∥ ≤α sup G | f u ′ (x,u)|+β

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 I I ) onto L 2 (G), and the equation F(u)=0 has a unique solution. □

Corollary 3.1 Assume that f satisfies

  1. (1)

    inf G × R f u ′ >−Ω;

  2. (2)

    uniformly in x, ∥ f u ′ ∥=ω(∥u∥), where ω is a continuous map satisfying ∫ a ∞ d t ω ( t ) =∞.

Then there is a unique solution of (3.1) in H I ( H I I ).

Proof We have from Lemma 3.1 and (3.4)

∥ [ F ′ ( u ) ] − 1 ∥ ≤α sup G | f u ′ ( x , u ( x ) ) |+β

for positive constants α, β.

Denote ω 1 (t)=αω(t)+β; clearly, ∫ a ∞ d t ω 1 ( t ) =∞.

Let

k(u)= ∫ a ∥ u ∥ d t α sup G | f u ( x , u ) | + β = ∫ a ∥ u ∥ d t ω 1 ( t ) ,

then k(u)→+∞ as ∥u∥→+∞.

For v= F ′ ( u ) − 1 (y−F( u 0 )), u 0 ∈ H I ( H I I ), y∈ L 2 (G), we have

D v + k ( u ) = lim s → 0 + k ( u + s v ) − k ( u ) s = 1 ∥ α sup G | f u ( x , u ) | + β ∥ lim s → 0 + ∥ u + s v ∥ − ∥ u ∥ s = 1 ω 1 ( t ) lim s → 0 + ∥ u + s v ∥ − ∥ u ∥ s ≤ 1 ∥ F ′ ( u ) ∥ ∥ v ∥ = ∥ y − F ( u 0 ) ∥ = M .

Let h(t)=M, the initial value problem

{ r ′ = h ( r ) , r ( 0 ) = r 0

changes to

{ r ′ = M , r ( 0 ) = r 0 > 0
(3.5)

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. (1)

    inf G × R f u ′ >−Ω;

  2. (2)

    ∥ f u ′ ∥=O(∥u∥), uniformly in x∈G.

Then there is a unique solution of (3.1) in H I ( H I I ).

Proof Condition (2) implies that ∫ a ∞ d t ω ( t ) =∞ 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 one-parameter operator imbedding. SIAM J. Numer. Anal. 1968, 5(3):739-752.

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  3. Plastock R: Homeomorphism between Banach space. Trans. Am. Math. Soc. 1974, 200: 169-183.

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  6. Radulescu M, Radulescu S: Global inversion theorems and application to differential equation. Nonlinear Anal. 1980, 4(4):951-965.

    Article  MathSciNet  Google Scholar 

  7. Wang WX, Shen ZH: The basin of attraction in Banach spaces and its applications. Acta Math. Sin. 2006, 49(2):1013-1020.

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  9. Zampieri G: Diffeomorphisms with Banach space domains. Nonlinear Anal. 1992, 19(10):923-932. 10.1016/0362-546X(92)90104-M

    Article  MathSciNet  Google Scholar 

  10. Lakshmikantham V, Leeda S II. In Differential and Integral Inequalities. Academic Press, New York; 1969.

    Google Scholar 

  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):805-813.

    Article  Google Scholar 

  12. Payne LE: Isoperimetric inequalities and their application. SIAM Rev. 1967, 9(1):453-488.

    Article  MathSciNet  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Feng Yan-qing.

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.

Reprints and permissions

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

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords