Гипераналитическая функция


Гипераналити́ческая функция вещественной переменной — функция, убывание коэффициентов Фурье которой соответствует тетрации.

ВведениеПравить

Гипераналитическая функция — тип функций между многочленами и аналитическими функциями.

Математические основыПравить

Известно, что существует фундаментальная связь между аналитичностью функции и скоростью убывания её коэффициентов Фурье. Чем «лучше» функция, тем быстрее её коэффициенты стремятся к нулю, и наоборот. Степенное убывание коэффициентов Фурье присуще функциям класса C k C^{k} , а экспоненциальное — аналитическим функциям. Отсюда следует возможность существования гипераналитических функций, для которых убывание коэффициентов Фурье соответствует тетрации[1].

Естественная гипераналитическая функция возникает при рассмотрении решётки с шагом L, в узлах которой расположены не определённые пока объекты. Распределение центров объектов можно описать с помощью решётчатой функции (РФ). Определение одномерной РФ основано на следующем тождестве[2]

(1) 1 σ 2 π e 1 2 ( x σ ) 2 d x = 1 σ 2 π L 2 L 2 n = e 1 2 ( x n L σ ) 2 d x = 1. \begin{equation} \frac{1}{\sigma\sqrt{2\pi}}\int_{-\infty}^{\infty}e^{-\frac{1}{2}(\frac{x}{\sigma})^{2}}dx=\frac{1}{\sigma\sqrt{2\pi}}\int_{-\frac{L}{2}}^{\frac{L}{2}}\sum_{n=-\infty}^{\infty}e^{-\frac{1}{2}(\frac{x-nL}{\sigma})^{2}}dx=1. \end{equation} Отсюда РФ[3] есть (2) R ( x ) = 1 σ 2 π n = e 1 2 ( x n L σ ) 2 . \begin{equation} \mathbb{R}(x)=\frac{1}{\sigma\sqrt{2\pi}}\sum_{n=-\infty}^{\infty}e^{-\frac{1}{2}(\frac{x-nL}{\sigma})^{2}}. \end{equation} Очевидно, что РФ не может быть разложена в ряд Фурье, так как она не интегрируется в элементарных функциях. В силу этого РФ не может быть разложена на чётную и нечётную функцию[4], в то время как произвольная аналитическая функция f может быть единственным образом представлена в виде суммы нечётной и чётной функций в интервале [ a , b ] [a,b] : f ( x ) = g ( x ) + h ( x ) , f\left(x\right)=g\left(x\right)+h\left(x\right), где g ( x ) = f ( x a ) f ( b x ) 2 , g\left(x\right)=\frac{f\left(x-a\right)-f\left(b-x\right)}{2}, h ( x ) = f ( x a ) + f ( b x ) 2 . h\left(x\right)=\frac{f\left(x-a\right)+f\left(b-x\right)}{2}. Благодаря этому РФ может быть разложена в бесконечный ряд по двум примитивным гипераналитическим функциям путём последовательных попыток разложения на чётную и нечётную функцию. Таким образом, РФ может быть разложена в ряд самым простым способом, но в отличие от ортонормированного ряда Фурье полученный ряд таковым не является. Впрочем, мы увидим, что в этом и нет смысла.

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

Для наглядного подтверждения второго свойства гипераналитических функций приведём графики разностей, возникающих при последовательном вычитании членов разложения из R ( x ) \mathbb{R}(x) .

Рис. 2. Первая разность. \;\;\;\; Рис. 3. Вторая разность — V ( 2 × 2 π x ) . \overline{\mathbb{V}}(2\times2\pi x). Рис. 4. Третья разность — W ( 1 × 2 π x ) . \mathbb{W}\left(1\times2\pi x\right).

     

Рис. 5. Четвёртая разность — V ( 4 × 2 π x ) . \overline{\mathbb{V}}(4\times2\pi x). \;\;\; Рис. 6. Пятая разность — W ( 3 × 2 π x ) . \mathbb{W}\left(3\times2\pi x\right).

    Таким образом, абсолютное значение пятой разности уменьшается на 77 порядков.

Истинное же значение гипераналитических функций состоит в том, что они являются производящими функциями для интенсивностей фундаментальных взаимодействий, выраженных через знаменитую квантовую константу — постоянную тонкой структуры (ПТС) — безразмерную величину, численное значение которой не зависит от выбранной системы единиц. В настоящий момент рекомендуется использовать следующее значение[5]: α = 7,297 352 569 3 ( 15 ) × 10 3 . \alpha=7{,}297\;352\;569\;3(15)\times 10^{-3}. В системе единиц СИ она может быть также определена как: (3) α = e 2   4 π ε 0 c = e 2 2 ε 0 h c , \begin{equation}\alpha=\frac{e^2}{\ 4 \pi \varepsilon_0 \hbar c}=\frac{e^2}{2 \varepsilon_0 h c}, \label{e0} \end{equation}

где   e \ e элементарный электрический заряд, = h / 2 π \hbar=h/2\pi — постоянная Дирака (или приведённая постоянная Планка)   c \ c скорость света в вакууме, ε 0 \varepsilon_0 электрическая постоянная.

ПТС была введена в 1916 году немецким физиком Арнольдом Зоммерфельдом (5 декабря 1868, Кёнигсберг — 26 апреля 1951, Мюнхен) в качестве меры релятивистских поправок при описании атомных спектральных линий в рамках модели атома Нильса Бора (7 октября 1885 — 18 ноября 1962) в 1913.

Впоследствии, в квантовой электродинамике постоянная тонкой структуры получила значение константы взаимодействия, характеризующей силу взаимодействия между электрическими зарядами и фотонами.

Введём следующие определения: R ( 0 ) = R m a x = 1 σ 2 π n = e 1 2 ( n σ ) 2 , \mathbb{R}\left(0\right)=\mathbb{R}_{max}=\frac{1}{\sigma\sqrt{2\pi}}\sum_{n=-\infty}^{\infty}e^{-\frac{1}{2}\left(\frac{-n}{\sigma}\right)^{2}}, R ( 1 / 2 ) = R m i n = 1 σ 2 π n = e 1 2 ( 1 / 2 n σ ) 2 . \mathbb{R}\left(1/2\right)=\mathbb{R}_{min}=\frac{1}{\sigma\sqrt{2\pi}}\sum_{n=-\infty}^{\infty}e^{-\frac{1}{2}\left(\frac{1/2-n}{\sigma}\right)^{2}}.

Теперь введём параметр тонкой структуры α \alpha как функцию от σ \sigma : (4) α ( σ ) = 1 2 R m a x R m i n R m a x + R m i n . \begin{equation} \alpha\left(\sigma\right)=\frac{1}{2}\frac{\mathbb{R}_{max}-\mathbb{R}_{min}}{\mathbb{R}_{max}+\mathbb{R}_{min}}. \label{e4} \end{equation}

Выбор названия и обозначения этого параметра обусловлен тем, что α ( 0.4992619105929628 ) = α . \alpha\left(0.4992619105929628\right)=\alpha.

Оставшаяся в определении α \alpha двойка присутствует также и в формуле (4) \eqref {e4} . Таким образом, никаких других математических констант в формуле (4) \eqref {e4} не может быть по определению.

Теперь аппроксимация R ( x ) \mathbb{R}(x) будет иметь вид:

(5) A ( x ) = R m a x + R m i n 2 ( 1 + 2 α c o s ( 2 π x ) ) + 2 i = 1 α 4 i ( c o s ( 2 i × 2 π x ) 1 ) + 2 W m a x i = 1 α 9 i 2 ( c o s ( 3 × ( 2 i 1 ) × 2 π x ) c o s ( ( 2 i 1 ) × 2 π x ) ) , \begin{equation} A\left(x\right)=\frac{\mathbb{R}_{max}+\mathbb{R}_{min}}{2}(1+2\alpha cos\left(2\pi x\right)) +2\sum_{i=1}^{\infty}\alpha^{4^{i}}\left(cos\left(2i\times 2\pi x\right)-1\right) +\frac{2}{\mathbb{W}_{max}}\sum_{i=1}^{\infty}\alpha^{9{i}^2}\left(cos\left(3 \times (2i-1)\times 2\pi x\right)-cos\left((2i-1) \times 2\pi x\right)\right), \label{e5} \end{equation} где W m a x \mathbb{W}_{max} — нормировочный множитель (равный значению ( c o s ( 3 × ( 2 i 1 ) × 2 π x ) c o s ( ( 2 i 1 ) × 2 π x ) ) \left(cos\left(3 \times (2i-1)\times 2\pi x\right)-cos\left((2i-1) \times 2\pi x\right)\right) в точке максимума). Коэффициент 2 при всех косинусах является следствием симметрии R ( x ) \mathbb{R}(x) относительно x=0.

Трёхмерную РФ R ( x , y , z ) \mathbb{R}\left(x,y,z\right) можно получить из её одномерного определения: (6) R ( x , y , z ) = R m a x 2 R ( x ) . \begin{equation} \mathbb{R}\left(x,y,z\right)=\mathbb{R}_{max}^{2}\mathbb{R}\left(x\right). \end{equation} Таким образом, аппроксимация трёхмерной РФ также является рядом от постоянной тонкой структуры вдоль любой оси дискретного трёхмерного пространства, а сама ПТС является функцией безразмерного параметра σ \sigma , равного отношению «диаметра» некоторого физического объекта, расположенного в каждой ячейке, к шагу решётки L.

Появление постоянной тонкой структуры α \mathit{\alpha} в разложениях гипераналитической решётчатой функции обусловлено периодичностью пространства. Периодичность пространства описывается симметричной функцией от x.

Квантовая производная по времениПравить

Для квантования времени прямое использование идеи решётки является слишком формальным. Поэтому целесообразно использовать определение производной по времени, но без перехода к пределу. Пусть R ( t ) \mathbb{R}\left(t\right) есть РФ на единичном интервале [ T / 2 , T / 2 ] \left[-T/2, T/2\right] при τ = σ \tau=\sigma и T = 1 T=1 : R ( t ) = 1 τ 2 π i = [ exp ( 1 2 ( t + T / 4 i T τ ) 2 ) exp ( 1 2 ( t T / 4 i T τ ) 2 ) ] . \mathbb{R}\left(t\right)=\frac{1}{\tau\sqrt{2\pi}}\sum_{i=-\infty}^{\infty}\left[\exp\left(-\frac{1}{2}\left(\frac{t+T/4-iT}{\tau}\right)^{2}\right)-\exp\left(-\frac{1}{2}\left(\frac{t-T/4-iT}{\tau}\right)^{2}\right)\right].

Рис. 7. График R ( t ) \mathbb{R}\left(t\right)

 

Последовательно вычитая синусы, можно показать, что аппроксимация R ( t ) \mathbb{R}\left(t\right) имеет следующий вид: A ( t ) = k = 0 ( 1 ) k + 1 a k s i n ( 2 π ( 2 k + 1 ) t ) . A\left(t\right)=\sum_{k=0}^{\infty}\left(-1\right)^{k+1}a_{k}sin\left(2\pi\left(2k+1\right)t\right). Для определения значений коэффициентов a k a_{k} используем k+1 уравнений с различными значениями l: i = 0 k ( 1 ) i a i s i n ( 2 i + 1 2 l + 1 2 π 4 ) = R ( 1 4 ( 2 l + 1 ) ) . \sum_{i=0}^{k}\left(-1\right)^{i}a_{i}sin\left(\frac{2i+1}{2l+1}\frac{2\pi}{4}\right)=\mathbb{R}\left(\frac{1}{4\left(2l+1\right)}\right).

Рис. 8. Вторая гармоника.

 

Рис. 9. Третья гармоника.

 

R ( t ) \mathbb{R}\left(t\right) также является гипераналитической функцией, поскольку имеет место следующая аппроксимация: (7) α e f f ( t , τ ) = k = 0 ( 1 ) k + 1 α ( 2 k + 1 ) 2 s i n ( 2 π ( 2 k + 1 ) t ) \begin{equation} \alpha_{eff}\left(t,\tau\right)=\sum_{k=0}^{\infty}\left(-1\right)^{k+1}\alpha^{(2k+1)^{2}}sin\left(2\pi\left(2k+1\right)t\right) \label{e6} \end{equation}

Появление ПТС в разложениях гипераналитической решётчатой функции R ( t ) \mathbb{R}\left(t\right) обусловлено периодичностью времени. Периодичность времени описывается антисимметричной функцией от x.

Также как и в случае пространства возможно обобщить полученное разложение на трёхмерное время поскольку не имеется каких-либо формальных ограничений для аналогичного обобщения. Однако, исходя из принципа соответствия, одномерное время должно быть обобщено на цилиндрическое «правое-левое» время частицы, в котором дискретный переход «вперёд или назад вдоль оси времени» совмещён с «поворотом вправо или влево вокруг оси времени на 180 градусов».

Необходимость такого обобщения обусловлена тем, что из (7) следует: sin  Синус  ( 2 π t ) α e f f ( t , τ ) α . \sin\left(2\pi t\right)\simeq-\frac{\alpha_{eff}\left(t,\tau\right)}{\alpha}.

В то же время из определения R ( t ) \mathbb{R}\left(t\right) видно, что наиболее низкочастотная пара аппроксимируется следующим образом: sin  Синус  ( π t ) m [ exp ( 1 2 ( t + 1 / 4 τ ) 2 ) exp ( 1 2 ( t 1 / 4 τ ) 2 ) ] , \sin\left(\pi t\right)\simeq- m\left[\exp\left(-\frac{1}{2}\left(\frac{t+1/4}{\tau}\right)^{2}\right)-\exp\left(-\frac{1}{2}\left(\frac{t-1/4}{\tau}\right)^{2}\right)\right], где m m - нормировочный множитель. Отсюда видно, что фактическая «локальная частота» R ( t ) \mathbb{R}\left(t\right) в два раза меньше наблюдаемой «групповой частоты» α e f f \alpha_{eff} . Кроме того, обобщение на «правое-левое» время позволяет увидеть, что изменение R ( t ) \mathbb{R}\left(t\right) во времени фактически обусловлено как движением вдоль оси t, так и одновременным вращением вокруг этой оси.

ПримечанияПравить

  1. https://ru.wikipedia.org/wiki/Тетрация
  2. Впервые значение этого одномерного интеграла было вычислено в 1729 году Леонардом Эйлером во время его работы в Петербургской Академии наук. Карл Фридрих Гаусс, чьим именем названа подинтегральная функция первого интеграла, родится 30 апреля 1777 года.
  3. Для выделения всех гипераналитических функций и образованных от них констант используется шрифт MATHEMATICAL DOUBLE-STRUCK CAPITAL.
  4. Отсутствие определённой чётности это несохранение чётности.
  5. Рекомендованное CODATA значение постоянной тонкой структуры.

АРыбников (обсуждение) 16:39, 3 декабря 2019 (UTC)