1
$\begingroup$

Instead of looking for roots of a polynomial $p:\Bbb R^n$, we might be interested about the points at which $p$ is "furthest" from having a root:

Question. What is the maximum number $N$ of strict local maxima of the function $|p(x)|$, where $p:\Bbb R^n \to \Bbb R$ is a cubic polynomial?


The answer in case of a quadratic polynomial $p$ was trivial: At how many isolated points in $\Bbb R^n$ might the distance of a quadratic polynomial $p:\Bbb R^n\to \Bbb R$ from 0 be locally maximized? However, it seems to me that in case of a cubic polynomial we run into the same problems as those that I describe in the question: How many strict local minima a quartic polynomial in two variables might have?


As @GerryMyerson commented, $N\leq 2^n$ because by Bézout's theorem the partial derivatives of $p$ can be zero simultaneously at no more than $2^n$ points. Can this upper bound be attained?

$\endgroup$
2
  • 1
    $\begingroup$ I left a comment at the other question. By the same reasoning involving partial derivatives and Bezout's Theorem, I'd expect the cubics to have $2^n$ isolated local extreme points. $\endgroup$ Commented Jan 18, 2023 at 3:40
  • $\begingroup$ @GerryMyerson Thanks a lot for this idea. This gives us the upper bound $2^n$. I guess it should not be hard to choose the polynomial $p$ so that its partial derivatives wont vanish at the same point at infinity. What might potentially be challenging is making sure any of the critical points of $p$ were saddle points. $\endgroup$ Commented Jan 18, 2023 at 4:24

1 Answer 1

0
$\begingroup$

Proposition. $N = 2$.

Proof. As argued in A cubic polynomial in $n$ variables has at most one strict local minimum., a cubic polynomial has at most one strict local minimum. Applying this to $p$ and $-p$, we conclude that $|p|$ has at most two strict local maxima (one corresponding to a local minimum of $p$ and the other to local maximum of $p$). Clearly this limit is attained, for example by the polynomial $$ p(x,y) = x(x^2-3) + y (y^2-3), $$ which has a strict local maximum at the point $(-1,-1)$, a strict local minimum at the point $(1,1)$, and the two remaining critical points $(1,-1)$ and $(-1,1)$ are saddle points. $\tag*{$\Box$}$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .