§2. О физической сущности времени и движения. Сущность дифференциального и интегрального исчисления. - ч.7
Таким образом, в результате проведенного исследования, мы установили различные способы выражения скоростей движения материальных объектов при их реальном перемещении в пространстве. Естественно, что величины скоростей, определенные различными способами, будут различными. Так, скорости, определяемые выражениями (13) и (16), будут разными. В дальнейшем будет показано, что взаимодействие материальных объектов зависит не от абсолютных их скоростей, а от величины скорости в их относительном движении.
Рассмотрим математическое определение относительной скорости реального движения в пространстве, то есть скорость движения одного материального объекта по отношению к движению другого материального объекта. Для этого достаточно опытным путем установить функциональную зависимость , где x – перемещение одного из материальных объектов, принимаемое за эталонное, y - перемещение другого материального объекта. Перемещения y и x могут происходить в различных местах пространства, в различных направлениях по отношению друг к другу, но, несмотря на это, их взаимная связь может быть представлена графически в прямоугольной системе координат (рис.2). Эту зависимость мы условно можем представить как траекторию некоторой точки, являющейся математической моделью материального объекта, движущейся от начала координат в плоскости x-y. Причем движение в направлении оси x (в горизонтальном направлении) мы будем считать происходящим равномерно, то есть с постоянной скоростью, движение же вдоль оси y, то есть его вертикальная составляющая, будет зависеть от вида функциональной зависимости . Таким образом, траектория точки M будет представлять собой результат двух различных движений, одно из которых (равномерное) следует считать эталонным. Нас будет интересовать скорость движения точки в любом ее положении на траектории движения. Поэтому в качестве начала отсчета для определения скорости мы будем брать ту точку M на траектории движения, скорость в которой нас интересует, то есть от этой точки мы будем измерять перемещение исследуемого и эталонного движений, как это в действительности и происходит при определении скоростей движущихся объектов. Обозначим эти перемещения через и , причем вполне очевидно, что эти перемещения могут быть произвольными в некоторых пределах, допускаемых общей величиной перемещения. От этого будет зависеть только величина средней скорости, определяемой выражением:
(18)
Нас же, как уже отмечалось, интересует мгновенное значение скорости в выбранной точке M. Для нахождения мгновенной скорости мы, очевидно, должны уменьшать интервал , который в пределе должен равняться нулю. В итоге мы придем к выражению (17). В таком виде, конечно, мы его использовать не сможем. Поэтому операция определения скорости движения точки (дифференцирование) должна проводиться уже рассмотренным нами способом: берутся приращения и ,затем берется их отношение, после чего принимается равным нулю, то есть все делается так, как это и принято в современном анализе. Только при этом можно обойтись без понятий предела и бесконечно малой величины.
Однако, здесь следует обратить внимание на следующее обстоятельство. Когда мы берем отношение и затем приравниваем к нулю, мы должны прежде это отношение перемещений преобразовать в скорость, то есть получить новую функциональную зависимость y от x. Иначе при и будет равно нулю, а их отношение даст отношение нулей. Это очень существенный момент. Решить эту проблему можно путем или непосредственного деления на или путем разложения в ряд по целым степеням , например, по биному Ньютона или в ряд Тейлора. Один пример с функцией мы уже рассмотрели. В более общем виде для функции приращение функции:
(19)
можно разложит в следующий ряд Тейлора:
, (20)
где - первая, вторая и т.д. производные от функции в точке , - задаваемое приращение аргумента x, - бесконечно малая величина порядка выше n-го, характеризующая погрешность разложения.
Только после такого разложения можно поделить на и получить среднюю скорость движения, которая будет мгновенной при . Поскольку все члены кроме первого будут содержать в себе множитель , который при своем нулевом значении преобразует эти члены в нули, то выходит, что величину производной от функции определяет только первый член разложения приращения функции , и поэтому ее разложение может быть не точным, а приближенным, причем будет достаточно только одного первого члена разложения. Это значительно упрощает задачу дифференцирования функций.
При дифференцировании функций в большинстве случаев удобнее, однако, разлагать в ряд функцию по степеням . Тогда первый член этого разложения будет сокращаться с функцией , а второй определит производную после деления на .
При выполнении операций дифференцирования через отношение приращений функции и аргумента несомненно, что приращение аргумента необходимо принимать точно равным нулю. Утверждение, что только стремится к нулю, ничего, по сути дела, не меняет. Математическая практика показывает, что члены с при вычислении производной отбрасываются не как очень маленькая погрешность, а именно как нулевые величины. Считая, что это действительно так, посмотрим на выражение производной через отношение дифференциалов:
Как уже отмечалось, при это выражение будет определяться отношением нулей, то есть:
Но тогда возникает вопрос: для чего нужно вводить понятие дифференциала? Что это нам дает? Попробуем с этим разобраться. Во-первых, отношение дифференциалов является символическим обозначением мгновенной скорости движения или производной от функции , представляющей зависимость y от x. Во-вторых, такое представление нулей дает возможность показать наличие движения раз есть функциональная зависимость одной величины от другой. Это очень важный момент и очень важная функция, которую выполняют данные обозначения и которая в дальнейшем нам потребуется для обоснования законов механики. Важно показать именно наличие движения, то есть не застывшее мгновение, а непрерывное движение от точки к точке. В-третьих, символы dy и dx удачно используются как символы в интегральном исчислении, ведь обозначение интеграла в виде:
,
является чисто символическим, где dx, как будет показано ниже, является символом нуля. В-четвертых, эти символы могут быть использованы как аналоги приращения функции и аргумента, что дает возможность оставаться все время на символических позициях. Так, например, мы можем умножать и делить математические выражения на dx и dy, считая их конечными величинами, а не нулями. С нулями мы бы не решились так оперировать. Однако, что совсем удивительно, никакой ошибки при этом не возникает. Мы также можем брать дифференциалы от различных величин, а отношение дифференциалов рассматривать как производные. Такая широкая возможность использования дифференциалов как символов нулей делает очень ценным их изобретение. Огромная заслуга Лейбница в этом несомненна. Однако, надо четко понимать истинную сущность этих символов. Непонимание этой сущности привело к тому, что в течение трех столетий математики не имеют достоверного обоснования дифференциального и интегрального исчисления.