|
Morera's Theorem
In complex analysis, a branch of mathematics, Morera's theorem, named after Giacinto Morera, gives a criterion for proving that a function is holomorphic. Morera's theorem states that a continuous, complex-valued function ''f'' defined on an open set ''D'' in the complex plane that satisfies \oint_\gamma f(z)\,dz = 0 for every closed piecewise ''C''1 curve \gamma in ''D'' must be holomorphic on ''D''. The assumption of Morera's theorem is equivalent to ''f'' having an antiderivative on ''D''. The converse of the theorem is not true in general. A holomorphic function need not possess an antiderivative on its domain, unless one imposes additional assumptions. The converse does hold e.g. if the domain is simply connected; this is Cauchy's integral theorem, stating that the line integral of a holomorphic function along a closed curve is zero. The standard counterexample is the function , which is holomorphic on C − . On any simply connected neighborhood U ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analyticity Of Holomorphic Functions
In complex analysis, a complex-valued function f of a complex variable z: *is said to be holomorphic at a point a if it is differentiable at every point within some open disk centered at a, and * is said to be analytic at a if in some open disk centered at a it can be expanded as a convergent power series f(z)=\sum_^\infty c_n(z-a)^n (this implies that the radius of convergence is positive). One of the most important theorems of complex analysis is that holomorphic functions are analytic and vice versa. Among the corollaries of this theorem are * the identity theorem that two holomorphic functions that agree at every point of an infinite set S with an accumulation point inside the intersection of their domains also agree everywhere in every connected open subset of their domains that contains the set S, and * the fact that, since power series are infinitely differentiable, so are holomorphic functions (this is in contrast to the case of real differentiable functions), and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 f\colon \mathbb \setminus \_k \rightarrow \mathbb that is holomorphic except at the discrete points ''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. Definition The residue of a meromorphic function f at an isolated singularity a, often denoted \operatorname(f,a), \operatorname_a(f), \mathop_f(z) or \mathop_f(z), is the unique value R such that f(z)- R/(z-a) has an analytic antiderivative in a punctured disk 0<\vert z-a\vert<\delta. Alternatively, residues can be calculated by finding |
Methods Of Contour Integration
In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane. Contour integration is closely related to the calculus of residues, a method of complex analysis. One use for contour integrals is the evaluation of integrals along the real line that are not readily found by using only real variable methods. It also has various applications in physics. Contour integration methods include: * direct integration of a complex-valued function along a curve in the complex plane * application of the Cauchy integral formula * application of the residue theorem One method can be used, or a combination of these methods, or various limiting processes, for the purpose of finding these integrals or sums. Curves in the complex plane In complex analysis, a contour is a type of curve in the complex plane. In contour integration, contours provide a precise definition of the curves on which an integral may be suitab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy–Riemann Equations
In the field of complex analysis in mathematics, the Cauchy–Riemann equations, named after Augustin-Louis Cauchy, Augustin Cauchy and Bernhard Riemann, consist of a system of differential equations, system of two partial differential equations which form a necessary and sufficient condition for a complex function of a complex variable to be complex differentiable. These equations are and where and are real differentiable function#Differentiability in higher dimensions, bivariate differentiable functions. Typically, and are respectively the real part, real and imaginary parts of a complex number, complex-valued function of a single complex variable where and are real variables; and are real differentiable functions of the real variables. Then is complex differentiable at a complex point if and only if the partial derivatives of and satisfy the Cauchy–Riemann equations at that point. A holomorphic function is a complex function that is differentiable at eve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characterization (mathematics)
In mathematics, a characterization of an object is a set of conditions that, while possibly different from the definition of the object, is logically equivalent to it. To say that "Property ''P'' characterizes object ''X''" is to say that not only does ''X'' have property ''P'', but that ''X'' is the ''only'' thing that has property ''P'' (i.e., ''P'' is a defining property of ''X''). Similarly, a set of properties ''P'' is said to characterize ''X'', when these properties distinguish ''X'' from all other objects. Even though a characterization identifies an object in a unique way, several characterizations can exist for a single object. Common mathematical expressions for a characterization of ''X'' in terms of ''P'' include "''P'' is necessary and sufficient for ''X''", and "''X'' holds if and only if ''P''". It is also common to find statements such as "Property ''Q'' characterizes ''Y'' up to isomorphism". The first type of statement says in different words that the extension o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gamma Function
In mathematics, the gamma function (represented by Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined for all complex numbers z except non-positive integers, and for every positive integer z=n, \Gamma(n) = (n-1)!\,.The gamma function can be defined via a convergent improper integral for complex numbers with positive real part: \Gamma(z) = \int_0^\infty t^ e^\textt, \ \qquad \Re(z) > 0\,.The gamma function then is defined in the complex plane as the analytic continuation of this integral function: it is a meromorphic function which is holomorphic function, holomorphic except at zero and the negative integers, where it has simple Zeros and poles, poles. The gamma function has no zeros, so the reciprocal gamma function is an entire function. In fact, the gamma function corresponds to the Mellin transform of the negative exponential functi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Zeta Function
The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter (zeta), is a mathematical function of a complex variable defined as \zeta(s) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots for and its analytic continuation elsewhere. The Riemann zeta function plays a pivotal role in analytic number theory and has applications in physics, probability theory, and applied statistics. Leonhard Euler first introduced and studied the function over the reals in the first half of the eighteenth century. Bernhard Riemann's 1859 article "On the Number of Primes Less Than a Given Magnitude" extended the Euler definition to a complex variable, proved its meromorphic continuation and functional equation, and established a relation between its zeros and the distribution of prime numbers. This paper also contained the Riemann hypothesis, a conjecture about the distribution of complex zeros of the Riemann zeta function that many mathematicians consider th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weierstrass M-test
In mathematics, the Weierstrass M-test is a test for determining whether an infinite series of functions converges uniformly and absolutely. It applies to series whose terms are bounded functions with real or complex values, and is analogous to the comparison test for determining the convergence of series of real or complex numbers. It is named after the German mathematician Karl Weierstrass (1815–1897). Statement Weierstrass M-test. Suppose that (''f''''n'') is a sequence of real- or complex-valued functions defined on a set ''A'', and that there is a sequence of non-negative numbers (''M''''n'') satisfying the conditions * , f_n(x), \leq M_n for all n \geq 1 and all x \in A, and * \sum_^ M_n converges. Then the series :\sum_^ f_n (x) converges absolutely and uniformly on ''A''. A series satisfying the hypothesis is called '' normally convergent''. The result is often used in combination with the uniform limit theorem. Together they say that if, in addition to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fubini's Theorem
In mathematical analysis, Fubini's theorem characterizes the conditions under which it is possible to compute a double integral by using an iterated integral. It was introduced by Guido Fubini in 1907. The theorem states that if a function is Lebesgue integrable on a rectangle X\times Y, then one can evaluate the double integral as an iterated integral:\, \iint\limits_ f(x,y)\,\text(x,y) = \int_X\left(\int_Y f(x,y)\,\texty\right)\textx=\int_Y\left(\int_X f(x,y) \, \textx \right) \texty. This formula is generally not true for the Riemann integral, but it is true if the function is continuous on the rectangle. In multivariable calculus, this weaker result is sometimes also called Fubini's theorem, although it was already known by Leonhard Euler. Tonelli's theorem, introduced by Leonida Tonelli in 1909, is similar but is applied to a non-negative measurable function rather than to an integrable function over its domain. The Fubini and Tonelli theorems are usually combined and for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supremum Norm
In mathematical analysis, the uniform norm (or ) assigns, to real- or complex-valued bounded functions defined on a set , the non-negative number :\, f\, _\infty = \, f\, _ = \sup\left\. This norm is also called the , the , the , or, when the supremum is in fact the maximum, the . The name "uniform norm" derives from the fact that a sequence of functions converges to under the metric derived from the uniform norm if and only if converges to uniformly. If is a continuous function on a closed and bounded interval, or more generally a compact set, then it is bounded and the supremum in the above definition is attained by the Weierstrass extreme value theorem, so we can replace the supremum by the maximum. In this case, the norm is also called the . In particular, if is some vector such that x = \left(x_1, x_2, \ldots, x_n\right) in finite dimensional coordinate space, it takes the form: :\, x\, _\infty := \max \left(\left, x_1\ , \ldots , \left, x_n\\right). This i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Banach Space
In mathematics, more specifically in functional analysis, a Banach space (, ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space. Banach spaces are named after the Polish mathematician Stefan Banach, who introduced this concept and studied it systematically in 1920–1922 along with Hans Hahn and Eduard Helly. Maurice René Fréchet was the first to use the term "Banach space" and Banach in turn then coined the term " Fréchet space". Banach spaces originally grew out of the study of function spaces by Hilbert, Fréchet, and Riesz earlier in the century. Banach spaces play a central role in functional analysis. In other areas of analysis, the spaces under study are often Banach spaces. Definition A Banach space is a complete nor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
