Essays/Gauss-Bonnet/Bonnet02
5 Derivatives (... continued ...)
5.2 Cartesian Coordinates
NB. ... script (ijs) ... y1dv =:gadv y1dvdv =:gadvdv y1dvdvdv=:gadvdvdv
NB. ... script (ijs) ... y2dv =:gbdv y2dvdv =:gbdvdv y2dvdvdv=:gbdvdvdv
NB. ... script (ijs) ... y3dv=:((ga*/gxdv)+gadv*/gx)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_17)&tsz@y3dv((2^_11)teq[;])(2^_17)&tsz@(y3 D.1))"1) vpgen'' 1
NB. ... script (ijs) ... y3dvdv=:((ga*/gxdvdv)+(0|:gadv*/gxdv)+(gadv*/gxdv)+gadvdv*/gx)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_18)&tsz@y3dvdv((2^_11)teq[;])(2^_18)&tsz@(0|:y3dv D.1))"1) vpgen'' 1
NB. ... script (ijs) ... y3dvdvdvt1=:(ga*/gxdvdvdv)+(0|:gadv*/gxdvdv)+(1:|:0|:gadv*/gxdvdv)+0|:0|:gadvdv*/gxdv y3dvdvdvt2=:(gadv*/gxdvdv)+(1|:gadvdv*/gxdv)+(gadvdv*/gxdv)+gadvdvdv*/gx y3dvdvdv =:(y3dvdvdvt1+y3dvdvdvt2)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_13)&tsz@y3dvdvdv((2^_10)teq[;])(2^_13)&tsz@(0|:y3dvdv D.1))"1) vpgen'' 1
6 Transformation of Coordinates
... McCONNELL Chapter XI Section 1 ...
... Sokolnikoff Section 19 ...
...
... using an admissible transformation, the coordinates of Figure 1 can be transformed into orthogonal coordinates ...
...
7 Metric Tensor
... McCONNELL Chapter XIV Section 3 ...
... Sokolnikoff Section 53 ...
7.1 Covariant Metric Tensor
7.1.1 U-Coordinate System
7.1.2 V-Coordinate System
NB. ... script (ijs) ... mcv=:((y1dv*/y1dv)+(y2dv*/y2dv)+y3dv*/y3dv)"1
NB. ... script (ijs) ... mcvdvt1=:(y1dv*/y1dvdv)+1|:y1dvdv*/y1dv mcvdvt2=:(y2dv*/y2dvdv)+1|:y2dvdv*/y2dv mcvdvt3=:(y3dv*/y3dvdv)+1|:y3dvdv*/y3dv mcvdv =:(mcvdvt1+mcvdvt2+mcvdvt3)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_12)&tsz@mcvdv((2^_10)teq[;])(2^_12)&tsz@(0|:mcv D.1))"1) vpgen'' 1
NB. ... script (ijs) ... mcvdvdvt1=:(y1dv*/y1dvdvdv)+(1|:y1dvdv*/y1dvdv)+(2|:1|:y1dvdv*/y1dvdv)+1|:1|:y1dvdvdv*/y1dv mcvdvdvt2=:(y2dv*/y2dvdvdv)+(1|:y2dvdv*/y2dvdv)+(2|:1|:y2dvdv*/y2dvdv)+1|:1|:y2dvdvdv*/y2dv mcvdvdvt3=:(y3dv*/y3dvdvdv)+(1|:y3dvdv*/y3dvdv)+(2|:1|:y3dvdv*/y3dvdv)+1|:1|:y3dvdvdv*/y3dv mcvdvdv =:(mcvdvdvt1+mcvdvdvt2+mcvdvdvt3)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_12)&tsz@mcvdvdv((2^_10)teq[;])(2^_12)&tsz@(0|:mcvdv D.1))"1) vpgen'' 1
NB. ... script (ijs) ... mcv22 =:(1{1{mcv)"1 mcv22v2=:(1{1{1{mcvdv)"1
7.2 Determinant of the Covariant Metric Tensor
7.2.1 U-Coordinate System
7.2.2 V-Coordinate System
NB. ... script (ijs) ... m=:det@mcv
... Sokolnikoff Section 41 ...
NB. ... script (ijs) ... mdv=:(mcv detdv 0|:0|:mcvdv)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_12)&tsz@mdv((2^_14)teq[;])(2^_12)&tsz@(m D.1))"1) vpgen'' 1
NB. ... script (ijs) ... mmn =:(m^_1:)"1 mmndv=:(-@(m^_2:)*mdv)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_17)&tsz@mmndv((2^_6)teq[;])(2^_17)&tsz@(mmn D.1))"1) vpgen'' 1
... McCONNELL Chapter XIV Section 3 ...
... Sokolnikoff Section 62 ...
NB. ... script (ijs) ... ecv=:(2 2$0 1 _1 0)*%:@m ecn=:(2 2$0 1 _1 0)%%:@m
7.3 Contravariant Metric Tensor
7.3.1 U-Coordinate System
7.3.2 V-Coordinate System
... Sokolnikoff Section 53 ...
NB. ... script (ijs) ... mcn=:(mmn*/Mcf@mcv)"1
NB. ... execute (ijx) ... *./@(*./)@:((=@i.@#-:ts0@axs@((1;mcv),1;mcn))"1) vpgen'' 1
NB. ... script (ijs) ... mcndv=:((mmn*/0|:mcv Mcfdv 0|:0|:mcvdv)+0|:mmndv*/Mcf@mcv)"1
NB. ... execute (ijx) ... *./@(*./)@:(((2^_16)&tsz@mcndv((2^_9)teq[;])(2^_16)&tsz@(0|:mcn D.1))"1) vpgen'' 1
Download: File:LGB0200C.txt
Download: File:LGB0201C.txt
Download: File:LGB0202C.txt
Download: File:LGB0204C.txt
Download: File:LGB0206C.txt
Download: File:LGB0209C.txt
Download: File:LGB0211C.txt
Download: File:LGB0212C.txt
Download: File:LGB0213C.txt
Download: File:LGB0215C.txt
Download: File:LGB0217C.txt
Download: File:LGB0218C.txt
Download: File:LGB0219C.txt
Download: File:LGB0220C.txt
Download: File:LGB0222C.txt
Download: File:LGB0224C.txt
Download: File:LGB0225C.txt
Download: File:LGB0226C.txt
Download: File:LGB0228C.txt
Download MoinMoin source: File:Bonnet02.ijs
Next Page: Essays/Gauss-Bonnet/Bonnet03
Prev Page: Essays/Gauss-Bonnet/Bonnet01
Contributed by Tom Allen