4.1: Curvas en el Plano Complejo
- Page ID
- 114116
\( \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}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Supongamos que las funciones continuas de valor real\(x=x(t)\)\(y=y(t)\),,\(a≤t≤\) b, son ecuaciones paramétricas de una curva\(C\) en el plano complejo. Si utilizamos estas ecuaciones como las partes real e imaginaria en\(z=x+iy\), podemos describir los puntos\(z\) sobre\(C\) por medio de una función de valor complejo de una variable real\(t\) llamada parametrización de\(C\):
\(z(t)=x(t)+iy(t)\),\(a≤t≤b\). (1)
El punto\(z(a)=x(a)+iy(a)\) o\(z_{0}=\left ( x\left ( a \right ),y\left ( a \right ) \right )\) se llama el punto inicial de\(C\) y\(z(b)=x(b)+iy(b)\) o\(z_{1}=\left ( x\left ( b \right ) ,y\left ( b \right )\right )\) es su punto terminal. La expresión también\(z(t)=x(t)+iy(t)\) podría interpretarse como una función vectorial bidimensional. En consecuencia,\(z(a)\) y\(z(b)\) pueden ser interpretados como vectores de posición. Como tt varía de\(t=a\) a,\(t=b\) podemos imaginarnos que la curva\(C\) sea trazada por la punta de flecha móvil de\(z(t)\). Esto se puede apreciar en el siguiente applet con\(0≤t≤1\).
Presiona Inicio
para animar. Se pueden mover los puntos para cambiar la curva.
Por ejemplo, las ecuaciones paramétricas\(x=cos\,t\)\(y=sin\,t\),\(0\leq t\leq 2\pi \), describen un círculo unitario centrado en el origen. Una parametrización de este círculo es\(z(t)=cos\,t+i\,sin\,t\), o\(z\left ( t \right )=e^{it}\),\(0\leq t\leq 2\pi \).
Presiona Inicio
para animar.
Contornos
Las nociones de curvas en el plano complejo que son lisas, lisas por partes, simples, cerradas y simples cerradas se formulan fácilmente en términos de la función vectorial (1). Supongamos que la derivada de (1) es\(z′(t)=x′(t)+iy′(t)\). Decimos que una curva\(C\) en el plano complejo es suave si\(z′(t)\) es continua y nunca cero en el intervalo\(a≤t≤b\). Como se muestra en la Figura 2, dado que el vector z′ (t) no\(\) es cero\(P\) en ningún punto\(C\), el vector\(z′(t)\) es tangente a\(C\) at\(P\). Así, una curva suave tiene una tangente de giro continuo; o en otras palabras, una curva suave no puede tener esquinas ni cúspides afiladas. Ver Figura 2.
Una curva lisa por tramos\(C\) tiene una tangente de giro continuo, excepto posiblemente en los puntos donde las curvas suaves del componente\(C_{1},C_{2},\cdots ,C_{n}\) se unen entre sí.
Una curva\(C\) en el plano complejo se dice que es un simple si\(z\left ( t_{1} \right )\neq z\left ( t_{2} \right )\) para\(t_{1}\neq t_{2}\), excepto posiblemente para\(t=a\) y\(t=b\). \(C\)es una curva cerrada si\(z(a)=z(b)\).
\(C\)es una curva cerrada simple si\(z\left ( t_{1} \right )\neq z\left ( t_{2} \right )\) para\(t_{1}≠t_{2}\) y\(z(a)=z(b)\).
En análisis complejos, una curva lisa por tramos\(C\) se denomina contorno o trayectoria. Definimos la dirección positiva en un contorno\(C\) para que sea la dirección en la curva correspondiente a valores crecientes del parámetro\(t\). También se dice que la curva\(C\) tiene orientación positiva. En el caso de un simple contador cerrado\(C\), la dirección positiva corresponde a la dirección contraria a las agujas del reloj. Por ejemplo, el círculo\(z\left ( t \right )=e^{it}\),\(0\leq t\leq 2\pi \), tiene orientación positiva. La dirección negativa en un contorno\(C\) es la dirección opuesta a la dirección positiva. Si\(C\) tiene una orientación, la curva opuesta, es decir, una curva con orientación opuesta, se denota por\(−C\). En una curva cerrada simple, la dirección negativa corresponde a la dirección de las agujas del reloj. Por ejemplo, el círculo\(z\left ( t \right )=e^{-it}\),\(0\leq t\leq 2\pi \), tiene orientación negativa.


Presiona Inicio
para animar. Se puede cambiar la dirección de\(C\) .
Ejercicio\(\PageIndex{1}\)
Ejercicio: No hay parametrización única para un contorno\(C\). Debe verificar que
\(z\left ( t \right )=e^{it}=cos\,t+i\,sin\,t\),\(0\leq t\leq 2\pi \)
\(z\left ( t \right )=e^{2\pi it}=cos\left (2\pi t\right )+i\,sin\left (2\pi t \right )\),\(0\leq t\leq 1 \)
\(z\left ( t \right )=e^{\pi /2it}=cos\left (\frac{\pi}{2}t \right )+i\,sin\left (\frac{\pi}{2}t \right )\),\(0\leq t\leq 4\)
son todas las parametrizaciones, orientadas en la dirección positiva, para el círculo unitario\(\left | z \right |=1\).