Math 2.0

Several complex variables and analytic spaces Definition

Torus integral

Builds on Distinguished boundary of a polydiscContour integralLebesgue integral

Definition

Let c=(c1,…,cn)∈ℂnc = (c_1, \dots, c_n) \in \C^n and r=(r1,…,rn)r = (r_1, \dots, r_n) with each rj>0r_j > 0. Let T(c,r)T(c, r) be the distinguished boundary {ζ:∣ζj−cj∣=rj for all j}\set{\zeta : \abs{\zeta_j - c_j} = r_j \text{ for all } j}. For θ=(θ1,…,θn)∈[0,2π]n\theta = (\theta_1, \dots, \theta_n) \in [0, 2\pi]^n, put γ(θ)=(c1+r1eiθ1,…,cn+rneiθn)\gamma(\theta) = (c_1 + r_1 e^{i\theta_1}, \dots, c_n + r_n e^{i\theta_n}). Let f ⁣:T(c,r)→ℂf \colon T(c, r) \to \C be a function such that θ↦f(γ(θ))\theta \mapsto f(\gamma(\theta)) is Lebesgue integrable on [0,2π]n[0, 2\pi]^n, for example a continuous function. The torus integral of ff over T(c,r)T(c, r) is ∫T(c,r)f(ζ) dζ1⋯dζn=∫[0,2π]nf(γ(θ))∏j=1n(irjeiθj)dθ1⋯dθn.\int_{T(c, r)} f(\zeta) \, d\zeta_1 \cdots d\zeta_n = \int_{[0, 2\pi]^n} f(\gamma(\theta)) \prod_{j=1}^n \left( i r_j e^{i\theta_j} \right) d\theta_1 \cdots d\theta_n.

Remarks

The factor irjeiθj dθji r_j e^{i\theta_j} \, d\theta_j is dζjd\zeta_j along the circle ζj=cj+rjeiθj\zeta_j = c_j + r_j e^{i\theta_j}, so for n=1n = 1 this is the contour integral over the positively oriented circle. For continuous ff, Fubini's theorem makes it equal to the iterated integral of nn one-variable contour integrals, in any order. Example: for f(ζ)=1/(ζ1ζ2)f(\zeta) = 1/(\zeta_1 \zeta_2) on T(0,(1,1))T(0, (1, 1)), the integrand is e−iθ1e−iθ2⋅ieiθ1⋅ieiθ2=−1e^{-i\theta_1} e^{-i\theta_2} \cdot i e^{i\theta_1} \cdot i e^{i\theta_2} = -1, so the integral is −(2π)2=(2πi)2-(2\pi)^2 = (2\pi i)^2. Non-example: f(ζ)=1/(ζ1−1)f(\zeta) = 1/(\zeta_1 - 1) is not defined at the points of T(0,(1,1))T(0, (1, 1)) with ζ1=1\zeta_1 = 1. Near θ1=0\theta_1 = 0, ∣f(γ(θ))∣\abs{f(\gamma(\theta))} behaves like 1/∣θ1∣1/\abs{\theta_1}, so it is not integrable and the torus integral is not defined. Other notation: ∮T(c,r)f(ζ) dζ\oint_{T(c, r)} f(\zeta) \, d\zeta.

Reading path

To understand this page from the ground up, read these 4 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. Contour integral concept
  2. Distinguished boundary of a polydisc concept
  3. Lebesgue integral concept
  4. Torus integral definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Cauchy%27s_integral_formula
About this page
Tag7D7XWA8WWJ
URIm2://7D7XWA8WWJ
Kinddefinition
WritingW0 stub
MSC32A26, 32A10
DefinesTorus integral
UsesDistinguished boundary of a polydisc, Contour integral, Lebesgue integral

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

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

What links here

No page links to this page yet.