# Degenerate Anisotropic Differential Operators and Applications

- Ravi Agarwal
^{1}, - Donal O'Regan
^{2}and - Veli Shakhmurov
^{3}Email author

**2011**:268032

**DOI: **10.1155/2011/268032

© Ravi Agarwal et al. 2011

**Received: **2 December 2010

**Accepted: **18 January 2011

**Published: **23 February 2011

## Abstract

The boundary value problems for degenerate anisotropic differential operator equations with variable coefficients are studied. Several conditions for the separability and Fredholmness in Banach-valued spaces are given. Sharp estimates for resolvent, discreetness of spectrum, and completeness of root elements of the corresponding differential operators are obtained. In the last section, some applications of the main results are given.

## 1. Introduction and Notations

It is well known that many classes of PDEs, pseudo-Des, and integro-DEs can be expressed as differential-operator equations (DOEs). As a result, many authors investigated PDEs as a result of single DOEs. DOEs in -valued (Hilbert space valued) function spaces have been studied extensively in the literature (see [1–14] and the references therein). Maximal regularity properties for higher-order degenerate anisotropic DOEs with constant coefficients and nondegenerate equations with variable coefficients were studied in [15, 16].

where , are weighted functions, and are linear operators in a Banach Space . The above DOE is a generalized form of an elliptic equation. In fact, the special case , reduces (1.1) to elliptic form.

Note, the principal part of the corresponding differential operator is nonself-adjoint. Nevertheless, the sharp uniform coercive estimate for the resolvent, Fredholmness, discreetness of the spectrum, and completeness of root elements of this operator are established.

We prove that the corresponding differential operator is separable in ; that is, it has a bounded inverse from to the anisotropic weighted space . This fact allows us to derive some significant spectral properties of the differential operator. For the exposition of differential equations with bounded or unbounded operator coefficients in Banach-valued function spaces, we refer the reader to [8, 15–25].

For , the space will be denoted by .

for all cubes .

The Banach space is called a UMD space if the Hilbert operator is bounded in , (see, e.g., [26]). UMD spaces include, for example, , spaces, and Lorentz spaces , , .

Let and be two Banach spaces. Now, , , will denote interpolation spaces obtained from by the method [27, Section 1.3.1].

where is a sequence of independent symmetric -valued random variables on .

The smallest for which the above estimate holds is called an -bound of the collection and is denoted by .

Let denote the Schwartz class, that is, the space of all -valued rapidly decreasing smooth functions on . Let be the Fourier transformation. A function is called a Fourier multiplier in if the map , is well defined and extends to a bounded linear operator in . The set of all multipliers in will denoted by .

Definition 1.1.

A Banach space is said to be a space satisfying a multiplier condition if, for any , the -boundedness of the set implies that is a Fourier multiplier in , that is, for any .

implies that is a uniform collection of Fourier multipliers.

Definition 1.2.

The -positive operator is said to be -positive in a Banach space if there exists such that the set is -bounded.

A linear operator is said to be -positive in uniformly in if is independent of , is dense in and for any , .

Let denote the space of all compact operators from to . For , it is denoted by .

Let denote the space of all compact operators from to . For , it is denoted by .

Let and be two Banach spaces and continuously and densely embedded into and .

## 2. Background

The embedding theorems play a key role in the perturbation theory of DOEs. For estimating lower order derivatives, we use following embedding theorems from [24].

Theorem A1.

Let and and suppose that the following conditions are satisfied:

(1) is a Banach space satisfying the multiplier condition with respect to and ,

(2) is an -positive operator in ,

(4) is a region such that there exists a bounded linear extension operator from to .

Theorem A2.

is compact.

Let denote the closure of the linear span of the root vectors of the linear operator .

From [18, Theorem 3.4.1], we have the following.

Theorem A3.

Assume that

(1) is an UMD space and is an operator in , ,

(2) are non overlapping, differentiable arcs in the complex plane starting at the origin. Suppose that each of the regions into which the planes are divided by these arcs is contained in an angular sector of opening less then ,

as along any of the arcs .

Then, the subspace contains the space .

Let denote the embedding operator .

From [15, Theorem 2.8], we have the following.

Theorem A4.

## 3. Statement of the Problem

A function and satisfying (3.1) a.e. on is said to be solution of the problem (3.1)-(3.2).

holds.

We say the problem (3.1)-(3.2) is Fredholm in if , where is a conjugate of .

Remark 3.1.

## 4. BVPs for Partial DOE

By applying the trace theorem [27, Section 1.8.2], we have the following.

Theorem A5.

Proof.

Then, by applying the trace theorem [27, Section 1.8.2] to the space , we obtain the assertion.

Condition 1.

Assume that the following conditions are satisfied:

(1) is a Banach space satisfying the multiplier condition with respect to and the weight function , ;

(2) is an -positive operator in for ;

for , .

Let denote the operator in generated by BVP (4.1). In [15, Theorem 5.1] the following result is proved.

Theorem A6.

- (a)the problem (4.1) for and with sufficiently large has a unique solution that belongs to and the following coercive uniform estimate holds:(4.8)

(b)the operator is -positive in .

From Theorems A5 and A6 we have.

Theorem A7.

Condition 2.

Suppose the following conditions are satisfied:

(2) is a Banach space satisfying the multiplier condition with respect to and the weighted function , .

Remark 4.1.

Let and , where are real-valued positive functions. Then, Condition 2 is satisfied for .

Lemma 4.2.

Assume that Condition 2 is satisfied and the following hold:

(1) is a uniformly -positive operator in for , and are continuous functions on , ,

(2) and for .

for the solution of problem (4.13).

Proof.

Then, by using the equality and the above estimates, we get (4.14).

Condition 3.

Suppose that part (1.1) of Condition 1 is satisfied and that is a Banach space satisfying the multiplier condition with respect to and the weighted function , , .

Consider the problem (3.11). Reasoning as in the proof of Lemma 4.2, we obtain.

Proposition 4.3.

Assume Condition 3 hold and suppose that

(1) is a uniformly -positive operator in for , and that are continuous functions on , ,

(2) and for .

for the solution of problem (3.11).

Theorem 4.4.

Assume that Condition 3 is satisfied and that the following hold:

(1) is a uniformly -positive operator in , and are continuous functions on ,

(2) , and for .

Proof.

Result 1.

for , .

Let denote the operator generated by BVP (3.1)-(3.2). From Theorem 4.4 and Remark 3.1, we get the following.

Result 2.

Assume all the conditions of Theorem 4.4 hold. Then,

(b)if , then the operator is Fredholm from into .

Example 4.5.

Example 4.6.

Let and , where are positive continuous function on , and is a diagonal matrix-function with continuous components .

in the vector-valued space .

## 5. The Spectral Properties of Anisotropic Differential Operators

Consider the operator generated by problem (5.1).

Theorem 5.1.

Let all the conditions of Theorem 4.4 hold for and . Then, the operator is Fredholm from into .

Proof.

Theorem 4.4 implies that the operator for sufficiently large has a bounded inverse from to ; that is, the operator is Fredholm from into . Then, from Theorem A2 and the perturbation theory of linear operators, we obtain that the operator is Fredholm from into .

Theorem 5.2.

Then,

(b)the system of root functions of the differential operator is complete in .

Proof.

Then, from (4.52) and (5.6), we obtain assertion (b).

From Theorem 5.2 and Remark 3.1, we get the following.

Result 3.

Let all the conditions of Theorem 5.1 hold. Then, the operator is Fredholm from into .

Result 4.

Then,

(b)the system of root functions of the differential operator is complete in .

## 6. BVPs for Degenerate Quasielliptic PDE

In this section, maximal regularity properties of degenerate anisotropic differential equations are studied. Maximal regularity properties for PDEs have been studied, for example, in [3] for smooth domains and in [28] for nonsmooth domains.

Analogously, denotes the Sobolev space with corresponding mixed norm.

Theorem 6.1.

Let the following conditions be satisfied:

(1) for each and for each with , and , ,

(2) for each , , , , ,

has a unique solution for all and for with ,

Then,

holds for the solution of problem (6.1),

(c)the problem (6.1) for is Fredholm in ,

holds,

(e)for the system of root functions of the BVP (6.1) is complete in .

Proof.

Then, Results 3 and 4 imply assertions (c), (d), (e).

## 7. Boundary Value Problems for Infinite Systems of Degenerate PDE

Theorem 7.1.

Then,

(c)for , the system of root functions of the BVP (7.1) is complete in .

Proof.

From the above estimate, we obtain assertions (a) and (b). The assertion (c) is obtained from Result 4.

## Authors’ Affiliations

## References

- Agranovich MS:Spectral problems in Lipschitz domains for strongly elliptic systems in the Banach spaces
and
.
*Functional Analysis and Its Applications*2008, 42(4):249-267. 10.1007/s10688-008-0039-xView ArticleMathSciNet - Ashyralyev A: On well-posedness of the nonlocal boundary value problems for elliptic equations.
*Numerical Functional Analysis and Optimization*2003, 24(1-2):1-15. 10.1081/NFA-120020240View ArticleMathSciNet - Denk R, Hieber M, Prüss J:
*R-Boundedness, Fourier Multipliers and Problems of Elliptic and Parabolic Type, Mem. Amer. Math. Soc.*. American Mathematical Society; 2003. - Favini A, Shakhmurov V, Yakubov Y: Regular boundary value problems for complete second order elliptic differential-operator equations in UMD Banach spaces.
*Semigroup Forum*2009, 79(1):22-54. 10.1007/s00233-009-9138-0View ArticleMathSciNet - Gorbachuk VI, Gorbachuk ML:
*Boundary Value Problems for Differential-Operator Equations*. "Naukova Dumka", Kiev, Ukraine; 1984:284. - Goldstein JA:
*Semigroups of Linear Operators and Applications, Oxford Mathematical Monographs*. The Clarendon Press/Oxford University Press, New York, NY, USA; 1985:x+245. - Lions J-L, Magenes E:
*Nonhomogenous Boundary Value Problems*. Mir, Moscow, Russia; 1971. - Shklyar AYa:
*Complete Second Order Linear Differential Equations in Hilbert Spaces, Operator Theory: Advances and Applications*.*Volume 92*. Birkhäuser, Basel, Switzerland; 1997:xii+219. - Shakhmurov VB: Nonlinear abstract boundary-value problems in vector-valued function spaces and applications.
*Nonlinear Analysis: Theory, Methods & Applications*2007, 67(3):745-762. 10.1016/j.na.2006.06.027View ArticleMathSciNet - Shakhmurov VB: Theorems on the embedding of abstract function spaces and their applications.
*Matematicheskiĭ Sbornik. Novaya Seriya*1987, 134(176)(2):260-273. - Shakhmurov VB: Embedding theorems and their applications to degenerate equations.
*Differentsial'nye Uravneniya*1988, 24(4):672-682.MathSciNet - Yakubov S:
*Completeness of Root Functions of Regular Differential Operators, Pitman Monographs and Surveys in Pure and Applied Mathematics*.*Volume 71*. Longman Scientific & Technical, Harlow, UK; 1994:x+245. - Yakubov S: A nonlocal boundary value problem for elliptic differential-operator equations and applications.
*Integral Equations and Operator Theory*1999, 35(4):485-506. 10.1007/BF01228044View ArticleMathSciNet - Yakubov S, Yakubov Y:
*Differential-Operator Equations: Ordinary and Partial Differential Equations, Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics*.*Volume 103*. Chapman & Hall/CRC, Boca Raton, Fla, USA; 2000:xxvi+541. - Agarwal RP, Bohner R, Shakhmurov VB: Maximal regular boundary value problems in Banach-valued weighted spaces.
*Boundary Value Problems*2005, 2005(1):9-42. 10.1155/BVP.2005.9View ArticleMathSciNet - Shakhmurov VB: Separable anisotropic differential operators and applications.
*Journal of Mathematical Analysis and Applications*2007, 327(2):1182-1201. 10.1016/j.jmaa.2006.05.007View ArticleMathSciNet - Amann H: Operator-valued Fourier multipliers, vector-valued Besov spaces, and applications.
*Mathematische Nachrichten*1997, 186: 5-56.View ArticleMathSciNet - Amann H:
*Linear and Quasi-Linear Equations*. Birkhauser; 1995. - Krein SG:
*Linear Differential Equations in Banach Space*. American Mathematical Society, Providence, RI, USA; 1971. - Lunardi A:
*Analytic Semigroups and Optimal Regularity in Parabolic Problems, Progress in Nonlinear Differential Equations and their Applications, 16*. Birkhäuser, Basel, Switzerland; 1995:xviii+424. - Orlov VP: Regular degenerate differential operators of arbitrary order with unbounded operators coefficients.
*Proceedings of Voronej State University*1974, 2: 33-41. - Sobolevskiĭ PE: Inequalities coerciveness for abstract parabolic equations.
*Doklady Akademii Nauk SSSR*1964, 57: 27-40. - Shakhmurov VB: Coercive boundary value problems for regular degenerate differential-operator equations.
*Journal of Mathematical Analysis and Applications*2004, 292(2):605-620. 10.1016/j.jmaa.2003.12.032View ArticleMathSciNet - Shakhmurov VB: Degenerate differential operators with parameters.
*Abstract and Applied Analysis*2007, 2007:-27. - Weis Lutz:Operator-valued Fourier multiplier theorems and maximal
-regularity.
*Mathematische Annalen*2001, 319(4):735-758. 10.1007/PL00004457View ArticleMathSciNet - Burkholder DL: A geometric condition that implies the existence of certain singular integrals of Banach-space-valued functions.
*Proceedings of the Conference on Harmonic Analysis in Honor of Antoni Zygmund, Vol. I, II, 1981, Chicago, Ill, USA, Wadsworth Math. Ser.*270-286. - Triebel H:
*Interpolation Theory, Function Spaces, Differential Operators, North-Holland Mathematical Library*.*Volume 18*. North-Holland, Amsterdam, The Netherlands; 1978:528. - Grisvard P:
*Elliptic Problems in Non Smooth Domains*. Pitman; 1985. - Besov OV, Ilin VP, Nikolskii SM:
*Integral Representations of Functions and Embedding Theorems*. Wiley, New York, NY, USA; 1978.

## Copyright

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.