No label defined (Q4038211)

This article is concerned with the existence and uniqueness of solutions to the following mixed problem of weakly hyperbolic equation of second order with degeneracy on the initial surface: \[ u_{tt}- t^ 2 (a_{ij} (x,t) u_{x_ i x_ j} + a_ i(x,t) u_{x_ i}+ a(x,t) u)+ {\textstyle {1\over t}} u_ t= t^ 2 f(x,t) \quad \text{in } Q, \] \[ \Biggl. {{\partial u} \over {\partial\nu}} \Biggr|_ \Gamma =g \quad \text{on } \Gamma\times \mathbb{R}_ +, \qquad u|_{t=0}= u_ t|_{t=0}=0 \quad \text{in }\Omega. \tag \(*\) \] Here \(\Omega\subset \mathbb{R}^ n\) is a bounded domain with smooth boundary \(\Gamma\), \(Q= \Omega\times \mathbb{R}_ +\), \(\nu= \nu(x)\) is a non-vanishing real \(C^ \infty\) vector field defined in a neighborhood of \(\Gamma\), \(\nu\) is tangent to \(\Gamma\) on its submanifold \(\Gamma_ 0\) (\(\dim \Gamma_ 0= \dim \Gamma-1\)) and transversal to \(\Gamma_ 0\). Assuming that \(\langle \nu(x'), n(x')\rangle\) (\(n(x')\): the outer normal on \(\Gamma\)) does not change sign as \(x'\) (\(\in \Gamma\)) passes the singular point in the direction of the tangential component of \(\nu(x')\) to \(\Gamma\), then \((*)\) is uniquely solvable (in some (weighted) function space). Moreover, if \(\langle \nu(x'), n(x')\rangle\) changes sign from positive to negative, then under some additional condition \((*)\) is also uniqueley solvable.