A curve in the complex plane is the set of points , , where and are continuous.
The curve is smooth iff:
- exists and is continuous on
- for every in
A contour is a curve constructed by joining finitely many smooth curves end to end.
A smooth curve is a contour with 1 piece.
Properties
Orientation
The orientation of a contour is the direction in which its points are traced as increases.
The initial point is and the terminal point is . Joining the smooth curves end to end fixes the direction along the whole contour.
Length
The length of a smooth curve given by , , is
The length of a contour is the sum of the lengths of its smooth curves.
Types
Closed Contour
A contour is closed iff .
Simple Contour
A contour is simple iff it does not cross itself, so for .
Simple Closed Contour
Also known as Jordan curve. A simple closed contour is a closed contour with for . Only the endpoints coincide.
The Jordan curve theorem states that the complement of a simple closed contour in the plane has exactly 2 connected components, and is the boundary of each.
- Interior
The bounded component. - Exterior
The unbounded component.
Positive Orientation
A simple closed contour is positively oriented iff its interior lies on the left as it is traversed. Equivalently, it is traversed counterclockwise.
A negatively oriented contour is traversed clockwise.
Parametrization
A parametrization , , must trace once in the required direction.
Line Segment
The segment from to is
Circle and Arcs
The circle of radius centered at , traversed counterclockwise, is
An arc from angle to angle restricts the parameter range.
Examples:
- Upper semicircle of from to uses ,
- Lower semicircle of from to uses ,
- Clockwise circle uses ,
Ellipse
The ellipse with semi-axes and centered at , traversed counterclockwise, is
Graph of a Function
A curve from to uses as the parameter.
A curve uses as the parameter.
Piecewise Contours
A polygon, such as a triangle or rectangle, is parametrized side by side. Each side is a line segment.
Reversed Orientation
Let be the contour traversed in the opposite direction. It is parametrized by