L'inégalité de Bohr pour les séries de Dirichlet

We extend to the setting of Dirichlet series previous results of Bohr for Taylor series in one variable, themselves generalized by Paulsen, Popescu and Singh or extended to several variables by Aizenberg, Boas and Khavinson. We show in particular that, if $f(s)={\sum }_{n=1}^{\infty }{a}_n{n}^{?s}$, with $6f{6}_{\infty }:={\sup }_{\mathfrak{R}s>0}|f(s)|<\infty$, then ${\sum }_{n=1}^{\infty }|a_n|n^{\mathrm{?2}}?6f{6}_{\infty }$ and even slightly better, and ${\sum }_{n=1}^{\infty }|a_n|n^{?1/2}?C6f{6}_{\infty }$, C being an absolute constant. To cite this article: R. Balasubramanian et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

The finite-step realizability of the joint spectral radius of a pair of d×d matrices one of which being rank-one

We study the finite-step realizability of the joint/generalized spectral radius of a pair of real square matrices ${\mathrm{S}}_1$ and ${\mathrm{S}}_2$, one of which has rank 1, where $2?d<+\infty$. Let $\rho (A)$ denote the spectral radius of a square matrix A. Then we prove that there always exists a finite-length word $(i_1^1\text{,}\dots \text{,}{i}_m^1)\in \{1\text{,}2{\}}^m$, for some finite $m?1$, such that$\sqrt[m]{\rho \left({\mathrm{S}}_{i_1^1}?{\mathrm{S}}_{i_m^1}\right)}={\sup }_{n?1}\left\{{\displaystyle \underset{(i_1\text{,}\dots \text{,}{i}_n)\in \{1\text{,}2{\}}^n}{\max }}\sqrt[n]{\rho ({\mathrm{S}}_{i_1}?{\mathrm{S}}_{i_n})}\right\}\text{.}$In other words, there holds the spectral finiteness property for $\{{\mathrm{S}}_1\text{,}{\mathrm{S}}_2\}$. Explicit formula for computation of the joint spectral radius is derived. This implies that the stability of the switched system induced by $\{{\mathrm{S}}_1\text{,}{\mathrm{S}}_2\}$ is algorithmically decidable in this case.     

Un contre-exemple pour un espace d'interpolation qui n'est pas faiblement LUR

According to a previous result of the author, if $(A_0,A_1)$ is an interpolation couple, if $A_0^{?}$ is weakly LUR, then the complex interpolation spaces ${(A_0^{?},A_1^{?})}_{\theta }$ have the same property.Here we construct an interpolation couple $(B_0,B_1)$ where $B_0$ is LUR, but where the complex interpolation spaces ${(B_0,B_1)}_{\theta }$ are not strictly convex.     

On the sum of reciprocals of least common multiples

Let ${\{a_i\}}_{i=1}^{\infty }$ be a strictly increasing sequence of positive integers ($a_i<a_j$ if $i<j$). In 1978, Borwein showed that for any positive integer n, we have ${\sum }_{i=1}^n\frac{1}{\mathrm{lcm}(a_i,a_{i+1})}\le 1?\frac{1}{2^n}$, with equality occurring if and only if $a_i=2^{i?1}$ for $1\le i\le n+1$. Let $3\le r\le 7$ be an integer. In this paper, we investigate the sum ${\sum }_{i=1}^n\frac{1}{\mathrm{lcm}(a_i,...,a_{i+r?1})}$ and show that ${\sum }_{i=1}^n\frac{1}{\mathrm{lcm}(a_i,...,a_{i+r?1})}\le U_r(n)$ for any positive integer n, where $U_r(n)$ is a constant depending on r and n. Further, for any integer $n\ge 2$, we also give a characterization of the sequence ${\{a_i\}}_{i=1}^{\infty }$ such that the equality ${\sum }_{i=1}^n\frac{1}{\mathrm{lcm}(a_i,...,a_{i+r?1})}=U_r(n)$ holds.     

On Birman's sequence of Hardy–Rellich-type inequalities

In 1961, Birman proved a sequence of inequalities $\{I_n\}$, for $n\in \mathbb{N}$, valid for functions in $C_0^n((0,\infty ))?L^2((0,\infty ))$. In particular, $I_1$ is the classical (integral) Hardy inequality and $I_2$ is the well-known Rellich inequality. In this paper, we give a proof of this sequence of inequalities valid on a certain Hilbert space $H_n([0,\infty ))$ of functions defined on $[0,\infty )$. Moreover, $f\in H_n([0,\infty ))$ implies $f^{\prime }\in H_{n?1}([0,\infty ))$; as a consequence of this inclusion, we see that the classical Hardy inequality implies each of the inequalities in Birman's sequence. We also show that for any finite $b>0$, these inequalities hold on the standard Sobolev space $H_0^n((0,b))$. Furthermore, in all cases, the Birman constants ${[(2n?1)!!]}^2/2^{2n}$ in these inequalities are sharp and the only function that gives equality in any of these inequalities is the trivial function in $L^2((0,\infty ))$ (resp., $L^2((0,b))$). We also show that these Birman constants are related to the norm of a generalized continuous Cesàro averaging operator whose spectral properties we determine in detail.     

Existence and convexity of local solutions to degenerate Hessian equations

In this work, we prove the existence of convex solutions to the following k-Hessian equation

$S_k[u]=K(y)g(y,u,Du)$

in the neighborhood of a point $(y_0,u_0,p_0)\in {\mathbb{R}}^n\times \mathbb{R}\times {\mathbb{R}}^n$, where $g\in C^{\infty },g(y_0,u_0,p_0)>0$, $K\in C^{\infty }$ is nonnegative near $y_0$, $K(y_0)=0$ and $\text{Rank}(D_y^{2}K)(y_0)\ge n?k+1$.     

Computing the Karcher mean of symmetric positive definite matrices

We present and analyze an iterative method for approximating the Karcher mean of a set of $n\times n$ positive definite matrices $A_i$, $i=1\text{,}\dots \text{,}k$, defined as the unique positive definite solution of the matrix equation ${\sum }_{i=1}^k\log (A_i^{-1}X)=0$.     

Three new results on continuation criteria for the 3D relativistic Vlasov–Maxwell system

We consider continuation criteria for the three-dimensional relativistic Vlasov–Maxwell system. When the particle density, $f(t,x,p)$, is compactly supported at $t=0$, we prove ${6p_0^{\frac{18}{5r}?1+\beta }f6}_{L_t^{\infty }{L}_x^r{L}_p^1}?1$, where $1\le r\le 2$ and $\beta >0$ is arbitrarily small, is a continuation criteria. Our continuation criteria is an improvement in the $1\le r\le 2$ range to the previously best known criteria ${6p_0^{\frac{4}{r}?1+\beta }f6}_{L_t^{\infty }{L}_x^r{L^1}_p}?1$ due to Kunze [7]. We also consider continuation criteria when $f(0,x,p)$ has noncompact support. In this regime, Luk–Strain [9] proved that ${6p_0^{\theta }f6}_{L_x^1{L}_p^1}?1$ is a continuation criteria for $\theta >5$. We improve this result to $\theta >3$. Finally, we build on another result by Luk–Strain [8]. The authors proved boundedness of momentum support on a fixed two-dimensional plane is a sufficient continuation criteria. We prove the same result even if the plane varies continuously in time.