On the structure theorem of graded components of $\mathcal{F}$-finite, $\mathcal{F}$-modules over certain polynomial ring

Let $K$ be a field of characteristic $p>0$, $A=K[[Y]]$ be a power series ring in one variable and $Q(A)$ be the field of fraction of $A$. Suppose that $R=A[X_1,\dots ,X_n]$ is a standard ${\mathbb{N}}^n$-graded polynomial ring over $A$, i.e., $\mathrm{deg}(A)=\underset{‾}{0}\in {\mathbb{N}}^n$ and $\mathrm{deg}(X_j)=e_j\in {\mathbb{N}}^n$. Assume that $M={⨁}_{\underset{‾}{u}\in {\mathbb{Z}}^n}{M}_{\underset{‾}{u}}$ is a ${\mathbb{Z}}^n$-graded $\mathcal{F}$-finite, $\mathcal{F}$-module over $R$. In this article we prove that, ${\displaystyle M_{\underset{‾}{u}}\cong E(A\mathrm{/}YA{)}^{a(\underset{‾}{u})}\oplus Q(A{)}^{b(\underset{‾}{u})}\oplus A^{c(\underset{‾}{u})}}$ for some finite numbers $a(\underset{‾}{u}),b(\underset{‾}{u}),c(\underset{‾}{u})\ge 0$. Let for a subset of $U$ of $\mathcal{S}=\{1,\dots ,n\}$, define a block to be the set ${\displaystyle \mathcal{B}(U)=\{\underset{‾}{u}\in {\mathbb{Z}}^n\mid u_i\ge 0ifi\in Uand{u}_i\le -1ifi\mathrm{\notin }U\}}$. Note that ${\bigcup }_{U\subseteq \mathcal{S}}\mathcal{B}(U)={\mathbb{Z}}^n$. We prove that the sets $\{a(\underset{‾}{u})\mid \underset{‾}{u}\in {\mathbb{Z}}^n\}$, $\{b(\underset{‾}{u})\mid \underset{‾}{u}\in {\mathbb{Z}}^n\}$ and $\{c(\underset{‾}{u})\mid \underset{‾}{u}\in {\mathbb{Z}}^n\}$ are constant on $\mathcal{B}(U)$ for each subset $U$ of $\{1,\dots ,n\}$. In particular, these results holds for composition of local cohomology modules of the form $H_{I_1}^{i_1}(H_{I_2}^{i_2}(\dots H_{I_r}^{i_r}(R)\dots )$ where $I_1,\dots ,I_r$ are ${\mathbb{N}}^n$-graded ideals of $R$. This provides a positive characteristic analogue of the results proved in \cite{TS-23} by the authors in characteristic zero.