Vector Calculus Identities
The following are important identities involving derivatives and integrals in vector calculus. Operator notation Gradient For a function f(x, y, z) in three-dimensional Cartesian coordinate variables, the gradient is the vector field: : \operatorname(f) = \nabla f = \begin\displaystyle \frac,\ \frac,\ \frac \end f = \frac \mathbf + \frac \mathbf + \frac \mathbf where i, j, k are the standard unit vectors for the ''x'', ''y'', ''z''-axes. More generally, for a function of ''n'' variables \psi(x_1, \ldots, x_n), also called a scalar field, the gradient is the vector field: \nabla\psi = \begin\displaystyle\frac, \ldots, \frac \end\psi = \frac \mathbf_1 + \dots + \frac\mathbf_n where \mathbf_ \, (i=1,2,..., n) are mutually orthogonal unit vectors. As the name implies, the gradient is proportional to, and points in the direction of, the function's most rapid (positive) change. For a vector field \mathbf = \left(A_1, \ldots, A_n\right), also called a tensor fi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Identity (mathematics)
In mathematics, an identity is an equality (mathematics), equality relating one mathematical expression ''A'' to another mathematical expression ''B'', such that ''A'' and ''B'' (which might contain some variable (mathematics), variables) produce the same value for all values of the variables within a certain domain of discourse. In other words, ''A'' = ''B'' is an identity if ''A'' and ''B'' define the same function (mathematics), functions, and an identity is an equality between functions that are differently defined. For example, (a+b)^2 = a^2 + 2ab + b^2 and \cos^2\theta + \sin^2\theta =1 are identities. Identities are sometimes indicated by the triple bar symbol instead of , the equals sign. Formally, an identity is a universally quantified equality. Common identities Algebraic identities Certain identities, such as a+0=a and a+(-a)=0, form the basis of algebra, while other identities, such as (a+b)^2 = a^2 + 2ab +b^2 and a^2 - b^2 = (a+b)(a-b), ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Harmonic Function
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that is, \frac + \frac + \cdots + \frac = 0 everywhere on . This is usually written as \nabla^2 f = 0 or \Delta f = 0 Etymology of the term "harmonic" The descriptor "harmonic" in the name "harmonic function" originates from a point on a taut string which is undergoing harmonic motion. The solution to the differential equation for this type of motion can be written in terms of sines and cosines, functions which are thus referred to as "harmonics." Fourier analysis involves expanding functions on the unit circle in terms of a series of these harmonics. Considering higher dimensional analogues of the harmonics on the unit ''n''-sphere, one arrives at the spherical harmonics. These functions satisfy Laplace's equation and, over time, "harmon ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
De Rham Cohomology
In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties. On any smooth manifold, every Closed and exact differential forms, exact form is closed, but the converse may fail to hold. Roughly speaking, this failure is related to the possible existence of Hole#In mathematics, "holes" in the manifold, and the de Rham cohomology groups comprise a set of Topological invariant, topological invariants of smooth manifolds that precisely quantify this relationship. Definition The de Rham complex is the cochain complex of differential forms on some smooth manifold , with the exterior derivative as the differential: :0 \to \Omega^0(M)\ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Exterior Derivative
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The resulting calculus, known as exterior calculus, allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a differential -form is thought of as measuring the flux through an infinitesimal - parallelotope at each point of the manifold, then its exterior derivative can be thought of as measuring the net flux through the boundary of a -parallelotope at each point. Definition The exterior derivative of a differential form of degree (also differential -form, or just -form for brevity here) is a differential form of degree . If is a smooth function (a -form), then the exterior derivative of is the differential of . That is, is the unique -form such that ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Divergence
In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the rate that the vector field alters the volume in an infinitesimal neighborhood of each point. (In 2D this "volume" refers to area.) More precisely, the divergence at a point is the rate that the flow of the vector field modifies a volume about the point ''in the limit'', as a small volume shrinks down to the point. As an example, consider air as it is heated or cooled. The velocity of the air at each point defines a vector field. While air is heated in a region, it expands in all directions, and thus the velocity field points outward from that region. The divergence of the velocity field in that region would thus have a positive value. While the air is cooled and thus contracting, the divergence of the velocity has a negative value. Physical interpretation of divergence In physical terms, the divergence of a vector field is the extent to which the vector fi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Differential Form
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics. For instance, the expression f(x) \, dx is an example of a -form, and can be integrated over an interval ,b/math> contained in the domain of f: \int_a^b f(x)\,dx. Similarly, the expression f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz is a -form that can be integrated over a surface S: \int_S \left(f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz\right). The symbol \wedge denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form f(x,y,z) \, dx \wedge dy \wedge dz represents a volume element that can be integrated over a region of space. In general, a -form is an object ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemannian Connection
In mathematics, a metric connection is a connection in a vector bundle ''E'' equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. .(''Third edition: see chapter 3; Sixth edition: see chapter 4.'') This is equivalent to: * A connection for which the covariant derivatives of the metric on ''E'' vanish. * A principal connection on the bundle of orthonormal frames of ''E''. A special case of a metric connection is a Riemannian connection; there exists a unique such connection which is torsion free, the Levi-Civita connection. In this case, the bundle ''E'' is the tangent bundle ''TM'' of a manifold, and the metric on ''E'' is induced by a Riemannian metric on ''M''. Another special case of a metric connection is a Yang–Mills connection, which satisfies the Yang–Mills equations of motion. Most of the machinery of defining a connection and its curv ... [...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]   |
|
Dot Product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a Scalar (mathematics), scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. Not to be confused with scalar multiplication. is an algebraic operation that takes two equal-length sequences of numbers (usually coordinate vectors), and returns a single number. In Euclidean geometry, the dot product of the Cartesian coordinates of two Euclidean vector, vectors is widely used. It is often called the inner product (or rarely the projection product) of Euclidean space, even though it is not the only inner product that can be defined on Euclidean space (see ''Inner product space'' for more). It should not be confused with the cross product. Algebraically, the dot product is the sum of the Product (mathematics), products of the corresponding entries of the two sequences of numbers. Geometrically, it is the product of the Euc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Trace (linear Algebra)
In linear algebra, the trace of a square matrix , denoted , is the sum of the elements on its main diagonal, a_ + a_ + \dots + a_. It is only defined for a square matrix (). The trace of a matrix is the sum of its eigenvalues (counted with multiplicities). Also, for any matrices and of the same size. Thus, similar matrices have the same trace. As a consequence, one can define the trace of a linear operator mapping a finite-dimensional vector space into itself, since all matrices describing such an operator with respect to a basis are similar. The trace is related to the derivative of the determinant (see Jacobi's formula). Definition The trace of an square matrix is defined as \operatorname(\mathbf) = \sum_^n a_ = a_ + a_ + \dots + a_ where denotes the entry on the row and column of . The entries of can be real numbers, complex numbers, or more generally elements of a field . The trace is not defined for non-square matrices. Example Let be a matrix, with \m ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Chain Rule
In calculus, the chain rule is a formula that expresses the derivative of the Function composition, composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , then the chain rule is, in Lagrange's notation, h'(x) = f'(g(x)) g'(x). or, equivalently, h'=(f\circ g)'=(f'\circ g)\cdot g'. The chain rule may also be expressed in Leibniz's notation. If a variable depends on the variable , which itself depends on the variable (that is, and are dependent variables), then depends on as well, via the intermediate variable . In this case, the chain rule is expressed as \frac = \frac \cdot \frac, and \left.\frac\_ = \left.\frac\_ \cdot \left. \frac\_ , for indicating at which points the derivatives have to be evaluated. In integral, integration, the counterpart to the chain rule is the substitution rule. Intuitive explanation Intuitively, the chain rule states that knowing t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Parametrization (geometry)
In mathematics, and more specifically in geometry, parametrization (or parameterization; also parameterisation, parametrisation) is the process of finding parametric equations of a curve, a surface, or, more generally, a manifold or a variety, defined by an implicit equation. The inverse process is called implicitization. "To parameterize" by itself means "to express in terms of parameters". Parametrization is a mathematical process consisting of expressing the state of a system, process or model as a function of some independent quantities called parameters. The state of the system is generally determined by a finite set of coordinates, and the parametrization thus consists of one function of several real variables for each coordinate. The number of parameters is the number of degrees of freedom of the system. For example, the position of a point that moves on a curve in three-dimensional space is determined by the time needed to reach the point when starting from a fixed ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |