Convolution in perfect Lie groups

Author(s):  
YVES BENOIST ◽  
NICOLAS DE SAXCÉ

AbstractLetGbe a connected perfect real Lie group. We show that there exists α < dimGandp∈$\mathbb{N}$* such that if μ is a compactly supported α-Frostman Borel measure onG, then thepth convolution power μ*pis absolutely continuous with respect to the Haar measure onG, with arbitrarily smooth density. As an application, we obtain that ifA⊂Gis a Borel set with Hausdorff dimension at least α, then thep-fold product setApcontains a non-empty open set.

2013 ◽  
Vol 95 (3) ◽  
pp. 362-382 ◽  
Author(s):  
K. E. HARE ◽  
D. L. JOHNSTONE ◽  
F. SHI ◽  
W.-K. YEUNG

AbstractWe show that every orbital measure, ${\mu }_{x} $, on a compact exceptional Lie group or algebra has the property that for every positive integer either ${ \mu }_{x}^{k} \in {L}^{2} $ and the support of ${ \mu }_{x}^{k} $ has non-empty interior, or ${ \mu }_{x}^{k} $ is singular to Haar measure and the support of ${ \mu }_{x}^{k} $ has Haar measure zero. We also determine the index $k$ where the change occurs; it depends on properties of the set of annihilating roots of $x$. This result was previously established for the classical Lie groups and algebras. To prove this dichotomy result we combinatorially characterize the subroot systems that are kernels of certain homomorphisms.


2006 ◽  
Vol 58 (4) ◽  
pp. 691-725 ◽  
Author(s):  
A. Bendikov ◽  
L. Saloff-Coste

AbstractOn a compact connected group G, consider the infinitesimal generator –L of a central symmetric Gaussian convolution semigroup (μt)t>0. Using appropriate notions of distribution and smooth function spaces, we prove that L is hypoelliptic if and only if (μt)t>0 is absolutely continuous with respect to Haar measure and admits a continuous density x ⟼ μt (x), t > 0, such that limt!0t log μ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 Ω can be represented by a continuous function in Ω. Examples are discussed.


1960 ◽  
Vol 4 (4) ◽  
pp. 157-162 ◽  
Author(s):  
S. Świerczkowski

We call two measures equivalent if each is absolutely continuous with respect to the other (cf. [1]). Let G be a locally compact topological group and let μ be a non-negative Baire measure on G (i.e. μ is denned on all Baire sets, finite on compact sets and positive on open sets). We say that μ is stable if μ (E)=0 implies μ(tE)=0 for each t ∈ G. A. M. Macbeath made the conjecture that every stable non-trivial Baire measure is equivalent to the Haar measure. In this paper we prove the following slightly stronger result:Theorem. Every stable non-trivial measure defined on Baire sets and finite on some open set is equivalent to the Haar measure.


Author(s):  
A. L. Carey ◽  
W. Moran

AbstractLet G be a second countable locally compact group possessing a normal subgroup N with G/N abelian. We prove that if G/N is discrete then G has T1 primitive ideal space if and only if the G-quasiorbits in Prim N are closed. This condition on G-quasiorbits arose in Pukanzky's work on connected and simply connected solvable Lie groups where it is equivalent to the condition of Auslander and Moore that G be type R on N (-nilradical). Using an abstract version of Pukanzky's arguments due to Green and Pedersen we establish that if G is a connected and simply connected Lie group then Prim G is T1 whenever G-quasiorbits in [G, G] are closed.


2013 ◽  
Vol 2013 ◽  
pp. 1-13 ◽  
Author(s):  
Yu Liu ◽  
Jianfeng Dong

Assume thatGis a stratified Lie group andQis the homogeneous dimension ofG. Let-Δbe the sub-Laplacian onGandW≢0a nonnegative potential belonging to certain reverse Hölder classBsfors≥Q/2. LetL=-Δ+Wbe a Schrödinger operator on the stratified Lie groupG. In this paper, we prove the boundedness of some integral operators related toL, such asL-1∇2,L-1W, andL-1(-Δ) on the spaceBMOL(G).


2013 ◽  
Vol 12 (08) ◽  
pp. 1350055
Author(s):  
SONIA L'INNOCENTE ◽  
FRANÇOISE POINT ◽  
CARLO TOFFALORI

Given a compact linear Lie group G, we form a natural expansion of the theory of the reals where G and the graph of a logarithm function on G live. We prove its effective model-completeness and decidability modulo a suitable variant of Schanuel's Conjecture.


2013 ◽  
Vol 10 (07) ◽  
pp. 1320011 ◽  
Author(s):  
FATMA KARAKUŞ ◽  
YUSUF YAYLI

In this study, Fermi–Walker derivative, Fermi–Walker parallelism, non-rotating frame, Fermi–Walker termed Darboux vector concepts are given for Lie groups in E4. First, we get any Frénet curve and any vector field along the Frénet curve in a Lie group. Then, the Fermi–Walker derivative is defined for the Lie group. Fermi–Walker derivative and Fermi–Walker parallelism are analyzed in Lie groups. Finally, the necessary conditions for Fermi–Walker parallelism are explained.


Author(s):  
Hongwen Guo ◽  
Dihe Hu

We weaken the open set condition and define a finite intersection property in the construction of the random recursive sets. We prove that this larger class of random sets are fractals in the sense of Taylor, and give conditions when these sets have positive and finite Hausdorff measures, which in certain extent generalize some of the known results, about random recursive fractals.


2019 ◽  
Vol 62 (1) ◽  
pp. 1-9
Author(s):  
Ihab Al Alam ◽  
Pascal Lefèvre

AbstractIn this paper, we discuss the properties of the embedding operator $i_{\unicode[STIX]{x1D707}}^{\unicode[STIX]{x1D6EC}}:M_{\unicode[STIX]{x1D6EC}}^{\infty }{\hookrightarrow}L^{\infty }(\unicode[STIX]{x1D707})$, where $\unicode[STIX]{x1D707}$ is a positive Borel measure on $[0,1]$ and $M_{\unicode[STIX]{x1D6EC}}^{\infty }$ is a Müntz space. In particular, we compute the essential norm of this embedding. As a consequence, we recover some results of the first author. We also study the compactness (resp. weak compactness) and compute the essential norm (resp. generalized essential norm) of the embedding $i_{\unicode[STIX]{x1D707}_{1},\unicode[STIX]{x1D707}_{2}}:L^{\infty }(\unicode[STIX]{x1D707}_{1}){\hookrightarrow}L^{\infty }(\unicode[STIX]{x1D707}_{2})$, where $\unicode[STIX]{x1D707}_{1}$, $\unicode[STIX]{x1D707}_{2}$ are two positive Borel measures on [0, 1] with $\unicode[STIX]{x1D707}_{2}$ absolutely continuous with respect to $\unicode[STIX]{x1D707}_{1}$.


2007 ◽  
Vol 18 (07) ◽  
pp. 783-795 ◽  
Author(s):  
TARO YOSHINO

For a nilpotent Lie group G and its closed subgroup L, Lipsman [13] conjectured that the L-action on some homogeneous space of G is proper in the sense of Palais if and only if the action is free. Nasrin [14] proved this conjecture assuming that G is a 2-step nilpotent Lie group. However, Lipsman's conjecture fails for the 4-step nilpotent case. This paper gives an affirmative solution to Lipsman's conjecture for the 3-step nilpotent case.


Sign in / Sign up

Export Citation Format

Share Document