Équations de Cauchy-Riemann

Les équations de Cauchy-Riemann en analyse complexe, ainsi nommées en l'honneur d'Augustin Cauchy et Bernhard Riemann, sont les deux équations aux dérivées partielles

<math>\frac{\partial P}{\partial x}=\frac{\partial Q}{\partial y}\quad\text{et}\quad\frac{\partial P}{\partial y}=-\frac{\partial Q}{\partial x}</math>

exprimant une condition nécessaire et suffisante pour qu'une fonction Modèle:Math (d'une variable complexe, à valeurs complexes) différentiable au sens réel en un point soit différentiable au sens complexe en ce point.

En d'autres termes, ce sont les conditions à ajouter à la différentiabilité au sens réel pour obtenir la différentiabilité au sens complexe.

Lorsque la fonction est différentiable au sens réel en tout point d'un ouvert, ces équations expriment une condition nécessaire et suffisante pour qu'elle soit holomorphe sur cet ouvert.

On considère une fonction <math>f:U\to\Complex</math> d'une variable complexe, définie sur un ouvert Modèle:Mvar du plan complexe ℂ. On utilise ici les notations suivantes :

• la variable complexe Modèle:Mvar est notée Modèle:Math, où Modèle:Mvar, Modèle:Mvar sont réels ;
• les parties réelle et imaginaire de Modèle:Math sont notées respectivement Modèle:Math et Modèle:Math, c'est-à-dire : Modèle:Math, où Modèle:Mvar, Modèle:Mvar sont deux fonctions réelles de deux variables réelles.

Fonctions ℂ-différentiables d'une variable complexe

Définition

Il est important de remarquer que la condition de ℂ-différentiabilité pour les fonctions de variable complexe est bien plus contraignante que la condition analogue pour les fonctions de variable réelle. La différence est la suivante :

• dans ℝ, il y a essentiellement deux manières de s'approcher d'un point : à droite, ou à gauche. Une fonction de variable réelle est dérivable en un point si et seulement si le « taux d'accroissement » admet en ce point une limite à droite et une limite à gauche ayant la même valeur (finie) ;
• dans ℂ, il y a une infinité de manières de s'approcher d'un point ; chacune d'elles doit donner lieu à une limite (finie) du « taux d'accroissement », ces limites étant de plus toutes égales.

Un cas important

On dit qu'une fonction est holomorphe sur un ouvert de ℂ si elle est ℂ-différentiable en tout point de cet ouvert.

Caractérisation des fonctions ℂ-différentiables en un point

{{Théorème|

• Pour que la fonction Modèle:Mvar soit ℂ-différentiable en un point <math>\ z_0 = x_0 + {\rm i}\, y_0\in U</math> (où <math>\ x_0,\, y_0</math> sont réels), il faut et il suffit :
  • qu'elle soit différentiable au sens réel en Modèle:Math ;
  • et que, de plus, elle vérifie les équations de Cauchy-Riemann en ce point. Ces équations peuvent s'écrire sous les formes équivalentes suivantes :
    • <math>\frac{\partial f}{\partial y}(z_0) = {\rm i}\, \frac{\partial f}{\partial x}(z_0)</math>
    • <math>\frac{\partial P}{\partial x}(x_0, y_0) = \frac{\partial Q}{\partial y}(x_0, y_0) </math> et <math>\frac{\partial P}{\partial y}(x_0, y_0) = -\frac{\partial Q}{\partial x}(x_0, y_0) </math>
    • <math>\overline\partial f(z_0) = 0</math>, où l'opérateur différentiel <math>\overline\partial</math> est, par définition, égal à <math>\frac12\left(\frac\partial{\partial x}+{\rm i}\frac\partial{\partial y}\right)</math>.
• Dans ce cas :
  • la différentielle de Modèle:Mvar au point Modèle:Math est l'application <math>{\rm d}f(z_0):\Complex\to\Complex, h \mapsto f'(z_0)\, h</math> ;
  • <math>\ f'(z_0) = \frac{\partial f}{\partial x}(z_0) = - {\rm i}\, \frac{\partial f}{\partial y}(z_0) = \partial f(z_0) </math> où l'opérateur différentiel <math>\partial</math> est, par définition, égal à <math>\frac12\left(\frac\partial{\partial x}-{\rm i}\frac\partial{\partial y}\right)</math>.

}}

Un cas important

La caractérisation suivante des fonctions holomorphes est une conséquence immédiate du théorème précédent, appliqué en chaque point.

Remarque sur la continuité des dérivées partielles : on peut montrer (c'est un résultat important de la théorie de Cauchy) que toute fonction holomorphe sur un ouvert de ℂ y est analytique : cela signifie qu'au voisinage de chaque point, elle est développable en série entière ; donc, toute fonction holomorphe est indéfiniment dérivable, et a fortiori elle admet des dérivées partielles continues sur l'ouvert.

Exemples

• La fonction <math>f:\Complex\to\Complex, z \mapsto \bar{z}</math> est de classe C¹ sur ℂ, donc elle y est ℝ-différentiable ; mais elle n'est ℂ-différentiable en aucun point parce qu'elle ne vérifie nulle part les équations de Cauchy-Riemann. En effet, comme Modèle:Math :
  • <math>\ \frac{\partial f}{\partial x}(z) = 1</math> et <math>\ \frac{\partial f}{\partial y}(z) = -{\rm i} </math>
  • ainsi, pour tout <math>z\in\Complex</math>, <math>\ \frac{\partial f}{\partial y}(z) \neq {\rm i}\ \frac{\partial f}{\partial x}(z)</math>.
• La fonction <math>f:\Complex\to\Complex, z \mapsto |z|^2</math> est de classe C¹ sur ℂ, donc elle y est ℝ-différentiable ; elle est ℂ-différentiable en 0 et seulement en ce point (elle n'est holomorphe sur aucun ouvert, son ensemble <math>\ \{0\}</math> de ℂ-différentiabilité étant d'intérieur vide).
• La fonction <math>f:\Complex\to\Complex, z \mapsto z^2</math> est holomorphe sur ℂ et pour tout <math>z\in\Complex</math>, <math>\ f'(z) = 2\, z</math>. En effet, si <math>z_0\in\Complex</math> et <math>h\in\Complex^*</math>, <math>\frac{f(z_0 + h) - f(z_0)}{h} = 2\ z_0 + h \to 2\, z_0</math> lorsque <math>\ h \to 0</math>. On a <math>\ f(z) = x^2 - y^2 + 2\, {\rm i}\, x\, y</math>, donc :
  • <math>\ \frac{\partial f}{\partial x}(z) = 2\, x + 2\, {\rm i}\, y = 2\, z</math>
  • <math>\ \frac{\partial f}{\partial y}(z) = -2\, y + 2\, {\rm i}\, x = 2\, {\rm i}\, z = {\rm i}\ \frac{\partial f}{\partial x}(z)</math> (équations de Cauchy-Riemann au point z)
• Le caractère contraignant de la condition d'holomorphie est particulièrement saisissant quand on applique les conditions de Cauchy-Riemann à une fonction à valeurs réelles définie sur un ouvert de ℂ : les deux dérivées partielles par rapport à Modèle:Mvar et à Modèle:Mvar doivent alors être nulles et la fonction doit être localement constante. En d'autres termes, une fonction holomorphe à valeurs réelles sur un ouvert connexe de ℂ se réduit nécessairement à une constante.

Par exemple, la fonction argument de Modèle:Mvar (réelle et non constante) n'est pas holomorphe. On vérifie d'ailleurs facilement que les équations de Cauchy-Riemann ne sont pas satisfaites, car ses dérivées partielles sont celles de arctan (y/x). Il en est évidemment de même de la fonction module de Modèle:Mvar (réelle et non constante).