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$.     

The minimal measurement number for low-rank matrix recovery

The paper presents several results that address a fundamental question in low-rank matrix recovery: how many measurements are needed to recover low-rank matrices? We begin by investigating the complex matrices case and show that $4nr?4r^2$ generic measurements are both necessary and sufficient for the recovery of rank-r matrices in ${\mathbb{C}}^{n\times n}$. Thus, we confirm a conjecture which is raised by Eldar, Needell and Plan for the complex case. We next consider the real case and prove that the bound $4nr?4r^2$ is tight provided $n=2^k+r,k\in {\mathbb{Z}}_{+}$. Motivated by Vinzant's work [19], we construct 11 matrices in ${\mathbb{R}}^{4\times 4}$ by computer random search and prove they define injective measurements on rank-1 matrices in ${\mathbb{R}}^{4\times 4}$. This disproves the conjecture raised by Eldar, Needell and Plan for the real case. Finally, we use the results in this paper to investigate the phase retrieval by projection and show fewer than $2n?1$ orthogonal projections are possible for the recovery of $x\in {\mathbb{R}}^n$ from the norm of them, which gives a negative answer for a question raised in [1].     

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 )$.     

Higher genus Kashiwara–Vergne problems and the Goldman–Turaev Lie bialgebra

We define a family ${\mathrm{KV}}^{(g,n+1)}$ of Kashiwara–Vergne problems associated with compact connected oriented 2-manifolds of genus g with $n+1$ boundary components. The problem ${\mathrm{KV}}^{(0,3)}$ is the classical Kashiwara–Vergne problem from Lie theory. We show the existence of solutions to ${\mathrm{KV}}^{(g,n+1)}$ for arbitrary g and n. The key point is the solution to ${\mathrm{KV}}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman–Turaev Lie bialgebra ${\mathfrak{g}}^{(g,n+1)}$. In more detail, we show that every solution to ${\mathrm{KV}}^{(g,n+1)}$ induces a Lie bialgebra isomorphism between ${\mathfrak{g}}^{(g,n+1)}$ and its associated graded $\mathrm{gr}{\mathfrak{g}}^{(g,n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. For $g\ge 1$, $n=0$, our results imply that the obstruction to surjectivity of the Johnson homomorphism provided by the Turaev cobracket is equivalent to the Enomoto–Satoh obstruction.     

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.     

Construction of solutions via local Pohozaev identities

This paper deals with the following nonlinear elliptic equation

$?\mathrm{\Delta }u+V(|y^{\prime }|,y^{″})u=u^{\frac{N+2}{N?2}},u>0,u\in H^1({\mathbb{R}}^N),$

where $(y^{\prime },y^{″})\in {\mathbb{R}}^2\times {\mathbb{R}}^{N?2}$, $V(|y^{\prime }|,y^{″})$ is a bounded non-negative function in ${\mathbb{R}}^{+}\times {\mathbb{R}}^{N?2}$. By combining a finite reduction argument and local Pohozaev type of identities, we prove that if $N\ge 5$ and $r^{2}V(r,y^{″})$ has a stable critical point $(r_0,y_0^{″})$ with $r_0>0$ and $V(r_0,y_0^{″})>0$, then the above problem has infinitely many solutions. This paper overcomes the difficulty appearing in using the standard reduction method to locate the concentrating points of the solutions.     

Existence of standing waves of nonlinear Schrödinger equations with potentials vanishing at infinity

For a singularly perturbed nonlinear elliptic equation ${\epsilon }^2\mathrm{\Delta }u?V(x)u+u^p=0$, $x\in {\mathbb{R}}^N$, we prove the existence of bump solutions concentrating around positive critical points of V when nonnegative V is not identically zero for $p\in (\frac{N}{N?2},\frac{N+2}{N?2})$ or nonnegative V satisfies ${\mathrm{l}\mathrm{i}\mathrm{m}\mathrm{i}\mathrm{n}\mathrm{f}}_{|x|\to \infty }V(x){|x|}^2\log |x|>0$ for $p=\frac{N}{N?2}$.     

Self-similar solutions of stationary Navier–Stokes equations

In this paper, we mainly study the existence of self-similar solutions of stationary Navier–Stokes equations for dimension $n=3,4$. For $n=3$, if the external force is axisymmetric, scaling invariant, $C^{1,\alpha }$ continuous away from the origin and small enough on the sphere $S^2$, we shall prove that there exists a family of axisymmetric self-similar solutions which can be arbitrarily large in the class $C_{loc}^{3,\alpha }({\mathbb{R}}^3\backslash 0)$. Moreover, for axisymmetric external forces without swirl, corresponding to this family, the momentum flux of the flow along the symmetry axis can take any real number. However, there are no regular ($U\in C_{loc}^{3,\alpha }({\mathbb{R}}^3\backslash 0)$) axisymmetric self-similar solutions provided that the external force is a large multiple of some scaling invariant axisymmetric F which cannot be driven by a potential. In the case of dimension 4, there always exists at least one self-similar solution to the stationary Navier–Stokes equations with any scaling invariant external force in $L^{4/3,\infty }({\mathbb{R}}^4)$.