|
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 ''L''2, and where ''μ'' is a given complex function in ''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 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''. The Beltrami coefficient of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 ... [...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 space, simply connected open set, open subset of the complex plane, complex number plane C which is not all of C, then there exists a biholomorphy, biholomorphic mapping ''f'' (i.e. a bijective function, bijective holomorphic function, 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 essentially unique: if ''z''0 is an element of ''U'' and φ is an arbitrary angle, then there exists precis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sobolev Space
In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function. Sobolev spaces are named after the Russian mathematician Sergei Sobolev. Their importance comes from the fact that weak solutions of some important partial differential equations exist in appropriate Sobolev spaces, even when there are no strong solutions in spaces of continuous functions with the derivatives understood in the classical sense. Motivation In this section and throughout the article \Omega is an open subset of \R^n. There are many c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weyl's Lemma (Laplace Equation)
In mathematics, Weyl's lemma, named after Hermann Weyl, states that every weak solution of Laplace's equation is a smooth solution. This contrasts with the wave equation, for example, which has weak solutions that are not smooth solutions. Weyl's lemma is a special case of elliptic or hypoelliptic regularity. Statement of the lemma Let \Omega be an open subset of n-dimensional Euclidean space \mathbb^, and let \Delta denote the usual Laplace operator. Weyl's lemma states that if a locally integrable function u \in L_^(\Omega) is a weak solution of Laplace's equation, in the sense that :\int_\Omega u(x) \, \Delta \varphi (x) \, dx = 0 for every smooth test function \varphi \in C_c^\infty(\Omega) with compact support, then (up to redefinition on a set of measure zero) u \in C^(\Omega) is smooth and satisfies \Delta u = 0 pointwise in \Omega. This result implies the interior regularity of harmonic functions in \Omega, but it does not say anything about their regularity on ... [...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 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. However, the operator for the wave equation The (two-way) wave equation is a second-order linear partial differential equation for the description of waves or standing wave fields — as they occur in classical physics — such as mechanical waves ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neumann Series
A Neumann series is a mathematical series of the form : \sum_^\infty T^k where T is an operator and T^k := T^\circ its k times repeated application. This generalizes the geometric series. The series is named after the mathematician Carl Neumann, who used it in 1877 in the context of potential theory. The Neumann series is used in functional analysis. It forms the basis of the Liouville-Neumann series, which is used to solve Fredholm integral equations. It is also important when studying the spectrum of bounded operators. Properties Suppose that T is a bounded linear operator on the normed vector space X. If the Neumann series converges in the operator norm, then \text-T is invertible and its inverse is the series: : (\mathrm - T)^ = \sum_^\infty T^k , where \mathrm is the identity operator in X. To see why, consider the partial sums :S_n := \sum_^n T^k. Then we have :\lim_(\mathrm-T)S_n = \lim_\left(\sum_^n T^k - \sum_^n T^\right) = \lim_\left(\mathrm - T^\right) = \math ... [...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 spaceS \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, x^\alpha (D^ f)(x) \.Here, \sup denote ... [...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. In the context of functional analysis, fundamental solutions are usually developed via the Fredholm alternative and explored in F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adrien Douady
Adrien Douady (; 25 September 1935 – 2 November 2006) was a French mathematician. 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 quadratic filled Julia set, is named after him. Douady taught at the University of Nice ... [...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 (''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] |
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. When this matrix is square, that is, when the function takes the same number of variables as input as the number of vector components of its output, its determinant is referred to as the Jacobian determinant. Both the matrix and (if applicable) the determinant are often referred to simply as the Jacobian in literature. Suppose is a function such that each of its first-order partial derivatives exist on . This function takes a point as input and produces the vector as output. Then the Jacobian matrix of is defined to be an matrix, denoted by , whose th entry is \mathbf J_ = \frac, or explicitly :\mathbf J = \begin \dfrac & \cdots & \dfrac \end = \begin \nabla^ f_1 \\ \vdots \\ \nabla^ f_m \end = \begin \dfrac & \cdots & \dfrac\\ \vdots & \ddots & \vdots\\ \dfrac & \cdots ... [...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 & \quad \mathrm(aX_u+bX_v,cX_u+dX_v) \\ & = ac \langle X_u,X_u \rangle + (ad+bc) \langle X_u,X_v \rangle + bd \langle X_v,X_v \rangle \\ & = 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, it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
