The Boundary Value Problem of the Equations with Nonnegative Characteristic Form
© Limei Li and Tian Ma. 2010
Received: 22 May 2010
Accepted: 7 July 2010
Published: 25 July 2010
We study the generalized Keldys-Fichera boundary value problem for a class of higher order equations with nonnegative characteristic. By using the acute angle principle and the Hölder inequalities and Young inequalities we discuss the existence of the weak solution. Then by using the inverse Hölder inequalities, we obtain the regularity of the weak solution in the anisotropic Sobolev space.
Keldys  studies the boundary problem for linear elliptic equations with degenerationg on the boundary. For the linear elliptic equations with nonnegative characteristic forms, Oleinik and Radkevich  had discussed the Keldys-Fichera boundary value problem. In 1989, Ma and Yu  studied the existence of weak solution for the Keldys-Fichera boundary value of the nonlinear degenerate elliptic equations of second-order. Chen  and Chen and Xuan , Li , and Wang  had investigated the existence and the regularity of degenerate elliptic equations by using different methods. In this paper, we study the generalized Keldys-Fichera boundary value problem which is a kind of new boundary conditions for a class of higher-order equations with nonnegative characteristic form. We discuss the existence and uniqueness of weak solution by using the acute angle principle, then study the regularity of solution by using inverse Hölder inequalities in the anisotropic Sobolev Space.
2. Formulation of the Boundary Value Problem
For second-order equations with nonnegative characteristic form, Keldys  and Fichera presented a kind of boundary that is the Keldys-Fichera boundary value problem, with that the associated problem is of well-posedness. However, for higher-order ones, the discussion of well-posed boundary value problem has not been seen. Here we will give a kind of boundary value condition, which is consistent with Dirichlet problem if the equations are elliptic, and coincident with Keldys-Fichera boundary value problem when the equations are of second-order.
has to be elliptic.
In order to illustrate the boundary value conditions (2.11)–(2.13), in the following we give an example.
Now we return to discuss the relations between the conditions (2.11)–(2.13) with Dirichlet and Keldys-Fichera boundary value conditions.
It is easy to verify that the problem (2.10)–(2.13) is the Dirichlet problem provided the operator being elliptic (see ). In this case, for all . Besides, (2.13) run over all and , moreover is nondegenerate for any . Solving the system of equations, we get .
We need to check the reasonableness of the boundary value problem (2.10)–(2.13) under the definition of weak solutions, that is, the solution in the classical sense are necessarily the solutions in weak sense, and conversely when a weak solution satisfies certain regularity conditions, it will surely satisfy the given boundary value conditions. Here, we assume that all coefficients of are sufficiently smooth.
From the three equalities above we obtain (2.30).
where In this case, the corresponding trace embedding theorem can be set, and the boundary value condition (2.13) is naturally satisfied. On the other hand, if the weak solution of (2.10)–(2.13) belongs to for some , then by the trace embedding theorems, the condition (2.13) also holds true.
Lemma 2.7 (see ).
Theorem 2.8 (existence theorem).
By Lemma 2.7, the theorem is proven.
Theorem 2.9 (uniqueness theorem).
Under the assumptions of Theorem 2.8 with in (2.48). If the problem (2.10)–(2.13) has a weak solution in , then such a solution is unique. Moreover, if in , , then the weak solution of (2.10)–(2.13) is unique.
Let be a weak solution of (2.10)–(2.13). We can see that (2.30) holds for all . Hence is well defined. Let . Then from (2.49) it follows that , we obtain , which means that the solution of (2.10)–(2.13) in is unique. If all the odd terms of , then (2.30) holds for all , in the same fashion we known that the weak solution of (2.10)–(2.13) in is unique. The proof is complete.
3. Existence of Higher-Order Quasilinear Equations
Suppose that the following hold.
In the following, we take an example to illustrate the application of Theorem 3.1.
where is an unit ball in , see Figure 2
We start with an abstract regularity result which is useful for the existence problem of -solutions of degenerate quasilinear elliptic equations of order . Let be the spaces defined in Definition 2.6, and be a reflective Banach space, at the same time .
From (4.15) and (4.17), the estimates (4.12) follows. This completes the proof.
Suppose that the following holds.
The proof of Theorem 4.4 is parallel to that of Theorem 4.3; here we omit the detail.
This project was supported by the National Natural Science Foundation of China (no. 10971148).
- Keldys MV: On certain cases of degeneration of equations of elliptic type on the boundry of a domain. Doklady Akademii Nauk SSSR 1951, 77: 181-183.MathSciNetGoogle Scholar
- Oleinik OA, Radkevich EV: Second Order Equation with Nonnegative Characteristic Form. Plennum Press, New York, NY, USA; 1973.View ArticleMATHGoogle Scholar
- Ma T, Yu QY: The Keldys-Fichera boundary value problems for degenerate quasilinear elliptic equations of second order. Differential and Integral Equations 1989,2(4):379-388.MathSciNetMATHGoogle Scholar
- Chen ZC: The Keldys-Fichera boundary value problem for a class of nonlinear degenerate elliptic equations. Acta Mathematica Sinica. New Series 1993,9(2):203-211. 10.1007/BF02560051MathSciNetView ArticleMATHGoogle Scholar
- Chen Z-C, Xuan B-J: On the Keldys-Fichera boundary-value problem for degenerate quasilinear elliptic equations. Electronic Journal of Differential Equations 2002, (87):1-13.Google Scholar
- Li SH: The first boundary value problem for quasilinear elliptic-parabolic equations with double degenerate. Nonlinear Analysis: Theory, Methods & Applications 1996,27(1):115-124. 10.1016/0362-546X(94)00334-EMathSciNetView ArticleMATHGoogle Scholar
- Wang L: Hölder estimates for subelliptic operators. Journal of Functional Analysis 2003,199(1):228-242. 10.1016/S0022-1236(03)00093-4MathSciNetView ArticleMATHGoogle Scholar
- Li LM, Ma T: Regularity of Keldys-Fichera boundary value problem for gegenerate elliptic equations. Chinese Annals of Mathematics, Series B 2010,31(B(5–6)):1-10.MathSciNetGoogle Scholar
- Ma T: Weakly continuous method and nonlinear differential equations with nonnegative characteristic form, Doctoral thesis. 1989.Google Scholar
- Ma T, Yu QY: Nonlinear partial differential equations and weakly continuous methed. In Nonlinear Analysis. Edited by: Chen W. Lanzhou Univ. Press; 1990:118-213.Google Scholar
- Ladyzhenskaya OA, Uraltseva NN: Linear and Quasilinear Equations of Elliptic Type. 2nd edition. Izdat. "Nauka", Moscow, Russia; 1973:576.Google Scholar
- Gilbarg D, Trudinger NS: Elliptic Partial Differential Equations of Second Order, Grundlehren der Mathematischen Wissenschaften, Vol. 22. Springer, Berlin, Germany; 1977:x+401.View ArticleGoogle Scholar
- Temam R: Infinite-Dimensional Dynamical Systems in Mechanics and Physics, Applied Mathematical Sciences. Volume 68. Springer, New York, NY, USA; 1988:xvi+500.View ArticleMATHGoogle Scholar
- Adams RA: Sobolev Spaces, Pure and Applied Mathematics, Vol. 6. Academic Press, London, UK; 1975:xviii+268.Google Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.