On the distribution of a random variable involved in an independent ratio
Extracted source text · arXiv 2307.06817
\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{graphicx,psfrag,epsf}
\usepackage{enumerate}
\usepackage{psfrag,epsf}
\usepackage{url} % not crucial - just used below for the URL
\usepackage{amsmath,amssymb,amsfonts,amsthm,mathtools}
\usepackage{bm,bbm,mathrsfs}
\usepackage{color}
\usepackage{subfigure}
\usepackage{algorithm,algpseudocode}
%\usepackage{refcheck}
\usepackage{scalefnt}
\usepackage{multirow}
\usepackage{authblk} % author and affiliations
\usepackage[colorlinks=true, citecolor=blue, urlcolor=blue]{hyperref}
\sloppy
\usepackage{natbib}
\usepackage{dsfont}
\usepackage[title]{appendix}
\urlstyle{same}
\usepackage[title]{appendix}
%\usepackage{newtxtext,newtxmath} % Times Roman fonts (text and math)
%\usepackage{mhchem} % for \ce macro
\input cyracc.def
\font\tencyr=wncyr10
\def\cyr{\tencyr\cyracc}
% % % % \documentclass[pdftex,12pt]{article}%
% % % % %\usepackage[pdftex,hidelinks]{hyperref}%
% % % % %\usepackage[pdftex]{graphicx}%
% % % % %\usepackage[normalem]{ulem}
% % % % % % % \usepackage{amsmath,amsthm,amsfonts,
% % % % % % % amsbsy,amssymb,upref,enumerate,bigstrut,
% % % % % % % color,mathtools,mathrsfs,float,bm,dsfont,scalefnt}
% % % % \usepackage{amsmath,amsthm,amsfonts,
% % % % amsbsy,amssymb,upref,enumerate,bigstrut,
% % % % color,mathtools,mathrsfs,float,bm,dsfont,scalefnt}
% % % % %%\usepackage{amsmath,amssymb,amsfonts,amsthm,mathtools}
% % % % %%\usepackage{dsfont}
% % % % %\usepackage{refcheck}
% % % % \usepackage{lipsum,lmodern}
% % % % \usepackage{stmaryrd}
% % % % \usepackage{authblk} % author and affiliations
% % % % \usepackage{natbib}
% % % % \usepackage{multirow}
% % % % \usepackage{subfigure}
% % % % %%\usepackage{epsfig}
% % % % %\usepackage{graphicx}
% % % % %\usepackage{epstopdf}
% % % % %\usepackage{epsfig}
\newcommand\T{\rule{0pt}{2.6ex}}
\newcommand\B{\rule[-1.2ex]{0pt}{0pt}}
\usepackage[left=1in,top=1.1in,right=0.5in,bottom=1in]{geometry}
%\newcommand\T{\rule{0pt}{2.6ex}}
%\newcommand\B{\rule[-1.2ex]{0pt}{0pt}}
%\usepackage[left=1.3in,top=1.25in,bottom=1.7in,right=0.85in]{geometry}
\newcommand{\scalemath}[2]{\scalebox{#1}{\begin{math} {#2} \end{math}}}
%%%%%%%%%%%% definir sqrt alternativo
\usepackage{letltxmacro}
\makeatletter
\let\oldr@@t\r@@t
\def\r@@t#1#2{%
\setbox0=\hbox{$\oldr@@t#1{#2\,}$}\dimen0=\ht0
\advance\dimen0-0.2\ht0
\setbox2=\hbox{\vrule height\ht0 depth -\dimen0}%
{\box0\lower0.4pt\box2}}
\LetLtxMacro{\oldsqrt}{\sqrt}
\renewcommand*{\sqrt}[2][\ ]{\oldsqrt[#1]{#2}}
\makeatother
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theoremstyle{definition}
\newtheorem{remark1}{Remark}
\newtheorem{example1}{Example}
\newtheorem{theorem1}{Theorem}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{acknowledgement}{Acknowledgement}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{example}{Example}[section]
\newtheorem{definition}{Definition}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\numberwithin{equation}{section} % requires amsmath
\newcommand{\nto}{\mbox{$\;\rightarrow_{\hspace*{-0.3cm}{\small n}}\;$~}}
\newcommand{\ntop}{\mbox{$\;{\to}^{^{\hspace*{-0.3cm}{\small p}}}\;$~}}
\newcommand{\ntod}{\mbox{$\;{\to}^{^{\hspace*{-0.3cm}{\small d}}}\;$~}}
\newcommand{\lto}{\mbox{$\;\rightarrow_{\hspace*{-0.3cm}{\tiny\tiny{l}}}\;$~}}
\makeatletter
\def\@seccntformat#1{\@ifundefined{#1@cntformat}%
{\csname the#1\endcsname\quad}% default
{\csname #1@cntformat\endcsname}% enable individual control
}
\makeatother
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\markright{{\scriptsize RWprewetting-13; version from \today%21.11.02
}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newif\ifShowComments
\ShowCommentstrue
\def\strutdepth{\dp\strutbox}
\def\druk#1{\strut\vadjust{\kern-\strutdepth
{\vtop to \strutdepth{%
\baselineskip\strutdepth\vss
\llap{\hbox{#1}\quad}\null}}}}
\def\asksign{{\bf?!!}}
\def\commO#1{\ifShowComments \asksign{\sf\small\
#1}\asksign\marginpar{\asksign \asksign}\fi}
\def\comm#1{\ifShowComments \asksign{\sf\small\ #1}\asksign\marginpar{\asksign \asksign}\fi}
\def\note#1{\ifShowComments\hfill\\%
\uwave{\small\sf{#1}}\marginpar{\sf\small !!!}\fi}
\def\NB{\ifShowComments $\clubsuit\clubsuit\clubsuit$ %
\marginpar{\asksign \asksign}\fi}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\oldtext{{\sc will be inserted from the old text !!!}}
%\newcommand\scalemath[2]{\scalebox{#1}{\mbox{\ensuremath{\displaystyle #2}}}} % reduz tamanho de matriz e formulas mat
\newcommand{\ra}{\rightarrow}
\newcommand{\rr}{\mathbb{R}}
\newcommand{\smallavg}[1]{\langle #1 \rangle}
%\newtheorem{thm1}{Theorem}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\title{\bf
%Distribution of the modified ratio of independent random variables via integral transforms
%
%Characterizations of
On the distribution of a random variable involved in an independent ratio
%: the independent case
%
%A closed-form and an upper bound for the moments of truncated distributions
}
\smallskip
\author[1, 2]{Roberto Vila \thanks{rovig161@gmail.com}}
\author[2]{Narayanaswamy Balakrishnan \thanks{bala@mcmaster.ca}}
\author[3]{Marcelo Bourguignon \thanks{m.p.bourguignon@gmail.com}}
\affil[1]{Department of Statistics, University of
Bras\'ilia, Bras\'ilia, Brazil}
\affil[2]{
Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada}
\affil[3]{
Department of Statistics, Federal University of Rio Grande do Norte, Natal, RN, Brazil}
%\date{} %% if you don't need date to appear
\setcounter{Maxaffil}{0}
\renewcommand\Affilfont{\itshape\small}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\arraystretch}{3} % adjust to expand the cells vertically
\begin{document}
\maketitle
%
\smallskip
\begin{abstract}
%In this paper, we obtain some characterizations of the law of a random variable $X$ that composes a type I ratio $X/(X+Y)$ provided that $Z$ and %$X/(X+Y)$ are equal in distribution, $X$ and $Y$ are independent, and that $Z$ and $Y$ have known distributions. As applications of the obtained %results, a variety of examples are presented.
In this paper, using inverse integral transforms,
we derive the exact distribution of the
random variable $X$ that is involved in
the ratio $Z \stackrel{d}{=} X/(X+Y)$ where $X$ and $Y$ are independent random variables having the same
support, and $Z$ and $Y$ have known distributions. We introduce new distributions this way. As applications of the obtained
results, several examples are presented.
\end{abstract}
\bigskip
\noindent
{\small {\bfseries Keywords.} {Laplace transform $\cdot$ Inverse Laplace transform $\cdot$ Generalized Stieltjes transform $\cdot$ Inverse generalized Stieltjes transform $\cdot$ Type I ratio.}}
\\
{\small{\bfseries Mathematics Subject Classification (2010).} {MSC 60E05 $\cdot$ MSC 62Exx $\cdot$ MSC 62Fxx.}}
%\tableofcontents
\vspace*{0.75cm}
\section{Introduction}
\noindent
Let $X, Y$ and $Z$ be (absolutely) continuous and positive random variables
such that
\begin{align}\label{main-id}
Z\stackrel{d}{=}\dfrac{X}{X+Y},
\end{align}
being $\stackrel{d}{=}$ equality in distribution, and the ratio in \eqref{main-id} has support in the unit interval $(0, 1)$. The random variable $Z = X/(X+Y)$ is known in the literature as type I ratio \citep{Johnson95,Bekker2009}.
\newpage
The distributions of ratios of random variables are of interest in many fields \citep{Nadarajah2006}.
An important recent example of ratios of random variables
is in the case fatality rate of Covid-19 \citep{bour22}, where $X \in \mathbb{R}^+$ and
$Y \in \mathbb{R}^+$ are two random variables representing the number of confirmed
Covid-19-related deaths and Covid-19 cases with no death result, respectively. The sum $X + Y$ represents the number
of confirmed Covid-19 cases. It should be noted that stochastic representations are important since they
may justify some models arising naturally in real situations, as described above.
The distribution of $Z$ has been studied by several authors especially when $X$ and $Y$ are independent
random variables and come from the same family of distributions. To the best of our knowledge, there are no previous works when $X$ and $Y$ belong to different families.
\cite{malik:67} and \cite{ahuja:69} both
discussed the case when
$X$ and $Y$ are independent random variables following
gamma distributions with shape parameters $\alpha > 0$ and $\beta > 0$, and same scale parameter $\theta$.
In a similar way, if $X \sim \mathrm{Gamma}(\alpha, \theta_1)$
and $Y \sim \mathrm{Gamma}(\beta, \theta_2)$ are independent gamma variables, then
$Z$ is distributed according to a Libby-Novick distribution \citep{LN82}.
For a recent discussion of some extensions of this idea, one may refer to \cite{Jones2021}.
\cite{Lijoi05} considered the ratio using inverse Gaussian random variables instead of gamma random variables, and termed it as normalized inverse Gaussian
distribution. Specifically, the
normalized inverse Gaussian distribution is obtained by the stochastic representation (\ref{main-id}) with $X$
and $Y$ being independent inverse Gaussian random variables with scale parameter 1 and
shape parameters $\alpha > 0$ and $\beta > 0$.
Recently, new families of distributions have been introduced for modeling bounded quantities.
Some of the bounded distributions in the literature are derived from standard distributions by
mathematical transformation like $Z = \exp(-W)$, $Z = W/(1-W)$ or $Z = 1/(1-W)$, where
$W \in \mathbb{R}^+$. For example, the following transformation gives rise to distributions
on the unit interval: if $Z = \textrm{e}^{-W}$, where $W \sim \textrm{Exponentiated-Exponential}(\alpha, \beta)$,
$W \sim \textrm{Gamma}(\alpha, \beta)$ and
$W \sim \textrm{Lindley}(\alpha, \beta)$, implies $Z \sim \textrm{Kumaraswamy}(\alpha, \beta)$ \citep{kuma80},
$Z \sim \textrm{Unit-Gamma}(\alpha, \beta)$ \citep{Grassia77} and
$Z \sim \textrm{Log-Lindley}(\alpha, \beta)$ \citep{deniz14}, respectively, where $\alpha, \beta > 0$.
As far as we know, the Kumaraswamy, Unit-Gamma and Log-Lindley distributions among others do not have
a stochastic representation as in \eqref{main-id}.
The aim of this paper is to propose an easy way of deriving the exact pdf of $X$ that is
involved in the ratio $Z = X/(X+Y)$ when $X$ and $Y$ are independent random variables. The random variables $X$ and $Y$ do not need to belong to the same family of distributions.
We emphasize here that the techniques used in this work can be slightly modified to determine the distribution of $X$ in the independent ratio $Z=X/Y$, which for sake of conciseness are omitted here.
As the stochastic representation in \eqref{main-id} is important, since it may justify some models arising naturally in certain real situations, we can use the proposed approach to find the stochastic representation in \eqref{main-id} for several models known in the literature.
For example, it allows us to develop an EM-algorithm for estimating the parameters of the distribution of $Z$. We
further propose three new models for bounded data and study them in detail.
The rest of this paper proceeds as follows.
In Section \ref{Main results and examples}, we develop the main results and study some special cases in detail. Then, some brief closing remarks are made in Section \ref{sec:3}.
\newpage
\section{Main results and examples}\label{Main results and examples}
\noindent
Suppose
%\begin{align*}
%\mathbb{P}\left(Z\leqslant z\right)
%=
%\mathbb{P}\left(X(1-z)\leqslant zY\right)
%=
%\mathbb{P}\left(X/Y\leqslant z/(1-z)\right)
%=
%\int_{0}^\infty f_Y(y) F_X([z/(1-z)]y){\rm d}y
%\end{align*}
%$
%\int \mathbb{P}(x/Y\leqslant 1/(1/z-1)) f_X(x)dx
%=
%\int \mathbb{P}(Y\geqslant x(1/z-1)) f_X(x)dx
%$
%
$X$ and $Y$ are independent random variables, and that
$Y$ and $Z$ have known distributions such that the probability density function (PDF) of $Y$ admits the following decomposition:
\begin{align}\label{decomp-pdf-Y}
f_Y(sx)
=
\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx), \quad x, s>0,
\end{align}
where $\mathbbm{A}, \mathbbm{B}$ and $\mathbbm{C}$ are some positive-real functions.
Then, the main problem addressed here is in developing
mathematical tools for finding the distribution
of $X$ for a wide class of distributions.
%
%\begin{theorem}\label{main-theorem}
% Let $X$ and $Y$ be two independent random variables satisfying \eqref{main-id}, such that the distributions of $Z$ and $Y$ are known. Moreover, suppose there are positive-real functions $A,B$ and $C$ such that the PDF of $Y$ satisfies
% \begin{align}\label{decomp-pdf-Y}
% f_Y(sx)
% =
% A(s) B(x) C(sx), \quad x, s>0.
% \end{align}
% Then, the probability density function (PDF) of $X$ is written as
%\begin{align}\label{identity-main}
%f_X(x)
%=
%{1\over xB(x)}
%\int_{u_1}^{u_2}
%{1\over A(s)(s+1)^2}\,
%f_Z\left({1\over s+1}\right) K^{-1}(s,x) {\rm d}s,
%\end{align}
%for some $u_1=u_1(K)$ and $u_2=u_2(K)$ depending on $K$, where $K$ is a kernel function defined by
%\begin{align}\label{kernel-def}
%K(x,s)
%=
%C(sx),
%\end{align}
%and $K^{-1}$ is its associated kernel function (whenever it exists). See Table \ref{table:1} for some examples of kernel and its respective inverses.
%\end{theorem}
%\begin{proof}
%Using the independence of $X$ and $Y$, from \eqref{main-id} and \eqref{decomp-pdf-Y} it is simple to verify that the density of $Z$ can be written as
%%\begin{align*}
%%F_Z(z)
%%=
%%\int_0^\infty f_X(x) S_Y\left(\left({1\over z}-1\right)x\right) {\rm d}x,
%%\end{align*}
%\begin{align}
%f_Z(z)
%&=
%(s+1)^2
%\int_0^\infty x f_X(x) f_Y(sx) {\rm d}x
%\label{id-0-0}
%\\[0,2cm]
%&\stackrel{}{=}
%A(s) (s+1)^2
%\int_0^\infty x B(x) f_X(x) C(sx) {\rm d}x,
%\ \ {\mbox{where}}\ \ s={1\over z}-1. \label{id-0}
%\end{align}
%%where $S_Y$ is the survival (reliability) function of $Y$.
%
%Let $T\{g\}(s)=T\{g(x)\}(s)$, $s>0$, be an integral transform of the function $g(x)=x B(x) f_X(x)$, specified by the choice of the kernel function $K$ in \eqref{kernel-def}. In other words,
%\begin{align*}
%T\{g(x)\}(s)
%=
%\int_0^\infty g(x) K(x,s) {\rm d}x.
%\end{align*}
%%
%Using this notation, the indentity in \eqref{id-0} is written as
%\begin{align}\label{fZ-density}
%{1\over A(s) (s+1)^2}\,
%f_Z\left({1\over s+1}\right)
%=
%\int_0^\infty
%x B(x) f_X(x)
%K(x,s)
%{\rm d}x
%=
%T\{g(x)\}(s).
%\end{align}
%%
%% Table \ref{table:1} presents some kernels corresponding to the distribution of $Y$.
%\begin{table}[H]
% \caption{Some kernel functions $(K)$ and its respective inverses ($K^{-1}$). Here, $\gamma$ must be greater than the largest real part of the zeroes of the transform function.}
% \vspace*{0.15cm}
% \centering
%% \resizebox{\linewidth}{!}{
% \begin{tabular}{lllllll}
% \hline
% Transform & Symbol & $K$ & $K^{-1}$ & $u_1$ & $u_2$
% \\ [0.5ex]
% \noalign{\hrule }
% Fourier sine transform
% & $\mathcal{F}_s$ & $\sqrt{\dfrac{2}{\pi}} \sin(sx) $ & $\sqrt{\dfrac{2}{\pi}} \sin(sx) $ & $0$ & $\infty$
% \\ [1ex]
% Fourier cosine transform
% & $\mathcal{F}_c$ & $\sqrt{\dfrac{2}{\pi}} \cos(sx) $ & $\sqrt{\dfrac{2}{\pi}} \cos(sx) $ & $0$ & $\infty$
% \\ [1ex]
% Laplace transform
% & $\mathcal{L}$ & $\exp(-sx)$ & $\dfrac{\exp({sx})}{2\pi i}$ & $\gamma\!-\!i\infty$ & $\gamma\!+\!i\infty$
% \\ [1ex]
%% Generalized Stieltjes transform
%% & $\mathcal{G}_\rho$ & $(x+s)^{-\rho}$ &&&
%% \\ [1ex]
% \hline
% \end{tabular}
%% }
% \label{table:1}
%\end{table}
%%\noindent
%%In Table \ref{table:1}, $\Gamma(t)=\int_0^\infty x^{t-1} \exp(-x) \,{\rm d}x$, $t>0$, is the complete gamma function,
%%$K_\lambda(u)=(1/2)(u/2)^\lambda\int_0^\infty t^{-\lambda-1} \exp(-t-{u^2/ 4t}) \,{\rm d}t$, $u>0$, is the
%%% Bessel function of the third kind
%%%modified Bessel function of the second kind
%%modified Bessel function
%%of the third kind with index $\lambda$
%%%(also called Hankel, or Weber function).
%%%\cite[see Appendix of ][]{Kotz2001}
%%,
%%%%; see Krantz (1999) \cite{Krantz1999}.
%%and $\gamma(s,x)=\int_{0}^{x}t^{s-1}\exp(-t)\,{\rm d}t$ is the lower incomplete gamma function.
%%%Moreover, $\textrm{Ei}(x)$ is the exponential function and $_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z)$ is the generalized hypergeometric function.
%%%
%
%%$I$ is the regularized incomplete beta function.
%%
%%$P(k,x)$ is the regularized gamma function.
%%
%%$Q_{M}(a,b)$ is the Marcum $Q$-function.
%
%
%
%
%
%
%%By setting
%%\begin{align*}
%%s=\exp(t), \
%%x=\exp(-y), \
%%f_X(x) =\exp(y)g(y), \
%%S_Y(\xi)=G(\ln(\xi)), \
%%f_Z\left({1\over \xi+1}\right)=F\left({1\over \ln(\xi)+1}\right),
%%\end{align*}
%
%When the kernel $K$ has associated a kernel inverse $K^{-1} $, this one produces an inverse transform:
%\begin{align}
%%x f_X(x)
%g(x)
%&=
%\int_{u_1}^{u_2} T\{g(x)\}(s) K^{-1}(s,x) {\rm d}s \nonumber
%\\[0,2cm]
%&\stackrel{\eqref{fZ-density}}{=}
%\int_{u_1}^{u_2}
%{1\over A(s) (s+1)^2}\,
%f_Z\left({1\over s+1}\right) K^{-1}(s,x) {\rm d}s,
%\label{fZ-density-1}
%\end{align}
%for some $u_1$ and $u_2$ depending on the kernel $K$ in \eqref{kernel-def}.
%From \eqref{fZ-density-1}, the identity in \eqref{identity-main} follows.
%%
%\end{proof}
%
%\begin{theorem1}\label{tehorem-main-1-5}
% Under the conditions \eqref{main-id} and \eqref{decomp-pdf-Y}, if
% \begin{align}\label{decomp-pdf-Y-0-5}
% \mathbbm{C}(x)=\exp(-\lambda x), \quad x>0; \ \lambda >0,
% \end{align}
% then the PDF of $X$ is given by
% \begin{align*}
% f_X(x)
% =
%{\lambda\over x\mathbbm{B}(x)}\,
%\mathcal{L}^{-1}\left\{{1\over \mathbbm{A}(s)(s+1)^2}\, f_Z\left({1\over s+1}\right)\right\}(\lambda x),
% \end{align*}
% where $\mathcal{L}^{-1}$ denotes the inverse Laplace transform.
%\end{theorem1}
%\begin{proof}
%Using the independence of $X$ and $Y$, from \eqref{main-id} and \eqref{decomp-pdf-Y} it is simple to verify that the PDF of $Z$ can be written as
%%\begin{align*}
%%F_Z(z)
%%=
%%\int_0^\infty f_X(x) S_Y\left(\left({1\over z}-1\right)x\right) {\rm d}x,
%%\end{align*}
%\begin{align*}
%f_Z(z)
%=
%(s+1)^2
%\int_0^\infty x f_X(x) f_Y(sx) {\rm d}x,
%\quad {\mbox{where}}\ s={1\over z}-1.
%\end{align*}
%%Since $f_Y(sx)=A(s) B(x) C(sx)$, the above identity becomes
%%\begin{align}
%%f_Z(z)
%%=
%%A(s) (s+1)^2
%%\int_0^\infty x B(x) f_X(x) C(sx) {\rm d}x. \label{id-0}
%%\end{align}
%By using \eqref{decomp-pdf-Y}, the above identity is equivalently written as
%\begin{align}\label{fZ-density}
%{1\over \mathbbm{A}(s) (s+1)^2}\,
%f_Z\left({1\over s+1}\right)
%=
%\int_0^\infty
%x \mathbbm{B}(x) f_X(x)
%\mathbbm{C}(sx)
%{\rm d}x.
%\end{align}
%From \eqref{decomp-pdf-Y-0-5} the above equation becomes
%\begin{align*}
%{1\over \mathbbm{A}(s) (s+1)^2}\,
%f_Z\left({1\over s+1}\right)
%=
%\mathcal{L}\left\{
%x \mathbbm{B}(x) f_X(x)
%\right\}(\lambda s), \nonumber
%\end{align*}
%with $\mathcal{L}$ being the Laplace transform.
%Applying the inverse Laplace transform to both sides of the above equation, we have
%\begin{align*}
%x\mathbbm{B}(x)f_X(x)
% &=
% \mathcal{L}^{-1}\left\{
% {1\over \mathbbm{A}\left(\dfrac{s}{\lambda}\right)
% \left(\dfrac{s}{\lambda}+1\right)^2}\,
% f_Z\left(\rule{0cm}{0.8cm} {1\over \dfrac{s}{\lambda}+1}\right)
% \right\}(x)
% \\[0,2cm]
% &=
% \lambda
% \mathcal{L}^{-1}\left\{{1\over \mathbbm{A}(s)(s+1)^2}\, f_Z\left({1\over s+1}\right)\right\}(\lambda x),
%\end{align*}
%where in the last line we have used the scale change property of $\mathcal{L}^{-1}$. This proves the theorem.
%\end{proof}
\begin{theorem1}\label{tehorem-main-1-6}
Under the conditions \eqref{main-id} and \eqref{decomp-pdf-Y}, if
\begin{align}\label{decomp-pdf-Y-0-6}
\mathbbm{C}(x)=\exp(-\lambda x^\theta), \quad x>0, \ \lambda,\theta >0,
\end{align}
the density of $X$ is given by
\begin{align*}
f_X(x)
=
\dfrac{\lambda\theta}{x^{2-\theta} \mathbbm{B}(x)}\,
\mathcal{L}^{-1}\left\{ {1\over \mathbbm{A}(s^{1/\theta}) (s^{1/\theta}+1)^2}\,
f_Z\left({1\over s^{1/\theta}+1}\right)\right\}(\lambda x^\theta),
\end{align*}
where $\mathcal{L}^{-1}$ is the inverse Laplace transform.
\end{theorem1}
From here on, in all the examples to follow,
we suppose that $X,Y$ and $Z$ are related through \eqref{main-id}, and that $X$ and $Y$ are independent.
%
%\begin{example1}\label{ex-gamma-Kum}
%Let $Y\sim{\rm Gamma}(\beta,\lambda)$, $\beta,\lambda>0$, and $Z\sim {\rm Kumaraswamy}(a,b)$, $a,b>0$, that is, $Z$ has PDF given by
%\begin{align}\label{Kumaraswamy}
%{\displaystyle
%f_Z(z)
%=
%abz^{a-1}{(1-z^{a})}^{b-1},
%\quad 0<z<1.
%}
%\end{align}
%
%In what follows we find the distribution of $X$.
%
%Indeed, since $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
%\begin{align*}
%\mathbbm{A}(s)=s^{\beta-1},
%\quad
%\mathbbm{B}(x)={\lambda^\beta\over \Gamma(\beta)}\, x^{\beta-1}
%\quad
%\text{and}
%\quad
%\mathbbm{C}(sx)=\exp(-\lambda sx),
%\end{align*}
%from Theorem \ref{tehorem-main-1-6} (with $\theta=1$) we have
%\begin{align}\label{last-ex}
%f_X(x)
%=
%{\Gamma(\beta)\over \lambda^{\beta-1}}\,
%{1\over x^\beta} \,
%\mathcal{L}^{-1}\left\{{1\over s^{\beta-1}(s+1)^2}\, f_Z\left({1\over s+1}\right)\right\}(\lambda x).
%\end{align}
%
%On the other hand, a binomial expansion provides
%$
%f_Z(z)
%=
%ab
%\sum_{k=0}^{\infty} \binom{b-1}{k} (-1)^k z^{a(k+1)-1}.
%$
%Using this expansion and the Fubini/Tonelli theorem, we write \eqref{last-ex} as follows
%\begin{align*}
%f_X(x)
%=
%{ab \Gamma(\beta)\over \lambda^{\beta-1}}\,
%{1\over x^\beta}
% \sum_{k=0}^{\infty}\binom{b-1}{k} (-1)^k
% \mathcal{L}^{-1}\left\{{1\over s^{\beta-1}}\left({1\over s +1}\right)^{a(k+1)+1}\right\}(\lambda x).
%\end{align*}
%By employing the formula:
%$\mathcal{L}^{-1}\{s^{-a}(s+1)^{-b}\}(t)=t^{a + b-1}\, _1F_1(b; a + b; -t)/ \Gamma(a + b)$
%%$\mathcal{L}^{-1}\{\Gamma(\nu)(s+a)^{-\nu}\}(t)=t^{-\nu-1}\exp(-at)$,
%% $\nu>0$,
%(see Proposition \ref{prop-app-1}), the right-hand side of the expression above is
%\begin{align*}
% &
% =
%{ab \Gamma(\beta)\over \lambda^{\beta-1}}\,
%{1\over x^\beta}
% \sum_{k=0}^{\infty}\binom{b-1}{k} (-1)^k \,
% {(\lambda x)^{\beta+ a(k+1)-1}\over \Gamma(\beta + a(k+1))} \, _1F_1\big(a(k+1)+1; \beta + a(k+1); -\lambda x\big).
%\end{align*}
%Therefore, the PDF of $X$ is given by
%\begin{align*}
% f_X(x)
% =
%{ab\lambda^{a(k+1)} \Gamma(\beta)}
%\sum_{k=0}^{\infty}\binom{b-1}{k} (-1)^k \,
%{x^{a(k+1)-1}\over \Gamma(\beta + a(k+1))} \, _1F_1\big(a(k+1)+1; \beta + a(k+1); -\lambda x\big).
%%
%% {1\over \Gamma(a(k+1)+1)}\, (\lambda x)^{a(k+1)} \exp(-\lambda x)
%% \\[0,2cm]
%% &=
%% ab
%% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k \,
%% {\lambda^{a(k+1)}\over \Gamma(a(k+1)+1)}\, x^{a(k+1)-1} \exp(-\lambda x)
%% \\[0,2cm]
%%&=
%%b
%%\sum_{k=0}^{\infty}\binom{b-1}{k} (-1)^k\,
%%{1\over k+1}\, f_{T_k}(x),
%\end{align*}
%%
%%
%%Therefore,
%%\begin{align*}
%% f_X(x)
%% &=
%% ab
%% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k \,
%% {\lambda^{a(k+1)}\over \Gamma(a(k+1)+1)}\, x^{a(k+1)-1} \exp(-\lambda x)
%% \\[0,2cm]
%% &=
%% ab
%% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k\,
%% {\Gamma(a(k+1))\over \Gamma(a(k+1)+1)}\, f_{T_k}(x)
%% \\[0,2cm]
%% &=
%% b
%% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k\,
%% {1\over (k+1)}\, f_{T_k}(x),
%%\end{align*}
%%where $T_k\sim{\rm Gamma}(a(k+1),\lambda)$.
%
%%
%%\begin{align*}
%%\int_0^\infty
%% f_X(x)
%% {\rm d}x
%%=
%%b
%%\sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k
%%{1\over k+1}
%%=
%%1.
%%\end{align*}
%\end{example1}
%
%
%By taking $\beta=1$ in Example \ref{ex-gamma-Kum} and by using the well-known identity $_1F_1\big(a;a;-x)=\exp(-x)$, we have the following example.
%\begin{example1}
% If $Y\sim\exp(\lambda)$, $\lambda>0$, and $Z\sim {\rm Kumaraswamy}(a,b)$, $a,b>0$ \eqref{Kumaraswamy}, then the PDF of $X$ is an infinite sum of weighted gamma distributions. I.e.,
% \begin{align*}
% f_X(x)
% =
% b
% \sum_{k=0}^{\infty}\binom{b-1}{k} (-1)^k\,
% {1\over k+1}\, f_{T_k}(x), \quad x>0,
% \end{align*}
% where $T_k\sim{\rm Gamma}(a(k+1),\lambda)$.
%%
%% Indeed, by taking $\beta=1$ in Example \ref{ex-gamma-Kum}, we have
%% \begin{align*}
%% f_X(x)
%% &=
%% {ab\lambda^{a(k+1)}}\,
%% \sum_{k=0}^{\infty}\binom{b-1}{k} (-1)^k \,
%% {x^{a(k+1)-1}\over \Gamma(1 + a(k+1))} \, _1F_1\big(a(k+1)+1; 1 + a(k+1); -\lambda x\big).
%% \end{align*}
%% Since $_1F_1\big(a;a;-x)=\exp(-x)$, the right-hand side is
%% \begin{align*}
%% =
%% b
%% \sum_{k=0}^{\infty}\binom{b-1}{k} (-1)^k\,
%% {1\over k+1}\, f_{T_k}(x),
%% \end{align*}
%% where $T_k\sim{\rm Gamma}(a(k+1),\lambda)$.
%\end{example1}
%
% By taking $\beta=1$ and by considering a finite (instead of infinite) binomial expansion in Example \ref{ex-gamma-Kum}, the following example follows.
\begin{example1}
When $Y\sim\exp(\lambda)$, $\lambda>0$, and $Z\sim {\rm Kumaraswamy}(a,b)$, $a>0, b=1,2,\ldots$, that is, $Z$ has PDF given by
\begin{align}\label{Kumaraswamy}
{\displaystyle
f_Z(z)
=
abz^{a-1}{(1-z^{a})}^{b-1},
\quad 0<z<1.
}
\end{align}
% In what follows we find the distribution of $X$.
Indeed, since $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
\begin{align*}
\mathbbm{A}(s)=1,
\quad
\mathbbm{B}(x)={\lambda}\,
\quad
\text{and}
\quad
\mathbbm{C}(sx)=\exp(-\lambda sx),
\end{align*}
from Theorem \ref{tehorem-main-1-6} (with $\theta=1$), we readily have
\begin{align}\label{last-ex}
f_X(x)
=
{1\over x} \,
\mathcal{L}^{-1}\left\{{1\over (s+1)^2}\, f_Z\left({1\over s+1}\right)\right\}(\lambda x).
\end{align}
On the other hand, a binomial expansion provides
$
f_Z(z)
=
ab
\sum_{k=0}^{b-1} \binom{b-1}{k} (-1)^k z^{a(k+1)-1}.
$
Using this expansion and the linearity of $\mathcal{L}^{-1}$, we can write \eqref{last-ex} as
\begin{align}\label{rhs-fX}
f_X(x)
=
{ab}\,
{1\over x}
\sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k
\mathcal{L}^{-1}\left\{\left({1\over s +1}\right)^{a(k+1)+1}\right\}(\lambda x).
\end{align}
Now, by employing the
%formula:
%$\mathcal{L}^{-1}\{(s+1)^{-b}\}(t)=t^{b-1} \exp(-t)/ \Gamma(b)$
%%$\mathcal{L}^{-1}\{\Gamma(\nu)(s+a)^{-\nu}\}(t)=t^{-\nu-1}\exp(-at)$,
%% $\nu>0$,
%(see Proposition \ref{prop-app-1})
%
well-known formula \cite[see][]{Erdelyi1954b}:
\begin{align}\label{usual-identity}
\mathcal{L}^{-1}\{(\alpha s+\beta)^{-p}\}(t)
=
\dfrac{1}{\alpha\Gamma(p)}\,
\left({t\over \alpha}\right)^{p-1}
\exp\left(-{\beta t\over \alpha}\right), \quad p>0,
\end{align}
%
the right-hand side of \eqref{rhs-fX} is
\begin{align*}
f_X(x) &
=
{ab}\,
{1\over x}
\sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k \,
{(\lambda x)^{a(k+1)}\over \Gamma(1 + a(k+1))} \, \exp(-\lambda x).
\end{align*}
Hence, the density of $X$ in this case is given by
\begin{align*}
f_X(x)
&=
{ab\lambda^{a(k+1)}}
\sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k \,
{x^{a(k+1)-1}\over \Gamma(1 + a(k+1))} \, \exp(-\lambda x).
%
% {1\over \Gamma(a(k+1)+1)}\, (\lambda x)^{a(k+1)} \exp(-\lambda x)
% \\[0,2cm]
% &=
% ab
% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k \,
% {\lambda^{a(k+1)}\over \Gamma(a(k+1)+1)}\, x^{a(k+1)-1} \exp(-\lambda x)
\\[0,2cm]
&=
\sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k\,
{1\over k+1}\, f_{T_k}(x), \quad x>0,
\end{align*}
where $T_k\sim{\rm Gamma}(a(k+1),\lambda)$. Thus, the PDF of $X$ is a finite sum of weighted gamma distributions.
%
%
%Therefore,
%\begin{align*}
% f_X(x)
% &=
% ab
% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k \,
% {\lambda^{a(k+1)}\over \Gamma(a(k+1)+1)}\, x^{a(k+1)-1} \exp(-\lambda x)
% \\[0,2cm]
% &=
% ab
% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k\,
% {\Gamma(a(k+1))\over \Gamma(a(k+1)+1)}\, f_{T_k}(x)
% \\[0,2cm]
% &=
% b
% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k\,
% {1\over (k+1)}\, f_{T_k}(x),
%\end{align*}
%where $T_k\sim{\rm Gamma}(a(k+1),\lambda)$.
%
%\begin{align*}
%\int_0^\infty
% f_X(x)
% {\rm d}x
%=
%b
%\sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k
%{1\over k+1}
%=
%1.
%\end{align*}
\end{example1}
%\begin{example1}
%Let $Y\sim{\rm Gamma}(b,1)$ and $Z\sim{\rm Beta}(a,b)$, $a,b>0$.
%
%In what follows we find the distribution of $X$.
%
%Indeed, since $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
%\begin{align*}
%\mathbbm{A}(s)= s^{b-1},
%\quad
%\mathbbm{B}(x)={1\over \Gamma(b)}\, x^{b-1}
%\quad
%\text{and}
%\quad
%\mathbbm{C}(sx)=\exp(-sx),
%\end{align*}
%from Theorem \ref{tehorem-main-1-6} (with $\lambda=\theta=1$) we have
%\begin{align*}
%f_X(x)
%&=
%\Gamma(b)\,
%{1\over x^b}\,
%\mathcal{L}^{-1}\left\{{1\over s^{b-1}(s+1)^2}\, f_Z\left({1\over s+1}\right)\right\}(x)
%\\[0,2cm]
%&=
%{\Gamma(b)\over B(a,b)}\,
%{1\over x^b}\,
%\mathcal{L}^{-1}\left\{(s+1)^{-(a+b)}\right\}(x)
%=
%{1\over \Gamma(a)}\, x^{a-1} \exp(-x),
%\end{align*}
%where in the last equality we used the well-known formula \cite[see][]{Erdelyi1954b}:
%\begin{align}\label{usual-identity}
%\mathcal{L}^{-1}\{(\alpha s+\beta)^{-p}\}(t)
%=
%\dfrac{1}{\alpha\Gamma(p)}\,
%\left({t\over \alpha}\right)^{p-1}
%\exp\left(-{\beta t\over \alpha}\right), \quad p>0.
%\end{align}
%In other words, $X\sim{\rm Gamma}(a,1)$. This confirms a well-known result in the literature with respect to type I radio involving independent beta variables.
%\end{example1}
\begin{example1}\label{bbeta}
When $Y\sim{\rm Gamma}(\beta,\lambda)$, $\lambda>0$, and $Z\sim{\rm Bbeta}(\alpha,\beta, \rho, \delta)$, $\alpha,\beta>0$, $\rho\geqslant 0$ and $\delta\in\mathbb{R}$, is a random variable following the bimodal beta (Bbeta) distribution \cite[see][]{Vila:22} with density
%
\begin{align*}
f_Z(z)
=
\displaystyle
\frac{\rho+(1-\delta{x})^2}{K {B}(\alpha,\beta) } \,
x^{\alpha-1} \, (1-x)^{\beta-1},
\quad 0 < z < 1,
\end{align*}
where
$
K
=
1+\rho
- 2\delta{\alpha/(\alpha+\beta)}
+
\delta^2{\alpha(\alpha+1)/[(\alpha+\beta)(\alpha+\beta+1)]}.
$
%
%In what follows we find the distribution of $X$.
%
Indeed, since $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
\begin{align*}
\mathbbm{A}(s)=s^{\beta-1},
\quad
\mathbbm{B}(x)={\lambda^\beta\over \Gamma(\beta)}\, x^{\beta-1}
\quad
\text{and}
\quad
\mathbbm{C}(sx)=\exp(-\lambda sx),
\end{align*}
from Theorem \ref{tehorem-main-1-6} (with $\theta=1$), we readily have
\begin{align}\label{applic-theorem}
f_X(x)
=
\dfrac{\Gamma(\beta)}{\lambda^{\beta-1} x^{\beta}}\,
\mathcal{L}^{-1}\left\{ {1\over s^{\beta-1} (s+1)^2}\,
f_Z\left({1\over s+1}\right)\right\}(\lambda x),
\end{align}
where
\begin{align}\label{dec-frac}
{1\over s^{\beta-1} (s+1)^2}\,
f_Z\left({1\over s+1}\right)
=
\sum_{k=0}^{2}
{\pi_k\over\Gamma(\alpha+\beta+k)}\, {(s+1)^{-(\alpha+\beta+k)}},
\end{align}
$
\pi_0={(1+\rho)/K},
\pi_1=-{2\alpha \delta/[(\alpha+\beta) K]}
$
and
$
\pi_2={\alpha(\alpha+1)\delta^2/[(\alpha+\beta)(\alpha+\beta+1) K]}.
$
Note that $\pi_0+\pi_1+\pi_2=1$. Using \eqref{dec-frac} in \eqref{applic-theorem},
%, from identity \eqref{usual-identity}
we obtain
\begin{align*}
f_X(x)
&=
\dfrac{\Gamma(\beta)}{\lambda^{\beta-1} x^{\beta}}\,
\sum_{k=0}^{2}
{\pi_k\over B(\alpha+k,\beta)}\,
\mathcal{L}^{-1}\left\{ {(s+1)^{-(\alpha+\beta+k)}}\right\}(\lambda x)
\\[0,2cm]
&=
\sum_{k=0}^{2}
{\pi_k}\,
{\lambda^{\alpha+k}\over\Gamma(\alpha+k)}\,
x^{\alpha+k-1}
\exp(-\lambda x),
\end{align*}
where, in the last equality, we have used \eqref{usual-identity}.
Thus, the PDF of $X$ in this case can be written as a finite (generalized) mixture of three Gamma distributions with different shape parameters.
\end{example1}
\begin{remark1}
Notice that the PDF of $Z$ in Example \ref{bbeta} can be written as
\begin{align*}
f_Z(z)=\pi_0 f_{Z_0}(z)+\pi_1 f_{Z_1}(z)+\pi_2 f_{Z_2}(z),
\end{align*}
where $Z_k\sim{\rm Beta}(\alpha+k,\beta)$, $k=0,1,2$, and $\pi_0, \pi_1, \pi_2$ being as defined in Example \ref{bbeta}.
\end{remark1}
Upon setting $\delta=0$ in Example \ref{bbeta}, the following result well-known in the literature is deduced.
%
\begin{example1}[\citet{malik:67,ahuja:69,Jones2021}]
If $Y\sim{\rm Gamma}(\beta,\lambda)$, $\lambda>0$, and $Z\sim{\rm Beta}(\alpha,\beta)$, $\alpha,\beta>0$,
then $X\sim{\rm Gamma}(\alpha,\lambda)$.
\end{example1}
\begin{example1}
When $Y\sim{\rm Gamma}(\beta,\lambda)$, $\beta,\lambda>0$, and $Z$ is a random variable following the Topp-Leone distribution
%\cite[][p. 317]{Nadarajah2003}, i.e.,
with density
%
\begin{align*}
f_Z(z)
=
2vz^{v-1}(1-z)(2-z)^{v-1},
\quad 0 < z < 1, \ v=1,2,\ldots.
\end{align*}
%
% In what follows we find the distribution of $X$.
Indeed, by taking $\mathbbm{A}(s),
\mathbbm{B}(x)$ and
$\mathbbm{C}(sx)$ as in Example \ref{bbeta}, from Theorem \ref{tehorem-main-1-6} (with $\theta=1$), we have the validity of the identity in \eqref{applic-theorem}, with $Z$ following the Topp-Leone distribution. Note that this identity can be expressed equivalently as
\begin{align*}
f_X(x)
=
\dfrac{2v\Gamma(\beta)}{\lambda^{\beta-1} x^{\beta}}\,
\mathcal{L}^{-1}\left\{ {(2s+1)^{v-1}\over s^{\beta-2} (s+1)^{2v+1}}\right\}(\lambda x).
\end{align*}
Using a binomial expansion, the expression on the right hand side becomes
\begin{multline*}
\dfrac{2v\Gamma(\beta)}{\lambda^{\beta-1} x^{\beta}}
\sum_{k=0}^{v-1}
\binom{v-1}{k}
2^k
\mathcal{L}^{-1}\left\{ {1\over s^{\beta-k-2} (s+1)^{2v+1}}\right\}(\lambda x)
\\[0,2cm]
=
{2v\Gamma(\beta)}
\sum_{k=0}^{v-1}
\binom{v-1}{k}
2^k \lambda^{2v-k-1} x^{2v-k-2} \, {_1F_1(2v+1;\beta+2v-k-1;-\lambda x)\over\Gamma(\beta+2v-k-1)},
\end{multline*}
where, in the last line, Proposition \ref{prop-app-1} has been used. Thus, the PDF of $X$ is a finite sum in this case of weighted distributions that include confluent hypergeometric functions.
\end{example1}
\begin{example1}\label{weighted Lindley}
When $Y\sim\exp(\lambda)$, $\lambda>0$, and $Z$ is a random variable having the density
\begin{align*}
f_Z(z)
=
{\lambda\beta^{c+1}\over (\beta+c)\Gamma(c)}\, {1\over z^2}
\left\{
\Gamma(c+1) \left[\lambda \left({1\over z}-1\right)+\beta \right]^{-(c+1)}
+
\Gamma(c+2) \left[\lambda \left({1\over z}-1\right)+\beta \right]^{-(c+2)}
\right\},
\end{align*}
where
%$s=(1/ z)-1$,
$0<z<1$ and $c,\beta>0$.
%
%In what follows we find the distribution of $X$.
%
Indeed, since $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
\begin{align*}
\mathbbm{A}(s)=1,
\quad
\mathbbm{B}(x)={\lambda}
\quad
\text{and}
\quad
\mathbbm{C}(sx)=\exp(-\lambda sx),
\end{align*}
from Theorem \ref{tehorem-main-1-6} (with $\theta=1$), we readily have
\begin{align*}
f_X(x)
&=
{1\over x}\,
\mathcal{L}^{-1}\left\{{1\over (s+1)^2}\, f_Z\left({1\over s+1}\right)\right\}(\lambda x)
\\[0,2cm]
&=
{\lambda\beta^{c+1}\over (\beta+c)\Gamma(c)} \,
{1\over x}\,
\mathcal{L}^{-1}\left\{
\Gamma(c+1)
(\lambda s+\beta)^{-(c+1)}
+
\Gamma(c+2) (\lambda s+\beta)^{-(c+2)}
\right\}(\lambda x).
\end{align*}
Upon using \eqref{usual-identity}, the last equation becomes
\begin{align*}
f_X(x) =
{\beta^{c+1}\over (\beta+c)\Gamma(c)}\, x^{c-1}(1+x)\exp(-\beta x), \quad x>0;
\end{align*}
that is, $X$ is a random variable having the weighted Lindley distribution \cite[][]{Ghi:11}.
\end{example1}
\begin{remark1}
Note that the density of $Z$ in Example \ref{weighted Lindley} can be expressed as
\begin{align*}
f_Z(z)=pf_{T_0}(z)+(1-p)f_{T_1}(z),
\end{align*}
where $p=\beta/(\beta+c)$ and
% $f_{T_j}(z)=f_{L_j}\big(a(z);c+j,\theta/\lambda\big) \vert a'(z)\vert$, $j=0,1$,
% with
% $L_j\sim{\rm Lomax}(c+j,\theta/\lambda)$ and $a(z)=(1/z)-1$. I.e.,
$T_j
% =a^{-1}(L_j)
=1/(L_j+1)$,
$L_j\sim{\rm Lomax}(c+j,\beta/\lambda)$,
$j=0,1$. Further,
\begin{align*}
\mathbb{E}(T_j^r)={c+j\over c+j-r+4}\, \left({\beta\over\lambda}\right)^{c+j}\,
_2F_1\left(c+j+1, c+j-r+4; c+j-r+5; 1-{\beta\over\lambda}\right),
\end{align*}
provided $c+j-r+4>0$.
\end{remark1}
% The next result represents a generalization of Theorem \ref{tehorem-main-1-5}.
\begin{example1}\label{example-GG}
When $Y\sim{\rm GG}(a_2,d_2,\theta)$, $a_2,d_2,\theta>0$, is a random variable following the generalized gamma (GG) distribution with density
\begin{align*}
f_Y(y)
=
\dfrac{\theta}{a_2^{d_2}\Gamma\left(\dfrac{d_2}{\theta}\right)}\, y^{d_2-1}\exp\left[-\left({y\over a_2}\right)^\theta\right], \quad y>0,
\end{align*}
and let $Z$ is a random variable with density
\begin{align}\label{LN}
{\displaystyle
f_Z(z)
=
\dfrac{\theta a_1^{d_2} a_2^{d_1}}{ B\left(\dfrac{d_1}{\theta},\dfrac{d_2}{\theta}\right)}\,
\dfrac{z^{d_1-1}(1-z)^{d_2-1}}{\{(a_2 z)^\theta+[a_1(1-z)]^\theta\}^{(d_1+d_2)/\theta}},
\ \ {\mbox{where}}\ \ 0<z<1, \ a_1,d_1>0.
}
\end{align}
%In what follows we find the distribution of $X$.
Indeed, since $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
\begin{align*}
\mathbbm{A}(s)=s^{d_2-1},
\quad
\mathbbm{B}(x)={\theta\over a_2^{d_2}\Gamma\left(\dfrac{d_2}{\theta}\right)}\, x^{d_2-1}
\quad
\text{and}
\quad
\mathbbm{C}(sx)=\exp\left[- \left({s x\over a_2}\right)^\theta\right],
\end{align*}
from Theorem \ref{tehorem-main-1-6} (with $\lambda=a_2^{-\theta}$), we readily have
\begin{align*}
f_X(x)
=
\dfrac{\lambda\theta}{x^{2-\theta} \mathbbm{B}(x)}\,
\mathcal{L}^{-1}\left\{ {1\over \mathbbm{A}(s^{1/\theta}) (s^{1/\theta}+1)^2}\,
f_Z\left({1\over s^{1/\theta}+1}\right)\right\}(\lambda x^\theta).
\end{align*}
But, $x^{2-\theta} \mathbbm{B}(x)=
\theta x^{d_2-\theta+1}/[a_2^{d_2}\Gamma(d_2/\theta)]$ and
\begin{align*}
{1\over \mathbbm{A}(s^{1/\theta}) (s^{1/\theta}+1)^2}\,
f_Z\left({1\over s^{1/\theta}+1}\right)
=
{\theta a_2^{d_1}\over a_1^{d_1} B\left(\dfrac{d_1}{\theta},\dfrac{d_2}{\theta}\right)}\,
\left[\left(\dfrac{a_2}{a_1}\right)^\theta+s\right]^{-(d_1+d_2)/\theta}.
\end{align*}
Then, by using \eqref{usual-identity}, we find
\begin{align*}
f_X(x)
&=
\dfrac{\lambda\theta a_2^{d_1+d_2}\Gamma\left(\dfrac{d_2}{\theta}\right)}{ a_1^{d_1} B\left(\dfrac{d_1}{\theta},\dfrac{d_2}{\theta}\right) }\,
{1\over x^{d_2-\theta+1}}\,
\mathcal{L}^{-1}\left\{
\left[\left(\dfrac{a_2}{a_1}\right)^\theta+s\right]^{-(d_1+d_2)/\theta}
\right\}(\lambda x^\theta)
\\[0,2cm]
&=
\dfrac{\theta}{a_1^{d_1} \Gamma\left(\dfrac{d_1}{\theta}\right)}\,
x^{d_1-1}\,
\exp\left[- \left(\dfrac{x}{a_1}\right)^\theta\right], \quad x>0;
\end{align*}
that is, $X\sim{\rm GG}(a_1,d_1,\theta)$. Note that, by taking $\theta=1$, the PDF of $Z$ in \eqref{LN} becomes the Libby-Novick distribution \citep[see][]{Ahmed21, LN82}. Also, by taking $d_1=d_2=\theta$, $a_1=1$ and $a_2=\beta$ in Example \ref{example-GG}, we get the following example.
\end{example1}
%
\begin{example1}
When $Y\sim{\rm Weibull}(\theta,\beta)$, $\theta,\beta>0$, and $Z\sim {\rm UW2}(\theta,\beta)$ is a random variable following a unitary Weibull distribution Type 2 (UW2) \citep[see][]{Reyes23} with density
\begin{align*}
{\displaystyle
f_Z(z)
=
\dfrac{\theta\beta^\theta z^{\theta-1}(1-z)^{\theta-1}}{[(\beta z)^\theta+(1-z)^\theta]^2},
\quad 0<z<1.
}
\end{align*}
Then, $X\sim{\rm Weibull}(\theta,1)$.
%
% In what follows we find the distribution of $X$.
%
% Indeed, since $f_Y(sx)=A(s) B(x) C(sx)$ with $A(s)=s^{\theta-1}$, $B(x)=(\theta/\beta)(x/\beta)^{\theta-1}$ and $C(sx)=\exp(- (s x)^\theta/\beta^\theta)$, from Theorem \ref{tehorem-main-1-6} (with $\lambda=\beta^{-\theta}$) we have
% \begin{align*}
% f_X(x)
% =
% \dfrac{\lambda\theta}{x^{2-\theta} B(x)}\,
% \mathcal{L}^{-1}\left\{ {1\over A(s^{1/\theta}) (s^{1/\theta}+1)^2}\,
% f_Z\left({1\over s^{1/\theta}+1}\right)\right\}(\lambda x^\theta).
% \end{align*}
% But $x^{2-\theta} B(x)=(\theta/\beta^{\theta}) x$ and
% \begin{align*}
% {1\over A(s^{1/\theta}) (s^{1/\theta}+1)^2}\,
% f_Z\left({1\over s^{1/\theta}+1}\right)
% =
% {\theta\beta^\theta
% \over (\beta^\theta+s)^2}.
% \end{align*}
% Furthermore, it is well-known that $\mathcal{L}^{-1}\{(a+s)^{-p}\}(x)=x^{p-1}\exp(-a x)/\Gamma(p)$, $p>0$. Then
% \begin{align*}
% f_X(x)
% =
% \dfrac{1}{x}\,
% \mathcal{L}^{-1}\left\{{\theta\beta^\theta
% \over (\beta^\theta+s)^2}\right\}(\lambda x^\theta)
% =
% \theta x^{\theta-1} \exp(-x^\theta), \quad x>0.
% \end{align*}
% In other words, $X\sim{\rm Weibull}(\theta,1)$. This confirms the known result in \cite{Reyes23}.
\end{example1}
\begin{theorem1}\label{tehorem-main-1-7}
Under the conditions in \eqref{main-id} and \eqref{decomp-pdf-Y}, if
\begin{align}\label{decomp-pdf-Y-0-7}
\mathbbm{C}(x)=(p+qx)\exp(-\lambda x), \quad x>0, \ q,\lambda>0, p\geqslant 0,
\end{align}
the density of $X$ is given by
\begin{align*}
f_X(x)
=
{\lambda^3\over qx^{(\lambda p/ q)+2} \mathbbm{B}(x)}
\,
\int_0^x
\xi^{\lambda p/ q}
\mathcal{L}^{-1}\left\{
{1\over \mathbbm{A}\left(\dfrac{s}{\lambda}\right) (s+\lambda)^2}\,
f_Z\left({\lambda\over s+\lambda}\right)
\right\}(\xi)
{\rm d}\xi,
\end{align*}
whenever $[x^{(\lambda p/ q)+2} \mathbbm{B}(x) f_X(x)]\vert_{x=0^+}=0$.
\end{theorem1}
\begin{example1}\label{weighted Lindley distribution}
When $Y$ is a random variable following the weighted Lindley distribution \cite[see][]{Ghi:11} with parameter vector $(b,1)$ and density
\begin{align*}
f_Y(y)
&=
{1\over (1+b)\Gamma(b)}\, y^{b-1}(1+y)\exp(-y), \quad y>0, \ b>0,
\end{align*}
and $Z$ is a random variable with density
\begin{align}\label{misture-betas}
f_Z(z)
=
{(a+b+1)\over (1+a)(1+b) B(a,b)}\,
{z^{a-1}} \left({1-z}\right)^{b-1}
\left[(a+b)\, z{(1-z)}+ {1}\right], \quad 0<z<1, \ a>0.
\end{align}
%In what follows we find the distribution of $X$.
Indeed, since $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
\begin{align*}
\mathbbm{A}(s)=s^{b-1},
\quad
\mathbbm{B}(x)={1\over (1+b)\Gamma(b)}\, x^{b-1}
\quad
\text{and}
\quad
\mathbbm{C}(sx)=(1+sx)\exp(-sx),
\end{align*}
from Theorem \ref{tehorem-main-1-7} (with $p=q=\lambda=1$), we get
\begin{align}\label{eq:1}
f_X(x)
=
{1\over x^{3} \mathbbm{B}(x)}
\int_0^x
\xi
\mathcal{L}^{-1}\left\{
{1\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
\right\}(\xi)
{\rm d}\xi,
\end{align}
provided $[x^3 \mathbbm{B}(x) f_X(x)]\vert_{x=0^+}=0$.
But, $x^{3} \mathbbm{B}(x)=x^{b+2}/[(1+b)\Gamma(b)]$ and
\begin{align*}
{1\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
&=
{(a+b+1)\over (1+a)(1+b) B(a,b)}
\left[
{1\over (s+1)^{a+b}}
+
{(a+b)} \,
{s\over (s+1)^{a+b+2}}
\right]
\\[0,2cm]
&=
{(a+b+1)\over (1+a)(1+b) B(a,b)}
\left[{1 \over (s+1)^{a+b}}+(a+b)s\mathcal{L}\left\{{\xi^{a+b+1}\exp(-\xi)\over\Gamma(a+b+2)}\right\}(s) \right],
\end{align*}
where, in the last line, we have used \eqref{usual-identity}. Now, by applying the inverse Laplace transform on both sides of the above equality and using \eqref{usual-identity} together with property \eqref{property-inv-Laplace}, we obtain
\begin{multline*}
\mathcal{L}^{-1}\left\{
{1\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
\right\}(\xi)
\\[0,2cm]
=
{(a+b+1)\over (1+a)(1+b) B(a,b)}
\left[
\mathcal{L}^{-1}\left\{(s+1)^{-(a+b)}\right\}(\xi)
+
(a+b)
\mathcal{L}^{-1}\left\{
s\mathcal{L}\left\{{\xi^{a+b+1}\exp(-\xi)\over\Gamma(a+b+2)}\right\}(s)
\right\}(\xi)
\right]
\\[0,2cm]
=
{1\over (1+a)(1+b)\Gamma(a)\Gamma(b)}\,
\xi^{a+b-1}[(a+b+1)+(a+b+1)\xi-\xi^2]\exp(-\xi).
\end{multline*}
Using the above identities in \eqref{eq:1}, we get
\begin{align*}
f_X(x)
&=
{1\over (1+a)\Gamma(a)}\,
{1\over x^{b+2}} \,
\int_0^x
\xi^{a+b}[(a+b+1)+(a+b+1)\xi-\xi^2]\exp(-\xi)
{\rm d}\xi
\\[0,2cm]
&=
{1\over (1+a)\Gamma(a)}\,
x^{a-1}(1+x)\exp(-x),
\end{align*}
whenever $[x^3 \mathbbm{B}(x) f_X(x)]\vert_{x=0^+}=0$. Note that this condition is equivalent to $[x^{b+2}f_X(x)]\vert_{x=0^+}=0$, which is satisfied if we consider $f_X$ as in the above equation.
Then, we conclude that $X$ has weighted Lindley distribution with parameter vector $(a,1)$.
\end{example1}
\begin{remark1}
A simple observation shows that the density of $Z$ in \eqref{misture-betas} can be written as a mixture of beta distributions as
\begin{align*}
f_Z(z)
=
p f_{Z_0}(z)+(1-p) f_{Z_1}(z),
\end{align*}
where $p=(a+b+1)/[(a+1)(b+1)]$ and $Z_j\sim {\rm Beta}(a+j,b+j)$, $j=0,1$.
\end{remark1}
%It is not always easy to obtain an explicit inverse kernel $K^{-1}$ in the representation \eqref{identity-main} of the PDF of $X$ (Theorem \ref{main-theorem}). Instead,
%In many situations, it is possible to obtain other representations of \eqref{identity-main} as a function of known transforms. This is reflected in the following result.
%
\begin{theorem1}\label{tehorem-main-2}
Under the conditions in \eqref{main-id} and \eqref{decomp-pdf-Y}, if
\begin{align}\label{decomp-pdf-Y-1}
\mathbbm{C}(x)=(1+\theta x)^{-p}, \quad x>0,\ \theta, p>0,
\end{align}
the density of $X$ is given by
\begin{align*}
f_X(x)
=
{1\over x \mathbbm{B}(x)}\,
\mathcal{G}_p^{-1}\left\{
{1\over s^{p} \mathbbm{A}\left(\dfrac{1}{\theta s}\right)}
\left({\theta s\over 1+\theta s}\right)^2
f_Z\left({\theta s\over 1+ \theta s}\right)
\right\}(x),
\end{align*}
where $\mathcal{G}_p^{-1}$ is the inverse of the generalized Stieltjes transform $\mathcal{G}_p$ \citep[see][]{Schwarz05}.
%
%\begin{align*}
% f_X(x)
% =
% {\Gamma(p) \over x B(x) }\,
% \mathcal{L}^{-1}\left\{
% t^{1-p}
% \mathcal{L}^{-1}\left\{
% {1\over s^{p} A\left(\dfrac{1}{\theta s}\right) }
% \left({\theta s\over 1+\theta s}\right)^2
% f_Z\left({\theta s\over 1+ \theta s}\right)
% \right\}(t)
% \right\}(x).
%\end{align*}
\end{theorem1}
%\begin{example1}
% Let $Y$ be a random variable having the beta-prime distribution with shape parameters $\alpha>1$ integer, $\beta>0$, that is, $Y$ has PDF
% \begin{align*}
% f_Y(y)
% =
% {\frac {y^{{\alpha -1}}(1+y)^{{-\alpha -\beta }}}{B(\alpha ,\beta )}}.
% \end{align*}
% Furthermore, let's suppose that $Z\sim {\rm Kumaraswamy}(a,b)$, $a,b>0$.
%
% In what follows we find the distribution of $X$.
%
% Indeed, notice that $f_Y(sx)=A(s) B(x) C(sx)$, where $A(s)=s^{\alpha-1}$, $B(x)=x^{\alpha-1}/B(\alpha ,\beta )$ and $C(sx)=(1+sx)^{-p}$, $p=\alpha+\beta$, is as in \eqref{decomp-pdf-Y-1}.
%
% Since $x B(x)=x^{\alpha}/B(\alpha ,\beta )$ and, by using the expansion \eqref{binomial expansion},
% \begin{align*}
% {1\over s^{p} A\left(\dfrac{1}{\theta s}\right)}
% \left({\theta s\over 1+\theta s}\right)^2
% f_Z\left({\theta s\over 1+ \theta s}\right)
% =
% \end{align*}
% from Theorem \ref{tehorem-main-2}, we arrive
% \begin{align*}
% f_X(x)
% =
% {\Gamma(p) B(\alpha ,\beta ) \over x^\alpha }\,
% \mathcal{L}^{-1}\left\{
% t^{1-p}
% \mathcal{L}^{-1}\left\{
% {1\over s^{p-\alpha+1} }\,
% \left({s\over 1+s}\right)^2
% f_Z\left({s\over 1+s}\right)
% \right\}(t)
% \right\}(x).
% \end{align*}
%Using the expansion \eqref{binomial expansion} and the Fubini/Tonelli theorem, the right-hand side is written as
% \begin{align*}
%f_X(x)
%=
%{ab \Gamma(p) B(\alpha ,\beta ) \over x^\alpha }\,
%\sum_{k=0}^{\infty}
%\binom{b-1}{k} (-1)^k
%\mathcal{L}^{-1}\left\{
%t^{1-p}
%\mathcal{L}^{-1}\left\{
%{s^{a(k+1)+\alpha-p}\over (1+s)^{a(k+1)+1}}
%\right\}(t)
%\right\}(x).
%\end{align*}
%Employing the formula
%$\mathcal{L}^{-1}\{s^a/(1+s)^b\}(t)=t^{b-a-1}\, _1F_1(b; b-a; -t)/\Gamma(b-a)$, $b>a$, (Proposition \ref{prop-app-1}), the above expression is
% \begin{align*}
%=
%{ab \Gamma(p) B(\alpha ,\beta ) \over x^\alpha \Gamma(1-\alpha+p)}\,
%\sum_{k=0}^{\infty}
%\binom{b-1}{k} (-1)^k
%\mathcal{L}^{-1}\left\{
%t^{1-\alpha}
%\, _1F_1\big(a(k+1)+1; 1-\alpha+p; -t\big)
%\right\}(x).
%\end{align*}
%From Proposition \ref{prop-app-2}, this expression is
% \begin{align*}
%=
%{ab \Gamma(p) B(\alpha ,\beta ) \over \Gamma(1-\alpha+p) \Gamma(\alpha-1)}\,
%\sum_{k=0}^{\infty}
%\binom{b-1}{k} (-1)^k
% {1\over x^{2}} \, _2F_1\left(a(k+1)+1,2-\alpha; 1-\alpha+p; {1\over x}\right),
%\end{align*}
%whenever $\alpha>1$ is an integer.
%
%Therefore, the PDF of $X$ is given by
%\begin{align*}
%f_X(x)
%=
%{ab \Gamma(\alpha+\beta ) B(\alpha ,\beta ) \over \Gamma(\beta+1)\Gamma(\alpha-1)}\,
%\sum_{k=0}^{\infty}
%\binom{b-1}{k} (-1)^k
%{1\over x^{2}} \, _2F_1\left(a(k+1)+1,2-\alpha; \beta+1; {1\over x}\right).
%\end{align*}
%\end{example1}
\begin{example1}
When $Y$ is a random variable having the generalized beta-prime distribution with shape parameters $\alpha_2, \beta_2>0$ and density
\begin{align*}
f_Y(y)
=
{\lambda_2^{\alpha_2} y^{\alpha_2-1} (1+\lambda_2 y)^{-(\alpha_2+\beta_2)}\over B(\alpha_2,\beta_2) },
\quad y>0,
\end{align*}
and $Z$ has density
%\begin{align*}
% f_Z(z)
% =
%K
% (1-z)^{\alpha_2-1} z^{-(1+\alpha_2)}
% \, _2F_1\left(\alpha_2+\beta_2,\alpha_1+\alpha_2;\alpha_1+\alpha_2+\beta_1+\beta_2;1-{\lambda_2\over\lambda_1} \left({1\over z}-1\right)\right),
%\end{align*}
\begin{align}\label{pdf-Z}
f_Z(z)
=
K\,
{z^{\alpha_1-1}\over (1-z)^{\alpha_1+1}}
\, _2F_1\left(\alpha_1+\beta_1,\alpha_1+\alpha_2;\alpha_1+\alpha_2+\beta_1+\beta_2;1-{\lambda_1\over\lambda_2} \left({z\over 1-z}\right)\right), \quad 0<z<1,
\end{align}
where
$K=B(\alpha_1+\alpha_2,\beta_1+\beta_2) \lambda_1^{\alpha_1}/[ B(\alpha_1,\beta_1)B(\alpha_2,\beta_2) \lambda_2^{\alpha_1}]
$ and $\alpha_1, \beta_1>0$.
%
%In what follows we find the distribution of $X$.
%
Indeed, observe that $f_Y(sx)=\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)$, with
\begin{align*}
\mathbbm{A}(s)=s^{\alpha_2-1},
\quad
\mathbbm{B}(x)={\lambda_2^{\alpha_2}\over B(\alpha_2 ,\beta_2)}\, x^{\alpha_2-1}
\quad
\text{and}
\quad
\mathbbm{C}(sx)=(1+\lambda_2 sx)^{-(\alpha_2+\beta_2)}.
\end{align*}
As $x \mathbbm{B}(x)=\lambda_2^{\alpha_2} x^{\alpha_2}/B(\alpha_2 ,\beta_2 )$ and (for $p=\alpha_2+\beta_2$ and $\theta=\lambda_2$)
\begin{multline*}
{1\over s^{p} \mathbbm{A}\left(\dfrac{1}{\theta s}\right)}
\left({\theta s\over 1+\theta s}\right)^2
f_Z\left({\theta s\over 1+ \theta s}\right)
\\[0,2cm]
=
\dfrac{B(\alpha_1+\alpha_2,\beta_1+\beta_2) \lambda_1^{\alpha_1}\lambda_2^{\alpha_2}}{ B(\alpha_1,\beta_1)B(\alpha_2,\beta_2) } \,
s^{\alpha_1-\beta_2}
\, _2F_1\left(\alpha_1+\beta_1,\alpha_1+\alpha_2;\alpha_1+\alpha_2+\beta_1+\beta_2;1-\lambda_1 s\right),
\end{multline*}
from Theorem \ref{tehorem-main-2} (with $p=\alpha_2+\beta_2$ and $\theta=\lambda_2$), we readily obtain
\begin{align}\label{id-1}
f_X(x)
=
\dfrac{B(\alpha_1+\alpha_2,\beta_1+\beta_2) \lambda_1^{\alpha_1}}{ B(\alpha_1,\beta_1) x^{\alpha_2}} \,
\mathcal{G}_p^{-1}\left\{
s^{\alpha_1-\beta_2}
\, _2F_1\left(\alpha_1+\beta_1,\alpha_1+\alpha_2;\alpha_1+\alpha_2+\beta_1+\beta_2;1-\lambda_1 s\right)
\right\}(x).
\end{align}
By using the known formula \cite[see][p. 233]{Erdelyi1954b}
\begin{align*}
\mathcal{G}_\rho
\left\{
x^{\nu-1}(a+x)^{-\mu}
\right\}(y)
=
\dfrac{\Gamma(\nu)\Gamma(\mu-\nu+\rho) }{\Gamma(\mu+\rho) a^\mu}\,
y^{\nu-\rho}\,
_2F_1\left(\mu,\nu;\mu+\rho;1-{y\over a}\right), \quad \rho>\nu-\mu,
\end{align*}
with $\mu=\alpha_1+\beta_1, \nu=\alpha_1+\alpha_2, a=1/\lambda_1, \rho=p=\alpha_2+\beta_2$ and $y=s$, we write the argument of $\mathcal{G}_\rho^{-1}$ in \eqref{id-1} as
\begin{multline}\label{id-2}
s^{\alpha_1-\beta_2}
\, _2F_1\left(\alpha_1+\beta_1,\alpha_1+\alpha_2;\alpha_1+\alpha_2+\beta_1+\beta_2;1-\lambda_1 s\right)
\\[0,2cm]
=
\dfrac{\Gamma(\alpha_1+\beta_1+\alpha_2+\beta_2) }{\Gamma(\alpha_1+\alpha_2)\Gamma(\beta_1+\beta_2) \lambda_1^{\alpha_1+\beta_1}}\,
\mathcal{G}_p
\left\{
x^{\alpha_1+\alpha_2-1}\left({1\over\lambda_1}+x\right)^{-(\alpha_1+\beta_1)}
\right\}(s).
\end{multline}
Then, by combining \eqref{id-1} and \eqref{id-2}, we obtain
\begin{align*}
f_X(x)
=
\dfrac{\lambda_1^{\alpha_1}
x^{\alpha_1-1}
\left(1+\lambda_1 x\right)^{-(\alpha_1+\beta_1)}}{ B(\alpha_1,\beta_1)};
\end{align*}
that is, $X$ follows the generalized beta-prime distribution with shape parameters $\alpha_1, \beta_1>0$.
\end{example1}
\begin{remark1}
For two independent variables $X$ and $Y$ having generalized beta-prime distributions, the density $f_Z$ equivalent to \eqref{pdf-Z} was determined earlier by \cite{Bekker2009}.
\end{remark1}
By combining the formula (23) of \cite{Schwarz05} with Theorem \ref{tehorem-main-2}, the following result follows.
\begin{corollary}\label{corollary}
Under the conditions in \eqref{main-id} and \eqref{decomp-pdf-Y}, if $\mathbbm{C}(x)$ is as in \eqref{decomp-pdf-Y-1},
then the density of $X$ is given by
%
\begin{align*}
f_X(x)
=
{\Gamma(p) \over x \mathbbm{B}(x) }\,
\mathcal{L}^{-1}\left\{
t^{1-p}
\mathcal{L}^{-1}\left\{
{1\over s^{p} \mathbbm{A}\left(\dfrac{1}{\theta s}\right) }
\left({\theta s\over 1+\theta s}\right)^2
f_Z\left({\theta s\over 1+ \theta s}\right)
\right\}(t)
\right\}(x).
\end{align*}
% where $\mathcal{G}_p^{-1}$ is the inverse of the generalized Stieltjes transform $\mathcal{G}_p$ \citep[see, e.g.,][]{Schwarz05}.
\end{corollary}
Corollary \ref{corollary} provides an alternative formula in case the inverse generalized Stieltjes transform of Theorem \ref{tehorem-main-2} is difficult to find.
%The following result provides a general formula for calculating the PDF of $X$ as a function of Fourier transforms. The main problem is that, in general, it is not always possible to obtain a closed formula for the transforms involved. For example, it is hard to use this result to get the PDFs of $X$ given in the above examples.
%\begin{proposition}
% Let $X$ and $Y$ be two independent random variables satisfying \eqref{main-id}, such that the distributions of $Z$ and $Y$ are known. The PDF of $X$ can be written of the form
% \begin{align*}
% f_X(x)={1\over x^2}\, \mathcal{F}^{-1}\left\{
% {1\over \mathcal{F}\{f_Y(\exp(z))\}(u)}\,
% \mathcal{F}\left\{{1\over [\exp(z)+1]^2}\, f_Z\left[{1\over \exp(z)+1}\right]\right\}(u)
% \right\}(-\log(x)),
% \end{align*}
% where $\mathcal{F}\{f(x)\}(y)=\int_{-\infty}^{\infty}f(x)\exp(-ixy){\rm d}y$ is the Fourier transform and $f(x)=(2\pi)^{-1}\int_{-\infty}^{\infty}\mathcal{F}\{f(x)\}(y)\exp(ixy){\rm d}y$ its respective inverse transform (denoted by $\mathcal{F}^{-1}$).
%\end{proposition}
%\begin{proof}
%From \eqref{id-0-0}, the following holds
%\begin{align*}
%\int_0^\infty y(x) g(sx) {\rm d}x
%=
%f(s),
%\end{align*}
%where
%$y(x)=x f_X(x), g(sx)=f_Y(sx)$ and $f(s)=f_Z\left(1/ (s+1)\right)/(s+1)^2$.
%By setting
%\begin{align*}
% s=\exp(z), \ \ x=\exp(-\tau), \ \ y(x)=\exp(\tau) w(\tau), \ \ g(\xi)=G(\log(\xi)), \ \ f(\xi)=F(\log(\xi)),
%\end{align*}
%we arrive at the following integral equation
%\begin{align*}
% \int_{-\infty}^{\infty} w(\tau) G(z-\tau) {\rm d}\tau=F(z).
%\end{align*}
%By Formula (15) of Subsection 3.8 of \cite{Polyanin2008}, we have
%\begin{align*}
% w(\tau)={1\over 2\pi}\, \int_{-\infty}^{\infty} {\mathcal{F}\{F(z)\}(u)\over\mathcal{F}\{G(z)\}(u)} \, \exp(i\tau u) {\rm d}u.
%\end{align*}
%Note that the above formula is equivalent to the formula stated in the proposition. Then the proof follows.
%%\begin{align*}
%%x f_X(x)=y(x)
%% &={1\over x}\, w(-\log(x))
%% \\[0,2cm]
%% &=
%% {1\over 2\pi}\,
%% {1\over x}\,
%% \int_{-\infty}^{\infty}
%% {1\over \mathcal{F}\{f_Y(\exp(z))\}(u)}\,
%% \mathcal{F}\left\{{1\over [\exp(z)+1]^2}\, f_Z\left[{1\over \exp(z)+1}\right]\right\}(u) \, \exp(-i\log(x) u) {\rm d}u
%% \\[0,2cm]
%% &=
%% {1\over x}\, \mathcal{F}^{-1}\left\{
%% {1\over \mathcal{F}\{f_Y(\exp(z))\}(u)}\,
%%\mathcal{F}\left\{{1\over [\exp(z)+1]^2}\, f_Z\left[{1\over \exp(z)+1}\right]\right\}(u)
%% \right\}(-\log(x))
%%\end{align*}
%\end{proof}
%
%{\color{red}
%\begin{example1}
%Let $X$ and $Y$ be two random variables following the weighted Lindley distribution \cite[see][]{Ghi:11} with vector parameters $(a,1)$ and $(b,1)$, respectively, where $a$ and $b$ are shape parameters. I.e.,
%\begin{align*}
%f_X(x)
%&=
%{1\over (1+a)\Gamma(a)}\, x^{a-1}(1+x)\exp(-x),
%\\[0,2cm]
%f_Y(y)
%&=
%{1\over (1+b)\Gamma(b)}\, y^{b-1}(1+y)\exp(-y).
%\end{align*}
%From \eqref{id-0-0}, we have
%\begin{align*}
%f_Z(z)
%&=
%{1\over z^2}
%\int_0^\infty x f_X(x) f_Y(sx) {\rm d}x,
%\ \ {\mbox{where}}\ \ s={1\over z}-1,
%\\[0,2cm]
%&=
%{1\over (1+a)(1+b)\Gamma(a)\Gamma(b)}\,
%{s^{b-1}\over z^2} \,
%\int_0^\infty
%x^{a+b-1}(1+x)(1+sx)
%\exp(-x(1+s)) {\rm d}x
%\\[0,2cm]
%&=
%{1\over (1+a)(1+b)\Gamma(a)\Gamma(b)}\,
%{s^{b-1}\over z^2} \,
%\mathcal{L}\big\{x^{a+b-1}(1+x)(1+sx)\big\}(s+1)
%\\[0,2cm]
%&=
%{(a+b+1)\Gamma(a+b)\over (1+a)(1+b)\Gamma(a)\Gamma(b)}\,
%{z^{a-1}} \left({1-z}\right)^{b-1}
%\left[(a+b)\, z{(1-z)}+ {1}\right]
%\\[0,2cm]
%&=
%{(a+b+1)\over (1+a)(1+b)}\,
%{z^{a-1} (1-z)^{b-1} \over B(a,b)}
%+
%{ab\over (1+a)(1+b)} \, {z^{a} (1-z)^{b} \over B(a+1,b+1)}
%\\[0,2cm]
%&=
%p f_{Z_0}(z)+(1-p) f_{Z_1}(z),
%\end{align*}
%where $p=(a+b+1)/[(a+1)(b+1)]$ and $Z_j\sim {\rm Beta}(a+j,b+j)$, $j=0,1$.
%
%
%
%
%\end{example1}
%}
%
%{\color{red}
%\begin{align*}
%f_Z(\exp(y))
%=
%ab\sum_{k=1}^{b-1} \binom{b-1}{k} (-1)^k \exp([a(k+1)-1]y)
%\end{align*}
%Then
%\begin{align*}
%\mathcal{F}\{f_Z(\exp(y))\}(u)
%&=
%ab\sum_{k=1}^{b-1} \binom{b-1}{k} (-1)^k
%\mathcal{F}\{\exp([a(k+1)-1]y)\}(u)
%\\[0,2cm]
%&=
%ab\sum_{k=1}^{b-1} \binom{b-1}{k} (-1)^k \,
%{1\over [1-a(k+1)]+iu}.
%\end{align*}
%
%Furthermore, $f_Y(\exp(y))=\lambda\exp(-\lambda \exp(y))$ and then
%\begin{align*}
%\mathcal{F}\{f_Y(\exp(y))\}(u)
%=
%\lambda \mathcal{F}\{\exp(-\lambda \exp(y))\}
%&=
%\lambda
%\sum_{k=0}^{\infty}
%{(-\lambda)^k \over k!}\,
%\mathcal{F}\{\exp(ky)\}(u)
%\\[0,2cm]
%&=
%\lambda
%\sum_{k=0}^{\infty}
%{(-\lambda)^k \over k!}\,
%{1\over -k+iu}
%=
%-\lambda^{1+iu} \Gamma(-iu, 0, \lambda).
%\end{align*}
%Then
%\begin{align*}
% &\mathcal{F}^{-1}\left\{{\mathcal{F}\{f_Z(\exp(y))\}(u)\over \mathcal{F}\{f_Y(\exp(y))\}(u)}\right\}(w)
% \\[0,2cm]
% &=
% -
% ab\sum_{k=1}^{b-1} \binom{b-1}{k} (-1)^k
% \mathcal{F}^{-1}\left\{
% {1\over ([1-a(k+1)]+iu) \lambda^{1 + iu} \Gamma(-iu, 0, \lambda)}
% \right\}(w)
%\end{align*}
%
%}
%Assumamos que $Y\sim{\rm exp}(\lambda)$, $\lambda>0$. Então
%\begin{align}
%f_Z(z)
%&=
%\int_0^\infty f_X(x) \exp\left(-\lambda\left({1\over z}-1\right) x\right) {\rm d}x
%\nonumber
%\\[0,2cm]
%&=
%\mathcal{L}\{f_X\}\left(\lambda\left({1\over z}-1\right)\right)
%%\nonumber
%%\\[0,2cm]
%%&
%=
%\lambda
%\mathcal{L}\{f_X\}\left({1\over z}-1\right),
%\label{id-1}
%\end{align}
%onde $\mathcal{L}\{f_X\}$ é a transformada de Laplace da função $f_X$.
%Tomando $s=(1/z)-1$, a identidade em \eqref{id-1} é escrita como
%\begin{align*}
%g(s)
%\stackrel{\rm def.}{=}
%f_Z\left({1\over s+1}\right)=\lambda
%\mathcal{L}\{f_X\}(s), \quad s>0.
%\end{align*}
%Aplicando transformada inversa de Laplace na identidade acima, temos que
%\begin{align}\label{id-2}
%f_X(x)={1\over\lambda}\, \mathcal{L}^{-1}\{g\}(x).
%\end{align}
%Se $Z\sim{\rm Kumaraswamy}(a,b)$, então $f_Z(z)=abz^{a-1}(1-z^a)^{b-1}$ com $a>0$ e $b=1,2,\ldots$. Portanto,
%\begin{align*}
% g(s)&=ab\left({1\over s+1}\right)^{a-1}\left[1-\left({1\over s+1}\right)^a\,\right]^{b-1}
%% \\[0,2cm]
%% &
% =
% ab
% \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k \left({1\over s+1}\right)^{a(k+1)-1}.
%\end{align*}
%Logo, pela linearidade da transformada inversa de Laplace, $f_X$ em \eqref{id-2} é escrita como
%\begin{align*}
%f_X(x)
%&=
%{ab\over\lambda} \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k
% \mathcal{L}^{-1}\left\{\left({1\over s+1}\right)^{a(k+1)-1}\right\}(x)
%% \\[0,2cm]
%%&
%=
%{ab\over\lambda} \sum_{k=0}^{b-1}\binom{b-1}{k} (-1)^k
%f_{T_k}(x),
%\end{align*}
%onde $T_k\sim{\rm Gamma}(a(k+1)-1,1)$.
%
%Observe que para $b>1$, $f_X$ deixa de ser uma densidade, pois neste caso, $\int_0^\infty f_X(x) {\rm d}x=0$. Tomando $b=1$ e $\lambda=ab=a>1$ temos que $f_X(x)=f_{T_0}(x)$. Em outras palavras, $X\stackrel{\mathscr{D}}{=}T_0\sim {\rm Gamma}(a-1,1)$.
\thispagestyle{empty}
%
%\begin{align*}
%f_Z(z)
%&=
%\int_0^\infty f_X(x) \exp\left(-\left({1\over z}-1\right)^\beta x^\beta\right) {\rm d}x
%\\[0,2cm]
%&=
%c
%\int_0^\infty
%\exp\left(- \alpha x\right)
%\exp\left(-\left({1\over z}-1\right)^\beta x^\beta\right)
% {\rm d}x
% \\[0,2cm]
% &=
%\alpha \mathcal{L}\left\{\exp\left(-\left({1\over z}-1\right)^\beta x^\beta\right)\right\}(\alpha).
%\end{align*}
%Another important result which can be directly applied when the PDF shape of Y is simple is the following.
%\begin{theorem}
%
%\end{theorem}
%\begin{proof}
% content
%\end{proof}
\section{Concluding Remarks} \label{sec:3}
\noindent
In the recent literature concerning bounded models, many papers have assumed a known distribution for $Z$, but usually it is difficult to understand how $X$ and $Y$ were obtained. In this paper, a new technique based on inverse integral transforms approach is suggested for finding the exact distribution of the random variable $X$ that is involved in the independent ratio $Z = X/(X+Y)$. This procedure has been discussed in detail for some cases and illustrated with many known as well as some new (see Examples \ref{weighted Lindley}, \ref{example-GG} and \ref{weighted Lindley distribution}) bounded models.
\paragraph{Acknowledgements}
\noindent
Roberto Vila gratefully acknowledge financial support from CNPq, CAPES and FAP-DF, Brazil.
Marcelo Bourguignon gratefully acknowledges partial financial support of the
Brazilian agency Conselho Nacional de Desenvolvimento Cient\'ifico e Tecnol\'ogico
(CNPq: grant 304140/2021-0).
\paragraph{Disclosure statement}
There are no conflicts of interest to disclose.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\normalsize
%\bibliographystyle{apalike}
%\bibliography{bibliography}
\begin{thebibliography}{}
%\bibitem[Abdous, 2005]{Adous2005}
%Abdous, B., F. A.-L. G.~K. (2005).
%\newblock Extreme behaviour for bivariate elliptical distributions.
%\newblock {\em The Canadian Journal of Statistics}, 33:317--334.
\bibitem[Ahuja, 1969]{ahuja:69}
Ahuja, J.~C. (1969).
\newblock {On certain properties of the generalized Gompertz distribution}.
\newblock {Sankhy$\overline{\rm a}$}, Series B, 31:541--544.
%
\bibitem[Ahmed, 2021]{Ahmed21}
Ahmed, M.A. (2021).
The new form Libby-Novick distribution;
Communications in Statistics - Theory and Methods,
50:1--17.
%\bibitem[Arellano-Valle and Genton, 2010]{Avg:10}
%Arellano-Valle, R.B. and Genton, M.G. (2010).
%\newblock Multivariate extended skew-t distributions and related families. \newblock {\em METRON}, 68:201--234.
%
%\bibitem[Azzalini and Capitanio, 2003]{Ac:03}
%Azzalini, A. and Capitanio, A. (2003).
%\newblock Distributions generated by perturbation of symmetry
%with emphasis on a multivariate skew t-distribution,
%\newblock {\em Journal of the Royal Statistical Society Series B},
%65:367--389.
%
%\bibitem[Azzalini and Dalla Valle, 1996]{Ad:96}
%Azzalini, A. and Dalla Valle, A. (1996).
%\newblock The multivariate skew-normal distribution,
%\newblock {\em Biometrika}, 83:715--726.
%
%\bibitem[Balakrishnan and Lai, 2009]{Balai:09}
%Balakrishnan, N. and Lai, C.~D. (2009).
%\newblock {\em Continuous Bivariate Distributions}.
%\newblock Springer-Verlag, New York, NY.
%
\bibitem[Bourguignon et al.(2022)]{bour22}
Bourguignon, M., Saulo, H. and Gallardo, D.
(2022). A parametric quantile beta regression for modeling case fatality rates of Covid-19. arXiv:2110.04428v1.
%\bibitem[Bastos and Barreto-Souza, 2021]{bastosbarretosouza:21}
%Bastos, F.~S. and Barreto-Souza, W. (2021).
%\newblock {B}irnbaum-{S}aunders sample selection model.
%\newblock {\em Journal of Applied Statistics}, 48:1896--1916.
%
%\bibitem[Bastos et~al., 2021]{Bastos2021}
%Bastos, F.S., Barreto-Souza, W. and Genton, M.G. (2022).
%\newblock A generalized Heckman model with varying sample election bias and dispersion parameters.
%\newblock {\em Statistica Sinica}, 32, pages in press available at \href{https://dx.doi.org/10.5705/ss.202021.0068}{doi:10.5705/ss.202021.0068}
\bibitem[Bekker et al., 2009]{Bekker2009}
Bekker, A., Roux, J. and Pham-Gia, T. (2009).
The type I distribution of the ratio of independent ``Weibullized'' generalized beta-prime variables.
Statistical Papers, 50:323--338.
%\bibitem[Ding, 2014]{Ding2014}
%Ding, P. (2014).
%\newblock Bayesian robust inference of sample selection using selection-t models.
%\newblock {\em Journal of Multivariate Analysis}, 124:451--464.
\bibitem[Billingsley, 1968]{Billingsley1968}
Billingsley, P. (1968). Convergence of Probability Measures. John Wiley \& Sons, New York.
\bibitem[Erdélyi, 1954]{Erdelyi1954a}
Erdélyi, A. (1954).
Tables of Integral Transforms. Volume 1. McGraw-Hill, New York.
\bibitem[Erdélyi and Bateman, 1954]{Erdelyi1954b}
Erdélyi, A. and Bateman, H. (1954).
Tables of Integral Transforms, Volume 2. McGraw-Hill, New York.
\bibitem[Grassia(1977)]{Grassia77}
Grassia, A. (1977). On a family of distributions with argument between 0 and 1 obtained by transformation of the Gamma and derived compound distributions. Australian Journal of Statistics, 19:108-114.
\bibitem[G\'omez-D\'eniz(2014)]{deniz14}
G\'omez-D\'eniz, E., Sordo, M.A. and Calder\'in-Ojeda, E.
(2014). The Log-Lindley distribution as an alternative to the beta regression
model with applications in insurance. Insurance: Mathematics and Economics,
54:49--57.
%\bibitem[Evans, 1998]{Evans1998}
%Evans, L. C. (1998).
%Partial Differential Equations
%American Mathematical Society, V. 19,
%662 pages.
%
%\bibitem[Fang et~al., 1990]{fkn:90}
%Fang, K.T., Kotz, S. and Ng, K.W. (1990).
%\newblock {\em Symmetric Multivariate and Related Distributions}.
%\newblock Chapman and Hall, London, UK.
%\bibitem[Friedli and Velenik, 2017]{Friedli2017}
%Friedli, S. and Velenik, Y (2017).
%Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction
%Cambridge: Cambridge University Press.
%
%\bibitem[Genton and Loperfido, 2005]{gl:05}
%Genton, M.G. and Loperfido, N.M.R. (2005).
%\newblock Generalized skew-elliptical distributions and their quadratic forms.
%\newblock {\em Ann Inst Stat Math}, 57:389--401.
\bibitem[Ghitany et~al., 2011]{Ghi:11}
Ghitany, M.E., Alqallaf, F., Al-Mutairi, D.K. and Husain, H.A. (2011). A two-parameter weighted Lindley distribution and its applications to survival data.
{Mathematics and Computers in Simulation}, 81(6):1190--1201.
%
%\bibitem[Heckman, 1976]{heckman76}
%Heckman, J.J. (1976).
%\newblock The common structure of statistical models of truncation, sample selection and limited dependent variables and a simple estimator for such models.
%\newblock {\em Annals of Economic and Social Measurement}, 5:475--492.
%
%\bibitem[Heckman, 1979]{heckman79}
%Heckman, J.J. (1979).
%\newblock Sample selection bias as a specification error.
%\newblock {\em Econometrica}, 47:153--161.
%
%\bibitem[Lachos et~al., 2021]{lachosetal21}
%Lachos, V.H., Prates, M.O. and Dey, D.K. (2021).
%\newblock Heckman selection-t model: Parameter estimation via the EM-algorithm.
%\newblock {\em Journal of Multivariate Analysis}, 184:104737.
%
%\bibitem[Leung and Yu, 1996]{Yu1996}
%Leung, S.F. and Yu, S. (1996).
%\newblock On the choice between sample selection and two-part models.
%\newblock {\em Journal of Econometrics}, pages 72:197--229.
\bibitem[Johnson et al.(1995)]{Johnson95}
Johnson, N.L., Kotz, S. and Balakrishnan, N. (1995). Continuous Univariate Distributions - Vol. 2. John Wiley \& Sons, New York.
\bibitem[Jones and Balakrishnan(2021)]{Jones2021}
Jones, M.C. and Balakrishnan, N. (2021). Simple functions of independent beta random variables that follow beta distributions. Statistics and Probability and Letters, 170:109011.
\bibitem[Kumaraswamy(1980)]{kuma80}
Kumaraswamy, P. (1980). A generalized probability density function for double-bounded random processes. Journal of Hydrology,
46:79--88.
\bibitem[Libby and Novick, 1982]{LN82}
Libby, D.L. and Novick, M.R. (1982).
Multivariate generalized beta-distributions with applications to utility assessment. Journal of Educational Statistics, 7(4):271--294.
%
%\bibitem[Manning et~al., 1987]{Manning1987}
%Manning, W., Duan, N. and Rogers, W. (1987).
%\newblock Monte Carlo evidence on the choice between sample selection and two-part models.
%\newblock {\em Journal of Econometrics}, 35:59--82.
%
%\bibitem[Marchenko and Genton, 2012]{Genton2012}
%Marchenko, Y.V. and Genton, M.G. (2012).
%\newblock A Heckman selection-t model.
%\newblock {\em Journal of the American Statistical Association}, 107:304--317.
\bibitem[Lijoi et al.(2005)]{Lijoi05}
Lijoi, A., Mena, R.H., Pr\"{u}snter, I. (2005). Hierarchical mixture modeling with normalized inverse Gaussian priors. Journal of the American Statistical Association, 472:1278--1291.
\bibitem[Malik, 1967]{malik:67}
Malik, H.~J. (1967).
\newblock {Exact distribution of the quotient of independent generalized gamma
variables}.
\newblock {\em Canadian Mathematical Bulletin}, 10:463--465.
\bibitem[Nadarajah and Kotz(2006)]{Nadarajah2006}
Nadarajah, S. and Kotz, S. (2006).
On the product and ratio of gamma and Weibull
random variables. Econometric Theory, 22(2):338--344.
%\bibitem[Nadarajah and Kotz(2003)]{Nadarajah2003}
%Nadarajah, S. and Kotz, S. (2003).
%Moments of some J-shaped distributions.
%Journal of Applied Statistics, 30: 311--317
%\bibitem[Nadarajah, 2003]{Nadarajah2003}
%Nadarajah, S. (2003).
%Skewed distributions generated by the uniform kernel.
%{\em Random Operators and Stochastic Equations},
%11:297--305.
%
%\bibitem[Nelson, 1984]{Nelson1984}
%Nelson, F.D. (1984).
%\newblock Efficiency of the two-step estimator for models with endogenous sample selection.
%\newblock {\em Journal of Econometrics}, 24:181--196.
%
%\bibitem[Ogundimu and Hutton, 2016]{Ogundimu_2016}
%Ogundimu, E.O. and Hutton, J.L. (2016).
%\newblock A sample selection model with skew-normal distribution.
%\newblock {\em Scandinavian Journal of Statistics}, 43:172--190.
%
%\bibitem[Paarsch, 1984]{Paarsch1984}
%Paarsch, H.J. (1984).
%\newblock A Monte Carlo comparison of estimators for censored regression models.
%\newblock {\em Journal of Econometrics}, 24:197--213.
%\bibitem[Polyanin and Manzhirov, 2008]{Polyanin2008}
%Polyanin, P. and Manzhirov, A.V. (2008).
%Handbook of Integral Equations.
%Second Edition.
%{Chapman and Hall/CRC}, New York.
%\bibitem[Popoviciu, 1935]{Popoviciu1935}
%Popoviciu, T. (1935).
%Sur les équations algébriques ayant toutes leurs racines réelles.
%{\em Mathematica (Cluj)}.
%9:129--145.
%
%\bibitem[{R Core Team}, 2022]{rmanual}
%{R Core Team} (2022).
%\newblock {\em R: A Language and Environment for Statistical Computing}.
%\newblock R Foundation for Statistical Computing, Vienna, Austria.
%
%%%%%%%%
%\bibitem[Saulo et~al., 2022]{svcl:22}
%Saulo, H., Vila, R., Cordeiro, S.S. and Leiva, V. (2022).
%\newblock Bivariate symmetric Heckman models and their characterization.
%\newblock {\em Journal of Multivariate Analysis}, 105097.
%% \url{https://doi.org/10.1016/j.jmva.2022.105097}.
%
\bibitem[Reyes et al., 2023]{Reyes23}
Reyes, J., Rojas, M.A., Cortés, P. and Arrué, J. (2023).
A new more flexible class of distributions on $(0,1)$: Properties and applications to univariate data and quantile regression.
Symmetry, 15:267.
\bibitem[Schwarz, 2005]{Schwarz05}
Schwarz, J. H. (2005).
The generalized Stieltjes transform and its inverse.
{Journal of Mathematical Physics}, 46(1):013501.
%\bibitem[Stolzenberg and Relles, 1990]{Stolzenberg1990}
%Stolzenberg, R.M. and Relles, D.A. (1990).
%\newblock Theory testing in a world of constrained research design: The significance of Heckman's censored sampling bias correction for nonexperimental research.
%\newblock {\em Sociological Methods and Research}, 18:395--415.
%
%\bibitem[Therneau et~al., 1990]{tgf:90}
%Therneau, T., Grambsch, P., and Fleming, T. (1990).
%\newblock {Martingale-based residuals for survival models}.
%\newblock {\em Biometrika}, 77:147--160.
%
%\bibitem[Vernic, 2005]{Vernic:05}
%Vernic, R. (2005).
%\newblock {On the multivariate Skew-Normal distribution and its scale mixtures}
%\newblock {\em An. \c{S}t. Univ. Ovidius Constan\c{t}a}, 13:83--96.
\bibitem[Vila et al., 2022]{Vila:22}
Vila, R., Alfaia, L., Menezes, A.F.B., Çankaya, M.N. and Bourguignon, M. (2022).
A model for bimodal rates and proportions.
Journal of Applied Statistics,
\url{https://doi.org/10.1080/02664763.2022.2146661}.
%
%\bibitem[Wang et~al., 1990]{wbg:04}
%Wang, J., Boyer, J. and Genton, M. G. (2004).
%\newblock {A skew-symmetric representation of multivariate distributions}.
%\newblock {\em Statistica Sinica}, 14:1259--1270.
%
%\bibitem[Wang and Genton, 2006]{wg:06}
%Wang, J. and Genton, M. G. (2006).
%\newblock {The multivariate skew-slash distribution}.
%\newblock {\em Journal of Statistical Planning and Inference}, 136:209--220.
%
%\bibitem[Weisberg, 2014]{weisberg:14}
%Weisberg, S. (2014).
%\newblock {\em Applied Linear Regression}.
%\newblock Wiley Hoboken, New Jersey, USA.
\end{thebibliography}
\begin{appendices}
\section{A technical result}
%\section*{A technical result}
\noindent
\begin{proposition}\label{prop-app-1}
The following identity holds true:
\begin{align*}
\mathcal{L}^{-1}\left\{{s^a\over (1+s)^b}\right\}(t)
=
{1\over \Gamma(b-a)}\, t^{b-a-1}\, _1F_1(b; b-a; -t), \quad b>a.
\end{align*}
\end{proposition}
\begin{proof}
Upon using the identity
\begin{align*}%\label{id-F1}
&_1F_1(a; c; z)={\Gamma(c)\over \Gamma(a)}\, \sum_{n=0}^{\infty} {\Gamma(a+n)\over \Gamma(c+n)}\, {z^n\over n!},
% \\[0,2cm]
% &_1F_1(a; c; -z)=\exp(-z)\, _1F_1(c-a; c; z),
\end{align*}
we can write (for $b>a$)
\begin{align*}
{1\over \Gamma(b-a)}\, t^{b-a-1}\, _1F_1(b; b-a; -t)
=
% {1\over \Gamma(b-a)}\, t^{b-a-1}\, \exp(-t)\, _1F_1(-a; b-a; t).
{1\over \Gamma(b)}\, \sum_{n=0}^{\infty} {\Gamma(b+n)\over \Gamma(b-a+n)}\, {(-1)^n\over n!}\, {t^{n+b-a-1}}.
\end{align*}
Then, by using Fubini/Tonelli theorem,
\begin{align}
\mathcal{L}\left\{
{1\over \Gamma(b-a)}\, t^{b-a-1}\, _1F_1(b; b-a; -t)
\right\}
&=
{1\over \Gamma(b)}\, \sum_{n=0}^{\infty} {\Gamma(b+n)\over \Gamma(b-a+n)}\, {(-1)^n\over n!}\, \mathcal{L}\left\{t^{n+b-a-1}\right\}(s) \nonumber
\\[0,2cm]
&=
s^{a-b}\,
{1\over \Gamma(b)}\, \sum_{n=0}^{\infty} {\Gamma(b+n)}\, {(-1)^n\over n!} \,
{1\over s^{n}}, \label{identity-gamma}
\end{align}
because $\mathcal{L}\{t^p\}(s)=\Gamma(p+1)/s^{p+1}$, $p>-1$. By combining the identity
\begin{align*}
\sum_{n=0}^{\infty} {\Gamma(b+n)}\, {(-1)^n\over n!} \,
{1\over s^{n}}
=
\left({s\over s+1}\right)^b \Gamma(b)
\end{align*}
with \eqref{identity-gamma}, the required result follows.
\end{proof}
\section{Proofs of the theorems}
\subsection*{Proof of Theorem 1}
\noindent
Using the independence of $X$ and $Y$, from \eqref{main-id} and \eqref{decomp-pdf-Y}, it is simple to verify that the PDF of $Z$ can be expressed as
%\begin{align*}
%F_Z(z)
%=
%\int_0^\infty f_X(x) S_Y\left(\left({1\over z}-1\right)x\right) {\rm d}x,
%\end{align*}
\begin{align*}
f_Z(z)
=
(s+1)^2
\int_0^\infty x f_X(x) f_Y(sx) {\rm d}x,
\quad {\mbox{where}}\ s={1\over z}-1.
\end{align*}
%Since $f_Y(sx)=A(s) B(x) C(sx)$, the above identity becomes
%\begin{align}
%f_Z(z)
%=
%A(s) (s+1)^2
%\int_0^\infty x B(x) f_X(x) C(sx) {\rm d}x. \label{id-0}
%\end{align}
By using \eqref{decomp-pdf-Y}, the above identity can be equivalently written as
\begin{align}\label{fZ-density}
{1\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
=
\int_0^\infty
x \mathbbm{B}(x) f_X(x)
\mathbbm{C}(sx)
{\rm d}x.
\end{align}
From \eqref{decomp-pdf-Y-0-6}, the above equation becomes
%
%
% By combining the decomposition in \eqref{decomp-pdf-Y} with \eqref{decomp-pdf-Y-0-6},
% from identity \eqref{fZ-density} we have
\begin{align*}
{1\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
&=
\int_0^\infty
x \mathbbm{B}(x) f_X(x)
\exp(-\lambda s^\theta x^\theta)
{\rm d}x.
\end{align*}
Making the change of variable $y=x^\theta$, with ${\rm d}x=[y^{(1/\theta)-1}/\theta] {\rm d}y$, the above improper integral is
\begin{align*}
&=
{1\over\theta}
\int_0^\infty
y^{(2/\theta)-1} \mathbbm{B}(y^{1/\theta}) f_X(y^{1/\theta})
\exp(-\lambda s^\theta y)
{\rm d}y \nonumber
\\[0,2cm]
&=
{1\over\theta}\,
\mathcal{L}\left\{
y^{(2/\theta)-1}\mathbbm{B}(y^{1/\theta}) f_X(y^{1/\theta})
\right\}(\lambda s^\theta)
\\[0,2cm]
&=
{1\over\lambda\theta}\,
\mathcal{L}\left\{\left({y\over\lambda}\right)^{(2/\theta)-1} \mathbbm{B}\left(\left({y\over\lambda}\right)^{1/\theta}\right)
f_X\left(\left({y\over\lambda}\right)^{1/\theta}\right)
\right\}(s^\theta),
\end{align*}
where, in the last line, we have used the scale change property of $\mathcal{L}$. Hence,
\begin{align*}
{\lambda\theta\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
=
\mathcal{L}\left\{\left({y\over\lambda}\right)^{(2/\theta)-1} \mathbbm{B}\left(\left({y\over\lambda}\right)^{1/\theta}\right)
f_X\left(\left({y\over\lambda}\right)^{1/\theta}\right) \right\}(s^\theta).
\end{align*}
Now, by applying the inverse Laplace transform to both sides of the above equation, we obtain
\begin{align*}
\left({y\over\lambda}\right)^{(2/\theta)-1} \mathbbm{B}\left(\left({y\over\lambda}\right)^{1/\theta}\right)
f_X\left(\left({y\over\lambda}\right)^{1/\theta}\right)
=
\mathcal{L}^{-1}\left\{ {\lambda\theta\over \mathbbm{A}(s^{1/\theta}) (s^{1/\theta}+1)^2}\,
f_Z\left({1\over s^{1/\theta}+1}\right)\right\}(y).
\end{align*}
Setting $x=({y/\lambda})^{1/\theta}$ and making simple algebraic manipulations, the proof follows.
\subsection*{Proof of Theorem 2}
\noindent
By combining the decomposition in \eqref{decomp-pdf-Y} with \eqref{decomp-pdf-Y-0-7}, and using the
identity \eqref{fZ-density}, we obtain
\begin{align*}
{1\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
&=
\int_0^\infty
x \mathbbm{B}(x) f_X(x) (p+qsx)
\exp(-\lambda s x)
{\rm d}x
\\[0,2cm]
&=
p
\mathcal{L}\left\{
x \mathbbm{B}(x) f_X(x)
\right\}(\lambda s)
+
qs
\mathcal{L}\left\{
x^2 \mathbbm{B}(x) f_X(x)
\right\}(\lambda s).
%\\[0,2cm]
%&=
%{p\over\lambda}\,
%\mathcal{L}\left\{
%\dfrac{x}{\lambda} \, B\left(\dfrac{x}{\lambda}\right) f_X\left(\dfrac{x}{\lambda}\right)
%\right\}(s)
%+
%{q\over\lambda}\,
%s
%\mathcal{L}\left\{
%\left(\dfrac{x}{\lambda}\right)^2 B\left(\dfrac{x}{\lambda}\right) f_X\left(\dfrac{x}{\lambda}\right)
%\right\}(s),
\end{align*}
%where in the last equality we used the scale change property of $\mathcal{L}$. That is,
%\begin{align*}
%{\lambda\over A(s) (s+1)^2}\,
%f_Z\left({1\over s+1}\right)
%=
%{p}
%\mathcal{L}\left\{
%\dfrac{x}{\lambda} \, B\left(\dfrac{x}{\lambda}\right) f_X\left(\dfrac{x}{\lambda}\right)
%\right\}(s)
%+
%{q}
%s
%\mathcal{L}\left\{
%\left(\dfrac{x}{\lambda}\right)^2 B\left(\dfrac{x}{\lambda}\right) f_X\left(\dfrac{x}{\lambda}\right)
%\right\}(s)
%\end{align*}
Now, by applying the inverse Laplace transform on both sides of the above equality and using the well-known property, that
\begin{align}\label{property-inv-Laplace}
\mathcal{L}^{-1}\{s\mathcal{L}\{g(x)\}(s)\}(x)= g'(x),
\end{align}
we obtain
\begin{multline*}
\mathcal{L}^{-1}\left\{
{\lambda^2\over \mathbbm{A}\left(\dfrac{s}{\lambda}\right) (s+\lambda)^2}\,
f_Z\left({\lambda\over s+\lambda}\right)
\right\}(x)
=
{p}
x \mathbbm{B}(x) f_X(x)
+
{q\over\lambda}\,
[x^2 \mathbbm{B}(x) f_X(x)]'
\\[0,2cm]
=
\left[
\left(p+{2q\over\lambda}\right)
x \mathbbm{B}(x)
+
{q\over\lambda}\,x^2 \mathbbm{B}'(x)
\right]
f_X(x)
+
{q\over\lambda}\,
x^2 \mathbbm{B}(x) f_X'(x);
\end{multline*}
equivalently,
\begin{align}\label{eq-1o-order}
f_X'(x)+P(x)f_X(x)=Q(x),
\end{align}
where
\begin{align*}
P(x)
=
\displaystyle
\left({\lambda p\over q}+2\right) {1\over x}
+
{\mathbbm{B}'(x)\over \mathbbm{B}(x)},
\quad
Q(x)=
{\lambda^3\over qx^2 \mathbbm{B}(x)}\,
\mathcal{L}^{-1}\left\{
{1\over \mathbbm{A}\left(\dfrac{s}{\lambda}\right) (s+\lambda)^2}\,
f_Z\left({\lambda\over s+\lambda}\right)
\right\}(x).
\end{align*}
Observe that Eq. \eqref{eq-1o-order} is a first-order non-homogeneous linear differential equation of type $y'+p(t)y=q(t)$, $t>0$, whose solution (by method of integrating factor), well-known in the field of differential equations, can be given as
$y(t)=\exp(-\int p(t){\rm d}t) [\int_{-\infty}^t \exp(\int p(s){\rm d}s) q(s){\rm d}s+{\rm const}]$, with const$=[\exp(\int p(t){\rm d}t) y(t)]\vert_{t=0^{+}}$. Hence, for $x>0$, we have
\begin{align*}
f_X(x)
&=
\exp\left(-\int P(x){\rm d}x\right)
\left[
\int_0^x \exp\left(\int P(\xi){\rm d}\xi\right) Q(\xi){\rm d}\xi
+
{\rm const}
\right]
\\[0,2cm]
&=
{1\over x^{(\lambda p/ q)+2} \mathbbm{B}(x)}
\left[
\int_0^x
\xi^{(\lambda p/ q)+2} \mathbbm{B}(\xi) Q(\xi){\rm d}\xi
+
{\rm const}
\right]
\\[0,2cm]
&=
{1\over x^{(\lambda p/ q)+2} \mathbbm{B}(x)}
\left[
{\lambda^3\over q}
\int_0^x
\xi^{\lambda p/ q}
\mathcal{L}^{-1}\left\{
{1\over \mathbbm{A}\left(\dfrac{s}{\lambda}\right) (s+\lambda)^2}\,
f_Z\left({\lambda\over s+\lambda}\right)
\right\}(\xi)
{\rm d}\xi
+
{\rm const}
\right],
\end{align*}
where const$=[x^{(\lambda p/ q)+2} \mathbbm{B}(x) f_X(x)]\vert_{x=0^+}$.
%
%
%\begin{align*}
% \exp\left(\int P(x){\rm d}x\right)
% =
% \exp\left( \left({\lambda p\over q}+2\right) \log(x)
% +
% \log[B(x)] \right)
% =
% x^{(\lambda p/ q)+2} B(x)
%\end{align*}
From the above identity, the proof follows.
\subsection*{Proof of Theorem 3}
\noindent
\begin{proof}
From \eqref{decomp-pdf-Y-1} and \eqref{decomp-pdf-Y}, we have
\begin{align}\label{decomp-pdf-Y-2}
f_Y(sx)
=
\mathbbm{A}(s) \mathbbm{B}(x) \mathbbm{C}(sx)
=
{1\over (\theta s)^p}\, \mathbbm{A}(s) \mathbbm{B}(x) \left({1\over \theta s}+x\right)^{-p}, \quad x, s>0.
\end{align}
Now, by combining the identities in \eqref{fZ-density} and \eqref{decomp-pdf-Y-2}, we obtain
\begin{align*}
{ (\theta s)^p\over \mathbbm{A}(s) (s+1)^2}\,
f_Z\left({1\over s+1}\right)
&=
\int_0^\infty
x \mathbbm{B}(x) f_X(x)
\left({1\over \theta s}+x\right)^{-p}
{\rm d}x
\\[0,2cm]
&=
\mathcal{G}_p\{x \mathbbm{B}(x) f_X(x) \}\left({1\over \theta s}\right).
\end{align*}
Applying the inverse generalized Stieltjes transform on both sides of the above equality, the proof of the required identity readily follows.
%
%
%\begin{align*}%\label{id-0}
%f_Z(z)
%=
%{1\over (\theta s)^p}\, A(s) (s+1)^2
%\int_0^\infty x B(x) f_X(x) \left({1\over \theta s}+x\right)^{-p} {\rm d}x,
%\ \ {\mbox{where}}\ \ s={1\over z}-1.
%\end{align*}
%Equivalently,
%\begin{align*}
%{(\theta s)^p\over A(s) (s+1)^2}\,
%f_Z\left({1\over s+1}\right)
%&=
%\int_0^\infty x B(x) f_X(x) \left({1\over \theta s}+x\right)^{-p} {\rm d}x
%\\[0,2cm]
%&=
%\mathcal{G}_p\{x B(x) f_X(x) \}\left({1\over \theta s}\right),
%\end{align*}
%where $\mathcal{G}_p$ is the generalized Stieltjes transform \citep{Schwarz05}. Using the formula (23) of \cite{Schwarz05}, the above expression is
%\begin{align*}
% ={1\over \Gamma(p)} \,
% \mathcal{L}\big\{t^{p-1} \mathcal{L}\{x B(x) f_X(x)\}(t)\big\}\left({1\over \theta s}\right).
%\end{align*}
%Therefore,
%\begin{align*}
%{\Gamma(p)(\theta s)^p\over A(s) (s+1)^2}\,
%f_Z\left({1\over s+1}\right)
%=
%\mathcal{L}\big\{t^{p-1} \mathcal{L}\{x B(x) f_X(x)\}(t)\big\}\left({1\over \theta s}\right).
%\end{align*}
%Taking the inverse Laplace transform on both sides of the above equality, we obtain
%\begin{align*}
%x B(x) f_X(x)
%=
%\Gamma(p)
% \mathcal{L}^{-1}\left\{
%t^{1-p}
%\mathcal{L}^{-1}\left\{
%{1\over s^{p} A\left(\dfrac{1}{\theta s}\right) }
%\left({\theta s\over 1+\theta s}\right)^2
%f_Z\left({\theta s\over 1+ \theta s}\right)
%\right\}(t)
%\right\}(x).
%\end{align*}
%This completes the proof.
\end{proof}
\end{appendices}
\end{document}