Логарифм | это... Что такое Логарифм? (original) (raw)

Логари́фм числа b по основанию a (от греч. λόγος — «слово», «отношение» и ἀριθμός — «число»[1]) определяется[2] как показатель степени, в которую надо возвести основание a, чтобы получить число b. Обозначение: \log_a b\,, произносится: "логарифм b по основанию a".

Из определения следует, что нахождение ~x=\log_a b равносильно решению уравнения ~a^x=b\,\!. Например, \log_2 8 = 3, потому что 2^3 = 8.

Вычисление логарифма называется логарифмированием. Числа a, b чаще всего вещественные, но существует также теория комплексных логарифмов.

Логарифмы обладают уникальными свойствами, которые определили их широкое использование для существенного упрощения трудоёмких вычислений[3]. При переходе «в мир логарифмов» умножение заменяется на значительно более простое сложение, деление — на вычитание, а возведение в степень и извлечение корня преобразуются соответственно в умножение и деление на показатель степени. Лаплас говорил, что изобретение логарифмов, «сократив труд астронома, удвоило его жизнь»[4].

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

Со временем выяснилось, что логарифмическая функция ~y=\log_a x незаменима и во многих других областях человеческой деятельности: решение дифференциальных уравнений, классификация значений величин (например, частота и интенсивность звука), аппроксимация различных зависимостей, теория информации, теория вероятностей и т. д. Эта функция относится к числу элементарных, она обратна по отношению к показательной функции. Чаще всего используются вещественные логарифмы с основанием e (натуральный логарифм), 10 (десятичный) и 2 (двоичный).

Содержание

Вещественный логарифм

Логарифм вещественного числа ~x=\log_a b по определению есть решение уравнения ~a^x=b. Случай ~a=1 интереса не представляет, поскольку тогда при ~b \ne 1 это уравнение не имеет решения, а при ~b=1 любое число является решением; в обоих случаях логарифм не определён. Аналогично заключаем, что логарифм не существует при нулевом или отрицательном a; кроме того, значение показательной функции a^x всегда положительно, поэтому следует исключить также случай отрицательного b. Окончательно получаем[5]:

Вещественный логарифм ~\log_a b имеет смысл при ~a>0, a \ne 1, b>0

Как известно, показательная функция ~y=a^x (при выполнении указанных условий для a) существует, монотонна и каждое значение принимает только один раз, причём диапазон её значений содержит все положительные вещественные числа[6]. Отсюда следует, что значение вещественного логарифма положительного числа всегда существует и определено однозначно.

Наиболее широкое применение нашли следующие виды логарифмов.

Свойства

Основное логарифмическое тождество

Из определения логарифма следует основное логарифмическое тождество[7]:

a^{\log_a b} = b

Следствие: из равенства двух вещественных логарифмов следует равенство логарифмируемых выражений. В самом деле, если ~\log_a b=\log_a c, то ~a^{\log_a b} = a^{\log_a c}, откуда, согласно основному тождеству: ~b=c.

Логарифмы единицы и числа, равного основанию

Два равенства, очевидных из определения логарифма:

\log_a 1 = 0;\; \log_a a = 1.

Логарифм произведения, частного от деления, степени и корня

Приведём сводку формул в предположении, что все значения положительны[8]:

Формула Пример
Произведение \log_a(x y) = \log_a (x) + \log_a (y) \, \log_3 (243) = \log_3(9 \cdot 27) = \log_3 (9) + \log_3 (27) = 2 + 3 = 5 \,
Частное от деления \log_a \!\left(\frac x y \right) = \log_a (x) - \log_a (y) \, \lg \left(\frac{1}{1000}\right) = \lg (1) - \lg (1000) = 0 - 3 = -3
Степень \log_a(x^p) = p \log_a (x) \, \log_2 (64) = \log_2 (2^6) = 6 \log_2 (2) = 6 \,
Корень \log_a \sqrt[p]{x} = \frac {\log_a (x)} p \, \log_{10} \sqrt{1000} = \frac{1}{2}\log_{10} 1000 = \frac{3}{2} = 1.5

Существует очевидное обобщение приведённых формул на случай, когда допускаются отрицательные значения переменных, например:

\log_a |x y| = \log_a |x| + \log_a |y|

\log_a \!\left|\frac x y \right| = \log_a |x| - \log_a |y|

Формула для логарифма произведения без труда обобщается на произвольное количество сомножителей:

\log_a(x_1 x_2 \dots x_n) = \log_a (x_1) + \log_a (x_2) + \dots + \log_a (x_n)

Вышеописанные свойства объясняют, почему применение логарифмов (до изобретения калькуляторов) существенно облегчало вычисления. Например, умножение многозначных чисел x, y с помощью логарифмических таблиц[⇨] производилось по следующему алгоритму:

  1. Найти в таблицах логарифмы чисел x, y.
  2. Сложить эти логарифмы, получая (согласно первому свойству) логарифм произведения x \cdot y.
  3. По логарифму произведения найти в таблицах само произведение.

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

Замена основания логарифма

Логарифм \log_a b\, по основанию a можно преобразовать в логарифм по другому основанию c[5]:

\log_a b = \frac{\log_c b }{\log_c a}

Следствие (при b=c ) — перестановка основания и логарифмируемого выражения:

\log_a b = \frac {1}{\log_b a}

Другие тождества и свойства

Если выражения для основания логарифма и для логарифмируемого выражения содержат возведение в степень, для упрощения можно применить следующее тождество:

{\log_{a^q}{b}}^p = \frac{p}{q}\log_a{b}.

Это тождество сразу получается, если в логарифме слева заменить основание a^q на a по вышеприведенной формуле перехода. Следствия:

\log_{a^k} b = \frac {1} {k} \log_a b; \quad \log_{\sqrt[n]{a}} b = n \log_a b; \quad \log_{a^k} b^k = \log_a b

Ещё одно полезное тождество:

c^{\log_a b}=b^{\log_a c}

Для его доказательства заметим, что логарифмы левой и правой частей по основанию a совпадают (равны ~\log_a b \cdot \log_a c), а тогда, согласно следствию из основного логарифмического тождества, левая и правая части тождественно равны.

Логарифмическая функция

Логарифмическая функция обратна к показательной

Графики логарифмических функций

Основные характеристики

Если рассматривать логарифмируемое число как переменную, мы получим логарифмическую функцию y=\log_a x. Она определена при ~a>0;\ a \ne 1; x>0. Область значений: E(y)=(-\infty; + \infty ). Эта кривая часто называется логарифмикой[9]. Из формулы замены основания логарифма видно, что графики логарифмических функций с разными основаниями, бо́льшими единицы, отличаются один от другого только масштабом по оси y; графики для оснований, меньших единицы, являются их зеркальным отражением относительно горизонтальной оси.

Из определения следует, что логарифмическая зависимость есть обратная функция для показательной функции ~y=a^x, поэтому их графики симметричны относительно биссектрисы первого и третьего квадрантов (cм. рисунок). Как и показательная, логарифмическая функция относится к категории трансцендентных функций.

Функция является строго возрастающей при a > 1 (см. далее графики) и строго убывающей при ~0 < a < 1. График любой логарифмической функции проходит через точку (1;0). Функция непрерывна и неограниченно дифференцируема всюду в своей области определения.

Ось ординат (x=0) является левой вертикальной асимптотой, поскольку:

\lim_{x \to 0+0} \log_a x = - \infty при a > 1;

\lim_{x \to 0+0} \log_a x = + \infty при 0 < a < 1.

Производная логарифмической функции равна:

\frac {d} {dx} \log_a x = \frac {1} {x \cdot \ln a}

С точки зрения алгебры, логарифмическая функция осуществляет (единственно возможный) изоморфизм мультипликативной группы положительных вещественных чисел и аддитивной группы всех вещественных чисел. Другими словами, логарифмическая функция есть единственное (определённое для всех положительных значений аргумента) непрерывное решение функционального уравнения[10]:

f(xy)=f(x)+f(y)

Натуральный логарифм

Из приведённой выше общей формулы производной для натурального логарифма получаем особенно простой результат:

\frac {d} {dx} \ln x = \frac {1} {x}

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

Проинтегрировав формулу для производной в интервале от x=1 до x=b, мы получаем:

\ln b = \int\limits_1^b {\frac {dx}{x}}

Другими словами, натуральный логарифм равен площади под гиперболой ~y=\frac {1}{x} для указанного интервала x.

Неопределённый интеграл от натурального логарифма легко найти интегрированием по частям:

\int{\ln x\,\mathrm dx} = x\ln x-x+C

В математическом анализе и теории дифференциальных уравнений большую роль играет понятие логарифмической производной функции f(x):

\frac{d}{dx} \ln(f(x)) = \frac{f'(x)}{f(x)}

Разложение в ряд и вычисление натурального логарифма

Разложим натуральный логарифм в ряд Тейлора вблизи единицы:

\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \dots (Ряд 1)

Это ряд сходится при -1 < x \leqslant 1. В частности:

\ln 2 = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \dots

Формула ряда 1 непригодна для практического расчёта логарифмов из-за того, что ряд сходится очень медленно и только в узком интервале. Однако нетрудно получить из неё более удобную формулу:

\ln \left(\frac{1+x}{1-x}\right)=2\left(x+\frac{x^3}{3}+\frac{x^5}{5}+\frac{x^7}{7}+\dots\right) (Ряд 2)

Этот ряд сходится быстрее, а кроме того, левая часть формулы теперь может выразить логарифм любого положительного числа. Данный алгоритм уже пригоден для реальных численных расчётов значений логарифмов, однако не является наилучшим с точки зрения трудоёмкости. Существуют более эффективные алгоритмы[11].

Десятичный логарифм

Логарифмы по основанию 10 (обозначение: \lg x) до изобретения калькуляторов широко применялись для вычислений. Они обладали преимуществом перед логарифмами с иным основанием: целую часть L логарифма числа x легко определить.

Кроме того, при переносе десятичной запятой в числе на n разрядов значение десятичного логарифма этого числа изменяется на n. Например, \lg 8314{,}63 = \lg 8{,}31463 + 3. Отсюда следует, что достаточно составить таблицу десятичных логарифмов для чисел в диапазоне от 1 до 10, причём привести в таблице только мантиссы (дробную часть) логарифмов.

Связь с натуральным логарифмом[12]:

\ln x \approx 2{,}30259\ \lg x; \quad \lg x \approx 0{,}43429\ \ln x

Поскольку применение логарифмов для расчётов с появлением вычислительной техники почти прекратилось, в наши дни десятичный логарифм в значительной степени вытеснен натуральным[13]. Он сохраняется в основном в тех математических моделях, где исторически укоренился — например, при построении логарифмических шкал.

Предельные соотношения

Приведём несколько полезных пределов, содержащих логарифмы[14].

\lim_{x \to 0} \frac{\log_a (1+x)} {x} = \log_a e = \frac{1}{\ln a}

\lim_{x \to 0^+} x^b \log_a x = 0 \quad (b > 0)

\lim_{x \to \infty} \frac{\log_a x}{x^b} = 0 \quad (b > 0)

\ln x = \lim_{n \to \infty} n \left(\sqrt[n]x -1 \right) = \lim_{n \to \infty} n \left(1-\frac{1}{\sqrt[n]{x}}\right)

\ln x = \lim_{h \to 0} \frac{x^h-1}h

Другие свойства

Комплексный логарифм

Определение и свойства

Для комплексных чисел логарифм определяется так же, как вещественный. На практике используется почти исключительно натуральный комплексный логарифм, который обозначается \mathrm{Ln}\, z и определяется как решение w уравнения e^w=z (другие, эквивалентные данному, варианты определения приведены ниже).

В поле комплексных чисел решение этого уравнения, в отличие от вещественного случая, не определено однозначно. Например, согласно тождеству Эйлера, ~e^{\pi i}=-1; однако также ~e^{-\pi i}=e^{3\pi i}=e^{5\pi i} \dots =-1. Это связано с тем, что показательная функция вдоль мнимой оси является периодической (с периодом ~2 \pi)[16], и одно и то же значение функция принимает бесконечно много раз. Таким образом, комплексная логарифмическая функция ~w=\mathrm{Ln}\,z является многозначной.

Комплексный нуль не имеет логарифма, поскольку комплексная экспонента не принимает нулевого значения. Ненулевое z можно представить в показательной форме:

z=r \cdot e^{i \varphi}

Тогда \mathrm{Ln}\,z находится по формуле[17]:

\mathrm{Ln}\,z = \ln r + i \left( \varphi + 2 \pi k \right)

Здесь \ln\,r= \ln\,|z| — вещественный логарифм, k — произвольное целое число. Отсюда вытекает:

Вещественная часть комплексного логарифма

Из формулы видно, что у одного и только одного из значений мнимая часть находится в интервале ![~(-\pi, \pi]](http://dic.academic.ru/dic.nsf/ruwiki/628a263c827b95d7a34c63362bcd4dcb.png). Это значение называется главным значением комплексного натурального логарифма[9]. Соответствующая (уже однозначная) функция называется главной ветвью логарифма и обозначается \ln\,z. Иногда через \ln\, z также обозначают значение логарифма, лежащее не на главной ветви. Если z — вещественное число, то главное значение его логарифма совпадает с обычным вещественным логарифмом.

Из приведённой формулы также следует, что вещественная часть логарифма определяется следующим образом через компоненты аргумента:

\operatorname{Re}(\ln(x+iy)) = \frac{1}{2} \ln(x^2+y^2)

На рисунке показано, что вещественная часть как функция компонентов центрально-симметрична и зависит только от расстояния до начала координат. Она получается вращением графика вещественного логарифма вокруг вертикальной оси. С приближением к нулю функция стремится к -\infty.

Логарифм отрицательного числа находится по формуле[17]:

\mathrm{Ln} (-x) = \ln x + i \pi (2 k + 1) \qquad (x>0,\ k = 0, \pm 1, \pm 2 \dots)

Примеры значений комплексного логарифма

Приведём главное значение логарифма (\ln) и общее его выражение (\mathrm{Ln}) для некоторых аргументов:

\ln (1) = 0;\; \mathrm{Ln} (1) = 2k\pi i

\ln (-1) = i \pi;\; \mathrm{Ln} (-1) = (2k+1)i \pi

\ln (i) = i \frac{\pi} {2};\; \mathrm{Ln} (i) = i \frac{4k+1}{2} \pi

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

i\pi = \ln(-1) = \ln((-i)^2) = 2\ln(-i) = 2(-i\pi/2) = -i\pi — явная ошибка.

Отметим, что слева стоит главное значение логарифма, а справа — значение из нижележащей ветви (k=-1). Причина ошибки — неосторожное использование свойства \log_a{(b^p)} = p~\log_a b, которое, вообще говоря, подразумевает в комплексном случае весь бесконечный набор значений логарифма, а не только главное значение.

Комплексная логарифмическая функция и риманова поверхность

Комплексный логарифм (мнимая часть)

В комплексном анализе вместо рассмотрения многозначных функций на комплексной плоскости принято иное решение: рассматривать функцию как однозначную, но определённую не на плоскости, а на более сложном многообразии, которое называется римановой поверхностью[18]. Комплексная логарифмическая функция также относится к этой категории: её образ (см. рисунок) состоит из бесконечного числа ветвей, закрученных в виде спирали. Эта поверхность непрерывна и односвязна. Единственный нуль у функции (первого порядка) получается при z=1. Особые точки: z=0 и z=\infty (точки разветвления бесконечного порядка)[19].

В силу односвязности риманова поверхность логарифма является универсальной накрывающей[20] для комплексной плоскости без точки 0.

Аналитическое продолжение

Логарифм комплексного числа также может быть определён как аналитическое продолжение вещественного логарифма на всю комплексную плоскость. Пусть кривая \Gamma начинается в единице, не проходит через нуль и не пересекает отрицательную часть вещественной оси. Тогда главное значение логарифма в конечной точке w кривой \Gamma можно определить по формуле[19]:

\ln z = \int\limits_\Gamma {du \over u}

Если \Gamma — простая кривая (без самопересечений), то для чисел, лежащих на ней, логарифмические тождества можно применять без опасений, например:

\ln (wz) = \ln w + \ln z, ~\forall z,w\in\Gamma\colon zw\in \Gamma

Главная ветвь логарифмической функции непрерывна и дифференцируема на всей комплексной плоскости, кроме отрицательной части вещественной оси, на которой мнимая часть скачком меняется на 2\pi. Но этот факт есть следствие искусственного ограничения мнимой части главного значения интервалом ![~(-\pi, \pi]](http://dic.academic.ru/dic.nsf/ruwiki/628a263c827b95d7a34c63362bcd4dcb.png). Если рассмотреть все ветви функции, то непрерывность имеет место во всех точках, кроме нуля, где функция не определена. Если разрешить кривой \Gamma пересекать отрицательную часть вещественной оси, то первое такое пересечение переносит результат с ветви главного значения на соседнюю ветвь, а каждое следующее пересечение вызывает аналогичное смещение по ветвям логарифмической функции[19] (см. рисунок).

Из формулы аналитического продолжения следует, что на любой ветви логарифма[16]:

\frac{d}{dz} \ln z = {1\over z}

Для любой окружности S, охватывающей точку 0:

\oint\limits_S {dz \over z} = 2\pi i

Интеграл берётся в положительном направлении (против часовой стрелки). Это тождество лежит в основе теории вычетов.

Можно также определить аналитическое продолжение комплексного логарифма с помощью вышеприведённых рядов: ряда 1 или ряда 2, — обобщённых на случай комплексного аргумента. Однако из вида этих рядов следует, что в единице сумма ряда равна нулю, то есть ряд относится только к главной ветви многозначной функции комплексного логарифма. Радиус сходимости обоих рядов равен 1.

Связь с обратными тригонометрическими и гиперболическими функциями

Поскольку комплексные тригонометрические функции связаны с экспонентой (формула Эйлера), то комплексный логарифм как обратная к экспоненте функция связан с обратными тригонометрическими функциями[21]:

\operatorname{Arcsin} z = -i \operatorname{Ln} (i z + \sqrt{1-z^2})

\operatorname{Arccos} z = -i \operatorname{Ln} (z + \sqrt{1-z^2})

\operatorname{Arctg} z = -\frac{i}{2} \ln \frac{1+z i}{1-z i} + k \pi \; (z \ne \pm i)

\operatorname{Arcctg} z = -\frac{i}{2} \ln \frac{z i-1}{z i+1} + k \pi \; (z \ne \pm i)

Гиперболические функции на комплексной плоскости можно рассматривать как тригонометрические функции мнимого аргумента, поэтому и здесь имеет место связь с логарифмом [22]:

\operatorname{Arsh}z = \operatorname{Ln}(z+\sqrt{z^2+1}) — обратный гиперболический синус

\operatorname{Arch}z=\operatorname{Ln} \left( z+\sqrt{z^{2}-1} \right) — обратный гиперболический косинус

\operatorname{Arth}z=\frac{1}{2}\operatorname{Ln}\left(\frac{1+z}{1-z}\right) — обратный гиперболический тангенс

\operatorname{Arcth}x=\frac{1}{2}\operatorname{Ln}\left(\frac{z+1}{z-1}\right) — обратный гиперболический котангенс

Исторический очерк

Предшественники

Идейным источником и стимулом применения логарифмов послужил тот факт (известный ещё Архимеду[23]), что при перемножении степеней их показатели складываются[24]: ~a^b \cdot a^c = a^{b+c}. Индийский математик VIII века Вирасена, исследуя степенные зависимости, опубликовал таблицу целочисленных показателей (то есть, фактически, логарифмов) для оснований 2, 3, 4[25].

Решающий шаг был сделан в средневековой Европе. Потребность в сложных расчётах в XVI веке быстро росла, и значительная часть трудностей была связана с умножением и делением многозначных чисел, а также извлечением корней. В конце века нескольким математикам, почти одновременно, пришла в голову идея: заменить трудоёмкое умножение на простое сложение, сопоставив с помощью специальных таблиц геометрическую и арифметическую прогрессии, при этом геометрическая будет исходной[23]. Тогда и деление автоматически заменяется на неизмеримо более простое и надёжное вычитание, упростятся также возведение в степень и извлечение корня. Первым эту идею опубликовал в своей книге «_Arithmetica integra_» (1544) Михаэль Штифель, который, впрочем, не приложил серьёзных усилий для практической реализации своей идеи[26][27]. Главной заслугой Штифеля является переход от целых показателей степени к произвольным рациональным[28] (первые шаги в этом направлении сделали Николай Орем в XIV веке и Николас Шюке в XV веке).

Джон Непер и его «удивительная таблица логарифмов»

В 1614 году шотландский математик-любитель Джон Непер опубликовал на латинском языке сочинение под названием «_Описание удивительной таблицы логарифмов_» (лат. Mirifici Logarithmorum Canonis Descriptio). В нём было краткое описание логарифмов и их свойств, а также 8-значные таблицы логарифмов синусов, косинусов и тангенсов, с шагом 1'. Термин логарифм, предложенный Непером, утвердился в науке. Теорию логарифмов Непер изложил в другой своей книге «_Построение удивительной таблицы логарифмов_» (лат. Mirifici Logarithmorum Canonis Constructio), изданной посмертно в 1619 году его сыном Робертом.

Судя по документам, техникой логарифмирования Непер владел уже к 1594 году[29]. Непосредственной целью её разработки было облегчить Неперу сложные астрологические расчёты[30]; именно поэтому в таблицы были включены только логарифмы тригонометрических функций.

Понятия функции тогда ещё не было, и Непер определил логарифм кинематически, сопоставив равномерное и логарифмически-замедленное движение; например, логарифм синуса он определил следующим образом[31]:

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

В современных обозначениях кинематическую модель Непера можно изобразить дифференциальным уравнением[32]:

\frac{dx}{x} = - \frac{dy}{M},

где M — масштабный множитель, введённый для того, чтобы значение получилось целым числом с нужным количеством знаков (десятичные дроби тогда ещё не нашли широкого применения). Непер взял M = 10 000 000.

Строго говоря, Непер табулировал не ту функцию, которая сейчас называется логарифмом. Если обозначить его функцию \operatorname{LogNap}(x), то она связана с натуральным логарифмом следующим образом[32]:

\operatorname{LogNap}(x) = M \cdot (\ln(M) - \ln(x))

Очевидно, \operatorname{LogNap}(M) = 0, то есть логарифм «полного синуса» (соответствующего 90°) есть нуль — этого и добивался Непер своим определением. Также он хотел, чтобы все логарифмы были положительны; нетрудно убедиться, что это условие для ~x<M выполняется. ~\operatorname{LogNap}(0) = \infty.

Основное свойство логарифма Непера: если величины образуют геометрическую прогрессию, то их логарифмы образуют прогрессию арифметическую. Однако правила логарифмирования для неперовой функции отличались от правил для современного логарифма, например:

\operatorname{LogNap}(a \cdot b)=\operatorname{LogNap}(a)+\operatorname{LogNap}(b)-\operatorname{LogNap}(1)

Дальнейшее развитие

Как вскоре обнаружилось, из-за ошибки в алгоритме все значения таблицы Непера содержали неверные цифры после шестого знака[33]. Однако это не помешало новой методике вычислений получить широчайшую популярность, и составлением логарифмических таблиц занялись многие европейские математики. Кеплер в изданный им астрономический справочник 1620 года вставил восторженное посвящение Неперу (не зная, что изобретатель логарифмов уже скончался). В 1624 году Кеплер опубликовал свой собственный вариант логарифмических таблиц (лат. Chilias Logarithmorum ad totidem numeros rotundos)[34]. Использование логарифмов позволило Кеплеру относительно быстро завершить многолетний труд по составлению Рудольфинских таблиц, которые закрепили успех гелиоцентрической астрономии.

Спустя несколько лет после книги Непера появились логарифмические таблицы, использующие более близкое к современному понимание логарифма. Лондонский профессор Генри Бригс издал 14-значные таблицы десятичных логарифмов (1617), причём не для тригонометрических функций, а для произвольных целых чисел до 1000 (7 лет спустя Бригс увеличил количество чисел до 20000). В 1619 году лондонский учитель математики Джон Спайделл (англ. John Speidell) переиздал логарифмические таблицы Непера, исправленные и дополненные так, что они фактически стали таблицами натуральных логарифмов. У Спайделла тоже были и логарифмы самих чисел до 1000 (причём логарифм единицы, как и у Бригса, был равен нулю) — хотя масштабирование до целых чисел Спайделл сохранил[35][36].

Вскоре выяснилось, что место логарифмов в математике не ограничивается расчётными удобствами. В 1629 году бельгийский математик Грегуар де Сен-Венсан показал, что площадь под гиперболой ~y=\frac {1}{x} меняется по логарифмическому закону[37]. В 1668 году немецкий математик Николас Меркатор (Кауфман) открыл и опубликовал в своей книге Logarithmotechnia разложение логарифма в бесконечный ряд[38]. По мнению многих историков, появление логарифмов оказало сильное влияние на многие математические концепции, в том числе:

  1. Формирование и признание общего понятия иррациональных и трансцендентных чисел[39].
  2. Появление показательной функции и общего понятия числовой функции, числа Эйлера, развитие теории разностных уравнений[40].
  3. Начало работы с бесконечными рядами[38].
  4. Общие методы решения дифференциальных уравнений различных типов.
  5. Существенное развитие теории численных методов, требуемых для вычисления точных логарифмических таблиц.

До конца XIX века общепринятого обозначения логарифма не было, основание a указывалось то левее и выше символа log, то над ним. В конечном счёте математики пришли к выводу, что наиболее удобное место для основания — ниже строки, после символа log: ~\log_a b. Краткие обозначения наиболее употребительных видов логарифма — \lg, \; \ln для десятичного и натурального — появились намного раньше сразу у нескольких авторов и закрепились окончательно также к концу XIX века[41].

Близкое к современному понимание логарифмирования — как операции, обратной возведению в степень — впервые появилось у Валлиса (1685) и Иоганна Бернулли (1694), а окончательно было узаконено Эйлером[33]. В книге «Введение в анализ бесконечных» (1748) Эйлер дал современные определения как показательной, так и логарифмической функций, привёл разложение их в степенные ряды, особо отметил роль натурального логарифма[42]. Эйлеру принадлежит и заслуга распространения логарифмической функции на комплексную область.

Расширение логарифма на комплексную область

Первые попытки распространить логарифмы на комплексные числа предпринимали на рубеже XVII—XVIII веков Лейбниц и Иоганн Бернулли, однако создать целостную теорию им не удалось — в первую очередь по той причине, что тогда ещё не было ясно определено само понятие логарифма[43]. Дискуссия по этому поводу велась сначала между Лейбницем и Бернулли, а в середине XVIII века — между Д’Аламбером и Эйлером. Бернулли и Д’Аламбер считали, что следует определить \log(-x) = \log(x), в то время как Лейбниц доказывал, что логарифм отрицательного числа есть мнимое число[43]. Полная теория логарифмов отрицательных и комплексных чисел была опубликована Эйлером в 1747—1751 годах и по существу ничем не отличается от современной[44]. Хотя спор продолжался (Д’Аламбер отстаивал свою точку зрения и подробно аргументировал её в статье своей «Энциклопедии» и в других трудах), подход Эйлера к концу XVIII века получил всеобщее признание.

В XIX веке, с развитием комплексного анализа, исследование комплексного логарифма стимулировало новые открытия. Гаусс в 1811 году разработал полную теорию многозначности логарифмической функции[45], определяемой как интеграл от \frac{1}{z}. Риман, опираясь на уже известные факты об этой и аналогичных функциях, построил общую теорию римановых поверхностей.

Разработка теории конформных отображений показала, что меркаторская проекция в картографии, возникшая ещё до открытия логарифмов (1550), может быть описана как комплексный логарифм[46].

Некоторые практические применения

Логарифмические зависимости в науке и природе

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

Теория чисел

Распределение простых чисел асимптотически подчиняется простым законам[47]:

  1. Число простых чисел в интервале от 1 до n приблизительно равно \frac{n}{\ln n}.
  2. _k_-е простое число приблизительно равно k \ln k.

Ещё более точные оценки используют интегральный логарифм.

Математический анализ

Логарифмы нередко возникают при нахождении интегралов и при решении дифференциальных уравнений. Примеры:

\int {\operatorname{tg} x} \, dx = -\ln |\cos x| + C; \quad \int {\frac{dx}{\sqrt{x^2+a}}} = -\ln |x+\sqrt{x^2+a}| + C

Теория вероятностей и статистика

В статистике и теории вероятностей логарифм входит в ряд практически важных вероятностных распределений. Например, логарифмическое распределение[48] используется в генетике и физике. Логнормальное распределение часто встречается в ситуациях, когда исследуемая величина есть произведение нескольких независимых положительных случайных переменных[49].

Закон Бенфорда («закон первой цифры») описывает вероятность появления определённой первой значащей цифры при измерении реальных величин.

Для оценки неизвестного параметра широко применяются метод максимального правдоподобия и связанная с ним логарифмическая функция правдоподобия[50].

Флуктуации при случайном блуждании описывает закон Хинчина-Колмогорова.

Информатика и вычислительная математика

В информатике: единица измерения информации (бит). Например, для хранения в компьютере натурального числа N (в обычном для компьютера двоичном формате) понадобится \log_2 N + 1 битов.

Информационная энтропия — мера количества информации.

Оценка асимптотической сложности рекурсивных алгоритмов, основанных на принципе «разделяй и властвуй»[51] — таких как быстрая сортировка, быстрое преобразование Фурье и т. п.

Обычно числовые значения хранятся в памяти компьютера или специализированного процессора в формате с плавающей запятой. Если, однако, сложение и вычитание для группы данных выполняются редко, а умножение, деление, возведение в степень и извлечение корня — гораздо чаще, тогда имеет смысл рассмотреть возможность хранения таких данных в логарифмическом формате (англ.)русск.. В этом случае вместо числа хранится логарифм его модуля, и быстродействие процессора благодаря свойствам логарифма значительно повышается[52]. Логарифмический формат хранения был использован в нескольких системах, где доказал свою эффективность[53][54].

Фракталы и размерность

Логарифмы помогают выразить размерность Хаусдорфа для фрактала[55]. Например, рассмотрим треугольник Серпинского, который получается из равностороннего треугольника последовательным удалением треугольников, размер которых на каждом этапе уменьшается втрое (см. рисунок). Размерность результата определяется по формуле:

\frac {\ln 3}{\ln 2} \approx 1{,}58

Механика и физика

Принцип Больцмана в статистической термодинамике — одна из важнейших функций состояния термодинамической системы, характеризующая степень её хаотичности.

Формула Циолковского применяется для расчёта скорости ракеты.

Химия и физическая химия

Уравнение Нернста связывает окислительно-восстановительный потенциал системы с активностями веществ, входящих в электрохимическое уравнение, а также со стандартными электродными потенциалами окислительно-восстановительных пар.

Показатель константы автопротолиза (самоионизации молекулы).

Теория музыки

Чтобы решить вопрос о том, на сколько частей делить октаву, требуется отыскать рациональное приближение для \log_2 \frac {3}{2} \approx 0{,}585. Если разложить это число в непрерывную дробь, то третья подходящая дробь (7/12) позволяет обосновать классическое деление октавы на 12 полутонов[56].

Психология и физиология

Человеческое восприятие многих явлений хорошо описывается логарифмическим законом.

Закон Вебера — Фехнера — эмпирический психофизиологический закон, заключающийся в том, что интенсивность ощущения пропорциональна логарифму интенсивности стимула[57] — громкости звука[58], яркости света.

Закон Фиттса: чем дальше или точнее выполняется движение организма, тем больше коррекции необходимо для его выполнения и тем дольше эта коррекция исполняется[59].

Время на принятие решения при наличии выбора можно оценить по закону Хикса[60].

Биология

Ряд биологических форм хорошо соответствует логарифмической спирали[61]:

Разное

Число кругов игры по олимпийской системе равно двоичному логарифму от числа участников соревнований[62].

Логарифмическая шкала

Логарифмическая шкала

Неравномерная шкала десятичных логарифмов используется во многих областях науки. Для обеспечения вычислений она наносится на логарифмические линейки. Другие примеры:

Логарифмическая шкала особенно удобна в тех случаях, когда уровни измеряемой величины образуют геометрическую прогрессию, поскольку тогда их логарифмы распределены с постоянным шагом. Например, 12 полутонов классической октавы образуют (приближённо) такую прогрессию[56] со знаменателем \sqrt[12]{2} \approx 1{,}059. Аналогично, каждый уровень шкалы Рихтера соответствует в 10 раз большей энергии, чем предыдущий уровень. Даже при отсутствии геометрической прогрессии логарифмическая шкала может пригодиться для компактного представления широкого диапазона значений измеряемой величины.

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

Графики трёх функций при различном выборе шкал по осям координат: (1) обе линейные, (2) логарифмическая (x) и линейная (y), (3) линейная (x) и логарифмическая (y), (4) обе логарифмические. y=10^x y=x y=\ln x

Логарифмические таблицы

Логарифмические таблицы

Из свойств логарифма следует, что вместо трудоёмкого умножения многозначных чисел достаточно найти (по таблицам) и сложить их логарифмы, а потом по тем же таблицам (раздел «Антилогарифмы») выполнить потенцирование, то есть найти значение результата по его логарифму. Выполнение деления отличается только тем, что логарифмы вычитаются.

Первые таблицы логарифмов опубликовал Джон Непер (1614), и они содержали только логарифмы тригонометрических функций, причём с ошибками. Независимо от него свои таблицы опубликовал Йост Бюрги, друг Кеплера (1620). В 1617 году оксфордский профессор математики Генри Бригс опубликовал таблицы, которые уже включали десятичные логарифмы самих чисел, от 1 до 1000, с 8 (позже — с 14) знаками. Но и в таблицах Бригса обнаружились ошибки. Первое безошибочное издание на основе таблиц Георга Веги (1783) появилось только в 1857 году в Берлине (таблицы Бремикера, Carl Bremiker)[73].

В России первые таблицы логарифмов были изданы в 1703 году при участии Л. Ф. Магницкого[74]. В СССР выпускались несколько сборников таблиц логарифмов[75]:

  1. Брадис В. М. Четырёхзначные математические таблицы. М.: Дрофа, 2010, ISBN 978-5-358-07433-0. Таблицы Брадиса, издаваемые с 1921 года, использовались в учебных заведениях и в инженерных расчётах, не требующих большой точности. Они содержали мантиссы десятичных логарифмов чисел и тригонометрических функций, натуральные логарифмы и некоторые другие полезные расчётные инструменты.
  2. Вега Г. Таблицы семизначных логарифмов, 4-е издание, М.: Недра, 1971. Профессиональный сборник для точных вычислений.
  3. Бремикер К. Логарифмо-тригонометрические таблицы. М.: Наука, 1962. 664 с. Классические шестизначные таблицы, удобные для расчётов с тригонометрическими функциями.
  4. Пятизначные таблицы натуральных значений тригонометрических величин, их логарифмов и логарифмов чисел, 6-е издание, М.: Наука, 1972.
  5. Таблицы натуральных логарифмов, 2-е издание, в 2 томах, М.: Наука, 1971.
  6. Десятизначные таблицы логарифмов комплексных чисел. М., 1952.

Логарифмическая линейка

В 1620-е годы Эдмунд Уингейт и Уильям Отред изобрели первую логарифмическую линейку, до появления карманных калькуляторов служившую незаменимым расчётным орудием инженера[76]. С помощью этого компактного инструмента можно быстро производить все алгебраические операции, в том числе с участием тригонометрических функций[77]. Точность расчётов — около 3 значащих цифр.

Логарифмическая линейка. Умножение 1,3 × 2 или деление 2,6 / 2 (см. шкалы C и D).

Вариации и обобщения

Логарифм как решение уравнения a^x=b можно определить не только для вещественных и комплексных чисел.

См. также

Примечания

  1. ↑ Краткий словарь иностранных слов. М.: Русский язык, 1984.
  2. ↑ Выгодский М. Я. Справочник по элементарной математике, 1978, с. 186.
  3. ↑ Выгодский М. Я. Справочник по элементарной математике, 1978, с. 184-186.
  4. ↑ Швецов К. И., Бевз Г. П. Справочник по элементарной математике. Арифметика, алгебра. Киев: Наукова Думка, 1966. §40. Исторические сведения о логарифмах и логарифмической линейке.
  5. ↑ 1 2 Корн Г., Корн Т. Справочник по математике, 1973, с. 34.
  6. ↑ Алгебра и начала анализа. Учебник для 10-11 классов. 12-е издание, М.: Просвещение, 2002. Стр. 229.
  7. ↑ Алгебра и начала анализа. Учебник для 10-11 классов. 12-е издание, М.: Просвещение, 2002. Стр. 233.
  8. ↑ Выгодский М. Я. Справочник по элементарной математике, 1978, с. 187.
  9. ↑ 1 2 Логарифмическая функция. // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3.
  10. ↑ Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, 1966, Том I, стр. 159-160.
  11. ↑ Sasaki T., Kanada Y. Practically fast multiple-precision evaluation of log(x) (англ.) // Journal of Information Processing. — 1982. — В. 4. — Т. 5. — С. 247–250.
  12. ↑ Выгодский М. Я. Справочник по элементарной математике, 1978, с. 189.
  13. ↑ Клейн Ф. Элементарная математика с точки зрения высшей, 1987, с. 406.
  14. ↑ Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, 1966, Том I, стр. 164.
  15. ↑ Baker, Alan (1975), «Transcendental number theory», Cambridge University Press, ISBN 978-0-521-20461-3 , p. 10.
  16. ↑ 1 2 Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, 1966, Том II, стр. 520-522.
  17. ↑ 1 2 Корн Г., Корн Т. Справочник по математике, 1973, с. 623.
  18. ↑ Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной, 1967, с. 92-94.
  19. ↑ 1 2 3 Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной, 1967, с. 45-46, 99-100.
  20. ↑ Болтянский В. Г., Ефремович В. А. Наглядная топология. — М.: Наука, 1982. — С. 112. — (Библиотечка Квант, выпуск 21).
  21. ↑ Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, 1966, Том II, стр. 522-526.
  22. ↑ Корн Г., Корн Т. Справочник по математике, 1973, с. 624.
  23. ↑ 1 2 Успенский Я. В. Очерк истории логарифмов, 1923, с. 9.
  24. ↑ Клейн Ф. Элементарная математика с точки зрения высшей, 1987, с. 206.
  25. ↑ Gupta, R. C. (2000), "History of Mathematics in India", in Hoiberg, Dale & Ramchandani, «Students' Britannica India: Select essays», New Delhi: Popular Prakashan, с. 329
  26. ↑ История математики, том II, 1970, с. 54-55.
  27. ↑ Vivian Shaw Groza, Susanne M. Shelley (1972), «Precalculus mathematics», New York: Holt, Rinehart, Winston, с. 182, ISBN 978-0-03-077670-0, <http://books.google.com/?id=yM_lSq1eJv8C&pg=PA182&dq=%22arithmetica+integra%22+logarithm&q=stifel>
  28. ↑ Клейн Ф. Элементарная математика с точки зрения высшей, 1987, с. 210.
  29. ↑ Успенский Я. В. Очерк истории логарифмов, 1923, с. 13.
  30. ↑ История математики, том II, 1970, с. 56.
  31. ↑ Хрестоматия по истории математики. Математический анализ. Теория вероятностей / Под ред. А. П. Юшкевича. — М.: Просвещение, 1977. — С. 40. — 224 с.
  32. ↑ 1 2 История математики, том II, 1970, с. 59.
  33. ↑ 1 2 История математики, том II, 1970, с. 61.
  34. ↑ Успенский Я. В. Очерк истории логарифмов, 1923, с. 39.
  35. ↑ История математики, том II, 1970, с. 63.
  36. ↑ Charles Hutton. Mathematical Tables. London, 1811, p. 30.
  37. ↑ История математики, том II, 1970, с. 133.
  38. ↑ 1 2 Успенский Я. В. Очерк истории логарифмов, 1923, с. 52.
  39. ↑ Клейн Ф. Элементарная математика с точки зрения высшей, 1987, с. 51, 286, 352.
  40. ↑ Клейн Ф. Элементарная математика с точки зрения высшей, 1987, с. 213, 217.
  41. ↑ Cajori. Florian A History of Mathematics, 5th ed. — AMS Bookstore. — P. 152. — ISBN 0821821024
  42. ↑ Рыбников К. А. История математики. В двух томах. — М.: Изд. МГУ, 1963. — Т. II. — С. 25.
  43. ↑ 1 2 История математики, том III, 1972, с. 325-328.
  44. ↑ Рыбников К. А. История математики. В двух томах. — М.: Изд. МГУ, 1963. — Т. II. — С. 27, 230-231..
  45. ↑ Математика XIX века. Том II: Геометрия. Теория аналитических функций, 1981, с. 122-123.
  46. ↑ Клейн Ф. Элементарная математика с точки зрения высшей. — М.: Наука, 1987. — Т. II. Геометрия. — С. 159-161. — 416 с.
  47. ↑ Дербишир, Джон. Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. — Астрель, 2010. — 464 с. — ISBN 978-5-271-25422-2
  48. ↑ Weisstein, Eric W. Log-Series Distribution (англ.). MathWorld. Проверено 26 апреля 2012.
  49. ↑ Логарифмически нормальное распределение // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3.
  50. ↑ Максимального правдоподобия метод // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3.
  51. ↑ Harel, David; Feldman, Yishai A. Algorithmics: the spirit of computing. — New York: Addison-Wesley, 2004. — P. 143. — ISBN 978-0-321-11784-7
  52. ↑ N. G. Kingsburg, P. J. W. Rayner (Jan. 28, 1971). «Digital filtering using logarithmic arithmetic». Electronics Letters 7: 55.
  53. ↑ R. C. Ismail and J. N. Coleman (July 2011). «ROM-less LNS». 2011 20th IEEE Symposium on Computer Arithmetic (ARITH): 43–51. DOI:10.1109/ARITH.2011.15.
  54. ↑ Haohuan Fu, Oskar Mencer, Wayne Luk (June 2010). «Comparing Floating-point and Logarithmic Number Representations for Reconfigurable Acceleration». IEEE Conference on Field Programmable Technology: 337. DOI:10.1109/FPT.2006.270342.
  55. ↑ Иванов М. Г. Размер и размерность // «Потенциал», август 2006.
  56. ↑ 1 2 3 Шилов Г. Е. Простая гамма. Устройство музыкальной шкалы. М.: Физматгиз, 1963. 20 с. Серия «Популярные лекции по математике», выпуск 37.
  57. ↑ Головин С. Ю. ЗАКОН ВЕБЕРА-ФЕХНЕРА // Словарь практического психолога. Архивировано из первоисточника 28 мая 2012. Проверено 17 апреля 2012.
  58. ↑ Ирина Алдошина. Основы психоакустики // Звукорежиссёр. — 1999. — В. 6.
  59. ↑ Закон Фиттса // Психологическая энциклопедия. Архивировано из первоисточника 28 мая 2012. Проверено 17 апреля 2012.
  60. ↑ Welford, A. T. Fundamentals of skill. — London: Methuen, 1968. — P. 61. — ISBN 978-0-416-03000-6
  61. ↑ Логарифмическая спираль // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров. — М.: Советская энциклопедия, 1988. — С. 328. — 847 с. — ISBN 5-85270-278-1
  62. ↑ Харин А. А. Организация и проведение соревнований. Методическое пособие. — Ижевск: УдГУ, 2011. — С. 27.
  63. ↑ Децибел // Большая советская энциклопедия. Архивировано из первоисточника 28 мая 2012. Проверено 28 апреля 2012.
  64. ↑ Учебно-методический комплекс: Методы и средства обработки сигналов. Архивировано из первоисточника 19 февраля 2012. Проверено 28 апреля 2012.
  65. ↑ Звёздная величина // Большая советская энциклопедия. Архивировано из первоисточника 28 мая 2012. Проверено 28 апреля 2012.
  66. ↑ Бейтс Р. Определение рН. Теория и практика. — 2 изд. — Л.: Химия, 1972.
  67. ↑ Рихтера шкала. География. Современная иллюстрированная энциклопедия. — М.: Росмэн. Под редакцией проф. А. П. Горкина. 2006.. Архивировано из первоисточника 23 августа 2011.
  68. ↑ Оптическая плотность // Фотокинотехника: Энциклопедия / Главный редактор Е. А. Иофис. — М.: Советская энциклопедия, 1981.
  69. ↑ Фотографическая широта // Фотокинотехника: Энциклопедия / Главный редактор Е. А. Иофис. — М.: Советская энциклопедия, 1981.
  70. ↑ Кулагин С. В. Выдержка // Фотокинотехника: Энциклопедия / Главный редактор Е. А. Иофис. — М.: Советская энциклопедия, 1981.
  71. ↑ Шеин Е. В. Курс физики почв. М.: Изд-во МГУ, 2005. — 432 с. ISBN 5-211-05021-5.
  72. ↑ Понятие частотных характеристик. Архивировано из первоисточника 28 мая 2012. Проверено 28 апреля 2012.
  73. ↑ История математики, том II, 1970, с. 62.
  74. ↑ Гнеденко Б. В. Очерки по истории математики в России, издание 2-е. — М.: КомКнига, 2005. — С. 66.. — 296 с. — ISBN 5-484-00123-4
  75. ↑ Логарифмические таблицы //Большая советская энциклопедия.
  76. ↑ История математики, том II, 1970, с. 65-66.
  77. ↑ Березин С. И. Счётная логарифмическая линейка. — М.: Машиностроение, 1968.
  78. ↑ David Eberly. Quaternion Algebra and Calculus (англ.) (March 2, 1999). Архивировано из первоисточника 28 мая 2012. Проверено 12 апреля 2012.
  79. ↑ Виноградов И. М. Основы теории чисел. — М.-Л.: ГИТТЛ, 1952. — С. 97.. — 180 с.
  80. ↑ Гантмахер Ф. Р. Теория матриц. — М.: Наука, 1967. — 576 с.
  81. ↑ p-adic exponential and p-adic logarithm (англ.) // PlanetMath.org.

Литература

Теория логарифмов

История логарифмов

Эта статья входит в число избранных