$\int_{|z+1|=2}^{}\frac{e^z}{z-2}dz \leq2\pi e$

Question

Así es como intenté resolver esto pero no pude conseguir la desigualdad exacta.

$\gamma(t)=1+2e^{it}, t\in [0,2\pi],f(z)=\frac{e^z}{z-2}$

$|e^{1+2it}|=e|e^{2it}|=e.|e^{it}|.|e^{it}|=e$

$|(1+2e^{it})-2|=|2e^{it}-1|\geq ||2e^{it}|-1|=1$

Por lo tanto, el $f(\gamma(t))|=\frac{|e^{1+2it}|}{|(1+2e^{it})-2|}\leq e$

Espero que alguien pueda ayudarme.

Answer 1

La función $$ f(z)=\frac{\mathrm{e}^z}{z-2} $$ es holomorfo en el disco $D(-1,3)$ y $\{z:\lvert z+1\rvert=2\}\subset D(-1,3)$ .

Por lo tanto, en virtud del Teorema de Cauchy $$ \int_{\lvert z+1\rvert=2}\frac{\mathrm{e}^z\,dz}{z-2}=\int_{\lvert z+1\rvert=2}f(z)\,dz=0. $$

Answer 2

La parametrización de $\;|z+1|=2\;$ es

$$\gamma(t)=-1+2e^{it}\;,\;\;t\in[0,2\pi]\;,\;\;\gamma'(t)=2ie^{it}\implies |\gamma'(t)|=2$$

y también

$$e^{-1+2e^{it}}\implies |e^z|=\left|e^{-1+2\cos t+2i\sin t}\right|=e^{2\cos t-1}$$

para que finalmente

$$\left|\oint\limits_\gamma \frac{e^z}{z-2}dz\right|\le\oint\limits_\gamma\frac{|e^z|}{|z-2|}dz\le \frac{e^{2\cos t-1}}{5}\cdot 4\pi$$

y entonces debemos demostrar que

$$\frac{e^{2\cos t-1}}{5}\cdot 4\pi\le 2\pi e\iff e^{2\cos t-1}\le\frac52e\;\;(**)$$

Pero si denotamos

$$f(t):=e^{2\cos t-1}\implies f'(t)=-2\sin t\,e^{2\cos t-1}$$

para que la función sea monótona decreciente en $\;(0,\pi)\;$ y monótona creciente en $\;(\pi, 2\pi)\;$ por lo que los valores máximos se obtienen cuando

$$t=0\implies \;\;\;f(0)=e^1=e\\ t=2\pi\implies f(2\pi)=e^1=e$$

y así obtenemos que de todos modos (**) es cierto.

Answer 3

Esta es la continuación de la respuesta de Timbuc.

| $\int_{|z+1|=2}^{}\frac{e^z}{z-2}dz| \leq \int_{|z+1|=2}^{}|\frac{e^z}{z-2}|dz=\int_{[0,2\pi]}^{}|\frac{e^{\gamma (t)}}{\gamma(t)-2}|\gamma'(t) dz \leq e \int_{[0,2\pi]}^{}\gamma'(t) dt$ = $$e\int_{[0,2\pi]}^{}\ 2ie^{it} dt=0 \leq2\pi e$$