A real half space in $\mathbb{C}^2$ is $$\{(z,w)\in \mathbb{C}^2\mid \phi(z,w) > \lambda\}$$ where $\lambda$ is a real number and $\phi$ is a $\mathbb{R}$- linear functional from $\mathbb{C}^2$ to $\mathbb{R}$. Assume that $p(x,y)\in \mathbb{C}[x,y]$ has all its roots in a real half space $K$. Is it true that all critical points of $p$ must necessarily lie in $K$?
$\begingroup$
$\endgroup$
5
-
2$\begingroup$ Can you provide an example? $\endgroup$– geocalc33Commented Mar 3, 2020 at 2:25
-
$\begingroup$ @geocalc33 As trivial example $z=0$.There is no critical point. $\endgroup$– Ali TaghaviCommented Mar 3, 2020 at 2:28
-
$\begingroup$ The real half space is $Re(z)>-1$ $\endgroup$– Ali TaghaviCommented Mar 3, 2020 at 2:35
-
2$\begingroup$ You might be able to use a convex space argument here because the real half space is a convex set. Given a set $X,$ a convexity over $X$ is a collection $π$ of subsets of X satisfying the $(X, π).$ It's hard to refine the convex sets in question in higher dimensions. I would suggest reading this paper, which delves into generalisations of Gauss Lucas: researchgate.net/publication/221966131_Multivariate_Gauss-Lucas_Theorems $\endgroup$– geocalc33Commented Mar 3, 2020 at 3:38
-
3$\begingroup$ and this: [4] A. W. Goodman: Remarks on the Gauss-Lucas theorem in higher dimensional space,Proc. Amer. Math. Soc. 55 (1976), 97β12 $\endgroup$– geocalc33Commented Mar 3, 2020 at 3:39
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
There is a very pretty multivariate extension of Gauss-Lucas proved by Marek Kanter here As far as I can tell, the paper has not been published, but the proof of the main theorem is half a page, so...
answered Mar 3, 2020 at 3:41