No label defined (Q4339401)

In the plane \(\mathbb{R}^2\) with coordinates \((x,y)\) consider an arbitrary closed curvilinear triangle \(D=OPQ\) whose sides \(OP\) and \(OQ\) are straight lines and the angle \(POQ\) is less than \(\pi\). The third side \(PQ\) is assumed to be a twice-differentiable curve \(\Gamma\) which has no point of tangency with any straight line parallel to \(OP\) or \(OQ\). Let \(\gamma\) be a constant vector field in \(\mathbb{R}^2\) such that the vector \(\gamma(0)\) associated with the point \(O\) lies between \(OP\) and \(OQ\). With any point \(q\in\Gamma\) we associated the parallelogram \(D_q=Oaqb\), where \(a\in OP\), \(b\in OQ\). Denote by \(C_{(\gamma)}(D)\) the space of all continuous functions in \(D\) which are constant along any straight line which is parallel to \(\gamma\). Let \(C^k(D)\) be the space of functions which are \(k\) times continuously differentiable in \(D\) and \(C^k_0(D)\) the subspace of functions which vanish on the boundary. Theorem 1. Under these conditions, the equation \(\int_{D_q} f(x,y) dx dy= h(q)\) has a unique solution \(f\in C_{(\gamma)}(D)\) for any function \(h\in C^2_0(\Gamma)\). The corresponding operator \(C^2(\Gamma)\to C(0)\), \(h\mapsto f\), is continuous. Theorem 2. If \(\Gamma\) is a straight line and \(h\in C^{2+k}_D(\Gamma)\), \(k\geq 1\), then the solution \(f\in C_{(\gamma)}(D)\) belongs to the space \(C^k(D)\). As a consequence, for a wide class of hyperbolic equations of third-order it can be associated a bounded domain with a piecewise smooth (but not smooth) boundary, such that the unique solution in this domain can be reconstructed knowing only its value on the boundary (Dirichlet problem).