2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Непрерывная дифференцируемость простых корней алг. уравнения
Сообщение13.03.2015, 12:00 
Здравствуйте! Помогите пожалуйста разобраться со следующим вопросом.

Дано алгебраическое уравнение $n$ степени с коэффициентами над полем комплексных чисел:
$z^n + a_1 z^{n-1} + \ldots + a_n = 0$.

На форуме обсуждалось, что его корни являются непрерывными функциями коэффициентов. Кроме того известно, что если все корни простые, то они являются непрерывно дифференцируемыми функциями аргументов уравнения.

Верно ли, что, если у уравнения имеются кратные корни, то все его простые корни будут оставаться непрерывно дифференцируемыми функциями (как функции комплексного аргумента) в некоторой достаточно малой окрестности $B(a)$ точки $a = (a_1, \ldots, a_n)$? Это более менее очевидно, но я затрудняюсь со строгим доказательством этого факта. Каким образом это можно показать?

 
 
 
 Re: Непрерывная дифференцируемость простых корней алг. уравнения
Сообщение13.03.2015, 13:19 
Просто по теореме о неявной функции: простота корня в точности означает, что производная по нему не равна нулю.

 
 
 
 Re: Непрерывная дифференцируемость простых корней алг. уравнения
Сообщение14.03.2015, 00:42 
О! Спасибо большое! Оказывается, все очень просто :-)

P.S. Только теорема о неявной функции обычно формулируется для действительных отображений. Или я не прав? Как можно адаптировать ее для комплексных чисел? Получается, все-таки надо рассмотреть двумерный якобиан, который не равен нулю вследствие условий Коши-Римана, так? Можно ли как-то проще?

 
 
 
 Re: Непрерывная дифференцируемость простых корней алг. уравнения
Сообщение14.03.2015, 05:38 
Аватара пользователя
wormer в сообщении #990025 писал(а):
Как можно адаптировать ее для комплексных чисел?

А разве тупо расписать на действительную и мнимую часть не получится?

 
 
 
 Re: Непрерывная дифференцируемость простых корней алг. уравнения
Сообщение14.03.2015, 06:14 
wormer в сообщении #990025 писал(а):
P.S. Только теорема о неявной функции обычно формулируется для действительных отображений. Или я не прав?

Есть версии и для комплексных аналитических функций. Доказываются обычно через разложение в ряд и доказательство сходимости этого ряда. Кстати, для вещественно-аналитического случая есть в Фихтенгольце (п. 450 Решение уравнений рядами). В комплексном случае то же самое.

Можно и чисто вещественной теоремой воспользоваться: доказать, что для обратной функции условия Коши-Римана выполняются, а значит, она тоже будет комплексно-аналитической. А для функции нескольких переменных -- проверить, что они выполняются по каждой переменной. Тогда по теореме Гартогса она будет комплексно-аналитической по совокупности переменных.

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group