Русская Википедия:Нотация Лейбница

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Image frame Нотация Лейбница — система математических обозначений, разработанная Лейбницем для анализа бесконечно малых и широко используемая в математическом анализе (вместе с рядом других нотаций). Основные символы — <math>dx</math> и <math>dy</math> для представления бесконечно малого приращения <math>x</math> и функции <math>y</math> от переменной <math>x</math> соответственно, а также <math>{\Delta}x</math> и <math>{\Delta}y</math> для конечных приращений <math>x</math> и <math>y</math> соответственноШаблон:Sfn.

Производная <math>y</math> по <math>x</math>, которая позднее стала рассматриваться как предел:

<math>\lim_{\Delta x\rightarrow 0}\frac{\Delta y}{\Delta x} = \lim_{\Delta x\rightarrow 0}\frac{f(x + \Delta x)-f(x)}{\Delta x}</math>,

была, согласно Лейбницу, отношением бесконечно малого приращения <math>y</math> к бесконечно малому приращению <math>x</math>:

<math>\frac{dy}{dx}=f'(x)</math>,

где правая часть является записью для производной функции <math>f</math> по <math>x</math> в нотации Лагранжа. Бесконечно малые приращения называются Шаблон:Em. С этим понятием связано понятие интеграла, в котором бесконечно малые приращения суммируются (например, для вычисления длины, площади или объёма как суммы крошечных кусочков). Для записи интегралов Лейбниц предложил тесно связанную нотацию, в которой используются те же самые дифференциалы. Эта нотация имела важное значение в развитии континентальной европейской математики.

Концепция Лейбница бесконечно малых долгое время оставалась нестрогой, но со временем была дополнена строгими формулировками, разработанными Вейерштрассом и другими математиками XIX века. Как следствие, нотация Лейбница в виде дроби стала рассматриваться не как простое деление, а получила определение через предельный переход. В XX веке было предложено несколько других формализмов, позволяющих придать строгость нотации бесконечно малых величин, включая нестандартный анализ, касательное пространство, использование «O» большогоШаблон:Уточнить.

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

История

В XVII столетии математики Ньютон и Лейбниц независимо друг от друга начали разрабатывать исчисления, оперирующие с бесконечно малыми величинами. В то время как Ньютон работал с Шаблон:Нп5, Лейбниц основывал свой подход на обобщении сумм и разностейШаблон:Sfn. Лейбниц первым использовал символ <math>\textstyle \int</math>. Данный символ является производным от латинского слова summa («сумма»), которое учёный записывал как Шаблон:Serif с использованием удлинённой буквой s, которая часто использовалась в Германии того времени. Рассматривая дифференцирование как обратную операцию к суммированиюШаблон:Sfn, Лейбниц использовал символ <math>d</math> — первую букву латинского слова differentia («разность»)Шаблон:Sfn.

Лейбниц был привередлив по отношению к обозначениям, тратя годы на экспериментирование, подгонку, отбраковку и согласование с другими математикамиШаблон:Sfn. Нотация, которую он использовал для дифференциала переменной <math>y</math>, менялась постепенно от <math>\omega</math>, <math>l</math> и <math>\tfrac{y}{d}</math> до окончательного обозначения <math>dy</math>Шаблон:Sfn. Его знак интеграла впервые появился в статье «De Geometria Recondita et analysi indivisibilium atque infinitorum» (О скрытой геометрии и анализе неделимых и бесконечных), опубликованной в журнале Acta Eruditorum в июне 1686 годаШаблон:SfnШаблон:Sfn, но использовался в частных рукописях по меньшей мере с 1675 годаШаблон:SfnШаблон:SfnШаблон:R Лейбниц первым использовал обозначение <math>dx</math> в статье «Nova Methodus pro Maximis et Minimis», также опубликованной в журнале Acta Eruditorum в 1684 годуШаблон:Sfn. Хотя выражение <math>\tfrac{dy}{dx}</math> появилось в частной рукописи 1675 годаШаблон:SfnШаблон:Sfn, оно не использовалось в таком виде в упомянутых опубликованных работах. В печати Лейбниц использовал выражения для дифференцирования в виде <math>dy ad dx</math> и <math>dy : dx</math>Шаблон:Sfn.

Английские математики использовали нотацию Ньютона с точкой до 1803 года, пока Шаблон:Нп5 не опубликовал описание континентальных обозначений. Позднее Шаблон:Нп5 Кембриджского университета содействовало адаптации нотации Лейбница.

К концу XIX столетия последователи Вейерштрасса перестали воспринимать нотацию Лейбница для производных и интегралов буквально. Математики чувствовали, что концепция бесконечно малых содержит логическое противоречие. Некоторые математики 19-го века (Вейерштрасс и другие) сформулировали математически строгие методы для работы с производными и интегралами без использовании бесконечно малых. В математической формализации Вейерштрасса использовалась концепция предела, как показано выше. В то же время Коши использовал как бесконечно малые, так и пределы (см. Шаблон:Нп5). На данный момент нотация Лейбница продолжает активно использоваться, но её не следует воспринимать буквально. Нотация Лейбница часто проще, чем альтернативные нотации: к примеру, когда используется техника разделения переменных при решении дифференциальных уравнений. Также нотация Лейбница находится в гармонии с анализом размерности. К примеру, пусть <math>s(t)</math> — перемещение, которое измеряется в метрах, а <math>t</math> — время, измеряемое в секундах. Приращения величин имеют соответствующие размерности, то есть <math>ds</math> имеет размерность длины, а <math>dt</math> — размерность времени. Производная <math>v(t) = ds/dt</math> будет определять скорость с размерностью м / с. Аналогично, интеграл <math display="inline">s = \int v(t) \, dt</math> будет определять перемещение, измеряемое в метрах.

Нотация Лейбница для дифференцирования

Шаблон:Основная статья Пусть зависимая переменная <math>y</math> является функцией <math>f</math> независимой переменной <math>x</math>:  <math>y=f(x)</math>. Тогда производная функции <math>f</math> в нотации Лейбница для дифференцирования может быть записана в виде:

<math>\frac{dy}{dx} \quad</math> или <math>\quad \frac{d}{dx}y \quad</math> или <math>\quad \frac{d\bigl(f(x)\bigr)}{dx}</math> .

Выражение Лейбница, записанное как <math>dy/dx</math>, является одним из общепринятых обозначений производной. Альтернативными являются обозначение Лагранжа со штрихом

<math>\frac{dy}{dx}\, = y' = f'(x)</math>

и запись в нотации Ньютона, которая требует размещения точки над зависимой переменной (в данном случае <math>y</math>):

<math>\frac{dy}{dt} = \dot{y}</math>.

Нотация Ньютона часто используется для записи производных по времени (подобно скорости). Обозначение «штрих» Лагранжа является более лаконичным и позволяет записывать производную функции в конкретной точке. К примеру, запись <math>f'(x_0)</math> обозначает первую производную функции <math>f(x)</math> в точке <math>x = x_0</math>. Однако, обозначение Лейбница имеет свои преимущества, позволяющие ему сохранять популярность спустя много лет.

В современной интерпретации выражение <math>\tfrac{dy}{dx}</math> следует рассматривать не как непосредственное отношение двух бесконечно малых величин <math>dy</math> и <math>dx</math> (как представлял Лейбниц), а как единое выражение, являющееся сокращением для передела:

<math>\lim_{\Delta x \to 0} \frac{\Delta y}{\Delta x}</math>,

здесь используется знак <math>{\Delta}</math>, который обозначает конечную разность, а не <math>d</math>, который обозначает бесконечно малую в интерпретации Лейбница.

Выражение также можно понимать как действие дифференциального оператора <math>\tfrac{d}{dx}</math> (опять же, единый символ) на переменную <math>y</math>, которая рассматривается как функция независимой переменной <math>x</math>. Данный оператор также записывается как <math>D</math> в нотация Эйлера. Лейбниц не использовал такой вид, но применял символ <math>d</math> довольно близко к современной концепции.

Хотя нотация Лейбница не предполагает никакого реального деления, обозначение в виде частного полезно во многих ситуациях. Поскольку оператор взятия производной во многих случаях ведёт себя подобно операции деления, нотация Лейбница позволяет легче понять и запомнить некоторые результаты, связанные с производнымиШаблон:Sfn. Так, ранее уже упоминалось, что размерности величин при дифференцировании ведут себя как при обыкновенном делении, другим показательным примером является правило дифференцирования сложной функции, которое в нотации Лейбница является очевидным и принимает вид близкий к тавтологии:

<math>\frac{dy}{dt} \,=\, \frac{dy}{dx} \cdot \frac{dx}{dt}</math>.

Нотация Лейбница имеет такой долгий срок жизни, поскольку она достигает самой сути геометрических и механических приложений анализаШаблон:Sfn.

Обозначения Лейбница для производных большего порядка

Если <math>y=f(x)</math>, тогда <math>n</math>-я производная функции <math>f</math> в нотации Лейбница задаётся выражениемШаблон:Sfn

<math>f^{(n)}(x) = \frac{d^ny}{dx^n}</math>.

Эта нотация для второй производной получается путём использования <math>\tfrac{d}{dx}</math> как оператора следующим образомШаблон:Sfn:

<math>\frac{d^2y}{dx^2} \,=\, \frac{d}{dx}\left(\frac{dy}{dx}\right)</math>.

Третья производная, которую можно записать как:

<math>\frac{d \left(\frac{d \left( \frac{dy}{dx}\right)}{dx}\right)}{dx}\,,</math>

может быть получена из:

<math>\frac{d^3y}{dx^3} \,=\, \frac{d}{dx}\left(\frac{d^2y}{dx^2}\right) \,=\, \frac{d}{dx}\left( \frac{d}{dx}\left(\frac{dy}{dx}\right)\right)</math>.

Аналогичным образом по инструкции могут быть получены производные бо́льших порядков. Хотя при аккуратно выбранных определениях выражение <math>\tfrac{dy}{dx}</math> можно интерпретировать как частное двух дифференциалов, для дифференциальных форм большего порядка этого делать не стоитШаблон:Sfn.

Данное обозначение не использовалось Лейбницем. В печатных работах он не использовал ни многоступенчатую запись, ни числовые экспоненты (до 1695 года). Например, чтобы записать <math>x^3</math>, Лейбниц мог использовать принятую в те времена запись <math>xxx</math>. Квадрат дифференциала, который появляется, к примеру, в формуле длины кривой, записывался как <math>dxdx</math>. Кроме этого, Лейбниц использовал своё обозначение <math>d</math> в том смысле, в котором сейчас используются операторы, то есть он мог записать вторую производную как <math>ddy</math>, а третью как <math>dddy</math>. В 1695 году Лейбниц начал писать <math>d^2\cdot{x}</math> и <math>d^3\cdot{x}</math> для <math>ddx</math> и <math>dddx</math> соответственно, но Лопиталь в книге по математическому анализу, написанной примерно в то же время, использовал исходную форму обозначений Лейбница Шаблон:Sfn.

Использование в различных формулах

Одной из причин, по которой обозначения Лейбница в математическом анализе сохраняются так долго, является то, что они позволяют с легкостью вспомнить различные формулы, используемые для дифференцирования и интегрирования. Например, формулу дифференцирования сложной функции. Пусть функция <math>g(x)</math> дифференцируема по <math>x</math> и пусть функция <math>y=f(u)</math> дифференцируема по <math>u=g(x)</math>. Композиция функций <math>y(x) = f(g(x))</math> дифференцируема по <math>x</math> и её производная может быть выражена в нотации Лейбница какШаблон:Sfn

<math>\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}</math>.

Формулу можно обобщить для работы с композицией из нескольких связанных функций <math>u_1,u_2,\dots,u_n</math>, определённых подходящим образом

<math>\frac{dy}{dx} = \frac{dy}{du_1} \cdot \frac{du_1}{du_2} \cdot \frac{du_2}{du_3}\cdots \frac{du_n}{dx}</math>.

Формулу замены переменной в интеграле можно представить выражениемШаблон:Sfn:

<math>\int y \, dx = \int y \frac{dx}{du} \, du,</math>

где <math>x</math> рассматривается как функция от новой переменной <math>u</math>, функция <math>y</math> слева выражена в терминах <math>x</math>, а справа — в терминах <math>u</math>.

Пусть <math>y=f(x)</math>, где <math>f</math> является обратимой дифференцируемой функцией, тогда производная обратной функции (если таковая существует), может быть выражена какШаблон:Sfn

<math>\frac{dx}{dy} = \frac{1}{\left( \frac{dy}{dx} \right)},</math>

где скобки добавлены для подчёркивания факта, что производная — не частное, а выражение <math display="inline">\frac{dy}{dx}</math> необходимо рассматривать как единое целое. Тем не менее, при решении некоторых видов дифференциальных уравнений допускается оперировать дифференциалами <math>dy</math> и <math>dx</math> отдельно. Рассмотрим один из простейших видов дифференциальных уравненийШаблон:Sfn

<math>M(x) + N(y) \frac{dy}{dx} = 0,</math>

где <math>M</math> и <math>N</math> являются непрерывными функциями своих аргументов. Решение (в неявном виде) такого уравнения можно получить путём исследования уравнения в его дифференциальной форме.

<math>M(x) \, dx + N(y) \, dy = 0</math>

После интегрирования получим

<math>\int M(x) \, dx + \int N(y) \, dy = C.</math>

Такая техника решения дифференциальных уравнений носит название метод разделения переменных.

В каждом из примеров нотация Лейбница для производной проявляет себя как частное, несмотря на то, что в современной интерпретации выражение <math display="inline">\frac{dy}{dx}</math> не рассматривается как настоящее деление.

Современное обоснование бесконечно малых

В 1960-х годах, основываясь на ранних работах Эдвина Хьюита и Шаблон:Нп5, Абрахам Робинсон предложил математическое обоснование для бесконечно малых Лейбница, которое было приемлемым для современных стандартов строгости, и разработал нестандартный анализ основываясь на этих идеях. Подход получил некоторое распространение, Шаблон:Нп5 на его основе написал учебник для первого курса «Начала анализа: подход с использованием бесконечно малых величин», однако массового применения методы Робинсона не получили.

С точки зрения современной теории бесконечно малых <math>{\Delta}x</math> является бесконечно малым приращением <math>x</math>, <math>{\Delta}y</math> является соответствующим приращением <math>y</math>,а производная — есть cтандартная часть отношения бесконечно малых:

<math>f'(x)={\rm st}\Bigg( \frac{\Delta y}{\Delta x} \Bigg)</math>.

Тогда приравниваем <math>dx=\Delta x</math>, <math>dy = f'(x) dx</math>, так что по определению <math>f'(x)</math> является отношением <math>dy</math> к <math>dx</math>.

Аналогично, хотя большинство математиков понимают интеграл:

<math>\int f(x)\,dx</math>

как предел:

<math>\lim_{\Delta x\rightarrow 0}\sum_{i} f(x_i)\,\Delta x</math>,

где <math>{\Delta}x</math> является интервалом, содержащим <math>x_i</math>, Лейбниц видел его как сумму (символ интеграла для него обозначал суммирование) бесконечно большого числа бесконечно малых величин <math>f(x)dx</math>. С точки зрения нестандартного анализа корректно рассматривать интеграл как стандартную часть такой бесконечной суммы.

В обмен, для точности концепции, необходимо расширить множество вещественных чисел до множества гипервещественных чисел.

Другие обозначения Лейбница

Лейбниц экспериментировал со многими различными нотациями в различных областях математики. Он чувствовал, что хорошая нотация играет фундаментальную роль при исследованиях в области математики. В письме Лопиталю в 1693 году он пишетШаблон:Sfn: Шаблон:Quote Он уточнил со временем свой критерий хорошей нотации и понял значение «использования символизма, который можно записать в строку подобно простой букве без необходимости расширения ширины строк для записи символов с просторными частями.»Шаблон:Sfn Например, в своих ранних работах он часто использовал черту сверху для группировки символов, но позднее предложил использовать для этого пару скобок, тем самым облегчив труд наборщиков, которым теперь стало не нужно расширять пространство между строками на странице, а страницы стали выглядеть более привлекательноШаблон:Sfn.

Многие из 200 новых символов, введённых Лейбницем, используются и сегодняШаблон:Sfn. Кроме дифференциалов <math>dx</math>, <math>dy</math> и знака интеграла (<math>\textstyle \int</math>) он ввёл также двоеточие (<math>\colon</math>) для деления, точку (<math>\cdot</math>) для умножения, геометрические знаки подобия (<math>\sim</math>) и конгруэнтности (<math>\cong</math>), использование знака равенства Рекорда (<math>=</math>) для пропорций (взамен нотации Отреда <math>\colon\colon</math>) и двойной суффикс для определителейШаблон:Sfn.

См. также

Примечания

Шаблон:Примечания

Литература

Шаблон:Rq

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Нотация_Лейбница&oldid=10489577