arXiv subjects

Jean Esterle

Publications and source records attributed to Jean Esterle.

9 recordsLinked to original sources

arXiv2020

Do some nontrivial closed z-invariant subspaces have the division property ?

We consider Banach spaces E of functions holomorphic on the open unit disc D such that the unilateral shift S and the backward shift T are bounded on E. Assuming that the spectra of S and T are equal to the closed unit disc we discuss the existence of closed z-invariant of N of E having the "division property", which means that the function f $λ$ : z $\rightarrow$ f (z)/ z--$λ$ belongs to N for every $λ$ $\in$ D and for every f $\in$ N such that f ($λ$) = 0. This question is related to the existence of nontrivial bi-invariant subspaces of Banach spaces of hyperfunctions on the unit circle T.

math.CV↗

arXiv2019

A holomorphic functional calculus for finite families of commuting semigroups

Let A be a commutative Banach algebra such that uA = {0} for u $\in$ 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 $\cup$t>0T (te ia)A is dense in A, where a $\in$ R. (2) The class of semigroups T = (T ($ζ$)) $ζ$$\in$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 $ζ$ $\in$ 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$\ge$1 $λ$ n S n u < +$\infty$ for some $λ$ > 0 and some u generating a dense ideal of A and belonging to the intersection of the domains of S n , n $\ge$ 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$\rightarrow$0 + T (te ia) M(B) < +$\infty$ if T belongs to the class (1), and for which lim sup $ζ$$\rightarrow$0 $ζ$$\in$S $α$,$β$ T ($ζ$) < +$\infty$ 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 $ζ$ $\in$ 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 $\le$ bj $\le$ aj + $π$, and denote by M a,b the set of families ($α$, $β$) = ($α$1, $β$1),. .. , ($α$ k , $β$ k) such that 1

math.FA↗

arXiv2017

On the generation of Arveson weakly continuous semigroups

We consider here one-parameter semigroups ${\bf T}=(T(t))_{t>0}$ of bounded operators on a Banach space $X$ which are weakly continuous in the sense of Arveson. For such a semigroup ${\bf T}$ denote by ${\mathcal M}_{ω_{\bf T}}$ the convolution algebra consisting in those measures $μ$ on $(0,+\infty)$ such that $\int_0^{+\infty}\Vert T(t)\Vert d\vert μ\vert (t)<+\infty.$ The Pettis integral $\int_0^{+\infty}T(t)dμ(t)$ defines for $μ\in {\mathcal M}_{ω_{\bf T}}$ a bounded operator $ϕ_{\bf T}(μ)$ on $X.$ Identifying the space $L^1_{ω_{\bf T}}$ of (classes of) measurable functions $f$ satisfying $\int_0^{+\infty}\vert f(t)\Vert T(t)\Vert dt< +\infty$ to a closed subspace ${\mathcal M}_{ω_{\bf T}}$ in the usual way, we define the Arveson ideal $\mathcal{I}_{\bf T}$ of the semigroup to be the closure in ${\mathcal B}(X)$ of $ϕ_{\bf T}(L^1_{ω_{\bf T}}).$ Using a variant of a procedure introduced a long time ago by the author we introduce a dense ideal $\mathcal{U}_{\bf T}$ of $\mathcal{I}_{\bf T},$ which is a Banach algebra with respect to a suitable norm $\Vert .\Vert_{\mathcal{U}_{\bf T}},$ such that $\lim \sup_{t\to 0^+}\Vert T(t)\Vert_{{\mathcal B}(\mathcal{U}_{\bf T})}<+\infty.$ The normalized Arveson ideal $\mathcal{J}_{\bf T}$ is the closure of $\mathcal{I}_{\bf T}$ in ${\mathcal B}(\mathcal{U}_{\bf T}).$ The Banach algebra $\mathcal{J}_{\bf T}$ has a sequential approximate identity and is isometrically isomorphic to a closed ideal of its multiplier algebra ${\mathcal M}(\mathcal{J}_{\bf T}).$ The Banach algebras $\mathcal{U}_{\bf T},$ $\mathcal{I}_{\bf T}$ and $\mathcal{J}_{\bf T}$ are "similar", and the map $S_{u/v}\to S_{au/av}$ defines when $a$ generates a dense principal ideal of $\mathcal{U}_{\bf T}$ a pseudo bounded isomorphism from the algebre $\mathcal{QM}(\mathcal{J}_{\bf T})$ of quasimultipliers on $\mathcal{J}_{\bf T}$ onto the quasimultipliers algebras $\mathcal{QM}(\mathcal{U}_{\bf T})$ and $\mathcal{QM}(\mathcal{I}_{\bf T}).$ We define the generator $A_{\bf T}$ of the semigroup $\bf T$ to be a quasimultiplier on $\mathcal{I}_{\bf T},$ or ,equivalently, on $\mathcal{J}_{\bf T}.$ Every character $χ$ on $\mathcal{I}_{\bf T}$ has an extension $\tilde χ$ to $\mathcal{QM}(\mathcal{I}_{\bf T}).$ Let $Res_{ar} (A_{\bf T})$ be the complement of the set $\{ \tilde χ(A_{\bf T})\}_{χ\in \widehat{\mathcal{I}_{\bf T}}}.$ The quasimultiplier $A-μI$ has an inverse belonging to $\mathcal{J}_{\bf T}$ for $μ\in Res_{ar} (A_{\bf T}),$ which allows to consider this inverse as a "regular" quasimultiplier on the Arveson ideal $\mathcal{I}_{\bf T}.$ The usual resolvent formula holds in this context for $Re(μ)>\lim_{t\to +\infty}{log \Vert T(t)\Vert\over t}.$ Set $Π_α^+:=\{ z \in \mathbb{C} \ | \ Re(z) >α\}.$ We revisit the functional calculus associated to the generator $A_{\bf T}$ by defining $F(-A_{\bf T})\in \mathcal{J}_{\bf T}$ by a Cauchy integral when $F$ belongs to the Hardy space $H^1(Π_α^+)$ for some $α< -\lim_{t\to +\infty} {log\Vert T(t)\vert\over t}.$ We then define $F(-A_{\bf T})$ as a quasimultiplier on $\mathcal{J}_{\bf T}$ and $\mathcal{I}_{\bf T}$ when $F$ belongs to the Smirnov class on $Π_α^+,$ and $F(-A_{\bf T})$ is a regular quasimultiplier on $\mathcal{J}_{\bf T}$ and $\mathcal{I}_{\bf T}$ if $F$ is bounded on $Π_α^+.$ If $F(z)=e^{-zt}$ for some $t>0,$ then $F(-A_{\bf T})=T(t),$ and if $F(z)=-z,$ we indeed have $F(-A_{\bf T})=A_{\bf T}.$

math.FA↗

arXiv2015

Bounded cosine functions close to continuous scalar bounded cosine functions

Let $(C(t))\_{t \in R}$ be a cosine function in a unital Banach algebra. We show that if $sup\_{t\in R}\Vert C(t)-cos(t)\Vert \textless{} 2$ for some continuous scalar bounded cosine function $(c(t))\_{t\in \R},$ then the closed subalgebra generated by $(C(t))\_{t\in R}$ is isomorphic to $\C^k$ for some positive integer $k.$ If, further, $sup\_{t\in \R}\Vert C(t)-cos(t)\Vert \textless{} {8\over 3\sqrt 3},$ or if $c(t)=I$, then $C(t)=c(t)$ for $t\in R.$

math.FA↗

arXiv2015

A zero-sqrt(5)/ 2 law for cosine families

Let $a \in \R,$ and let $k(a)$ be the largest constant such that $sup\vert cos(na)-cos(nb)\vert \textless{} k(a)$ for $b\in \R$ implies that $b \in \pm a+2π\Z. $ We show that if a cosine sequence $(C(n))\_{n\in \Z}$ with values in a Banach algebra $A$ satisfies $sup\_{n\ge 1}\Vert C(n) -cos(na).1\_A\Vert \textless{} k(a),$ then $C(n)=cos(na)$ for $n\in \Z.$ Since ${\sqrt 5\over 2} \le k(a) \le {8\over 3\sqrt 3}$ for every $a \in \R,$ this shows that if some cosine family $(C(g))\_{g\in G}$ over an abelian group $G$ in a Banach algebra satisfies $sup\_{g\in G}\Vert C(g)-c(g)\Vert \textless{} {\sqrt 5\over 2}$ for some scalar cosine family $(c(g))\_{g\in G},$ then $C(g)=c(g)$ for $g\in G,$ and the constant ${\sqrt 5\over 2}$ is optimal. We also describe the set of all real numbers $a \in [0,π]$ satisfying $k(a)\le {3\over 2}.$

math.FA↗

arXiv2015

A short proof of the zero-two law for cosine functions

Let $(C(t))\in\mathbb{R}}$ be a cosine function in a unital Banach algebra. We give a simple proof of the fact that if lim sup$\_{t\to 0}\vert C(t)-1\_A\vert\textless{}2,$ then $lim sup\_{t\to 0}\Vert C(t)-1\_A\Vert=0.$

math.FA↗

arXiv2014

Sur quelques extensions au cadre Banachique de la notion d'opérateur de Hilbert-Schmidt

In this work we discuss several ways to extend to the context of Banach spaces the notion of Hilbert-Schmidt operators: $p$-summing operators, $γ$-summing or $γ$-radonifying operators, weakly $*1$-nuclear operators and classes of operators defined via factorization properties. We introduce the class $PS_2(E; F)$ of pre-Hilbert-Schmidt operators as the class of all operators $u:E\to F$ such that $w\circ u \circ v$ is Hilbert-Schmidt for every bounded operator $v: H_1\to E$ and every bounded operator $w:F\to H_2$, where $H_1$ et $H_2$ are Hilbert spaces. Besides the trivial case where one of the spaces $E$ or $F$ is a "Hilbert-Schmidt space", this space seems to have been described only in the easy situation where one of the spaces $E$ or $F$ is a Hilbert space.

math.FA↗

arXiv2013

Décomposition effective de Jordan-Chevalley et ses retombées en enseignement

The purpose of this paper is to point the effectiveness of the Jordan-Chevalley decomposition, i.e. the decomposition of a square matrix $U$ with coefficients in a field $k$ containing the eigenvalues of $U$ as a sum $U=D+N,$ where $D$ is a diagonalizable matrix and $N$ a nilpotent matrix which commutes with $D.$ The most general version of this decomposition shows that every separable element $u$ of a $k$-algebra $A$ can be written in a unique way as a sum $u=d+n,$ where $d \in A$ is absolutely semi-simple and where $n\in A$ is nilpotent and commutes with $d.$ In fact an algorithm, due to C. Chevalley, allows to compute this decomposition: this algorithm is an adaptation to this context of the Newton method, which gives here the exact value of the absolutely semi-simple part $d$ of $u$ after a finite number of iterations. We illustrate the effectiveness of this method by computing the decomposition of a $15 \times 15$ matrix having eigenvalues of multiplicity 3 which are not computable exactly. We also discuss the other classical method, based on the chinese remainder theorem, which gives the Jordan-Chevalley decomposition under the form $u=q(u) +[u-q(u)],$ with $q(u)$ absolutely semi-simple, $u-q(u)$ nilpotent, where $q$ is any solution of a system of congruence equations related to the roots of a polynomial $p\in k[x]$ such that $p(u)=0.$ It is indeed possible to compute $q$ without knowing the roots of $p$ by applying the algorithm discussed above to $π(x),$ where $π: k[x] \to k[x]/pk[x]$ is the canonical surjection. We obtain this way after 2 iterations the polynomial $q$ of degree 14 associated to the $15\times 15$ matrix mentioned above. We justify by historical considerations the use of the name "Jordan-Chevalley decomposition", instead of the name "Dunford decomposition" which also appears in the literature, and we discuss multiplicative versions of this decomposition in semi-simple Lie groups. We conclude this paper showing why this decomposition should play a central role in a linear algebra course, even at a rather elementary level. Our arguments are based on a teaching experience of more than 10 years in an engineering school located on the Basque Coast.

math.RA↗

arXiv1994

Closed ideals of the algebra of absolutely convergent Taylor series

Let $Γ$ be the unit circle, $A(Γ)$ the Wiener algebra of continuous functions whose series of Fourier coefficients are absolutely convergent, and $A^+$ the subalgebra of $A(Γ)$ of functions whose negative coefficients are zero. If $I$ is a closed ideal of $A^+$, we denote by $S_I$ the greatest common divisor of the inner factors of the nonzero elements of $I$ and by $I^A$ the closed ideal generated by $I$ in $A(Γ)$. It was conjectured that the equality $I^A= S_I H^\infty \cap I^A$ holds for every closed ideal $I$. We exhibit a large class $\scr F$ of perfect subsets of $Γ$, including the triadic Cantor set, such that the above equality holds whenever $h(I)\capΓ\in\scr F$. We also give counterexamples to the conjecture.

math.FA↗