:: wikimiki.org ::
| Complex Pole |
Complex poleIn complex analysis, a pole of a holomorphic function is a certain type of simple singularity that behaves like the singularity 1/zn at z = 0. A pole of the function f(z) is a point z = a such that f(z) approaches infinity as z approaches a.
singularity
Formally, suppose U is an open subset of the complex plane C, a is an element of U and f : U − → C is a holomorphic function. If there exists a holomorphic function g : U → C and a natural number n such that
:
for all z in U − , then a is called a pole of f. If n is chosen as small as possible, then n is called the order of the pole. A pole of order 1 is called a simple pole.
Equivalently, a is a pole of order n≥ 0 for a function f if there exists an open neighbourhood U of a such that f : U - → C is holomorphic and the limit
:
exists and is different from 0.
The point a is a pole of order n of f if and only if all the terms the Laurent series expansion of f around a below degree −n vanishes and the term in degree −n is not zero.
A pole of order 0 is a removable singularity. In this case the limit limz→a f(z) exists as a complex number. If the order is bigger than 0, then limz→a f(z) = ∞.
If the first derivative of a function f has a simple pole at a, then a is a branch point of f. (The converse need not be true).
A non-removable singularity that is not a pole or a branch point is called an essential singularity.
A holomorphic function whose only singularities are poles is called meromorphic.
See also
- Zero (complex analysis)
- Residue (complex analysis)
- Electronic filter
Category:Complex analysis
Complex analysisComplex analysis is the branch of mathematics investigating functions of complex numbers. It is of enormous practical use in applied mathematics and in many other branches of mathematics. Complex analysis is particularly concerned with analytic functions of complex variables, known as holomorphic functions.
Complex functions
A complex function,
: ,
is a function in which the independent variable, , and the dependent variable, , are both complex numbers:
: .
For any complex function both the independent variable and the dependent variable may be separated into real and imaginary parts:
: and
: ,
: where
It follows that the components of the function,
: and
: ,
can be interpreted as real valued functions of the two real variables, and .
Since the real numbers are a subset of the complex numbers, all functions of real numbers are, strictly speaking, also complex functions. In fact, the extension of real functions (exponentials, logarithms, trigonometric functions) to the complex domain is frequently used as an introduction to complex analysis. However, the study of complex functions is primarily concerned with complex-valued functions of complex variables.
Holomorphic functions
Holomorphic functions are functions which are defined in some region of the complex plane, take complex values, and are differentiable as complex functions. Complex differentiability has much stronger consequences than usual (real) differentiability. For instance, holomorphic functions are infinitely differentiable, a fact that is far from true for real differentiable functions. Most elementary functions, including the exponential function, the trigonometric functions, and all polynomial functions, are holomorphic.
See also: analytic function, holomorphic sheaf and vector bundles.
Major results
One central tool in complex analysis is the path integral. The integral around a closed path of a function which is holomorphic everywhere inside the area bounded by the closed path is always zero; this is the Cauchy integral theorem. The values of a holomorphic function inside a disk can be computed by a certain path integral on the disk's boundary (Cauchy's integral formula). Path integrals in the complex plane are often used to determine complicated real integrals, and here the theory of residues among others is useful (see methods of contour integration). If a function has a pole or singularity at some point, meaning that its values "explode" and it does not have a finite value there, then one can define the function's residue at that pole, and these residues can be used to compute path integrals involving the function; this is the content of the powerful residue theorem. The remarkable behavior of holomorphic functions near essential singularities is described by the Weierstrass-Casorati theorem. Functions which have only poles but no essential singularities are called meromorphic.
Laurent series are similar to Taylor series but can be used to study the behavior of functions near singularities.
A bounded function which is holomorphic in the entire complex plane must be constant; this is Liouville's theorem. It can be used to provide a natural and short proof for the fundamental theorem of algebra which states that the field of complex numbers is algebraically closed.
An important property of holomorphic functions is that if a function is holomorphic throughout a simply connected domain then its values are fully determined by its values on any smaller subdomain. The function on the larger domain is said to be analytically continued from its values on the smaller domain. This allows the extension of the definition of functions such as the Riemann zeta function which are initially defined in terms of infinite sums that converge only on limited domains to almost the entire complex plane. Sometimes, as in the case of the natural logarithm, it is impossible to analytically continue a holomorphic function to a non-simply connected domain in the complex plane but it is possible to extend it to a holomorphic function on a closely related surface known as a Riemann surface.
All this refers to complex analysis in one variable. There is also a very rich theory of complex analysis in more than one complex dimension where the analytic properties such as power series expansion still remain true whereas most of the geometric properties of holomorphic functions in one complex dimension (such as conformality) are no longer true. The Riemann mapping theorem about the conformal relationship of certain domains in the complex plane, maybe the most important result in the one-dimensional theory, fails dramatically in higher dimensions.
It is also applied in many subjects throughout engineering, particularly in power engineering.
History
Complex analysis is one of the classical branches in mathematics with its roots in the 19th century and some even before. Important names are Euler, Gauss, Riemann, Cauchy, Weierstrass, and many more in the 20th century. Traditionally, complex analysis, in particular the theory of conformal mappings, has many applications in engineering, but it is also used throughout analytical number theory. In modern times, it became very popular through a new boost of complex dynamics and the pictures of fractals produced by iterating holomorphic functions, the most popular being the Mandelbrot set. Another important application of complex analysis today is in string theory which is a conformally invariant quantum field theory.
See also
- Several complex variables
- Runge's theorem
External links
- [http://www.math.gatech.edu/~cain/winter99/complex.html Complex Analysis -- textbook by George Cain]
- [http://www.ima.umn.edu/~arnold/502.s97/ Complex analysis course web site by Douglas N. Arnold]
Category:Calculus
Category:Mathematical analysis
-
Mathematical singularityIn 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 for general discussion of the geometric theory, which only covers some aspects.
For example, the function
:f(x) = 1/x
on the real line has a singularity at x = 0, where it explodes to ±∞ and is not defined. The function g(x) = |x| (see absolute value) also has a singularity at x = 0, since it isn't differentiable there. Similarly, the graph defined by y2 = x also has a singularity at (0,0), this time because it has a "corner" (vertical tangent) at that point.
The algebraic set defined by y2 = x2 in the (x, y) coordinate system has a singularity (singular point) at (0, 0) because it does not admit a tangent there.
Complex analysis
In complex analysis, there are four kinds of singularity, to be described below. Suppose U is an open subset of the complex numbers C, a is an element of U, and f is a holomorphic function defined on U \ .
- The point a is a removable singularity of f if there exists a holomorphic function g defined on all of U such that f(z) = g(z) for all z in U − .
- The point a is a pole of f if there exists a holomorphic function g defined on U and a natural number n such that f(z) = g(z) / (z − a)n for all z in U − .
- The point a is an essential singularity of f if is neither a removable singularity nor a pole. The point a is an essential singularity if and only if the Laurent series has infinitely many powers of negative degree.
These three types of singularities are isolated. The fourth type is branch points; they require a more verbose definition, see branch point.
From the point of view of dynamics
A finite-time singularity occurs when a kinematic variable increases towards infinity at a finite time. An example would be the bouncing motion of an inelastic ball on a plane. If idealized motion is considered, in which the same fraction of kinetic energy is lost on each bounce, the frequency of bounces becomes infinite as the ball comes to rest in a finite time. Other examples of finite-time singularities include Euler's disk and the Painlevé paradox.
Algebraic geometry and commutative algebra
In algebraic geometry and commutative algebra, a singularity is a prime ideal whose localization is not a regular local ring (alternately a scheme (mathematics) with a stalk that is not a regular local ring). For example, defines an isolated singular point (at the cusp) . The ring in question is given by
:
The maximal ideal of the localization at is a height one local ring generated by two elements and thus not regular.
See also
- Singular solution of a differential equation
Category:Mathematical analysis
ja:特異点
Open subsetIn topology and related fields of mathematics, a set U is called open if, intuitively speaking, you can "wiggle" or "change" any point x in U by a small amount in any direction and still be inside U.
In other words, if x is surrounded only by elements of U; it can't be on the edge of U.
As a typical example, consider the open interval (0,1) consisting of all real numbers x with 0 < x < 1.
If you "wiggle" such an x a little bit (but not too much), then the wiggled version will still be a number between 0 and 1.
Therefore, the interval (0,1) is open.
However, the interval (0,1] consisting of all numbers x with 0 < x ≤ 1 is not open; if you take x = 1 and wiggle a tiny bit in the positive direction, you will be outside of (0,1].
Note that whether a given set U is open depends on the surrounding space, the "wiggle room".
For instance, the set of rational numbers between 0 and 1 (exclusive) is open in the rational numbers, but it is not open in the real numbers.
Note also that "open" is not the opposite of "closed".
First, there are sets which are both open and closed (called clopen sets); in R and other connected spaces, only the empty set and the whole space are clopen, while the set of all rational numbers smaller than √2 is clopen in the rationals.
Also, there are sets which are neither open nor closed, such as (0,1] in R.
Definitions
The concept of open sets can be formalized in various degrees of generality.
Function-analytic
A point set in Rn is called open when every point P of the set is an inner point.
Euclidean space
A subset U of the Euclidean n-space Rn is called open if, given any point x in U, there exists a real number ε > 0 such that, given any point y in Rn whose Euclidean distance from x is smaller than ε, y also belongs to U. (Equivalently, U is open if every point in U has a neighbourhood contained in U)
Intuitively, ε measures the size of the allowed "wiggles".
An example of an open set in R2 (on a plane) would be all the points within a circle radius r, which satisfy the equation .
Because the distance of any point p in this set from the edge of the set is greater than zero: , we can set ε to half of this distance, which means ε is also greater than zero, and all the points that are within a distance of ε to p are also in the set, thus satisfying the conditions for an open set.
Metric spaces
A subset U of a metric space (M,d) is called open if, given any point x in U, there exists a real number ε > 0 such that, given any point y in M with d(x,y) < ε, y also belongs to U. (Equivalently, U is open if every point in U has a neighbourhood contained in U)
This generalises the Euclidean space example, since Euclidean space with the Euclidean distance is a metric space.
Topological spaces
In topological spaces, the concept of openness is taken to be fundamental.
One starts with an arbitrary set X and a family of subsets of X satisfying certain properties that every "reasonable" notion of openness is supposed to have.
(Specifically: the union of open sets is open, the finite intersection of open sets is open, and in particular the empty set and X itself are open.)
Such a family T of subsets is called a topology on X, and the members of the family are called the open sets of the topological space (X,T). Note that infinite intersections of open sets need not be open. Sets that can be constructed as the intersection of countably many open sets are denoted Gδ sets.
The topological definition of open sets generalises the metric space definition:
If you start with a metric space and define open sets as before, then the family of all open sets will form a topology on the metric space.
Every metric space is hence in a natural way a topological space.
(There are however topological spaces which are not metric spaces.)
Uses
Every subset A of a topological space X contains a (possibly empty) open set; the largest such open set is called the interior of A.
It can be constructed by taking the union of all the open sets contained in A.
Given topological spaces X and Y, a function f from X to Y is continuous if the preimage of every open set in Y is open in X.
The map f is called open if the image of every open set in X is open in Y.
An open set on the real line has the characteristic property that it is a countable union of disjoint open intervals.
Manifolds
A manifold is called open if it is a manifold without boundary and if it is not compact.
This notion differs somewhat from the openness discussed above.
Category:general topology
ja:開集合
Holomorphic functionHolomorphic functions are the central object of study of complex analysis; they are functions defined on an open subset of the complex number plane C with values in C that are complex-differentiable at every point. This is a much stronger condition than real differentiability and implies that the function is infinitely often differentiable and can be described by its Taylor series. The term analytic function is often used interchangeably with "holomorphic function", although note that the former term has several other meanings. A function that is holomorphic on the whole complex plane is called an entire function. The phrase "holomorphic at a point a" means not just differentiable at a, but differentiable everywhere within some open disk centered at a in the complex plane. Biholomorphic means a holomorphic function with a holomorphic inverse function.
Definition
If U is an open subset of C and f : U → C is a function, we say that f is complex differentiable at the point z0 of U if the limit
:
exists.
The limit here is taken over all sequences of complex numbers approaching z0, and for all such sequences the difference quotient has to approach the same number f '(z0).
Intuitively, if f is complex differentiable at z0 and we approach the point z0 from the direction r, then the images will approach the point f(z0) from the direction f '(z0) r, where the last product is the multiplication of complex numbers.
This concept of differentiability shares several properties with real differentiability:
it is linear and obeys the product, quotient and chain rules.
If f is complex differentiable at every point z0 in U, we say that f is holomorphic on U. We say that f is holomorphic in the point z0 if it is holomorphic on some neighborhood of z0. We say that f is holomorphic on some non-open set A if it is holomorphic in an open set containing A.
An equivalent definition is the following. A complex function f(x + iy) = u + iv is holomorphic if and only if it satisfies the Cauchy-Riemann equations and u and v have continuous first partial derivatives with respect to x and y.
Examples
All polynomial functions in z with complex coefficients are holomorphic on C,
and so are the trigonometric functions of z and the exponential function.
(The trigonometric functions are in fact closely related to and can be defined via the exponential function using Euler's formula).
The principal branch of the logarithm function is holomorphic on the set C - .
The square root function can be defined as
:
and is therefore holomorphic wherever the logarithm ln(z) is. The function 1/z is holomorphic on .
Typical examples of functions which are not holomorphic are complex conjugation and taking the real part.
Properties
Because complex differentiation is linear and obeys the product, quotient, and chain rules, the sums, products and compositions of holomorphic functions are holomorphic, and the quotient of two holomorphic functions is holomorphic wherever the denominator is non-zero.
Every holomorphic function is infinitely often complex differentiable at every point. It coincides with its own Taylor series and the Taylor series converges on every open disk that lies completely inside the domain U. The Taylor series may converge on a larger disk; for instance, the Taylor series for the logarithm converges on every disk that does not contain 0, even in the vicinity of the negative real line. See holomorphic functions are analytic for a proof.
If one identifies C with R2, then the holomorphic functions coincide with those functions of two real variables which solve the Cauchy-Riemann equations, a set of two partial differential equations.
Close to points with non-zero derivative, holomorphic functions are conformal in the sense that they preserve angles and the shape (but not size) of small figures.
Cauchy's integral formula states that every holomorphic function inside a disk is completely determined by its values on the disk's boundary.
From an algebraic point of view the set of holomorphic functions on an open set is a commutative ring and a complex vector space. In fact, it is a locally convex topological vector space, with the seminorms being the suprema on compact subsets.
Several variables
A complex analytic function of several complex variables is defined to be analytic and holomorphic at a point if it is locally expandable (within a polydisk, a cartesian product of disks, centered at that point) as a convergent power series in the variables. This condition is stronger than the Cauchy-Riemann equations; in fact it can be stated
as follows:
A function of several complex variables is holomorphic if and only if it satisfies the Cauchy-Riemann equations and is locally square-integrable.
Extension to functional analysis
The concept of a holomorphic function can be extended to the infinite-dimensional spaces of functional analysis. The article on the Fréchet derivative reviews the concept of a holomorphic function on a Banach space.
Terminology
Today, many mathematicians prefer the term "holomorphic function" to "analytic function", as the latter is a more general concept. This is also because an important result in complex analysis is that every holomorphic function is complex analytic, a fact that does not follow directly from the definitions. The term "analytic" is however also in wide use.
The word "holomorphic" derives from the Greek holos meaning "whole" and morphe meaning "form" or "appearance".
See also
- Meromorphic function
- Entire function
- Antiholomorphic function
Category:Complex analysis
ja:正則関数
Laurent series
In mathematics, the Laurent series of a complex function f(z) is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where
a Taylor series expansion cannot be applied. The Laurent series was named
after and first published by Pierre Alphonse Laurent in 1843.
Karl Weierstrass discovered it first in 1841 but did not publish it.
The Laurent series for a complex function f(z) about a point c is given by:
:
where the an are constants, defined by a path integral
which is a generalization of Cauchy's integral formula:
:
The path of integration γ is counterclockwise around a closed,
rectifiable path containing no self-intersections, enclosing
c and lying in an annulus A in which f(z) is
holomorphic. The expansion for f(z) will be valid anywhere inside this annulus. The annulus is
shown in red in the diagram on the right, along with an example of a suitable
path of integration labelled γ.
In practice, this formula is rarely used because the integrals are
difficult to evaluate; instead, one typically pieces together the Laurent
series by combining known Taylor expansions.
The numbers an and c
are most commonly taken to be complex numbers, although there are other
possibilities, as described below.
Convergent Laurent series
Laurent series with complex coefficients are an important tool in complex analysis, especially to investigate the behavior of functions near singularities.
singularities
Consider for instance the function f(x) = e−1/x² with f(0) = 0. As a real function, it is infinitely often differentiable everywhere; as a complex function however it is not differentiable at x = 0. By plugging −1/x2 into the series for the exponential function, we obtain its Laurent series which converges and is equal to f(x) for all complex numbers x except at the singularity x=0. The graph opposite shows e−1/x² in black and its Laurent approximations
:
for n = 1, 2, 3, 4, 5, 6, 7 and 50. As n → ∞, the approximation becomes exact for all (complex) numbers x except at the singularity x = 0.
More generally, Laurent series can be used to express holomorphic functions defined on an annulus, much as power series are used to express holomorphic functions defined on a disc.
Suppose ∑−∞ < n < ∞ an(z − c)n is a given Laurent series with complex coefficients an and a complex center c.
Then there exists a unique inner radius r and outer radius R such that:
- The Laurent series converges on the open annulus A := . To say that the Laurent series converges, we mean that both the positive degree power series and the negative degree power series converge. Furthermore, this convergence will be uniform on compact sets. Finally, the convergent series defines a holomorphic function f(z) on the open annulus.
- Outside the annulus, the Laurent series diverges. That is, at each point of the exterior of A, the positive degree power series or the negative degree power series diverges.
- On the boundary of the annulus, one cannot make a general statement, except to say that there is at least one point on the inner boundary and one point on the outer boundary such that f(z) cannot be holomorphically continued to those points.
It is possible that r may be zero or R may be infinite; at the other extreme, it's not necessarily true that r is less than R.
These radii can be computed as follows:
:
:
We take R to be infinite when this latter lim sup is zero.
Conversely, if we start with an annulus of the form A = and a holomorphic function f(z) defined on A, then there always exists a unique Laurent series with center c which converges (at least) on A and represents the function f(z).
As an example, let
:
This function has singularities at z = 1 and z = 2i, where the denominator of the expression is zero and the expression is therefore undefined.
A Taylor series about z = 0 (which yields a power series) will only converge in a disc of radius 1, since it "hits" the singularity at 1.
However, there are three possible Laurent expansions about z = 0, depending on the region z is in.
- One is defined on the disc where |z| < 1; it is the same as the Taylor series,
:.
- Another one is defined on the annulus where 1 < |z| < 2, caught between the two singularities,
:.
- The third one is defined on the infinite annulus where 2 < |z| < ∞,
:.
The case r = 0, i.e. a holomorphic function f(z) which may be undefined at a single point c, is especially important.
The coefficient a-1 of the Laurent expansion of such a function is called the residue of f(z) at the singularity c; it plays a prominent role in the residue theorem.
For an example of this, consider
:
This function is holomorphic everywhere except at z = 0.
To determine the Laurent expansion about c = 0, we use our knowledge of the Taylor series of the exponential function:
:
and we find that the residue is 2.
Formal Laurent series
Formal Laurent series are Laurent series that are used without regard for their convergence. The coefficients ak may then be taken from any commutative ring K. In this context, one only considers Laurent series where all but finitely many of the negative-degree coefficients are zero. Furthermore, the center c is taken to be zero.
Two such formal Laurent series are equal if and only if their coefficient sequences are equal. The set of all formal Laurent series in the variable x over the coefficient ring K is denoted by K((x)). Two such formal Laurent series may be added by adding the coefficients, and because of the finiteness of the negative-degree coefficients, they may also be multiplied using convolution of the coefficient sequences. With these two operations, K((x)) becomes a commutative ring.
If K is a field, then the formal power series over K form an integral domain Kx.
The field of quotients of this integral domain can be identified with K((x)).
Category:Complex analysis
Category:Mathematical series
ja:ローラン展開
Limit (mathematics)In mathematics, the concept of a "limit" is used to describe the behavior of a function, as its argument gets "close" to either some point, or infinity; or the behavior of a sequence's elements, as their index approaches infinity. Limits are used in calculus and other branches of mathematical analysis to define derivatives and continuity.
The concept of the "limit of a function" is further generalized to the concept of topological net, while the limit of a sequence is closely related to limit and direct limit in category theory.
Limit of a function
Main article: limit of a function
Limit of a function at a point
Suppose f(x) is a real function and c is a real number. The expression:
:
means that f(x) can be made to be as close to L as desired by making x sufficiently close to c. In that case, we say that "the limit of f(x), as x approaches c, is L". Note that this statement can be true even if f(c) L. Indeed, the function f(x) need not even be defined at c.
Two examples help illustrate this.
Consider as x approaches 2. In this case, f(x) is defined at 2 and equals its limit of 0.4:
As x approaches 3, f(x) approaches 0.3 and hence we have .
In the case where , f is said to be continuous at x = c.
But it is not always the case.
Consider
: |
|
|
| :: RELATED NEWS :: |
Battle of Sphacteria
The Battle of Sphacteria was a battle of the Peloponnesian War in 425 BC, between Athens and Sparta. It was an important part of the longer Battle of Pylos.
The Athenian land forces in Pylos had successfully driven back the Spartan attempts to land from the sea, and the fifty Athenian ships were able to drive the
|
Jock itch
Jock itch, also called Crotch Itch, Bag Rot, tinea cruris or ringworm of the groin, is a fungal infection of the groin region.
Causes
Opportunistic infections (infections that are caused by a diminished immune system) are frequent. Fungus from other parts of the body (commonly
Jesse Louis Jackson, Jr. (born March 11 1965) is a member of the United States House of Representatives representing the 2nd District of Illinois ([http://nationalatlas.gov/printable/images/preview/congdist/il02_109.gif map]). He is the son of Jesse L. Jackson.
Born in
|
Music of immigrant communities in the United States
The vast majority of the inhabitants of the United States are immigrants or descendents of immigrants. This article will focus on the music of these communities and discuss its roots in countries across Africa, Europe and Asia, excluding only Native American music,
|
Lichen simplex chronicus
Lichen simplex chronicus is a skin disorder characterized by chronic itching and scratching. The constant scratching causes thick, leathery, brownish skin.
Causes
This is a skin disorder characterized by a self-perpetuating scratch-itch cycle:
- It may begin with something that rubs, irritates, or scratches the skin, such as clothing.
- This causes the person to rub or scratch the affected area. Constant scratching causes the skin to thicken.
- The thickened skin itches, causing more scratching, causing more thickening.
T
|
Val Thorens
Val Thorens is the highest ski resort in Europe, located in the French Alps at 2300 meters altitude. This provide for a very long ski season with the ski infrastructure typically closing in early-middle May. Many of its slopes face north and north-west, providing for good snow conditions. This means that the slopes are not as sunny and thus the resort attracts a crowd more interested in skiing tha
|
Safari Rally
The Safari Rally is held in Kenya and is considered by many to be the world's toughest rally. It first started in 1953 as the East African Coronation Safari and was held from May 27 to June 1 of that year in Kenya, Uganda and Tanganyika.
In 1960 it was renamed the East African Safari
|
List of tinea infections
Fungal skin infections (tinea) include:
- Athlete's foot (Tinea pedis)
- Folliculitis (Tinea barbae)
- Jock itch (Tinea cruris)
- Read More... |
|