|
GJMS Operator
In the mathematical field of differential geometry, the GJMS operators are a family of differential operators, that are defined on a Riemannian manifold. In an appropriate sense, they depend only on the conformal structure of the manifold. The GJMS operators generalize the Paneitz operator and the conformal Laplacian. The initials GJMS are for its discoverers Graham, Jenne, Mason & Sparling (1992). Properly, the GJMS operator on a conformal manifold of dimension ''n'' is a conformally invariant operator between the line bundle of conformal densities of weight for ''k'' a positive integer :L_k : E -n/2\to E k-n/2 The operators have leading symbol given by a power of the Laplace–Beltrami operator, and have lower order correction terms that ensure conformal invariance. The original construction of the GJMS operators used the ambient construction of Charles Fefferman and Robin Graham. A conformal density defines, in a natural way, a function on the null cone in t ... [...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] |
Density On A Manifold
In mathematics, and specifically differential geometry, a density is a spatially varying quantity on a differentiable manifold that can be integrated in an intrinsic manner. Abstractly, a density is a section of a certain line bundle, called the density bundle. An element of the density bundle at ''x'' is a function that assigns a volume for the parallelotope spanned by the ''n'' given tangent vectors at ''x''. From the operational point of view, a density is a collection of functions on coordinate charts which become multiplied by the absolute value of the Jacobian determinant in the change of coordinates. Densities can be generalized into ''s''-densities, whose coordinate representations become multiplied by the ''s''-th power of the absolute value of the jacobian determinant. On an oriented manifold, 1-densities can be canonically identified with the ''n''-forms on ''M''. On non-orientable manifolds this identification cannot be made, since the density bundle is the tensor pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Volume Form
In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold M of dimension n, a volume form is an n-form. It is an element of the space of sections of the line bundle \textstyle^n(T^*M), denoted as \Omega^n(M). A manifold admits a nowhere-vanishing volume form if and only if it is orientable. An orientable manifold has infinitely many volume forms, since multiplying a volume form by a function yields another volume form. On non-orientable manifolds, one may instead define the weaker notion of a density. A volume form provides a means to define the integral of a function on a differentiable manifold. In other words, a volume form gives rise to a measure with respect to which functions can be integrated by the appropriate Lebesgue integral. The absolute value of a volume form is a volume element, which is also known variously as a ''twisted volume form'' or ''pseudo-volume form''. It als ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy Problem
A Cauchy problem in mathematics asks for the solution of a partial differential equation that satisfies certain conditions that are given on a hypersurface in the domain. A Cauchy problem can be an initial value problem or a boundary value problem (for this case see also Cauchy boundary condition). It is named after Augustin-Louis Cauchy. Formal statement For a partial differential equation defined on R''n+1'' and a smooth manifold ''S'' ⊂ R''n+1'' of dimension ''n'' (''S'' is called the Cauchy surface), the Cauchy problem consists of finding the unknown functions u_1,\dots,u_N of the differential equation with respect to the independent variables t,x_1,\dots,x_n that satisfiesPetrovskii, I. G. (1954). Lectures on partial differential equations. Interscience Publishers, Inc, Translated by A. Shenitzer, (Dover publications, 1991) \begin&\frac = F_i\left(t,x_1,\dots,x_n,u_1,\dots,u_N,\dots,\frac,\dots\right) \\ &\text i,j = 1,2,\dots,N;\, k_0+k_1+\dots+k_n=k\leq n_j;\, k_0 [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Null Cone
In mathematics, given a vector space ''X'' with an associated quadratic form ''q'', written , a null vector or isotropic vector is a non-zero element ''x'' of ''X'' for which . In the theory of real bilinear forms, definite quadratic forms and isotropic quadratic forms are distinct. They are distinguished in that only for the latter does there exist a nonzero null vector. A quadratic space which has a null vector is called a pseudo-Euclidean space. A pseudo-Euclidean vector space may be decomposed (non-uniquely) into orthogonal subspaces ''A'' and ''B'', , where ''q'' is positive-definite on ''A'' and negative-definite on ''B''. The null cone, or isotropic cone, of ''X'' consists of the union of balanced spheres: \bigcup_ \. The null cone is also the union of the isotropic lines through the origin. Examples The light-like vectors of Minkowski space are null vectors. The four linearly independent biquaternions , , , and are null vectors and can serve as a basis for the sub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Fefferman
Charles Louis Fefferman (born April 18, 1949) is an American mathematician at Princeton University, where he is currently the Herbert E. Jones, Jr. '43 University Professor of Mathematics. He was awarded the Fields Medal in 1978 for his contributions to mathematical analysis. Early life and education Fefferman was born to a Jewish family, in Washington, DC. Fefferman was a child prodigy. Fefferman entered the University of Maryland at age 14, and had written his first scientific paper by the age of 15. He graduated with degrees in math and physics at 17, and earned his PhD in mathematics three years later from Princeton University, under Elias Stein. His doctoral dissertation was titled "Inequalities for strongly singular convolution operators". Fefferman achieved a full professorship at the University of Chicago at the age of 22, making him the youngest full professor ever appointed in the United States. Career At the age of 25, he returned to Princeton as a full professor, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ambient Construction
In conformal geometry, the ambient construction refers to a construction of Charles Fefferman and Robin Graham for which a conformal manifold of dimension ''n'' is realized (''ambiently'') as the boundary of a certain Poincaré manifold, or alternatively as the celestial sphere of a certain pseudo-Riemannian manifold. The ambient construction is canonical in the sense that it is performed only using the conformal class of the metric: it is conformally invariant. However, the construction only works asymptotically, up to a certain order of approximation. There is, in general, an obstruction to continuing this extension past the critical order. The obstruction itself is of tensorial character, and is known as the (conformal) obstruction tensor. It is, along with the Weyl tensor, one of the two primitive invariants in conformal differential geometry. Aside from the obstruction tensor, the ambient construction can be used to define a class of conformally invariant differential ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Laplace–Beltrami Operator
In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami. For any twice- differentiable real-valued function ''f'' defined on Euclidean space R''n'', the Laplace operator (also known as the ''Laplacian'') takes ''f'' to the divergence of its gradient vector field, which is the sum of the ''n'' pure second derivatives of ''f'' with respect to each vector of an orthonormal basis for R''n''. Like the Laplacian, the Laplace–Beltrami operator is defined as the divergence of the gradient, and is a linear operator taking functions into functions. The operator can be extended to operate on tensors as the divergence of the covariant derivative. Alternatively, the operator can be generalized to operate on differential forms using the divergence and ext ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symbol Of A Differential Operator
In mathematics, the symbol of a linear differential operator is a polynomial representing a differential operator, which is obtained, roughly speaking, by replacing each partial derivative by a new variable. The symbol of a differential operator has broad applications to Fourier analysis. In particular, in this connection it leads to the notion of a pseudo-differential operator. The highest-order terms of the symbol, known as the principal symbol, almost completely controls the qualitative behavior of solutions of a partial differential equation. Linear elliptic partial differential equations can be characterized as those whose principal symbol is nowhere zero. In the study of hyperbolic and parabolic partial differential equations, zeros of the principal symbol correspond to the characteristics of the partial differential equation. Consequently, the symbol is often fundamental for the solution of such equations, and is one of the main computational devices used to study their ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex plane ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conformally Invariant
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together. The main interest in Riemann surfaces is that holomorphic functions may be defined between them. Riemann surfaces are nowadays considered the natural setting for studying the global behavior of these functions, especially multi-valued functions such as the square root and other algebraic functions, or the natural logarithm, logarithm. Every Riemann surface is a two-dimensional real analytic manifold (i.e., a Surface (topology), surface), but it contains more structure (specifically a Complex Manifold, complex stru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
