Digi Area Group - Math Tools for Professionals
   Maple and Mathematica packages - math tools for professionals

atlas™ - modern differential geometry for Maple™

> Features List & Examples
> Template Worksheets
> Screenshots
> Documentation & Downloads
> License & Pricing
> Buy Online

 
 
 
 
Google

Features List & Examples  |  Introduction  |  Dimension  |  Indexing  |  Forms  |  Metric  |  atlasWizard - Maplet™

atlas[grad] - gradient operator

Calling Sequence:

     grad(expr)

Parameters:

         expr - any 0-form expression.

Description:

The grad procedure calculates the gradient operator of a 0-form expression. For any 0-form fwe have grad(f) = dual(d(f)) by definition.

Examples:
restart:
with(atlas):

Declare constants:
Constants(Lambda);

{-I, Lambda, Catalan, I, _Z, Pi}

Declare functions:
Functions(f=f(x,y),h=h(f));

{h, f}

Declare p-forms:
Forms(e[k]=1,xi=1);

{xi, e[k]}

Declare vectors:
Vectors(E[j],X,Y,Z);

{X, Y, Z, E[j]}

Declare coframe:
Coframe(e[1]=d(x),e[2]=d(y));

[e[1] = d(x), e[2] = d(y)]

Declare frame:
Frame(E[k]);

[E[1] = Diff(``,x), E[2] = Diff(``,y)]

Declare metric:
Metric(g=4*(d(x)&.d(x)+d(y)&.d(y))/(1+Lambda*(x^2+y^2))^2);

g = 4*(`&.`(e[1],e[1])+`&.`(e[2],e[2]))/(1+Lambda*(x^2+y^2))^2

Using grad procedure:

Just definition:
'grad(z)'=grad(z);

grad(z) = dual(d(z))

For function f:
'grad(f)'=grad(f);

grad(f) = 1/4*Diff(f,x)*(1+Lambda*x^2+Lambda*y^2)^2*E[1]+1/4*Diff(f,y)*(1+Lambda*x^2+Lambda*y^2)^2*E[2]

For h which depends on f:
'grad(h)'=grad(h);

grad(h) = Diff(h,f)*(1/4*Diff(f,x)*(1+Lambda*x^2+Lambda*y^2)^2*E[1]+1/4*Diff(f,y)*(1+Lambda*x^2+Lambda*y^2)^2*E[2])

For 0-form - coordinate x:
'grad(x)'=grad(x);

grad(x) = 1/4*(1+Lambda*x^2+Lambda*y^2)^2*E[1]

Some more examples:
'grad(cos(x)*sin(y)+x^2)'=grad(cos(x)*sin(y)+x^2);

grad(cos(x)*sin(y)+x^2) = -1/4*sin(x)*sin(y)*(1+Lambda*x^2+Lambda*y^2)^2*E[1]+1/4*cos(x)*cos(y)*(1+Lambda*x^2+Lambda*y^2)^2*E[2]+1/2*x*(1+Lambda*x^2+Lambda*y^2)^2*E[1]
grad(cos(x)*sin(y)+x^2) = -1/4*sin(x)*sin(y)*(1+Lambda*x^2+Lambda*y^2)^2*E[1]+1/4*cos(x)*cos(y)*(1+Lambda*x^2+Lambda*y^2)^2*E[2]+1/2*x*(1+Lambda*x^2+Lambda*y^2)^2*E[1]

'grad(x*ln(y))'=grad(x*ln(y));

grad(x*ln(y)) = 1/4*ln(y)*(1+Lambda*x^2+Lambda*y^2)^2*E[1]+1/4*x/y*(1+Lambda*x^2+Lambda*y^2)^2*E[2]

See Also:

atlas , atlas[d] , atlas[cov] , atlas[div] , atlas[L] , atlas[dual] .