## Abstract

In this paper, we derive generalized versions of the results on the existence, uniqueness and continuous differentiability of a global implicit function obtained in [5] and we give some examples.

Show Summary Details# On a Generalization of a Global Implicit Function Theorem

#### Free Access

## Abstract

## 1 Introduction

## 2 Existence of a Global Implicit Function

#### Proof.

## 2.1 Example

## 3 Uniqueness of a Global Implicit Function

#### (Mountain Pass Theorem)

#### Proof.

## 4 A Global Implicit Function Theorem

#### Proof.

## 4.1 Example

## References

## Footnotes

## About the article

More options …# Advanced Nonlinear Studies

More options …

Editor-in-Chief: Ahmad, Shair

IMPACT FACTOR 2017: 1.029

5-year IMPACT FACTOR: 1.147

CiteScore 2017: 1.29

SCImago Journal Rank (SJR) 2017: 1.588

Source Normalized Impact per Paper (SNIP) 2017: 0.971

- Online
- ISSN
- 2169-0375

In this paper, we derive generalized versions of the results on the existence, uniqueness and continuous differentiability of a global implicit function obtained in [5] and we give some examples.

Keywords: Global Implicit Function Theorem; Mountain Pass Theorem

The aim of the present paper is to weaken the assumptions of a global implicit function theorem which was obtained in [5] and to show that such changes are essential.

Using the same method of proof as in [6] (cf. also [5]), based on the mountain pass theorem, we derive a generalized version of a global implicit function theorem obtained in [5] for the equation

$F(x,y)=0,$

where $F:X\times Y\to H$ with $X,Y$ real Banach spaces and *H* a real Hilbert space. More precisely, the global implicit function theorem obtained in [5] has been split in the present paper into three parts: the existence of a global implicit function, its uniqueness, and its continuous differentiability. We show that the conditions for the existence of a global implicit function can be weakened in relation to the assumptions given in [5] (the assumptions in [5] are simply assumptions guarantying the existence, uniqueness, and continuous differentiability of a global implicit function). Namely, we assume the following:

- •
The Gâteaux differentiability of

*F*in one variable*x*instead of the continuous Gâteaux differentiability in both variables $(x,y)$. - •
The weak (PS) condition and the boundedness of a minimizing sequence instead of the (PS) condition.

- •
A “non-orthogonality” condition $F(x,y)\notin {(Im{F}_{x}^{\prime}(x,y))}^{\perp}$ instead of the condition $F(x,y)\in Im{F}_{x}^{\prime}(x,y)$ for points $(x,y)\in X\times Y$ such that $F(x,y)\ne 0$, see [5, Remark 1]; we omit the bijectivity of ${F}_{x}^{\prime}(x,y)$ for points $(x,y)\in X\times Y$ such that $F(x,y)=0$.

In Section 2.1, we give an example of an operator that satisfies the new assumptions and does not satisfy the assumptions from [5] (including the assumptions given in [5, Remark 1]).

Similarly, we show that the conditions for the uniqueness of a global implicit function can be weakened in relation to the assumptions given in [5]. Namely, we assume the following:

- •
The continuous Gâteaux differentiability of

*F*in one variable*x*instead of the continuous Gâteaux differentiability in both variables $(x,y)$. - •
The non-orthogonality condition instead of the condition that $F(x,y)\in Im{F}_{x}^{\prime}(x,y)$ for points $(x,y)\in X\times Y$ such that $F(x,y)\ne 0$.

The new theorem on the continuous differentiability of a global implicit function is a simple consequence of the above two theorems and the classical local implicit function theorem. In this new theorem, we assume:

- •
The non-orthogonality condition instead of the condition that $F(x,y)\in Im{F}_{x}^{\prime}(x,y)$ for points $(x,y)\in X\times Y$ such that $F(x,y)\ne 0$.

In Section 4.1, we give an example of a two-dimensional problem showing that the new assumptions of the global implicit function theorem are satisfied whereas the assumptions of such a theorem from [5] (including the assumptions given in [5, Remark 1]) are not satisfied.

In Remark 2.5, we discuss the non-orthogonality condition $F(x,y)\notin {(Im{F}_{x}^{\prime}(x,y))}^{\perp}$ and give some tools to check it in concrete situations. In a particular case, it can be replaced by the condition $F(x,y)\notin Ker{F}_{x}^{\prime}(x,y)$.

The method of proof of the theorem on existence is the same as in [5] (and [6]) but we use [10, Corollary 3.4] instead of [10, Corollary 2.5] because of the weak (PS) condition. Similarly, the proof of the uniqueness of a global implicit function is the same as in [5] (and [6]) (we give here this proof to show that it allows us to weaken the assumptions in relation to [5]).

Let *X* be a real Banach space and $I:X\to \mathbb{R}$ a functional differentiable in the Gâteaux sense. We say that *I* satisfies the *Palais–Smale condition* (shortly, (PS) condition) if any sequence $({x}_{m})$ satisfying the conditions

- •
$|I({x}_{m})|\le M$ for all $m\in \mathbb{N}$ and some $M>0$,

- •
${I}^{\prime}({x}_{m})\to 0$,

admits a convergent subsequence (here, ${I}^{\prime}({x}_{m})$ denotes the Gâteaux differential of *I* at ${x}_{m}$). A sequence $({x}_{m})$ satisfying the above conditions is called a (PS) sequence. We say that *I* satisfies the *weak (PS) condition* if any bounded (PS) sequence $({x}_{m})$ admits a convergent subsequence.

A point ${x}^{\ast}\in X$ is called a *critical point* of *I* if ${I}^{\prime}({x}^{\ast})=0$. In such a case, $I({x}^{\ast})$ is called a *critical value* of *I*. By $infI$ we denote the value ${inf}_{x\in X}I(x)$ and by a minimizing sequence we mean any sequence $({x}_{n})$ such that $I({x}_{n})\to infI$. In [8, Corollary 3.4], the following result is deduced.

*Let X be a real Banach space. If $I\mathrm{:}X\mathrm{\to}\mathbb{R}$ has a bounded minimizing sequence and it is a lower semi-continuous, bounded from below, and differentiable in the Gâteaux sense functional satisfying the weak *(PS)

Let us observe that if $I:X\to \mathbb{R}$ is a lower semi-continuous, bounded from below, and differentiable in the Gâteaux sense functional that satisfies the (PS) condition, then it has a bounded minimizing sequence and satisfies the weak (PS) condition. Indeed, let $({x}_{n})$ be a minimizing sequence. Then, from the theorem on almost critical points^{1} it follows that there exists a minimizing sequence $({y}_{n})$ which is a (PS) sequence for *I*. Since *I* satisfies the (PS) condition, $({y}_{n})$ has a convergent and, consequently, bounded subsequence. The fact that *I* satisfies the weak (PS) condition is obvious.

Using the above lemma, we obtain the following theorem.

*Let X be a real Banach space and H a real Hilbert space. If $G\mathrm{:}X\mathrm{\to}H$ is differentiable in the Gâteaux sense and*

- •
*the functional*$\phi :X\ni x\mapsto \frac{1}{2}{\parallel G(x)\parallel}^{2}\in \mathbb{R}$(2.1)

*is lower semi-continuous, has a bounded minimizing sequence, and satisfies the weak*(PS)*condition,* - •
$G(x)\notin {(Im{G}^{\prime}(x))}^{\perp}$

*for any*$x\in X$*such that*$G(x)\ne 0$,

*then there exists $x\mathrm{\in}X$ such that $G\mathit{}\mathrm{(}x\mathrm{)}\mathrm{=}\mathrm{0}$.*

The functional φ, being a superposition of the mapping $\frac{1}{2}\parallel \cdot {\parallel}^{2}$, which is differentiable in the Fréchet sense on *H*, and the mapping *G*, which is differentiable in the Gâteaux sense on *X*, is differentiable in the Gâteaux sense on *X* and its Gâteaux differential ${\phi}^{\prime}(x)$ at $x\in X$ is given by

${\phi}^{\prime}(x)h=\u3008G(x),{G}^{\prime}(x)h\u3009$

for $h\in X$. Moreover, φ is bounded from below and, by assumption, lower semi-continuous, has a bounded minimizing sequence, and satisfies the weak (PS) condition. So, by Lemma 2.1, there exists a point $x\in X$ such that $\phi (x)=inf\phi $ and

$\u3008G(x),{G}^{\prime}(x)h\u3009=0$

for $h\in X$, i.e., $G(x)\in {(Im{G}^{\prime}(x))}^{\perp}$. So, $G(x)=0$. ∎

The assumption on the lower semi-continuity of φ can be replaced by a more restrictive one but concerning directly *G*, namely, the continuity of *G*.

It is known that in the case of a densely defined linear (not necessarily continuous) operator $A:D(A)\subset H\to H$ in a Hilbert space *H*, the orthogonal decomposition

$\overline{ImA}\oplus Ker{A}^{\ast}=H$

of this space holds true, where ${A}^{\ast}:D({A}^{\ast})\to H$ is the adjoint operator of *A* defined on

$D({A}^{\ast})=\left\{x\in H\right|\text{there exists}z\in H\text{such that for all}y\in D(A)\text{there holds}\u3008Ay,x\u3009=\u3008y,z\u3009\}$

by ${A}^{\ast}x=z$. The above decomposition implies the equality

${(\overline{ImA})}^{\perp}=Ker{A}^{\ast}$

and, consequently,

${(ImA)}^{\perp}=Ker{A}^{\ast}.$

So, if *X* is a dense linear subspace of *H*, then the non-orthogonality condition $G(x)\notin {(Im{G}^{\prime}(x))}^{\perp}$ in Theorem 2.3 can be replaced by the condition

$G(x)\notin Ker{G}^{\prime}{(x)}^{\ast}.$

When, for some $x\in X$, ${G}^{\prime}(x)$ is self-adjoint, then the non-orthogonality condition takes the form

$G(x)\notin Ker{G}^{\prime}(x).$(2.2)

The non-orthogonality condition takes the above form also in the case of ${G}^{\prime}(x):X\subset H\to H$ being a densely defined closed linear operator with closed range $Im{G}^{\prime}(x)$ and such that

$Im{G}^{\prime}(x)={(Ker{G}^{\prime}(x))}^{\perp}.$

Examples of elliptic, parabolic, and hyperbolic operators *A* with the property $ImA={(KerA)}^{\perp}$ can be found in [3].

In [7], the following lemma is proved: If $U,V$ are Banach spaces and $\mathrm{\Lambda}:U\to V$ is a linear continuous operator such that $Im\mathrm{\Lambda}=V$, then ${(Ker\mathrm{\Lambda})}^{\u22a3}=Im{\mathrm{\Lambda}}^{\u229b}$, where ${(Ker\mathrm{\Lambda})}^{\u22a3}=\{f\in {U}^{\ast}\mid f(u)=0$ for $u\in Ker\mathrm{\Lambda}\}$ and ${\mathrm{\Lambda}}^{\u229b}:{V}^{\ast}\to {U}^{\ast}$ is given by $({\mathrm{\Lambda}}^{\u229b}g)(u)=g(\mathrm{\Lambda}u)$ for $g\in {V}^{\ast}$, $u\in U$. If $U=V=H$, then the operators ${\mathrm{\Lambda}}^{\ast}:H\to H$ and ${\mathrm{\Lambda}}^{\u229b}:{H}^{\ast}\to {H}^{\ast}$ are connected in the following way:

${\mathrm{\Lambda}}^{\ast}h={h}_{{\mathrm{\Lambda}}^{\u229b}{h}^{\ast}},$

where ${h}^{\ast}:H\ni z\mapsto \u3008h,z\u3009\in \mathbb{R}$ and ${h}_{{\mathrm{\Lambda}}^{\u229b}{h}^{\ast}}\in H$ is such that $({\mathrm{\Lambda}}^{\u229b}{h}^{\ast})z=\u3008{h}_{{\mathrm{\Lambda}}^{\u229b}{h}^{\ast}},z\u3009$ (cf. [4, Examples VI.2.3.3]). It is easy to see that in the case of a Hilbert space $U=V=H$ and a linear continuous operator $\mathrm{\Lambda}:H\to H$ such that $Im\mathrm{\Lambda}=H$, the equality ${(Ker\mathrm{\Lambda})}^{\u22a3}=Im{\mathrm{\Lambda}}^{\u229b}$ implies that ${(Ker\mathrm{\Lambda})}^{\perp}=Im{\mathrm{\Lambda}}^{\ast}$ and, consequently, $Ker\mathrm{\Lambda}={(Im{\mathrm{\Lambda}}^{\ast})}^{\perp}$. Thus, if in Theorem 2.3, for some $x\in H$ such that $G(x)\ne 0$, the operator ${G}^{\prime}(x):H\to H$ is the adjoint of a linear continuous operator $\mathrm{\Lambda}:H\to H$ with $Im\mathrm{\Lambda}=H$, then the “non-orthogonality” condition $G(x)\notin {(Im{G}^{\prime}(x))}^{\perp}$ can be replaced by

$G(x)\notin Ker\mathrm{\Lambda}.$

Denoting the above operator Λ by ${}^{\ast}G^{\prime}(x)$, we can write the above condition in the form

$G(x)\notin Ker{}^{\ast}G^{\prime}(x).$

If Λ is self-adjoint, then ${G}^{\prime}(x)$ has the same property and the above condition reduces to (2.2).

From Theorem 2.3 we obtain the following corollary.

*Let X be a real Banach space, Y a non-empty set, and H a real Hilbert space. If $F\mathrm{:}X\mathrm{\times}Y\mathrm{\to}H$ is differentiable with respect to $x\mathrm{\in}X$ in the Gâteaux sense and*

- •
*for any*$y\in Y$*, the functional*${\phi}_{y}:X\ni x\mapsto \frac{1}{2}{\parallel F(x,y)\parallel}^{2}\in \mathbb{R}$(2.3)

*is lower semi-continuous, has a bounded minimizing sequence, and satisfies the weak*(PS)*condition,* - •
$F(x,y)\notin {(Im{F}_{x}^{\prime}(x,y))}^{\perp}$

*for any*$(x,y)\in X\times Y$*such that*$F(x,y)\ne 0$*(here,*${F}_{x}^{\prime}(x,y)$*denotes the Gâteaux differential of**F**at*$(x,y)$*with respect to**x**),*

*then, for any $y\mathrm{\in}Y$, there exists ${x}_{y}\mathrm{\in}X$ such that $F\mathit{}\mathrm{(}{x}_{y}\mathrm{,}y\mathrm{)}\mathrm{=}\mathrm{0}$.*

Let us consider the operator

$F:W\times {S}^{\perp}\ni (x,g)\mapsto {x}^{\mathrm{\prime \prime}}+x-g\in {L}^{2},$

where

$W=\{x:[0,\pi ]\to \mathbb{R}|x,{x}^{\prime}\text{are absolutely continuous},{x}^{\mathrm{\prime \prime}}\in {L}^{2},x(0)=x(\pi )=0\}$

and $S=\{a\mathrm{sin}(\cdot )\mid a\in \mathbb{R}\}$ (here, ${S}^{\perp}$ denotes the orthogonal subspace to *S* in ${L}^{2}={L}^{2}([0,\pi ],\mathbb{R})$). We consider the space *W* with the scalar product

$\u3008x,y\u3009={\u3008x,y\u3009}_{{L}^{2}}+{\u3008{x}^{\mathrm{\prime \prime}},{y}^{\mathrm{\prime \prime}}\u3009}_{{L}^{2}},x,y\in W.$

The norm

${\parallel x\parallel}^{2}={\parallel x\parallel}_{{L}^{2}}^{2}+{\parallel {x}^{\mathrm{\prime \prime}}\parallel}_{{L}^{2}}^{2}$(2.4)

generated by this product is equivalent to the norm (see [2, Part VIII.2])

${\parallel x\parallel}_{W}^{2}={\parallel x\parallel}_{{L}^{2}}^{2}+{\parallel {x}^{\prime}\parallel}_{{L}^{2}}^{2}+{\parallel {x}^{\mathrm{\prime \prime}}\parallel}_{{L}^{2}}^{2}.$(2.5)

Of course, the space *W* with the norm $\parallel \cdot \parallel $ is complete.

We shall show that *F* satisfies the assumptions of Corollary 2.6 and that it does not satisfy the assumptions of the global implicit function theorem proved in [5, Theorem 4.1 and Remark 1], i.e., it does not satisfy the (PS) condition and its differential is not bijective for all $(x,g)\in W\times {S}^{\perp}$ satisfying $F(x,g)=0$.

It is well known (see [8]) that the range $Im{F}_{x}^{\prime}(x,g)$ of the operator

${F}_{x}^{\prime}(x,g):W\ni h\mapsto {h}^{\mathrm{\prime \prime}}+h\in {L}^{2}$

is equal to ${S}^{\perp}$ for any $(x,g)\in W\times {S}^{\perp}$. So, the assumption on the bijectivity of ${F}_{x}^{\prime}(x,g)$ is not satisfied but it is clear that

$F(x,g)={x}^{\mathrm{\prime \prime}}+x-g\in Im{F}_{x}^{\prime}(x,g)$

for any $(x,g)\in W\times {S}^{\perp}$ and, consequently, $F(x,g)\notin {(Im{F}_{x}^{\prime}(x,g))}^{\perp}$ for any $(x,g)\in W\times {S}^{\perp}$ such that $F(x,g)\ne 0$. Alternatively, using Remark 2.5, one can show that $F(x,g)\notin Ker{F}_{x}^{\prime}(x,g)$ for any $(x,g)\in W\times {S}^{\perp}$ such that $F(x,g)\ne 0$. It follows from the equality $Ker{F}_{x}^{\prime}(x,g)=S$.

Now, let us fix $g\in {S}^{\perp}$ and consider the functional

${\phi}_{g}:W\ni x\mapsto \frac{1}{2}{\parallel {x}^{\mathrm{\prime \prime}}+x-g\parallel}^{2}\in \mathbb{R}.$

Of course, the differential ${\phi}_{g}^{\prime}(x):W\to \mathbb{R}$ is given by

${\phi}_{g}^{\prime}(x)h={\int}_{0}^{\pi}({x}^{\mathrm{\prime \prime}}(t)+x(t)-g(t))({h}^{\mathrm{\prime \prime}}(t)+h(t))\mathit{d}t.$

It is clear that $({x}_{n})$, where ${x}_{n}(t)=n\mathrm{sin}t$, is a (PS) sequence for ${\phi}_{0}$ (in fact, ${\phi}_{0}({x}_{n})=\frac{1}{2}{\parallel 0\parallel}_{{L}^{2}}^{2}=0$ and ${\phi}_{0}^{\prime}({x}_{n})=0$ for $n\in \mathbb{N}$) and it does not contain any subsequence which is converging in ${L}^{2}$. So, ${\phi}_{0}$ does not satisfy the (PS) condition (we see that ${\phi}_{0}$ is not coercive, too).

But, for any $g\in {S}^{\perp}$, we have ${inf}_{x\in W}{\phi}_{g}(x)=0$ and a constant sequence $({x}_{n})$, where ${x}_{n}\in W$ is a fixed solution to the equation

${x}^{\mathrm{\prime \prime}}+x=g$

for any $n\in \mathbb{N}$, is minimizing for ${\phi}_{g}$, and, of course, it is bounded.

Now, we shall show that ${\phi}_{g}$ satisfies the weak (PS) condition. Let $({x}_{n})$ be a bounded (PS) sequence for ${\phi}_{g}$. Since *W* is a Hilbert space, we may assume, without loss of generality, that there exists ${x}_{0}\in W$ such that ${x}_{n}\rightharpoonup {x}_{0}$ weakly in *W*. Using the Arzelà–Ascoli theorem and the equivalence of the norms (2.4) and (2.5), one can show that there exists a subsequence $({x}_{{n}_{k}})$ such that ${x}_{{n}_{k}}\rightrightarrows {x}_{0}$ uniformly on $[0,\pi ]$ and ${x}_{{n}_{k}}^{\mathrm{\prime \prime}}\rightharpoonup {x}_{0}^{\mathrm{\prime \prime}}$ weakly in ${L}^{2}$. Consequently, from the identity

$({\phi}_{g}^{\prime}({x}_{{n}_{k}})-{\phi}_{g}^{\prime}({x}_{0}))({x}_{{n}_{k}}-{x}_{0})={\parallel {x}_{{n}_{k}}-{x}_{0}\parallel}_{W}^{2}+2{\u3008{x}_{{n}_{k}}^{\mathrm{\prime \prime}}-{x}_{0}^{\mathrm{\prime \prime}},{x}_{{n}_{k}}-{x}_{0}\u3009}_{{L}^{2}}$

it follows that ${x}_{{n}_{k}}\to {x}_{0}$ in *W* (with respect to the norm).

We have the following celebrated result due to Ambrosetti and Rabinowitz (see [1, 9]).

*Let $I\mathrm{:}X\mathrm{\to}\mathbb{R}$ be a functional which is continuously differentiable in the Gâteaux sense (equivalently, in the Fréchet sense), satisfies the *(PS)* condition, and $I\mathit{}\mathrm{(}\mathrm{0}\mathrm{)}\mathrm{=}\mathrm{0}$. If there exist constants ρ, $\alpha \mathrm{>}\mathrm{0}$ such that ${I\mathrm{|}}_{\mathrm{\partial}\mathit{}B\mathit{}\mathrm{(}\mathrm{0}\mathrm{,}\rho \mathrm{)}}\mathrm{\ge}\alpha $ and $I\mathit{}\mathrm{(}e\mathrm{)}\mathrm{\le}\mathrm{0}$ for some $e\mathrm{\in}X\mathrm{\setminus}\overline{B\mathit{}\mathrm{(}\mathrm{0}\mathrm{,}\rho \mathrm{)}}$, then*

$b:=\underset{U\in {W}_{e}}{sup}\underset{u\in \partial U}{inf}I(u)$

*is the critical value of I and $b\mathrm{\ge}\alpha $, where*

${W}_{e}=\left\{U\subset X\right|U\mathit{\text{is open}},0\in U,\mathit{\text{and}}e\notin \overline{U}\}.$

Using the above theorem and the method of proof applied in [6, 5], we can prove the following theorem (we give here the proof to show that the method allows us to weaken the assumptions with relation to [5]).

*Let X be a real Banach space and H a real Hilbert space. If $G\mathrm{:}X\mathrm{\to}H$ is continuously differentiable and*

- •
*the functional*$\phi :X\ni x\mapsto \frac{1}{2}{\parallel G(x)\parallel}^{2}\in \mathbb{R}$

*satisfies the*(PS)*condition,* - •
${G}^{\prime}(x):X\to H$

*is bijective for any*$x\in X$*such that*$G(x)=0$*and*$G(x)\notin {(Im{G}^{\prime}(x))}^{\perp}$*for any*$x\in X$*such that*$G(x)\ne 0$,

*then there exists a unique point $x\mathrm{\in}X$ such that $G\mathit{}\mathrm{(}x\mathrm{)}\mathrm{=}\mathrm{0}$.*

From Theorem 2.3 and Remark 2.2 it follows that there exists a point $x\in X$ such that $G(x)=0$. Let us suppose that there exist ${x}_{1},{x}_{2}\in X$, ${x}_{1}\ne {x}_{2}$, such that $G({x}_{1})=G({x}_{2})=0$. Put $e={x}_{2}-{x}_{1}$ and

$g(x)=G(x+{x}_{1})$

for $x\in X$. Of course,

$g(x)={g}^{\prime}(0)x+o(x)={G}^{\prime}({x}_{1})x+o(x)$

for $x\in X$, where

$\frac{o(x)}{{\parallel x\parallel}_{X}}\to 0$

in *H* when $x\to 0$ in *X*. So,

$\beta {\parallel x\parallel}_{X}\le {\parallel {G}^{\prime}({x}_{1})x\parallel}_{H}\le {\parallel g(x)\parallel}_{H}+{\parallel o(x)\parallel}_{H}\le {\parallel g(x)\parallel}_{H}+\frac{1}{2}\beta {\parallel x\parallel}_{X}$

for sufficiently small ${\parallel x\parallel}_{X}$ and some $\beta >0$ (the existence of such a β follows from the bijectivity of ${G}^{\prime}({x}_{1})$). Thus, there exists $\rho >0$ such that

$\frac{1}{2}\beta {\parallel x\parallel}_{X}\le {\parallel g(x)\parallel}_{H}$

for $x\in \overline{B(0,\rho )}$. Without loss of generality one may assume that $\rho <{\parallel e\parallel}_{X}$. Put

$\psi (x)=\frac{1}{2}{\parallel g(x)\parallel}_{H}^{2}=\frac{1}{2}{\parallel G(x+{x}_{1})\parallel}_{H}^{2}=\phi (x+{x}_{1})$

for $x\in X$. Of course, ψ is continuously differentiable on *X* and

${\psi}^{\prime}(x)={\phi}^{\prime}(x+{x}_{1}).$

Consequently, since φ satisfies the (PS) condition, ψ has this property, too. Moreover, $\psi (0)=\psi (e)=0$, $e\notin \overline{B(0,\rho )}$, and $\psi (x)\ge \alpha $ for $x\in \partial B(0,\rho )$ with $\alpha =\frac{1}{8}{\beta}^{2}{\rho}^{2}>0$.

Thus, the mountain pass theorem implies that $b={sup}_{U\in {W}_{e}}{inf}_{x\in \partial U}\psi (x)$ is a critical value of ψ and $b\ge \alpha $, i.e., there exists a point ${x}^{\ast}\in X$ such that $\psi ({x}^{\ast})=b>0$ and

$0={\psi}^{\prime}({x}^{\ast})h={\phi}^{\prime}({x}^{\ast}+{x}_{1})h=\u3008G({x}^{\ast}+{x}_{1}),{G}^{\prime}({x}^{\ast}+{x}_{1})h\u3009$

for $h\in X$. The first condition means that $G({x}^{\ast}+{x}_{1})\ne 0$ and the second condition means that $G({x}^{\ast}+{x}_{1})\in $ ${(Im{G}^{\prime}({x}^{\ast}+{x}_{1}))}^{\perp}$. The obtained contradiction completes the proof. ∎

As we remarked in [5], if $X={\mathbb{R}}^{n}$, then the (PS) condition imposed on φ can be replaced by the coercivity of φ.

*Let X be a real Banach space, Y a non-empty set, and H a real Hilbert space. If $F\mathrm{:}X\mathrm{\times}Y\mathrm{\to}H$ is continuously differentiable with respect to $x\mathrm{\in}X$ and*

- •
*for any*$y\in Y$*, the functional*${\phi}_{y}:X\ni x\mapsto \frac{1}{2}{\parallel F(x,y)\parallel}^{2}\in \mathbb{R}$

*satisfies the*(PS)*condition,* - •
${F}_{x}^{\prime}(x,y):X\to Y$

*is bijective for any*$(x,y)\in X\times Y$*such that*$F(x,y)=0$*and*$F(x,y)\notin {(Im{F}_{x}^{\prime}(x,y))}^{\perp}$*for any*$(x,y)\in X\times Y$*such that*$F(x,y)\ne 0$,

*then, for any $y\mathrm{\in}Y$, there exists a unique ${x}_{y}\mathrm{\in}X$ such that $F\mathit{}\mathrm{(}{x}_{y}\mathrm{,}y\mathrm{)}\mathrm{=}\mathrm{0}$.*

From Corollary 3.3 and the classical local implicit function theorem we immediately obtain the following global implicit function theorem.

*Let $X\mathrm{,}Y$ be real Banach spaces and H a real Hilbert space. If $F\mathrm{:}X\mathrm{\times}Y\mathrm{\to}H$ is continuously differentiable with respect to $\mathrm{(}x\mathrm{,}y\mathrm{)}\mathrm{\in}X\mathrm{\times}Y$ and*

- •
*for any*$y\in Y$*, the functional*${\phi}_{y}:X\ni x\mapsto \frac{1}{2}{\parallel F(x,y)\parallel}^{2}\in \mathbb{R}$

*satisfies the*(PS)*condition* - •
${F}_{x}^{\prime}(x,y):X\to H$

*is bijective for any*$(x,y)\in X\times Y$*such that*$F(x,y)=0$*and*$F(x,y)\notin {(Im{F}_{x}^{\prime}(x,y))}^{\perp}$*for any*$(x,y)\in X\times Y$*such that*$F(x,y)\ne 0$,

*then there exists a unique function $\lambda \mathrm{:}Y\mathrm{\to}X$ such that $F\mathit{}\mathrm{(}\lambda \mathit{}\mathrm{(}y\mathrm{)}\mathrm{,}y\mathrm{)}\mathrm{=}\mathrm{0}$ for any $y\mathrm{\in}Y$ and this function is continuously differentiable with differential ${\lambda}^{\mathrm{\prime}}\mathit{}\mathrm{(}y\mathrm{)}$ at y given by
*

${\lambda}^{\prime}(y)=-{[{F}_{x}^{\prime}(\lambda (y),y)]}^{-1}\circ {F}_{y}^{\prime}(\lambda (y),y).$(4.1)

Of course, it is sufficient to put $\lambda (y)={x}_{y}$, where ${x}_{y}$ is a solution to $F(x,y)=0$, as described in Corollary 3.3. ∎

The assumption that ${F}_{x}^{\prime}(x,y):X\to H$ is bijective for any $(x,y)\in X\times Y$ such that $F(x,y)=0$ can be replaced by the equivalent assumption that $F(x,y)\ne 0$ for any $(x,y)\in X\times Y$ such that ${F}_{x}^{\prime}(x,y):X\to H$ is not bijective, which may be more convenient in practice.

Now, we shall give an example of a function which satisfies the assumptions of Theorem 4.1 and does not satisfy the assumptions of the global implicit function theorem derived in [5]. Namely, let us consider the function

$F:{\mathbb{R}}^{2}\times \mathbb{R}\ni ({x}_{1},{x}_{2},y)\mapsto ({x}_{1}-y+\mathrm{sin}({x}_{2}-y),{x}_{2}-y+\mathrm{cos}({x}_{1}-y))\in {\mathbb{R}}^{2}.$

The Jacobi matrix $[{F}_{x}^{\prime}({x}_{1},{x}_{2},y)]$ of *F* with respect to $x=({x}_{1},{x}_{2})\in {\mathbb{R}}^{2}$ has the form

$[{F}_{x}^{\prime}({x}_{1},{x}_{2},y)]=\left[\begin{array}{cc}\hfill 1\hfill & \hfill \mathrm{cos}({x}_{2}-y)\hfill \\ \hfill -\mathrm{sin}({x}_{1}-y)\hfill & \hfill 1\hfill \end{array}\right].$

So, ${F}_{x}^{\prime}({x}_{1},{x}_{2},y):{\mathbb{R}}^{2}\to {\mathbb{R}}^{2}$ is not bijective if and only if

$({x}_{1},{x}_{2},y)\in \left\{(\frac{\pi}{2}+y+2k\pi ,\pi +y+2l\pi ,y)\right|k,l\in \mathbb{Z},y\in \mathbb{R}\}\cup \left\{(-\frac{\pi}{2}+y+2k\pi ,0+y+2l\pi ,y)\right|k,l\in \mathbb{Z},y\in \mathbb{R}\},$

where $\mathbb{Z}$ is the set of all integers. Thus, it is clear (cf. Remark 4.2) that the first part of the second assumption of Theorem 4.1 is satisfied.

To check the second part of the second assumption, we first observe that (in general) if $F({x}_{1},{x}_{2},y)\ne 0$ and ${F}_{x}^{\prime}({x}_{1},{x}_{2},y)$ is bijective, then $F({x}_{1},{x}_{2},y)\notin {(Im{F}_{x}^{\prime}({x}_{1},{x}_{2},y))}^{\perp}$ (in such a case, ${(Im{F}_{x}^{\prime}({x}_{1},{x}_{2},y))}^{\perp}=\{0\}$). So, it remains to show that if a point $({x}_{1},{x}_{2},y)$ is such that $F({x}_{1},{x}_{2},y)\ne 0$ and ${F}_{x}^{\prime}({x}_{1},{x}_{2},y)$ is not bijective, then

$\u3008F({x}_{1},{x}_{2},y),{F}_{x}^{\prime}({x}_{1},{x}_{2},y)({h}_{1},{h}_{2})\u3009\ne 0$

for some $({h}_{1},{h}_{2})\in {\mathbb{R}}^{2}$. Indeed, for points $({x}_{1},{x}_{2},y)=(\frac{\pi}{2}+y+2k\pi ,\pi +y+2l\pi ,y)$, we have

$\u3008F({x}_{1},{x}_{2},y),{F}_{x}^{\prime}({x}_{1},{x}_{2},y)({h}_{1},{h}_{2})\u3009$$=\u3008({\displaystyle \frac{\pi}{2}}+2k\pi +\mathrm{sin}(\pi +2l\pi ),\pi +2l\pi +\mathrm{cos}\left({\displaystyle \frac{\pi}{2}}+2k\pi \right)),\left[\begin{array}{cc}\hfill 1\hfill & \hfill \mathrm{cos}(\pi +2l\pi )\hfill \\ \hfill -\mathrm{sin}\left(\frac{\pi}{2}+2k\pi \right)\hfill & \hfill 1\hfill \end{array}\right]({h}_{1},{h}_{2})\u3009$$=\u3008({\displaystyle \frac{\pi}{2}}+2k\pi ,\pi +2l\pi ),\left[\begin{array}{cc}\hfill 1\hfill & \hfill -1\hfill \\ \hfill -1\hfill & \hfill 1\hfill \end{array}\right]({h}_{1},{h}_{2})\u3009$$=\left({\displaystyle \frac{\pi}{2}}+2k\pi \right)({h}_{1}-{h}_{2})+(\pi +2l\pi )({h}_{2}-{h}_{1})$$=\left(-{\displaystyle \frac{\pi}{2}}+2(k-l)\pi \right)({h}_{1}-{h}_{2}).$

Of course, the last value is different from zero for ${h}_{1}-{h}_{2}\ne 0$. Similarly, for points $({x}_{1},{x}_{2},y)=(-\frac{\pi}{2}+y+2k\pi ,$ $0+y+2l\pi ,y)$, we have

$\u3008F({x}_{1},{x}_{2},y),{F}_{x}^{\prime}({x}_{1},{x}_{2},y)({h}_{1},{h}_{2})\u3009$$=\u3008(-{\displaystyle \frac{\pi}{2}}+2k\pi +\mathrm{sin}(2l\pi ),2l\pi +\mathrm{cos}\left(-{\displaystyle \frac{\pi}{2}}+2k\pi \right)),\left[\begin{array}{cc}\hfill 1\hfill & \hfill \mathrm{cos}(2l\pi )\hfill \\ \hfill -\mathrm{sin}\left(-\frac{\pi}{2}+2k\pi \right)\hfill & \hfill 1\hfill \end{array}\right]({h}_{1},{h}_{2})\u3009$$=\u3008(-{\displaystyle \frac{\pi}{2}}+2k\pi ,2l\pi ),\left[\begin{array}{cc}\hfill 1\hfill & \hfill 1\hfill \\ \hfill 1\hfill & \hfill 1\hfill \end{array}\right]({h}_{1},{h}_{2})\u3009$$=\left(-{\displaystyle \frac{\pi}{2}}+2k\pi \right)({h}_{1}+{h}_{2})+2l\pi ({h}_{1}+{h}_{2})$$=\left(-{\displaystyle \frac{\pi}{2}}+2(k+l)\pi \right)({h}_{1}+{h}_{2})$

and this value is different from zero for ${h}_{1}+{h}_{2}\ne 0$. Let us point out that we did not use the condition $F({x}_{1},{x}_{2},y)\ne 0$.

To check the first assumption of Theorem 4.1, we observe that

$\phi ({x}_{1},{x}_{2},y)={\displaystyle \frac{1}{2}}{\parallel F({x}_{1},{x}_{2},y)\parallel}^{2}$$={\displaystyle \frac{1}{2}}({({x}_{1}-y)}^{2}+2({x}_{1}-y)\mathrm{sin}({x}_{2}-y)+{\mathrm{sin}}^{2}({x}_{2}-y)+{({x}_{2}-y)}^{2}+2({x}_{2}-y)\mathrm{cos}({x}_{1}-y)+{\mathrm{cos}}^{2}({x}_{1}-y))$

and this value converges to $+\mathrm{\infty}$ whereas $\parallel ({x}_{1},{x}_{2})\parallel ={({x}_{1}^{2}+{x}_{2}^{2})}^{\frac{1}{2}}\to +\mathrm{\infty}$. So, φ is coercive with respect to $({x}_{1},{x}_{2})$ and, consequently, satisfies the (PS) condition.

It is easy to see that *F* does not satisfy the assumptions of the global implicit function theorem derived in [5] because ${F}_{x}^{\prime}({x}_{1},{x}_{2},y)$ is not bijective for all points $({x}_{1},{x}_{2},y)\in {\mathbb{R}}^{2}\times \mathbb{R}$. Moreover, *F* does not satisfy the assumptions given in [5, Remark 1], namely, that the differential ${F}_{x}^{\prime}(x,y):X\to H$ is bijective for any $(x,y)\in $
$X\times Y$ such that $F(x,y)=0$ and $F(x,y)\in {F}_{x}^{\prime}(x,y)X$ for any $(x,y)\in X\times Y$ such that $F(x,y)\ne 0$. Indeed, e.g., the point $(\frac{\pi}{2},\pi ,0)$ is such that $F(\frac{\pi}{2},\pi ,0)=(\frac{\pi}{2},\pi )\ne (0,0)$ and, of course, there is no point $({h}_{1},{h}_{2})$ such that

$(\frac{\pi}{2},\pi )={F}_{x}^{\prime}(\frac{\pi}{2},\pi ,0)({h}_{1},{h}_{2})=\left[\begin{array}{cc}\hfill 1\hfill & \hfill -1\hfill \\ \hfill -1\hfill & \hfill 1\hfill \end{array}\right]({h}_{1},{h}_{2})=({h}_{1}-{h}_{2},-{h}_{1}+{h}_{2}).$

- [1]
Ambrosetti A. and Rabinowitz P. H., Dual variational methods in critical point theory and applications, J. Funct. Anal. 14 (1973), 349–381. Google Scholar

- [2]
Brezis H., Analyse Fonctionnelle. Théorie et Applications, Collection Mathématiques Appliquées pour la Maîtrise, Masson, Paris, 1983. Google Scholar

- [3]
Brezis H. and Nirenberg L., Characterizations of the ranges of some nonlinear operators and applications to boundary value problems, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 5 (1978), no. 2, 225–326. Google Scholar

- [4]
Cotlar M. and Cignoli R., An Introduction to Functional Analysis, North-Holland Texts Adv. Math., North-Holland, Amsterdam, 1974. Google Scholar

- [5]
Idczak D., A global implicit function theorem and its applications to functional equations, Discrete Contin. Dyn. Syst. Ser. B 19 (2014), no. 8, 2549–2556. Google Scholar

- [6]
Idczak D., Skowron A. and Walczak S., On the diffeomorphisms between Banach and Hilbert spaces, Adv. Nonlinear Stud. 12 (2012), no. 1, 89–100. Google Scholar

- [7]
Ioffe A. D. and Tikhomirov V. M., Theory of Extremal Problems, Stud. Math. Appl. 6, North-Holland, Amsterdam, 1979. Google Scholar

- [8]
Mawhin J., Problèmes de Dirichlet Variationnels Non Linéaires, Séminaire de Mathématiques Supérieures 104, Presses de l’Université de Montréal, Montreal, 1987. Google Scholar

- [9]
Rabinowitz P. H., Minimax Methods in Critical Point Theory with Applications to Differential Equations, CBMS Reg. Conf. Ser. Math. 65, American Mathematical Society, Providence, 1986. Google Scholar

- [10]
Willem M., Minimax Theorems, Progr. Nonlinear Differential Equations Appl. 24, Birkhäuser, Boston, 1996. Google Scholar

- 1
In [8, Corollary 3.2], the following theorem is proved: If

*X*is a real Banach space and $I:X\to \mathbb{R}$ is a lower semi-continuous, bounded from below, and differentiable in the Gâteaux sense functional, then, for any minimizing sequence $({x}_{n})$, there exists a minimizing sequence $({y}_{n})$ such that $I({y}_{n})\le I({x}_{n})$ for $n\in \mathbb{N}$, $\parallel {y}_{n}-{x}_{n}\parallel \to 0$, and $\parallel {I}^{\prime}({y}_{n})\parallel \to 0$.

**Received**: 2015-01-14

**Accepted**: 2015-02-16

**Published Online**: 2015-12-08

**Published in Print**: 2016-02-01

This project was financed with funds of the National Science Centre (Poland), granted on the basis of decision DEC-2011/01/B/ST7/03426.

**Citation Information: **Advanced Nonlinear Studies, Volume 16, Issue 1, Pages 87–94, ISSN (Online) 2169-0375, ISSN (Print) 1536-1365, DOI: https://doi.org/10.1515/ans-2015-5008.

## Comments (0)

General note:By using the comment function on degruyter.com you agree to our Privacy Statement. A respectful treatment of one another is important to us. Therefore we would like to draw your attention to our House Rules.