The basic element is a $C^1$ mapping $f:X\to Y$, with $X,Y$ Banach spaces, and with derivative everywhere invertible so $f$ is a local diffeomorphism at every point. The aim of this paper is to find a sufficient condition for $f$ to be injective and a sufficient condition for $f$ to be bijective and so a global diffeomorphism onto $Y$. This last condition is also necessary in the particular case $X=Y=\R^n$. In these theorems the key role is played by nonnegative {\it auxiliary scalar coercive functions}. As far as I know the use of such auxiliary functions in these questions is new. We find some first corollaries.

### Diffeomorphisms with Banach space domains

#### Abstract

The basic element is a $C^1$ mapping $f:X\to Y$, with $X,Y$ Banach spaces, and with derivative everywhere invertible so $f$ is a local diffeomorphism at every point. The aim of this paper is to find a sufficient condition for $f$ to be injective and a sufficient condition for $f$ to be bijective and so a global diffeomorphism onto $Y$. This last condition is also necessary in the particular case $X=Y=\R^n$. In these theorems the key role is played by nonnegative {\it auxiliary scalar coercive functions}. As far as I know the use of such auxiliary functions in these questions is new. We find some first corollaries.
##### Scheda breve Scheda completa Scheda completa (DC)
1992
Local diffeomorphisms between Banach spaces, auxiliary scalar coercive functions, sufficient conditions for injectivity, sufficient conditions for bijectivity
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/393337
• ND
• 25
• 22