Логарифм

Логари́фм числа $b$$b$ по основанию $a$$a$ (от др.-греч. λόγος, «отношение» + ἀριθμός «число») определяется как показатель степени, в которую надо возвести основание $a$$a$, чтобы получить число $b$$b$. Обозначение: ${\log }_a<!--\; \; -->b$$\log _{a}b$, произносится: «логарифм $b$$b$ по основанию $a$$a$».

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

Из определения следует, что нахождение $x={\log }_a<!--\; \; -->b$$x=\log _{a}b$ равносильно решению уравнения $a^x=b$$a^{x}=b$. Например, ${\log }_2<!--\; \; -->8=3$$\log _{2}8=3$, потому что $2^3=8$$2^{3}=8$.

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

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

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

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

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

Логарифм вещественного числа $x={\log }_a<!--\; \; -->b$$x=\log _{a}b$  по определению есть решение уравнения $a^x=b$$a^{x}=b$ . Случай $a=1$$a=1$  интереса не представляет, поскольку тогда при $b\ne <!--\; \ne \; -->1$$b\neq 1$  это уравнение не имеет решения, а при $b=1$$b=1$  любое число является решением; в обоих случаях логарифм не определён. Аналогично заключаем, что логарифм не существует при нулевом или отрицательном $a$$a$ ; кроме того, значение показательной функции $a^x$$a^{x}$  всегда положительно, поэтому следует исключить также случай отрицательного $b$$b$ . Окончательно получаем:

Вещественный логарифм ${\log }_a<!--\; \; -->b$$\log _{a}b$  имеет смысл при $a>0,a\ne <!--\; \ne \; -->1,b>0$$a>0,a\neq 1,b>0$

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

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

• Натуральные: ${\log }_{e}b$$\log _{e}\,b$  или $\ln b$$\ln \,b$ , основание: число Эйлера ($e$$e$ );
• Десятичные: ${\log }_{10}b$$\log _{10}\,b$  или $\lg b$$\lg \,b$ , основание: число $10$$10$ ;
• Двоичные: ${\log }_{2}b$$\log _{2}\,b$  или $\mathrm{lb}b$$\operatorname {lb} \,b$ , основание: $2$$2$ . Они применяются, например, в теории информации, информатике, во многих разделах дискретной математики.

 

Почтовая марка Никарагуа 1971 года и её оборот. Закон Непера (логарифмы)

СвойстваПравить

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

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

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

$a^{{\log }_a<!--\; \; -->b}=b$$a^{\log _{a}b}=b$ 

Следствие: из равенства двух вещественных логарифмов следует равенство логарифмируемых выражений. В самом деле, если ${\log }_a<!--\; \; -->b={\log }_a<!--\; \; -->c$$\log _{a}b=\log _{a}c$ , то $a^{{\log }_a<!--\; \; -->b}=a^{{\log }_a<!--\; \; -->c}$$a^{\log _{a}b}=a^{\log _{a}c}$ , откуда, согласно основному тождеству: $b=c$$b=c$ .

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

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

${\log }_a<!--\; \; -->1=0;{\log }_a<!--\; \; -->a=1.$$\log _{a}1=0;\;\log _{a}a=1.$ 

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

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

	Формула	Пример	Доказательство
Произведение	${\log }_a<!--\; \; -->(xy)={\log }_a<!--\; \; -->(x)+{\log }_a<!--\; \; -->(y)$$\log _{a}(xy)=\log _{a}(x)+\log _{a}(y)$	${\log }_3<!--\; \; -->(243)={\log }_3<!--\; \; -->(9\cdot <!--\; \cdot \; -->27)={\log }_3<!--\; \; -->(9)+{\log }_3<!--\; \; -->(27)=2+3=5$$\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)$$\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$$\lg \left({\frac {1}{1000}}\right)=\lg(1)-\lg(1000)=0-3=-3$
Степень	${\log }_a<!--\; \; -->(x^p)=p{\log }_a<!--\; \; -->(x)$$\log _{a}(x^{p})=p\log _{a}(x)$	${\log }_2<!--\; \; -->(64)={\log }_2<!--\; \; -->(2^6)=6{\log }_2<!--\; \; -->(2)=6$$\log _{2}(64)=\log _{2}(2^{6})=6\log _{2}(2)=6$	Доказательство                                  ${\log }_a<!--\; \; -->x^p=y$$\log _{a}{x^{p}}=y$  $a^y=x^p$$a^{y}=x^{p}$  $a^{\frac{y}{p}}=x$$a^{\frac {y}{p}}=x$  $lo{g}_{a}x=\frac{y}{p}$$log_{a}{x}={\frac {y}{p}}$  $p\cdot <!--\; \cdot \; -->lo{g}_{a}x=y$$p\cdot log_{a}{x}=y$
Степень в основании	${\log }_{(a^p)}<!--\; \; -->(x)=\frac{1}{p}{\log }_a<!--\; \; -->(x)=\frac{{\log }_a<!--\; \; -->(x)}{p}$$\log _{(a^{p})}(x)={\frac {1}{p}}\log _{a}(x)={\frac {\log _{a}(x)}{p}}$	${\log }_{2^{10}}<!--\; \; -->\sin <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}}{6}\right)=\frac{{\log }_2<!--\; \; -->\frac{1}{2}}{10}=-<!--\; -\; -->\frac{1}{10}=-<!--\; -\; -->0,1$$\log _{2^{10}}{\sin {\left({\frac {\pi }{6}}\right)}}={\frac {\log _{2}{\frac {1}{2}}}{10}}=-{\frac {1}{10}}=-0{,}1$	Доказательство                                  ${\log }_{a^p}<!--\; \; -->x=y$$\log _{a^{p}}{x}=y$  $a^{y\cdot <!--\; \cdot \; -->p}=x$$a^{y\cdot p}=x$  $lo{g}_{a}x=p\cdot <!--\; \cdot \; -->y$$log_{a}{x}=p\cdot y$  $\frac{lo{g}_{a}x}{p}=y$${\frac {log_{a}{x}}{p}}=y$
Корень	${\log }_a<!--\; \; -->\sqrt[p]{x}=\frac{1}{p}{\log }_a<!--\; \; -->(x)=\frac{{\log }_a<!--\; \; -->(x)}{p}$$\log _{a}{\sqrt[{p}]{x}}={\frac {1}{p}}\log _{a}(x)={\frac {\log _{a}(x)}{p}}$	$\lg <!--\; \; -->\sqrt{1000}=\frac{1}{2}\lg <!--\; \; -->1000=\frac{3}{2}=1,5$$\lg {\sqrt {1000}}={\frac {1}{2}}\lg 1000={\frac {3}{2}}=1{,}5$	Доказательство                                  ${\log }_a<!--\; \; -->\sqrt[p]{x}=y$$\log _{a}{\sqrt[{p}]{x}}=y$  $a^y=\sqrt[p]{x}$$a^{y}={\sqrt[{p}]{x}}$  $a^{p\cdot <!--\; \cdot \; -->y}=x$$a^{p\cdot y}=x$  $lo{g}_{a}x=p\cdot <!--\; \cdot \; -->y$$log_{a}{x}=p\cdot y$  $\frac{lo{g}_{a}x}{p}=y$${\frac {log_{a}{x}}{p}}=y$
Корень в основании	${\log }_{\sqrt[p]{a}}<!--\; \; -->(x)=p{\log }_a<!--\; \; -->(x)$$\log _{\sqrt[{p}]{a}}(x)=p\log _{a}(x)$	${\log }_{\sqrt{\mathrm{\pi <!--\; \pi \; -->}}}<!--\; \; -->(4\cdot <!--\; \cdot \; -->\mathrm{arctg}<!--\; \; -->1)=2\cdot <!--\; \cdot \; -->{\log }_{\mathrm{\pi <!--\; \pi \; -->}}<!--\; \; -->\left(4\cdot <!--\; \cdot \; -->\frac{\mathrm{\pi <!--\; \pi \; -->}}{4}\right)=2\cdot <!--\; \cdot \; -->{\log }_{\mathrm{\pi <!--\; \pi \; -->}}<!--\; \; -->(\mathrm{\pi <!--\; \pi \; -->})=2$$\log _{\sqrt {\pi }}{(4\cdot \operatorname {arctg} {1})}=2\cdot \log _{\pi }{\left(4\cdot {\frac {\pi }{4}}\right)}=2\cdot \log _{\pi }{(\pi )}=2$	Доказательство                                  ${\log }_{\sqrt[p]{a}}<!--\; \; -->x=y$$\log _{\sqrt[{p}]{a}}{x}=y$  $a^{\frac{y}{p}}=x$$a^{\frac {y}{p}}=x$  $a^y=x^p$$a^{y}=x^{p}$  $a^{\frac{y}{p}}=x$$a^{\frac {y}{p}}=x$  $lo{g}_{a}x=\frac{y}{p}$$log_{a}{x}={\frac {y}{p}}$  $p\cdot <!--\; \cdot \; -->lo{g}_{a}x=y$$p\cdot log_{a}{x}=y$

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

${\log }_a<!--\; \; -->|xy|={\log }_a<!--\; \; -->|x|+{\log }_a<!--\; \; -->|y|$$\log _{a}|xy|=\log _{a}|x|+\log _{a}|y|$ 

${\log }_a\left|\frac{x}{y}\right|={\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 <!--\; \dots \; -->x_n)={\log }_a<!--\; \; -->(x_1)+{\log }_a<!--\; \; -->(x_2)+\cdots <!--\; \cdots \; -->+{\log }_a<!--\; \; -->(x_n)$$\log _{a}(x_{1}x_{2}\dots x_{n})=\log _{a}(x_{1})+\log _{a}(x_{2})+\dots +\log _{a}(x_{n})$ 

${\log }_a<!--\; \; -->|x_1{x}_2\dots <!--\; \dots \; -->x_n|={\log }_a<!--\; \; -->|x_1|+{\log }_a<!--\; \; -->|x_2|+\cdots <!--\; \cdots \; -->+{\log }_a<!--\; \; -->|x_n|$$\log _{a}|x_{1}x_{2}\dots x_{n}|=\log _{a}|x_{1}|+\log _{a}|x_{2}|+\dots +\log _{a}|x_{n}|$ 

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

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

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

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

Логарифм ${\log }_a<!--\; \; -->b$$\log _{a}b$  по основанию $a$$a$  можно преобразовать в логарифм по другому основанию $c$$c$ :

${\log }_a<!--\; \; -->b=\frac{{\log }_c<!--\; \; -->b}{{\log }_c<!--\; \; -->a}$$\log _{a}b={\frac {\log _{c}b}{\log _{c}a}}$ 

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

${\log }_a<!--\; \; -->b=\frac{1}{{\log }_b<!--\; \; -->a}$$\log _{a}b={\frac {1}{\log _{b}a}}$ 

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

Коэффициент $\frac{1}{{\log }_c<!--\; \; -->a}={\log }_a<!--\; \; -->c$${\frac {1}{\log _{c}a}}=\log _{a}c$  в формуле замены основания называется модулем перехода от одного основания к другому.

НеравенстваПравить

Значение логарифма ${\log }_a<!--\; \; -->b$$\log _{a}{b}$  положительно тогда и только тогда, когда числа $a,b$$a,b$  лежат по одну сторону от единицы (то есть либо оба больше единицы, либо оба меньше). Если же $a,b$$a,b$  лежат по разные стороны от единицы, то логарифм отрицателен.

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

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

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

${{\log }_{a^q}<!--\; \; -->b}^p=\frac{p}{q}{\log }_a<!--\; \; -->b,$${\log _{a^{q}}{b}}^{p}={\dfrac {p}{q}}\log _{a}{b},$  где $p,q$$p,\,q$  — вещественные числа, $q\ne <!--\; \ne \; -->0$$q\neq 0$ 

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

${\log }_{a^k}<!--\; \; -->b=\frac{1}{k}{\log }_a<!--\; \; -->b;{\log }_{\sqrt[n]{a}}<!--\; \; -->b=n{\log }_a<!--\; \; -->b;{\log }_{a^k}<!--\; \; -->b^k={\log }_a<!--\; \; -->b$$\log _{a^{k}}b={\dfrac {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}$$c^{\log _{a}b}=b^{\log _{a}c}$ 

Для его доказательства заметим, что логарифмы левой и правой частей по основанию $a$$a$  совпадают (равны ${\log }_a<!--\; \; -->b\cdot <!--\; \cdot \; -->{\log }_a<!--\; \; -->c$$\log _{a}b\cdot \log _{a}c$ ), а тогда, согласно следствию из основного логарифмического тождества, левая и правая части тождественно равны. Прологарифмировав предыдущее тождество по произвольному основанию $d$$d$ , получаем ещё одно тождество «обмена основаниями»:

${\log }_a<!--\; \; -->b\cdot <!--\; \cdot \; -->{\log }_d<!--\; \; -->c={\log }_d<!--\; \; -->b\cdot <!--\; \cdot \; -->{\log }_a<!--\; \; -->c$$\log _{a}b\cdot \log _{d}c=\log _{d}b\cdot \log _{a}c$ 

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

 

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

 

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

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

Если рассматривать логарифмируемое число как переменную, мы получим логарифмическую функцию $y={\log }_a<!--\; \; -->x$$y=\log _{a}x$ . Она определена при $a>0;a\ne <!--\; \ne \; -->1;x>0$$a>0;\ a\neq 1;x>0$ . Область значений: $E(y)=(-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->};+\mathrm{\infty <!--\; \infty \; -->})$$E(y)=(-\infty ;+\infty )$ . Эта кривая часто называется логарифмикой. Из формулы замены основания логарифма видно, что графики логарифмических функций с разными основаниями, бо́льшими единицы, отличаются один от другого только масштабом по оси $y$$y$ ; графики для оснований, меньших единицы, являются их зеркальным отражением относительно горизонтальной оси.

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

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

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

$\underset{x\to <!--\; \to \; -->0+0}{lim}{\log }_a<!--\; \; -->x=-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}$$\lim _{x\to 0+0}\log _{a}x=-\infty$  при $a>1$$a>1$ ;

$\underset{x\to <!--\; \to \; -->0+0}{lim}{\log }_a<!--\; \; -->x=+\mathrm{\infty <!--\; \infty \; -->}$$\lim _{x\to 0+0}\log _{a}x=+\infty$  при $0<a<1$ .

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

$\frac{d}{dx}{\log }_a<!--\; \; -->x=\frac{1}{x\cdot <!--\; \cdot \; -->\ln <!--\; \; -->a}$${\frac {d}{dx}}\log _{a}x={\frac {1}{x\cdot \ln a}}$ 

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

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

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

Основная статья: Натуральный логарифм

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

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

$\frac{d}{dx}\ln <!--\; \; -->\left|x\right|=\frac{1}{x}$${\dfrac {d}{dx}}\ln {\left|x\right|}={\dfrac {1}{x}}$ 

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

 

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

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

$\ln <!--\; \; -->b=\underset{1}{\overset{b}{\int <!--\; \int \; -->}}\frac{dx}{x}$$\ln b=\int \limits _{1}^{b}{\dfrac {dx}{x}}$ 

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

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

$\int <!--\; \int \; -->\ln <!--\; \; -->x\mathrm{d}x=x\ln <!--\; \; -->x-<!--\; -\; -->x+C$$\int {\ln x\,\mathrm {d} x}=x\ln x-x+C$ 

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

$\frac{d}{dx}\ln <!--\; \; -->(f(x))=\frac{f^{\prime }(x)}{f(x)}$${\dfrac {d}{dx}}\ln(f(x))={\dfrac {f'(x)}{f(x)}}$ 

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

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

$\ln <!--\; \; -->(1+x)=x-<!--\; -\; -->\frac{x^2}{2}+\frac{x^3}{3}-<!--\; -\; -->\frac{x^4}{4}+\dots <!--\; \dots \; -->$$\ln(1+x)=x-{\dfrac {x^{2}}{2}}+{\dfrac {x^{3}}{3}}-{\dfrac {x^{4}}{4}}+\dots$

(Ряд 1)

Этот ряд, называемый «рядом Меркатора», сходится при $-1<x\leqslant 1$ . В частности:

$\ln <!--\; \; -->2=1-<!--\; -\; -->\frac{1}{2}+\frac{1}{3}-<!--\; -\; -->\frac{1}{4}+\dots <!--\; \dots \; -->$$\ln 2=1-{\dfrac {1}{2}}+{\dfrac {1}{3}}-{\dfrac {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 <!--\; \dots \; -->\right)$$\ln \left({\dfrac {1+x}{1-x}}\right)=2\left(x+{\dfrac {x^{3}}{3}}+{\dfrac {x^{5}}{5}}+{\dfrac {x^{7}}{7}}+\dots \right)$

(Ряд 2)

Этот ряд сходится быстрее, а кроме того, левая часть формулы теперь может выразить логарифм любого положительного числа $z=\frac{1+x}{1-<!--\; -\; -->x}$$z={\dfrac {1+x}{1-x}}$ , ибо тогда $x=\frac{z-<!--\; -\; -->1}{z+1}$$x={\frac {z-1}{z+1}}$  по абсолютной величине меньше единицы. Данный алгоритм уже пригоден для реальных численных расчётов значений логарифмов, однако не является наилучшим с точки зрения трудоёмкости. Существуют более эффективные алгоритмы.

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

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

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

• Если $x⩾<!--\; ⩾\; -->1$$x\geqslant 1$ , то $[\lg <!--\; \; -->x]$$[\lg x]$  на 1 меньше числа цифр в целой части числа $x$$x$ . Например, сразу очевидно, что $\lg <!--\; \; -->345$$\lg 345$  находится в промежутке $(2,3)$$(2,3)$ .
• Если $0<x<1$ , то ближайшее к $\lg <!--\; \; -->x$$\lg x$  целое в меньшую сторону равно общему числу нулей в $x$$x$  перед первой ненулевой цифрой (включая ноль перед запятой), взятому со знаком минус. Например, $\lg <!--\; \; -->\mathrm{0,001}4$$\lg 0{,}0014$  находится в интервале $(-<!--\; -\; -->3,-<!--\; -\; -->2)$$(-3,-2)$ .

Кроме того, при переносе десятичной запятой в числе на $n$$n$  разрядов значение десятичного логарифма этого числа изменяется на $n$$n$ . Например, $\lg <!--\; \; -->8314,63=\lg <!--\; \; -->\mathrm{8,314}63+3$$\lg 8314{,}63=\lg 8{,}31463+3$ . Отсюда следует, что для вычисления десятичных логарифмов достаточно составить таблицу логарифмов для чисел в диапазоне от $1$$1$  до $10$$10$ .

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

$\ln <!--\; \; -->x\approx <!--\; \approx \; -->\mathrm{2,302}59\lg <!--\; \; -->x,\ln <!--\; \; -->x=\frac{\lg <!--\; \; -->x}{\lg <!--\; \; -->e}=\ln <!--\; \; -->10\cdot <!--\; \cdot \; -->\lg <!--\; \; -->x=(\mathrm{2,302}59\dots <!--\; \dots \; -->)\lg <!--\; \; -->x$$\ln x\approx 2{,}30259\ \lg x,\quad \ln x={\frac {\lg x}{\lg e}}=\ln 10\cdot \lg x=(2{,}30259\dots )\lg x$ 

$\lg <!--\; \; -->x\approx <!--\; \approx \; -->\mathrm{0,434}29\ln <!--\; \; -->x,\lg <!--\; \; -->x=\frac{\ln <!--\; \; -->x}{\ln <!--\; \; -->10}=\lg <!--\; \; -->e\cdot <!--\; \cdot \; -->\ln <!--\; \; -->x=(\mathrm{0,434}29\dots <!--\; \dots \; -->)\ln <!--\; \; -->x$$\lg x\approx 0{,}43429\ \ln x,\quad \lg x={\frac {\ln x}{\ln 10}}=\lg e\cdot \ln x=(0{,}43429\dots )\ln x$ 

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

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

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

$\underset{x\to <!--\; \to \; -->0}{lim}\frac{{\log }_a<!--\; \; -->(1+x)}{x}={\log }_a<!--\; \; -->e=\frac{1}{\ln <!--\; \; -->a}$$\lim _{x\to 0}{\frac {\log _{a}(1+x)}{x}}=\log _{a}e={\frac {1}{\ln a}}$ 

$\underset{x\to <!--\; \to \; -->0^{+}}{lim}{x}^b{\log }_a<!--\; \; -->x=0(b>0)$$\lim _{x\to 0^{+}}x^{b}\log _{a}x=0\quad (b>0)$ 

$\underset{x\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}\frac{{\log }_a<!--\; \; -->x}{x^b}=0(b>0)$$\lim _{x\to \infty }{\frac {\log _{a}x}{x^{b}}}=0\quad (b>0)$ 

$\ln <!--\; \; -->x=\underset{n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}n\left(\sqrt[n]{x}-<!--\; -\; -->1\right)=\underset{n\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}n\left(1-<!--\; -\; -->\frac{1}{\sqrt[n]{x}}\right)$$\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=\underset{h\to <!--\; \to \; -->0}{lim}\frac{x^h-<!--\; -\; -->1}{h}$$\ln x=\lim _{h\to 0}{\frac {x^{h}-1}{h}}$ 

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

• Из теоремы Гельфонда следует, что если $a,b$$a,b$  — алгебраические числа ($a\ne <!--\; \ne \; -->1$$a\neq 1$ ), то ${\log }_a<!--\; \; -->b$$\log _{a}b$  либо рационален, либо трансцендентен. При этом логарифм рационален и равен $\frac{p}{q}$${p \over q}$  только в том случае, когда числа $a,b$$a,b$  связаны соотношением $a^p=b^q$$a^{p}=b^{q}$ .
• Сумма $\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}\frac{1}{k}$$\sum _{k=1}^{n}{\frac {1}{k}}$  (частичная сумма гармонического ряда) при больших $n$$n$  ведёт себя как $\ln <!--\; \; -->n+\mathrm{\gamma <!--\; \gamma \; -->}+O(n^{-<!--\; -\; -->1})$$\ln n+\gamma +O(n^{-1})$ , где $\mathrm{\gamma <!--\; \gamma \; -->}\approx <!--\; \approx \; -->\mathrm{0,577}2156649\dots <!--\; \dots \; -->$$\gamma \approx 0{,}5772156649\dots$  — постоянная Эйлера — Маскерони.

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

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

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

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

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

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

$z=r\cdot <!--\; \cdot \; -->e^{i\mathrm{\phi <!--\; \phi \; -->}}$$z=r\cdot e^{i\varphi }$ 

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

$\mathrm{L}\mathrm{n}z=\ln <!--\; \; -->r+i\left(\mathrm{\phi <!--\; \phi \; -->}+2\mathrm{\pi <!--\; \pi \; -->}k\right)$$\mathrm {Ln} \,z=\ln r+i\left(\varphi +2\pi k\right)$ 

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

Комплексный логарифм $\mathrm{L}\mathrm{n}z$$\mathrm {Ln} \,z$  существует для любого $z\ne <!--\; \ne \; -->0$$z\neq 0$ , и его вещественная часть определяется однозначно, в то время как мнимая часть имеет бесконечное множество значений, различающихся на целое кратное $2\mathrm{\pi <!--\; \pi \; -->}$$2\pi$ .

 

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

Из формулы видно, что у одного и только одного из значений мнимая часть находится в интервале $(-<!--\; -\; -->\mathrm{\pi <!--\; \pi \; -->},\mathrm{\pi <!--\; \pi \; -->}]$$(-\pi ,\pi ]$ . Это значение называется главным значением комплексного натурального логарифма. Соответствующая (уже однозначная) функция называется главной ветвью логарифма и обозначается $\ln z$$\ln \,z$ . Иногда через $\ln z$$\ln \,z$  также обозначают значение логарифма, лежащее не на главной ветви. Если $z$$z$  — вещественное число, то главное значение его логарифма совпадает с обычным вещественным логарифмом.

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

$\mathrm{Re}<!--\; \; -->(\ln <!--\; \; -->(x+iy))=\frac{1}{2}\ln <!--\; \; -->(x^2+y^2)$$\operatorname {Re} (\ln(x+iy))={\frac {1}{2}}\ln(x^{2}+y^{2})$ 

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

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

$\mathrm{L}\mathrm{n}(-<!--\; -\; -->x)=\ln <!--\; \; -->x+i\mathrm{\pi <!--\; \pi \; -->}(2k+1)(x>0,k=0,\pm <!--\; \pm \; -->1,\pm <!--\; \pm \; -->2\dots <!--\; \dots \; -->)$$\mathrm {Ln} (-x)=\ln x+i\pi (2k+1)\qquad (x>0,\ k=0,\pm 1,\pm 2\dots )$ 

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

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

$\ln <!--\; \; -->(1)=0;\mathrm{L}\mathrm{n}(1)=2k\mathrm{\pi <!--\; \pi \; -->}i$$\ln(1)=0;\;\mathrm {Ln} (1)=2k\pi i$ 

$\ln <!--\; \; -->(-<!--\; -\; -->1)=i\mathrm{\pi <!--\; \pi \; -->};\mathrm{L}\mathrm{n}(-<!--\; -\; -->1)=(2k+1)i\mathrm{\pi <!--\; \pi \; -->}$$\ln(-1)=i\pi ;\;\mathrm {Ln} (-1)=(2k+1)i\pi$ 

$\ln <!--\; \; -->(i)=i\frac{\mathrm{\pi <!--\; \pi \; -->}}{2};\mathrm{L}\mathrm{n}(i)=i\frac{4k+1}{2}\mathrm{\pi <!--\; \pi \; -->}$$\ln(i)=i{\frac {\pi }{2}};\;\mathrm {Ln} (i)=i{\frac {4k+1}{2}}\pi$ 

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

$i\mathrm{\pi <!--\; \pi \; -->}=\ln <!--\; \; -->(-<!--\; -\; -->1)=\ln <!--\; \; -->((-<!--\; -\; -->i{)}^2)=2\ln <!--\; \; -->(-<!--\; -\; -->i)=2(-<!--\; -\; -->i\mathrm{\pi <!--\; \pi \; -->}/2)=-<!--\; -\; -->i\mathrm{\pi <!--\; \pi \; -->}$$i\pi =\ln(-1)=\ln((-i)^{2})=2\ln(-i)=2(-i\pi /2)=-i\pi$ 

— ошибка, которая, однако, косвенно указывает на то, что значения, отличающиеся на $2i\mathrm{\pi <!--\; \pi \; -->}$$2i\pi$ , являются логарифмами одного и того же числа. Отметим, что слева стоит главное значение логарифма, а справа — значение из нижележащей ветви ($k=-<!--\; -\; -->1$$k=-1$ ). Причина ошибки — неосторожное использование свойства ${\log }_a<!--\; \; -->(b^p)=p{\log }_a<!--\; \; -->b$$\log _{a}{(b^{p})}=p~\log _{a}b$ , которое, вообще говоря, подразумевает в комплексном случае весь бесконечный набор значений логарифма, а не только главное значение.

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

 

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

В комплексном анализе вместо рассмотрения многозначных функций на комплексной плоскости принято иное решение: рассматривать функцию как однозначную, но определённую не на плоскости, а на более сложном многообразии, которое называется римановой поверхностью. Комплексная логарифмическая функция также относится к этой категории: её образ (см. рисунок) состоит из бесконечного числа ветвей, закрученных в виде спирали. Эта поверхность непрерывна и односвязна. Единственный нуль у функции (первого порядка) получается при $z=1$$z=1$ . Особые точки: $z=0$$z=0$  и $z=\mathrm{\infty <!--\; \infty \; -->}$$z=\infty$  (точки разветвления бесконечного порядка).

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

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

Логарифм комплексного числа также может быть определён как аналитическое продолжение вещественного логарифма на всю комплексную плоскость. Пусть кривая $\mathrm{\Gamma <!--\; \Gamma \; -->}$$\Gamma$  начинается в единице, не проходит через нуль и не пересекает отрицательную часть вещественной оси. Тогда главное значение логарифма в конечной точке $w$$w$  кривой $\mathrm{\Gamma <!--\; \Gamma \; -->}$$\Gamma$  можно определить по формуле:

$\ln <!--\; \; -->w=\underset{\mathrm{\Gamma <!--\; \Gamma \; -->}}{\int <!--\; \int \; -->}\frac{du}{u}$$\ln w=\int \limits _{\Gamma }{du \over u}$ 

Если $\mathrm{\Gamma <!--\; \Gamma \; -->}$$\Gamma$  — простая кривая (без самопересечений), то для чисел, лежащих на ней, логарифмические тождества можно применять без опасений, например:

$\ln <!--\; \; -->(wz)=\ln <!--\; \; -->w+\ln <!--\; \; -->z,\mathrm{\forall <!--\; \forall \; -->}z,w\in <!--\; \in \; -->\mathrm{\Gamma <!--\; \Gamma \; -->}:<!--\; :\; -->zw\in <!--\; \in \; -->\mathrm{\Gamma <!--\; \Gamma \; -->}$$\ln(wz)=\ln w+\ln z,~\forall z,w\in \Gamma \colon zw\in \Gamma$ 

Главная ветвь логарифмической функции непрерывна и дифференцируема на всей комплексной плоскости, кроме отрицательной части вещественной оси, на которой мнимая часть скачком меняется на $2\mathrm{\pi <!--\; \pi \; -->}$$2\pi$ . Но этот факт есть следствие искусственного ограничения мнимой части главного значения интервалом $(-<!--\; -\; -->\mathrm{\pi <!--\; \pi \; -->},\mathrm{\pi <!--\; \pi \; -->}]$$(-\pi ,\pi ]$ . Если рассмотреть все ветви функции, то непрерывность имеет место во всех точках, кроме нуля, где функция не определена. Если разрешить кривой $\mathrm{\Gamma <!--\; \Gamma \; -->}$$\Gamma$  пересекать отрицательную часть вещественной оси, то первое такое пересечение переносит результат с ветви главного значения на соседнюю ветвь, а каждое следующее пересечение вызывает аналогичное смещение по ветвям логарифмической функции (см. рисунок).

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

$\frac{d}{dz}\ln <!--\; \; -->z=\frac{1}{z}$${\frac {d}{dz}}\ln z={1 \over z}$ 

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

$\underset{S}{\oint <!--\; \oint \; -->}\frac{dz}{z}=2\mathrm{\pi <!--\; \pi \; -->}i$$\oint \limits _{S}{dz \over z}=2\pi i$ 

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

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

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

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

$\mathrm{Arcsin}<!--\; \; -->z=-<!--\; -\; -->i\mathrm{Ln}<!--\; \; -->(iz+\sqrt{1-<!--\; -\; -->z^2})$$\operatorname {Arcsin} z=-i\operatorname {Ln} (iz+{\sqrt {1-z^{2}}})$ 

$\mathrm{Arccos}<!--\; \; -->z=-<!--\; -\; -->i\mathrm{Ln}<!--\; \; -->(z+i\sqrt{1-<!--\; -\; -->z^2})$$\operatorname {Arccos} z=-i\operatorname {Ln} (z+i{\sqrt {1-z^{2}}})$ 

$\mathrm{Arctg}<!--\; \; -->z=-<!--\; -\; -->\frac{i}{2}\ln <!--\; \; -->\frac{1+zi}{1-<!--\; -\; -->zi}+k\mathrm{\pi <!--\; \pi \; -->}(z\ne <!--\; \ne \; -->\pm <!--\; \pm \; -->i)$$\operatorname {Arctg} z=-{\frac {i}{2}}\ln {\frac {1+zi}{1-zi}}+k\pi \;(z\neq \pm i)$ 

$\mathrm{Arcctg}<!--\; \; -->z=-<!--\; -\; -->\frac{i}{2}\ln <!--\; \; -->\frac{zi-<!--\; -\; -->1}{zi+1}+k\mathrm{\pi <!--\; \pi \; -->}(z\ne <!--\; \ne \; -->\pm <!--\; \pm \; -->i)$$\operatorname {Arcctg} z=-{\frac {i}{2}}\ln {\frac {zi-1}{zi+1}}+k\pi \;(z\neq \pm i)$ 

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

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

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

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

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

Исторический очеркПравить

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

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

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

 

Логарифмическая таблица М. Штифеля, «Arithmetica integra», 1544

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

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

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

 

Джон Непер

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

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

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

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

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

$\frac{dx}{x}=-<!--\; -\; -->\frac{dy}{M}$${\frac {dx}{x}}=-{\frac {dy}{M}}$ ,

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

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

$\mathrm{LogNap}<!--\; \; -->(x)=M\cdot <!--\; \cdot \; -->(\ln <!--\; \; -->(M)-<!--\; -\; -->\ln <!--\; \; -->(x))$$\operatorname {LogNap} (x)=M\cdot (\ln(M)-\ln(x))$ 

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

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

$\mathrm{LogNap}<!--\; \; -->(a\cdot <!--\; \cdot \; -->b)=\mathrm{LogNap}<!--\; \; -->(a)+\mathrm{LogNap}<!--\; \; -->(b)-<!--\; -\; -->\mathrm{LogNap}<!--\; \; -->(1)$$\operatorname {LogNap} (a\cdot b)=\operatorname {LogNap} (a)+\operatorname {LogNap} (b)-\operatorname {LogNap} (1)$ 

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

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

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

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

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

До конца XIX века общепринятого обозначения логарифма не было, основание a указывалось то левее и выше символа log, то над ним. В конечном счёте математики пришли к выводу, что наиболее удобное место для основания — ниже строки, после символа log: ${\log }_a<!--\; \; -->b$$\log _{a}b$ . Краткие обозначения наиболее употребительных видов логарифма — $\lg ,\ln$$\lg ,\;\ln$  для десятичного и натурального — появились намного раньше сразу у нескольких авторов и закрепились окончательно также к концу XIX века.

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

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

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

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

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

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

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

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

Теория чиселПравить

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

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

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

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

Задача легко решается с применением логарифмов. Рассмотрим для примера 44-е число Мерсенна $M=2^{32582657}-<!--\; -\; -->1$$M=2^{32582657}-1$ .

$\lg <!--\; \; -->M\approx <!--\; \approx \; -->32582657\cdot <!--\; \cdot \; -->\lg <!--\; \; -->2\approx <!--\; \approx \; -->\mathrm{9808357,095}43$$\lg M\approx 32582657\cdot \lg 2\approx 9808357{,}09543$ 

Следовательно, мантисса результата равна ${10}^{\mathrm{0,095}43}\approx <!--\; \approx \; -->1,25.$$10^{0{,}09543}\approx 1{,}25.$  Окончательно получим:

$M\approx <!--\; \approx \; -->1,25\cdot <!--\; \cdot \; -->{10}^{9808357}.$$M\approx 1{,}25\cdot 10^{9808357}.$ 

Математический анализПравить

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

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

$\int <!--\; \int \; -->\mathrm{tg}<!--\; \; -->xdx=-<!--\; -\; -->\ln <!--\; \; -->|\cos <!--\; \; -->x|+C;\int <!--\; \int \; -->\frac{dx}{\sqrt{x^2+a}}=-<!--\; -\; -->\ln <!--\; \; -->\left|x+\sqrt{x^2+a}\right|+C$$\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$ 

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

 

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

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

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

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

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

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

В информатике: единица измерения информации (бит). Например, для хранения в компьютере натурального числа $N$$N$  (в обычном для компьютера двоичном формате) понадобится ${\log }_2<!--\; \; -->N+1$$\log _{2}N+1$  битов.

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

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

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

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

 

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

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

$\frac{\ln <!--\; \; -->3}{\ln <!--\; \; -->2}\approx <!--\; \approx \; -->1,58$${\frac {\ln 3}{\ln 2}}\approx 1{,}58$ 

Механика и физикаПравить

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

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

Химия и физическая химияПравить

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

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

Теория музыкиПравить

Чтобы решить вопрос о том, на сколько частей делить октаву, требуется отыскать рациональное приближение для ${\log }_2<!--\; \; -->\frac{3}{2}\approx <!--\; \approx \; -->\mathrm{0,585}$$\log _{2}{\frac {3}{2}}\approx 0{,}585$ . Если разложить это число в непрерывную дробь, то третья подходящая дробь (7/12) позволяет обосновать классическое деление октавы на 12 полутонов.

Психология и физиологияПравить

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

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

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

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

БиологияПравить

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

•  

  Раковина наутилуса
•  

  Расположение семян на подсолнечнике
•  

  Цветная капуста Романеско

РазноеПравить

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

Логарифмическая шкалаПравить

 

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

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

• Акустика — уровень звукового давления и интенсивность звука (децибелы).
• Отношение сигнал/шум в радиотехнике и электросвязи.
• Астрономия — шкала яркости звёзд.
• Химия — активность водородных ионов (pH).
• Сейсмология — шкала Рихтера.
• Оптическая плотность — мера поглощения света прозрачными объектами или отражения света непрозрачными объектами.
• Фотографическая широта — характеристика светочувствительного материала.
• Шкала выдержек и диафрагм в фотографии.
• Теория музыки — нотная шкала, по отношению к частотам нотных звуков.
• Сельское хозяйство — основная гидрофизическая характеристика почвы.
• Теория управления — логарифмическая амплитудно-фазовая частотная характеристика.

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

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

 

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

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

     $y={10}^x$$y=10^{x}$       $y=x$$y=x$       $y=\ln <!--\; \; -->x$$y=\ln x$ 

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

 

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

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

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

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

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

 

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

Вариации и обобщенияПравить

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

• Можно ввести логарифмическую функцию для кватернионов (см. функции кватернионного переменного). Однако большинство алгебраических свойств логарифма при этом теряется — например, логарифм произведения не равен сумме логарифмов, и это снижает практическую ценность такого обобщения.
• Если $a,b$$a,b$  — элементы конечной абелевой мультипликативной группы, то логарифм в указанном смысле (если он существует) называется дискретным. Чаще всего он рассматривается для конечной группы кольца вычетов по некоторому модулю, где называется индексом по этому модулю и играет важную роль в криптографии. В циклических группах логарифм существует, если его основание является первообразным корнем этой группы.
• Матричный логарифм^[en]: можно определить логарифмы также для матриц.
• Можно определить p-адический логарифм^[en] для некоторых p-адических чисел.
• Для работы с очень большими числами вводится понятие суперлогарифма, связанное не с возведением в степень, а с операцией более высокого порядка: тетрацией.

См. такжеПравить

• Антилогарифм
• Логарифмический вычет
• Логарифмический признак сходимости
• Логарифмическая бумага
• Полилогарифм
• Порядок величины
• Список интегралов от логарифмических функций

ЛитератураПравить

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

• Выгодский М. Я. Справочник по элементарной математике. — М.: Наука, 1978.
  • Переиздание: АСТ, 2003, ISBN 5-17-009554-6.
• Зайцев В. В., Рыжков В. В., Сканави М. И. Элементарная математика. Повторительный курс. — Издание третье, стереотипное. — М.: Наука, 1976. — 591 с.
• Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров). — М.: Наука, 1973. — 720 с.
• Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1967. — 304 с.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — изд. 6-е. — М.: Наука, 1966. — 680 с.
• Шахмейстер А. Х. Логарифмы. Пособие для школьников, абитуриентов и преподавателей. — изд. 5-е. — СПб.: МЦНМО, 2016. — 288 с. — ISBN 978-5-4439-0648-5.

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

• Абельсон И. Б. Рождение логарифмов. — М.—Л.: Гостехиздат, 1948. — 231 с.
• Гиршвальд Л. Я. История открытия логарифмов. — Харьков: Изд-во Харьковского университета, 1952. — 33 с.
• Клейн Ф. Элементарная математика с точки зрения высшей. — М.: Наука, 1987. — Т. I. Арифметика. Алгебра. Анализ. — 432 с.
• Математика XVII столетия // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1970. — Т. II.
• Математика XVIII столетия // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1972. — Т. III.
• Колмогоров А. Н., Юшкевич А. П. (ред.). Математика XIX века. Геометрия. Теория аналитических функций. — М.: Наука, 1981. — Т. II.
• Успенский Я. В. Очерк истории логарифмов. — Петроград: Научное книгоиздательство, 1923. — 78 с.