До предела чисел. Эйлер. Математический анализ

Непер взял AB - 10⁷, что привело его к довольно сложным алгебраическим равенствам. Если N — число, a L — логарифм, то Непер вычислил N = 10⁷ (1-10^-7)^L. Мы получаем

Здесь уже появляется постоянная е, так как

(1 - 10-⁷)10^{7 ≈} 1/e.

Во многих старинных трактатах говорится о логарифмах Непера, или натуральных. Здесь мы имеем дело с путаницей, потому что натуральные логарифмы — это логарифмы по основанию е, в то время как все (почти) логарифмы Непера имеют основание 1/е. Это почти одно и то же, они различаются лишь знаком, а не абсолютным значением:

log_eN = -log_1/eN.

Сегодня для каждого положительного вещественного числа N, когда N - a^L, мы говорим, что L — логарифм N по основанию а, и записываем: L = log_a N.

Если мы задумаемся, то увидим, что логарифм основания всегда равен 1, и это его основополагающее свойство.

Самые распространенные основания — это а = 10,а = 2 и а- = е. Логарифмы по основанию 10 называются десятичными, по основанию 2 — двоичными, по основанию е — натуральными. Для натуральных логарифмов используется знак InN вместо log N.

Важным аспектом логарифма является то, что с его помощью упрощаются арифметические вычисления. Например:

Ν₁ · Ν₂ = a^L₁ · a^L₂ = a^L₁+L₂

⇒ log_a(N₁ · N₂) = L₁ + L₂ = log_aN₁ + log_aN₂.

Таким образом, логарифм произведения равен сумме логарифмов его множителей.

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

2. БАЗЕЛЬСКАЯ ЗАДАЧА

Проследим за хитроумными рассуждениями Эйлера, но не будем забывать, что в некоторых местах они должны быть доработаны. Позже это сделал сам ученый. Возьмем знаменитый ряд Тейлора:

sinx = x - x³/3! + x⁵/5! - x⁷/7! + ...

Мы знаем, что он равен нулю при х равном нулю, то есть если sinx = 0, когда х = 0, ± π, ±2π, ±3π...

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

x - x³/3! + x⁵/5! - x⁷/7! + ... = K(x)(x - π)(x + π)(x - 2π)(x + 2π)...

К — неизвестная константа. Производя вычисления в правой части равенства:

x - x³/3! + x⁵/5! - x⁷/7! + ... = K(x)(x² - π²)(x² - 4π²)(x - 9π²)...

следует отметить, что каждый член вида х² - λ²π² справа равен нулю. А это происходит, только если

1 - х²/(λ²π²) = 0.

Запишем члены правого выражения в следующей форме:

x - x³/3! + x⁵/5! - x⁷/7! + ... = K(x)(1 - x²/π²)(1 - x²/4π²)(1 - x²/9π²)...

Теперь разделим на x:

sinx/x = 1 - x²/3! + x⁴/5! - x⁶/7! + ... = K(1 - x²/π²)(1 - x²/4π²)(1 - x²/9π²)...

И, поскольку lim_x→0(sinx/x) = 1, получим, что K = 1. Итак:

1 - x²/3! + x⁴/5! - x⁶/7! + ... = (1 - x²/π²)(1 - x²/4π²)(1 - x²/9π²)...

Этот ряд равен бесконечному произведению. Для Эйлера это не проблема. Подсчитаем порядок произведения и выделим члены произведения с x² в правой части:

- x²/3! = -x²/π² - x²/4π² - x²/9π² - ...

Разделив обе части на -x²/π², получим

π²/6 = 1+ 1/2² + 1/2³ + 1/4² + ...,

что и требовалось доказать.

3. ДЗЕТА-ФУНКЦИЯ И ПРОСТЫЕ ЧИСЛА

Эйлер был первым математиком, доказавшим тождественность ζ($) как ряда степеней и ζ($) как бесконечного произведения. Назовем р_к простое число, занимающее место k в ряде. Получим

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

Для тех, кто знаком со сложным анализом, дзета-функция может быть расширена до мероморфной во всей комплексной области с простым полюсом s = 1, где остаток равен 1. Это дзета-функция, о которой говорил Риман и которая стала предметом его знаменитой гипотезы.

4. УРАВНЕНИЯ ЭЙЛЕРА — ЛАГРАНЖА

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

Обозначим через S функционал (функцию функций), к которому мы применим вариационное исчисление, а через x_1, х₂ — экстремумы неизвестной функции:

S(ƒ) = ∫_x1^x2L(x₁,ƒ(x),ƒ'(x))dx.