Journal of Function Spaces and Applications

VolumeΒ 2012, Article IDΒ 819321, 15 pages

http://dx.doi.org/10.1155/2012/819321

## Embedding Operators in Vector-Valued Weighted Besov Spaces and Applications

Department of Electronics Engineering and Communication, Okan University, Akfirat Beldesi, Tuzla, 34959 Istanbul, Turkey

Received 12 July 2011; Accepted 9 January 2012

Academic Editor: Lars-ErikΒ Persson

Copyright Β© 2012 Veli Shakhmurov. 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.

#### Abstract

The embedding theorems in weighted Besov-Lions type spaces () in which are two Banach spaces and are studied. The most regular class of interpolation space between and *E* is found such that the mixed differential operator is bounded from () to () and Ehrling-Nirenberg-Gagliardo type sharp estimates are established. By using these results, the uniform separability of degenerate abstract differential equations with parameters and the maximal *B*-regularity of Cauchy problem for abstract parabolic equations are obtained. The infinite systems of the degenerate partial differential equations and Cauchy problem for system of parabolic equations are further studied in applications.

#### 1. Introduction

Embedding theorems in function spaces have been elaborated in [1β3]. A comprehensive introduction to the theory of embedding of function spaces and historical references may also be found in [4, 5]. Embedding theorems in abstract function spaces have been studied in [2, 6β18]. The anisotropic Sobolev spaces , , and corresponding weighted spaces have been investigated in [11, 13β16, 18], respectively. Embedding theorems in Banach-valued Besov spaces have been studied in [6β8, 17, 19]. Moreover, boundary value problems (BVPs) for differential-operator equations (DOEs) have been studied in [4, 5, 20, 21]. The solvability and the spectrum of BVPs for elliptic DOEs have also been refined in [7, 13β18, 22β26]. A comprehensive introduction to the differential-operator equations and historical references may be found in [4, 5]. In these works, Hilbert-valued function spaces essentially have been considered.

Let and . Let and be Banach spaces such that is continuously and densely embedded in . In the present paper, the weighted Banach-valued Besov space is to be introduced. The smoothest interpolation class between , (i.e., to find the possible small for ) is found such that the appropriate mixed differential operators are bounded from to . By applying these results, the maximal -regularity of certain classes of anisotropic partial DOE with parameters is derived. The paper is organized as follows. Section 2 collects notations and definitions. Section 3 presents embedding theorems in Besov-Lions space . Section 4 contains applications of corresponding embedding theorems to vector-valued function spaces, and Section 5 is devoted to applications of these embedding theorems to anisotropic DOE with parameters for which the uniformly maximal -regularity is obtained. Then, in Section 6, by using these results, the maximal -regularity of parabolic Cauchy problem is shown. In Section 7, this DOE is applied to BVP and Cauchy problem for infinite systems of quasielliptic and parabolic PDE, respectively.

#### 2. Notations and Definitions

Let be a Banach space and a nonnegative measurable weighted function defined on a domain . Let denote the space of strongly measurable -valued functions that are defined on with the norm

Let , and be the standard unit vectors in . Let (see [1, Sectionββ16])

Let

Let be a -valued function space such that

Let be positive integers, nonnegative integers, positive numbers, and ,ββ. Let denote the Fourier transform. The Banach-valued Besov space is defined as

For and , we obtain a scalar-valued anisotropic Besov space [1, Sectionββ18].

Let be the set of complex numbers and

A linear operator is said to be a -positive in a Banach space with bound if is dense on and with ,, where is the identity operator in and is the space of bounded linear operators in .

It is known [3, Sectionββ1.15.1] that there exist the fractional powers of the positive operator . Let denote the space with a graph norm defined as

The operator is said to be -positive in uniformly with respect to with bound if is independent of , is dense in , and for all , where does not depend on and .

Let , where are positive integers. Let denote a -valued weighted Sobolev-Besov space of functions that have generalized derivatives , with the norm

Suppose is continuously and densely embedded into . Let denote the space with the norm

Let , where are parameters. We define the following parameterized norm in :

Let be a positive integer. denotes the spaces of -valued bounded and -times continuously differentiable functions on . For two sequences and of positive numbers, the expression means that there exist positive numbers and such that

Let ,ββand be two Banach spaces. Let denote the Fourier transformation and let be some parameter. We say that the function dependent of is a uniform collection of multipliers if there exists a positive constant independent of such that for all . The set of all multipliers from to will be denoted by . For , it will be denoted by . The exposition of the theory of Fourier multipliers and some related references can be found in [3, Sectionsββ2.2.1β2.2.4]. In weighted spaces, Fourier multipliers have been investigated in several studies like [27, 28]. Operator-valued Fourier multipliers in Banach-valued spaces studied, for example, in [4, 6, 25, 27β33].

Let be multi-indexes and

*Definition 2.1. *A Banach space satisfies a -multiplier condition with respect to (or with respect to for ), and the weight , when , , and , if the estimate , implies .

It is well known (e.g., see [32]) that any Hilbert space satisfies the -multiplier condition. There are, however, Banach spaces which are not Hilbert spaces but satisfy the -multiplier condition (see [7, 30]). However, additional conditions are needed for operator-valued multipliers in spaces, for example, UMD spaces (e.g., see [25, 33]). Let be nonnegative and positive integers:

Consider the following differential-operator equation:
where , are linear operators in a Banach space ,ββ are complex-valued functions and are some parameters For , we obtain the elliptic class of DOE.

The function belonging to and satisfying (2.14) a.e. on is said to be a solution of (2.14) on .

*Definition 2.2. *The problem (2.14) is said to be uniform weighted -separable (or weighted -separable) if, for all , the problem (2.14) has a unique solution and the following estimate holds:

Consider the following degenerate DOE:
where , are linear operators in a Banach space , are complex-valued functions, are some parameters and

*Remark 2.3. *Under the substitution
,ββ are mapped isomorphically onto the spaces ,ββ, respectively, where
Moreover, under the substitution (2.18), the degenerate problem (2.16) is mapped to the undegenerate problem (2.14).

#### 3. Embedding Theorems

Let

Theorem 3.1. *Suppose the following conditions hold:*(1)* is a Banach space satisfying the -multiplier condition with respect to , , ;*(2)*,ββ, , , ;*(3)* are positive, nonnegative integers such that and ;*(4)* is a -positive operator in .**Then, the embedding is continuous, and there exists a constant , depending only on such that
**
for all and .*

*Proof. *Denoting by , it is clear that
Similarly, from the definition of , we have
Thus, proving the inequality (3.2) is equivalent to proving
So, the inequality (3.2) will be followed if we prove the following inequality:
for a suitable and for all , where

Let us express the left-hand side of (3.6) as
(Since is a positive operator in and , it is possible.) By virtue of Definition 2.1, it is clear that the inequality (3.6) will be followed immediately from (3.8) if we can prove that the operator-function is a multiplier in , which is uniform with respect to and . Since satisfies the multiplier condition with respect to and , it suffices to show the following estimate:
for all , and . In a way similar to [18,Lemmaββ3.1], we obtain that for all . This shows that the inequality (3.9) is satisfied for . We next consider (3.9) for , where and for . By using the condition and well-known inequality , and by reasoning according to [18, Theoremββ3.1], we have

Repeating the above process, we obtain the estimate (3.9). Thus, the operator-function is a uniform collection of multiplier, that is, . This completes the proof of the Theorem 3.1.

It is possible to state Theorem 3.1 in a more general setting. For this, we use the extension operator in .

*Condition 1. *Let be a -positive operator in Banach spaces satisfying the -multiplier condition. Let a region be such that there exists a bounded linear extension operatorfrom to , for ,ββ.

*Remark 3.2. *If is a region satisfying a strong -horn condition (see [23, Sectionββ18]) ,, then there exists a bounded linear extension operator from to .

Theorem 3.3. *Suppose all conditions of Theorem 3.1 and Condition 1 are satisfied. Then, the embedding is continuous and there exists a constant depending only on such that
**
for all and .*

*Proof. *It suffices to prove the estimate (3.11). Let be a bounded linear extension operator from to and also from to . Let be a restriction operator from to . Then, for any , we have

*Result 1. *Let all conditions of Theorem 3.3 hold. Then, for all we get
Indeed, setting in (3.13), we obtain (3.11).

*Result 2. *If and , then we obtain that embedding for and the corresponding estimate (3.11). For ,ββ, we obtain the embedding of weighted Besov spaces .

#### 4. Application to Vector-Valued Functions

Let , and consider the space [3,Sectionββ1.18.2]

Note that . Let be an infinite matrix defined in such that where , when , when ,ββ,β. It is clear to see that is positive in . Then, by Theorem 3.3, we obtain the embedding and the corresponding estimate (3.11), where .

It should be noted that the above embedding has not been obtained with classical methods up to this time.

#### 5. -Separable DOE in with Parameters

Let us consider the differential-operator equation (2.14). Let

Theorem 5.1. *Suppose the following conditions hold:*

(1)*,
,
,
;
*(2)* is a Banach space satisfying the -multiplier condition;*(3)* is a -positive operator in and*

Then, for all and for sufficiently large , , the equation (2.18) has a unique solution that belongs to space and the following uniform coercive estimate holds:

*Proof. *At first, we will consider the principal part of (2.14), that is, the differential-operator equation
Then, by applying the Fourier transform to (5.4), we obtain

Since for all , we can say that for all , that is, operator is invertible in . Hence, (5.5) implies that the solution of (5.4) can be represented in the form . It is clear to see that the operator-function is a multiplier in uniformly with respect to . Actually, by definition of the positive operator, for all and, we get
Moreover, since , then . By using this estimate for , we get
In a similar way to Theorem 3.1, we prove that ,ββ, and satisfy the estimates
Since the space satisfies the multiplier condition with respect to , then, in view of estimates (5.7) and (5.8), we obtain that the operator-functions are multipliers in . Then, we obtain that there exists a unique solution of (5.4) for and the following estimate holds:
Consider now the differential operator generated by problem (5.4), that is,
The estimate (5.9) implies that the operator has a bounded inverse from into for all . Let denote the differential operator in generated by problem (2.14). In view of (2.18) condition, by virtue of Theorem 3.1, for all , we have
Then, from (5.11), we have
Since for all , we get
From estimates (5.11)β(5.13), we obtain
Then, by choosing and , such that , from (5.14), we get the following uniform estimate:
Then, using the estimates of (5.9), (5.15) and the perturbation theory of linear operators, we obtain that the operator is invertible from into . This implies the estimate (5.3).

*Result 1. *Let all conditions of Theorem 5.1 hold. Then,(1)for,ββ, (2.16) has a unique solution and
(2)the operator has a resolvent for , and the following uniform estimate holds:

*Remark 5.2. *Result 1 implies that operator is uniformly positive in . Then, by virtue of [3, Sectionββ1.14.5], the operator is a generator of an analytic semigroup in .

#### 6. Cauchy Problem for Degenerate Parabolic DOE with Parameters

Consider the Cauchy problem for the degenerate parabolic DOE where and are linear operators in a Banach space in . Let .

Theorem 6.1. *Assume all conditions of Theorem 5.1 hold for and . Then, for , (6.1) has a unique solution satisfying
*

*Proof. *The problem (6.1) can be expressed as

Result 1 implies the uniform positivity of . So, by [6, Application D], we obtain that, for , the Cauchy problem (6.3) has a unique solution satisfying

In view of Result 1, the operator is uniform separable in ; therefore, the estimate (6.4) implies (6.2).

#### 7. Infinite Systems of the Quasielliptic Equation

Consider the following infinity systems:

Let and let be positive parameters. Let denote the differential operator in generated by problem (7.1).

Theorem 7.1. *Let , ,ββ such that for all ,ββ,β,ββ and .**Then,*(a)*for all , for and for sufficiently large , the problem (7.1) has a unique solution that belongs to space and the uniform coercive estimate holds
*(b)*for and for sufficiently large , there exists a resolvent of operator and
*

*Proof. *Really, let ,ββ, and let be infinite matrices such that
It is clear that the operator is positive in . Therefore, from Theorem 6.1, we obtain that the problem (7.1) has a unique solution for all , , sufficiently large and estimate (7.3) holds. From estimate (7.3), we obtain (7.4).

#### 8. Cauchy Problem for Infinite Systems of Parabolic Equations

Consider the following infinity systems of parabolic Cauchy problem

Theorem 8.1. *Let all conditions of Theorem 7.1 hold. Then, the parabolic systems (8.1) for sufficiently large have a unique solution , and the following estimate holds:
*

*Proof. *Really, let ,ββand let and be infinite matrices, such that

Then, the problem (8.1) can be expressed in the form (6.3), where
Then, by virtue of Theorems 6.1 and 7.1, we obtain the assertion.

#### Acknowledgment

The author would like to express gratitude to proofreader Amy Spangler for her useful advice while preparing this paper.

#### References

- O. V. Besov, V. P. Ilin, and S. M. Nikolskii,
*Integral Integral Representations of Functions and Imbedding Theorems*, Nauka, Moscow, 1975. - S. L. Sobolev,
*Certain Applications of Functional Analysis to Mathematical Physics*, Novosibirsk, Russia, 1962. - H. Triebel,
*Interpolation Theory Function Spaces Differential Operators*, vol. 18, North-Holland, Amsterdam, The Netherlands, 1978. - S. G. Kreĭn,
*Linear Differential Equations in Banach Space*, American Mathematical Society, Providence, RI, USA, 1971. - S. Yakubov and Y. Yakubov,
*Differential-Operator Equations: Ordinary and Partial Differential Equations*, vol. 103 of*Monographs and Surveys in Pure and Applied Mathematics*, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2000. - H. Amann, βOperator-valued Fourier multipliers, vector-valued Besov spaces, and applications,β
*Mathematische Nachrichten*, vol. 186, pp. 5β56, 1997. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - H. Amann,
*Linear and Quasi-Linear Equations*, vol. 1, Birkhauser, 1995. - H. Amann, βCompact embeddings of vector-valued Sobolev and Besov spaces,β
*Glasnik Matematički*, vol. 35(55), no. 1, pp. 161β177, 2000. View at Google Scholar Β· View at Zentralblatt MATH - Ju. A. Dubinskiĭ, βWeak convergence for nonlinear elliptic and parabolic equations,β
*Mathematics of the USSR-Sbornik*, vol. 67, pp. 609β642, 1965 (Russian). View at Google Scholar - J.-L. Lions and J. Peetre, βSur une classe d'espaces d'interpolation,β
*Institut des Hautes Études Scientifiques. Publications Mathématiques*, no. 19, pp. 5β68, 1964. View at Google Scholar Β· View at Zentralblatt MATH - P. I. Lizorkin and V. B. Shakhmurov, βEmbedding theorems for vector-valued functions. II,β
*Izvestiya Vysshikh Uchebnykh Zavedeniĭ. Matematika*, no. 2, pp. 47β54, 1989. View at Google Scholar - S.L. Sobolev, βEmbedding theorems for abstract functions,β
*Doklady Akademii Nauk SSSR*, vol. 115, pp. 55β59, 1957. View at Google Scholar - V. B. Shakhmurov, βTheorems about of compact embedding and applications,β
*Doklady Akademii Nauk SSSR*, vol. 241, no. 6, pp. 1285β1288, 1978. View at Google Scholar - V. B. Shakhmurov, βTheorems on the embedding of abstract function spaces and their applications,β
*Mathematics of the USSR-Sbornik*, vol. 134(176), no. 2, pp. 260β273, 1987. View at Google Scholar - V. B. Shakhmurov, βEmbedding theorems and their applications to degenerate equations,β
*Differential Equations*, vol. 24, no. 4, pp. 672β682, 1988. View at Google Scholar - V. B. Shakhmurov, βCoercive boundary value problems for regular degenerate differential-operator equations,β
*Journal of Mathematical Analysis and Applications*, vol. 292, no. 2, pp. 605β620, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet - V. B. Shakhmurov, βEmbedding theorems in
*B*-spaces and applications,β*Chinese Annals of Mathematics B*, vol. 29, no. 1, pp. 95β112, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - V. B. Shakhmurov, βEmbedding operators and maximal regular differential-operator equations in Banach-valued function spaces,β
*Journal of Inequalities and Applications*, vol. 2005, no. 4, pp. 329β345, 2005. View at Publisher Β· View at Google Scholar Β· View at MathSciNet - H.-J. Schmeisser, βVector-valued Sobolev and Besov spaces,β in
*Seminar Analysis of the Karl-Weierstra\ss-Institute of Mathematics 1985/86*, vol. 96 of*Teubner-Texte zur Mathematik*, pp. 4β44, Teubner, Leipzig, Germany, 1986. View at Google Scholar - V. I. Gorbachuk and M. L. Gorbachuk,
*Granichnye Zadachi Dlya Differentsialno-Operatornykh Uravnenii*, Naukova Dumka, Kiev, Ukraine, 1984. - A. Ya. Shklyar,
*Complete Second Order Linear Differential Equations in Hilbert Spaces*, vol. 92, Birkhäuser, Basle, Switzerland, 1997. - J.-P. Aubin, βAbstract boundary-value operators and their adjoints,β
*Rendiconti del Seminario Matematico della Università di Padova*, vol. 43, pp. 1β33, 1970. View at Google Scholar Β· View at Zentralblatt MATH - A. Ashyralyev, βOn well-posedness of the nonlocal boundary value problems for elliptic equations,β
*Numerical Functional Analysis and Optimization*, vol. 24, no. 1-2, pp. 1β15, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet - G. Dore and S. Yakubov, βSemigroup estimates and noncoercive boundary value problems,β
*Semigroup Forum*, vol. 60, no. 1, pp. 93β121, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet - R. Denk, M. Hieber, and J., Prüss,
*R-Boundedness, Fourier Multipliers, and Problems of Elliptic and Parabolic Type*, vol. 166 of*Memoirs of the American Mathematical Society*, 2003. - S. Yakubov, βA nonlocal boundary value problem for elliptic differential-operator equations and applications,β
*Integral Equations and Operator Theory*, vol. 35, no. 4, pp. 485β506, 1999. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet - P. Kree, βSur les multiplicateurs dans FL aves poids,β
*Annales de l'Institut Fourier*, vol. 16, no. 2, pp. 121β191, 1966. View at Google Scholar - D. S. Kurtz and R. L. Wheeden, βResults on weighted norm inequalities for multipliers,β
*Transactions of the American Mathematical Society*, vol. 255, pp. 343β362, 1979. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. Clément, B. de Pagter, F. A. Sukochev, and H. Witvliet, βSchauder decomposition and multiplier theorems,β
*Studia Mathematica*, vol. 138, no. 2, pp. 135β163, 2000. View at Google Scholar - M. Girardi and L. Weis, βOperator-valued Fourier multiplier theorems on Besov spaces,β
*Mathematische Nachrichten*, vol. 251, pp. 34β51, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet - T. R. McConnell and R. Terry, βOn Fourier multiplier transformations of Banach-valued functions,β
*Transactions of the American Mathematical Society*, vol. 285, no. 2, pp. 739β757, 1984. View at Google Scholar - P. I. Lizorkin, β(
*L*_{p},*L*_{q})-multipliers of Fourier integrals,β*Doklady Akademii Nauk SSSR*, vol. 152, pp. 808β811, 1963. View at Google Scholar - L. Weis, βOperator-valued Fourier multiplier theorems and maximal
*L*_{p}-regularity,β*Mathematische Annalen*, vol. 319, no. 4, pp. 735β758, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet