On some general notions of superior limit, inferior limit and value of a distribution at a point
The author studies the notions of superior limit and inferior limit of real distributions defined on open sets of \(\mathbb{R}^n\). He defines NEWLINE\[NEWLINE\overline{F(a)}= \limsup_{\varepsilon\to 0^+}\{F(x):\|x-a\|<\varepsilon, x\in I_a\},\quad \underline{F(a)}= \liminf_{\varepsilon\to 0^+}\{F(x):\|x-a\|<\varepsilon, x\in I_a\},NEWLINE\]NEWLINE where \(F\in BC(I_a)\) is the space of all bounded continuous real functions defined on the open set \(I_a\) that contains the point \(a\).NEWLINENEWLINENEWLINEFor each \(j\in \{1,2,\dots, n\}\), let \(\rho_j\) be the operator such that, for \(F\in BC(I_a)\) and \(x\in I_a\) NEWLINE\[NEWLINE(\rho_j F)(x)= {1\over x_j- a_j} \int^{x_j}_{a_j} F(x_1, x_2,\dots, x_{j-1}, \xi, x_{j+1},\dots, x_n) d\xi.NEWLINE\]NEWLINE He also defines the space \(B^*_a(I)\) of distributions which are strictly bounded at the point \(a\) and then obtain \(BC(I_a)\subset B^*_a(I)\).NEWLINENEWLINENEWLINEFrom the definitions above, he can formulate many Lemmas and obtains the following main results.NEWLINENEWLINENEWLINETheorem 2.2. For each \(j\in \{1,2,3,\dots, n\}\), the operator \(\partial_j\) restricted to the space \(B^*_a(I)\), is an automorphism of this vector space, where \(\partial_j= {\partial\over\partial x_j}\).NEWLINENEWLINENEWLINETheorem 3.9. Let \(A\) and \(B\) be any two open subsets of \(\mathbb{R}^n\) and \(\mu\) a map from \(A\) to \(B\), \(a\in A\) and \(b\in B\). Let \(g\in B_b(B)\) and \(f= g\circ\mu\), then \(f\in B_a(A)\) and NEWLINE\[NEWLINE\liminf_a\;f= \liminf_b\;g,\qquad \limsup_a f=\limsup_b\;g.NEWLINE\]
scientific article; zbMATH DE number 1658431