Имя: Пароль:
IT
 
Бесконечно дифференцируемая функция
0 Ненавижу 1С
 
гуру
08.07.11
12:17
Функция дифференцируема бесконечное число раз во всех точках вещественной прямой равна тождественна нулю на некотором отрезке. Верно ли, что она тождественно равна нулю на всей прямой?

попозже я приведу пример возможности
1 zak555
 
08.07.11
12:19
разложить в ряд Тейлора ?
2 Ненавижу 1С
 
гуру
08.07.11
12:20
(1) в какой точке?
3 NS
 
08.07.11
12:20
Нет не верно.
Пример в своё время привел Коши, и этот пример есть в википедии :)

Существуют бесконечно дифференцируемые функции, ряд Тейлора которых сходится, но при этом отличается от функции в любой окрестности a. Например, Коши предложил такой пример:
4 Ненавижу 1С
 
гуру
08.07.11
12:22
(3) в том примере правда функция не равна нулю на отрезке, а только в точке
5 NS
 
08.07.11
12:22
На отрезке От "а" до "б" f(x)=0
При х<а f(х)=е^(-1/(x-а)^2) и т.д.
6 NS
 
08.07.11
12:25
При х>б f(х)=е^(-1/(x-б)^2)
7 Ненавижу 1С
 
гуру
08.07.11
12:26
а в комплексном случае?
только вместо отрезка возьмем замкнутую область, например круг
8 Оболтус
 
08.07.11
12:26
Умные 1С-ники. Фантастика.
9 Оболтус
 
08.07.11
12:27
Погодите, я делаю скрин на память...
10 NS
 
08.07.11
12:32
(7) Тождественно равна нулю. Тоже есть в википедии:

"Голоморфная функция — функция комплексного переменного, определённая на открытом подмножестве комплексной плоскости  и комплексно дифференцируемая в каждой точке.

В отличие от вещественного случая, это условие влечёт, что функция бесконечно дифференцируема и может быть представлена сходящимся к ней рядом Тейлора."
11 NS
 
08.07.11
12:32
+(10) Просто представляем в виде ряда Тейлора по любой точки из области, в которой она тождественно равна нулю.