Articulo de referencia

Teorema de las tres líneas de Hadamard

En el análisis complejo , una rama de las matemáticas, el teorema de las tres líneas de Hadamard es un resultado sobre el comportamiento de las funciones holomorfas definidas en...

En el análisis complejo , una rama de las matemáticas, el teorema de las tres líneas de Hadamard es un resultado sobre el comportamiento de las funciones holomorfas definidas en regiones delimitadas por líneas paralelas en el plano complejo . El teorema recibe su nombre del matemático francés Jacques Hadamard .

Declaración

Teorema de las tres líneas de Hadamard SeaF(z){\displaystyle f(z)}sea ​​una función acotada dez=incógnita+iy{\displaystyle z=x+iy}definido en la tira

{incógnita+iy:aincógnitab},{\displaystyle \{x+iy:a\leq x\leq b\},}

holomorfa en el interior de la tira y continua en toda la tira. Si

METRO(incógnita)=sorbery|F(incógnita+iy)|{\displaystyle M(x)=\sup _{y}|f(x+iy)|}

entoncesregistroMETRO(incógnita){\displaystyle \log M(x)}es una función convexa en[a,b].{\displaystyle [a,b].}

En otras palabras, siincógnita=ta+(1t)b{\displaystyle x=ta+(1-t)b}con0t1,{\displaystyle 0\leq t\leq 1,}entonces

METRO(incógnita)METRO(a)tMETRO(b)1t.{\displaystyle M(x)\leq M(a)^{t}M(b)^{1-t}.}

Aplicaciones

El teorema de las tres líneas se puede utilizar para demostrar el teorema de los tres círculos de Hadamard para una función continua acotada.gramo(z){\displaystyle g(z)}en un anillo{z:r|z|R},{\displaystyle \{z:r\leq |z|\leq R\},}holomorfo en el interior. De hecho, aplicando el teorema a

F(z)=gramo(miz),{\displaystyle f(z)=g(e^{z}),}

muestra que, si

metro(s)=sorber|z|=mis|gramo(z)|,{\displaystyle m(s)=\sup _ {|z|=e^{s}}|g(z)|,}

entoncesregistrometro(s){\displaystyle \log \,m(s)}es una función convexa des.{\displaystyle s.}

El teorema de las tres líneas también es válido para funciones con valores en un espacio de Banach y desempeña un papel importante en la teoría de interpolación compleja . Puede utilizarse para demostrar la desigualdad de Hölder para funciones medibles.

|gramoh|(|gramo|pag)1pag(|h|q)1q,{\displaystyle \int |gh|\leq \left(\int |g|^{p}\right)^{1 \over p}\cdot \left(\int |h|^{q}\right)^{1 \over q},}

dónde1pag+1q=1,{\displaystyle {1 \over p}+{1 \over q}=1,}al considerar la función

F(z)=|gramo|pagz|h|q(1z).{\displaystyle f(z)=\int |g|^{pz}|h|^{q(1-z)}.}

Véase también

Referencias