Removable singularity

Removable singularity

In complex analysis, a removable singularity of a holomorphic function is a point at which the function is ostensibly undefined, but, upon closer examination, the domain of the function can be enlarged to include the singularity (in such a way that the function remains holomorphic).

For instance, the function

: f(z) = frac{sin z}{z}

for "z" ≠ 0 has a singularity at "z" = 0. This singularity can be removed by defining "f"(0) = 1. The resulting function is a continuous, in fact holomorphic, function.

Formally, if "U" is an open subset of the complex plane C, "a" is a point of "U", and "f" : "U" - {"a"} → C is a holomorphic function, then "a" is called a removable singularity for "f" if there exists a holomorphic function "g" : "U" → C which coincides with "f" on "U" - {"a"}. We say "f" is holomorphically extendable over "a" if such a "g" exists.

Riemann's theorem

Riemann's theorem on removable singularities states when a singularity is removable:

Theorem. The following are equivalent:

:i) "f" is holomorphically extendable over "a".

:ii) "f" is continuously extendable over "a".

:iii) There exists a neighborhood of "a" on which "f" is bounded.

:iv) lim"z" → "a"("z - a") "f"("z") = 0.

The implications i) ⇒ ii) ⇒ iii) ⇒ iv) are trivial. To prove iv) ⇒ i), we first recall that the holomorphy of a function at "a" is equivalent to it being analytic at "a", i.e. having a power series representation. Define

:h(z) =egin{cases}(z - a)^2 f(z) & z e a ,\0 & z = a .\end{cases}

Then

:h(z) - h(a) = (z - a)(z - a)f(z), ,

where, by assumption, ("z - a")"f"("z") can be viewed as a continuous function on "D". In other words, "h" is holomorphic on "D" and has a Taylor series about "a":

:h(z) = a_2 (z - a)^2 + a_3 (z - a)^3 + cdots .

Therefore

:g(z) = frac{h(z)}{(z-a)^2}

is a holomorphic extension of "f" over "a", which proves the claim.

Other kinds of singularities

Unlike functions of a real variable, holomorphic functions are sufficiently rigid that their isolated singularities can be completely classified. A holomorphic function's singularity is either not really a singularity at all, i.e. a removable singularity, or one of the following two types:

#In light of Riemann's theorem, given a non-removable singularity, one might ask whether there exists a natural number "m" such that lim"z" → "a"("z - a ")"m+1""f"("z") = 0. If so, "a" is called a pole of "f" and the smallest such "m" is the order of "a". So removable singularities are precisely the poles of order 0. A holomorphic function blows up uniformly near its poles.
#If an isolated singularity "a" of "f" is neither removable nor a pole, it is called an essential singularity. It can be shown that such an "f" maps every punctured open neighborhood "U" - {"a"} to the entire complex plane, with the possible exception of at most one point.

ee also

* Analytic capacity
* Removable discontinuity


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Singularity — may refer to any of a variety of concepts.Mathematics:* Mathematical singularity, a point at which a given mathematical object is not definedIn complex analysis:* Essential singularity, a singularity near which a function exhibits extreme… …   Wikipedia

  • Removable — may refer to: * Removable media, computing/electronic data storage * Removable partial denture, dentistry * Removable User Identity Module (R UIM), telecommunicationIn mathematical analysis * Removable discontinuity * Removable set * Removable… …   Wikipedia

  • singularity — /sing gyeuh lar i tee/, n., pl. singularities for 2 4. 1. the state, fact, or quality of being singular. 2. a singular, unusual, or unique quality; peculiarity. 3. Math. See singular point. 4. Astron. (in general relativity) the mathematical… …   Universalium

  • Singularity theory — For other mathematical uses, see Mathematical singularity. For non mathematical uses, see Gravitational singularity. In mathematics, singularity theory is the study of the failure of manifold structure. A loop of string can serve as an example of …   Wikipedia

  • removable — removability, removableness, n. removably, adv. /ri mooh veuh beuhl/, adj. 1. that may be removed. 2. Math. a. (of a singularity of a function of a complex variable) noting that the function is not analytic at the point but that the function can… …   Universalium

  • Mathematical singularity — In mathematics, a singularity is in general a point at which a given mathematical object is not defined, or a point of an exceptional set where it fails to be well behaved in some particular way, such as differentiability. See Singularity theory… …   Wikipedia

  • Essential singularity — In complex analysis, an essential singularity of a function is a severe singularity near which the function exhibits extreme behavior. Formally, consider an open subset U of the complex plane C, an element a of U , and a meromorphic function f :… …   Wikipedia

  • Classification of discontinuities — Jump point redirects here. For the science fiction concept, see jump drive. Continuous functions are of utmost importance in mathematics and applications. However, not all functions are continuous. If a function is not continuous at a point in… …   Wikipedia

  • Residue (complex analysis) — In mathematics, more specifically complex analysis, the residue is a complex number proportional to the contour integral of a meromorphic function along a path enclosing one of its singularities. (More generally, residues can be calculated for… …   Wikipedia

  • Pole (complex analysis) — The absolute value of the Gamma function. This shows that a function becomes infinite at the poles (left). On the right, the Gamma function does not have poles, it just increases quickly. In the mathematical field of complex analysis, a pole of a …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”