Math.

Methods FIS-245 Primera Tarea

O. Castillo-Felisola 21 de marzo de 2023

1. Condiciones de Cauchy–Riemann en coordenadas polares

La condiciones de Cauchy–Riemann son las relaciones que una función f de una variable
compleja, z, debe satisfacer para que la derivada f ′ exista.
En las clases derivamos dichas condiciones usando la representación Cartesiana de la
variable compleja, z = x + ıy, y de la función, f = u + ıv. Sin embargo, el resultado
puede ser generalizado para el caso en que usamos las representación polar de los números
y funciones complejas.
El propósito de este ejercicio es encontrar dicha generalización.
Considere la función,
f (reıθ ) = R(r, θ)eıΘ(r,θ) ,
donde R y Θ son funciones diferenciables en las variables r y θ.
(a) Muestre que las condiciones de Cauchy–Riemann en coordinadas polares son

∂R R ∂Θ 1 ∂R ∂Θ
= , = −R .
∂r r ∂θ r ∂θ ∂r

(b) Muestre que la función Θ(r, θ) satisface la ecuación de Laplace dos-dimensional en

coordenadas polares,
∂ 2 Θ 1 ∂Θ 1 ∂ 2Θ
+ + = 0.
∂r2 r ∂r r2 ∂θ2
2. Un acercamiento a los polinomios de Legendre
Como veremos en el módulo siguiente del curso, los polinomios de Legendre son un
conjunto de funciones que pueden ser utilizados como vectores ortogonales base, para
funciones definidas en el intervalo [−1, 1] ∈ R. Esta propiedad hace que sean de gran
utilidad para la resolución del problema de Laplace, ∇2 Φ = 0, cuando el sistema consi-
derado posee simetría azimutal.
En este problema encontraremos una representación integral de los polinomios de Le-
gendre, en términos de una variable compleja, z.
(a) Con la ayuda de la fórmula binomial, muestre que para cada valor de la variable n,
la función
1 1 dn 2 n
Pn (z) = n n (z − 1) , n ∈ N,
2 n! dz
es un polinomio de grado n.
(b) Denotemos por C un contorno simple orientado positivamente que rodea a un punto
fijo z. Use la representación integral de la n-ésima derivada de una función (Cauchy),
para mostrar que los polinomios en la parte a se pueden expresar como
n
(s2 − 1)
Z
1
Pn (z) = n+1 ds n ∈ N.
2 πı C (s − z)n+1
Math. Methods FIS-245 Primera Tarea(Continued)

(c) Use la fórmula integral de Cuchy para mostrar que para todo valor n ∈ N

Pn (1) = 1.

Similarmente, muestre que

Pn (−1) = (−1)n .

3. Un acercamiento a las funciones de Bessel

Como en el problema anterior, las funciones de Bessel forman una base vectorial ortogonal
de un espacio de funciones. Estas funciones aparecen naturalmente como las soluciones
radiales en problemas con simetría circular o cilíndrica.
En este problema definiremos las funciones de Bessel como los coeficientes de la expansión
de una función (función generatriz o generadora), y encontraremos una representación
integral de dichos coeficientes.
(a) Sea z un número complejo, y C el contorno circular unitario—w = eıθ con −π ≤
θ ≤ π—en el plano w. Use la expresión para los coeficientes de la expansión de
Laurent, en torno del origen del plano w, para mostrar que
   ∞
z 1 X
exp w− = Jn (z) wn |w|∈ (0, ∞)
2 w n=−∞

donde Z π
1
Jn (z) = dθ exp (−ı (nθ − z sin(θ))) .
2π π

(b) Use las simetrías del integrando para mostrar que los coeficientes de la parte a se
pueden escribir como
1 π
Z
Jn (z) = dθ cos (nθ − z sin(θ)) .
π 0

4. Sobre las expansión en series de Fourier

Como ya deben saber, las series de Fourier nos permiten expresar una función periódica
como una suma (probablemente infinita) de funciones seno y coseno. Es la misma idea
de expresar un vector en términos de una base vectorial.
Si permitimos que las funciones seno y coseno admitan como argumento una variable
compleja, la noción de expansión en series de Fourier se extiende al plano complejo.
En este problema expresaremos una función analítica sobre un dominio anular en térmi-
nos de una serie de Laurent en potencias de z, y además restringiremos el resultado a la
parte real de dicha función.
(a) Sea f (z) una función analítica en un dominio anular entorno del origen de plano
complejo, que incluye al circulo unitario z = eıθ (−π ≤ θ ≤ π). Use dicho contorno

Page 2
Math. Methods FIS-245 Primera Tarea(Continued)

como contorno de integración en la expresión para los coeficientes en la expansión

en series de Laurent en la variable z, para mostrar que
Z π ∞ Z  ıθ n 
1 X π
 
1 ıθ ıθ z n e
f (z) = dθ f (e ) + dθ f (e ) ıθ
+ ,
2π −π 2π n=1 −π e z

cuando z es un punto en el dominio anular.

(b) Escriba u(θ) = Re[f (eıθ )] y muestre como a partir de la expansión en la parte a se
sigue que
Z π ∞ Z
1 1X π
u(θ) = dϕ u(ϕ) + dϕ u(ϕ) cos (n(θ − ϕ)) .
2π −π π n=1 −π

Este último resultado es una forma de escribir la expansión en series de Fourier

para la función (en variable real) u(θ) en el intervalo −π ≤ θ ≤ π. La restricción
sobre u(θ) son mas severas que las necesarias para que pueda ser representada por
una series de Fourier.
5. Polos y residuos: una función muy especial
(a) Muestre que las funciones cot(πz) y csc(πz) tienen polos simples en cada valor z = n
con n ∈ Z, y que sus residuos están dados por
1 (−1)n
res cot(πz) = , res csc(πz) = .
z=n π z=n π
(b) Muestre que si f no tiene ceros sobre el eje real, entonces
res πf (z) cot(πz) = f (n), res πf (z) csc(πz) = (−1)n f (n).
z=n z=n

(c) Finalmente, muestre que el valor de la función zeta de Riemann en z = 2 viene

dada por la expresión,
1 1 1 π2
ζ(2) = 1 + 2 + 2 + 2 + · · · = ,
2 3 4 6
al integrar la función z −2 cot(πz) en un contorno cuadrado de lado 2N + 1, que está
centrado en el origen (N es un numero entero grande), y tomando el límite N → ∞.
El cálculo del valor ζ(2) es conocido como el problema de Basel, y la solución fue encon-
trada por Leonard Euler en 1734. Una interpretación interesante del problema se puede
encontrar en un vídeo de 3blue1brown en Youtube, aquí.
6. EvaluaciónR de una integral real con un polo real
∞
Muestre que 0 dx x−1 sin x = π2 , al integrar la función f (z) = zeız en un contorno
cerrado C compuesto por dos porciones sobre el eje real, una de ellas desde −R a −ϵ
y la otra desde −ϵ a R (con ϵ ∈ (0, R)), conectados por dos semi-circunferencias en el
semi-plano superior (i.e. con Im(z) positivo) de radios ϵ y R respectivamente. Concluya
tomando los límites ϵ → 0 y R → ∞.

Page 3
Math. Methods FIS-245 Primera Tarea(Continued)

7. Suma de frecuencias de Matsubara

En mecánica estadística y en teoría (cuántica) de campos, la función partición de un
sistema, Z[β] = Tr e−βH , codifica la información necesaria para obtener las cantidades
relevantes que lo caracterizan.
En teoría (cuántica) de campos a temperatura finita, la función partición para un campo
bosónico viene dada por  
1
Z[β] = exp Tr ln ∆F ,
2
1 2πn
donde ∆F (ωn ) = 2,
ω 2 −ωn
para ωn = β
.
Siga los pasos a continuación para encontrar la energía libre del sistema.
(a) Averigüe como se define la energía libre de un sistema si se conoce la función de
partición.
(b) Dado que la expresión es un tanto complicada, podemos utilizar el truco de tomar
la derivada de Z con respecto a ω, para encontrar una expresión mas simple.
(c) Evalúe la suma usando la relación entre la suma y la integración en el plano com-
plejo.
(d) Finalmente integre con respecto a ω para obtener la expresión para la energía libre.

Fecha de entrega: lunes 17 abril, 2023.

Page 4