Funções harmónicas conjugadas

Funções harmónicas conjugadas e equação de Laplace

Uma funçãof(z) = u(x; y) + i(x; y) analítica numa região R possui as derivadas de todas ordens
em R e essas derivadas por sua vez, tambem, analíticas em R. Neste caso as funções
u(x; y) =Ref(z), v(x; y) =Imf(z) possuem em R derivadas parciais contínuas de qualquer
ordem, e representa funções harmónicas conjugadas, satisfazendo a equação de Laplace, isto
é,
@2u
@x2 +
@2u
@y2 = 0 e @2v
@x2 +
@2v
@y2 = 0.
Esta propriedade permite recuperar uma função analítica através da sua parte real ou da
imaginária, a saber. Caso ser dada só a parte real u(x; y) de uma função analítica
f(z) = u(x; y) + iv(x; y), a sua parte imaginária v(x; y) pode-se obter através de u(x; y) de
modo seguinte:
v(x; y) =
(Zx;y)
(x0;y0)
¡
@u
@y
dx+
@u
@x
dy+C = ¡
Zx
x0
u0
y(x; y0)dx+
Zy
y0
u0
x(x; y)dy+C, onde C e a constante
de integração (x0; y0) e ponto de integração no qual a função u(x; y) e derivável.
Analogamente, a parte real u(x; y) pode ser recuperada através da imaginária v(x; y):
u(x; y) =
(Zx;y)
(x0;y0)
@v
@y
dx ¡
@v
@x
dy + C =
Zx
x0
v0
y(x; y0)dx +
Zy
y0
v0
x(x; y)dy + C.
Exemplo 0.3.2. 1) Verificar, se são analíticas as funções dadas:
(a) f(z) = z:ez ;
(b) f(z) = z sin z .
2) provar que a função u(x; y) = sinh x: sin y é parte real de uma função analítica
f(z) = u(x; y) + iv(x; y) e obter esta função de modo que f(0) = ¡i .
3) Provar que a função v(x; y) = x ¡ arctan
y
x
, x > 0 e parte imaginária de uma função
analítica f(z) = u(x; y)+iv(x; y) e recuperar esta função de modo que f(2) = ¡ln 2+2i .
30 Beira, Agosto de 2011
Resolução:
1) (a) Atendendo que z = x + iy , vamos decompor a função dada nas suas partes reais e
imaginárias
f(z) = z:ez = ex[(x cos y ¡ y sin y) + i(x sin y + y cos y)] .
Assim, u(x; y) =Ref(z) = ex(x cos y ¡ y sin y),
v(x; y) =Imf(z) = ex(x sin y + y cos y).
Achamos as derivadas parciais das funções u(x; y) e v(x; y).
@u
@x
= ex(x cos y ¡ y sin y + cos y); @u
@y
= ¡ex(x sin y + y cos y + sin y);
@v
@x
= ex(x sin y + y cos y + sin y); @v
@y
= ex(x cos y ¡ y sin y + cos y).
E facil ver que se verificam as equações:
@u
@x
=
@v
@y
, @u
@y
=¡
@v
@x
.
Concluimos que as funções u(x; y) e v(x; y) tem as derivadas parciais contínuas e
satisfazem as equações de Cauchy-Riemann sobre todo o plano complexo. Logo, a
função dada f(z) é analítica.
(b) Vamos separar a parte real da imaginária da função dada:
f(z) = z sin z = (x¡iy): sin(x+iy) = (x sin x: cosh y+y cos x sinh y)+i(x cos x sinh y¡
y sin x cosh y).
Obtemos,
u(x; y) =Ref(z) = x sin x cosh y + y cos x sinh y, v(x; y) =Imf(z) = x cos x sinh x ¡
y sin x cosh y .
A seguir, achamos as derivadas parciais das fun
coes u(x; y) e v(x; y):
@u
@x
= sin x cosh y + x cos x cosh y ¡ y sin y sinh y; @u
@y
= x sin x sinh y + cos x sinh y +
y cos x cosh y;
@v
@x
= cos x sinh y ¡x sin x sinh y ¡y cos x cosh y; @v
@y
= x cos x cosh y ¡sin x cosh y ¡
y sin x sinh y .
Tem-se @u
@x
6=
@v
@y
, @u
@y
=¡
@v
@x
caso (x; y) 6= (0; 0).
Por consequência, a função dada f(z) não satisfaz as equações de Cauchy-Riemann,
senão num ponto isolado z = 0, então, ela não é analítica.
2) Vamos verificar se a funçãodada u(x; y) satisfaz a equação de Laplace, isto é,
@2u
@x2 +
@2u
@y2 = 0.
Ao encontrar as segundas derivadas @2u
@x2 = sinh x sin y , @2u
@y2 = ¡sinh x sin y, obteremos:
@2u
@x2 +
@2u
@y2 = sinh x sin y ¡ sinh x sin y = 0.
Por consequência, a função u(x; y) satisfaz a equação de Laplace e, então, é
funçãoharmónica
e, consequentemente, representa a parte real de uma função analítica
f(z) = u(x; y) + iv(x; y).
A seguir, para obter f(z), e preciso determinar a sua parte imaginária v(x; y).
Análise Harmónica e Complexa 31
Utilizando a origem do sistema das coordenadas na qualidade do ponto inicial de integração,
teremos:
v(x; y) = ¡
Zx
0
u0
y(x; 0)dx+
Zy
0
u0
x(x; y)dy+C = ¡
Zx
0
sinh xdx+
Zy
0
cosh x sinh ydy+C =
1 ¡ cosh x cos y + C.
Assim, achamos
f(z) = u(x; y) + iv(x; y) = sinh x sin y + i(1 ¡ cosh x cos y + C)
Atendendo que f(0) = ¡i , obtem-se C = ¡1. Deste modo, encontramos:
f(z) = sinh x sin y ¡ i cosh x cosh x cos y = ¡i cosh z .
3) Para verificar que a função dada v(x; y) satisfaz a equaçãode Laplace, calculemos suas
derivadas da segunda ordem:
@2v
@x2 = ¡
2xy
(x2 + y2)2 , @2v
@y2 =
2xy
(x2 + y2)2 .
Agora, tem-se:
@2v
@x2 +
@2v
@y2 = ¡
2xy
(x2 + y2)2 +
2xy
(x2 + y2)2 = 0.
Logo, v(x; y) satisfaz a equação de Laplace e, então, é função harmónica o que prova
que ela é parte imaginária de uma função analítica f(z) = u(x; y) + iv(x; y).
v(x; y) = ¡
Zx
0
v0
y(x; 0)dx+
Zy
0
v0
x(x; y)dy+C = ¡
Zx
1
dx
x
¡
Zy
0
µ
1+
y
x2 + y2
¶
dy+C =
¡y ¡ ln
p
x2 + y2 + C.
Assim, a função analítica f(z) fica reposta através da sua parte imaginária v(x; y):
f(z) = (¡y ¡ ln
p
x2 + y2 + C) + i
³
x ¡ arctan
y
x
´
, x > 0.
Atendendo que f(2) = ¡ln 2 + 2i , achamos C = 0. Deste modo encontramos a função
f(z), satisfazendo a condição indicada:
f(z) = (¡y ¡ ln
p
x2 + y2) + i
³
x ¡ arctan
y
x
´
, x > 0.
Tomando em consideração que x > 0 tem-se ln
p
x2 + y2 +i arctan
y
x
= ln jzj+iargz =
ln z , apresentamos f(z) na forma seguinte:
f(z) = iz ¡ ln z , Rez > 0.
32 Beira, Agosto de 2011
0.3.5 Tarefas
1) Calcule as derivadas das seguintes funções:
(a) f(z) = 1 ¡ z2 + 4iz5 ;
(b) f(z) = (z2 ¡ 3)5(iz + 3)2 ;
(c) f(z) =
3i ¡ (1 ¡ i)z2
2z3 ¡ iz2 + 3i
.
2) Use as equações de Cauchy-Riemann para verificar a analiticidade das seguintes funções
e, usando as derivadas parciais calculadas, determine a derivada dessa função:
(a) f(z) = z2 ¡ 2z ;
(b) f(z) = (ey + e¡y) sin x + i(ey ¡ e¡y) cos x;
(c) f(z) =
1
z
.
3) Mostre que as seguintes funções não são analíticas em ponto algum:
(a) w = x2y2 + 2ix2y2 ;
(b) w = eiz ;
(c) w = exy ¡ e¡xy + ixy .
4) Verificar, se são analíticas as funções:
(a) f(z) = jzj:Rez ;
(b) f(z) = (z + 1 ¡ i)3 ;
(c) f(z) = z:Im(z2 ¡ i).
(d) f(z) = z: cos(2z + i).
5) Mostre que as equações de Cauchy-Riemann são equivalentes a
@f
@x
= ¡i
@f
@y
ou @f
@y
=i
@f
@x
.
6) Mostre que as seguintes funções são inteiras:
(a) f(z) = 4 + x ¡ 3(x2 ¡ y2) + iy(1 ¡ 6x);
(b) f(z) = eiz ;
(c) f(z) = x(x2 ¡ 3y2 + 7) + iy(3x2 ¡ y2 + 7).
7) Provar que as funcções u(x; y) representam partes reais e as v(x; y) partes imaginárias de
certas funções analíticas e obter essas funções de modo que sejam satisfeitas as condições
indicadas:
(a) u(x; y) = 2(x2 ¡ y2), f(0) = 0;
(b) u(x; y) = x2 ¡ y2 + 5x + y ¡
y
x2 + y2 , f(i) = ¡1 + 5i;
(c) v(x; y) = 2x2 ¡ 2y2 + x, f(0) = 0;
(d) v(x; y) = 3 + x2 ¡ y2 ¡
y
2(x2 + y2)
, f(1) =
1
2
+ 4i .