Mathematica Troubleshooting Mathematica's Simplify Function for Finding the Norm of a Vector

Click For Summary
The discussion revolves around troubleshooting Mathematica's Simplify function for calculating the norm of the derivative of a vector function r(t) = {6Sqrt[2]t, 3Exp[2t], 3Exp[-2t]}. Users express frustration that Mathematica fails to simplify the norm correctly, despite attempts with various algebraic tools and restarting the software. The correct norm is derived manually as 12 cosh(2t), leading to confusion about Mathematica's output, which includes unnecessary complex components. Participants note that while Mathematica provides the correct answer, the presence of Re[t] in the output raises questions about its simplification process. The conversation highlights the challenges of relying on symbolic computation software for complex algebraic manipulations.
Pengwuino
Gold Member
Messages
5,112
Reaction score
20
I have a function here...

r(t) ={6Sqrt[2]t, 3Exp[2t], 3Exp[-2t]}

I needed to find the norm of r'[t]... yet when Mathematica tries to simplify it, it can't do it with simplify, powerexpand[simplify[]], fullsimplify... and this function IS suppose to be able to simplify. I then started running through every basic algebraic manipulation tool and came up empty...

I restarted mathematica thinking the kernel had just given up on me but that didn't work.

PowerExpand[Simplify[]] gives me 12Cosh[2Re[t]] and that can't be it...

Someone think they know what's going on here?
 
Physics news on Phys.org
Sure it's right

r(t) =\left< 6\sqrt{2}t, 3e^{2t}, 3e^{-2t}\right>
\Rightarrow r^{\prime}(t) =\left< 6\sqrt{2}, 6e^{2t}, -6e^{-2t}\right>
\Rightarrow \left| r^{\prime}(t)\right| = \left| \left< 6\sqrt{2}, 6e^{2t}, -6e^{-2t}\right> \right| = \sqrt{6^{2}2+6^{2}e^{4t}+6^{2}e^{-4t}}
= 6\sqrt{2+e^{4t}+e^{-4t}}=6\sqrt{\left(e^{2t}+e^{-2t}\right) ^2}=12\left(\frac{e^{2t}+e^{-2t}}{2}\right) = 12\cosh(2t)

assuming t\in\mathbb{R}
 
Crap... then I need to figure out how to simplify it into something that isn't a hyperbolic function...

I need to find tangential and normal and binormal vectors and I'm not sure how I'm going to be able to do it with that equation...
 
Pengwuino said:
I have a function here...
r(t) ={6Sqrt[2]t, 3Exp[2t], 3Exp[-2t]}
I needed to find the norm of r'[t]... yet when Mathematica tries to simplify it, it can't do it with simplify, powerexpand[simplify[]], fullsimplify... and this function IS suppose to be able to simplify. I then started running through every basic algebraic manipulation tool and came up empty...
I restarted mathematica thinking the kernel had just given up on me but that didn't work.
I feel your pain. I don't have access to Mathematica, but I do use Matlab's Symbolic Toolbox, which is based on the Maple engine. Sometimes it is soooo stupid ... Forcing things sometimes helps, sometimes not.

On the other hand, this is simple expression to simplify by hand.
Assuming t is real,
<br /> \begin{align*}<br /> \mathbf{r}(t) &amp;=\begin{bmatrix}6\sqrt 2 t &amp; 3\exp(2t) &amp; 3\exp(-2t)\end{bmatrix} \\<br /> \dot{\mathbf r}(t) &amp;= \begin{bmatrix}6\sqrt 2 &amp; 6\exp(2t) &amp; -6\exp(-2t)\end{bmatrix} \\<br /> \lVert{\dot{\mathbf r}(t)}\rVert^2<br /> &amp;= \dot{\mathbf r}(t) \cdot \dot{\mathbf r}(t) \\<br /> &amp;= 36 \exp(4t) + 72 + 36 \exp(-4t) \\<br /> &amp;= \left(6\left(\exp(2t) + \exp(-2t)\right)\right)^2 \\<br /> &amp;= \left(12 \cosh(2t)\right)^2 \\<br /> \intertext{thus}<br /> \lVert{\dot{\mathbf r}(t)}\rVert &amp;= 12 \cosh(2t)\right<br /> \end{align*}<br />
Why use Mathematica?

PowerExpand[Simplify[]] gives me 12Cosh[2Re[t]] and that can't be it...
Someone think they know what's going on here?
Wait a sec, I thought you said Mathematica couldn't simplify it. Now you said it does, and it came up with the right answer to boot. (Mathematica's answer is correct even if t is complex).
 
Last edited:
Well I thought it was screwing up, the unsimplified form had these Re[t]'s in it as the magnitude of r'[t] when it seems like it only should have had e's unless I am going into really complicated things here.

I got this...

\sqrt {72 + 36e^{ - 4{\mathop{\rm Re}\nolimits} [t]} + 36e^{4{\mathop{\rm Re}\nolimits} [t]} }

When I thought I would get this…\sqrt {72 + 36e^{-4t} + 36e^{4t} }
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
9K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
8K
  • · Replies 1 ·
Replies
1
Views
4K