Jordan's Lemma
   HOME
*





Jordan's Lemma
In complex analysis, Jordan's lemma is a result frequently used in conjunction with the residue theorem to evaluate contour integrals and improper integrals. The lemma is named after the French mathematician Camille Jordan. Statement Consider a complex-valued, continuous function , defined on a semicircular contour :C_R = \ of positive radius lying in the upper half-plane, centered at the origin. If the function is of the form :f(z) = e^ g(z) , \quad z \in C , with a positive parameter , then Jordan's lemma states the following upper bound for the contour integral: :\left, \int_ f(z) \, dz \ \le \frac M_R \quad \text \quad M_R := \max_ \left, g \left(R e^\right) \ . with equality when vanishes everywhere, in which case both sides are identically zero. An analogous statement for a semicircular contour in the lower half-plane holds when . Remarks * If is continuous on the semicircular contour for all large and :then by Jordan's lemma \lim_ \int_ f(z)\, dz = 0. * ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Complex Analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), 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 engineering, nuclear, aerospace engineering, aerospace, mechanical engineering, mechanical and electrical engineering. As a differentiable function of a complex variable is equal to its Taylor series (that is, it is Analyticity of holomorphic functions, analytic), complex analysis is particularly concerned with analytic functions of a complex variable (that is, holomorphic functions). History Complex analysis is one of the classical ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Jordan's Lemma
In complex analysis, Jordan's lemma is a result frequently used in conjunction with the residue theorem to evaluate contour integrals and improper integrals. The lemma is named after the French mathematician Camille Jordan. Statement Consider a complex-valued, continuous function , defined on a semicircular contour :C_R = \ of positive radius lying in the upper half-plane, centered at the origin. If the function is of the form :f(z) = e^ g(z) , \quad z \in C , with a positive parameter , then Jordan's lemma states the following upper bound for the contour integral: :\left, \int_ f(z) \, dz \ \le \frac M_R \quad \text \quad M_R := \max_ \left, g \left(R e^\right) \ . with equality when vanishes everywhere, in which case both sides are identically zero. An analogous statement for a semicircular contour in the lower half-plane holds when . Remarks * If is continuous on the semicircular contour for all large and :then by Jordan's lemma \lim_ \int_ f(z)\, dz = 0. * ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Theorems In Complex Analysis
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and '' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Estimation Lemma
In mathematics the estimation lemma, also known as the inequality, gives an upper bound for a contour integral. If is a complex-valued, continuous function on the contour and if its absolute value is bounded by a constant for all on , then :\left, \int_\Gamma f(z) \, dz\ \le M\, l(\Gamma), where is the arc length of . In particular, we may take the maximum :M:= \sup_, f(z), as upper bound. Intuitively, the lemma is very simple to understand. If a contour is thought of as many smaller contour segments connected together, then there will be a maximum for each segment. Out of all the maximum s for the segments, there will be an overall largest one. Hence, if the overall largest is summed over the entire path then the integral of over the path must be less than or equal to it. Formally, the inequality can be shown to hold using the definition of contour integral, the absolute value inequality for integrals and the formula for the length of a curve as follows: :\left, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Concave Function
In mathematics, a concave function is the negative of a convex function. A concave function is also synonymously called concave downwards, concave down, convex upwards, convex cap, or upper convex. Definition A real-valued function f on an interval (or, more generally, a convex set in vector space) is said to be ''concave'' if, for any x and y in the interval and for any \alpha \in ,1/math>, :f((1-\alpha )x+\alpha y)\geq (1-\alpha ) f(x)+\alpha f(y) A function is called ''strictly concave'' if :f((1-\alpha )x + \alpha y) > (1-\alpha) f(x) + \alpha f(y)\, for any \alpha \in (0,1) and x \neq y. For a function f: \mathbb \to \mathbb, this second definition merely states that for every z strictly between x and y, the point (z, f(z)) on the graph of f is above the straight line joining the points (x, f(x)) and (y, f(y)). A function f is quasiconcave if the upper contour sets of the function S(a)=\ are convex sets. Properties Functions of a single variable # A differentiab ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Line Integral
In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms ''path integral'', ''curve integral'', and ''curvilinear integral'' are also used; ''contour integral'' is used as well, although that is typically reserved for line integrals in the complex plane. The function to be integrated may be a scalar field or a vector field. The value of the line integral is the sum of values of the field at all points on the curve, weighted by some scalar function on the curve (commonly arc length or, for a vector field, the scalar product of the vector field with a differential vector in the curve). This weighting distinguishes the line integral from simpler integrals defined on intervals. Many simple formulae in physics, such as the definition of work as W=\mathbf\cdot\mathbf, have natural continuous analogues in terms of line integrals, in this case \textstyle W = \int_L \mathbf(\mathbf)\cdot d\mathbf, which computes the work d ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Simple Pole
In complex analysis (a branch of mathematics), a pole is a certain type of singularity (mathematics), singularity of a complex-valued function of a complex number, complex variable. In some sense, it is the simplest type of singularity. Technically, a point is a pole of a function if it is a zero of a function, zero of the function and is holomorphic function, holomorphic in some neighbourhood (mathematics), neighbourhood of (that is, complex differentiable in a neighbourhood of ). A function is meromorphic function, meromorphic in an open set if for every point of there is a neighborhood of in which either or is holomorphic. If is meromorphic in , then a zero of is a pole of , and a pole of is a zero of . This induces a duality between ''zeros'' and ''poles'', that is fundamental for the study of meromorphic functions. For example, if a function is meromorphic on the whole complex plane plus the point at infinity, then the sum of the multiplicity (mathematics ...
[...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

picture info

Holomorphic Function
In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (''analytic''). Holomorphic functions are the central objects of study in complex analysis. Though the term ''analytic function'' is often used interchangeably with "holomorphic function", the word "analytic" is defined in a broader sense to denote any function (real, complex, or of more general type) that can be written as a convergent power series in a neighbourhood of each point in its domain. That all holomorphic functions are complex analytic functions, and vice versa, is a major theorem in complex analysis. Holomorphic functions are also sometimes referred to as ''regular fu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Estimation Lemma
In mathematics the estimation lemma, also known as the inequality, gives an upper bound for a contour integral. If is a complex-valued, continuous function on the contour and if its absolute value is bounded by a constant for all on , then :\left, \int_\Gamma f(z) \, dz\ \le M\, l(\Gamma), where is the arc length of . In particular, we may take the maximum :M:= \sup_, f(z), as upper bound. Intuitively, the lemma is very simple to understand. If a contour is thought of as many smaller contour segments connected together, then there will be a maximum for each segment. Out of all the maximum s for the segments, there will be an overall largest one. Hence, if the overall largest is summed over the entire path then the integral of over the path must be less than or equal to it. Formally, the inequality can be shown to hold using the definition of contour integral, the absolute value inequality for integrals and the formula for the length of a curve as follows: :\left, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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. Statement The statement is as follows: Let be a simply connected open subset of the complex plane containing a finite list of points , , and a function defined and holomorphic on . Let be a closed rectifiable curve in , and denote the winding number of around by . The line integral of around is equal to times the sum of residues of at the points, each counted as many times as winds around the point: \oint_\gamma f(z)\, dz = 2\pi i \sum_^n \operatorname(\gamma, a_k) \operatorname( f, a_k ). If is a positively oriented simple closed curve, if i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Upper Half-plane
In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to the set of complex numbers with positive imaginary part: :\mathcal \equiv \ ~. The term arises from a common visualization of the complex number as the point in the plane endowed with Cartesian coordinates. When the  axis is oriented vertically, the "upper half-plane" corresponds to the region above the  axis and thus complex numbers for which  > 0. It is the domain of many functions of interest in complex analysis, especially modular forms. The lower half-plane, defined by   0. Proposition: Let ''A'' and ''B'' be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes ''A'' to ''B''. :Proof: First shift the center of ''A'' to (0,0). Then take λ = (diame ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]