Message Boards Message Boards

0
|
1746 Views
|
2 Replies
|
1 Total Likes
View groups...
Share
Share this post:

Maximize keeps running forever

Posted 1 year ago

Hi everyone. I'm trying to run

Maximize[
 ComplexExpand[
  Abs[-(b/(3 a)) + ((1 + I Sqrt[3]) (-b^2 + 3 a c))/(
    3 2^(2/3)
      a (-2 b^3 + 9 a b c - 27 a^2 d + Sqrt[
       4 (-b^2 + 3 a c)^3 + (-2 b^3 + 9 a b c - 27 a^2 d)^2])^(
     1/3)) - ((1 - I Sqrt[3]) (-2 b^3 + 9 a b c - 27 a^2 d + Sqrt[
       4 (-b^2 + 3 a c)^3 + (-2 b^3 + 9 a b c - 27 a^2 d)^2])^(1/3))/(
    6 2^(1/3) a)]], {a, b, c, d},  Integers]

But it simply does not return anything and just keeps running - the same happens if I try to maximise over the Reals. I don't think I'm making any syntax mistakes, but in case you have an idea of what's wrong, please let me know.

POSTED BY: Alex Bailey
2 Replies
Posted 1 year ago

Thanks. So I should just assume the expression is too complex but if I wait long enough there will be an answer? I agree the max is probably infinity.

POSTED BY: Alex Bailey
Posted 1 year ago

Since you are trying to maximize something that has a large complicated denominator...

I wondered what happened if tried to minimize the square of that denominator

Minimize[Denominator[Together[-(b/(3 a))+((1+I Sqrt[3])(-b^2+3 a c))/
  (3 2^(2/3)a(-2 b^3+9 a b c-27 a^2 d+Sqrt[4(-b^2+3 a c)^3+(-2 b^3+
  9 a b c-27 a^2 d)^2])^(1/3))-((1-I Sqrt[3])(-2 b^3+9 a b c-27 a^2 d+
  Sqrt[4(-b^2+3 a c)^3+(-2 b^3+9 a b c-27 a^2 d)^2])^(1/3))/(6 2^(1/3)a)]]^2,{a,b,c,d}]

which quickly returns

{0, {a -> -1, b -> -1, c -> -1/3, d -> 0}}

I believe you have to be careful using that information. I don't think you can just plug those values into your original expression. But with care I think you might be able to infer your maximum may be infinity.

Please check all this VERY carefully before you even think of trusting it.

POSTED BY: Bill Nelson
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract