A holomorphic functional calculus for finite families of commuting semigroups
Langue
en
Document de travail - Pré-publication
Résumé en anglais
Let A be a commutative Banach algebra such that uA = {0} for u ∈ A \ {0} which possesses dense principal ideals. The purpose of the paper is to give a general framework to define F (−λ1∆T 1 ,. .. , −λ k ∆T k) where F belongs ...Lire la suite >
Let A be a commutative Banach algebra such that uA = {0} for u ∈ A \ {0} which possesses dense principal ideals. The purpose of the paper is to give a general framework to define F (−λ1∆T 1 ,. .. , −λ k ∆T k) where F belongs to a natural class of holomorphic functions defined on suitable open subsets of C k containing the "Arveson spectrum" of (−λ1∆T 1 ,. .. , −λ k ∆T k), where ∆T 1 ,. .. , ∆T k are the infinitesimal generators of commuting one-parameter semigroups of multipliers on A belonging to one of the following classes (1) The class of strongly continous semigroups T = (T (te ia)t>0 such that ∪t>0T (te ia)A is dense in A, where a ∈ R. (2) The class of semigroups T = (T (ζ)) ζ∈S a,b holomorphic on an open sector S a,b such that T (ζ)A is dense in A for some, or equivalently for all ζ ∈ S a,b. We use the notion of quasimultiplier, introduced in 1981 by the author at the Long Beach Conference on Banach algebras: the generators of the semigroups under consideration will be defined as quasimultipliers on A, and for ζ in the Arveson resolvent set σar(∆T) the resolvent (∆T − ζI) −1 will be defined as a regular quasimultiplier on A, i.e. a quasimultiplier S on A such that sup n≥1 λ n S n u < +∞ for some λ > 0 and some u generating a dense ideal of A and belonging to the intersection of the domains of S n , n ≥ 1. The first step consists in "normalizing" the Banach algebra A, i.e. continuously embedding A in a Banach algebra B having the same quasi-multiplier algebra as A but for which lim sup t→0 + T (te ia) M(B) < +∞ if T belongs to the class (1), and for which lim sup ζ→0 ζ∈S α,β T (ζ) < +∞ for all pairs (α, β) such that a < α < β < b if T belongs to the class (2). Iterating this procedure this allows to consider (λj∆T j + ζI) −1 as an element of M(B) for ζ ∈ Resar(−λj∆T j), the "Arveson resolvent set " of −λj∆T j , and to use the standard integral 'resolvent formula' even if the given semigroups are not bounded near the origin. A first approach to the functional calculus involves the dual G a,b of an algebra of fast decreasing functions, described in Appendix 2. Let a = (a1,. .. , a k), b = (b1,. .. , b k), with aj ≤ bj ≤ aj + π, and denote by M a,b the set of families (α, β) = (α1, β1),. .. , (α k , β k) such that 1< Réduire
Origine
Importé de halUnités de recherche