We investigate a problem of approximation of a large class of nonlinear expressions$f$($x, u$, ∇$u$), including polyconvex functions. Here$u$: Ω→$R$^{$m$}, Ω⊂$R$^{$n$}, is a mapping from the Sobolev space$W$^{$1,p$}. In particular, when$p=n$, we obtain the approximation by mappings which are continuous, differentiable a.e. and, if in addition$n=m$, satisfy the Luzin condition. From the point of view of applications such mappings are almost as good as Lipschitz mappings. As far as we know, for the nonlinear problems that we consider, no natural approximation results were known so far. The results about the approximation of$f$($x, u$, ∇$u$) are consequences of the main result of the paper, Theorem 1.3, on a very strong approximation of Sobolev functions by locally weakly monotone functions.

We give bounds for various homological invariants (including Castelnuovo-Mumford regularity, degrees of local cohomology, and injective dimension) of finitely generated VI-modules in the non-describing characteristic case. It turns out that the formulas of these bounds for VI-modules are the same as the formulas of corresponding bounds for FI-modules.

No abstract uploaded!

Let $\Omega $ be a bounded $C^2$ domain in $R^n$ and $\phi : \partial \Omega \to \mathbb{R}^m$ be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map $f : \Omega \to \mathbb{R}^m$ with $ f |_{\partial \Omega}$ and with the graph of $f$ a minimal submanifold in $R^{n+m}$. For $m = 1$, the Dirichlet problem was solved more than thirty years ago by Jenkins-Serrin [13] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension $m$. We prove if $\psi : \bar{\Omega} \to \mathbb{R}^m$ satisfies $8n\delta sup_{\Omega}||D^2 \psi| + \sqrt{2} sup_{\partial \Omega} |D\psi| <1$, then the Dirichlet problem for $ \psi |_{\partial \Omega}$ is solvable in smooth maps. Here $\delta$ is the diameter of $\Omega$ . Such a condition is necessary in view of an example of Lawson-Osserman [15]. In order to prove this result, we study the associated parabolic system and solve the Cauchy-Dirichlet problem with $\psi$ as initial data.

The subject for investigation in this note is concerned with strongly homotopy (SH) Lie algebras, also known as $L_\infty$-algebras, or $L_\infty[1]$-algebras. We extract an intrinsic character, the Atiyah class, when a smaller $L_\infty[1]$-algebra $A$ is extended to a bigger one $L$. In fact, we establish that given such an SH Lie pair $(L,A)$, and any $A$-module $E$, there associates a canonical cohomology class, the Atiyah class $[\alpha^E]$, living in $H^2_{\mathrm{CE}}(A, A^\perp\otimes End(E))$, which generalizes earlier known Atiyah classes out of Lie algebra pairs. In particular, the quotient space $L/A$ is a canonical $A$-module and there associates the Atiyah class $[\alpha^{L/A}]\in H^2_{\mathrm{CE}}(A, Hom(L/A\otimes L/A,L/A))$. The nature of such classes is that they induce on $H^\bullet_{\mathrm{CE}}(A,L/A[-2])$ a Lie algebra structure, and on $H^\bullet_{\mathrm{CE}}(A,E[-2])$ a Lie algebra module structure. An alternative point of view is that the process of taking Atiyah classes defines a functor from the category of $A$-modules to the category of $H^\bullet_{\mathrm{CE}}(A,L/A[-2])$-modules. Moreover, Atiyah classes are invariant under gauge equivalent $A$-compatible infinitesimal deformations of $L$.