2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 00:34 


23/12/07
1757
Собственно, вопрос - есть ли какие-то фундаментальные свойства нашего мира, что определяют существование дифференцируемых функций [ну, там какие-нибудь свойства пространства], ? или это воспринимается как аксиома? (Просто задумался, при каких самых общих условиях имеет смысл предполагать эту самую дифференцируемость).

Спасибо.

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 11:09 
Заслуженный участник


10/03/09
958
Москва
Фундаментальные законы природы это дифференциальные уравнения.

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 11:31 
Заслуженный участник


02/08/11
6874
Не исключено, что некие пока не известные ещё-более-фундаментальные уравнения являются, например, уравнениями в конечных разностях. Тогда можно было бы сказать, что дифференциальные уравнения "работают" только потому, что от одного можно перейти к другому.

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

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

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 13:44 


23/12/07
1757
EEater в сообщении #1293210 писал(а):
Фундаментальные законы природы это дифференциальные уравнения.

почему?

warlock66613 в сообщении #1293214 писал(а):
Не исключено, что некие пока не известные ещё-более-фундаментальные уравнения являются, например, уравнениями в конечных разностях. Тогда можно было бы сказать, что дифференциальные уравнения "работают" только потому, что от одного можно перейти к другому.


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

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 15:05 
Заслуженный участник


02/08/11
6874
_hum_ в сообщении #1293237 писал(а):
почему так?
А если это не так, мы можем свернуть эту функцию с какой-нибудь хорошей гладкой дифференцируемой функцией (скажем, с гауссианой небольшой ширины), и поскольку свёртка - операция с хорошими свойствами, то можно ожидать, что если исходная функция подчиналась какому-то закону, то и для полученной дифференцируемой функции также можно будет сформулировать закон, которому она будет подчиняться (и выразить этот закон на языке дифференциальных уравнений).

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 15:50 
Заслуженный участник


10/03/09
958
Москва
_hum_ в сообщении #1293237 писал(а):
почему?
Потому что предмет физики - движение (необязательно механическое). Движение выражается некоторой функцией (координат и времени, в частном случае - координат от времени). Физическая задача - нахождение движения при заданных начальных и граничных условиях. Вопрос: что это за раздел математики, где результатом решения задачи является функция?

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 20:05 
Заслуженный участник


27/04/09
28128
_hum_ в сообщении #1293161 писал(а):
Собственно, вопрос - есть ли какие-то фундаментальные свойства нашего мира, что определяют существование дифференцируемых функций
В такой-то постановке это вообще не вопрос. Функции «существуют» не в том же смысле, они существуют в головах, и даже если бы ни одной головы не было, найдутся люди, которые утвердят, что функции всё равно существуют в мире идей, отдельном от вообще всего. Так что в более узком смысле мир должен поддерживать появление и существование разума, а в более широком вообще ничего не должен.

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 20:37 


05/09/16
11469
_hum_ в сообщении #1293161 писал(а):
Просто задумался, при каких самых общих условиях имеет смысл предполагать эту самую дифференцируемость

Наверное тогда когда мы предполагаем что что-то будет сохраняться и не будет бесконечных значений физических величин.
Но случаи-то бывают разные. Вот например абсолютно упругий удар. При его идеализации мы закрываем глаза на конечную ("в реальности") длительность упругого удара и конечные ускорения соударяющихся бильярдных шаров. И нам как раз удобно считать, чтобы функция например скорости не была дифференцируемой в собственно момент удара.

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 21:41 
Заслуженный участник
Аватара пользователя


28/09/06
10414

(А вот, наконец-то, и правильный ответ)

arseniiv в сообщении #1293282 писал(а):
В такой-то постановке это вообще не вопрос

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 21:46 


23/12/07
1757
warlock66613 в сообщении #1293247 писал(а):
А если это не так, мы можем свернуть эту функцию с какой-нибудь хорошей гладкой дифференцируемой функцией (скажем, с гауссианой небольшой ширины), и поскольку свёртка - операция с хорошими свойствами, то можно ожидать, что если исходная функция подчиналась какому-то закону, то и для полученной дифференцируемой функции также можно будет сформулировать закон, которому она будет подчиняться (и выразить этот закон на языке дифференциальных уравнений).

не, заранее это
Цитата:
"если исходная функция подчиналась какому-то закону, то и для полученной дифференцируемой функции также можно будет сформулировать закон, которому она будет подчиняться (и выразить этот закон на языке дифференциальных уравнений)"

совсем не очевидно, что должно быть (что свертка не будет убивать адекватность модели). возьмите непрерывные траектории того же винеровского процесса и примените к нему свертку.

EEater в сообщении #1293253 писал(а):
Потому что предмет физики - движение (необязательно механическое). Движение выражается некоторой функцией (координат и времени, в частном случае - координат от времени). Физическая задача - нахождение движения при заданных начальных и граничных условиях. Вопрос: что это за раздел математики, где результатом решения задачи является функция?

вообще-то раздел не обязан быть "дифференциальным исчислением". постулируется непрерывность времени и пространства - как следствие непрерывность (или кусочную непрерывность) функции величин, описывающих движение. а вот то, что они должны быть почти линейными на малых масштабах (ака дифференцируемыми) - совсем не очевидно.

arseniiv в сообщении #1293282 писал(а):
В такой-то постановке это вообще не вопрос. Функции «существуют» не в том же смысле, они существуют в головах, и даже если бы ни одной головы не было, найдутся люди, которые утвердят, что функции всё равно существуют в мире идей, отдельном от вообще всего. Так что в более узком смысле мир должен поддерживать появление и существование разума, а в более широком вообще ничего не должен.

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

wrest в сообщении #1293295 писал(а):
Наверное тогда когда мы предполагаем что что-то будет сохраняться и не будет бесконечных значений физических величин.


ну вот как ньютон (а теперь и мы) дошел до того, что величина приращения пути, отнесенная ко времени (а не например, к квадрату времени) должна стремится к какому-то значению при стремлении времени к нулю?

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 21:50 
Заслуженный участник
Аватара пользователя


20/08/14
8062
Поскольку дифференцируемость - это линейность в малом, напомню также о существовании темы «Роль линейных зависимостей.».

 Профиль  
                  
 
 Posted automatically
Сообщение19.02.2018, 22:39 
Заслуженный участник


09/05/12
25179
 i  Тема перемещена из форума «Дискуссионные темы (М)» в форум «Междисциплинарный раздел»
Причина переноса: даже если это все же вопрос, он, пожалуй, не чисто математический, так что давайте поедем сюда.

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение19.02.2018, 22:54 
Заслуженный участник


27/04/09
28128
_hum_ в сообщении #1293318 писал(а):
это все понятно. вопрос был в контексте, когда ожидать, что мат. модель с дифференцируемой функцией будет адекватной.
Можно сразу сказать, что раз этот вопрос касается Вселенной, он существенно экспериментальный, так что вывод должен будет полагаться на какие-то опыты, чисто математический будет практически наверняка (я бы написал «заведомо», но признаю, что мог не всё учесть) ошибочным.

_hum_ в сообщении #1293318 писал(а):
ну вот как ньютон (а теперь и мы) дошел до того, что величина приращения пути, отнесенная ко времени (а не например, к квадрату времени) должна стремится к какому-то значению при стремлении времени к нулю?
А в его времена (и при Эйлере даже) о «плохих» функциях особо не думали.

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение21.02.2018, 09:23 
Аватара пользователя


14/02/12

841
Лорд Амбера
Может глубокий смысл дифференцируемости в том, чтобы правило Лопиталя раскрытия неопределенности 0/0 работало.

 Профиль  
                  
 
 Re: Какова онтология свойства дифференцируемости функции?
Сообщение21.02.2018, 13:52 


05/09/16
11469
_hum_ в сообщении #1293318 писал(а):
ну вот как ньютон (а теперь и мы) дошел до того, что величина приращения пути, отнесенная ко времени (а не например, к квадрату времени) должна стремится к какому-то значению при стремлении времени к нулю?

Ньютон-то дошел, а потом появился Гейзенберг и сказал, что координату и скорость нельзя определить одновременно со сколь угодно большой точностью.
Так что "на самом деле" что там происходит при "реальном" (а не идеальном, математическом) стремлении чего-нибудь (приращения времени или координаты) к нулю, не очень-то ясно.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 25 ]  На страницу 1, 2  След.

Модераторы: Модераторы, Супермодераторы



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

Найти:
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group