Journal of Function Spaces and ApplicationsVolume 2012 (2012), Article ID 819321, 15 pagesdoi:10.1155/2012/819321

Research Article

Embedding Operators in Vector-Valued Weighted Besov Spaces and Applications

Veli Shakhmurov

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.

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.

Ju. A. Dubinskiĭ, “Weak convergence for nonlinear elliptic and parabolic equations,” Mathematics of the USSR-Sbornik, vol. 67, pp. 609–642, 1965 (Russian).

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.

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.

S.L. Sobolev, “Embedding theorems for abstract functions,” Doklady Akademii Nauk SSSR, vol. 115, pp. 55–59, 1957.

V. B. Shakhmurov, “Theorems about of compact embedding and applications,” Doklady Akademii Nauk SSSR, vol. 241, no. 6, pp. 1285–1288, 1978.

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.

V. B. Shakhmurov, “Embedding theorems and their applications to degenerate equations,” Differential Equations, vol. 24, no. 4, pp. 672–682, 1988.

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.

V. B. Shakhmurov, “Embedding theorems in B-spaces and applications,” Chinese Annals of Mathematics B, vol. 29, no. 1, pp. 95–112, 2008.

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.

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.

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.

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.

G. Dore and S. Yakubov, “Semigroup estimates and noncoercive boundary value problems,” Semigroup Forum, vol. 60, no. 1, pp. 93–121, 2000.

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.

P. Kree, “Sur les multiplicateurs dans FL aves poids,” Annales de l'Institut Fourier, vol. 16, no. 2, pp. 121–191, 1966.

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.

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.

M. Girardi and L. Weis, “Operator-valued Fourier multiplier theorems on Besov spaces,” Mathematische Nachrichten, vol. 251, pp. 34–51, 2003.

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.

P. I. Lizorkin, “(L p, L q)-multipliers of Fourier integrals,” Doklady Akademii Nauk SSSR, vol. 152, pp. 808–811, 1963.

L. Weis, “Operator-valued Fourier multiplier theorems and maximal L p-regularity,” Mathematische Annalen, vol. 319, no. 4, pp. 735–758, 2001.