In this paper, we consider a Borel measurable function on the space of $m\times n$ matrices $f:M^{m\times n}\to \overline{ℝ}$ taking the value $+\infty$, such that its rank-one-convex envelope $Rf$ is finite and satisfies for some fixed $p>1$: $$-c_0\le Rf\left(F\right)\le {c(1+\parallel F\parallel }^p)\text{for}\text{all}F\in M^{m\times n},$$ where $c,c_0>0$. Let $Ø$ be a given regular bounded open domain of ${ℝ}^n$. We define on $W^{1,p}(Ø;{ℝ}^m)$ the functional $$I\left(u\right)={\int }_{Ø}f\left(\nabla u\left(x\right)\right)dx.$$ Then, under some technical restrictions on $f$, we show that the relaxed functional $\overline{I}$ for the weak topology of $W^{1,p}(Ø;{ℝ}^m)$ has the integral representation: $$\overline{I}\left(u\right)={\int }_{Ø}Q\left[Rf\right]\left(\nabla u\left(x\right)\right)dx,$$ where for a given function $g$, $Qg$ denotes...

The complexity of computing, via threshold circuits, the and of fixed-dimension $k\times k$ matrices with integer or rational entries is studied. We call these two problems ${\mathrm{𝖨𝖬𝖯}}_{𝗄}$ and ${\mathrm{𝖬𝖯𝖮𝖶}}_{𝗄}$, respectively, for short. We prove that: (i) For $k\ge 2$, ${\mathrm{𝖨𝖬𝖯}}_{𝗄}$ does not belong to ${\mathrm{TC}}^0$, unless ${\mathrm{TC}}^0={\mathrm{NC}}^1$.newline (ii) For : ${\mathrm{𝖨𝖬𝖯}}_{\mathsf{2}}$ belongs to ${\mathrm{TC}}^0$ while, for $k\ge 3$, ${\mathrm{𝖨𝖬𝖯}}_{𝗄}$ does not belong to ${\mathrm{TC}}^0$, unless ${\mathrm{TC}}^0={\mathrm{NC}}^1$. (iii) For any , ${\mathrm{𝖬𝖯𝖮𝖶}}_{𝗄}$ belongs to ${\mathrm{TC}}^0$.

3D-2D asymptotic analysis for thin structures rests on the mastery of scaled gradients $\left({\nabla }_{\alpha }{u}_{\epsilon }|\frac{1}{\epsilon }{\nabla }_3{u}_{\epsilon }\right)$ bounded in $L^p(\Omega ;{ℝ}^9),1<p<+\infty .$ Here it is shown that, up to a subsequence, $u_{\epsilon }$ may be decomposed as $w_{\epsilon }+z_{\epsilon },$ where $z_{\epsilon }$ carries all the concentration effects, $\left\{{\left|\left({\nabla }_{\alpha }{w}_{\epsilon }|\frac{1}{\epsilon }{\nabla }_3{w}_{\epsilon }\right)\right|}^p\right\}$ is equi-integrable, and $w_{\epsilon }$ captures the oscillatory behavior, $z_{\epsilon }\to 0$ in measure. In addition, if $\left\{u_{\epsilon }\right\}$ is a recovering sequence then $z_{\epsilon }=z_{\epsilon }\left(x_{\alpha }\right)$ nearby $\partial \Omega .$