请输入您要查询的字词:

 

单词 Gradient
释义

gradient


Summary.

The gradientMathworldPlanetmath is a first-order differential operatorMathworldPlanetmath that mapsscalar functions to vector fields. It is a generalizationPlanetmathPlanetmath of the ordinaryderivativePlanetmathPlanetmath, and as such conveys information about the rate of changeof a function relative to small variations in the independentvariables. The gradient of a function f is customarily denoted byf or by gradf.

Contents:
  • 1 Definition: Euclidean space
  • 2 Geometric and physical interpretations
  • 3 Definition: Riemannian geometry
  • 4 Duality with differential one-forms
  • 5 Differential identities
  • 6 The symbolism

1 Definition: Euclidean space

Let f:n be continuously differentiable.The gradient of f, denoted by f,is definedby the property:

D𝐯f=f𝐯for all vectors 𝐯n.(1)

The middle dot is the dot productMathworldPlanetmath,and D𝐯 is the directional derivativeMathworldPlanetmath with respect to 𝐯.

If x1,,xn are EuclideanPlanetmathPlanetmath coordinatesMathworldPlanetmathPlanetmath,corresponding to the orthonormal basis 𝐞1,,𝐞n,then

f=i=1nfxi𝐞i.(2)

The formulaMathworldPlanetmathPlanetmath (2) is sometimes given as the definition of f.We prefer to define f by the coordinate-free formula (1) instead,because then the geometric interpretationsMathworldPlanetmathPlanetmath (see below) become obvious,and (1) also indicates how we would go aboutcalculating the gradient in other curvilinear coordinate systems.Formula (1) also makes it clear that the gradientis a physical vector, depending only on the inner product structure of n,and not on the specific coordinate systemMathworldPlanetmath used to calculate it.

There is the issue of whether the f as defined by (1)exists; but this is proved easily enough, by substituting the concrete expression (2)and seeing that it satisfies (1).

The gradient can be considered to be avector-valued differential operator, written as

=i=1n𝐞ixi,

or, in the context of Euclidean 3-space, as

=𝐢x+𝐣y+𝐤z,

where𝐢,𝐣,𝐤 are the unit vectorsMathworldPlanetmath lying along the positivedirection of the x,y,z axes, respectively.

2 Geometric and physical interpretations

  1. (a)

    The direction of the vector f is the direction of the greatest positive change, or increase, in f.The magnitude of f is the magnitude of this increase.This follows immediately from (1):

    D𝐯f=f𝐯=f𝐯cosθ,

    where θ is the angle between f and 𝐯.So among all unit directions 𝐯 of change, if 𝐯 is perpendicularMathworldPlanetmathPlanetmathPlanetmathPlanetmath to fthen the change D𝐯f is zero; if 𝐯 is parallelMathworldPlanetmathPlanetmath to f then the change is maximized.

    Similarly,-f is the direction of the greatest negative change, or decrease, in f.

  2. (b)

    If M is the hypersurface in n defined by

    M={pn:f(p)=0,Df(p)0},

    then f(p) is the normal to the hypersurface M at the point p. For kerDf(p) is the tangent spacePlanetmathPlanetmath TpMto M at p, that is, D𝐯f(p)=0 for all 𝐯TpM,and by definition (1), f(p) must be perpendicular to all 𝐯TpM.

    Note that Df0 is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to f0. Consequently, f also givesan orientation to the hypersurface M.

    For example, if f(𝐱)=𝐱-1 for 𝐱n,M is the (n-1)-dimensional sphere of unit radius, embedded in n.Its normal, f(𝐱)=𝐱/𝐱, as one would expect, points outward radially.

  3. (c)

    As a simple case of (b), consider thesurface z=f(x,y) in 3, with Cartesian coordinatesMathworldPlanetmath (x,y,z).Think of this surface as describing a hill, with height z.Then the direction of the gradient vector fis the direction of steepest ascent of the hill, while itsmagnitude

    f=(fx)2+(fy)2

    is the slope or steepness in that direction.

    If a ball is placed on the hill at a point (x,y,z),theoretically it should roll down the hill in the direction of the gradientvector -f(x,y). This may be easily derived by considering the mechanical forceson the ball. The direction of -f(x,y) is, in fact, the projectionto the xy-plane of an outward normal vector to the hill at (x,y,z);the normal vector is involved because the movement of the ballarises from the normal force from the hill.

  4. (d)

    Suppose the surface z=f(x,y) in (c) describes a bowl instead of a hill,and we place a marble at any point (x,y,z) on this bowl.We would expect the marble to roll down to a local minimumMathworldPlanetmath point of f(x,y).Since the marble should roll down in the direction of -f,we might hope that we can find local minimaof a given function f by following the path mapped outby the gradients -f. Formally, this method offinding local extrema (with some modifications) is called gradient descent.

  5. (e)

    If U is the potential function corresponding to aconservative physical force, then 𝐅=-Uis the corresponding force field.

    Consequently, the gradient theoremMathworldPlanetmath,

    γ𝐅d𝐬=-γUd𝐬=-U(γ(b))+U(γ(a)),γ:[a,b]3

    simply gives the formula for the change in the potential energy Uwhen an object “does work” along a path γ in a conservative force field 𝐅.

3 Definition: Riemannian geometry

It is obvious how (1)can be generalized to the setting of Riemannian manifoldsMathworldPlanetmath:the dot product of n must be replacedby the Riemannian metric, and the analogueof D𝐯f is the directional derivative 𝐯[f], for tangent vectors 𝐯 on the Riemannian manifold.Thus for a smooth scalar-valued function f on a Riemannian manifold,

𝐗=gradfdfp(𝐯)=𝐯[f]=𝐗,𝐯p.(3)

We can calculate 𝐗 explicitly as follows.If xi are local coordinates on the manifold (not necessarily orthonormal),set 𝐗=Xixi (the Einstein summation convention is being used).Let gij and gij be the covariant and contravariant metric tensors, respectively.Then from (3),

fxj=Xixi,xj=Xixi,xj=gijXi,

and taking inversesMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath,

Xi=gijfxj.(4)

4 Duality with differential one-forms

Definitions (1) and (3)exhibit f as the vector fielddual to the differential formMathworldPlanetmath df.The isomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath is given by applying the inner product or Riemannian metric.This isomorphism is, of course, linear;in particular it leads to the identity

f=fxixi,(5)

which is the dual to the standard formula of differentialMathworldPlanetmath one-forms:

df=fxidxi.

Using (3) and (4),we have

xi=gijxj,xi=gijxj.(6)

So the isomorphism between vector fields and one-formsis expressed by changingthe ’s in (6) to d’s, and vice versa. That is,

dxigijxj,xigijdxj.(7)

It is commonly said that this isomorphism is expressed by“raising and lowering the indices of a tensor field,using contractionsPlanetmathPlanetmath with gij and gij”.

Notice that when xi are orthonormal coordinateson n, equation (5)reduces to equation (2), becausegij=𝐞i𝐞j=δij (Kronecker deltaMathworldPlanetmath).

The formulae presented in this sectionMathworldPlanetmathPlanetmath are useful in the Euclidean setting aswell, for deriving the formulae for the gradient in various curvilinear coordinate systems (http://planetmath.org/GradientInCurvilinearCoordinates).

5 Differential identities

Several properties of the one-dimensional derivative generalize to amulti-dimensional setting

(af+bg)=af+bgLinearity
(fg)=fg+gfProduct ruleMathworldPlanetmath
(fϕ)(p)=Dϕ(p)*f(ϕ(p))Chain ruleMathworldPlanetmath
(hf)(p)=h(f(p))f(p)Another Chain rule

The function h is h:.The notation (Dϕ)* denotes the transposeMathworldPlanetmath of the Jacobian matrix,in Euclidean coordinates, of ϕ:mn.In the abstract setting, (Dϕ)* is the adjointPlanetmathPlanetmath to the tangent map Dϕbetween the tangent bundles of two Riemannian manifolds.

These identities can be proved directly from the definition,but the first three are really just the dualsof the following well-known identities for differential forms:

d(af+bg)=adf+bdg
d(fg)=fdg+gdf
d(ϕ*f)=ϕ*df

and so may be derived by changing the d’s hereto ’s! (Though the third identity may take a bit of thought.)

The following identity

curlgradf=×f=0,

is a special case of the differential forms identity d2=0.Conversely, if curlg=0 on a simply connected domain, then thereis f such that g=gradf. See laminar field for details.

6 The symbolism

(This discussion does not really belong here, but should be movedto the nabla entry.)

Using the formalism,the divergenceMathworldPlanetmath operator can be expressed as, the curl operator as ×, and theLaplacian operator as 2. To wit, for a given vector field

𝐀=Ax𝐢+Ay𝐣+Az𝐤,

and a given function fwe have

𝐀=Axx+Ayy+Azz
×𝐀=(Azy-Ayz)𝐢+(Axz-Azx)𝐣+(Ayx-Axy)𝐤
2f=2fx2+2fy2+2fz2.

References

  • 1 Michael Spivak. A Comprehensive Introduction to Differential GeometryMathworldPlanetmath,Volume I. Publish or Perish, 1979.
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 15:37:33