|
Beltrami Equation
In mathematics, the Beltrami equation, named after Eugenio Beltrami, is the partial differential equation : = \mu . for ''w'' a complex distribution of the complex variable ''z'' in some open set ''U'', with derivatives that are locally L2 function, ''L''2, and where ''μ'' is a given complex function in L∞ function, ''L''∞(''U'') of norm less than 1, called the Beltrami coefficient, and where \partial / \partial z and \partial / \partial \overline are Wirtinger derivatives. Classically this differential equation was used by Gauss to prove the existence locally of isothermal coordinates on a surface with analytic Riemannian metric. Various techniques have been developed for solving the equation. The most powerful, developed in the 1950s, provides global solutions of the equation on C and relies on the Lp space, L''p'' theory of the Beurling transform, a singular integral operator defined on L''p''(C) for all 1 0, ''EG'' − ''F''2 > 0) that varies smoothly with ''x'' and ''y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uniformization Theorem
In mathematics, the uniformization theorem states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces. Since every Riemann surface has a universal cover which is a simply connected Riemann surface, the uniformization theorem leads to a classification of Riemann surfaces into three types: those that have the Riemann sphere as universal cover ("elliptic"), those with the plane as universal cover ("parabolic") and those with the unit disk as universal cover ("hyperbolic"). It further follows that every Riemann surface admits a Riemannian metric of constant curvature, where the curvature can be taken to be 1 in the elliptic, 0 in the parabolic and -1 in the hyperbolic case. The uniformization theorem also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Schwartz Function
In mathematics, Schwartz space \mathcal is the function space of all functions whose derivatives are rapidly decreasing. This space has the important property that the Fourier transform is an automorphism on this space. This property enables one, by duality, to define the Fourier transform for elements in the dual space \mathcal^* of \mathcal, that is, for tempered distributions. A function in the Schwartz space is sometimes called a Schwartz function. Schwartz space is named after French mathematician Laurent Schwartz. Definition Let \mathbb be the set of non-negative integers, and for any n \in \mathbb, let \mathbb^n := \underbrace_ be the ''n''-fold Cartesian product. The ''Schwartz space'' or space of rapidly decreasing functions on \mathbb^n is the function space\mathcal \left(\mathbb^n, \mathbb\right) := \left \,where C^(\mathbb^n, \mathbb) is the function space of smooth functions from \mathbb^n into \mathbb, and\, f\, _:= \sup_ \left, \boldsymbol^\boldsymb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Solution
In mathematics, a fundamental solution for a linear partial differential operator is a formulation in the language of distribution theory of the older idea of a Green's function (although unlike Green's functions, fundamental solutions do not address boundary conditions). In terms of the Dirac delta "function" , a fundamental solution is a solution of the inhomogeneous equation Here is ''a priori'' only assumed to be a distribution. This concept has long been utilized for the Laplacian in two and three dimensions. It was investigated for all dimensions for the Laplacian by Marcel Riesz. The existence of a fundamental solution for any operator with constant coefficients — the most important case, directly linked to the possibility of using convolution to solve an arbitrary right hand side — was shown by Bernard Malgrange and Leon Ehrenpreis, and a proof is available in Joel Smoller (1994). In the context of functional analysis, fundamental solutions are usually ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adrien Douady
Adrien Douady (; 25 September 1935 – 2 November 2006) was a French mathematician born in La Tronche, Isère. He was the son of Daniel Douady and Guilhen Douady. Douady was a student of Henri Cartan at the École normale supérieure, and initially worked in homological algebra. His thesis concerned deformations of complex analytic spaces. Subsequently, he became more interested in the work of Pierre Fatou and Gaston Julia and made significant contributions to the fields of analytic geometry and dynamical systems. Together with his former student John H. Hubbard, he launched a new subject, and a new school, studying properties of iterated quadratic complex mappings. They made important mathematical contributions in this field of complex dynamics, including a study of the Mandelbrot set. One of their most fundamental results is that the Mandelbrot set is connected; perhaps most important is their theory of renormalization of (polynomial-like) maps. The Douady rabbit, a qua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 (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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobian Matrix And Determinant
In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. If this matrix is square, that is, if the number of variables equals the number of components of function values, then its determinant is called the Jacobian determinant. Both the matrix and (if applicable) the determinant are often referred to simply as the Jacobian. They are named after Carl Gustav Jacob Jacobi. The Jacobian matrix is the natural generalization to vector valued functions of several variables of the derivative and the differential of a usual function. This generalization includes generalizations of the inverse function theorem and the implicit function theorem, where the non-nullity of the derivative is replaced by the non-nullity of the Jacobian determinant, and the multiplicative inverse of the derivative is replaced by the inverse of the Jacobian matrix. The Jacobian determinant is fundamentally use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First Fundamental Form
In differential geometry, the first fundamental form is the inner product on the tangent space of a surface in three-dimensional Euclidean space which is induced canonically from the dot product of . It permits the calculation of curvature and metric properties of a surface such as length and area in a manner consistent with the ambient space. The first fundamental form is denoted by the Roman numeral , \mathrm(x,y)= \langle x,y \rangle. Definition Let be a parametric surface. Then the inner product of two tangent vectors is \begin & \mathrm(aX_u+bX_v,cX_u+dX_v) \\ pt= & ac \langle X_u,X_u \rangle + (ad+bc) \langle X_u,X_v \rangle + bd \langle X_v,X_v \rangle \\ pt= & Eac + F(ad+bc) + Gbd, \end where , , and are the coefficients of the first fundamental form. The first fundamental form may be represented as a symmetric matrix. \mathrm(x,y) = x^\mathsf \begin E & F \\ F & G \endy Further notation When the first fundamental form is written with only one argument ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isothermal Coordinates
In mathematics, specifically in differential geometry, isothermal coordinates on a Riemannian manifold are local coordinates where the metric is conformal to the Euclidean metric. This means that in isothermal coordinates, the Riemannian metric locally has the form : g = \varphi (dx_1^2 + \cdots + dx_n^2), where \varphi is a positive smooth function. (If the Riemannian manifold is oriented, some authors insist that a coordinate system must agree with that orientation to be isothermal.) Isothermal coordinates on surfaces were first introduced by Gauss. Korn and Lichtenstein proved that isothermal coordinates exist around any point on a two dimensional Riemannian manifold. By contrast, most higher-dimensional manifolds do not admit isothermal coordinates anywhere; that is, they are not usually locally conformally flat. In dimension 3, a Riemannian metric is locally conformally flat if and only if its Cotton tensor vanishes. In dimensions > 3, a metric is locally conformally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Manifold
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifold, manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them. Formally, a Riemannian metric (or just a metric) on a smooth manifold is a choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. The techniques of differential and integral calculus are used to pull geometric data out of the Riemannian metric. For example, integration leads to the Riemannian distance function, whereas differentiation is used to define curvature and parallel transport. Any smooth surface in three-dimensional Eucl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Regularity
In the theory of partial differential equations, a partial differential operator P defined on an open subset :U \subset^n is called hypoelliptic if for every distribution u defined on an open subset V \subset U such that Pu is C^\infty ( smooth), u must also be C^\infty. If this assertion holds with C^\infty replaced by real-analytic, then P is said to be ''analytically hypoelliptic''. Every elliptic operator with C^\infty coefficients is hypoelliptic. In particular, the Laplacian In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \nabla is th ... is an example of a hypoelliptic operator (the Laplacian is also analytically hypoelliptic). In addition, the operator for the heat equation (P(u)=u_t - k\,\Delta u\,) :P= \partial_t - k\,\Delta_x\, (where k>0) is hypoelliptic but not elliptic. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Mapping Theorem
In complex analysis, the Riemann mapping theorem states that if U is a non-empty simply connected open subset of the complex number plane \mathbb which is not all of \mathbb, then there exists a biholomorphic mapping f (i.e. a bijective holomorphic mapping whose inverse is also holomorphic) from U onto the open unit disk :D = \. This mapping is known as a Riemann mapping. Intuitively, the condition that U be simply connected means that U does not contain any “holes”. The fact that f is biholomorphic implies that it is a conformal map and therefore angle-preserving. Such a map may be interpreted as preserving the shape of any sufficiently small figure, while possibly rotating and scaling (but not reflecting) it. Henri Poincaré proved that the map f is unique up to rotation and recentering: if z_0 is an element of U and \phi is an arbitrary angle, then there exists precisely one ''f'' as above such that f(z_0)=0 and such that the argument of the derivative of f at th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
