Меню Главная Случайная статья Настройки Гиперфункция (математика) Материал из https://ru.wikipedia.org Гиперфункция (математика) — развитие понятия обобщённой функции. Гиперфункция одной переменной является разностью предельных значений на вещественной оси двух голоморфных функций, определённых, соответственно в верхней и нижней полуплоскостях комплексной плоскости. Гиперфункции многих переменных определены как элементы некоторой когомологической группы с коэффициентами в пучке голоморфных функций[1]. Гиперфункции были открыты Микио Сато в 1958 году[2][3]. Содержание 1 Гиперфункция одной переменной 2 Гиперфункция многих переменных 3 Примеры 4 Операции над гиперфункциями 5 См. также 6 Примечания 7 Литература Гиперфункция одной переменной Гиперфункция одной переменной может рассматриваться как разность на вещественной оси между одной голоморфной функцией ${\displaystyle f}$, определённой на верхней комплексной полуплоскости, и другой ${\displaystyle g}$, определённой на нижней комплексной полуплоскости - ${\displaystyle (f,g)}$[1]. Гиперфункция одной переменной определяется лишь разностью двух функций ${\displaystyle f-g}$ на вещественной оси и не изменяется при добавлении к ${\displaystyle f}$ и ${\displaystyle g}$ одной и той же голоморфной на всей комплексной плоскости функции ${\displaystyle h}$, так что гиперфункции ${\displaystyle (f,g)}$ и ${\displaystyle (f+h,g+h)}$определяются как эквивалентные. Гиперфункция многих переменных Пусть ${\displaystyle B'}$ - предпучок в ${\displaystyle R^{n}}$, определённый следующим образом[4]: если ${\displaystyle \Omega }$ не ограничено, то ${\displaystyle B'(\Omega )=\left\{0\right\}}$; если ${\displaystyle \Omega }$ ограничено, то ${\displaystyle B'(\Omega )=B(\Omega )}$; Ограничения ${\displaystyle B'(\Omega )\rightarrow B'(\omega )}$ определены так: ${\displaystyle 0\rightarrow 0}$, если ${\displaystyle \Omega }$ не ограничено, ${\displaystyle T\rightarrow T|\omega }$, если ${\displaystyle \Omega }$ ограничено. Пучком гиперфункций на ${\displaystyle R^{n}}$ называется пучок ${\displaystyle B}$, ассоциированный с передпучком ${\displaystyle B'}$. Гиперфункция на ${\displaystyle \Omega }$ определяется: покрытием ${\displaystyle \Omega =\bigcup _{i\in I}\Omega _{i}}$, где ${\displaystyle \Omega _{i}}$ открыты и ограничены; и элементами ${\displaystyle T_{i}\in B(\Omega _{i})}$, для которых ${\displaystyle T_{i}|\Omega _{i}\cap \Omega _{j}=T_{j}|\Omega _{i}\cap \Omega _{j}}$. Два таких набора ${\displaystyle (\Omega _{i},T_{i}),i\in I}$ и ${\displaystyle (\Omega _{i'},T_{i'}),i'\in I'}$ определяют одну и ту же гиперфункцию, если ${\displaystyle T_{i}|\Omega _{i}\cap \Omega _{i'}=T_{i'}|\Omega _{i}\cap \Omega _{i'},\forall i\in I,i'\in I'}$ Примеры Для всякой голоморфной на всей комплексной плоскости функции f гиперфункцией является её значения на вещественной оси, представимые в виде ${\displaystyle (f,0)}$ или ${\displaystyle (0,-f)}$. Функция Хевисайда может быть представлена как гиперфункция: ${\displaystyle H(x)=\left({\tfrac {1}{2\pi i}}\log(z),{\tfrac {1}{2\pi i}}\log(z)-1\right).}$ Дельта-функция Дирака может быть представлена как гиперфункция: ${\displaystyle \left({\tfrac {1}{2\pi iz}},{\tfrac {1}{2\pi iz}}\right).}$ Операции над гиперфункциями Умножение на аналитическую функцию. Пусть ${\displaystyle f\in {\mathfrak {A}}(\Omega )}$ - аналитическая функция, ${\displaystyle u\in {\mathfrak {A'}}(\Omega )}$ - аналитический функционал. Тогда произведение ${\displaystyle fu\in {\mathfrak {A'}}(\Omega )}$ определено формулой ${\displaystyle \langle fu,g\rangle =\langle u,fg\rangle ,\forall g\in {\mathfrak {A}}(\Omega )}$. Гиперфункцию ${\displaystyle fT}$ определяет последовательность ${\displaystyle f{\overline {T_{n}}}|\Omega _{n}}$[5] Свертка. Пусть ${\displaystyle u\in H'(C^{n})}$ - голоморфный функционал , ${\displaystyle f\in H(C^{n})}$ - голоморфная функция с топологией. Тогда свёртка ${\displaystyle u*f\in H(C^{n})}$ определяется формулой ${\displaystyle (u*f)(z)=\langle u_{\xi },f(z-\xi )\rangle }$. Гиперфункцию ${\displaystyle u*T}$ определяет последовательность ${\displaystyle (u*T_{n})|\Omega _{n-p}}$[6] См. также Обобщенная функция Примечания 1 2 Шапира, 1972, с. 5. Sato, Mikio (1959), Theory of Hyperfunctions, I, Journal of the Faculty of Science, University of Tokyo. Sect. 1, Mathematics, Astronomy, Physics, Chemistry, 8 (1): 139–193, hdl:2261/6027, MR 0114124 Шапира, 1972, с. 61. Шапира, 1972, с. 65. Шапира, 1972, с. 66. Литература