The Regularity of Solutions to Mixed Boundary Value Problems of Second-Order Elliptic Equations with Small Angles ()
1. Introduction
This paper studies the regularity of solutions to mixed boundary value problems of two-dimensional linear second-order elliptic equations in an angular region. When the corresponding angle in the angular region tends to 0, we consider the regularity influence of the solution of the equation under the assumption that the boundary conditions, inhomogeneous terms and coefficients have sufficient regularity. The study of mixed boundary value problems for elliptic equations in angular regions has important theoretical significance and practical application value. This type of problem has been systematically discussed in the study of elliptic equations, see [1] - [9] . Recently, in the study of hypersonic flow, we encountered a type of small-angle boundary value problem for elliptic equations. The regularity of its solution is of great significance.
2. Preparatory Work
This article considers the simplest type of mixed boundary value problems. Assume that the origin
is a corner point, and consider the angular region:
(2.1)
Its boundary consists of the following two rays:
(2.2)
and
(2.3)
where
.
Assume that:
(2.4)
We consider the regularity of the solution to the following boundary value problem for the elliptic equation at the origin O:
(2.5)
(2.6)
(2.7)
where b is a fixed constant,
.
Regarding this problem, we have the results of the Lieberman’s weighted Hölder norm corner point elliptic equation problem [6] . i.e.
, in particular
, where β is determined by ε and b. [10] proved the case of second-order regularity. Inspired by its results, we will prove the following regularity theorem by constructing a similar barrier function.
Theorem 1. For any natural number
, there exists a sufficiently small positive number
such that when
, we have
. In fact, we will prove that there exists a polynomial of degree m, denoted as
such that the following inequality holds:
where C is a constant determined by
and
.
3. Proof of the Main Theorem
Consider the higher-order boundary conditions corresponding to (2.5)-(2.7). Taking the k-order derivative of x along
, we have:
(3.1)
Taking the
-order derivative of x along
, we have:
(3.2)
Taking the partial derivative
of the function, where
, we have:
(3.3)
We consider a polynomial of degree m, denoted as
, which is defined as:
We have the following theorem:
Theorem 2. There exists a unique polynomial of degree m, denoted as
, which satisfies for all
,
(3.4)
(3.5)
and
(3.6)
where
.
Proof. Obviously,
is determined by
. We note that for a given
, (3.4)-(3.6) form a linear system of equations of
-order with respect to
. According to Cramer’s law, we only need to verify that its coefficient determinant is not zero.
In fact, let
, the matrix form corresponding to (3.4)-(3.6) is:
Obviously, its coefficient determinant value is 1, and the equation has a unique solution. We note that when ε is very small, the coefficient determinant of (3.4)-(3.6) is a small perturbation of the above equation, so there must be a unique solution. The theorem is proved.
Proof of Theorem 1. Thus, for all
, we have:
And thus, there is a boundary estimate:
(3.7)
At the same time, for all
, we have:
And thus, there is a boundary estimate:
(3.8)
Considering the function
in
, then for all
and
, we have:
Thereby, we obtain an equation estimate:
(3.9)
When considering polar coordinates:
in this way, we have some differential relationships:
We assume that the barrier function has the form:
(3.10)
where
and
are undetermined constants. In this way, we first have:
(3.11)
Then, due to
We have the expression for the boundary oblique derivative:
(3.12)
Finally, applying the Laplace operator Δ, we have:
(3.13)
Now, we set
and
. On the one hand, let
be sufficiently large and satisfy:
(3.14)
and
(3.15)
On the other hand, let:
(3.16)
It can be seen from the above selection that
and
here only depend on m, α and b. In this way, for the
and
that have been determined above, we can make
sufficiently small such that when
, we have:
(3.17)
Let’s summarize the properties following the above settings. First, from (3.11) and (3.17), we have:
(3.18)
Secondly, from (3.14), (3.15) and (3.16), we have:
(3.19)
Finally, from (3.14), (3.16) and (3.17),
(3.20)
Here,
. Furthermore,
(3.21)
Thus, for a positive constant C, we consider
. Combining (3.7)-(3.9) and (3.18)-(3.21), by choosing a sufficiently large C, we can get:
According to the extreme value principle, we have:
that is
The theorem is proved.
4. Conclusion and Suggestions
This paper studies the regularity of solutions to mixed boundary value problems of second-order linear elliptic equations with small angles in a two-dimensional region. We proved that under the assumption of sufficient regularity of boundary conditions, inhomogeneous terms and coefficients, as long as the angle is sufficiently small, the regularity of the solution to the mixed boundary value problem of the second-order elliptic equation can reach any order. Our proof process mainly used the construction of the barrier function, the theory of Schauder estimation, and the regularity conclusion of the solution to the oblique derivative problems in Lipschitz domains. The results can also be extended to high dimensions and high orders. For details, please refer to Lieberman’s work [6] [11] , which has a more systematic explanation.
Acknowledgements
Sincerely thank Dian Hu for his professional education and careful guidance.