Chapter 10 Vector Functions

1. Calculus on vector functions of single variable

To define a vector function, you can use a simple syntax as follows.

Example 1. Define a vector  function  v (t) .

>    v:=[t^2,sqrt(t-1),sqrt(5-t)];

v := [t^2, sqrt(t-1), sqrt(5-t)]

You can directly work on it. For example you want to get 2 *v (t):

>    2*v;

[2*t^2, 2*sqrt(t-1), 2*sqrt(5-t)]

To extract a component of   v (t):

>    v[2];

sqrt(t-1)

  Example 2.   Evaluate  v (2).

>    eval(v,t=2);

[4, 1, sqrt(3)]

To evaluate only the second component at  t=2:

>    eval(v[2],t=2);

1

 Limit, derivative and integral of a vector function.

 You  have to get them on each component.

Example 3.  Find the limit of v (t) at t=2.

>    limv=[limit(v[1],t=2),limit(v[2],t=2),limit(v[3],t=2)];

limv = [4, 1, sqrt(3)]

Example 4. Find v' (t).

>    dv=[diff(v[1],t),diff(v[2],t),diff(v[3],t)];

dv = [2*t, 1/2*1/(sqrt(t-1)), -1/2*1/(sqrt(5-t))]

However, for derivative the following works.

>    dv=diff(v,t);

dv = [2*t, 1/2*1/(sqrt(t-1)), -1/2*1/(sqrt(5-t))]

Example 5. Find the integral of v (t) from t=1 to 4.

>    iv=[int(v[1],t=1..4),int(v[2],t=1..4),int(v[3],t=1..4)];

iv = [21, 2*sqrt(3), 14/3]

Use " map " can save the repeated commands and arguments. For example, to get the limit or integral shown in Example 3 and Example 5, you can do the following.

>    map(limit,v,t=2);

[4, 1, sqrt(3)]

>    map(int,v,t=1..4);

[21, 2*sqrt(3), 14/3]

2. Draw parametric curves.

 Example 6. Draw the curve of [2*cos(t),sin(t),t] for t from 0 to 4pi.

>    plots[spacecurve]([2*cos(t),sin(t),t],t=0..4*Pi,title='Helex',axes=normal);

[Maple Plot]

Example 7.  Draw the curve of [cos(t),sin(t),sin(5t)] for t=0 to 2pi.

>    plots[spacecurve]([cos(t),sin(t),sin(5*t)],t=0..2*Pi,axes=normal);

[Maple Plot]

Example 8. Draw the graph of the intersection of z=sqrt(x^2+y^2) and z=1+y.

Let x be the parameter, find y and z as its function.

>    solve({z^2=x^2+y^2,z=1+y},{y,z});

{z = 1/2*x^2+1/2, y = 1/2*x^2-1/2}

>    plots[spacecurve]([x,x^2/2-1/2,x^2+1/2],x=-5..5,axes=normal);

[Maple Plot]

Example 10.  Draw the intersection of  x^2+y^2=4  and z=xy.

First, you have to find its parametric equation: x=2cos(t),y=2sin(t),z=4cos(t)sin(t).

>    plots[spacecurve]([2*cos(t),2*sin(t),4*sin(t)*cos(t)],t=0..2*Pi,axes=normal);

[Maple Plot]

3. Arc length and curvature

See the arc legnth formula on Page 716, curvature formula on Page 718 and Page 719.

Example 11. Find the length of arc with r (t)=cos(t) i +sin(t) j +t k from point (1,0,0) to (1,0,2pi).

>    with(linalg):

>    r:=[cos(t),sin(t),t];

r := [cos(t), sin(t), t]

>    dirr:=diff(r,t);

dirr := [-sin(t), cos(t), 1]

>    lengthr=int(norm(dirr,2),t=0..2*Pi);

lengthr = 2*Pi*sqrt(2)

Example 12. Find the curvature of r (t)=t i +t^2 j +t ^ 3 k at a general point and at (0,0,0).

>    nr:=[t,t^2,t^3];

nr := [t, t^2, t^3]

>    dnr:=diff(nr,t);

dnr := [1, 2*t, 3*t^2]

>    ddnr:=diff(nr,t,t);

ddnr := [0, 2, 6*t]

The curvature is

>    curvr:=norm(crossprod(dnr,ddnr),2)/norm(dnr,2)^3;

curvr := 2*sqrt(1+9*abs(t)^4+9*abs(t)^2)/((1+4*abs(t)^2+9*abs(t)^4)^(3/2))

The curvature at 0 is

>    curvrat0=eval(curvr,t=0);

curvrat0 = 2

To find the curvature of a plane curve using formula on Page 720.

Example 13.   Find the curvature of  f(x)=sqrt(x)  at a general point and at x=4.

>    f:=sqrt(x);

f := sqrt(x)

The curvature is

>    curvf:=simplify(abs(diff(f,x,x))/(1+diff(f,x)^2)^(3/2));

curvf := 2*x/(abs(x)^(3/2)*(4*x+1)*sqrt((4*x+1)/x))

The curvature at x=4 is

>    cfat4=eval(curvf,x=4);

cfat4 = 2/289*sqrt(17)

4. Tangent, normal, and binormal vectors.

See the formulas on Page 722.

Example 14. Find the unit tangent vector, unit normal vector, and unit binormal vector of   r (t)=<sin(4t), 3t, cos(4t)>.

Note: In Calculus, it is better to use the formula for the vector norm | r|= sqrt((r1)^2+(r2)^2+(r3)^2) than to call norm( r ,2).

>    r:=[sin(4*t),3*t,cos(4*t)];

r := [sin(4*t), 3*t, cos(4*t)]

>    dr:=diff(r,t);

dr := [4*cos(4*t), 3, -4*sin(4*t)]

>    ndr:=sqrt(dr[1]^2+dr[2]^2+dr[3]^2);

ndr := sqrt(16*cos(4*t)^2+9+16*sin(4*t)^2)

>    ndr:=simplify(ndr);

ndr := 5

The unit tangent vector is

>    utv:=dr/ndr;

utv := [4/5*cos(4*t), 3/5, -4/5*sin(4*t)]

>    nv:=diff(utv,t);

nv := [-16/5*sin(4*t), 0, -16/5*cos(4*t)]

>    normnv:=simplify(sqrt(nv[1]^2+nv[2]^2+nv[3]^2));

normnv := 16/5

The unit normal vector is

>    unvc:=nv/normnv;

unvc := [-sin(4*t), 0, -cos(4*t)]

The unit binormal vector is

>    ubnv=simplify(crossprod(utv,unvc));

ubnv = vector([-3/5*cos(4*t), 4/5, 3/5*sin(4*t)])

Example 15. Find the unit tangent vector, unit normal vector, and unit binormal vector of   r (t)=<t^2, 2/3t^3t, t> at (1,2/3,1).

>    assume(t>0);

>    r:=[t^2,2/3*t^3,t];

r := [t^2, 2/3*t^3, t]

>    dr:=diff(r,t);

dr := [2*t, 2*t^2, 1]

>    UnitTangent:=dr/sqrt(dr[1]^2+dr[2]^2+dr[3]^2);

UnitTangent := [2*t, 2*t^2, 1]/(1+2*t^2)

>    UtAt1:=eval(UnitTangent,t=1);

UtAt1 := [2/3, 2/3, 1/3]

>    Nr:=diff(UnitTangent,t);

Nr := [2, 4*t, 0]/(1+2*t^2)-4*[2*t, 2*t^2, 1]*t/((1+2*t^2)^2)

>    NrAt1:=eval(Nr,t=1);

NrAt1 := [-2/9, 4/9, -4/9]

>    unAt1:=NrAt1/norm(NrAt1,2);

unAt1 := [-1/3, 2/3, -2/3]

>    ubAt1=crossprod(UtAt1,unAt1);

ubAt1 = vector([-2/3, 1/3, 2/3])

Example 16. Find equations of the normal plane and osculationg plane of   r (x)=<t,t^2,t^3> at (1,1,1).

>    t:='t':

>    r:=[t,t^2,t^3];

r := [t, t^2, t^3]

>    dr:=diff(r,t);

dr := [1, 2*t, 3*t^2]

>    drat1:=eval(dr,t=1);

drat1 := [1, 2, 3]

>    NormalPlane:=(x-1)+2*(y-1)+3*(z-1)=0;

NormalPlane := x-6+2*y+3*z = 0

>    ut:=dr/sqrt(dr[1]^2+dr[2]^2+dr[3]^2);

ut := [1, 2*t, 3*t^2]/(sqrt(1+4*t^2+9*t^4))

>   

>    nor:=diff(ut,t);

nor := [0, 2, 6*t]/(sqrt(1+4*t^2+9*t^4))-1/2*[1, 2*t, 3*t^2]*(8*t+36*t^3)/((1+4*t^2+9*t^4)^(3/2))

>    norat1:=eval(nor,t=1);

norat1 := 1/14*[0, 2, 6]*sqrt(14)-11/98*[1, 2, 3]*sqrt(14)

>    binor:=crossprod(drat1,norat1);

binor := vector([3/7*sqrt(14), -3/7*sqrt(14), 1/7*sqrt(14)])

>    OsculatingPlane:=3*(x-1)-3*(y-1)+(z-1)=0;;

OsculatingPlane := 3*x-1-3*y+z = 0

5. Motion in Sapace

Main Formulas : v (t)= r '(t),  v=| v (t) |,  a (t)= v '(t)= r ''(t).      v (t)= v (t0)+int( a (u),u=t0..t1),    r (t)= r (t0)+int( v (u),u=t0..t1).

Tangential and Normal Components of Acceleration:     a =v' T+ kv^2 N.      We  call v' the tangential component and kv^2 normal component.

Example 17.   Find the velocity, acceleration, and speed for   r (t)=sin(t) i +t j +cos(t) k, t=0.

>    r:=[sin(t),t,cos(t)];

r := [sin(t), t, cos(t)]

The velocity is

>    v:=diff(r,t);

v := [cos(t), 1, -sin(t)]

The acceleration is

>    a:=diff(v,t);

a := [-sin(t), 0, -cos(t)]

The velocity at  t=0 is

>    vat0:=eval(v,t=0);

vat0 := [1, 1, 0]

The acceleration at t=0 is

>    aat0=eval(a,t=0);

aat0 = [0, 0, -1]

The speed at t=0 is

>    speed=norm(vat0,2);

speed = sqrt(2)

Example 18.  The acceleration a (t)=-10 k , v (0)= i + j - k,   r (0)=2 i +3 j . Find the velacity and position vectors.

>    a:=[0,0,10];

a := [0, 0, 10]

>    v:=map(int,a,s=0..t)+[1,1,-1];

v := [1, 1, -1+10*t]

>    r:=map(int,v,t=0..T)+[2,3,0];

r := [2+T, 3+T, -T+5*T^2]

Example 19. Find the tangential and normal components of the acceleration vector of   r (t)=t i +4sin(t) j +4cos(t)k .

aT=v'(t), aN=kv^2.

>    r:=[t,4*sin(t),4*cos(t)];

r := [t, 4*sin(t), 4*cos(t)]

>    dr:=diff(r,t);

dr := [1, 4*cos(t), -4*sin(t)]

>    sp:=simplify(sqrt(dr[1]^2+dr[2]^2+dr[3]^2));

sp := sqrt(17)

>    aT:=diff(sp,t);

aT := 0

>    ddr:=diff(dr,t);

ddr := [0, -4*sin(t), -4*cos(t)]

>    tk:=simplify(crossprod(dr,ddr));

tk := vector([-16, 4*cos(t), -4*sin(t)])

>    topk:=simplify(sqrt(tk[1]^2+tk[2]^2+tk[3]^2));

topk := 4*sqrt(17)

>    aN:=topk/sp;

aN := 4

6. Graph of parametric surfaces

Example 20.

>    u:='u':v:='v':

>    plot3d([(cos(u))^3*(cos(v))^3,(sin(u))^3*(cos(v))^3,(sin(v))^3],u=-Pi..Pi,v=-Pi..Pi,axes=boxed);

[Maple Plot]

Example 21. Graph the surface 3x^2+2y^2+z^2=1

>    x:'x': y:='y': z:='z':

>    x:=1/sqrt(3)*cos(theta)*sin(phi); y:=1/sqrt(2)*sin(theta)*sin(phi); z:=cos(phi);

x := 1/3*sqrt(3)*cos(theta)*sin(phi)

y := 1/2*sqrt(2)*sin(theta)*sin(phi)

z := cos(phi)

>    plot3d([x,y,z],theta=-Pi..Pi, phi=0..Pi,axes=boxed);

[Maple Plot]

>