Weak limits of Palais-Smale sequences for a class of critical functionals

We show that, for two dimensional domains, Palais-Smale sequences for theH-equation functional or the harmonic map functional converge weakly (up to subsequences) to solutions of the equations.     

Skew-product decompositions of Brownian motions on manifolds: A probabilistic aspect of the Lichnerowicz-Szabo theorem

We show that the only compact simply connected manifolds for which the radial part of Brownian motion enjoys the Markov property are compact two points homogeneous spaces, i.e. rank one symmetric spaces.     

Non-explosion en temps grand et stabilité de solutions globales des équations de Navier–StokesNon-blowup at large times and stability for global solutions to the Navier–Stokes equations

Suppose there exists a global solution u to the incompressible Navier–Stokes equations, such that $\text{u∈}\text{C}{}_{\mathrm{t}}\text{(}\text{H}\text{?}{}^{\mathrm{1/2}}\text{)}$. We prove that its $\text{H}\text{?}{}^{\mathrm{1/2}}$ norm goes to 0 at infinity. We next use this fact to control the $\text{L}{}^2{}_{\mathrm{t}}\text{(}\text{H}\text{?}{}^{\mathrm{3/2}}\text{)}$ norm of u, and finally we prove that such a solution is stable. To cite this article: I. Gallagher et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 289–292.     

Dynamics of multiple degree Ginzburg–Landau vortices

For the two-dimensional complex parabolic Ginzburg–Landau equation we prove that, asymptotically, vortices evolve according to a simple ordinary differential equation, which is a gradient flow of the Kirchhoff–Onsager functional. This convergence holds except for a finite number of times, corresponding to vortex collisions and splittings, which we describe carefully. The only assumption is a natural energy bound on the initial data. To cite this article: F. Bethuel et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Smoothing and dispersive estimates for 1D Schrödinger equations with BV coefficients and applications

We prove smoothing estimates for Schrödinger equations it_∂?+x_∂(a(x)x_∂?)=0 with a(x)∈BV, real and bounded from below. We then bootstrap these estimates to obtain optimal Strichartz and maximal function estimates, all of which turn out to be identical to the constant coefficient case. We also provide counterexamples showing a∈BV to be in a sense a minimal requirement. Finally, we provide an application to sharp well-posedness for a generalized Benjamin-Ono equation.     

Estimation consistante des paramètres d'un modèle non linéaire pour des données fonctionnelles discrétisées aléatoirement

We study a class of nonlinear regression models for scalar or vectorial response when the explanatory variable is a function. We introduce a consistent estimator of the parameters of models in this class when functions are evaluated at randomly chosen observation points. To cite this article: F. Rossi, B. Conan-Guez, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Automata and logics over finitely varying functions

We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called ’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of ’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].     

Quaternionic Brownian Windings

Journal of Theoretical Probability - We define and study the three-dimensional windings along Brownian paths in the quaternionic Euclidean, projective and hyperbolic spaces. In particular, the...     

A profile decomposition approach to the L^\infty _t(L^{3}_x) Navier–Stokes regularity criterion

In this paper we continue to develop an alternative viewpoint on recent studies of Navier–Stokes regularity in critical spaces, a program which was started in the recent work by Kenig and Koch (Ann Inst H Poincaré Anal Non Linéaire 28(2):159–187, 2011). Specifically, we prove that strong solutions which remain bounded in the space ${L^3(\mathbb R ^3)}$ do not become singular in finite time, a known result established by Escauriaza et al. (Uspekhi Mat Nauk 58(2(350)):3–44, 2003) in the context of suitable weak solutions. Here, we use the method of “critical elements” which was recently developed by Kenig and Merle to treat critical dispersive equations. Our main tool is a “profile decomposition” for the Navier–Stokes equations in critical Besov spaces which we develop here. As a byproduct of this tool, assuming a singularity-producing initial datum for Navier–Stokes exists in a critical Lebesgue or Besov space, we show there is one with minimal norm, generalizing a result of Rusin and Sverak (J Funct Anal 260(3):879–891, 2011).