For a Lie group $G$, we show that the map
$C^\infty_c(G)\times C^\infty_c(G)\to C^\infty_c(G)$,
$(\gamma,\eta)\mapsto \gamma*\eta$
taking a pair of
test functions to their convolution is continuous if and only if $G$ is $\sigma$-compact.
More generally, consider $r,s,t
\in \mathbb{N}_0\cup\{\infty\}$ with $t\leq r+s$, locally convex spaces $E_1$, $E_2$
and a continuous bilinear map $b\colon E_1\times E_2\to F$
to a complete locally convex space $F$.
Let $\beta\colon C^r_c(G,E_1)\times C^s_c(G,E_2)\to C^t_c(G,F)$,
$(\gamma,\eta)\mapsto \gamma *_b\eta$ be the associated convolution map.
The main result is a characterization of those $(G,r,s,t,b)$
for which $\beta$ is continuous.
Convolution
of compactly supported continuous functions on a locally compact group
is also discussed, as well as convolution of compactly supported $L^1$-functions
and convolution of compactly supported Radon measures.

Analytical study to the regularization of the Boussinesq system is
performed in frequency space using Fourier theory. Existence and
uniqueness of weak solution with minimum regularity requirement are
proved. Convergence results of the unique weak solution of the
regularized Boussinesq system to a weak Leray-Hopf solution of the
Boussinesq system are established as the regularizing parameter
$\alpha$ vanishes. The proofs are done in the frequency space and use
energy methods, ArselÃ -Ascoli compactness theorem and a Friedrichs
like approximation scheme.

In this paper we characterize the
compactness of the commutator $[b,T]$ for the singular integral
operator on the Morrey spaces $L^{p,\lambda}(\mathbb R^n)$. More
precisely, we prove that if
$b\in \operatorname{VMO}(\mathbb R^n)$, the $\operatorname {BMO}
(\mathbb R^n)$-closure of $C_c^\infty(\mathbb R^n)$,
then $[b,T]$ is a compact operator on the
Morrey spaces $L^{p,\lambda}(\mathbb R^n)$ for $1\lt p\lt \infty$ and
$0\lt \lambda\lt n$. Conversely, if $b\in \operatorname{BMO}(\mathbb R^n)$ and
$[b,T]$ is a compact operator on the $L^{p,\,\lambda}(\mathbb R^n)$
for some $p\ (1\lt p\lt \infty)$, then $b\in \operatorname {VMO}(\mathbb R^n)$.
Moreover, the boundedness of a rough singular integral operator $T$
and its commutator $[b,T]$ on $L^{p,\,\lambda}(\mathbb R^n)$ are also
given. We obtain a sufficient condition for a
subset in Morrey space to be a strongly pre-compact set,
which has interest in its own right.

We study the semilinear equation
\begin{equation*}
-\Delta_{\mathbb H} u(\eta) + u(\eta) = f(\eta,
u(\eta)),\quad
u \in \So(\Omega),
\end{equation*}
where $\Omega$ is an unbounded domain of the Heisenberg
group $\mathbb H^N$, $N\ge 1$. The space $\So(\Omega)$ is the
Heisenberg analogue of the Sobolev space $W_0^{1,2}(\Omega)$.
The function $f\colon \overline{\Omega}\times
\mathbb R\to \mathbb R$ is supposed to be odd in $u$,
continuous and satisfy some (superlinear but subcritical) growth
conditions. The operator $\Delta_{\mathbb H}$ is
the subelliptic Laplacian on the Heisenberg group. We
give a condition on $\Omega$ which implies the existence of
infinitely many solutions of the above equation. In the proof we
rewrite the equation as a variational problem, and show that the
corresponding functional satisfies the Palais--Smale
condition. This might be quite surprising since we deal with
domains which are far from bounded. The technique we use rests on
a compactness argument and the maximum principle.