-
Strongly Kreiss bounded operators on $L^p$ spaces
Authors:
Loris Arnold,
Christophe Cuny
Abstract:
Let $T$ be a strongly Kreiss bounded linear operator on $L^p$. We obtain a somewhat optimal control on the rate of growth of the norms ofthe powers. The proof makes use of Fourier multipliers, in particular of Littlewwod-Paley inequalities on arbitrary intervals as initiated by Rubio de Francia and developped by Kislyakov and Parilov.
Let $T$ be a strongly Kreiss bounded linear operator on $L^p$. We obtain a somewhat optimal control on the rate of growth of the norms ofthe powers. The proof makes use of Fourier multipliers, in particular of Littlewwod-Paley inequalities on arbitrary intervals as initiated by Rubio de Francia and developped by Kislyakov and Parilov.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
Hankel operators on $L^p(\mathbb{R}_+)$ and their $p$-completely bounded multipliers
Authors:
Loris Arnold,
Christian Le Merdy,
Safoura Zadeh
Abstract:
We show that for any $1<p<\infty$, the space $Hank_p(\mathbb{R}_+)\subseteq B(L^p(\mathbb{R}_+))$ of all Hankel operators on $L^p(\mathbb{R}_+)$ is equal to the $w^*$-closure of the linear span of the operators $θ_u\colon L^p(\mathbb{R}_+)\to L^p(\mathbb{R}_+)$ defined by $θ_uf=f(u-\,\cdotp)$, for $u>0$. We deduce that $Hank_p(\mathbb{R}_+)$ is the dual space of$A_p(\mathbb{R}_+)$, a half-line ana…
▽ More
We show that for any $1<p<\infty$, the space $Hank_p(\mathbb{R}_+)\subseteq B(L^p(\mathbb{R}_+))$ of all Hankel operators on $L^p(\mathbb{R}_+)$ is equal to the $w^*$-closure of the linear span of the operators $θ_u\colon L^p(\mathbb{R}_+)\to L^p(\mathbb{R}_+)$ defined by $θ_uf=f(u-\,\cdotp)$, for $u>0$. We deduce that $Hank_p(\mathbb{R}_+)$ is the dual space of$A_p(\mathbb{R}_+)$, a half-line analogue of the Figa-Talamenca-Herz algebra $A_p(\mathbb{R})$. Then we show that a function $m\colon \mathbb{R}_+^*\to \mathbb{C}$ is the symbol of a $p$-completely bounded multiplier $Hank_p(\mathbb{R}_+)\to Hank_p(\mathbb{R}_+)$ if and only if there exist $α\in L^\infty(\mathbb{R}_+;L^p(Ω))$ and $β\in L^\infty(\mathbb{R}_+;L^{p'}(Ω))$ such that $m(s+t)=\langleα(s),β(t)\rangle$ for a.e. $(s,t)\in\mathbb{R}_+^{*2}$. We also give analogues of these results in the (easier) discrete case.
△ Less
Submitted 4 February, 2025; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Growth rate of eventually positive Kreiss bounded $C_0$-semigroups on $L^p$ and $\mathcal{C}(K)$
Authors:
L. Arnold,
C. Coine
Abstract:
In this paper, we compare several Cesàro and Kreiss type boundedness conditions for a $C_0$-semigroup on a Banach space and we show that those conditions are all equivalent for a positive semigroup on a Banach lattice. Furthermore, we give an estimate of the growth rate of a Kreiss bounded and eventually positive $C_0$-semigroup $(T_t)_{t\ge 0}$ on certain Banach lattices $X$. We prove that if…
▽ More
In this paper, we compare several Cesàro and Kreiss type boundedness conditions for a $C_0$-semigroup on a Banach space and we show that those conditions are all equivalent for a positive semigroup on a Banach lattice. Furthermore, we give an estimate of the growth rate of a Kreiss bounded and eventually positive $C_0$-semigroup $(T_t)_{t\ge 0}$ on certain Banach lattices $X$. We prove that if $X$ is an $L^p$-space, $1<p<+\infty$, then $\|T_t\| = \mathcal{O}\left(t/\log(t)^{\max(1/p,1/p')}\right)$ and if $X$ is an $(\text{AL})$ or $(\text{AM})$-space, then $\|T_t\|=\mathcal{O}(t^{1-ε})$ for some $ε\in (0,1)$, improving previous estimates.
△ Less
Submitted 22 November, 2022; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Behavior of Kreiss bounded $C_0$-semigroups on a Hilbert space
Authors:
Loris Arnold
Abstract:
Let $0<α\leq 1$. We prove that a $α$-Kreiss bounded $C_0$ semigroup $(T_t)_{t \ge 0}$ on a Hilbert space has asymptotics $||T_t|| = O\big(t^α/\sqrt{log(t)}\big)$. Then, we give an application to perturbed wave equation.
Let $0<α\leq 1$. We prove that a $α$-Kreiss bounded $C_0$ semigroup $(T_t)_{t \ge 0}$ on a Hilbert space has asymptotics $||T_t|| = O\big(t^α/\sqrt{log(t)}\big)$. Then, we give an application to perturbed wave equation.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
$S^1$-bounded Fourier multipliers on $H^1({\mathbb R})$ and functional calculus for semigroups
Authors:
Loris Arnold,
Christian Le Merdy,
Safoura Zadeh
Abstract:
Let $T\colon H^1({\mathbb R})\to H^1({\mathbb R})$ be a bounded Fourier multiplier on the analytic Hardy space $H^1({\mathbb R})\subset L^1({\mathbb R})$ and let $m\in L^\infty({\mathbb R}_+)$ be its symbol, that is, $\widehat{T(h)}=m\widehat{h}$ for all $h\in H^1({\mathbb R})$.Let $S^1$ be the Banach space of all trace class operators on $\ell^2$. We show that $T$ admits a bounded tensor extensio…
▽ More
Let $T\colon H^1({\mathbb R})\to H^1({\mathbb R})$ be a bounded Fourier multiplier on the analytic Hardy space $H^1({\mathbb R})\subset L^1({\mathbb R})$ and let $m\in L^\infty({\mathbb R}_+)$ be its symbol, that is, $\widehat{T(h)}=m\widehat{h}$ for all $h\in H^1({\mathbb R})$.Let $S^1$ be the Banach space of all trace class operators on $\ell^2$. We show that $T$ admits a bounded tensor extension $T\overline{\otimes} I_{S_1}\colon H^1({\mathbb R};S^1) \to H^1({\mathbb R};S^1)$ if and only if there exist a Hilbert space $\mathcal H$ and two functions $α, β\in L^\infty({\mathbb R}_+;{\mathcal H})$ such that $m(s+t) = \langleα(t),β(s)\rangle_{\mathcal H}$ for almost every $(s,t)\in{\mathbb R}_+^2$. Such Fourier multipliers arecalled $S^1$-bounded and we let ${\mathcal M}_{S^1}(H^1({\mathbb R}))$ denote the Banach space of all $S^1$-bounded Fourier multipliers. Next we apply this result to functional calculus estimates, in two steps. First we introduce a new Banach algebra ${\mathcal A}_{0,S^1}({\mathbb C}_+)$ of bounded analytic functions on ${\mathbb C}_+ =\bigl\{z\in{\mathbb C}\, :\, {\rm Re}(z)>0\bigr\}$ and show that its dual space coincides with ${\mathcal M}_{S^1}(H^1({\mathbb R}))$. Second, given any bounded $C_0$-semigroup $(T_t)_{t\geq 0}$ on Hilbert space, and any $b\in L^1({\mathbb R}_+)$, we establish an estimate $\bigl\Vert\int_0^\infty b(t) T_t\, dt\bigr\Vert\lesssim \Vert L_b\Vert_{{\mathcal A}_{0,S^1}({\mathbb R})}$, where $L_b$ denotes the Laplace transform of $b$. This improves previous functional calculus estimates recently obtained by the first two authors.
△ Less
Submitted 4 February, 2025; v1 submitted 31 March, 2022;
originally announced March 2022.
-
Functional calculus for a bounded $C_0$-semigroup on Hilbert space
Authors:
Loris Arnold,
Christian Le Merdy
Abstract:
We introduce a new Banach algebra ${\mathcal A}({\mathbb C}_+)$ of bounded analytic functions on ${\mathbb C}_+=\{z\in{\mathbb C}\, :\, {\rm Re}(z)>0\}$ which is an analytic version of the Figa-Talamenca-Herz algebras on ${\mathbb R}$. Then we prove that the negative generator $A$ of any bounded $C_0$-semigroup on Hilbert space $H$ admits a bounded (natural) functional calculus…
▽ More
We introduce a new Banach algebra ${\mathcal A}({\mathbb C}_+)$ of bounded analytic functions on ${\mathbb C}_+=\{z\in{\mathbb C}\, :\, {\rm Re}(z)>0\}$ which is an analytic version of the Figa-Talamenca-Herz algebras on ${\mathbb R}$. Then we prove that the negative generator $A$ of any bounded $C_0$-semigroup on Hilbert space $H$ admits a bounded (natural) functional calculus $ρ_A\colon {\mathcal A}({\mathbb C}_+)\to B(H)$. We prove that this is an improvement of the bounded functional calculus ${\mathcal B}({\mathbb C}_+)\to B(H)$ recently devised by Batty-Gomilko-Tomilov on a certain Besov algebra ${\mathcal B}({\mathbb C}_+)$ of analytic functions on ${\mathbb C}_+$, by showing that ${\mathcal B}({\mathbb C}_+)\subset {\mathcal A}({\mathbb C}_+)$ and ${\mathcal B}({\mathbb C}_+)\not= {\mathcal A}({\mathbb C}_+)$. In the Banach space setting, we give similar results for negative generators of $γ$-bounded $C_0$-semigroups. The study of ${\mathcal A}({\mathbb C}_+)$ requires to deal with Fourier multipliers on the Hardy space $H^1({\mathbb R})\subset L^1({\mathbb R})$ of analytic functions.
△ Less
Submitted 4 February, 2025; v1 submitted 8 December, 2020;
originally announced December 2020.
-
Derivative bounded functional calculus of power bounded operators on Banach spaces
Authors:
Loris Arnold
Abstract:
In this article we study bounded operators $T$ on Banach space $X$ which satisfy the discrete Gomilko Shi-Feng condition $$\int_{0}^{2π}|\langle R(re^{it},T)^{2}x,x^*\rangle |dt \leq \frac{C}{(r^2-1)}\norme{x}\norme{x^*},\quad r>1, x\in X, x^* \in X^*. $$ We show that it is equivalent to a certain derivative bounded functional calculus and also to a bounded functional calculus relative to Besov sp…
▽ More
In this article we study bounded operators $T$ on Banach space $X$ which satisfy the discrete Gomilko Shi-Feng condition $$\int_{0}^{2π}|\langle R(re^{it},T)^{2}x,x^*\rangle |dt \leq \frac{C}{(r^2-1)}\norme{x}\norme{x^*},\quad r>1, x\in X, x^* \in X^*. $$ We show that it is equivalent to a certain derivative bounded functional calculus and also to a bounded functional calculus relative to Besov space. Also on Hilbert space discrete Gomilko Shi-Feng condition is equivalent to power-boundedness. Finally we discuss the last equivalence on general Banach space involving the concept of $γ$-boundedness.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.
-
Gamma-boundedness of $C_0$-semigroups and their $H^\infty$-functional calculi
Authors:
Loris Arnold
Abstract:
We discuss the notion of $γ$-$H^{\infty}$-bounded calculus, strong $γ$-$m$-$H^{\infty}$-bounded calculus on half-plane and weak-$γ$-Gomilko-Shi-Feng condition and give a connection between them. Then we state a characterization of generation of $γ$-bounded $C_0$-semigroup in $K$-convex space, which leads to a version of Gearhart-Prüss on $K$-convex space.
We discuss the notion of $γ$-$H^{\infty}$-bounded calculus, strong $γ$-$m$-$H^{\infty}$-bounded calculus on half-plane and weak-$γ$-Gomilko-Shi-Feng condition and give a connection between them. Then we state a characterization of generation of $γ$-bounded $C_0$-semigroup in $K$-convex space, which leads to a version of Gearhart-Prüss on $K$-convex space.
△ Less
Submitted 6 July, 2019;
originally announced July 2019.
-
New counterexamples on Ritt operators, sectorial operators and R-boundedness
Authors:
Loris Arnold,
Christian Le Merdy
Abstract:
Let $\mathcal D$ be a Schauder decomposition on some Banach space $X$. We prove that if $\mathcal D$ is not $R$-Schauder, then there exists a Ritt operator $T\in B(X)$ which is a multiplier with respect to $\mathcal D$, such that the set $\{T^n\, :\, n\geq 0\}$ is not $R$-bounded. Likewise we prove that there exists a bounded sectorial operator $A$ of type $0$ on $X$ which is a multiplier with res…
▽ More
Let $\mathcal D$ be a Schauder decomposition on some Banach space $X$. We prove that if $\mathcal D$ is not $R$-Schauder, then there exists a Ritt operator $T\in B(X)$ which is a multiplier with respect to $\mathcal D$, such that the set $\{T^n\, :\, n\geq 0\}$ is not $R$-bounded. Likewise we prove that there exists a bounded sectorial operator $A$ of type $0$ on $X$ which is a multiplier with respect to $\mathcal D$, such that the set $\{e^{-tA}\, : \, t\geq 0\}$ is not $R$-bounded.
△ Less
Submitted 29 December, 2018;
originally announced December 2018.
-
Information-Geometric Optimization Algorithms: A Unifying Picture via Invariance Principles
Authors:
Yann Ollivier,
Ludovic Arnold,
Anne Auger,
Nikolaus Hansen
Abstract:
We present a canonical way to turn any smooth parametric family of probability distributions on an arbitrary search space $X$ into a continuous-time black-box optimization method on $X$, the \emph{information-geometric optimization} (IGO) method. Invariance as a design principle minimizes the number of arbitrary choices. The resulting \emph{IGO flow} conducts the natural gradient ascent of an adap…
▽ More
We present a canonical way to turn any smooth parametric family of probability distributions on an arbitrary search space $X$ into a continuous-time black-box optimization method on $X$, the \emph{information-geometric optimization} (IGO) method. Invariance as a design principle minimizes the number of arbitrary choices. The resulting \emph{IGO flow} conducts the natural gradient ascent of an adaptive, time-dependent, quantile-based transformation of the objective function. It makes no assumptions on the objective function to be optimized.
The IGO method produces explicit IGO algorithms through time discretization. It naturally recovers versions of known algorithms and offers a systematic way to derive new ones. The cross-entropy method is recovered in a particular case, and can be extended into a smoothed, parametrization-independent maximum likelihood update (IGO-ML). For Gaussian distributions on $\mathbb{R}^d$, IGO is related to natural evolution strategies (NES) and recovers a version of the CMA-ES algorithm. For Bernoulli distributions on $\{0,1\}^d$, we recover the PBIL algorithm. From restricted Boltzmann machines, we obtain a novel algorithm for optimization on $\{0,1\}^d$. All these algorithms are unified under a single information-geometric optimization framework.
Thanks to its intrinsic formulation, the IGO method achieves invariance under reparametrization of the search space $X$, under a change of parameters of the probability distributions, and under increasing transformations of the objective function.
Theory strongly suggests that IGO algorithms have minimal loss in diversity during optimization, provided the initial diversity is high. First experiments using restricted Boltzmann machines confirm this insight. Thus IGO seems to provide, from information theory, an elegant way to spontaneously explore several valleys of a fitness landscape in a single run.
△ Less
Submitted 28 April, 2017; v1 submitted 19 June, 2011;
originally announced June 2011.
