On some general notions of superior limit, inferior limit and value of a distribution at a point (Q5946165)

The author studies the notions of superior limit and inferior limit of real distributions defined on open sets of \(\mathbb{R}^n\). He defines \[ \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\}, \] 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\). For 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\) \[ (\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. \] 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)\). From the definitions above, he can formulate many Lemmas and obtains the following main results. Theorem 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}\). Theorem 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 \[ \liminf_a\;f= \liminf_b\;g,\qquad \limsup_a f=\limsup_b\;g. \]