A lower semicontinuity result for some integral functionals in the space \(SBD\) (Q2567224): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:35, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A lower semicontinuity result for some integral functionals in the space \(SBD\) |
scientific article |
Statements
A lower semicontinuity result for some integral functionals in the space \(SBD\) (English)
0 references
29 September 2005
0 references
The paper provides a lower semicontinuity result for some integral functionals defined on the space \(SBD\) of special functions with bounded deformation, and depending explicitly on the symmetrized measure derivative \(Eu={(Du+Du^T)\over2}\) of the configuration \(u\). Let \(p>1\), let \(\Omega\) be an open subset of \({\mathbb R}^n\), and let \(f\colon\Omega\times M^{n\times n}_{\text{ sym}}\to[0,+\infty[\) be a Carathéodory function verifying \[ {1\over C}| z| ^p\leq f(x,z)\leq\phi(x)+C(1+| z| ^p) \] for a.e. \(x\in\Omega\), every \(z\in M^{n\times n}_{\text{ sym}}\), some \(C>0\), and for some \(\phi\in L^1(\Omega)\), and such that for a.e. \(x_0\in\Omega\), \(f(x_0,\cdot)\) is symmetric quasiconvex, i.e. \[ f(x_0,z)\leq{1\over\text{ meas}(A)}\int_Af(x_0,z+{\mathcal E}\varphi(x))dx \] for every bounded open subset \(A\) of \({\mathbb R}^n\), every \(z\in M^{n\times n}_{\text{ sym}}\), and every \(\varphi\in W^{1,\infty}_0(A,{\mathbb R}^n)\). Then, it is proved that for every \(u\in SBD(\Omega)\) and for every \(\{u_h\}\subseteq SBD(\Omega)\) converging strongly to \(u\) in \(L^1(\Omega;{\mathbb R}^n)\) with \(\{| E^ju_h| \}\) converging weakly* to a positive measure \(\nu\) singular with respect to the Lebesgue measure it results \[ \int_\Omega f(x,{\mathcal E}u)dx\leq\liminf_{h\to+\infty}\int_\Omega f(x,{\mathcal E}u_h)dx, \] where \(E^jv\) is the ``jump part'' of the decomposition of \(Ev\), and \({\mathcal E}(x)={(Dv(x)+Dv(x)^T)\over2}\). The proof relies on a blow-up method, together with a Lusin-type approximation, and a ``Poincaré type'' inequality. Some examples are discussed as well.
0 references
special functions with bounded deformation
0 references
integral functionals
0 references
lower semicontinuity
0 references
symmetric quasiconvexity
0 references