8.5: Ejercicios
- Page ID
- 125898
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
Ejercicio\(\PageIndex{1}\)
Encuentra los valores de\((i)^i\).
- Contestar
-
Podemos escribir\(i\) en coordenadas polares como\(\exp(i\pi/2).\) Por lo tanto,\[\begin{align} (i)^i &= \exp\Big\{i \ln\big[\exp(i\pi/2)\big]\Big\} \\ &= \exp\left\{i \left[\frac{i\pi}{2} + 2 \pi i n\right]\right\}, \quad n \in \mathbb{Z} \\ &= \exp\left[- 2\pi\left(n+\frac{1}{4}\right) \right], \quad n \in \mathbb{Z}.\end{align}\]
Ejercicio\(\PageIndex{2}\)
Demostrar que\(\ln(z)\) tiene puntos de sucursal en\(z = 0\) y\(z = \infty\).
- Contestar
-
Vamos\(z = r\exp(i\theta)\), dónde\(r > 0\). Los valores del logaritmo son\[\ln(z) = \ln(r) + i (\theta + 2\pi n), \;\;\;n \in \mathrm{Z}.\] Para cada uno\(n\), nótese que el primer término es la parte real y el segundo término es la parte imaginaria de un número complejo\(w_n\). El logaritmo en el primer término puede tomarse como el logaritmo real.
Para\(z \rightarrow 0\), tenemos\(r \rightarrow 0\) y por lo tanto\(\ln(r)\rightarrow -\infty\). Esto implica que\(w_n\) se encuentra infinitamente lejos a la izquierda del origen en el plano complejo. Por lo tanto,\(w_n \rightarrow \infty\) (refiriéndose al infinito complejo) independientemente del valor de\(n\). De igual manera, para\(z \rightarrow \infty\), tenemos\(r \rightarrow \infty\) y por lo tanto\(\ln(r)\rightarrow +\infty\). Esto implica que\(w_n\) se encuentra infinitamente lejos a la derecha del origen en el plano complejo, así\(w_n \rightarrow \infty\) independientemente del valor de\(n\). Por lo tanto,\(0\) y\(\infty\) son ambos puntos de ramificación del logaritmo complejo.
Ejercicio\(\PageIndex{3}\)
Para cada una de las siguientes funciones multivaloradas, encuentre todos los valores de función posibles, en el especificado\(z\):
- \(z^{1/3}\)en\(z = 1\).
- \(z^{3/5}\)en\(z = i\).
- \(\ln(z+i)\)en\(z = 1\).
- \(\cos^{-1}(z)\)en\(z = i\)
Ejercicio\(\PageIndex{4}\)
Para la operación de raíz cuadrada\(z^{1/2}\), elija un corte de rama. Luego mostrar que ambas funciones de rama\(f_\pm(z)\) son analíticas sobre todo\(\mathbb{C}\) excluyendo el corte de rama.
Ejercicio\(\PageIndex{5}\)
Considerar\(f(z) = \ln(z+a) - \ln(z-a)\). Por simplicidad,\(a\) déjese ser un número real positivo. Como se discute en la Sección 8.4, podemos escribir esto como\[f(z) = \ln\left|\frac{z+a}{z-a}\right| + i(\theta_+ - \theta_-), \qquad \theta_\pm \equiv \mathrm{arg}(z\pm a).\] Supongamos que representamos los argumentos como\(\theta_+ \in (-\pi,\pi)\) y\(\theta_- \in (-\pi,\pi)\). Explique por qué esto implica un corte de rama consistente en una línea recta que se une\(a\) con\(-a\). Usando esta representación, calcular el cambio en\(f(z)\) sobre un bucle infinitesimal que circunda\(z = a\) o\(z = -a\). Calcular también el\(f(z)\) cambio en un bucle de radio que\(R \gg a\) circunda el origen (y encerrando así ambos puntos de ramificación).