Répondre à la discussion
Affichage des résultats 1 à 9 sur 9

racine carrée complexe et branche de coupure



  1. #1
    Hash

    racine carrée complexe et branche de coupure


    ------

    Bonjour à tous,

    La plupart des librairies de calcul (par exemple matlab ou python numpy) définissent la valeur principale de la racine carrée d'une nombre complexe z=x+iy comme étant :



    ou bien, si la fonction log pour un complexe n'est pas codée : (source wikipedia)



    Cette définition utilise une branche de coupure placée sur le demi-axe x<0 et impose donc que l'argument de z soit compris entre -pi et +pi.



    Ma question est la suivante : je souhaite comprendre comment positionner la branche de coupure pour assurer la décroissance de l'exponentielle suivante quelque soit la valeur de z :



    En posant z^(1/2)=a+ib, on a :



    Donc il est nécessaire que b, la partie imaginaire de z^(1/2), soit toujours négative pour que l'exponentielle soit décroissante.

    Dans ce cas, comment choisir la branche de coupure adaptée et surtout, comment "coder" le calcul de la racine carrée complexe utilisant ce choix de branche.

    Question subsidiaire : même question, pour assurer la décroissance de :





    Merci d'avance pour vos réponses ou vos idées sur la question,



    JH

    -----
    Dernière modification par Hash ; 16/02/2007 à 17h12. Motif: coquille

  2. Publicité
  3. #2
    homotopie

    Re : racine carrée complexe et branche de coupure

    Bonjour,

    désolé de répondre par une question qu'entends tu par décroissante pour une fonction complexe ?

    Cordialement

  4. #3
    Hash

    Re : racine carrée complexe et branche de coupure

    Citation Envoyé par homotopie Voir le message
    désolé de répondre par une question qu'entends tu par décroissante pour une fonction complexe ?
    Si on écrit l'exponentielle sous la forme :

    exp(-i z^(1/2)) = exp(i a) * exp(b)

    et que b est négatif, alors l'exponentielle oscillante va être atténuée par l'exponentielle réelle lorsque b va tendre vers -inf...

    Je sais pas si je suis clair

    On peut rajouter un paramètre pour préciser les choses :

    limite de exp(-i z^(1/2) u) quand u tend vers +inf = 0 (avec b négatif)

  5. #4
    homotopie

    Re : racine carrée complexe et branche de coupure

    Rapidement en z=R- aussi mais avec l'opposé du précédent mais cela ne coverge que pour udonné

  6. A voir en vidéo sur Futura
  7. #5
    homotopie

    Re : racine carrée complexe et branche de coupure

    Citation Envoyé par homotopie Voir le message
    Rapidement en z=R- aussi mais avec l'opposé du précédent mais cela ne coverge que pour udonné
    Re,
    plus complètement :
    la définition utilisée précédemment fait le choix (cohérent pour avoir une fonction holomorphe) de prendre la racine avec Im(z)>0, l'opposée de la même fonction est aussi une fonction racine avec la même coupure.
    Cette dernière pour assurer une limite nulle de exp(-i z^(1/2) u) quand u tend vers +inf = 0 pour z donné (erreur tout à l'heure à vouloir faire vite désolé : c'est z fixé et non u) mais la convergence n'est pas uniforme pour C-(R-). Pour avoir convergence uniforme il faut prendre un secteur angulaire (il peut être trèspetit mais non nul) comprenant R-.

    Cordialement

  8. #6
    Hash

    Re : racine carrée complexe et branche de coupure

    Si je vous ai bien suivi, alors la branche de coupure qu'il fait choisir reste en x<0 ? J'avais tendance à penser l'inverse (x>0)...?

  9. Publicité
  10. #7
    homotopie

    Re : racine carrée complexe et branche de coupure

    Citation Envoyé par Hash Voir le message
    Si je vous ai bien suivi, alors la branche de coupure qu'il fait choisir reste en x<0 ? J'avais tendance à penser l'inverse (x>0)...?
    Bonjour,
    la racine carrée est une multifonction bivaluée sauf en zéro.
    Les deux valeurs pour les x>0 sont réelles qui n'est pas le bord du domaine voulue Im(z)>0.
    Le bord de ce que l'on veut comme image est l'axe des imaginaires d'antécédents pour la multifonction racine les réels négatifs.

    Tu peux voir aussi directement qu'en gardant l'évaluation choisie précédemment pour au moins un complexe invalide ton résultat (pour le choix précédent Im(z)>0 pour tout z non réel négatif), c'est ce choix qui doit être modifié pour aboutir à ce que tu veux.

    Cordialement

  11. #8
    Hash

    Re : racine carrée complexe et branche de coupure

    Bonjour,

    J'ai de nouvelles questions sur ce sujet. Tout d'abord, le point z=0 de la fonction z^1/2 est un point de branchement, et on définit généralement la fonction racine carrée complexe en dehors de ce point z=0. Pourquoi ?


    Sinon, quand on a une intégrale complexe du type :



    est un chemin d'intégration complexe et f une fonction analytique, certain ouvrages précisent qu'il faut éviter le point z=0 en déformant le contour d'intégration (au dessus ou au dessous selon la nature de f), et d'autres ne précisent rien. Alors quel est exactement la nature de ce point ? Il n'est pas régulier, ni vraiment singulier, bref, je ne comprends pas ! Peut on, oui ou non, faire passer le chemin d'intégration par ce point ?

    Merci d'avance pour vos lumières

  12. #9
    invite986312212
    Invité

    Re : racine carrée complexe et branche de coupure

    Citation Envoyé par Hash Voir le message
    Tout d'abord, le point z=0 de la fonction z^1/2 est un point de branchement, et on définit généralement la fonction racine carrée complexe en dehors de ce point z=0. Pourquoi ?
    on peut toujours poser mais on veut que la fonction soit holomorphe sur son domaine de définition, et ce ne serait pas le cas.

Discussions similaires

  1. Calcul de la racine carrée
    Par EaGle58 dans le forum Mathématiques du collège et du lycée
    Réponses: 4
    Dernier message: 12/04/2007, 12h55
  2. Dérivée de l'inverse de la racine carrée
    Par tipoulette dans le forum Mathématiques du collège et du lycée
    Réponses: 4
    Dernier message: 10/11/2006, 20h01
  3. Racine carrée et tangente
    Par chupinette4 dans le forum Mathématiques du collège et du lycée
    Réponses: 4
    Dernier message: 17/09/2006, 14h53
  4. Racine carrée d'un nombre
    Par fragman dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 13/02/2005, 16h02
  5. Racine carrée
    Par edje dans le forum Mathématiques du supérieur
    Réponses: 14
    Dernier message: 17/08/2004, 16h25