ScalingStacks

Definition 6.12 [03LX]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 6.12 Let UU be an open subset of ℝ2\mathbin{\mathbb{R}}^{2}, and suppose that u,v:ℝ2→ℝu,v:\mathbin{\mathbb{R}}^{2}\rightarrow\mathbin{\mathbb{R}} are continuous in UU and smooth except at points (x,0)(x,0) with u⁡(x,0)=0u(x,0)=0, and that they satisfy (32) except at such points. As a shorthand we shall often just say that u,v:U→ℝu,v:U\rightarrow\mathbin{\mathbb{R}} satisfy (32), without discussing the exceptional points (x,0)(x,0).

We call a point (x,0)(x,0) in UU with u⁡(x,0)=0u(x,0)=0 a singularity of the solution u,vu,v. We call a singularity (x,0)(x,0) isolated if there exists ϵ>0\epsilon>0 such that the open disc Bϵ​(x,0)B_{\epsilon}(x,0) of radius ϵ\epsilon about (x,0)(x,0) lies in UU, and the only point (x′,y′)(x^{\prime},y^{\prime}) in Bϵ​(x,0)B_{\epsilon}(x,0) with u⁡(x′,y′)=0u(x^{\prime},y^{\prime})=0 and v⁡(x′,y′)=v⁡(x,0)v(x^{\prime},y^{\prime})=v(x,0) is (x,0)(x,0).

Let (x,0)(x,0) be an isolated singularity of u,vu,v, and let ϵ\epsilon be as above. Consider the map γ:𝒮1→ℂ\gamma:{\mathcal{S}}^{1}\rightarrow\mathbin{\mathbb{C}} given by

γ:ei​θ↦u⁡(x+12​ϵ​cos⁡θ,12​ϵ​sin⁡θ)−i​v​(x+12​ϵ​cos⁡θ,12​ϵ​sin⁡θ)+i​v​(x,0).\gamma:{\rm e}^{i\theta}\mapsto u\bigl(x+{\textstyle\frac{1}{2}}\epsilon\cos\theta,{\textstyle\frac{1}{2}}\epsilon\sin\theta\bigr)-iv\bigl(x+{\textstyle\frac{1}{2}}\epsilon\cos\theta,{\textstyle\frac{1}{2}}\epsilon\sin\theta\bigr)+iv(x,0).

As (x,0)(x,0) is isolated we see that γ\gamma is smooth and maps 𝒮1→ℂ∖{0}{\mathcal{S}}^{1}\rightarrow\mathbin{\mathbb{C}}\setminus\{0\}. Define the order of the isolated singularity (x,0)(x,0) to be the winding number of γ\gamma about 0 in ℂ\mathbin{\mathbb{C}}. It is easy to show that the order is independent of ϵ\epsilon, provided ϵ>0\epsilon>0 is sufficiently small.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.