K-g-Fusion Frames on Cartesian Products of Two Hilbert C*-Modules

Abstract

In this paper, we introduce and investigate the concept of K-g-fusion frames in the Cartesian product of two Hilbert $C^{*}$-modules over the same unital $C^{*}$-algebra. Our main result establishes that the Cartesian product of two K-g-fusion frames remains a K-g-fusion frame for the direct-sum module. We give explicit formulae for the associated synthesis, analysis, and frame operators and prove natural relations (direct-sum decomposition of the frame operator). Furthermore, we prove a perturbation theorem showing that small perturbations of the component families, measured in the operator or norm sense, still yield a K-g-fusion frame for the product module, with explicit new frame bounds obtained.

1. Introduction

The concept of frames, first introduced by Duffin and Schaeffer [1], provides stable yet redundant representations of vectors in Hilbert spaces. Since its inception, frame theory has become a fundamental tool with wide-ranging applications in harmonic analysis, wavelet theory, signal processing, sampling theory, and operator theory (see [2]).

Several extensions of frame theory have been proposed to address increasingly sophisticated settings, including g-frames [3], and fusion frames [4], among others [5]. Each of these generalizations enhances the flexibility of frame representations while preserving their fundamental stability properties. In this context, the notion of K-g-fusion frames, which unifies the features of K-frames, g-frames, and fusion frames, offers a powerful framework for studying operator-related decompositions in Hilbert spaces and beyond.

A natural direction of research has been the extension of frame theory to Hilbert $C^{*}$-modules, initiated by Frank and Larson [6]. In contrast to Hilbert spaces, Hilbert $C^{*}$-modules present significant challenges, arising from the absence of projections onto arbitrary closed submodules and the presence of a $C^{*}$-algebra-valued inner product. Despite these difficulties, frame concepts have been successfully adapted, leading to a variety of results in this setting.

The aim of this paper is to advance the theory of K-g-fusion frames on Cartesian products of Hilbert $C^{*}$-modules. Such products naturally emerge in operator algebras, module decompositions, and block-matrix methods, and hence provide a rich framework for our study.

The paper is organized as follows. Section 2 reviews the fundamental notions of Hilbert $C^{*}$-modules and adjointable operators, and introduces the concept of K-g-fusion frames together with their operator-theoretic features. Section 3 contains the main result concerning Cartesian products of K-g-fusion frames. In Section 4, we establish perturbation results, while the final section is devoted to concluding remarks and illustrative examples.

2. Preliminaries

We briefly recall the basic definitions and facts about Hilbert $C^{*}$-modules needed in the sequel.

Definition 1

([7]). Let $\mathcal{A}$ be a unital $C^{*}$-algebra. A left Hilbert $C^{*}$-module over $\mathcal{A}$ is a left $\mathcal{A}$-module $\mathcal{H}$ equipped with a map

$$\langle ·,·\rangle :\mathcal{H}\times \mathcal{H}\to \mathcal{A}$$

called the $\mathcal{A}$-valued inner product, satisfying

(1) 

$\langle ax+y,z\rangle =a\langle x,z\rangle +\langle y,z\rangle$ for all $a\in \mathcal{A}$, $x,y,z\in \mathcal{H}$;

(2) 

$\langle x,y\rangle ={\langle y,x\rangle }^{*}$ for all $x,y\in \mathcal{H}$;

(3) 

$\langle x,x\rangle \ge 0$ in $\mathcal{A}$, and $\langle x,x\rangle =0\iff x=0$.

The associated norm is defined by $\parallel x\parallel :={\parallel \langle x,x\rangle \parallel }^{1/2}$, and completeness with respect to this norm is assumed.

For Hilbert $\mathcal{A}$-modules $\mathcal{H},\mathcal{K}$, we denote by ${\mathrm{End}}_{\mathcal{A}}^{*}(\mathcal{H},\mathcal{K})$ the set of adjointable operators from $\mathcal{H}$ into $\mathcal{K}$, i.e., those operators $T:\mathcal{H}\to \mathcal{K}$ for which there exists an adjoint $T^{*}:\mathcal{K}\to \mathcal{H}$ satisfying

$$\langle Tx,y\rangle =\langle x,T^{*}y\rangle \mathrm{for}\mathrm{all}x\in \mathcal{H},y\in \mathcal{K}.$$

If $\mathcal{K}=\mathcal{H}$, then we simply write ${\mathrm{End}}_{\mathcal{A}}^{*}\left(\mathcal{H}\right)$ instead of ${\mathrm{End}}_{\mathcal{A}}^{*}(\mathcal{H},\mathcal{H}).$ An operator $T\in {\mathrm{End}}_{\mathcal{A}}^{*}\left(\mathcal{H}\right)$ is called positive—written $T\ge 0$—if

$$\langle Tx,x\rangle \ge 0\mathrm{for}\mathrm{all}x\in \mathcal{H}.$$

The partial order on self-adjoint operators is determined by this cone.

For a closed submodule $W\subset \mathcal{H}$, an orthogonal projection $P_W\in {\mathrm{End}}_{\mathcal{A}}^{*}\left(\mathcal{H}\right)$ satisfies

$$P_W^2=P_W=P_W^{*}\mathrm{and}Ran\left(P_W\right)=W.$$

Unlike the Hilbert space case, not every closed submodule is complemented in $\mathcal{H}$.

In this work, we restrict attention to orthogonally complemented submodules.

In what follows, all sums indexed by a countable set I are assumed to converge in norm in $\mathcal{A}$ whenever convergence is asserted.

These preliminaries allow us to introduce K-g-fusion frames in Hilbert $C^{*}$-modules in the next.

Given two Hilbert $\mathcal{A}$-modules ${\mathcal{H}}_1$ and ${\mathcal{H}}_2$, their external direct sum (or product) is defined as

$${\mathcal{H}}_1\oplus {\mathcal{H}}_2:=\{(x_1,x_2):x_1\in {\mathcal{H}}_1,x_2\in {\mathcal{H}}_2\},$$

with the natural left $\mathcal{A}$-module action

$$a·(x_1,x_2):=(a{x}_1,a{x}_2),a\in \mathcal{A},$$

and $\mathcal{A}$-valued inner product

$$\langle (x_1,x_2),(y_1,y_2)\rangle :={\langle x_1,y_1\rangle }_{{\mathcal{H}}_1}+{\langle x_2,y_2\rangle }_{{\mathcal{H}}_2}.$$

With this structure, ${\mathcal{H}}_1\oplus {\mathcal{H}}_2$ is a Hilbert $\mathcal{A}$-module.

Moreover, if $V\subset {\mathcal{H}}_1$ and $W\subset {\mathcal{H}}_2$ are orthogonally complemented submodules, then their direct sum $V\oplus W$ is an orthogonally complemented submodule of ${\mathcal{H}}_1\oplus {\mathcal{H}}_2$, with the projection operator

$$P_{V\oplus W}=P_V\oplus P_W.$$

This observation will be essential in constructing product families of frames and proving stability under perturbations.

Definition 2

([8]). Let $\mathcal{H}$ and $\mathcal{K}$ be countably generated Hilbert $\mathcal{A}$-modules. Suppose that

(1) 

${\left\{v_i\right\}}_{i\in I}$ is a family of positive invertible elements from the center of $\mathcal{A}$;

(2) 

${\left\{W_i\right\}}_{i\in I}$ is a family of orthogonally complemented closed submodules of $\mathcal{H}$;

(3) 

${\left\{{\mathcal{H}}_i\right\}}_{i\in I}$ is a family of closed submodules of $\mathcal{K}$;

(4) 

for each $i\in I$, ${\mathsf{\Lambda }}_i\in {End}_{\mathcal{A}}^{*}(\mathcal{H},{\mathcal{H}}_i)$;

(5) 

$K\in {End}_{\mathcal{A}}^{*}\left(\mathcal{H}\right)$.

We say that $\mathsf{\Lambda }={\left(W_i,{\mathsf{\Lambda }}_i,v_i\right)}_{i\in I}$ is a K-g-fusion frame for $\mathcal{H}$ with respect to ${\left\{{\mathcal{H}}_i\right\}}_{i\in I}$ if there exist scalars $0<A\le B<\infty$, such that

$$A\langle K^{*}f,K^{*}f\rangle \le \sum _{i\in I}{v}_i^2\langle {\mathsf{\Lambda }}_i{P}_{W_i}f,{\mathsf{\Lambda }}_i{P}_{W_i}f\rangle \le B\langle f,f\rangle ,$$

(1)

for all $f\in \mathcal{H}$. The constants A and B are called the lower and upper bounds of the K-g-fusion frame. In addition,

-

If the inequalities hold with $K=I_{\mathcal{H}}$, then Λ is a g-fusion frame, i.e.,

$$A\langle f,f\rangle \le \sum _{i\in I}{v}_i^2\langle {\mathsf{\Lambda }}_i{P}_{W_i}f,{\mathsf{\Lambda }}_i{P}_{W_i}f\rangle \le B\langle f,f\rangle ,\forall f\in \mathcal{H}.$$

-

If, in addition, $K=I_{\mathcal{H}}$ and ${\mathsf{\Lambda }}_i=P_{W_i}$ for all $i\in I$, then Λ reduces to a fusion frame for $\mathcal{H}$.

Now, for a K-g-fusion frame $\mathsf{\Lambda }={(W_i,{\mathsf{\Lambda }}_i,v_i)}_{i\in I}$ of $\mathcal{H}$ with respect to ${\left\{{\mathcal{H}}_i\right\}}_{i\in I}$,

-

The analysis operator

$$T_{\mathsf{\Lambda }}^{*}:\mathcal{H}⟶{\ell }^2\left({\left\{{\mathcal{H}}_i\right\}}_{i\in I}\right)$$

is defined by

$$T_{\mathsf{\Lambda }}^{*}f={\left(v_i{\mathsf{\Lambda }}_i{P}_{W_i}f\right)}_{i\in I},f\in \mathcal{H}.$$

(2)

-

The synthesis operator

$$T_{\mathsf{\Lambda }}:{\ell }^2\left({\left\{{\mathcal{H}}_i\right\}}_{i\in I}\right)⟶\mathcal{H}$$

is the adjoint of $T_{\mathsf{\Lambda }}^{*}$ and is given by

$$T_{\mathsf{\Lambda }}\left({\left(f_i\right)}_{i\in I}\right)=\sum _{i\in I}{v}_i{P}_{W_i}{\mathsf{\Lambda }}_i^{*}{f}_i,{\left(f_i\right)}_{i\in I}\in {\ell }^2\left({\left\{{\mathcal{H}}_i\right\}}_{i\in I}\right).$$

(3)

-

The frame operator

$$S_{\mathsf{\Lambda }}:\mathcal{H}⟶\mathcal{H}$$

is defined by

$$S_{\mathsf{\Lambda }}f=T_{\mathsf{\Lambda }}{T}_{\mathsf{\Lambda }}^{*}f=\sum _{i\in I}{v}_i^2{P}_{W_i}{\mathsf{\Lambda }}_i^{*}{\mathsf{\Lambda }}_i{P}_{W_i}f,f\in \mathcal{H}.$$

(4)

3. Product K-g-Fusion Frames and Main Theorem

Let $\mathcal{A}$ be a unital $C^{*}$-algebra and let ${\mathcal{H}}_1,{\mathcal{H}}_2$ be Hilbert $\mathcal{A}$-modules. For each $i\in I$, let $W_i\subset {\mathcal{H}}_1$ and $V_i\subset {\mathcal{H}}_2$ be orthogonally complemented closed submodules with projections $P_{W_i}\in {\mathrm{End}}_{\mathcal{A}}^{*}\left({\mathcal{H}}_1\right)$ and $P_{V_i}\in {\mathrm{End}}_{\mathcal{A}}^{*}\left({\mathcal{H}}_2\right)$. Let ${\mathcal{H}}_{1,i},{\mathcal{H}}_{2,i}$ be Hilbert $\mathcal{A}$-modules and let ${\mathsf{\Lambda }}_i\in {\mathrm{End}}_{\mathcal{A}}^{*}(W_i,{\mathcal{H}}_{1,i})$, ${\Gamma }_i\in {\mathrm{End}}_{\mathcal{A}}^{*}(V_i,{\mathcal{H}}_{2,i})$ be adjointable maps. Assume that ${(W_i,{\mathsf{\Lambda }}_i,v_i)}_{i\in I}$ is a $K_1$-g-fusion frame for ${\mathcal{H}}_1$ with bounds $A_1,B_1>0$ and that ${(V_i,{\Gamma }_i,v_i)}_{i\in I}$ is a $K_2$-g-fusion frame for ${\mathcal{H}}_2$ with bounds $A_2,B_2>0$, where $K_i\in {\mathrm{End}}_{\mathcal{A}}^{*}\left({\mathcal{H}}_i\right)$ ($i=1,2$). Define, for each $i\in I$,

$${\mathsf{\Theta }}_i:{\mathcal{H}}_1\oplus {\mathcal{H}}_2⟶{\mathcal{H}}_{1,i}\oplus {\mathcal{H}}_{2,i},{\mathsf{\Theta }}_i(x,y)=\left({\mathsf{\Lambda }}_i{P}_{W_i}x,{\Gamma }_i{P}_{V_i}y\right).$$

(5)

Then, we have the following theorem:

Theorem 1.

Assume that ${(W_i,{\mathsf{\Lambda }}_i,v_i)}_{i\in I}$ is a $K_1$-g-fusion frame for ${\mathcal{H}}_1$ with bounds $A_1,B_1>0$ and that ${(V_i,{\Gamma }_i,v_i)}_{i\in I}$ is a $K_2$-g-fusion frame for ${\mathcal{H}}_2$ with bounds $A_2,B_2>0$, then the family ${\left\{(W_i\oplus V_i,{\mathsf{\Theta }}_i,v_i)\right\}}_{i\in I}$ is a $(K_1\oplus K_2)$-g-fusion frame for ${\mathcal{H}}_1\oplus {\mathcal{H}}_2$ with bounds $A=min\{A_1,A_2\}$ and $B=max\{B_1,B_2\}$. Furthermore, if $T^{\left(1\right)}$ and $T^{\left(2\right)}$ are respectively the synthesis operators of ${(W_i,{\mathsf{\Lambda }}_i,v_i)}_{i\in I}$ and ${(V_i,{\Gamma }_i,v_i)}_{i\in I}$ and $S^{\left(1\right)}$ and $S^{\left(2\right)}$ their frame operators, then the synthesis operator T of the product satisfies $T=T^{\left(1\right)}\oplus T^{\left(2\right)}$, and the frame operator satisfies $S=S^{\left(1\right)}\oplus S^{\left(2\right)}$.

Proof. 

Since ${(W_i,{\mathsf{\Lambda }}_i,v_i)}_{i\in I}$ is a $K_1$-g-fusion frame for ${\mathcal{H}}_1$, it is in particular a Bessel family. Thus, there exists a scalar $B_1>0$ such that for all $x\in {\mathcal{H}}_1$,

$$\sum _{i\in I}{v}_i^2\langle {\mathsf{\Lambda }}_i{P}_{W_i}x,{\mathsf{\Lambda }}_i{P}_{W_i}x\rangle \le B_1\langle x,x\rangle ,$$

where the series converges in norm in $\mathcal{A}$. Similarly, for $(V_i,{\Gamma }_i,v_i)$, there is $B_2>0$ with analogous norm-convergent series

$$\sum _{i\in I}{v}_i^2\langle {\Gamma }_i{P}_{V_i}y,{\Gamma }_i{P}_{V_i}y\rangle \le B_2\langle y,y\rangle ,$$

for all $y\in {\mathcal{H}}_2$. Therefore for any $(x,y)\in {\mathcal{H}}_1\oplus {\mathcal{H}}_2$,

$$\begin{array}{cc}\hfill \sum _{i\in I}{v}_i^2\langle {\mathsf{\Theta }}_i(x,y),{\mathsf{\Theta }}_i(x,y)\rangle & =\sum _{i\in I}{v}_i^2\left(\langle {\mathsf{\Lambda }}_i{P}_{W_i}x,{\mathsf{\Lambda }}_i{P}_{W_i}x\rangle +\langle {\Gamma }_i{P}_{V_i}y,{\Gamma }_i{P}_{V_i}y\rangle \right)\hfill \\ \hfill & =\left(\sum _{i\in I}{v}_i^2\langle {\mathsf{\Lambda }}_i{P}_{W_i}x,{\mathsf{\Lambda }}_i{P}_{W_i}x\rangle \right)+\left(\sum _{i\in I}{v}_i^2\langle {\Gamma }_i{P}_{V_i}y,{\Gamma }_i{P}_{V_i}y\rangle \right),\hfill \end{array}$$

with each summand being norm-convergent in $\mathcal{A}$; hence the whole sum converges in norm. Moreover,

$$\sum _{i\in I}{v}_i^2\langle {\mathsf{\Theta }}_i(x,y),{\mathsf{\Theta }}_i(x,y)\rangle \le B_1\langle x,x\rangle +B_2\langle y,y\rangle \le max\{B_1,B_2\}\langle (x,y),(x,y)\rangle$$

shows the desired uniform Bessel bound on the product.

By the $K_1$-g-fusion inequality on ${\mathcal{H}}_1$, we have the $\mathcal{A}$-valued inequality

$$A_1\langle K_1^{*}x,K_1^{*}x\rangle \le \sum _{i\in I}{v}_i^2\langle {\mathsf{\Lambda }}_i{P}_{W_i}x,{\mathsf{\Lambda }}_i{P}_{W_i}x\rangle \le B_1\langle x,x\rangle ,$$

and similarly for ${\mathcal{H}}_2$:

$$A_2\langle K_2^{*}y,K_2^{*}y\rangle \le \sum _{i\in I}{v}_i^2\langle {\Gamma }_i{P}_{V_i}y,{\Gamma }_i{P}_{V_i}y\rangle \le B_2\langle y,y\rangle .$$

We can see that these two $\mathcal{A}$-valued inequalities yield

$$A_1\langle K_1^{*}x,K_1^{*}x\rangle +A_2\langle K_2^{*}y,K_2^{*}y\rangle \le \sum _{i\in I}{v}_i^2\langle {\mathsf{\Theta }}_i(x,y),{\mathsf{\Theta }}_i(x,y)\rangle \le B_1\langle x,x\rangle +B_2\langle y,y\rangle .$$

Since $A_1,A_2$ are positive real scalars,

$$A_1\langle K_1^{*}x,K_1^{*}x\rangle +A_2\langle K_2^{*}y,K_2^{*}y\rangle \ge min\{A_1,A_2\}\left(\langle K_1^{*}x,K_1^{*}x\rangle +\langle K_2^{*}y,K_2^{*}y\rangle \right),$$

and likewise

$$B_1\langle x,x\rangle +B_2\langle y,y\rangle \le max\{B_1,B_2\}\left(\langle x,x\rangle +\langle y,y\rangle \right).$$

Observing that ${(K_1\oplus K_2)}^{*}(x,y)=(K_1^{*}x,K_2^{*}y)$ and that $\langle (x,y),(x,y)\rangle =\langle x,x\rangle +\langle y,y\rangle$, we obtain the claimed inequalities with $A=min\{A_1,A_2\}$ and $B=max\{B_1,B_2\}$, that is

$$\begin{array}{ccc}A\langle {(K_1\oplus K_2)}^{*}(x,y),{(K_1\oplus K_2)}^{*}(x,y)\rangle \hfill & \le \hfill & {\displaystyle \sum _{i\in I}}{v}_i^2\langle {\mathsf{\Theta }}_i(x,y),{\mathsf{\Theta }}_i(x,y)\rangle \hfill \\ \hfill & \le \hfill & B\langle (x,y),(x,y)\rangle .\hfill \end{array}$$

(6)

Now, compute the adjoint ${\mathsf{\Theta }}_i^{*}:{\mathcal{H}}_{1,i}\oplus {\mathcal{H}}_{2,i}\to {\mathcal{H}}_1\oplus {\mathcal{H}}_2$. For $(u,v)\in {\mathcal{H}}_{1,i}\oplus {\mathcal{H}}_{2,i}$ and $(x,y)\in {\mathcal{H}}_1\oplus {\mathcal{H}}_2$, one has

$$\begin{array}{ccc}\langle {\mathsf{\Theta }}_i(x,y),(u,v)\rangle \hfill & =\hfill & {\langle {\mathsf{\Lambda }}_i{P}_{W_i}x,u\rangle }_{{\mathcal{H}}_{1,i}}+{\langle {\Gamma }_i{P}_{V_i}y,v\rangle }_{{\mathcal{H}}_{2,i}}\hfill \\ \hfill & =\hfill & \langle (x,y),(P_{W_i}{\mathsf{\Lambda }}_i^{*}u,P_{V_i}{\Gamma }_i^{*}v)\rangle ;\hfill \end{array}$$

(7)

hence,

$${\mathsf{\Theta }}_i^{*}(u,v)=\left(P_{W_i}{\mathsf{\Lambda }}_i^{*}u,P_{V_i}{\Gamma }_i^{*}v\right).$$

(8)

Therefore, the operator ${\mathsf{\Theta }}_i^{*}{\mathsf{\Theta }}_i$ acts on $(x,y)$ by

$${\mathsf{\Theta }}_i^{*}{\mathsf{\Theta }}_i(x,y)=\left(P_{W_i}{\mathsf{\Lambda }}_i^{*}{\mathsf{\Lambda }}_i{P}_{W_i}x,P_{V_i}{\Gamma }_i^{*}{\Gamma }_i{P}_{V_i}y\right).$$

Multiplying by the scalar weight $v_i^2$ and summing over i gives the frame operator on the product:

$$S(x,y)=\sum _{i\in I}{v}_i^2{\mathsf{\Theta }}_i^{*}{\mathsf{\Theta }}_i(x,y)=\left(\sum _{i\in I}{v}_i^2{P}_{W_i}{\mathsf{\Lambda }}_i^{*}{\mathsf{\Lambda }}_i{P}_{W_i}x,\sum _{i\in I}{v}_i^2{P}_{V_i}{\Gamma }_i^{*}{\Gamma }_i{P}_{V_i}y\right).$$

The right-hand side is precisely $(S^{\left(1\right)}x,S^{\left(2\right)}y)$ where

$$S^{\left(1\right)}=\sum _i{v}_i^2{P}_{W_i}{\mathsf{\Lambda }}_i^{*}{\mathsf{\Lambda }}_i{P}_{W_i} \mathrm{and} S^{\left(2\right)}=\sum _i{v}_i^2{P}_{V_i}{\Gamma }_i^{*}{\Gamma }_i{P}_{V_i}$$

(9)

are the frame operators of the component families. Thus, $S=S^{\left(1\right)}\oplus S^{\left(2\right)}$. In particular, S is positive and the operator inequalities

$$A\left(K_1{K}_1^{*}\oplus K_2{K}_2^{*}\right)\le S\le B{I}_{{\mathcal{H}}_1\oplus {\mathcal{H}}_2}$$

(10)

hold in ${\mathrm{End}}_{\mathcal{A}}^{*}({\mathcal{H}}_1\oplus {\mathcal{H}}_2)$. This completes the proof. □

Example 1.

Let $\mathcal{A}={\mathbb{C}}^2$ with coordinate-wise operations and the usual involution. Consider the left $\mathcal{A}$-modules ${\mathcal{H}}_1={\mathcal{H}}_2={\mathcal{A}}^6.$ Any element of ${\mathcal{H}}_1$ or ${\mathcal{H}}_2$ can be written as $x=(x_1,\dots ,x_6)$, where $x_m=(a_m,b_m)\in \mathcal{A}={\mathbb{C}}^2$, for $m=1,...,6$. The $\mathcal{A}$-valued inner product is given by

$$\langle x,y\rangle =\left(\sum _{m=1}^6{a}_m\overline{c_m},\sum _{m=1}^6{b}_m\overline{d_m}\right),$$

for $y=(y_1,\dots ,y_6)$ with $y_m=(c_m,d_m)$. In particular,

$$\langle x,x\rangle =\left(\sum _{m=1}^6|a_m{|}^2,\sum _{m=1}^6{\left|b_m\right|}^2\right).$$

Define two diagonal adjointable operators $K_1$ and $K_2$ on ${\mathcal{H}}_1$ and ${\mathcal{H}}_2$ respectively by

$$K_1(x_1,\dots ,x_6)=(x_1,2x_2,x_3,2x_4,x_5,2x_6),$$

$$K_2(y_1,\dots ,y_6)=(y_1,3y_2,y_3,3y_4,y_5,3y_6).$$

Both are self-adjoint, so $K_i^{*}=K_i\in {\mathrm{End}}_{\mathcal{A}}\left({\mathcal{H}}_i\right)$ for $i=1,2$.

Denote $e_1=(1,0,0,0,0,0)$, …, $e_6=(0,0,0,0,0,1)$ as the canonical elements of ${\mathcal{H}}_j$, $j=1,2$. For the Hilbert C*-module ${\mathcal{H}}_1$, define

$$W_1={\mathrm{span}}_{\mathcal{A}}\{e_1,e_2\},W_2={\mathrm{span}}_{\mathcal{A}}\{e_3,e_4\},W_3={\mathrm{span}}_{\mathcal{A}}\{e_5,e_6\},$$

and let

$${\mathsf{\Lambda }}_i:W_i\to {\mathcal{A}}^2,{\mathsf{\Lambda }}_i(x_{2i-1},x_{2i})=(x_{2i-1},x_{2i}).$$

For ${\mathcal{H}}_2$ choose the submodules

$$V_1={\mathrm{span}}_{\mathcal{A}}\{e_1,e_3\},V_2={\mathrm{span}}_{\mathcal{A}}\{e_2,e_5\},V_3={\mathrm{span}}_{\mathcal{A}}\{e_4,e_6\},$$

and define

$${\Gamma }_i:V_i\to {\mathcal{A}}^2,{\Gamma }_i(x_j,x_k)=(x_j,x_k).$$

All weights $v_i$, $i=1,2,3$ are chosen to be equal to 1.

Now observe that for all $x\in {\mathcal{H}}_1$ and all $y\in {\mathcal{H}}_2$, we have

$$\begin{array}{ccccc}{\displaystyle \frac{1}{4}}\langle K_1^{*}x,K_1^{*}x\rangle \hfill & \le \hfill & {\displaystyle \sum _{i=1}^3}\langle {\mathsf{\Lambda }}_i{P}_{W_i}x,{\mathsf{\Lambda }}_i{P}_{W_i}x\rangle \hfill & =\hfill & \langle x,x\rangle ,\hfill \\ {\displaystyle \frac{1}{9}}\langle K_2^{*}y,K_2^{*}y\rangle \hfill & \le \hfill & {\displaystyle \sum _{i=1}^3}\langle {\Gamma }_i{P}_{V_i}y,{\Gamma }_i{P}_{V_i}y\rangle \hfill & =\hfill & \langle y,y\rangle .\hfill \end{array}$$

So, $(V_i,{\Gamma }_i)$ is a $K_2$-g-fusion frame with bounds $A_2=\frac{1}{9},B_2=1$.

The product family

$${\left\{(W_i\oplus V_i,{\mathsf{\Theta }}_i,1)\right\}}_{i=1}^3,{\mathsf{\Theta }}_i(x,y)=({\mathsf{\Lambda }}_i{P}_{W_i}x,{\Gamma }_i{P}_{V_i}y),$$

is a $(K_1\oplus K_2)$-g-fusion frame for ${\mathcal{H}}_1\oplus {\mathcal{H}}_2$ with bounds

$$A=min\{A_1,A_2\}=\frac{1}{9},B=max\{B_1,B_2\}=1.$$

That is, for all $(x,y)\in {\mathcal{H}}_1\oplus {\mathcal{H}}_2$,

$${\displaystyle \frac{1}{9}}\langle {(K_1\oplus K_2)}^{*}(x,y),{(K_1\oplus K_2)}^{*}(x,y)\rangle \le \sum _{i=1}^3\langle {\mathsf{\Theta }}_i(x,y),{\mathsf{\Theta }}_i(x,y)\rangle \le \langle (x,y),(x,y)\rangle .$$

4. Perturbation Theorem

Let $K_i\in {\mathrm{End}}_{\mathcal{A}}^{*}\left({\mathcal{H}}_i\right)$ ($i=1,2$), and assume that ${\left\{(W_i,{\mathsf{\Lambda }}_i,v_i)\right\}}_{i\in I}$ is a $K_1$-g-fusion frame for ${\mathcal{H}}_1$ with frame bounds $0<A_1\le B_1<\infty$, and that ${\left\{(V_i,{\Gamma }_i,v_i)\right\}}_{i\in I}$ is a $K_2$-g-fusion frame for ${\mathcal{H}}_2$ with frame bounds $0<A_2\le B_2<\infty$. Denote their product frame by $\mathcal{F}={\left\{(W_i\oplus V_i,{\mathsf{\Theta }}_i,v_i)\right\}}_{i\in I}$ on $\mathcal{H}={\mathcal{H}}_1\oplus {\mathcal{H}}_2,$ by taking the common weights $v_i$ ($i\in I$). The following theorem gives a perturbation result saying that if each component of the family is a K-g-fusion frame and each component perturbation is small, then the perturbed product family is again a K-g-fusion frame on the direct sum ${\mathcal{H}}_1\oplus {\mathcal{H}}_2$.

Theorem 2.

Let ${\mathcal{F}}^{\prime }={\left\{(W_i^{\prime },V_i^{\prime },{\mathsf{\Lambda }}_i^{\prime },{\Gamma }_i^{\prime },v_i)\right\}}_{i\in I}$ be a perturbed family with the same weights $v_i$, where $W_i^{\prime }\subset {\mathcal{H}}_1$ and $V_i^{\prime }\subset {\mathcal{H}}_2$ are orthogonally complemented submodules, and ${\mathsf{\Lambda }}_i^{\prime },{\Gamma }_i^{\prime }$ are adjointable operators. Assume there exist scalars $r_1,r_2>0$ such that, for all $x_1\in {\mathcal{H}}_1$ and $x_2\in {\mathcal{H}}_2$,

$$\left\{\begin{array}{cc}{\displaystyle \sum _{i\in I}}{v}_i^2\langle ({\mathsf{\Lambda }}_i{P}_{W_i}-{\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }})x_1,({\mathsf{\Lambda }}_i{P}_{W_i}-{\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }})x_1\rangle \hfill & \le r_1\langle K_1^{*}{x}_1,K_1^{*}{x}_1\rangle ,\hfill \\ \\ {\displaystyle \sum _{i\in I}}{v}_i^2\langle ({\Gamma }_i{P}_{V_i}-{\Gamma }_i^{\prime }{P}_{V_i^{\prime }})x_2,({\Gamma }_i{P}_{V_i}-{\Gamma }_i^{\prime }{P}_{V_i^{\prime }})x_2\rangle \hfill & \le r_2\langle K_2^{*}{x}_2,K_2^{*}{x}_2\rangle .\hfill \end{array}\right.$$

(11)

If $A_1>r_1$ and $A_2>r_2$, then the perturbed product frame ${\mathcal{F}}^{\prime }$ is a $(K_1\oplus K_2)$-g-fusion frame for $\mathcal{H}$ with frame bounds

$$\begin{array}{ccc}{A}^{\prime }\hfill & :=\hfill & min\{{(\sqrt{A_1}-\sqrt{r_1})}^2,{(\sqrt{A_2}-\sqrt{r_2})}^2\}\hfill \\ and\hfill \\ B^{\prime }\hfill & :=\hfill & max\{2B_1+2r_1\parallel K_1^{*}{\parallel }^2,2B_2+2r_2\parallel K_2^{*}{\parallel }^2\}.\hfill \end{array}$$

(12)

Proof. 

For $x_1\in {\mathcal{H}}_1$, note that ${\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}{x}_1={\mathsf{\Lambda }}_i{P}_{W_i}{x}_1+\left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1$. For $x_2\in {\mathcal{H}}_2$, set similarly ${\Gamma }_i^{\prime }{P}_{V_i^{\prime }}{x}_2={\Gamma }_i{P}_{V_i}{x}_2+\left({\Gamma }_i^{\prime }{P}_{V_i^{\prime }}-{\Gamma }_i{P}_{V_i}\right)x_2$.

First, from the two g-fusion frame inequalities (11) and Theorem 1, we obtain immediately, with $A=min\{A_1,A_2\}$ and $B=max\{B_1,B_2\}$, that the product family $\mathcal{F}$ is a $(K_1\oplus K_2)$-g-fusion frame with bounds $A,B$. Thus, this satisfies

$$\begin{array}{ccc}A\langle {(K_1\oplus K_2)}^{*}(x_1,x_2),{(K_1\oplus K_2)}^{*}(x_1,x_2)\rangle \hfill & \le \hfill & {\displaystyle \sum _{i\in I}}{v}_i^2\langle {\mathsf{\Theta }}_i(x_1,x_2),{\mathsf{\Theta }}_i(x_1,x_2)\rangle \hfill \\ & =\hfill & {\displaystyle \sum _{i\in I}}{v}_i^2\left(\langle {\mathsf{\Lambda }}_i{P}_{W_i}{x}_1,{\mathsf{\Lambda }}_i{P}_{W_i}{x}_1\rangle +\langle {\Gamma }_i{P}_{V_i}{x}_2,{\Gamma }_i{P}_{V_i}{x}_2\rangle \right)\hfill \\ & \le \hfill & B\langle (x_1,x_2),(x_1,x_2)\rangle .\hfill \end{array}$$

Now, fix $x_1\in {\mathcal{H}}_1$. Consider the perturbed left-component sum

$$\begin{array}{ccc}{S}_1^{\prime }\left(x_1\right)\hfill & :=\hfill & {\displaystyle \sum _{i\in I}}{v}_i^2\langle {\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}{x}_1,{\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}{x}_1\rangle \hfill \\ & =\hfill & {\displaystyle \sum _{i\in I}}{v}_i^2\langle {\mathsf{\Lambda }}_i{P}_{W_i}{x}_1+\left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1,{\mathsf{\Lambda }}_i{P}_{W_i}{x}_1+\left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1\rangle .\hfill \end{array}$$

For the sake of readability, we denote X and Y as the elements of the Hilbert C*-module ${\ell }^2(I,\mathcal{A})$ defined by

$$X:={\left(v_i{\mathsf{\Lambda }}_i{P}_{W_i}{x}_1\right)}_{i\in I},Y:={\left(v_i\left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1\right)}_{i\in I}.$$

(13)

Thus

$$S_1^{\prime }\left(x_1\right)={\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}+{\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}+{\langle X,Y\rangle }_{{\ell }^2(I,\mathcal{A})}+{\langle X,Y\rangle }_{{\ell }^2(I,\mathcal{A})}^{*}.$$

(14)

It follows from the computations that

$${\langle X,Y\rangle }_{{\ell }^2(I,\mathcal{A})}+{\langle X,Y\rangle }_{{\ell }^2(I,\mathcal{A})}^{*}=\sum _{i\in I}{v}_i^2\left(\langle {\mathsf{\Lambda }}_i{P}_{W_i}{x}_1,\left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1\rangle +\langle \left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1,{\mathsf{\Lambda }}_i{P}_{W_i}{x}_1\rangle \right)$$

$${\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}=\sum _{i\in I}{v}_i^2\langle {\mathsf{\Lambda }}_i{P}_{W_i}{x}_1,{\mathsf{\Lambda }}_i{P}_{W_i}{x}_1\rangle$$

$${\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}=\sum _{i\in I}{v}_i^2\langle \left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1,\left({\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }}-{\mathsf{\Lambda }}_i{P}_{W_i}\right)x_1\rangle ,$$

Now, since ${\langle X+Y,X+Y\rangle }_{{\ell }^2(I,\mathcal{A})}$ and ${\langle X-Y,X-Y\rangle }_{{\ell }^2(I,\mathcal{A})}$ are non-negative in $\mathcal{A}$, we have

$$\begin{array}{ccc}-\sqrt{{\displaystyle \frac{r_1}{A_1}}}{\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}-\sqrt{{\displaystyle \frac{A_1}{r_1}}}{\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}\hfill & \le \hfill & {\langle X,Y\rangle }_{{\ell }^2(I,\mathcal{A})}+{\langle X,Y\rangle }_{{\ell }^2(I,\mathcal{A})}^{*}\hfill \\ \hfill & \le \hfill & {\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}+{\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}\hfill \end{array}$$

(15)

Since $S_1^{\prime }\left(x_1\right)={\langle X+Y,X+Y\rangle }_{{\ell }^2(I,\mathcal{A})}$, we deduce from (11), (15) and (14) that

$$\begin{array}{ccc}{S}_1^{\prime }\left(x_1\right)\hfill & \le \hfill & 2{\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}+2{\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}\hfill \\ & \le \hfill & 2B_1\langle x_1,x_1\rangle +2r_1{\parallel K_1^{*}\parallel }^2\langle x_1,x_1\rangle \hfill \\ & =\hfill & (2B_1+2r_1\parallel K_1^{*}{\parallel }^2)\langle x_1,x_1\rangle \hfill \end{array}$$

For the other inequality, using (11), (14), (15) and the hypothesis $\sqrt{{\displaystyle \frac{r_1}{A_1}}}<1$, we obtain that

$$\begin{array}{ccc}{S}_1^{\prime }\left(x_1\right)\hfill & \ge \hfill & {\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}+{\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}-\sqrt{{\displaystyle \frac{r_1}{A_1}}}{\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}-\sqrt{{\displaystyle \frac{A_1}{r_1}}}{\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}\hfill \\ & =\hfill & (1-\sqrt{{\displaystyle \frac{r_1}{A_1}}}){\langle X,X\rangle }_{{\ell }^2(I,\mathcal{A})}-(\sqrt{{\displaystyle \frac{A_1}{r_1}}}-1)){\langle Y,Y\rangle }_{{\ell }^2(I,\mathcal{A})}\hfill \\ & \ge \hfill & (A_1(1-\sqrt{{\displaystyle \frac{r_1}{A_1}}})\langle K_1^{*}{x}_1,K_1^{*}{x}_1\rangle -r_1(\sqrt{{\displaystyle \frac{A_1}{r_1}}}-1))\langle K_1^{*}{x}_1,K_1^{*}{x}_1\rangle \hfill \\ & \ge \hfill & (A_1(1-\sqrt{{\displaystyle \frac{r_1}{A_1}}})+r_1(1-\sqrt{{\displaystyle \frac{A_1}{r_1}}}))\langle K_1^{*}{x}_1,K_1^{*}{x}_1\rangle \hfill \\ & =\hfill & {(\sqrt{A_1}-\sqrt{r_1})}^2\langle K_1^{*}{x}_1,K_1^{*}{x}_1\rangle \hfill \end{array}$$

The same argument applied to the second component yields

$${(\sqrt{A_2}-\sqrt{r_2})}^2\langle K_2^{*}{x}_2,K_2^{*}{x}_2\rangle \le S_2^{\prime }\left(x_2\right)\le (2B_2+2r_2\parallel K_2^{*}{\parallel }^2)\langle x_2,x_2\rangle .$$

Finally, for $(x_1,x_2)\in {\mathcal{H}}_1\oplus {\mathcal{H}}_2$, we have

$$S^{\prime }(x_1,x_2):=\sum _i{v}_i^2\langle {\mathsf{\Theta }}_i^{\prime }(x_1,x_2),{\mathsf{\Theta }}_i^{\prime }(x_1,x_2)\rangle =S_1^{\prime }\left(x_1\right)+S_2^{\prime }\left(x_2\right).$$

Thus, combining the component-wise upper bounds yields

$$\begin{array}{ccc}{S}^{\prime }(x_1,x_2)\hfill & \le \hfill & (2B_1+2r_1\parallel K_1^{*}{\parallel }^2)\langle x_1,x_1\rangle +(2B_2+2r_2\parallel K_2^{*}{\parallel }^2)\langle x_2,x_2\rangle \hfill \\ & \le \hfill & B^{\prime }\langle (x_1,x_2),(x_1,x_2)\rangle ,\hfill \end{array}$$

with $B^{\prime }=max\left\{\right(2B_1+2r_1\parallel K_1^{*}{\parallel }^2),(2B_2+2r_2\parallel K_2^{*}{\parallel }^2\left)\right\}$.

Similarly, combining the lower bounds, we get

$$\begin{array}{ccc}{S}^{\prime }(x_1,x_2)\hfill & \ge \hfill & {(\sqrt{A_1}-\sqrt{r_1})}^2\langle K_1^{*}{x}_1,K_1^{*}{x}_1\rangle +{(\sqrt{A_2}-\sqrt{r_2})}^2\langle K_2^{*}{x}_2,K_2^{*}{x}_2\rangle \hfill \\ & \ge \hfill & A^{\prime }\langle {(K_1\oplus K_2)}^{*}(x_1,x_2),{(K_1\oplus K_2)}^{*}(x_1,x_2)\rangle ,\hfill \end{array}$$

with $A^{\prime }=min\{{(\sqrt{A_1}-\sqrt{r_1})}^2,{(\sqrt{A_2}-\sqrt{r_2})}^2\}$. This yields the claimed two-sided $\mathcal{A}$-order inequalities and completes the proof that ${\mathcal{F}}^{\prime }$ is a $(K_1\oplus K_2)$-g-fusion frame with bounds $A^{\prime },B^{\prime }$. □

5. Concluding Remark and Examples Illustrating Theorems 1 and 2

In this section, we show that the conditions of our results are not restrictive. We also provide illustrative examples of our two main theorems, along with some comparative observations.

Let us begin by noting that, to the best of our knowledge, our perturbation theorem is new, even in the case of the perturbation of a frame in a single classical Hilbert space or in a Hilbert C*-module $\mathcal{H}$. We can state it as follows:

Theorem 3.

Let $K\in {\mathrm{End}}_{\mathcal{A}}^{*}\left(\mathcal{H}\right)$, and assume that ${\left\{(W_i,{\mathsf{\Lambda }}_i,v_i)\right\}}_{i\in I}$ is a K-g-fusion frame for $\mathcal{H}$ and ${\mathcal{F}}^{\prime }={\left\{(W_i^{\prime }{\mathsf{\Lambda }}_i^{\prime },v_i)\right\}}_{i\in I}$ is a perturbed family with the same weights $v_i$, where $W_i^{\prime }\subset \mathcal{H}$ are orthogonally complemented submodules, $i\in \mathcal{N}$, and ${\mathsf{\Lambda }}_i^{\prime }$, $i\in \mathcal{N}$, are adjointable operators. Assume there exist scalars $r>0$ such that, for all $x\in \mathcal{H}$,

$$\sum _{i\in I}{v}_i^2\langle ({\mathsf{\Lambda }}_i{P}_{W_i}-{\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }})x,({\mathsf{\Lambda }}_i{P}_{W_i}-{\mathsf{\Lambda }}_i^{\prime }{P}_{W_i^{\prime }})x\rangle \le r\langle K^{*}x,K^{*}x\rangle ,$$

(16)

If $A>r$, then the perturbed product frame ${\mathcal{F}}^{\prime }$ is a K-g-fusion frame for $\mathcal{H}$ with frame bounds $A^{\prime }:={(\sqrt{A}-\sqrt{r})}^2$ and $B^{\prime }:=2B+2r{\parallel K^{*}\parallel }^2$.

5.1. Complemented Submodules in Hilbert C*-Modules: Structural Justification

The study of orthogonally complemented submodules in Hilbert C*-modules relies on deep structural properties of the underlying C*-algebra. As established by Magajna [9], every closed submodule of a Hilbert module is orthogonally complemented if and only if the C*-algebra B is *-isomorphic to a (possibly non-unital) C*-algebra of compact operators. Hence, the existence of orthogonal complements is not an additional assumption, but an intrinsic property of such algebras.

Typical unital examples include finite direct sums of matrix algebras

$$\mathcal{B}=\underset{i=1}{\overset{p}{⨁}}{M}_{n_i}\left(\mathbb{C}\right),$$

which play an essential role in the theory of operator algebras. They represent a natural and important generalization of the field $\mathbb{C}$, corresponding to the case $M_1\left(\mathbb{C}\right)$. These algebras preserve the orthogonal complementation property and form the structural backbone of many constructions in Hilbert C*-module theory.

Moreover, classical operator-theoretic results, such as Lance’s Theorem 3.9 [10], provide a constructive framework for generating complemented submodules. For any adjointable operator T with closed range, one has

$$Ran\left(T\right)=Ran\left(T{T}^{*}\right)\mathrm{and}Ran{\left(T\right)}^{\perp }=ker{T}^{*},$$

(17)

so that $Ran\left(T\right)$ is a closed orthogonally complemented submodule of X. Thus, the ranges of adjointable operators yield a systematic method for constructing complemented submodules within this setting.

Additionally, given a C*-algebra $\mathcal{A}$ and a family of Hilbert C*-modules ${\left\{({\mathcal{H}}_i,\langle ,\rangle )\right\}}_{i\in I}$, the ${\ell }^2$–direct sum

$${\ell }^2\left({\left({\mathcal{H}}_i\right)}_{i\in I}\right)=\left\{{\left(x_i\right)}_{i\in I}\in \prod _{i\in I}{\mathcal{H}}_i:\sum _{i\in I}\parallel {\langle x_i,x_i\rangle }_i{\parallel }_{\mathcal{A}}<\infty \right\},$$

equipped with $\langle {\left(x_i\right)}_{i\in I},{\left(y_i\right)}_{i\in I}\rangle :={\sum }_{i\in I}{\langle x_i,y_i\rangle }_i$, is a Hilbert C*-module with a rich set of closed complemented submodules. For any nonempty subset $J\subseteq I$, the submodule ${\ell }^2\left({\left({\mathcal{H}}_i\right)}_{i\in J}\right)$ is itself closed and orthogonally complemented. This construction offers a canonical and flexible source of complemented submodules in the general Hilbert C*-module framework.

Consequently, restricting attention to Hilbert modules over C*-algebras with orthogonally complemented submodules is both natural and well-founded; it precisely corresponds to the class of Hilbert modules over C*-algebras of compact operators (including finite direct sums of matrix algebras and ${\ell }^2$–direct sums of Hilbert modules), and it is further supported by the structural theory of adjointable operators developed by Lance. Therefore, the theoretical scope of our study is both coherent and rigorously grounded in the existing literature.

5.2. Examples Illustrating Theorems 1 and 2

Let X be a compact Hausdorff space and let $\mathcal{A}=C\left(X\right)$. Consider the Hilbert $\mathcal{A}$-module

$$\mathcal{H}={\ell }^2\left(\mathcal{A}\right)=\left\{f:={\left(f_n\right)}_{n\ge 0},f_n\in \mathcal{A}:\sum _{n=0}^{\infty }{f}_n^{*}{f}_n\mathrm{converges}\mathrm{in}\mathcal{A}\right\},$$

(18)

equipped with the $\mathcal{A}$-valued inner product

$$\langle f,g\rangle \left(x\right)=\sum _{n=0}^{\infty }{f}_n\left(x\right)\overline{g_n\left(x\right)},x\in X.$$

In particular,

$$\langle f,f\rangle \left(x\right)=\sum _{n=0}^{\infty }{\left|f_n\left(x\right)\right|}^2.$$

For each $i\in \mathbb{N}$, we define

$$e_i:={\left({\delta }_{in}\right)}_{n\in \mathbb{N}},$$

(19)

where ${\delta }_{in}$ denotes the Kronecker symbol and 1 is the unit element of $\mathcal{A}$.

Example 2

(Product frame—Theorem 1). For each $i\in \mathbb{N}$, define two families of closed submodules:

$$W_i={span}_{\mathcal{A}}\{e_{2i},e_{2i+1}\},V_i={span}_{\mathcal{A}}\{e_{3i},e_{3i+1},e_{3i+2}\},$$

with orthogonal projections $P_{W_i},P_{V_i}$, $i\in \mathbb{N}$. For each $i\in \mathbb{N}$, define operators

$${\mathsf{\Lambda }}_i:W_i\to {\mathcal{A}}^2,{\mathsf{\Lambda }}_i(a{e}_{2i},b{e}_{2i+1})=(a+b,a),$$

$${\Gamma }_i:V_i\to {\mathcal{A}}^2,{\Gamma }_i(a{e}_{3i},b{e}_{3i+1},c{e}_{3i+2})=(a+b+c,a).$$

for all $a,b,c\in \mathcal{A}$. Set all weights $v_i=1$.

For $f=\left(f_n\right)\in {\ell }^2\left(\mathcal{A}\right)$, and for each $x\in X$, we have

$$|{\mathsf{\Lambda }}_i{P}_{W_i}{f\left(x\right)|}^2=|f_{2i}\left(x\right)+f_{2i+1}{\left(x\right)|}^2+{\left|f_{2i}\left(x\right)\right|}^2\le 3\left(|f_{2i}{\left(x\right)|}^2+{\left|f_{2i+1}\left(x\right)\right|}^2\right).$$

for all $i\in \mathbb{N}$. Thus we have

$$\begin{array}{ccc}{\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_{2i}\left(x\right)\right|}^2\hfill & \le \hfill & \langle {\mathsf{\Lambda }}_i{P}_{W_i}f,{\mathsf{\Lambda }}_i{P}_{W_i}f\rangle \left(x\right)\hfill \\ & =\hfill & {\displaystyle \sum _{i\in \mathbb{N}}}{\left|{\mathsf{\Lambda }}_i{P}_{W_i}f\left(x\right)\right|}^2\hfill \\ & \le \hfill & 3{\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_i\left(x\right)\right|}^2\hfill \\ & =\hfill & 3{\langle f,f\rangle }_{\mathcal{A}}\left(x\right).\hfill \end{array}$$

for all $x\in X$. Similarly, by the inequality ${|a+b+c|}^2\le {3\left(\right|a|}^2+{\left|b\right|}^2+{\left|c\right|}^2)$,

$$\begin{array}{ccc}{\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_{3i}\left(x\right)\right|}^2\hfill & \le \hfill & \langle {\Gamma }_i{P}_{V_i}f,{\Gamma }_i{P}_{V_i}f\rangle \left(x\right)\hfill \\ & =\hfill & {\displaystyle \sum _{i\in \mathbb{N}}}{\left|{\Gamma }_i{P}_{V_i}f\left(x\right)\right|}^2\hfill \\ & \le \hfill & 4{\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_i\left(x\right)\right|}^2\hfill \\ & =\hfill & 4{\langle f,f\rangle }_{\mathcal{A}}\left(x\right).\hfill \end{array}$$

for all $x\in X$. Now, let $K_1$ and $K_2$ be the elements of ${\mathrm{End}}_{\mathcal{A}}^{*}\left(\mathcal{H}\right)$ defined by

$$\begin{array}{ccccccc}{K}_1\left(e_{2i}\right)\hfill & =\hfill & e_{2i}\hfill & and\hfill & K_1\left(e_{2i+1}\right)\hfill & =\hfill & 0\hfill \\ \\ K_2\left(e_{3i}\right)\hfill & =\hfill & e_{3i}\hfill & and\hfill & K_2\left(e_{3i+1}\right)\hfill & =\hfill & K_2\left(e_{3i+2}\right)\hfill & =\hfill & 0\hfill \end{array}$$

(20)

for all $i\in \mathbb{N}$. Thus $K_1^{*}=K_1$ and $K_2^{*}=K_2$, and we see that $\mathsf{\Lambda }:={\left(W_i,{\mathsf{\Lambda }}_i,1\right)}_{i\in \mathbb{N}}$ is a $K_1$-g-fusion frame with bounds $A_1=1$, $B_1=3$, and $\Gamma :={\left(V_i,{\Gamma }_i,1\right)}_{i\in \mathbb{N}}$ is a $K_2$-g-fusion frame with bounds $A_2=1$, $B_2=4$.

Application of Theorem 1:

The product family

$${\left(W_i\oplus V_i,{\mathsf{\Lambda }}_i\oplus {\Gamma }_i,1\right)}_{i\in \mathbb{N}}$$

is a $(K_1\oplus K_2)$-g-fusion frame for $\mathcal{H}\oplus \mathcal{H}$ with bounds

$$A=min(A_1,A_2)=1,B=max(B_1,B_2)=4.$$

This concretely illustrates Theorem 1.

Example 3

(Perturbation—Theorem 2). Keeping the same bounds, for all $i\in \mathbb{N}$, $W_i,V_i$ as above. Define a perturbation on $W_i$ as

$${\mathsf{\Theta }}_i:W_i\to {\mathcal{A}}^2,{\mathsf{\Theta }}_i(a{e}_{2i},b{e}_{2i+1})=(0,a).$$

for all $a,b\in \mathcal{A}$. For $\epsilon >0$, set

$${\mathsf{\Lambda }}_i^{\prime }={\mathsf{\Lambda }}_i+\epsilon {\mathsf{\Theta }}_i.$$

Thus, for $f\in \mathcal{H}$ and for each $x\in X$,

$$|({\mathsf{\Lambda }}_i-{\mathsf{\Lambda }}_i^{\prime })P_{W_i}f\left(x\right){|}^2={\epsilon }^2{\left|f_{2i}\left(x\right)\right|}^2\le {\epsilon }^2\left(|f_{2i}{\left(x\right)|}^2\right)$$

for all $i\in \mathbb{N}$. This implies that

$$\sum _{i\in \mathbb{N}}{\left|({\mathsf{\Lambda }}_i-{\mathsf{\Lambda }}_i^{\prime })P_{W_i}f\left(x\right)\right|}^2\le {\epsilon }^2{\langle K_1\left(f\right),K_1\left(f\right)\rangle }_{\mathcal{A}}\left(x\right).$$

(21)

Similarly, for any $i\in \mathbb{N}$, define ${\Gamma }_i^{\prime }={\Gamma }_i+{\mathsf{\Phi }}_i$, where

$${\mathsf{\Phi }}_i:V_i\to {\mathcal{A}}^2,{\mathsf{\Phi }}_i(a{e}_{3i},b{e}_{3i+1},c{e}_{3i+2})=(0,a)$$

for all $a,b,c\in \mathcal{A}$. Thus

$$\sum _{i\in \mathbb{N}}{\left|({\Gamma }_i-{\Gamma }_i^{\prime })P_{W_i}f\left(x\right)\right|}^2\le {\epsilon }^2{\langle K_2\left(f\right),K_2\left(f\right)\rangle }_{\mathcal{A}}\left(x\right).$$

(22)

Thus the perturbation constant is $r={\epsilon }^2$, and if $r<1$, i.e., $\epsilon <1$, the hypotheses of Theorem 2 are satisfied.

Application of Theorem 2:

The perturbed family

$$\begin{array}{c}\hfill {\left(W_i\oplus V_i,{\mathsf{\Lambda }}_i^{\prime }\oplus {\Gamma }_i^{\prime },1\right)}_{i\in \mathbb{N}}\end{array}$$

(23)

remains a $(K_1\oplus K_2)$-g-fusion frame for $\mathcal{H}\oplus \mathcal{H}$ with frame bounds

$$\begin{array}{ccc}{A}^{\prime }\hfill & :=\hfill & min\{{(\sqrt{A_1}-\sqrt{r})}^2,{(\sqrt{A_2}-\sqrt{r})}^2\}\hfill \\ \hfill & =\hfill & {(1-\epsilon )}^2\hfill \\ \\ B^{\prime }\hfill & :=\hfill & max\{2B_1+2r\parallel K_1^{*}{\parallel }^2,2B_2+2r\parallel K_2^{*}{\parallel }^2\}\hfill \\ \hfill & =\hfill & max\{2·3+2r,2·4+2r\}\hfill \\ \hfill & =\hfill & 8+2{\epsilon }^2.\hfill \end{array}$$

(24)

Below is a direct computation using Theorem 2:

$$\begin{array}{ccc}(1+{\epsilon }^2){\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_{2i}\left(x\right)\right|}^2\hfill & \le \hfill & \langle {\mathsf{\Lambda }}_i^{\prime }{P}_{W_i}f,{\mathsf{\Lambda }}_i^{\prime }{P}_{W_i}f\rangle \left(x\right)\hfill \\ & =\hfill & {\displaystyle \sum _{i\in \mathbb{N}}}{\left|{\mathsf{\Lambda }}_i^{\prime }{P}_{W_i}f\left(x\right)\right|}^2\hfill \\ & \le \hfill & (3+{\epsilon }^2){\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_i\left(x\right)\right|}^2\hfill \\ & =\hfill & (3+{\epsilon }^2){\langle f,f\rangle }_{\mathcal{A}}\left(x\right)\hfill \end{array}$$

for all $f\in \mathcal{H}$ and $x\in X$. Similarly,

$$\begin{array}{ccc}(1+{\epsilon }^2){\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_{3i}\left(x\right)\right|}^2\hfill & \le \hfill & \langle {\Gamma }_i^{\prime }{P}_{V_i}f,{\Gamma }_i^{\prime }{P}_{V_i}f\rangle \left(x\right)\hfill \\ & =\hfill & {\displaystyle \sum _{i\in \mathbb{N}}}{\left|{\Gamma }_i^{\prime }{P}_{V_i}f\left(x\right)\right|}^2\hfill \\ & \le \hfill & (4+{\epsilon }^2){\displaystyle \sum _{i\in \mathbb{N}}}{\left|f_i\left(x\right)\right|}^2\hfill \\ & =\hfill & (4+{\epsilon }^2){\langle f,f\rangle }_{\mathcal{A}}\left(x\right)\hfill \end{array}$$

for all $f\in \mathcal{H}$ and $x\in X$. By Theorem 1, we see that ${\left(W_i\oplus V_i,{\mathsf{\Lambda }}_i^{\prime }\oplus {\Gamma }_i^{\prime },1\right)}_{i\in \mathbb{N}}$ is a $(K_1\oplus K_2)$-g-fusion frame for $\mathcal{H}\oplus \mathcal{H}$ with frame bounds $(1+{\epsilon }^2)$ and $(4+{\epsilon }^2)$. Observe that in this situation, we can choose the positive scalar $\epsilon$ without the condition $\epsilon <1$.

Remark on the Comparison of Frame Bounds

We observe that the frame bounds obtained by direct computation are better than those obtained by applying Theorem 2 (see (24)). Now, if we replace, in the current example, ${\mathsf{\Theta }}_i$ by $-{\mathsf{\Theta }}_i$ and ${\mathsf{\Phi }}_i$ by $-{\mathsf{\Phi }}_i$ for some, but not all, indices $i\in \mathbb{N}$, then the frame bounds obtained by applying Theorem 2 remain the same, whereas those obtained by direct computation become $(1-{\epsilon }^2)$ and $(4+{\epsilon }^2)$. Note that in this situation the condition $\epsilon <1$ is necessary.

This is natural, since Theorem 2 provides only an estimate of the frame bounds in a general context, where the computation may be delicate and dependent on the nature of the perturbed frames.