Math 2.0

definition

Contour integral

Definition

Let a<ba < b be real numbers and let γ:[a,b]→C\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.

Explanations

L1 human

A contour integral adds up the values of ff along a path, each one multiplied by a small step dzdz of the path. Because dzdz is a complex number, the direction of each step matters, and not only its length.

What this node 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 node is. They do not measure its truth.

What this needs

To read this node, read these 2 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Contour integral definition

What depends on this

35 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Contour_integration, Contour integrals
  2. Web https://en.wikipedia.org/wiki/Contour_integration, Directed smooth curves