Abstract
In this work, we present methods for constructing representations of polynomial covariance type commutation relations \(AB=BF(A)\) by linear integral operators in Banach spaces \(L_p\). We derive necessary and sufficient conditions on the kernel functions for the integral operators to satisfy the covariance type commutation relation for general polynomials F, as well as for important cases, when F is arbitrary affine or quadratic polynomial, or arbitrary monomial of any degree. Using the obtained general conditions on the kernels, we construct concrete examples of representations of the covariance type commutation relations by integral operators on \(L_p\). Also, we derive useful general reordering formulas for the integral operators representing the covariance type commutation relations, in terms of the kernel functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Commutation relations of the form
where A, B are elements of an associative algebra and F is a function of the elements of the algebra, play a significant role in various areas of mathematics, physics, and engineering, and appear in various contexts under different names, such as covariance relations, crossed product type relations, semi-direct product type relations or skew-polynomial rings commutation relations.
In quantum mechanics, quantum field theory, quantum information and quantum computing, many models are described in terms of matrices or linear operators on Hilbert spaces or other normed linear spaces, satisfying such commutation relations for various functions F, or other commutation relations transformable to such form after changes of variables, factorizations (such as polar decomposition) or passing to some functions of operators. For example, the exponentiation of the linear operators satisfying Heisenberg’s canonical commutation relations of quantum mechanics results in the operators satisfying the commutation relations (1) with the degree 1 polynomial F of multiplication by a scalar. For Lie algebras, q-deformations of Lie algebras, various variants of quantum harmonic oscillator algebras, quantum groups, skew-polynomial rings and algebras and many other non-commutative rings and algebras, the main methods are based on such transition to the commutation relations of the form (1). The commutation relations of the form (1) allow efficient reordering in non-commutative expressions employing iterations of the mapping F, which leads to the broad interplay with the theory dynamical systems obtained by iterations of mappings F in the systematic investigation of spectral analysis and classifications of their operator representations as well as of the structure and properties of the corresponding algebras. Systems of imprimitivity and induced representations of groups and algebras, playing important roles in physics, analysis and algebra, are based on semidirect-products type constructions associated to the actions of groups, and the commutation relations of the form (1) being fundamental for the algebraic structure and for description and classification of their operator representations [28,29,30, 44]. The commutation relations of the form (1) are also fundamental for the symmetry analysis since many symmetry groups have generators satisfying the commutation relations of the form (1). For example, in the dihedral groups, generators geometrically associated with rotations and reflections, satisfy the relations of the form (1) for a rational \(F(z)=\frac{1}{z}\) which inverts elements of the group and corresponding elements of its group algebra, and in general, the relations of the form (1) are built into the structure of the many important groups or semigroups or rings and algebras that are semi-direct products defined using actions of groups or semigroups on other groups or semigroups or on other rings or algebras. Such semidirect product structures and their matrix and operator representations are important in solid-state physics in connection to crystallographic structures and in the description, classification, and applications to symmetry analysis of the atomic latices and complex molecular and chemical structures and processes. Also, there are advanced coding algorithms and quantum computing algorithms, based on non-commutative structure and computations in non-commutative semi-direct products and skew-polynomial rings and their matrix representations, thus providing applications of the relations (1) in computer science, quantum computing, cryptography and advanced methods for secure information transmission. The commutation relations of the form (1) also play an important role in the operator methods for solution of differential and difference equations as many specific transforms such as Fourier, Laplace or Wavelet transforms satisfy relations of the form (1) with appropriate shift, weighted shift, weighted composition, differential or difference type operators, leading to unified broad operator methods in harmonic analysis, as well as in general operator methods and symmetry analysis of differential, difference and integral type equations in many applications in physics and engineering. Linear operators satisfying commutation relations are called representations of commutation relations. Representations of covariance commutation relations of the form (1) by linear operators on finite-dimensional and infinite-dimensional linear spaces, Hilbert spaces and other normed linear spaces play an important role in the investigation of actions and induced representations of groups and semigroups, crossed product operator algebras, dynamical systems, harmonic analysis, wavelet and fractal analysis, non-commutative geometry and in applications in physics, engineering and computer science (see [4, 5, 22,23,24, 28,29,30, 36, 37, 44] and references therein).
The \(*\)-Representations for the relation (1) by bounded and unbounded linear operators on a Hilbert space have been extensively studied using functional calculus and spectral theory for self-adjoint, unitary and more general normal operators, theory of crossed product \(C^*\)-algebras, \(W^*\)-algebras and Banach \(*\)-algebras and their interplay with dynamical systems and iterated function systems generated by iteration of involved in the defining commutation relations maps describing the actions of groups and semigroups (see [3, 8,9,10, 12, 13, 15,16,17,18,19, 31,32,36, 38,39,42, 44,45,57] and references therein).
However, for many important classes of linear operators defined on Banach spaces or normed linear spaces other than Hilbert spaces, spectral theory, and functional calculus for operators on Hilbert spaces are not available to the same extent as for Hilbert spaces. For example, the generalization of the spectral theory to the classification of families of operators up to equivalences, such as up to the unitary equivalence in case of families of self-adjoint or unitary operators on Hilbert spaces, becomes problematic in the Banach and normed spaces which are not Hilbert spaces. In many contexts and applications, the classification of operator representations of commutations relations (1) and of the defined by such relations algebras up to some equivalences might be difficult and of the secondary interest, while the main mathematical goal and interest from the side of applications, is in direct construction of various operator models using specific important classes of operators satisfying the crossed-product type covariance commutation relations (1) on various specific Banach spaces and other normed linear spaces.
The development of new more direct methods and constructions of representations of the commutation relations by operators of important classes on various important linear spaces without relying on classifications of operators based on spectral theory is one of the general goals of our investigation in this paper. The systematic general investigation of representations of commutation relations of the form (1) by integral operators on various function spaces was not systematically studied in literature, and the general results and new examples of operator representations of (1) by integral operators we obtained in this paper are new, to our knowledge.
The fundamental role and applications of commutation relations (1) in many areas of mathematics and applications comes mainly from that the relations (1) allow effective reordering of non-commuting elements or operators satisfying the relation, which is important in computations using non-commutative expressions and functions of such elements or operators, and in the theories and results built on possibility to obtain and effectively use such non-commutative computations and reordering formulas. For the operator representations by operators from specific classes on specific spaces, it is thus important to express, if possible, such reordering formulas specifically in terms of the defining parameters, functions and operations of such operators, that is, in the case of the integral operator representations considered in this article, in terms of the defining kernel functions of such integral operators.
There are also many interesting open problems and directions connected to our approach and general results as well as for the concrete pairs of operator representations of (1) by integral operators that we found as examples for our results. Further study of operator theoretical properties of these operators including their spectra, properties, invariant subspaces, reducibility and operator factorizations and other decompositions, commutants (operators commuting with these operators) and establishing interplay with orbit spaces, invariant or quasi-invariant measures and other properties of the dynamical systems generated by the iterations of the mappings F could be very interesting. We chose in this paper to consider operators on \(L_p\) spaces as these are natural spaces where many general and concrete classes of integral operators are well defined. Many integral operators act between important Banach or normed spaces which are not Hilbert spaces, and the development of general systematic methods for finding and further study of the integral operators that satisfy the commutation relations of the form (1) is an open important direction for the further study of their spectral and other properties and their possible applications in those various areas of mathematics and applications where the commutation relations (1) and their operator representations are important.
In this paper, we develop general methods for the direct construction of representations of the covariance commutation relations of the form (1) by bounded linear integral operators on Banach spaces \(L_p\). We focus on the construction and properties of nontrivial (\(B\ne 0\)) representations of the commutation relations (1). We consider representations by linear integral operators defined by kernels satisfying various conditions and derive conditions on such kernel functions so that the corresponding operators satisfy (1) for general polynomial F and for interesting important special cases, such as for example arbitrary affine, quadratic or monomial of any degree. Furthermore, we derive some composition and reordering formulas for the operators involved. This paper consists of four sections. After the introduction, we present in Sect. 2 some preliminaries, notations, basic definitions and a lemma used throughout the article. In Sect. 3, we present our main methods, and the results describing conditions on the kernels of the integral operators in order for them to satisfy the commutation relations (1), as well as construct several interesting new examples of representations of (1), for general and concrete polynomials F, when both operators A and B are linear integral operators acting on the Banach spaces \(L_p\). In Sect. 4, we also obtain useful general reordering formulas for the integral operators satisfying the general commutation relations of the form (1) in terms of their kernel functions.
2 Preliminaries and notations
In this section we present some necessary preliminaries, basic definitions and notations for this article [1, 2, 6, 20, 25, 26, 43].
Let \({\mathbb {R}}\) be the set of all real numbers, \( S\subseteq {\mathbb {R}}\) be a nonempty Lebesgue measurable set, and \((S,\varSigma , {\tilde{m}})\) be a \(\sigma \)-finite measure space, where \(\varSigma \) is a \(\sigma \)-algebra of Lebesgue measurable subsets of S, \({\tilde{m}}\) is the Lebesgue measure, and S can be covered with at most countably many disjoint sets \(E_1,E_2,E_3,\ldots \) such that \( E_i\in \varSigma , \, {\tilde{m}}(E_i)<\infty \), \(i=1,2,\ldots \). For \(1\le p<\infty ,\) we denote by \(L_p(S)\), the set of all classes of equivalent (different on a set of zero measure) measurable functions \(f:S\rightarrow {\mathbb {R}}\) such that \(\int \nolimits _{S} |f(t)|^p dt < \infty .\) This is a Banach space (Hilbert space when \(p=2\)) with norm \(\Vert f\Vert _p= \left( \int \nolimits _{S} |f(t)|^p dt \right) ^{\frac{1}{p}}.\) We denote by \(L_\infty (S)\) the set of all classes of equivalent measurable functions \(f:S\rightarrow {\mathbb {R}}\) such that \(|f(t)|<\infty \) almost everywhere. This is a Banach space with norm \(\Vert f\Vert _{\infty }=\mathop {{{\,\mathrm{ess\;sup}\,}}}_{t\in S} |f(t)|.\)
We denote by
for real numbers \(\varsigma _1<\varsigma _2\) and real valued functions u, v.
Definition 2.1
Let \(f:\, {\mathbb {R}}\rightarrow {\mathbb {R}}\) be any function. Consider the family of all open sets \(\{ \varOmega _i\}_{i\in I}\) in \({\mathbb {R}}\), such that \(f=0\) almost everywhere on \(\varOmega _i\), \(i\in I\). Set \(\varOmega =\bigcup \nolimits _{i\in I} \varOmega _i\). The support of f is the complement of the set \(\varOmega \) and we denote it by \( \mathrm{supp \, } f. \)
We consider a useful lemma for integral operators.
Lemma 2.1
([14]) Let \(1\le p \le \infty \) and \(\alpha _1,\beta _1,\alpha _2,\beta _2\in {\mathbb {R}}\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), and let \(f:[\alpha _1,\beta _1]\rightarrow {\mathbb {R}}\), \(g: [\alpha _2,\beta _2]\rightarrow {\mathbb {R}}\) be measurable functions such that for all \(x\in L_p({\mathbb {R}})\), the integrals \( \int \nolimits _{\alpha _1}^{\beta _1} f(t)x(t)dt\) and \(\int \nolimits _{\alpha _2}^{\beta _2} g(t)x(t)dt \) are finite. Let \( G=[\alpha _1,\beta _1]\cap [\alpha _2,\beta _2]. \) Then the following statements are equivalent:
-
1.
For \(1\le p \le \infty \) and for all \(x\in L_p({\mathbb {R}})\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} f(t)x(t)dt=\int \limits _{\alpha _2}^{\beta _2} g(t)x(t)dt. \end{aligned}$$(3) -
2.
The following conditions hold:
-
(a) for almost every \(t\in G\), \(f(t)=g(t)\);
-
(b) for almost every \(t \in [\alpha _1,\beta _1]{\setminus } G,\ f(t)=0;\)
-
(c) for almost every \(t \in [\alpha _2,\beta _2]{\setminus } G,\ g(t)=0.\)
Proof
2 \(\Rightarrow \) 1 follows from direct computation.
Suppose that 1 holds. Take \(x(t)=I_{G_1}(t)\), the indicator function of the set \(G_1=[\alpha _1,\beta _1]\cup [\alpha _2,\beta _2]\). For this function we have, for some constant \(\eta \),
Now by taking \(x(t)=I_{[\alpha _1,\beta _1]{\setminus } G}(t)\) we get
Then \( \int \nolimits _{[\alpha _1,\beta _1]{\setminus } G} f (t)dt=0. \) If instead, \(x(t)=I_{[\alpha _2,\beta _2]{\setminus } G}(t)\), then \( \int \nolimits _{[\alpha _2,\beta _2]{\setminus } G} g (t)dt=0. \) We claim that \(f(t)=0\) for almost every \(t\in [\alpha _1,\beta _1]{\setminus } G\) and \(g(t)=0\) for almost every \(t\in [\alpha _2,\beta _2]{\setminus } G\). We take an arbitrary partition of the set \(G_1{\setminus } G=\bigcup S_i\) such that \(S_i\cap S_j=\emptyset \), for \(i\not =j\) and each set \(S_i\) has positive measure. For each \(x_i(t)=I_{S_i}(t)\), we have
Thus, for each \(S_i,\) \(\int \nolimits _{S_i} f (t)dt=0. \) Since we can choose arbitrary partition with positive measure on each of its elements \(f(t)=0\) for almost every \(t\in [\alpha _1,\beta _1]{\setminus } G.\) Analogously, \(g(t)=0\) for almost every \(t\in [\alpha _2,\beta _2]{\setminus } G.\) Then,
Then, for all \(x\in L_p({\mathbb {R}})\) we have
By taking \(x(t)=\left\{ \begin{array}{ll} 1, &{}\quad \text{ if } f(t)-g(t)>0, \\ -1, &{}\quad \text{ if } f(t)-g(t)<0,\, \end{array}\right. \) for almost every \(t\in G\), and \(x(t)=0\) for almost every \(t\in {\mathbb {R}}{\setminus } G\), we get \(\int \nolimits _{G} |f(t)-g(t)|d\mu =0\). This implies that \(f(t)=g(t)\) for almost every \(t\in G\). \(\square \)
Remark 2.1
Lemma 2.1 can also be used in the particular case when \(f\in L_q([\alpha _1,\beta _1])\), \(g\in L_q([\alpha _2,\beta _2])\), \(1\le q\le \infty \), since for \(1\le p \le \infty \) with \(\frac{1}{p}+\frac{1}{q}=1\) and for all \(x\in L_p({\mathbb {R}})\), the integrals \( \int \nolimits _{\alpha _1}^{\beta _1} f(t)x(t)dt,\ \int \nolimits _{\alpha _2}^{\beta _2} g(t)x(t)dt \) are finite by Hölder inequality.
Remark 2.2
When operators are given in abstract form, we use the notation \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\) meaning that operator A is well defined from \(L_p({\mathbb {R}})\) to \(L_p({\mathbb {R}})\) without discussing sufficient conditions for it to be satisfied. For instance, for the following integral operator \( (Ax)(t)= \int \nolimits _{{\mathbb {R}}} k(t,s)x(s)ds \) there are sufficient conditions on kernel \(k(\cdot ,\cdot )\) such that operator A is well defined from \(L_p({\mathbb {R}}) \) to \(L_p({\mathbb {R}})\) and bounded [11, 20, 21]. For instance, [20, Theorem 6.18] states the following: if \(1\le p\le \infty \) and \(k:{\mathbb {R}}\times [\alpha ,\beta ]\rightarrow {\mathbb {R}}\) is a measurable function, \(\alpha ,\beta \in {\mathbb {R}}\), \(\alpha <\beta \), and there is a constant \(\lambda >0\) such that
then A is well defined from \(L_p({\mathbb {R}})\) to \(L_p({\mathbb {R}})\), \(1\le p \le \infty \) and bounded. When \(p=1\) or \(p=\infty \) only one of the conditions in (4) is enough.
3 Representations by linear integral operators
In this section we consider representations of the covariance type commutation relation (1) when both operators A and B are linear integral operators on Banach space \(L_p({\mathbb {R}})\), \(1\le p\le \infty \) defined as follows:
where \(\alpha _i,\beta _i\in {\mathbb {R}}, i=1,2\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), and \( k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}} \) and \({\tilde{k}}(t,s):{\mathbb {R}}\times [\alpha _2,\beta _2]\rightarrow {\mathbb {R}}\) are measurable functions.
Theorem 3.1
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:\, L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\in {\mathbb {R}}\), \(i=1,2\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), and \( k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}} \) and \({\tilde{k}}(t,s):{\mathbb {R}}\times [\alpha _2,\beta _2]\rightarrow {\mathbb {R}}\) are measurable functions. Consider a polynomial defined by \(F(z)=\sum \nolimits _{j=0}^{n} \delta _j z^j\), where \(\delta _j \in {\mathbb {R}}\), \(j=0,\ldots ,n\). Set \(G=[\alpha _1,\beta _1]\cap [\alpha _2,\beta _2]\) and
Then, \( AB=BF(A) \) if and only if the following conditions are fulfilled:
-
1.
for almost every \((t,\tau )\in {\mathbb {R}}\times G\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds-\delta _0{\tilde{k}}(t,\tau ) = \int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) F_n(k(s,\tau ))ds; \end{aligned}$$ -
2.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _2,\beta _2]{\setminus } G)\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds=\delta _0{\tilde{k}}(t,\tau ); \end{aligned}$$ -
3.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _1,\beta _1]{\setminus } G)\),
$$\begin{aligned} \int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) F_n(k(s,\tau ))ds=0. \end{aligned}$$
Proof
By applying Fubini theorem from [1] and iterative kernels from [27] we have
and in general for all \(n\ge 1\),
It follows that
We now compute BF(A)x and (AB)x. We have
We thus have \((ABx)(t)=(BF(A)x)(t)\) for all \(x\in L_p({\mathbb {R}})\) if and only if
By applying [7, Corollary 3.4.2] and Lemma 2.1 we have \(AB=BF(A)\) if and only if the following conditions hold
-
1.
for almost every \((t,\tau )\in {\mathbb {R}}\times G\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds-\delta _0{\tilde{k}}(t,\tau ) = \int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) F_n(k(s,\tau ))ds; \end{aligned}$$ -
2.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _2,\beta _2]{\setminus } G)\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds=\delta _0{\tilde{k}}(t,\tau ). \end{aligned}$$ -
3.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _1,\beta _1]{\setminus } G)\),
$$\begin{aligned} \int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) F_n(k(s,\tau ))ds=0. \end{aligned}$$
\(\square \)
Remark 3.1
In Theorem 3.1 when \([\alpha _1,\beta _1]=[\alpha _2,\beta _2]=G\) conditions 2 and 3 are taken on set of measure zero so we can ignore them. Thus, we only remain with condition 1. When \([\alpha _1,\beta _1]\not =[\alpha _2,\beta _2]\) we need to check also conditions 2 and 3 outside the intersection \(G=[\alpha _1,\beta _1]\cap [\alpha _2,\beta _2]\). Moreover, condition 3, which is, for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _1,\beta _1]{\setminus } G)\),
does not imply \(B\left( \sum \nolimits _{k=1}^{n} \delta _k A^k\right) =0\) because its kernel has to satisfy (7) only on the set \({\mathbb {R}}\times ([\alpha _1,\beta _1]{\setminus } G)\) and not on the whole set of definition. On the other hand, the same kernel has to satisfy condition 1, that is, for almost every \((t,\tau )\in {\mathbb {R}}\times G\),
Note that Theorem 3.1 does not imply \(\sum \nolimits _{k=1}^n \delta _k A^k=0\). In fact, \(\sum \nolimits _{k=1}^n \delta _k A^k=0\) implies \( B\left( \sum \nolimits _{k=1}^{n} \delta _k A^k\right) =0\) which, as mentioned, is not zero in general.
Example 3.1
Consider \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p<\infty \) defined as follows, for almost every t,
where for almost every \( (t,s)\in {\mathbb {R}}\times [0,\pi ]\),
These operators cannot be example for Theorem 3.1, because
operators A and B are not well defined as linear operator from \(L_p({\mathbb {R}})\) to \(L_p({\mathbb {R}})\), for any p such that \(1\le p<\infty \). In fact, there are functions \(x_0(\cdot )\) from \(L_p({\mathbb {R}})\) such that \((Ax_0)(\cdot )\) is not in \(L_p({\mathbb {R}})\), \(1\le p<\infty \). For instance, for \(x_0(t)=\textrm{exp}(-|t|)\), \(t\in {\mathbb {R}}\) we have
where
Using the fact that for fixed p such that \(1\le p <\infty \), the function \(|\cos t|^p\) is periodic with period \(\pi \) and \(|\cos t|^p>0\), for all \(t\in ]\frac{\pi }{2},\frac{3}{2}\pi [\), we have
Therefore \((Ax_0)(\cdot )\not \in L_p({\mathbb {R}})\) for any p such that \(1\le p<\infty \).
For operator B we have
for any \(1\le p<\infty \), by a similar argument as for the case of \(\Vert Ax_0\Vert ^p\), \(\gamma _0\) is given in (8). Then \((Bx_0)(\cdot )\not \in L_p({\mathbb {R}})\) for any \(1 \le p<\infty \).
Nevertheless, operators A and B are well defined as linear operator from \(L_\infty ({\mathbb {R}})\) to \(L_\infty ({\mathbb {R}})\). In fact, the corresponding kernels satisfy conditions of [20, Theorem 6.18], that is,
Consider the polynomial \(F(z)=z^2\). These operators satisfy \(AB=BF(A)\). In fact, by applying Theorem 3.1 we have \(\delta _0=\delta _1=0\), \(\delta _2=1\), \(n=2\),
for almost every \((t,\tau )\in {\mathbb {R}}\times [0,\pi ]\).
Moreover,
for almost every \((t,s)\in {\mathbb {R}}\times [0,\pi ]\).
Therefore,
for almost every \((t,\tau )\in {\mathbb {R}}\times [0,\pi ]\). Which coincides with the kernel \(k_{AB}\). Thus, conditions of Theorem 3.1 are fulfilled and so \(AB=BA^2\).
We compute
Therefore,
Relation \((AB)x=(BA^2)x\) is satisfied for all \(x\in L_{\infty }({\mathbb {R}})\), but this does not imply that \( A^2=0\), because in this case
neither is it a conclusion from Theorem 3.1, see Remark 3.1.
Example 3.2
With some minor modifications on the kernels one gets integral operators acting on \(L_p({\mathbb {R}})\) for \(1<p<\infty \). Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1< p<\infty \) be defined as follows
for almost every t, where \(k(t,s)=I_{[\alpha ,\beta ]}(t)\frac{2}{\pi }(\cos t \cos s+\sin t\sin s+\cos t\sin s)\), \({\tilde{k}}(t,s)=I_{[\alpha ,\beta ]}(t)\frac{2}{\pi }(\cos t \cos s+2\sin t\sin s)\), for almost every \( (t,s)\in {\mathbb {R}}\times [0,\pi ]\), \(\alpha ,\,\beta \in {\mathbb {R}}\) such that \(\alpha \le 0\), \(\beta \ge \pi \) and \(I_{E}(t)\) is the indicator function of the set E. These operators are well defined and bounded in \(L_p({\mathbb {R}})\), \(1<p<\infty \) by [21, Theorem 3.4.10], since kernels have compact support in \({\mathbb {R}}\times [0,\pi ]\), and for \(q > 1\) such that \(\frac{1}{p}+\frac{1}{q}=1\),
In the estimations above we used the following inequalities:
Note that in this case conditions 1, 2, 3 of Theorem 3.1 reduce to condition 1 because \([\alpha _1,\beta _1]=[\alpha _2,\beta _2]=[0,\pi ]\), and so \(G=[0,\pi ]\), \([\alpha _1,\beta _1]{\setminus } G=[\alpha _2,\beta _2]{\setminus } G=\emptyset \). Therefore, according to Remark 3.1, conditions 2 and 3, taken on a set of measure zero, are fulfilled.
Consider the polynomial \(F(z)=z^2\). These operators satisfy \(AB=BF(A)\). In fact, by applying Theorem 3.1, we have \(\delta _0=\delta _1=0\), \(\delta _2=1\), \(n=2\),
for almost every \((t,\tau )\in {\mathbb {R}}\times [0,\pi ]\).
Moreover, for almost every \((t,s)\in {\mathbb {R}}\times [0,\pi ]\),
Therefore, for almost every \((t,\tau )\in {\mathbb {R}}\times [0,\pi ]\),
which coincides with the kernel \(k_{AB}\). Thus, conditions of Theorem 3.1 are fulfilled, and so \(AB=BA^2\).
Corollary 3.1
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\in {\mathbb {R}}\), \(i=1,2\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), and \( k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}}, \) \({\tilde{k}}(t,s):{\mathbb {R}}\times [\alpha _2,\beta _2]\rightarrow {\mathbb {R}}\) are measurable functions. Consider a polynomial defined by \(F(z)=\delta _0+\delta _1 z\), where \(\delta _0,\ \delta _1\in {\mathbb {R}}\). Set \(G=[\alpha _1,\beta _1]\cap [\alpha _2,\beta _2].\) Then
if and only if the following conditions are fulfilled:
-
1.
for almost every \((t,\tau )\in {\mathbb {R}}\times G\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds-\delta _0{\tilde{k}}(t,\tau ) = \delta _1\int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) k(s,\tau )ds. \end{aligned}$$ -
2.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _2,\beta _2]{\setminus } G)\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds=\delta _0{\tilde{k}}(t,\tau ). \end{aligned}$$ -
3.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _1,\beta _1]{\setminus } G)\),
$$\begin{aligned} \delta _1\int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) k(s,\tau )ds=0. \end{aligned}$$
Proof
This follows by Theorem 3.1. \(\square \)
Corollary 3.2
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\in {\mathbb {R}}\), \(i=1,2\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), and \( k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}} \), \({\tilde{k}}(t,s):{\mathbb {R}}\times [\alpha _2,\beta _2]\rightarrow {\mathbb {R}}\) are measurable functions. Consider a polynomial \(F:{\mathbb {R}}\rightarrow {\mathbb {R}}\) defined by \(F(z)=\delta z^d\), where \(\delta \not =0\) is a real number and d is a positive integer. Set
Then \( AB=\delta BA^d \) if and only if the following conditions are fulfilled:
-
1.
for almost every \((t,\tau )\in {\mathbb {R}}\times G\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds = \delta \int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) k_{d-1}(s,\tau )ds. \end{aligned}$$ -
2.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _2,\beta _2]{\setminus } G)\),
$$\begin{aligned} \int \limits _{\alpha _1}^{\beta _1} k(t,s){\tilde{k}}(s,\tau )ds=0. \end{aligned}$$ -
3.
for almost every \((t,\tau )\in {\mathbb {R}}\times ([\alpha _1,\beta _1]{\setminus } G)\),
$$\begin{aligned} \int \limits _{\alpha _2}^{\beta _2} {\tilde{k}}(t,s) k_{d-1}(s,\tau )ds=0. \end{aligned}$$
Proof
This follows by Theorem 3.1. \(\square \)
Remark 3.2
Examples 3.1 and 3.2 describe specific cases for Corollary 3.2 when \([\alpha _1,\beta _1]=[\alpha _2,\beta _2]=[0,\pi ]\), \(\delta =1\), \(d=2\).
In the following theorem we consider a particular case of operators in Theorem 3.1 when the kernels have the variables in a separated form.
Theorem 3.2
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\in {\mathbb {R}}\), \(i=1,2\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), \(a,c\in L_p({\mathbb {R}})\), \(b\in L_q([\alpha _1,\beta _1])\), \(e\in L_q([\alpha _2,\beta _2])\), \(1\le q\le \infty \), \(\frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial defined by \(F(z)=\sum \nolimits _{j=0}^{n} \delta _j z^j\), where \(\delta _j \in {\mathbb {R}}\), \(j=0,\ldots ,n\). Set
where \(\mu _{[\varsigma _1,\varsigma _2]}(u,v)\) is defined by (2). Then, \(AB=BF(A)\) if and only if the following conditions are fulfilled:
-
1.
-
(a)
for almost every \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times [({{\,\mathrm{\textrm{supp}\,}\,}}\, e)\cap G]\),
-
(i)
if \(k_2\not =0\), then \(b(s)k_1= \lambda e(s)\) and \(a(t)=\frac{(\delta _0+\lambda )c(t)}{k_2}\) for some real scalar \(\lambda \),
-
(ii)
if \(k_2=0\), then \(k_1b(s)=-\delta _0e(s)\);
-
(i)
-
(b)
If \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\) then either \(k_2=0\) or \(a(t)=0\) for almost all \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c \).
-
(c)
If \(s\in G{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e\) then either \(k_1=0\) or \(b(s)=0\) for almost all \(s\in G{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e;\)
-
(a)
-
2.
\(k_2 a(t)-\delta _0 c(t)=0\) for almost every \(t\in {\mathbb {R}}\) or \(e(s)=0\) for almost every \(s\in [\alpha _2,\beta _2]{\setminus } G\);
-
3.
\(k_1=0\) or \(b(s)=0\) for almost every \(s\in [\alpha _1,\beta _1]{\setminus } G\).
Proof
We observe that since \(a,c\in L_p({\mathbb {R}}),\ 1\le p\le \infty \), \(b\in L_q([\alpha _1,\beta _1])\), \(e\in L_q([\alpha _2,\beta _2])\), where \(1\le q\le \infty \), with \(\frac{1}{p}+\frac{1}{q}=1\), then by [20, Theorem 6.18], operators A and B are well-defined and bounded. By direct calculation, we have
for almost every t. We suppose that, for almost every t,
Then, for almost every t,
Then, we compute
Thus, \((ABx)(t)=(BF(A)x)(t)\) for all \(x\in L_p( {\mathbb {R}})\) if and only if
Then, by applying [7, Corollary 3.4.2] and Lemma 2.1, we have \(AB=BF(A)\) if and only if the following conditions are satisfied:
-
1.
for almost every \((t,s)\in {\mathbb {R}}\times G\),
$$\begin{aligned}{}[k_2a(t)-\delta _0 c(t)]e(s)=k_1 c(t)b(s); \end{aligned}$$(13) -
2.
\(k_2a(t)-\delta _0 c(t)=0\) for almost every \(t\in {\mathbb {R}}\) or \(e(s)=0\) for almost every \(s\in [\alpha _2,\beta _2]{\setminus } G\);
-
3.
\(k_1=0\) or \(c(t)=0\) for almost every \(t\in {\mathbb {R}}\) or \(b(s)=0\) for almost every \(s\in [\alpha _1,\beta _1]{\setminus } G\).
We can rewrite the first condition as follows:
-
(a)
Suppose \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times [({{\,\mathrm{\textrm{supp}\,}\,}}\, e)\cap G]\).
-
(i)
If \(k_2\ne 0,\) then \(k_1\frac{b(s)}{e(s)}=k_2\frac{a(t)}{c(t)}-\delta _0=\lambda \) for some real scalar \(\lambda \). From this, it follows that \(k_1 b(s)=e(s)\lambda \) and \(a(t)=\frac{\delta _0+\lambda }{k_2} c(t)\).
-
(ii)
If \(k_2=0\) then \(-\delta _0 c(t)e(s)=k_1 c(t)b(s)\) from which we get that \(k_1b(s)=-\delta _0e(s)\).
-
(i)
-
(b)
If \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\) then \(k_2a(t)e(s)=0\) from which we get that either \(k_2=0\) or \(a(t)=0\) for almost all \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c \) or \(e(s)=0\) almost everywhere (this implies \(B=0\)).
-
(c)
If \(s\in G{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e,\) then \(k_1c(t)b(s)=0\) which implies that either \(k_1=0\) or \(b(s)=0\) for almost all \(s\in G{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e\), or \(c(t)=0\) almost everywhere (this implies that \(B=0\)).
\(\square \)
Remark 3.3
Observe that operators A and B as defined in (9) take the form \((Ax)(t)=a(t)\phi (x)\) and \((Bx)(t)=c(t)\psi (x)\) for some \(a,c\in L_p({\mathbb {R}})\), \(1\le p \le \infty \) and linear functionals \(\phi ,\psi :L_p({\mathbb {R}})\rightarrow {\mathbb {R}}.\) In this case \(AB=BF(A)\) if and only in \(\phi (\psi (x)c(t))a(t)=\psi (F(\phi (x)a(t)))c(t)\) in \(L_p({\mathbb {R}})\), \(1\le p\le \infty \).
Corollary 3.3
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined by
where \(\alpha ,\beta \in {\mathbb {R}}\), \(\alpha <\beta \), \(a, c \in L_p({\mathbb {R}})\), \(b, e\in L_q([\alpha ,\beta ])\), \(1\le q\le \infty \), \(\frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\delta _0+\cdots +\delta _n z^n\) with \(\delta _j \in {\mathbb {R}}\) for \(j=0,\ldots ,n\). Set
Then, \(AB=BF(A)\) if and only if the following is true:
-
1.
for almost every \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times {{\,\mathrm{\textrm{supp}\,}\,}}\, e\), we have
-
(a)
If \(k_2\ne 0,\) then \(k_1 b(s)=e(s)\lambda \) and \(a(t)=\frac{\delta _0+\lambda }{k_2} c(t)\) for some \(\lambda \in {\mathbb {R}}\).
-
(b)
If \(k_2=0\) then \(k_1b(s)=-\delta _0e(s)\);
-
(a)
-
2.
If \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\) then either \(k_2=0\) or \(a(t)=0\) for almost all \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c.\)
-
3.
If \(s\in [\alpha ,\beta ]{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e,\) then either \(k_1=0\) or \(b(s)=0\) for almost all \(s\in [\alpha ,\beta ]{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e\)
Proof
This follows by Theorem 3.2 as \(\alpha _1=\alpha _2=\alpha \), \(\beta _1=\beta _2=\beta \) and \(G=[\alpha ,\beta ]\) in this case. \(\square \)
Remark 3.4
From Theorem 3.2 and Corollary 3.3 we observe that if \(k_1,k_2 \ne 0\), then given operator B as defined by (9), we can obtain the kernel of operator A using relations, \(a(t)=\frac{\delta _0+\lambda }{k_2}c(t)\) and \(b(s)=\frac{\lambda }{k_1}e(s)\) for some \(\lambda \in {\mathbb {R}}\). In the next two propositions, we state necessary and sufficient conditions for the choice of \(\lambda \).
Proposition 3.1
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha ,\beta \in {\mathbb {R}}\), \(\alpha <\beta \), \(a, c \in L_p({\mathbb {R}})\), \(b, e\in L_q([\alpha ,\beta ])\), \(1\le q\le \infty \), \(\frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\delta _0+\cdots +\delta _n z^n\), where \(\delta _j\in {\mathbb {R}}\), \(j=0,\ldots ,n\). Set
Suppose that \(AB=BF(A).\) If \(k_2\not =0\) and \(k_1\not =0\) in condition 1a in Corollary 3.3, then the corresponding nonzero \(\lambda \) satisfies
Proof
By definition
If \(k_1\not =0\) and \(k_2\not =0\), by condition 1a in Corollary 3.3 we have
almost everywhere. If \(\lambda \not =0\) then we replace \(k_2=\mu _{[\alpha ,\beta ]}(b,c)=\mu _{[\alpha ,\beta ]}(\frac{\lambda }{k_1} e, c)\) in the following equality
Then, by using the bilinearity of \(\mu _{[\cdot ,\cdot ]}(\cdot ,\cdot )\) and after simplification, this is equivalent to
By adding \(\delta _0\) on both sides we can write this as (14). \(\square \)
Proposition 3.2
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha ,\beta \in {\mathbb {R}}\), \(\alpha <\beta \), \(a, c \in L_p({\mathbb {R}})\), \(b, e\in L_q([\alpha ,\beta ])\), \(1\le q\le \infty \), \(\frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\delta _0+\cdots +\delta _n z^n\), \(\delta _j\in {\mathbb {R}}\), \(j=0,\ldots ,n\). Suppose that for almost every \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times {{\,\mathrm{\textrm{supp}\,}\,}}\, e\) we have
for nonzero constants \(\lambda ,\) \(k_1\) and \(k_2\). If \(F(\lambda +\delta _0)=\lambda +\delta _0\) and \(k_2=\frac{\lambda }{k_1}\mu _{[\alpha ,\beta ]}(e,c)\), then
-
1.
\(A=\frac{\lambda +\delta _0}{\mu _{[\alpha ,\beta ]}(e,c)}B,\)
-
2.
for all \(x\in L_p({\mathbb {R}})\) and almost all \(t\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\),
$$\begin{aligned} (ABx)(t)=(BF(A)x)(t). \end{aligned}$$
Proof
We have, for almost every \(t \in \textrm{supp} c\),
Moreover, for almost every t,
Similarly, for \(m \ge 2\), for almost every \(t \in \textrm{supp} c\),
Therefore, for almost every t,
So, \((ABx)(t)=(BF(A)x)(t),\) for all \(x\in L_p({\mathbb {R}})\) and almost all \(t\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\) if and only if, for almost every \(t\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\),
If \(k_2=\frac{\lambda }{k_1}\mu _{[\alpha ,\beta ]}(c,e)\) and \(\lambda \) satisfies (14), then (16) holds. \(\square \)
Corollary 3.4
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1< p<\infty \) be nonzero operators defined by
where \(\alpha ,\beta \in {\mathbb {R}}\), \(\alpha <\beta \), \(a, c \in L_p({\mathbb {R}})\), \(b, e\in L_q([\alpha ,\beta ])\), \(1<q<\infty \), \(\frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\delta _0+\delta _1 z+\delta _2 z^2\), \(\delta _j \in {\mathbb {R}}\), \(j=0,1,2\). Suppose that for almost every \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times {{\,\mathrm{\textrm{supp}\,}\,}}\, e\), we have
for nonzero constants \(\lambda ,\) \(k_1\) and \(k_2\). If \(k_2=\frac{\lambda }{k_1}\mu _{[\alpha ,\beta ]}(e,c)\), then
for all \(x\in L_p({\mathbb {R}})\) and almost all \(t\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\) if either \(\delta _0\delta _2<0\), or \(\delta _0\delta _2\geqslant 0\) and either \(\delta _1\geqslant 1+2\sqrt{\delta _0\delta _2}\) or \(\delta _1\leqslant 1-2\sqrt{\delta _0\delta _2}.\)
Proof
From Propositions 3.1 and 3.2 we have that \(AB=BF(A)\) if \(F(\lambda +\delta _0)=\lambda +\delta _0.\) This is equivalent to
Equation (18) has real solutions if and only if \((\delta _1-1)^2-4\delta _0\delta _2\geqslant 0.\) This is equivalent to either \(\delta _0\delta _2<0\), or \(\delta _0\delta _2\geqslant 0\) and either \(\delta _1\geqslant 1+2\sqrt{\delta _0\delta _2}\) or \(\delta _1\leqslant 1-2\sqrt{\delta _0\delta _2}.\) \(\square \)
Example 3.3
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1< p<\infty \) be nonzero operators defined as follows
where \(a \in L_p({\mathbb {R}})\), \(b\in L_q([0,1])\), \(1<q<\infty \), \(\frac{1}{p}+\frac{1}{q}=1,\) and \(c(t)=tI_{[0,1]}(t)\), \(e(s)=s+1.\) Consider the polynomial \(F(z)=z^2+z-1\) and suppose that for almost every \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times {{\,\mathrm{\textrm{supp}\,}\,}}\, e\), we have
for nonzero constants \(\lambda \) and \(k_2=\lambda \mu _{[0,1}(e,c)=\frac{5}{6}\lambda \). From Propositions 3.1 and 3.2 we have that \(AB=BF(A)\) if \(F(\lambda -1)=\lambda -1,\) or \(\lambda ^2-2\lambda =0.\) Therefore we take \(\lambda =2.\) Then
Therefore
But
Therefore \(A^2=(\frac{6}{5})^2B^2=\frac{6}{5}B=A.\) It follows that
Finally,
Remark 3.5
From Proposition 3.2 we have that if \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) are nonzero operators defined as follows
where \(\alpha ,\beta \) are real numbers, with \(\alpha <\beta \), \(a, c \in L_p({\mathbb {R}})\), \(b, e\in L_q([\alpha ,\beta ])\), \(1\le q\le \infty \), \(\frac{1}{p}+\frac{1}{q}=1\) and \(F(z)=\delta _0+\delta _1z+\cdots +\delta _n z^n\), \(\delta _j\in {\mathbb {R}}\), \(j=0,\ldots ,n\), then if we suppose that for almost every \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times {{\,\mathrm{\textrm{supp}\,}\,}}\, e,\ a=\frac{\lambda +\delta _0}{k_2}c(t)\) and \(b(s)=\frac{\lambda }{k_1}e(s)\) for some nonzero constants \(\lambda ,\) \(k_1\) and \(k_2\), and if \(F(\lambda +\delta _0)=\lambda +\delta _0\) and \(k_2=\frac{\lambda }{k_1}\mu _{[\alpha ,\beta ]}(e,c)\), then \(A=\frac{\lambda +\delta _0}{\mu _{[\alpha ,B]}(e,c)}B\) and \(AB=BF(A).\) Now suppose that \(A=\omega B\) for some \(\omega \in {\mathbb {R}}\), then \(AB=BF(A)\) if and only if
This relation is the same as (16) with \(\omega =\frac{(\lambda +\delta _0)\lambda }{k_1k_2}.\)
Corollary 3.5
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\), \(i=1,2\) are real numbers, with \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), \(a, c \in L_p({\mathbb {R}})\), \(b\in L_q([\alpha _1,\beta _1])\), \(e\in L_q([\alpha _2,\beta _2])\), \(1\le q\le \infty \) and \(\frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\delta _0+\delta _1z+\cdots +\delta _n z^n\), \(\delta _j\in {\mathbb {R}}\), \(j=0,\ldots ,n\). Set
Then,
-
1.
if \(k_1\not =0\), \(k_2\not =0\), then \(AB=BF(A)\) if and only if \(A=\omega B\), for some constant \(\omega \) which satisfies (20);
-
2.
if \(k_2=0\), then \(AB=0\) and, \(AB=BF(A)\) if and only if \(BF(A)=0\). Moreover,
-
(a)
if \(k_1\not =0\) then \(BF(A)=0\) if and only if
$$\begin{aligned} b(s)=-\frac{\delta _0}{k_1}e(s)I_{G}(s) \end{aligned}$$almost everywhere.
-
(b)
if \(k_1=0\) then \(AB=BF(A)\) if \(\delta _0=0\), that is, \(F(t)=\sum \nolimits _{j=1}^{n}\delta _j t^{j}\).
-
(a)
-
3.
if \(k_2\not =0\) and \(k_1=0\) then \(AB=BF(A)\) if and only if \(AB=\delta _0 B\), that is
$$\begin{aligned} (Ax)(t)=\frac{\delta _0}{k_2}\int \limits _{\alpha _1}^{\beta _1}c(t)b(s)x(s)ds. \end{aligned}$$
Proof
-
1.
By applying Theorem 3.2, if \(k_1\not =0\) and \(k_2\not =0\) we have \(AB=BF(A)\) if and only if the following is true:
-
(i)
for almost every \(t\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\)
$$\begin{aligned} a(t)=\frac{\delta _0+\lambda }{k_2}c(t) \end{aligned}$$and \(b(s)=\frac{\lambda }{k_2}e(s)\) for almost every \(s\in G \cap {{\,\mathrm{\textrm{supp}\,}\,}}\, e\) and nonzero constant \(\lambda \) satisfying (16);
-
(ii)
\(e(s)=0\) for almost every \(s\in [\alpha _2,\beta _2]{\setminus } G\);
-
(iii)
\(b(s)=0\) for almost every \(s\in [\alpha _1,\beta _1]{\setminus } G\);
from which we have,
$$\begin{aligned} (Ax)(t)= & {} \int \limits _G a(t)b(s)x(s)ds+\int \limits _{[\alpha _1,\beta _1]{\setminus } G} a(t)b(s)x(s)ds\\= & {} \frac{(\lambda +\delta _0)\lambda }{k_1k_2}\int \limits _G c(t)e(s)x(s)ds =\frac{(\lambda +\delta _0)\lambda }{k_1k_2} (Bx)(t) \end{aligned}$$almost everywhere. If \(\lambda =0\), then \(A=0\).
-
(i)
-
2.
If \(k_2=0\), then from (11) we have \(AB=0\) and, hence \(AB=BF(A)\) if and only if \(BF(A)=0\). Moreover, by applying Theorem 3.2 we have that
-
(a)
if \(k_1\not =0\), then \(AB=BF(A)\) if and only if for almost every \(s\in {{\,\mathrm{\textrm{supp}\,}\,}}\, e\cap G\),
$$\begin{aligned} b(s)=-\frac{\delta _0}{k_1}e(s), \end{aligned}$$\(b(s)=0\) for almost every \(s\in G{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e\), \(e(s)=0\) for almost every \(s\in [\alpha _2,\beta _2]{\setminus } G\) and \(b(s)=0\) for almost every \(s\in [\alpha _1,\beta _1]{\setminus } G\). Therefore,
$$\begin{aligned} b(s)=-\frac{\delta _0}{k_1}e(s)I_G(s) \end{aligned}$$almost everywhere.
-
(b)
if \(k_1=0\) and \(\delta _0=0\), then \(AB=BF(A)\).
-
(a)
-
3.
By applying Theorem 3.2 and if \(k_2\not =0\), \(k_1=0\) we have then \(AB=BF(A)\) if and only if for almost every \(t\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\),
$$\begin{aligned} a(t)=\frac{\delta _0+\lambda }{k_2}c(t) \end{aligned}$$and \(\lambda e(s)=0\) for almost every \(s\in G \cap {{\,\mathrm{\textrm{supp}\,}\,}}\, e\) from which we get \(\lambda =0\). Therefore, for almost every \(t \in \textrm{supp} c\),
$$\begin{aligned} a(t)=\frac{\delta _0}{k_2}c(t). \end{aligned}$$So we can write, for almost every \(t \in \textrm{supp} c\),
$$\begin{aligned} (Ax)(t)=\int \limits _{\alpha _1}^{\beta _1} a(t)b(s)x(s)ds=\frac{\delta _0}{k_2}\int \limits _{\alpha _1}^{\beta _1} c(t)b(s)x(s)ds. \end{aligned}$$Hence, for almost every t,
$$\begin{aligned} (ABx)(t)= & {} \int \limits _{\alpha _1}^{\beta _1} c(t)b(s)\left( \int \limits _{\alpha _2}^{\beta _2} e(\tau )x(\tau )d\tau \right) ds=\frac{\delta _0}{k_2} c(t)\int \limits _{\alpha _1}^{\beta _1} c(s)b(s)ds\int \limits _{\alpha _2}^{\beta _2} e(\tau )x(\tau )d\tau \\= & {} \frac{\delta _0}{k_2}\mu _{[\alpha _1,\beta _1]}(b,c)\int \limits _{\alpha _2}^{\beta _2}c(t) e(\tau )x(\tau )d\tau =\delta _0(Bx)(t). \end{aligned}$$On the other hand, from (12) it follows that \(BF(A)=\delta _0B\) if \(k_1=0\).
\(\square \)
Example 3.4
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1< p<\infty \) be nonzero operators defined as follows
where \(a(t)=t^2I_{[0,1]}(t),\) \(b(s)=s^3\), \(c(t)=-6t^2I_{[0,1]}(t)\) and \(e(s)=s\). Consider a polynomial \(F(z)=\delta _0+\delta _1z+\delta _2 z^2\), \(\delta _j\in {\mathbb {R}}\), \(j=0,1,2\). We have
If \(k_1=\delta _1\mu _{[0,1]}(a,e)+\delta _2 \mu _{[0,1]}(a,b)\mu _{[0,1]}(a,e)=0\), then we choose \(\delta _i\), \(i=1,2\) such that \(0=\delta _1+\delta _2\mu _{[0,1]}(a,b)=\delta _1-\frac{1}{6}\delta _2\mu _{[0,1]}(c,b)=\delta _1+\frac{1}{6}\delta _2\). Thus \(\delta _2=-6\delta _1\) and \(\frac{\delta _0}{k_2}=-\frac{1}{6}\) from which we get \(\delta _0=\frac{1}{6}\). Hence \(F(z)=-6\delta _1 z^2+\delta _1 z+\frac{1}{6}\). We have, for almost every t,
and thus, for almost every t,
Finally, we have
Example 3.5
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1< p<\infty \) be nonzero operators defined as follows
where \(\alpha ,\beta \in {\mathbb {R}}\), \(a,c\in L_p({\mathbb {R}})\), \(b,e\in L_q([\alpha ,\beta ])\) where \(1<q<\infty \) such that \(\frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\delta _0+\delta _1z+\delta _2 z^2\), \(\delta _j\in {\mathbb {R}}\), \(j=0,1,2\). Set
If \(k_2\not =0\) and \(k_1=0\) then we choose either \(\mu _{[\alpha ,\beta ]}(a,e)=0\) or \(\delta _i\), \(i=1,2\) such that \(\delta _1+\delta _2\mu _{[\alpha ,\beta ]}(a,b)=0\). Thus from Corollary 3.5, for almost every t,
Thus \(k_1=0\) implies that either
We choose coefficients \(\delta _j\), \(j=0,1,2\) such that \(\delta _1=-\delta _0\delta _2\), and hence \(F(z)=\delta _2 z^2-\delta _0\delta _2 z+\delta _0\). Then, the operators
for almost every t, satisfy the relation
In fact, for almost every t,
Finally, we have
In particular, if \(\alpha =0\), \(\beta =1\), \(b(s)=s\) and \(c(t)=t^2I_{[0,1]}(t)\), \(e(s)=s^3\) we have \(k_2=\mu _{[0,1]}(b,c)=\frac{1}{4} \). Hence, the operators
satisfy the commutation relation (21). In particular, if \(\delta _2=1\) and \(\delta _0=-1\), that is, \(F(z)=z^2+z-1\), then the corresponding operators in (22) satisfy
Corollary 3.6
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\in {\mathbb {R}}\), \(i=1,2\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), \(a, c \in L_p({\mathbb {R}})\), \(b\in L_q([\alpha _1,\beta _1])\), \(e\in L_q([\alpha _2,\beta _2])\), \(1\le q\le \infty \) and \(\frac{1}{p}+\frac{1}{q}=1\). Let \(F(z)=\delta _0+\delta _1z+\cdots +\delta _n z^n\) be polynomial with \(\delta _j\in {\mathbb {R}}\) for \(j=0,\ldots ,n\). Set
Then if \(k_2\not =0\) and \(\mu _{[\alpha _2,\beta _2]} (a,e)=0\) then \(AB=BF(A)\) if and only if \(AB=\delta _0 B\), that is for almost every t, \(a(t)=\frac{\delta _0}{k_2}c(t).\)
Proof
This follows by Corollary 3.5 since \(k_2\not =0\) and \(k_1=0\). \(\square \)
Corollary 3.7
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\in {\mathbb {R}}\), \(i=1,2\), \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), \(a, c \in L_p({\mathbb {R}})\), \(b\in L_q([\alpha _1,\beta _1])\), \(e\in L_q([\alpha _2,\beta _2])\), \(1\le q\le \infty \) and \(\frac{1}{p}+\frac{1}{q}=1\). Consider a monomial \(F(z)=\delta z^d\), d is a positive integer and \(\delta \not =0\) is a real number. Set
Then, \(AB=\delta BA^d\) if and only the following conditions are fulfilled:
-
1.
-
(a)
for almost every \((t,s)\in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\times [({{\,\mathrm{\textrm{supp}\,}\,}}\, e)\cap G]\) we have the following:
-
(i)
If \(k_2\ne 0,\) then \(k_1 b(s)=e(s)\lambda \) and \(a(t)=\frac{\lambda }{k_2} c(t)\) for some real scalar \(\lambda \).
-
(ii)
If \(k_2=0\) then either \(k_1=0\) or \(b(s)=0\) for almost all \(s\in {{\,\mathrm{\textrm{supp}\,}\,}}\, e\cap G\).
-
(i)
-
(b)
If \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c\) then either \(k_2=0\) or \(a(t)=0\) for almost all \(t\not \in {{\,\mathrm{\textrm{supp}\,}\,}}\, c \).
-
(c)
If \(s\in G{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e\) then either \(k_1=0\) or \(b(s)=0\) for almost all \(s\in G{\setminus } {{\,\mathrm{\textrm{supp}\,}\,}}\, e.\)
-
(a)
-
2.
\(k_2 =0\), or \(e(s)=0\) for almost every \(s\in [\alpha _2,\beta _2]{\setminus } G\).
-
3.
\(k_1=0\) or \(b(s)=0\) for almost every \(s\in [\alpha _1,\beta _1]{\setminus } G\).
Proof
This follows from Theorem 3.2 and the fact that \(\delta _0=0\) in this case. \(\square \)
Example 3.6
Let \(A:L_2([\alpha ,\beta ])\rightarrow L_2([\alpha ,\beta ])\), \(B:L_2([\alpha ,\beta ])\rightarrow L_2([\alpha ,\beta ])\), be defined as follows
where \(\alpha ,\beta \in {\mathbb {R}}\), \(\alpha <\beta \), and \(a, b, c, e \in L_2([\alpha ,\beta ])\), such that \(a\perp b\) and \(b \perp c\), that is,
Then the above operators satisfy \(AB=\delta BA^d\), \(d=2,3,\ldots \). In fact, by using Corollary 3.7 and putting
we get \(k_1=k_2=0\). So we have all conditions in Corollary 3.7 satisfied. In particular, if \(a(t)=\left( \frac{5}{3}t^3-\frac{3}{2}t\right) I_{[-1,1]}(t)\), \(b(s)=\frac{3}{2}s^2-\frac{1}{2}\) and \(c(t)=tI_{[-1,1]}(t)\), then the operators
satisfy the relation \(AB=BA^d\), \(d=2,3,\ldots \). In fact \(a,\, b,\, c\) are pairwise orthogonal in \([-1,1]\).
Corollary 3.8
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) be nonzero operators defined as follows
where \(\alpha _i,\beta _i\), \(i=1,2\) are real numbers with \(\alpha _1<\beta _1\), \(\alpha _2<\beta _2\), \(a, c \in L_p({\mathbb {R}})\), \(b\in L_q([\alpha _1,\beta _1])\), \(e\in L_q([\alpha _2,\beta _2])\), \(1\le q\le \infty \) and \(\frac{1}{p}+\frac{1}{q}=1\). Consider a constant monomial \(F(z)=\delta _0\), \(\delta _0\in {\mathbb {R}}\). Then, \(AB=BF(A)\) if and only if
or \(\delta _0=0\).
Proof
This follows by Theorem 3.2. \(\square \)
Remark 3.6
In general, it is not true that for all integral operators \(A_1, A_2, B\) and polynomials F,
implies
Indeed, let \(A_1:L_p[0,1]\rightarrow L_p[0,1]\), \(A_2:L_p[0,1]\rightarrow L_p[0,1]\), \(B:L_p[0,1]\rightarrow L_p[0,1]\) with \(1\le p\le \infty \) be defined as follows
We have
where
Nevertheless, there are non-zero operators \(A_1\), \(A_2\) and B which satisfy (23) and (24) for a nonlinear function \(F(z)=z^n\). For example for \(A_i:L_p[0,1]\rightarrow L_p[0,1]\), \(i=1,2\), \(B:L_p[0,1]\rightarrow L_p[0,1]\), \(1\le p<\infty \) defined as follows
we have
where 0 is the zero operator.
4 Reordering formulas
We present reordering formulas for the noncommutative relation \(AB=BF(A)\) for linear integral operators.
Proposition 4.1
([33, 40]) Let A, B be linear operators and \(F:{\mathbb {R}}\rightarrow {\mathbb {R}}\) a function with appropriate functional calculus such that \(AB=BF(A)\). Then for any polynomial h we have
where \(F^{\circ (k)} \) is the k-fold composition of a function F with itself.
Lemma 4.1
Let \(\alpha _1,\beta _1\in {\mathbb {R}},\ \alpha _1<\beta _1\) and \(k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}}\) be a measurable function such that operator \((Ax)(t)=\int \nolimits _{\alpha _1}^{\beta _1}k(t,s)x(s)ds\) for almost every t, is defined on \(L_p({\mathbb {R}})\), \(1\le p\le \infty \). Consider a polynomial defined by \(F(z)=\delta _0+\delta _1 z +\cdots +\delta _m z^m\), where \(\delta _0,\ldots ,\delta _m\in {\mathbb {R}}\), and let
Then, for each \(i=0,\dots ,\) \(G_i:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \) defined by
is linear and satisfies the following semigroup property:
Proof
By definition the operator \(G_i\) is well-defined and linear. If at least one of the variables i, j is zero, then it is trivial. Suppose that \(i\not =0\) and \(j\not =0\).
We fix \(j\not =0\) and proceed by induction. For \(i=1\), by Fubbini’s theorem we have
Suppose that for \(i=l\), \(G_l(G_jx)(t)=(G_{l+j}x)(t)\). Combining this with the same idea as in the case \(G_{1}G_j\) we have
Since j was arbitrarily chosen this is true for all \(i,j=0,1,2,\ldots \). \(\square \)
Proposition 4.2
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \), be defined, for almost every t, by
where \(\alpha _1,\beta _1\in {\mathbb {R}}\), and \(k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}}\) is a measurable function. Consider a polynomial defined by \(F(z)=\delta _0+\delta _1 z +\cdots +\delta _m z^m\), where \(\delta _0,\ldots ,\delta _m \in {\mathbb {R}}\). Let
Then, we have
where \(F^{\circ (0)}\) is the identity operator, \(G_i\) is given by (26) and \(\left( {\begin{array}{c}n\\ i\end{array}}\right) =\frac{n!}{i!(n-i)!}.\)
Proof
We proceed by induction and suppose that \(\delta _0\not =0\). If \(n=0\) it is trivial. Consider \(n=1\), we have on the right hand side
as we can check from relation (6).
For \(n=2\) we start from the left hand side. By using Fubini’s theorem,
Suppose now that the formula is true for \(n=j\). Then, by Fubini theorem,
By noticing that
and by using the binomial coefficients formula \( \left( {\begin{array}{c}j\\ i\end{array}}\right) +\left( {\begin{array}{c}j\\ i-1\end{array}}\right) =\left( {\begin{array}{c}j+1\\ i\end{array}}\right) ,\) for \(i=2,\ldots ,j\), we get
In the same way, the formula (30) can be proved when \(\delta _0=0\). \(\square \)
Example 4.1
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1<p<\infty \), be defined, for almost all t, by
where \(k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}}\) (\(\alpha _1,\beta _1\in {\mathbb {R}}\)) is a measurable function.
Consider a polynomial defined by \(F(z)=\delta _0+\delta _1 z \), where \(\delta _0,\delta _1\in {\mathbb {R}}\). Let
Then, we have
In fact, this follows by Proposition 4.2.
Example 4.2
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1<p<\infty \), be defined, for almost all t, by
where \(k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}}\) (\(\alpha _1,\beta _1\in {\mathbb {R}}\)) is a measurable function. Consider a polynomial defined by \(F(z)=\delta z^d \), where d is a positive integer and \(\delta \not =0\) is a real number. Let
Then, we have
In fact, this follows immediately from Proposition 4.2.
Corollary 4.1
Consider the operator \(A:L_p([\alpha _1,\beta _1])\rightarrow L_p([\alpha _1,\beta _1])\), \(1\le p\le \infty \) defined as follows
where \(\alpha _1,\beta _1 \in {\mathbb {R}}\), \(a\in L_p([\alpha _1,\beta _1])\), \(b\in L_q([\alpha _1,\beta _1])\), \(1\le q\le \infty \), \(\displaystyle \frac{1}{p}+\frac{1}{q}=1\).
Consider \(F(z)=\sum \nolimits _{j=0}^{m} \delta _j z^j\), where \(\delta _0\),...,\(\delta _m \in {\mathbb {R}}\). Then,
where
Proof
Suppose that \(\delta _0 \not =0\). By applying Proposition 4.2, we have
where \(\mu =\int \limits _{\alpha _1}^{\beta _1} k_0(\tau ,\tau )d\tau =\int \limits _{\alpha _1}^{\beta _1} a(\tau )b(\tau )d\tau \). Computation of the iterated kernels yields
Now, computing \(F_{m,i}(k(t,s))\), we get
We claim that
where \(\alpha _j=i_1+\cdots +i_j\). We will prove this claim by induction. We have shown that it holds true for \(j=1\) and \(j=2\). Suppose it holds for j. Then we have
Applying Proposition 4.2, we have
where
In the same way we prove the case when \(\delta _0=0\). \(\square \)
Example 4.3
Consider the operator \(A:L_p([\alpha _1,\beta _1])\rightarrow L_p([\alpha _1,\beta _1])\), \(1<p<\infty \) defined as follows
where \(\alpha _1,\beta _1\) are real numbers and \(a\in L_p([\alpha _1,\beta _1])\), \(b\in L_q([\alpha _1,\beta _1])\), \(1<q<\infty \), \(\displaystyle \frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\delta _0+\delta _1 z\), where \(\delta _0,\delta _1\in {\mathbb {R}}\). Then
where
with \( \mu =\mu _{[\alpha _1,\beta _1]}(a,b).\) Indeed this follows by Corollary 4.1.
Example 4.4
Consider the operator \(A:L_p([\alpha _1,\beta _1])\rightarrow L_p([\alpha _1,\beta _1])\), \(1<p<\infty \) defined as follows
for almost every t, where \(\alpha _1,\beta _1\), are real numbers and \(a\in L_p([\alpha _1,\beta _1])\), \(b\in L_q([\alpha _1,\beta _1])\), \(1<q<\infty \), \(\displaystyle \frac{1}{p}+\frac{1}{q}=1\). Consider \(F(z)=\delta z^d\), where d is a positive integer and \(\delta \not =0\) is a real number. Then
where \(\mu =\mu _{[\alpha _1,\beta _1]}(a,b).\) Indeed, this follows by Corollary 4.1
Proposition 4.3
Consider operators A defined by (28) and \(B:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1<p<\infty \) defined for almost every t by
where \({\tilde{k}}:{\mathbb {R}}\times [\alpha _2,\beta _2]\rightarrow {\mathbb {R}}\) is a measurable function. Consider a polynomial \(F(z)=\sum \nolimits _{j=0}^{m}\delta _j z^j\), where \(\delta _0,\ldots ,\delta _m \in {\mathbb {R}}\). Then
where
and \(G_i\), \(i=0,\ldots ,nk\) are given by (26).
Proof
From (5) we have that
Using Fubini theorem, we have
For the formula (33) we have, for \(l=1,2,\ldots \) and for \(\delta _0\not =0\),
In the same way one can prove the corresponding formula when \(\delta _0=0\). \(\square \)
Example 4.5
Let \(1 \le p\le \infty \) and
be operators defined, for almost every t, by
where \(\alpha _i,\beta _i\in {\mathbb {R}}\), \(i=1,2\) and \(a\in L_p([\alpha _1,\beta _1])\), \(c\in L_p([\alpha _2,\beta _2])\), \(b\in L_q([\alpha _1,\beta _1])\), \(e\in L_q([\alpha _2,\beta _2])\), where \(1 \le q\le \infty \) such that \(\displaystyle \frac{1}{p}+\frac{1}{q}=1\). Consider a polynomial \(F(z)=\sum \nolimits _{j=0}^{m} \delta _j z^j\), where \(\delta _0\),...,\(\delta _m\in {\mathbb {R}}\). From (10) we have
for \(l,r=1,2,\ldots \), where \( \mu =\mu _{[\alpha _1,\beta _1]}(a,b),\ \nu =\mu _{[\alpha _2,\beta _2]}(c,e).\) We therefore have
where \(\sigma =\mu _{[\alpha _1,\beta _1]}(b,c).\)
By using Proposition 4.3 and formula (31) we have
for \(l=1,2,\ldots \) and for \(\delta _0\not =0\), where
If \(\delta _0=0\), then using Proposition 4.3 and formula (31) we have
Remark 4.1
We can have a different but equivalent form of writing the operator \(\displaystyle ((B^l(F^{\circ (n)})^kA)x)(t)\) if instead of \((F^{\circ (n)})^k(A)=F^{\circ (nk)}(A)\) we consider the left hand side by its definition. In this case we have the following formula for the corresponding composition.
Proposition 4.4
Let \(A:L_p({\mathbb {R}})\rightarrow L_p({\mathbb {R}})\), \(1\le p\le \infty \), be defined as follows, for almost all t,
where \(\alpha _1,\beta _1\in {\mathbb {R}}\) and \(k(t,s):{\mathbb {R}}\times [\alpha _1,\beta _1]\rightarrow {\mathbb {R}}\) is a measurable function. Consider a polynomial defined by \(F(z)=\delta _0+\delta _1 z +\cdots +\delta _m z^m\), where \(\delta _0,\ldots ,\delta _m\in {\mathbb {R}}\). Let
we have
where \(G_i\) is given by (26) and \(\alpha _k=\sum \nolimits _{j=0}^{k} i_j,\ k=1,2,\ldots \)
Proof
Suppose that \(\delta _0\not =0\). We proceed by induction. When \(k=1\) we have the right hand side
since \(\alpha _1=i_1\).
When \(k=2\) we have
Suppose now that the formula is true for \(k=w\). Then for \(k=w+1\) we have
In the same way we can prove formula (34) when \(\delta _0=0\). \(\square \)
Example 4.6
Under conditions of Proposition 4.4, we compute \(((F^{\circ (n)})^k(A)x)(t)\) for \(n=2\), \(k=3\) and for \(\delta _0\not =0\). By using formula (34) we have:
By using formula (30) we get
which agrees with formula (34).
Data availability
Not applicable, since there is no data in this paper.
References
Adams, M., Gullemin, V.: Measure Theory and Probability. Birkhäuser, Basel (1996)
Akhiezer, N.I., Glazman, I.M.: Theory of Linear Operators in Hilbert Spaces, vol. I. Pitman Advanced Publ, New York (1981)
Bratteli, O., Evans, D.E., Jorgensen, P.E.T.: Compactly supported wavelets and representations of the Cuntz relations. Appl. Comput. Harmon. Anal. 8(2), 166–196 (2000)
Bratteli, O., Jorgensen, P.E.T.: Iterated function systems and permutation representations of the Cuntz algebra. Mem. Amer. Math. Soc. 139(663), x+89 (1999)
Bratteli, O., Jorgensen, P.E.T.: Wavelets through a looking glass. The world of the spectrum. Applied and Numerical Harmonic Analysis. Birkhauser Boston, Inc., Boston, xxii+398 (2002)
Brezis, H.: Functional Analysis. Sobolev Spaces and Partial Differential Equations. Springer, New York (2011)
Bugacthev, V.I.: Measure Theory, vol. I. Springer, New York (2007)
Carlsen, T.M., Silvestrov, S.: \(C^*\)-crossed products and shift spaces. Expo. Math. 25(4), 275–307 (2007)
Carlsen, T.M., Silvestrov, S.: On the Exel crossed product of topological covering maps. Acta Appl. Math. 108(3), 573–583 (2009)
Carlsen, T.M., Silvestrov, S.: On the \(K\)-theory of the \(C^*\)-algebra associated with a one-sided shift space. Proc. Est. Acad. Sci. 59(4), 272–279 (2010)
Conway, J.B.: A Course in Functional Analysis, 2nd edn. Graduate Texts in Mathematics, vol. 96. Springer, New York, ISBN 0-387-97245-5 (1990)
de Jeu, M., Svensson, C., Tomiyama, J.: On the Banach \(*\)-algebra crossed product associated with a topological dynamical system. J. Funct. Anal. 262(11), 4746–4765 (2012)
de Jeu, M., Tomiyama, J.: Maximal abelian subalgebras and projections in two Banach algebras associated with a topological dynamical system. Studia Math. 208(1), 47–75 (2012)
Djinja, D., Silvestrov, S., Tumwesigye, A.B.: Multiplication and linear integral operators in \(L_p\) spaces representing polynomial covariance type commutation relations, Ch. 9. In: Malyarenko, A., Silvestrov, S. (eds.) Non-commutative and Non-associative Algebra and Analysis Structures. Springer Proceedings in Mathematics and Statistics, vol. 426, pp. 205–231. Springer, New York (2023)
Dutkay, D.E., Jorgensen, P.E.T.: Martingales, endomorphisms, and covariant systems of operators in Hilbert space. J. Oper. Theory 58(2), 269–310 (2007)
Dutkay, D.E., Jorgensen, P.E.T., Silvestrov, S.: Decomposition of wavelet representations and Martin boundaries. J. Funct. Anal. 262(3), 1043–1061 (2012). arXiv:1105.3442 [math.FA]
Dutkay, D.E., Larson, D.R., Silvestrov, S: Irreducible wavelet representations and ergodic automorphisms on solenoids. Oper. Matrices 5(2), 201–219 (2011). arXiv:0910.0870 [math.FA]
Dutkay, D.E., Silvestrov, S.: Reducibility of the wavelet representation associated to the Cantor set. Proc. Amer. Math. Soc. 139(10), 3657–3664 (2011). arXiv:1008.4349 [math.FA]
Dutkay, D.E., Silvestrov, S.: Wavelet representations and their commutant, ch. 9. In: Åström, K., Persson, L.-E., Silvestrov, S.D. (eds.) Analysis for Science, Engineering and Beyond Springer Proceedings in Mathematics, vol. 6, pp. 253–265. Springer, Berlin (2012)
Folland, G.: Real Analysis: Modern Techniques and Their Applications, 2nd edn. Wiley, New York (1999)
Hutson, V., Pym, J.S., Cloud, M.J.: Applications of Functional Analysis and Operator Theory, 2nd edn. Elsevier, Amsterdam (2005)
Jorgensen, P.E.T.: Analysis and Probability: Wavelets, Signals, Fractals. Graduate Texts in Mathematics, vol. 234. Springer, New York, xlviii+276 (2006)
Jorgensen, P.E.T.: Operators and Representation Theory. Canonical Models for Algebras of Operators Arising in Quantum Mechanics. North-Holland Mathematical Studies, vol. 147 (Notas de Matemática 120). Elsevier Science Publishers, viii+337 (1988)
Jorgensen, P.E.T., Moore, R.T.: Operator Commutation Relations. Commutation Relations for Operators, Semigroups, and Resolvents with Applications to Mathematical Physics and Representations of Lie Groups. Springer Netherlands, xviii+493 (1984)
Kantorovitch, L.V., Akilov, G.P.: Functional Analysis, 2nd edn. Pergramond Press, Oxford (1982)
Kolmogorov, A.N., Fomin, S.V.: Elements of the Theory of Functions and Functional Analysis, vol. 1. Graylock Press, New York (1957)
Krasnosel’skii, M.A., Zabreyko, P.P., Pustylnik, E.I., Sobolevski, P.E.: Integral Operators on the Space of Summable Functions. Springer Netherlands, Noordhoff Int. Publ, Amsterdam (1976)
Mackey, G.W.: Induced Representations of Groups and Quantum Mechanics. W. A. Benjamin, New York, Editore Boringhieri, Torino (1968)
Mackey, G.W.: The Theory of Unitary Group Representations. University of Chicago Press, Chicago (1976)
Mackey, G.W.: Unitary Group Representations in Physics, Probability, and Number Theory. Addison-Wesley, Boston (1989)
Mansour, T., Schork, M.: Commutation Relations, Normal Ordering, and Stirling Numbers. CRC Press, Boca Raton (2016)
Musonda, J.: Reordering in Noncommutative Algebras, Orthogonal Polynomials and Operators. PhD thesis, Mälardalen University (2018)
Musonda, J., Richter, J., Silvestrov, S.: Reordering in a multi-parametric family of algebras. J. Phys. Conf. Ser. 1194, 012078 (2019)
Musonda, J., Richter, J., Silvestrov, S.: Reordering in noncommutative algebras associated with iterated function systems. In: Silvestrov, S., Malyarenko, A., Ranc̆ić, M. (eds.) Algebraic Structures and Applications, Springer Proceedings in Mathematics and Statistics, vol. 317. Springer, New York (2020)
Nazaikinskii, V.E., Shatalov, V.E., Sternin, B. Yu.: Methods of Noncommutative Analysis. Theory and Applications. De Gruyter Studies in Mathematics, vol. 22. Walter De Gruyter & Co., Berlin (1996)
Ostrovskyĭ, V.L., Samoĭlenko, Yu. S.: Introduction to the Theory of Representations of Finitely Presented \(*\)-Algebras. I. Representations by bounded operators. Rev. Math. Phys., vol. 11. The Gordon and Breach Publ. Group (1999)
Pedersen, G.K.: \(C^*\)-Algebras and Their Automorphism Groups. Academic Press, New York (1979)
Persson, T., Silvestrov, S.D.: From dynamical systems to commutativity in non-commutative operator algebras. In: Khrennikov, A. (ed.) Dynamical Systems from Number Theory to Probability—2, Mathematical Modeling in Physics, Engineering and Cognitive Science, vol. 6, pp. 109–143. Växjö University Press, Växjö (2003)
Persson, T., Silvestrov, S.D.: Commuting elements in non-commutative algebras associated to dynamical systems. In: Khrennikov, A. (ed.) Dynamical Systems from Number Theory to Probability—2, Mathematical Modeling in Physics, Engineering and Cognitive Science, vol. 6, pp. 145–172. Växjö University Press, Växjö (2003)
Persson, T., Silvestrov, S.D.: Commuting operators for representations of commutation relations defined by dynamical systems. Numer. Funct. Anal. Optim. 33(7–9), 1146–1165 (2002)
Richter, J., Silvestrov, S.D., Tumwesigye, B.A.: Commutants in crossed product algebras for piece-wise constant functions. In: Silvestrov, S., Rančić, M. (eds.) Engineering Mathematics II: Algebraic, Stochastic and Analysis Structures for Networks, Data Classification and Optimization. Springer Proceedings in Mathematics and Statistics, vol. 179, pp. 95–108. Springer, New York (2016)
Richter, J., Silvestrov, S.D., Ssembatya, V.A., Tumwesigye, A.B.: Crossed product algebras for piece-wise constant functions. In: Silvestrov, S., Rančić, M. (eds.) Engineering Mathematics II: Algebraic, Stochastic and Analysis Structures for Networks, Data Classification and Optimization. Springer Proceedings in Mathematics and Statistics, vol. 179, pp. 75–93. Springer, New York (2016)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)
Samoilenko, Yu.S.: Spectral Theory of Families of Self-adjoint Operators. Kluwer Academic Publ., Dordrecht (1991) (Extended transl. from Russian edit. published by Naukova Dumka, Kiev, 1984)
Samoilenko, Yu.S., Vaysleb, E.Ye.: On representation of relations \(AU=UF(A)\) by unbounded self-adjoint and unitary operators. In: Boundary Problems for Differential Equations. Acad. of Sciences of Ukrain. SSR, Inst. Mat., Kiev, pp. 30–52 (1988) (Russian) [English transl.: Representations of the relations \(AU=UF(A)\) by unbounded self-adjoint and unitary operators. Selecta Math. Sov. 13(1), 35–54 (1994)]
Silvestrov, S.D.: Representations of Commutation Relations. A Dynamical Systems Approach, vol. 10. Doctoral Thesis, Dep. of Math., Umeå University (1995) (Hadronic Journal Supplement, 11(1), 116 pp (1996))
Silvestrov, S.D., Tomiyama, Y.: Topological dynamical systems of Type I. Expo. Math. 20, 117–142 (2002)
Silvestrov, S.D., Wallin, H.: Representations of algebras associated with a Möbius transformation. J. Nonlinear Math. Phys. 3(1–2), 202–213 (1996)
Svensson, C., Silvestrov, S., de Jeu, M.: Dynamical systems and commutants in crossed products. Int. J. Math. 18, 455–471 (2007)
Svensson, C., Silvestrov, S., de Jeu, M.: Connections between dynamical systems and crossed products of Banach algebras by \({\mathbb{Z}}\). In: Methods of Spectral Analysis in Mathematical Physics, pp. 391–401, Oper. Theory Adv. Appl., vol. 186. Birkhäuser Verlag, Basel (2009) (Preprints in Mathematical Sciences, Centre for Mathematical Sciences, Lund University 2007:5, LUTFMA-5081-2007; Leiden Mathematical Institute report 2007-02. arXiv:math/0702118)
Svensson, C., Silvestrov, S., de Jeu, M.: Dynamical systems associated with crossed products. Acta Appl. Math. 108(3), 547–559 (2009) (Preprints in Mathematical Sciences, Centre for Mathematical Sciences, Lund University 2007:22, LUTFMA-5088-2007; Leiden Mathematical Institute report 2007-30; arXiv:0707.1881 [math.OA])
Svensson, C., Tomiyama, J.: On the commutant of \(C(X)\) in \(C^*\)-crossed products by \({\mathbb{Z} }\) and their representations. J. Funct. Anal. 256(7), 2367–2386 (2009)
Tomiyama, J.: Invitation to \(C^*\)-Algebras and Topological Dynamics. World Scientific, Singapore (1987)
Tomiyama, J.: The interplay between topological dynamics and theory of \(C^*\)-algebras. Lecture Notes Series, vol. 2. Seoul National University Research Institute of Mathematics, Global Anal. Research Center, Seoul (1992)
Tomiyama, J.: The interplay between topological dynamics and theory of C\(^*\)-algebras. II. Sūrikaisekikenkyūsho Kōkyūroku (Kyoto Univ.) 1151, 1–71 (2000)
Tumwesigye, A.B.: Dynamical Systems and Commutants in Non-Commutative Algebras. PhD thesis, Mälardalen University (2018)
Vaysleb, E.Ye., Samoĭlenko, Yu.S.: Representations of operator relations by unbounded operators and multi-dimensional dynamical systems. Ukrain. Math. Zh. 42(8), 1011–1019 (1990) (Russian) [English transl.: Ukr. Math. J. 42 899–906 (1990)]
Acknowledgements
This work was supported by the Swedish International Development Cooperation Agency (Sida), bilateral capacity development program in Mathematics with Mozambique and International Science Program (ISP). Domingos Djinja is grateful to Lars Hellström and Yury Nepomnyashchkh for useful comments and is also grateful to the Mathematics and Applied Mathematics research environment MAM, Division of Applied Mathematics, School of Education, Culture and Communication, Mälardalens University for excellent environment for research in Mathematics.
Funding
Open access funding provided by Mälardalen University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Djinja, D., Silvestrov, S. & Tumwesigye, A.B. Linear integral operators on \(L_p\) spaces representing polynomial covariance type commutation relations. Afr. Mat. 35, 18 (2024). https://doi.org/10.1007/s13370-023-01153-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13370-023-01153-6