Differential equation, partial, oblique derivatives

A linear boundary value problem for elliptic equations of the second order. Let be a domain of a real Euclidean space with Cartesian coordinates , the boundary of which is an -dimensional Lyapunov hypersurface (cf. Lyapunov surfaces and curves). Let in a linear differential equation of the second order be given:

(1)

with real coefficients , , , and which satisfy a Hölder condition on and, in addition, let the equation be uniformly elliptic in . Let be a real continuous vector defined on which does not vanish anywhere. A problem with oblique derivatives is formulated as follows: To find a solution of equation (1) in for which the limit

exists at all points , and this limit should coincide with a given continuous function on :

(2)

In the boundary condition (2) it may be assumed, without loss of generality, that is a unit vector. The Neumann problem is a special case of the problem with oblique derivatives, when the left-hand side in the boundary condition (2) is identical with the derivative of the unknown solution with respect to the exterior unit normal :

If the conditions

(3)

and

(4)

are satisfied, then the homogeneous boundary value problem

(5)

corresponding to the problem (1), (2) cannot have a solution other than a constant, by virtue of the Hopf and Zaremba–Giraud principles (see, for example, [1]). In particular, if strong inequality is realized in condition (3) in at least one point, the problem (1), (2) cannot have more than one solution. The problem of the existence of solutions of the problem (1), (2) is usually studied by the method of integral equations, by a priori estimates or by methods of finite-difference calculus.

If condition (4) is met, it means that the problem (1), (2) is a Fredholm problem, i.e.: a) the dimension of the space of solutions of the homogeneous problem (5) is finite; and b) if , the problem (1), (2) is always solvable, and the solution in unique; if , there exists a space of linear functionals the vanishing of which on and is a necessary and a sufficient condition for solutions of the problem (1), (2) to exist; moreover, the dimension of this space is also . The problem (1), (2) can be a non-Fredholm problem only if the set of points for which is non-empty. In particular, if , on the assumption that

(which does not restrict the generality), the problem (1), (2) is reduced to an equivalent singular integral equation with Cauchy kernel, which means that the problem is Noetherian, i.e.: a) the dimension of the space of solutions of the homogeneous problem (5) is finite; b) the dimension of the space of linear functionals the vanishing of which on and is a necessary and sufficient condition for the solvability of the problem (1), (2), is also finite; and c) the index of the problem (1), (2), i.e. the difference , is given by the formula

where is the increment of during one traversal of the contour of in the positive direction. In the case here considered the problem (1), (2) is a Fredholm problem only if . The number characterizes the rotation of the vector field . If is a uniformly elliptic system, i.e. if and are -component vectors, while , and are quadratic matrices of order and the matrices satisfy the condition

in defining the operator in the boundary condition (2) of the problem with oblique derivatives, should be understood to mean square matrices of order , while should be understood as a vector with components.

The problem with oblique derivatives is Noetherian for broad classes of uniformly elliptic systems and operators . For instance, if and , , where is the unit (diagonal) matrix, the problem (1), (2) is Noetherian if the condition holds everywhere on . If this condition is satisfied, the index of the problem (1), (2) is computed by the formula , where is the increment of resulting from one traversal of the contour of in the positive direction.

The problem with oblique derivatives for has been intensively studied in the 1960s [1].

References

[1]	A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian)
[2]	I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian)
[3]	N.I. Muskhelishvili, "Singular integral equations" , Wolters-Noordhoff (1972) (Translated from Russian)
[4]	G. Bouligand, G. Giraud, P. Delens, "Le problème de la dérivée oblique en théorie du potentiel" , Hermann (1935)

References

[a1]	D. Gilbarg, N.S. Trudinger, "Elliptic partial differential equations of second order" , Springer (1977)