Boehmians

This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (September 2016)

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (May 2011) (Learn how and when to remove this message)

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 ${\displaystyle [0,\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 distributions eliminating the restriction of regular operators to ${\displaystyle [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 ${\displaystyle \mathbb {R} ^{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[edit]

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

(1) If ${\displaystyle (\phi _{n}),(\psi _{n})\in \Delta }$, then ${\displaystyle (\phi _{n}\psi _{n})\in \Delta }$,

(2) If ${\displaystyle x,y\in X}$ and ${\displaystyle \phi _{n}x=\phi _{n}y}$ for some ${\displaystyle (\phi _{n})\in \Delta }$ and all ${\displaystyle n\in \mathbb {N} }$, then ${\displaystyle x=y}$.

Now we define a set of pairs of sequences:

${\displaystyle {\mathcal {A}}=\{((x_{n}),(\phi _{n})):x_{n}\in X,(\phi _{n})\in \Delta ,\phi _{m}x_{n}=\phi _{n}x_{m}{\text{ for all }}m,n\in \mathbb {N} \}}$.

In ${\displaystyle {\mathcal {A}}}$ we introduce an equivalence relation:

${\displaystyle ((x_{n}),(\phi _{n}))}$ ~ ${\displaystyle ((y_{n}),(\psi _{n}))}$ if ${\displaystyle \phi _{m}y_{n}=\psi _{n}x_{m}{\text{ for all }}m,n\in \mathbb {N} }$.

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

References[edit]

• 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), [Quotients 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.