1: \begin{abstract}
2: We study a class of design problems in solid mechanics, leading to a variation
3: on the classical question of equi-dimensional embeddability of Riemannian manifolds.
4: In this general new context, we derive a necessary and sufficient existence condition,
5: given through a system of total differential equations, and
6: discuss its integrability. In the classical context,
7: %context of the Riemannian isometric immersion problem, this
8: the same approach yields conditions of immersibility of a given metric in terms of the
9: Riemann curvature tensor. In the present situation,
10: the equations do not close in a straightforward manner, and successive
11: differentiation of the compatibility conditions leads to a %more sophisticated
12: new algebraic description of integrability.
13: We also recast the problem in a variational setting and analyze the infimum
14: of the appropriate incompatibility energy, resembling the
15: non-Euclidean elasticity. We then derive a $\Gamma$-convergence result
16: for dimension reduction from $3$d to $2$d in the Kirchhoff energy scaling regime.
17: \end{abstract}
18: