This article needs additional citations for verification .(July 2021) |
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
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:
Theorem — Let be an open subset of the complex plane, a point of and a holomorphic function defined on the set . The following are equivalent:
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:
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, applied mathematics; as well as in physics, including the branches of hydrodynamics, thermodynamics, and particularly quantum mechanics. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.
In complex analysis, the Riemann mapping theorem states that if is a non-empty simply connected open subset of the complex number plane which is not all of , then there exists a biholomorphic mapping from onto the open unit disk
In complex analysis, a branch of mathematics, the Casorati–Weierstrass theorem describes the behaviour of holomorphic functions near their essential singularities. It is named for Karl Theodor Wilhelm Weierstrass and Felice Casorati. In Russian literature it is called Sokhotski's theorem.
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function where U is an open subset of that satisfies Laplace's equation, that is,
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. Residues can be computed quite easily and, once known, allow the determination of general contour integrals via the residue theorem.
In complex analysis, the residue theorem, sometimes called Cauchy's residue theorem, is a powerful tool to evaluate line integrals of analytic functions over closed curves; it can often be used to compute real integrals and infinite series as well. It generalizes the Cauchy integral theorem and Cauchy's integral formula. From a geometrical perspective, it can be seen as a special case of the generalized Stokes' theorem.
In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where the infinite series representation which initially defined the function becomes divergent.
In complex analysis, an essential singularity of a function is a "severe" singularity near which the function exhibits odd behavior.
In complex analysis, Liouville's theorem, named after Joseph Liouville, 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.
In complex analysis, a branch of mathematics, an isolated singularity is one that has no other singularities close to it. In other words, a complex number z0 is an isolated singularity of a function f if there exists an open disk D centered at z0 such that f is holomorphic on D \ {z0}, that is, on the set obtained from D by taking z0 out.
The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space , that is, n-tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables, which the Mathematics Subject Classification has as a top-level heading.
In mathematics, the Cauchy principal value, named after Augustin Louis Cauchy, is a method for assigning values to certain improper integrals which would otherwise be undefined.
In mathematics and signal processing, the Hilbert transform is a specific singular integral that takes a function, u(t) of a real variable and produces another function of a real variable H(u)(t). The Hilbert transform is given by the Cauchy principal value of the convolution with the function (see § Definition). The Hilbert transform has a particularly simple representation in the frequency domain: It imparts a phase shift of ±90° (π⁄2 radians) to every frequency component of a function, the sign of the shift depending on the sign of the frequency (see § Relationship with the Fourier transform). The Hilbert transform is important in signal processing, where it is a component of the analytic representation of a real-valued signal u(t). The Hilbert transform was first introduced by David Hilbert in this setting, to solve a special case of the Riemann–Hilbert problem for analytic functions.
In mathematics, the barycentric subdivision is a standard way to subdivide a given simplex into smaller ones. Its extension on simplicial complexes is a canonical method to refine them. Therefore, the barycentric subdivision is an important tool in algebraic topology.
In algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace.
The rectangular function is defined as
In mathematics, hyperfunctions are generalizations of functions, as a 'jump' from one holomorphic function to another at a boundary, and can be thought of informally as distributions of infinite order. Hyperfunctions were introduced by Mikio Sato in 1958 in Japanese,, building upon earlier work by Laurent Schwartz, Grothendieck and others.
In mathematics, Borel summation is a summation method for divergent series, introduced by Émile Borel (1899). It is particularly useful for summing divergent asymptotic series, and in some sense gives the best possible sum for such series. There are several variations of this method that are also called Borel summation, and a generalization of it called Mittag-Leffler summation.
In complex analysis, Mittag-Leffler's theorem concerns the existence of meromorphic functions with prescribed poles. Conversely, it can be used to express any meromorphic function as a sum of partial fractions. It is sister to the Weierstrass factorization theorem, which asserts existence of holomorphic functions with prescribed zeros.
In real analysis and complex analysis, branches of mathematics, the identity theorem for analytic functions states: given functions f and g analytic on a domain D, if f = g on some , where has an accumulation point, then f = g on D.