Fonction inverse ? (2 variables réelles)

Olympiades mathématiques, énigmes et défis
wkta
Membre Naturel
Messages: 18
Enregistré le: 04 Avr 2008, 23:26

Fonction inverse ? (2 variables réelles)

par wkta » 29 Avr 2009, 19:07

Salut à tous

Cela fait quelques jours que je bloque sur un problème et cela commence à bien me chauffer le cerveau si vous voyez ce que je veux dire (restons polis) :we:
Si quelqu'un pouvait me donner un coup de pouce ce serait sympa :

Soit la fonction du plan complexe vers le plan complexe définie telle que: avec constants.


[INDENT]La question est : cette fonction est-elle inversible, si oui quelle est la définition de ? ( sinon démo non-bijectivité ) [/INDENT]


Il me semble qu'elle est bien bijective, je n'ai pas trouvé de contre exemple donc j'ai commencé à chercher l'inverse.
Pour définir la fonction inverse, on cherche en fait à exprimer z en fonction de Z (et les constantes) uniquement
Voici les pistes que j'ai exploré jusqu'à présent:


  1. Approche algébrique: On peut noter :

    Et en développant un peu on voit que :



    Bon mais cela ne m'a pas beaucoup aidé. Ce n'est pas de la tarte pour ramener tous les petits z d'un côté. Je ne vois pas de simplification à faire, etc.

  2. Approche géométrique: On peut par ailleurs représenter z,p et f(z)=Z sur un dessin, cela donne un triangle avec les longueurs : |Z-p|, |z-p| et |z-p|.|c| et un angle "connu" (dépendant de Z et des constantes uniquement) si je ne me trompe.
    A partir de là, j'ai essayé la loi de sinus, Al-kashi là-dessus, en vain. Pourtant ca paraissait une bonne idée au début, c'est plus "intuitif" que de se lancer des calculs à rallonge.

Et voilà c'est tout !
Idées/conseils bienvenus :id: Merci !



Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 12:07

par Doraki » 29 Avr 2009, 19:31

f est une bijection seulement pour |c|<1 donc c'est normal que tu n'y arrives pas.

wkta
Membre Naturel
Messages: 18
Enregistré le: 04 Avr 2008, 23:26

par wkta » 30 Avr 2009, 11:35

Tu pourrais développer s'il te plaît ?
Comment le démontres-tu ?

Dans mon cas, j'ai oublié de préciser que
et
mais tous deux à valeurs fixes pour le calcul de la fonction

On peut noter pour être plus précis

Merci d'avance, salut

Avatar de l’utilisateur
nuage
Membre Complexe
Messages: 2214
Enregistré le: 09 Fév 2006, 23:39

par nuage » 30 Avr 2009, 14:06

Salut,
en prenant et on a

et

wkta
Membre Naturel
Messages: 18
Enregistré le: 04 Avr 2008, 23:26

par wkta » 30 Avr 2009, 15:15

Ah oui bien vu. ! Il y a juste un petit problème;

pour , le domaine de définition est

sont obligatoirement distincts. Sinon cela n'a pas de sens dans l'utilisation que je fais de la fonction (dans une modélisation informatique). J'étais allé un peu vite en définissant la fonction, désolé :euh:

Alors voyons voir si on peut trouver un contre-exemple similaire au tiens pour le bon domaine... Je vais me remettre à chercher aussi, tenez moi au courant si vous trouvez.

D'autre part,
Doraki a écrit:f est une bijection seulement pour |c|<1 donc c'est normal que tu n'y arrives pas.

D'où vient cette condition ?

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 12:07

par Doraki » 30 Avr 2009, 15:50

que z puisse être égal à p n'a pas d'importance, dans le cas c=1,
toute la demi-droite z = p - r*e^it a pour image p.

Je te laisse vérifier que si c > 1, f(p - (1-c)e^it) = f(p - (1+c)e^it)
Si c<1, quelques inégalités triangulaires montrent que
|f(z1)-f(z2)| >= (1-c)|z1-z2|, et donc que f est injective.
Et elle est bijective mais j'ai pas cherché à voir si la réciproque avait des chances d'être exprimable.

wkta
Membre Naturel
Messages: 18
Enregistré le: 04 Avr 2008, 23:26

par wkta » 03 Mai 2009, 14:44

Merci pour ton aide, Doraki :happy2:

J'ai vérifié les calculs je suis d'accord avec toi pour
c=1 et c>1.

Par contre, si c<1, en utilisant
et


je trouve :

Et là je bloque, je ne vois pas comment arriver à ton résultat :hein:

Te serais-tu trompé ?
A dire vrai je persiste car si la fonction était bijective même pour c<1 seulement, cela m'arrangerait beaucoup quand même.

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 12:07

par Doraki » 03 Mai 2009, 15:36

|f(x) - f(y)| = |(x-y) + ce^it*(|x-p|-|y-p|)|
>= ||x-y| - c*||x-p| - |y-p|||

||x-p|-|y-p|| <= |x-y| et c <= 1, donc

|f(x)-f(y)| >= |x-y| - c*||x-p|-|y-p||
>= |x-y|-c*|x-y|
= |x-y|*(1-c)

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 19 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite