We construct a positive measure on the space of positively oriented -vectors in , whose barycenter is a simple -vector, yet which cannot be approximated by weighted Gaussian images of Lipschitz -graphs for any fixed . The construction extends to positively oriented -vectors in whenever . This geometric obstruction implies that the approximation result established in [Arch. Ration. Mech. Anal., 2025] is sharp: all are indeed necessary to ensure the density of weighted Gaussian images of Lipschitz multigraphs in the space of positive measures with simple barycenter. As an application, we prove that for every and there exists a non-polyconvex -integrand whose associated energy is weakly lower semicontinuous in . This also provides new insight into the question posed in [Arch. Ration. Mech. Anal., 2025, Remark 1.14].

生成讲解博客的中文版本

生成AI智能校验的中文版本