Area Theorem (conformal Mapping)
   HOME
*





Area Theorem (conformal Mapping)
In the mathematical theory of conformal mappings, the area theorem gives an inequality satisfied by the power series coefficients of certain conformal mappings. The theorem is called by that name, not because of its implications, but rather because the proof uses the notion of area. Statement Suppose that f is analytic and injective in the punctured open unit disk \mathbb D\setminus\ and has the power series representation : f(z)= \frac 1z + \sum_^\infty a_n z^n,\qquad z\in \mathbb D\setminus\, then the coefficients a_n satisfy : \sum_^\infty n, a_n, ^2\le 1. Proof The idea of the proof is to look at the area uncovered by the image of f. Define for r\in(0,1) :\gamma_r(\theta):=f(r\,e^),\qquad \theta\in ,2\pi Then \gamma_r is a simple closed curve in the plane. Let D_r denote the unique bounded connected component of \mathbb C\setminus\gamma_r( ,2\pi. The existence and uniqueness of D_r follows from Jordan's curve theorem. If D is a domain in the plane whose boundary is a sm ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Smooth Function
In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or C^ function). Differentiability classes Differentiability class is a classification of functions according to the properties of their derivatives. It is a measure of the highest order of derivative that exists and is continuous for a function. Consider an open set U on the real line and a function f defined on U with real values. Let ''k'' be a non-negative integer. The function f is said to be of differentiability class ''C^k'' if the derivatives f',f'',\dots,f^ exist and are continuous on U. If f is k-dif ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Koebe 1/4 Theorem
In complex analysis, a branch of mathematics, the Koebe 1/4 theorem states the following: Koebe Quarter Theorem. The image of an injective analytic function f:\mathbf\to\mathbb from the unit disk \mathbf onto a subset of the complex plane contains the disk whose center is f(0) and whose radius is , f'(0), /4. The theorem is named after Paul Koebe, who conjectured the result in 1907. The theorem was proven by Ludwig Bieberbach in 1916. The example of the Koebe function shows that the constant 1/4 in the theorem cannot be improved (increased). A related result is the Schwarz lemma, and a notion related to both is conformal radius. Grönwall's area theorem Suppose that :g(z) = z +b_1z^ + b_2 z^ + \cdots is univalent in , z, >1. Then :\sum_ n, b_n, ^2 \le 1. In fact, if r > 1, the complement of the image of the disk , z, >r is a bounded domain X(r). Its area is given by : \int_ dx\,dy = \int_\overline\,dz = \int_\overline\,dg=\pi r^2 - \pi\sum n, b_n, ^2 r^. Since the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Bieberbach Conjecture
In complex analysis, de Branges's theorem, or the Bieberbach conjecture, is a theorem that gives a necessary condition on a holomorphic function in order for it to map the open unit disk of the complex plane injectively to the complex plane. It was posed by and finally proven by . The statement concerns the Taylor coefficients a_n of a univalent function, i.e. a one-to-one holomorphic function that maps the unit disk into the complex plane, normalized as is always possible so that a_0=0 and a_1=1. That is, we consider a function defined on the open unit disk which is holomorphic and injective ('' univalent'') with Taylor series of the form :f(z)=z+\sum_ a_n z^n. Such functions are called ''schlicht''. The theorem then states that : , a_n, \leq n \quad \textn\geq 2. The Koebe function (see below) is a function in which a_n=n for all n, and it is schlicht, so we cannot find a stricter limit on the absolute value of the nth coefficient. Schlicht functions The normalizat ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Winding Number
In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that curve travels counterclockwise around the point, i.e., the curve's number of turns. The winding number depends on the orientation of the curve, and it is negative if the curve travels around the point clockwise. Winding numbers are fundamental objects of study in algebraic topology, and they play an important role in vector calculus, complex analysis, geometric topology, differential geometry, and physics (such as in string theory). Intuitive description Suppose we are given a closed, oriented curve in the ''xy'' plane. We can imagine the curve as the path of motion of some object, with the orientation indicating the direction in which the object moves. Then the winding number of the curve is equal to the total number of counterclockwise turns that the object makes around the origin. When counting the total ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Complex Conjugation
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - bi. The complex conjugate of z is often denoted as \overline or z^*. In polar form, the conjugate of r e^ is r e^. This can be shown using Euler's formula. The product of a complex number and its conjugate is a real number: a^2 + b^2 (or r^2 in polar coordinates). If a root of a univariate polynomial with real coefficients is complex, then its complex conjugate is also a root. Notation The complex conjugate of a complex number z is written as \overline z or z^*. The first notation, a vinculum, avoids confusion with the notation for the conjugate transpose of a matrix, which can be thought of as a generalization of the complex conjugate. The second is preferred in physics, where dagger (†) is used for the conjugate ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Chain Rule
In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , then the chain rule is, in Lagrange's notation, :h'(x) = f'(g(x)) g'(x). or, equivalently, :h'=(f\circ g)'=(f'\circ g)\cdot g'. The chain rule may also be expressed in Leibniz's notation. If a variable depends on the variable , which itself depends on the variable (that is, and are dependent variables), then depends on as well, via the intermediate variable . In this case, the chain rule is expressed as :\frac = \frac \cdot \frac, and : \left.\frac\_ = \left.\frac\_ \cdot \left. \frac\_ , for indicating at which points the derivatives have to be evaluated. In integration, the counterpart to the chain rule is the substitution rule. Intuitive explanation Intuitively, the chain rule states that knowing the instantaneous rate of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Green Theorem
In vector calculus, Green's theorem relates a line integral around a simple closed curve to a double integral over the plane region bounded by . It is the two-dimensional special case of Stokes' theorem. Theorem Let be a positively oriented, piecewise smooth, simple closed curve in a plane, and let be the region bounded by . If and are functions of defined on an open region containing and have continuous partial derivatives there, then \oint_C (L\, dx + M\, dy) = \iint_ \left(\frac - \frac\right) dx\, dy where the path of integration along is anticlockwise. In physics, Green's theorem finds many applications. One is solving two-dimensional flow integrals, stating that the sum of fluid outflowing from a volume is equal to the total outflow summed about an enclosing area. In plane geometry Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry: the '' Elements''. Euclid's appro ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  



MORE