Solutions globales d'énergie infinie de l'équation de Navier–Stokes 2D

We study in this Note the solutions of the 2D Navier–Stokes equations with initial data in ?BMO. For $u{|}_{t=0}$ in the closure of the Schwartz class, we obtain the existence and uniqueness of a global solution, and besides an estimate on its norm in ?BMO. To cite this article: P. Germain, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Inégalités d'oracle pour l'estimation d'une densité de probabilité

We study the problem of the nonparametric estimation of a probability density in $L_2(\mathbb{R})$. Expressing the mean integrated squared error in the Fourier domain, we show that it is close to the mean squared error in the Gaussian sequence model. Then, applying a modified version of Stein's blockwise method, we obtain a linear monotone oracle inequality and a kernel oracle inequality. As a consequence, the proposed estimator is sharp minimax adaptive (i.e. up to a constant) on a scale of Sobolev classes of densities. To cite this article: Ph. Rigollet, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Spectres pour l'approximation d'un nombre réel et de son carré

Let $\alpha (\xi )$ be the exponent that measures how a non-quadratic real number ξ and its square can be simultaneously approximated by rational numbers with the same denominator. Davenport and Schmidt have proved that $\alpha (\xi )$ is always between the golden ratio γ and 2. Roy, and after him Bugeaud and Laurent, have constructed numbers ξ such that $\alpha (\xi )<2$. Their method involves infinite words with many palindrome prefixes. In this text, we define new exponents of approximation that allow us to obtain, to some extent, a characterization of the values $\alpha (\xi )$ obtained by these authors. To cite this article: S. Fischler, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Sur la densité d'état de l'opérateur de Schrödinger quasi-périodique unidimensionnel

We prove two results on the density of states of the discrete one dimensional quasi-periodic Schrödinger equation with an analytic potential and Diophantine frequencies in the perturbed regime. On the one hand, we prove that this function has the behavior of a Hölder-$\frac{1}{2}$ function. On the other, we show that the length of the gaps has a sub-exponential estimate which depends on its label given by the gap-labeling theorem. To cite this article: S. Hadj Amor, C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

Une propriété de composition dans l'espace Hs

Let us assume that $1<p?q?+\infty$, $1/p<s?[s]<1$, and $[s]?1$. If f and g are functions in the Besov space $B_p^{s\text{,}q}(\mathbb{R})$, such that g is real valued and such that $f(0)=0$, then the composed function $f○g$ belongs to $B_p^{s\text{,}q}(\mathbb{R})$. To cite this article: G. Bourdaud, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Sur les bornes inférieures de l'écart des variétés invariantes

Let m be an integer ?3, set $?(r)=\frac{1}{2}(r_1^2+?+r_{m?1}^2)+r_m$ for $r\in {\mathbb{R}}^m$, and consider a badly approximable vector ${\overline{\omega }}^0\in {\mathbb{R}}^{m?2}$. Fix $\alpha >1$, $L>0$ and $R>1+6{\overline{\omega }}^0{6}_{\infty }$. We construct a sequence $(H_N)$ of $\text{Gevrey}\text{-}(\alpha ,L)$ Hamiltonian functions of ${\mathbb{T}}^m\times {\overline{B}}_{\infty }(0,R)$, which converges to ? when $N\to \infty$, such that for each N the system generated by $H_N$ possesses a $(m?1)$-dimensional hyperbolic invariant torus with fixed frequency vector $({\overline{\omega }}^0,1)$, which admits a homoclinic point with splitting matrix of the form $\mathrm{diag}(0,{\nu }_N,\dots ,{\nu }_N,0)\in M_m(\mathbb{R})$, with ${\nu }_N?\exp (?c{(\frac{1}{{?}_N})}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$2(\alpha ?1)(m?2)$}\right.})$, where ${?}_N:=6H_N??6_{\alpha ,L}$ and $c>0$. To cite this article: J.-P. Marco, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Valuations invariantes pour l'action des groupes de Galois différentiels

Let $(F/K\text{,}?)$ be a differential field extension with differential Galois group $G={Gal}_{?}(F/K)$. For the natural action of G on the Riemann–Zariski variety $S^{?}=S^{?}(F/K)$ of the field extension $F/K$, we study the invariant valuations $\nu \in {\left(S^{?}\right)}^G$ when they do exist. We show close relations between these invariant valuations and the elements of F holonomic over K. Next, we study the continuity of the derivation ? with respect to these ν-adic topologies. We give a geometric structure property of G-invariant valuation inspired by Zariski. Finally, we give an answer for the existence problem of invariant valuations in the context of Picard–Vessiot extension. To cite this article: G. Duval, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Estimées Ck pour l'équation ∂̄b sur un convexe de type fini de Cn

Let q=1,…,n?1 and D be a bounded convex domain in $\text{C}{}^{\mathrm{n}}$ of finite type m. We construct two integral operators T_q and $\text{T}{}_{\mathrm{q}}$ such that for all $\text{p∈}\text{N}\text{,}\text{T}{}_{\mathrm{q}}\text{,}\text{T}{}_{\mathrm{q}}\text{:C}{}^{\mathrm{p}}{}_{\mathrm{0,q}}\text{(bD)→C}{}^{\mathrm{p+1/m}}{}_{\mathrm{0,q?1}}\text{(bD)}$ are continuous, and for all (0,q)-forms h continuous on bD with $\text{?}{}_{\mathrm{b}}\text{h}$ continuous on bD too, with the additional hypothesis when q=n?1 that ∫_bDh∧φ=0 for all φ∈C^∞_n,0(bD) $\text{?}\text{?}{}_{\mathrm{b}}$-fermée, we show $\text{h=}\text{?}\text{?}{}_{\mathrm{b}}\text{(T}{}_{\mathrm{q}}\text{?}\text{T}{}_{\mathrm{q}}\text{)h+(T}{}_{\mathrm{q+1}}\text{?}\text{T}{}_{\mathrm{q+1}}\text{)}\text{?}\text{?}{}_{\mathrm{b}}\text{h}$. For this construction, we use the Diederich–Fornæss support function of Alexandre (Publ. IRMA Lille 54 (III) (2001)). To prove the continuity of T_q, we integrate by parts and take care of the tangential derivatives. The normal component in z of the kernel of $\text{T}{}_{\mathrm{q}}$ will have a bad behaviour, so, in order to find a good representative of its equivalence class, we isolate the tangential component of the kernel and then integrate by parts again. To cite this article: W. Alexandre, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Paradoxe de Klein pour l'équation de Klein–Gordon chargée : superradiance et opérateur de diffusion

We develop the scattering theory for the charged Klein–Gordon equation on ${\mathbb{R}}_t\times {\mathbb{R}}_x$, when the electrostatic potential $A(x)$ has different asymptotics $a^{\pm }$ as $x\to \pm \infty$. In this case, the conserved energy is not positive definite (Klein Paradox). We construct the spectral representation for the harmonic equation, and we establish the existence of a Scattering Operator the symbol of which has a norm strictly larger than 1, for the frequencies in $(a^{?}\text{,}{a}^{+})$. These results can be applied to the DeSitter–Reissner–Nordstrøm metric, to justify the notion of superradiance of the charged black-holes. To cite this article: A. Bachelot, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Une caractérisation de l'algèbre de Fourier pour certains groupes localement compacts

Let G be a separable locally compact group with type-I left regular representation, $\stackrel{?}{G}$ its dual and $A(G)$ its Fourier algebra. We prove an analogue of Parseval's theorem and that the mapping

$T?u(x):=\underset{\stackrel{?}{G}}{\int }Tr[T(\pi )\pi {(x)}^{?1}]{\mathrm{d}}_{\mu }(\pi )$

is an isometric isomorphism of Banach spaces from $L^1(\stackrel{?}{G})$ onto $A(G)$.     

Un théorème de Liouville pour l'opérateur de Schrödinger avec dérive

Let $(M,g)$ be a complete Riemannian manifold without boundary of dimension n and V be a $C^2$ vector field on M such that $r(x)|V(x)|$ is bounded. Suppose that ${\mathrm{Ric}}_g(x)??\min \{\lambda (r(x))?{\mu }_{\mathrm{?}V}(x),\beta (r(x))\}$ outside a compact set of M, where ${\mu }_{\mathrm{?}V}$ denotes the upper eigenvalue of ?V and $\lambda ,\beta$ are non-negative decreasing functions such that ${\lim }_{t\to +\infty }{t}^2\lambda (t)=0$. There exists positive numbers $b_n$ and $c_n$ which depend only on n and $6V{6}_{\infty }$ such that if h is a $C^2$ function defined on M with $\mathrm{\Delta }h??c_n{a}^2$ and ${\mathrm{lim?sup}}_{R\to \infty }{R}^{\mathrm{?2}}{\min }_{x\in B_p(3R)?B_p(R)}h(x)??b_n{a}^2$, where $0?a<{\mathrm{lim?inf}}_{j\to \infty }h(z_j)$, where $(z_j)$ is a sequence of M such that $r(z_j)\to \infty$, then the equation $\mathrm{\Delta }u(x)+V(x)?\mathrm{?}u(x)+h(x)u(x)=0$ has no positive $C^2$ solution on M. To cite this article: S. Asserda, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Une propriété de composition dans l'espace Hs (II)

We prove an almost sharp Superposition Theorem for a wide class of Besov spaces. Indeed any function which belongs locally to $B_p^{s^{\prime },\infty }(\mathbb{R})$, and vanishes at 0, acts by left composition in $B_p^{s,q}({\mathbb{R}}^n)\cap L^{\infty }({\mathbb{R}}^n)$. The conditions on the parameters are the following: $s^{\prime }>s>1$, $s?[s]>1/p$ and $q\in [1,+\infty ]$. To cite this article: G. Bourdaud, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Sur la détermination du périmètre de l'ovale à huit centres

This note aims to present the history of the main researches carried out to represent an ellipse by means of an eight-centered oval and to complete them by giving a geometrical demonstration of the formulas expressing the coordinates of the centers, the radii and the central angles of these arcs of circles making up this oval. These formulas will make it possible to determine its perimeter and thus to approximate the value of that of the ellipse. This result could be useful for archaeologists, who will test the hypothesis according to which some Roman amphitheatres, such as the Coliseum, were built from eight-centered ovals.     

Généralisation du critère de Beurling et Nyman pour l'hypothèse de Riemann

We generalise the Beurling–Nyman criterion, already known for the Riemann ζ function, to a larger class of Dirichlet series. We link the density of some subspace of functions in $L^2(0\text{,}1)$ and the localization of the zeros of a Dirichlet series. To do so, we use the structure of the Hardy space of the half-plane. To cite this article: A. de Roton, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Famille de schémas implicites uniformément contrôlables pour l'équation des ondes 1-D

We present a parameterized family of finite difference schemes for the exact controllability of the 1-D wave equation. These schemes differ from the usual centered ones by additional terms of order to $h^2$, where h denotes the discretization step in space. Using a discrete version of Ingham's inequality for nonharmonic Fourier series, the spectral properties and dispersion diagrams of the schemes, we determine the parameters leading to a uniform controllability property with respect to h and an optimal stability CFL condition. To cite this article: A. Münch, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Résolution à l'infini et courbes polaires affines

Let f be a polynomial map of two variables and let l be a linear form. The affine polar curve of f, for the direction l, is the singular locus of the map $\Phi =(l,f)$. We introduce two resolutions at infinity: the small resolution Π and the total resolution ${\Pi }_{\mathrm{tot}}$. Let $L_{\infty }$ be the line at infinity. The task of this Note is to determine the intersection locus of the strict transform of the polar curve with ${\Pi }^{\mathrm{?1}}(L_{\infty })$ and ${\Pi }_{\mathrm{tot}}^{\mathrm{?1}}(L_{\infty })$. To cite this article: D. Ivanovski, C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

Un problème d'optimisation de forme pour la contrôlabilité exacte de l'équation des ondes 2D

We consider the wave equation defined on $\Omega ?{\mathbb{R}}^2$ and $\omega ?\Omega$. We designate by $v_{\omega }$ the distributed control of minimal $L^2(\omega \times (0,T))$ norm obtained with the Hilbert Uniqueness Method which stabilizes the system at time $T>0$. This Note addresses the question of the optimal position of ω in order to minimize $J:\omega \to 6v_{\omega }{6}_{L^2(\omega \times (0,T))}$. Assuming $\omega \in C^{1,1}(\Omega )$, we express the shape derivative of J as a curvilinear integral on ?ω (independently of any adjoint solution) leading to a descent algorithm. A numerical application is given. To cite this article: A. Münch, C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

Solutions auto-similaires non radiales pour l'équation quasi-géostrophique dissipative critique

We prove the existence of self-similar solutions for the critical dissipative quasi-geostrophic equation by using the formalism of mild solutions in a space close to $L^{\infty }$. To cite this article: F. Marchand, P.G. Lemarié-Rieusset, C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

Sur l'algèbre enveloppante d'une algèbre pré-Lie

We construct an associative product on the symmetric module $S(L)$ of any pre-Lie algebra L. It turns $S(L)$ into a Hopf algebra which is isomorphic to the envelopping algebra of $L_{\mathrm{Lie}}$. Then we prove that in the case of rooted trees our construction is dual to that of Connes and Kreimer. We also show that symmetric brace algebras and pre-Lie algebras are the same. Finally, we give a similar interpretation of the Hopf algebra of planar rooted trees. To cite this article: J.-M. Oudom, D. Guin, C. R. Acad. Sci. Paris, Ser. I 340 (2005).