ANÁLISE COMPLEXA, NÚMERO COMLEXO, FUNÇÕES COMPLEXAS NO SISTEMA ALGÉBRICO DE GRACELI [PROGRESSIMAL INFINITESIMAL].

S = VARIÁVEL COMPLEXA.

P = PROGRESSÃO.

K W = NÚMERO REAL.

ELEMENTOS DA ÁLGEBRA DE GRACELI.

 P /K /   P /W =

                                   - S / [ P /K /   P /W]

 P /K /   P /W

Análise matemática → Análise complexa
Análise complexa
Números complexos
Número real Número imaginário Plano complexo Conjugado complexo Número complexo unitário
Funções complexas
Função de variável complexa Função analítica Função holomorfa Equações de Cauchy–Riemann Série de potências formal
Teoria básica
Zeros e polos Teorema integral de Cauchy Primitiva local Fórmula integral de Cauchy Índice Série de Laurent Singularidade isolada Teorema dos resíduos Mapa conforme Lema de Schwarz Função harmônica Equação de Laplace
Teoria geométrica das funções
Pessoas
Augustin-Louis Cauchy Leonhard Euler Carl Friedrich Gauss Jacques Hadamard Kiyoshi Oka Bernhard Riemann Karl Weierstrass
Portal da matemática
v d e

A análise complexa, também conhecida como a teoria das funções de variável complexa, é o ramo da matemática que investiga as funções de números complexos. Ela é útil em muitas áreas da matemática, incluindo geometria algébrica, teoria dos números, análise combinatória e matemática aplicada; além disso, ela é amplamente utilizada em vários ramos da física, como hidrodinâmica, termodinâmica e, em particular, mecânica quântica. Por consequência, o escopo teórico da análise complexa também possui aplicações nas várias divisões da engenharia, como nas engenharias nuclear, aeroespacial, mecânica e elétrica.

Já que uma função diferenciável de variável complexa é igual à soma de sua série de Taylor — isto é, também é uma função analítica — a análise complexa tem interesse particular nas funções analíticas de variável complexa, denominadas funções holomorfas.

Funções complexas

A teoria das funções de variável complexa tem como um de seus principais objetivos a extensão do cálculo diferencial e integral para o domínio dos números complexos.^[1] Seja A um conjunto de números complexos. Se ${\displaystyle z}$ denota qualquer um dos números do conjunto A, então ${\displaystyle z}$ é denominado uma variável complexa. Se existe uma correspondência entre os valores da variável complexa ${\displaystyle z}$ para com uma outra variável complexa ${\displaystyle w}$ para cada valor possível de ${\displaystyle z}$ (elementos do conjunto A), então ${\displaystyle w}$ é uma função da variável complexa z no conjunto A e isto é denotado como ${\displaystyle w=f(z).}$ O conjunto A é usualmente algum domínio, chamado domínio de definição da função ${\displaystyle w.}$

Como todo número complexo pode ser escrito na forma

 ${\displaystyle z=a+bi,}$ /   P /K /   P / W =

                                                                - S / [ P /K /   P /W]

  /   P /K /   P / W =

em que ${\displaystyle a=R(z),b=Im(z)}$ indicam a parte real e a parte imaginária do número complexo z, respectivamente, temos que é possível decompor a 

função complexa ${\displaystyle w=f(z)}$ na forma ${\displaystyle f(z)=u(x,y)+iv(x,y).}$ Como nas funções reais, existem diversas classes de funções que podem ser atribuídas às funções complexas, por exemplo:

${\displaystyle P(z)=a_{0}+a_{1}z+a_{2}z^{2}+...+a_{n}z^{n},}$ /   P /K /   P / W =

                                                                                        - S / [ P /K /   P /W]

 /   P /K /   P / W =

em que z é uma variável complexa, é uma função polinomial em variável complexa.

Limites de funções complexas

Ver artigo principal: Limite de uma função

Seja f (z) uma função complexa definida nas vizinhanças do ponto z₀, sendo possivelmente não definida no próprio ponto z₀. De forma análoga ao caso real, define-se o limite L dessa função quando a variável z tende ao ponto z₀ como sendo o valor da qual ela se aproxima (caso este exista) conforme z fica arbitrariamente próximo de z₀. Em linguagem matemática formal, diz-se que

${\displaystyle \lim _{z\to z_{0}}f(z)=L}$, /   P /K /   P / W =

se, para cada número ε > 0 existe um outro número δ > 0 com a propriedade de que a desigualdade | f (z) - L | < ε é válida para todos os valores de z tais que | z - z₀ | < δ e z ≠ z₀.^[2] Nessa definição, as barras || representam o módulo de um número complexo, definido como |z| = √x² + y² para z = x + yi, em que x e y são as partes real e complexa de z, respectivamente. Uma notação alternativa também utilizada para denotar um limite é ${\displaystyle f(z)\to L}$ para ${\displaystyle z\to z_{0}}$.^[2]

Algumas propriedades típicas dos limites de funções reais também podem ser aplicadas às funções complexas, por exemplo: 1) o limite da soma é igual a soma dos limites; 2) o limite do produto é igual ao produto dos limites; 3) o limite do quociente é igual ao quociente dos limites (dado que o denominador não seja 0); ...

As condições de continuidade para as funções complexas são as mesmas de uma função real.

Derivada de uma função complexa

Ver artigo principal: Derivada

Tomemos, à semelhança das funções reais, o limite

 ${\displaystyle \lim _{\Delta z\to 0}{\frac {f(z_{0}+\Delta z)-f(z_{0})}{\Delta z}}=f'(z_{0})={\frac {df}{dz}}(z_{0}),}$ /   P /K /   P / W =

denominado "derivada" da função  em relação a  no ponto  Assim, como nas funções reais, uma função complexa tem de ser contínua em um ponto para que seja diferenciável neste ponto (mas a recíproca não é necessariamente verdadeira). As principais fórmulas de diferenciação empregadas nas funções reais tem sua versão análoga para as funções complexas.

Condições de Cauchy-Riemann

Ver artigo principal: Equações de Cauchy-Riemann

Suponha que a função f seja derivável em ${\displaystyle z_{0},}$ em que ${\displaystyle z_{0}=x_{0}+iy_{0}:}$

$${\displaystyle f(z)=u(x,y)+iv(x,y)}$$

/   P /K /   P / W =

$${\displaystyle f'(z)=a+ib}$$

 /   P /K /   P / W =

$${\displaystyle \Delta f=f(z_{0}+\Delta z)-f(z_{0})}$$

/   P /K /   P / W =

$${\displaystyle \Delta u=u(x_{0}+\Delta x,y_{o}+\Delta y)-u(x_{0},y_{0})}$$

/   P /K /   P / W =

e ${\displaystyle \Delta v,}$ para a mudança correspondente em v(x,y). Então ${\displaystyle \lim _{\Delta z\to 0}{\frac {\Delta f}{\Delta z}}=\lim _{\Delta z\to 0}{\frac {\Delta u+i\Delta v}{\Delta x+i\Delta y}}=a+ib}$/   P /K /   P / W =

e também:

$${\displaystyle \lim _{\Delta x\to 0,\Delta y\to 0}{\text{Re}}\left({\frac {\Delta u+i\Delta v}{\Delta x+i\Delta y}}\right)=a}$$

/   P /K /   P / W =

$${\displaystyle \lim _{\Delta x\to 0,\Delta y\to 0}{\text{Im}}\left({\frac {\Delta u+i\Delta v}{\Delta x+i\Delta y}}\right)=b}$$

/   P /K /   P / W =

Em particular, quando ${\displaystyle \Delta y=0,}$ em que ${\displaystyle \Delta z=\Delta x,}$ esses limites se tornam limites de funções de uma variável (\Delta x) de forma que:

$${\displaystyle \lim _{\Delta x\to 0}{\frac {u(x_{0}+\Delta x,y_{0})-u(x_{0},y_{0})}{\Delta x}}=a}$$

/   P /K /   P / W =

$${\displaystyle \lim _{\Delta x\to 0}{\frac {v(x_{0}+\Delta x,y_{0})-v(x_{0},y_{0})}{\Delta x}}=b}$$

/   P /K /   P / W =

ou seja, as derivadas parciais ${\displaystyle {\frac {\partial u}{\partial x}}}$ e ${\displaystyle {\frac {\partial v}{\partial x}}}$ com relação a x existem no ponto ${\displaystyle (x_{0},y_{0})}$ e

$${\displaystyle {\frac {\partial u}{\partial x}}=a}$$

/   P /K /   P / W =

e

$${\displaystyle {\frac {\partial v}{\partial x}}=b}$$

/   P /K /   P / W =

O procedimento análogo pode ser feito observando quando ${\displaystyle \Delta x=0(\Delta z=i\Delta y)}$ de forma que existem as derivadas parciais com relação a y e são elas:

$${\displaystyle {\frac {\partial u}{\partial y}}=-b}$$

/   P /K /   P / W =

e

$${\displaystyle {\frac {\partial v}{\partial y}}=a,}$$

/   P /K /   P / W =

no ponto ${\displaystyle (x_{0},y_{0})}$

Dos dois procedimentos, chegamos às equações:

$${\displaystyle {\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}}}$$

/   P /K /   P / W =

$${\displaystyle {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}}$$

/   P /K /   P / W =

Que são as Condições de Cauchy-Riemann. Como ${\displaystyle f'(z)=a+ib,}$ /   P /K /   P / W =chegamos à expressão /   P /K /   P / W = no ponto  Estabelece-se o Teorema:

Teorema. Se a derivada ${\displaystyle f'(z)}$ de uma função ${\displaystyle f=u+iv}$ existe num ponto ${\displaystyle z,}$ então as derivadas parciais de primeira ordem, com relação a ${\displaystyle x}$ e ${\displaystyle y,}$ de cada componente ${\displaystyle u}$ e ${\displaystyle v}$ devem existir naquele ponto e satisfazer as condições de Cauchy-Riemann. Além disso, ${\displaystyle f'(z)}$ é dada em termos de suas derivadas parciais pela equação ${\displaystyle f'(z)={\frac {\partial u}{\partial x}}+i{\frac {\partial v}{\partial x}}={\frac {\partial v}{\partial y}}-i{\frac {\partial u}{\partial y}}.}$/   P /K /   P / W =

Funções holomorfas são o objeto central do estudo da análise complexa. Estas funções são definidas sobre um subconjunto aberto do plano complexo ${\displaystyle \mathbb {C} }$ com valores em ${\displaystyle \mathbb {C} }$ que são diferenciáveis em cada ponto.^[1]

Esta condição é muito mais forte que a diferenciabilidade em caso real e implica que a função é infinitamente diferenciável e que pode ser descrita mediante sua série de Taylor. O termo função analítica é frequentemente usada no lugar de "função holomorfa",^[1] entretanto o termo "analítico" possui vários outros significados. Uma função que seja holomorfa sobre todo o plano complexo se diz função inteira. A frase "holomorfa em um ponto ${\displaystyle a\in \mathbb {C} }$" significa não só diferenciável em ${\displaystyle a}$, mas diferenciável em algum disco aberto centrado em ${\displaystyle a}$, no plano complexo.

Definição

Se ${\displaystyle U}$ é um subconjunto aberto de ${\displaystyle \mathbb {C} }$ e ${\displaystyle f:U\to \mathbb {C} }$ é uma função^[2], dizemos que ${\displaystyle f}$ é diferenciável complexa ou ${\displaystyle \mathbb {C} }$-diferenciável no ponto ${\displaystyle z_{0}\in U}$ se o limite

${\displaystyle f'(z_{0})=\lim _{z\rightarrow z_{0}}{f(z)-f(z_{0}) \over z-z_{0}}}$ /   P /K /   P / W =

existir.^[3]

Este limite se toma aqui sobre todas as sucessões de números complexos que se aproximam de ${\displaystyle z_{0}}$, e para todas essa sucessões o quociente de diferenciais tem que resultar no mesmo número ${\displaystyle f'(z_{0})}$. Intuitivamente, se ${\displaystyle f}$ é diferenciável complexa em ${\displaystyle z_{0}}$ e nas proximidades ao ponto ${\displaystyle z_{0}}$ da direção ${\displaystyle r}$, então as imagens se aproximarão ao ponto ${\displaystyle f(z_{0})}$ a partir da direção ${\displaystyle f'(z_{0})r}$, onde o último produto é a multiplicação de números complexos. Este conceito de diferenciabilidade compartilha várias propriedades com a diferenciabilidade em caso real: é linear e obedece as regras da derivação do produto, do quociente, da cadeia e da função inversa.^[3]

Se ${\displaystyle f}$ é complexa diferenciável em cada ponto ${\displaystyle z_{0}\in U}$, dizemos que ${\displaystyle f}$ é holomorfa em ${\displaystyle U}$.^[1]