Главная » wiki

Логарифм

Логари́фм числа b{displaystyle b} по основанию a{displaystyle a} (от др.-греч. λόγος, «отношение» + ἀριθμός «число»[1]) определяется[2] как показатель степени основания a{displaystyle a}, необходимой для получения числа b{displaystyle b}. Обозначение: loga⁡b{displaystyle log _{a}b}, произносится: «логарифм b{displaystyle b} по основанию a{displaystyle a}».

График двоичного логарифма

Из определения следует, что нахождение x=loga⁡b{displaystyle x=log _{a}b} равносильно решению уравнения ax=b{displaystyle a^{x}=b}. Например, log2⁡8=3{displaystyle log _{2}8=3}, потому что 23=8{displaystyle 2^{3}=8}.

Вычисление логарифма называется логарифми́рованием. Числа a,b{displaystyle a,b} чаще всего вещественные, но существует также теория комплексных логарифмовПерейти к разделу «#Комплексный логарифм».

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

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

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

Содержание

Содержание

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

Логарифм вещественного числа x=loga⁡b{displaystyle x=log _{a}b}

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

Вещественный логарифм loga⁡b{displaystyle log _{a}b}

  имеет смысл при a>0,a≠1,b>0{displaystyle a>0,aneq 1,b>0} 

Как известно, показательная функция y=ax{displaystyle y=a^{x}}

  (при выполнении указанных условий для a{displaystyle a} ) существует, монотонна и каждое значение принимает только один раз, причём диапазон её значений содержит все положительные вещественные числа[6]. Отсюда следует, что значение вещественного логарифма положительного числа всегда существует и определено однозначно.

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

Свойства

См. также: Логарифмические тождества

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

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

aloga⁡b=b{displaystyle a^{log _{a}b}=b} 

Следствие: из равенства двух вещественных логарифмов следует равенство логарифмируемых выражений. В самом деле, если loga⁡b=loga⁡c{displaystyle log _{a}b=log _{a}c}

 , то aloga⁡b=aloga⁡c{displaystyle a^{log _{a}b}=a^{log _{a}c}} , откуда, согласно основному тождеству: b=c{displaystyle b=c} .

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

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

loga⁡1=0;loga⁡a=1.{displaystyle log _{a}1=0;;log _{a}a=1.} 

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

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

Формула Пример Доказательство
Произведение loga⁡(xy)=loga⁡(x)+loga⁡(y){displaystyle log _{a}(xy)=log _{a}(x)+log _{a}(y)}  log3⁡(243)=log3⁡(9⋅27)=log3⁡(9)+log3⁡(27)=2+3=5{displaystyle log _{3}(243)=log _{3}(9cdot 27)=log _{3}(9)+log _{3}(27)=2+3=5} 
Частное от деления loga(xy)=loga⁡(x)−loga⁡(y){displaystyle log _{a}!left({frac {x}{y}}right)=log _{a}(x)-log _{a}(y)}  lg⁡(11000)=lg⁡(1)−lg⁡(1000)=0−3=−3{displaystyle lg left({frac {1}{1000}}right)=lg(1)-lg(1000)=0-3=-3} 
Степень loga⁡(xp)=ploga⁡(x){displaystyle log _{a}(x^{p})=plog _{a}(x)}  log2⁡(64)=log2⁡(26)=6log2⁡(2)=6{displaystyle log _{2}(64)=log _{2}(2^{6})=6log _{2}(2)=6}  Доказательство                                 

loga⁡xp=y{displaystyle log _{a}{x^{p}}=y}

 
ay=xp{displaystyle a^{y}=x^{p}} 
ayp=x{displaystyle a^{frac {y}{p}}=x} 
logax=yp{displaystyle log_{a}{x}={frac {y}{p}}} 
p⋅logax=y{displaystyle pcdot log_{a}{x}=y} 
Степень в основании log(ap)⁡(x)=1ploga⁡(x)=loga⁡(x)p{displaystyle log _{(a^{p})}(x)={frac {1}{p}}log _{a}(x)={frac {log _{a}(x)}{p}}}  log210⁡sin⁡(π6)=log2⁡1210=−110=−0,1{displaystyle log _{2^{10}}{sin {left({frac {pi }{6}}right)}}={frac {log _{2}{frac {1}{2}}}{10}}=-{frac {1}{10}}=-0{,}1}  Доказательство                                 

logap⁡x=y{displaystyle log _{a^{p}}{x}=y}

 
ay⋅p=x{displaystyle a^{ycdot p}=x} 
logax=p⋅y{displaystyle log_{a}{x}=pcdot y} 
logaxp=y{displaystyle {frac {log_{a}{x}}{p}}=y} 
Корень loga⁡xp=1ploga⁡(x)=loga⁡(x)p{displaystyle log _{a}{sqrt[{p}]{x}}={frac {1}{p}}log _{a}(x)={frac {log _{a}(x)}{p}}}  lg⁡1000=12lg⁡1000=32=1,5{displaystyle lg {sqrt {1000}}={frac {1}{2}}lg 1000={frac {3}{2}}=1{,}5}  Доказательство                                 

loga⁡xp=y{displaystyle log _{a}{sqrt[{p}]{x}}=y}

 
ay=xp{displaystyle a^{y}={sqrt[{p}]{x}}} 
ap⋅y=x{displaystyle a^{pcdot y}=x} 
logax=p⋅y{displaystyle log_{a}{x}=pcdot y} 
logaxp=y{displaystyle {frac {log_{a}{x}}{p}}=y} 
Корень в основании logap⁡(x)=ploga⁡(x){displaystyle log _{sqrt[{p}]{a}}(x)=plog _{a}(x)}  logπ⁡(4⋅arctg⁡1)=2⋅logπ⁡(4⋅π4)=2⋅logπ⁡(π)=2{displaystyle log _{sqrt {pi }}{(4cdot operatorname {arctg} {1})}=2cdot log _{pi }{left(4cdot {frac {pi }{4}}right)}=2cdot log _{pi }{(pi )}=2}  Доказательство                                 

logap⁡x=y{displaystyle log _{sqrt[{p}]{a}}{x}=y}

 
ayp=x{displaystyle a^{frac {y}{p}}=x} 
ay=xp{displaystyle a^{y}=x^{p}} 
ayp=x{displaystyle a^{frac {y}{p}}=x} 
logax=yp{displaystyle log_{a}{x}={frac {y}{p}}} 
p⋅logax=y{displaystyle pcdot log_{a}{x}=y} 

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

loga⁡|xy|=loga⁡|x|+loga⁡|y|{displaystyle log _{a}|xy|=log _{a}|x|+log _{a}|y|} 
loga|xy|=loga⁡|x|−loga⁡|y|{displaystyle log _{a}!left|{frac {x}{y}}right|=log _{a}|x|-log _{a}|y|} 

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

loga⁡(x1x2…xn)=loga⁡(x1)+loga⁡(x2)+⋯+loga⁡(xn){displaystyle log _{a}(x_{1}x_{2}dots x_{n})=log _{a}(x_{1})+log _{a}(x_{2})+dots +log _{a}(x_{n})} 
loga⁡|x1x2…xn|=loga⁡|x1|+loga⁡|x2|+⋯+loga⁡|xn|{displaystyle log _{a}|x_{1}x_{2}dots x_{n}|=log _{a}|x_{1}|+log _{a}|x_{2}|+dots +log _{a}|x_{n}|} 

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

  с помощью логарифмических таблиц[⇨] производилось по следующему алгоритму:

  1. найти в таблицах логарифмы чисел x,y{displaystyle x,y} ;
  2. сложить эти логарифмы, получая (согласно первому свойству) логарифм произведения x⋅y{displaystyle xcdot y} ;
  3. по логарифму произведения найти в таблицах само произведение.

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

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

Логарифм loga⁡b{displaystyle log _{a}b}

  по основанию a{displaystyle a}  можно преобразовать[5] в логарифм по другому основанию c{displaystyle c} :

loga⁡b=logc⁡blogc⁡a{displaystyle log _{a}b={frac {log _{c}b}{log _{c}a}}} 

Следствие (при b=c{displaystyle b=c}

  ) — перестановка основания и логарифмируемого выражения:

loga⁡b=1logb⁡a{displaystyle log _{a}b={frac {1}{log _{b}a}}} 

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

Коэффициент 1logc⁡a=loga⁡c{displaystyle {frac {1}{log _{c}a}}=log _{a}c}

  в формуле замены основания называется модулем перехода от одного основания к другому[9].

Неравенства

Значение логарифма loga⁡b{displaystyle log _{a}{b}}

  положительно тогда и только тогда, когда числа a,b{displaystyle a,b}  лежат по одну сторону от единицы (то есть либо оба больше единицы, либо оба меньше). Если же a,b{displaystyle a,b}  лежат по разные стороны от единицы, то логарифм отрицателен[10].

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

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

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

logaq⁡bp=pqloga⁡b{displaystyle {log _{a^{q}}{b}}^{p}={frac {p}{q}}log _{a}{b}} 

Это тождество сразу получается, если в логарифме слева заменить основание aq{displaystyle a^{q}}

  на a{displaystyle a}  по вышеприведённой формуле замены основания. Следствия:

logak⁡b=1kloga⁡b;logan⁡b=nloga⁡b;logak⁡bk=loga⁡b{displaystyle log _{a^{k}}b={frac {1}{k}}log _{a}b;quad log _{sqrt[{n}]{a}}b=nlog _{a}b;quad log _{a^{k}}b^{k}=log _{a}b} 

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

cloga⁡b=bloga⁡c{displaystyle c^{log _{a}b}=b^{log _{a}c}} 

Для его доказательства заметим, что логарифмы левой и правой частей по основанию a{displaystyle a}

  совпадают (равны loga⁡b⋅loga⁡c{displaystyle log _{a}bcdot log _{a}c} ), а тогда, согласно следствию из основного логарифмического тождества, левая и правая части тождественно равны. Прологарифмировав предыдущее тождество по произвольному основанию d,{displaystyle d,}  получаем ещё одно тождество «обмена основаниями»:

loga⁡b⋅logd⁡c=logd⁡b⋅loga⁡c{displaystyle log _{a}bcdot log _{d}c=log _{d}bcdot log _{a}c} 

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

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

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

Если рассматривать логарифмируемое число как переменную, мы получим логарифмическую функцию y=loga⁡x{displaystyle y=log _{a}x}

 . Она определена при a>0; a≠1;x>0{displaystyle a>0; aneq 1;x>0} . Область значений: E(y)=(−∞;+∞){displaystyle E(y)=(-infty ;+infty )} . Эта кривая часто называется логарифмикой[11]. Из формулы замены основания логарифма видно, что графики логарифмических функций с разными основаниями, бо́льшими единицы, отличаются один от другого только масштабом по оси y{displaystyle y} ; графики для оснований, меньших единицы, являются их зеркальным отражением относительно горизонтальной оси.

Из определения следует, что логарифмическая зависимость есть обратная функция для показательной функции y=ax{displaystyle y=a^{x}}

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

Функция является строго возрастающей при a>1{displaystyle a>1}

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

Ось ординат (x=0{displaystyle x=0}

 ) является вертикальной асимптотой, поскольку:

limx→0+0loga⁡x=−∞{displaystyle lim _{xto 0+0}log _{a}x=-infty }  при a>1{displaystyle a>1} ;
limx→0+0loga⁡x=+∞{displaystyle lim _{xto 0+0}log _{a}x=+infty }  при 0<a<1{displaystyle 0<a<1} .

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

ddxloga⁡x=1x⋅ln⁡a{displaystyle {frac {d}{dx}}log _{a}x={frac {1}{xcdot ln a}}} 

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

f(xy)=f(x)+f(y){displaystyle f(xy)=f(x)+f(y)} 

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

Основная статья: Натуральный логарифмСм. также: Список интегралов от логарифмических функций

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

ddxln⁡x=1x{displaystyle {frac {d}{dx}}ln x={frac {1}{x}}} 

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

  Натуральный логарифм равен площади под гиперболой

Проинтегрировав формулу для производной в интервале от x=1{displaystyle x=1}

  до x=b{displaystyle x=b} , мы получаем:

ln⁡b=∫1bdxx{displaystyle ln b=int limits _{1}^{b}{frac {dx}{x}}} 

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

  для указанного интервала x.

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

∫ln⁡xdx=xln⁡x−x+C{displaystyle int {ln x,mathrm {d} x}=xln x-x+C} 

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

 :

ddxln⁡(f(x))=f′(x)f(x){displaystyle {frac {d}{dx}}ln(f(x))={frac {f'(x)}{f(x)}}} 
Разложение в ряд и вычисление натурального логарифма

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

ln⁡(1+x)=x−x22+x33−x44+…{displaystyle ln(1+x)=x-{frac {x^{2}}{2}}+{frac {x^{3}}{3}}-{frac {x^{4}}{4}}+dots }  (Ряд 1)

Этот ряд, называемый «рядом Меркатора», сходится при −1<x⩽1{displaystyle -1<xleqslant 1}

 . В частности:

ln⁡2=1−12+13−14+…{displaystyle ln 2=1-{frac {1}{2}}+{frac {1}{3}}-{frac {1}{4}}+dots } 

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

ln⁡(1+x1−x)=2(x+x33+x55+x77+…){displaystyle ln left({frac {1+x}{1-x}}right)=2left(x+{frac {x^{3}}{3}}+{frac {x^{5}}{5}}+{frac {x^{7}}{7}}+dots right)}  (Ряд 2)

Этот ряд сходится быстрее, а кроме того, левая часть формулы теперь может выразить логарифм любого положительного числа z=1+x1−x{displaystyle z={frac {1+x}{1-x}}}

 , ибо тогда x=z−1z+1{displaystyle x={frac {z-1}{z+1}}}  по абсолютной величине меньше единицы. Данный алгоритм уже пригоден для реальных численных расчётов значений логарифмов, однако не является наилучшим с точки зрения трудоёмкости. Существуют более эффективные алгоритмы[13].

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

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

Логарифмы по основанию 10 (обозначение: lg⁡x{displaystyle lg x}

 ) до изобретения калькуляторов широко применялись для вычислений. Они обладают преимуществом перед логарифмами с иным основанием: целую часть [lg⁡x]{displaystyle [lg x]}  логарифма числа x{displaystyle x}  легко определить[14]:

  • Если x⩾1{displaystyle xgeqslant 1} , то [lg⁡x]{displaystyle [lg x]}  на 1 меньше числа цифр в целой части числа x{displaystyle x} . Например, сразу очевидно, что lg⁡345{displaystyle lg 345}  находится в промежутке (2,3){displaystyle (2,3)} .
  • Если 0<x<1{displaystyle 0<x<1} , то ближайшее к lg⁡x{displaystyle lg x}  целое в меньшую сторону равно общему числу нулей в x{displaystyle x}  перед первой ненулевой цифрой (включая ноль перед запятой), взятому со знаком минус. Например, lg⁡0,0014{displaystyle lg 0{,}0014}  находится в интервале (−3,−2){displaystyle (-3,-2)} .

Кроме того, при переносе десятичной запятой в числе на n{displaystyle n}

  разрядов значение десятичного логарифма этого числа изменяется на n{displaystyle n} . Например, lg⁡8314,63=lg⁡8,31463+3{displaystyle lg 8314{,}63=lg 8{,}31463+3} . Отсюда следует, что для вычисления десятичных логарифмов достаточно составить таблицу логарифмов для чисел в диапазоне от 1{displaystyle 1}  до 10{displaystyle 10} [14].

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

ln⁡x≈2,30259 lg⁡x,ln⁡x=lg⁡xlg⁡e=ln⁡10⋅lg⁡x=(2,30259…)lg⁡x{displaystyle ln xapprox 2{,}30259 lg x,quad ln x={frac {lg x}{lg e}}=ln 10cdot lg x=(2{,}30259dots )lg x} 
lg⁡x≈0,43429 ln⁡x,lg⁡x=ln⁡xln⁡10=lg⁡e⋅ln⁡x=(0,43429…)ln⁡x{displaystyle lg xapprox 0{,}43429 ln x,quad lg x={frac {ln x}{ln 10}}=lg ecdot ln x=(0{,}43429dots )ln x} 

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

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

Приведём несколько полезных пределов, связанных с логарифмами[17]:

limx→0loga⁡(1+x)x=loga⁡e=1ln⁡a{displaystyle lim _{xto 0}{frac {log _{a}(1+x)}{x}}=log _{a}e={frac {1}{ln a}}} 
limx→0+xbloga⁡x=0(b>0){displaystyle lim _{xto 0^{+}}x^{b}log _{a}x=0quad (b>0)} 
limx→∞loga⁡xxb=0(b>0){displaystyle lim _{xto infty }{frac {log _{a}x}{x^{b}}}=0quad (b>0)} 
ln⁡x=limn→∞n(xn−1)=limn→∞n(1−1xn){displaystyle ln x=lim _{nto infty }nleft({sqrt[{n}]{x}}-1right)=lim _{nto infty }nleft(1-{frac {1}{sqrt[{n}]{x}}}right)} 
ln⁡x=limh→0xh−1h{displaystyle ln x=lim _{hto 0}{frac {x^{h}-1}{h}}} 

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

  • Из теоремы Гельфонда следует, что если a,b{displaystyle a,b}  — алгебраические числа (a≠1{displaystyle aneq 1} ), то loga⁡b{displaystyle log _{a}b}  либо рационален, либо трансцендентен. При этом логарифм рационален и равен pq{displaystyle p over q}  только в том случае[18], когда числа a,b{displaystyle a,b}  связаны соотношением ap=bq{displaystyle a^{p}=b^{q}} .
  • Сумма ∑k=1n1k{displaystyle sum _{k=1}^{n}{frac {1}{k}}}  (частичная сумма гармонического ряда) при больших n{displaystyle n}  ведёт себя как ln⁡n+γ+O(n−1){displaystyle ln n+gamma +O(n^{-1})} , где γ≈0,5772156649…{displaystyle gamma approx 0{,}5772156649dots }  — постоянная Эйлера — Маскерони.

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

Основная статья: Логарифмические уравнения

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

Основная статья: Комплексный логарифм

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

Для комплексных чисел логарифм определяется так же, как вещественный. На практике используется почти исключительно натуральный комплексный логарифм, который обозначается Lnz{displaystyle mathrm {Ln} ,z}

  и определяется как решение w{displaystyle w}  уравнения ew=z{displaystyle e^{w}=z}  (другие, эквивалентные данному, варианты определения приведены ниже).

В поле комплексных чисел решение этого уравнения, в отличие от вещественного случая, не определено однозначно. Например, согласно тождеству Эйлера, eπi=−1{displaystyle e^{pi i}=-1}

 ; однако также e−πi=e3πi=e5πi⋯=−1{displaystyle e^{-pi i}=e^{3pi i}=e^{5pi i}dots =-1} . Это связано с тем, что показательная функция вдоль мнимой оси является периодической (с периодом 2πi{displaystyle 2pi i} )[19], и одно и то же значение функция принимает бесконечно много раз. Таким образом, комплексная логарифмическая функция w=Lnz{displaystyle w=mathrm {Ln} ,z}  является многозначной.

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

  можно представить в показательной форме:

z=r⋅eiφ{displaystyle z=rcdot e^{ivarphi }} 

Тогда Lnz{displaystyle mathrm {Ln} ,z}

  находится по формуле[20]:

Lnz=ln⁡r+i(φ+2πk){displaystyle mathrm {Ln} ,z=ln r+ileft(varphi +2pi kright)} 

Здесь lnr=ln|z|{displaystyle ln ,r=ln ,|z|}

  — вещественный логарифм, k{displaystyle k}  — произвольное целое число. Отсюда вытекает:

Комплексный логарифм Lnz{displaystyle mathrm {Ln} ,z}

  существует для любого z≠0{displaystyle zneq 0} , и его вещественная часть определяется однозначно, в то время как мнимая часть имеет бесконечное множество значений, различающихся на целое кратное 2π{displaystyle 2pi } .

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

Из формулы видно, что у одного и только одного из значений мнимая часть находится в интервале (−π,π]{displaystyle (-pi ,pi ]}

 . Это значение называется главным значением комплексного натурального логарифма[11]. Соответствующая (уже однозначная) функция называется главной ветвью логарифма и обозначается lnz{displaystyle ln ,z} . Иногда через lnz{displaystyle ln ,z}  также обозначают значение логарифма, лежащее не на главной ветви. Если z{displaystyle z}  — вещественное число, то главное значение его логарифма совпадает с обычным вещественным логарифмом.

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

Re⁡(ln⁡(x+iy))=12ln⁡(x2+y2){displaystyle operatorname {Re} (ln(x+iy))={frac {1}{2}}ln(x^{2}+y^{2})} 

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

 .

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

Ln(−x)=ln⁡x+iπ(2k+1)(x>0, k=0,±1,±2…){displaystyle mathrm {Ln} (-x)=ln x+ipi (2k+1)qquad (x>0, k=0,pm 1,pm 2dots )} 

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

Приведём главное значение логарифма (ln{displaystyle ln }

 ) и общее его выражение (Ln{displaystyle mathrm {Ln} } ) для некоторых аргументов:

ln⁡(1)=0;Ln(1)=2kπi{displaystyle ln(1)=0;;mathrm {Ln} (1)=2kpi i} 
ln⁡(−1)=iπ;Ln(−1)=(2k+1)iπ{displaystyle ln(-1)=ipi ;;mathrm {Ln} (-1)=(2k+1)ipi } 
ln⁡(i)=iπ2;Ln(i)=i4k+12π{displaystyle ln(i)=i{frac {pi }{2}};;mathrm {Ln} (i)=i{frac {4k+1}{2}}pi } 

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

iπ=ln⁡(−1)=ln⁡((−i)2)=2ln⁡(−i)=2(−iπ/2)=−iπ{displaystyle ipi =ln(-1)=ln((-i)^{2})=2ln(-i)=2(-ipi /2)=-ipi } 

— ошибка, которая, однако, косвенно указывает на то, что значения, отличающиеся на 2iπ{displaystyle 2ipi }

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

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

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

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

 . Особые точки: z=0{displaystyle z=0}  и z=∞{displaystyle z=infty }  (точки разветвления бесконечного порядка)[22].

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

 .

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

Логарифм комплексного числа также может быть определён как аналитическое продолжение вещественного логарифма на всю комплексную плоскость. Пусть кривая Γ{displaystyle Gamma }

  начинается в единице, не проходит через нуль и не пересекает отрицательную часть вещественной оси. Тогда главное значение логарифма в конечной точке w{displaystyle w}  кривой Γ{displaystyle Gamma }  можно определить по формуле[22]:

ln⁡w=∫Γduu{displaystyle ln w=int limits _{Gamma }{du over u}} 

Если Γ{displaystyle Gamma }

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

ln⁡(wz)=ln⁡w+ln⁡z, ∀z,w∈Γ:zw∈Γ{displaystyle ln(wz)=ln w+ln z,~forall z,win Gamma colon zwin Gamma } 

Главная ветвь логарифмической функции непрерывна и дифференцируема на всей комплексной плоскости, кроме отрицательной части вещественной оси, на которой мнимая часть скачком меняется на 2π{displaystyle 2pi }

 . Но этот факт есть следствие искусственного ограничения мнимой части главного значения интервалом (−π,π]{displaystyle (-pi ,pi ]} . Если рассмотреть все ветви функции, то непрерывность имеет место во всех точках, кроме нуля, где функция не определена. Если разрешить кривой Γ{displaystyle Gamma }  пересекать отрицательную часть вещественной оси, то первое такое пересечение переносит результат с ветви главного значения на соседнюю ветвь, а каждое следующее пересечение вызывает аналогичное смещение по ветвям логарифмической функции[22] (см. рисунок).

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

ddzln⁡z=1z{displaystyle {frac {d}{dz}}ln z={1 over z}} 

Для любой окружности S{displaystyle S}

 , охватывающей точку 0{displaystyle 0} :

∮Sdzz=2πi{displaystyle oint limits _{S}{dz over z}=2pi i} 

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

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

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

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

Arcsin⁡z=−iLn⁡(iz+1−z2){displaystyle operatorname {Arcsin} z=-ioperatorname {Ln} (iz+{sqrt {1-z^{2}}})} 
Arccos⁡z=−iLn⁡(z+i1−z2){displaystyle operatorname {Arccos} z=-ioperatorname {Ln} (z+i{sqrt {1-z^{2}}})} 
Arctg⁡z=−i2ln⁡1+zi1−zi+kπ(z≠±i){displaystyle operatorname {Arctg} z=-{frac {i}{2}}ln {frac {1+zi}{1-zi}}+kpi ;(zneq pm i)} 
Arcctg⁡z=−i2ln⁡zi−1zi+1+kπ(z≠±i){displaystyle operatorname {Arcctg} z=-{frac {i}{2}}ln {frac {zi-1}{zi+1}}+kpi ;(zneq pm i)} 

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

Arsh⁡z=Ln⁡(z+z2+1){displaystyle operatorname {Arsh} z=operatorname {Ln} (z+{sqrt {z^{2}+1}})}  — обратный гиперболический синус
Arch⁡z=Ln⁡(z+z2−1){displaystyle operatorname {Arch} z=operatorname {Ln} left(z+{sqrt {z^{2}-1}}right)}  — обратный гиперболический косинус
Arth⁡z=12Ln⁡(1+z1−z){displaystyle operatorname {Arth} z={frac {1}{2}}operatorname {Ln} left({frac {1+z}{1-z}}right)}  — обратный гиперболический тангенс
Arcth⁡z=12Ln⁡(z+1z−1){displaystyle operatorname {Arcth} z={frac {1}{2}}operatorname {Ln} left({frac {z+1}{z-1}}right)}  — обратный гиперболический котангенс

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

Основная статья: История логарифмов

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

Идейным источником и стимулом применения логарифмов послужил тот факт (известный ещё Архимеду[26]), что при перемножении степеней их показатели складываются[27]: ab⋅ac=ab+c{displaystyle a^{b}cdot a^{c}=a^{b+c}}

 . Индийский математик VIII века Вирасена, исследуя степенные зависимости, опубликовал таблицу целочисленных показателей (то есть, фактически, логарифмов) для оснований 2, 3, 4[28].  Логарифмическая таблица М. Штифеля, «Arithmetica integra», 1544

Решающий шаг был сделан в средневековой Европе. Потребность в сложных расчётах в XVI веке быстро росла, и значительная часть трудностей была связана с умножением и делением многозначных чисел, а также извлечением корней. В конце века нескольким математикам, почти одновременно, пришла в голову идея: заменить трудоёмкое умножение на простое сложение, сопоставив с помощью специальных таблиц геометрическую и арифметическую прогрессии, при этом геометрическая будет исходной[26]. Тогда и деление автоматически заменяется на неизмеримо более простое и надёжное вычитание, упростятся также возведение в степень и извлечение корня.

Первым эту идею опубликовал в своей книге «Arithmetica integra» (1544) Михаэль Штифель, который, впрочем, не приложил серьёзных усилий для практической реализации своей идеи[29][30]. Главной заслугой Штифеля является переход от целых показателей степени к произвольным рациональным[31] (первые шаги в этом направлении сделали Николай Орем в XIV веке и Никола Шюке в XV веке).

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

  Джон Непер

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

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

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

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

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

dxx=−dyM{displaystyle {frac {dx}{x}}=-{frac {dy}{M}}} ,

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

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

 , то она связана с натуральным логарифмом следующим образом[35]:

LogNap⁡(x)=M⋅(ln⁡(M)−ln⁡(x)){displaystyle operatorname {LogNap} (x)=Mcdot (ln(M)-ln(x))} 

Очевидно, LogNap⁡(M)=0{displaystyle operatorname {LogNap} (M)=0}

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

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

LogNap⁡(a⋅b)=LogNap⁡(a)+LogNap⁡(b)−LogNap⁡(1){displaystyle operatorname {LogNap} (acdot b)=operatorname {LogNap} (a)+operatorname {LogNap} (b)-operatorname {LogNap} (1)} 

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

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

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

Вскоре выяснилось, что место логарифмов в математике не ограничивается расчётными удобствами. В 1629 году бельгийский математик Грегуар де Сен-Венсан показал, что площадь под гиперболой y=1x{displaystyle y={frac {1}{x}}}

  меняется по логарифмическому закону[40]. В 1668 году немецкий математик Николас Меркатор (Кауфман) открыл и опубликовал в своей книге Logarithmotechnia разложение логарифма в бесконечный ряд[41]. По мнению многих историков, появление логарифмов оказало сильное влияние на многие математические концепции, в том числе:

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

До конца XIX века общепринятого обозначения логарифма не было, основание a указывалось то левее и выше символа log, то над ним. В конечном счёте математики пришли к выводу, что наиболее удобное место для основания — ниже строки, после символа log: loga⁡b{displaystyle log _{a}b}

 . Краткие обозначения наиболее употребительных видов логарифма — lg,ln{displaystyle lg ,;ln }  для десятичного и натурального — появились намного раньше сразу у нескольких авторов и закрепились окончательно также к концу XIX века[44].

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

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

Первые попытки распространить логарифмы на комплексные числа предпринимали на рубеже XVII—XVIII веков Лейбниц и Иоганн Бернулли, однако создать целостную теорию им не удалось — в первую очередь по той причине, что тогда ещё не было ясно определено само понятие логарифма[46]. Дискуссия по этому поводу велась сначала между Лейбницем и Бернулли, а в середине XVIII века — между Д’Аламбером и Эйлером. Бернулли и Д’Аламбер считали, что следует определить log⁡(−x)=log⁡(x){displaystyle log(-x)=log(x)}

 , в то время как Лейбниц доказывал, что логарифм отрицательного числа есть мнимое число[46]. Полная теория логарифмов отрицательных и комплексных чисел была опубликована Эйлером в 1747—1751 годах и по существу ничем не отличается от современной[47]. Хотя спор продолжался (Д’Аламбер отстаивал свою точку зрения и подробно аргументировал её в статье своей «Энциклопедии» и в других трудах), подход Эйлера к концу XVIII века получил всеобщее признание.

В XIX веке, с развитием комплексного анализа, исследование комплексного логарифма стимулировало новые открытия. Гаусс в 1811 году разработал полную теорию многозначности логарифмической функции[48], определяемой как интеграл от 1z{displaystyle {frac {1}{z}}}

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

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

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

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

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

Теория чисел

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

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

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

Нередко возникает задача грубо оценить очень большое число — например, факториал или число Мерсенна с большим номером. Для этого было бы удобно приближённо записать число в экспоненциальном формате, то есть в виде мантиссы и десятичного порядка.

Задача легко решается с применением логарифмов. Рассмотрим для примера 44-е число Мерсенна M=232582657−1{displaystyle M=2^{32582657}-1}

 .

lg⁡M≈32582657⋅lg⁡2≈9808357,09543{displaystyle lg Mapprox 32582657cdot lg 2approx 9808357{,}09543} 

Следовательно, мантисса результата равна 100,09543≈1,25.{displaystyle 10^{0{,}09543}approx 1{,}25.}

  Окончательно получим:

M≈1,25⋅109808357.{displaystyle Mapprox 1{,}25cdot 10^{9808357}.} 

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

См. также: Список интегралов от логарифмических функций

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

∫tg⁡xdx=−ln⁡|cos⁡x|+C;∫dxx2+a=−ln⁡ | x+x2+a |+C{displaystyle int {operatorname {tg} x},dx=-ln |cos x|+C;quad int {frac {dx}{sqrt {x^{2}+a}}}=-ln left| x+{sqrt {x^{2}+a}} right|+C} 

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

  Распределение Бенфорда. По горизонтали — первые значащие цифры, по вертикали — вероятность их появления.

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

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

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

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

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

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

  (в обычном для компьютера двоичном формате) понадобится log2⁡N+1{displaystyle log _{2}N+1}  битов.

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

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

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

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

  Треугольник Серпинского (справа)

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

ln⁡3ln⁡2≈1,58{displaystyle {frac {ln 3}{ln 2}}approx 1{,}58} 

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

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

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

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

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

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

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

Чтобы решить вопрос о том, на сколько частей делить октаву, требуется отыскать рациональное приближение для log2⁡32≈0,585{displaystyle log _{2}{frac {3}{2}}approx 0{,}585}

 . Если разложить это число в непрерывную дробь, то третья подходящая дробь (7/12) позволяет обосновать классическое деление октавы на 12 полутонов[59].

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

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

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

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

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

Биология

Ряд биологических форм хорошо соответствует логарифмической спирали[64] — кривой, у которой касательная в каждой точке образует с радиус-вектором в этой точке один и тот же угол, то есть прирост радиуса на единицу длины окружности постоянен:

Разное

Число кругов игры по олимпийской системе равно двоичному логарифму от числа участников соревнований, округлённому до ближайшего большего целого[65].

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

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

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

Логарифмическая шкала особенно удобна в тех случаях, когда уровни измеряемой величины образуют геометрическую прогрессию, поскольку тогда их логарифмы распределены с постоянным шагом. Например, 12 полутонов классической октавы образуют (приближённо) такую прогрессию[59] со знаменателем 212≈1,059{displaystyle {sqrt[{12}]{2}}approx 1{,}059}

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

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

Logarithmic Scales no text.svg Графики трёх функций при различном выборе шкал по осям координат:

Верхний ряд — 1) обе линейные; 2) логарифмическая (x) и линейная (y);
Нижний ряд — 1) линейная (x) и логарифмическая (y); 2) обе логарифмические.

     y=10x{displaystyle y=10^{x}}       y=x{displaystyle y=x}       y=ln⁡x{displaystyle y=ln x} 

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

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

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

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

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

  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-е годы Эдмунд Уингейт и Уильям Отред изобрели первую логарифмическую линейку, до появления карманных калькуляторов служившую незаменимым расчётным орудием инженера[79]. С помощью этого компактного инструмента можно быстро производить все алгебраические операции, в том числе с участием тригонометрических функций[80]. Точность расчётов — около 3 значащих цифр.

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

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

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

Литература

Теория логарифмов
История логарифмов
Вам также может быть интересно
Косметолог Ирина Соболева рассказывает о самом коварном типе кожи: что это за «зверь» и в чем его коварство
Косметолог, массажист, талассонутрициолог Ирина Соболева объяснила, как появляется себорея (состояние, называемое жирной кожей), какой
Суд рассмотрит по существу дело владельцев B&B, обвиняемых Денисом Шапиро в хищении у него 4 млрд рублей
Дорогомиловский районный суд Москвы начал рассмотрение по существу уголовного дела Александра Балаховского и Якова