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

A sharp Balian–Low uncertainty principle for shift-invariant spaces

A sharp version of the Balian–Low theorem is proven for the generators of finitely generated shift-invariant spaces. If generators ${\{f_k\}}_{k=1}^K?L^2({\mathbb{R}}^d)$ are translated along a lattice to form a frame or Riesz basis for a shift-invariant space V, and if V has extra invariance by a suitable finer lattice, then one of the generators $f_k$ must satisfy ${\int }_{{\mathbb{R}}^d}|x||f_k(x){|}^{2}dx=\infty$, namely, $\stackrel{?}{f_k}?H^{1/2}({\mathbb{R}}^d)$. Similar results are proven for frames of translates that are not Riesz bases without the assumption of extra lattice invariance. The best previously existing results in the literature give a notably weaker conclusion using the Sobolev space $H^{d/2+?}({\mathbb{R}}^d)$; our results provide an absolutely sharp improvement with $H^{1/2}({\mathbb{R}}^d)$. Our results are sharp in the sense that $H^{1/2}({\mathbb{R}}^d)$ cannot be replaced by $H^s({\mathbb{R}}^d)$ for any $s<1/2$.     

On the sub poly-harmonic property for solutions to (−Δ)pu < 0 in Rn

In this note, we mainly study the relation between the sign of ${(?\mathrm{\Delta })}^{p}u$ and ${(?\mathrm{\Delta })}^{p?i}u$ in ${\mathbb{R}}^n$ with $p?2$ and $n?2$ for $1?i?p?1$. Given the differential inequality ${(?\mathrm{\Delta })}^{p}u<0$, first we provide several sufficient conditions so that ${(?\mathrm{\Delta })}^{p?1}u<0$ holds. Then we provide conditions such that ${(?\mathrm{\Delta })}^{i}u<0$ for all $i=1,2,\dots ,p?1$, which is known as the sub poly-harmonic property for u. In the last part of the note, we revisit the super poly-harmonic property for solutions to ${(?\mathrm{\Delta })}^{p}u={\mathrm{e}}^{2pu}$ and ${(?\mathrm{\Delta })}^{p}u=u^q$ with $q>0$ in ${\mathbb{R}}^n$.     

On the irreducible action of PSL(2,R) on the 3-dimensional Einstein universe

In this paper, we study the irreducible representation of $\text{PSL}(2,\mathbb{R})$ in $\text{PSL}(5,\mathbb{R})$. This action preserves a quadratic form with signature $(2,3)$. Thus, it acts conformally on the 3-dimensional Einstein universe $\mathbb{E}{\mathrm{in}}^{1,2}$. We describe the orbits induced in $\mathbb{E}{\mathrm{in}}^{1,2}$ and its complement in $\mathbb{R}{\mathbb{P}}^4$. This work completes the study in [2], and is one element of the classification of cohomogeneity one actions on $\mathbb{E}{\mathrm{in}}^{1,2}$[5].     

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 the Yamabe constants of S2×R3 and S3×R2

We compare the isoperimetric profiles of $S^2\times {\mathbb{R}}^3$ and of $S^3\times {\mathbb{R}}^2$ with that of a round 5-sphere (of appropriate radius). Then we use this comparison to obtain lower bounds for the Yamabe constants of $S^2\times {\mathbb{R}}^3$ and $S^3\times {\mathbb{R}}^2$. Explicitly we show that $Y(S^3\times {\mathbb{R}}^2,[g_0^3+d{x}^2])>(3/4)Y(S^5)$ and $Y(S^2\times {\mathbb{R}}^3,[g_0^2+d{x}^2])>0.63Y(S^5)$. We also obtain explicit lower bounds in higher dimensions and for products of Euclidean space with a closed manifold of positive Ricci curvature. The techniques are a more general version of those used by the same authors in Petean and Ruiz (2011) [15] and the results are a complement to the work developed by B. Ammann, M. Dahl and E. Humbert to obtain explicit gap theorems for the Yamabe invariants in low dimensions.     

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.     

Powerful numbers in (1ℓ + qℓ)(2ℓ + qℓ)⋯(nℓ + qℓ)

Let q be a positive integer. Recently, Niu and Liu proved that, if $n\ge \max ?\{q,1198?q\}$, then the product $(1^3+q^3)(2^3+q^3)?(n^3+q^3)$ is not a powerful number. In this note, we prove (1) that, for any odd prime power ? and $n\ge \max ?\{q,11?q\}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number, and (2) that, for any positive odd integer ?, there exists an integer $N_{q,?}$ such that, for any positive integer $n\ge N_{q,?}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number.     

Homogenization of a Dirichlet semilinear elliptic problem with a strong singularity at u = 0 in a domain with many small holes

In the present paper we perform the homogenization of the semilinear elliptic problem

$\{\begin{array}{cc}{u}^{\epsilon }\ge 0\hfill & \text{in}{\mathrm{\Omega }}^{\epsilon },\hfill \\ ?divA(x)D{u}^{\epsilon }=F(x,u^{\epsilon })\hfill & \text{in}{\mathrm{\Omega }}^{\epsilon },\hfill \\ u^{\epsilon }=0\hfill & \text{on}?{\mathrm{\Omega }}^{\epsilon }.\hfill \end{array}$

In this problem $F(x,s)$ is a Carathéodory function such that $0\le F(x,s)\le h(x)/\mathrm{\Gamma }(s)$ a.e. $x\in \mathrm{\Omega }$ for every $s>0$, with h in some $L^r(\mathrm{\Omega })$ and Γ a $C^1([0,+\infty [)$ function such that $\mathrm{\Gamma }(0)=0$ and ${\mathrm{\Gamma }}^{\prime }(s)>0$ for every $s>0$. On the other hand the open sets ${\mathrm{\Omega }}^{\epsilon }$ are obtained by removing many small holes from a fixed open set Ω in such a way that a “strange term” $\mu u^0$ appears in the limit equation in the case where the function $F(x,s)$ depends only on x.We already treated this problem in the case of a “mild singularity”, namely in the case where the function $F(x,s)$ satisfies $0\le F(x,s)\le h(x)(\frac{1}{s}+1)$. In this case the solution $u^{\epsilon }$ to the problem belongs to $H_0^1({\mathrm{\Omega }}^{\epsilon })$ and its definition is a “natural” and rather usual one.In the general case where $F(x,s)$ exhibits a “strong singularity” at $u=0$, which is the purpose of the present paper, the solution $u^{\epsilon }$ to the problem only belongs to $H_{\text{loc}}^1({\mathrm{\Omega }}^{\epsilon })$ but in general does not belong to $H_0^1({\mathrm{\Omega }}^{\epsilon })$ anymore, even if $u^{\epsilon }$ vanishes on $?{\mathrm{\Omega }}^{\epsilon }$ in some sense. Therefore we introduced a new notion of solution (in the spirit of the solutions defined by transposition) for problems with a strong singularity. This definition allowed us to obtain existence, stability and uniqueness results.In the present paper, using this definition, we perform the homogenization of the above semilinear problem and we prove that in the homogenized problem, the “strange term” $\mu u^0$ still appears in the left-hand side while the source term $F(x,u^0)$ is not modified in the right-hand side.     

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.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.