2014 dxdy logo

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

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




 
 Об интегрируемости
Сообщение10.08.2006, 18:34 
Интересно, а можно ли пополнить (или может быть вычесть) множество всех элементтарных функций, так, чтобы добавленное (или уменьшенное) множество функций было интегрируемо в них же. Ну разумеется исключить тривиальные случаи одних констант и линейных функций.

 
 
 
 
Сообщение10.08.2006, 19:03 
Множество всех дифференцируемых функций не устроит.

 
 
 
 
Сообщение10.08.2006, 19:03 
Аватара пользователя
:evil:
Ну, во-первых, Ваш, Sasha2, пример — неправилен.

Например, полиномы замкнуты относительно интегрирования.

Главное — какое множество функций? Как Вы его строите? Например, замыканием относительно суперпозиции? Конечным или бесконечным тоже? Вопросы, вопросы… а без них Ваш вопрос теряет какой-либо смысл.

 
 
 
 
Сообщение11.08.2006, 05:19 
Я не стррою пример, уважаемый модератор, вообще мое математическое образование достаточно скромное, и может быть я не совсем точно сформулировал задачу, но примерно так она должна звучать: все многочлены, все показательные, все тригонометрические и обратные к таковым, плюс все то, что можно построить суперпозицией, за вычетом тех, интегралы которых (имеется ввиду неопределенные), через первые не выражаются.

P.S. Кстати, а точно ли доказано, ну хотя бы для каких-либо неэлемментарных функций, что они действительно не могут быть выражены через конечное число суперпозиций, сумм, произведений и т.д. (элементарные действия) от обычных элементарных функций?

 
 
 
 
Сообщение11.08.2006, 06:22 
Аватара пользователя
:evil:
1) Я выступаю в данном случае не как модератор, а как участник форума (я никогда не ставлю :evil: как модератор, это достаточно надежная примета). В подобном контексте ко мне можно обращаться запросто: незваный гость.

2) Вы положительно привели пример:
Sasha2 писал(а):
Ну разумеется исключить тривиальные случаи одних констант и линейных функций.

Он не замкнут — интеграл от линейной функции уже квадратичная. Поэтому я и сказал, что пример не правилен.

3) Уже ${\rm li}(x) = \int \frac{{\rm d}x}{\ln x}$ и $\int \frac{{\rm d}x}{\sqrt{x(x^2-1)}}$ являются неэлементарными функциями.

4) Не задумываясь, я не готов вспомнить примера доказательства невыразимости какой-либо функции через «элементарные».

 
 
 
 
Сообщение11.08.2006, 19:22 
Ну вот и с Вашим примером об интегральном логарифме. Хотелось бы узнать, как вообще доказывается, что эта функция не является элементарной. Ну вообще мне кажется, чо доказать можно, что та или иная функция интегрируется в элементарных, приведя этот интеграл. А вот обратное утверждение непонятно как доказать. Ну нельзя же перебрать все элементарные функции и показать, что ни одна не подходит. Если я ошибаюсь, пожалуйста, поправьте.

 
 
 
 
Сообщение11.08.2006, 19:29 
Аватара пользователя
:evil:
не ошибаетесь. Доказывать, действительно, не просто.

 
 
 
 
Сообщение11.08.2006, 19:49 
Ну так может быть просто не очень усердно считали эти интегралы?

 
 
 
 
Сообщение11.08.2006, 20:02 
Аватара пользователя
Нет, потому что доказать всё-таки можно.

 
 
 
 
Сообщение11.08.2006, 20:17 
Аватара пользователя
Посмотрите, например, эту статью. Там доказывается, что функция $e^{x^2}$ не имеет элементарной первообразной.

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


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