## 60 Reputation

5 years, 327 days

## Showing Weyl tensor is equal to zero in ...

Maple

 >
 >
 (1)
 >
 (2)
 >
 (3)
 >
 (4)

Weyl tensor is identically equal to zero in 3D and I have tried to show this by inputting an arbitrary metric and calculating components of Weyl tensor. Thus this answer should give me the empty set but I am not getting that, thanks in advance.

CODE:

with(Physics):

Setup(mathematicalnotation = true)

Setup(dimension = 3, coordinates = (X = [x1, x2, x3]), metric = 2*F6(X)*dx2*dx3+2*F5(X)*dx1*dx3+2*F4(X)*dx1*dx2+F1(X)*(dx1^2)+F2(X)*(dx2^2)+F3(X)*(dx3^2))

g_[]

Weyl[alpha, beta, mu, nu, nonzero]

## writing an iterative loop using 'while'...

Maple

 >
 >
 (1)
 >
 (2)
 >
 (3)
 >
 (4)
 >
 (5)
 >
 >
 (6)
 >
 (7)
 >
 (8)
 >
 (9)
 >
 (10)
 >

Hi,
Essentially i am trying to programe an iterative loop where v(K+1) can be found fro v(K), I'm not sure how to programe a loop but I know this is not a hard thing to do so I am struggling, any help would be appreciated! Thanks.
Edit: Also alpha K must be found at each stage by optimising f(v(k+1))

## Showing a tensor is identically equal to...

Maple

 >
 >
 >
 (1)
 >
 >
 (2)
 >
 (3)
 >
 (4)
 >
 (5)
 >
 (6)
 >
 (7)
 >
 >
 (8)
 >
 (9)
 >
 (10)
 >
 (11)
 >
 (12)
 >
 (13)
 >
 (14)
 >
 (15)
 >
 (16)
 >
 (17)
 >
 (18)
 >
 >
 (19)
 >
 >
 >
 >

I require one of these Weyl + W or Weyl - W (where W is Weyl tensor with hodge star operator, the equation may be found in my code) to be identically equal to zero. The computer will not recognise that it is identally equal unless i input the original p.d.e which I have, and I have also added some partial differentials up to the third order, maybe I need to include up to the fourth order? I am unsure what to add can someone please help me make this identically equal to zero! Thanks in advance for any help!

(I have put colon's after the equations Weyl+W and Weyl-W as the output was too long, but rest assured its not looking identically equal to zero!)

## Calculating christoffel symbol with diff...

Maple

with(DifferentialGeometry): with(Tensor):

DGsetup([x1, x2, x3, x4], M)

g1 := evalDG(dx1dx3+dx2dx4-u22(dx3)^2-u11(dx4)^2+2*u12*dx3dx4)

C1 := Christoffel(g1)

^^^ This is my code, I know theres something wrong with the metric but I'm not sure what, any help would be appreciated thanks! (This code gives me no answer).

u11*u22-u12^2+u13+u24 = 0   - This is the original eq I was working off.

## Weyl tensor with Hodge Star Operator...

Maple

I've programmed weyl tensor before with the physics package, now I need to program weyl tensor with this hodge star operator in the front, does anyone know how this is done on maple? Thanks in advance! (I should have attatched a photo which shows the desired equation in the middle line!)

 1 2 Page 1 of 2
﻿