Namespaces
Variants
Actions

Difference between revisions of "Coercive boundary value problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m
Line 1: Line 1:
 
A boundary value problem satisfying a [[Coerciveness inequality|coerciveness inequality]]. Coercive boundary value problems for elliptic equations are sometimes called elliptic boundary value problems [[#References|[4]]].
 
A boundary value problem satisfying a [[Coerciveness inequality|coerciveness inequality]]. Coercive boundary value problems for elliptic equations are sometimes called elliptic boundary value problems [[#References|[4]]].
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022930/c0229301.png" /> be a homogeneous polynomial of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022930/c0229302.png" /> so that
+
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022930/c0229301.png" /> $P(\xi_1,\dots,\xi_n)$ be a homogeneous polynomial of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022930/c0229302.png" /> so that
  
 
<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/c/c022/c022930/c0229303.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</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/c/c022/c022930/c0229303.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

Revision as of 16:01, 12 November 2011

A boundary value problem satisfying a coerciveness inequality. Coercive boundary value problems for elliptic equations are sometimes called elliptic boundary value problems [4].

Let $P(\xi_1,\dots,\xi_n)$ be a homogeneous polynomial of degree so that

(1)

is an elliptic equation of order . Consider the boundary value problem for equation (1) in the half-plane : , with boundary conditions

(2)

where the , , are homogeneous polynomials of degrees .

The problem (1), (2) is coercive in if the orders of all the operators with respect to are less than and if the problem has no bounded solutions of the type

(3)

As a polynomial in , has exactly roots in the upper half-plane . If these roots are distinct, the condition that problem (1), (2) has no bounded solutions of type (3) is equivalent to

(4)

This condition is sometimes called the complementarity condition.

The boundary value problem

(5)

for a linear elliptic equation of order in a domain is coercive at a point on the boundary of if the problem

where and are the homogeneous components of the highest degree of the corresponding polynomials, is coercive.

A good tool for the investigation of coercive boundary value problems is the method of boundary rectification. This method involves a homeomorphic mapping, defined in a neighbourhood of a point on the boundary of , with the property that the intersection is mapped onto some domain of the plane , while is mapped onto the half-plane with points . As a result, a coercive boundary value problem for an arbitrary domain with sufficiently smooth boundary is reduced to a problem for .

In the case of problem (5), condition (4) means that the characteristic direction of the system of differential operators

defined in a neighbourhood of the points of , is not tangent to at any point of . Under this condition, a solution of problem (5) satisfies the coerciveness estimate

where the norm in the Sobolev space is estimated in terms of the norm of in , the norm of in and the norm of in , , being the order of the operator .

The concept of a coercive boundary value problem may also be generalized to elliptic systems. The methods of investigation and the results valid for coercive boundary value problems for a single elliptic equation may be generalized to coercive boundary value problems for elliptic systems [3]. The investigation of coercive boundary value problems for elliptic equations is often reduced, e.g. by the parametrix method, to the investigation of a system of singular integral equations. This is a Noetherian system of integral equations (see [2], [6]), and condition (4) — or, in the case of a system, its analogue — guarantees normality of the system. A coercive boundary value problem is always Noetherian, i.e. the inhomogeneous problem is solvable subject to the observance of a finite number of orthogonality conditions imposed on the right-hand sides of the (system of) equations and on the functions that appear in the boundary conditions, while the homogeneous problem has finitely many linearly independent solutions.

One example of a problem which is coercive for any elliptic equation is the Dirichlet problem. In this case

where denotes differentiation in the direction of the conormal for the elliptic operator in question. However, it is not true that the Dirichlet problem is a coercive boundary value problem for every elliptic system of equations. An example of systems for which the Dirichlet problem is not coercive is the system of two equations known in complex notation as the Bitsadze equation.

References

[1] A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian)
[2] Ya.B. Lopatinskii, "On a method of reducing problems for a system of differential equations of elliptic type to regular integral equations" Amer. Math. Soc. Transl. (2) , 89 (1970) pp. 149–183 Ukrain. Mat. Zh. , 5 : 2 (1953) pp. 123–151
[3] C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian)
[4] L. Hörmander, "Linear partial differential operators" , Springer (1963)
[5] L. Hörmander, Matematika , 4 : 4 (1960) pp. 37–73
[6] Z.Ya. Shapiro, "The first boundary value problem for an elliptic system of differential equations" Mat. Sb. , 28 (1951) pp. 55–78 (In Russian)


Comments

The complementarity condition is also called the complementing, complementary or admissibility condition. A Noetherian system of integral equations is, in Western literature, now more often known as a system associated with a Fredholm operator, or a Fredholm system.

Other basic references are [a1], [a2]. Additional important references are [a3], [a4].

References

[a1] S. Agmon, A. Douglis, L. Nirenberg, "Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions" Comm. Pure Appl. Math. , 12 (1959) pp. 623–727
[a2] S. Agmon, A. Douglis, L. Nirenberg, "Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II" Comm. Pure Appl. Math. , 17 (1964) pp. 35–92
[a3] J.L. Lions, E. Magenes, "Non-homogenous boundary value problems and applications" , 1–2 , Springer (1972) (Translated from French)
[a4] A. Friedman, "Partial differential equations" , Holt, Rinehart & Winston (1969)
How to Cite This Entry:
Coercive boundary value problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Coercive_boundary_value_problem&oldid=19626
This article was adapted from an original article by A.I. Yanushauskas (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article