Subordinated Compound Poisson processes of order $k$

Abstract: In this article, the compound Poisson processes of order $k$ (CPPoK) is introduced and its properties are discussed. Further, using mixture of tempered stable subordinator (MTSS) and its right continuous inverse, the two subordinated CPPoK with various distributional properties are studied. It is also shown that space and tempered space fractional versions of CPPoK and PPoK can be obtained, which generalize the results in the literature.

\section{Introduction}
\noindent
The Poisson distribution has been the conventional model for count data analysis, and due to its popularity and applicability various researchers have generalized it in several directions; e.g. compound Poisson processes, fractional (time-changed) versions of Poisson processes (see \cite{fell,lask,beghinejp2009}, and references therein). A handful of researchers have also studied the distributions and processes of order $k$ (see \cite{distribution,Filippu1984}). In particular, the discrete distribution of order $k$, introduced by Philippou et al. (see \cite{phili83-geo}), include binomial, geometric and negative binomial distributions of order $k$. These distributions play an important role in several areas, such as, reliability, statistics, finance, actuarial risk analysis (see \cite{Mandelbrot-Fisher-Cal97,TCPPoK,BOWERS}).

\vskip 2ex
\noindent
In risk theory, the total claim amount is usually modelled by using a compound Poisson process, say $Z_t = \sum_{i=1}^{N(t)} Y_i$, where the compounding random variables $Y_i$ are iid and the number of claims $N(t)$, independent of $\{Y_i\}_{i\ge 1}$, follow Poisson distribution. But, due to the restriction of single arrival in each inter-arrival time, the model is not suitable to use. Kostadinova and Minkova \cite{Poiss-order-k} introduced a Poisson process of order $k$ (PPoK), which allows us to model arrival in a group of size $k$. Recently, a time-changed version of Poisson processes of order $k$ is studied by \cite{TCPPoK} which allows group arrivals and also the case of extreme events, which is not covered by \cite{Poiss-order-k}. In spite of its applicability, this model is still not suitable for underdispersed dataset. Therefore, a generalization of this model is essential and is proposed in this article.

\vskip 2ex
\noindent
To the best of our knowledge, such a generalization is not yet studied. Therefore, we introduce the compound Poisson process of order $k$ (CPPoK) with the help of the Poisson process of order $k$ (PPoK) and study its distributional properties. Then, we time-change CPPoK with a special type of L\'evy subordinator known as mixture of tempered stable subordinator, and its right continuous inverse, and analyze some properties of these time-changed processes.

\vskip 2ex
\noindent
The article is organized as follows. In section \ref{sec:cppok}, we introduce CPPoK and derive some of its general properties along with  martingale characterization property. In section \ref{sec:subordinator}, we introduce two types of CPPoK with the help of MTSS and its right continuous inverse, and derive some important distributional properties.

\section{Compound Poisson Process of order $k$ and its properties}\label{sec:cppok}
\noindent
In this section, we introduce CPPoK and derive its distributional properties. First, we define the Poisson distribution of order $k$.
\begin{definition}[Philippou \cite{Filippu1984}]\label{Def:pok}
Let $N^{(k)}\sim PoK(\lambda)$, the Poisson distribution of order $k$ (PoK) with rate parameter $\lambda >0$, then the probability mass function	 (pmf) of $N^{(k)}$ is given by $$ \mathbb{P}[N^{(k)} = n] =  \sum_{\substack{x_1,x_2,...,x_k\geq 0\\\sum_{j=1}^{k}jx_j=n}}e^{-k\lambda} \frac{\lambda^{x_1+x_2+..+x_k}}{x_1!x_2!...x_k!},~ n=0,1,\ldots,$$
where the summation is taken over all non-negative integers $x_1,x_2,\ldots,x_k$ such that $x_1+2x_2+\ldots +kx_k = n$.
\end{definition}

\noindent
Philippou \cite{Filippu1984} showed the existence of PoK as a limiting distribution of negative binomial distribution of order $k$. Kostadinova and Minkova \cite{Poiss-order-k} later generalized PoK to evolve over time, in terms of, a process which can be defined as follows.

\begin{definition}[Kostadinova and Minkova \cite{Poiss-order-k}]\label{ppok}
Let $\{N(t)\}_{t\geq 0}$ denote $PP(k \lambda)$, the Poisson process with rate parameter $k\lambda$, and $\{X_i\}_{i\geq 1}$ be a sequence of independent and identically distributed (IID) discrete uniform random variables with support on $\{1,2,\ldots,k\}$. Also, assume that $\{X_i\}_{i\geq 1}$ and $ \{N(t)\}_{t\geq 0}$ are independent. Then $\{N^{(k)}(t)\}_{t\geq 0}$, defined by
$ N^{(k)}(t) = \sum_{i=1}^{N(t)} X_i$
is called the Poisson process of order $k$ (PPoK) and is denoted by $PPoK(\lambda)$.
\end{definition}

\noindent
However, the clumping behavior associated with random phenomenon cannot be handled by PPoK \cite{Poiss-order-k}. Hence, there is a need to generalize this notion as well. We propose the following generalization of PPoK.

\begin{definition}\label{def:cppok}
Let $\{N^{(k)}(t)\}_{t\geq 0}$ be the $PPoK(\lambda)$ and $ \{Y_i\}_{i \ge 1}$ be a sequence of IID random variables, independent of $N^{(k)}(t)$, with cumulative distribution function (CDF) $H$. Then the process $\{Z(t)\}_{t\geq 0}$ defined by $Z(t) = \sum_{i=1}^{N^{(k)}(t)} Y_i$ is called the compound Poisson process of order $k$ (CPPoK) and is denoted by $CPPoK(\lambda, H)$.
\end{definition}

\noindent
From the definition, it is clear that:
\begin{enumerate}
\item[$(i)$] for $k=1$, $\{Z(t)\}_{t \ge 0}$ is $CPP(\lambda, H)$ the usual compound Poisson process.
\item[$(ii)$] for $H=\delta_1$, the Dirac measure at 1, $\{Z(t)\}_{t \ge 0}$ is $PPoK(\lambda)$.
\item[$(iii)$] for $k=1$ and $H = \delta_1$, $\{Z(t)\}_{t \ge 0}$ is $PP(\lambda)$.
\end{enumerate}
\noindent
Next, we present a characterization of $CPPoK(\lambda, H)$, in terms of, the finite dimensional distribution (FDD).

\begin{theorem}\label{thm:fdd}
Let $\{Z(t)\}_{t \ge 0}$ be as defined in Definition \ref{def:cppok}. Then the FDD, denoted as $F_{Z(t_1),\ldots,Z(t_n)}(y_1,\ldots,y_n)=\mathbb{P}[Z(t_1)\leq y_1,\ldots, Z(t_n)\leq y_n ]$ has the following form
\begin{equation} \label{eq:FDD}
F_{Z(t_1),\ldots,Z(t_n)}(y_1,\ldots,y_n)=
\sum_{j_1,\ldots j_n}\prod_{l=1}^{n} p_{j_l}(\Delta t_l)\int_{-\infty}^{v_1} \ldots \int_{-\infty}^{v_n}
\prod_{m=1}^{n}h^{*j_m}_{Y_1}(x_m) dx_m,
\end{equation}
where the summation is taken over all non-negative integers $j_i \geq 0,~ i=1,2,\ldots,n$, $v_k = y_k -\sum_{l=1}^{k-1}x_l, k=1,\ldots,n$, $h$ is the density/pmf of $H$, and $(*j_n)$ represents the $j_n$-fold convolution.
\end{theorem}

\begin{proof}
Let $0=t_0\leq t_1\leq \ldots \leq t_n=t$ be the partition of $[0,t]$. Since, the increments of $\{N^{(k)}(t)\}$ are independent and stationary, we can write $N^{(k)}(t_i) = \sum_{l=1}^{i}N^{(k)}(\Delta t_l),i=1,\ldots,n,$ and $\mathbb{P}[N^{(k)}(t)=j] = p_{j}(t), j=0,1,\ldots$.

\begin{align*}
F_{Z(t_1),\ldots,Z(t_n)}(y_1,\ldots,y_n)=&  \mathbb{P}[\sum_{i=1}^{N^{(k)}(t_1)} Y_i\leq y_1,

		 \ldots, \sum_{i=1}^{N^{(k)}(t_n)} Y_i\leq y_n ]\\

		=& \sum_{j_1,\ldots j_n}\mathbb{P}[\sum_{i=1}^{j_1} Y_i\leq y_1,

		\ldots, \sum_{i=1}^{\sum_{l=1}^{n}j_l} Y_i\leq y_n ] \prod_{l=1}^{n}\mathbb{P}[N^{(k)}(\Delta t_l)=j_l]
\end{align*}
Let us denote $\sum_{i=1}^{j_1} Y_i=Y(j_1),\ldots, \sum_{i=j_1+\ldots +j_{n-1}+1}^{j_1+\ldots +j_n} Y_i=Y(j_n)$, then it becomes
\begin{align*}
F_{Z(t_1),\ldots,Z(t_n)}(y_1,\ldots,y_n)	=& \sum_{j_1,\ldots j_n}\prod_{l=1}^{n} p_{j_l}(\Delta t_l)\mathbb{P}[Y(j_1)\leq y_1,

		 \ldots,\sum_{l=1}^{n}Y(j_l)\leq y_n] \\

		=& \sum_{j_1,\ldots j_n}\prod_{l=1}^{n} p_{j_l}(\Delta t_l)\int_{-\infty}^{y_1}\int_{-\infty}^{y_2-x_1} \ldots \int_{-\infty}^{y_{n}-(\sum_{l=1}^{n-1} x_l)}
		\prod_{m=1}^{n}h^{*j_m}_{Y_1}(x_m) dx_m \\
		=& \sum_{j_1,\ldots j_n}\prod_{l=1}^{n} p_{j_l}(\Delta t_l)\int_{-\infty}^{v_1} \ldots \int_{-\infty}^{v_n}
		\prod_{m=1}^{n}h^{*j_m}_{Y_1}(x_m) dx_m.
		\end{align*}
		\ifx
		\begin{align*}
		\mathbb{P}[Z(t_1)\leq y_1,Z(t_2)\leq y_2,\ldots, Z(t_n)\leq y_n ] =& \mathbb{P}[\sum_{i=1}^{N^{(k)}(t_1)} Y_i\leq y_1,\sum_{i=1}^{N^{(k)}(t_2)} Y_i\leq y_2,\ldots, \sum_{i=1}^{N^{(k)}(t_n)} Y_i\leq y_n ]\\
		=& \mathbb{P}[\sum_{i=1}^{N^{(k)}(t_1)} Y_i\leq y_1,\sum_{i=1}^{N^{(k)}(t_1)+N^{(k)}(t_2-t_1)} Y_i\leq y_2,\ldots, \\
		& \sum_{i=1}^{N^{(k)}(t_1)+N^{(k)}(t_2-t_{1})+\ldots +N^{(k)}(t_n-t_{n-1})} Y_i\leq y_n ]\\
		=& \sum_{j_1,j_2,\ldots j_n}\mathbb{P}[\sum_{i=1}^{N^{(k)}(t_1)} Y_i\leq y_1,\sum_{i=1}^{N^{(k)}(t_1)+N^{(k)}(t_2-t_1)} Y_i\leq y_2,\ldots, \\
		& \sum_{i=1}^{N^{(k)}(t_1)+\ldots +N^{(k)}(t_n-t_{n-1})} Y_i\leq y_n |N^{(k)}(t_1)=j_1,\\
		& N^{(k)}(t_2-t_1)=j_2,\ldots,N^{(k)}(t_n-t_{n-1})=j_n ]\\
		\end{align*}
		\fi
	\end{proof}
	\begin{remark}
		For $n=1$, \eqref{eq:FDD} reduces to
		$\mathbb{P}[Z(t)\leq y_1] =\sum_{j_1=0}^{\infty}p_j(t_1)\int_{-\infty}^{y_1}h^{*j_1}_{Y_1}(x_1)dx_1,$
		which is the marginal distribution of CPPoK($\lambda$,H).
	\end{remark}
	\ifx
	\begin{theorem}
		Let $G^{n}(y) = \mathbb{P}[Y_1+Y_2+\ldots+Y_n \leq y] $ be the convolution function of n iid random variables. Then, the distribution function of the process $\{Z(t)\}_{t\geq 0}$ can be given as
		$$	\mathbb{P}[Z(t)\leq z] = e^{-k\lambda t}\sum_{n=0}^{\infty}G^n(z) \sum_{\substack{x_1,x_2,...,x_k\geq 0\\\sum_{j=1}^{k}jx_j=n}} \frac{  (\lambda t) ^{x_1+x_2+..+x_k}}{x_1!x_2!...x_k!},$$
		where, the summation is taken over all non-negative integers $ x_1,x_2,\ldots,x_k$ such that $ x_1+2x_2+\ldots +kx_k = n.$
	\end{theorem}

	\begin{proof}
		\begin{eqnarray*}
			\mathbb{P}[Z(t)\leq z] &=& \mathbb{P}[\sum_{i=1}^{N^{(k)}(t)} Y_i \leq z] \\&=&
			\sum_{n=0}^{\infty} \mathbb{P}[\sum_{i=1}^{N^{(k)}(t)} Y_i \leq z |N_{k}(t) = n]\mathbb{P}[N^{(k)}(t)=n] \\ &=& \sum_{n=0}^{\infty} \mathbb{P}[\sum_{i=1}^n Y_i \leq z]\mathbb{P}[N^{(k)}(t)=n] \\ &=& \sum_{n=0}^{\infty} G^n(z)\mathbb{P}[N^{(k)}(t)=n]\\ &=& e^{-k\lambda t}\sum_{n=0}^{\infty}G^n(z) \sum_{\substack{x_1,x_2,...,x_k\geq 0\\\sum_{j=1}^{k}jx_j=n}} \frac{  (\lambda t) ^{x_1+x_2+..+x_k}}{x_1!x_2!...x_k!}.
		\end{eqnarray*}
	\end{proof}

	\noindent
	Now we consider $Y_1,Y_2,\ldots$ are non-negative integer valued random variable. Then its probability mass function is given as,
	\begin{eqnarray*}
		\mathbb{P}(Z(t) = m) &=&

		\sum_{n=0}^{\infty} f^{*n}(m)\mathbb{P}(N^{(k)}(t) = n),~~m=0,1,2,\ldots,
	\end{eqnarray*}
	where $ f^{*n}(m)= \mathbb{P}(Y_1+Y_2+..Y_n = m) $ is the $n$-th fold convolution of $ Y_1,Y_2,\ldots Y_n$.
	\vskip 2ex
	\noindent
	Panjer (\cite{panjer_1981}) gave an recursive algorithm to calculate the probability distribution of compound random variable. Then many authors generalize it for many compound distributions. Now, we give the recursive scheme to calculate the distribution of CPPoK. \\

	Let $p_n = \mathbb{P}[N^{(k)} = n]$ be the \textit{pmf} of PPoK, then after some algebraic calculation, we get the following relation
	\begin{equation}\label{recursive}
	p_n = \sum_{i=1}^{k}\frac{b_i}{n}p_{n-i},~~~n=1,2,\ldots,
	\end{equation}
	where, $b_i = i\lambda.$\\
	So the distribution of Poison distribution of order $k$ is  $\mathbf{R}_k[\mathbf{a,b}]$ as defined in see(\cite{panjer}) where $\mathbf{a}=(0,0,\ldots,0)_{k-tuple}$ and $\mathbf{b} =(b_1,b_2,\ldots,b_k)$.
	\begin{proposition}
		Let $ Z(t) = \sum_{i=1}^{N^{(k)}(t)} Y_i$ be the CPPoK where $\{Y_i\}_{i\geq 1}$ be the sequence of IID non-negative integer valued random variable with density $f$ and $ N^{(k)}$ be the PPoK whose distribution  the distribution is $\mathbf{R}_k[\mathbf{0,b}]$ as defined above. Then the \textit{pmf} of  $\{Z(t)\}_{t\geq 0}$ can be calculated by the formula,
		$$\mathbb{P}(Z(t) = m) = \sum_{h=1}^{m}\mathbb{P}(Z(t) = m-h)\sum_{i=1}^{k}\frac{\lambda h}{m}f^{*i}(h),~~m=1,2,\ldots. $$
		and  $$\mathbb{P}(Z(t) = 0) = \sum_{n=0}^{\infty} (f(0))^n p_n.$$
		where $ p_n = \mathbb{P}(N^{(k)} = n)$.
	\end{proposition}
	\begin{proof}
		By using \eqref{recursive} in \ref[Theorem 9]{panjer}, we get this recursive relation.
	\end{proof}
	\fi
	\noindent

	The mean and variance of the process $\{Z(t)\}_{t\geq 0}$ can be expressed as
	\begin{align}
	 \mathbb{E}[Z(t)] &= \frac{k(k+1)}{2}\lambda t \mathbb{E}[Y],\\
	\text{Var}[Z(t)] &= \frac{k(k+1)}{2}\lambda t \text{Var}(Y) + \frac{k(k+1)(2k+1)}{6}\lambda t \mathbb{E}[Y]^2.
	\end{align}

	\subsection{Index of dispersion} In this subsection, we discuss the index of dispersion of $CPPoK(\lambda,H)$.
	\begin{definition}[Maheshwari and Vellaisamy \cite{TCFPP-pub}] \label{def:iod}
		The index of dispersion for a counting process $\{Z(t)\}_{t\geq 0}$ is defined by
		$$ I(t) = \frac{\text{Var}[Z(t)]}{\mathbb{E}[Z(t)]}.$$
		Then the stochastic process $\{Z(t)\}_{t\geq 0}$ is said to be overdispersed if $I(t)>1$, underdispersed if $I(t)<1$, and equidispersed if $ I(t) = 1$.
	\end{definition}
	\noindent
	Alternatively, Definition \ref{def:iod} can be interpreted as follows. A stochastic process $\{Z(t)\}_{t\geq 0}$ is over(under)-dispersed if $\text{Var}[Z(t)]-\mathbb{E}[Z(t)]>0(<0)$. Therefore, we first calculate

	\begin{eqnarray} \label{eq:iod}
		\text{Var}[Z(t)]-\mathbb{E}[Z(t)] &=& \frac{k(k+1)}{2}\lambda t \left[ \text{Var}(Y) - \mathbb{E}(Y) + \frac{(2k+1)}{3} \mathbb{E}[Y]^2\right] \nonumber \\ &=& \frac{k(k+1)}{2}\lambda t \left[ \mathbb{E}(Y^2)-\mathbb{E}(Y) + \left( \frac{2k+1}{3}-1\right) \mathbb{E}(Y)^2 \right].
	\end{eqnarray}
	From the above definition, the following cases arise:
	\begin{enumerate}
		\item[$(i)$]  If $Y_i's$ are over and equidispersed, then $CPPoK(\lambda,H)$ exhibits overdispersion.
		\item[$(ii)$] If $Y_i's$ are underdispersed with non-negative integer valued random variable i.e., $[\mathbb{E}(Y^2)-\mathbb{E}(Y)]\geq 0$, then $CPPoK(\lambda,H)$ shows overdispersion.
		\item[$(iii)$]  If $Y_i's$ are underdispersed, then  $CPPoK(\lambda,H)$ may show both over and underdispersion.
		e.g. $Y_i \sim exp(\mu)$, \eqref{eq:iod} becomes
		$$ \text{Var}[Z(t)]-\mathbb{E}[Z(t)] = \frac{k(k+1)}{2}\lambda t\left[ \frac{1}{\mu^2} \left(\frac{2k+4}{3}\right)-\frac{1}{\mu}\right]. $$
		\noindent
		If $\mu < \frac{2k+4}{3}$, $CPPoK(\lambda,H)$ exhibits overdispersion  else underdispersion. Hence, unlike $PPoK(\lambda)$, it can capture both the cases.
	\end{enumerate}

	\vskip 2ex
	\subsection{Long range dependence}
	In this subsection, we prove the long-range dependence (LRD) property for the $CPPoK(\lambda,H)$. There are several definitions available in literature. We used the definition given in \cite{lrd2016}.
	\begin{definition}[Maheshwari and Vellaisamy \cite{lrd2016}] \label{Def:LRD}
		Let $ 0\leq s<t$ and $s$ be fixed. Assume a stochastic process $ \{ X(t)\}_{t \geq 0}$ has the correlation function $ Corr[X(s),X(t)]$ that satisfies
		$$ c_1(s)t^{-d} \leq Corr[X(s),X(t)] \leq c_2(s)t^{-d}, $$
		for large $ t,d >0,~ c_1(s)>0 ~and~ c_2(s)>0$. i.e.,
		$$ \lim_{t \rightarrow \infty} \frac{Corr[X(s),X(t)]}{t^{-d}} = c(s)$$
		for some $ c(s)>0$ and $ d>0$. We say that, $ X(t)$ has the long-range dependence (LRD) property if $d \in (0,1)$ and short-range dependence (SRD) property if $ d \in (1,2)$.
	\end{definition}
	\begin{proposition}
		The $CPPoK(\lambda,H)$ has the LRD property.
	\end{proposition}
	\begin{proof}
		Let $0\leq s<t$. Consider
		\begin{eqnarray*}
			Corr[Z(s),Z(t)] &=& \frac{Cov[Z(s),Z(t)]}{\sqrt{\text{Var}[Z(s)]\text{Var}[Z(t)]}},\\
			&=& \frac{c(s)}{t^{1/2}\sqrt{\frac{k(k+1)}{2}\lambda \text{Var}(Y) + \frac{k(k+1)(2k+1)}{6}\lambda \mathbb{E}[Y]^2}}\\
			&=& c(s) t^{-1/2},
		\end{eqnarray*}
		where, $ 0< c(s) = \sqrt{\frac{\frac{k(k+1)}{2}\lambda s \text{Var}(Y) + \frac{k(k+1)(2k+1)}{6}\lambda s \mathbb{E}[Y]^2}{\frac{k(k+1)}{2}\lambda \text{Var}(Y) + \frac{k(k+1)(2k+1)}{6}\lambda \mathbb{E}[Y]^2}},$\\
		which decays like the power law $t^{-1/2}$. Hence $CPPoK(\lambda,H)$ has LRD property.
	\end{proof}

	\subsection{Martingale characterization for CPPoK}
	It is well known that the martingale characterization for homogeneous Poisson process is called Watanabe theorem (see \cite{point}). Now, we extend this theorem for $CPPoK(\lambda,H)$, where $H$ is discrete distribution with support on $\mathbb{Z^+}$ and for this we need  following two lemmas.
	\begin{lemma} \label{martingale}
		Let $ D(t) = \sum_{j=1}^{N(t)} X_j ,~t\geq 0 $ is the compound Poisson process, where $\{N(t)\}_{t\geq 0}$ is $PP(k\lambda)$ and $\{X_j\}_{j\geq 1}$ are non-negative  \textit{IID} random variable, independent from $\{N(t)\}_{t\geq 0}$, with \textit{pmf}  $\mathbb{P}(X_j=i) = \alpha_i,~ (i=0,1,2,\ldots,j=1,2,\ldots)$. Then $\{D(t)\}_{t\geq 0}$ can be represented as
		$$ D(t) \stackrel{d}{=} \sum_{i=1}^{\infty} iZ_i(t),~~t\geq 0,$$
		where, $Z_i(t),~i=1,2,\ldots$ are independent $PP(k\lambda \alpha_i)$, and the symbol $\stackrel{d}{=}$ denotes the equality in distribution.
	\end{lemma}
	\begin{proof}
		Let $G_{D(t)}(u)$ is the probability generating function (\textit{pgf}) of $\{D(t)\}_{t\geq 0}$, then
    $$G_{D(t)}(u) = \mathbb{E}[u^{D(t)}] =

		 \exp[\lambda kt \sum_{j=1}^{\infty}\alpha_j(u^j -1)] = \mathbb{E}[u^{\sum_{i=1}^{\infty} iZ_i(t)}].$$
	\end{proof}

	\begin{lemma}
		The \textit{pgf} of $ Z(t) = \sum_{i=1}^{N^{(k)}(t)}Y_i,~t\geq 0 $ has the following form
		$$ G_{Z(t)}(u)  = \exp \left[ \lambda kt \sum_{j_1=1}^{\infty}\frac{q^{(1)}_{j_1} +q_{j_1}^{(2)}+\ldots + q_{j_1}^{(k)}}{k} (u^{j_1}-1) \right] ,$$
		where $Y_i,~i=1,2,\ldots$ are non-negative integer valued IID random variables with $\mathbb{P}[Y_i=n] = q_n,~ n=0,1,\ldots.$
	\end{lemma}
\begin{proof}
	Let $ G_{Z(t)}(u) $ is the \textit{pgf} of $ \{Z(t)\}_{t\geq 0}$, then
	\begin{eqnarray*}
		G_{Z(t)}(u) = \mathbb{E}[u^{Z(t)}]
		&=& \exp[\lambda t\{G_Y(u)+\ldots + G_Y^{*k}(u)\} - k\lambda t]\\
		&=& \exp \left[ \lambda t \left\{ \sum_{j_1=0}^{\infty} q_{j_1} u^{j_1} +  \ldots + \sum_{j_1=0}^{\infty} q^{*k}_{j_1} u^{j_1} \right\} -k\lambda t\right]\\
		&=& \exp \left[\lambda t \left\{ \sum_{j_1=0}^{\infty} q_{j_1} u^{j_1}
		\ldots +
		 \sum_{j_1=0}^{\infty}\sum_{j_2=0}^{j_1} \ldots \sum_{j_k=0}^{j_{k-1}}q_{j_k}q_{j_{k-1}-j_k}\ldots q_{j_1-j_2}u^{j_1} \right\}-k\lambda t \right] \\

		&& \text{Let us denote}~ q_{j_1}^{(n)} = \prod_{m=1}^{n} \sum_{j_m=0}^{j_{m-1}}q_{j_n}q_{j_{n-1}-j_n}\ldots q_{j_1-j_2},~n=1,\ldots,k. \\

	&=&\exp \left[\lambda kt \sum_{j_1=1}^{\infty}\frac{q_{j_1}^{(1)} +\ldots + q_{j_1}^{(k)}}{k} (u^{j_1}-1) \right].
	\end{eqnarray*}
\end{proof}
\begin{remark}\label{lemma:martingale}
	Set $ \alpha_{j_1} = \frac{q_{j_1}^{(1)} +\ldots + q_{j_1}^{(k)}}{k}, ~j_1=0,1,2,\ldots .$ Substituting $\alpha_{j_1}$ in Lemma \ref{martingale}, we get the following relation
	\begin{equation}\label{distribution}
	D(t) \stackrel{d}{=} \sum_{i=1}^{\infty} iZ_i(t) \stackrel{d}{=} \sum_{i=1}^{N^{(k)}(t)}Y_i,~ t\geq 0,
	\end{equation}
	where $Y_i's$ are non-negative integer valued random variables and $ N^{(k)}(t)$ is $PPoK(\lambda)$.
\end{remark}

	\ifx
	\begin{eqnarray*}
		G_{Z(t)}(u) &=& \mathbb{E}[u^{\sum_{i=1}^{N_k(t)}Y_i}] \\
		&=& \exp[\lambda t\{G_Y(u)+G_Y^{*2}(u)+\ldots + G_Y^{*k}(g)\} - k\lambda t]\\
		&=& \exp \left[ \lambda t \left\{ \sum_{j=1}^{\infty} p_j z^j + \left( \sum_{j=1}^{\infty} p_j z^j\right)^2 \ldots \left( \sum_{j=1}^{\infty} p_j z^j \right)^k \right\} -k\lambda t\right]\\
		&=& \exp \left[\lambda t \left\{ \sum_{j=1}^{\infty} p_j z^j +
		 \ldots + \sum_{j=1}^{\infty}\sum_{j_2=1}^{j} \ldots \sum_{j_k=1}^{j_{k-1}}p_{j_k}p_{j_{k-1}-j_k}\ldots p_{j-j_2}z^j \right\}-k\lambda t \right] \\
		 & & \text{where}~ p_j^k = \sum_{j_2=1}^{j} \ldots \sum_{j_k=1}^{j_{k-1}}p_{j_k}p_{j_{k-1}-j_k}\ldots p_{j-j_2} \\
		&=& \exp \left[ \lambda t \sum_{j=1}^{\infty} p_j (z^j-1) +

		  \ldots + \lambda t\sum_{j=1}^{\infty} p_{j}^k (z^j-1) \right] \\
		&=& \exp \left[ \lambda t \sum_{j=1}^{\infty}(p_j +p_{j}^2+\ldots + p_{j}^k) (z^j-1) \right] \\
		&=& \exp \left[ \lambda kt \sum_{j=1}^{\infty}\frac{(p_j +p_{j}^2+\ldots + p_{j}^k)}{k} (z^j-1) \right].
	\end{eqnarray*}
	\begin{equation}\label{alpha}
	Set~ \alpha_j = \frac{(p_j +p_{j}^2+\ldots + p_{j}^k)}{k}, ~j=1,2,\ldots.
	\end{equation}
	\fi

\begin{theorem}
	Let $\{Z(t)\}_{t\geq 0}$ be $
	CPPoK(\lambda,H)$, where $H$ is discrete distribution with support on $\mathbb{Z^+}$, is a $\mathcal{F}_t$ adapted stochastic process \textit{iff} $ M(t) = Z(t) - \frac{k(k+1)}{2}\lambda t \mathbb{E}[Y],~ t\geq 0$ is an $\mathcal{F}_t$ martingale.
\end{theorem}
	\begin{proof}
		Let $Z(t)$ be the $\mathcal{F}_t$ adapted stochastic process. If $Z(t)$ is a compound Poisson process of order $k$, then
		\begin{eqnarray*}
			\mathbb{E}[M(t)|\mathcal{F}_s] &=& \mathbb{E}[ Z(t) - \frac{k(k+1)}{2}\lambda t \mathbb{E}[Y]|\mathcal{F}_s],~~0\leq s \leq t.\\
			&=& \mathbb{E}[ Z(t)|\mathcal{F}_s] - \frac{k(k+1)}{2}\lambda t \mathbb{E}[Y]\\
			&=& \mathbb{E}[ Z(t)-Z(s)|\mathcal{F}_s]+ \mathbb{E}[ Z(s)|\mathcal{F}_s]- \frac{k(k+1)}{2}\lambda t \mathbb{E}[Y]\\
			&=& \mathbb{E}[ Z(t)-Z(s)]+ Z(s)- \frac{k(k+1)}{2}\lambda t \mathbb{E}[Y]\\
			&=&  Z(s)- \frac{k(k+1)}{2}\lambda s \mathbb{E}[Y] = M(s).
		\end{eqnarray*}
	Hence, the process $\{M(t)\}_{t\geq 0}$ is $\mathcal{F}_t$ martingale.\\
   Since, in Remark \ref{lemma:martingale}, it is shown that
$ \sum_{i=1}^{\infty} iZ_i(t) \stackrel{d}{=} \sum_{i=1}^{N^{(k)}(t)}Y_i.$ So the other part easily follows using \cite[Theorem 5.2]{discrete}.
	\end{proof}
	\begin{remark}
		We know that CPP is a L\'evy process and in \eqref{distribution}, it is proved that CPPoK is equal in distribution to $\{D(t)\}_{t\geq 0}$. Hence, CPPoK is also a L\'evy process and hence infinitely divisible.
	\end{remark}
	\begin{remark}
		The characteristic function of $CPPoK(\lambda,H)$ can be written as
		$$ \mathbb{E}[e^{iwZ(t)}] = \exp[t\sum_{j=1}^{\infty}(e^{iwj}-1) k\lambda \alpha_j],$$
		where, $\alpha_j, j=1,2,\ldots$ are as defined in Remark \ref{lemma:martingale}, and $ k\lambda \alpha_j = \nu_j$ is called the L\'evy measure of $CPPoK(\lambda,H)$.
	\end{remark}
	\vskip 2ex
	\noindent
	\ifx
	We can also prove the infinite divisibility with the help of characteristic function of CPPoK.
	\begin{proposition}
		The process $\{ Z(t)\}_{t\geq 0}$ is infinitely divisible.
		\begin{proof}
			The characteristic function of $Z(t) $ is given by
			\begin{eqnarray*}
				\psi_{Z(t)}(w) &=& \mathbb{E}[e^{iwZ(t)}]\\
				&=& \sum_{n=0}^{\infty} (\psi_Y(w))^n \mathbb{P}[N_k(t)=n]\\
				&=&  \sum_{n=0}^{\infty} (\psi_Y(w))^n \sum_{\substack{x_1,x_2,...,x_k\geq 0\\\sum_{j=1}^{k}jx_j=n}} e^{-k\lambda t} \frac{  (\lambda t) ^{x_1+x_2+..+x_k}}{x_1!x_2!...x_k!} \\
				&=& \exp[-k\lambda t + \lambda t(\psi_Y(w)+\psi^2_Y(w)+\ldots+\psi^k_Y(w))]\\
				&=& \exp[-k\frac{\lambda}{n} t + \frac{\lambda}{n} t(\psi_Y(w)+\psi^2_Y(w)+\ldots+\psi^k_Y(w))]^n\\
				&=& [\psi_{V(t)}(w)]^n
			\end{eqnarray*}
			Where $V(t)$ has same distribution as $Z(t)$ with parameter $\lambda/n$. Thus it is proved.
		\end{proof}
	\end{proposition}
	\begin{remark}
		The Laplace Transform (LT) of $Z(t)$ can be expressed as
		\begin{eqnarray} \label{laplace}
		\phi_{Z(t)}(s) = \mathbb{E}[e^{-sZ(t)}]= \exp[-k\lambda t + \lambda t(f(s)+f^2(s)+ \ldots +f^k(s))],
		\end{eqnarray}

		where $f(s)$ is the LT of random variable $Y$ and $f^k(s) = (\mathbb{E}[s^{-sY}])^k$.
	\end{remark}
	We can rewrite the LT as
	\begin{eqnarray*}
		\phi_{Z(t)}(s) &=& \exp[-k\lambda t + \lambda t(f(s)+f^2(s)+ \ldots +f^k(s))]\\ &=& \exp[-\lambda t(1-f(s))]\exp[-\lambda t(1-f^2(s))]\ldots \exp[-\lambda t(1-f^k(s))]
	\end{eqnarray*}
	Now, $\exp[-\lambda t(1-f^k(s))]$ is the LT of the compound Poisson process $\sum_{i=1}^{kN_k(t)}Y_i$.\\
	Thus the process $Z(t)$ can be rewritten as
	$$ Z(t) \stackrel{d}{=} \sum_{i=1}^{N_1(t)}Y_i+\sum_{i=1}^{2N_2(t)}Y_i+\ldots +\sum_{i=1}^{kN_k(t)}Y_i. $$

	\subsection{L\'evy Subordinator} \label{levy}
	A subordinator  $\{D_f(t)\}_{t\geq0}$ is a one-dimensional non-decreasing L\'evy process whose LT can be expressed in the form (see \cite{bertoin})
	$$ \mathbb{E}[e^{-\lambda D_f(t)}] = e^{-tf(\lambda)},~ \lambda>0,$$
	where the function $ f:[0,\infty) \rightarrow [0,\infty) $ is called the Laplace exponent and
	$$ f(\lambda)=b \lambda+\int_{0}^{\infty}(1-e^{-\lambda x})\nu(dx),~b\geq0, s>0,$$
	Here $b$ is the drift coefficient and $\nu$ is a non-negative L\'evy measure on positive half-line satisfying
	\begin{equation*}
	\int_{0}^{\infty}(x\wedge 1)\nu(dx)<\infty~~{\rm and}~~\nu([0,\infty))= \infty
	\end{equation*}
	which ensures that the sample paths of $D_{f}(t)$ are almost surely $(a.s.)$  strictly increasing.
	Also the inverse subordinator $\{E_f(t)\}_{t\geq 0}$ is the first exit time of the L\'evy suboridinator $\{D_f(t)\}_{t\geq 0}$, which is defined as
	\begin{equation*}
	E_{f}(t)=\inf\{r\geq 0:D_{f}(r)>t\},~ t\geq 0.
	\end{equation*}
	\fi

	\section{Main Results} \label{sec:subordinator}
	\noindent
	In this section, we recall the definitions of L\'evy subordinator and its first exit time. Further, we define the subordinated versions of $CPPoK(\lambda,H)$

	and discuss their properties.
	\subsection*{L\'evy Subordinator}\label{Levy}
	A L\'evy subordinator  $\{D_f(t)\}_{t\geq0}$ is a one-dimensional non-decreasing L\'evy process whose Laplace transform (LT) can be expressed in the form (see \cite{bertoin})
	$$ \mathbb{E}[e^{-\lambda D_f(t)}] = e^{-tf(\lambda)},~ \lambda>0,$$
	where the function $ f:[0,\infty) \rightarrow [0,\infty) $ is called the Laplace exponent and
	$$ f(\lambda)=b \lambda+\int_{0}^{\infty}(1-e^{-\lambda x})\nu(dx),~b\geq0, s>0.$$
	Here $b$ is the drift coefficient and $\nu$ is a non-negative L\'evy measure on positive half-line satisfying
	\begin{equation*}
	\int_{0}^{\infty}(x\wedge 1)\nu(dx)<\infty~~{\rm and}~~\nu([0,\infty))= \infty,
	\end{equation*}
	which ensures that the sample paths of $D_{f}(t)$ are almost surely $(a.s.)$  strictly increasing.
	Also, the inverse subordinator $\{E_f(t)\}_{t\geq 0}$ is the first exit time of the L\'evy subordinator $\{D_f(t)\}_{t\geq 0}$, and it is defined as
	\begin{equation*}
	E_{f}(t)=\inf\{r\geq 0:D_{f}(r)>t\},~ t\geq 0.
	\end{equation*}
	\noindent
	Next, we study $CPPoK(\lambda,H)$ by taking subordinator as mixture of tempered stable subordinators (MTSS).
	\subsection{CPPoK time changed by mixtures of tempered stable subordinators}

	The mixtures of tempered stable subordinator (MTSS) $ \{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)\}_{t\geq 0}$ is a L\'evy process with LT (see \cite{mixedsubordinator})
	$$ \mathbb{E}[e^{-sS_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)}] = \exp\{-t(c_1((s+\mu_1)^{\alpha_1} - \mu_1^{\alpha_1})+c_2((s+\mu_2)^{\alpha_2} - \mu_2^{\alpha_2}))\} ,~ s>0,$$

	\noindent where $c_1+c_2=1, c_1,c_2 \geq 0, \mu_1,\mu_2>0 $ are tempering parameters and $ \alpha_1, \alpha_2 \in (0,1)$ are stability indices. The function $f(s) = c_1((s+\mu_1)^{\alpha_1} - \mu_1^{\alpha_1})+c_2((s+\mu_2)^{\alpha_2} - \mu_2^{\alpha_2}) $ is the Laplace exponent of MTSS.\\

	The mean and variance of MTSS are given as
	\begin{equation}\label{eq:mean}
	\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)] = t(c_1\alpha_1\mu_1^{\alpha_1-1}+c_2\alpha_2\mu_2^{\alpha_2-1}),
	\end{equation}
	\begin{equation}\label{eq:variance}
	\text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]= t(c_1\alpha_1(1-\alpha_1)\mu_1^{\alpha_1-2}+c_2\alpha_2(1-\alpha_2)\mu_2^{\alpha_2-2}).
	\end{equation}
	\begin{definition}
		Let $\{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)\}_{t\geq 0}$ be the L\'evy subordinator satisfying $\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)^{\rho}]< \infty$ for all $\rho >0.$ Then the time-changed $CPPoK(\lambda,H)$, denoted by $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$ is defined as
		$$ Z_1(t) = Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)) = \sum_{i=1}^{N^{(k)}(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))} Y_i ,~ t \geq 0,$$
		where $\{Z(t)\}_{t\geq 0}$ is $CPPoK(\lambda,H)$, independent from $ \{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)\}_{t\geq 0} $.
	\end{definition}

	\begin{remark}
		If $\alpha_1 = \alpha_2=\alpha,$ and $ \mu_1=\mu_2 = 0$, then MTSS becomes $\alpha$-stable subordinator, reducing $Z_1(t)$ to $TCPPoK(\lambda,H,S_{\alpha})$, which we call as space fractional CPPoK and written as
		$$ Z(S_{\alpha}(t)) = \sum_{i=1}^{N^{(k)}(S_{\alpha}(t))} Y_i ,~ t \geq 0. $$
		When $Y_i's \equiv 1$, then $Z(S_{\alpha}(t))$ reduces to space fractional PPoK, denoted as $PPoK(\lambda,S_{\alpha})$.

		It can be seen as extension of space fractional Poisson process (see \cite{sfpp}).

	\end{remark}
	\begin{remark}
		If $\alpha_1 = \alpha_2=\alpha,$ and $ \mu_1= \mu,\mu_2 = 0$, then MTSS reduces to  tempered $\alpha$- stable subordinator and  $Z_1(t)$ becomes tempered space fractional CPPoK, denoted as $TCPPoK(\lambda,H,S_{\alpha}^{\mu} )$, can be written as
		$$ Z(S_{\alpha}^{\mu}(t)) = \sum_{i=1}^{N^{(k)}(S_{\alpha}^{\mu}(t))} Y_i ,~ t \geq 0, $$
		where $\mu>0$ is tempering parameter. Substituting $Y_i's \equiv 1$, it becomes tempered space fractional PPoK, denoted as $PPoK(\lambda,S_{\alpha}^{\mu})$.

	\end{remark}

\begin{theorem}
	The finite dimensional distribution of $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$ has the following form

	\begin{equation}  \label{eq:Fdd}

	F_{Z_1(t_1),\ldots,Z_1(t_n)}(y_1,\ldots,y_n)=
	\sum_{j_1,\ldots j_n}\prod_{l=1}^{n} q_{j_l}(\Delta t_l)\int_{-\infty}^{v_1} \ldots \int_{-\infty}^{v_n}
	\prod_{m=1}^{n}h^{*j_m}_{Y_1}(x_m) dx_m,
	\end{equation}
   where the summation is taken over all non-negative integers $j_i \geq 0,~ i=1,2,\ldots,n$, $v_k = y_k -\sum_{l=1}^{k-1}x_l, k=1,\ldots,n$, $h$ is the density of $H$, and $q_j(t) = \mathbb{P}[N^{(k)}(D_f(t))=j]$.

\end{theorem}
\begin{proof}
	The result easily follows from the proof of Theorem \ref{thm:fdd}.
\end{proof}

	\ifx
	\begin{proposition} Let $\{Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))\}_{t\geq 0}$ be the CPPoK time changed with MTSS. Then the mean and covariance function of this process is given as

		\begin{enumerate}[(i)]
			\item $\mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))]= \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)].$
			\item $ Cov[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)),Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))] = \frac{k(k+1)}{2}\lambda \text{Var}[Y]\mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s))] +  \frac{k(k+1)(2k+1)}{6}\lambda \mathbb{E}[Y]^2\\  \mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s))] +  ( \frac{k(k+1)}{2} \lambda \mathbb{E}[Y])^2 \text{Var}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s))].$
		\end{enumerate}
	\end{proposition}
	\noindent
	On putting $s=t$ in $(ii)$, we get variance.
	\noindent
	Now, we evaluate $ \text{Var}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))] - \mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))]$,

	\begin{eqnarray*}

		&=&   \frac{k(k+1)}{2} \lambda \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\left[\text{Var}[Y]-\mathbb{E}[Y]+ \frac{2k+1}{3}\mathbb{E}[Y]^2 \right] +
		\\ && \left(\frac{k(k+1)}{2} \lambda \mathbb{E}[Y]\right)^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\\ &>& 0.
	\end{eqnarray*}
	Hence it exhibits overdispersion.\\
	\fi

	\vskip 2ex

	\noindent
	Now, we present some distributional properties of $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$.
	\begin{theorem}\label{thm:dis}
		Let $0<s\leq t<\infty$. Then the mean and covariance function of $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$ are given as

		\begin{enumerate}[(i)]
			\item $\mathbb{E}[Z_1(t)]= \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]$,

			\item $ Cov[Z_1(s),Z_1(t)] = \mathbb{E}[Z(1)]^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)]+\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)]\text{Var}[Z(1)].$
		\end{enumerate}
	\end{theorem}
	\begin{proof} Let $g_f(y,t)$ be the \textit{pdf} of L\'evy subordinator $\{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)\}_{t\geq 0}$. Then
		$$ \mathbb{E}[Z_1(t)]= \mathbb{E}[\mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))|S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]] = \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]. $$
		Hence, part (i) is proved.\\
		\noindent
		Now by using conditioning argument we can write
		$$\mathbb{E}[Z_1(s)Z_1(t)] = \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\mathbb{E}[Z(1)]^2+\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)]\text{Var}[Z(1)] $$
		Therefore, we get
		\begin{align*}
		\mbox{Cov}[Z_1(s),Z_1(t)] =& \mathbb{E}[Z_1(s)Z_1(t)] - \mathbb{E}[Z_1(s)]\mathbb{E}[Z_1(t)]\\
		=&\mathbb{E}[Z_1(s)Z_1(t)]-\mathbb{E}[Z(1)]^2\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)]\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\\

		=& \mathbb{E}[Z(1)]^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)]+\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)]\text{Var}[Z(1)].
		\end{align*}
		which completes the proof. On putting $s=t$ in part (ii), we can get the expression for variance of $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$.
	\end{proof}
\noindent
	Now, we discuss the index of dispersion for $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$. For this, we evaluate
	\begin{align*}
	\text{Var}[Z_1(t)]-\mathbb{E}[Z_1(t)] =& \mathbb{E}[Z(1)]^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]+\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\left\{\text{Var}[Z(1)]-\mathbb{E}[Z(1)]\right\}.
	\end{align*}
	Since $\{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)\}_{t\geq 0}$ is a L\'evy subordinator, therefore $\mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]>0$. Thus the following cases arises:
	\begin{enumerate}
		\item [$(i)$] If $Z(1)$ is over/equidispersed, then $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$ exhibits overdispersion.
			\item [$(ii)$] If $Z(1)$ is underdispersed then
			\begin{enumerate}
				\item [$(a)$] if $\mathbb{E}[Z(1)]^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]> \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\left\{\mathbb{E}[Z(1)-\text{Var}[Z(1)]]\right\} $, then $Z_1(t)$ shows overdispersion.
				\item [$(b)$] if $\mathbb{E}[Z(1)]^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]< \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\left\{\mathbb{E}[Z(1)-\text{Var}[Z(1)]]\right\} $, then $Z_1(t)$ shows underdispersion.
				\item [$(c)$] if $\mathbb{E}[Z(1)]^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]= \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\left\{\mathbb{E}[Z(1)-\text{Var}[Z(1)]]\right\} $, then $Z_1(t)$ shows equidispersion.
			\end{enumerate}
	\end{enumerate}

	\ifx
	\begin{theorem}
		The process
		$$ Z_f(t) =  \sum_{i=1}^{N^{(k)}(D_f(t))} Y_i ~,~ t\geq 0,$$
		where, $\{N^{(k)}(t)\}_{t\geq 0}$ is the PPoK that is independent of $\{D_f(t)\}_{t\geq 0}$ has the following finite dimensional distribution.
		\begin{align} \label{eq:fdd}
		\mathbb{P}[Z_f(t_1)\leq y_1,\ldots, Z_f(t_n)\leq y_n ] =& \prod_{k=1}^{n-1}\int_{-\infty}^{v_k} \sum_{j_1,j_2,\ldots j_n} F^{*{j_n}}(v_n)
		\prod_{l=1}^{n} \mathbb{P}[N^{(k)}(D_f(t_l-t_{l-1}))=j_l]\\
		& \prod_{m=1}^{n-1} f^{*j_m}_{Y_1}(x_m) dx_m, \nonumber
		\end{align}
		where the summation is taken over all non-negative integers $j_i's \geq 0,~ i=1,2,\ldots,n$ and $ v_n = y_n -\sum_{l=1}^{n-1}x_l $.

	\end{theorem}
	\fi
	\ifx
	\noindent
	Earlier we gave the martingale characterization for the CPPoK. Now, we extend the well known Watanabe theorem for the CPPoK-I.
	\begin{theorem}[Martingale characterization for time-changed CPPoK]
		Let $\{X(t)\}_{t\geq 0}$ be the point process and $\{D_f(t)\}_{t\geq 0}$ be the L\'evy subordinator with right continuous inverse $\{E_f(t)\}_{t\geq 0}$. Then the process $X(t)$ is subordinated CPPoK \textit{iff} the process $ \{X(t) - \frac{k(k+1)}{2}\lambda \mathbb{E}[Y]D_f(t) \}_{t\geq 0}$ is an $\mathcal{F}_t$, (where $\mathcal{F}_t=\sigma(Z(s), 0 \leq s\leq t)\wedge \sigma(D_f(s)) $) martingale.
		\begin{proof}
			Let $\{X(t)\}_{t\geq 0}$ be the time-changed CPPoK, then $ X(t)\geq 0$. By using \cite[Theorem 2]{fractionalpoissonfields}, we can prove this theorem.
		\end{proof}
	\end{theorem}
\fi
\ifx
\vskip 2ex
	\noindent
	Next, we study the CPPoK-I by taking subordinator as mixture of tempered stable subordinators.
	\subsection{CPPoK time changed by mixtures of tempered stable subordinators}
	The mixtures of tempered stable subordinator (MTSS) $ S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)$ is a L\'evy process with LT (see \cite{mixedsubordinator})
	$$ \mathbb{E}[e^{-sS_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)}] = e^{-t(c_1((s+\lambda_1)^{\alpha_1} - \lambda_1^{\alpha_1})+c_2((s+\lambda_2)^{\alpha_2} - \lambda_2^{\alpha_2}))} ,~ s>0,$$

	\noindent where $c_1+c_2=1, c_1,c_2 \geq 0, \lambda_1,\lambda_2>0 $ are tempering parameter and $ \alpha_1, \alpha_2 \in (0,1)$ are stability index. The function $f(s) = c_1((s+\lambda_1)^{\alpha_1} - \lambda_1^{\alpha_1})+c_2((s+\lambda_2)^{\alpha_2} - \lambda_2^{\alpha_2}) $ is the Lapalce exponent of MTSS.\\
	The mean and variance of MTSS are given as
	\begin{equation}\label{eq:mean}
	 \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)] = t(c_1\alpha_1\lambda_1^{\alpha_1-1}+c_2\alpha_2\lambda_2^{\alpha_2-1}),
	\end{equation}
	\begin{equation}\label{eq:variance}
	\text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]= t(c_1\alpha_1(1-\alpha_1)\lambda_1^{\alpha_1-2}+c_2\alpha_2(1-\alpha_2)\lambda_2^{\alpha_2-2}).
	\end{equation}
	The time-changed CPPoK with MTSS is defined as
	$$ \{Z^1_{f_1}(t)\} = \{Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))\} = \sum_{i=1}^{N^{(k)}(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))} Y_i ,~ t \geq 0 $$
	\begin{corollary}
		When $\alpha_1 = \alpha_2=\alpha,~ \lambda_1=\lambda_2 = 0$ and $c_1+c_2 =1$ then MTSS reduces to $\alpha$ stable subordinator $S_{\alpha}(t)$ and so  $Z^1_{f_1}(t)$ reduces to space fractional CPPoK which can be written as
		$$ \{Z(S_{\alpha}(t))\} = \sum_{i=1}^{N^{(k)}(S_{\alpha}(t))} Y_i ,~ t \geq 0. $$
		When $Y_i's \equiv 1$, then $Z(S_{\alpha}(t))$ reduces to space fractional version of PPoK which we call as SFPPoK and can also be represented as
		$$N^{(k)}(S_{\alpha}(t)) = N_1(S_{\alpha}(t))+2N_2(S_{\alpha}(t))+\ldots +kN_k(S_{\alpha}(t)),~ t\geq 0, $$
		where $N_i(t), i=1,2,\ldots,k$ are independent Poisson process with same intensity  $\lambda>0$. \\
		Its probability generating function is given as
		$$ G_{\alpha}(u,t) = e^{[-t\lambda^{\alpha}(k-\sum_{j=1}^{k}u^j)^{\alpha}]},~ t\geq 0.$$
	\end{corollary}
	\begin{corollary}
	     When $\alpha_1 = \alpha_2=\alpha,~ \lambda_1= \lambda,\lambda_2 = 0$ and $c_1= 1, c_2 =0$ then MTSS reduces to  tempered $\alpha$ stable subordinator $S_{\alpha}^{\lambda}(t)$ and so  $Z^1_{f_1}(t)$ reduces to tempered space fractional CPPoK with tempering parameter $\lambda$
	     $$ \{Z(S_{\alpha}^{\lambda}(t))\} = \sum_{i=1}^{N^{(k)}(S_{\alpha}^{\lambda}(t))} Y_i ,~ t \geq 0. $$
	     Substituting $Y_i's \equiv 1$, then it becomes tempered space fractional version of PPoK, represented as TSFPPoK.

	\end{corollary}
	\noindent

	The mean and variance of the CPPoK-I can be obtained by putting  \eqref{eq:mean},\eqref{eq:variance} in Theorem \ref{thm:dis}
	\ifx
	\begin{proposition} Let $\{Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))\}_{t\geq 0}$ be the CPPoK time changed with MTSS. Then the mean and covariance function of this process is given as

		\begin{enumerate}[(i)]
			\item $\mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))]= \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)].$
			\item $ Cov[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)),Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))] = \frac{k(k+1)}{2}\lambda \text{Var}[Y]\mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s))] +  \frac{k(k+1)(2k+1)}{6}\lambda \mathbb{E}[Y]^2\\  \mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s))] +  ( \frac{k(k+1)}{2} \lambda \mathbb{E}[Y])^2 \text{Var}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s))].$
			\end{enumerate}
	\end{proposition}
	\noindent
	On putting $s=t$ in $(ii)$, we get variance.
	\noindent
	Now, we evaluate $ \text{Var}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))] - \mathbb{E}[Z(S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))]$,

	\begin{eqnarray*}

		&=&   \frac{k(k+1)}{2} \lambda \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\left[\text{Var}[Y]-\mathbb{E}[Y]+ \frac{2k+1}{3}\mathbb{E}[Y]^2 \right] +
		\\ && \left(\frac{k(k+1)}{2} \lambda \mathbb{E}[Y]\right)^2 \text{Var}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\\ &>& 0.
	\end{eqnarray*}
	Hence it exhibits overdispersion.\\
	\fi

	\fi

	\subsection*{Long-range dependence}
	Now we analyze the LRD property for $ TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$.

	\begin{theorem}
		The  $\{Z_1(t)\}_{t\geq 0}$ has the LRD property.
	\end{theorem}
	\begin{proof}
		We have $ \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)^n] \sim (c_1\alpha_1\lambda_1^{\alpha_1-1}+c_2\alpha_2\lambda_2^{\alpha_2-1})^n t^n $, as $t\rightarrow \infty $, from \cite{mixedsubordinator}.

	Therefore
		\begin{equation}\label{eq:var}
		\text{Var}[Z_1(t)]
		\sim  \mathbb{E}[S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)]\text{Var}[Z(1)] \sim Kt,
		\end{equation}
		where $K= (c_1\alpha_1\lambda_1^{\alpha_1-1}+c_2\alpha_2\lambda_2^{\alpha_2-1})\text{Var}[Z(1)].$\\

		Let $ 0<s<t<\infty $, then
		\begin{eqnarray*}
			Corr[Z_1(s),Z_1(t)] &=& \frac{Cov[Z_1(s),Z_1(t)]}{\sqrt{\text{Var}[Z_1(s)]\text{Var}[Z_1(t)]}},\\
			&\sim& \frac{Cov[Z_1(s),Z_1(t)]}{t^{1/2}\sqrt{K}}, \text{from \eqref{eq:var}} \\
			&= & c(s)t^{-1/2},
		\end{eqnarray*}
		where $ c(s) = \frac{Cov[Z_1(s),Z_1(t)]}{\sqrt{K}} >0. $ Hence from the Definition \ref{Def:LRD}, $TCPPoK(\lambda,H,S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$ captures LRD property.
	\end{proof}

	\ifx
	\begin{theorem}
		(Law of iterated logarithm) Let the Laplace exponent $f(s)$ of the subordinator $ D_f(t)$ be regularly varying at $ 0+$ with index $ \alpha \in (0,1)$ . Then ({\color{red} need to be checked })
		$$ \liminf_{t \rightarrow \infty} \frac{Q_f^{(1)}(t)}{g(t)} =  \frac{k(k+1)}{2}\lambda \mathbb{E}[Y] \alpha (1-\alpha)^{\frac{1-\alpha}{\alpha}}~~ a.s., $$
		where,
		$$ g(t) = \frac{loglogt }{f^{-1}(t^{-1}loglogt)}(t>e)$$
	\end{theorem}
	\textbf{Proof:-} We have $ Q_f^{(1)}(t) = Z(D_f(t))$\\
	Now,
	\begin{eqnarray*}
		\liminf_{t \rightarrow \infty} \frac{Q_f^{(1)}(t)}{g(t)} &= & \liminf_{t \rightarrow \infty} \frac{Z(D_f(t))}{g(t)} \\ &=&
		\liminf_{t \rightarrow \infty} \frac{Z(D_f(t))}{D_f(t)}\frac{D_f(t)}{g(t)} \\&=& \frac{k(k+1)}{2}\lambda \mathbb{E}[Y]  \liminf_{t \rightarrow \infty} \frac{D_f(t)}{g(t)} ,~~
		law~ of~ large~ number \\ &=& \frac{k(k+1)}{2}\lambda \mathbb{E}[Y] \alpha (1-\alpha)^{\frac{1-\alpha}{\alpha}}
	\end{eqnarray*}
	\fi

	\subsection{CPPoK time changed by the first exit time of mixtures of tempered stable subordinators}

	In this subsection, we consider $CPPoK(\lambda,H)$ subordinated with first exit time of MTSS and discuss the asymptotic behavior of its moments. \\
	The first exit time of L\'evy subordinator $S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)$ also known as inverse subordinator is defined as
	$$ E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)=\inf\{r\geq 0:S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(r)>t\},~ t\geq 0.$$

	\begin{definition}
	   Let $\{Z(t)\}_{t\geq 0}$ be the $CPPoK(\lambda,H)$ as discussed in Definition \ref{def:cppok}, then the subordinated CPPoK with first exit time of MTSS, denoted as $TCPPoK(\lambda,H,E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$ is defined as
		$$ Z_2(t) = Z(E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))= \sum_{i=1}^{N^{(k)}(E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t))} Y_i ,~ t \geq 0 $$

		where the process $ \{Z(t)\}_{t\geq 0} $ is independent from $\{ E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)\}_{t\geq 0}.$
	\end{definition}
\noindent
	The \textit{FDD} of $TCPPoK(\lambda,H,E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$ is given as
	\begin{equation*}
    F_{Z_2(t_1),\ldots,Z_2(t_n)}(y_1,\ldots,y_n)= \prod_{i=1}^{n}\int_{x_i=0}^{\infty}
		F'(y_1,\ldots,y_n) g'(x_1,\ldots,x_n)dx_1\ldots dx_n,
    \end{equation*}
	where $F'(y_1,\ldots,y_n) = F_{Z(x_1),\ldots,Z(x_n)}(y_1,\ldots,y_n)$ is the \textit{FDD} of $CPPoK(\lambda,H)$, and $g'(x_1,\ldots,x_n)$ is the joint density function of $E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t_1),\ldots,E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t_n).$
	\begin{theorem}
	 The mean and covariance function of $TCPPoK(\lambda,H,E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}) $ are given as

	\begin{enumerate}[(i)]
		\item $\mathbb{E}[Z_2(t)] = \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \mathbb{E}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]$,
		\item $ \mbox{Cov}[Z_2(s),Z_2(t)] = \text{Var}[Z(1)] \mathbb{E}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)] +\mathbb{E}[Z(1)]^2 \mbox{Cov}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s),E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)].$
	\end{enumerate}
\end{theorem}
\begin{proof}
We can prove this in a similar manner as given in Theorem \ref{thm:dis}.
\end{proof}

\ifx
	\begin{eqnarray*}
		\mbox{Cov}[Q_f^{(2)}(s),Q_f^{(2)}(t)] &=& \left[ \frac{k(k+1)}{2}\lambda  \text{Var}(Y) + \frac{k(k+1)(2k+1)}{6}\lambda  \mathbb{E}[Y]^2 \right]\mathbb{E}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s)\}] \\ &&
		+ \left(\frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \right)^2 \mbox{Cov}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(s),E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)].
	\end{eqnarray*}
\fi
\noindent
	Now, we discuss the asymptotic behavior of moments of $TCPPoK(\lambda,H,E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2})$. First we need the following definition (see \cite{bertoin,Taqqu2010}).
	\begin{theorem}(Tauberian Theorem) \label{thm:taub}
		Let $ l:(0,\infty)\rightarrow (0,\infty)$ be a slowly varying function at $0 $ (respectively $\infty $) and let $\rho \geq 0$. Then for a function $ U:(0,\infty)\rightarrow (0,\infty) $, the following are equivalent.
		\begin{enumerate}[(i)]
			\item $ U(x) \sim x^{\rho}l(x)/ \Gamma(1+\rho),~~~x\rightarrow 0 ~(respectively ~x\rightarrow \infty).$
			\item $\tilde{U}(s) \sim s^{-\rho-1}l(1/s),~~~s \rightarrow \infty~ (respectively ~s\rightarrow 0), $ where $\tilde{U}(s) $ is the LT of $U(x).$
		\end{enumerate}
	\end{theorem}
	\noindent We know that LT of $p$th order moment of inverse subordinator $ \{E_f(t)\}_{t\geq 0} $  is given by  (see \cite{TCFPP-pub})
	$$ \mathscr{L}[\mathbb{E}(E_f(t))^p] = \frac{\Gamma (1+p)}{s(f(s))^p},~ p>0$$
	where $ f(s)$ is the corresponding Bernstein function associated with L\'evy subordinator.
	\begin{proposition}

		The asymptotic form of mean and variance of $ \{Z_2(t)\}_{t\geq 0}$ is given as
		$$\mathbb{E}[Z_2(t)] \sim \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \frac{t}{c_1\alpha_1 \lambda_1^{\alpha_1 -1}+c_2\alpha_2 \lambda_2^{\alpha_2 -1}}, ~~as~ t\rightarrow \infty. $$
		$$ \text{Var}[Z_2(t)] \sim \frac{k(k+1)}{2}\lambda \left[\text{Var}(Y) + \frac{(2k+1)}{3}  \mathbb{E}[Y]^2 \right] \frac{t}{c_1\alpha_1 \lambda_1^{\alpha_1 -1}+c_2\alpha_2 \lambda_2^{\alpha_2 -1}}, ~~as~ t\rightarrow \infty. $$
	\end{proposition}
	\begin{proof}
		Let $\tilde{M}(s)$ be the LT of $\mathbb{E}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]$. Then
		\begin{eqnarray*}
	\tilde{M}(s) = \mathscr{L}[\mathbb{E}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]] &=&\frac{1}{s(c_1((s+\lambda_1)^{\alpha_1}-\lambda_1^{\alpha_1})+c_2((s+\lambda_2)^{\alpha_2}-\lambda_2^{\alpha_2}))}\\
	&\sim & \frac{1}{s^2(c_1\alpha_1 \lambda_1^{\alpha_1 -1} + (c_2\alpha_2 \lambda_2^{\alpha_2 -1})}, ~\text{as $s\rightarrow 0$, from \cite{mixedsubordinator}}.
		\end{eqnarray*}
	Then, by using Theorem \ref{thm:taub}, we have that
\begin{eqnarray*}
\mathbb{E}[Z_2(t)]  &=& \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \mathbb{E}[E_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}(t)]\\
&\sim & \frac{\lambda k(k+1)}{2} \mathbb{E}[Y]\frac{t}{c_1\alpha_1 \lambda_1^{\alpha_1 -1}+c_2\alpha_2 \lambda_2^{\alpha_2 -1}}, ~~as~ t\rightarrow \infty.
\end{eqnarray*}
In the similar manner, we can get the expression for variance.
\end{proof}

\ifx
	  \begin{align*}
		\mathbb{E}[Z_{f_1}^{(2)}(t)] =& \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \mathbb{E}[E_{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}}(t)\}]\\ &
		\text{by using equation \eqref{asymp} in theorem \eqref{thm:taub}, we get}\\
		\sim & \frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \frac{t}{c_1\alpha_1 \lambda_1^{\alpha_1 -1}+c_2\alpha_2 \lambda_2^{\alpha_2 -1}}, ~~as~ t\rightarrow \infty.
		\end{align*}
		and
		\begin{align*}
		\text{Var}[Z_{f_1}^{(2)}(t)] =& \left[ \frac{k(k+1)}{2}\lambda  \text{Var}(Y) + \frac{k(k+1)(2k+1)}{6}\lambda  \mathbb{E}[Y]^2 \right]\mathbb{E}[E_{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}}(t)\}] \\ &
		+ \left(\frac{k(k+1)}{2} \lambda \mathbb{E}[Y] \right)^2 \text{Var}[E_{S_{\alpha_1,\alpha_2}^{\mu_1,\mu_2}}(t)] \\
		\sim & \frac{k(k+1)}{2}\lambda \left[\text{Var}(Y) + \frac{(2k+1)}{3}  \mathbb{E}[Y]^2 \right] \frac{t}{c_1\alpha_1 \lambda_1^{\alpha_1 -1}+c_2\alpha_2 \lambda_2^{\alpha_2 -1}}, ~~as~ t\rightarrow \infty.
		\end{align*}
		\fi

		\noindent
{\bf Acknowledgement}. The authors would like to thank Aditya Maheshwari(IIM, Indore) for being part of various discussions on this topic.

	\bibliographystyle{abbrv}


Persistence of periodic traveling waves and Abelian integrals

Abstract: It is well known that the existence of traveling wave solutions (TWS) for many partial differential equations (PDE) is a consequence of the fact that an associated planar ordinary differential equation (ODE) has certain types of solutions defined for all time. In this paper we address the problem of persistence of TWS of a given PDE under small perturbations. Our main results deal with the situation where the associated ODE has a center and, as a consequence, the original PDE has a continuum of periodic traveling wave solutions. We prove that the TWS that persist are controlled by the zeroes of some Abelian integrals. We apply our results to several famous PDE, like the Ostrovsky, Klein-Gordon, sine-Gordon, Korteweg-de Vries, Rosenau-Hyman, Camassa-Holm, and Boussinesq equations.

\section{Introduction}

  Traveling wave solutions (TWS) are an important class of
particular solutions of partial differential equations (PDE).  These
waves are special solutions which do
not change their shape and which propagate at constant speed.  They
appear in fluid dynamics, chemical kinetics involving reactions,
mathematical biology, lattice vibrations in solid state physics,
plasma physics and laser theory, optical fibers, etc. In these
systems the phenomena of dispersion, dissipation, diffusion,
reaction and convection are the fundamental physical common facts.  We refer the reader to some interesting sources to know more details about the first appearance of this kind of solutions in the works of Russell (1834), Boussinesq (1877),
Korteweg and de Vries (1895), Luther (1906),  Fisher (1937),
Kolmogorov, Petrovskii and Piskunov (1937), and to find several examples
of applications and further motivation to study them: see \cite{GasGia2015,
GilKer2004,GriSch2012,Gri1991,LiDai2007, Lie2013,Mur2002,
SanMai1995, Zha2011} and the references therein.

When studying ordinary differential equations (ODE), especially when
they are modeling real world phenomena, it is very important to take into account whether the ODE are \emph{structurally stable}. In a few words this means that if we fix a compact set $\mathcal K$ in the
phase space it is said that an ODE is structurally stable on $\mathcal K$ when any
other close enough (in the
$\mathcal{C}^1$-topology) differential equation has a conjugated phase portrait. This
concept is relevant for applications because it implies that the
observed behaviours are qualitatively robust with respect to small changes of the model, see for instance \cite{AndroLeontGor1973, Pei1962, Sot1974}
for more details, in particular concerning  the planar case. Recall that the boundary of the sets of structurally stable differential equations is
precisely where \emph{bifurcations} (that is, qualitative changes of
the phase portraits) may occur.

It is well-known that for many PDE the existence of TWS is
established by proving the existence of a particular solution of a
planar ordinary differential equation.  These particular solutions
must be defined for all time and, in the light of the previous
definition, can roughly  be classified into two categories:

\begin{itemize}

\item TWS created by a dynamical behaviour that is structurally
stable. Examples of this situation are   hyperbolic limit
cycles or heteroclinic connections where both critical points are
hyperbolic and one of them is a node.

\item TWS created by a dynamical behaviour that is not structurally
stable, as for instance continua of periodic orbits,
or homoclinic or heteroclinic solutions connecting hyperbolic saddles.

\end{itemize}

In the first situation, simply take as the set $\mathcal K$ a compact
neighbourhood of the orbit that gives rise to the TWS for a given
PDE. Then it can be easily seen that a small enough $\mathcal{C}^1$ perturbation of  the original PDE with the same order will still have a TWS. This is so because all the structurally stable phenomena in ODE are robust under $\mathcal{C}^1$-perturbations.
The only condition that must be checked is that the
$\mathcal{C}^1$-closeness between the two PDE's is translated into
a $\mathcal{C}^1$-closeness in $\mathcal K$ of the corresponding
ODE.

An example corresponding to the first situation is the
Fisher-Kolmogorov PDE, $u_t=u_{xx}+u(1-u),$  where the existence of
several  TWS of front type with different speeds is associated to the existence
of a homoclinic connection between a hyperbolic saddle and a node,
see \cite{Chi2006,GasGiaTor2013} and references therein.  Therefore, all PDE of
the form $u_t=u_{xx}+u(1-u)+\varepsilon g(u,u_x,u_t,\varepsilon)$  for $\varepsilon$ small enough
have such type of TWS. In fact, the same result
holds for many perturbed Fisher-Kolmogorov PDE with a perturbation
term of the form
$\varepsilon
g(u,u_x,u_t,u_{xx},u_{xt},u_{tt},\varepsilon)$.
As  a
second example of the first situation mentioned above, for some PDE of the form $u_t=u_{xx}+h(u)u_x+g(u)$
there are periodic TWS  which are associated to the existence of hyperbolic limit
cycles, see for instance \cite{Cor1993,Man2003} and the references
therein.

\smallskip

In this paper we address   the second, more delicate, situation.
More specifically, we consider several  PDE having a  \emph{continuum of periodic}
TWS associated to a center of a second order ODE associated to the
PDE, and we study which conditions have to be imposed on the
perturbation of the PDE to be able to ensure that TWS persist and to quantify them.

We split our main results into two theorems, which we state in Section \ref{se:defsres} after giving  some preliminary definitions and notations. Our first
result  deals with second order PDE, see Theorem \ref{th:main1}, and
applies to a wide range of equations. Our second result, Theorem
\ref{th:main2},  is more restrictive on the one hand because it only
considers some special perturbations, but on the other hand it applies
to higher order PDE.
In Section \ref{se:abel} we study a particular class of Abelian
integrals that will often appear in the analysis of the perturbations in Section \ref{se:appl}. For these Abelian integrals our main result is given in Theorem \ref{th:general}.
Finally, in Section \ref{se:appl} we detail some applications of our
results. First, in Section \ref{ss:m2}, we apply Theorem~\ref{th:main1} to perturbations of
 TWS of second order equations such as  the Ostrovsky, Klein-Gordon and
sine-Gordon equations. Afterwards, in Section~\ref{ss:mb2} we use
Theorem~\ref{th:main2} to study perturbations of higher order
PDE given by  the Korteweg-de Vries, Rosenau-Hyman,
 Camassa-Holm, and Boussinesq equations.

\section{Definitions and main results}
\label{se:defsres}

Consider $m$-th order partial differential equations
 of the form
\begin{equation}\label{eq:edp}
P\Big(u,\frac{\partial u}{\partial x}, \frac{\partial u}{\partial
t}, \frac{\partial^2 u}{\partial x^2}, \frac{\partial^2 u}{\partial
x\partial t},\frac{\partial^2 u}{\partial t^2},\ldots,
\frac{\partial^m u}{\partial x^m},\frac{\partial^m u}{\partial
x^{m-1}\partial t},\ldots,\frac{\partial^m u}{\partial
t^m},\varepsilon\Big)=0,
\end{equation}
where $\mathcal{W}\subset\mathbb{R}^{(m+1)(m+2)/2}$ is an open set,
$\mathcal{I}$ is an open interval containing $0,$
$P:\mathcal{W}\times \mathcal{I}\to\mathbb{R}$ is a  sufficiently smooth function and
$\varepsilon$ is a small parameter. Recall that the traveling wave
solutions  of \eqref{eq:edp} are particular solutions of the form
$u=U(x-ct)$ where $U(s)$ is defined for all $s\in\mathbb{R}$ and satisfies
certain boundary conditions at infinity. It is well-known that the
existence of such solutions is equivalent to finding solutions defined
for all $s$ of the $m$-th order ordinary differential equation
\begin{multline}\label{eq:pc} P_c(U,U',U'',\ldots,U^{(m)},\varepsilon):=
\\P\big(U,U',-cU',U'',-cU'',c^2U'',\ldots, U^{(m)},-c
U^{(m)},\ldots, (-c)^mU^{(m)},\varepsilon\big)=0,\end{multline}
satisfying these conditions. Here the prime denotes derivative with
respect to $s$ and $P_c:\mathcal{W}_c(\varepsilon)\times I\to\mathbb{R},$
where $\mathcal{W}_c(\varepsilon)$ is an open subset of $\mathbb{R}^{m+1}$.

We will distinguish two cases according to whether \eqref{eq:edp} is a
second order equation ($m=2$) or a higher order equation ($m>2$).

\smallskip

\noindent{\bf Second order equations.} Our main result applies to a certain class of perturbed PDE that satisfy three conditions (i)--(iii) that we detail below. Succinctly, it requires the existence of a certain  wave speed $c\in\mathbb{R}$ such that: (i) the associated ODE has the form $U''=f_c(U,U')+\varepsilon g_c(U,U',\varepsilon)$; (ii) after a time reparameterization if necessary the planar system associated with this ODE can be written as a perturbation of a Hamiltonian system; and (iii) this Hamiltonian system has a center, and the Melnikov-Poincar\'{e}-Pontryagin function associated with the perturbation has $\ell$ simple zeroes, see \cite[Part II]{ChiLi2007} for further details.

More precisely, we will say that the PDE \eqref{eq:edp}
with $m=2$ satisfies \emph{Property}~$\mathcal{A}$ if there exists $c\in\mathbb{R}$ such that the following three
conditions hold:
\begin{enumerate}[(i)]
\item There  exist  $\mathcal{C}^1$ functions
$f_c:\mathcal{V}_c(\varepsilon)\to\mathbb{R}$ and
$g_c:\mathcal{V}_c(\varepsilon)\times \mathcal{I}\subset\mathbb{R}^3\to\mathbb{R},$
with $\mathcal{V}_c(\varepsilon)\subset\mathbb{R}^2$ and
$\mathcal{V}_c(\varepsilon)\times \mathcal{I}\subset\mathbb{R}^3$ open sets,
such that,
 for $\varepsilon$ small enough,
\begin{multline*} \qquad\{(x,y)\in\mathcal{V}_c(\varepsilon)\,:\,
z=f_c(x,y)+\varepsilon g_c(x,y,\varepsilon)\}\\\subset
\{(x,y,z)\in\mathcal{W}_c(\varepsilon)\,:\,
P_c(x,y,z,\varepsilon)=0\}.
\end{multline*}
 Moreover, if $\mathcal {U}_c$ is the limit of the sets
$\mathcal{V}_c(\varepsilon)$ when $\varepsilon\to0,$ the only
solution of  $f_c(x,0)=0$ in $\mathcal {U}_c$ is $x=x_c.$

\item There exists a $\mathcal{C}^2$ function
$H_c:\mathcal{V}_c\subset\mathbb{R}^2\to \mathbb{R}^+\cup\{0\}$ such that
$H_c(x_c,0)=0,$
\[
\frac{\partial H_c(x,y)}{\partial y} = \frac{y}{s_c(x,y)},\quad
\frac{\partial H_c(x,y)}{\partial x} = -\frac{f_c(x,y)}{s_c(x,y)},
\]
for some $\mathcal{C}^1$ function $s_c:\mathcal{V}_c\subset\mathbb{R}^2\to \mathbb{R}^+.$
Notice that   $s_c$ is
such that
\[
\frac{\partial}{\partial
x}\left(\frac{y}{s_c(x,y)}\right)+\frac{\partial}{\partial
y}\left(\frac{f_c(x,y)}{s_c(x,y)}\right)\equiv 0.
\]

\item For each $h\in(0,\overline h_c),$ where $\overline h_c\in\mathbb{R}^+\cup\{\infty\},$ the set
\[\gamma_c(h):=\{(x,y)\in\mathcal{V}_c\,:\, H_c(x,y)=h
\}\] is a closed oval surrounding $(x_{c},0)$ and the function $M_c:
(0,\overline h_c)\to \mathbb{R},$ defined as the line integral
\[
M_c(h)=\int_{\gamma_c(h)} \frac{g_c(x,y,0)}{s_c(x,y)}\, dx,
\]
has $\ell\ge 1$ simple zeroes in $(0,\overline h_c).$
\end{enumerate}

\begin{thmx}\label{th:main1} Assume that the second order PDE
\begin{equation}\label{eq:edp1}
P(u,u_t,u_x,u_{tt},u_{tx},u_{xx},\varepsilon) =0,
\end{equation}
satisfies Property $\mathcal{A}$ for some $c\in\mathbb{R}.$  Then:
\begin{enumerate}[(a)]
\item For $\varepsilon=0$ the PDE \eqref{eq:edp1} has a continuum of periodic TWS,
$u=U_h(x-ct),$ for $h$ in an open real interval.

\item For $\varepsilon$ small enough it has at least $\ell$ periodic
TWS, $u=U_{h_j}(x-ct,\varepsilon), j=1,2,\ldots,\ell.$
\end{enumerate}
\end{thmx}

\begin{proof}[Proof of Theorem \ref{th:main1}] From the discussion at the very beginning of this section,
a function  $U(s)$ is a TWS for the PDE \eqref{eq:edp}  if it is
defined for all time and
\begin{equation}\label{eq:fc}
P_c(U(s),U'(s),U''(s),\varepsilon)=0,
\end{equation}
where $P_c$ is defined in \eqref{eq:pc}. By using  (i) of Property
$\mathcal{A}$ we can write the above expression as
\[
U''(s)=f_c(U(s),U'(s))+\varepsilon g_c (U(s),U'(s),\varepsilon),
\]
for some suitable $f_c$ and $g_c.$ In other words,
$(x,y)=(U(s),U'(s))$ is a solution of the planar ODE
\[
  \left\{\!
   \begin{array}{l}
     x'=\dfrac{dx}{ds}=y, \\[10pt] y'=\dfrac{dx}{ds}=f_c(x,y)+\varepsilon g_c(x,y,\varepsilon).
   \end{array}
  \right.
\]
By item (ii) of Property $\mathcal{A}$ we can parameterize $U$ by a new
time, say $\tau,$ with $d\tau/d s= s_c(x,y),$ and then $x=U(\tau)$
satisfies the equivalent planar ODE
\begin{equation}\label{eq:ham-per}
 \begin{cases}
     \dot x=\dfrac{dx}{d\tau}=\dfrac{dx}{d\tau}\dfrac{d\tau}{ds}=\dfrac{y}{s_c(x,y)}=\dfrac{\partial H_c(x,y)}{\partial y},
     \\[10pt] \dot y=\dfrac{dy}{d\tau}=\dfrac{dy}{d\tau}\dfrac{d\tau}{ds}=\dfrac{f_c(x,y)}{s_c(x,y)}+\varepsilon \dfrac{g_c(x,y,\varepsilon)}{s_c(x,y)}
     =-\dfrac{\partial H_c(x,y)}{\partial x}
     +\varepsilon \dfrac{g_c(x,y,\varepsilon)}{s_c(x,y)}.
 \end{cases}
\end{equation}
When $\varepsilon=0$ the above system is Hamiltonian, and by (i) and
(iii) of Property $\mathcal{A}$ the continuum of curves $\gamma_c(h)$ for
$0<h<\overline h$  are periodic orbits of system \eqref{eq:ham-per} with
$\varepsilon=0$ that surround the center $(x_c,0).$ The functions
$U_h(s,c)=x_h(\tau(s),c),$  where $(x_h(\tau,c),y_h(\tau,c))$ is the
parameterization of $\gamma_c(h)$, give rise to the continuum of periodic
traveling wave solutions of \eqref{eq:edp1}.

When $\varepsilon\ne0$ is small enough we are in the setting of the
perturbations of Hamiltonian systems,
\cite{ChiLi2007,DumLliArt2006}. Recall that for general perturbed
$\mathcal{C}^1$ Hamiltonian systems,
\begin{equation}\label{eq:gen}
 \begin{cases}
     \dot x=\phantom{-}\dfrac{\partial H(x,y)}{\partial y}+\varepsilon R(x,y,\varepsilon),
     \\[10pt] \dot y=-\dfrac{\partial H(x,y)}{\partial x}
     +\varepsilon S(x,y,\varepsilon),
 \end{cases}
\end{equation}
its associated Melnikov-Poincar\'{e}-Pontryagin function is
\[
M(h)=\int _{\gamma(h)} S(x,y,0)\,dx-R(x,y,0)\,dy,
\]
where the curves $\gamma(h)$ form a continuum of ovals contained in
$\{H(x,y)=h,$ for $h\in (h_0,h_1)\}.$ Then, it is known that each
simple zero $ h^*\in (h_0,h_1)$ of $M$ gives rise to a limit cycle
of \eqref{eq:gen} that tends to $\gamma(h^*)$ when $\varepsilon\to 0$.
For system \eqref{eq:ham-per}, $M(h)=M_c(h)$ and so,  each simple zero
$h_j\in(0,\overline h_c),$ $j=1,2,\ldots,\ell$ of  $M_c(h)$ gives
rise to a limit cycle of system \eqref{eq:ham-per}. Each of these
limit cycles correspond to a periodic TWS  of \eqref{eq:edp1}.
\end{proof}

\smallskip

\noindent{\bf Higher order equations ($m>2$).} In this situation our approach only
works for a particular  class of differential equations. Again,
fixed $(c,k)\in\mathbb{R}^2,$ we will define a property similar to Property
$\mathcal{A}$ which
will consist of four conditions. The first one, that we will call condition (o), is the most
restrictive one and it is totally different to the ones imposed when
$m=2.$ It states that the associated ODE can somehow be reduced to a second order equation, or that some of the solutions of the associated ODE are also solutions of a related second order ODE. The rest of the conditions are quite similar to the ones of the
planar case.

More precisely, we say that a PDE satisfies \emph{Property} $\mathcal{B}$ if there exist $c,k\in\mathbb{R}$ such that:
\begin{enumerate}
\item [(o)] There exists a function
$Q_c:\mathcal{W}_c\times\mathcal{I}\to\mathbb{R},$ where
$\mathcal{W}_c\subset\mathbb{R}^3$ is open and $Q_c$ is sufficiently smooth,  such that
\[
\frac{d^{m-2}}{ds^{m-2}}\big(Q_c(U,U',U'',\varepsilon)\big)=
P_c(U,U',U'',\ldots, U^{(m)},\varepsilon),
\]
where $P_c$ is defined in \eqref{eq:pc} and $U=U(s).$

\item [(i)] There  exist  two $\mathcal{C}^1$  functions
$f_{c,k}:\mathcal{V}_{c,k}(\varepsilon)\to\mathbb{R}$ and
$g_{c,k}:\mathcal{V}_{c,k}(\varepsilon)\times \mathcal{I}\to\mathbb{R}$ with
$\mathcal{V}_{c,k}(\varepsilon)\subset\mathbb{R}^2$ and
$\mathcal{V}_{c,k}(\varepsilon)\times \mathcal{I}\subset\mathbb{R}^3$ open
sets, such that,
 for $\varepsilon$ small enough,
\begin{multline*} \qquad\{(x,y)\in\mathcal{V}_{c,k}(\varepsilon)\,:\,
z=k+f_{c,k}(x,y)+\varepsilon g_{c,k}(x,y,\varepsilon)\}\\\subset
\{(x,y,z)\in\mathcal{W}_{c,k}(\varepsilon)\,:\,
Q_c(x,y,z,\varepsilon)=k\}.
\end{multline*}
 Moreover, if $\mathcal {U}_{c,k}$ is the limit of the sets
$\mathcal{V}_{c,k}(\varepsilon)$ when $\varepsilon\to0,$ the only
solution of  $f_c(x,0)=k$ in $\mathcal{V}_{c,k}$ is $x=x_{c,k}.$

\item [(ii)] There exists a $\mathcal{C}^2$ function
$H_{c,k}:\mathcal{V}_{c,k}\subset\mathbb{R}^2\to \mathbb{R}^+\cup\{0\}$ such that
$H_{c,k}(x_{c,k},0)=0,$
\[
\frac{\partial H_{c,k}(x,y)}{\partial y} =
\frac{y}{s_{c,k}(x,y)},\quad \frac{\partial H_{c,k}(x,y)}{\partial
x} = -\frac{f_c(x,y)+k}{s_{c,k}(x,y)},
\]
for some $\mathcal{C}^1$ function $s_{c,k}:\mathcal{V}_{c,k}\subset\mathbb{R}^2\to
\mathbb{R}^+$. Notice that the
function $s_{c,k}$ is such that
\[
\frac{\partial}{\partial
x}\left(\frac{y}{s_{c,k}(x,y)}\right)+\frac{\partial}{\partial
y}\left(\frac{f_c(x,y)+k}{s_{c,k}(x,y)}\right)\equiv0.
\]

\item [(iii)] For each $h\in(0,\overline h_{c,k}),$ where $\overline h_{c,k}\in\mathbb{R}^+\cup\{\infty\},$  the set
\[\gamma_{c,k}(h):=\{(x,y)\in\mathcal{V}_{c,k}\,:\, H_{c,k}(x,y)=h
\}\] is a closed oval surrounding $(x_{c,k},0)$ and the function
$M_{c,k}: (0,\overline h_{c,k})\to \mathbb{R},$ defined as the line integral
\[
M_{c,k}(h)=\int_{\gamma_{c,k}(h)}
\frac{g_{c,k}(x,y,0)}{s_{c,k}(x,y)}\, dx,
\]
has $\ell\ge1$ simple zeroes in $(0,\overline h_{c,k}).$
\end{enumerate}

\begin{thmx}\label{th:main2} Assume that the $m$-th order PDE \eqref{eq:edp}, with $m>2,$ satisfies Property $\mathcal{B},$ for some
$c\in\mathbb{R}$ and $k\in\mathbb{R}.$  Then:
\begin{enumerate}[(a)]
\item For $\varepsilon=0$ the PDE \eqref{eq:edp1} has a continuum of periodic TWS,
$u=U_{h,k}(x-ct)$ for $h$ in an open real interval.

\item For $\varepsilon$ small enough it has at least $\ell$ periodic
TWS, $u=U_{h_j,k}(x-ct,\varepsilon)$ for $j=1,2,\ldots,\ell.$
\end{enumerate}
\end{thmx}

\begin{proof}[Proof of Theorem \ref{th:main2}]
From  condition (o) of  Property $\mathcal{B},$  if we restrict our
attention to the solutions of \eqref{eq:pc} contained in
\begin{equation}\label{eq:qc}
Q_c(U,U',U'',\varepsilon)=k,
\end{equation}
for the given value of $k\in\mathbb{R},$ we can find some TWS with speed $c$
and associated to this particular value of $k.$ Other values of $k$
give different TWS with the same speed.

Starting from equation \eqref{eq:qc}, instead of equation
\eqref{eq:fc}, we can repeat all the steps of the proof of Theorem
\ref{th:main1}, point by point, to get the desired conclusion.
\end{proof}

\section{Some particular Abelian integrals}\label{se:abel}

This section is devoted to studying a particular class of Abelian
integrals for which we prove a result quantifying their zeros, see Theorem \ref{th:general}. We will use this result in the next section when we study the
persistence of TWS for several perturbed PDE, which is governed by the number of zeros of integrals of this type.

\begin{proposition}\label{pr:zeroes} Let $A,B$ and $D$ be analytic
functions, defined in an open interval   $\mathcal{I}\subset\mathbb{R}$ and
such that
\begin{align*}
A(x)=&a^2+O(x-x^*),\qquad B(x)=\frac{(x-x^*)^2}{b^2}+O\big((x-x^*)^3\big),\\
D(x)=&(x-x^*)^{2n}D_0(x)\quad\mbox{with}\quad D_0(x)=d+O(x-x^*),
\end{align*}
for certain $x^*\in\mathcal{I},$ where $a,b,c$ are real constants with $abd\ne0$ and
$n\in\mathbb{N}\cup\{0\}.$ Consider the Hamiltonian function
$H(x,y)=A(x)y^2+B(x).$ Then, the following holds:
\begin{enumerate}[(a)]
\item The Hamiltonian system $\dot x=H_y(x,y),$ $\dot y=-H_x(x,y),$
has a center at $(x^*,0).$ We will denote by $\gamma(h)$ the
periodic orbits contained in $\{H(x,y)=h\},$ which exist when
$h\in(0,\widetilde h)$ for some $\widetilde{h}\in\mathbb{R}.$

\item For $h\in(0,\widetilde h)$ and $p,n\in\mathbb{N},$ define the Abelian integral
\begin{equation}\label{eq:integralJ}
J_p(h)=\int_{\gamma(h)}  D(x) y^p \,dx.
\end{equation}
Then $J_{2p}(h)\equiv0$ and
\[
J_{2p-1}(h)\sim \frac{2d b^{2n+1}}{a^{2p-1}}
\frac{(2p-1)!!\,(2n-1)!!\,\pi}{2^{p+n}(p+n)!}\,h^{p+n} \,
\mbox{ at }\, h=0^+,\] where $(2k-1)!!=(2k-1)(2k-3)\cdots 3\cdot 1$
and $(-1)!!=1!!=1.$
\end{enumerate}

\end{proposition}

\begin{proof}

Without loss of generality we will assume that
$x^*=0.$ To prove $(a)$, notice that the origin is a non-degenerate singular point of the vector field $X=(H_y,-H_x)$ because $\det(\mathrm{D}X(0,0))=2A(0)B''(0)=4a^2/b^2>0$. Moreover, since a singular point of a Hamiltonian system can neither be a focus nor a node, it is a center.

To study the Abelian integral $J_p$ it is convenient to introduce
the new variable $w$ as $h=w^2.$ Then, by the Weierstrass preparation
theorem, see for instance \cite{AndroLeontGor1973,ChoHal1982}, in a
neighbourhood of $(0,0)$ the only solutions of equation
$B(x)-w^2=x^2/b^2-w^2+O(x^3)=0$ are
 \[
x=x^{\pm}(w)= \pm b w +O(w^2),
\]
where $x^{\pm}(w)$ are analytic functions at zero. Moreover, in this
neighbourhood,
\begin{equation}\label{eq:wpt}
 w^2-B(x)=(x-x^-(w))(x^+(w)-x) U(x,w),
\end{equation}
where $U(0,0)=1/b^2$ is also analytic at $(0,0).$ Notice that the points of the
oval $\gamma(h)$ satisfy $y=\pm\sqrt{(w^2-B(x))/A(x)}.$  When $p$ is even the integral
\eqref{eq:integralJ} vanishes because of symmetry with respect to $y=0$. Hence
\begin{equation*}
J_p(w^2)=
\begin{cases}
0, \quad &\quad\mbox{when}\quad p\quad\mbox{is even},\\[3pt]
2\mathlarger{\int_{x^-(w)}^{x^+(w)}}
D(x)\left(\dfrac{w^2-B(x)}{A(x)}\right)^{\frac p 2}\, dx,
&\quad\mbox{when}\quad  p\quad\mbox{is odd}.
\end{cases}
\end{equation*}

By using \eqref{eq:wpt}
we get that
\begin{align*}
J_{2p-1}(w^2)=&2\int_{x^-(w)}^{x^+(w)}
D(x)\left(\dfrac{w^2-B(x)}{A(x)}\right)^{\frac{2p-1}2}\,
dx\\=&2\int_{x^-(w)}^{x^+(w)}
\big((x-x^-(w))(x^+(w)-x)\big)^{\frac{2p-1}2}
D(x)\left(\dfrac{U(x,w)}{A(x)}\right)^{\frac{2p-1}2}\, dx\\=& 2
(\Delta(w))^{2p}\int_0^1  \big(z(1-z)\big)^{\frac{2p-1}2}
\overline{D}(z,w)\left(\dfrac{\overline{U}(z,w)}{\overline{A}(z,w)}\right)^{\frac{2p-1}2}\,
dz,
\end{align*}
where in the integral we have introduced the change of variables
$z=(x-x^-(w))/\Delta(w),$  being $\Delta(w)=x^+(w)-x^-(w),$ and for
any function $E(x,w)$  or $E(x),$ we denote $\overline E(z,w)=
E\big(\Delta(w)z+x^-(w),w\big)$ or $\overline E(z,w)=E(\Delta(w)z+x^-(w))$. In particular,
\[
\overline
D(z,w)=\big(\Delta(w)z+x^-(w)\big)^{2n}\overline{D}_0(z,w)=(\Delta(w))^{2n}\left(z+\frac{x^-(w)}{\Delta(w)}\right)^{2n}\overline{D}_0(z,w),
\]
with $\overline{D}_0(0,0)=d.$ Hence,
\[
J_{2p-1}(w^2)=(\Delta(w))^{2p+2n}\int_0^1
\big(z(1-z)\big)^{\frac{2p-1}2} F(z,w)\, dz,
\]
where
\[
F(z,w)=
2\overline{D}_0(z,w)\left(z+\frac{x^-(w)}{\Delta(w)}\right)^{2n}\left(\dfrac{\overline{U}(z,w)}
{\overline{A}(z,w)}\right)^{\frac{2p-1}2}.
\]
Since $x^{\pm}(w)= \pm b w +O(w^2),$ it holds that $\Delta(w)=2b
w+O(w^2)$ and hence $\lim_{w\to0} \frac{x^-(w)}{\Delta(w)}=-\frac
12.$ Therefore for all $z\in[0,1]$ and $w$ small enough the function
$F(z,w)$  is continuous, and as a consequence
\begin{align*}
\lim_{w\to0}\frac{J_{2p-1}(w^2)}{w^{2p+2n}}&=\lim_{w\to0}\left(\frac{\Delta(w)}{w}\right)^{2p+2n}\int_0^1
\big(z(1-z)\big)^{\frac{2p-1}2} \lim_{w\to0} F(z,w)\, dz\\&=
(2b)^{2p+2n}\frac{2 d}{a^{2p-1} b^{{2p-1}}} \int_0^1
\big(z(1-z)\big)^{\frac{2p-1}2}\Big(z-\frac12\Big)^{2n}\,dz.
\end{align*}
Now we claim that
\[K(p,n):=
\int_0^1 \big(z(1-z)\big)^{\frac{2p-1}2} \Big(z-\frac12\Big)^{2n}\,
dz= \frac{(2p-1)!!\,(2n-1)!!}{8^{p+n}(p+n)!}\pi,
\] and we observe that, from this claim,
the result follows.

To prove the claim we observe that by using integration by parts, one easily gets that
\begin{equation}\label{e:parts}
K(p,n)=\frac{2p-1}{2n+1}K(p-1,n+1).
\end{equation} Now the claim follows by using induction. First we prove that for any $p\in\mathbb{N}_0$, $K(p,0)$ satisfies the claim. Indeed, if $\mathrm{B}$ is the Euler's Beta function, and since $ \mathrm{B}(x,y)=\Gamma(x)\Gamma(y)/\Gamma(x+y)$, we have
$$
K(p,0)=\int_0^1 z^{p-\frac{1}{2}}(1-z)^{p-\frac{1}{2}}dz= \mathrm{B}\left(p+\frac{1}{2},p+\frac{1}{2}\right)=\frac{(\Gamma(p+\frac{1}{2}))^2}{\Gamma(2p+1)}.
$$
Since $p$ is an integer number $\Gamma(2p+1)=(2p)!$. On the other hand, it is well known that $$
\Gamma\left(p+\frac{1}{2}\right)=\frac{(2p)!}{4^p\, p!}\sqrt{\pi}=\frac{(2p-1)!!}{2^p}\sqrt{\pi}.
$$
Hence,
$$
K(p,0)= \frac{(2p-1)!!}{8^p\, p!}\pi
$$as we wanted to prove.

Now we assume that for $n>0$ and for all $p\in\mathbb{N}_0$, $K(p,n)$ satisfies
the claim. By using the relation \eqref{e:parts}, we get that,
$$K(p,n+1)=\frac{2n+1}{2p+1}K(p+1,n)=\frac{(2n+1)\,(2p+1)!!\,(2n-1)!!}{(2p+1)\,8^{p+n+1}(p+n+1)!}\pi=$$
$$=\frac{(2p-1)!!\,(2n+1)!!}{8^{p+n+1}(p+n+1)!}\pi,$$
so the claim follows.
\end{proof}

Before proving the main result of this section, Theorem \ref{th:general}, and to motivate one of its hypotheses, we collect some simple
observations in the following lemma.

\begin{lemma}\label{le:lemma} Let $\gamma(h)\subset\{H(x,y)=h\}$, $h\in(0,\overline h)=\mathcal{L},$ be a continuum of
periodic orbits surrounding a center, corresponding to $h=0,$  of
the Hamiltonian system associated to a  $\mathcal{C}^1$ Hamiltonian function
$H(x,y)$ and assume that they have  a \emph{clockwise} time
parameterization. For  each $p,q\in\mathbb{N}\cup\{0\},$ consider the
Abelian integral
\[
J_{q,p}(h)=\int_{\gamma(h)} x^q y^p\,dx.
\]
The following holds.
\begin{enumerate}[(a)]
\item When $q$ is even and $p$ is odd then $J_{q,p}(h)>0$ for all
$h\in\mathcal{L}.$

\item When $q$ is even and $p$ is even and $H(x,y)=H(x,-y)$ then $J_{q,p}(h)\equiv0$
on the whole interval $\mathcal{L}.$

\item When $q$ is odd and $p$ is odd and $H(-x,y)=H(x,y)$ then $J_{q,p}(h)\equiv0$
on $\mathcal{L}.$
\end{enumerate}
\end{lemma}
\begin{proof} Notice that by Green's  theorem
\[
J_{q,p}(h)=\int_{\gamma(h)} x^q
y^p\,dx=\iint_{\operatorname{Int}(\gamma(h))} p x^q y^{p-1}\,
dx\,dy,
\]
where $\rm{Int}(\gamma(h))$ denotes the interior of the oval.
Then, trivially $(a)$ follows. The other two statements are
consequence of the symmetries of $H$ and the function $x^q y^{p-1}.$
\end{proof}

The next proposition will be one of the key results to prove  Theorem \ref{th:general}, which is stated below.

\begin{proposition}\label{pr:li} {\rm (\cite{ColGasPro})} Set $\mathcal{L}\subset \mathbb{R}$ an open real interval and let
$F_j:\mathcal{L}\to\mathbb{R},$ $j=0,1,\ldots,\ell,$ be $\ell+1$ linearly
independent analytic functions. Assume also that one of them, say
$F_k, 0\le k\le \ell,$  has constant sign on $\mathcal{L}.$ Then,
there exist real constants $d_j,$ $j=0,1,\ldots,\ell,$ such that the
linear combination $\sum_{j=0}^\ell d_j F_j$ has at least $\ell$
simple zeroes in ${\mathcal L}.$
\end{proposition}

Notice that in the next theorem, and due to Lemma \ref{le:lemma}, the
monomials of the Abelian integral that we consider are of the form
$x^{2q}y^{2p-1}.$

\begin{thmx}\label{th:general} Let $H(x,y)=A(x)y^2+B(x),$ with
$A$ and $B$ functions satisfying the hypotheses of Proposition
\ref{pr:zeroes}, and denote by $\gamma(h),$ $h\in(0,\overline h),$
the periodic orbits surrounding the origin of the corresponding Hamiltonian system. For $d_0,d_1,\ldots,d_n\in\mathbb{R}$ and
$q_j,p_j\in\mathbb{N},j=0,1,\ldots,\ell$ consider the family of Abelian
integrals
\[
J(h)=\int_{\gamma(h)} \sum_{j=0}^\ell d_j x^{2q_j} y^{2p_j-1}\,dx.
\]
If all values $m_j=q_j+p_j, j=0,1,\ldots,\ell$ are different, there
exit values of $d_j,j=0,1,\ldots,\ell,$ such that the corresponding
function $J(h)$ has at least $\ell$ simple zeroes in $(0,\overline
h).$
\end{thmx}

\begin{proof} Notice that
\[
J(h)=\sum_{j=0}^\ell d_j J_j(h),\quad\mbox{where}\quad J_j(h)=
\int_{\gamma(h)}x^{2q_j} y^{2p_j-1}\,dx.
\]
By Proposition \ref{pr:zeroes}, for each $j=0,1,\ldots, \ell,$
$J_j(h)=k_j h^{m_j}+o\big(h^{m_j}\big)$ and, by hypothesis,  all
these $m_j$ are different. This clearly implies that all these
$\ell+1$ functions are linearly independent. Moreover, by item $(a)$
of Lemma \ref{le:lemma} we know that none of them vanish in
$(0,\overline h).$ Hence we can apply Proposition \ref{pr:li} to
this set of functions and $\mathcal{L}=(0,\overline h)$ and  the
result follows.
\end{proof}

\section{Applications}\label{se:appl}

In this section we consider perturbations of  several relevant PDE with continua of
periodic TWS and prove that the perturbations can be tailored such that a prescribed number of TWS persist in these perturbed PDE. In many examples, for simplicity, we perturb the PDE with an
additive term that only contains partial derivatives up to $m-1.$
For more general perturbations, even including terms of order $m,$
most of the results can be adapted.

\subsection{Second order PDE}\label{ss:m2}

We start with an illustrative toy example for which we give all the details on how a prescribed number of periodic TWS can be obtained.

\subsubsection{A toy example}
Consider the PDE
\begin{equation}\label{eq:toy}
u+au_{xx}+bu_{xt}+du_{tt}+\varepsilon g(u_x,u_t,\varepsilon)=0,
\end{equation}
with $g$ a $\mathcal {C}^1$ function and take $c$ such that
$a-bc+dc^2>0.$ Then equation \eqref{eq:pc} can be written as
\[
U+(a-bc+dc^2)U''+\varepsilon g(U',-cU',\varepsilon)=0.
\]
We define $C^2=a-bc+dc^2$ and
$g_c(U',\varepsilon)=-g(U',-cU',\varepsilon)/C^2.$ Then it is easy to
see that this PDE satisfies Property $\mathcal{A}$ with $H_c(x,y)=
x^2/(2C^2)+y^2/2,$ $s_c(x,y)\equiv 1$ and $(0,\overline
h)=(0,\infty).$ That is,
$$
 \begin{cases}
     \dot x=\phantom{-}\dfrac{\partial H_c(x,y)}{\partial y}=y,
     \\[10pt] \dot y=
     -\dfrac{\partial H_c(x,y)}{\partial x}
     +\varepsilon g_c(x,y,\varepsilon)=-\dfrac{x}{C^2} +\varepsilon g_c(y,\varepsilon).
 \end{cases}
$$
Moreover
\[
M_c(h)=\int_{\gamma(h)}  g_c(y,0)\, dx,
\]
where $\gamma(h)$ is the ellipse $\{x^2/(2C^2)+y^2/2=h\}.$ We
parameterize the closed curves $H_c(x,y)=h$ as $(x,y)= (C\sqrt{2h}
 \cos \theta, \sqrt{2h} \sin \theta)$  for $0\le \theta\le 2\pi.$
Then
\[
M_c(h)= -C\sqrt{2h} \int_0^{2\pi}
g_c(\sqrt{2h}\sin\theta,0)\sin\theta\,d\theta.
\]
Assume for instance that $g_c(y,0)=\sum_{j=0}^N g_j y^j$ is a
polynomial of degree $N$, and $g_j\in\mathbb{R}$. Then,
\[
M_c(h)=  -C\sqrt{2h} \sum_{j=0}^N g_j (\sqrt{2h})^{j}\Big(\int_0^{2\pi}
 \sin^{j+1} \theta \,d\theta\Big).
\]
When $j$ is even, by symmetry, the above integrals vanish. Hence
\[
M_c(h)=-2 C h\Big( \sum_{i=0}^{[(N-1)/2]} g_{2i+1} 2^i I_{2i+2}
h^{i} \Big),
\]
where $[\,\cdot\,]$ denotes the integer part and $I_{2n}
=\int_0^{2\pi} \sin^{2n}\theta\,d\theta>0.$ Removing the factor $h$,
and taking suitable
$g_{2i+1}$, the polynomial  $M_c(h)/h$ can be
any arbitrary polynomial of degree $[(N-1)/2]$ in $h$. Hence, by applying
Theorem \ref{th:general}, for any $\ell\le [(N-1)/2],$ there exist coefficients $g_j$ such that the function $M_c(h)$ has $\ell$ simple zeros and, therefore, by applying
Theorem \ref{th:main1}, the PDE \eqref{eq:toy} has at least~$\ell$
periodic TWS.  We remark that the above computations are essentially
the same as the ones of the celebrated paper \cite{LinMelPug1977}
where the authors present the first example of classical polynomial
Li\'{e}nard differential system of degree $N$ with $[(N-1)/2]$ limit
cycles.

By doing similar computations we can consider more general
perturbations in PDE \eqref{eq:toy}, like for instance
\[
u+au_{xx}+bu_{xt}+du_{tt}+\varepsilon ( u u_{xx}+ g(u,
u_x,u_t,\varepsilon))=0,
\]
and similar results hold.

\subsubsection{Reduced Ostrovsky equation.}

We consider perturbations of the reduced Ostrovsky equation, introduced by L.~Ostrovsky in 1978,  which is a modification of the Korteweg-de Vries equation that models gravity waves propagating in a rotating background under the influence of the Coriolis force when the high-frequency dispersion is neglected.  More
concretely, we take

\begin{equation}\label{eq:bur}
(u_t+uu_x)_x-u+\varepsilon g(u,u_x,u_t,\varepsilon)=0,
\end{equation}
which satisfies Property $\mathcal{A}$ with $c>0,$ because its associated
ODE is
\[
(U-c)U''+(U')^2-U+\varepsilon g(U,U',-cU',\varepsilon)=0.
\]
Then, taking $g_c(U,U',\varepsilon)=-g(U,U',-cU',\varepsilon)/(U-c);$
$\mathcal{V}_c=\{x<c\};$  $x_c=0;$  and $s_c(x,y)=(x-c)^{-2}$,
the system that has to be studied to find TWS is
$$
 \begin{cases}
     \dot x=\phantom{-}\dfrac{\partial H_c(x,y)}{\partial y},
     \\[10pt] \dot y=
     -\dfrac{\partial H_c(x,y)}{\partial x}
     +(x-c)^2\varepsilon g_c(x,y,\varepsilon).
 \end{cases}
$$
with
\[H_c(x,y)=\frac{(x-c)^2y^2}2+\frac {c x^2} 2 -\frac{x^3}3.
\]
Consider also the Melnikov-Poincar\'{e}-Pontryagin function
\[
M_c(h)=\int_{\gamma_c(h)}(x-c)^2 g_c(x,y,0) \, dx,\, h\in(0,c^3/3).
\]
As in the toy example, it is not difficult to find a
perturbation term $g$ such that the
the function $M_c(h)$ has
several simple zeroes in $(0,c^3/3)$ which, by Theorem~\ref{th:general},
give rise to periodic TWS of the PDE \eqref{eq:bur}.

\smallskip

\subsubsection{Perturbed non-linear Klein-Gordon equation.} The
 Klein-Gordon equation is a wave equation related to the Schr\"odinger equation, which is used to model spinless relativistic particles. It was introduced in 1926 in parallel by O. Klein,  W. Gordon and
V. Fock as a tentative to describe the relativistic electron dynamics.
In the one-dimensional setting we look at a perturbation of this equation of the form
 \[
u_{tt}-u_{xx}+\lambda u^p+\varepsilon g(u,u_x,u_t,\varepsilon)=0,
\]
with $\lambda\in\mathbb{R}^+$ and $p$ an \emph{odd} integer. It can readily be seen
that it satisfies Property~$\mathcal{A}$ and  that the system that has to be
studied to find TWS is
\begin{equation*}
 \begin{cases}
     \dot x=\phantom{-}\dfrac{\partial H_c(x,y)}{\partial y},
     \\[10pt] \dot y=-\dfrac{\partial H_c(x,y)}{\partial x}
     +\varepsilon g_c(x,y,\varepsilon)  ,
 \end{cases}
\end{equation*}
where \[
H_c(x,y)=\frac{C x^{p+1}}{p+1}+\frac {y^2}2,
\]
with  $C=\lambda/(c^2-1),$
$g_c(x,y,\varepsilon)=-g(x,y,-cy,\varepsilon)/(c^2-1).$
The associated Melnikov-Poincar\'{e}-Pontryagin function is
\[
M_c(h)=\int_{\gamma_c(h)}g_c(x,y,0) \, dx,\quad h\in(0,\infty).
\]
The interested reader can take a look to the papers
\cite{CimGasMan1997, LiLiLliZha2001} where perturbations of this
Hamiltonian system and the zeros of its associated Melnikov-Poincar\'{e}-Pontryagin function
are studied with two different approaches.

In particular,
the zeroes of the above first integral can be studied in a similar way to the toy example
 considered at the beginning of this section.
Notice, however, that when $p\geq 3$, instead of using trigonometric functions to parametrize the invariant closed curves, one can use the generalized polar coordinates introduced by Lyapunov in 1893 in his study of the stability of degenerate critical points,~\cite{Liapunov}.  All the details can be found in  \cite{CimGasMan1997}. Again, Theorem \ref{th:main1} guarantees that the zeros of the function $M_c(h)$ correspond with periodic TWS of the Klein-Gordon equation.

\smallskip

\subsubsection{Perturbed sine-Gordon equation.}

The sine-Gordon equation first appeared in 1862 in the context of differential geometry. Specifically in a study by E. Bour on surfaces of constant negative curvature. The equation was rediscovered later by J. Frenkel and
T. Kontorova in 1939, in their study of crystal dislocations. The equation is relevant to the community investigating integrable systems because it has soliton solutions.
Its perturbation
writes as
\[
u_{tt}-u_{xx}+\sin u+\varepsilon g(u,u_x,u_t,\varepsilon)=0.
\]
Again, it satisfies Property $\mathcal{A}$ for $c>1,$ and its associated
planar system is
\begin{equation*}
 \begin{cases}
     \dot x=\phantom{-}\dfrac{\partial H_c(x,y)}{\partial y},
     \\[10pt] \dot y=-\dfrac{\partial H_c(x,y)}{\partial x}
     +\varepsilon g_c(x,y,\varepsilon)  ,
 \end{cases}
\end{equation*}
where $$H_c(x,y)={C(1-\cos x)}+\frac{y^2}{2},$$
with  $C=1/(c^2-1)>0$ and
$g_c(x,y,\varepsilon)=g(x,y,-cy,\varepsilon)/(1-c^2).$
The Melnikov-Poincar\'{e}-Pontryagin function is
\[
M_c(h)=\int_{\gamma_c(h)}g_c(x,y,0) \, dx,\quad h\in(0,2C).
\]
The above type integrals are studied for instance in
\cite{GasGeyMan2016}. There, several condition on $g$ for obtaining
many simple zeroes of $M_c$, and therefore periodic TWS of the considered PDE, are obtained.

\subsection{PDE with order greater than 2}\label{ss:mb2}

In this section we study perturbations of several PDE with order
$m>2.$  We start with the following result that helps us to characterize the existence of centers for the unperturbed Hamiltonian systems that will appear.

\begin{lemma}\label{l:lemacentre}
Consider a Hamiltonian system of the form
$$
 \begin{cases}
     \dot x=\dfrac{\partial H(x,y)}{\partial y}=y\,m(x,y),
     \\[10pt] \dot y=-\dfrac{\partial H(x,y)}{\partial x}
=f(x,y)\,m(x,y),
 \end{cases}
$$   where $H\in \mathcal{C}^2$,  $m(x,y)>0$ and such that
$\frac{\partial}{\partial x}\left(y m(x,y)\right)+\frac{\partial}{\partial y}\left(f(x,y)m(x,y)\right)\equiv0.$ Then, a singular point of the form $(x_*,0)$ is a center if
\begin{equation}\label{eq:condlema}
\frac{\partial}{\partial x}f(x,y)\Big|_{(x_*,0)}<0.
\end{equation}

Furthermore, if $m(x,y)$ depends only on $x$, condition \eqref{eq:condlema} holds, and $H$ is analytic, then the Hamiltonian $H$ satisfies the hypotheses of Proposition \ref{pr:zeroes}.
\end{lemma}

\begin{proof} Consider the vector field $X=(H_y,-H_x)$. Since
$$\det(\mathrm{D}X(x_*,0))=-m^2(x_*,0)\,\frac{\partial}{\partial x}\left(f(x,y)\right)\Big|_{(x_*,0)},
$$  then equation \eqref{eq:condlema} implies that
$\det(\mathrm{D}X(x_*,0))>0$ and therefore  $(x_*,0)$ is a center (once more, remember that a singular point of a Hamiltonian system cannot be neither a focus nor a node).

If $m(x,y)=m(x)$, then $H(x,y)=y^2\,m(x)/2+B(x)$ for some analytic function~$B.$ Since $m(x)>0$ we can write $m(x)=2a^2+O(x-x_*)$ near $x=x_*.$ Suppose that condition \eqref{eq:condlema} holds, then $H_{xx}(x_*,0)=-f_x(x_*,0)m(x_*)>0$, and we can write
$1/b^2=B''(x_*)=H_{xx}(x_*,0)$, obtaining $B(x)= (x-x_*)^2/b^2+O\big((x-x_*)^3\big)$. So $H$ fulfills the hypotheses of Proposition \ref{pr:zeroes}.
\end{proof}

Observe that condition \eqref{eq:condlema} is equivalent to the fact that $H_{xx}(x_*,0)>0$ and $\det(\mathbf{H}_H(x_*,0))>0$ (where $\mathbf{H}$ is the hessian matrix), which implies that $H$ has a non-degenerate local minimum at $(x_*,0)$.

\subsubsection{Perturbed generalized Korteweg-de Vries equation}\label{sss:kdv}
We consider a perturbation of a family of PDE which for certain values of
the parameters contains the celebrated Korteweg-de Vries and Benjamin-Bona-Mahony equations appearing in several domains of physics (non-linear mechanics, water
waves, etc.). More concretely, we consider the family of PDE
\begin{multline}\label{eq:kdv}
u_t+au_x+buu_x+duu_t+pu_{xxx}+qu_{xxt}+ru_{xtt}+su_{ttt}\\+\varepsilon
\nabla g(u,u_x,u_t,\varepsilon)\cdot (u_x,u_{xx},u_{xt},0)^t=0.
\end{multline}
Notice that the KdV equation corresponds to
$\varepsilon=0$ and $a=d=q=r=s=0,$ $b=-6$  and $p=1.$
The ODE  associated to \eqref{eq:kdv} is
\[
\Big((a-c) U+ \frac{b-dc}2{U^2}+C U''+\varepsilon
g(U,U',-cU',\varepsilon) \Big)'=0,
\]
where $C=p-qc+rc^2-sc^3.$  Notice that then,  for any function $U$
satisfying previous equation, it holds that  there exists  $k\in\mathbb{R},$
such that
\begin{equation}\label{eq:rep}
(a-c) U+ \frac{b-dc}2{U^2}+C U''+\varepsilon
g(U,U',-cU',\varepsilon)=k
\end{equation}
Thus we have to study the equivalent planar system
\begin{equation*}
 \begin{cases}
     \dot x=y= \dfrac{\partial H_{c,k}(x,y)}{\partial y},
     \\[10pt] \dot y=\alpha_{c,k}+\beta_c x+ \gamma_c x^2  +\varepsilon g_c(x,y,\varepsilon)=  -\dfrac{\partial H_{c,k}(x,y)}{\partial x}
     +\varepsilon g_c(x,y,\varepsilon),
 \end{cases}
\end{equation*}
where
\[
H_{c,k}(x,y)=-\alpha_{c,k}x-\frac{\beta_c}2 x^2-\frac{\gamma_c}3 x^3
+\frac{1}2 y^2,\]
with
\[
\alpha_{c,k}=\frac{k}C,\quad \beta_c=\frac{c-a}C,\quad
\gamma_c=\frac{dc-b}C,
\]
and  $g_c(x,y,\varepsilon)=-g(x,y,-cy,\varepsilon)/C.$  Hence, using Lemma \ref{l:lemacentre}, it is not difficult to see that the PDE
\eqref{eq:kdv} satisfies Property $\mathcal{B}$ when equation
$\alpha_{c,k}+\beta_c x+ \gamma_c x^2=0$ has two different real
solutions (that correspond to a center and a saddle of the planar
system). Then, by Theorem \ref{th:main2}, the periodic TWS that persist for
$\varepsilon$ small enough correspond to the simple zeroes of the
elliptic integral
\[
M_{c,k}(h)=\int_{\gamma_{c,k}(h)} g_c(x,y,0)\, dx
\]
in a suitable open interval of energies.
This kind of Abelian integrals are
studied in detail in the classical paper of Petrov
(\cite{Petrov1988}) and more recently in the Chapter 3 of Part II of the book \cite{ChiLi2007}.
Again, it is not difficult to impose conditions on $g$ to get a prescribed number of
TWS for \eqref{eq:kdv} for $\varepsilon$ small enough and different
values of $c$ and $k.$

\smallskip

\subsubsection{Perturbed Rosenau-Hyman equation} The Rosenau-Hyman equation is a generalization of the KdV equation. It was introduced in 1993 by P.
Rosenau and J.M. Hyman to show the existence of solitary waves
with compact support (compactons) in the context of non-linear dispersive equations.
We consider the
perturbed equation
\[
u_t+a(u^n)_x+(u^n)_{xxx}+\varepsilon \nabla
g(u,u_x,u_t,\varepsilon)\cdot (u_x,u_{xx},u_{xt},0)^t=0,
\]
where $a\in\mathbb{R}$ and $n\in\mathbb{N}.$ To find TWS for it we have to study the
third order ODE
\begin{align*}
-&cU'+a(U^n)'+(U^n)'''+\varepsilon \nabla
g(U,U',-cU',\varepsilon)\cdot (U',U'',-cU'',0)^t\\&=
\big(-cU+aU^n+(U^n)''+\varepsilon g(U,U',-cU',\varepsilon)\big)'\\&=
(-cU+aU^n+n(n-1)U^{n-2}U'+nU^{n-1}U''+\varepsilon
g(U,U',-cU',\varepsilon)\big)'=0.
\end{align*}
Thus, we need to find solutions of the second order ODE
\[
-cU+aU^n+n(n-1)U^{n-2}U'+nU^{n-1}U''+\varepsilon
g(U,U',-cU',\varepsilon)=k
\]
with $k\in\mathbb{R}.$ It writes as the planar system
\[
  \left\{\!
   \begin{array}{l}
     x'=y, \\[10pt] y'=\dfrac{k+cx-ax^n-n(n-1)x^{n-2}y^2}{nx^{n-1}}+\varepsilon
     \dfrac{g_c(x,y,\varepsilon)}{nx^{n-1}},
   \end{array}
  \right.
\]
where $g_c(x,y,\varepsilon)=-g(x,y,-cy,\varepsilon).$  With the new
time $\tau,$  where $d \tau/d s= s_{c,k}(x,y)$ and
$s_{c,k}(x,y)=x^{2(1-n)}/n,$ we get $x=U(\tau)$ satisfies the
equivalent planar ODE
\begin{equation*}
 \begin{cases}
     \dot x=\phantom{-}\dfrac{\partial H_{c,k}(x,y)}{\partial y},
     \\[10pt] \dot y =-\dfrac{\partial H_{c,k}(x,y)}{\partial x}
     +\varepsilon x^{n-1} g_c(x,y,\varepsilon),
 \end{cases}
\end{equation*}
where
\[
H_{c,k}(x,y)= \frac{n}2 x^{2(n-1)}y^2-\frac k n
x^n-\frac{c}{n+1}x^{n+1}+\frac{a}{2n}x^{2n}.
\]
By Lemma \ref{l:lemacentre} (see the comment below its statement), if there exists a singular point $(x_*,0)$ such that
$$
\frac{\partial^2 H_{c,k}}{\partial x^2}(x_*,0)
=x_*^{n-2}\left(a\,(2n-1)\,x_*^n-c\,n\,x_*-k\,(n-1)\right)>0,
$$then it is a center. Furthermore, since the Hypothesis of Proposition \ref{pr:zeroes} are satisfied, we can apply Theorem \ref{th:main2} and the periodic TWS for the
perturbed PDE correspond to simple zeroes of
\[
M_{c,k}(h)=\int_{\gamma_{c,k}(h)} x^{n-1} g_c(x,y,0)\, dx\]
in a suitable interval of the energy.
To get examples of perturbations
with several simple zeroes we can apply
Theorem~\ref{th:general}.

\smallskip

\subsubsection{ Camassa-Holm equation and related PDE} The
Camassa-Holm equation is a model for the propagation of shallow
water waves of moderate amplitude. The horizontal component of the
fluid velocity field at a certain depth within the fluid is
described by the PDE
\[
u_t+(2\kappa+3u)u_x-2u_xu_{xx}+uu_{xxx}-u_{xxt}=0,
\]
and the parameter $\kappa$ is positive. Constantin and Lannes
derived in \cite{ConLan2009}  a similar PDE for surface waves also with
moderate amplitude in the shallow water regime,
\[u_t+\big(1+6u-6u^2+12u^3)u_x+28u_xu_{xx}+14uu_{xxx}+u_{xxx}-u_{xxt}=0,\]
see also \cite{GasGey2014}. Similarly, the Degasperis-Procesi equation
\[
u_t+4uu_x-3u_xu_{xx}-uu_{xxx}-u_{xxt}=0,
\]
which was derived initially only for its integrability properties, has a similar role in hydrodynamics.

In fact, perturbations of the above equations can be written under
the common expression
\begin{multline*}
u_t+A'(u)u_x+bu_x u_{xx}+d u
u_{xxx}\\+pu_{xxx}+qu_{xxt}+ru_{xtt}+su_{ttt}+\varepsilon \nabla
g(u,u_x,u_t,\varepsilon)\cdot (u_x,u_{xx},u_{xt},0)^t=0,
\end{multline*}
where $A$ is sufficiently smooth and $b,d,p,q,r$ and $s$ are real
parameters. Its associated  third order ODE is
\begin{align*}
&-cU'+A'(U)U'+bU'U''\\&\hspace{4cm}+ dUU'''+CU'''+\varepsilon \nabla
g(U,U',-cU',\varepsilon)\cdot (U',U'',-cU'',0)^t\\
&=\Big(A_c(U)+b(U')^2/2+ d\big( UU''-(U')^2/2\big) +C
U''+\varepsilon g(U,U',-cU',\varepsilon) \Big)'=0
\end{align*}
where $A_c(U)=A(U)-cU,$ with $A_c(0)=0,$ and  $C=p-qc+rc^2-sc^3.$
Hence, for any function $U$ satisfying the previous equation, there
exists $k\in\mathbb{R},$ such that
\[
A_c(U)+\beta (U')^2+(C+ d U)U''  +\varepsilon
g(U,U',-cU',\varepsilon)=k,
\]
where $\beta=(b-d)/2.$ The above equation can be written as the planar system

\begin{equation*}
 \begin{cases}
     x'=y,
     \\[10pt] y'=\dfrac{k-A_c(x)-\beta y^2+\varepsilon g_c(x,y,\varepsilon)}{C+dx},
 \end{cases}
\end{equation*}
where $g_c(x,y,\varepsilon)= -g(U,U',-cU',\varepsilon).$ Then,
taking $d\tau/d s= s_{c}(x),$
\[
s_{c}(x)=\begin{cases} (C+dx)^{-2\beta/d} \quad & \mbox{when}\quad
d\ne0,\\
e^{-2\beta x/C} \quad & \mbox{when}\quad d=0,
\end{cases}
\]
 we get
\begin{equation*}
 \begin{cases}
     \dot x=\phantom{-}\dfrac{\partial H_{c,k}(x,y)}{\partial y},
     \\[10pt] \dot y=-\dfrac{\partial H_{c,k}(x,y)}{\partial x}
     +\varepsilon \dfrac{g_c(x,y,\varepsilon)}{(C+dx) s_{c}(x)},
 \end{cases}
\end{equation*}
with
\[
H_{c,k}(x,y)= \frac{y^2}{2s_c(x)}+\int_0^x  \dfrac{A_c(w)-k}{(C+dw) s_{c}(w)} \, dw.
\]
By Lemma \ref{l:lemacentre},  any singular point $(x_*,0)$ such that
$H_{xx}(x_*,0)>0,$ is a center. So by Theorem \ref{th:main2}, the periodic TWS of the perturbed equations correspond with the
simple zeros of
\[
M_{c.k}(h)=\int_{\gamma_{c,k}(h)}  \dfrac{g_c(x,y,0)}{(C+dx)
s_{c}(x)} \, dx.
\] Again, for some particular examples, the zeroes of the above type of Abelian integrals can be obtained
by using Theorem \ref{th:general}. For instance, we observe that this is trivially the case if $g_c(x,y,0)=(C+dx) s_{c}(x)\left(\sum_{i=0}^\ell d_{2i+1} y^{2i+1}\right)$.

\subsubsection{Boussinesq-type equations} The Boussinesq
equation  describes bi-directional surface water waves and reads
\[
u_{tt}+uu_{xx}-u_{xx}+(u_x)^2-u_{xxxx}=0.
\]
Similarly, the modified Boussinesq equation is
\[
u_{tt}+uu_{xx}-u_{xx}+(u_x)^2-u_{xxtt}=0,
\]
and appears in the modelling of non-linear waves in a weakly
dispersive medium. We consider the following perturbation of the
family of PDE
\begin{multline}\label{eq:bu}
au_{xx}+bu_{xt}+du_{tt}+2e(uu_{xx}+(u_x)^2)\\+pu_{xxxx}+qu_{xxxt}+ru_{xxtt}+su_{xttt}+fu_{tttt}+\varepsilon
G=0,
\end{multline},
where  $a, b,d,e, p,q,r, s,f$ are suitable real
parameters. We  do not detail here the perturbation $G,$
but it is a function of all the partial derivatives of $u$ up to order four, and such that
after replacing $u$ by $U(x-ct)$ it holds that there exists a
function $g_c$ such that $G=\big(g_c(U,U',\varepsilon)\big)''.$
Hence the ODE associated to \eqref{eq:bu} is
\[
C U''+ e (U^2)''+D U''''+\varepsilon
\big(g_c(U,U',\varepsilon)\big)''= \big(  C U+ e U^2+D
U''+\varepsilon g_c(U,U',\varepsilon)  \big)''=0,
\]
where $C=a-bc+d^2c,$ $D=p-qc+rc^2-sc^3+fc^4,$  and we have used that
$(u^2)_{xx}=2uu_x+2(u_x)^2.$ We are interested in solutions of the
above fourth order ODE
\begin{equation}\label{eq:fin}
 C U+ e U^2+D
U''+\varepsilon g_c(U,U',\varepsilon)=k,
\end{equation}
for some $k\in\mathbb{R}.$ When $D\ne0$ we are again under the situation
covered by Theorem \ref{th:main2}. Notice that other solutions would
satisfy $ C U+ e U^2+D U''+\varepsilon
g_c(U,U',\varepsilon)=k_1s+k_2,$ for some $k_1\ne0,k_2\in\mathbb{R},$ but we do
not consider them.
 In fact, from \eqref{eq:fin}  we arrive at the same ODE that appears in
the study done in Section \ref{sss:kdv} about the perturbed generalized
Korteweg-de Vries equation, but with a different notation. Indeed,
the above ODE is the same as \eqref{eq:rep} and it can be studied
to get TWS for \eqref{eq:bu} exactly like in that case.

\bigskip

\subsection*{Acknowledgements} The first and third authors are supported by Ministry of Science and Innovation--Research Agency of the Spanish
Government by grants PID2019-104658GB-I00 (first author) and DPI2016-77407-P
 (AEI/FEDER, UE, third author) and
 by the grants AGAUR,  Generalitat de Catalunya
(2017-SGR-1617,  first author) and  (2017-SGR-388, third author).

Part of this work was carried out at the Erwin Schr\"odinger
International Institute for  Mathematics and Physics where  authors
participated in a Research in Teams project in 2018.

\bibliographystyle{acm}

Analysis of PDEs (math.AP); Dynamical Systems (math.DS)