Supongamos un $n^{\text{th}}$ polinomio mónico de grado $$ p(x) = x^{n} + a_{n-1} x^{n-1} + \dots + a_0,$$ con un vector de coeficientes $a = (a_{n-1}, \dots , a_0) \in \mathbb R^n$ . Consideremos ahora una familia parametrizada \begin{align*} p(x, r) = x^{n} + ra_{n-1} x^{n-1} + \dots + ra_0, \end{align*} con $r \in \mathbb R$ .
Supongamos que $r_0 \in \mathbb R$ tenemos $p(i \alpha, r_0) = 0$ es decir, $p(x, r_0)$ tiene un cero en el eje imaginario. Supongamos además para algunos $\delta > 0$ tenemos $p(x, r)$ tiene todos sus ceros en el semiplano derecho de $\mathbb C$ para cada $r \in (r_0, r_0 + \delta)$ .
Mi pregunta es: ¿es posible que para todos los $r \in (r_0 - \delta, r_0)$ también tenemos $p(x, r)$ tiene todos sus ceros en el semiplano derecho (podemos incluir el eje imaginario). Es decir, ¿existe un polinomio mónico, que nos permita parametrizar como arriba, tal que la familia parametrizada tenga ceros tocando el eje imaginario pero todos los ceros estén confinados en el semiplano derecho cuando variamos $r$ continuamente?
Según lo comentado por @saulspatz, $x^2 + r$ tendrá todos sus ceros en el eje imaginario si $r < 0$ . Yo estaba en mente pidiendo el caso de que al menos existe alguna $r \in (r_0 - \delta, r_0)$ tal que algunas de las raíces de $p(x, r)$ se desplazará fuera del eje imaginario.
0 votos
No $p(x)=x^2+1$ funcionar, ¿o me estoy perdiendo algo?
0 votos
@saulspatz No creo que eso funcione. ¿Cuál es la opción de $r_0$ tal que los ceros se desplazan fuera del eje imaginario, hacia el semiplano derecho cuando se aumenta $r$ ¿Un poco?
0 votos
@JyrkiLahtonen: Estaba leyendo tu respuesta. ¿Por qué la has borrado? No vi ningún problema en tu respuesta.
0 votos
@saulspatz: Gracias. Tu comentario encaja en la ambientación. Pero me refería a la elección inicial de $a$ o al menos que exista alguna opción de $r$ tal que $p(x, r)$ tiene todos los ceros en el semiplano abierto derecho de $\mathbb C$ . Cambiará la formulación del problema.
0 votos
Si permite que los coeficientes sean funciones $a_i(r)$ que no sean lineal, es decir $a_i(r)=ra_i$ entonces mi respuesta funciona. Me tengo que ir. Vuelvo en unas horas.
0 votos
@JyrkiLahtonen: En la respuesta borrada tuya, con la consideración $a_i(r)$ no lineal, mencionaste que la situación descrita en el problema se daría si los ceros en el eje imaginario son de multiplicidad mayor que $1$ . ¿Podría explicarnos por qué?
0 votos
@JyrkiLahtonen Las raíces se quedan en el eje imaginario, pero esto está específicamente permitido en la pregunta. El OP dice: "podemos incluir el eje imaginario". Ahora el OP ha aclarado la pregunta.