Embedding operators in Sobolev-Lions spaces and applications
Veli Shakhmurov

TL;DR
This paper investigates the embedding operators in Sobolev-Lions spaces, establishing their continuity and compactness, and applies these results to analyze degenerate anisotropic differential operators and related parabolic problems.
Contribution
It introduces new results on the embedding operators in Sobolev-Lions spaces and applies them to degenerate anisotropic differential equations and parabolic problem estimates.
Findings
Embedding operators are continuous and compact in Sobolev-Lions spaces.
Separability properties of degenerate anisotropic differential operators are established.
Well-posedness and Strichartz estimates for related parabolic problems are proven.
Abstract
The continouity and compactness of embedding operators in in Sobolev-Lions type spaces are derived. By applying this result separability properties of degenerate anisotropic differential operator equations, well-posedeness and Strichartz type estimates for solution of corresponding parabolic problem are established
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Mathematical Physics Problems · Advanced Harmonic Analysis Research · Differential Equations and Boundary Problems
VELI SHAKHMUROV
EMBEDDING OPERATORS IN SOBOLEV-LIONS SPACES AND APPLICATIONS
Department of Mechanical Engineering, Okan University, Akfirat, Tuzla 34959 Istanbul, Turkey,
AMS: 26Bxx, 43Axx, 46Bxx, 35Jxx
Abstract
The embedding theorems in Sobolev-Lions type anisotropic weighted spaces are studied, here and are two Banach spaces. The most regular interpolation spaces between and are found such that the mixed differential operators are bounded from to where denotes weighted abstact Lebesgue space with mixed nom and
[TABLE]
By applying this result separability properties of degenerate anisotropic differential operator equations, well-posedeness and Strichartz type estimates for solution of corresponding parabolic problem are established.
**Key Words: Sobolev spaces, **Embedding operators, vector-valued spaces, Differential operator equations, Interpolation of Banach spaces
1. Introduction
Embedding of function spaces were studied in a series of books and papers (see, for example ). The embedding properties of abstract function spaces have been considered e.g. in Lions-Peetre showed that if and then
[TABLE]
where , are Hilbert spaces, is continuously and densely embedded into , and is an interpolation space between , for The similar questions for -valued Sobolev spaces studied in where Then, the boundedness of differential operator from to were considered in This question is generalized for corresponding weighted spaces in . Later, such type embedding results in -valued function spaces and its weighted versions studied in . In this paper, we prove the continuity and compactness of embedding operators in weighted anisotropic function spaces for mixed , which will be defined in bellow.
Here , are positive integers and is a positive measurable function on . Let be nonnegative integers, and for
[TABLE]
Let be a positive operator in , then there are fractional powers of the operator A\(see §1.15.1) and for each powers of let denote the domain of with graphical norm. Under certain assumptions to be stated later, we prove that differential operators are bounded from to i.e embedding
[TABLE]
is continuous. More precisely, we prove the following uniform sharp estimate
[TABLE]
for , and , where The constant is independent of and Further, we prove compactness of embedding operator. These kind of embedding theorems occur in the investigation of boundary value problems for anisotropic elliptic differential-operator equations
[TABLE]
where , are linear operators in a Banach space , are positive parameters and is a complex number. By using the above embedding results and operator valued multiplier theorems we obtain that problem is uniform separable in i.e. for problem has a unique solution and the following uniform coercive estimate holds
[TABLE]
where the constant depend only on and
Moreover, we get the following uniform sharp resolvent estimate
[TABLE]
where is the operator generated by problem
For we get the elliptic differential-operator equation
[TABLE]
Then, by using regularity properties of the well-posedeness and uniform Strichartz type estimates are established for the solution of abstract parabolic problem
[TABLE]
[TABLE]
where is a linear operator in a Banach space and are small positive parameters.
In this direction we should mention e.g. the works presented in , .
Modern analysis methods, particularly abstract harmonic analysis, the operator theory, interpolation of Banach spaces, theory of semigroups and perturbation theory of linear operators are the main tools implemented to carry out the analysis.
2. Notations and definitions
Let , be the sets of real and complex numbers, respectively. Let and be two Banach spaces and denotes the spaces of bounded linear operators from to For we denote by We will sometimes write instead of for a scalar and denotes the resolvent of operator , where is the identity operator in
Let
[TABLE]
Definition 1. A linear operator is said to be positive in a Banach space if is dense on and
[TABLE]
with , where is a positive constant.
**Definition 2. **For let
[TABLE]
Let be a positive measurable function on
Definition 3. denotes the space of strongly measurable -valued functions such that are defined on with the norm
[TABLE]
For we denote by For we denote by the space of all -valued strongly measurable on functions with mixed norm
[TABLE]
[TABLE]
For we denote by
The weight satisfies an condition; i.e., if there is a positive constant such that
[TABLE]
for all compacts .
**Remark 2.1. **The result implies that the space , satisfies the multiplier condition with respect to and the weight functions
[TABLE]
[TABLE]
Suppose that is Schwartzs space of test functions and is the space of linear continued mapping from into and is called valued Schwartzs distributions. For the Fourier transform and inverse Fourier transform are defined by the relations
[TABLE]
[TABLE]
where
[TABLE]
The Fourier transformation and the inverse Fourier transformation of valued generalized functions are defined by the relations.
[TABLE]
where means the value of generalized function on the .
Definition 4. Let , where are positive integers. The values generalized functions is called the generalized derivatives in the sense of Schwarts distributions of the generalized function if the relation
[TABLE]
holds for all
It is known for all the relations
[TABLE]
holds.
Let be a infinitely differentiable function with polynomial structure and . Then is a generalized function defined by the relation
[TABLE]
By using Definition 4 and relations we get
[TABLE]
for .
The Banach space is called an UMD-space if the Hilbert operator
[TABLE]
is bounded in for (see. e.g. ). UMD spaces include e.g. , spaces and Lorentz spaces for , .
will denote the spaces of valued bounded uniformly strongly times continuously differentiable functions on Assume is such that is dense in
Definition 5. A function is called a multiplier from to if the map is well defined and extends to a bounded linear operator
[TABLE]
We denote the set of all multipliers from to by For it denotes by
Let denote a collection of multipliers depending on the parameter
We say that is a uniform collection of multipliers if there exists a positive constant independent of such that
[TABLE]
for all and
Note that, Fourier multiplier theorems in complex valued weighted spaces investigated e.g. in In Banach space-valued classes this question studied e.g. in
Let
[TABLE]
[TABLE]
**Definition 6. **The Banach space satisfies the multiplier condition with respect to and (or with respect to in the case of) and with respect to weighted function if for all with the inequality
[TABLE]
implies
Note that, if and are UMD spaces, and then by virtue of operator valued multiplier theorems (see e.g ) we obtain that is a Fourier multiplier in It is well known (see ) that any Hilbert space satisfies the multiplier condition for with respect to any and with However, there are Banach spaces which are not Hilbert spaces but satisfy the multiplier condition, for example UMD spaces, convex Banach lattice spaces (see , , ).
Assume are positive measurable functions on and
[TABLE]
Definition 7. Consider the following spaces:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
For we will denote and by .
Let be positive parameters and . We define the following parametrized norms in and such that
[TABLE]
[TABLE]
For two elements , the expression means that there exist positive numbers and such that
[TABLE]
3. Embedding theorems
In this section, we prove that the generalized derivative operator generates a continuous embedding in Sobolev spaces of vector-functions. Let be nonnegative and positive integers and
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
First of all, in a similar way as in we have
Lemma A1. Assume is a positive linear operator on a Banach space . Then for any and the operator-function
[TABLE]
is bounded in uniformly with respect to , and i.e. there exists a constant such that
[TABLE]
for all and
In a similar way as in we obtain the following
**Theorem A. **Assume, are two Banach spaces and the embedding is compact. Let be a bounded domain in and for . Then the embedding
[TABLE]
is compact.
Let
[TABLE]
One of main result of this section is the following:
Theorem 3.1. Assume is a Banach space satisfying the multiplier condition with respect to , and weighted function . Suppose is a positive operator in . Then for , or for the embedding
[TABLE]
is a continuous and there exists a constant depending only on such that
[TABLE]
for and
Proof. We have
[TABLE]
[TABLE]
[TABLE]
for all such that
[TABLE]
On the other hand, it is clear to see that
[TABLE]
[TABLE]
Hence, denoting by we get from relations and
[TABLE]
Similarly, in view of Definition 7 for we have
[TABLE]
[TABLE]
Therefore, for proving the inequality it suffices to show
[TABLE]
[TABLE]
Therefore, the inequality will follow if we prove the following estimate
[TABLE]
for where
[TABLE]
Due to positivity of the operator function has a bounded inverse in for all So, we can set
[TABLE]
[TABLE]
By Definition 6 it is clear to see that the inequality will follow immediately from if we can prove that the operator-function
[TABLE]
is a multiplier in uniformly with respect to and So, it suffices to show that for all and there exists a constant such that the following uniform estimate holds
[TABLE]
To see this, by applying the Lemma A1 for all we get a constant depending only on such that
[TABLE]
This shows that the inequality is satisfies for Now, we next consider for where and for . Then, by using the positivity properties of we obtain
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Repeating the above process, we obtain that for all there exists a constant depending only such that
[TABLE]
Therefore, the operator-function is a uniform multiplier with respect to and i.e,
[TABLE]
This completes the proof of the Theorem 3.1.
It is possible to state Theorem 3.1 in a more general setting. For this aim, we use the concept of extension operator.
Condition 3.1. Let be positive operator in Banach spaces satisfying multiplier condition with respect to** ** and weighted function Assume a region such that there exists bounded linear extension operator from to for
Remark 3.1. If is a region satisfying the strong horn condition (see , p.117), and then for there exists a bounded linear extension operator from to
Theorem 3.2. Assume conditions of Theorem 3.1 and Condition 3.1 are hold. Then for the embedding
[TABLE]
is continuous and there exists a constant depending only on such that
[TABLE]
[TABLE]
for and
Proof. It is suffices to prove the estimate Let is a bounded linear extension operator from to and let be the restriction operator from to Then for any we have
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Result 3.1. Assume the conditions of Theorem 3.2 are satisfied. Then for we have the following multiplicative estimate
[TABLE]
Indeed, setting
[TABLE]
in we obtain
**Theorem 3.3. **Assume that the conditions of Theorem 3.2 are satisfied. Suppose is a bounded domain in and is a compact operator in Let for . Then for the embedding
[TABLE]
is compact.
**Proof. **By virtue of Theorem we get that the embedding
[TABLE]
is compact. Then by we obtain the assertion of Theorem 3.3.
Let
[TABLE]
Theorem 3.4. Suppose conditions of Theorem 3.1 are hold. Then for the embedding
[TABLE]
is continuous and there exists a constant depending only on such that
[TABLE]
for and
**Proof. **It is sufficient to prove the estimate for By definition of interpolation spaces (see ) the estimate is equivalent to the inequality
[TABLE]
[TABLE]
By multiplier properties, the inequality will follow immediately if we will prove that the operator-function
[TABLE]
is a multiplier from to This fact is proved by the same manner as Theorem 3.1. Therefore, we get the estimate
In a similar way, as the Theorem 3.2 we obtain
Theorem 3.5. Suppose conditions of Theorem 3.2 are hold. Then for the embedding
[TABLE]
is continuous and there exists a constant depending only on such that
[TABLE]
for and
Result 3. 2. Suppose the conditions of Theorem 3.2 are hold. Then for we have the following multiplicative estimate
[TABLE]
Indeed setting in we obtain
From the estimate and Theorem A, in a similar way as Theorem 3.3 we obtain
**Theorem 3.6. **Assume that the conditions of Theorem 3.2 are satisfied. Suppose is a bounded domain in and is a compact operator in Let for . Then for the embedding
[TABLE]
is compact.
From Theorem 3.2 we obtain
Result 3.2. Assume the conditions of Theorem 3.2 are satisfied for Then for the embedding
[TABLE]
is continuous and there exists a constant depending only on such that
[TABLE]
for and where
[TABLE]
Result 3.3. If , where is a Hilbert space and , then we obtain the well known Lions-Peetre result. Moreover, the result of Lions-Peetre are improving even in the one dimensional case for the non selfedjoint positive operators
From Theorems 3.2, 3.3 we obtain
Result 3.4. Suppose the conditions of Theorem 3.2 are satisfied for Then for the embedding
[TABLE]
is a continuous and there exists a constant , depending only on such that
[TABLE]
for and .
Moreover, if is a bounded domain in and is a compact operator in then for the embedding
[TABLE]
is compact.
If , we get the embedding proved in for numerical Sobolev spaces
4. Application
Let Consider the following sequence space (see e.g. )
[TABLE]
with the norm
[TABLE]
Note that, Let be infinite matrix defined in such that A=\left[\delta_{ij}2^{si}\right],\where , when when
It is clear to see that, the operator is positive in Then from Theorem 3.2 and Theorem 3.3 we obtain the following results
**Result 4.1. **Suppose the conditions of Theorem 3.2 are satisfied for . Then for , or for the embedding
[TABLE]
is a continuous and there exists a constant , depending only on such that
[TABLE]
for and
**Result 4.2. **Suppose the conditions of Theorem 3.3 are hold for . Then for or for the embedding
[TABLE]
is compact.
**Result 4.3. **For , or for the embedding
[TABLE]
is a continuous and there exists a constant , depending only on such that
[TABLE]
for and
**Result 4.4. **For or for the embedding
[TABLE]
is compact.
Note that, these results haven’t been obtained with classical method until now.
**5. Separable degenerate abstract differential operators **
Let us consider the problem
[TABLE]
[TABLE]
considered in , where , are linear operators in a Banach space , are positive and is a complex parameter.
Let
[TABLE]
Remark 5.1.
Under the substitution
[TABLE]
the spaces , are mapped isomorphically onto the weighted spaces and where
[TABLE]
Moreover, under this transformation the problem is mapped to the following undegenerate problem
[TABLE]
[TABLE]
considered in the weighted space , where
[TABLE]
By redenoting and we get
[TABLE]
[TABLE]
Consider first of all, the prıncipal part of , i.e. consider the problem
[TABLE]
Theorem 5.1. Assume the following conditions are satisfied:
(1) , ;
(2) is Banach space satisfying multiplier condition with respect to and weighted function ;
(3) is a -positive operator in Banach space for
Then for and problem has a unique solution that belongs to and the uniform coercive estimate holds
[TABLE]
Proof. By appllying Fourier transform to the equation we obtain
[TABLE]
It is clear that for all . Therefore, we get that for all . Since is -positive, we deduce that the operator function
[TABLE]
has a bounded inverse in for all . Hence from we obtain that the solution of can be represented in the form
[TABLE]
Moreover, we have
[TABLE]
and
[TABLE]
By virtue of and for proving it is suffices to show the following estimate
[TABLE]
for all For this aim, it sufficient to show that the operator functions
[TABLE]
are multipliers in uniformly with respect to and Firstly, show that is a multiplier in uniformly in and Indeed, for all and we get
[TABLE]
It is clear that
[TABLE]
Hence,
[TABLE]
[TABLE]
Using the estimate we show the following uniform estimate
[TABLE]
for and . In similar way, we prove that
[TABLE]
Since Banach space satisfies multiplier condition with respect to and in view of estimates and we obtain that the operator-functions are multipliers in So, we obtain the estimate which in turn gives the estimate That is we obtain the assertion.
Consider the operator in generated by the problem that is
[TABLE]
From Theorem 5.1 we obtain
**Result 5.1. **Assume conditions of Theorem 5.1 are satisfied. Then the operator is positive in
Theorem 5.2. Suppose the conditions of Theorem 5.1 are satisfied and for . Then for all and problem has a unique solution and the uniform coercive estimate holds
[TABLE]
**Proof. **Consider the problem We denote by the operator in generated by problem Namely
[TABLE]
where
[TABLE]
The estimate implies that the operator has a bounded inverse from into . By Theorem 3.1 for all we get
[TABLE]
[TABLE]
Then from for we obtain
[TABLE]
It is clear that
[TABLE]
By Definition1 we get
[TABLE]
[TABLE]
From Theoem 5.1 and estimates for we obtain
[TABLE]
Then choosing and such that from we obtain that
[TABLE]
Using the relation , Theorem 5.1, and perturbation theory of linear operators (see for instance ) we obtain that the operator is invertiable from into . It is implies that for all problem have a unique solution and the estimate holds.
Let denotes the operator in generated by problem , i.e.
[TABLE]
[TABLE]
From Theorem 5.1 and Remark 5.1 we obtain the following
**Result 5.2. **Assume conditions of Theorem 5.2 are satisfied. Then for all and the equation has a unique solution that belongs to Moreover, the uniform coercive estimate holds
[TABLE]
**Result 5.3. **Assume the conditions of Theorem 5.2 are satisfied. Then the resolvent of operator satisfies the following sharp uniform coercive estimate
[TABLE]
where
[TABLE]
From the Result 5.3 and theory of semiroup (see e.g. ) we obtain
**Result 5.4. **Assume conditions of Theorem 5.2 are satisfied for Then the operator is a generator of analytic semigroup in .
Remark 5.2. There are a lot of positive operators in the different concrete Banach spaces. Therefore, putting the concrete Banach spaces instead of and concrete positive differential, psedodifferential operators, or finite, infinite matrices instead of in by virtue of Theorem 5.2 we obtain the separability properties of different class of degenerate partial differential equations or system of equations.
6. Abstract Cauchy problem for anisotropic parabolic equation with parameters
Consider now, the Cauchy problem In this section, we obtaın the existence and uniqueness of the maximal regular solution of problem in mixed norms.
Let denote differential operator generated by problem for , and where Let
[TABLE]
**Theorem 6.1. **Assume is Banach space satisfying multiplier condition with respect to and weighted function . Suppose is a -positive operator in Banach space for . Then the operator is uniformly -positive in
**Proof. **The Result 5.2 implies that the operator is uniformly positive in . We have to prove the -boundedness of the set
[TABLE]
From the Theorem 5.1 we have
[TABLE]
for where
[TABLE]
By definition of -boundedness, it is sufficient to show that the operator function (depended on variable and parameters ) is uniformly bounded multiplier in In a similar manner as in Theorem 5.1 one can easily show that is uniformly bounded multiplier in Then, by definition of -boundedness we have
[TABLE]
[TABLE]
for all , , , where is a sequence of independent symmetric -valued random variables on . Hence, the set is uniformly -bounded.
Now we are ready to state the main result of this section. Let and Let
[TABLE]
**Theorem 6.2. **Assume the conditions of Theorem 6.1 are satisfied for . Then for problem has a unique solution and the following uniform coercive estimate holds
[TABLE]
**Proof. **The problem can be expressed as the following Cauchy problem
[TABLE]
Theorem 6.1 implies that the operator is -positive and by Result 5.4 it is a generator of an analytic semigroup in Then by virtue of we obtain that for problem has a unique solution and the following uniform estimate holds
[TABLE]
Since by Theorem 5.1 we have
[TABLE]
This relation and the estimate implies the assertion.
Consider now, the Cauchy problem for degenerate parabolic equation
[TABLE]
[TABLE]
where is a linear operator in a Banach space and are small positive parameters.
From Theorem 6.2, and Remark 5.1 we obtain
**Result 6.1. **Assume conditions of Theorem 6.1 are satisfied for . Then for problem has a unique solution and the following uniform coercive estimate holds
[TABLE]
7. System of parabolic equation of infinite order with small parameters
Consider the infinity systems of Cauchy problem for the degenerate anisotropic parabolic equation
[TABLE]
[TABLE]
where are complex valued functions, are small positive parameters
[TABLE]
[TABLE]
In this section we show the following result:
**Theorem 7.1. **For problem has a unique solution and the following coercive uniform estimate holds
[TABLE]
Proof. Assume and is such that
[TABLE]
It is clear that the operator is -positive in . Then, from Result 6. 1 we obtain the assertion. Now, consider the following Cauchy problem
[TABLE]
[TABLE]
From Theorem 7.1 and Remark 5.1 we obtain
**Result 7.1. **For problem has a unique solution and the following coercive uniform estimate holds
[TABLE]
References
H. Amann, Linear and quasi-linear equations 1, Birkhauser (1995). 2. 2.
R. S. Adams, Sobolev Spaces, Academic Press, New York (1975). 3. 3.
D. L. Burkholder, A geometrical condition that implies the existence certain singular integral of Banach space-valued functions, Proc. conf. Harmonic analysis in honor of Antony Zygmuhd, Chicago,1981, Wads Worth, Belmont, (1983), 270-286. 4. 4.
O. V. Besov,V. P. Ilin, S. M. Nikolskii, Integral representations of functions and embedding theorems, Moscow (1975). 5. 5.
D. L. Fernandes, On Fourier multipliers of Banach lattice-valued functions, Rev.Roum. de Math.Pures et appl. (34) (7) (1989), 635-642. 6. 6.
V. S. Gulıev, To the theory of multiplicators of Fourier integrals for Banach-valued functions, Trud. Math. Inst. Steklov, (214), (1996),157-174. 7. 7.
M. Girardi, L. Weis, Operator-valued Fourier multiplier theorems on Lp(X) and geometry of Banach spaces, Journal of Functional Analysis, 204 (2003), (2), 320-354. 8. 8.
T. Kato, Perturbation Theory for Linear Operators, Springer-Verlak, New York (1966). 9. 9.
D. S. Kurtz, R. L. Weeden, Results on weighted norm inequalities for multipliers, Trans. Amer. Math. Soc., 255,1979, 343-362. 10. 10.
P. Kree, Sur les multiplicateurs dans aves poids, Annales Ins. Fourier, Grenoble, 16 (2)(1966), 91-121. 11. 11.
V. M. Kokilashvili, S. G. Samko, Operators of harmonic analysis in weighted spaces with non-standard growth, Journal of Mathematical Analysis and Applications, 352 (1))1 (2009), 15–34. 12. 12.
J. Lions, J. Peetre, Sur one classe d’espases d’interpolation, IHES Publ. Math. 19(1964), 5-68. 13. 13.
P. I. Lizorkin,V. B. Shakhmurov, Embedding theorems for classes of vector-valued functions, 1,2, IZV.VUZ. USSR , Math., (1989), 70-78, 47-54, . 14. 14.
V. G. Mazya, Sobolev Spaces, Springer-Verlag, New York (1985). 15. 15.
S. L. Sobolev, Certain applications of functional analysis to mathematical physics, Novosibirskii (1962). 16. 16.
S. L. Sobolev, Embeddig theorems for abstract functions, Dok. Akad. Nauk USSR, 115(1957), 55-59. 17. 17.
H. I. Schmeisser and H.Triebel, Topics in Fourier Analysis and Function Spaces, Willey, Chichester (1987). 18. 18.
V. B. Shakhmurov, Abstract capacity of regions and compact embedding with applications, Acta Mathematica Scientia, 31(1) (2011), 49-67. 19. 19.
V. B. Shakhmurov, Embedding and maximal regular differential operators in Sobolev-Lions spaces, Acta Mathematica Sinica (English Series), 22(5) (2006), 1493–1508. 20. 20.
V. B. Shakhmurov, Estimates of approximation numbers for embedding operators and applications, Acta Mathematica Sinica, (English Series), 28( 9)( 2012), 1883-1896. 21. 21.
V. B. Shakhmurov, Embedding operators and maximal regular differential-operator equations in Banach-valued function spaces, Journal of Inequalities and Applications, 4(2005), 329-345. 22. 22.
H. Triebel, Interpolation theory, Function spaces, Differential operators, North-Holland, Amsterdam (1978). 23. 23.
H. Triebel H, Spaces of distributions with weights. Multiplier on spaces with weights. Math. Nachr*.,* (1977)78, 339-356. 24. 24.
L. Weis, Operator-valued Fourier multiplier theorems and maximal regularity, Math. Ann. 319 (2001), 735-75. 25. 25.
S. Y. Yakubov, V. B. Shakhmurov, The embedding theorems in the anisotropic space of vector-functions, Math. Zamet, 22, (1977), 297-30. 26. 26.
S. Yakubov and Ya. Yakubov, Differential-operator Equations. Ordinary and Partial Differential Equations, Chapman and Hall /CRC, Boca Raton, (2000).
