Difference between revisions of "Differential equation, partial, oblique derivatives"
(Importing text file) |
|||
Line 11: | Line 11: | ||
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032000/d03200021.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032000/d03200021.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table> | ||
− | In the boundary condition (2) it may be assumed, without loss of generality, that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032000/d03200022.png" /> is a unit vector. The [[ | + | In the boundary condition (2) it may be assumed, without loss of generality, that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032000/d03200022.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032000/d03200023.png" />: |
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032000/d03200024.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032000/d03200024.png" /></td> </tr></table> |
Revision as of 08:37, 19 October 2014
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) |
Comments
References
[a1] | D. Gilbarg, N.S. Trudinger, "Elliptic partial differential equations of second order" , Springer (1977) |
Differential equation, partial, oblique derivatives. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Differential_equation,_partial,_oblique_derivatives&oldid=33911