Abstract
A system of elliptic equations which are irregularly degenerate at an inner point is considered in this article. The equations are weakly coupled by a matrix that has multiple zero eigenvalue and corresponding to it adjoint vectors. Two statements of a wellposed Dirichlet type problem in the class of smooth functions are given and sufficient conditions on the existence and uniqueness of the solutions are obtained.
Keywords:
systems of elliptic equations; degenerate elliptic equations; boundary value problems; Dirichlet type problem1 Introduction and statement of the problems
The first results in the area of boundary value problems for an elliptic equation with degeneracy at an inner point of the considered domain are obtained in [1]. In that study, the Dirichlet problem for a weakly (regularly) degenerating elliptic equation with the main part of Laplace's operator is studied. These results are developed in [2], where the degenerate elliptic operator is generalized and, over and above, the second boundary value problem is investigated. In [3], the existence of a weak solution to the Dirichlet problem for an elliptic equation degenerating at isolated points in the class of Hölder functions is proved. In the case of the strong (irregular) degeneracy, can new effects emerge which influence the wellposedness of the boundary value problems. For instance, in [4], it is shown that in a wellposed Dirichlet type problem the asymptotic of the solution near the degeneracy point is supposed to be known. Many more difficulties come into being in the investigation of the systems of degenerate elliptic equations. Some results for weakly related degenerate elliptic systems are obtained in [57]. Particularly, these articles deal with Dirichlet type problems for the elliptic system
where r = x, a is a continuous function such that a(r) = o(1) as r → 0, and a(r) > 0 for r > 0, x = 0 is an inner point of domain D, Δ is Laplace's operator, B_{i}(x) and C(x) are diagonal and square matrices, consequently, which are smooth enough in
is considered under the condition a(r) = O(r^{2α}), α >1, as r → 0. In the same study, Ψ (x) is some matrix entries of which are decreasing as x → 0, and h is a given vector function smooth on the unit sphere. It is noteworthy that the matrix C(x) is assumed to be negatively definite in D, i.e., it does not have any zero eigenvalue. Moreover, C(0) should be a normal matrix for the weighted Dirichlet problem to be wellposed. (If coefficients B_{i}(x) have the main influence to the asymptotic of the solutions of system (1), then the last requirement is dispensable [8,9]). Therefore, it is important to consider the case where C(0) has multiple zero eigenvalue and corresponding to it adjoint vectors.
Hence, the present article deals with a particular case of system (1) of the shape
in the ball ∑_{R }= {x : x <R}⊂ R^{3 }with the Dirichlet condition
In this article, Λ is a real constant nonnegative definite N × N matrix having the eigenvalue λ = 0, q is scalar continuous function positive for r ≠ 0 and such that
S_{R }= ∂∑_{R}, f = (f_{1}, f_{2}, ..., f_{N}} and u = (u_{1}, u_{2}, ..., u_{N}) are the given and unknown vector functions, respectively. (Condition (5) means with respect to system (1) that a(r) vanishes as r → 0 not faster than any power of r.) Hence, the order of system (3) is strongly degenerate at the point x = 0 because of α > 1.
Let S be a nondegenerate matrix such that
is the canonical Jordan form of Λ with m_{i }× m_{i }lower blocks
Multiplying both (3) and (4) from the left by S, we get the system
and the Dirichlet condition
where v = Su, and g = Sf. Therefore, system (6) and Dirichlet condition (7) can be split into p + 1 separate systems
and Dirichlet conditions
which correspond to the blocks of Jordan matrix J_{Λ}, where both v^{i }and g^{i }are m_{i}dimensional vector functions. If Λ is a matrix of simple structure, then all m_{i }= 1, i.e., (6) splits into N separate equations, obviously.
Let λ_{0 }= 0 and, for convenience, only one eigen vector corresponds to this eigenvalue of
Λ. Then, Re λ_{i }< 0 for the rest
The main aim of this article is to give a wellposedness of the Dirichlet type problems to the system
which is in accordance with eigenvalue λ_{0 }= 0 of Λ. In order to avoid the complicated notations, instead of (8), we consider the system
where v = (v_{1}, v_{2}, ..., v_{s}) and L_{s}(0) is a s × s lower Jordan block with zero diagonal entries. It is easily seen that
is the outspread form of (9).
Denote
Problem D_{1}. Find a solution
and relation
Problem D_{2}. Find a solution
2 The properties of particular solutions of Equation 8
Let
where
and w is an unknown sdimensional vector function. Then, the functions
represent the particular solutions of system (9).
We seek for a solution Q_{n}(r) of system (12), which satisfies condition Q(R) = E, where E is the unit matrix. To this end, on the set of functions ψ bounded on the interval (0, R), we consider the integral operator
and its integer powers
where by definition K^{0}(ψ)(x) ≡ ψ (x). Obviously, according to this definition
Lemma 1. Let relation (5) hold. If
where M_{σ }is some constant independent of n, and
Proof. We prove relation (15) by induction.
Since ψ (r) is bounded on (0, R), inequality (15) holds for σ = 0 with some constant M_{0}. It follows from relation (5) that 0 <q(r) ≤ Mr^{2α }∀r ∈ (0, R), where M is a positive constant. Then,
i.e., the estimate
with some constant M_{1 }independent of n holds. Thus, the validity of (15) is proved for σ = 1.
Let (15) be valid for σ = k 1 under the condition
i.e., the first integral in expression (14) converges, if
Therefore, there exists a constant M_{k }such that (15) holds for σ = k under the condition
If
It is easy to verify that
under the conditions of Lemma 1.
Note that w_{1 }≡ 1 and w_{2 }= r^{2n1 }are linearly independent solutions of the differential equation l_{n }(w) = 0. Thus, if w is the solution of this equation such that w(r) = o(r^{2n1}) as r → 0, then w(r) ≡ const.
Denoting, as usual, by [a] the integer part of the real number a, we introduce the integer
We use below denotation
Theorem 1. Let relation (5) hold. If n ≥ α_{s1}, then there exists a unique matrix solution Q_{n}(r) = {q_{nij}(r)} of Equation 12 such that
and
Proof. Let the condition n ≥ α_{s1 }be valid. Then, according to Lemma 1, the functions
Note that estimate (15) yields the relations
This implies the validity of condition (17), because 2n+1 > 2(s 1)(α  1) ≥ 2(i  j)(α  1), for
because of (16), i.e., Q_{n }is the matrix solution of Equation 12. Evidently, equality (18) follows from (14).
It remains to prove the uniqueness of the solution of problems (12), (17), and (18).
Let
on the interval (0, R) hold. Since
What is the structure of the solutions of system (12) that increase slower than r^{2n1 }in the case where n does not satisfy the condition n ≥ α_{s1}? In order to get the answer to this question, we introduce s × s matrices
where Q_{n }is matrix elements of which are given by (19). It is easily seen that
If n ≥ α_{k1}, then the powers
holds. Moreover, we obtain by direct calculation that
for
Theorem 2. Let relation (5) hold, and let natural k, 1 ≤ k ≤ s  1, be such that α_{k+1 }≤ n α_{k}. Then, there exists a unique matrix solution
The uniqueness of the matrix solution
Hence, we obtain to system (9) the following set of particular solutions (see (13)):
where c_{nm }is arbitrary constant column vector.
3 Existence and uniqueness of the solutions of problems D_{1 }and D_{2}
Let us compose the superposition
of the particular solutions obtained above. Note, if
Evidently, if the series (23) converges and its sum v is twice differentiable in the spherical layer
due to both (18) and (22).
Assume that the boundary vector function g = (g_{1}, g_{2}, ..., g_{s}) (see (10)) is twice differentiable on unit sphere S_{1}. Thus, it can be expressed on the sphere S_{R }by Laplace series [10]:
which converge (componentwise) uniformly and absolutely according to the assumed
smoothness of the vector function g. The coefficients
where h_{i }(φ, ϑ) = g_{i}(x), for x = R and
It is easily seen that series (24) coincides with series (25), if c_{nm }= a_{nm }for n ≥ α_{s 1}, and E_{k}c_{nm }= a_{nm }for α_{k1 }≤ n <α_{k},
on sphere S_{R}. Let us consider series (23), in which c_{nm }= a_{nm}:
Assume that condition (26) is fulfilled in addition to the smoothness of g. Then,
We shall prove that series (27) converges uniformly and absolutely in the spherical
layer
where
The terms
of the series on the righthand side of (29) are harmonic functions in ∑_{R}. Since these series converge uniformly on the sphere S_{R}, they also converge uniformly in ∑_{R}, and their sums w_{k}(r, ω),
Further, according to Lemma 1 estimates
hold, where n ≥ α_{kl }and M_{kl }is a constant independent of n. Consequently,
in
Let G_{δ}(x, ξ) be the Green function of the Dirichlet problem to Laplace equation in
in
hold, where dσ_{ξ }is a volume element of
Owing to the uniform and absolute convergence in
in
Hence, the vector function v = (v_{1}, v_{2}, ..., v_{s}) with the components v_{i }defined by (28)(30) is from class
Therefore, rv(x) = o(1) as x → 0, if
Note that this inequality holds, if, for instance,
We prove thereby the existence of the solution of problem D_{1}, if both α and s are related by (33).
If the coefficients
i.e., the components
then the solution v of system (8), given by (28)(30), is bounded in
where
The uniqueness of the solutions of both the problems D_{1 }and D_{2 }yields the following lemma.
Lemma 2. Let v = (v_{1}, v_{2}, ..., v_{s}) be a solution of problem D_{1 }or problem D_{2 }with the homogeneous Dirichlet condition
Proof. Assume that v = (v_{1}, v_{2}, ..., v_{s}) is a solution of problem D_{1}. Since Δv_{1 }= 0 in
If v = (v_{1}, v_{2}, ..., v_{s}) is a solution of problem D_{2}, then it satisfies (11), too. This implies the identity v ≡ 0 in
One can summarize the reasoning given above as follows:
Theorem 3. Let g ∈ C^{2}(S_{R}), and let relation (5) hold. If orthogonality conditions (26) are fulfilled, and the parameters α and s satisfy inequality (33), then there exists a unique solution v of problem D_{1}, which can be represented by formulas (28)(30). If orthogonality conditions (34) hold, then there exists a unique solution v of problem D_{2 }with the components v_{i }of the shape (35).
Endnotes
^{a}One can express the spherical function
where
References

Mikhailov, LG: Elliptic equations with singular coefficients. Izv Akad Nauk SSSR, Ser Math. 26, 293–312 (1962) (Russian)

Achildiyev, SA: First and second boundary value problems for elliptic equations degenerating at the inner points of finite number. Dokl Akad Nauk SSSR. 152(1), 13–16 (1963) (Russian)

Yanushauskas, A: On the elliptic equations coefficients of which have high order singularities under the lower derivatives. Sibirsk Math Zh. 17(5), 1176–1187 (1976) (Russian)

Baldes, A: Degenerate elliptic equations, diagonal systems and variational integrals. Manuscripta Math. 55, 467–486 (1986). Publisher Full Text

Rutkauskas, S: On the first boundary value problem for the class of elliptic systems degenerating at an inner point. Math Model Anal. 6(1), 147–155 (2001)

Rutkauskas, S: On the Dirichlet problem for a system of degenerate at a point elliptic equations in the class of bounded functions. Lithuanian Math J. 44(1), 85–104 (2004). Publisher Full Text

Rutkauskas, S: On the Dirichlet problem with an asymptotic condition for an elliptic system strongly degenerate at a point. Lithuanian Math J. 41(4), 384–393 (2001). Publisher Full Text

Rutkauskas, S: The Dirichlet problem with asymptotic conditions for an elliptic system degenerate at a point. I Differ Equ. 38(3), 405–412 (2002). Publisher Full Text

Rutkauskas, S: The Dirichlet problem with asymptotic conditions for an elliptic system degenerate at a point. II Differ Equ. 38(5), 719–725 (2002). Publisher Full Text

Koschmieder, L: Monatsh Math Phys. 40, 223–232 (1933). Publisher Full Text

Gilbarg, D, Trudinger, N: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1983)

Bateman, H, Erdélyi, A: Higher Transcendental Functions, V. 2. MC GrawHill, New York (1953)