\section{The $(p,q)$-type SLLN implies the Marcinkiewicz--Zygmund SLLN}\label{sec:pqSLLN-implies-SLLN}

A sequence of random variables $\left\{X_n, n\ge 1\right\}$ is said to be stochastically dominated by a
random variable $X$ if
\begin{equation}\label{stoch-dominated}
\sup_{n\ge 1}\mathbb{P}(\|X_n\|>t)\le \mathbb{P}(\|X\|>t),\ t\ge 0.
\end{equation}
It is well known that for a sequence of independent mean zero random variables $\left\{X_n, n \ge 1\right\}$
taking values in a real separable stable type $p$ Banach space $\mathbf{B}$, $1\le p<2$, the condition that $\left\{X_n, n \ge 1\right\}$
are stochastically dominated by a random variable $X$ with $\mathbb{E}(\|X\|^p)<\infty$ implies
the Marcinkiewicz--Zygmund SLLN, i.e.,
\[\lim_{n\to\infty}\dfrac{\sum_{i=1}^n X_i}{n^{1/p}}=0 \text{ a.s.}\]
However, this is no longer true if $\mathbf{B}$ is of Rademacher type $p$ only. To see this,
let $1\le p<2$, and $\ell_p$ denote the real separable Rademacher type $p$ Banach space of absolute $p^{\text{th}}$ power summable real
sequences $v=\{v_i,i\ge 1\}$ with norm
\[\|v\|=\left(\sum_{i=1}^\infty|v_i|^p\right)^{1/p},\]
and define a sequence
$\{V_n,n\ge 1\}$  of independent random
variables in $\ell_p$ by requiring the $\{V_n,n\ge 1\}$ to be independent with
\[\mathbb{P}(V_n=-v^{(n)})=\mathbb{P}(V_n=v^{(n)})=\dfrac{1}{2},\ n\ge 1,\]
where for $n\ge 1$, $v^{(n)}$ is the element of $\ell_p$ having $1$ in its $n^{\text{th}}$ position
and $0$ elsewhere.
Then the sequence $\{V_n,n\ge 1\}$ is stochastically dominated by $V_1$
with $\mathbb{E}(\|V_1\|)^p=1$. However, $\{V_n,n\ge 1\}$ does not obey
the Marcinkiewicz--Zygmund SLLN since for all $n\ge 1$,
\[\dfrac{\|\sum_{i=1}^n V_i\|}{n^{1/p}}=1.\]
In this section, we will prove that for $1\le p<2,\ q>0$, and for a sequence of independent mean zero random variables $\left\{X_n, n \ge 1\right\}$ which is
stochastically dominated by a random variable $X$ with $\mathbb{E}(\|X\|^p)<\infty$, the $(p, q)$-type SLLN implies the Marcinkiewicz--Zygmund
SLLN.
Li, Qi, and Rosalsky \cite[Lemma 3]{LQR15} proved this result for i.i.d. random variables $\left\{X, X_n, n \ge 1\right\}$ by using a generalization
of Ottaviani’s inequality developed by Li and Rosalsky \cite{LiRosalsky13} and the strong stationary property of the sequence
$\left\{X_n, n \ge 1\right\}$ without assuming that $\mathbb{E}(\|X\|^p)<\infty$.
In our setting, $\left\{X_n, n \ge 1\right\}$ is no longer stationary. The method we present here
is completely different from that of Li, Qi, and Rosalsky \cite[Lemma 3]{LQR15}. We involve a symmetrization argument
and some techniques regarding the notion of complete convergence in mean of order $p$ developed by Rosalsky, Thanh, and Volodin \cite{RTV}.
The result of this section
will be used to show that the conditions for the sequence $\left\{X_n, n \ge 1\right\}$ satisfying the $(p, q)$-type SLLN
in Theorem \ref{thm15}
are shown to provide an exact characterization of stable type $p$ Banach spaces.

Firstly, we will need the following two lemmas. The first lemma is a simple modification of Theorems 1 and 2 of Etemadi \cite{Etemadi85}.

\begin{lemma}\label{Etemadi}
	Let $\alpha>0$, and let $\left\{X_n, n \ge 1\right\}$ be
	a sequence of independent random variables.
	Then
	\begin{equation}\label{Et31}
	\lim_{n\to\infty}\dfrac{\sum_{i=1}^n X_i}{n^{\alpha}}=0 \text{ a.s.}
	\end{equation}
	if and only if
	\begin{equation}\label{Et33}
	\sum_{n=1}^{\infty} \dfrac{1}{n}\mathbb{P}\left(\left\|\sum_{i=n+1}^{2n} X_i\right\|>n^\alpha \varepsilon \right)<\infty \text{ for all }\varepsilon>0
	\end{equation}
	and
	\begin{equation}\label{Et35}
	\lim_{n\to\infty}\dfrac{\sum_{i=1}^n X_i}{n^{\alpha}}=0 \text{ in probability.}
	\end{equation}
	If we assume further that $\left\{X_n, n \ge 1\right\}$ are symmetric random variables, then \eqref{Et31} and \eqref{Et33} are equivalent.
\end{lemma}
\begin{proof}
	The proof of the first part is the same as that of Theorem 2 of Etemadi \cite{Etemadi85}.
	The proof of the last part is the same as that of Theorem 1 of Etemadi \cite{Etemadi85}.
\end{proof}

The next lemma shows that for independent (not necessary identically distributed)
random variables $\{X,X_n,n\ge1\}$, \eqref{m09} implies a SLLN. When $\alpha=1$ and $1\le q\le 2$,
Lemma \ref{RTV} is Theorem 3 of Rosalsky, Thanh, and Volodin \cite{RTV}. The double sum version
of Theorem 3 of Rosalsky, Thanh, and Volodin \cite{RTV} was proved in \cite{ThanhThuy}.
\begin{lemma}\label{RTV}
	Let $\alpha>0$, $q\ge 1$, and let $\{X_n.n\ge 1\}$ be a sequence of independent mean zero
	random variables.
	If
	\begin{equation}\label{RTV31}
\sum_{n=1}^\infty \dfrac{1}{n}\mathbb{E}\left(\dfrac{\left\|\sum_{k=1}^{n} X_k\right\|}{n^{\alpha}}\right)^q<\infty,
	\end{equation}
	then
	\begin{equation}\label{RTV33}
	\dfrac{\sum_{i=1}^{n}X_i}{n^{\alpha}}\overset{{\mathcal{L}}_q}{\longrightarrow} 0,\ \text{ and }\ \dfrac{\sum_{i=1}^{n}X_i}{n^{\alpha}}\overset{\text{ a.s. }}{\longrightarrow} 0.
	\end{equation}
\end{lemma}

\begin{proof}
	For $n\ge 1$, set
	\[S_n =\sum_{i=1}^n X_i.\]
	Then $\{\mathbb{E}\|S_n\|^q,n\ge1 \}$ is a non-decreasing sequence (see, e.g., \cite[Lemma 2]{RTV}).
	Therefore,
	by applying \eqref{RTV31}, we have
	\begin{equation}\label{RTV35}
	\begin{split}
	\mathbb{E}\left(\left\| \dfrac{S_n}{n^\alpha}\right\|^q\right) & \le \alpha q \sum_{m=n}^\infty\dfrac{1}{m^{1+\alpha q}}\mathbb{E}\left(\|S_n\|^q\right)\\
	& \le \alpha q \sum_{m=n}^\infty\dfrac{1}{m^{1+\alpha q}}\mathbb{E}\left(\|S_m\|^q\right)\to 0 \text{ as } n\to\infty
	\end{split}
	\end{equation}
	thereby proving the first half of \eqref{RTV33}.
	Moreover, it follows from \eqref{RTV31} and Markov's inequality that for
	arbitrary $\varepsilon>0$
	\begin{equation}\label{RTV36}
	\begin{split}
	&\sum_{n=1}^{\infty} \dfrac{1}{n}\mathbb{P}\left(\left\|\sum_{i=n+1}^{2n} X_i\right\|>n^\alpha \varepsilon \right)\\
	& \le  \left(\dfrac{2}{\varepsilon}\right)^q \left(\sum_{n=1}^{\infty} \dfrac{1}{n} \mathbb{E} \left(\left\|\dfrac{S_{2n}}{n^\alpha} \right\|^q\right)+
	\sum_{n=1}^{\infty} \dfrac{1}{n} \mathbb{E} \left(\left\|\dfrac{S_{n}}{n^\alpha} \right\|^q\right)\right)<\infty.
	\end{split}
	\end{equation}
	The second hafl of \eqref{RTV33} then follows from the first part of Lemma \ref{Etemadi}, \eqref{RTV36}, and the first part of \eqref{RTV33}.
\end{proof}

The main result of this Section is the following proposition.

\begin{proposition}
\label{pqSLLN-implies-SLLN}
	Let $1 \le p < 2$ and $q > 0$, and let $\left\{X_n, n \ge 1\right\}$ be
	a sequence of independent mean zero random variables which is stochastically dominated by a random variable $X$ with $\mathbb{E}(\|X\|^p) < \infty$.
	We assume further that the random variables $\left\{X_n, n \ge 1\right\}$ are symmetric when $0<q<1$. If
	\begin{equation}\label{pr31}
	\sum_{n=1}^{\infty}\dfrac{1}{n}\left(\dfrac{\|S_n\|}{n^{1/p}}\right)^q<\infty  \text{ a.s.,}
	\end{equation}
	then
	\begin{equation}\label{pr32}
	\lim_{n\to\infty}\dfrac{S_n}{n^{1/p}}=0 \text{ a.s.}
	\end{equation}
\end{proposition}

\begin{proof} Set
	\[Y_n=X_n\mathbf{1}(\|X_n\|^p\le n),\ S_n^{(1)}=\sum_{i=1}^{n}Y_i,\ n\ge 1.\]
	Since $\mathbb{E}(\|X\|^p)<\infty$ and the sequence $\{X_n,n\ge1\}$ is stochastically dominated by $X$,
	\begin{equation}\label{pr33}
	\sum_{n=1}^{\infty}\mathbb{P}(\|X_n\|^p> n)\le \sum_{n=1}^{\infty}\mathbb{P}(\|X\|^p> n)<\infty.
	\end{equation}
	By the Borel--Cantelli lemma, it follows from \eqref{pr33} that
	\begin{equation}\label{pr34}
	\mathbb{P}(\|X_n\|^p> n \text{ i.o. $(n)$})=0.
	\end{equation}
	Combining \eqref{pr31} and \eqref{pr34}, we have
	\begin{equation}\label{pr35}
	\sum_{n=1}^{\infty}\dfrac{1}{n}\left(\dfrac{\|S_n^{(1)}\|}{n^{1/p}}\right)^q<\infty  \text{ a.s.}
	\end{equation}
	To prove \eqref{pr32}, recalling \eqref{pr34}, it suffices to show that
	\begin{equation}\label{pr36}
	\lim_{n\to\infty}\dfrac{S_n^{(1)}}{n^{1/p}}=0 \text{ a.s.}
	\end{equation}
	For $n \ge 1,$ set
	\[a_n=\dfrac{1}{n^{1+q/p}},\ b_n=\sum_{k=n}^{\infty}a_k.\]
Then
	\begin{equation}\label{pr36a}
	\mathbb{E}\left(\sup_{n\ge 1}b_n\|Y_n\|^q\right)\le\mathbb{E}\left(\sup_{n\ge 1}\left(1+\dfrac{p}{q}\right)\dfrac{\|Y_n\|^q}{n^{q/p}}\right)\le 1+\dfrac{q}{p}.
	\end{equation}

	Firstly, we consider the case where $0<q<1$.
	Since $\{X_n,n\ge 1\}$ are symmetric random variables, $\{Y_n,n\ge 1\}$ are also symmetric. By applying inequality (11) in Theorem 7 of Li, Qi, and Rosalsky \cite{LQR15}, we conclude from \eqref{pr35} and \eqref{pr36a} that
	\begin{equation}\label{pr36b}
	\sum_{n=1}^{\infty}\dfrac{1}{n}\mathbb{E}\left(\dfrac{\|S_n^{(1)}\|}{n^{1/p}}\right)^q<\infty.
	\end{equation}
	It follows from \eqref{pr36b} and Markov's inequality that for
	arbitrary $\varepsilon>0$
	\begin{equation}\label{Etemadi31}
	\begin{split}
	&\sum_{n=1}^{\infty} \dfrac{1}{n}\mathbb{P}\left(\left\|\sum_{i=n+1}^{2n} Y_i\right\|>n^{1/p} \varepsilon \right)\\
	& \le  \left(\dfrac{2}{\varepsilon}\right)^q \left(\sum_{n=1}^{\infty} \dfrac{1}{n} \mathbb{E} \left(\left\|\dfrac{S_{2n}^{(1)}}{n^{1/p}} \right\|^q\right)+
	\sum_{n=1}^{\infty} \dfrac{1}{n} \mathbb{E} \left(\left\|\dfrac{S_{n}^{(1)}}{n^{1/p}} \right\|^q\right)\right)<\infty.
	\end{split}
	\end{equation}
	The conclusion \eqref{pr36} then follows from the last part of Lemma \ref{Etemadi}.

	Next, we consider the case where $q\ge 1$. Let $\left\{X^{'}, X_n^{'}, n\ge 1\right\}$ be an independent copy of $\left\{X, X_n, n \ge 1\right\}.$ For $n \ge 1,$ set
	\[V_{n}=Y_n-X_n^{'}\mathbf{1}(\|X_n^{'}\|^p\le n),\]
	and
	\[ \hat{S}_n^{(1)}=\sum_{i=1}^{n}V_i.\]
	By \eqref{pr35}, we have
	\begin{equation}\label{sym31}
	\sum_{n=1}^{\infty}\dfrac{1}{n}\left(\dfrac{\|\hat{S}_n^{(1)}\|}{n^{1/p}}\right)^q<\infty \text{ a.s.}
	\end{equation}
	Similar to the proof of \eqref{pr36b}, \eqref{sym31} leads to
	\begin{equation}\label{pr316}
	\sum_{n=1}^{\infty}\dfrac{1}{n}\mathbb{E}\left(\dfrac{\|\hat{S}_n^{(1)}\|}{n^{1/p}}\right)^q<\infty.
	\end{equation}
	By Lemma 4 of  Li, Qi, and Rosalsky \cite{LQR15}, under \eqref{sym31}, \eqref{pr316} is equivalent to
	\begin{equation}\label{pr317}
	\sum_{n=1}^{\infty}\dfrac{1}{n}\mathbb{E}\left(\dfrac{\|S_n^{(1)}\|}{n^{1/p}}\right)^q<\infty.
	\end{equation}
	This implies
	\begin{equation}\label{pr38}
\sum_{n=1}^{\infty}\dfrac{1}{n}\mathbb{E}\left(\dfrac{\|\sum_{i=1}^{n}(Y_i-\mathbb{E}(Y_i))\|}{n^{1/p}}\right)^q\le 2^{q-1}\sum_{n=1}^{\infty}\dfrac{1}{n}\mathbb{E}\left(\dfrac{\|S_n^{(1)}\|}{n^{1/p}}\right)^q<\infty .
	\end{equation}
	By Lemma \ref{RTV}, we have from \eqref{pr38} that
	\begin{equation}\label{pr39}
	\dfrac{\sum_{i=1}^{n}(Y_i-\mathbb{E}(Y_i))}{n^{1/p}}\rightarrow 0  \text{ a.s.}
	\end{equation}
	Since $\mathbb{E}(X_n)=0$ and $\left\{X_n, n \ge 1\right\}$ is stochastically dominated by $X$ with $\mathbb{E}(\|X\|^p) < \infty$, it is routine to prove that
	\begin{equation}\label{pr310}
	\lim_{n\to\infty}\left\|\dfrac{\sum_{i=1}^{n}\mathbb{E}(Y_i)}{n^{1/p}}\right\|\le \lim_{n\to\infty}\dfrac{\sum_{i=1}^{n}\mathbb{E}\left(\|X\|\mathbf{1}(\|X\|^p>i)\right)}{n^{1/p}}=0.
	\end{equation}
	Combining \eqref{pr39} and \eqref{pr310}, we obtain \eqref{pr36}.
\end{proof}

\section{ Characterizations of stable type $p$ Banach spaces}\label{sec:stable}
This section shows that for the sufficiency part of Theorem \ref{thm15}, we can relax the identically distributed condition
of the random variables $\left\{X_n, n \ge 1\right\}$. Furthermore, the conditions for the sequence  $\left\{X_n, n \ge 1\right\}$ satisfying the $(p, q)$-type SLLN are shown to provide an exact characterization of stable type $p$ Banach spaces.

\begin{theorem}\label{thm:stable11} Let $0<q<1\le p<2$
	and let $\mathbf{B}$ be a separable Banach space. Then the following statements are equivalent.
	\begin{itemize}
		\item[(i)] $\mathbf{B}$ is of stable type $p$.
		\item[(ii)] For every sequence $\left\{X_n, n\ge 1\right\}$ of independent mean zero $\mathbf{B}$-valued random variables which is stochastically dominated
		by a random variable $X$, the condition
		\begin{equation}\label{thm311}
		\int_{0}^{\infty}\mathbb{P}^{q/p}(\|X\|^q>t)\mathrm{d} t<\infty
		\end{equation}
		implies
		\begin{equation}\label{thm312}
		\sum_{n=1}^{\infty}\dfrac{1}{n}\left(\dfrac{\|S_n\|}{n^{1/p}}\right)^q<\infty  \text{ a.s.}
		\end{equation}
	\end{itemize}
\end{theorem}

To prove Theorem \ref{thm:stable11}, we first present some preliminaries.
Let $\{X_k,1\le k\le n\}$ be $n$ independent real-valued random variables
and $\{X_{k}^{*},1\le k\le n\}$ the nonincreasing rearrangement of
the sequence $\{|X_k|,1\le k\le n\}$. Then the Marcus--Pisier inequality \cite{MarcusPisier} (see also Pisier \cite[Lemma 4.11]{Pisier}) asserts that for all $r\ge 1$,
\begin{equation}\label{MP}
\mathbb{P}\left(\sup_{1\le k\le n}k^{1/r}X_{k}^{*}>u\right) \le \dfrac{2\mathrm{e}}{u^{r}}\sup_{t>0}\left(t^r\sum_{k=1}^n \mathbb{P}(|X_k|>t)\right) \text{ for all }u>0.
\end{equation}

When $q=1$, the following lemma is Lemma 1 of Hechner and Heinkel \cite{HechnerHeinkel}. Li, Qi, and Rosalsky \cite{LQR16} generalized Lemma 1 of Hechner and Heinkel \cite{HechnerHeinkel} for the case where $1\le q<r<2$ (see Lemma 3.1  Li, Qi, and Rosalsky \cite{LQR16}). Lemma \ref{Rosalsky02} shows that their results also hold when
$0<q\le 1< r<2$.

\begin{lemma}\label{Rosalsky02} Let $0<q\le 1< r<2$ and let $\mathbf{B}$ be a Banach space of stable type $r$. Then
	there exists a constant $C(q,r)>0$ depending only on $q$ and $r$ such that, for every finite sequence $\{X_k,1\le k\le n\}$
	of independent $\mathbf{B}$-valued random variables with $\max_{1\le k\le n}\mathbb{E}(\|X_k\|^q)<\infty$,
	\begin{equation}\label{HH01}
	\mathbb{E}\left(\left\|\sum_{k=1}^n (X_k-EX_k)\right\|^q\right) \le C(q,r)\left(\sup_{t>0}t^{r/q}\sum_{k=1}^n \mathbb{P}(\|X_k\|^q>t)\right)^{q/r}.
	\end{equation}
\end{lemma}

\begin{proof}
Since $0<q\le 1< r<2$, we have
	\begin{align}\label{HH02}
	\begin{split}
	\mathbb{E}\left(\left\|\sum_{k=1}^n (X_k-EX_k)\right\|^q\right) & \le \left(\mathbb{E}\left\|\sum_{k=1}^n (X_k-EX_k)\right\|\right)^{q}\\
	& \le \left( C(r)  \left(\sup_{t>0} t^r \sum_{k=1}^n \mathbb{P}(\|X_k\|>t)\right)^{1/r}\right)^q\\
	& = (C(r))^q \left( \sup_{t>0} t^r \sum_{k=1}^n \mathbb{P}(\|X_k\|>t)\right)^{q/r}\\
	& := C(q,r)  \left( \sup_{t>0} t^{r/q} \sum_{k=1}^n \mathbb{P}(\|X_k\|^q>t)\right)^{q/r},
	\end{split}
	\end{align}
	where we have applied Liapunov's inequality in the first inequality and Lemma 1 of Hechner and Heinkel \cite{HechnerHeinkel} in the
	second inequality. This completes the proof of Lemma \ref{Rosalsky02}.
\end{proof}
The following result is a variation of Lemma \ref{Rosalsky02} for the case where $0<q<r<1$.
\begin{lemma}\label{Rosalsky01} Let $0<q<r<1$. Then

	for every finite sequence $\{X_k,1\le k\le n\}$
	of independent random variables with $\max_{1\le k\le n}\mathbb{E}\left(\|X_k\|^q\right)<\infty$,
	\begin{equation}\label{HH03}
	\mathbb{E}\left(\left\|\sum_{k=1}^n X_k\right\|^q\right) \le C_{1}(q,r)\left(\sup_{t>0}t^{r/q}\sum_{k=1}^n \mathbb{P}(\|X_k\|^q>t)\right)^{q/r},
	\end{equation}
	where
	\[C_1(q,r)=\left(\dfrac{1}{1-r}\right)^q\left(1+\dfrac{2q\mathrm{e}}{r-q}\right).\]
\end{lemma}

\begin{proof} Let $\{\|X_{k}\|^{*},1\le k\le n\}$ be the nonincreasing rearrangement of $\{\|X_{k}\|,1\le k\le n\}$.
	Since $0<q<r<1$,
	\begin{align}\label{HH05}
	\begin{split}
	\mathbb{E}\left(\left\|\sum_{k=1}^n X_k\right\|^q\right) & \le \mathbb{E}\left(\sum_{k=1}^n \left\|X_k\right\|\right)^{q}\\
	& = \mathbb{E}\left(\sum_{k=1}^n \left(k^{1/r}\|X_k\|^*\right)k^{-1/r}\right)^{q}\\
	& \le \mathbb{E}\left(\sup_{1\le k\le n}\left(k^{q/r}(\|X_k\|^*)^q\right)\left(\sum_{k=1}^n k^{-1/r}\right)^{q}\right)\\
	& = \mathbb{E}\left(\sup_{1\le k\le n}\left(k^{q/r}(\|X_k\|^q)^*\right)\left(\sum_{k=1}^n k^{-1/r}\right)^{q}\right)\\
	& \le \left(\dfrac{1}{1-r}\right)^q \mathbb{E}\left(\sup_{1\le k\le n}\left(k^{q/r}(\|X_k\|^q)^*\right)\right)\\
	& = \left(\dfrac{1}{1-r}\right)^q \int_{0}^\infty\mathbb{P}\left(\sup_{1\le k\le n}\left(k^{q/r}(\|X_k\|^q)^*\right)>u\right)\mathrm{d} u.
	\end{split}
	\end{align}
	Let $\Delta=\sup_{t>0}t^{r/q}\sum_{k=1}^n \mathbb{P}\left(\|X_k\|^q>t\right)$. Applying \eqref{MP}, we have
	\begin{align}\label{HH07}
	\begin{split}
	&\int_{0}^\infty\mathbb{P}\left(\sup_{1\le k\le n}\left(k^{q/r}(\|X_k\|^q)^*\right)>u\right)\mathrm{d} u\\
	& = \left(\int_{0}^{\Delta^{q/r}}+\int_{\Delta^{q/r}}^{\infty}\right)\mathbb{P}\left(\sup_{1\le k\le n}\left(k^{q/r}(\|X_k\|^q)^*\right)>u\right)\mathrm{d} u\\
	&\le \Delta^{q/r}+ 2\mathrm{e}\int_{\Delta^{q/r}}^\infty\dfrac{\Delta}{u^{r/q}} \mathrm{d} u\\
	& = \left(1+\dfrac{2q\mathrm{e}}{r-q}\right) \Delta^{q/r}.
	\end{split}
	\end{align}
	Combining \eqref{HH05} and \eqref{HH07}, we obtain \eqref{HH03}.
\end{proof}

Motivated by Lemma $3.4$ of Li, Qi, and Rosalsky \cite{LQR16} which considered the case where $1 \le q \le p < 2$
and i.i.d. random variables, we have the following lemma.

\begin{lemma}\label{LQR01}
	Let $0<q\le p<2$, and let $\{X_n\}$ be a sequence of independent $\mathbf{B}$-valued random variables. Suppose that $\{X_n, n\ge 1\}$ is stochastically dominated by a random variable $X$ satisfying
	\begin{equation}\label{th27}
	\int_{0}^\infty \mathbb{P}^{q/p}\left(\|X\|^q>t\right)\mathrm{d} t<\infty
	\end{equation}
	For each $n\ge 1$, let the quantile $u_n$ of order $1-1/n$  of $\|X\|$ be defined as in Section \ref{sec:intro}, and set
	\[Y_{n, k}=X_{k}\mathbf{1}(\|X_k\|^p\leq u_n),\ Z_{n, k}=X_{k}\mathbf{1}(\|X_k\|^p\leq n),\]
	\[U_{n,k}=\sum_{i=1}^{k}Z_{n,i},\ U_{n,k}^{(1)}=\sum_{i=1}^{k}Y_{n,i},\  U_{n,k}^{(2)}= U_{n,k}- U_{n,k}^{(1)}.\]
	Then the following statements holds.
	\begin{itemize}
		\item[(i)] If $0<p<1$, then

	\begin{equation}\label{th28}
	\sum_{n=1}^{\infty}\dfrac{\mathbb{E}\left(\|U_{n,n}^{(1)}\|^q\right)}{n^{1+q/p}}<\infty.
	\end{equation}
\item[(ii)] If $1\le p<2$ and $\mathbf{B}$ is of stable type $p$, then
	\begin{equation}\label{th28b}
\sum_{n=1}^{\infty}\dfrac{\mathbb{E}\left(\|U_{n,n}^{(1)}-\mathbb{E}U_{n, n}^{(1)}\|^q\right)}{n^{1+q/p}} <\infty.
\end{equation}
	\end{itemize}

	In particular, if $\mathbb{E}(\|X\|^p)<\infty$, then the following statements holds.
	\begin{itemize}
		\item[(iii)] If $0<p<1$, then
		\begin{equation}\label{th29}
		\sum_{n=1}^{\infty}\dfrac{\mathbb{E}\left(\|U_{n,n}^{(1)}\|^p\right)}{n^{2}}<\infty.
		\end{equation}
		\item [(iv)] If $1\le p<2$ and $\mathbf{B}$ is of stable type $p$, then
	\begin{equation}\label{th29b}
\sum_{n=1}^{\infty}\dfrac{\mathbb{E}\left(\|U_{n,n}^{(1)}-\mathbb{E}U_{n, n}^{(1)}\|^p\right)}{n^{2}} <\infty.
\end{equation}
	\end{itemize}
\end{lemma}
\begin{proof}
	Firstly, we consider the case where $0 < q \le p < 1$. Let $p < r < 1$, and $C_1(q,r)$ be as in Lemma \ref{Rosalsky01}. By applying Lemma \ref{Rosalsky01}, we
	obtain
	\begin{align}\label{R07}
	\begin{split}
	\mathbb{E}\left(\left\|U_{n,n}^{(1)}\right\|^q\right) &\le C_1(q,r)\left(\sup_{t>0}t^{r/q}\sum_{k=1}^n \mathbb{P}(\|X_k\|^qI \{\|X_k\| \le u_n\}>t)\right)^{q/r}\\
	&= C_1(q,r)\left(\sup_{0\le t\le u_{n}^q}t^{r/q}\sum_{k=1}^n \mathbb{P}(\|X_k\|^qI \{\|X_k\| \le u_n\}>t)\right)^{q/r}\\
	& \le C_1(q,r) \left(n \sup_{0\le t \le u_{n}^q} t^{r/q} \mathbb{P}(\|X\|^q>t)\right)^{q/r}\\
	& = C_1(q,r) \left(n \sup_{0\le t \le u_{n}^q} \left(\int_{0}^t \mathbb{P}^{q/r}(\|X\|^q>t)\mathrm{d} x\right)^{r/q}\right)^{q/r}\\
	& \le C_1(q,r) \left(n \sup_{0\le t \le u_{n}^q} \left(\int_{0}^t \mathbb{P}^{q/r}(\|X\|^q>x)\mathrm{d} x\right)^{r/q}\right)^{q/r}\\
	& = C_1(q,r) n^{q/r} \int_{0}^{u_{n}^q} \mathbb{P}^{q/r}(\|X\|^q>x)\mathrm{d} x\\
	& = C_1(q,r) n^{q/r} \sum_{k=1}^n \int_{u_{k-1}^q}^{u_{k}^q} \mathbb{P}^{q/r}(\|X\|^q>x)\mathrm{d} x.
	\end{split}
	\end{align}
For $k\ge 1$ and $u_{k-1}^q \le x <u_{k}^q$, we have $\mathbb{P}(\|X\|^q>x)\ge 1/k$. It thus follows from \eqref{R07} that
	\begin{align*
	\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|U_{n,n}^{(1)}\|^q\right)}{n^{1+q/p}}
	&\le C_1(q,r) \sum_{n=1}^\infty \dfrac{1}{n^{1+q/p-q/r}}\sum_{k=1}^n \int_{u_{k-1}^q}^{u_{k}^q} \mathbb{P}^{q/r}(\|X\|^q>x)\mathrm{d} x\\
	& = C_1(q,r) \sum_{k=1}^\infty \left(\int_{u_{k-1}^q}^{u_{k}^q} \mathbb{P}^{q/r}(\|X\|^q>x)\mathrm{d} x\right) \left(\sum_{n=k}^\infty \dfrac{1}{n^{1+q/p-q/r}}\right)\\
	& \le \left(1+\dfrac{pr}{q(r-p)}\right) C_1(q,r) \sum_{k=1}^\infty \dfrac{1}{k^{q/p-q/r}}\int_{u_{k-1}^q}^{u_{k}^q} \mathbb{P}^{q/r}(\|X\|^q>x)\mathrm{d} x \\
	& \le \left(1+\dfrac{pr}{q(r-p)}\right) C_1(q,r) \sum_{k=1}^\infty \int_{u_{k-1}^q}^{u_{k}^q} \mathbb{P}^{q/p}(\|X\|^q>x)\mathrm{d} x \\
	& = \left(1+\dfrac{pr}{q(r-p)}\right) C_1(q,r) \int_{0}^{\infty} \mathbb{P}^{q/p}(\|X\|^q>x)\mathrm{d} x<\infty
	\end{align*}
	thereby proving \eqref{th28} for the case where $0<q\le p<1$.

	For the case where $1\le q\le p<2$, Li, Qi, and Rosalsky \cite{LQR16} proved \eqref{th28}
	under stronger assumption that $\left\{X, X_n, n \ge 1\right\}$ are identically distributed random variables (see \cite[Lemma 3.4]{LQR16}). When the sequence $\left\{X_n, n \ge 1\right\}$ is stochastically dominated by $X$, their proof will be unchanged except for some simple modifications and therefore we conclude that Lemma \ref{LQR01} holds for the case where $1\le q\le p<2$.

	Next, we consider the case where $0 < q < 1 \le p < 2$. Li, Qi, and Rosalsky \cite{LQR16} proved their Lemma 3.4 (\cite[p. 548]{LQR16}) by applying \eqref{HH01} for $1 \le q < r < 2$. In our Lemma \ref{Rosalsky02}, we have
	showed that \eqref{HH01} holds for the case where $0 < q < 1 < r < 2$. Then by using the same argument as in the proof of Lemma 3.4 of Li, Qi, and Rosalsky \cite{LQR16}, we obtain \eqref{th28} for the case where $0 < q < 1 \le p < 2.$

	Finally, by taking $q = p$, \eqref{th27} holds if and only if $\mathbb{E}(\|X\|^p) < \infty$, and \eqref{th28} coincides with \eqref{th29}, \eqref{th28b} coincides with \eqref{th29b}. Therefore, the last part of the lemma follows from the first part. This completes the proof.
\end{proof}

\begin{proof}[Proof of Theorem \ref{thm:stable11}]  Firstly, we verify the implication (i)$\Rightarrow $(ii).
	For each $n\ge 1$, let the quantile $u_n$ of order $1-1/n$  of $\|X\|$ be defined as in Section \ref{sec:intro},  and set for $1\le k\le n$,
	\[Y_{n, k}=X_{k}\mathbf{1}(\|X_k\|^p\leq u_n),\ U_{n,k}^{(1)}=\sum_{i=1}^{k}Y_{n,i}.\]
	By following the proof of Lemma 3.3 of Li, Qi, and Rosalsky \cite{LQR16} and noting that every real separable Banach space is of Rademacher type $q$ for $0 < q \le 1$, we have
	\begin{equation}\label{thm313}
	\sum_{n=1}^{\infty}\dfrac{\mathbb{E}\left(\left\|\left(S_n-U_{n,n}^{(1)}\right)-\mathbb{E}\left(S_n-U_{n,n}^{(1)}\right)\right\|^q\right)}{n^{1+q/p}}<\infty.
	\end{equation}
	By \eqref{th28b}, we have
	\begin{equation}\label{thm314}
	\sum_{n=1}^{\infty}\dfrac{\mathbb{E}\left(\left\|U_{n,n}^{(1)}-\mathbb{E}U_{n,n}^{(1)}\right\|^q\right)}{n^{1+q/p}}<\infty.
	\end{equation}
	Combining \eqref{thm313} and \eqref{thm314} and noting that $\mathbb{E}(S_n) = 0$, we obtain
	\[\sum_{n=1}^{\infty}\dfrac{\mathbb{E}(\|S_n\|^q)}{n^{1+q/p}}<\infty\]
	which yields \eqref{thm312}.

	We will now prove the implication (ii)$\Rightarrow $(i). Let $\left\{\varepsilon_k, k\ge 1\right\}$ be a Rademacher sequence and
	let $\left\{x_k, k\ge 1\right\}$ be a sequence of elements in $\mathbf{B}$
	such that
	\begin{equation}\label{thm315}
	X:=\sup_{k\ge 1}\|x_k\|<\infty.
	\end{equation}
	By Theorem V.9.3 in \cite{Woyczynski}, (i) holds if we show that
	\begin{equation}\label{thm316}
	\lim_{n\to\infty}\dfrac{1}{n^{1/p}}\sum_{k=1}^{n}x_k\varepsilon_k=0 \text{ a.s.}
	\end{equation}
	Set
	\[X_k=x_k\varepsilon_k, k\ge 1.\]
	Then $\left\{X_k,  k \ge 1\right\}$ is a sequence of independent symmetric $\mathbf{B}$-valued random variables, stochastically dominated by $X$.
	Since $X$ is bounded, \eqref{thm311} holds. Therefore, by (ii), we have
	\begin{equation}\label{thm317}
	\sum_{n=1}^{\infty}\dfrac{1}{n}\left(\dfrac{\|\sum_{k=1}^{n}X_k\|}{n^{1/p}}\right)^q<\infty\ \text{ a.s.}
	\end{equation}
	By applying Proposition \ref{pqSLLN-implies-SLLN}, we obtain
	\eqref{thm316}.
\end{proof}

Now, we consider the case where $q\ge 1$ and $1\le p<2$. Li, Qi, and Rosalsky \cite{LQR16} provided set of necessary and sufficient conditions for the $(p,q)$-SLLN.
Theorem 2.2 of Li, Qi, and Rosalsky \cite{LQR16} is as follows.
\begin{proposition}
[Theorem 2.2 of \cite{LQR16}]\label{LQR16Thm22} Let $1 < p < 2$, $q \ge 1$, and let $\left\{X, X_n, n \ge 1\right\}$ be a sequence of i.i.d. random variables taking values in a
	real separable stable type $p$ Banach space $\mathbf{B}$. Then $X\in \operatorname{SLLN}(p,q)$ if and only if
	$\mathbb{E}(X)=0$ and
	\begin{equation}\label{stable21}
	\begin{cases}
	\int_{0}^{\infty}\mathbb{P}^{q/p}(\|X\|^q>t)\mathrm{d} t<\infty&\text{ if }\  q<p,\\[1.5mm]
	\mathbb{E}(\|X\|^p)<\infty, \sum_{n=1}^{\infty}\dfrac{\int_{\min\left\{u_n^p, n\right\}}^{n}\mathbb{P}(\|X\|^p>t)\mathrm{d} t}{n}<\infty&\text{ if }\ q=p,\\[1.5mm]
	\mathbb{E}(\|X\|^p)<\infty&\text{ if }\   q>p.
	\end{cases}
	\end{equation}
\end{proposition}

Similar to Theorem \ref{thm:stable11}, the following theorem is a complement of Proposition \ref{LQR16Thm22} (i.e., Theorem 2.2 of Li, Qi, and Rosalsky \cite{LQR16}).
\begin{theorem}\label{thm:stable23} Let $1 < p < 2$, $q\ge 1$, and let $\mathbf{B}$ be a real separable Banach space. Then the following statements are	equivalent.
	\begin{itemize}
		\item[(i)] $\mathbf{B}$ is of stable type $p$.
		\item[(ii)] For every sequence $\left\{X_n, n\ge 1\right\}$ of independent mean zero $\mathbf{B}$-valued random variables which is stochastically dominated
		by a random variable $X$, condition
		\eqref{stable21} implies
		\[\sum_{n=1}^{\infty}\dfrac{1}{n}\left(\dfrac{\|S_n\|}{n^{1/p}}\right)^q<\infty \text{ a.s.}\]
	\end{itemize}
\end{theorem}
\begin{proof}
		The proof of the implication (ii)$\Rightarrow $(i) is exactly the same as that of Theorem \ref{thm:stable11}.
		The proof of the implication (i)$\Rightarrow $(ii)
is similar to that of the sufficient part of Theorem 2.2 of Li,
	Qi and Rosalsky \cite{LQR16} with some simple changes.
	We omit the details.
\end{proof}

Similarly, we have the following theorem for the case where $p=1$. It is a complement of Theorem 2.3 of Li, Qi, and Rosalsky \cite{LQR16}.

\begin{theorem}\label{thm:stable24} Let $q\ge 1$, and let $\mathbf{B}$ be a real separable Banach space. Then the following statements are	equivalent.
	\begin{itemize}
		\item[(i)] $\mathbf{B}$ is of stable type $1$.
		\item[(ii)] For every sequence $\left\{X_n, n\ge 1\right\}$ of independent mean zero $\mathbf{B}$-valued random variables which is stochastically dominated
		by a random variable $X$, the conditions
	\[\mathbb{E}(\|X\|)<\infty,\ \sum_{n=1}^\infty \dfrac{1}{n^2}\left(\sum_{i=1}^n \left\|\mathbb{E}(X_i\mathbf{1}(\|X_i\|\le n))\right\|^q\right)<\infty,\]
	 and
\begin{equation*}
 \sum_{n=1}^{\infty}\dfrac{\mathbf{1}(\{q=1\})\int_{\min\left\{u_n, n\right\}}^{n}\mathbb{P}(\|X\|>t)\mathrm{d} t}{n}<\infty
 \end{equation*}
 implies
\begin{equation}\label{stable22}
\sum_{n=1}^{\infty}\dfrac{1}{n}\left(\dfrac{\|S_n\|}{n}\right)^q<\infty\ \text{ a.s.}
\end{equation}
		\item[(iii)] For every sequence $\left\{X_n, n\ge 1\right\}$ of independent symmetric $\mathbf{B}$-valued random variables which is stochastically dominated
		by a random variable $X$, the conditions $\mathbb{E}(\|X\|)<\infty$ and
		\begin{equation*}
		\sum_{n=1}^{\infty}\dfrac{\mathbf{1}(\{q=1\})\int_{\min\left\{u_n, n\right\}}^{n}\mathbb{P}(\|X\|>t)\mathrm{d} t}{n}<\infty
		\end{equation*}
		implies \eqref{stable22}.
	\end{itemize}
\end{theorem}

\section {Proof of the main results}\label{sec:main-results}

In this section, we will prove Theorems \ref{thm14} and \ref{thm15}.
The following lemma is proved by Li, Qi, and Rosalsky \cite[Lemma 5.4]{LQR11} for the case $K=1$.
Its proof is similar to that of Lemma 5.4 of Li, Qi, and Rosalsky \cite{LQR11}.
\begin{lemma}\label{lem24} Let $Y_1, ..., Y_n$ be i.i.d. nonnegative real-valued random variables such that
	\begin{equation}\label{r01}
	\mathbb{P}(Y_1>0)\le \dfrac{K}{n}\  \text{ for some constant }\ K\ge 1.
	\end{equation}
	Then
	\begin{equation}\label{r02}
	\mathbb{E}\left(\max_{1\le k\le n} Y_k\right)\ge \dfrac{n}{2K}\mathbb{E}(Y_1).
	\end{equation}
\end{lemma}
\begin{proof}
	For all $t\ge 0$, we have
	\begin{equation}\label{r03}
	\begin{split}
	\mathbb{P}\left(\max_{1\le k\le n}Y_k>t\right)=1-\left(1-\mathbb{P}\left(Y_1\le t\right)\right)^n\ge 1-{\mathrm{e}}^{-n\mathbb{P}(Y_1>t)}.
	\end{split}
	\end{equation}
	Elementary calculus shows that
	\[1-\mathrm{e}^{-x}\ge \dfrac{x}{2K}\ \text{ for all }\ 0\le x\le K. \]
	It thus follows from \eqref{r01} and \eqref{r03} that
	\[\mathbb{P}\left(\max_{1\le k\le n}Y_k>t\right)\ge \dfrac{n}{2K}\mathbb{P}(Y_1>t)\ \text{ for all }\ t\ge 0, \]
	which implies \eqref{r02}.
\end{proof}

The following lemma is a special case of Lemma 3.2 of Li and Rosalsky \cite{LiRosalsky13}. This
useful result will be used in our symmetrization procedure.

\begin{lemma}\label{lem25} Let $g: \mathbf{B}\rightarrow [0,\infty]$ be a measurable even function such that for all $x, y \in\mathbf{B},$
	\[g(x+y)\le\beta (g(x)+g(y)),\]
	where $\beta\ge 1$ is a constant, depending only on the function $g$. If $V$ is a $\mathbf{B}$-valued random variable and $\hat{V}$ is a
	symmetrized version of $V$ , then for all $t\ge 0$, we have that
	\[\mathbb{P}(g(V)\le t)\mathbb{E}(g(V))\le\mathbb{E}(g(\hat{V}))+\beta t.\]
\end{lemma}

\begin{proof}[Proof of Theorem \ref{thm14} (Sufficiency)]

	Firstly we consider the case where $0<q<p<1$.
	We will prove that
	\begin{align}\label{pr01}
	\sum_{n=1}^\infty \dfrac{1}{n}\mathbb{E}\left(\dfrac{\|S_n\|}{n^{1/p}}\right)^q<\infty.
	\end{align}
	For each $n\ge 1$, let the quantile $u_n$ of order $1-1/n$  of $\|X\|$ be defined as in Section \ref{sec:intro}. For $n\ge 1$, $1\le k\le n$, set
	\[Y_{n, k}=X_{k}\mathbf{1}(\|X_k\|^p\leq u_n),\ Z_{n, k}=X_{k}\mathbf{1}(\|X_k\|^p\leq n),\]
	and
	\[U_{n,k}=\sum_{i=1}^{k}Z_{n,i},\ U_{n,k}^{(1)}=\sum_{i=1}^{k}Y_{n,i},\  U_{n,k}^{(2)}= U_{n,k}- U_{n,k}^{(1)}.\]
	By \eqref{th28} in Lemma \ref{LQR01}, \eqref{pr01} holds if we can show that
	\begin{align}\label{pr03}
	\sum_{n=1}^\infty \dfrac{1}{n}\mathbb{E}\left(\dfrac{\|S_n-U_{n,n}^{(1)}\|}{n^{1/p}}\right)^q<\infty.
	\end{align}
	Since $0<q<1$, we have
	\begin{align}\label{pr05}
	\begin{split}
	\mathbb{E}\left(\|S_n-U_{n,n}^{(1)}\|^q\right)
	&\le n \mathbb{E}\left(\|X\|^q\mathbf{1}(\|X\|^q>{u_{n}^q})\right)\\
	& = n u_{n}^q \mathbb{P}(\|X\|^q>{u_{n}^q}) +n\int_{u_{n}^q}^{\infty} \mathbb{P}(\|X\|^q>t)\mathrm{d} t\\
	& \le u_{n}^q+n\int_{u_{n}^q}^{\infty} \mathbb{P}(\|X\|^q>t)\mathrm{d} t.
	\end{split}
	\end{align}
	Noting that for $n\ge 1$, $u_{n}^q$ is the quantile of order $1-1/n$ of $\|X\|^q$. Letting $u_0=0$, it thus follows from \eqref{pr05} that
	\begin{align*
	\begin{split}
	&\sum_{n=1}^\infty \dfrac{1}{n}\mathbb{E}\left(\dfrac{\|S_n-U_{n,n}^{(1)}\|}{n^{1/p}}\right)^q\\
	&\le \sum_{n=1}^\infty \dfrac{u_{n}^q}{n^{1+q/p}}+ \sum_{n=1}^\infty \dfrac{1}{n^{q/p}}\int_{u_{n}^q}^{\infty} \mathbb{P}(\|X\|^q>t)\mathrm{d} t\\
	&\le \sum_{n=1}^\infty \dfrac{1}{n^{1+q/p}}\sum_{k=1}^n (u_{k}^q-u_{k-1}^q)
	+\sum_{n=1}^\infty \dfrac{1}{n^{q/p}}\sum_{k=n}^\infty \int_{u_{k}^q}^{u_{k+1}^q} \mathbb{P}(\|X\|^q>t)\mathrm{d} t\\
	&= \sum_{k=1}^\infty(u_{k}^q-u_{k-1}^q)\left(\sum_{n=k}^\infty  \dfrac{1}{n^{1+q/p}}\right)
	+\sum_{k=1}^\infty \int_{u_{k}^q}^{u_{k+1}^q} \mathbb{P}(\|X\|^q>t)\mathrm{d} t\left(\sum_{n=1}^k\dfrac{1}{n^{q/p}}\right)\\
	&\le \left(1+\dfrac{p}{q}\right)\sum_{k=1}^\infty\dfrac{1}{k^{q/p}}(u_{k}^q-u_{k-1}^q)
	+\dfrac{p}{p-q}\sum_{k=1}^\infty k^{1-q/p} \int_{u_{k}^q}^{u_{k+1}^q} \mathbb{P}(\|X\|^q>t)\mathrm{d} t\\
	&\le \left(1+\dfrac{p}{q}\right)\sum_{k=1}^\infty\int_{u_{k-1}^q}^{u_{k}^q}\mathbb{P}^{q/p}(\|X\|^q>t)\mathrm{d} t
	+\dfrac{p}{p-q}\sum_{k=1}^\infty\int_{u_{k}^q}^{u_{k+1}^q}\mathbb{P}^{q/p}(\|X\|^q>t)\mathrm{d} t\\
	& \le \left(1+\dfrac{p}{q}	+\dfrac{p}{p-q}\right) \int_{0}^\infty \mathbb{P}^{q/p}(\|X\|^q>t)\mathrm{d} t<\infty
	\end{split}
	\end{align*}
	thereby proving \eqref{pr03}.

	Now we consider the case where $0<q=p<1$. Since $\mathbb{E}(\|X\|^p)<\infty$, it is easy to see that
	\begin{equation}\label{pr07}
	\lim_{n\to\infty}\dfrac{u_n}{n^{1/p}}=0,
	\end{equation}
	and
	\begin{equation}\label{pr09}
	\sum_{n=1}^\infty \mathbb{P}(\|X_n\|^p>n)=\sum_{n=1}^\infty \mathbb{P}(\|X\|^p>n)<\infty.
	\end{equation}
	From \eqref{pr07}, we can assume that $u_n<n^{1/p}$ for all $n\ge 1$.
	We then write
	$$S_n=U_{n,n}^{(1)}+U_{n,n}^{(2)}+\sum_{k=1}^n X_k\mathbf{1}(\|X_k\|^p>n),\ n\ge 1.$$
	By the Borel-Cantelli lemma, it follows from
	\eqref{pr09} that
	\begin{equation*}
	\mathbb{P}(\|X_n\|^p> n\text{ i.o.}(n))=0
	\end{equation*}
	and hence
	\begin{equation*}
	\mathbb{P}\left(\max_{1\le k\le n}\|X_k\|^p> n\text{ i.o.}(n)\right)=0.
	\end{equation*}
	We thus have
	\begin{equation}\label{pr11}
	\sum_{n=1}^\infty \dfrac{1}{n}\left(\dfrac{\left\|\sum_{k=1}^n X_k\mathbf{1}(\|X_k\|^p>n)\right\|}{n^{1/p}}\right)^p<\infty \text{ a.s.}
	\end{equation}
	By using \eqref{pr11}, \eqref{th16} (with $0<q=p<1$) holds if we can show that
	\begin{align}\label{pr13}
	\sum_{n=1}^\infty \dfrac{1}{n}\mathbb{E}\left(\dfrac{\|U_{n,n}^{(1)}\|}{n^{1/p}}\right)^p<\infty,
	\end{align}
	and
	\begin{align}\label{pr15}
	\sum_{n=1}^\infty \dfrac{1}{n}\mathbb{E}\left(\dfrac{\|U_{n,n}^{(2)}\|}{n^{1/p}}\right)^p<\infty.
	\end{align}
	By \eqref{th29} in Lemma \ref{LQR01}, we have
	\[\sum_{n=1}^\infty \dfrac{1}{n^2}\mathbb{E}(\|U_{n,n}^{(1)}\|^p)<\infty\]
	which proving \eqref{pr13}.
	Since $0<p<1$, it follows from \eqref{m03} (with $p=q$) that
	\begin{align*
	\begin{split}
	\sum_{n=1}^\infty \dfrac{1}{n^2}\mathbb{E}\left(\|U_{n,n}^{(2)}\|^p\right)
	&= \sum_{n=1}^\infty \dfrac{1}{n^2}\mathbb{E}\left(\left\|\sum_{k=1}^n X_k\mathbf{1}\left( u_{n}<\|X_k\|\le n^{1/p}\right)\right\|^p\right)\\
	&\le \sum_{n=1}^\infty \dfrac{1}{n} \mathbb{E}\left(\left\|X\right\|^p\mathbf{1}\left( u_{n}<\|X\|\le n^{1/p}\right)\right)<\infty
	\end{split}
	\end{align*}
	which proving \eqref{pr15}.
\end{proof}

\begin{proof}[Proof of Theorem \ref{thm14} (Necessity)] By Proposition \ref{prop12}, we only need to prove for the case
	where $0<q=p<1$. Also by applying Proposition \ref{prop12}, we have from \eqref{th16} that
\[\lim_{n\to\infty}\dfrac{S_n}{n^{1/p}}=0\ \text{ a.s.,}\]
	which ensures $\mathbb{E}(\|X\|^p)<\infty$. Therefore, we only need to show that \eqref{th16} implies
	\begin{equation}\label{pr16}
	\sum_{n=1}^\infty \dfrac{\mathbb{E}(\|X\|^p\mathbf{1}(u_n^p<\|X\|^p\leq n))}{n}<\infty.
	\end{equation}
	Since $0<p<1,$
	\begin{align}\label{pr17}
	\begin{split}
	\sum_{n=1}^\infty \dfrac{1}{n^2}\mathbb{E}\left(\left\|U_{n,n}-\sum_{k=1}^nX_k \mathbf{1}(\|X_k\|^p\le k)\right\|^p\right)
	&\le \sum_{n=1}^\infty \dfrac{1}{n^2} \sum_{k=1}^n \mathbb{E}\left(\left\|X_k\right\|^p \mathbf{1}(k<\|X_k\|^p\le n)\right)\\
	& = \sum_{n=1}^\infty \dfrac{1}{n^2} \sum_{k=1}^n \sum_{j=k+1}^n \mathbb{E}\left(\left\|X\right\|^p \mathbf{1}(j-1<\|X\|^p\le j)\right)\\
	& \le \sum_{n=1}^\infty \dfrac{1}{n^2} \sum_{j=1}^n j\mathbb{E}\left(\left\|X\right\|^p \mathbf{1}(j-1<\|X\|^p\le j)\right)\\
	&= \sum_{j=1}^\infty j\mathbb{E}\left(\left\|X\right\|^p \mathbf{1}(j-1<\|X\|^p\le j)\right)\left(\sum_{n=j}^\infty \dfrac{1}{n^2} \right)\\
	&\le 2\sum_{j=1}^\infty \mathbb{E}\left(\left\|X\right\|^p \mathbf{1}(j-1<\|X\|^p\le j)\right)\\
	&=2\mathbb{E}\left(\|X\|^p\right)<\infty.
	\end{split}
	\end{align}
	Using the same argument of proof of (3.3) in \cite[p. 556]{LQR16}, we have
	\begin{equation}\label{pr19}
	\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|\sum_{k=1}^{n}X_k\mathbf{1}(\|X_k\|^p\le k)\|^p\right)}{n^2}<\infty.
	\end{equation}
	Combining \eqref{pr17} and \eqref{pr19}, we have
	\begin{equation}\label{pr21}
	\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\left\|U_{n,n}\right\|^p\right)}{n^2}<\infty.
	\end{equation}
	It follows from \eqref{pr21} and \eqref{th29} of Lemma \ref{LQR01}  that
	\begin{equation}\label{pr26}
\begin{split}
\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|U_{n,n}^{(2)}\|^p\right)}{n^2}&=\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|U_{n,n}-U_{n,n}^{(1)}\|^p\right)}{n^2}\\
	&\le \sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|U_{n,n}\|^p\right)}{n^2}+\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|U_{n,n}^{(1)}\|^p\right)}{n^2}<\infty.
\end{split}
\end{equation}
	Let $\left\{X^{'}, X_n^{'}, n\ge 1\right\}$ be an independent copy of $\left\{X, X_n, n \ge 1\right\}.$ For $n \ge 1, 1 \le k \le n,$ set
	\[V_{n,k}=X_k\mathbf{1}(u_n^{p}<\|X_k\|^p\le n)-X_k^{'}\mathbf{1}(u_n^{p}<\|X_k^{'}\|^p\le n),\ \hat{U}_{n,k}^{(2)}=\sum_{j=1}^{k}V_{n,j},\ \hat{U}_{n,0}^{(2)}=0.\]
	It follows from \eqref{pr26} that
	\begin{equation}\label{pr27}
	\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|\hat{U}_{nn}^{(2)}\|^p\right)}{n^2}<\infty.
	\end{equation}
	For $n \ge 1$, applying L\'{e}vy’s inequality (see, e.g., \cite[p. 47-48]{LedouxTalagrand}) for independent symmetric random variables
	$\left\{V_{n,k}, 1 \le k \le n\right\}$, we have
	\begin{equation}\label{pr23}
	\begin{split}
	\mathbb{E}\left(\max_{1\le k\le n}\|V_{n,k}\|^p\right)
	&= \mathbb{E}\left(\max_{1\le k\le n}\left\|\hat{U}_{n,k}^{(2)}-\hat{U}_{n,(k-1)}^{(2)}\right\|^p \right)\\
	&\le 2\mathbb{E}\left(\max_{1\le k\le n}\left\|\hat{U}_{n,k}^{(2)}\right\|^p \right)\\
	&\le 4\mathbb{E}\left(\left\|\hat{U}_{n,n}^{(2)}\right\|^p \right).\\
	\end{split}
	\end{equation}
	Since
	\[\mathbb{P}(\|V_{n,1}\|^p>0)\le \mathbb{P}(\|X_1\|>u_{n})+\mathbb{P}(\|X_1^{'}\|>u_{n})<\dfrac{2}{n},\]
	by applying Lemma \ref{lem24} with the constant $K = 2$, we obtain
	\begin{equation}\label{pr29}
	\mathbb{E}(\|V_{n,1}\|^p)\le \dfrac{4}{n}\mathbb{E}\left(\max_{1\le k\le n}\|V_{n,k}\|^p\right)
	\end{equation}
	Combining \eqref{pr27}--\eqref{pr29}, we have
	\begin{equation}\label{pr30}
	\sum_{n=1}^{\infty}\dfrac{\mathbb{E}(\|V_{n,1}\|^p)}{n}\le\sum_{n=1}^{\infty}\dfrac{16\mathbb{E}\left(\|\hat{U}_{n,n}^{(2)}\|^p\right)}{n^2}<\infty.
	\end{equation}
	We see that $V_{n1}$ is a symmetrized version of $X_1\mathbf{1}(u_n^{p} <\|X_1\|^p\le n), n \ge 1$. Applying Lemma \ref{lem25} with $t = 1/n$ and $g(x) = \|x\|^p, x\in\mathbf{B}$, we have
	\begin{equation}\label{prr31}
	\mathbb{P}\left(\|X_1\|^p\mathbf{1}(u_n^{p} <\|X_1\|^p\le n)\le\dfrac{1}{n}\right)\mathbb{E}(\|X_1\|^p\mathbf{1}(u_n^{p} <\|X_1\|^p\le n))\le\mathbb{E}(\|V_{n,1}\|^p)+\dfrac{1}{n}.
	\end{equation}
	Since
	\begin{align*}
	1-\dfrac{1}{n}&\le \mathbb{P}(\|X\|\le u_n)\le \mathbb{P}\left(\|X\|^p\mathbf{1}(u_n^{p} <\|X\|^p\le n)\le\dfrac{1}{n}\right)\\
	&=\mathbb{P}\left(\|X_1\|^p\mathbf{1}(u_n^{p} <\|X_1\|^p\le n)\le\dfrac{1}{n}\right)\ \text{ for all }\ n\ge 1,
	\end{align*}
	it follows from \eqref{prr31} that
	\begin{equation}\label{phr32}
	\left(1-\dfrac{1}{n}\right)\mathbb{E}(\|X\|^p\mathbf{1}(u_n^{p}<\|X\|^p\le n))\le\mathbb{E}(\|V_{n1}\|^p)+\dfrac{1}{n}, n\ge 1.
	\end{equation}
	Combining \eqref{pr30} and \eqref{phr32}, we have
	\begin{equation*}
	\begin{split}
	\sum_{n=2}^{\infty}\dfrac{1}{2n}\mathbb{E}(\|X\|^p\mathbf{1}(u_n^{p}<\|X\|^p\le n))&\le\sum_{n=2}^{\infty}\dfrac{1}{n}\left(1-\dfrac{1}{n}\right)\mathbb{E}(\|X\|^p\mathbf{1}(u_n^{p}<\|X\|^p\le n))\\
	&\le\sum_{n=2}^{\infty}\dfrac{1}{n}\left(\mathbb{E}\left(\|V_{n,1}\|^{p}\right)+\dfrac{1}{n}\right)<\infty
	\end{split}
	\end{equation*}
	thereby completing the proof of \eqref{pr16}.
\end{proof}
\begin{proof}[Proof of Theorem \ref{thm15}] Since $0<q<1\le p<2$, the necessity follows immediately from Proposition \ref{prop12}
	and the fact that \eqref{th14} implies $\mathbb{E}(X)=0$.
	The sufficiency follows from the implication (i)$\Rightarrow$(ii) of Theorem \ref{thm:stable11} in Section \ref{sec:stable}.
\end{proof}

\begin{proof}[Proof of Corollary \ref{cor01}]
Recalling Proposition \ref{prop12}, if $0<q<p<2$, then \eqref{m09} is equivalent to $X\in\operatorname{SLLN}(p,q)$.
	Therefore, the case where $0<q<p<1$ follows from Theorem \ref{thm14}, and the case where $0<q<1\le p<2$ follows from Theorem \ref{thm15}.

	We now consider the case where $0<q=p<1$. If \eqref{m09} holds, then by applying Proposition \ref{prop12} again, we obtain \eqref{m11} (with $q=p$).
	Conversely, if \eqref{m11} (with $q=p$) holds, then by following the proof of Lemma 5.6 of Li, Qi, and Rosalsky \cite{LQR11} with $\|X\|^p$ in the
	place of $\|X\|$, we obtain
	\[\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|X\|^p \mathbf{1}(\min\{u_{n}^p,n\}< \|X\|^p\le n)\right)}{n}<\infty.\]
	Therefore, \eqref{m03} (with $q=p$) holds, and by applying Theorem \ref{thm14}, we have $X\in\operatorname{SLLN}(p,p)$, i.e., \eqref{th16} holds with $q=p$.
	The conclusion \eqref{m09} then follows from Proposition \ref{prop12}.
\end{proof}

We close this section by presenting three simple examples to illustrate Theorem \ref{thm14}, as mentioned in Remark \ref{rem01}.
The first example shows that, for $0<p<1$, there exists a random variable $X$ such that $X\in\operatorname{SLLN}(p,p)$ but $X\notin\operatorname{SLLN}(p,q)$ for all $0<q<p$.

\begin{example}\label{t01}
		Let $0<p<1$. For $q>0$, let $X$ be a real-valued random variable such that
		its tail probability function is
		\[\mathbb{P}\left(X>t\right)={\mathbf{1}}\{t\le\mathrm{e}\}+\dfrac{{\mathrm{e}}^q}{t^q(\ln t)^{2p/q}}{\mathbf{1}}\{t>\mathrm{e}\},\ t\in\mathbb{R} .\]
		Then for all $t>\mathrm{e}^q$, we have
		\[\mathbb{P}\left(|X|^q>t\right)=\mathbb{P}(X>t^{1/q})=\dfrac{{\mathrm{e}}^q}{t(\ln t^{1/q})^{2p/q}}.\]
		Therefore
		\begin{equation*}
		\int_{0}^{\infty}\mathbb{P}^{q/p}(|X|^q>t)\mathrm{d} t
		=\infty\ \text{ if }\ q<p.
		\end{equation*}
		For $q=p$, elementary calculus also shows that
		\begin{equation}\label{r07}
		\mathbb{E}\left(|X|^p \ln^{1/2} (1+|X|^p)\right)<\infty.
		\end{equation}
		The proof of Lemma 5.6 of Li, Qi, and Rosalsky \cite{LQR11} shows that, for any random variable $X$, if
		\[\mathbb{E}\left(\|X\| \ln^{\delta} (1+\|X\|)\right)<\infty\ \text{ for some }\ \delta>0,\]
		then
		\[\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(\|X\| \mathbf{1}(\min\{u_{n},n\}< \|X\|\le n)\right)}{n}<\infty.\]
		It thus follows from \eqref{r07} that \eqref{m03} holds for $q=p$.
		By Theorem \ref{thm14} we see that, for this example,  $X\in\operatorname{SLLN}(p,p)$ but $X\notin\operatorname{SLLN}(p,q)$ for all $0<q<p$.
\end{example}

The next two examples show that each of the two conditions that
appeared in \eqref{m03} (for the case where $p=q$) does not imply each other.
Examples \ref{t03} and \ref{t05} are inspired by Examples 5.2 and 5.3 of Li, Qi, and Rosalsky \cite{LQR11}, respectively.

\begin{example}\label{t03}

		Let $0<p<1$ and let $X$ be a real-valued random variable such that its tail probability function is
		\[\mathbb{P}\left(X>t\right)={\mathbf{1}}\{t\le {\mathrm{e}}^{\mathrm{e}}\}+\dfrac{{\mathrm{e}}^{\mathrm{e}p+1}}{t^p(\ln t)(\ln \ln t)^2}{\mathbf{1}}\{t>{\mathrm{e}}^{\mathrm{e}}\},\ t\in\mathbb{R}.\]
		Then $\mathbb{E}(|X|^p)<\infty$ and by the same calculation as in Lemma 5.2 of Li, Qi, and Rosalsky \cite{LQR11}, we have
		\[\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(|X|^p \mathbf{1}(\min\{u_{n}^p,n\}<|X|^p\le n)\right)}{n}=\infty.\]

\end{example}

\begin{example}\label{t05}
		Let $0<p<1$ and let $X$ be a real-valued random variable such that its tail probability function is
		\[\mathbb{P}\left(X>t\right)={\mathbf{1}}\{t\le 1\}+\dfrac{1}{t^p}{\mathbf{1}}\{t>1\},\ t\in\mathbb{R}.\]
		Then $\mathbb{E}(|X|^p)=\infty$ and
		\[\sum_{n=1}^\infty \dfrac{\mathbb{E}\left(|X|^p \mathbf{1}(\min\{u_{n}^p,n\}< |X|^p\le n)\right)}{n}=0\]
		since $u_{n}^p=n$.
\end{example}

\section{Further remarks}\label{sec:remark}
This work has been devoted to $(p,q)$-type SLLN and related results for one-parameter processes.
	As noted by Khoshnevisan \cite{Khoshnevisan},
	``there are a number of compelling reasons for studying random fields,
	one of which is that, if and when possible, multiparameter processes are a
	natural extension of existing one-parameter processes''.
	Some of the tools used in this paper such as the generalization
	of Ottaviani’s inequality developed by Li and Rosalsky \cite{LiRosalsky13}
	or Lemma \ref{RTV} are available for
	multiparameter processes (see \cite{ATT,ThanhThuy}), but it is unclear whether
	the methods of this paper can be pushed through.


\section{Introduction} \label{sec:introduction}
In typical microfluidic applications, the Reynolds number is very small and the flow is laminar. If chaotic mixing is not induced by the device geometry via fully three-dimensional flow fields, mixing is due to molecular diffusion only, resulting in long diffusion times, which limits the efficiency of micro-scale devices. In this context, we study here the feasibility to use a soft elastic wall to enhance mixing by inducing self-sustained chaotic velocity fluctuations also at very low Reynolds numbers.

Several strategies have been proposed in the past to increase mixing in micro-devices, which can be classified into passive and active: in the former, the mixing is enhanced through curved streamlines \citep{knight_vishwanath_brody_austin_1998a, bessoth_manz_others_1999a,  stroock_dertinger_ajdari_mezic_stone_whitesides_2002a, lee_chang_wang_fu_2011a, lee_wang_liu_fu_2016a}, while in the latter the flow is made unsteady by an external actuation \citep{glasgow_aubry_2003a, bazant_squires_2004a, mensing_pearce_graham_beebe_2004a, kazemi_nourian_nobari_movahed_2017a, keshavarzian_shamshiri_charmiyan_moaveni_2018a}. Here, we focus on the possibility to enhance mixing in micro-channels by using elastic walls: the interaction between the soft wall and the flow results in a dynamical instability, which induces transition at very low Reynolds numbers \citep{verma_kumaran_2013a}. In particular, previous linear stability studies \citep{kumaran_1996a, shankar_kumaran_1999a, kumaran_muralikrishnan_2000a} have shown that the flow over elastic walls is unstable to infinitesimal disturbances when the Reynolds number exceeds a critical value which can be tuned by decreasing the shear modulus of the soft wall, thus suggesting that there is an instability even at zero Reynolds number. The existence of this instability has been proved experimentally by \citet{verma_kumaran_2012a}, reaching a transitional Reynolds number of $200$ for the softest wall used in the experiments.

Flow instabilities at low Reynolds numbers have been previously observed in the presence of elasticity; in particular, so-called purely elastic instabilities have been reported for viscoelastic fluids in a wide variety of flow configurations and they can be generally found when inertial forces are negligible compared to elasticity  \citep{gardner_pike_miles_keller_tanaka_1982a, larson_1992a, shaqfeh_1996a, mckinley_pakdel_oztekin_1996a, haward_mckinley_shen_2016a}. Such instabilities are due to the non-linear coupling between the flow and the constitutive equation of the non-Newtonian fluid and lead to the so-called elastic turbulence \citep{groisman_steinberg_2000a, berti_boffetta_2010a, lim_ober_edd_desai_neal_bong_doyle_mckinley_toner_2014a, kawale_marques_zitha_kreutzer_rossen_boukany_2017a, steinberg_2019a}. Here, we will extend these works by considering a simple Newtonian fluid non-linearly coupled to a viscoelastic wall, and show that a self-sustained chaotic flow can be observed.

In this work, we present new Direct Numerical Simulations (DNS) of the flow over an incompressible hyper-elastic wall at Reynolds number where turbulence cannot be sustained in channels with rigid walls and show that fluid velocity fluctuations can be sustained by tuning the wall elasticity. In the fluid part of the channel, the full incompressible Navier--Stokes equations are solved, while momentum conservation and incompressibility constraint are enforced inside the solid material. In \secref{sec:formulation}, we first discuss the flow configuration and governing equations, and then present the numerical methodology used. The effects of an hyper-elastic wall on the channel flow are presented in \secref{sec:result}. Finally, a summary of the main findings and some conclusions are drawn in \secref{sec:conclusion}.

\begin{figure}
  \centering
  \includegraphics[width=0.35\textwidth]{fig1}
  \caption{Sketch of the channel considered in the present work: two solid walls are located at $y=0$ and $2h+h_e$, while $y=2h$ indicates the interface between the fluid region and the elastic layer.}
  \label{fig:sketch}
\end{figure}

\section{Formulation} \label{sec:formulation}
We consider the flow of an incompressible viscous fluid through a channel with an incompressible hyper-elastic wall. A sketch of the geometry and the Cartesian coordinate system are reported in \figrefS{fig:sketch}: $x$, $y$ and $z$ denote the streamwise, wall-normal and spanwise coordinates, and $u$, $v$ and $w$ the corresponding velocity components. The channel is bounded by two rigid walls located at $y=0$ and $2h+h_e$, while the elastic layer extends from $y=2h$ to $2h+h_e$, where $h_e$ represents the height of the layer, fixed here to $h_e=0.5h$. In this work, we assume the interface of the elastic layer to be initially flat. Periodic boundary conditions are imposed in the streamwise and spanwise directions.

The fluid and solid phase motion is governed by the conservation of momentum and the incompressibility constraint:
\begin{align}
\label{eq:NS}
\frac{\partial u_i^p}{\partial t} + \frac{\partial u_i^p u_j^p}{\partial x_j} = \frac{1}{\rho} \frac{\partial \sigma_{ij}^p}{\partial x_j} \;\;\; \textrm{and} \;\;\; \frac{\partial u_i^p}{\partial x_i} = 0,
\end{align}
where the suffix $^p$ is used to distinguish the fluid $^f$ and solid $^s$ phases. In the previous set of equations, $\rho$ is the density (assumed to be the same for the solid and fluid), and $\sigma_{ij}$ the Cauchy stress tensor. The two phases are coupled at the interface by the continuity of the velocity and traction force, i.e.,\  $u_i^f = u_i^s$ and $\sigma_{ij}^f n_j = \sigma_{ij}^s n_j$, where $n_i$ denotes the normal to the interface.

To numerically solve the fluid-structure interaction problem at hand, we introduce a monolithic velocity vector field $u_i$ valid everywhere, found by a volume averaging procedure. In particular, we introduce an additional variable $\phi^s$ which is the solid volume fraction; this is zero in the fluid and one in the solid, with $0\le\phi^s\le1$ around the interface. By doing so, we can now write the stress in a mixture form as
\begin{equation}
\label{eq:phi-stress}
\sigma_{ij} = \left( 1 - \phi^s \right) \sigma_{ij}^f + \phi^s \sigma_{ij}^s.
\end{equation}
This is the so-called one-continuum formulation \cite{tryggvason_sussman_hussaini_2007a}. The fluid is Newtonian and the solid is an incompressible viscous hyper-elastic material with constitutive equations
\begin{equation}
\label{eq:stress}
\sigma_{ij}^f = -p \delta_{ij} + 2 \mu \mathcal{D}_{ij} \;\;\;\; \textrm{and} \;\;\;\; \sigma_{ij}^s = -p \delta_{ij} + 2 \mu \mathcal{D}_{ij} + G \mathcal{B}_{ij},
\end{equation}
where $p$ is the pressure, $\mu$ the dynamic viscosity (assumed to be the same in the two phases), $\mathcal{D}_{ij}$ the strain rate tensor defined as $\mathcal{D}_{ij}=\left( \partial u_i/\partial x_j + \partial u_j/\partial x_i \right)/2$ and $\delta_{ij}$ is the Kronecker delta. The last term in the solid Cauchy stress tensor $\sigma_{ij}^s$ is the hyper-elastic contribution modelled as a neo-Hookean material, thus satisfying the incompressible Mooney-Rivlin law, where $\mathcal{B}_{ij}$ is the left Cauchy-Green deformation tensor and $G$ the modulus of transverse elasticity. The full set of equations can be closed in a purely Eulerian manner by updating $\mathcal{B}_{ij}$ and $\phi^s$ with the following transport equations:
\begin{equation}
\label{eq:adv}
\frac{\partial \mathcal{B}_{ij}}{\partial t} + \frac{\partial u_k \mathcal{B}_{ij}}{\partial x_k} = \mathcal{B}_{kj}\frac{\partial u_i}{\partial x_k} + \mathcal{B}_{ik}\frac{\partial u_j}{\partial x_k} \;\;\;\; \textrm{and} \;\;\;\; \frac{\partial \phi^s}{\partial t} + \frac{\partial u_k \phi^s}{\partial x_k} = 0.
\end{equation}

\subsection{Numerical implementation}
The previous set of equations are solved numerically: the time integration is based on an explicit fractional-step method \citep{kim_moin_1985a}, where all the terms are advanced with the third order Runge-Kutta scheme, except the solid hyper-elastic contribution which is advanced with the Crank-Nicolson scheme \citep{min_yoo_choi_2001a}. The governing differential equations are solved on a staggered grid using a second order central finite-difference scheme, except for the advection terms in \equref{eq:adv} where the fifth-order WENO scheme is applied. The code has been extensively validated, and more details on the numerical scheme and validation campaign are reported in Refs.\ \onlinecite{rosti_brandt_2017a, rosti_brandt_2018a, rosti_brandt_mitra_2018a, izbassarov_rosti_niazi-ardekani_sarabian_hormozi_brandt_tammisola_2018a, alghalibi_rosti_brandt_2019a, rosti_pramanik_brandt_mitra_2020a}; more details on the numerical method can be found in \citet{sugiyama_ii_takeuchi_takagi_matsumoto_2011a}.

For all the flows considered hereafter, the equations of motion are discretised on a fixed, Cartesian and uniform mesh with $1296 \times 540 \times 648$ grid points on a computational domain of size $6hk \times 2.5h \times 3hk$ in the streamwise, wall-normal and spanwise directions. $k$ is a factor used to increase the size of the domain in the homogeneous direction as the Reynolds number decreases \citep{tsukahara_seki_kawamura_tochio_2005a}; in particular, $k=1$, $4.30$, $18.5$, $79.5$ and $237$ for $Re_b=2800$, $651$, $151$, $35$ and $11$, respectively. The spatial resolution has been chosen in order to properly resolve the wall deformation for all the Reynolds numbers considered in the present study \citep{rosti_brandt_2017a}.

\section{Results} \label{sec:result}
We study laminar and turbulent channel flows over viscous hyper-elastic walls, together with the baseline cases over stationary impermeable walls. All the simulations are performed at constant flow rate, and thus the pressure gradient needed to drive the flow is determined at every time step to ensure this condition; it oscillates around a constant value at statistical state. The flow Reynolds number is defined based on the bulk velocity, i.e.,\  $Re_b=\rho U_b h/\mu$, where $U_b$ is the average value of the mean velocity computed across the whole domain occupied by the fluid phase; the choice of using $U_b$ and $h$ as reference velocity and length facilitates the comparison between the flow in a channel with elastic walls and the flow in a channel bounded by rigid walls. In the present work, we vary the bulk Reynolds number $Re_b$ and the modulus of transverse elasticity $G$. The full set of simulations is reported in \tabref{tab:cases}. All the simulations start with a fully developed turbulent flow over rigid walls, and then after an initial transient, a new statistically steady state solution is reached, either laminar or turbulent.

\begin{table}
\centering
\setlength{\tabcolsep}{5pt}
\begin{tabular}{ccccc|ccccc}
$Re_b$	&	$G/\left( \rho U_b^2 \right)$	&	$\overline{Re}_\tau$	&	$\overline{u}_M/U_b$		&	$\widehat{y}_M/h$	&	$Re_b$	&	$G/\left( \rho U_b^2 \right)$	&	$\overline{Re}_\tau$	&	$\overline{u}_M/U_b$		&	$\widehat{y}_M/h$			\\
\hline
$2800$	&	$\infty$									&	$180.0$		&	$1.16$											&	$~~0.000$	&	$151$		&	$\infty$									&	$21.3$		&	$1.50$										&	$~~0.000$	\\
$2800$	&	$4.0$										&	$180.8$		&	$1.17$											&	$-0.030$	&	$151$		&	$1.0$										&	$21.8$		&	$1.47$										&	$-0.069$	\\
$2800$	&	$2.0$										&	$203.3$		&	$1.19$											&	$-0.076$	&	$151$		&	$0.5$										&	$51.0$		&	$1.41$										&	$-0.222$	\\
$2800$	&	$1.0$										&	$240.5$		&	$1.23$										&	$-0.206$	&	$35$		&	$\infty$									&	$10.2$		&	$1.50$										&	$~~0.000$	\\
$2800$	&	$0.5$										&	$337.0$		&	$1.32$										&	$-0.386$	&	$35$		&	$1.0$										&	$11.2$			&	$1.49$										&	$-0.007$	\\
$651$		&	$\infty$									&	$49.8$		&	$1.29$										&	$~~0.000$	&	$35$		&	$0.5$										&	$15.3$		&	$1.48$										&	$-0.014$	\\
$651$		&	$2.0$										&	$49.8$		&	$1.30$										&	$-0.010$	&	$11$		&	$\infty$									&	$5.7$		&	$1.50$										&	$~~0.000$	\\
$651$		&	$1.0$										&	$68.3$		&	$1.33$										&	$-0.031$	&	$11$		&	$0.5$										&	$5.7$		&	$1.50$										&	$~~0.000$ \\
$651$		&	$0.5$										&	$151.1$		&	$1.37$											&	$-0.463$	&	~				&	~												&	~				&		~												&		~
\end{tabular}
\caption{Summary of the DNSs performed, all with fixed thickness of the elastic layer $h_e=0.5h$. The table reports the bulk Reynolds number $Re_b$, the shear elastic modulus $G$, the mean friction Reynolds number $\overline{Re}_\tau$, the maximum velocity $\overline{u}_M$, and its distance from the channel centerline $\widehat{y}_M = y_M - h$.}
\label{tab:cases}
\end{table}

The friction velocity $u_\tau$ will be often employed in the following and is defined here as
\begin{equation} \label{eq:friction_velocity_total}
\overline{u}_\tau = \sqrt{\frac{\mu}{\rho} \dfrac{d \overline{u}}{d y} - \overline{u'v'} + \frac{G}{\rho} \overline{B}_{12} },
\end{equation}
where the quantities are evaluated at the mean interface location, $y=2h$. In the previous relation and in the rest of the work, the overline and the prime represent the mean and fluctuation obtained by averaging over the homogeneous directions and in time. The previous definition is used because, when the channel has moving walls, the friction velocity needs to account for the Reynolds and the elastic shear stress, that are in general non-zero at the solid-fluid interface. Note that, the actual value of the friction velocity of the elastic wall is computed from its friction coefficient, found by combining the information of the total $C_f$, obtained from the driving streamwise pressure gradient, and the one of the lower rigid wall \citep[see also][]{rosti_brandt_2017a}.

\begin{figure}
  \centering
  \includegraphics[width=0.49\textwidth]{dpdxGz}
  \includegraphics[width=0.49\textwidth]{dpdx2800}
  \caption{Time history of the friction Reynolds number $Re_\tau$ space averaged over the wall. The blue, magenta, red, green and cyan lines are used to distinguish the different bulk Reynolds numbers, $Re_b=2800$, $651$, $151$, $35$ and $11$, while the solid, dash-dotted, dashed and dotted lines to distinguish the different shear elastic moduli, $G/\rho U_b^2=0.5$, $1$, $2$ and $4$. In panel $(a)$, the amplitude of the fluctuations is amplified by a factor $5$ (magenta line), by $10$ (red line) and by $20$ (green line).}
  \label{fig:reynoldsTime}
\end{figure}
We start our analysis by studying in \figrefS{fig:reynoldsTime} the time evolution of the friction Reynolds number $Re_\tau$, i.e.,\  $u_\tau h/\nu$. In particular, panel a) shows the friction Reynolds number for the cases with the minimum elastic modulus $G=0.5 \rho U_b^2$, thus corresponding to the most deformable wall, and for different bulk Reynolds number $Re_b$. We observe that, as expected, the friction Reynolds number decreases with the bulk Reynolds number and also the amplitude of its fluctuations. However, differently from the flow over rigid walls, the flow remains unstable even for very low Reynolds numbers, $Re_b=35$ in this case, while a further reduction of the Reynolds number leads to the flow laminarisation. If we fix the bulk Reynolds number $Re_b$ and vary only the elastic modulus $G$, three different behaviors can be observed, as shown by the space and time averaged friction Reynolds number $\overline{Re}_\tau$ pertaining all cases studied in the present work collected in \figref[$a$]{fig:reynolds}: \textit{(i)} for high $Re_b$, as $G$ increases (the wall becomes more rigid) $\overline{Re}_\tau$ decreases eventually saturating at the value obtained for a turbulent flow over rigid walls, see also the time histories in \figref[$b$]{fig:reynoldsTime}; \textit{(ii)} for intermediate $Re_b$, as $G$ increases $\overline{Re}_\tau$ decreases eventually leading to a  fully laminar flow, the friction assuming the same value obtained for a laminar flow over rigid walls; \textit{(iii)} for low Reynolds numbers, the flow always becomes laminar for any initial condition and the friction Reynolds number is the same obtained for a laminar flow over rigid walls. Indeed, the thin lines in \figref[$a$]{fig:reynolds} display the characteristic values for laminar and turbulent channel flows. For every $Re_b$, reducing the wall elasticity implies a reduction of the resulting $\overline{Re}_\tau$; all cases converge to the rigid wall solution as $G$ increases, in particular, $\overline{Re}_\tau$ converges to the turbulent experimental correlation $0.09 \left( 2Re_b \right)^{0.88}$ (see e.g.,\  Ref.~\onlinecite{pope_2001a}) for $Re_b \gtrsim 482$ and to the laminar analytical solution $\sqrt{3Re_b}$ for $Re_b \lesssim 482$ as $G \rightarrow \infty$.

\begin{figure}
  \centering
  \includegraphics[width=0.49\textwidth]{reynolds}
  \includegraphics[width=0.49\textwidth]{turbIntIn}
  \caption{$(a)$ Mean friction Reynolds number $\overline{Re}_\tau$ and $(b)$ root mean square of the friction velocity normalised by its mean, i.e.,\  $\mathcal{I}=\sqrt{\overline{u_\tau' u_\tau'}}/\overline{u}_\tau$, as a function of the bulk Reynolds number. The blue, magenta, red, green and cyan colors are used to distinguish different bulk Reynolds numbers $Re_b=2800$, $651$, $151$, $35$ and $11$, while the upper-triangle $\blacktriangle$, circle {\Large $\bullet$}, rombus $\blacklozenge$ and lower-triangle $\blacktriangledown$ to distinguish different shear elastic moduli $G/\rho U_b^2=0.5$, $1$, $2$ and $4$. The grey and black lines in panel a) are the analytical solutions for laminar flows and the experimental correlation for turbulent flows, respectively. The inset in panel b) reports the contour of $\mathcal{I}\%$ as a function of the Reynolds number $Re_b$ and elastic shear modulus $G$ obtained by interpolation and extrapolation of our data. The black lines are separated by $0.5$.}
  \label{fig:reynolds}
\end{figure}

\begin{figure}
  \centering
  \includegraphics[width=0.49\textwidth]{turbIntElas}
  \caption{Root mean square of the friction velocity normalised by its mean, i.e.,\  $\mathcal{I}=\sqrt{\overline{u_\tau' u_\tau'}}/\overline{u}_\tau$, as a function of the ratio of the normlaised wall elasticity $G$ and bulk Reynolds number, i.e.,\  $G/\rho U_b^2 Re_b$. The blue, magenta, red and green colors are used to distinguish different bulk Reynolds numbers $Re_b=2800$, $651$, $151$ and $35$, while the upper-triangle $\blacktriangle$, circle {\Large $\bullet$}, rombus $\blacklozenge$ and lower-triangle $\blacktriangledown$ to distinguish different shear elastic moduli $G/\rho U_b^2=0.5$, $1$, $2$ and $4$.}
  \label{fig:elasticity}
\end{figure}
To quantify the unsteady nature of the flow, we compute the root mean square of the friction velocity $\sqrt{\overline{u_\tau' u_\tau'}}$, used here as a measure of the flow fluctuations. This is divided by its mean value and reported in \figref[$b$]{fig:reynolds} as a function of the bulk Reynolds number for all the cases considered here. Consistently with the previous discussion, we observe that reducing the wall elasticity induces a reduction of the fluctuations. This reduction is strongly non-linear, with large reduction for increment in small values of $G$ and small reduction for increment in large values of $G$. Also, we can observe again that the high Reynolds number cases converge, as $G$ increases, to a non-zero level of fluctuations, i.e.,\  the turbulent rigid wall solution, while the low Reynolds number cases tend to the laminar solution with zero fluctuations. Reducing the Reynolds number, we observe a further reduction of the fluctuation intensity; also in this case the variation is strongly non-linear with large reductions of the fluctuation intensity for large Reynolds numbers, while smaller variation are observed at small $Re_b$, when the flow tends to become laminar. The inset of \figref[$b$]{fig:reynolds} shows the same quantity, $\mathcal{I}$, as a function of both $Re_b$ and $G$ as a contour plot obtained by interpolating and extrapolating our data. We observe that, although in general $\mathcal{I}$ is a function of both $Re_b$ and $G$, i.e.,\  $\mathcal{I} = \mathcal{F} \left( Re_b, G \right)$, there is a critical value $G^* \left( Re_b\right)$ above which the solution does not significantly change anymore with the wall elasticity, and thus $\mathcal{I} = \mathcal{F}_r \left( Re_b \right)$ for $G>G^*$, where $\mathcal{F}_r$ is the solution for the flows over rigid walls. On the other hand, for $G<G^*$ the solution strongly depends on the wall elasticity: this suggests that it is possible to maintain an unsteady chaotic turbulent-like flow in principle for any Reynolds number down to $0$, as long as the wall shear elastic modulus $G$ is reduced accordingly. If we now replot the data in \figref[$b$]{fig:reynolds} as a function of a new quantity, obtained as the ratio of the wall elasticity $G/\rho U_b^2$ and the bulk Reynolds number $Re_b$, we obtain \figrefS{fig:elasticity}. By doing so, all the non-laminar cases successfully collapse onto a single master curve, decaying with power $-0.75$, i.e.,\  $\mathcal{I} \sim \left( G/\rho U_b^2 Re_b \right)^{-0.75}$. This behaviour further corroborates the idea that the level of fluctuations in the channel can be amplified either by increasing the Reynolds number (at fixed elasticity) or by increasing the wall flexibility, i.e.,\  reducing $G$ (at fixed Reynolds number).

\begin{figure}
  \centering
  \includegraphics[width=0.49\textwidth]{mean2800}
  \includegraphics[width=0.49\textwidth]{meanG}
  \caption{Mean velocity profile $\overline{u}$ as a function of the wall-normal distance $y$ for $(a)$ different wall elastic moduli $G$ at $Re_b=2800$ and for $(b)$ different Reynolds numbers $Re_b$ with $G=0.5 \rho U_b^2$. The line colors and styles are the same as in \figrefS{fig:reynoldsTime}. The symbols represent the profiles from the DNS by Kim, Moin and Moser \cite{kim_moin_moser_1987a} of turbulent flow between two solid rigid walls plotted as a reference.}
  \label{fig:U}
\end{figure}
\begin{figure}
  \centering
  \includegraphics[width=0.49\textwidth]{reyK}
  \includegraphics[width=0.49\textwidth]{reyKp}
  \caption{Mean turbulent kinetic energy $\mathcal{K}$ as a function of the wall-normal distance $y$ for $(a)$ different wall elastic moduli $G$ at $Re_b=2800$ and for $(b)$ different Reynolds numbers $Re_b$ with $G=0.5 \rho U_b^2$. The line colors and styles are the same as in \figrefS{fig:reynoldsTime}. The symbols represent the profiles from the DNS by Kim, Moin and Moser \cite{kim_moin_moser_1987a} of turbulent flow between two solid rigid walls plotted as a reference.}
  \label{fig:K}
\end{figure}

Next, we characterize the unsteady flows in terms of mean and fluctuation velocities. We start by considering the wall-normal profiles of the mean velocity $\overline{u}$ and turbulent kinetic energy $\mathcal{K} = \rho \overline{u'_i u'_i} /2$, reported in \figrefS{fig:U} and \figrefS{fig:K}. In particular, the left panels of the two figures show $\overline{u}$ and $\mathcal{K}$ at a fixed Reynolds number ($Re_b=2800$) and for all the wall elasticities $G$ studied in this work, while the right ones report $\overline{u}$ and $\mathcal{K}$ for a fixed wall elasticity ($G=0.5\rho U_b^2$) and for all the Reynolds numbers $Re_b$. From \figrefS{fig:U}, we observe that the mean velocity of the elastic wall is equal to zero \citep{rosti_brandt_2017a}; indeed, the elastic layer can only oscillates around its equilibrium position being attached to the top stationary rigid wall. Although the mean velocity is zero inside this layer, the elastic layer induces profound modification of the fluid flow in the channel. In particular, the mean velocity profile becomes more skewed, with its maximum $\overline{u}_M$ increasing and located closer to the rigid wall as the elasticity increases ($G$ decreases) as shown in \figref[$a$]{fig:U}. Note that, an inflection point in the mean profile appears within the fluid region ($0<y<2h$), usually associated to the occurrence of a Kelvin-Helmholtz instability and the formation of large scale spanwise-correlated rollers \citep{jimenez_uhlmann_pinelli_kawahara_2001a, rosti_cortelezzi_quadrio_2015a, kuwata_suga_2016a, rosti_brandt_2017a, rosti_brandt_pinelli_2018a, kuwata_suga_2019a, monti_omidyeganeh_pinelli_2019a, monti_omidyeganeh_eckhardt_pinelli_2020a}. When the Reynolds number is decreased (right panel), the asymmetry in the flow reduces with the maximum velocity increasing and its location moving back towards the channel center. Eventually, the laminar analytical profile is recovered for the smallest $Re_b$ considered.

When focusing on the velocity fluctuations in \figref[$a$]{fig:K}, we observe that the turbulent kinetic energy $\mathcal{K}$ is higher close to the elastic wall than close to the rigid wall, with the maximum value becoming almost the double of the peak close to the bottom wall for the most deformable case (left panel). This is due to the movement of the deformable wall which strongly increases the velocity fluctuations, especially the ones in the wall-normal directions, i.e.,\  $v'$ (see e.g.,\  Ref.~\onlinecite{rosti_brandt_2017a}). Furthermore, the near-wall peaks of the turbulent kinetic energy move farther from the elastic walls as the elasticity is increased. The turbulent fluctuations have non-zero values at $y = 2h$ for the elastic cases, since the no-slip condition is now enforced on a wall which is moving, i.e.,\  $u_i^f=u_i^s$. In particular, $\mathcal{K}$ does not clearly vanish until reaching the rigid top wall ($y=2.5h$), thus indicating that the fluctuations propagate deeply inside the solid layer. The asymmetry in the flow originates from the asymmetry of the geometry; this induces the shift of the minimum of $\mathcal{K}$ towards the rigid walls, as well as the shift in the same direction of the maximum velocity, as reported in \tabref{tab:cases}.

\figrefC[$b$]{fig:K} shows how the turbulent kinetic energy $\mathcal{K}$ scales with the Reynolds number, for a fixed wall elasticity; in particular, the softest wall is considered here. We observe that, as $Re_b$ decreases the peak of turbulent kinetic energy close to the rigid wall rapidly vanishes, as expected for flows over rigid walls, where the lowest Reynolds number able to sustain a turbulent flow is around $600$, as reported by \citet{tsukahara_seki_kawamura_tochio_2005a}. A similar trend is evident for the peak close to the moving wall, but the decrease is much lower than for a rigid wall. Indeed, for $Re_b<600$ the near-wall peak close to the rigid wall completely disappear, and the profiles exhibit a single peak close to elastic wall. Also, the peak moves away from the deformable wall towards the bulk of the channel as the Reynolds number reduces, indicating that all the turbulent fluctuations in the channel at low $Re_b$ are produced by the moving wall, then propagating across the channel.

\begin{figure}
  \centering
  \includegraphics[width=0.49\textwidth]{stressBALg}
  \includegraphics[width=0.49\textwidth]{stressBALre}
  \caption{Reynolds shear stress $-\rho \overline{u'v'}$ (solid line), viscous stress $\mu d\overline{u}/dy$ (dash-dotted line) and shear elastic stress $G\overline{B}_{12}$(dotted line) in wall units as a function of the wall-normal distance from the elastic wall $\widetilde{y}=2h-y$ normalised by $\widetilde{y}_M=2h-y_M$ for $(a)$ different wall elastic moduli $G$ at $Re_b=2800$ and for $(b)$ different Reynolds numbers $Re_b$ with $G=0.5 \rho U_b^2$. The values of $y_M$ used to normalize the different abscissa can be obtained from \tabref{tab:cases}. In particular, the blue, brown and red colors in the two panels are used for the cases $Re_b=2800$ and $G=0.5 \rho U_b^2$, $Re_b=2800$ and $G=4 \rho U_b^2$, and $Re_b=151$ and $G=0.5 \rho U_b^2$.}
  \label{fig:stressBal}
\end{figure}
Apart from the diagonal components of the Reynolds stress tensor discussed above in terms of the turbulent kinetic energy, another important observable is the off-diagonal shear component of the Reynolds stress tensor $- \rho \overline{u'v'}$, which together with the mean viscous $\mu d\overline{u}/dy$ and elastic stress $G\overline{B}_{12}$ shear components form the total shear stress, i.e.,\
\begin{equation} \label{eq:shearBalance}
\tau = \mu d\overline{u}/dy - \rho \overline{u'v'} + G\overline{B}_{12}.
\end{equation}
All of these are reported in \figref[$a$]{fig:stressBal} for the cases at $Re_b=2800$ (solid lines). The cross Reynolds stress component is strongly affected by the presence of the moving wall: the maximum value increases and moves away from the wall as the elasticity increases at a fixed Reynolds number. The stress profiles vary linearly in the bulk of the channel away from the wall, although with different slopes depending on $Re_b$ and $G$. Most of these effects are well compensated in the figure by dividing $\widetilde{y}$ with $\widetilde{y}_M=2h-y_M$, i.e.,\  the distance of the location of the maximum mean velocity from the elastic wall. At the interface the value of the stress is not null as in the rigid case, however, inside the elastic layer the Reynolds shear stress vanishes quickly. The mean viscous stress is almost null in the solid and in the bulk of the channel and exhibits a small peak close to the interface which increase as $G$ increases, i.e.,\  the wall is more rigid, eventually having the maximum at the interface for the completely rigid case; the elastic stress, on the contrary, is null in the fluid region and almost the total stress in the solid layer. Thus, we can conclude that the total shear stress is dominated by the elastic stress in the solid layer, by the Reynolds stress in the bulk of the channel and by the balance of all the three components at the interface, with the relative contributions at the interface strongly changing with $G$: for rigid walls the dominant and only contribution not null at the interface is the viscous stress, while for flexible walls the Reynolds and elastic stresses grow with the wall elasticity. When the Reynolds number is varied, the balance between the three terms is significantly altered, as shown in \figref[$b$]{fig:stressBal}. Indeed, as the Reynolds numbers decreases, the Reynolds shear stress peak shifts away from the wall, thus reducing its total contribution. On the other hand, the viscous contribution increases and compensates for the loss of Reynolds shear stress. For the lowest Reynolds number (not shown in the figure), the flow is fully laminar, and the total stress is equal to the elastic stress in the solid layer and to the viscous stress in the fluid region, with the Reynolds shear stress being null. From the figure we can conclude that, differently from the flow over rigid walls, the turbulent fluctuations do not rapidly vanish when reducing the Reynolds number because of their persistence in the bulk of the channel.

To confirm these observations, we consider the turbulent kinetic energy balance. To do so, we decompose the velocity field $u_i \left( x, y, z, t \right)$ into its mean $\overline{u}_i \left( y \right)$ and fluctuation $u'_i \left( x, y, z, t \right)$ as $u_i = \overline{u}_i + u'_i$. By substituting this into the governing equation, we obtain
\begin{equation}
\rho \left( \frac{\partial u'_i}{\partial t} + \frac{\partial u'_i u'_j}{\partial x_j} + \frac{\partial \overline{u}_i u'_j}{\partial x_j} + \frac{\partial u'_i \overline{u}_j}{\partial x_j} + \frac{\partial \overline{u}_i \overline{u}_j}{\partial x_j} \right)  = - \frac{\partial p}{\partial x_i} + 2\mu \frac{\partial  \mathcal{D}_{ij}}{\partial x_j} + G \frac{\partial \phi^s \mathcal{B}_{ij}}{\partial x_j},
\end{equation}
which can be rewritten for later convenience as
\begin{equation}
\rho \left( \frac{\partial u'_i}{\partial t} + \frac{\partial u'_i u'_j}{\partial x_j} + u'_j \frac{\partial \overline{u}_i}{\partial x_j} + \frac{\partial u'_i \overline{u}_j}{\partial x_j} + \frac{\partial \overline{u}_i \overline{u}_j}{\partial x_j} \right)  = - \frac{\partial p}{\partial x_i} + 2\mu \frac{\partial  \mathcal{D}_{ij}}{\partial x_j} + G \frac{\partial \phi^s \mathcal{B}_{ij}}{\partial x_j}.
\end{equation}
We now multiply the equation by $u'_i$ and obtain
\begin{equation}
\begin{split}
\rho \left( \frac{\partial u'_i u'_i/2}{\partial t} + \frac{\partial u'_i u'_i u'_j/2}{\partial x_j} + u'_i u'_j \frac{\partial \overline{u}_i}{\partial x_j} + \frac{\partial u'_i u'_i \overline{u}_j/2}{\partial x_j} + u_i \frac{\partial \overline{u}_i \overline{u}_j}{\partial x_j} \right)  = \\
- \frac{\partial u'_i p}{\partial x_i} + 2\mu \frac{\partial  u'_i \mathcal{D}_{ij}}{\partial x_j} - 2 \mu \mathcal{D}_{ij} \mathcal{D}_{ij} + G \frac{\partial u'_i \phi^s \mathcal{B}_{ij}}{\partial x_j} - G \phi^s \mathcal{B}_{ij} \mathcal{D}_{ij},
\end{split}
\end{equation}
where we made use of
\begin{equation}
u'_i \frac{\partial \mathcal{D}_{ij}}{\partial x_j} = \frac{\partial u'_i \mathcal{D}_{ij}}{ \partial x_j} - \mathcal{D}_{ij} \frac{\partial u'_i }{ \partial x_j} = \frac{\partial u'_i \mathcal{D}_{ij}}{ \partial x_j} - \mathcal{D}_{ij} \mathcal{D}'_{ij},
\end{equation}
and similarly of
\begin{equation}
u'_i \frac{\partial \phi^s \mathcal{B}_{ij}}{\partial x_j} = \frac{\partial u'_i \phi^s \mathcal{B}_{ij}}{ \partial x_j} - \phi^s \mathcal{B}_{ij} \frac{\partial u'_i }{ \partial x_j} = \frac{\partial u'_i \phi^s \mathcal{B}_{ij}}{ \partial x_j} - \phi^s \mathcal{B}_{ij} \mathcal{D}'_{ij},
\end{equation}
where the last substitution is possible being $\mathcal{D}_{ij}$ and $\mathcal{B}_{ij}$ symmetric tensors. The equation above can then be volume averaged with the operator
\begin{equation}
\langle \cdot \rangle = \frac{1}{\mathcal{V}} \int_\mathcal{V} \cdot \ \mathrm{d} \mathcal{V},
\end{equation}
leading to the equation
\begin{equation}
\rho \left( \frac{\partial \langle u'_i u'_i \rangle/2}{\partial t} + \langle u'_i u'_j \rangle \frac{\partial \overline{u}_i}{\partial x_j} \right)  = - 2 \mu \langle \mathcal{D}'_{ij} \mathcal{D}'_{ij} \rangle - G \langle \phi^s \mathcal{B}_{ij} \mathcal{D}'_{ij} \rangle.
\end{equation}
Here, all the transport terms $\langle \partial u'_i \mathcal{F}_{ij}/\partial x_j \rangle$ vanish due to the homogeneity of the domain and to the no-slip and no-penetration boundary conditions at the rigid walls, and the terms $\langle u'_i \partial \overline{u}_i \overline{u}_j / \partial x_j \rangle$ and $\langle \overline{\mathcal{D}}_{ij} \mathcal{D}'_{ij} \rangle$ because $\langle u'_i \rangle = 0$ and $\langle \mathcal{D}'_{ij} \rangle = 0$ due to ergodicity. Finally, we obtain the turbulent kinetic energy equation
\begin{equation}
\label{eq:tke}
\frac{d \mathcal{K}}{d t} = \mathcal{P} - \varepsilon - \psi_G,
\end{equation}
where the different terms indicate the rate of change of turbulent kinetic energy $\mathcal{K}$, the turbulent production rate $\mathcal{P}$, the dissipation rate $\varepsilon$ and the power of the elastic wall $\psi_G$, defined as
\begin{equation}
\mathcal{K} = \rho \langle u'_i u'_i \rangle/2, \ \
\mathcal{P} = -\rho \langle u'_1 u'_2 \frac{\partial \overline{u}_1}{\partial x_2} \rangle, \ \
\varepsilon = 2 \mu \langle \mathcal{D}'_{ij} \mathcal{D}'_{ij} \rangle, \ \
\psi_G = G \langle \phi^s \mathcal{B}_{ij} \mathcal{D}'_{ij} \rangle.
\end{equation}
$\psi_G$ is the rate of work performed by the fluid on the elastic wall and can be either positive or negative and thus a sink or source of turbulent kinetic energy. At statistically steady state, the time derivative is obviously null, and thus \equref{eq:tke} reduces to a balance between $\mathcal{P}$, $\varepsilon$ and $\psi_G$.

\begin{figure}
  \centering
  \includegraphics[width=0.49\textwidth]{kinBalGin}
  \includegraphics[width=0.49\textwidth]{kinBalIn}
  \caption{Volume averaged turbulent production $\mathcal{P}$ (brown), turbulent dissipation $\varepsilon$ (orange) and power of the elastic wall $\psi_G$ (grey) as a function of the wall elasticity $G$ for a fixed Reynolds number $Re_b=2800$ $(a)$ and as a function of the Reynolds number $Re_b$ for a fixed wall elasticity $G=0.5 \rho U_b^2$ $(b)$. The symbol style is the same as in \figrefS{fig:reynolds} with the addition of the black triangles,  additional simulations included for the sake of clarity. The two inset figures show the production $\mathcal{P}$ and dissipation $\varepsilon$ rates divided by the power of the elastic wall $\psi_G$.}
  \label{fig:kinBal}
\end{figure}

These three terms are displayed in \figrefSC{fig:kinBal}  as a function of the shear elastic modulus $G$ (left panel) and of the Reynolds number $Re_b$ (right panel). In the left panel we see that the elastic power contribution is positive, and indeed the presence of the elastic wall acts as an additional dissipation term at high Reynolds number. This term reduces as $G$ increases, eventually vanishing for perfectly rigid walls when $G \rightarrow \infty$. On the other hand, the behavior at fixed $G$ is non-monotonic with $Re_b$: as $Re_b$ decreases all the terms first increase, reach a maximum and then decreases. In particular, all the terms grow by a factor of around $10$ when decreasing the Reynolds number from $2800$ to $151$. Interestingly, while the turbulent production rapidly vanishes as the flow is approaching the laminar flow (for $Re_b\lesssim 151$), the power of the elastic walls change sign and becomes a production term for the turbulent kinetic energy. Because of this, the flow can remain turbulent at much lower Reynolds numbers than what usually found for flows over rigid walls and, by choosing properly the value of $G$, fluctuations can be sustained at any small Reynolds number. In conclusion, while at high Reynolds number the standard wall cycle \citep{jimenez_pinelli_1999a} takes place (although slightly modified by the elastic walls \citep{rosti_brandt_2017a}), at low Reynolds number a different mechanism arises to sustain the chaotic flow: this new mechanism originates from the non-linear interaction between the elastic solid and the fluid and resembles what found at low Reynolds and high Weissenberg numbers (i.e.,\  high elasticity numbers) for non-Newtonian fluids \citep{groisman_steinberg_2000a, haward_mckinley_shen_2016a, hopkins_haward_shen_2020a}.

\section{Conclusions} \label{sec:conclusion}
We have carried out a number of direct numerical simulations of laminar and turbulent channel flows over a viscous hyper-elastic wall. The flow inside the fluid region is described by the Navier--Stokes equations, while momentum conservation and incompressibility are imposed inside the solid layer. The two sets of equations are coupled using a one-continuum formulation allowing a fully Eulerian description of the multiphase flow problem. Here, we systematically reduce  the Reynolds number and vary the wall elasticity to identify in which condition a chaotic unsteady flow can be sustained.

In general, the friction Reynolds number $Re_\tau$ is a function of both the bulk Reynolds number $Re_b$ and the wall shear elastic modulus $G$: we show that, reducing the the wall elasticity leads to a reduction of the resulting friction Reynolds number, with the value converging to the value of the turbulent flow over rigid walls for $Re_b\gtrsim482$ and to the laminar analytical solution for $Re_b\lesssim482$. There is therefore a critical value $G^*$ above which the solution does not change anymore with the wall elasticity and the flow behaves as in the presence of rigid walls. More interestingly, for $G<G^*$ the solution depends on the wall elasticity: the mean friction and the velocity fluctuations increase with the wall deformability and it is possible to maintain an unsteady chaotic turbulent-like flow in principle for any Reynolds number, i.e.,\  in conditions where a standard flow over rigid walls would be laminar, as long as the wall shear elastic modulus $G$ is properly reduced.

We show that, at low Reynolds number, the velocity fluctuations are mainly generated by the elastic wall, while the fluctuations close to the rigid wall rapidly vanish. As we reduce $Re_b$ to values of order $100$, we observe an increase of the velocity fluctuations due to strong wall oscillations, associated to an increase of the turbulent production $\mathcal{P}$. The power of the elastic wall is a dissipation term, approximately of the same order of the viscous dissipation, thus promoting the fragmentation of typical coherent structures and the consequent formation of small scale structures. Further reducing the bulk Reynolds number, $\mathcal{P}$ decreases as the Reynolds stresses decrease in the shear layer close to the elastic wall and remain strong only in the bulk of the channel where the mean shear is negligible. On the other hand, the power of the elastic wall changes sign and becomes a source of turbulence kinetic energy, mostly balanced by the viscous dissipation. At fixed shear elastic modulus, the flow eventually laminarises, which can be compensated by a reduction of $G$, which monotonically increases the fluctuations in the flow. Indeed, we found that the level of fluctuations scale approximately as $\sim \left( G/Re_b \right)^{-0.75}$. Thus, we can conclude that the chaotic flow at very low Reynolds numbers is mainly sustained by the elastic wall oscillations, which produce turbulent kinetic energy at the interface, then transferred to the fluid through viscous stresses; this process sustains non zero Reynolds stresses in the bulk of the channel.

The present results can have profound influence on the development of strategies to increase mixing in microfluidic devices by exploiting a dynamical instability associated to the coupling between the flow and an elastic wall.

\section*{Acknowledgments}
The authors acknowledge computer time provided by the Swedish National Infrastructure for Computing (SNIC ) and by the Scientific Computing section of Research Support Division at OIST. L.B. acknowledges financial support by the Swedish Research Council, VR 2016-06119, Hybrid multiscale modelling of transport phenomena for energy efficient processes.

\section*{Data Availability Statement}
The data that support the findings of this study are available from the corresponding author upon reasonable request.