4.1: Curves in the Complex Plane
- Page ID
- 76219
\( \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}\)Suppose the continuous real-valued functions \(x=x(t)\), \(y=y(t)\), \(a≤t≤\)b, are parametric equations of a curve \(C\) in the complex plane. If we use these equations as the real and imaginary parts in \(z=x+iy\), we can describe the points \(z\) on \(C\) by means of a complex-valued function of a real variable \(t\) called a parametrization of \(C\):
\(z(t)=x(t)+iy(t)\), \(a≤t≤b\). (1)
The point \(z(a)=x(a)+iy(a)\) or \(z_{0}=\left ( x\left ( a \right ),y\left ( a \right ) \right )\) is called the initial point of \(C\) and \(z(b)=x(b)+iy(b)\) or \(z_{1}=\left ( x\left ( b \right ) ,y\left ( b \right )\right )\) is its terminal point. The expression \(z(t)=x(t)+iy(t)\) could also be interpreted as a two-dimensional vector function. Consequently, \(z(a)\) and \(z(b)\) can be interpreted as position vectors. As tt varies from \(t=a\) to \(t=b\) we can envision the curve \(C\) being traced out by the moving arrowhead of \(z(t)\). This can be appreciated in the following applet with \(0≤t≤1\).
PressStart
to animate. You can move the points to change the curve.
For example, the parametric equations \(x=cos\,t\), \(y=sin\,t\), \(0\leq t\leq 2\pi \), describe a unit circle centered at the origin. A parametrization of this circle is \(z(t)=cos\,t+i\,sin\,t\), or \(z\left ( t \right )=e^{it}\), \(0\leq t\leq 2\pi \).
PressStart
to animate.
Contours
The notions of curves in the complex plane that are smooth, piecewise smooth, simple, closed, and simple closed are easily formulated in terms of the vector function (1). Suppose the derivative of (1) is \(z′(t)=x′(t)+iy′(t)\). We say a curve \(C\) in the complex plane is smooth if \(z′(t)\) is continuous and never zero in the interval \(a≤t≤b\). As shown in Figure 2, since the vector z′(t)\(\) is not zero at any point \(P\) on \(C\), the vector \(z′(t)\) is tangent to \(C\) at \(P\). Thus, a smooth curve has a continuously turning tangent; or in other words, a smooth curve can have no sharp corners or cusps. See Figure 2.
A piecewise smooth curve \(C\) has a continuously turning tangent, except possibly at the points where the component smooth curves \(C_{1},C_{2},\cdots ,C_{n}\) are joined together.
A curve \(C\) in the complex plane is said to be a simple if \(z\left ( t_{1} \right )\neq z\left ( t_{2} \right )\) for \(t_{1}\neq t_{2}\), except possibly for \(t=a\) and \(t=b\). \(C\) is a closed curve if \(z(a)=z(b)\).
\(C\) is a simple closed curve if \(z\left ( t_{1} \right )\neq z\left ( t_{2} \right )\) for \(t_{1}≠t_{2}\) and \(z(a)=z(b)\).
In complex analysis, a piecewise smooth curve \(C\) is called a contour or path. We define the positive direction on a contour \(C\) to be the direction on the curve corresponding to increasing values of the parameter \(t\). It is also said that the curve \(C\) has positive orientation. In the case of a simple closed countour \(C\), the positive direction corresponds to the counter-clockwise direction. For example, the circle \(z\left ( t \right )=e^{it}\), \(0\leq t\leq 2\pi \), has positive orientation. The negative direction on a contour \(C\) is the direction opposite the positive direction. If \(C\) has an orientation, the opposite curve, that is, a curve with opposite orientation, is denoted by \(−C\). On a simple closed curve, the negative direction corresponds to the clockwise direction. For instance, the circle \(z\left ( t \right )=e^{-it}\), \(0\leq t\leq 2\pi \), has negative orientation.
![Simple curve Simple curve](https://complex-analysis.com/images/chp04/simple-closed-curve-pos.gif)
![Non simple curve Non simple curve](https://complex-analysis.com/images/chp04/simple-closed-curve-neg.gif)
PressStart
to animate. You can change the direction of \(C\).
Exercise \(\PageIndex{1}\)
Exercise: There is no unique parametrization for a contour \(C\). You should verify that
\(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\)
are all parametrizations, oriented in the positive direction, for the unit circle \(\left | z \right |=1\).