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

Approximation of maximum of Gaussian random fields

This contribution is concerned with Gumbel limiting results for supremum ${\mathbb{M}}_{\mathit{n}}={\sup }_{\mathit{t}\in [\mathbf{0},{\mathit{T}}_{\mathit{n}}]}?|X_{\mathit{n}}(\mathit{t})|$ with $X_{\mathit{n}},\mathit{n}\in {\mathbb{N}}^2$ centered Gaussian random fields with continuous trajectories. We show first the convergence of a related point process to a Poisson point process thereby extending previous results obtained in [8] for Gaussian processes. Furthermore, we derive Gumbel limit results for ${\mathbb{M}}_{\mathit{n}}$ as $\mathit{n}\to \infty$ and show a second-order approximation for $\mathbb{E}{\{{\mathbb{M}}_{\mathit{n}}^p\}}^{1/p}$ for any $p\ge 1$.     

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.     

Continuity in H1-norms of surfaces in terms of the L1-norms of their fundamental forms

The main purpose of this Note is to show how a ‘nonlinear Korn's inequality on a surface’ can be established. This inequality implies in particular the following interesting per se sequential continuity property for a sequence of surfaces. Let ω be a domain in ${\mathbb{R}}^2$, let $\mathit{\theta }:\overline{\omega }\to {\mathbb{R}}^3$ be a smooth immersion, and let ${\mathit{\theta }}^k:\overline{\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 )$ stay uniformly away from zero; and finally, the three fundamental forms of the surfaces ${\mathit{\theta }}^k(\omega )$ converge in ${\mathit{L}}^1(\omega )$ toward the three fundamental forms of the surface $\mathit{\theta }(\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 }(\omega )$ as $k\to \infty$. To cite this article: P.G. Ciarlet et al., C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

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

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.     

The Lp Robin problem for Laplace equations in Lipschitz and (semi-)convex domains

Let $n\ge 3$ and Ω be a bounded Lipschitz domain in ${\mathbb{R}}^n$. Assume that $p\in (2,\infty )$ and the function $b\in L^{\infty }(?\mathrm{\Omega })$ is non-negative, where ?Ω denotes the boundary of Ω. Denote by ν the outward unit normal to ?Ω. In this article, the authors give two necessary and sufficient conditions for the unique solvability of the Robin problem for the Laplace equation $\mathrm{\Delta }u=0$ in Ω with boundary data $?u/?\nu +bu=f\in L^p(?\mathrm{\Omega })$, respectively, in terms of a weak reverse Hölder inequality with exponent p or the unique solvability of the Robin problem with boundary data in some weighted $L^2(?\mathrm{\Omega })$ space. As applications, the authors obtain the unique solvability of the Robin problem for the Laplace equation in the bounded (semi-)convex domain Ω with boundary data in (weighted) $L^p(?\mathrm{\Omega })$ for any given $p\in (1,\infty )$.     

Regularity of random attractors for fractional stochastic reaction–diffusion equations on Rn

We investigate the regularity of random attractors for the non-autonomous non-local fractional stochastic reaction–diffusion equations in $H^s({\mathbb{R}}^n)$ with $s\in (0,1)$. We prove the existence and uniqueness of the tempered random attractor that is compact in $H^s({\mathbb{R}}^n)$ and attracts all tempered random subsets of $L^2({\mathbb{R}}^n)$ with respect to the norm of $H^s({\mathbb{R}}^n)$. The main difficulty is to show the pullback asymptotic compactness of solutions in $H^s({\mathbb{R}}^n)$ due to the noncompactness of Sobolev embeddings on unbounded domains and the almost sure nondifferentiability of the sample paths of the Wiener process. We establish such compactness by the ideas of uniform tail-estimates and the spectral decomposition of solutions in bounded domains.