Math 2.0

Functions of a complex variable Definition

Contour integral

Builds on Complex numbers

Definition

Let a<ba < b be real numbers and let γ:[a,b]→ℂ\gamma : [a, b] \to \mathbb{C} be a path that is continuous and piecewise continuously differentiable. Let ff be a complex function that is continuous on the image γ([a,b])\gamma([a, b]). The contour integral of ff along γ\gamma is ∫γf(z) dz=∫abf(γ(t)) γ′(t) dt.\int_\gamma f(z) \, dz = \int_a^b f(\gamma(t)) \, \gamma'(t) \, dt. The integral on the right of a complex function gg of t∈[a,b]t \in [a, b] is ∫abRe⁡g(t) dt+i∫abIm⁡g(t) dt\int_a^b \operatorname{Re} g(t) \, dt + i \int_a^b \operatorname{Im} g(t) \, dt.

Remarks

The length of γ\gamma is L(γ)=∫ab∣γ′(t)∣ dtL(\gamma) = \int_a^b |\gamma'(t)| \, dt. The integral does not change under a reparametrization of γ\gamma that keeps the direction. It changes sign if we reverse the direction. The path γ\gamma is closed if γ(a)=γ(b)\gamma(a) = \gamma(b). For a closed path, many authors write ∮γf(z) dz\oint_\gamma f(z) \, dz. For example, along γ(t)=t+it\gamma(t) = t + i t with t∈[0,1]t \in [0, 1], ∫γz dz=∫01(1+i)t(1+i) dt=i\int_\gamma z \, dz = \int_0^1 (1 + i) t (1 + i) \, dt = i.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complex numbers object
  2. Contour integral definition

Where this leads

114 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Contour_integration, Contour integrals
  2. Web https://en.wikipedia.org/wiki/Contour_integration, Directed smooth curves
About this page
Tag00FWNP9TXY
URIm2://00FWNP9TXY
Aliasescurve-integral
Kinddefinition
WritingW1 stated
MSC30E20
DefinesContour integral
UsesComplex numbers

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by