Détermination d'une fonction multivaluée
En mathématiques, plus particulièrement en analyse complexe, une détermination d'une fonction multivaluée (à plusieurs valeurs) est une fonction (au sens habituel, donc univaluée) qui prend, en chaque point, l'une des valeurs possibles de la fonction multivaluée[1]. L'une des déterminations possibles est en général décrétée principale.
Un cas simple est celui de la fonction racine carrée d'un nombre réel positif qui possède deux déterminations naturelles : et , la première étant dite principale.
Exemples
Mesure d'un angle orienté de vecteurs
La mesure d'un angle orienté de vecteurs non nuls du plan euclidien orienté étant définie à un multiple de près, on obtient une détermination de cette mesure en se restreignant aux valeurs appartenant à un intervalle du type ou .
Pour et l'intervalle semi-ouvert à gauche, cette détermination est dite principale ; pour certains auteurs, la détermination choisie est celle obtenue en prenant et l'intervalle semi-ouvert à droite.
Dans les deux cas, l'angle nul a une mesure nulle.
Argument d'un nombre complexe
Un argument d'un nombre complexe non nul, noté , est une mesure de l'angle dans le plan complexe ; on obtient comme précédemment une détermination de l'argument en se restreignant à un intervalle du type , la détermination principale étant obtenue pour .
Ces déterminations ne sont pas continues sur le plan complexe privé de 0, mais elles le sont sur le plan privé de la demi-droite engendrée par .
L'argument principal de est noté , et l'on a .
L'argument principal d'un complexe non réel négatif ou nul se calcule par la formule où x et y désignent respectivement les parties réelle et imaginaire de (voir atan2).
Dans les logiciels de calcul formel, c'est l'argument principal qui est implémenté :
- En Maple, il est noté
argument(z)
[2]. - En Mathematica, il est noté
Arg[z]
[3].
Logarithme complexe
Définition et exemples
Les différentes valeurs du logarithme complexe (de base exponentielle), noté ou , d'un complexe non nul sont définies comme étant les nombres complexes tels que
Comme où est la fonction logarithme népérien réelle, on a :
où Arg(z) est l'argument principal de , défini comme étant dans l'intervalle ]–π , π]. Chaque valeur de fournit une détermination de la fonction log à valeurs multiples.
La détermination correspondant à k = 0 est dite principale et notée parfois [4],[5] ; on a alors
- .
Par exemple, .
Dans les logiciels de calcul formel, c'est la détermination principale du logarithme qui est implémentée :
- En Maple, elle est notée
ln(z)
[6]. - En Mathematica, elle est notée
Log[z]
[7].
Unicité et développement en série entière
La fonction est l'unique détermination du logarithme, continue dans le plan complexe privé des réels négatifs ou nuls, et vérifiant [4].
On en déduit le développement en série entière, valable pour : [4],[5].
Racine carrée complexe
Pour un nombre complexe non nul , la détermination principale de la racine carrée est :
Avec, par prolongement continu, .
Ainsi, pour .
Par exemple, , .
Le maniement de cette détermination principale est délicat. Par exemple, , mais .
Cette détermination est l'unique détermination dans de la racine carrée qui soit continue dans le plan complexe privé des réels négatifs ou nuls, et vérifiant .
Elle est discontinue sur , et il n'existe aucune détermination de la racine carrée qui soit continue sur .
Dans les logiciels de calcul formel, c'est cette détermination principale qui est implémentée :
- En Maple, elle est notée
sqrt(z)
[8]. - En Mathematica, elle est notée
Sqrt[z]
[9].
Fonction puissance
Si est un complexe quelconque, la détermination principale de est définie pour non nul par [4]:
Pour , on retrouve la détermination principale de la racine carrée.
Par exemple, .
Arc tangente complexe
Comme, pour complexe, , équivaut à .
La détermination principale de l'arc tangente est donc définie pour par [4],[5]
- .
Cette définition concorde avec celle de la fonction définie sur les réels.
Pour réel, la définition ci-dessus donne qui est bien égal à .
Le développement en série entière, valable pour est : [4],[5].
Dans les logiciels de calcul formel, c'est cette détermination principale qui est implémentée :
- En Maple, elle est notée
arctan(z)
[10]. - En Mathematica, elle est notée
ArcTan[z]
[11].
Argument tangente hyperbolique complexe
La tangente hyperbolique complexe étant reliée à la tangente par la relation : , la détermination principale de l'argument tangente hyperbolique est définie pour par [4],[5] :
- .
Cette définition concorde avec celle de la fonction définie sur .
Le développement en série entière, valable pour est : [4],[5].
Dans les logiciels de calcul formel, c'est cette détermination principale qui est implémentée :
- En Maple, elle est notée
arctanh(z)
[10]. - En Mathematica, elle est notée
ArcTanh[z]
[12].
Arc sinus complexe
Comme, pour complexe, , et , implique .
La détermination principale de l'arc sinus est donc définie par [4],[5]:
- .
Cette définition concorde avec celle de la fonction définie .
Le développement en série entière, valable pour est : [4],[5].
Dans les logiciels de calcul formel, c'est cette détermination principale qui est implémentée :
- En Maple, elle est notée
arcsin(z)
[10]. - En Mathematica, elle est notée
ArcSin[z]
[13].
Argument sinus hyperbolique complexe
Le sinus hyperbolique complexe étant relié au sinus par la relation : , la détermination principale de l'argument sinus hyperbolique est définie par [4],[5] :
- .
Cette définition concorde avec celle de la fonction définie sur les réels.
Le développement en série entière, valable pour est : [4],[5].
Dans les logiciels de calcul formel, c'est cette détermination principale qui est implémentée :
- En Maple, elle est notée
arcsinh(z)
[10]. - En Mathematica, elle est notée
ArcSinh[z]
[14].
Existence et unicité d'une détermination d'une fonction réciproque d'une fonction holomorphe
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
Il existe un théorème d'inversion locale pour une fonction holomorphe sur un voisinage d'un point vérifiant affirmant qu'il existe une détermination de la réciproque de holomorphe sur un voisinage de , vérifiant .
Voir aussi
- Branche principale
- Point de branchement
- Valeur principale de Cauchy
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Principal value » (voir la liste des auteurs).
(en) Eric W. Weisstein, « Principal Value », sur MathWorld
- ↑ Henri Cartan, Fonctions analytiques, Hermann, , p. 32-34,62
- ↑ (en) « argument », sur Maplesoft
- ↑ (en) « Arg », sur reference.wolfram
- ↑ a b c d e f g h i j k et l J. Lelong Ferrand, J.M. Arnaudiès, Analyse, t. 2, Bordas, , p. 345-347,375-380
- ↑ a b c d e f g h i et j J.M. Arnaudiès, H. Fraysse, Compléments d'analyse, Dunod Université, , p. 80-96
- ↑ (en) « ln », sur Maplesoft
- ↑ (en) « Log », sur reference.wolfram
- ↑ (en) « sqrt », sur maplesoft
- ↑ (en) « Sqrt », sur reference.wolfram
- ↑ a b c et d (en) « arcsin, arccos, ... », sur Maplesoft
- ↑ (en) « ArcTan », sur reference. wolfram
- ↑ (en) « ArcTanh », sur reference.wolfram
- ↑ (en) « ArcSin », sur reference.wolfram
- ↑ (en) « ArcSinh », sur reference.wolfram
Portail de l'analyse