How to tell Matlab to give real cube roots instead of complex ones?

23 次查看(过去 30 天)
I am using symbolic math toolbox (Matlab2011b) to do some geometric computations to derive an expression for a geometric length. At some point of my calculations some cube roots are introduced and unfortunately Matlab seems to automatically simplify terms like (-1)^(1/3) to yield 0.5000 + 0.8660i.
I realize this is a correct solution, however i want my result to be real - is there a way to tell Matlab to always return the real cube root?
These imaginary ones are messing up my expressions...
(Also i wonder why matlab chooses to consider one of two complex roots instead of giving all three solutions or the real one...)

采纳的回答

Eric
Eric 2017-9-7
编辑:Eric 2017-9-7
This is almost certainly occurring because MATLAB is doing the math by first converting to log space so that it can just multiply the exponent by the log of the argument and then convert it back. This is similar to how computers and calculators commonly do complicated arithmetic like multiplication (which becomes addition in log space) by first converting to log space, because adding logs is typically much easier, faster, and usually the only option available to the computer in the first place. The following is likely how MATLAB/the computer goes through the calculation:
(-1)^(1/3) = exp(exp( log(log(-1)) - log(3) ))
log(-1) = pi*i
log(pi*i) = 1.1447 + 1.5708i
log(3) = 1.0986
log(log(-1)) - log(3) = (1.1447 + 1.5708i) - (1.0986) = 0.0461 + 1.5708i
exp(0.0461 + 1.5708i) = exp(0.0461)*exp(1.5708i) = 1.0472i
exp(1.0472i) = 0.5 + 0.866i % A complex cube root of -1, along with its conjugate
Since the log of a negative number (namely -1 in this case) is going to be complex, this is what (almost certainly) makes the output of the operation also complex and why there won't be a setting to change it to default to real. Having said that, it is fairly easy to get the real answer of a cube root by doing something like
sign(x).*abs(x).^(1/3)
assuming your inputs are real. This takes advantage of what we already know to be true, namely that
(-x)^(1/3) = -(x^(1/3)) % For x>=0
and should, in theory, work for Ruye's issue, though I am no expert on symbolic forms and am almost certainly using a later MATLAB release (R2016a).
At this point, it should be worth mentioning that MATLAB already has a function called
nthroot(X,N)
which works for any root and will return a real result or bust. If you look at the code for nthroot(), you will see that it is essentially doing the above sign*abs method, but with fancy checking to see that the root will be real first.
(I know this is an old question, but I wanted to compile previous answers and give a plausible explanation for why it might give a complex number)

更多回答(4 个)

Friedrich
Friedrich 2013-3-26
编辑:Friedrich 2013-3-26
Hi,
seems more like MATLAB is converting your symbolic expression into a complex double value. So what are you doing with the symbolic expression? Or better, what is your actual code?
  6 个评论

请先登录,再进行评论。


Carlos
Carlos 2013-3-26
Try this sign(x).*abs(x.^(1/3))
>> sign(-1).*abs(-1.^(1/3))
ans = -1
  1 个评论
Thomas
Thomas 2013-3-26
Yeah, i thought about this too, but i cannot do it manually for all terms in my computations (at least i don't want to to save time in the long term)... but thanks for the idea anyway ;)

请先登录,再进行评论。


Ruye Wang
Ruye Wang 2014-4-16
I have the same question. I need to evaluate a function in symbolic form, essentially like the following:
syms x;
f=x^(1/3);
subs(f,-1)
The output is one of the three roots: 0.5000 + 0.8660i
But what I need is the real cube root of x=-1 (which is -1).
I know I could get the real cube root if I explicitly hard code it like this:
nthroot(-1,3)
However, how do I do this in the form of symbolic function, which is needed in the program?
  1 个评论
Thomas
Thomas 2014-4-16
I found no direct answer to the problem. I switched to use Mathematica, which is better for symbolic computations anyway (faster, easier input and better simplification routines imho). There i can bracket expressions with "Assuming[...]" to tell Mathematica that variables or subexpressions are real.
It think as og 2012 Matlab has an "assume" as well, however i am not sure if "assume(imag(x)=0)" or the like would work, as i still have Matlab 2011... maybe you could look at this.

请先登录,再进行评论。


Steven Lord
Steven Lord 2017-9-7
See this Answer for an explanation of why something like (-8)^(1/3) returns a complex result and an alternative function you can use.
  2 个评论
Jason Duvall
Jason Duvall 2022-3-13
This link is no lonber available, but the issue persists. Does anyone have an update?
Walter Roberson
Walter Roberson 2022-3-13
MATLAB defines the .^ operator on numeric values in terms of log and exp, and that will give you complex results for negative base numbers except for integer powers.

请先登录,再进行评论。

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by