It is proved that the space of differential forms with weak exterior and co-derivative, is compactly embedded into the space of square integrable differential forms. Mixed boundary conditions on weak Lipschitz domains are considered. Furthermore, canonical applications such as Maxwell estimates, Helmholtz decompositions and a static solution theory are proved. As a side product and crucial tool for our proofs we show the existence of regular potentials and regular decompositions as well.

While a fully relativistic collisionless plasma is modeled by the Vlasov-Maxwell system a good approximation in the non-relativistic limit is given by the Vlasov-Poisson system. We modify the Vlasov-Poisson system so that damping due to the relativistic effect of radiation reaction is included. We prove the existence and uniqueness as well as the higher regularity of local classical solutions. These theorems also include the higher regularity of classical solutions of the Vlasov-Poisson system depending on the regularity of the initial datum.

It is proved that the space of differential q-forms with weak exteriorand co-derivative, is compactly embedded into the space of square integrable q-forms. Mixed boundary conditions on weak Lipschitz domains are considered. Furthermore, canonical applications such as Maxwell estimates, Helmholtz decompositions and a static solution theory are proved.

We prove that for bounded Lipschitz domains in \(\mathbb {R}^{N}\) Korn’s first inequality holds for vector fields satisfying homogeneous mixed tangential and normal boundary conditions.

For an n-dimensional bounded domain we derive some inequalities bounding the norm of a square tensor field. Concerning the Div-Dev-inequality the bound is given by the trace-free part and the divergence and the tensor. In the case of the DevSym-Curl-inequality the bound is given by the trace-free and symmetric part and the curl of the tensor. For n=3 the bound is given by the trace-free symmetric part of the tensor and the trace-free part of the curl of the tensor. Some prototype applications are presented in which the new inequalities may be used to derive the coercivity of the models.

We will prove that for piecewise C2‐concave domains in Korn's first inequality holds for vector fields satisfying homogeneous normal or tangential boundary conditions with explicit Korn constant . Copyright © 2016 John Wiley & Sons, Ltd.

For a bounded weak Lipschitz domain we show the so called `Maxwell compactness property', that is, the space of square integrable vector fields having square integrable weak rotation and divergence and satisfying mixed tangential and normal boundary conditions is compactly embedded into the space of square integrable vector fields. We will also prove some canonical applications, such as Maxwell estimates, Helmholtz decompositions and a static solution theory. Furthermore, a Fredholm alternative for the underlying time-harmonic Maxwell problem and all corresponding and related results for exterior domains formulated in weighted Sobolev spaces are straight forward.

Let Ω ⊂ R3 be a bounded weak Lipschitz domain with boundary Γ := ∂ Ω divided into two weak Lipschitz submanifolds Γτ and Γν and let ε denote an L ∞-matrix field inducing an inner product in L(Ω). The main result of this contribution is the so called ‘Maxwell compactness property’, that is, the Hilbert space { E ∈ L(Ω) : rotE ∈ L(Ω), div εE ∈ L(Ω), ν × E|Γτ = 0, ν · εE|Γν = 0 } is compactly embedded into L(Ω). We will also prove some canonical applications, such as Maxwell estimates, Helmholtz decompositions and a static solution theory. Furthermore, a Fredholm alternative for the underlying time-harmonic Maxwell problem and all corresponding and related results for exterior domains formulated in weighted Sobolev spaces are straightforward.

Article history: Received 18 June 2013 Accepted after revision 26 November 2013 Available online 20 December 2013 Presented by Philippe G. Ciarlet We present some Poincaré-type inequalities for quadratic matrix fields with applications e.g. in gradient plasticity or fluid dynamics. In particular, applications to the pseudostress– velocity formulation of the stationary Stokes problem and to infinitesimal gradient plasticity are discussed. © 2013 Published by Elsevier Masson SAS on behalf of Académie des sciences. r é s u m é On présente quelques inégalités de type Poincaré pour les champs de matrices quadratiques, avec des applications, par exemple, en plasticité avec gradients ou en dynamique des fluides. En particulier, on discute des applications pour la formulation en vitesse de pseudo-tension du problème stationnaire de Stokes et pour la plasticité infinitésimale avec gradients. © 2013 Published by Elsevier Masson SAS on behalf of Académie des sciences. 1. Results: dev–Div–sym–Curl estimates Let Ω ⊂ R3 be a bounded domain with Lipschitz boundary ∂Ω . Moreover, let Γ = ∅ be a relatively open subset of ∂Ω . The usual L2-Sobolev spaces for the gradient, rotation and divergence with homogeneous scalar, tangential resp. normal trace on Γ will be denoted by H1 Γ (Ω), HΓ (curl,Ω), HΓ (div,Ω), respectively. A matrix-valued function T : Ω → R3×3 belongs to the Sobolev space HΓ (Curl,Ω) resp. HΓ (Div,Ω), if its rows are elements of HΓ (curl,Ω) resp. HΓ (div,Ω), and the differential operators Curl and Div act row-wise as curl and div. Moreover, we will frequently use the standard matrix operations sym T = 2 (T + T ), skew T = 2 (T − T ) and dev T = T − tr T /3 · id, where id denotes the identity matrix. The standard L2-norms and scalar products for scalar, vectoror matrix-valued functions are denoted by | · | and 〈·,·〉, respectively. The following three inequalities hold: Theorem 1.1. There exists a constant c > 0 such that for all T ∈ HΓ (Curl,Ω) the estimate c|T | |dev sym T | + |Curl T | holds true. Hence, on HΓ (Curl,Ω) the right-hand side of this inequality defines a norm equivalent to the H(Curl,Ω)-norm, i.e., E-mail addresses: sebastian.bauer.seuberlich@uni-due.de (S. Bauer), patrizio.neff@uni-due.de (P. Neff), dirk.pauly@uni-due.de (D. Pauly), gerhard.starke@uni-due.de (G. Starke). 1631-073X/$ – see front matter © 2013 Published by Elsevier Masson SAS on behalf of Académie des sciences. http://dx.doi.org/10.1016/j.crma.2013.11.017 164 S. Bauer et al. / C. R. Acad. Sci. Paris, Ser. I 352 (2014) 163–166 |T | + |Curl T | ∼= |dev sym T | + |Curl T |. See also our papers [13–17]. Proof. The proof follows in close lines the paper [15] and relies on three essential tools, namely the Maxwell estimate (a Poincaré-type estimate for curl and div), the Helmholtz decomposition and Korn’s first inequality. The only change is to prove a stronger version of Korn’s first inequality, namely: ∀v ∈ H1 Γ (Ω), c|∇v| |dev sym ∇v|, (1) which finishes the proof. Inequality (1) is proved by controlling the kernel of dev sym∇ on H1 Γ (Ω) and using a stronger version of Korn’s second inequality, established in [7] and with a different proof in [11]. For details, see [2]. For a proof of (1) in W 1,q(Ω), Ω ⊂R2, 1 < q < ∞ with full boundary condition, see also [9]. Theorem 1.2. There exists a constant c > 0 such that for all T ∈ HΓ (Div,Ω) the estimate c |T | |dev T | + |Div T | holds true. Hence, on HΓ (Div,Ω) the right-hand side of this inequality defines a norm equivalent to the H(Div,Ω)-norm, i.e., |T | + |Div T | ∼= |dev T | + |Div T |. Proof. Let Γ̃ := ∂Ω \ Γ be the complement of Γ . Following [21], we first prove: ∃c > 0, ∀ f ∈ L2(Ω), ∃v ∈ H1 Γ̃ (Ω), div v = f , |v| + |∇v| c| f |. Then, we utilize the idea of [1, Lemma 3.1] and obtain with some v ∈ H1 Γ̃ (Ω) solving div v = tr T : | tr T |2 = 〈tr T ,div v〉 = 〈tr T , tr∇v〉 = 〈tr T · id,∇v〉 = 3〈T ,∇v〉 − 3〈dev T ,∇v〉 = −3〈Div T , v〉 − 3〈dev T ,∇v〉 c(|dev T | + |Div T |)| tr T |, (2) which completes the proof, since it is sufficient to estimate tr T . Corollary 1.3. There exists a constant c > 0 such that for all T ∈ HΓ (Curl,Ω) the estimate c |T | |dev sym T | + |dev Curl T | holds true. Again, on HΓ (Curl,Ω) the right-hand side of this inequality defines a norm equivalent to the H(Curl,Ω)-norm, i.e., |T | + |Curl T | ∼= |dev sym T | + |dev Curl T |. Proof. Since S := Curl T ∈ HΓ (Div,Ω) with Div S = 0 the assertion follows by a combination of Theorem 1.1 and Theorem 1.2. 2. Application to the pseudostress–velocity formulation of the stationary Stokes problem Let us study the following first-order system formulation of the stationary Stokes equations: For some given vector field f in L2(Ω), find a scalar function p ∈ L2(Ω), a vector-valued function u ∈ H1 Γ (Ω) and a matrix-valued function σ ∈ HΓ̃ (Div,Ω), such that the system: σ − μ sym ∇u + p · id = 0, Divσ = f , div u = 0 holds in Ω . Such a formulation is of interest from a numerical viewpoint if accurate stress approximations in appropriate finite-element spaces are desired. This system is equivalent to: devσ − μ sym ∇u = 0, Divσ = f , where the pressure p has been eliminated and can be computed afterwards as p = − trσ/3. For this first-order system, a least-squares formulation based on minimizing the quadratic functional: (u,σ ) → |devσ − μ sym ∇u|2 + |Divσ − f |2 with respect to (u, σ ) ∈ H1 Γ (Ω) × HΓ̃ (Div,Ω) was studied in [4, Section 3.2]. The well-posedness of this least squares problem is shown based on a coercivity result of the form: S. Bauer et al. / C. R. Acad. Sci. Paris, Ser. I 352 (2014) 163–166 165 |devσ − μ sym ∇u|2 + |Divσ |2 c(|Divσ |2 + |σ |2 + |∇u|2 + |u|2) = c|u|2H1(Ω) + |σ |H(Div,Ω) ) (3) to hold with a constant c > 0 for all (u, σ ) ∈ H1 Γ (Ω) × HΓ̃ (Div,Ω). In order to obtain (3) and since the H1(Ω)-norm of u is controlled by | sym∇u| using Korn’s first and Poincaré’s inequalities, σ , more precisely trσ , needs to be controlled by the first-order system, i.e., the result of Theorem 1.2 is required. The inequality (3) is then proved in a way similar to the ellipticity proof in [5, Theorem 3.1] using: 〈devσ , sym ∇u〉 = 〈sym devσ ,∇u〉 = 〈 symσ − 1 3 trσ · id,∇u 〉 = 〈σ ,∇u〉 − 〈skewσ ,∇u〉 − 1 3 〈trσ ,div u〉 = −〈Divσ , u〉 − 〈skewσ ,∇u〉 − 1 3 〈trσ ,div u〉 and | skewσ | = ∣∣skew(devσ − μ sym ∇u)∣∣ |devσ − μ sym ∇u|, μ|div u| = ∣∣tr(devσ − μ sym ∇u)∣∣ √3|devσ − μ sym ∇u|. In [5], a result similar to Theorem 1.2 has been obtained indirectly by examination of the incompressible limit of a first-order system linear elasticity formulation. A widely used result in the literature on mixed methods is for the inequality of Theorem 1.2 to hold for all σ ∈ H(Div Ω) which satisfy 〈trσ ,1〉 = 0. This result dates back to [1], see also [3, Section IV.3] and is useful in the mixed framework where the boundary conditions on the normal stress are only treated weakly. Such mixed approaches have been analyzed recently for the stationary Stokes problem in [6] and [10]. 3. Application to infinitesimal gradient plasticity Phenomenological plasticity models are intended to describe the irreversible deformation behavior of metals. There exists a wide variety of models. Here we focus on rate-dependent or rate-independent models with kinematic hardening. The system of equations consists of a balance of a linear momentum coupled with a local nonlinear evolution equation in each space point for the plastic variable. In many new applications, the size of the considered specimen is so small that size effects need to be taken into account. Instead of a local evolution problem, we have to consider a nonlinear evolution problem where the right-hand side contains certain combinations of second partial derivatives of the plastic distortion. In more detail, let our domain Ω denote the set of material points of the solid body. By Te we denote a positive number (time of existence). Unknown in our small strain formulation are the displacement u : Ω ×[0, Te) →R3 of the material point x at time t and the not necessarily symmetric infinitesimal plastic distortion P : Ω × [0, Te) → sl(3). The model equations of the problem are: −Divσ = b, Σ lin = Σ lin e + Σ lin sh + Σ lin curl, Σ lin e = σ , σ = 2μ(sym(∇u − P )) + λ tr∇u · id, Σ lin sh = −dev sym P , ∂t P ∈ g ( x,Σ lin ) , Σ lin curl = −Curl Curl P , which must be satisfied in Ω × [0, Te). Here, Σ lin is the infinitesimal Eshelby stress tensor driving the evolution of the plastic distortion P . The initial and boundary conditions are P (x,0) = P0(x) ∈ sl(3) for all x ∈ Ω and ν × P = 0, u = 0 on ∂Ω × [0, Te), respectively, where ν denotes the outer unit normal on the boundary ∂Ω . For the model we require that the nonlinear constitutive mapping g is monotone. Given are the volume force b and the initial datum P0. It is easy to see that the corresponding free energy of the system is: E(u, P ) = μ∣∣sym(∇u − P )∣∣2 + λ 2 | tr ∇u|2 + 1 2 |dev sym P |2 + 1 2 |Curl P |2. The appearance of |Curl P |2 instead of the full gradient |∇ P |2 is dictated by dislocation mechanics, the appearance of |dev sym P |2 instead of |P |2 is dictated by the invariance of the model under superposition of infinitesimal rotations. Here, coercivity is obtained by using Theorem 1.1. Model equations similar to the above problem have been considered, e.g., in [19,20,8,18,12]. 166 S. Bauer et al. / C. R. Acad. Sci. Paris, Ser. I 352 (2014) 163–166

We present some Poincare-type inequalities for quadratic matrix fields with applications e.g. in gradient plasticity or fluid dynamics. In particular, applications to the pseudostress-velocity formulation of the stationary Stokes problem and to infinitesimal gradient plasticity are discussed. (C) 2013 Published by Elsevier Masson SAS on behalf of Academie des sciences.