Equações de Cauchy–Riemann
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Cauchy-Riemann.png/220px-Cauchy-Riemann.png)
No campo matemático da análise complexa as equações de Cauchy-Riemann (nome formado em homenagem ao matemático francês Augustin Cauchy e ao matemático alemão Bernhard Riemann) consistem em um sistema de duas equações diferenciais parciais que, juntamente com certos critérios de continuidade e diferenciabilidade, formam uma condição necessária e suficiente para um função complexa ser complexa diferenciável, ou seja, holomórfica . Este sistema de equações apareceu pela primeira vez na obra de Jean le Rond d'Alembert (d'Alembert 1752). Posteriormente, Leonhard Euler relacionou este sistema às funções analíticas (Euler 1797). Cauchy (1814) então utilizou essas equações para construir sua teoria das funções. A dissertação de Riemann sobre a teoria das funções surgiu em 1851.
As equações de Cauchy-Riemann dadas em em um par de funções de valor real de duas variáveis reais u ( x, y ) e v ( x, y ) são as equações abaixo:
Usualmente, u e v são as partes reais e partes imaginárias, respectivamente, de um valor complexo em função de uma única variável complexa z = x + iy f(x + iy) = u(x,y) + iv(x,y). Supondo que u e v sejam reais e diferenciáveis num ponto em um subconjunto aberto de ℂ, que pode ser considerado como funções de ℝ 2 a ℝ. Isto implica que as derivadas parciais de u e v existem (por mais que que não há necessidade de serem contínuas) e podemos aproximar pequenas variações de f linearmente. Então f = u + iv é Complexo- diferenciável nesse ponto, se, e somente se as derivadas parciais de u e v satisfazer as equações de Cauchy-Riemann (1a) e (1b) neste ponto. A única existência de derivadas parciais que satisfaçam as equações de Cauchy-Riemann não é suficiente para garantir a diferenciabilidade complexa naquele ponto. É necessário que u e v sejam reais diferenciáveis, que acaba por ser uma condição mais forte do que a existência das derivadas parciais, mas, em geral, mais fraca do que derivabilidade contínua.
Holomorfia é a propriedade de uma função complexa de ser diferenciável em todos os pontos de um subconjunto aberto de ℂ (isso é chamado de domínio em ℂ). Por consequência, é possível afirmar que uma função complexa f, cujas partes reais e imaginárias u e v são funções real-diferenciáveis, é holomórfico se, e somente se, as equações (1a) e (1b) são satisfeitas em todo o domínio que estamos lidando. As funções holomórficas são analíticas e vice-versa. Isso quer dizer que, na análise complexa, uma função que é complexamente diferenciada em um domínio inteiro (holomórfica) é o mesmo que uma função analítica. Isso não é verdade para funções diferenciáveis reais.
Exemplo simples
Supondo que . A função de valor complexo é diferenciável em qualquer ponto z no plano complexo.
A parte real e a parte imaginária são
e suas derivadas parciais são
É possível ver que de fato as equações de Cauchy-Riemann estão satisfeitas, e .
Interpretação e reformulação
As equações são uma forma de ver a condição de uma função para ser diferenciável no sentido da análise complexa: em outras palavras, elas encapsulam a noção de função de uma variável complexa a partir do cálculo diferencial convencional. Na teoria, existem várias outras maneiras principais de encarar essa noção, e a tradução da condição para outra linguagem é frequentemente necessária.
Mapeamentos conformes
Primeiramente, as equações de Cauchy-Riemann podem ser escritas de forma complexa
- (2)
Nesta forma, as equações correspondem estruturalmente à condição de que a matriz Jacobiana seja da forma
Onde e . Uma matriz desta forma é a representação matricial de um número complexo. Geometricamente, tal matriz é sempre a composição de uma rotação com escala e, particularmente, preserva os ângulos. O Jacobiano de uma função f ( z ) pega segmentos de reta infinitesimais na interseção de duas curvas em z e os gira para os segmentos correspondentes em f ( z ). Por consequência, uma função que satisfaça as equações de Cauchy-Riemann, com uma derivada diferente de zero, preserva o ângulo entre as curvas no plano. Isto significa que, as equações de Cauchy-Riemann são as condições para uma função ser conforme .
Além disso, porque a composição de uma transformação conforme com outra transformação conforme também é conforme, a composição de uma solução das equações de Cauchy-Riemann com um mapa conforme deve ela mesma resolver as equações de Cauchy-Riemann. Assim, as equações de Cauchy-Riemann são conformemente invariantes.
Diferenciabilidade complexa
Suponha que
é uma função de um número complexo . Então, a derivada complexa de em um ponto é definido por
desde que este limite exista.
Se esse limite existir, ele pode ser calculado considerando o limite como ao longo do eixo real ou eixo imaginário; em ambos os casos, deve dar o mesmo resultado. Aproximando-se ao longo do eixo real, encontramos
Por outro lado, aproximando-se ao longo do eixo imaginário,
A igualdade da derivada de f tomada ao longo dos dois eixos é
que são as equações de Cauchy-Riemann (2) no ponto z 0 .
Porém, se f : ℂ → ℂ é uma função diferenciável quando considerada como uma função em ℝ 2, então f é complexa diferenciável se, e somente se as equações de Cauchy-Riemann forem válidas. Em outras palavras, se u e v são funções reais diferenciáveis de duas variáveis reais, obviamente u + iv é uma função real diferenciável (de valor complexo), mas u + iv é complexo diferenciável se e somente se as equações de Cauchy-Riemann são válidas.
Seguindo Rudin (1966), suponha que f é uma função complexa definida em um conjunto aberto Ω ⊂ ℂ. Então, escrevendo z = x + iy para cada z ∈ Ω, pode-se também considerar Ω como um subconjunto aberto de ℝ 2, e f como uma função de duas variáveis reais x e y, que mapeia Ω ⊂ ℝ 2 a ℂ. Consideramos as equações de Cauchy-Riemann em z = z 0 . Portanto, suponha que f é diferenciável em z 0, como uma função de duas variáveis reais de Ω a ℂ. Isso equivale à existência da seguinte aproximação linear
onde z = x + iy e η (Δ z ) → 0 como Δ z → 0. Desde e , o acima pode ser reescrito como
Definindo os dois derivados de Wirtinger como
no limite a igualdade acima pode ser escrita como
Considerando os valores potenciais de quando o limite é tomado na origem. Para z ao longo da linha real, de modo a . Da mesma forma, para z puramente e completamente imaginário, temos de modo que o valor de não está bem definido na origem. É fácil verificar que não está bem definido em qualquer z complexo, portanto, f é complexo diferenciável em z 0 se, e somente se em . Mas estas são exatamente as equações de Cauchy-Riemann, por isso f é diferenciável em z 0 se e somente se as equações de Cauchy-Riemann valem em z 0 .
Independência do conjugado complexo
A prova acima sugere outra interpretação das equações de Cauchy-Riemann. O conjugado complexo de z, denotado , é definido por
para x e y reais. As equações de Cauchy-Riemann podem, ser escritas como uma única equação
- (3)
usando a derivada de Wirtinger em relação à variável conjugada . Desta forma, as equações de Cauchy-Riemann podem ser interpretadas como a afirmação de que f é independente da variável . Como tal, podemos observar as funções analíticas como funções verdadeiras de uma variável complexa em oposição a funções complexas de duas variáveis reais.
Interpretação física
Uma interpretação física padrão das equações de Cauchy-Riemann que remonta ao trabalho de Riemann na teoria das funções (ver Klein 1893 ) é que u representa um potencial de velocidade de um fluxo de fluido constante incompressível no plano, e v é sua função de fluxo . Suponha que o par de funções (duas vezes continuamente diferenciáveis) satisfaz as equações de Cauchy-Riemann. Tomamos u como um potencial de velocidade, o que significa que imaginamos um fluxo de fluido no plano tal que o vetor velocidade do fluido em cada ponto do plano é igual ao gradiente de u, definido por
Ao diferenciar as equações de Cauchy-Riemann pela segunda vez, mostra-se que u resolve a equação de Laplace :
Isto é, u é uma função harmônica . Isso significa que a divergência do gradiente é zero e, portanto, o fluido é incompressível.
A função v também satisfaz a equação de Laplace, por uma análise muito parecida. Além disso, as equações de Cauchy-Riemann implicam que o produto escalar . Isso implica que o gradiente de u deve apontar ao longo do curvas; então essas são as linhas aerodinâmicas do fluxo. o curvas são as curvas equipotenciais do fluxo.
Uma função holomórfica pode, portanto, ser visualizada traçando as duas famílias de curvas de nível e . Perto de pontos onde o gradiente de u (ou, equivalentemente, v ) não é zero, essas famílias formam uma família ortogonal de curvas. Nos pontos onde , os pontos estacionários do fluxo, as curvas equipotenciais de se cruzam. As linhas de corrente se cruzam também no mesmo ponto, dividindo os ângulos formados pelas curvas equipotenciais.
Campo de vetor harmônico
Outra interpretação das equações de Cauchy-Riemann pode ser encontrada em Pólya & Szegő (1978) . Suponha-se que u e v satisfazem as equações de Cauchy-Riemann em um subconjunto aberto de ℝ 2, e considere o campo vectorial
considerado como um vetor de dois componentes (real). Então a segunda equação de Cauchy-Riemann (1b) afirma que é irrotacional (sua ondulação é 0):
A primeira equação de Cauchy-Riemann (1a) afirma que o campo vetorial é solenoidal (ou livre de divergência):
Devido respectivamente ao teorema de Green e ao teorema da divergência, tal campo é necessariamente conservador e é livre de fontes ou sumidouros, tendo fluxo líquido igual a zero em qualquer domínio aberto sem buracos. (Essas duas observações se combinam como partes reais e imaginárias no teorema integral de Cauchy). Na dinâmica dos fluidos, tal campo vetorial é um fluxo potencial (Chanson 2007). Na magnetostática, tais campos vetoriais modelam campos magnéticos estáticos em uma região do plano que não contém corrente. Na eletrostática, eles modelam campos elétricos estáticos em uma região do plano sem carga elétrica.
Esta interpretação pode ser afirmada novamente de maneira equivalente na linguagem das formas diferenciais. O par u, v satisfaz as equações de Cauchy-Riemann se e somente se a forma é fechado e co- fechado (uma forma diferencial harmônica ).
Preservação de estrutura complexa
Outra formulação das equações de Cauchy-Riemann envolve a estrutura complexa no plano, dada por
Esta é uma estrutura complexa no sentido de que o quadrado de J é o negativo da matriz de identidade 2 × 2: . Como acima, se u ( x, y ), v ( x, y ) são duas funções no plano, coloque
A matriz Jacobiana de f é a matriz das derivadas parciais
Então o par de funções u, v satisfaz as equações de Cauchy-Riemann se, e somente se a matriz 2 × 2 Df comuta com J (Kobayashi & Nomizu 1969, Proposition IX.2.2)
Esta interpretação é muito útil em geometria simplética, onde é o ponto de partida para o estudo de curvas pseudo-holomórficas.
Outras representações
Outras representações das equações de Cauchy-Riemann surgem ocasionalmente em outros sistemas de coordenadas. Se (1a) e (1b) valem para um par diferenciável de funções u e v, então também
para qualquer sistema de coordenadas (n(x, y), s(x, y)) tal que o par (∇ n, ∇ s ) seja ortonormal e orientado positivamente. Consequentemente, em particular, no sistema de coordenadas dado pela representação polar z = r eiθ, as equações assumem a forma
Combinando estes em uma equação para f dá
As equações não homogêneas de Cauchy-Riemann consistem em duas equações para um par de funções desconhecidas u ( x, y ) ev ( x, y ) de duas variáveis reais
para algumas funções dadas α ( x, y ) e β ( x, y ) definidas em um subconjunto aberto de ℝ 2. Essas equações são normalmente combinadas em uma única equação
onde f = u + i v e φ = ( α + i β ) / 2.
Se φ for C k , então a equação não homogênea é explicitamente solucionável em qualquer domínio limitado D, desde que φ seja contínuo no fechamento de D. Na verdade, pela fórmula integral de Cauchy ,
para todos os ζ ∈ D.
Generalizações
Teorema de Goursat e suas generalizações
Supondo que f = u + iv é uma função de valor complexo diferenciável como uma função f : ℝ2 → ℝ2 . Então o teorema de Goursat afirma que f é analítico em um domínio complexo aberto Ω se e somente se satisfaz a equação de Cauchy-Riemann no domínio (Rudin 1966, Theorem 11.2). Em particular, a diferenciabilidade contínua de f não precisa ser assumida (Dieudonné 1969, §9.10, Ex. 1).
As hipóteses do teorema de Goursat podem ser significativamente enfraquecidas. Se f = u + iv é contínua em um conjunto aberto Ω e as derivadas parciais de f em relação a x e y existir em Ω, e satisfazer as equações de Cauchy-Riemann todo Ω, então f é holomórfica (e assim analítico). Este resultado é o teorema de Looman-Menchoff .
A hipótese de que f obedece às equações de Cauchy – Riemann em todo o domínio Ω é essencial. É possível construir uma função contínua que satisfaça as equações de Cauchy-Riemann em um ponto, mas que não seja analítica no ponto (como por exemplo, f ( z ) = z5 / |z|4) . Da mesma forma, alguma suposição adicional é necessária além das equações de Cauchy-Riemann (como continuidade), como assim é ilustrado no exemplo a seguir (Looman 1923, p. 107)
que satisfaz as equações de Cauchy-Riemann em todos os lugares, mas falha em ser contínua em z = 0
Porém se uma função satisfaz as equações de Cauchy-Riemann em um conjunto aberto em um sentido fraco, então a função é analítica. Mais precisamente (Gray & Morris 1978, Theorem 9):
- Se f ( z ) é localmente integrável em um domínio aberto Ω ⊂ ℂ, e satisfaz as equações de Cauchy – Riemann fracamente, então f concorda em quase todos os lugares com uma função analítica em Ω.
Este é realmente um caso especial de um resultado mais geral sobre a regularidade das soluções de equações diferenciais parciais hipoelípticas.
Várias variáveis
Existem equações de Cauchy-Riemann, apropriadamente generalizadas, na teoria das diversas variáveis complexas . Eles formam um sistema significativo sobredeterminado de PDEs. Isso pode ser feito fazendo uso de uma generalização direta da derivada de Wirtinger, onde a função em questão deve ter a derivada (parcial) de Wirtinger em relação a cada variável complexa desaparecida.
Formas diferenciais complexas
Como frequentemente formulado, o operador d-bar
aniquila funções holomórficas. Isso generaliza mais diretamente a formulação
Onde
Transformação de Bäcklund
Vistas como funções harmônicas conjugadas, as equações de Cauchy-Riemann são um exemplo prático de uma transformada de Bäcklund . As transformações de Bäcklund geralmente mais complicadas e normalmente não lineares, como na equação seno-Gordon, são de grande interesse na teoria dos solitons e sistemas integráveis .
Definição em álgebra de Clifford
Na álgebra de Clifford, o número complexo é representado como Onde . O operador derivado fundamental na álgebra de Clifford de números complexos é definido como . A função é considerada analítica se e somente se , que pode ser calculado da seguinte maneira:
Agrupando por e :
Doravante na notação tradicional:
Mapeamentos conformes em dimensões superiores
Seja Ω um conjunto aberto no espaço euclidiano ℝ n . A equação para um mapeamento que preserva a orientação para ser um mapeamento conforme (isto é, com preservação de ângulo) é que
onde Df é a matriz Jacobiana, com transposta , e I denota a matriz de identidade (Iwaniec & Martin 2001, p. 32). Para n = 2, este sistema é equivalente às equações padrão de Cauchy-Riemann de variáveis complexas, e as soluções são funções holomórficas. Na dimensão n > 2, isso ainda é às vezes chamado de sistema de Cauchy-Riemann, e o teorema de Liouville implica, sob suposições de suavidade adequadas, que qualquer mapeamento é uma transformação de Möbius.
Ver também
- Lista de tópicos de análise complexos
- Teorema de Morera
- Derivados de Wirtinger
Referências
- Ahlfors, Lars (1953), Complex analysis, ISBN 0-07-000657-1 3rd ed. , McGraw Hill (publicado em 1979)
- d'Alembert, Jean (1752), Essai d'une nouvelle théorie de la résistance des fluides, Paris
- Cauchy, Augustin L. (1814), Mémoire sur les intégrales définies, Oeuvres complètes Ser. 1, 1, Paris (publicado em 1882), pp. 319–506
- Chanson, H. (2007), «Le Potentiel de Vitesse pour les Ecoulements de Fluides Réels: la Contribution de Joseph-Louis Lagrange." ('Velocity Potential in Real Fluid Flows: Joseph-Louis Lagrange's Contribution.')», Journal La Houille Blanche, ISSN 0018-6368, 5: 127–131, doi:10.1051/lhb:2007072
- Dieudonné, Jean Alexandre (1969), Foundations of modern analysis, Academic Press
- Euler, Leonhard (1797), «Ulterior disquisitio de formulis integralibus imaginariis», Nova Acta Academiae Scientiarum Imperialis Petropolitanae, 10: 3–19
- Gray, J. D.; Morris, S. A. (1978), «When is a Function that Satisfies the Cauchy–Riemann Equations Analytic?» (publicado em abril de 1978), The American Mathematical Monthly, 85 (4): 246–256, JSTOR 2321164, doi:10.2307/2321164
- Klein, Felix (1893), On Riemann's theory of algebraic functions and their integrals, Cambridge: MacMillan and Bowes
- Iwaniec, T; Martin, G (2001), Geometric function theory and non-linear analysis, Oxford
- Looman, H. (1923), «Über die Cauchy–Riemannschen Differentialgleichungen», Göttinger Nachrichten: 97–108
- Kobayashi, Shoshichi; Nomizu, Katsumi (1969), Foundations of differential geometry, volume 2, Wiley
- Pólya, George; Szegő, Gábor (1978), Problems and theorems in analysis I, ISBN 3-540-63640-4, Springer
- Riemann, Bernhard (1851), «Grundlagen für eine allgemeine Theorie der Funktionen einer veränderlichen komplexen Grösse», in: H. Weber, Riemann's gesammelte math. Werke, Dover (publicado em 1953), pp. 3–48
- Rudin, Walter (1966), Real and complex analysis, ISBN 0-07-054234-1 3rd ed. , McGraw Hill (publicado em 1987)
- Solomentsev, E.D. (2001), «Cauchy–Riemann conditions», in: Hazewinkel, Michiel, Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer
- Stewart, Ian; Tall, David (1983), Complex Analysis, ISBN 0-521-28763-4 1st ed. , CUP (publicado em 1984)
Ligações externas
- Weisstein, Eric W. «Cauchy–Riemann Equations». MathWorld (em inglês)
- Cauchy–Riemann Equations Module by John H. Mathews