A function f: ℝⁿ → ℝ satisfies the condition $Q_i\left(x\right)$ (resp. $Q_s\left(x\right)$, $Q_o\left(x\right)$) at a point x if for each real r > 0 and for each set U ∋ x open in the Euclidean topology of ℝⁿ (resp. strong density topology, ordinary density topology) there is an open set I such that I ∩ U ≠ ∅ and $|(1/\mu \left(U\cap I\right)){\int }_{U\cap I}f\left(t\right)dt-f\left(x\right)|<r$. Kempisty’s theorem concerning the product quasicontinuity is investigated for the above notions.

If $\Omega \subset {ℝ}^n$ is a bounded domain with Lipschitz boundary $\partial \Omega$ and $\Gamma$ is an open subset of $\partial \Omega$, we prove that the following inequality $${\left({\int }_{\Omega }{\left|A\left(x\right)\nabla u\left(x\right)\right|}^{p}dx\right)}^{1/p}+{\left({\int }_{\Gamma }{\left|u\left(x\right)\right|}^{p}d{\mathscr{H}}^{n-1}\left(x\right)\right)}^{1/p}\ge c{\parallel u\parallel }_{W^{1,p}\left(\Omega \right)}$$ holds for all $u\in W^{1,p}(\Omega ;{ℝ}^m)$ and $1<p<\infty$, where $${\left(A\left(x\right)\nabla u\left(x\right)\right)}_k=\sum _{i=1}^m\sum _{j=1}^n{a}_k^{ij}\left(x\right)\frac{\partial u_i}{\partial x_j}\left(x\right)(k=1,2,...,r;r\ge m)$$ defines an elliptic differential operator of first order with continuous coefficients on $\overline{\Omega }$. As a special case we obtain $${\int }_{\Omega }{\left|\nabla u\left(x\right)F\left(x\right)+{\left(\nabla u\left(x\right)F\left(x\right)\right)}^T\right|}^{p}dx\ge c{\int }_{\Omega }{\left|\nabla u\left(x\right)\right|}^{p}dx,(*)$$ for all $u\in W^{1,p}(\Omega ;{ℝ}^n)$ vanishing on $\Gamma$, where $F:\overline{\Omega }\to M^{n\times n}\left(ℝ\right)$ is a continuous mapping with $detF\left(x\right)\ge \mu >0$. Next we show that $(*)$ is not valid if $n\ge 3$, $F\in L^{\infty }\left(\Omega \right)$ and $detF\left(x\right)=1$, but does hold if $p=2$, $\Gamma =\partial \Omega$ and $F\left(x\right)$ is symmetric and positive definite in $\Omega$.

We study the integrability of Banach valued strongly measurable functions defined on $[0,1]$. In case of functions $f$ given by ${\sum }_{n=1}^{\infty }{x}_n{\chi }_{E_n}$, where $x_n$ belong to a Banach space and the sets $E_n$ are Lebesgue measurable and pairwise disjoint subsets of $[0,1]$, there are well known characterizations for the Bochner and for the Pettis integrability of $f$ (cf Musial (1991)). In this paper we give some conditions for the Kurzweil-Henstock and the Kurzweil-Henstock-Pettis integrability of such functions.

A Kurzweil-Henstock type integral on a zero-dimensional abelian group is used to recover by generalized Fourier formulas the coefficients of the series with respect to the characters of such groups, in the compact case, and to obtain an inversion formula for multiplicative integral transforms, in the locally compact case.

For a merely continuous partition of unity the PU integral is the Lebesgue integral.