VARIABLE COMPLEJA Y ANÁLISIS FUNCIONAL
(Curso 2001-2002)
HOJA 5
Ejercicio 1. Calcula:
R ∞ cos ax
a) −∞ x2 +b2
dx (a, b > 0);
Solución:
Z ∞ Z ∞
cos ax eiax
dx = Re dx
−∞ x2 + b2 −∞ x2 + b2
La integral que estamos considerando es convergente en toda la recta real
porque x2 + b2 6= 0 (x es una variable real) y el integrando es una función
continua y está acotada por:
¯ cos ax ¯ 1
¯ ¯
¯ 2 ¯ ≤
x + b2 x2
1
siendo x2
una función integrable cuando x tiende hacia −∞ y hacia ∞.
Tomamos la función de variable compleja:
eiaz
f (z) =
z 2 + b2
y se toma el semidisco DR del semiplano superior acotado por el intervalo
[−R, R] en el eje real y la semicircunferencia ΓR de radio R y centro 0 en el
semiplano superior.
iaz
Integramos la función f (z) = ze2 +b2 en la frontera de DR (∂DR ), orientada
positivamente. Para ello aplicamos el Teorema del Residuo. La función tiene
un único polo en el interior de ∂DR , un polo simple, z = bi.
e−ba
Res(f, bi) =
2bi
Ası́,
Z Z R Z
eiaz eiax
2πiRes(f, bi) = dz = dx + f (z)dz
∂DR b2 + z 2 −R x2 + b2 ΓR
1
Z
eiaz e−ba e−ba
dz = 2πiRes(f, bi) = 2πi = π
∂DR b2 + z 2 2bi b
Se tienen las siguientes acotaciones:
|eiaz | = e−aImz ≤ 1, porque a > 0 e Imz ≥ 0, para z ∈ ΓR
y
|z 2 + b2 | ≥ |R2 − b2 |, para z ∈ ΓR
Por lo tanto: ¯Z ¯
¯ ¯ πR
lı́m ¯ f (z)dz ¯ ≤ lı́m =0
R→∞ ΓR R→∞ |R2 − b2 |
Cuando R → ∞: Z ∞
π −ba eiax
e = dx
b −∞ x2 + b 2
Finalmente: Z ∞
cos ax π
2 2
dx = e−ba
−∞ x +b b
Z ∞
sen2 x
b) dx
0 x2 (1 + x2 )
Solución:
Z ∞ Z ∞
sen2 x 1 sen2 x
2 2
dx = dx
0 x (1 + x ) 2 −∞ x2 (1 + x2 )
La integral que estamos considerando es convergente en toda la recta real
porque x = 0 es una singularidad evitable y el integrando es una función
continua y está acotada por:
¯ sen2 x ¯ 1
¯ ¯
¯ 2 2
¯≤ 4
x (1 + x ) x
1
siendo x4
una función integrable cuando x tiende hacia −∞ y hacia ∞.
Z ∞ Z ∞ Z ∞
sen2 x sen2 x sen2 x
dx = dx − dx
−∞ x2 (1 + x2 ) −∞ x2 −∞ x2 + 1
2
R∞ sen2 x
Para calcular −∞ x2
tomamos la función de variable compleja:
(e2iz − 1)
f (z) =
z2
y se toma el dominio D que es un semidisco del semiplano superior de radio
R, salvando la singularidad en z = 0 con una semicircunferencia γε de radio
ε. Como f es una función holomorfa en D, por el Teorema de Cauchy se
tiene: Z
f (z)dz = 0
∂D
Esta integral se descompone en la suma de cuatro integrales, de ε a R a lo
largo del eje real positivo, alrededor del contorno semicircular ΓR de radio R
en sentido directo, de −R a −ε a lo largo del eje real negativo y alrededor
del contorno semicircular γε de radio ε en sentido inverso:
Z Z R 2ix Z
(e − 1) (e2iz − 1)
f (z) = dx + dz+
∂D ε x2 ΓR z2
Z −ε 2ix Z
(e − 1) (e2iz − 1)
+ dx + dz = 0
−R x2 γε z2
Si R → ∞: ¯Z ¯
¯ ¯ 2 2πR
¯ f (z)dz ¯ ≤ πR 2 ≤ 2 −→ 0
ΓR |R | R R→∞
porque |e2iz − 1| ≤ e−2Imz + 1 ≤ 2
Cuando R → ∞:
Z ∞ 2ix Z −ε 2ix Z
(e − 1) (e − 1) (e2iz − 1)
dx + dx + dz = 0
ε x2 −∞ x2 γε z2
El desarrollo de Laurent de f (z) en 0 es:
∞
e2iz − 1 X (2i)n n−2
f (z) = = z =
z2 n=1
n!
X∞
2i (2i)n+2 n
= −2+ z
z n=1
(n + 2)!
3
La parte no singular por ser holomorfa tiene una cota M independiente de ε
de forma que
M long(γε ) −→ 0
ε→0
Tomando la parametrización γε (θ) = εeiθ , θ ∈ [π, 0]:
Z Z 0
1 1
dz = iθ
εieiθ dθ = −πi
γε z π εe
Luego, Z
lı́m f (z)dz = 2π
ε→0 γε
y por tanto, Z Z
∞ 0
e2ix − 1 e2ix − 1
dx + dx + 2π = 0
0 x2 −∞ x2
y si tomo la parte real de la integral se tiene:
Z ∞
cos2x − 1
dx + 2π = 0
−∞ x2
y concluimos que
Z ∞ Z ∞
sen2 x 1 1 − cos(2x)
dx = dx = π
−∞ x2 2 −∞ x2
R∞ sen2 x
Para calcular −∞ x2 +1
dx, como
Z ∞ Z ∞ Z ∞
sen2 x 1 dx 1 cos2x
2
dx = 2
− dx
−∞ x +1 2 −∞ x +1 2 −∞ x2 + 1
Y sabemos que:
Z ∞
dx
= arctg(∞) − arctg(−∞) = π
−∞ x2 +1
4
R∞
Sólo tenemos que calcular −∞ cos2x x2 +1
dx. Para ello tomamos el semidisco DR
del semiplano superior acotado por el intervalo [−R, R] en el eje real y el
contorno semicircular ΓR de radio R en el semiplano superior. Se integra la
e2iz
función 1+z 2 en ∂DR . La función tiene un único polo en el semiplano superior,
un polo simple en i, cuyo residuo es:
³ e2iz ´ e−2
Res , i =
1 + z2 2i
Ası́, Z
e2iz
dz = πe−2
∂DR 1 + z2
Como |e2iz | ≤ 1 en el semiplano superior:
¯Z e2iz ¯ 1
¯ ¯
¯ 2
dz ¯ ≤ 2 πR −→ 0
ΓR 1 + z R −1 R→∞
De nuevo: Z Z Z
R
e2iz e2ix e2iz
dz = dx + dz
∂DR 1 + z2 −R 1 + x2 ΓR 1 + z2
Pasando al lı́mite de R → ∞, se obtiene:
Z ∞ 2ix
e
2
dx = πe−2
−∞ 1 + x
Y por tanto:
Z ∞
sen2 x π 1 π
2
dx = − Re(πe−2 ) = (1 − e−2 )
−∞ x +1 2 2 2
Finalmente: Z ∞
sen2 x π
2 2
dx = (1 + e−2 )
0 x (1 + x ) 4
Z ∞
x
c) dx
0 1 + x6
5
Solución:
Tomamos la función de variable compleja:
z
f (z) =
1 + z6
y se toma el sector circular SR del semiplano superior acotado por el intervalo
π
[0, R] en el eje real, el segmento γ = [e 3 i , 0] y el arco de circunferencia ΓR de
radio R, centro 0 y ángulo π3 en el semiplano superior.
z
Integramos la función f (z) = 1+z 6 en la frontera de SR (∂SR ), orientada
positivamente. Para ello aplicamos el Teorema del Residuo.
Las raı́ces de z 6 + 1 son:
π
z = e 6 i(2k+1) , k = 0, .., 5
π
La función tiene un único polo en el interior de ∂SR , un polo simple, z = e 6 i .
√
π 1 + 3i
Res(f, e 6 i ) = −
12
Por lo tanto:
Z Z Z R Z
πi
f (z)dz = f (z)dz + f (x)dx + f (z)dz = 2πiRes(f, e 6 )
∂SR ΓR 0 γ
π
Tomando la parametrización γ(t) = tei 3 , t ∈ [R, 0]
Z Z R π Z R
te 3 i π
i 2πi t
f (z)dz = − 6 2πi
e 3 dt = −e 3 6
dt
γ 0 1+t e 0 1+t
Además,
¯Z z ¯ R2 π
¯ ¯
lı́m ¯ dz ¯ ≤ lı́m =0
R→∞ ΓR 1 + z6 R→∞ 3|R6 − 1|
Cuando R tiende a infinito se obtiene:
Z ∞
2πi πi
(1 − e )3 f (x)dx = 2πiRes(f, e 6 )
0
6
Z ∞
x π
dx = √
0 1 + x6 3 3
Z ∞
logx
d) dx
0 1 + x2
Solución:
Se define G = C − [0, +∞).
log 2 z
La función f (z) = 1+z 2
, con 0 < argz < 2π, es holomorfa en G.
Consideramos que la semirrecta tiene un borde superior y un borde inferior,
y se extiende por continuidad a cada uno de estos bordes, definiendo con
argz = 0 al borde superior y con argz = 2π al borde inferior.
Para ε > 0 pequeña y R > 0 grande, se consideran los puntos z del dominio
D ⊂ C − [0, +∞) que satisfacen ε < |z| < R. La función f (z) tiene dos polos
simples en D, z = i y z = −i. Se calculan sus residuos correspondientes:
π2
Res(f, i) = i ;
8
9
Res(f, −i) = − π 2 i;
8
Aplicando el Teorema del Residuo:
Z ³ iπ 2 9π 2 i ´
f (z)dz = 2πi − = 2π 3
∂D 8 8
La integral a lo largo de ∂D se descompone en la suma de cuatro integrales:
Z Z R Z Z R Z
log 2 x (logx + 2πi)2
f (z)dz = 2
dx + f (z)dz − dx + f (z)dz
∂D ε 1+x ΓR ε 1 + x2 γε
Además: ¯Z ¯
¯ ¯ |logR + 2π|2
lı́m ¯ f (z)dz ¯ ≤ lı́m 2πR =0
R→∞ ΓR R→∞ |R2 − 1|
¯Z ¯ |logε + 2π|2
¯ ¯
lı́m ¯ f (z)dz ¯ ≤ lı́m 2πε =0
ε→0 γε ε→0 |1 − ε2 |
7
Tomando R → ∞ y ε → 0:
Z +∞ Z +∞
3 log 2 x log 2 x + 4πilogx − 4π 2
2π = dx − dx =
0 1 + x2 0 1 + x2
Z ∞ Z ∞
2 dx logx
= 4π 2
− 4πi dx
0 1+x 0 1 + x2
Como las dos integrales anteriores son reales y el resultado final también lo
es, se deduce que la parte imaginaria anterior es idénticamente nula:
Z ∞
logx
dx = 0
0 1 + x2
Ejercicio 2. Calcula la suma de las series:
∞
X 1
a) , (a ∈ (0, 1));
n=−∞
(n + a)2
Solución:
1 πcotgπz
Sea f (z) = (z+a)2
y h(z) = z
.
Los polos de h son:
z = 0 (de orden 2)
z ∈ Z(z 6= 0), (de orden 1)
Sea CN , N ∈ N, el borde del cuadrado de vértices:
³ 1´ ³ 1´
± N+ (1 + i) y ± N + (1 − i)
2 2
Por el Teorema del Residuo:
Z XN
πcotgπz
= 2πi(Res(h, 0) + Res(h, n));
CN z n=−N
n6=0
8
(z − n)cotg(πz) (z − n)cosπz 1
Res(h, n) = lı́m π = π lı́m =
z→n z z→n z sen πz n
Luego:
Z ³ 1´
XN
πcotgπz
= 2πi Res(h, 0) + = 2πiRes(h, 0)
CN z n=−N
n
n6=0
El desarrollo de h en serie de Laurent en 0 es de la siguiente forma:
X∞
b−2 b−1
h(z) = 2 + + b0 + bk z k
z z k=1
La función h es par, entonces
∞
X
0 = h(z) − h(−z) = 2 b2k+1 z 2k+1
k=−1
Entonces todos los coeficientes impares del desarrollo de h en serie de Laurent
en 0 son nulos, en particular:
b−1 = Res(h, 0) = 0
Entonces: Z
πcotgπz
= 2πiRes(h, 0) = 0
CN z
Usando este resultado:
Z Z ³
πcotgπz 1 a0 ´
2
dz = πcotgπz − dz
CN (z + a) CN (z + a)2 z
³ ´
Desarrollamos z1 f z1 en serie de Laurent en 0:
³ ´
1 1
z
f z
está acotada en |z| < R1 que es equivalente a decir que zf (z) está aco-
tado en |z| > R, ésto es ası́ porque
zf (z) −−−→ 0
z→∞
9
lo que significa que está acotado en un entorno de infinito.
z = 0 es una singularidad evitable de f , por ser f una función holomorfa y
acotada cerca de 0.
Por ser una singularidad evitable, la serie de Laurent de la función f en 0 no
tiene parte singular:
1 ³1´ 1
f = a0 + a1 z + .... en |z| <
z z R
Entonces el desarrollo de Laurent en infinito de la función f (z) es:
a0 a1 a2
f (z) = + 2 + 3 + .... en |z| > R
z z z
a0 a1 1³ a2 ´
f (z) − = 2 + .... = 2 a1 + + ... en |z| > R
z z z z
³ a2 ´
lı́m a1 + + ... = a1
z→∞ z
Por tanto, ¯
¯ a0 ¯¯ M
¯f (z) − ¯ ≤ 2 en |z| > R
z |z|
De todo lo anterior se tiene que:
¯ Z πcotgπz ¯ M
¯ ¯
¯ 2
¯ ≤ 2 π8(N + 1) Sup |cotgπz|
CN (z + a) N z∈CN
¯ cosπz ¯ ¯ eiπz + e−iπz ¯
¯ ¯ ¯ ¯
|cotgπz| = ¯ ¯ = ¯ iπz −iπz
¯=
senπz e −e
¯ e2πiz + 1 ¯ ¯ e2πiz + 1 + 1 − 1 ¯ 2 + |e2πiz − 1| 2
¯ ¯ ¯ ¯
= ¯ 2πiz ¯=¯ ¯ ≤ = +1
e −1 e2πiz − 1 |e2πiz − 1| |e2πiz − 1|
1
Si se prueba que |e2πiz − 1| ≥ 2
en CN tendremos que:
2
|cotgπz| ≤ +1≤1+4=5
|e2πiz − 1|
10
Y obtenido esto tendremos que:
Sup |cotgπz| ≤ 5
z∈CN
y entonces ¯Z
¯ πcotgπz ¯¯
¯ ¯ −−−→ 0
CN (z + a)2 N →∞
1
Veamos entonces que en efecto |e2πiz − 1| ≥ 2
en CN :
Para: ³ 1´ h ³ 1´ 1i
z =t± N + i t∈ − N+ ,N +
2 2 2
1
e2πiz = e2πit e±2π(N + 2 )
1 3
|e2πiz | = |e±2π(N + 2 ) | ≥
2
1
|e2πiz − 1| ≥
2
Para: ³1´ h 1´ ³ 1i
z=± N+ + ti, t∈ − N+ ,N +
2 2 2
1
e2πiz = e±2πi(N + 2 ) e−2πt = e±πi e−2πt = −e−2πt < 0
Al ser un valor negativo dista de 1 más de 12 :
1
|e2πiz − 1| ≥
2
Finalmente: Z
πcotgπz
dz =
CN (z + a)2
h X
N i
= 2πi Res(πf (z)cotgπz, n) + Res(πf (z)cotgπz, −a)
n=−N
11
Cuando N → ∞:
∞
X
Res(πf (z)cotgπz, n) = −Res(πf (z)cotgπz, −a)
n=−∞
Llamamos g(z) = πcotgπz:
π2
Res(g, −a) = g 0 (−a) = −
(senπa)2
Entonces: ∞
X π2
Res(πf (z)cotgπz, n) =
n=−∞
(senπa)2
Y este resultado es posible porque a ∈ (0, 1), por tanto, el denominador no
se anula.
Además,
³ πcotgπz ´ (z − n)cosπz
Res 2
, n = π lı́m =
(z + a) z→n (z + a)2 senπz
πcosnπ 1
= =
(n + a)2 πcosnπ (n + a)2
El resultado final es:
∞
X 1 π2
=
n=−∞
(n + a)2 (senπa)2
∞
X 1
b) ;
n=0
(2n + 1)2
Solución:
12
En este ejercicio se va a utilizar el resultado obtenido en el apartado anterior
∞
X ∞
1 1 X 1
=
n=0
(2n + 1)2 2 n=−∞ (2n + 1)2
La igualdad anterior es cierta porque:
−1
X X ∞ X ∞ X ∞
1 1 1 1
2
= 2
= 2
=
n=−∞
(2n + 1) n=1
(−2n + 1) n=1
(2n − 1) n=0
(2n + 1)2
De esta forma:
∞
X ∞ ∞
1 1 X 1 1 X 1
4 π2
= = =
n=0
(2n + 1)2 2 n=−∞ (2n + 1)2 2 n=−∞ (n + 12 )2 8
∞
X 1 π2
=
n=0
(2n + 1)2 8
X∞
1
c) ;
n=1
n2
Solución:
En este ejercicio se aplica el resultado obtenido en el apartado a)
X∞ X∞ ∞
X ∞
1 1 1 π2 1 X 1
= + = +
n=1
n2 k=0
(2k + 1)2 k=1 (2k)2 8 4 k=1 k 2
∞
3X 1 π2
=
4 n=1 n2 8
X∞
1 π2
=
n=1
n2 6
13
Ejercicio 3. Para cada R > 0 sea ΓR el borde del rectángulo de vértices
π,
R −π,zπ + iR y −π + iR recorrido en sentido directo. Utiliza la integral
ΓR 1−e−iz
dz para calcular
Z π
xsenx
dx
0 2 − 2cosx
Solución:
z
La función f (z) = 1−e−iz
tiene una única singularidad, que es evitable, en
z = 0 ya que:
z 1 1
lı́m = lı́m =
z→0 1 − e−iz z→0 ie−iz i
Además:
e−iz = 1 ⇔ −iz = 2kπi, k ∈ Z ⇔ z = 2kπ, k∈Z
Entonces: Z Z π
z x
0= −iz
dz = −ix
dx+
ΓR 1 − e −π 1 − e
Z R Z R Z
π + ix −π + ix z
+ i −i(π+ix)
dx − i −i(−π+ix)
dx + −iz
dz
0 1−e 0 1−e γR 1 − e
donde γR es el segmento [−π + iR, π + iR].
Z Z π
z x
0= −iz
= −ix
dx+
ΓR 1 − e 0 1−e
Z Z R³ Z
0
t π + ix −π + ix ´ z
+ −it
dt + i x
− x
dx + −iz
dz =
−π 1−e 0 1+e 1+e γR 1 − e
Con el cambio de variable: x = −t, dx = −dt, se tiene:
Z 0 Z π
t −x
−it
dt = ix
dx
−π 1−e 0 1−e
14
Entonces,
Z Z π Z π
z x −x
0= = dx + dx+
ΓR 1 − e−iz 0 1 − e−ix 0 1 − eix
Z R Z
dx z
+2πi + =
0 1 + ex
γR 1 − e
−iz
Z π ³
1 1 ´
= x − dx+
0 1 − e−ix 1 − eix
Z R Z
dx z
+2πi x
+ −iz
=
0 1+e γR 1 − e
Z π Z R Z
xsen(−x) dx z
=i dx + 2πi x
+ −iz
0 1 − cosx 0 1+e γR 1 − e
R z
Se tiene que lı́mR→∞ γR 1−e−iz
= 0, entonces:
³ Z π
xsen(−x)
Z R
dx
Z
z ´
lı́m i dx + 2πi x
+ −iz
=
R→∞ 0 1 − cosx 0 1+e γR 1 − e
³ Z π xsenx Z ∞
dx ´
=i − dx + 2π =0
0 1 − cosx 0 1 + ex
Y por tanto,
Z π Z ∞
xsenx dx
dx = 2π
0 1 − cosx 0 1 + ex
Haciendo el cambio de variable: ex = t, tdx = dt se tiene:
Z ∞ Z ∞
dx dt
x
= =
0 1+e 1 t(1 + t)
³Z R
dt
Z R
dt ´
= lı́m − =
R→∞ 1 t 1 1+t
³ R ´
= lı́m ln + ln(2)
R→∞ 1+R
15
Z ³
∞
dx R ´
= lı́m ln + ln(2) =
0 1 + ex R→∞ 1+R
Por ser el logaritmo una función continua:
³ R ´
= ln lı́m + ln(2) = ln(2)
R→∞ 1 + R
Finalmente: Z π
xsenx
dx = πln(2)
0 2 − 2cosx
Ejercicio 4. ¿Existe una función holomorfa del disco D = D(0; 1) en él
mismo con f ( 12 ) = 43 y f 0 ( 12 ) = 23 ?
Solución:
En este ejercicio se aplica el siguiente resultado:
f : D → C holomorfa, tal que |f (z)| ≤ 1, a ∈ D,
α = f (a) (α ∈ D salvo que f sea constante) entonces
1 − |α|2
|f 0 (a)| ≤
1 − |a|2
Supongamos que existe una función holomorfa que cumple las condiciones
del enunciado,por el resultado anterior se cumplirı́a:
2 1 − |f (a)|2 7
≤ 2
=
3 1−a 12
Se llega a una contradicción, por tanto, no existe ninguna función holomorfa
del disco D = D(0; 1) en él mismo con f ( 21 ) = 34 y f 0 ( 12 ) = 32
16
−
Ejercicio 5. Supongamos que f es holomorfa en un entorno del disco D(0; 1)
y |f (z)| = 1 si |z| = 1 y supongamos que f tiene un cero simple en z = 14 (1+i)
y un cero doble en z = 21 .¿Puede ser f (0) = 12 ?
Solución:
−
Si f : G → C es una función holomorfa, donde D(0; 1) ⊂ G y |f (z)| = 1 si
|z| = 1, veamos primero cómo ha de ser la expresión de esta función:
Por hipótesis: f (∂D) = ∂D
f puede ser constante(no se va a tener en cuenta) ó f : D → D, por el
Principio del Módulo Máximo y el Teorema de la Aplicación Abierta.
1
Salvo que f sea constante , si f no se anula , entonces f
: D → C holomorfa
y ¯1 ¯
¯ ¯
¯ (z)¯ = 1, ∀z ∈ ∂D
f
Por el Principio del Módulo Máximo, f1 : D → D y se llega a una contradicción
porque si f : D → D entonces f1 manda un punto que está en el interior del
1
disco a un punto exterior y por tanto para |z| < 1, |f (z)| > 1.
Por tanto, f se anula en D(salvo f constante).
En a1 , .., an se tiene f (ai ) = 0, i = 1, .., n.
El número de ceros es finito porque si hubiese infinitos ceros, habrı́a un punto
de acumulación (Teorema de Weierstrass) dentro de G, tal vez en la frontera
de D y por el Principio de Identidad, f serı́a idénticamente nula.
Se considera
f (z)
H(z) = ,
ϕa1 (z)...ϕan (z)
z−a
donde ϕa (z) = − con |a| < 1, es una transformación de Möbius.
1− az
H es una función holomorfa en D, ya que sus singularidades en a1 , ..., an son
evitables y además
|f (z)|
|H(z)| = =1 si |z| = 1
|ϕa1 (z)|...|ϕan (z)|
Como |H(z)| = 1 si |z| = 1 y H no se anula ⇒ H(z) = c (|c| = 1). Esto es
ası́ por el siguiente resultado:
17
−
”G ⊂ C abierto acotado. f : G → C holomorfa, f : G → C continua,
tal que |f (z)| = c ∀z ∈ ∂G, entonces f es constante ó f tiene un
cero en G.”
Por tanto la expresión de f (z) es de la forma:
f (z) = cϕa1 (z)...ϕan (z)
En nuestro caso:
f (z) = cϕ 1+i (z)[ϕ 1 (z)]2 ϕa4 (z)...ϕan (z)
4 2
³ −1 + i ´³ −1 ´2
f (0) = c (−a4 )...(−an )
4 2
Como |c| = 1, |ai | ≤ 1, i = 4, ..., n:
√ √
21 2
|f (0)| = |a4 |...|an | <
4 4 16
1
Por tanto,
√
f (0) no puede valer 2
ni ningún valor que tenga módulo mayor
2
que 16 .
Ejercicio 6. Sea u una función armónica en Ω. Sean a ∈ Ω y R > 0 tales
−
que D(a; R) ⊂ Ω. Demuestra que
ZZ
1
u(a) = u(x, y)dxdy
πR2 −
D(a;R)
Solución:
Para resolver este ejercicio se aplicará el Teorema del Valor Medio:
18
−
u : G → R armónica, D(a; R) ⊂ G entonces
Z 2π
1
u(a) = u(a + reiθ )dθ
2π 0
Hacemos un cambio de variable a coordenadas polares:
x = a + ρcosθ
y = a + ρsenθ
Entonces:
ZZ Z R ³Z 2π ´
−
u(x, y)dxdy = ρu(a + ρcosθ, a + ρsenθ)dθ dρ =
D(a;R) 0 0
Z R ³Z 2π ´ Z R
iθ R2
= ρu(a + ρe )dθ dρ = 2πu(a) ρ = 2πu(a)
0 0 0 2
Entonces: ZZ
1
u(x, y)dxdy = u(a)
πR2 −
D(a;R)
19
