Abstract
The Duhamel product for two suitable functions f and g is defined as follows:
We consider the integration operator J, \(Jf(x)={\textstyle \int \limits _{0}^{x}} f(t)\mathrm{{d}}t\), on the Frechet space \(C^{\infty }\) of all infinitely differentiable functions in \(\left[ 0,1\right] \) and describe in terms of Duhamel operators its commutant. Also, we consider the Duhamel equation \(\varphi \circledast f=g\) and prove that it has a unique solution if and only if \(\varphi (0)\ne 0\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recall that \(C^{\infty }:=C^{\infty }\left[ 0,1\right] \) denotes the Frechet space of all infinitely differentiable functions in \(\left[ 0,1\right] \). The topology in \(C^{\infty }\) is given by the family of seminorms \(\left\{ P_{n}\right\} _{n\ge 0},\) \(P_{n}(f)=\underset{0\le k\le n}{\max } \underset{x\in \left[ 0,1\right] }{\max }\left| f^{\left( k\right) } (x)\right| ,\) \(f\in C^{\infty }\). The so-called Duhamel product (see Wigley [20]) is the derivative of the classical Mikusinski convolution [10, 12]:
It is clear that with this multiplication, \(C^{\infty }\) becomes an algebra. So, let \((C^{\infty },\circledast )\) denote the algebra of infinitely differentiable functions in \(\left[ 0,1\right] \) with Duhamel product \(\circledast \) as multiplication. \((C^{\infty },\circledast )\) is commutative and associative, and the function \(f(x)\equiv 1\) is the identity for \((C^{\infty },\circledast )\) (see [6]).
Notice that the Duhamel product is widely applied in various questions of analysis, namely in the theory of differential equations and in the solution of boundary value problems of mathematical physics (see Wigley [20]). The Duhamel product is closely related to the Volterra integration operator. It is being studied quite intensively; see the paper of Karaev [8] and also the papers [3, 5,6,7, 9, 15,16,17, 21].
The integration operator is defined on \(C^{\infty }\) by the formula:
In this article, we describe in terms of Duhamel product commutant of the operator J. Also, we investigate Duhamel equations in \(C^{\infty }\) and study uniqueness of their solutions. Note that previously, Tkachenko [19] investigated properties of the commutant of the operator of generalized integration operator in a space of analytic functionals.
2 The Commutant of Operator J
Recall that for any continuous linear operator T on \(C^{\infty }\) (i.e., for any \(T\in {\mathcal {L}}(C^{\infty })\)), its commutant is
It is necessary to note that the study of commutant of the concrete operator T on \(C^{\infty }\) or, especially on Banach spaces, is one of the important , but generally, not-easy problems of operator theory. For this , it is enough to remember important results obtained in the works [1,2,3, 11, 13, 14]. In this section, we describe in terms of the Duhamel operators the commutant of the integration operator J on \(C^{\infty }\).
Theorem 1
Let \(T\in {\mathcal {L}}(C^{\infty })\). Then \(TJ=JT\), i.e. \(T\in \left\{ J\right\} ^{\prime }\), if and only if there exists a function \(f\in C^{\infty }\) such that \(T=D_{f}\), where \(D_{f}\) is the Duhamel operator defined by \(D_{f}g:=f\circledast g,g\in C^{\infty }\).
Proof
Indeed, let \(TJ=JT\), then \(TJ^{n}=J^{n}T\) for all \(n\ge 0\), that is,
for all \(g\in C^{\infty }\) and \(n\ge 0\). It is easy to see from (1) that
Then, we have, in particular, that \(TJ^{n}\mathbf {1}=J^{n}T\mathbf {1}\), hence
for all \(n\ge 0\). This implies that
or equivalently,
where \(f:=T\mathbf {1}\in C^{\infty }\) and \(D_{f}\) is the Duhamel operator on \(C^{\infty }.\) It is clear from [6] that \(D_{f}\) is the continuous linear operator on \(C^{\infty }\). From the last equality, we have that
for any polynomial p, and thus by Weierstrass approximation theorem, we deduce that
for all \(g\in C^{\infty }\), that is, \(T=D_{f}\), as desired. This proves the theorem. \(\square \)
For the related results in Banach spaces, we refer the readers to the papers [9, 15, 16].
Corollary 1
We have \(\left\{ J\right\} ^{\prime \prime }=\left\{ J\right\} ^{\prime }\), where \(\left\{ J\right\} ^{\prime \prime }\) denotes the bicommutant of the operator J, i.e.,
Proof
It suffices to prove that \(T_{1}T_{2}=T_{2}T_{1}\) for every \(T_{1},T_{2}\) in \(\left\{ J\right\} ^{\prime }\). In fact, by Theorem 2.1, there exist functions \(f,g\in C^{\infty }\) such that
and
for all \(h\in C^{\infty }\), where I is an identity operator on \(C^{\infty } \). Since \((C^{\infty },\circledast )\) is the commutative (topological) algebra, we get from (3) and (4) that \(T_{1}T_{2} =T_{2}T_{1}\), as desired.
\(\square \)
3 Isomorphisms in the Commutant of J and Uniqueness of Solutions of Duhamel Equations
In this section, we characterize isomorphisms in the commutant \(\left\{ J\right\} ^{\prime }\) of the integration operator J on \(C^{\infty }\).
Theorem 2
Let \(T\in {\mathcal {L}}(C^{\infty })\) be an operator. Then, it will be an isomorphism of the space \(C^{\infty }\) into itself (i.e., T is invertible) and commutes with J if and only if it can be written in the form
and \(\varphi (0)=(T\mathbf {1})(0)\ne 0.\)
Proof
If \(T\in {\mathcal {L}}(C^{\infty })\) is an isomorphism of the space \(C^{\infty }\) into itself and commutes with J, i.e., \(TJ=JT\), then by Theorem 2.1 we have representation (5) for T. Since \(TC^{\infty }=C^{\infty }\), it follows that \(\varphi (0)\ne 0\), that is, \((T\mathbf {1})(0)\ne 0\).
Conversely, suppose that T has representation (5) with \(\varphi (0)=(T\mathbf {1})(0)\ne 0\) and prove then that \(T\in \left\{ J\right\} ^{\prime }\) and T is an isomorphism. In fact, the fact that \(T\in \left\{ J\right\} ^{\prime }\), i.e., \(TJ=JT\), is immediate from Theorem 2.1. On the other hand, it is easy to see from (5) that
where \(D_{\varphi -\varphi (0)}\) is the usual Mikusinski convolution operator on \(C^{\infty },\) i.e.,
It is well known that the convolution operator \(C_{\varphi ^{\prime }}\) is compact in \(C^{\infty }\) (for the proof, the method of the paper [18] can also be used).
Let us continue the proof of the theorem. Now we show that \(\ker (D_{\varphi })=\left\{ 0\right\} \). Indeed, let \(f\in \ker (D_{\varphi }).\) Then,
that is,
Then,
for all \(x\in \left[ 0,1\right] \) and some constant c. In particular, for \(x=0\), we have \(c=0.\) Hence,
since by condition \(\varphi \in C^{\infty }\) and \(\varphi (0)\ne 0,\) we have that \(\varphi \) does not vanish identically in any right neighborhood of 0. Then, by the Titchmarsh convolution theorem [12], we conclude from (7) that \(f(x)=0\) for all \(x\in \left[ 0,1\right] \). This means that \(\ker (D_{\varphi })=\left\{ 0\right\} \). Since \(D_{\varphi -\varphi (0)}\) is compact, it follows from Williamson theorem [22] that \(D_{\varphi }\) is invertible in \(C^{\infty },\) that is, T is an isomorphism. The theorem is proven. \(\square \)
We have from Theorems 2.1 and 3.1 the following.
Corollary 2
For any function \(\varphi \in C^{\infty }\) with \(\varphi (0)\ne 0\), there exists a unique isomorphism T of the \(C^{\infty }\) such that T commutes with J and \(T\mathbf {1}=\varphi \).
Corollary 3
If \(\varphi \in C^{\infty }\) and \(\varphi (0)\ne 0\), then the Duhamel equation
has a unique solution for any fixed function \(g\in C^{\infty }.\)
Proof
Equation (9) means the following:
Since \(\varphi (0)\ne 0,\) it follows from the proof of Theorem 3.1 that the Duhamel operator \(D_{\varphi }\) is invertible in \(C^{\infty }\); hence, we have from (10) that \(f=D_{\varphi }^{-1}g;\) that is, (9) has a unique solution. \(\square \)
The authors of the paper [4] study the generalized Duhamel product in space of all holomorphic functions on a convex domain in the complex plane, containing the origin.
References
Bozhinov, N.: Convolutional Representations of Commutants and Multipliers. Sofia, Bulgaria (1988)
Crownover, R.M., Hansen, R.C.: Commutants of generalized integrations on a space of analytic functions. Indiana Univ. Math. J. 26, 233–245 (1977)
Dimovski, I.H.: Convolutional Calculus. Kluwer Academic Publishers, Dordrecht (1990)
Ivanova, O.A., Melikhov, S.V.: On the commutant of the generalized backward shift operator in weighted spaces of entire functions, arXiv:1909.13703v1 [math.FA] 30, (Sep 2019)
Gürdal, M.: Description of extended eigenvalues and extended eigenvectors of integration operators on the Wiener algebra. Expositiones Math. 27, 153–160 (2009)
Karaev, M.T.: Closed ideals in \(C^{\infty }\) with the Duhamel product as multiplication. J. Math. Anal. Appl. 300, 297–302 (2004)
Karaev, M.T.: Some applications of the Duhamel product. J. Math. Sci. 129, 1009–1017 (2005)
Karaev, M.T.: Duhamel algebras and their applications. Funktsional. Anal. i Prilozhen 52, 3–12 (2018)
Karaev, M.T., Saltan, S.: A Banach algebra structure for the Wiener algebra \(W({\mathbb{D}})\) of the disc. Complex Var. 50, 299–305 (2005)
Krabbe, G.: Operational Calculus. Springer, New-York (1970)
Lomonosov, V.I.: On invariant subspaces of a family of operators commuting with a completely continuous operator. Funktsional. Anal. i Prilozhen 7, 55–56 (1973)
Mikusinski, J.: Operational Calculus. Pergamon Press, New York (1959)
Nagnibida, N.I.: On the question of the description of the commutants of an integration operator in analytic space. Sibir Math. J. 22, 125–133 (1981)
Raichinov, I.: Linear operators that commute with integration, In: Mathematical Analysis, vol. 2, pp. 63-72, Rostov-On-Don University, (1970)
Saltan, S., Özel, Y.: On some applications of a special integro-differential operators, J. Funct. Spaces Appl., Volume 2012, Article ID894527, p. 11, https://doi.org/10.1155/2012/894527
Saltan, S., Özel, Y.: Maximal ideal space of some Banach algebras and related problems. Banach J. Math. Anal. 8, 16–29 (2014)
Tapdigoglu, R.: Invariant subspaces of Volterra integration operator: axiomatical approach. Bull. Sci. Math. 136, 574–578 (2012)
Tapdigoglu, R.: On the description of invariant subspaces in the space \(C^{(n)}[0,1]\). Houston J. Math. 39, 169–176 (2013)
Tkacenko, V.A.: Operators that commute with generalized integration in spaces of analytic functionals. Matem. Zametki 25, 271–282 (1979)
Wigley, N.M.: The Duhamel product of analytic functions. Duke Math. J. 41, 211–217 (1974)
Wigley, N.M.: A Banach algebra structure for \(H^{P}\). Can. Math. Bull. 18(4), 597–603 (1975)
Williamson, J.H.: Compact linear operators in linear topologicial spaces. J. Lond. Math. Soc. 291, 229–239 (1954)
Acknowledgements
The research of Torebek is financially supported by the FWO Odysseus 1 Grant G.0H94.18N: Analysis and Partial Differential Equations.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Fuad Kittaneh.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Tapdigoglu, R., Torebek, B.T. Commutant and Uniqueness of Solutions of Duhamel Equations. Bull. Malays. Math. Sci. Soc. 44, 705–710 (2021). https://doi.org/10.1007/s40840-020-00972-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-020-00972-1