- Research Article
- Open access
- Published:

# On Integral Operators with Operator-Valued Kernels

*Journal of Inequalities and Applications*
**volumeÂ 2010**, ArticleÂ number:Â 850125 (2010)

## Abstract

Here, we study the continuity of integral operators with operator-valued kernels. Particularly we get estimates under some natural conditions on the kernel , where and are Banach spaces, and and are positive measure spaces: Then, we apply these results to extend the well-known Fourier Multiplier theorems on Besov spaces.

## 1. Introduction

It is well known that solutions of inhomogeneous differential and integral equations are represented by integral operators. To investigate the stability of solutions, we often use the continuity of corresponding integral operators in the studied function spaces. For instance, the boundedness of Fourier multiplier operators plays a crucial role in the theory of linear PDE's, especially in the study of maximal regularity for elliptic and parabolic PDE's. For an exposition of the integral operators with scalar-valued kernels see [1] and for the application of multiplier theorems see [2].

Girardi and Weis [3] recently proved that the integral operator

defines a bounded linear operator

provided some measurability conditions and the following assumptions

are satisfied. Inspired from [3] we will show that (1.1) defines a bounded linear operator

if the kernel satisfies the conditions

where

for and .

Here and are Banach spaces over the field and is the dual space of . The space of bounded linear operators from to is endowed with the usual uniform operator topology.

Now let us state some important notations from [3]. A subspace of -norms , where , provided

It is clear that if -norms then the canonical mapping

is an isomorphic embedding with

Let and be -finite (positive) measure spaces and

will denote the space of finitely valued and finitely supported measurable functions from into , that is,

Note that is norm dense in for . Let be the closure of in the norm. In general (see [3, Proposition 2.2] and [3, Lemma 2.3]).

A vector-valued function is measurable if there is a sequence converging (in the sense of topology) to and it is -measurable provided is measurable for each . Suppose and . There is a natural isometric embedding of into given by

Now, let us note that if is reflexive or separable, then it has the Radon-Nikodym property, which implies that .

## 2. Estimates for Integral Operators

In this section, we identify conditions on operator-valued kernel , extending theorems in [3] so that

for . To prove our main result, we shall use some interpolation theorems of spaces. Therefore, we will study and boundedness of integral operator (1.1). The following two conditions are natural measurability assumptions on .

Condition 1.

For any and each

(a)there is so that if then the Bochner integral

(b) defines a measurable function from into .

Note that if satisfies the above condition then for each , there is so that the Bochner integral

and (1.1) defines a linear mapping

where denotes the space of measurable functions.

Condition 2.

The kernel satisfies the following properties:

(a)a real-valued mapping is product measurable for all ,

(b)there is so that

for and .

Theorem 2.1.

Suppose and the kernel satisfies Conditions 1 and 2. Then the integral operator (1.1) acting on extends to a bounded linear operator

Proof.

Let be fixed. Taking into account the fact that and using the general Minkowski-Jessen inequality with the assumptions of the theorem we obtain

Hence, .

Condition 3.

For each there is so that for all ,

(a)a real-valued mapping is measurable for all ,

(b)there is so that

for and .

Theorem 2.2.

Let be a separable subspace of that -norms . Suppose and satisfies Conditions 1 and 3. Then integral operator (1.1) acting on extends to a bounded linear operator

Proof.

Suppose and are fixed. Let , be corresponding sets due to Conditions 1 and 3. By separability of , we can choose a countable set of satisfying the above condition (note that since is a sigma algebra, the union of these countable sets still belongs to and the intersection of these sets should be nonempty). If then, by using HÃ¶lder's inequality and assumptions of the theorem, we get

Since, and -norms

Hence, .

In [3, Lemma 3.9], the authors slightly improved interpolation theorem [4, Theorem 5.1.2]. The next lemma is a more general form of [3, Lemma 3.9].

Lemma 2.3.

Suppose a linear operator

satisfies

Then, for and the mapping extends to a bounded linear operator

with

Proof.

Let us first consider the conditional expectation operator

where is a -algebra of subsets of . From (2.13) it follows that

Hence, by Riesz-Thorin theorem [4, Theorem 5.1.2], we have

Now, taking into account (2.18) and using the same reasoning as in the proof of [3, Lemma 3.9], one can easily show the assertion of this lemma.

Theorem 2.4 (operator-valued Schur's test).

Let be a subspace of that -norms and for . Suppose satisfies Conditions 1, 2, and 3 with respect to . Then integral operator (1.1) extends to a bounded linear operator

with

Proof.

Combining Theorems 2.1 and 2.2, and Lemma 2.3, we obtain the assertion of the theorem.

Remark 2.5.

Note that choosing we get the original results in [3].

For estimates (it is more delicate and based on ideas from the geometry Banach spaces) and weak continuity and duality results see [3]. The next corollary plays important role in the Fourier Multiplier theorems.

Corollary 2.6.

Let be a subspace of that -norms and for . Suppose is strongly measurable on , is strongly measurable on and

Then the convolution operator defined by

satisfies .

It is easy to see that satisfies Conditions 1, 2, and 3 with respect to . Thus, assertion of the corollary follows from Theorem 2.4.

## 3. Fourier Multipliers of Besov Spaces

In this section we shall indicate the importance of Corollary 2.6 in the theory of Fourier multipliers (FMs). Thus we give definition and some basic properties of operator valued FM and Besov spaces.

Consider some subsets and of given by

Let us define the partition of unity of functions from . Suppose is a nonnegative function with support in , which satisfies

Note that

Let and . The Besov space is the set of all functions for which

is finite; here and are main and smoothness indexes respectively. The Besov space has significant interpolation and embedding properties:

where and denotes the Holder-Zygmund spaces.

Definition 3.1.

Let be a Banach space and . We say has Fourier type if

where is the smallest . Let us list some important facts:

(i)any Banach space has a Fourier type 1,

(ii)-convex Banach spaces have a nontrivial Fourier type,

(iii)spaces having Fourier type 2 should be isomorphic to a Hilbert spaces.

The following corollary follows from [5, Theorem 3.1].

Corollary 3.2.

Let be a Banach space having Fourier type and . Then the inverse Fourier transform defines a bounded operator

Definition 3.3.

Let be one of the following systems, where :

A bounded measurable function is called a Fourier multiplier from to if there is a bounded linear operator

such that

The uniquely determined operator is the FM operator induced by . Note that if and maps into then satisfies the weak continuity condition (3.11).

For the definition of Besov spaces and their basic properties we refer to [5].

Since (3.10) can be written in the convolution form

Corollaries 2.6 and 3.2 can be applied to obtain regularity for (3.10).

Theorem 3.4.

Let and be Banach spaces having Fourier type and , so that . Then there is a constant depending only on and so that if

then is a FM from to with

where

Proof.

Let and . Assume that . Then . Since , choosing an appropriate and using (3.7) we obtain

where depends only on . Since we have and . Thus, in a similar manner as above, we get

for some constant depending on . Hence by (3.16)-(3.17) and Corollary 2.6

satisfies

for all , so that . Now, taking into account the fact that is continuously embedded in and using the same reasoning as [5, Theorem 4.3] one can easily prove the general case and the weak continuity of .

Theorem 3.5.

Let and be Banach spaces having Fourier type and be so that . Then, there exist a constant depending only on and so that if satisfy

then is a FM from to and for each and .

Taking into consideration Theorem 3.4 one can easily prove the above theorem in a similar manner as [5, Theorem 4.3].

The following corollary provides a practical sufficient condition to check (3.20).

Lemma 3.6.

Let and . If and

for each and , then satisfies (3.20).

Using the fact that , the above lemma can be proven in a similar fashion as [5, Lemma 4.10].

Choosing in Lemma 3.6 we get the following corollary.

Corollary 3.7 (Mikhlin's condition).

Let and be Banach spaces having Fourier type and . If satisfies

for each multi-index with , then is a FM from to for each and .

Proof.

It is clear that for

Moreover, for we have

which implies

Hence by Lemma 3.6, (3.22) implies assumption (3.20) of Theorem 3.5.

Remark 3.8.

Corollary 3.7 particularly implies the following facts.

(a)if and are arbitrary Banach spaces then ,

(b)if and be Banach spaces having Fourier type and then , suffices for a function to be a FM in .

## References

Folland GB:

*Real Analysis: Modern Techniques and Their Applications, Pure and Applied Mathematics*. John Wiley & Sons, New York, NY, USA; 1984:xiv+350.Denk R, Hieber M, PrÃ¼ss J: -boundedness, Fourier multipliers and problems of elliptic and parabolic type.

*Memoirs of the American Mathematical Society*2003, 166(788):1â€“106.Girardi M, Weis L: Integral operators with operator-valued kernels.

*Journal of Mathematical Analysis and Applications*2004, 290(1):190â€“212. 10.1016/j.jmaa.2003.09.044Bergh J, LÃ¶fstrÃ¶m J:

*Interpolation spaces. An Introduction, Grundlehren der Mathematischen Wissenschaften*.*Volume 223*. Springer, Berlin, Germany; 1976:x+207.Girardi M, Weis L: Operator-valued Fourier multiplier theorems on Besov spaces.

*Mathematische Nachrichten*2003, 251: 34â€“51. 10.1002/mana.200310029

## Acknowledgment

The author would like to thank Michael McClellan for the careful reading of the paper and his/her many useful comments and suggestions.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Shahmurov, R. On Integral Operators with Operator-Valued Kernels.
*J Inequal Appl* **2010**, 850125 (2010). https://doi.org/10.1155/2010/850125

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/850125