Infinite-dimensional version of the Friedrichs inequality (Q2306416)

The classical Friedrichs inequality is of the following form \[ \int_{G}u^{2}d\lambda\leq C\left( \int_{G}\sum_{k=1}^{n}\left( \frac{\partial u}{\partial x_{k}}\right)^{2}d\lambda+\int_{S}(\gamma(u))^{2}\,d\sigma\right) \] where \begin{enumerate} \item $G$ is a bounded domain in $\mathbb{R}^{n}$ with its boundary $S$ abiding by certain conditions. \item The function $u$\ belongs to $W_{2}^{1}(G)$. \item $\lambda$ is the classical Lebesgue measure in $\mathbb{R}^{n}$. \item $\sigma$ is the surface measure on $S$. \item $\gamma: W_{2}^{1}(G) \rightarrow L_{2}(S)$ is the corresponding trace operator, and the constant $C$ is specified by the geometry of the domain $G$. \end{enumerate} This paper proposes two infinite-dimensional variants of the above inequality. The second variant is obtained on the basis of construction of the associated surface measure in a Hilbert space. The definition of the measure and a series of its applications are to be seen in the author's papers [Ukr. Math. J. 63, No. 9, 1336--1348 (2012; Zbl 1260.35021); translation from Ukr. Mat. Zh. 63, No. 9, 1169--1178 (2011); Ukr. Math. J. 64, No. 10, 1475--1494 (2013; Zbl 1287.58005); translation from Ukr. Mat. Zh. 64, No. 10, 1299--1313 (2012); Ukr. Math. J. 67, No. 11, 1629--1642 (2016; Zbl 1387.46030); translation from Ukr. Mat. Zh. 67, No. 11, 1450--1460 (2015); Ukr. Math. J. 68, No. 4, 515--525 (2016; Zbl 1439.58004); translation from Ukr. Mat. Zh. 68, No. 4, 460--468 (2016)].