Натуральный логарифм
Натуральный логарифм — логарифм по основанию e, где — трансцендентная константа, равная приблизительно 2,718. Он обозначается как , или иногда просто , если основание подразумевается[1]. Обычно число под знаком логарифма вещественное, но можно расширить это понятие и на комплексные числа.
Из определения следует, что логарифмическая зависимость есть обратная функция для экспоненты , поэтому их графики симметричны относительно биссектрисы первого и третьего квадрантов (см. рисунок справа). Как и экспонента, логарифмическая функция относится к категории трансцендентных функций.
Натуральные логарифмы полезны для решения алгебраических уравнений, в которых неизвестная присутствует в качестве показателя степени, они незаменимы в математическом анализе.
В приложениях натуральный логарифм участвует в математическом описании таких процессов, в которых скорость изменения некоторого количества в каждый момент обратно пропорциональна самому количеству. Например, логарифмы используются для нахождения постоянной распада для известного периода полураспада радиоактивного вещества: чем больше атомов распадается, тем меньше их становится и тем медленнее идёт дальнейший процесс. Натуральные логарифмы играют важную роль во многих областях математики и прикладных наук, применяются в сфере финансов для решения различных задач, (например, нахождение сложных процентов).
Определение
[править | править код]Натуральный логарифм числа — это показатель степени, в которую нужно возвести число e, чтобы получить . Другими словами, натуральный логарифм есть решение уравнения
Примеры:
- , потому что ;
- , потому что .
Вещественный натуральный логарифм
[править | править код]Натуральный логарифм для вещественного числа определён и однозначен для любого положительного числа
Натуральный логарифм может быть также определён геометрически для любого положительного вещественного числа a как площадь под кривой на промежутке . Простота этого определения, которое согласуется со многими другими формулами, в которых применяется данный логарифм, объясняет происхождение названия «натуральный».
Свойства
[править | править код]Из определения логарифма следует основное логарифмическое тождество[2]:
Приведём сводку формул в предположении, что все значения положительны[3]:
Формула | Пример | |
---|---|---|
Произведение | ||
Частное | ||
Степень | ||
Корень |
Другие свойства:
- Из равенства двух вещественных логарифмов следует равенство логарифмируемых выражений.
- С возрастанием аргумента возрастает и логарифм: если то
- если
Связь с логарифмами по другому основанию
[править | править код]Логарифм может быть определён для любого положительного основания, отличного от , а не только для , но логарифмы для других оснований отличаются от натурального логарифма только постоянным множителем.
Логарифм по основанию можно преобразовать[4] в натуральный логарифм и обратно:
Связь десятичного () и натурального логарифмов[5]:
Связь двоичного () и натурального логарифмов:
Логарифмическая функция
[править | править код]Если рассматривать логарифмируемое число как переменную, мы получим логарифмическую функцию . Она определена при . Область значений: . Эта кривая часто называется логарифмикой[6]. Из формулы замены основания логарифма видно, что графики логарифмических функций с разными основаниями, бо́льшими единицы, отличаются один от другого только масштабом по оси ; графики для оснований, меньших единицы, являются их зеркальным отражением относительно горизонтальной оси.
Функция является строго возрастающей, она непрерывна и неограниченно дифференцируема всюду в своей области определения.
Ось ординат () является вертикальной асимптотой, поскольку:
Производная натуральной логарифмической функции равна:
Простота этой формулы — одна из причин широкого использования именно натурального логарифма в анализе и при решении дифференциальных уравнений.
Проинтегрировав формулу для производной в интервале от до , мы получаем:
Другими словами, натуральный логарифм равен площади под гиперболой для указанного интервала .
С точки зрения общей алгебры, логарифмическая функция осуществляет (единственно возможный) изоморфизм мультипликативной группы положительных вещественных чисел и аддитивной группы всех вещественных чисел. Другими словами, логарифмическая функция есть единственное (определённое для всех положительных значений аргумента) непрерывное решение функционального уравнения[7]:
Аналитические свойства функции
[править | править код]Из формулы для производной натурального логарифма следует, что первообразная для гиперболы имеет вид:
где — произвольная константа интегрирования. Поскольку функция состоит из двух ветвей (одна для положительных, другая для отрицательных ), семейство первообразных для тоже состоит из двух подсемейств, причём константы интегрирования у них независимы одна от другой.
Неопределённый интеграл от натурального логарифма легко найти интегрированием по частям:
В математическом анализе и теории дифференциальных уравнений большую роль играет понятие логарифмической производной функции :
Методы вычисления логарифма
[править | править код]Разложим натуральный логарифм в ряд Тейлора вблизи единицы:
(Ряд 1) |
Этот ряд, называемый «рядом Меркатора», сходится при . В частности:
Формула ряда 1 непригодна для практического расчёта логарифмов из-за того, что ряд сходится очень медленно и только в узком интервале. Однако нетрудно получить из неё более удобную формулу:
(Ряд 2) |
Этот ряд сходится быстрее, а кроме того, левая часть формулы теперь может выразить логарифм любого положительного числа , ибо тогда по абсолютной величине меньше единицы. Данный алгоритм уже пригоден для реальных численных расчётов значений логарифмов, однако не является наилучшим с точки зрения трудоёмкости.
Для вычисления натурального логарифма с большим количеством цифр точности ряд Тейлора не является эффективным, поскольку его сходимость медленная. Альтернативой является использование метода Ньютона, чтобы инвертировать в экспоненциальную функцию, ряд которой сходится быстрее.
Альтернативой для очень высокой точности расчёта является формула:[8][9]:
где обозначает арифметико-геометрическое среднее 1 и 4/s, и
m выбрано так, что p знаков точности достигается. (В большинстве случаев значение 8 для m вполне достаточно.) В самом деле, если используется этот метод, может быть применена инверсия Ньютона натурального логарифма для эффективного вычисления экспоненциальной функции. Константы ln 2 и пи могут быть предварительно вычислены до желаемой точности, используя любой из известных быстро сходящихся рядов.
Вычислительная сложность натуральных логарифмов (с помощью арифметико-геометрического среднего) равна O(M(n) ln n). Здесь n — число цифр точности, для которой натуральный логарифм должен быть оценен, а M(n) — вычислительная сложность умножения двух n-значных чисел.
Полезные пределы
[править | править код]Приведём несколько полезных пределов, связанных с логарифмами[10]:
Трансцендентность
[править | править код]Из теоремы Линдемана — Вейерштрасса (1885) вытекает следующее следствие: если аргумент есть алгебраическое число, отличное от единицы, то значение есть не только иррациональное, но и трансцендентное число[11].
Непрерывные дроби
[править | править код]Хотя для представления логарифма отсутствуют классические непрерывные дроби, но можно использовать несколько «обобщённых непрерывных дробей», в том числе:
История
[править | править код]Впервые натуральные логарифмы в современном понимании появились в 1619 году, когда лондонский учитель математики Джон Спайдел переиздал логарифмические таблицы Непера, исправленные и дополненные так, что они фактически стали таблицами натуральных логарифмов[12]. В 1649 году бельгийский математик Грегуар де Сен-Венсан показал, что площадь под гиперболой меняется по логарифмическому закону, и предложил называть этот вид логарифмов «гиперболическим»[13].
Термин «натуральный логарифм» ввели в употребление Пьетро Менголи (1659 год) и Николас Меркатор в фундаментальном труде «Logarithmotechnia» (1668)[14][15]. Там же Меркатор описал разложение натурального логарифма в «ряд Меркатора».
Первые попытки распространить логарифмы на комплексные числа предпринимали на рубеже XVII—XVIII веков Лейбниц и Иоганн Бернулли, однако создать целостную теорию им не удалось — в первую очередь по той причине, что тогда ещё не было ясно определено само понятие логарифма[16]. Дискуссия по этому поводу велась сначала между Лейбницем и Бернулли, а в середине XVIII века — между Д’Аламбером и Эйлером. Бернулли и Д’Аламбер считали, что следует определить , в то время как Лейбниц доказывал, что логарифм отрицательного числа есть мнимое число[16]. Полная теория логарифмов отрицательных и комплексных чисел была опубликована Эйлером в 1747—1751 годах и по существу ничем не отличается от современной[17].
Комплексные логарифмы
[править | править код]Комплексный логарифм — аналитическая функция, получаемая распространением вещественного логарифма на всю комплексную плоскость (кроме нуля). В отличие от вещественного случая, функция комплексного логарифма многозначна.
Определение. Натуральный логарифм комплексного числа представляет собой[6] решение уравнения
Ненулевое число можно представить в показательной форме:
- где — произвольное целое число
Тогда находится по формуле[18]:
Здесь — вещественный логарифм. Отсюда вытекает:
Комплексный логарифм существует для любого , и его вещественная часть определяется однозначно, в то время как мнимая часть имеет бесконечное множество значений, различающихся на целое кратное |
Из формулы видно, что у одного и только одного из значений мнимая часть находится в интервале . Это значение называется главным значением комплексного натурального логарифма[6]. Соответствующая (уже однозначная) функция называется главной ветвью логарифма и обозначается . Если — вещественное число, то главное значение его логарифма совпадает с обычным вещественным логарифмом.
Логарифм отрицательного числа находится по формуле[18]:
Примеры:
Следует быть осторожным при преобразованиях комплексных логарифмов, принимая во внимание, что они многозначны, и поэтому из равенства логарифмов каких-либо выражений не следует равенство этих выражений. Пример ошибочного рассуждения:
- — явная ошибка.
Отметим, что слева стоит главное значение логарифма, а справа — значение из нижележащей ветви (). Причина ошибки — неосторожное использование свойства , которое, вообще говоря, подразумевает в комплексном случае весь бесконечный набор значений логарифма, а не только главное значение.
-
-
-
-
Суперпозиция трёх предыдущих графиков
Функция натурального логарифма комплексного числа может быть также определена как аналитическое продолжение вещественного логарифма на всю комплексную плоскость, кроме нуля. Пусть кривая начинается в единице, заканчивается в z, не проходит через нуль и не пересекает отрицательную часть вещественной оси. Тогда главное значение логарифма в конечной точке кривой можно определить по формуле[19]:
Некоторые применения
[править | править код]Теория чисел
[править | править код]Распределение простых чисел асимптотически подчиняется простым законам[20]:
- Число простых чисел в интервале от 1 до приблизительно равно .
- k-е простое число приблизительно равно .
Математический анализ
[править | править код]Логарифмы нередко возникают при нахождении интегралов и при решении дифференциальных уравнений. Примеры:
Теория вероятностей и статистика
[править | править код]В статистике и теории вероятностей логарифм входит в ряд практически важных вероятностных распределений. Например, логарифмическое распределение[21] используется в генетике и физике. Логнормальное распределение часто встречается в ситуациях, когда исследуемая величина есть произведение нескольких независимых положительных случайных переменных[22].
Для оценки неизвестного параметра широко применяются метод максимального правдоподобия и связанная с ним логарифмическая функция правдоподобия[23].
Флуктуации при случайном блуждании описывает закон Хинчина-Колмогорова.
Фракталы и размерность
[править | править код]Логарифмы помогают выразить размерность Хаусдорфа для фрактала[24]. Например, рассмотрим треугольник Серпинского, который получается из равностороннего треугольника последовательным удалением аналогичных треугольников, линейный размер каждого из которых на каждом этапе уменьшается вдвое (см. рисунок). Размерность результата определяется по формуле:
Механика и физика
[править | править код]Принцип Больцмана в статистической термодинамике — одна из важнейших функций состояния термодинамической системы, характеризующая степень её хаотичности.
Формула Циолковского применяется для расчёта скорости ракеты.
Химия и физическая химия
[править | править код]Уравнение Нернста связывает окислительно-восстановительный потенциал системы с активностями веществ, входящих в электрохимическое уравнение, а также со стандартными электродными потенциалами окислительно-восстановительных пар.
Логарифм используется в определениях таких величин, как показатель константы автопротолиза (самоионизации молекулы) и водородный показатель (кислотности раствора).
Психология и физиология
[править | править код]Человеческое восприятие многих явлений хорошо описывается логарифмическим законом.
Закон Вебера — Фехнера — эмпирический психофизиологический закон, заключающийся в том, что интенсивность ощущения пропорциональна логарифму интенсивности стимула[25] — громкости звука[26], яркости света.
Закон Фиттса: чем дальше или точнее выполняется движение организма, тем больше коррекции необходимо для его выполнения и тем дольше эта коррекция исполняется[27].
Время на принятие решения при наличии выбора можно оценить по закону Хика[англ.][28].
Примечания
[править | править код]- ↑ Mortimer, Robert G. Mathematics for physical chemistry (неопр.). — 3rd. — Academic Press, 2005. — С. 9. — ISBN 0-125-08347-5., Extract of page 9 Архивная копия от 24 июня 2016 на Wayback Machine
- ↑ Алгебра и начала анализа. Учебник для 10-11 классов. 12-е издание, М.: Просвещение, 2002. Стр. 233.
- ↑ Выгодский М. Я. Справочник по элементарной математике, 1978, с. 187.
- ↑ Корн Г., Корн Т. Справочник по математике, 1973, с. 34.
- ↑ Выгодский М. Я. Справочник по элементарной математике, 1978, с. 189..
- ↑ 1 2 3 Логарифмическая функция. // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3. Архивировано 16 октября 2013 года.
- ↑ Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, 1966, Том I, стр. 159-160.
- ↑ Sasaki T., Kanada Y. Practically fast multiple-precision evaluation of log(x) (англ.) // Journal of Information Processing. — 1982. — Vol. 5, iss. 4. — P. 247—250. Архивировано 29 июля 2011 года.
- ↑ Ahrendt, Timm. Fast computations of the exponential function. Lecture notes in computer science (неопр.). — 1999. — Т. 1564. — С. 302—312. — doi:10.1007/3-540-49116-3_28.
- ↑ Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, 1966, Том I, стр. 164.
- ↑ Рудио Ф. О квадратуре круга (Архимед, Гюйгенс, Ламберт, Лежандр). — Изд. 3-е. — М.—Л.: ОГИЗ, 1936. — С. 89. — 237 с. — (Классики естествознания).
- ↑ Cajori, Florian. A History of Mathematics, 5th ed (неопр.). — AMS Bookstore, 1991. — С. 152. — ISBN 0821821024.
- ↑ Flashman, Martin. Estimating Integrals using Polynomials . Дата обращения: 30 июня 2011. Архивировано 11 февраля 2012 года.
- ↑ Математика XVII столетия // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1970. — Т. II. — С. 63.
- ↑ J J O'Connor and E F Robertson. The number e . The MacTutor History of Mathematics archive (сентябрь 2001). Дата обращения: 30 июня 2011. Архивировано 11 февраля 2012 года.
- ↑ 1 2 История математики, том III, 1972, с. 325-328..
- ↑ Рыбников К. А. История математики. В двух томах. — М.: Изд. МГУ, 1963. — Т. II. — С. 27, 230—231..
- ↑ 1 2 Корн Г., Корн Т. Справочник по математике, 1973, с. 623..
- ↑ Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной, 1967, с. 45-46, 99-100..
- ↑ Дербишир, Джон. Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. — Астрель, 2010. — 464 с. — ISBN 978-5-271-25422-2.
- ↑ Weisstein, Eric W. Log-Series Distribution (англ.). MathWorld. Дата обращения: 26 апреля 2012. Архивировано 11 мая 2012 года.
- ↑ Логарифмически нормальное распределение // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3. Архивировано 16 октября 2013 года.
- ↑ Максимального правдоподобия метод // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3. Архивировано 16 октября 2013 года.
- ↑ Иванов М. Г. Размер и размерность // «Потенциал», август 2006.
- ↑ Головин С. Ю. ЗАКОН ВЕБЕРА-ФЕХНЕРА // Словарь практического психолога . Дата обращения: 17 апреля 2012. Архивировано 11 июня 2013 года.
- ↑ Ирина Алдошина. Основы психоакустики // Звукорежиссёр. — 1999. — Вып. 6. Архивировано 24 апреля 2012 года.
- ↑ Закон Фиттса // Психологическая энциклопедия . Дата обращения: 17 апреля 2012. Архивировано из оригинала 27 мая 2012 года.
- ↑ Welford, A. T. Fundamentals of skill. — London: Methuen, 1968. — P. 61. — ISBN 978-0-416-03000-6.
Литература
[править | править код]- Выгодский М. Я. Справочник по элементарной математике. — М.: Наука, 1978.
- Переиздание: АСТ, 2003, ISBN 5-17-009554-6.
- Математика XVIII столетия // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1972. — Т. III.
- Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров). — М.: Наука, 1973. — 720 с.
- Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1967. — 304 с.
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — изд. 6-е. — М.: Наука, 1966. — 680 с.
Ссылки
[править | править код]- "Разбираемся с натуральным логарифмом Архивная копия от 26 сентября 2013 на Wayback Machine" — перевод статьи Demystifying the Natural Logarithm (ln) | BetterExplained (англ.)