全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 Winding number?

Definition 16.6 University Mathematics — Year 3 · 第 16 章 — Holomorphic Functions

For a closed path γ\gamma and z∉im⁡γz \notin \operatorname{im}\gamma, the index is

Ind⁡γ(z)=12iπ∫γ ⁣dww−z.\operatorname{Ind}_\gamma(z) = \frac1{2\iu\pi} \int_\gamma\frac{\dd w}{w - z} .

It is an integer: setting φ(t)=∫atγ′(s)γ(s)−z ⁣ds\varphi(t) = \int_a^t\frac{\gamma'(s)}{\gamma(s) - z}\dd s, the function (γ(t)−z)e−φ(t)(\gamma(t) - z)\eu^{-\varphi(t)} has zero derivative (piecewise), hence is constant; at t=bt = b, eφ(b)=γ(b)−zγ(a)−z=1\eu^{\varphi(b)} = \frac{\gamma(b) - z}{\gamma(a) - z} = 1, so φ(b)∈2iπZ\varphi(b) \in 2\iu\pi\Z. As a function of zz, the index is continuous on C∖im⁡γ\C\setminus\operatorname{im}\gamma (dominated convergence), hence constant on each connected component, and 00 on the unbounded component (ML: the integral tends to 00 as z→∞z \to \infty). For the circle γ(t)=a+reit\gamma(t) = a + r\eu^{\iu t}, t∈[0, 2π]t \in \intcc0{2\pi}: Ind⁡γ(z)=1\operatorname{Ind}_\gamma(z) = 1 for z∈D(a,r)z \in D(a,r) (compute at z=az = a: 12iπ∫02πrieitreit ⁣dt=1\frac1{2\iu\pi} \int_0^{2\pi}\frac{r\iu\eu^{\iu t}}{r\eu^{\iu t}}\dd t = 1; constancy does the rest).

在原文中阅读 →
Definition 21.25 University Mathematics — Year 3 · 第 21 章 — Differential Forms and Stokes’ Theorem

Let γ ⁣:[0, 1]→R2∖{a}\gamma\colon\intcc01\to\R^2\setminus\{a\} be a smooth closed curve. Its winding number around aa is

Ind⁡γ(a)=12π∫γωθa,ωθa=(x−a1)  ⁣dy−(y−a2)  ⁣dx(x−a1)2+(y−a2)2.\operatorname{Ind}_\gamma(a) = \frac1{2\pi}\int_\gamma\omega_\theta^a, \qquad \omega_\theta^a = \frac{(x - a_1)\,\dd y - (y - a_2)\,\dd x}{(x - a_1)^2 + (y - a_2)^2} .

示例

Example 21.14 (The angular form)

On U=R2∖{0}U = \R^2 \setminus \{0\},

ωθ=x  ⁣dy−y  ⁣dxx2+y2\omega_\theta = \frac{x\,\dd y - y\,\dd x}{x^2 + y^2}

is closed (direct computation: Exercise 21.4) but not exact: its integral along the unit circle is 2π≠02\pi \neq 0, while integrals of exact forms along closed curves vanish (Proposition 21.28). Locally, ωθ= ⁣dθ\omega_\theta = \dd\theta for any smooth determination θ\theta of the polar angle — whence the name and the obstruction: no such determination exists on all of UU. This single form runs the winding number (Section 21.6) and, through it, the residue theorem of Chapter 17.

在原文中阅读 →