|
Characteristic Variety
In mathematical analysis, the characteristic variety of a microdifferential operator ''P'' is an algebraic variety that is the zero set of the principal symbol of ''P'' in the cotangent bundle. It is invariant under a quantized contact transformation. The notion is also defined more generally in commutative algebra Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prom .... A basic theorem says a characteristic variety is involutive. References * M. Sato, T. Kawai, and M. Kashiwara: Microfunctions and Pseudo-differential Equations. Lecture note in Math., No. 287, Springer, Berlin-Heidelberg-New York, pp. 265–529 (1973) {{analysis-stub Algebraic varieties Mathematical analysis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Microdifferential Operator
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function (in the style of a higher-order function in computer science). This article considers mainly linear differential operators, which are the most common type. However, non-linear differential operators also exist, such as the Schwarzian derivative. Definition An order-m linear differential operator is a map A from a function space \mathcal_1 to another function space \mathcal_2 that can be written as: A = \sum_a_\alpha(x) D^\alpha\ , where \alpha = (\alpha_1,\alpha_2,\cdots,\alpha_n) is a multi-index of non-negative integers, , \alpha, = \alpha_1 + \alpha_2 + \cdots + \alpha_n, and for each \alpha, a_\alpha(x) is a function on some open domain in ''n''-dimensional space. The operator D^\alpha is interpreted as D^\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principal Symbol
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 stud ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cotangent Bundle
In mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold. It may be described also as the dual bundle to the tangent bundle. This may be generalized to categories with more structure than smooth manifolds, such as complex manifolds, or (in the form of cotangent sheaf) algebraic varieties or schemes. In the smooth case, any Riemannian metric or symplectic form gives an isomorphism between the cotangent bundle and the tangent bundle, but they are not in general isomorphic in other categories. Formal Definition Let ''M'' be a smooth manifold and let ''M''×''M'' be the Cartesian product of ''M'' with itself. The diagonal mapping Δ sends a point ''p'' in ''M'' to the point (''p'',''p'') of ''M''×''M''. The image of Δ is called the diagonal. Let \mathcal be the sheaf of germs of smooth functions on ''M''×''M'' which vanish on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantized Contact Transformation
Quantization is the process of constraining an input from a continuous or otherwise large set of values (such as the real numbers) to a discrete set (such as the integers). The term ''quantization'' may refer to: Signal processing * Quantization (signal processing) ** Quantization (image processing) *** Color quantization ** Quantization (music) Physics * Quantization (physics) ** Canonical quantization ** Geometric quantization * Discrete spectrum, or otherwise discrete quantity ** Spatial quantization ** Charge quantization Computing * The process of making the signal discrete in amplitude by approximating the sampled signal to the nearest pre-defined level is called as quantization Linguistics * Quantization (linguistics) Similar terms * Quantification (science) In mathematics and empirical science, quantification (or quantitation) is the act of counting and measuring that maps human sense observations and experiences into quantities. Quantification in this ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and ''p''-adic integers. Commutative algebra is the main technical tool in the local study of schemes. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. In algebraic number theory, the rings of algebraic integers are Dedekind rings, which constitute therefore an important class of commutative rings. Considerations related to modular arithmetic have le ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Involution (mathematics)
In mathematics, an involution, involutory function, or self-inverse function is a function that is its own inverse, : for all in the domain of . Equivalently, applying twice produces the original value. General properties Any involution is a bijection. The identity map is a trivial example of an involution. Examples of nontrivial involutions include negation (x \mapsto -x), reciprocation (x \mapsto 1/x), and complex conjugation (z \mapsto \bar z) in arithmetic; reflection, half-turn rotation, and circle inversion in geometry; complementation in set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concern ...; and reciprocal ciphers such as the ROT13 transformation and the Beaufort cipher, Beaufort polyalphabetic cipher. The Function composition, composition of two invol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Varieties
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determine ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
