|
Fatou's Theorem
In mathematics, specifically in complex analysis, Fatou's theorem, named after Pierre Fatou, is a statement concerning holomorphic functions on the unit disk and their pointwise extension to the boundary of the disk. Motivation and statement of theorem If we have a holomorphic function f defined on the open unit disk \mathbb=\, it is reasonable to ask under what conditions we can extend this function to the boundary of the unit disk. To do this, we can look at what the function looks like on each circle inside the disk centered at 0, each with some radius r. This defines a new function: :\begin f_r:S^1 \to \Complex \\ f_(e^)=f(re^) \end where :S^1:=\=\, is the unit circle. Then it would be expected that the values of the extension of f onto the circle should be the limit of these functions, and so the question reduces to determining when f_r converges, and in what sense, as r\to 1, and how well defined is this limit. In particular, if the L^p norms of these f_r are well beh ... [...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 functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, and applied mathematics, as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering. As a differentiable function of a complex variable is equal to the sum function given by its Taylor series (that is, it is analytic), complex analysis is particularly concerned with analytic functions of a complex variable, that is, '' holomorphic functions''. The concept can be extended to functions of several complex variables. Complex analysis is contrasted with real analysis, which dea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pierre Fatou
Pierre Joseph Louis Fatou (28 February 1878 – 9 August 1929) was a French mathematician and astronomer. He is known for major contributions to several branches of mathematical analysis, analysis. The Fatou lemma and the Fatou set are named after him. Biography Pierre Fatou's parents were Prosper Ernest Fatou (1832-1891) and Louise Eulalie Courbet (1844-1911), both of whom were in the military. Pierre's family would have liked for him to enter the military as well, but his health was not sufficiently good for him to pursue a military career. Fatou entered the École Normale Supérieure in Paris in 1898 to study mathematics and graduated in 1901 when he was appointed an intern (''stagiaire'') in the Paris Observatory. Fatou was promoted to assistant astronomer in 1904 and to astronomer (''astronome titulaire'') in 1928. He worked in this observatory until his death. Fatou was awarded the Henri Becquerel, Becquerel prize in 1918; he was a knight of the Legion of Honour (1923). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Functions
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 (is '' 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 '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Disk
In mathematics, the open unit disk (or disc) around ''P'' (where ''P'' is a given point in the plane), is the set of points whose distance from ''P'' is less than 1: :D_1(P) = \.\, The closed unit disk around ''P'' is the set of points whose distance from ''P'' is less than or equal to one: :\bar D_1(P)=\.\, Unit disks are special cases of disks and unit balls; as such, they contain the interior of the unit circle and, in the case of the closed unit disk, the unit circle itself. Without further specifications, the term ''unit disk'' is used for the open unit disk about the origin, D_1(0), with respect to the standard Euclidean metric. It is the interior of a circle of radius 1, centered at the origin. This set can be identified with the set of all complex numbers of absolute value less than one. When viewed as a subset of the complex plane (C), the unit disk is often denoted \mathbb. The open unit disk, the plane, and the upper half-plane The function :f(z)=\frac is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Circle
In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Euclidean plane. In topology, it is often denoted as because it is a one-dimensional unit -sphere. If is a point on the unit circle's circumference, then and are the lengths of the legs of a right triangle whose hypotenuse has length 1. Thus, by the Pythagorean theorem, and satisfy the equation x^2 + y^2 = 1. Since for all , and since the reflection of any point on the unit circle about the - or -axis is also on the unit circle, the above equation holds for all points on the unit circle, not only those in the first quadrant. The interior of the unit circle is called the open unit disk, while the interior of the unit circle combined with the unit circle itself is called the closed unit disk. One may also use other notions of "dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
L-p-space
In mathematics, the spaces are function spaces defined using a natural generalization of the -norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue , although according to the Bourbaki group they were first introduced by Frigyes Riesz . spaces form an important class of Banach spaces in functional analysis, and of topological vector spaces. Because of their key role in the mathematical analysis of measure and probability spaces, Lebesgue spaces are used also in the theoretical discussion of problems in physics, statistics, economics, finance, engineering, and other disciplines. Preliminaries The -norm in finite dimensions The Euclidean length of a vector x = (x_1, x_2, \dots, x_n) in the n-dimensional real vector space \Reals^n is given by the Euclidean norm: \, x\, _2 = \left(^2 + ^2 + \dotsb + ^2\right)^. The Euclidean distance between two points x and y is the length \, x - y\, _2 of the straight line between th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pointwise
In mathematics, the qualifier pointwise is used to indicate that a certain property is defined by considering each value f(x) of some Function (mathematics), function f. An important class of pointwise concepts are the ''pointwise operations'', that is, operations defined on functions by applying the operations to function values separately for each point in the domain of a function, domain of definition. Important Theory of relations, relations can also be defined pointwise. Pointwise operations Formal definition A binary operation on a set can be lifted pointwise to an operation on the set of all functions from to as follows: Given two functions and , define the function by Commonly, ''o'' and ''O'' are denoted by the same symbol. A similar definition is used for unary operations ''o'', and for operations of other arity. Examples The pointwise addition f+g of two functions f and g with the same domain and codomain is defined by: The pointwise product or pointwise mul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Everywhere
In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to the concept of measure zero, and is analogous to the notion of '' almost surely'' in probability theory. More specifically, a property holds almost everywhere if it holds for all elements in a set except a subset of measure zero, or equivalently, if the set of elements for which the property holds is conull. In cases where the measure is not complete, it is sufficient that the set be contained within a set of measure zero. When discussing sets of real numbers, the Lebesgue measure is usually assumed unless otherwise stated. The term ''almost everywhere'' is abbreviated ''a.e.''; in older literature ''p.p.'' is used, to stand for the equivalent French language phrase ''presque partout''. A set with full measure is one whose complement ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Accumulation Point
In mathematics, a limit point, accumulation point, or cluster point of a Set (mathematics), set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood (mathematics), neighbourhood of x contains a point of S other than x itself. A limit point of a set S does not itself have to be an element of S. There is also a closely related concept for sequences. A cluster point or accumulation point of a sequence (x_n)_ in a topological space X is a point x such that, for every neighbourhood V of x, there are infinitely many natural numbers n such that x_n \in V. This definition of a cluster or accumulation point of a sequence generalizes to Net (mathematics), nets and Filter (set theory), filters. The similarly named notion of a (respectively, a limit point of a filter, a limit point of a net) by definition refers to a point that the Convergent sequence, sequence converges to (respectively, the Convergent filter, filter conver ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hardy Space
In complex analysis, the Hardy spaces (or Hardy classes) H^p are spaces of holomorphic functions on the unit disk or upper half plane. They were introduced by Frigyes Riesz , who named them after G. H. Hardy, because of the paper . In real analysis Hardy spaces are spaces of distributions on the real -space \mathbb^n, defined (in the sense of distributions) as boundary values of the holomorphic functions. Hardy spaces are related to the ''Lp'' spaces. For 1 \leq p < \infty these Hardy spaces are s of spaces, while for |
Poisson Kernel
In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson. Poisson kernels commonly find applications in control theory and two-dimensional problems in electrostatics. In practice, the definition of Poisson kernels are often extended to ''n''-dimensional problems. Two-dimensional Poisson kernels On the unit disc In the complex plane, the Poisson kernel for the unit disc is given by P_r(\theta) = \sum_^\infty r^e^ = \frac = \operatorname\left(\frac\right), \ \ \ 0 \le r < 1. This can be thought of in two ways: either as a function of ''r'' and ''θ'', or as a family of functions of ''θ'' indexed by ''r''. If is the open unit disc in C, T is the boundary of the disc, and ''f'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hardy–Littlewood Maximal Function
In mathematics, the Hardy–Littlewood maximal operator ''M'' is a significant non-linear operator used in real analysis and harmonic analysis. Definition The operator takes a locally integrable function f: \R^d \to \mathbb C and returns another function Mf : \R^d \to , \infty/math>, where Mf (x) is the supremum of the average of f among all possible balls centered on x. Formally, : Mf(x)=\sup_ \frac\int_ , f(y), \, dy , where , ''E'', denotes the ''d''-dimensional Lebesgue measure of a subset ''E'' ⊂ R''d'', and B(x,\,r) is the ball of radius, r>0, centered at the point x\in\mathbb^d. Since f is locally integrable, the averages are jointly continuous in ''x'' and ''r'', so the maximal function ''Mf'', being the supremum over ''r'' > 0, is measurable. A nontrivial corollary of the Hardy–Littlewood maximal inequality states that Mf is finite almost everywhere for functions in L^1 . Hardy–Littlewood maximal inequality This theorem of G. H. Hardy and J. E. L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
