No label defined (Q4328604)

Let \(\Omega\) be a bounded domain in \(\mathbb R^n\) with sufficiently smooth boundary \(\partial\Omega\) and let \(Q_T = \Omega\times (0,T)\), \(T < \infty\). Let \(H = W_2^1(Q_T)\) and let \(H_0\subset H\) be a subspace of \(H\) such that \[ \left. v\right|_{t=0} = \left. v_t\right|_{t=0} = 0, \quad \left. v\right|_{\Gamma} = 0, \quad \Gamma = \partial\Omega\times (0,T) \] for every \(v\in H_0\). Let \(K\) be either a closed (in the pointwise convergence topology) set of measurable functions in \(Q_T\) or a closed subset of \(L_2\) compactly embedded into \(H\) and let \(K_2 = K\cap H_0\). Put \(K_1 = \overline K_2\) in the \(W_2^1\)-norm. The author poses a problem for the wave operator with a constraint for solutions in the form of a variational inequality. As a result, he proves the following existence theorem: For any functions \(v\in K_2\), \(f\in L_2(Q_T)\), there exists \(u\in K_1\) such that the inequality \[ \begin{gathered} \int_0^T(v_{tt}, v_t - u_t)(T - t)dt - \int_0^T\|v_t - u_t\|^2 dt - \int_0^T(\nabla v_{t}, \nabla (v - u))(T - t)dt \\ + \frac{1}{2} \int_0^T(\nabla (v - u), \nabla (v + u)) dt - \int_0^T(f,v_t - u_t)(T - t) dt \geq 0 \end{gathered} \] holds. For the entire collection see [Zbl 0957.00016].