In complex analysis, a removable singularity of a holomorphic function is a point at which the function is undefined, but it is possible to redefine the function at that point in such a way that the resulting function is regular in a neighbourhood of that point. For instance, the (unnormalized) sinc function, as defined by has a singularity at z = 0. This singularity can be removed by defining which is the limit of sinc as z tends to 0. The resulting function is holomorphic. In this case the problem was caused by sinc being given an indeterminate form. Taking a power series expansion for around the singular point shows that Formally, if is an open subset of the complex plane , a point of , and is a holomorphic function, then is called a removable singularity for if there exists a holomorphic function which coincides with on . We say is holomorphically extendable over if such a exists. Riemann's theorem on removable singularities is as follows: Let be an open subset of the complex plane, a point of and a holomorphic function defined on the set . The following are equivalent: is holomorphically extendable over . is continuously extendable over . There exists a neighborhood of on which is bounded. The implications 1 ⇒ 2 ⇒ 3 ⇒ 4 are trivial. To prove 4 ⇒ 1, we first recall that the holomorphy of a function at is equivalent to it being analytic at (proof), i.e. having a power series representation. Define Clearly, h is holomorphic on , and there exists by 4, hence h is holomorphic on D and has a Taylor series about a: We have c0 = h(a) = 0 and c1 = h(a) = 0; therefore Hence, where , we have: However, is holomorphic on D, thus an extension of . 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 such that .

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related courses (9)
ME-716: Similarity and Transport Phenomena in Fluid
The course is an introduction to symmetry analysis in fluid mechanics. The student will learn how to find similarity and travelling-wave solutions to partial differential equations used in fluid and c
MATH-207(d): Analysis IV
The course studies the fundamental concepts of complex analysis and Laplace analysis with a view to their use to solve multidisciplinary scientific engineering problems.
CIVIL-705: Selected Topics on Advanced Composites in Engineering Structures
The course focuses on the current investigations in the fields of fatigue and fracture of composite materials and composite structural components, like adhesively-bonded joints. Students would be able
Show more
Related lectures (46)
Laurent Series: Singularities and Convergence
Explores Laurent series, singularities, convergence, residues, and analytic functions with practical examples and calculations.
Algebraic Curves: Normalization
Covers the normalization process of plane algebraic curves, focusing on irreducible polynomials and affine curves.
Unclosed Curves Integrals
Covers the calculation of integrals over unclosed curves, focusing on essential singularities and residue calculation.
Show more
Related publications (27)

Experimental observation of topological transition in linear and nonlinear parametric oscillators

Romain Christophe Rémy Fleury, Benjamin Apffel

Parametric oscillators are examples of externally driven systems that can exhibit two stable states with opposite phase depending on the initial conditions. In this work, we propose to study what happens when the external forcing is perturbed by a continuo ...
2024

CONTROL OF HYPERBOLIC AND PARABOLIC EQUATIONS ON NETWORKS AND SINGULAR LIMITS

Nicola De Nitti

vanishing viscosity, networks. This work has received funding from the Alexander von Humboldt-Professorship program, the Transregio 154 Project "Mathematical Modelling, Simulation and Optimization Using the Example of Gas Networks" of the DFG, the grant PI ...
Amer Inst Mathematical Sciences-Aims2024

Asymmetric phase modulation of light with parity-symmetry broken metasurfaces

Karim Achouri, Jean-Yves Duboz

The design of wavefront-shaping devices is conventionally approached using real-frequency modeling. However, since these devices interact with light through radiative channels, they are by default non-Hermitian objects having complex eigenvalues (poles and ...
Washington2023
Show more
Related concepts (9)
Liouville's theorem (complex analysis)
In complex analysis, Liouville's theorem, named after Joseph Liouville (although the theorem was first proven by Cauchy in 1844), states that every bounded entire function must be constant. That is, every holomorphic function for which there exists a positive number such that for all is constant. Equivalently, non-constant holomorphic functions on have unbounded images. The theorem is considerably improved by Picard's little theorem, which says that every entire function whose image omits two or more complex numbers must be constant.
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 any function that is holomorphic except at the discrete points {ak}k, even if some of them are essential singularities.) Residues can be computed quite easily and, once known, allow the determination of general contour integrals via the residue theorem.
Essential singularity
In complex analysis, an essential singularity of a function is a "severe" singularity near which the function exhibits odd behavior. The category essential singularity is a "left-over" or default group of isolated singularities that are especially unmanageable: by definition they fit into neither of the other two categories of singularity that may be dealt with in some manner – removable singularities and poles. In practice some include non-isolated singularities too; those do not have a residue.
Show more

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.