|
Discrete Exterior Calculus
In mathematics, the discrete exterior calculus (DEC) is the extension of the exterior calculus to discrete spaces including graphs, finite element meshes, and lately also general polygonal meshes (non-flat and non-convex). DEC methods have proved to be very powerful in improving and analyzing finite element methods: for instance, DEC-based methods allow the use of highly non-uniform meshes to obtain accurate results. Non-uniform meshes are advantageous because they allow the use of large elements where the process to be simulated is relatively simple, as opposed to a fine resolution where the process may be complicated (e.g., near an obstruction to a fluid flow), while using less computational power than if a uniformly fine mesh were used. The discrete exterior derivative Stokes' theorem relates the integral of a differential (''n'' − 1)-form ''ω'' over the boundary ∂''M'' of an ''n''-dimensional manifold ''M'' to the integral of d''ω'' (the exterior derivativ ... [...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] |
Bra–ket Notation
Bra–ket notation, also called Dirac notation, is a notation for linear algebra and linear operators on complex vector spaces together with their dual space both in the finite-dimensional and infinite-dimensional case. It is specifically designed to ease the types of calculations that frequently come up in quantum mechanics. Its use in quantum mechanics is quite widespread. Bra–ket notation was created by Paul Dirac in his 1939 publication ''A New Notation for Quantum Mechanics''. The notation was introduced as an easier way to write quantum mechanical expressions. The name comes from the English word "bracket". Quantum mechanics In quantum mechanics and quantum computing, bra–ket notation is used ubiquitously to denote quantum states. The notation uses angle brackets, and , and a vertical bar , to construct "bras" and "kets". A ket is of the form , v \rangle. Mathematically it denotes a vector, \boldsymbol v, in an abstract (complex) vector space V, and physicall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Calculus
Discrete calculus or the calculus of discrete functions, is the mathematical study of ''incremental'' change, in the same way that geometry is the study of shape and algebra is the study of generalizations of arithmetic operations. The word ''calculus'' is a Latin word, meaning originally "small pebble"; as such pebbles were used for calculation, the meaning of the word has evolved and today usually means a method of computation. Meanwhile, calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the study of ''continuous'' change. Discrete calculus has two entry points, differential calculus and integral calculus. Differential calculus concerns incremental rates of change and the slopes of piece-wise linear curves. Integral calculus concerns accumulation of quantities and the areas under piece-wise constant curves. These two points of view are related to each other by the fundamental theorem of discrete calculus. The study of the concepts of ch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Combinatorics
The mathematical discipline of topological combinatorics is the application of topological and algebro-topological methods to solving problems in combinatorics. History The discipline of combinatorial topology used combinatorial concepts in topology and in the early 20th century this turned into the field of algebraic topology. In 1978 the situation was reversed—methods from algebraic topology were used to solve a problem in combinatorics—when László Lovász proved the Kneser conjecture, thus beginning the new field of topological combinatorics. Lovász's proof used the Borsuk–Ulam theorem and this theorem retains a prominent role in this new field. This theorem has many equivalent versions and analogs and has been used in the study of fair division problems. In another application of homological methods to graph theory, Lovász proved both the undirected and directed versions of a conjecture of András Frank: Given a ''k''-connected graph ''G'', ''k'' points v_1,\l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Morse Theory
Discrete Morse theory is a combinatorial adaptation of Morse theory developed by Robin Forman. The theory has various practical applications in diverse fields of applied mathematics and computer science, such as configuration spaces, homology computation, denoising, mesh compression, and topological data analysis. Notation regarding CW complexes Let X be a CW complex and denote by \mathcal its set of cells. Define the ''incidence function'' \kappa\colon\mathcal \times \mathcal \to \mathbb in the following way: given two cells \sigma and \tau in \mathcal, let \kappa(\sigma,~\tau) be the degree of the attaching map from the boundary of \sigma to \tau. The boundary operator is the endomorphism \partial of the free abelian group generated by \mathcal defined by :\partial(\sigma) = \sum_\kappa(\sigma,\tau)\tau. It is a defining property of boundary operators that \partial\circ\partial \equiv 0. In more axiomatic definitions one can find the requirement that \forall \sigma,\tau^ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Differential Geometry
Discrete differential geometry is the study of discrete counterparts of notions in differential geometry. Instead of smooth curves and surfaces, there are polygons, meshes, and simplicial complexes. It is used in the study of computer graphics Computer graphics deals with generating images and art with the aid of computers. Computer graphics is a core technology in digital photography, film, video games, digital art, cell phone and computer displays, and many specialized applications. ..., geometry processing and topological combinatorics. See also * Discrete Laplace operator * Discrete exterior calculus * Discrete Morse theory * Topological combinatorics * Spectral shape analysis * Analysis on fractals * Discrete calculus ReferencesDiscrete differential geometry Forum* * * Alexander I. Bobenko, Yuri B. Suris (2008), "Discrete Differential Geometry", American Mathematical Society, Differential geometry Simplicial sets {{differential-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Derivative
In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold. Functions, tensor fields and forms can be differentiated with respect to a vector field. If ''T'' is a tensor field and ''X'' is a vector field, then the Lie derivative of ''T'' with respect to ''X'' is denoted \mathcal_X T. The differential operator T \mapsto \mathcal_X T is a derivation of the algebra of tensor fields of the underlying manifold. The Lie derivative commutes with contraction and the exterior derivative on differential forms. Although there are many concepts of taking a derivative in differential geometry, they all agree when the expression being differentiated is a function or scalar field. Thus in t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hodge Star
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge. For example, in an oriented 3-dimensional Euclidean space, an oriented plane can be represented by the exterior product of two basis vectors, and its Hodge dual is the normal vector given by their cross product; conversely, any vector is dual to the oriented plane perpendicular to it, endowed with a suitable bivector. Generalizing this to an -dimensional vector space, the Hodge star is a one-to-one mapping of -vectors to -vectors; the dimensions of these spaces are the binomial coefficients \tbinom nk = \tbinom. The naturalness of the star operator means it can play a role in differential geometry when applied to the cotangent bundle of a pseudo- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wedge Product
A wedge is a triangular shaped tool, a portable inclined plane, and one of the six simple machines. It can be used to separate two objects or portions of an object, lift up an object, or hold an object in place. It functions by converting a force applied to its blunt end into forces perpendicular ( normal) to its inclined surfaces. The mechanical advantage of a wedge is given by the ratio of the length of its slope to its width..''McGraw-Hill Concise Encyclopedia of Science & Technology'', Third Ed., Sybil P. Parker, ed., McGraw-Hill, Inc., 1992, p. 2041. Although a short wedge with a wide angle may do a job faster, it requires more force than a long wedge with a narrow angle. The force is applied on a flat, broad surface. This energy is transported to the pointy, sharp end of the wedge, hence the force is transported. The wedge simply transports energy in the form of friction and collects it to the pointy end, consequently breaking the item. History Wedges have existed fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Complex
In mathematics, a simplicial complex is a structured Set (mathematics), set composed of Point (geometry), points, line segments, triangles, and their ''n''-dimensional counterparts, called Simplex, simplices, such that all the faces and intersections of the elements are also included in the set (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely Combinatorics, combinatorial counterpart to a simplicial complex is an abstract simplicial complex. To distinguish a simplicial complex from an abstract simplicial complex, the former is often called a geometric simplicial complex., Section 4.3 Definitions A simplicial complex \mathcal is a set of Simplex, simplices that satisfies the following conditions: # Every Simplex#Elements, face of a simplex from \mathcal is also in \mathcal. # The non-empty Set intersection, intersection of any two simplices \sigma_1, \sigma_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangulation (topology)
In mathematics, triangulation describes the replacement of topological spaces with simplicial complexes by the choice of an appropriate homeomorphism. A space that admits such a homeomorphism is called a triangulable space. Triangulations can also be used to define a piecewise linear structure for a space, if one exists. Triangulation has various applications both in and outside of mathematics, for instance in algebraic topology, in complex analysis, and in modeling. Motivation On the one hand, it is sometimes useful to forget about superfluous information of topological spaces: The replacement of the original spaces with simplicial complexes may help to recognize crucial properties and to gain a better understanding of the considered object. On the other hand, simplicial complexes are objects of combinatorial character and therefore one can assign them quantities arising from their combinatorial pattern, for instance, the Euler characteristic. Triangulation allows now to as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Operator
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism. If a linear map is a bijection then it is called a . In the case where V = W, a linear map is called a linear endomorphism. Sometimes the term refers to this case, but the term "linear operator" can have different meanings for different conventions: for example, it can be used to emphasize that V and W are real vector spaces (not necessarily with V = W), or it can be used to emphasize that V is a function space, which is a common convention in functional analysis. Sometimes the term ''linear function'' has the same meaning as ''linear map' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
