Boehmians

In mathematics, Boehmians are objects obtained by an abstract algebraic construction of "quotients of sequences." The original construction was motivated by regular operators introduced by T. K. Boehme. Regular operators are a subclass of Mikusiński operators, that are defined as equivalence classes of convolution quotients of functions on ,\infty_).__The_original_construction_of_Boehmians_gives_us_a_space_of_generalized_functions_that_includes_all_regular_operators_and_has_the_algebraic_character_of_convolution_quotients.__On_the_other_hand,_it_includes_all_Distribution_(mathematics).html" ;"title="generalized_function.html" ;"title=",\infty ). The original construction of Boehmians gives us a space of generalized function">,\infty ). The original construction of Boehmians gives us a space of generalized functions that includes all regular operators and has the algebraic character of convolution quotients. On the other hand, it includes all Distribution (mathematics)">distributions eliminating the restriction of regular operators to $[0,\infty )$.

Since the Boehmians were introduced in 1981, the framework of Boehmians has been used to define a variety of spaces of generalized functions on $\mathbb^N$ and generalized integral transforms on those spaces. It was also applied to function spaces on other domains, like locally compact groups and manifolds.

The general construction of Boehmians

Let $X$ be an arbitrary nonempty set and let $G$ be a commutative semigroup acting on $X$. Let $\Delta$ be a collection of sequences of elements of $G$ such that the following two conditions are satisfied:

(1) If $(\phi_n), (\psi_n) \in \Delta$, then $(\phi_n\psi_n) \in \Delta$,

(2) If $x,y\in X$ and $\phi_n x = \phi_n y$ for some $(\phi_n) \in \Delta$ and all $n\in\mathbb$, then $x=y$.

Now we define a set of pairs of sequences:

$\mathcal = \$.

In $\mathcal$ we introduce an equivalence relation:

$((x_n),(\phi_n))$ ~ $((y_n),(\psi_n))$ if $\phi_m y_n =\psi_n x_m \text m, n\in \mathbb$.

The space of Boehmians $\mathcal (X,\Delta )$ is the space of equivalence classes of $\mathcal$, that is $\mathcal (X,\Delta )=\mathcal{A}/$~.

References

* J. Mikusiński, ''Operational Calculus'', Pergamon Press (1959).
* T. K. Boehme, ''The support of Mikusiński operators'', Trans. Amer. Math. Soc. 176 (1973), 319–334.
* J. Mikusiński and P. Mikusiński, ''Quotients de suites et leurs applications dans l'analyse fonctionnelle'' (French), uotients of sequences and their applications in functional analysis C. R. Acad. Sci. Paris Sr. I Math. 293 (1981), 463-464.
* P. Mikusiński, ''Convergence of Boehmians'', Japan. J. Math. (N.S.) 9 (1983), 159–179.

Generalized functions