\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{line integral}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{integration_theory}{}\paragraph*{{Integration theory}}\label{integration_theory}

[[!include integration theory - contents]]

\hypertarget{line_integrals}{}\section*{{Line integrals}}\label{line_integrals}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definitions}{Definitions}\dotfill \pageref*{definitions} \linebreak
\noindent\hyperlink{line_integral_of_a_vector_field}{Line integral of a vector field}\dotfill \pageref*{line_integral_of_a_vector_field} \linebreak
\noindent\hyperlink{line_integral_of_a_scalar_field}{Line integral of a scalar field}\dotfill \pageref*{line_integral_of_a_scalar_field} \linebreak
\noindent\hyperlink{contour_integral_of_a_complex_function}{Contour integral of a complex function}\dotfill \pageref*{contour_integral_of_a_complex_function} \linebreak
\noindent\hyperlink{absolute_contour_integral_of_a_complex_function}{Absolute contour integral of a complex function}\dotfill \pageref*{absolute_contour_integral_of_a_complex_function} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{cauchys_theorems}{Cauchy's theorems}\dotfill \pageref*{cauchys_theorems} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

A \emph{line integral} is an [[integral]] along a [[curve]]. These are sometimes called \emph{path integrals} (not to be confused with the [[path integral]] in [[quantum physics]], which is integration over a space of curves rather than along a curve in some space) and \emph{[[contour integrals]]} (especially in [[complex analysis]]).

By the modern understanding of the [[integration of differential forms]], one integrates [[differential 1-forms]] ([[cotangent vector fields]]) along [[orientation|oriented]] [[curves]], and so this would be the natural way to understand a line integral. However, there are several slightly different line integrals, and not all of them are reducible to integration of $1$-forms along oriented curves. Sometimes we have to fall back on more basic notions, ultimately the integration of [[pseudoform|pseudo]]-$1$-forms on a $1$-dimensional space.

\hypertarget{definitions}{}\subsection*{{Definitions}}\label{definitions}

Here we assume familiarity with integration of differential forms and pseudoforms, defining in terms of them the various classical notions of line integral.

In each case, the classical notation (developed before the rigorous treatment of analysis in the 19th century) is not taken literally by the classical definition (developed after the rigorous treatment and still found in calculus texts), and this definition is accompanied by a [[parametrization|reparametrisation]] theorem. We would like to make sense of the classical notation and eliminate the reparametrisation theorems (or at least make them all special cases of \href{differential+form#IntegrationTheorem}{a general theorem to be proved once for all}) using differential forms. Often we find that we can relax some of the restrictions in the classical definition as well.

\hypertarget{line_integral_of_a_vector_field}{}\subsubsection*{{Line integral of a vector field}}\label{line_integral_of_a_vector_field}

Classically, we have a [[Cartesian space]] $X$, a [[continuous map]] $\vec{F}\colon X \to X$, and a [[continuously differentiable map]] $C\colon [a,b] \to X$; the \textbf{line integral} of $\vec{F}$ along $C$ is defined as

\begin{displaymath}
\int_C \vec{F} \cdot \mathrm{d}\vec{r} \coloneqq \int_a^b \vec{F}(C(t)) \cdot C'(t) \,\mathrm{d}t ,
\end{displaymath}
where the integral on the right is a [[Riemann integral]] and $C'$ is the [[derivative]] of $C$ componentwise. If $\phi\colon [e,f] \to [a,b]$ is a continuously differentiable [[monotone function|increasing]] [[bijection]], then

\begin{displaymath}
\int_{C \circ \phi} \vec{F} \cdot \mathrm{d}\vec{r} = \int_C \vec{F} \cdot \mathrm{d}\vec{r} ,
\end{displaymath}
the reparametrisation theorem.

We can start to justify the classical notation by interpreting $\vec{r}$ as the same map $[a,b] \to X$ as $C$; then we have

\begin{displaymath}
\int_C \vec{F} \cdot \mathrm{d}\vec{r} \coloneqq \int_a^b \vec{F}(\vec{r}(t)) \cdot \vec{r}'(t) \,\mathrm{d}t ,
\end{displaymath}
in which case the classical notation simply seems to be suppressing some of the notation in the formal definition on the right. In particular, we interpret $\mathrm{d}\vec{r}$ as meaning $\vec{r}'(t) \,\mathrm{d}t$.

But this suggests that we should really be looking at differential forms. Since $X$ is a Cartesian space, we may identify it with any of its [[tangent spaces]] and so identify $\vec{F}$ with a [[tangent vector field]] on $X$, or equivalenty a vector-valued $0$-form. Since $\vec{r}$ is only serving to parametrise the curve, it should be interpreted as something trivial, in this case the [[identity map]] on $X$, also viewed as a vector-valued $0$-form. Then $\mathrm{d}\vec{r}$ is a vector-valued $1$-form (which we can do since a Cartesian space has a trivial [[connection]]), and $\vec{F} \cdot \mathrm{d}\vec{r}$ is an ordinary $1$-form. Finally, since the curve $C$ is given up to an increasing reparametrisation, it is an [[orientation|oriented]] $1$-submanifold of $X$. Now we may interpret the notation

\begin{displaymath}
\int_C \vec{F} \cdot \mathrm{d}\vec{r}
\end{displaymath}
literally as the integral of a $1$-form. It is now no longer necessary that $C$ be given by a continuously differentiable parametrisation; the vector-valued $0$-form $\vec{r}$ is continuously differentiable regardless, and so we only need $C$ to be a [[rectifiable curve]] (although it is a theorem that such a curve must have a parametrisation ---by [[arclength]] if nothing else--- that is continuously differentiable [[almost everywhere]], so that the classical definition still covers this using a [[Riemann integral]]).

However, this operation from $\vec{F}$ to $\vec{F} \cdot \mathrm{d}\vec{r}$ is something more fundamental in differential geometry; in fact, $\vec{F} \cdot \mathrm{d}\vec{r}$ is simply $\vec{F}^\flat$, the [[cotangent vector field]] that corresponds to the tangent vector field $\vec{F}$. Understanding this, we wish to generalise $X$ to any (pseudo)-[[Riemannian manifold]]. In this case, we cannot interpret $\vec{r}$ literally, but we may still interpret $\mathrm{d}\vec{r}$ as a vector-valued $1$-form, indeed as the tautological one that (viewing a $1$-form as an operation on vector fields) is the [[identity map]] on vector fields. With this understanding, the classical notation still makes sense, although it is probably easier to write

\begin{displaymath}
\int_C \vec{F} \cdot \mathrm{d}\vec{r} = \int_C \vec{F}^\flat
\end{displaymath}
as the most general definition of the line integral of a vector field along an oriented curve in a (pseudo)-Riemannian manifold.

\hypertarget{line_integral_of_a_scalar_field}{}\subsubsection*{{Line integral of a scalar field}}\label{line_integral_of_a_scalar_field}

Classically, we again have a [[Cartesian space]] $X$, now a [[continuous map]] $f$ from $X$ to $\mathbb{R}$ or $\mathbb{C}$, and again a [[continuously differentiable map]] $C\colon [a,b] \to X$; the \textbf{line integral} of $f$ along $C$ is defined as

\begin{displaymath}
\int_C f \mathrm{d}s \coloneqq \int_a^b f(C(t)) {\|C'(t)\|} \,\mathrm{d}t ,
\end{displaymath}
where again the integral on the right is a [[Riemann integral]] and $C'$ is the [[derivative]] of $C$ componentwise. If $\phi\colon [e,f] \to [a,b]$ is a continuously differentiable [[bijection]] (whether increasing \emph{or} decreasing), then

\begin{displaymath}
\int_{C \circ \phi} f \mathrm{d}s = \int_C f \mathrm{d}s ,
\end{displaymath}
the reparametrisation theorem.

We cannot interpret $\mathrm{d}s$ as the differential of anything; rather, $\mathrm{d}s$ is the magnitude of the line integral element $\mathrm{d}\vec{r}$ from the previous section. In particular, identifying $\vec{r}$ with $C$ again, we have

\begin{displaymath}
\int_C f \mathrm{d}s \coloneqq \int_a^b f(\vec{r}(t)) {\|\vec{r}'(t)\|} \,\mathrm{d}t ,
\end{displaymath}
so $\mathrm{d}s$ seems to mean ${\|\vec{r}'(t)\|} \,\mathrm{d}t$. Using the standard orientation on $[a,b]$ to change the $1$-form $\mathrm{d}t$ to the pseudo-$1$-form ${|\mathrm{d}t|}$, this is consistent with $\mathrm{d}s = {\|\mathrm{d}\vec{r}\|}$.

But for this to really make sense, we have to see what kind of object $\mathrm{d}s$ is on $X$. It is neither a $1$-form (which can be integrated along an oriented curve) nor a pseudo-$1$-form (which can be integrated along a pseudo-oriented curve, that is a transversely oriented curve); it is instead an \emph{[[absolute differential form|absolute]]} $1$-form, which can be integrated along an \emph{unoriented} curve. If we interpret $\mathrm{d}\vec{r}$ as the canonical vector-valued $1$-form again, then we can take its magnitude to get a positive semidefinite (nonnegative-scalar-valued, and in this case actually definite) absolute $1$-form, so $\mathrm{d}s = {\|\mathrm{d}\vec{r}\|}$ is literally true.

It would be nice to have notation without fake differentials and with the one piece of structure that actually plays a role: the metric. If we multiply two $1$-forms using the [[symmetric product]] (instead of the [[exterior product]] as usual for differential forms), then we get a symmetric [[bilinear form]], and in this way the (symmetric) square of the arclength element $\mathrm{d}s$ is the metric $g$. Since $\mathrm{d}s$ is positive, we can reasonably call it the \emph{principal} [[square root]] of $g$. Thus,

\begin{displaymath}
\int_C f \mathrm{d}s = \int_C f \sqrt{g}
\end{displaymath}
defines the line integral of a scalar field along an unoriented curve in a Riemannian manifold.

On a \emph{pseudo}-Riemannian manifold, $g$ itself may not be positive and so may not have a square root. In that case, we can take the absolute value of $g$ first and use

\begin{displaymath}
\int_C f \mathrm{d}s = \int_C f \sqrt{|g|} ,
\end{displaymath}
although this is most intuitive for curves that are consistently [[timelike curve|timelike]] or [[spacelike curve|spacelike]]. It's also possible to keep the previous formula and allow one of these two types of curve to have [[purely imaginary number|imaginary]] arclength; which one depends on conventions. In any case, a line integral along a [[lightlike curve]] is zero.

\hypertarget{contour_integral_of_a_complex_function}{}\subsubsection*{{Contour integral of a complex function}}\label{contour_integral_of_a_complex_function}

Classically, we have the [[complex plane]] $\mathbb{C}$, a [[continuous map]] $f\colon \mathbb{C} \to \mathbb{C}$, and a [[continuously differentiable map]] $C\colon [a,b] \to \mathbb{C}$; the \textbf{[[contour integral]]} (or \textbf{line integral} again) of $f$ along $C$ is defined as

\begin{displaymath}
\int_C f \mathrm{d}z \coloneqq \int_a^b f(C(t)) C'(t) \,\mathrm{d}t ,
\end{displaymath}
where the integral on the right is a [[Riemann integral]] and $C'$ is the [[derivative]] of $C$. If $\phi\colon [e,f] \to [a,b]$ is a continuously differentiable [[monotone function|increasing]] [[bijection]], then

\begin{displaymath}
\int_{C \circ \phi} f \mathrm{d}z = \int_C f \mathrm{d}z ,
\end{displaymath}
the reparametrisation theorem.

We start to justify the classical notation by interpreting $z$ as the same map $[a,b] \to \mathbb{C}$ as $C$; then we have

\begin{displaymath}
\int_C f \mathrm{d}z \coloneqq \int_a^b f(z(t)) z'(t) \,\mathrm{d}t ,
\end{displaymath}
in which case the classical notation seems again to be suppressing some of the notation in the formal definition. In particular, $\mathrm{d}z$ is interpreted as $z'(t) \,\mathrm{d}t$.

But again, we should really be looking at differential forms. We may identify the space $\mathbb{C}$ with the [[scalar field]] and so identify $f$ with a [[scalar field]] on $\mathbb{C}$, or equivalenty a $0$-form. Since $z$ is only serving to parametrise the curve, it should be interpreted as the [[identity map]] on $\mathbb{C}$, also viewed as a $0$-form. Then $\mathrm{d}z$ is a $1$-form, and $f \mathrm{d}z$ is a $1$-form. Finally, since the curve $C$ is given up to an increasing reparametrisation, it is an [[orientation|oriented]] $1$-submanifold of $X$. Now we may interpet the notation

\begin{displaymath}
\int_C f \mathrm{d}z
\end{displaymath}
literally as the integral of a $1$-form. It is now no longer necessary that $C$ be given by a continuously differentiable parametrisation; the vector-valued $0$-form $z$ is continuously differentiable regardless, and so we only need $C$ to be a [[rectifiable curve]] (although it is a theorem that such a curve must have a continuously differentiable parametrisation after all).

\hypertarget{absolute_contour_integral_of_a_complex_function}{}\subsubsection*{{Absolute contour integral of a complex function}}\label{absolute_contour_integral_of_a_complex_function}

Classically, we have the [[complex plane]] $\mathbb{C}$, a [[continuous map]] $f\colon \mathbb{C} \to \mathbb{C}$, and a [[continuously differentiable map]] $C\colon [a,b] \to \mathbb{C}$; the \textbf{absolute contour integral} (or whatever one calls it) of $f$ along $C$ is defined as

\begin{displaymath}
\int_C f {|\mathrm{d}z|} \coloneqq \int_a^b f(C(t)) {|C'(t)|} \,\mathrm{d}t ,
\end{displaymath}
where the integral on the right is a [[Riemann integral]] and $C'$ is the [[derivative]] of $C$. If $\phi\colon [e,f] \to [a,b]$ is a continuously differentiable [[bijection]] (whether increasing or decreasing), then

\begin{displaymath}
\int_{C \circ \phi} f {|\mathrm{d}z|} = \int_C f {|\mathrm{d}z|} ,
\end{displaymath}
the reparametrisation theorem.

As before, if $z$ is interpreted as the same map $[a,b] \to \mathbb{C}$ as $C$; then we have

\begin{displaymath}
\int_C f {|\mathrm{d}z|} \coloneqq \int_a^b f(z(t)) {|z'(t)|} \,\mathrm{d}t ,
\end{displaymath}
so ${|\mathrm{d}z|}$ seems to mean ${|z'(t)|} \,\mathrm{d}t$. As before, if we use the standard orientation on $[a,b]$ to change the $1$-form $\mathrm{d}t$ to the pseudo-$1$-form ${|\mathrm{d}t|}$, then ${|\mathrm{d}z|}$ is the absolute value of $\mathrm{d}z$ from before.

Of course, we should really be looking at differential forms. Again, $f$ is a [[scalar field]] on $\mathbb{C}$, or equivalenty a $0$-form. Again $z$ is the [[identity map]] on $\mathbb{C}$, viewed as a $0$-form. Then $\mathrm{d}z$ is a $1$-form, its absolute value ${|\mathrm{d}z|}$ is a (positive definite) [[absolute form|absolute]] $1$-form, and $f {|\mathrm{d}z|}$ is a (more general) absolute $1$-form. Since $C$ is given up to an arbitrary reparametrisation, it is an unoriented $1$-submanifold of $X$, which is just what we need for an absolute $1$-form. Now we may interpet the notation

\begin{displaymath}
\int_C f {|\mathrm{d}z|}
\end{displaymath}
literally as the integral of an absolute $1$-form.

This is actually a special case of the line integral of a scalar field, since

\begin{displaymath}
{|\mathrm{d}z|} = {|\mathrm{d}(x + \mathrm{i}y)|} = {|\mathrm{d}x + \mathrm{i} \,\mathrm{d}y|} = \sqrt{(\mathrm{d}x)^2 + (\mathrm{d}y)^2} = \sqrt{g} = \mathrm{d}s ,
\end{displaymath}
since $\mathrm{d}x^2 + \mathrm{d}y^2$ is the standard metric on $\mathbb{C}$.

\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

\hypertarget{cauchys_theorems}{}\subsubsection*{{Cauchy's theorems}}\label{cauchys_theorems}

\begin{itemize}%
\item [[Cauchy integral formula]]


\item [[Cauchy integral theorem]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

Here are a couple of old Usenet posts that explain how line integrals of scalar fields should be viewed in terms of forms and pseudoforms.

\begin{itemize}%
\item \href{https://groups.google.com/group/sci.physics.research/msg/2774cbbc982e200e?dmode=source}{first}
\item \href{https://groups.google.com/group/sci.physics.research/msg/424da828e75b6b90?dmode=source}{second}

\end{itemize}
These are obsolete with the concept of [[absolute forms]], but they contain more explicit calculations.

See also

\begin{itemize}%
\item Wikipedia, \emph{\href{https://en.wikipedia.org/wiki/Line_integral}{Line integral}}

\end{itemize}
[[!redirects line integral]] [[!redirects line integrals]] [[!redirects contour integral]] [[!redirects contour integrals]] [[!redirects contour integration]]

[[!redirects contour integration]] [[!redirects contour integrations]]



\end{document}