CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  Publicationsjournals
Publications        
Search results

Search: MSC category 46F ( Distributions, generalized functions, distribution spaces [See also 46T30] )

  Expand all        Collapse all Results 1 - 2 of 2

1. CJM 2012 (vol 66 pp. 102)

Birth, Lidia; Glöckner, Helge
Continuity of convolution of test functions on Lie groups
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.

Keywords:Lie group, locally compact group, smooth function, compact support, test function, second countability, countable basis, sigma-compactness, convolution, continuity, seminorm, product estimates
Categories:22E30, 46F05, 22D15, 42A85, 43A10, 43A15, 46A03, 46A13, 46E25

2. CJM 2006 (vol 58 pp. 691)

Bendikov, A.; Saloff-Coste, L.
Hypoelliptic Bi-Invariant Laplacians on Infinite Dimensional Compact Groups
On a compact connected group $G$, consider the infinitesimal generator $-L$ of a central symmetric Gaussian convolution semigroup $(\mu_t)_{t>0}$. Using appropriate notions of distribution and smooth function spaces, we prove that $L$ is hypoelliptic if and only if $(\mu_t)_{t>0} $ is absolutely continuous with respect to Haar measure and admits a continuous density $x\mapsto \mu_t(x)$, $t>0$, such that $\lim_{t\ra 0} t\log \mu_t(e)=0$. In particular, this condition holds if and only if any Borel measure $u$ which is solution of $Lu=0$ in an open set $\Omega$ can be represented by a continuous function in $\Omega$. Examples are discussed.

Categories:60B15, 43A77, 35H10, 46F25, 60J45, 60J60

© Canadian Mathematical Society, 2014 : https://cms.math.ca/