Equacions de Cauchy-Riemann

Les equacions de Cauchy-Riemann caracteritzen les funcions d'una variable complexa diferenciables en sentit complex entre les funcions diferenciables en sentit real: són condicions necessàries i suficients relatives a les derivades parcials d'una funció diferenciable en sentit real perquè sigui diferenciable en sentit complex.

Considerem aquí una funció <math> \ f : U \to \mathbbPlantilla:C</math> d'una variable complexa, definida en un obert U de <math>\mathbbPlantilla:C</math>. Emprem les notacions següents:

la variable complexa <math>\ z</math> es nota per <math>\ x + i\, y</math>, on x, y són reals
les parts real i imaginària de <math>\ f(z) = f(x + i\, y)</math> es noten respectivament per <math>\ P(x, y)</math> i <math>\ Q(x, y)</math>, es a dir: <math>\ f(z) = P(x, y) + i\, Q(x, y)</math>, on <math>\ P,\, Q</math> són dues funcions reals de dues variables reals.

Les equacions de Cauchy-Riemann en <math>\ z_0 = x_0 + i\, y_0</math> es poden escriure sota les formes equivalents següents:

<math>\frac{\partial f}{\partial y}(z_0) = 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> i <math>\frac{\partial P}{\partial y}(x_0, y_0) = -\frac{\partial Q}{\partial x}(x_0, y_0) </math>
<math>\frac{\partial f}{\partial \bar{z}}(z_0) = 0</math>

Funcions d'una variable complexa diferenciables en sentit complex

Definició

Diem que la funció <math>f : U \to \mathbb{C}</math> és diferenciable en sentit complex, o <math>\mathbb{C}</math>-diferenciable (o derivable) en un punt <math>\ z_0 \in U</math> si existeix el límit (finit) <math>f'(z_0) = \lim_{h \to 0,\, h\, \in\, \mathbb{C}^*} \frac{f(z_0 + h) - f(z_0)}{h} </math>, anomenat derivada de f en <math>\ z_0</math>.

Fixem-nos que aquesta condició de <math>\mathbbPlantilla:C</math>-diferenciabilitat per a funcions de variable complexa és molt més restrictiva que l'equivalent per a funcions de variable real. L'origen d'això es troba en el fet que per a funcions de variable real per a la diferenciabilitat en un punt només cal exigir que existeixin i siguin iguals els límits per la dreta i per l'esquerra quan els increments Δx tendeixen a zero, ja que són les dues úniques possibilitats d'aproximar-se al punt. En canvi, en el pla complex hi ha infinites possibilitats (infinits camins) per aproximar-se a un punt determinat.

Un cas important

Es diu que una funció és holomorfa en un obert de <math>\mathbb{C}</math> si és <math>\mathbb{C}</math>-diferenciable en tot punt d'aquell obert.

Caracterització de les funcions diferenciables en sentit complex

Teorema

Les funcions <math>\mathbb{C}</math>-diferenciables en un punt <math>\ z_0 = x_0 + i\, y_0 \in U</math> (on <math>\ x_0,\, y_0</math> són reals) son aquelles funcions
- diferenciables en sentit real en <math>\ z_0</math>
- i que, a més a més, compleixen les equacions de Cauchy-Riemann en <math>\ z_0</math>. Aquestes equacions es poden escriure sota les formes equivalents següents:
  - <math>\frac{\partial f}{\partial y}(z_0) = 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> i <math>\frac{\partial P}{\partial y}(x_0, y_0) = -\frac{\partial Q}{\partial x}(x_0, y_0) </math>
  - <math>\frac{\partial f}{\partial \bar{z}}(z_0) = 0</math>
En aquest cas:
- la diferencial de <math>\ f</math> al punt <math>\ z_0</math> és l'aplicació <math>\ df_{z_0} : \mathbb{C} \to \mathbb{C}, h \mapsto f'(z_0)\, h</math>
- <math>\ f'(z_0) = \frac{\partial f}{\partial x}(z_0) = - i\, \frac{\partial f}{\partial y}(z_0) = \frac{\partial f}{\partial z}(z_0) </math>

Demostració del teorema

Es conserven les notacions precedents; en particular, es nota per r un real tal que <math>\ r > 0</math> i <math>\ B(z_0,\, r) \subset U</math>, i per h un nombre complex tal que <math>\

(z_0) = \frac{\partial f}{\partial z}(z_0)</math>, perquè <math> \frac{\partial f}{\partial \bar{z}}(z_0) = 0</math>.}}

Un cas important

La caracterització següent de les funcions holomorfes és una conseqüència immediata del teorema precedent, aplicat en cada punt.

Teorema: una funció <math>\ f : U \to \mathbb{C}</math> és holomorfa en l'obert U de <math> \mathbb{C}</math> si i només si:

és diferenciable en sentit real en tot punt de U,
i compleix les equacions de Cauchy-Riemann en tot punt de U

Exemples

La funció <math>f : \mathbb{C} \to \mathbb{C}, z \mapsto \bar{z}</math> és (almenys) de classe <math>\ C^1</math> en <math>\mathbb{C}</math>, per tant hi és <math>\mathbb{R}</math>-diferenciable; però no és <math>\mathbb{C}</math>-diferenciable en cap punt, perquè no compleix les equacions de Cauchy-Riemann en cap punt. En efecte, com que <math>\ f(z) = x -\, i\, y</math>:
- <math>\ \frac{\partial f}{\partial x}(z) = 1</math>
- <math>\ \frac{\partial f}{\partial y}(z) = -i </math>: per a tot <math>\ z \in \mathbb{C}</math>, <math>\ \frac{\partial f}{\partial y}(z) \neq i\ \frac{\partial f}{\partial x}(z)</math>.
La funció <math>f : \mathbb{C} \to \mathbb{C}, z \mapsto |z|^2</math> és (almenys) de classe <math>\ C^1</math> en <math>\mathbb{C}</math>, per tant hi és <math>\mathbb{R}</math>-diferenciable; és <math>\mathbb{C}</math>-diferenciable en 0 i només en aquest punt (no és holomorfa en cap obert: el conjunt <math>\ \{0\}</math> dels seus punts de <math>\mathbb{C}</math>-diferenciabilitat té interior buit).
La funció <math>f : \mathbb{C} \to \mathbb{C}, z \mapsto z^2</math> és holomorfa en <math>\mathbb{C}</math> i per a tot <math>\ z \in \mathbb{C}</math>, <math>\ f'(z) = 2\, z</math>. En efecte, si <math>\ z_0 \in \mathbb{C}</math> i <math>\ h \in\mathbb{C}^*</math>, <math>\frac{f(z_0 + h) - f(z_0)}{h} = 2\ z_0 + h \to 2\, z_0</math> quan <math>\ h \to 0</math>. Es té <math>\ f(z) = x^2 - y^2 + 2\, i\, x\, y</math>, per tant:
- <math>\ \frac{\partial f}{\partial x}(z) = 2\, x + 2\, i\, y = 2\, z</math>
- <math>\ \frac{\partial f}{\partial y}(z) = -2\, y + 2\, i\, x = 2\, i\, z = i\ \frac{\partial f}{\partial x}(z)</math> (equacions de Cauchy-Riemann en z).

Un exemple on les derivades parcials no són contínues

Se sap que tota funció holomorfa en un obert té derivades parcials contínues en aquest obert (això no forma part de la definició; la continuïtat de les derivades parcials i àdhuc el caràcter infinitament diferenciable de la funció és una conseqüència de la teoria de Cauchy). Tanmateix, és possible que una funció diferenciable compleixi les equacions de Cauchy-Riemann en un conjunt no obert (per exemple en un únic punt) i que les seves derivades parcials no siguin contínues.

Contraexemple

Una funció <math>\mathbb{R}</math>-diferenciable en <math>\mathbb{C}</math> i <math>\mathbb{C}</math>-diferenciable en 0, les derivades parcials de la qual no són contínues en 0.

Es defineix <math>\ f : \mathbb{C} \to \mathbb{C}</math>:
- <math>f(z) = x\, y \sin \frac{1}{\sqrt{x^2 + y^2

</math> si <math>\ z \neq 0</math>

- <math>\ f(0) = 0</math>
La funció <math>\ f </math> és (almenys) de classe <math>\ C^1</math> en <math>\mathbb{C}^* = \mathbb{C} \setminus \{0\}</math>; per tant, és <math>\mathbb{R}</math>-diferenciable en <math>\mathbb{C}^*</math>.
<math>\forall z \in \mathbb{C}^*</math>, <math>\ | f(z) | \leq |x\, y | \leq \frac{1}{2}\, \left(x^2 + y^2\right) = \frac{1}{2}\, |z|^2</math>; per tant <math>\left| \frac{f(z) - f(0)}{z - 0} \right| =\frac{|f(z)|}{|z|} \leq \frac{1}{2}\, |z|.</math> Se'n dedueix que <math>\frac{f(z) - f(0)}{z - 0} \to 0</math> quan <math>z \to 0</math>: <math>\ f </math> és <math>\mathbb{C}</math>-diferenciable en 0 i <math>\ f'(0) = 0</math>; a fortiori, <math>\ f </math> és <math>\mathbb{R}</math>-diferenciable en 0 i <math>\ \frac{\partial f}{\partial x}(0) = f'(0) = 0</math>, <math>\ \frac{\partial f}{\partial y}(0) = i f'(0) = 0</math> (hem provat que <math>\ f </math> és <math>\mathbb{R}</math>-diferenciable en <math>\mathbb{C}^* \cup \{0\} =\mathbb{C} </math>)
Si <math>\ z \neq 0</math>, <math>\ \frac{\partial f}{\partial x}(z) = y \sin \frac{1}{\sqrt{x^2 + y^2}} - \frac{x^2 y}{(x^2 + y^2)^{3/2}} \cos \frac{1}{\sqrt{x^2 + y^2}}</math>.
Per a tot <math>\ k \in \mathbb{N}^*</math>, sigui <math>\ z_k = \frac{1 + i}{k\, \pi \sqrt{2}}</math>. Un càlcul elemental dóna: per a tot <math>\ k \in \mathbb{N}^*, \frac{\partial f}{\partial x}(z_k) = \frac{(-1)^{k-1}}{2^{3/2}}</math>.
Com que <math>\ z_k \to 0</math> quan <math>k \to +\infty</math> i <math> \frac{\partial f}{\partial x} (z_k)</math> no convergeix cap a <math>\frac{\partial f}{\partial x}(0) = 0</math>, la funció <math>\ \frac{\partial f}{\partial x}</math> no és contínua en 0. Es demostra de la mateixa manera que la funció <math>\ \frac{\partial f}{\partial y}</math> tampoc no és contínua en 0.}}