About an a priori estimate for the second order elliptic operator degenerate alog coordinate axis orthogonal to semi-plane boundary

In the paper the methodology is demonstrated to derive an inequality of special type. The left-hand side of this inequality is a norm of the second-order derivative of a function along the normal to a half-plane boundary. The right-hand side of the inequality is a linear combination of two terms. The first is a norm of a function image generated by degenerate elliptic operator, and the second is a trace of function on the half-plane boundary. Paper deals with norms in Sobolev spaces and in Slobodetzky spaces. In the inequality proof two function continuations from half-plane to the entire plane are used. Using the first continuation which has derivatives up to the third order the inequality is reduced to estimation of mixed derivatives and derivatives with respect to boundary's tangents. This derivatives are obtained using the second continuation that is twice differentiable.