НГУ

Форумы НГУ
Текущее время: Чт фев 22, 2018 8:06 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 11 ] 
Автор Сообщение
 Заголовок сообщения: Интеграл
СообщениеДобавлено: Пн май 17, 2004 6:21 pm 
Найти первообразную функции:
f=[х]

Помогите советом.


Вернуться к началу
  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн май 17, 2004 7:57 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Пт сен 27, 2002 12:04 pm
Сообщения: 1626
Откуда: Илья Марьясов
Сделай из функции F(x)=[x]x непрерывную - и будет тебе первообразная. На графике хорошо видно, какая она должна быть - кусочно-линейная.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн май 17, 2004 11:54 pm 
А последовательными методами: не используя график - какова идея перехода от функции к первообразной?


Вернуться к началу
  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт май 18, 2004 12:50 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Пт сен 27, 2002 12:04 pm
Сообщения: 1626
Откуда: Илья Марьясов
Ну это же тривиально. На каждом полуинтервале вида [a, b[, где a, b из Z, f(x)=[x] константа, равная a. Значит первообразная у неё на этом полуинтервале будет линейная функция вида ax+c. Осталось только сделать так, чтобы искомая первообразная была непрерывной. В этом-то и поможет график - чтобы "угадать" формулу для первообразной. Ну а потом строго доказать, что полученная функция непрерывна. Хотя это уже очевидно будет.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт май 18, 2004 9:17 am 
Не в сети
Постоянный посетитель

Зарегистрирован: Сб ноя 08, 2003 7:46 pm
Сообщения: 139
Ну да, искомая функция будет выглядеть как ломаная, если рассудать таким образом. Непрерывной-то она будет, а вот будет ли она дифференцируемой в точках "излома", вот в чем вопрос....


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт май 18, 2004 9:19 am 
Не в сети
Опытный автор

Зарегистрирован: Пн сен 17, 2001 7:00 am
Сообщения: 526
Откуда: Илья Олегович Орлов
hedin писал(а):
Ну да, искомая функция будет выглядеть как ломаная, если рассудать таким образом. Непрерывной-то она будет, а вот будет ли она дифференцируемой в точках "излома", вот в чем вопрос....

Конечно, не будет. Да это и понятно - исходная-то функция не непрерывна...

_________________
С уважением,
Илья Орлов.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт май 18, 2004 1:25 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Пт сен 27, 2002 12:04 pm
Сообщения: 1626
Откуда: Илья Марьясов
hedin писал(а):
Непрерывной-то она будет, а вот будет ли она дифференцируемой в точках "излома", вот в чем вопрос....


Определение. Функция F(x) называется первообразной функции f(x) на U - подмножество расширенной числовой прямой, если для любого x из U F'(x)=f(x).

Очевидно, что первообразной у этой функции не существует, поэтому нужно искать обобщённую первообразную.

Определение. Функция F(x) называется обощённой первообразной функции f(x) на U - подмножество расширенной числовой прямой, если F(x) непрерывна на U и для любого x из U, за исключением, быть может, счётного множества точек F'(x)=f(x).

Точки излома в данном случае - это всё Z, которое, очевидно, счётно.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт май 18, 2004 10:33 pm 
Не в сети
Постоянный посетитель

Зарегистрирован: Сб ноя 08, 2003 7:46 pm
Сообщения: 139
Соряйте, на первом курсе обобщенную первообразную не проходят :-)
Попробовал в лоб, не проканало, буду слушать молча :-)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт май 18, 2004 11:19 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Пт сен 27, 2002 12:04 pm
Сообщения: 1626
Откуда: Илья Марьясов
hedin писал(а):
Соряйте, на первом курсе обобщенную первообразную не проходят :-)


Да что Вы говорите! Я не знаю, на каком Вы потоке, но у нас (1 поток) И.А. Шведов неопределённое интегрирование давал во 2-м семестре. И определение обобщённой первообразной было сразу же после обычной.

В конце концов, я же написал, что обычной первообразной у этой функции нет. Так что если для вас не существует обобщённой первообразной, то можете жаловаться преподавателю, что задача некорректно поставлена :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт май 20, 2004 4:34 pm 
Не в сети
Частый гость

Зарегистрирован: Чт май 22, 2003 7:33 am
Сообщения: 72
Откуда: Semyon Dyatlov
Это задача 2305 из Демидовича
Ответ [x](2x-1-[x])/2.
Достаточно убедиться, что она непрерывна, а ее производная равна [x] везде, кроме счетного числа точек.
Кстати, в нашем курсе матанализа (1 поток, 1 курс, С. К. Водопьянов)
с равенством производной дело обстоит так:

точная первообразная - во всех точках
первообразная - везде, кроме не более чем счетного множества точек
первообразная Лебега - везде, кроме множества меры нуль + липшицева.

_________________
Semyon Dyatlov


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт май 20, 2004 5:58 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Пт сен 27, 2002 12:04 pm
Сообщения: 1626
Откуда: Илья Марьясов
Dyatlov писал(а):
Это задача 2305 из Демидовича
Ответ [x](2x-1-[x])/2.
Достаточно убедиться, что она непрерывна, а ее производная равна [x] везде, кроме счетного числа точек.

Ну в общем что я и говорил несколькими постами выше :)
Мне просто лень было точную формулу считать, да просящему нужен был только совет :)
Цитата:
Кстати, в нашем курсе матанализа (1 поток, 1 курс, С. К. Водопьянов)
с равенством производной дело обстоит так:
точная первообразная - во всех точках

Ну это, думаю, во всех курсах так :)
Цитата:
первообразная - везде, кроме не более чем счетного множества точек

Это в точности обобщённая первообразная по Шведову.
Цитата:
первообразная Лебега - везде, кроме множества меры нуль + липшицева.

Формально Шведов такую первообразную не вводил, но интеграл Лебега-то в любом случае Шведов рассказывает. А этот интеграл как раз устойчив к множествам меры нуль.
Итого: думаю, что тему уже можно закрыть :)
А что ее закрывать? Вопроc. имхо, исчерпан. //bolbot


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 11 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: Bing [Bot], Google [Bot] и гости: 21


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB