Суперлогарифм (Vrhyjlkigjnsb)

В математике суперлогари́фм — это одна из двух обратных функций тетрации.

Так же как возведение в степень имеет две обратных функции (корень и логарифм), так и тетрация имеет две обратных функции: суперкорень и суперлогарифм. Это обусловлено некоммутативностью гипероператора при $N>2$.

Определения

Суперлогарифм числа $b$ по основанию $a$, аналогично логарифму, определяется, как показатель тетрации основания $a$, при котором получается число $b$.

Обозначение: $\,\mathrm {slog} _{a}b$, произносится как «суперлогарифм $b$ по основанию $a$».

Суперлогарифм как решение уравнения

Для положительных чисел $a$ и $b$ суперлогарифм можно определить как одно из существующих решений уравнения:

${}^{x}a=b$; притом исходя из открытых теоретических проблем, суперлогарифм точно может принимать пока только чётные и нечётные значения (то есть они могут быть определены и вычислены). Для нечётного суперлогарифма числа $a$ и $b$ могут принимать любые положительные значения, — это объясняется тем, что функции вида $f(x)={}^{n}x,{\frac {n-1}{2}}\in \mathbb {N}$ при $x>0$ всюду возрастают (из-за отсутствия положительных точек экстремумов производных).

Для чётного же логарифма есть некоторые ограничения. Так, например, для $\,\mathrm {slog} _{a}b=2$ не существует такого $a$, чтобы выполнялось неравенство $b<e^{-{\frac {1}{e}}}$ (потому что число $e^{-{\frac {1}{e}}}$ является минимальным значением тетрации ${}^{2}b,b>0$). Однако, для $\,\mathrm {slog} _{a}b=4$ ограничение будет уже другим (и т. д.).

Итерированный логарифм

Положительный целочисленный суперлогарифм с точностью равен итерированному логарифму, например:$\,\mathrm {slog} _{2}16=\log _{2}^{*}{16}=1+\log _{2}^{*}{\log _{2}{16}}=1+\log _{2}^{*}{4}=1+1+\log _{2}^{*}{\log _{2}{4}}=2+\log _{2}^{*}{2}=2+1+\log _{2}^{*}{\log _{2}{2}}=3+\log _{2}^{*}{1}=3+0=3$

И действительно, ${}^{3}2=2^{2^{2}}=2^{4}=16.$

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

Суперлогарифм как функция Абеля

Суперлогарифмическая функция — это абелева функция, т.к. она является единственным решением функционального уравнения Абеля для $f(x)=a^{x}$:

$\alpha (f(x))=\alpha (x)+1,{\text{ }}f(x)=a^{x},{\text{ }}\alpha (x)={\text{slog}}_{a}x.$

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

$\operatorname {slog} _{b}(z)={\begin{cases}\operatorname {slog} _{b}(1)=0\\\operatorname {slog} _{b}(b^{z})=\operatorname {slog} _{b}(z)+1\end{cases}}$

Например, $\operatorname {slog} _{2}{65536}=\operatorname {slog} _{2}{2^{16}}=\operatorname {slog} _{2}{16}+1=\operatorname {slog} _{2}{2^{4}}+1=\operatorname {slog} _{2}{4}+2=\operatorname {slog} _{2}{2^{2}}+2=\operatorname {slog} _{2}{2}+3=4,$проверка:

${}^{4}2=2^{2^{2^{2}}}=2^{16}=65536.$

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

• Метод линейной аппроксимации Рубстова и Ромерио;
• Квадратичная аппроксимация Эндрю Роббинса;
• Регулярная абелева функция (Джордж Секереш);
• Метод итерированной функции Питера Уокера;
• Натуральный матричный подход Питера Уокера (затем обобщённый Эндрю Роббинсом).

Приближения

Метод линейной аппроксимации

Первыми авторами, нашедшими это приближение, были Константин Анатольевич Рубцов и Джиованни Ф. Ромерио (итал. Giovanni F. Romerio) (хотя конкретно данной формулы нет в их статье, она может быть выведена из их прототипа соответствующего алгоритма для вычислительного программного обеспечения — гиперкалькулятора). С другой стороны, линейная аппроксимация тетрации была найдена и раньше, например, Иоаннисом Галидакисом (греч. Ιωάννης Γαλιδάκης) (натуральная обратная линейная аппроксимация). Приближённое вычисление суперлогарифма данным методом сводится к выполнению следующего алгоритма:

$\operatorname {slog} _{b}(z)\approx {\begin{cases}\operatorname {slog} _{b}(b^{z})-1,{\text{ if }}z\leqslant 0\\-1+z,{\text{ if }}0<z\leqslant 1\\\operatorname {slog} _{b}{\log _{b}{z}}+1,{\text{ if }}1<z\end{cases}}$

Это кусочно-определённая непрерывная для всех действительных $z$ функция (подобно итерированному логарифму) с линейной "критической частью".

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

Метод квадратичной аппроксимации

Первым автором, опубликовавшим данное приближение, был Эндрю Роббинс (англ. Andrew Robbins). Этот метод предполагает следующий алгоритм:

$\operatorname {slog} _{b}(z)\approx {\begin{cases}\operatorname {slog} _{b}(b^{z})-1,{\text{ if }}z\leqslant 0\\-1+{\frac {2\ln {b}}{1+\ln {b}}}z-{\frac {1-\ln {b}}{1+\ln {b}}}z^{2},{\text{ if }}0<z\leqslant 1\\\operatorname {slog} _{b}{\log _{b}{z}}+1,{\text{ if }}1<z\end{cases}}$
Это кусочно-определённая непрерывная дифференцируемая для всех действительных $z$ функция с квадратичной "критической частью". Данная аппроксимация обобщения суперлогарифма позволяет выполнять основные операции исчисления суперлогарифма без большого количества подготовительных заблаговременных решений и вычислительных издержек.

Обобщения

Оба описанных выше метода являются частными случаями сложного натурального матричного подхода, найденного сперва Питером Уокером (англ. Peter Walker), а затем обобщённого Эндрю Роббинсом. В частности, вторая строка в этих системах является произведением полинома степени $n$ от $z$ на детерминант некоторой матрицы порядка $n$ (см. примеры матриц в его статье), которая описывается сложной общей формулой с использованием символа Кронекера. Таким образом можно получить кубическое и т. д. приближения, каждое из которых с возрастанием $n$ будет точнее предыдущего. Первая и последняя строки в системах приближений не меняются и основываются на леммах, так же описанных автором с приведением доказательств. Существуют также другие методы аппроксимации, но они все слишком громоздки и сложны для практического применения.

Свойства

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

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

${}^{\,\mathrm {slog} _{a}b}a=b$

В частности, если $\,\mathrm {slog} _{a}b=\,\mathrm {slog} _{a}c$, то $b=c.$ Пусть $\,\mathrm {slog} _{a}b=x,$ а $\,\mathrm {slog} _{a}c=y,$ тогда доказательство равенства сводится к следующему тождеству:

${}^{x}a={}^{y}a$

$\underbrace {a^{\cdot ^{\cdot ^{\cdot ^{a}}}}} _{x}=\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{y}\Longleftrightarrow a=\underbrace {\log _{a}\log _{a}\ldots \log _{a}} _{x-1}{\Bigl (}\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{y}{\Bigr )}\Longleftrightarrow a^{1}=\underbrace {\log _{a}\log _{a}\ldots \log _{a}} _{x-1}{\Bigl (}\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{y}{\Bigr )}\Longleftrightarrow 1=\underbrace {\log _{a}\log _{a}\ldots \log _{a}} _{x}{\Bigl (}\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{y}{\Bigr )}$

$1=\underbrace {\log _{a}\log _{a}\ldots \log _{a}} _{x}{\Bigl (}\underbrace {a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}} _{y}{\Bigr )}=\underbrace {\log _{a}\ldots \log _{a}} _{x-1}{\Bigl (}\underbrace {a^{\cdot ^{\cdot ^{\cdot ^{a}}}}} _{y-1}{\Bigr )}=\ldots =\underbrace {a^{\cdot ^{\cdot ^{\cdot ^{a}}}}} _{y-x}\Longleftrightarrow {}^{y-x}a=1,$ отсюда следуют два варианта:

• либо ${}^{y-x}a={}^{0}a,$ тогда $y-x=0$ и $y=x;$
• либо ${}^{y-x}a=a^{0},$ тогда $a^{{}^{y-x-1}a}=a^{0},$ откуда $\operatorname {slog} _{a}0=y-x-1,$ но т. к. $\operatorname {slog} _{a}0=-1$ (см. далее), то $y-x-1=-1$ и $y-x=0,$ что уже было.

Суперлогарифм единицы, нуля и числа, равного основанию

Принимается (определяется), что ${}^{0}a=1,$ на основе чего и выводятся все следующие свойства суперлогарифма:

• $\operatorname {slog} _{a}1=0,$ доказательство:

$a=a^{{}^{0}a}\Longleftrightarrow {}^{0}a=\log _{a}a=1\Longleftrightarrow \operatorname {slog} _{a}1=0$

• в отличие от логарифма, суперлогарифм нуля существует и определён: $\operatorname {slog} _{a}0=-1,$ что может быть доказано так:

$a=a^{{}^{0}a}=a^{a^{{}^{-1}a}}\Longleftrightarrow {}^{-1}a=\log _{a}\log _{a}a=\log _{a}1=0\Longleftrightarrow \operatorname {slog} _{a}0=-1$

• $\operatorname {slog} _{a}a=1;$ для доказательства примем, что $\operatorname {slog} _{a}a=x:$

${}^{x}a=a\Longleftrightarrow a^{{}^{x-1}a}=a^{{}^{0}a}\Longleftrightarrow x-1=0,$ откуда $x=1.$

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

Остальные свойства суперлогарифма определены для положительных $a$ и $b$ (но не для любых):

• $\,\mathrm {slog} _{a}(a^{b})=\,\mathrm {slog} _{a}b+1$, — довольно очевидное свойство:

$a^{b}=a^{{}^{\,\mathrm {slog} _{a}b}a}={}^{\,\mathrm {slog} _{a}b+1}a\Longleftrightarrow \,\mathrm {slog} _{a}(a^{b})=\,\mathrm {slog} _{a}b+1.$ Данное тождество можно обобщить для любого целого $n>0$:

$\,\mathrm {slog} _{a}(a^{b})=\,\mathrm {slog} _{a}\underbrace {\log _{a}...\log _{a}} _{n-1}(b)+n$

• $\,\mathrm {slog} _{a}b=\,\mathrm {slog} _{a}(\log _{a}b)+1,$ что, опять же, легко выводится на тех же основаниях:

$b=a^{\log _{a}b}\Longleftrightarrow b=a^{\left({}^{\,\mathrm {slog} _{a}(\log _{a}b)}a\right)}\Longleftrightarrow b={}^{\,\mathrm {slog} _{a}(\log _{a}b)+1}a\Longleftrightarrow \,\mathrm {slog} _{a}(\log _{a}b)+1=\,\mathrm {slog} _{a}b.$ Обобщённо для любого целого $n>0$:

$\,\mathrm {slog} _{a}(b)=\,\mathrm {slog} _{a}\underbrace {\log _{a}...\log _{a}} _{n}(b)+n$

• В общем случае, $\,\mathrm {slog} _{a}(bc)\neq \,\mathrm {slog} _{a}b+\,\mathrm {slog} _{a}c;\,\mathrm {slog} _{a}\left({\frac {b}{c}}\right)\neq \,\mathrm {slog} _{a}b-\,\mathrm {slog} _{a}c;\,\mathrm {slog} _{x}({}^{z}y)\neq z\times \,\mathrm {slog} _{x}y.$
• Чётные суперлогарифмы одинаковых чисел, но с разными основаниями, могут быть равны. Простой пример: $\,\mathrm {slog} _{\frac {1}{2}}{\frac {\sqrt {2}}{2}}=\,\mathrm {slog} _{\frac {1}{4}}{\frac {\sqrt {2}}{2}}=2.$
• ${\text{slog}}_{a}b>-2,{\text{ }}a,b>0,$ — основано на рекурсивном свойстве тетрации:

$a=a^{a^{({}^{-1}a)}}=a^{a^{a^{({}^{-2}a)}}},$ откуда следует, что $-2={\text{slog}}_{a}\log _{a}\log _{a}\log _{a}a\Longleftrightarrow -2={\text{slog}}_{a}\log _{a}0,$ что является случаем неопределённости нуля.

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

${}^{\frac {m}{n}}a=\exp _{a}^{m}({}^{\frac {1}{n}}a),{\text{ if }}m=(kn+1),{\text{ }}k,n\in \mathbb {N} ,{\text{ }}n\neq 0.$ Например: ${}^{2,5}a={}^{{\bigl (}2+{\frac {1}{2}}{\bigr )}}a=\exp _{a}^{2}({}^{\frac {1}{2}}a)=a^{a^{{\bigl (}{}^{\frac {1}{2}}a{\bigr )}}}.$

Замена основания

Для суперлогарифма формула с заменой оснований не действует: $\,\mathrm {slog} _{a}b\neq {\frac {1}{\,\mathrm {slog} _{b}a}}.$

Для доказательство используем следующее утверждение: $\,\mathrm {slog} _{x}a=\,\mathrm {slog} _{y}a\Longleftrightarrow {}^{\,\mathrm {slog} _{x}a}x={}^{\,\mathrm {slog} _{y}a}x\Longleftrightarrow a={}^{\,\mathrm {slog} _{y}a}x.$ Выразим $x:$

$x={}^{\frac {1}{\,\mathrm {slog} _{y}a}}a,$ если тождество с заменой оснований было бы верным, мы б получили в результате, что $x={}^{\frac {1}{\,\mathrm {slog} _{y}a}}a={}^{\,\mathrm {slog} _{a}y}a$ и $y=x,$ однако, как уже отмечалось раннее, на практике существует бесконечное множество равных между собой чётных суперлогарифмов одного и того же числа $a,$ но с разными основаниями $x$ и $y$ (см. пример выше).

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

$\log _{a}b=\log _{a}(c^{\log _{c}b})=\log _{c}b\times \log _{a}c\Longleftrightarrow \log _{c}b={\frac {\log _{a}b}{\log _{a}c}}.$ Для суперлогарифма такая формула так же будет неверна, поскольку ни показатель тетрации (см. свойства), ни показатель степени ($\,\mathrm {slog} _{x}y^{z}\neq z\times \,\mathrm {slog} _{x}y$) в качестве множителя выносить нельзя(!).

Неравенства

Значение суперлогарифма какого-либо числа, во-первых, существует не всегда (см. выше), а во-вторых, чётко определено только в случае, когда и основание, и число лежат по одну сторону от единицы (т. е. $\,\mathrm {slog} _{a}b>0$ при $a,b\geqslant 1,$ либо при $a,b\leqslant 1$). Если же эти неравенства нарушаются, то, скорее всего, суперлогарифм примет отрицательные значения (только до $-2$).

Неравенства для положительных чисел можно суперлогарифмировать (но не всегда). При этом, если основание суперлогарифма больше единицы, то знак неравенства сохраняется (например, $4<16\Longleftrightarrow \,\mathrm {slog} _{2}4<\,\mathrm {slog} _{2}16,$ т. к. $2<3$), а если основание меньше единицы, знак неравенства, скорее всего, изменится на противоположный.

Суперлогарифмическая функция

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

Поведение функции $f(z)={\text{slog}}_{e}z$ (или $f(z)={\text{sln}}(z)$) на комплексной плоскости: графики целочисленных значений вещественных и мнимых частей показаны толстыми линиями.

Если рассматривать суперлогарифмируемое число как переменную, мы получим, суперлогарифмическую функцию $y={\text{slog}}_{a}x$ или $y={\text{sexp}}_{a}^{-1}(x)$ (обратная функция к суперэкспоненте). Она определена при $a,x>0,$ но не для всех $a$ и $x,$ область значений — пока только целые неотрицательные числа.

Для основания $x\in [1/e;+\infty \}$ натуральный суперлогарифм (и обратный к нему) ${\text{slog}}_{x}y=n,{\text{ }}n\in \mathbb {N}$ ${\Bigl (}{\text{slog}}_{x}y={\frac {1}{n}}{\Bigr )}$однозначен, т. к. функция $y={}^{n}x$ (или $y={}^{\frac {1}{n}}x$) на данном промежутке строго возрастает (убывает). Более того, существует предел при стремлении суперлогарифма к нулю: $\lim _{n\to +\infty }{\bigl (}{}^{\frac {1}{n}}x{\bigr )}=x^{\frac {1}{x}},{\text{ }}n\in \mathbb {N} ,{\text{ }}x\in {\Bigl [}{\frac {1}{e}};e{\Bigr ]}.$

Предположительно, функция $y={\text{slog}}_{a}(x)$ является аналитической, по крайней мере, для некоторых значений. Поведение функции в разрезе комплексной плоскости для случая $a=e$ представлено на рисунке (значения самой функции аппроксимизированны).

Из определения следует, что суперлогарифмическая зависимость есть обратная функция для функции $y={}^{x}a,$ поэтому, если существование и единственность аналитического расширения тетрации обеспечивается условиями асимптотических подходов к фиксированным точкам $z_{0}\approx 0,318+1,337i$ и $z_{1}\approx 0,318-1,337i$ в верхней и нижней частях комплексной плоскости, то обратная функция тоже должна быть уникальной. Такая функция вещественна на реальной оси. Она имеет два экстремума в точках $z=z_{0}$ и $z=z_{1}.$ Она приближается к своему предельному значению $-2$ в окрестности отрицательной части реальной оси (вся полоса между разрезами показана розовыми линиями на рисунке) и медленно растёт вдоль положительного направления реальной оси. Поскольку производная на реальной оси положительна, мнимая часть $f(z)={\text{slog}}_{e}z$ остаётся положительной чуть выше реальной оси и отрицательной чуть ниже реальной оси.

Производные тетрации с показателями $2$ и $3:$ $({}^{2}x)={}^{2}x(\ln(x)+1)$ и $({}^{3}x)={}^{3}x{\biggl (}{}^{2}x(\ln(x)+1)\ln(x)+{\frac {{}^{2}x}{x}}{\biggr )}$ соответственно. Дифференцирование можно продолжить и далее для любого натурального $n\geqslant 2$ по общей формуле: $({}^{n}x)'={}^{n}x{\biggl (}{}^{n-1}x{\biggl (}{}^{n-2}x{\bigl (}...{}^{2}x(\ln {x}+1)\ln {x}+{\frac {{}^{2}x}{x}}{\bigr )}\ln {x}+{\frac {{}^{3}x}{x}}{\biggr )}\ln {x}+...+{\frac {{}^{n-1}x}{x}}{\biggr )}={\frac {1}{x}}\cdot {{}^{n}x}\cdot {{}^{n-1}x}\cdot \left(\sum _{i=1}^{n-2}\left({(\ln {x})}^{i}\cdot \prod _{j=1}^{n-2}\left({}^{j}x\right)\right)+{(\ln {x})}^{n-1}\cdot \prod _{i=1}^{n-1}({}^{i}x)+1\right)$

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

Таким образом, суперлогарифмическую функцию однозначно можно отнести пока что только к неэлементарным функциям.

Практические приложения

Решение функционального уравнения $f(f(x))=a^{x}$

Суперлогарифм по основанию $a$ используется в решении функционального уравнения $f(f(x))=a^{x}$:

$f(f(x))=a^{x}\Longrightarrow f(x)={}^{0,5+\operatorname {slog} _{a}x}a,$ проверка:

$f(f(x))={}^{0,5+\operatorname {slog} _{a}{\bigl (}{{}^{0,5+\operatorname {slog} _{a}x}}a{\bigr )}}a={}^{0,5+0,5+\operatorname {slog} _{a}{x}}a={}^{1+\operatorname {slog} _{a}{x}}a=a^{{}^{\operatorname {slog} _{a}{x}}a}=a^{x}.$

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

Основная статья: Теория графов

Рассмотрим ориентированные графы с $N$ узлами и такие, что ориентированный путь от узла $i$ до узла $j$ существует тогда и только тогда, когда $i>j$. Если длина всех таких путей не превышает $k$ рёбер, то минимально возможное общее число рёбер ограниченно асимптотически оценкой $\Theta (f(N))$:

• $\Theta (N^{2})$ для $k=1;$
• $\Theta (N^{2}\log _{a}N)$ для $k=2,{\text{ }}a>0;$
• $\Theta (N\log _{a}\log _{a}N)$ для $k=3,{\text{ }}a>0;$
• $\Theta (N\operatorname {slog} _{a}N)$ для $k=4$ и $k=5,$ для $a>0$ (но не для любого);
• $\Theta (N\underbrace {{\operatorname {slog} _{a}\operatorname {slog} _{a}}\ldots \operatorname {slog} _{a}} _{k-4}N)$ для $k>5$ и $a>0$ (но не для любого).

Открытые проблемы

• Неизвестно, поддаются ли значения суперлогарифмов однозначному логическому (теоретическому) обобщению на иррациональные и/или отрицательные действительные (а также комплексные) числа, до сих пор не разработан ни один универсальный алгоритм (способ) вычисления суперлогарифмов.

Ссылки

• Сайт про тетрацию Даниэля Гэйслера.
• Форум по обсуждению тетрации.
• Кузнецов Д. Тетрация как специальная функция // Владикавказский математический журнал. — 2010.
• George Szekeres, Abel's equation and regular growth

• W. Neville Holmes Composite Arithmetic: Proposal for a New Standard. IEEE Computer Society Press, vol.30, no. 3, pp. 65–73, 1997.