Pseudo-differential operators in vector-valued spaces and applications
Veli Shakhmurov

TL;DR
This paper investigates pseudo-differential operators with parameters in vector-valued spaces, establishing resolvent estimates, regularity properties, and applications to anisotropic and system equations, with implications for analytic semigroup generation.
Contribution
It introduces new resolvent estimates and regularity results for pseudo-differential operators with parameters, extending their analysis in vector-valued function spaces.
Findings
Operators are positive and generate analytic semigroups.
Maximal regularity properties are established for pseudo-differential parabolic equations.
Applications include anisotropic parameter-dependent and system pseudo-differential equations.
Abstract
Pseudo-differential operator equations with parameter are studied. Uniform separability properties and resolvent estimates are obtained in terms of fractional derivatives. Moreover, maximal regularity properties of the pseudo-differential abstract parabolic equation are established. Particularly, it is proven that the operators generated by these pseudo-differential equations are positive and aso are generators of analytic semigroups. As an application, the anisotropic parameter dependent pseudo-differential equations and the system of pseudo-differential equations are studied
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
TopicsDifferential Equations and Boundary Problems · Advanced Mathematical Modeling in Engineering · Spectral Theory in Mathematical Physics
**Pseudo-differential operators in vector-valued spaces and applications **
VELI SHAKHMUROV
Okan University, Department of Mechanical Engineering, Akfirat, Tuzla 34959 Istanbul, Turkey, E-mail: [email protected];
ABSTRACT
Pseudo-differential operator equations with parameter are studied. Uniform -separability properties and resolvent estimates are obtained in terms of fractional derivatives. Moreover, maximal regularity properties of the pseudo-differential abstract parabolic equation are established. Particularly, it is proven that the operators generated by these pseudo-differential equations are positive and aso are generators of analytic semigroups. As an application, the anisotropic parameter dependent pseudo-differential equations and the system of pseudo-differential equations are studied.
AMS: 47GXX, 35JXX, 47FXX, 47DXX, 43AXX
**Key Word: **pseudo-differential equations, Sobolev-Lions spaces, differential-operator equations, maximal regularity, abstract parabolic equations, operator-valued multipliers
**1. Introduction, notations and background **
Differential-operator equations (DOEs) have found many applications in PDEs and pseudo-differential equations (PsDEs) (see e.g. ). Regularity properties of PsDEs have been studied extensively by many researchers; see e.g. \left[\text{21-22}\right]\and the references therein. The boundedness of PsDEs in Sobolev spaces have been treated e.g. in Moreover, the smoothness of PsDEs with bounded operator coefficients have been explored e.g. in , In contrast to , the PsDE considered here contain unbounded operators and parameters. In particular, the main objective of the present paper is to discuss the uniform maximal regularity of elliptic pseudo-differential operator equations (PsDOEs) with parameters
[TABLE]
where is the pseudo-differential operator, and are linear operators in a Banach space , for , and are the Liouville derivatives; is a positive number, are positive, is a complex parameter, and denotes the space of strongly measurable -valued functions that are defined on the measurable subset with the norm given by
[TABLE]
We prove that problem has a maximal regular unique solution and the following uniform coercive estimate holds
[TABLE]
for , where is a set of complex numbers that is related with the spectrum of the operator The estimate implies that the operator generated by has a bounded inverse from into the space which will be defined subsequently. Particularly, from the estimate we obtain that the operator is uniformly positive in By using this property we prove the uniform well posedness of the Cauchy problem for the following parabolic PsDOE with parameter
[TABLE]
in -valued mixed spaces . In other words, we show that problem has a unique solution
[TABLE]
for satisfying the following uniform coercive estimate
[TABLE]
[TABLE]
Note that, constants , in estimates and are independent of parameters. As an application in this paper the following are established: (a) maximal regularity properties of the anisotropic elliptic PsDE in mixed spaces; (b) coercive properties of the system of PsDEs of infinite order in spaces.
Let be a complete probability space, denotes measurable valued Bochner space with norm
[TABLE]
A Banach space is called UMD space (see ) if -valued martingale difference sequences are unconditional in for , i.e., there exists a positive constant such that for any martingale any choice of signs , and
[TABLE]
It is shown (see ) that the Hilbert operator
[TABLE]
is bounded in the space for those and only those spaces which possess the property of UMD spaces. UMD spaces include e.g. , and Lorentz spaces .
Let denote the set of complex numbers and
[TABLE]
A linear operator is said to be -positive (or positive ) in a Banach space if is dense on and
[TABLE]
for any where , is the identity operator in is the space of bounded linear operators in Sometimes will be written and will be denoted by It is known that the powers , for a positive operator exist.
The operator is said to be -positive (or positive) in uniformly with respect to if is independent of , is dense in and for all , where does not depend on and Let denote the space with the norm
[TABLE]
A set is called -bounded (see e.g. ) if there is a constant such that for all and
[TABLE]
where is an arbitrary sequence of independent symmetric -valued random variables on .
The smallest for which the above estimate holds is called a -bound of the collection and is denoted by
A set of operators depending on parameter is called uniformly -bounded with respect to if there is a constant independent of such that
[TABLE]
for all and .
It implies that
[TABLE]
The operator is said to be -positive in a Banach space if the set is -bounded.
A positive operator is said to be uniformly -positive in a Banach space if there exists such that the set
[TABLE]
is uniformly -bounded. Let denote the valued Schwartz class, i.e., the space of all -valued rapidly decreasing smooth functions on equipped with its usual topology generated by seminorms. For this space will be denoted by . denotes the space of linear continuous mappings from into and is called -valued Schwartz distributions. For any , the function will be defined such that
[TABLE]
where
[TABLE]
The Liouville derivatives of an -valued function are defined similarly to the case of scalar functions
and will denote the spaces of valued bounded uniformly strongly continuous and times continuously differentiable functions on , respectively. Let and denote the Fourier and inverse Fourier transforms defined as
[TABLE]
where
[TABLE]
Through this section, the Fourier transformation of a function will be denoted by It is known that
[TABLE]
for all . Let and be two Banach spaces. denotes the space of bounded linear operators from to . A function is called a Fourier multiplier from to if the map
[TABLE]
is well defined and extends to a bounded linear operator
[TABLE]
The set of all multipliers from to will be denoted by For it is denoted 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
Let and be two Banach spaces and be continuously and densely embedded into Let and Consider the following Liouville-Lions space
[TABLE]
[TABLE]
Let and be positive parameters. We define the following parameterized norm in
[TABLE]
Sometimes we use one and the same symbol without distinction in order to denote positive constants which may differ from each other even in a single context. When we want to specify the dependence of such a constant on a parameter, say , we write .
By using the techniques of and reasoning as in we obtain the following proposition.
Proposition A Let and be two spaces and
[TABLE]
Suppose there is a positive constant such that
[TABLE]
for
[TABLE]
Then is a uniform collection of multipliers from to for
**Proof: **Some steps (Lemma 3.1, Proposition 3.2) of proof trivially work for the parameter dependent case. Other steps (Theorem 3.3, Lemma 3.5) can be easily shown by replacing
[TABLE]
with
[TABLE]
and by using the uniform -boundedness of the set . However, the parameter dependent analog of Proposition 3.4 in is not straightforward. Let , be Fourier multipliers from to Let converge to in and be uniformly bounded with respect to and Then the operator is uniformly bounded, so we obtain the assertion of Proposition A
The embedding theorems in vector valued spaces play a key role in the theory of DOEs. For estimating lower order derivatives in terms of interpolation spaces we use following embedding theorems from .
Theorem A1. Suppose is an UMD space, , and is an -positive operator in Then for with , the embedding
[TABLE]
is continuous and there exists a constant , depending only on such that
[TABLE]
for all and .
- PsDOE with parameters in Banach spaces
Consider the principal part of the problem
[TABLE]
where is the pseudo-differential operator defined by
[TABLE]
**Condition 2.1. **Assume for some positive number i.e.,
[TABLE]
for all and Suppose for all and there is a constant such that .
Let
[TABLE]
In this section we prove the following
Theorem 2.1. Assume the Condition 2.1 hold. Suppose is an UMD space, and is an -positive operator in with respect to Then for , and there is a unique solution of the equation belonging to and the following coercive uniform estimate holds
[TABLE]
**Proof. **By applying the Fourier transform to equation we obtain
[TABLE]
By construction for all and the operator is invertible in . So, from we obtain that the solution of equation can be represented in the form
[TABLE]
By definition of the positive operator the inverse of is bounded in . Then the operator is a closed linear operator (as an inverse of bounded linear operator ). By the differential properties of the Fourier transform and by using we have
[TABLE]
[TABLE]
where Hence, it suffices to show that operator-functions
[TABLE]
[TABLE]
are collections of multipliers in X\uniformly with respect to and By virtue of for and with there is a positive constant such that
[TABLE]
By using the positivity properties of operator we get that
[TABLE]
is bounded for all , and
[TABLE]
By using Condition 2.1 and estimate we obtain that
[TABLE]
[TABLE]
Then by using the resolvent properties of positive operators and uniform estimate we obtain
[TABLE]
[TABLE]
where is an identity operator in Moreover, by using the well known inequality
[TABLE]
for and for all we have
[TABLE]
[TABLE]
In view of estimate and by Condition 2.1 we get from the above inequality
[TABLE]
So, we obtain that the operator functions and are uniformly bounded, i.e.,
[TABLE]
Due to -positivity of by and by Kahane’s contraction principle we obtain that the set
[TABLE]
is uniformly -bounded, i.e.,
[TABLE]
In a similar way we obtain
[TABLE]
for
[TABLE]
Consider the following sets
[TABLE]
[TABLE]
[TABLE]
In view of the positivity properties of operator and due to Kahane’s contraction, addition and product properties of the collection of -bounded operators (see e.g. ) and by for all , , and independent symmetric valued random variables , we obtain the following uniform estimate
[TABLE]
[TABLE]
i.e.,
[TABLE]
Hence, we infer that the operator-valued functions and are uniform bounded multipliers and it’s bounds are independent of and . By virtue of Preposition A0, the operator-valued functions \sigma\left(t,\lambda,\xi\right)\and are uniform collections of Fourier multipliers in So, we obtain that for all there is a unique solution of equation and estimate holds.
Let denote the operator in generated by problem for , i.e.,
[TABLE]
Theorem 2.1 and the definition of the space imply the following result:
**Result 2.1. **Assume all conditions of Theorem 2.1 are satisfied. Then there are positive constants and so that
[TABLE]
for Indeed, if we put in by Theorem 2.1 we get
[TABLE]
for . Due to the closedness of and by the differential properties of the Fourier transform we have
[TABLE]
So, in view of estimate and by definition of we obtain
[TABLE]
The first inequality is equivalent to the following estimate
[TABLE]
[TABLE]
So, it suffices to show that the operator functions
[TABLE]
are uniform Fourier multipliers in This fact is proved in a similar way as in the proof of Theorem 2.1.
From Theorem 2.1 we have:
**Result 2.2. **Assume all conditions of Theorem 2.1 hold. Then, for all the resolvent of operator exists and the following sharp uniform estimate holds
[TABLE]
Indeed, we infer from Theorem 2.1 that the operator has a bounded inverse from to So, the solution of equation can be expressed as for all Then estimate implies the estimate
**Result 2.3. **Theorem 2.1 particularly implies that the operator is positive in Then the operators are generators of analytic semigroups in for (see e.g. ).
Now consider the problem By using Theorem 2.1 and the perturbation theory of linear operators we have the following
Theorem 2.2. Assume all conditions of Theorem 2.1 are satisfied. Suppose for . Then for , , and for sufficiently large there is a unique solution of the equation belonging to and the following coercive uniform estimate holds
[TABLE]
**Proof. **It is clear that where is the operator in generated by problem for and
[TABLE]
In view of the condition on and by the Theorem A1 for we have
[TABLE]
[TABLE]
[TABLE]
Then from estimates and for we obtain
[TABLE]
Since for Hence, for we get
[TABLE]
[TABLE]
From estimates for we obtain
[TABLE]
Then choosing and such that from we obtain that
[TABLE]
From Theorem 2.1 and we get that the operator has a bounded inverse in Moreover, it is clear that
[TABLE]
where is an identity operator in Using relation , estimates , and perturbation theory of linear operators, we obtain that the operator has a bounded inverse from into and the estimate holds.
3. The Cauchy problem for parabolic PsDOE with parameter
In this section, we shall consider the following Cauchy problem for the parabolic PsDO equation
[TABLE]
where is the pseudo-differential operator defined by and is a linear operator in , , are positive parameters.
In this section, by applying Theorem 2.1 we establish the maximal regularity of the problem in valued mixed spaces, where
Let denote the operator generated by problem For this aim we need the following result:
**Theorem 3.1. **Suppose Condition 2. 1 hold, is an UMD space and the operator is -positive in with respect to with . Then operator is uniformly -positive in
**Proof. **From Result 2.3 we obtain that the operator is positive in . We have to prove the -boundedness of the set
[TABLE]
From the proof of Theorem 2.1 we have
[TABLE]
where
[TABLE]
By reasoning as in the proof of Theorem 2.1, we obtain the following uniform estimate
[TABLE]
By definition of -boundedness, it suffices to show that the operator function ( which depends on variable and parameters ) is a multiplier in uniformly with respect to and Indeed, by reasoning as in Theorem 2.1 we can easily show that is a uniform multiplier in Then, by the definition of a -bounded set we have
[TABLE]
[TABLE]
for all , , , where is a sequence of independent symmetric valued random variables on . Hence, the set is uniformly -bounded.
Let be a Banach space. For will denote the space of all -summable -valued functions with mixed norm (see e.g. for the complex-valued case), i.e., the space of all measurable -valued functions defined on , for which
[TABLE]
Let be a Banach space and be a positive operator in Suppose, is a positive integer number. denotes the space of all functions possessing the generalized derivatives with the norm
[TABLE]
Let be a positive number. denotes the space of all functions possessing the generalized derivative with respect to and fractional derivatives with respect to for with the norm
[TABLE]
where
Now, we are ready to state the main result of this section.
Theorem 3.2. Assume the conditions of Theorem 2.1 hold for . Then for problem has a unique solution
[TABLE]
satisfying the following unform coercive estimate
[TABLE]
Proof. By definition of and mixed space , we have
[TABLE]
[TABLE]
Moreover, by definition of the space and by Result 2.1 we obtain
[TABLE]
[TABLE]
Hence, we deduced from the above equalities that,
[TABLE]
[TABLE]
Therefore, the problem can be expressed as the following Cauchy problem for the abstract parabolic equation
[TABLE]
By virtue of , the condition implies for . Then due to the positivity of by virtue of [23, Theorem 4.2] we obtain that for equation has a unique solution satisfying the following estimate
[TABLE]
From the Theorem 2.1, relation and from the above estimate we get the assertion.
**4. BVP for Anisotropic PsDE **
In this section, the maximal regularity properties of the anisotropic PsDE are studied.
Let , where is an open connected set with compact boundary . Consider the BVP for the pseudo-differential equation
[TABLE]
[TABLE]
[TABLE]
where is the pseudo differential operator defined by with respect to and
[TABLE]
where , are nonnegative integer numbers, and are positive parameters.
If , , will denote the space of all -summable scalar-valued functions with mixed norm ( see e.g. ), i.e., the space of all measurable functions defined on , for which
[TABLE]
Analogously, denotes the anisotropic fractional Sobolev space with corresponding mixed norm, i.e., denotes the space of all functions possessing the fractional derivatives with respect to for and generalized derivative with respect to with the norm
[TABLE]
Let denote the operator generated by problem , i.e.,
[TABLE]
[TABLE]
Let and
[TABLE]
[TABLE]
**Condition 4.1. **Let the following conditions be satisfied;
(1) for each and for each with , and
(2) for each , , ,
(3) for , , , , let
(4) for each local BVP in local coordinates corresponding to
[TABLE]
[TABLE]
has a unique solution for all and for .
Suppose are nonnegative real numbers. In this section, we present the following result:
Theorem 4.1. Assume** **Condition 2.1 and Condition 4.1 are satisfied. Then for , problem has a unique solution and the following coercive uniform estimate holds
[TABLE]
Proof. Let . It is known that is an space for Consider the operator defined by
[TABLE]
Therefore, the problem can be rewritten in the form of , where are functions with values in From we get that the following problem
[TABLE]
[TABLE]
has a unique solution for and arg Moreover, the operator generated by is -positive in Then from Theorem 2.1 we obtain the assertion.
**5. The system of PsDE of infinite order **
Consider the following system of PsDEs of infinite order
[TABLE]
[TABLE]
where is the pseudo-differential operator defined by and are positive parameters. Let be real numbers and
[TABLE]
[TABLE]
[TABLE]
**Condition 5.1. **Let
[TABLE]
Let
[TABLE]
**Theorem 5.1. Assume Condition 2.1 and Condition 5.1 are satisfied. **Then, for , and for sufficiently large problem has a unique solution that belongs to the space and the following uniform coercive estimate holds
[TABLE]
[TABLE]
Proof. Let be a matrix such that , It is easy to see that
[TABLE]
where , are entries of the corresponding adjoint matrix of Since the matrix is symmetric and positive definite, it generates a positive operator in for For all , and independent symmetric -valued random variables , we have
[TABLE]
[TABLE]
[TABLE]
Since is symmetric and positive definite, we have
[TABLE]
From and we get
[TABLE]
i.e., the operator is -positive in From Theorem 2.1 we obtain that problem has a unique solution for and the following estimate holds
[TABLE]
From the above estimate we obtain the assertion.
Acknowledgements
The author would like to express a gratitude to Dr. Erchan Aptoula for his useful advices in English in preparing of this paper.
References
Amann H., Linear and quasi-linear equations,1, Birkhauser, Basel 1995. 2. 2.
Besov, O. V., P. Ilin, V. P., Nikolskii, S. M., Integral representations of functions and embedding theorems, Nauka, Moscow, 1975. 3. 3.
Bourgain J., Some remarks on Banach spaces in which martingale differences are unconditional, Arkiv Math. 21 (1983), 163-168. 4. 4.
Burkholder D. L., A geometrical conditions that implies the existence certain singular integral of Banach space-valued functions, Proc. conf. Harmonic analysis in honor of Antonu Zigmund, Chicago, 1981,Wads Worth, Belmont, (1983), 270-286. 5. 5.
Dore C. and Yakubov S., Semigroup estimates and non coercive boundary value problems, Semigroup Forum 60 (2000), 93-121. 6. 6.
Dubinskii, Yu. A., The Cauchy problem and pseudodifferential operators in the complex domain, Uspekhi Mat. Nauk, 45:2(272) (1990), 115–142. 7. 7.
Diestel J., Jarchow H., Tonge A., Absolutely summing operators, Cambridge Univ. Press, Cambridge, 1995. 8. 8.
Denk, R., Krainer T., -Boundedness, pseudodifferential operators, and maximal regularity for some classes of partial differential operators, Manuscripta Math. 124(3) (2007),, 319-342. 9. 9.
Haller R., Heck H., Noll A., Mikhlin’s theorem for operator-valued Fourier multipliers in variables, Math. Nachr. 244 (2002), 110-130. 10. 10.
Hermander L., The analysis of linear partial differential operators, V. 3, 4, Springer-Verlag, New York, 1985. 11. 11.
Favini A., Shakhmurov V. B, Yakov Yakubov, Regular boundary value problems for complete second order elliptic differential-operator equations in UMD Banach spaces, Semigroup form, 2009, v.79 (1), 22-54. 12. 12.
Krein S. G., ”Linear differential equations in Banach space”, American Mathematical Society, Providence, 1971. 13. 13.
Lizorkin P. I., Generalized Liouville differentiation and functional spaces Embedding theorems, Mathematics of the USSR-Sbornik (3)60 (1963), 325-353. 14. 14.
Nagase, M., The -boundedness of pseudodifferential operators with non-regular symbols, Comm. in Partial Differential Equations, 2 (10), 1045-1061 (1977). 15. 15.
Portal, P., Štrkalj, Ž., Pseudodifferential operators on Bochner spaces and an application, Math. Z. (2006) 253: 805-819. 16. 16.
Shakhmurov V. B., Coercive boundary value problems for regular degenerate differential-operator equations, J. Math. Anal. Appl., 292 ( 2) (2004), 605-620. 17. 17.
Shakhmurov V. B., Embedding and separable differential operators in Sobolev-Lions type spaces, Mathematical Notes, 2008, v. 84, no 6, 906-926. 18. 18.
Shakhmurov V. B., Maximal regular abstract elliptic equations and applications, Siberian Mathematical Journal, v.51, no 5, 935-948, 2010. 19. 19.
Shakhmurov V. B., Embedding and maximal regular differential operators in Banach-valued weighted spaces**, **Acta mathematica Sinica, 22(5) (2006), 1493-1508. 20. 20.
Triebel H., ”Interpolation theory, Function spaces, Differential operators.”, North-Holland, Amsterdam, 1978. 21. 21.
Taylor, M., Pseudo-differential operators, Princeton University press, Princeton, NJ, 1981. 22. 22.
Treves, F, Introduction to pseudo-differential and Fourier integral operators, Plenum press, New York and London, 1980. 23. 23.
Weis L, Operator-valued Fourier multiplier theorems and maximal regularity, Math. Ann. 319, (2001), 735-758. 24. 24.
Yakubov S. and Yakubov Ya., ”Differential-operator Equations. Ordinary and Partial Differential Equations ”, Chapman and Hall /CRC, Boca Raton, 2000.
