Recovery of sparsest signals via ℓq-minimization

In this paper, it is proved that every s-sparse vector $\mathbf{x}\in {\mathbb{R}}^n$ can be exactly recovered from the measurement vector $\mathbf{z}=\mathbf{Ax}\in {\mathbb{R}}^m$ via some ${?}^q$-minimization with $0<q?1$, as soon as each s-sparse vector $\mathbf{x}\in {\mathbb{R}}^n$ is uniquely determined by the measurement z. Moreover it is shown that the exponent q in the ${?}^q$-minimization can be so chosen to be about $0.6796\times (1?{\delta }_{2s}(\mathbf{A}))$, where ${\delta }_{2s}(\mathbf{A})$ is the restricted isometry constant of order 2s for the measurement matrix A.     

Critical space for the parabolic-parabolic Keller–Segel model in Rd

We study the Keller–Segel system in ${\mathbb{R}}^d$ when the chemoattractant concentration is described by a parabolic equation. We prove that the critical space, with some similarity to the elliptic case, is that the initial bacteria density satisfies $n_0\in L^a({\mathbb{R}}^d)$, $a>d/2$, and that the chemoattractant concentration satisfies $\mathrm{?}{c}_0\in L^d({\mathbb{R}}^d)$. In these spaces, we prove that small initial data give rise to global solutions that vanish as the heat equation for large times and that exhibit a regularizing effect of hypercontractivity type. To cite this article: L. Corrias, B. Perthame, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Unique continuation for first-order systems with integrable coefficients and applications to elasticity and plasticity

Let $\Omega ?{\mathbb{R}}^N$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ?Ω. We show that the solution to the linear first-order system:(1)$\mathrm{?}\zeta =G\zeta ,\zeta {|}_{\Gamma }=0,$ vanishes if $G\in {\mathsf{L}}^1(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ and $\zeta \in {\mathsf{W}}^{1,1}(\Omega ;{\mathbb{R}}^N)$. In particular, square-integrable solutions ζ of (1) with $G\in {\mathsf{L}}^1\cap {\mathsf{L}}^2(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ vanish. As a consequence, we prove that:$???:{\mathsf{C}}_{°}^{\infty }(\Omega ,\Gamma ;{\mathbb{R}}^3)\to [0,\infty ),u?6\mathrm{sym}\left(\mathrm{?}u{P}^{?1}\right)6_{{\mathsf{L}}^2(\Omega )}$ is a norm if $P\in {\mathsf{L}}^{\infty }(\Omega ;{\mathbb{R}}^{3\times 3})$ with $\mathrm{Curl}P\in {\mathsf{L}}^p(\Omega ;{\mathbb{R}}^{3\times 3})$, $\mathrm{Curl}{P}^{?1}\in {\mathsf{L}}^q(\Omega ;{\mathbb{R}}^{3\times 3})$ for some $p,q>1$ with $1/p+1/q=1$ as well as $\det P?c^{+}>0$. We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let $\Phi \in {\mathsf{H}}^1(\Omega ;{\mathbb{R}}^3)$, $\Omega ?{\mathbb{R}}^3$, satisfy $\mathrm{sym}(\mathrm{?}{\Phi }^{?}\mathrm{?}\Psi )=0$ for some $\Psi \in {\mathsf{W}}^{1,\infty }(\Omega ;{\mathbb{R}}^3)\cap {\mathsf{H}}^2(\Omega ;{\mathbb{R}}^3)$ with $\det \mathrm{?}\Psi ?c^{+}>0$. Then there exists a constant translation vector $a\in {\mathbb{R}}^3$ and a constant skew-symmetric matrix $A\in \mathfrak{so}(3)$, such that $\Phi =A\Psi +a$.     

Inverse spectral problem for singular AKNS and Schrödinger operators on [0,1]

We consider an inverse spectral problem for singular Sturm–Liouville equations on the unit interval with explicit singularity $a(a+1)/x^2$, $a\in \mathbb{N}$. This problem arises by splitting of the Schrödinger operator with radial potential acting on the unit ball of ${\mathbb{R}}^3$. Our goal is the global parametrization of potentials by spectral data noted by ${\lambda }^a$, and some norming constants noted by ${\kappa }^a$. For $a=0$ and 1, ${\lambda }^a\times {\kappa }^a$ was already known to be a global coordinate system on $L_{\mathbb{R}}^2(0,1)$. We extend this to any non-negative integer a. Similar result is obtained for singular AKNS operator. To cite this article: F. Serier, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Paramétrisation des points algébriques de degré donné sur la courbe d'équation affine y3=x(x−1)(x−2)(x−3)

We give a parameterization of the algebraic points of given degree over $\mathbb{Q}$ on the curve$y^3=x(x?1)(x?2)(x?3)$ This result extends a previous result of E.F. Schaefer who described in Schaefer (1998) [1] the set of algebraic points of degree ?3 over $\mathbb{Q}$.     

On the positive radial solutions of a class of singular semilinear elliptic equations

In this paper, we consider the following elliptic equation(0.1)$\mathit{div}\left(A\right(|x|\left)\mathrm{?}u\right)+B(|x|)u^p=0\text{in}{\mathbb{R}}^n,$ where $p>1$, $n?3$, $A(|x|)>0$ is differentiable in ${\mathbb{R}}^n?\{0\}$ and $B(|x|)$ is a given nonnegative Hölder continuous function in ${\mathbb{R}}^n?\{0\}$. The asymptotic behavior at infinity and structure of separation property of positive radial solutions with different initial data for (0.1) are discussed. Moreover, the existence and separation property of infinitely many positive solutions for Hardy equation and an equation related to Caffarelli–Kohn–Nirenberg inequality are obtained respectively, as special cases.     

A nonlinear Korn inequality on a surface

Let ω be a domain in ${\mathbb{R}}^2$ and let $\mathit{\theta }:\overline{\omega }\to {\mathbb{R}}^3$ be a smooth immersion. The main purpose of this paper is to establish a “nonlinear Korn inequality on the surface $\mathit{\theta }(\overline{\omega })$”, asserting that, under ad hoc assumptions, the ${\mathit{H}}^1(\omega )$-distance between the surface $\mathit{\theta }(\overline{\omega })$ and a deformed surface is “controlled” by the ${\mathit{L}}^1(\omega )$-distance between their fundamental forms. Naturally, the ${\mathit{H}}^1(\omega )$-distance between the two surfaces is only measured up to proper isometries of ${\mathbb{R}}^3$.This inequality implies in particular the following interesting per se sequential continuity property for a sequence of surfaces. Let ${\mathit{\theta }}^k:\omega \to {\mathbb{R}}^3$, $k⩾1$, be mappings with the following properties: They belong to the space ${\mathit{H}}^1(\omega )$; the vector fields normal to the surfaces ${\mathit{\theta }}^k(\omega )$, $k⩾1$, are well defined a.e. in ω and they also belong to the space ${\mathit{H}}^1(\omega )$; the principal radii of curvature of the surfaces ${\mathit{\theta }}^k(\omega )$, $k⩾1$, stay uniformly away from zero; and finally, the fundamental forms of the surfaces ${\mathit{\theta }}^k(\omega )$ converge in ${\mathit{L}}^1(\omega )$ toward the fundamental forms of the surface $\mathit{\theta }(\overline{\omega })$ as $k\to \infty$. Then, up to proper isometries of ${\mathbb{R}}^3$, the surfaces ${\mathit{\theta }}^k(\omega )$ converge in ${\mathit{H}}^1(\omega )$ toward the surface $\mathit{\theta }(\overline{\omega })$ as $k\to \infty$.Such results have potential applications to nonlinear shell theory, the surface $\mathit{\theta }(\overline{\omega })$ being then the middle surface of the reference configuration of a nonlinearly elastic shell.     

Expression of Dirichlet boundary conditions in terms of the strain tensor in linearized elasticity

In a previous work, it was shown how the linearized strain tensor field $\mathbf{e}:=\frac{1}{2}(\mathbf{?}{\mathit{u}}^T+\mathbf{?}\mathit{u})\in {\mathbb{L}}^2(\Omega )$ can be considered as the sole unknown in the Neumann problem of linearized elasticity posed over a domain $\Omega ?{\mathbb{R}}^3$, instead of the displacement vector field $\mathit{u}\in {\mathit{H}}^1(\Omega )$ in the usual approach. The purpose of this Note is to show that the same approach applies as well to the Dirichlet–Neumann problem. To this end, we show how the boundary condition $\mathit{u}=\mathbf{0}$ on a portion ${\Gamma }_0$ of the boundary of Ω can be recast, again as boundary conditions on ${\Gamma }_0$, but this time expressed only in terms of the new unknown $\mathbf{e}\in {\mathbb{L}}^2(\Omega )$.     

On some inequalities of Bourgain,Brezis, Maz'ya,and Shaposhnikova related to L1 vector fields

Bourgain and Brezis established, for maps $f\in L^n({\mathbb{T}}^n)$ with zero average, the existence of a solution $\mathit{Y}\in W^{1,n}\cap L^{\infty }$ of (1) $\mathrm{div}\mathit{Y}=f$. Maz'ya proved that if, in addition, $f\in H^{n/2?1}({\mathbb{T}}^n)$, then (1) can be solved in $H^{n/2}\cap L^{\infty }$. Their arguments are quite different. We present an elementary property of fundamental solutions of the biharmonic operator in two dimensions. This property unifies, in two dimensions, the two approaches, and implies another (apparently unrelated) estimate of Maz'ya and Shaposhnikova. We discuss higher dimensional analogs of the above results.