The Wold-type decomposition for $m$-isometries

The aim of this paper is to study the Wold-type decomposition in the class of $m$-isometries. One of our main results establishes an equivalent condition for an analytic $m$-isometry to admit the Wold-type decomposition for $m\ge2$. In particular, we introduce the $k$-kernel condition which we use to characterize analytic $m$-isometric operators which are unitarily equivalent to unilateral operator valued weighted shifts for $m\ge2$. As a result, we also show that $m$-isometric composition operators on directed graphs with one circuit containing only one element are not unitarily equivalent to unilateral weighted shifts. We also provide a characterization of $m$-isometric unilateral operator valued weighted shifts with positive and commuting weights.


Introduction
In 1961 Halmos published a paper concerning shift operators on Hilbert spaces (see [9]). The paper introduced the notion of the wandering subspace and its connections with invariant subspaces of unilateral and bilateral shifts. This notion is closely related to the famous Wold decomposition of isometries which allows to represent an isometry as orthogonal sum of a unitary operator and a unilateral weighted shift (cf. [22, Chapter I, Theorem 1.1]). Later on, Shimorin introduced a more general property named the Wold-type decomposition which generalizes the classical Wold decomposition and proved in [19,Theorem 3.6] that it applies to a broader class of operators than isometries. To prove some of the results, Shimorin utilized a concept from the paper of Richter from 1988, who showed that an analytic 2-concave operator has the wandering subspace property. The idea was based on a specific operator series employing a particular left-inverse of an operator (see [17,Theorem 1]). In 2019 Anand et al. characterized non-unitary 2-isometries which admit the Wold-type decomposition having their non-unitary parts unitarily equivalent to unilateral operator valued weighted shifts (see [4,Theorem 2.5]). Their description of these operators exhibits the form of the weights and allows one to construct interesting non-unitary 2-isometries. This result shows a greater resemblance of the classical Wold decomposition.
The aforementioned notions are closely related to each other as if an operator admits the Wold-type decomposition, then its non-unitary part has the wandering subspace property. In recent years authors published interesting results concerning the Wold-type decomposition and the wandering subspace property in the misometric context. Some of them focus on finding analytic m-isometries without the wandering subspace property (see [3]), whereas others focus on more general results (see [4]).
The aim of this paper is to adopt the Wold-type decomposition in the class of m-isometries for m ≥ 2. We focus on finding conditions under which these operators admit the aforementioned decomposition. In order to do so we, in particular, introduce the k-kernel condition in the m-isometric context and demonstrate its connection with the Wold-type decomposition.
The paper is organized as follows. Section 2 is a short introduction to the k-kernel condition and aggregates facts concerning its properties for bounded operators. In the beginning, we discuss the properties of m-isometric operators satisfying the (m − 1)-kernel condition for m ≥ 2. As a result, in Proposition 2.3 we obtain an interesting property regarding inclusions of certain images of the kernel of the adjoint under powers of an operator, which is vital in the sequel. We also establish a characterization of the k-kernel condition in the class of left-invertible composition operators (see Theorem 2.6).
In Section 3 we introduce the completion problem for m-isometric unilateral operator valued weighted shifts with positive and commuting weights. Our approach based on the spectral theory enables us to establish a handy characterization of m-isometric unilateral operator valued weighted shifts (see Theorem 3.3). This characterization is used later in the proof of Corollary 3.5 to provide a solution the m-isometric completion problem in the case m − 1 initial weights are given.
Finally, Section 4 is devoted to the Wold-type decomposition for m-isometric operators for m ≥ 2. Theorem 4.2 is the main result of this section and provides an equivalent condition for analytic m-isometry to satisfy the (m − 1)-kernel condition. This fact exhibits an interesting interplay between the wandering subspace property and (m − 1)-kernel condition in the class of m-isometries. Thanks to this development we obtain the positive answer to [3,Question 1.2] in some subclass of operators (see Corollary 4.3). Furthermore, we show in Theorem 4.4 that misometries satisfying (m − 1)-kernel condition are unitarily equivalent to unilateral operator valued weighted shifts. We conclude this section with Corollary 4.5 that proves that the class of analytic m-isometric composition operators on a directed graph with one circuit having exactly one element is disjoint from the class of unilateral operator valued weighted shifts.

Properties of the k-kernel condition
In what follows, by N, Z + , R + we denote the set of positive integers, nonnegative integers and non-negative real numbers, respectively. Throughout the paper H denotes a nonzero complex Hilbert space. If x, y ∈ H, then x, y is their inner product. If M is a closed linear subspace of H, then P M is the corresponding orthogonal projection of H onto M and M ⊥ is the orthogonal complement of M in H. For a subset A ⊆ H by A we understand the closed linear span of A, that is, the smallest closed subspace containing A. If {M n } ∞ n=0 ⊆ H is a sequence of subspaces, then we define {M n } ∞ n=0 = ∞ n=0 M n . As usual B(H) stands for the algebra of all bounded linear operators acting on H and I ∈ B(H) is the identity operator. Suppose that T ∈ B(H). By N (T ), R(T ), and T * we denote the kernel, the range and the adjoint of T , respectively. If there exists S ∈ B(H) such that ST = I, then we say the T is left-invertible. It is surely folklore that left-invertible operators have closed ranges and any power of a leftinvertible operator is again left-invertible. For k ∈ N we denote the operator T * k T k by T [k] . Recall that an operator T ∈ B(H) is said to be analytic, if R ∞ (T ) := ∞ n=0 T n (H) is a null space. Remark 2.1. Observe that, if T ∈ B(H) is left-invertible, then for any k ∈ N the operator T [k] is invertible. This follows from the fact that for any left-invertible operator S ∈ B(H) the operator S [1] is invertible and the following equality Observe that we can equivalently define T ∈ B(H) to be an m-isometry if and only if for every k ≥ m it follows that It is well known that m-isometries are left-invertible. If m ≥ 2, then an m-isometry is said to be strict, if it is not an (m − 1)-isometry. For more introductory information regarding m-isometric operators and their properties the reader is referred to [2].
We say that T ∈ B(H) satisfies the kernel condition if N (T * ) is invariant for T [1] . This notion was introduced in [4] and studied in the context of 2-isometries. We extend it to the k-kernel condition, namely, T satisfies the k-kernel condition for some k ∈ N, if N (T * ) is invariant for T [n] for all n ∈ {1, . . . , k}. It is an easy observation that the kernel condition coincides with the 1-kernel condition. Furthermore, if T ∈ B(H) satisfies the k-kernel condition for some k ≥ 2, then it also satisfies the (k − 1)-kernel condition. Finally, observe that T ∈ B(H) satisfies the k-kernel condition if and only if N (T * ) is reducing for T [n] for all n ∈ {1, . . . , k} It is a direct consequence of the kernel-range decomposition that in the class of invertible operators all of the above conditions are trivially satisfied. Also it is easy to prove that isometries and unilateral weighted shifts satisfy the k-kernel condition for every k ∈ N. On the other hand, the situation is more interesting in the class of analytic operators as the kernel of the adjoint of an analytic operator may not be a null space. Hence, it is worth searching for examples there.
The first fact we prove shows that in the class m-isometries the (m − 1)-kernel condition automatically implies the k-kernel condition for every k ∈ N. Proof. Assume that T satisfies the (m − 1)-kernel condition and let k ≥ m. We use an induction argument. Suppose that T satisfies the (k − 1)-kernel condition. To finish the proof it is enough to note that, if f ∈ N (T * ), then The following result is a consequence of the above lemma and provides an interesting inclusion between certain subspaces for m-isometric operators satisfying the (m − 1)-kernel condition. Proof. Assume that n ∈ N and f ∈ T n−1 (N (T * )). There exists h ∈ N (T * ) such that f = T n−1 h. Consequently, ] h ∈ N (T * ) due to the fact that Lemma 2.2 implies that T satisfies the (n − 1)-kernel condition. This completes the proof.
Let us recall that, if M ⊆ H is a closed subspace and T ∈ B(H), then by T |M we denote the restriction of T to the subspace M . The technical result below shows that the k-kernel condition behaves very well under taking restriction to a reducing subspace. We shall use it in the sequel.
Lemma 2.4. Suppose that T ∈ B(H) satisfies the k-kernel condition for some k ∈ N and M is a non-trivial reducing subspace for T . Then T |M satisfies the k-kernel condition.
Proof. Let n ∈ {1, . . . , k}. Set S = T |M and let f ∈ N (S * ). It is surely folklore that (T * ) |M = (T |M ) * and N (S * ) = M ∩ N (T * ). Furthermore, using the above we can show that Hence the proof is completed.
It turns out the k-kernel condition is an invariant of unitary equivalence. The proof relies on the fact that for T , S ∈ B(H) such that S = U T U * for some unitary U ∈ B(H) it is true that S [n] = U T [n] U * for any n ∈ N and U N (T * ) = N (S * ). However, for the reader's convenience we present a direct proof of this fact. Proposition 2.5. Suppose T ∈ B(H) and S = U T U * for some unitary operator U ∈ B(H). If T satisfies the k-kernel condition for some k ∈ N, then so does S.
Proof. Assume that T satisfies the k-kernel condition for some k ∈ N and observe that N (S * ) = R(S) ⊥ = (U R(T )) ⊥ . Thus as the inner product is continuous. To prove that S satisfies the k-kernel condition assume that f ∈ N (S * ). It is easily seen that S [n] = U T [n] U * for n ∈ Z + . Observe that, since T satisfies the k-kernel condition, the kernel-range decomposition implies that T [n] g ∈ R(T ) for every g ∈ R(T ) and every n ∈ {1, . . . , k}. Hence This implies that S [n] f ∈ N (S * ) for n ∈ {1, . . . , k} and completes the proof.
Before presenting the next result we recall necessary definitions and notation related to composition operators adopted from [14,13].
Let (X, A , µ) be a measure space such that µ is non-negative and σ-finite. If X is countably infinite, all singletons are measurable and µ({x}) ∈ (0, ∞) for every x ∈ X, then we say that (X, A , µ) is a discrete measure space. If (X, A , µ) is a discrete measure space and x ∈ X, then we define µ(x) := µ({x}).
From now on denote by φ : X → X a measurable mapping that is also nonsingular, i.e. µ•φ −1 is absolutely continuous with respect to µ.
. Due to nonsingularity of φ, it follows from the Radon-Nikodym theorem that there exists a unique measurable function h : It is well known that the function h plays a very important role in theory of composition operators as it allows one to describe many properties of the associated composition operator using properties of h (see, e.g., [14,13,20]). For more introductory information regarding composition operators the reader is referred to [14].
We conclude this section with a generalization of [13, Proposition 4.8] that establishes a characterization of left-invertible bounded composition operators satisfying the k-kernel condition for k ∈ N.
Proof. First, let us gather the following facts which are required in the proof. Observe that it follows from the kernel-range decomposition and left-invertibility of [20]). Note that, since C φ is left-invertible, φ is an onto mapping. Indeed, suppose, to the contrary, that y ∈ X is such that y / ∈ φ(X). Then C φ f = C φ (f + χ y ) for any f ∈ L 2 (µ), where χ y ∈ L 2 (µ) is the characteristic function of {y}. This contradicts injectivity of C φ .
If k = 1, then the result follows directly from [13, Proposition 4.8(ii)], so we limit our consideration to the case when k ≥ 2. We prove the required equivalence using an induction argument. Assume that n ∈ {2, . . . , k} and the conclusion of the theorem holds for i ∈ {1, . . . , n − 1}. Suppose C φ satisfies the n-kernel condition.
Since C φ satisfies the n-kernel condition, C To prove the reverse implication it is enough to invert the argument used above. We leave the details to the reader.
The rest of the proof follows directly from the induction argument.

m-isometric unilateral operator valued weighted shifts
In this section we prove few results related to unilateral operator valued weighted shifts having positive and commuting weights, in particular, we characterize all misometric operators in the aforementioned class.
We begin with recalling required notation and definitions related to operators given by spectral integrals. Let X be a set and A be a σ-algebra of subsets of X. Suppose that E : A → B(H) is a spectral measure. Consistently with the definition from Section 2, for a set A ⊆ X we say that a property W of elements belonging to A holds for E-almost every The following lemma aggregates results that can be deduced from [18, Propositions 4.17-4.18]. We shall use it in the sequel.
Before moving to the next result we recall some notions from the measure theory. Suppose that (X , A ) and (Y, B) are measure spaces and φ : X → Y is a bijection. We say that φ is a measure isomorphism (sometimes called a bi-measurable mapping) if both φ and φ −1 are measurable. If X is a topological space, then by B(X ) we denote the σ-algebra of Borel sets of X . From now and on card(X) stands for the cardinality of an arbitrary set X.
Although the following is well known to specialists, we provide its proof for the reader's convenience.
is a sequence of positive and commuting operators. Then there exist a spectral measure E : Proof. It is a direct consequence of the spectral theorem that for all n ∈ Z + there exists α n ∈ (0, ∞), spectral measure E n : B(I n ) → B(H) such that S n = In λ n dE n for some B(I n )-measurable bounded function λ n : I n → R + , where I n = [0, α n ] (see [18, We infer from (3.1) that E n (∆ n ) = F (∆ n × i∈N\{n} I i ) for every n ∈ Z + and ∆ n ∈ B(I n ). In view of this, [5,Theorem 5.4.10] implies that where λ = (λ 1 , λ 2 , . . . ) and f n : X → I n are such that f n (λ) = λ n for all n ∈ Z + and λ ∈ X . It follows from [ 1]). This completes the proof.
In what follows, a sequence of operators {S n } ∞ n=0 ⊆ B(H) is said to be uniformly bounded (resp. uniformly bounded from below ) if there exists M > 0 (resp. c > 0) such that S n ≤ M for all n ∈ Z + (resp. S n x ≥ c x for all x ∈ H and n ∈ Z + ).
Denote by ℓ 2 (H) the Hilbert space ⊕ ∞ n=0 H. Let us recall that by a unilateral operator valued weighted shift we understand an operator S ∈ B(ℓ 2 (H)) associated with a sequence of uniformly bounded invertible operators {S n } ∞ n=0 ⊆ B(H) such that where e n (f ) is the element of ℓ 2 (H) such that f is on n-th position and all other positions contain the zero element of H. For simplicity, we denote this by S ∼ {S n } ∞ n=0 . It can be easily verified that If S ∈ B(ℓ 2 (H)) is a diagonal operator associated with the sequence {S n } ∞ n=0 , then we say that the elements from the sequence {S n } ∞ n=0 are the elements located on the diagonal of S.
Observe that, since m-isometric operators are bounded from below, it is easily verified that the sequence of weights of an m-isometric unilateral operator valued weighted shift is uniformly bounded from below (to prove this statement use the inequality from the definition for boundedness from below to e n (f ) for every n ∈ Z + and f ∈ H). Furthermore, note that, in light of [11, Proposition 2.5(i)], S is an m-isometry for m ∈ N if and only if Observe that in the definition stated above the assumption that are B([0, 1])-measurable for every n ∈ Z + is superfluous. This particular assumption follows directly from the others and basic properties of measurable functions. Hence, we do not need to verify it while checking properties of an E-measurable family of polynomials.
The following theorem is the main result of this section and yields a characterization of m-isometric unilateral operator valued weighted shifts with positive and commuting weights for m ∈ N.
which, by Lemma 3.1(iii), is equivalent to n=0 is an m-isometry, (3.5) holds. We define an Emeasurable family W in the following way Observe that ( Let us recall some notation from [12]. Define an operator △ : It is easily seen that △ is linear on R Z+ . For n ∈ N and k ∈ Z + set Note that (n) k is a polynomial in n of degree k for any k ∈ Z + . Suppose γ = (γ 0 , γ 1 , . . . ) is a sequence of functions such that γ n : [0, 1] → R + for every n ∈ Z + . We define Let C be a class of operators. Following the definition from [13, Section 3] we say that the problem of determining whether or not there exists an extension of a given initial finite sequence of positive values to a sequence of weights for some unilateral weighted shift so that the shift is in class C is called the completion problem for operators in class C. We generalize this problem to unilateral weighted shifts with operator weights.
The following result is a consequence of Theorem 3.3 and provides a solution to the completion problem for m-isometric unilateral operator valued weighted shifts with m−1 initial weights which are positive and commuting (cf. [11,Theorem 3.3]).
The next example shows a useful application Corollary 3.5 and establishes a very simple sufficient condition for existence of a solution to the completion problem in class of 3-isometric unilateral operator valued weighted shifts with positive and commuting weights for two initial weights. and This implies that (3.6) and (3.7) hold with γ given as in Corollary 3.5 . Thus, it follows from Corollary 3.5 that there exists a sequence of positive, invertible and is a commuting family.
Finally, let us observe that the solution to the 3-isometric completion problem established in the above example is actually unique. This is a direct consequence of an analogical uniqueness argument to the one used in [11, Theorem 3.3] for 2-isometries. We generalize this remark in the result below.
Combined with the fact that the weights are invertible, positive and commuting this implies that S m−1 = S ′ m−1 . Using (3.9) with an analogical induction argument proves that S n = S ′ n for every n ≥ m − 1. The verification of the last statement is left to the reader. This concludes the proof. Before presenting the next example let us recall the definition of composition operators on directed graphs with one circuit from [13]. Let κ ∈ N, η ∈ N ∪ {∞}. Suppose

The Wold-type decomposition for m-isometries
j=1 are disjoint sets of distinct elements of X. Assume that (X, A , µ) is a discrete measure space. Let φ be a self-map of X such that (4.1) An operator C φ defined on L 2 (µ) with φ defined above is called a composition operator on a directed graph with one circuit. For details and known results regarding this class of operators the reader is referred to [13].
) is a composition operator on a directed graph with one circuit with κ = η = 1. It follows from [13, Corollary 2.12] that C φ is a strict 3-isometry if and only if there exists a monomial w(x) = ax + b for some a > 0 and b ∈ R + such that µ(x 1,i ) = w(i) for i ∈ N. Assume that C φ is a strict 3-isometry such that b > 0 and C φ satisfies the kernel condition. It follows from Theorem 2.6 and (4.1) that h is constant on x 1 and x 1,1 , which combined with [13, (2.10)] implies that Note that it is a direct consequence of the above that and f (x 1,n ) = 0 for n ≥ 2}.
For k ∈ Z + set M k = C k φ (N (C * φ )) and observe that It can be now verified that M 2 is not orthogonal to M 3 . Indeed, let f ∈ M 2 , g ∈ M 3 be such that f (x 1 ) = g(x 1 ) = 1. Then Hence condition (iii) from [4, Theorem 2.5] does not hold. Furthermore, it follows from [13,Corollary 4.3] that C φ is analytic.
The following theorem establishes an equivalent condition for an analytic misometry to admit the Wold-type decomposition with additional property regarding orthogonality of images of the kernel of the adjoint of the operator under its powers for m ≥ 2. Proof. If m = 2, then the theorem follows directly from [4,Theorem 2.5]. Therefore, assume that m ≥ 3 and define M n = T n (N (T * )) for n ∈ Z + .
(i)⇒(ii). We begin with showing that spaces {M n } ∞ n=0 are orthogonal to each other. Observe that, thanks to Lemma 2.2 and (i), T satisfies the k-kernel condition for every k ∈ N. Suppose that p ∈ Z + and k ≥ p + 1. Then n=0 are orthogonal to each other.
Due to the fact that T is analytic, in order to finish the proof it is sufficient to show that closed linear span of {M n } ∞ n=0 coincides with H. Before showing this let us prove that Indeed, suppose that (4.4) holds for some n ≥ 2. Let f ∈ N (T * (n+1) ). Since, the range of T n is closed, it follows from the kernel-range decomposition that f = T n h + g for some h ∈ H and g ∈ N (T * n ). Thus and, hence, by the n-kernel condition and due to the fact that T [n] is invertible (see Remark 2.1) we see that h ∈ N (T * ). Moreover, if x ∈ M n and z ∈ N (T * n ), then there exists y ∈ N (T * ) such that x, z = T n y, z = y, T * n z = 0.
Hence N (T * (n+1) ) ⊆ M n ⊕ N (T * n ). In view of this and Proposition 2.3 we see that (4.4) holds for n + 1. To complete the induction argument it is enough to repeat a similar argument as above to prove (4.4) holds for n = 2. Now, define A = ∞ n=1 N (T * n ) and observe that due to the left-invertibility of T we obtain This combined with (4.4), [7,Corollary 2.10] and T being analytic implies that closed linear span of {M n } ∞ n=0 coincides with H. Thus T admits the Wold-type decomposition.
(ii)⇒(i). Let k ∈ N. Since T is analytic and admits the Wold-type decomposition, the closed linear span of {M n } ∞ n=0 coincides with H. This and the orthogonality of subspaces {M n } ∞ n=0 imply that for every h ∈ H there exists a sequence where the last equality can be deduced from the fact that f 0 = 0 as T h is orthogonal to N (T * ) due to the kernel-range decomposition.
Observe that for h ∈ H and f ∈ N (T * ) we have where the last equality follows from the fact that {M n } ∞ n=0 are orthogonal to each other.
The following corollary provides an affirmative answer to [3,Question 1.2] in some subclass of operators by establishing a sufficient condition for an expansive m-isometric operator to admit the Wold-type decomposition. Proof. Since for m = 2 this result is well known (see [19] and [4, Theorem 2.5]), we limit our proof to the case m ≥ 3. Suppose that T ∈ B(H) is an expansive misometry. Recall that it follows from [19,Proposition 3.4] that R ∞ (T ) is reducing for T and T | R ∞ (T ) is unitary.
Assume that T satisfies the (m − 1)-kernel condition. Observe that the (m − 1)kernel condition and m-isometricity are invariant under taking a restriction to a reducing subspace (by Lemma 2.4 and [2, page 388], respectively). Hence the analytic part of T has the wandering subspace property by Theorem 4.2 and therefore T admits the Wold-type decomposition.  Proof. Note that for m = 2 this result is already proved (see [4,Theorem 2.5]). Therefore, we limit our considerations to the case m ≥ 3. For the rest of the proof define M n = T n (N (T * )) for all n ∈ Z + . (i)⇒(ii). It follows from Theorem 4.2 that T admits the Wold-type decomposition and the subspaces {M n } ∞ n=0 are orthogonal to each other. Since for every n ∈ Z + the operator T |Mn : M n → M n+1 is a linear bijection, then the spaces {M n } ∞ n=0 are unitarily equivalent to each other (see [8,Problem 42]). Let V n : M n → M 0 be the above unitary isomorphism for all n ∈ Z + . It is now a matter of repeating the same argument as in [4,Theorem 2.5] to show that V T = SV , where V : H → ℓ 2 (M 0 ) is a unitary diagonal operator with operators {V n } ∞ n=0 located on its diagonal and S is the unilateral operator valued weighted shift with . This completes the proof of this implication.
(ii)⇒(i). Let k ∈ {1, . . . , m−1}. It is a matter of performing an easy computation to verify that for f ∈ N (T * ) we have which implies that T satisfies the k-kernel condition. Hence, the proof is completed.
Observe that in the class of isometries condition (ii) from Theorem 4.2 and condition (ii) from Theorem 4.4 are trivially satisfied. Those are well known facts and follow directly from the proof of the Wold decomposition (see [22, Chapter I, Theorem 1.1]).
The characterization from Theorem 4.4 can be used as a tool to determine whether an analytic m-isometry is unitarily equivalent to a unilateral operator valued weighted shift. For example Theorem 4.4 combined with [13,Theorem 4.9] implies that the class of analytic m-isometric composition operators on a directed graph with one circuit is essentially different than the class of m-isometric unilateral operator valued weighted shifts as there are no 2-isometric composition operators on a directed graph with one circuit that satisfies the kernel condition. The following result generalizes this remark to the class of m-isometric composition operators on a directed graph with one circuit having one element.
Corollary 4.5. Suppose that C φ ∈ B(L 2 (µ)) is a composition operator on a directed graph with one circuit with κ = 1, η ∈ N ∪ {∞} and C φ is an m-isometry for m ≥ 2. Then C φ is not unitarily equivalent to any unilateral operator valued weighted shift.
Proof. Since C φ is an m-isometry, it can be deduced from [13,Corollary 2.12] that for all i ≤ η there exists a real polynomial w i of degree at most m − 2 such that µ(x i,j ) = w i (j), j ∈ N. Assume that C φ is unitarily equivalent to unilateral operator valued weighted shift. Since, by [13,Corollary 4.3], operator C φ is analytic, it follows from Theorem 4.4 that C φ satisfies the (m − 1)-kernel condition. Hence, by Lemma 2.2, C φ satisfies the k-kernel condition for every k ∈ N. This combined with (4.6), Theorem 2.6 and [13, (2.10)] implies that 1 + 1 µ(x 1 ) η k=1 w k (1) = w i (j + 1) w i (j) , i ≤ η, j ∈ N. (4.7) Set a = 1 + 1 µ(x1) η k=1 w k (1) and observe that a > 1. It follows from (4.6) and (4.7) that w n (j + 1) = a j w n (1) for j ∈ N. This contradicts the fact that w i is a polynomial for every i ≤ η and completes the proof.  , where S n = s(n+1) s(n) I and T n = t(n+1) t(n) I for n ∈ Z + . It is a direct consequence of Theorem 3.3 that both S and T are m-isometries. Moreover, each one of them satisfies the k-kernel condition for every k ∈ N and, hence, due to Lemma 2.4 so does A := S ⊕ T . Now, observe that Theorem 4.4 implies that A is unitarily equivalent to operator valued weighted shift.
One can check that T is an analytic 3-isometry by checking (2.1) holds on the orthonormal basis and by computing R ∞ (T ). Since T satisfies the 2-kernel condition, it follows from Theorem 4.4 that T is unitarily equivalent to a unilateral operator valued weighted shift. Moreover, it can be easily verified that weights of the shift can be defined on C since N (T * ) is a one dimensional Hilbert space.

Acknowledgments
The author would like to thank Zenon Jan Jab loński for helpful discussions concerning the subject of the paper.
The author would like to express their gratitude to Professor Jan Stochel for providing the idea of the proof of Proposition 3.2 which significantly improves the presentation of Theorem 3.3.
The author would also like to thank Sameer Chavan and Md. Ramiz Reza for several useful comments and anonymous reviewers for careful reading of the manuscript and suggestions that helped to improve the final version of the paper.