CAPÍTULO 2

Teoremas de Phragmén-Lindelöf

En este capítulo vamos a ver algunas extensiones del principio del módulo
máximo, debidas a Phragmén y Lindelöf, en las que los requerimientos acerca
de la acotación en la frontera del dominio se debilitan.

2.1 Teorema de Phragmén-Lindelöf en un simplemen-

te conexo
El siguiente teorema generaliza la versión del principio del módulo máximo
dada en el teorema 1.1.8, cambiando la condición de acotación en la frontera
ampliada por una condición sobre el crecimiento de la función en infinito.

Teorema 2.1.1 (Teorema de Phragmén-Lindelöf). Sea Ω un abierto simple-

mente conexo y sea f una función holomorfa en Ω. Supongamos que existen
una función holomorfa ϕ : Ω Ñ C acotada y que nunca se anula, y una
constante M tales que la frontera ampliada de Ω, B8 Ω, se puede poner como
la unión de dos conjuntos A y B de manera que

a) para cada a P A,
lı́m sup |f pz q| ¤ M ; (2.1)
z Ña
b) para cada b P B, y cada η ¡ 0,
lı́m sup |f pz q| |ϕpz q|η ¤ M. (2.2)
z Ñb

Entonces |f pz q| ¤ M para todo z P Ω.

Análisis Complejo (2017-2018)

2-2 Teoremas de Phragmén-Lindelöf

Demostración. Sea K tal que |ϕpz q| ¤ K para cada z P Ω. Como Ω es

simplemente conexo y ϕ no se anula, existe una determinación holomorfa
del logaritmo de ϕ en Ω, que denotamos log ϕ. Sea

F pz q  f pz q exppη log ϕpz qqK
η pz P Ω q.

La función F es holomorfa en Ω y

|F pz q|  |f pz q| |ϕpz q|η K
η ¤ |f pzq| pz P Ωq,

lo que, por la hipótesis a), implica que

lı́m sup |F pz q| ¤ M,
z Ña
para cada a P A, y, por la hipótesis b) implica que

lı́m sup |F pz q| ¤ M K
η ,
z Ñb
para todo b P B. Por el principio del módulo máximo, teorema 1.1.8,

|F pz q| ¤ máxpM, K
η M q pz P Ωq.
En consecuencia

|f pz q|  |F pz q| |ϕpz q|
η K η ¤ |ϕpzq|
η máxpM K η , M q p z P Ω q,

para cada η ¡ 0. Haciendo tender η a 0 se concluye la demostración.
En la práctica el teorema de Phragmén-Lindelöf no se usa directamente.
Se suele simplificar formulándolo en casos particulares, eligiendo en cada
caso una función auxiliar particular adecuada a la región que se considera.
Por este motivo algunos autores hablan del método de Phragmén-Lindelöf
para hacer referencia al método general que permite demostrar todos esos
resultados particulares.

2.2 Teoremas de Phragmén-Lindelöf para un sector

angular
El primer caso particular que vamos a considerar es el caso en que el
dominio es un sector angular.
Teorema 2.2.1. Sea a ¥ 1
2 y sea
! π)
Ω z PC: |arg z
θ0 |   .
2a
Supongamos que f es una función holomorfa en Ω y que existe una constante
M ¡ 0 tal que
lı́m sup |f pz q| ¤ M
z Ñw

Análisis Complejo (2017-2018)

2.2 Teoremas de Phragmén-Lindelöf para un sector angular 2-3

para todo w P BΩ. Si existen constantes positivas A, b y c, c   a, tales que

|f pz q| ¤ A exp pb|z |c q
para todo z con |z | suficientemente grande, entonces
|f pz q| ¤ M
para todo z P Ω.
Demostración. Podemos suponer, sin pérdida de generalidad, que θ0  0.
Sea c   d   a y sea ϕpz q  expp
bz d q para z P Ω1 . Si z  reiθ , con |θ|   2a
π
,
entonces Re z  r cos dθ y, por tanto,
d d


|ϕpz q|  exp
brd cos dθ .

Como d   a, se tiene que |dθ|   ad π2   π2 , luego

cos dθ ¥ cos ad π2  ρ ¥ 0
para todo z P Ω. En consecuencia ϕ está acotada en Ω. Además si η ¡0y
z  reiθ con r suficientemente grande





|f pz q| |ϕpz q|η ¤ A exp b rc
ηrd cos dθ ¤ A exp b rc
ηrd ρ ,

luego
lı́m sup |f pz q| |ϕpz q|η 0
z Ñ8
Para concluir la demostración es suficiente aplicar el teorema de Phragmén-
Lindelöf.

Teorema 2.2.2. Sea a ¥ 1

2 y sea
! π)
Ω z PC: |arg z
θ0 |  
.
2a
Supongamos que f es una función holomorfa en Ω y que existe una constante
M ¡ 0 tal que
lı́m sup |f pz q| ¤ M
z Ñw
para todo w P B Ω. Además, supongamos que para cada δ ¡ 0 existe una
constante P ¡ 0 tal que
|f pz q| ¤ P exp pδ |z |a q
para todo z con |z | suficientemente grande. Entonces
|f pz q| ¤ M
para todo z P Ω.
1
En este y en los restantes teoremas de esta sección, z α denota la determinación de la
función potencial correspondiente a los valores del argumento de z comprendidos entre
π
y π.

Análisis Complejo (2017-2018)

2-4 Teoremas de Phragmén-Lindelöf

Demostración. Como en la demostración anterior, podemos suponer, sin

pérdida de generalidad, que θ0  0. Para ε ¡ 0 sea F : Ω Ñ C la función
definida por
F pz q  f pz q exp p
εz a q .

Esta función es holomorfa en Ω y si z  reiθ P Ω, con |θ|   2aπ ,

|F pz q|  |f pz q| exp p
ε Re z a q  |f pz q| exp p
εra cos aθq ¤ |f pz q| .

Si δ es tal que 0   δ   ε, por hipótesis existe una constante P tal que si

x ¡ 0 es suficientemente grande

|F pxq| ¤ P exp ppδ
εqxa q .

Esta relación implica que |F pxq| Ñ 0 cuando x Ñ 8 en R, y por tanto

sup t|F pxq| : 0   x   8u   8.
Si denotamos por M1 al máximo de M y el anterior supremo y por Ω y por
Ω
a los conjuntos
! ) ! )
Ω  z P Ω : 0   arg z   2a
π
y Ω
 z P Ω : 0 ¡ arg z ¡
2a
π
,

se verifica que
lı́m sup |F pz q| ¤ M1
z Ñw
para cada w P B Ω Y B Ω
. Estos sectores angulares tiene amplitud 2a
π
y,
como 0   a   2a podemos aplicar el teorema anterior, a ambos sectores,
para concluir que
|F pz q| ¤ M1

para todo z P Ω Y Ω
y, por tanto para todo z P Ω.

Si M1 ¡ M entonces |F | alcanza su valor máximo en Ω en algún punto del
semi-eje real positivo x, lo que por el principio del módulo máximo implicaría
que la función F es constante. Esto implicaría a su vez que M ¥ M1 , lo
que contradice nuestra suposición de que M1 ¡ M . Por tanto M1  M . En
consecuencia,
|f pz q| ¤ M exp pε Re z a q pz P Ωq.
Como la anterior desigualdad es cierta cualquiera que sea ε ¡ 0, haciendo
tender ε a 0, se concluye que

|f pz q| ¤ M

para todo z P Ω.

Análisis Complejo (2017-2018)

2.2 Teoremas de Phragmén-Lindelöf para un sector angular 2-5

Ejemplo 2.2.3. Sea Ω el sector

 angular de los teoremas anteriores con θ0  0.
La función f pz q  exp z es holomorfa en Ω y |f pz q|  1 en la frontera de
a

Ω. Sin embargo, la función es claramente no acotada. De hecho


lı́m f reiθ   8,

r Ñ8
para todo θ, con |θ|   2aπ
. Esto demuestra que las condiciones sobre el
crecimiento de la función en infinito en los teoremas previos no pueden ser
mejoradas.
Lema 2.2.4. Sea a ¥ 1
2 y sea
! π)
Ω z PC: |arg z
θ0 |   .
2a
Supongamos que f es una función holomorfa y acotada en Ω y continua en
Ω. Si

lı́m f repθ0  2a qi  α,
π
(2.3)
r Ñ8
entonces f pz q Ñ α, cuando z Ñ 8, uniformemente en Ω.
Demostración. Podemos suponer, sin pérdida de generalidad, que θ0  0 y
α  0.
Comencemos suponiendo además que a ¥ 1. Por estar la función f
acotada, existe M ¡ 0 tal que |f pz q| ¤ M para todo z P Ω. Además, por
(2.3), dado ε ¡ 0,
π 
f re 2a i    ε

(2.4)
si r es mayor que un cierto r1 ¡ 0. Sea δ  r1M {ε, y sea
F pz q  f pz q p z P Ω q.
z
z δ
Como estamos suponiendo que a ¥ 1, para todo z P Ω se cumple que Re z ¥ 0,
luego

|F pz q|  a
|z| |f pz q| ¤ a
|z| |f pz q| ¤ |f pz q|
|z|2 2δ Re z δ2 |z|2 δ2

para cada z P Ω. De aquí se deduce que F está acotada, que

|F pz q| ¤
|z| M ¤ ε
δ
si |z | ¤ r1 . y, por (2.4), que

|F pz q| ¤ |f pz q| ¤ ε

si z  |z|e π
2a
i
con |z | ¥ r1 . Estas últimas desigualdades implican que

lı́m sup |F pz q| ¤ ε
z Ñw

Análisis Complejo (2017-2018)

2-6 Teoremas de Phragmén-Lindelöf

para todo w P BΩ. Como además F es acotada se deduce del teorema 2.2.1
que
|F pz q| ¤ ε pz P Ω q
y, por tanto, que 

|f pz q| ¤ |F pz q|   2ε
δ
1
|z|
si |z | ¡ δ.
Si a   1, basta aplicar la primera parte de la demostración a la función


g pz q  f z 2 , | arg z|   4a
π
.

Teorema 2.2.5. Sea a ¥ 1

2 y sea
! π)
Ω z PC: |arg z
θ0 |   .
2a
Supongamos que f es una función holomorfa y acotada en Ω y continua en
Ω. Si

lı́m f repθ0 2a qi  α
π

r Ñ8
y

lı́m f repθ0
2a qi  β,
π

r Ñ8
entonces α  β y f pz q Ñ α, cuando z
Ñ 8, uniformemente en Ω.
Demostración. Podemos suponer θ0  0. La función
 2
F pz q  f p z q
pα βq
1
2
es holomorfa y acotada en Ω y continua en Ω. Además

2
 α
β
lı́m F re
r Ñ8
π
2a
i
 2
y 
2
π  β
α
lı́m F re
2a i  .
rÑ8 2
Del lema previo se deduce que

2
β
α
F pz q ÝÝÝÑ
z Ñ8 2
uniformemente en z P Ω. Por tanto, dado ε ¡ 0, existe r1 ¡ 0 tal que, para
todo todo z P Ω con |z | ¥ r1

2 
β
α
p q
 f p z q
α f p z q
β    ε 2 .

    
F z 
 2 

Análisis Complejo (2017-2018)

2.3 Teorema de Phragmén-Lindelöf para bandas 2-7

Esto implica que si r ¥ r1, para cada θ, |θ|   2aπ , se da al menos una de las
dos desigualdades 
f reiθ
α ¤ ε
 
(2.5)
o 

β ¤ ε
f reiθ
 
(2.6)
Por otra parte, por hipótesis existe un r ¡ r1 tal que

f re i
α   ε
  π
2a

y
π 
f re
2a i
β    ε,
 

luego, por la continuidad de f , ha de existir un θ1 para el que se den las

desigualdades (2.5) y (2.6) simultáneamente, y, en consecuencia
 
|α
β | ¤ f reiθ1
α
β  ¤ 2ε.
f reiθ1
   

Como esta última relación es cierta cualquiera que sea ε ¡ 0, se deduce que
α  β. Para concluir la demostración es suficiente aplicar el lema anterior.

2.3 Teorema de Phragmén-Lindelöf para bandas

Haciendo uso de las transformaciones conformes adecuadas, podemos
establecer para otras regiones las correspondientes versiones de los teoremas
que acabamos de ver para sectores angulares.
En esta sección vamos a enunciar una versión del teorema de Phragmén-
Lindelöf para una banda horizontal. Con modificaciones sencillas se puede
dar para cualquier otra banda.
Teorema 2.3.1. Sea a ¥ 1
2 y sea
! π)
Ω z PC: |Im z
y0 |   .
2a
Supongamos que f es una función holomorfa en Ω y continua en Ω. Si existen
constantes α   a, A   8 y M tales que

|f pz q|   exp A exppα| Re z |q pz P Ωq
y  


π 
f x
 y0  i ¤M p x P R q,
2a
entonces |f pz q| ¤ M para todo z P Ω.
Ejemplo 2.3.2. Si en el teorema previo ponemos α   a el resultado no es
cierto, como muestra la función f pz q  exp exp az .

Análisis Complejo (2017-2018)