¿Cuándo los límites de las raíces de un polinomio son idénticos a las raíces del límite del polinomio?

tengo un polinomio univariante de grado norte (dónde norte Es mas grande que 4 ). Los coeficientes de valor real del polinomio dependen de un parámetro ψ , es decir

pag ψ ( X ) = a norte ( ψ ) X norte + a norte 1 ( ψ ) X norte 1 + + a 1 ( ψ ) X + a 0 ( ψ ) .
Idealmente, me gustaría calcular las raíces de este polinomio, r i ( ψ ) , i { 1 , , norte } , y tomar el límite de ψ a cero
r ^ i = límite ψ 0 r i ( ψ )
Sin embargo , como el grado del polinomio es demasiado alto, no puedo obtener una solución en forma cerrada.

Una alternativa factible sería la siguiente: Calcular las raíces r j del límite del polinomio

pag ( X ) = límite ψ 0 pag ψ ( X ) .
En mi caso, los coeficientes son tales que a) el coeficiente principal a norte ( ψ ) convergerá a cero y b) el polinomio limitante pag ( X ) se factorizará en polinomios de bajo orden.

Mi pregunta es : ¿bajo qué condiciones los dos cálculos conducen a la misma respuesta, es decir, r ^ i = r j , por las raíces que existen en ambos casos? Cualquier respuesta o referencia sería muy apreciada.

Respuestas (1)

Suponiendo que existen los límites que usted establece, cada uno de los coeficientes a k ( ψ ) es una función continua de ψ cerca 0 , y entonces las dos formas de obtener las raíces necesariamente darán el mismo resultado.

Editar: como señalan los comentarios, la condición adicional de que el coeficiente principal a norte ( ψ ) convergerá a cero implica que al menos uno de los "límites" límite ψ 0 r i ( ψ ) no existe; por lo que la respuesta anterior no se ocupa del caso en cuestión. Sin embargo, simplemente ignorando los casos en los que | r i ( ψ ) | , y suponiendo que existan los límites restantes, las raíces restantes serán las mismas en cada enfoque.

Sin embargo, el hecho de que a norte ( ψ ) 0 implica que una de las raíces de a norte ( ψ ) tiende a ("con el fin de" dar cuenta de la menor cantidad de raíces pag tiene)
Esta respuesta presupone que incluye raíces complejas de pag ψ , incluso si al final solo te interesan las raíces reales. Por ejemplo, deja pag ψ ( X ) = ψ 2 X 4 + X 2 + ψ 2 . Esto tiene (de verdad ψ ) dos raíces reales, que van a ± como ψ 0 , y tiene dos raíces imaginarias que tienden a 0 como ψ 0 . el limite de pag ψ ( X ) como ψ 0 es X 2 , por lo que su raíz, una raíz doble en 0 , proviene sólo de las raíces complejas de pag ψ . (El ejemplo también muestra que en el comentario de @HagenvonEitzen "una de las raíces" significa "al menos una de las raíces".)
Muchas gracias por estos excelentes comentarios. Son muy apreciados. ¿Alguien tiene una prueba o referencia para estos resultados?
@TomM.: Se puede encontrar una prueba en la respuesta a esta pregunta
@JohnBentin: ¡Muchas gracias por la indicación!