6
$\begingroup$

How can I force mathematica to expand for example this expression

$$(\cos (\theta ) dr-r d\theta \sin (\theta ))\wedge (\sin (\theta ) dr+r d\theta \cos (\theta ))$$

into what is should be, that is

$$r dr\wedge d\theta \, ?$$

For your convenience:

(Cos[θ] Dt[r] - r Dt[θ] Sin[θ])\[Wedge](r Cos[θ] Dt[θ] + Dt[r] Sin[θ])
$\endgroup$
2
  • $\begingroup$ Unfortunately, Wedge has no built-in meaning in Mathematica. $\endgroup$
    – march
    Oct 2, 2017 at 21:48
  • 1
    $\begingroup$ Yes, that's the first detail in Wedge's documentation page: "Wedge[x,y,[Ellipsis]] has no built-in meaning." Wedge is there to allow you define your own favorite wedge product, of which there are many. TensorWedge is a tensorial operation. $\endgroup$ Oct 3, 2017 at 5:55

1 Answer 1

11
$\begingroup$

One idea is to use TensorReduce. I will assume that r is real, and that Dt[r] and Dt[θ] are symbolic vectors:

$Assumptions = r ∈ Reals && (Dt[r]|Dt[θ]) ∈ Vectors[{d}];

Then, we can use Simplify + TensorReduce:

Simplify @ TensorReduce[
    TensorWedge[Cos[θ] Dt[r]-r Dt[θ] Sin[θ], r Cos[θ] Dt[θ]+Dt[r] Sin[θ]]
]
r Dt[r] \[TensorWedge] Dt[θ]
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.