\section*{Abstract}\label{abstract}}
\addcontentsline{toc}{section}{Abstract}

\singlespacing

Treatment effects are often anticipated to vary across groups of patients with
different baseline risk. The Predictive Approaches to Treatment Effect
Heterogeneity (PATH) statement focused on baseline risk as a robust predictor of
treatment effect and provided guidance on risk-based assessment of treatment
effect heterogeneity in the RCT setting. The aim of this study was to extend
this approach to the observational setting using a standardised scalable
framework. The proposed framework consists of five steps: 1) definition of the
research aim, i.e., the population, the treatment, the comparator and the
outcome(s) of interest; 2) identification of relevant databases; 3) development
of a prediction model for the outcome(s) of interest; 4) estimation of relative
and absolute treatment effect within strata of predicted risk, after adjusting
for observed confounding; 5) presentation of the results. We demonstrate our
framework by evaluating heterogeneity of the effect of angiotensin-converting
enzyme (ACE) inhibitors versus beta blockers on three efficacy and six safety
outcomes across three observational databases. The proposed framework can
supplement any comparative effectiveness study. We provide a publicly available
R software package for applying this framework to any database mapped to the
Observational Medical Outcomes Partnership Common Data Model. In our
demonstration, patients at low risk of acute myocardial infarction received
negligible absolute benefits for all three efficacy outcomes, though they were
more pronounced in the highest risk quarter, especially for hospitalisation with
heart failure. However, failing diagnostics showed evidence of residual
imbalances even after adjustment for observed confounding. Our framework allows
for the evaluation of differential treatment effects across risk strata, which
offers the opportunity to consider the benefit-harm trade-off between
alternative treatments. It is easily applicable and highly informative whenever
treatment effect estimation in observational data is of interest.

\vspace{10mm}

\textbf{Keywords}: observational data, heterogeneity of treatment effect, risk stratification, subgroup analysis
\newpage

\hypertarget{introduction}{%
\section{INTRODUCTION}\label{introduction}}

Treatment effects can often vary substantially across individual patients,
causing overall effect estimates to be inaccurate for a significant proportion
of the patients at hand\textsuperscript{1,2}. Understanding
heterogeneity of treatment effects (HTE) has been crucial for both personalized
(or precision) medicine and comparative effectiveness research, giving rise to a
wide range of approaches for its discovery, evaluation and application in
clinical practice. A common approach to evaluating HTE in clinical trials is
through subgroup analyses, which are rarely adequately powered and can lead to
false conclusions of absence of HTE or exaggerate its presence\textsuperscript{3,4}. In addition, patients differ with regard to multiple
characteristics simulatneously, resulting in much richer HTE compared to the one
explored with regular on-variable-at-a-time subgroup analyses {[}Kent, BMJ 2018{]}.

Baseline risk is a summary score inherently related to treatment effect that
can represent more closely the variability in patient characteristics\textsuperscript{3,5--8}. For example, an
invasive coronary procedure---in comparison with medical treatment---improves
survival in patients with myocardial infarction at high (predicted) baseline
risk but not in those at low baseline risk\textsuperscript{9}. It has also been shown
that high-risk patients with pre-diabetes benefit substantially more from a
lifestyle modification program than low-risk patients\textsuperscript{10}.

Recently, systematic guidance on the application of risk-based methods for the
assessment of HTE has been developed for RCT data\textsuperscript{11,12}. After
risk-stratifying patients using an existing or an internally derived prediction
model, risk stratum-specific estimates of relative and absolute treatment effect
are evaluated. Several methods for predictive HTE analysis have been adapted for
use in observational data, but risk-based methods are still not readily
available and have been highlighted as an important future research need\textsuperscript{12}.

The Observational Health Data Science and Informatics (OHDSI) collaborative has
established a global network of data partners and researchers that aim to bring
out the value of health data through large-scale analytics by mapping local
databases to the Observational Medical Outcomes Partnership (OMOP) Common Data
Model (CDM)\textsuperscript{13,14}. A standardized framework
applying current best practices for comparative effectiveness studies within the
OHDSI setting has been proposed\textsuperscript{15}. This framework was successfully
implemented on a large scale for estimation of average effects of all first-line
hypertension treatment classes on a total of 52 outcomes of interest across a
global network of nine observational databases\textsuperscript{16}.

We aimed to develop a framework for risk-based assessment of treatment effect
heterogeneity in observational healthcare databases, extending the existing
methodology developed for the RCT setting. We implemented the framework in a
publicly available package providing an out-of-the-box solution for implementing
such analyses at scale within any observational database mapped to OMOP-CDM. In
a case study we analyzed heterogeneity of the effects of first-line hypertension
treatment.

\hypertarget{results}{%
\section{RESULTS}\label{results}}

The proposed framework defines 5 distinct steps: 1) definition of the research
aim; 2) identification of the databases within which the analyses will be
performed; 3) prediction of outcomes of interest; 4) estimation of absolute and
relative treatment effects within risk strata; 5) presentation of the
results. We developed an open-source R-package for the implementation of the
proposed framework and made it publicly available
(\url{https://github.com/OHDSI/RiskStratifiedEstimation}). An overview of the entire
framework can be found in Figure \ref{fig:graphicalAbstract}.

\begin{figure}
\includegraphics[width=1\linewidth]{rsee_process} \caption{\textbf{Framework execution diagram}. Illustration of how the framework is applied on two observational databases, preferably mapped to OMOP-CDM.}\label{fig:graphicalAbstract}
\end{figure}

As a demonstration, we evaluated if our proposed method was able to identify
treatment effect heterogeneity of ACE inhibitors compared to beta blockers using
acute myocardial infarction (MI) risk quarter specific effect estimates, both on
the relative and on the absolute scale. We focused on three efficacy outcomes
(acute MI, hospitalization with heart failure and ischemic or hemorrhagic
stroke) and six safety outcomes (hypokalemia, hyperkalemia, hypotension,
angioedema, cough and abnormal weight gain). We used data from three US-based
claims databases.

\hypertarget{step-1-general-definition-of-the-research-aim}{%
\subsection{Step 1: General definition of the research aim}\label{step-1-general-definition-of-the-research-aim}}

We considered the following research aim: ``compare the effect of ACE inhibitors
(\(T\)) to the effect of beta blockers (\(C\)) in patients with established hypertension
with respect to nine outcomes (\(O_1,\dots,O_9\))''. The cohorts are:

\begin{itemize}
\tightlist
\item
  Treatment cohort: Patients receiving any drug within the ACE inhibitor class
  with at least one year of follow-up before treatment initiation and a recorded
  hypertension diagnosis within that year.
\item
  Comparator cohort: Patients receiving any drug within the beta blocker class
  with at least one year of follow-up before treatment initiation and a recorded
  hypertension diagnosis within that year.
\item
  Outcome cohorts: We considered three efficacy and six safety outcome cohorts. These
  were patients in the database with a diagnosis of: acute MI; hospitalization
  with heart failure; ischemic or hemorrhagic stroke (efficacy outcomes);
  hypokalemia; hyperkalemia; hypotension; angioedema; cough; abnormal weight
  gain (safety outcomes). Among the safety outcomes we focus on angioedema and
  cough which are two known adverse events linked to treatment with ACE
  inhibitors\textsuperscript{17}. Results on the rest of the safety outcomes
  are included in the supplement.
\end{itemize}

All cohort definitions were identical to the ones used in the multinational
study that provided overall treatment effect estimates comparing all
anti-hypertensive drug classes with each other\textsuperscript{16}. More information
can be found in the supplementary material.

\hypertarget{step-2-identification-of-the-databases}{%
\subsection{Step 2: Identification of the databases}\label{step-2-identification-of-the-databases}}

For our demonstration we used data from three US claims databases, namely IBM
MarketScan Commercial Claims and Encounters (CCAE), IBM MarketScan Medicaid
(MDCD), and IBM MarketScan Medicare Supplemental Beneficiaries (MDCR). Our
analyses included a total of
924,459,
107,046, and
106,905
patients initiating treatment with ACE inhibitors and
465,763,
76,546, and
73,213
patients initiating treatment with beta blockers in CCAE, MDCD and MDCR
respectively (Table \ref{tab:incidenceOverall}). Adequate numbers of patients
were included in all strata of predicted acute MI risk (Supplementary Tables
S1-S3).

\begingroup\fontsize{7}{9}\selectfont

\begin{longtable}[t]{llrrrrr}
\caption{\label{tab:incidenceOverall}Number of patients, person years and events within quarters of predicted risk for acute MI for the three efficacy outcomes of the study (acute MI, hospitalization with heart failure and ischemic or hemorrhagic stroke) across the three databases.}\\
\toprule
\multicolumn{1}{c}{ } & \multicolumn{3}{c}{ACE inhibitors} & \multicolumn{3}{c}{Beta blockers} \\
\cmidrule(l{3pt}r{3pt}){2-4} \cmidrule(l{3pt}r{3pt}){5-7}
Outcome & Patients & Person years & Outcomes & Patients & Person years & Outcomes\\
\midrule
\addlinespace[0.3em]
\multicolumn{7}{l}{\textbf{CCAE}}\\
\hspace{1em}acute myocardial infarction & 924,196 & 1,327,973 & 4,102 & 457,375 & 648,612 & 2,492\\
\hspace{1em}hospitalization with heart failure & 924,459 & 1,328,430 & 3,764 & 465,763 & 660,580 & 3,711\\
\hspace{1em}stroke & 917,501 & 1,319,236 & 3,741 & 464,989 & 659,472 & 2,454\\
\addlinespace[0.3em]
\multicolumn{7}{l}{\textbf{MDCD}}\\
\hspace{1em}acute myocardial infarction & 107,046 & 162,590 & 1,448 & 76,307 & 112,767 & 1,361\\
\hspace{1em}hospitalization with heart failure & 105,544 & 160,237 & 2,819 & 74,649 & 110,455 & 3,005\\
\hspace{1em}stroke & 104,953 & 159,344 & 1,799 & 76,546 & 113,048 & 1,623\\
\addlinespace[0.3em]
\multicolumn{7}{l}{\textbf{MDCR}}\\
\hspace{1em}acute myocardial infarction & 106,905 & 163,260 & 1,764 & 72,733 & 110,821 & 1,480\\
\hspace{1em}hospitalization with heart failure & 106,191 & 162,258 & 3,004 & 73,182 & 111,710 & 3,592\\
\hspace{1em}stroke & 103,531 & 158,369 & 2,323 & 73,213 & 111,613 & 2,241\\
\bottomrule
\end{longtable}
\endgroup{}

\hypertarget{step-3-prediction}{%
\subsection{Step 3: Prediction}\label{step-3-prediction}}

We internally developed separate prediction models for acute MI in all three
databases. The prediction models were estimated on the propensity score matched
(1:1) subset of the sample, using caliper of
0.2
and after excluding patients having the outcome any time prior to treatment
initiation. We chose a 2-year time at risk for patients and developed the
prediction models using LASSO logistic regression with 3-fold cross validation
for hyper-parameter selection.

The models had moderate discriminative performance (internally validated) with
no major issues of overfitting to any cohort except for the case of CCAE, where
the derived prediction model performed better in the comparator cohort (Table
\ref{tab:predictionPerformance}). We also observed lower performance of the
prediction model developed in MDCR compared to the other 2 databases.

\begingroup\fontsize{7}{9}\selectfont

\begin{longtable}[t]{lrrr}
\caption{\label{tab:predictionPerformance}Discriminative ability (c-statistic) of the derived prediction models for acute myocardial infarction in the matched set (development set), the treatment cohort, the comparator cohort and the entire population in CCAE, MDCD and MDCR.}\\
\toprule
Population & CCAE & MDCD & MDCR\\
\midrule
Matched & 0.73 (0.72, 0.74) & 0.78 (0.77, 0.79) & 0.66 (0.65, 0.68)\\
Treatment & 0.69 (0.68, 0.70) & 0.76 (0.75, 0.77) & 0.65 (0.63, 0.66)\\
Comparator & 0.77 (0.76, 0.78) & 0.82 (0.81, 0.82) & 0.64 (0.63, 0.66)\\
Entire population & 0.72 (0.71, 0.73) & 0.79 (0.78, 0.80) & 0.65 (0.64, 0.66)\\
\bottomrule
\end{longtable}
\endgroup{}

\hypertarget{step-4-estimation}{%
\subsection{Step 4: Estimation}\label{step-4-estimation}}

We used patient-level predictions to stratify the sample into four acute MI risk
quarters. Within risk quarters, relative effects were estimated using Cox
regression and absolute effects were derived from the Kaplan-Meier estimate
differences at two years after treatment initiation. To adjust for observed
confounding within each risk quarter, we estimated propensity scores using the
same approach as step 3 and stratified patients into five propensity score
strata. The risk quarter-specific effect estimates were derived by averaging
over the estimates within the propensity score fifths.

In the lowest acute MI risk quarter of CCAE and MDCD we observed strong
separation of the propensity score distributions, therefore, effect estimates
derived in these strata are not well-supported (Figure
\ref{fig:psDensity}). This problematic behavior is also visible in the covariate
balance plots comparing standardized mean differences of patient characteristics
before and afrer PS adjustment, where in many cases the commonly accepted bound
of
0.1
is violated (Figure \ref{fig:covariateBalance}). This is more pronounced in the
lowest acute MI risk quarter of CCAE, but remains an issue for a small number of
covariates in all CCAE risk strata. This diagnostic also fails for the two lower
acute MI risk quarters of MDCD. Often the persisting imbalances were linked to
pregnancy outcomes, which can be explained by the contraindication of ACE
inhibitors in this condition. Analyses in MDCR passed all diagnostics.

\begin{figure}
\includegraphics[width=1\linewidth]{psDensity-1} \caption{\textbf{Preference score distributions in quarters of predicted acute MI risk}. The preference score is a transformation of the propensity score that adjusts for prevalence differences between populations. Higher overlap of the preference score distributions indicates that patients in the target and the comparator cohorts are more similar in terms of the predicted probability of receiving treatment (ACE inhibitors).}\label{fig:psDensity}
\end{figure}

\begin{figure}
\includegraphics[width=1\linewidth]{covariateBalance-1} \caption{\textbf{Patient characteristic balance for ACE inhibitors and beta blockers before and after stratification on the propensity scores}. Each dot represents the standardized difference of means for a single covariate before (x-axis) and after (y-axis) stratification. A commonly used rule of thumb suggests that standardized mean differences above 0.1 indicate insufficient covariate balance post propensity score adjustment.}\label{fig:covariateBalance}
\end{figure}

Finally, the distribution of the estimated relative risks with regard to 30
negative control outcomes indicated unresolved confounding within the lowest
acute MI risk quarter of CCAE (Figrue \ref{fig:negativeControls}). Hazard ratios
significantly different than 1 (true effect size) were concentrated in the lower
right part of Figure \ref{fig:negativeControls}: panel Q1. This suggests
significant negative effects of ACE inhibitors compared to beta blockers on
causally unrelated outcomes, pointing at unresolved differences between the two
treatment arms. This was not the case in the other risk quarters of CCAE, or in
any risk quarter of MDCD and MDCR (Supplementary Figures S1-S2).

\begin{figure}
\includegraphics[width=1\linewidth]{negativeControls-1} \caption{\textbf{Systematic error}. Effect size estimates for the negative controls (true hazard ratio = 1). Estimates below the diagonal dashed lines are statistically significant (alpha = 0.05) different from the true effect size. A well-calibrated estimator should have the true effect size within the 95 percent confidence interval 95 percent of times.}\label{fig:negativeControls}
\end{figure}

\hypertarget{step-5-presentation-of-results}{%
\subsection{Step 5: Presentation of results}\label{step-5-presentation-of-results}}

The overall estimated hazard ratios for the main outcomes are presented in
Table \ref{tab:overallTable}. For hospitalization with acute MI there was an increasing trend in
favor ACE inhibitors compared to beta blockers on the relative scale (hazard
ratios decreased) with increasing acute MI risk. More specifically, hazard
ratios decreased from
1.29
(1.00 to
1.68;
95\% CI) and
1.58
(0.78 to
3.28;
95\% CI) to
0.77
(0.71 to
0.83;
95\% CI),
0.84
(0.76 to
0.94;
95\% CI) in CCAE and MDCD respectively (Figure \ref{fig:relative}). In MDCR hazard ratios
increased from
0.93
(0.75 to
1.17;
95\% CI) in the lowest MI risk quarter to
1.03
(0.92 to
1.16;
95\% CI). Relative treatment effect estimates for hospitalization with heart
failure favored ACE inhibitors across all risk strata in all databases. In the
case of stroke in CCAE we found quite constant hazard ratios which became weaker
in the highest risk quarter patients
(0.88
with 95\% CI from
0.80
to
0.96).
In the other two databases no significant relative treatment effects were
observed for stroke. In terms of the safety outcomes, we found an increased ACE inhibitor
risk of cough and angioedema on the relative scale across all risk strata. In
the case of cough, this effect decreased with increasing risk of acute MI---from
1.41
(1.37 to
1.46;
95\% CI),
1.28
(1.18 to
1.38;
95\% CI), and
1.38
(1.29 to
1.48;
95\% CI) to
1.30
(1.26 to
1.34;
95\% CI),
1.06
(1.00 to
1.12;
95\% CI), and
1.11
(1.04 to
1.18;
95\% CI) in CCAE, MDCD, and MDCR, respectively.

\begin{table}[H]

\caption{\label{tab:overallTable}Overall hazard ratios.}
\centering
\begin{tabular}[t]{lrrr}
\toprule
Outcome & CCAE & MDCD & MDCR\\
\midrule
acute myocardial infarction & 0.83 (0.79, 0.88) & 0.87 (0.80, 0.96) & 1.02 (0.94, 1.10)\\
hospitalization with heart failure & 0.66 (0.62, 0.69) & 0.86 (0.81, 0.92) & 0.85 (0.80, 0.90)\\
stroke & 0.88 (0.83, 0.93) & 0.97 (0.90, 1.05) & 0.91 (0.85, 0.97)\\
\bottomrule
\end{tabular}
\end{table}

\begin{figure}
\includegraphics[width=1\linewidth]{relative-1} \caption{\textbf{Overview of heterogeneity of ACE inhibitors treatment on the relative scale (hazard ratios) within strata of predicted risk of acute MI}. Values below 1 favor ACE inhibitors, while values above 1 favor beta blockers.}\label{fig:relative}
\end{figure}

We observed an increasing trend of treatment effect on the absolute scale with
increasing acute MI risk in favor of ACE inhibitors in terms of acute MI in all
databases except for MDCR---from
-0.05\%
(-0.10\% to
-0.005\%;
95\% CI),
-0.04\%
(-0.14\% to
0.05\%;
95\% CI), and
0.08\%
(-0.19\% to
0.34\%;
95\% CI) in the lowest acute MI risk quarter to
0.47\%
(0.31\% to
0.63\%;
95\% CI),
0.93\%
(0.35\% to
1.50\%;
95\% CI), and
-0.39\%
(-0.96\% to
0.18\%;
95\% CI) in the highest acute MI risk quarter in CCAE, MDCD, and MDCR,
respectively (Figure \ref{fig:absolute}). We found no difference on the absolute
scale for stroke across risk strata. Absolute risk differences did not favor ACE
inhibitors compared to beta blockers in terms of cough, even though this effect
again diminished with increasing acute MI risk---from
-3.97\%
(-4.40\% to
-3.54\%;
95\% CI),
-4.54\%
(-6.97\% to
-2.12\%;
95\% CI), and
-3.64\%
(-4.60\% to
-2.68\%;
95\% CI) in the lowest acute MI risk quarter to
-2.57\%
(-3.02\% to
-2.13\%;
95\% CI),
-0.20\%
(-1.58\% to
1.17\%;
95\% CI), and
-1.08\%
(-2.25\% to
0.08\%;
95\% CI) in the highest acute MI risk quarter in CCAE, MDCD, and MDCR,
respectively. In terms of angioedema absolute risk differences were very small
due to the rarity of the outcome.

\begin{figure}
\includegraphics[width=1\linewidth]{absolute-1} \caption{\textbf{Overview of heterogeneity of ACE inhibitors treatment on the absolute scale within strata of predicted risk of acute MI}. Estimates of absolute treatment effect are derived as the difference in Kaplan-Meier estimates at two years after inclusion. Values above 0 favor ACE inhibitors, while values below 0 favor beta blockers.  }\label{fig:absolute}
\end{figure}

The results of all the analyses performed can be accessed and assessed through a
publicly available web application (\url{https://data.ohdsi.org/AceBeta9Outcomes}).

\hypertarget{interpretation}{%
\subsection{Interpretation}\label{interpretation}}

The overall benefits of ACE inhibitors compared to beta blockers for acute MI
and hospitalization with heart failure are driven mainly by the higher acute MI
risk patients in CCAE and MDCD, hence the observed increasing patterns of the
absolute treatment benefits. In MDCR we found no significant overall difference
on the relative scale for acute MI and, cosequently, no differences in acute MI
risk strata were observed on any scale. For heart failure, MDCR patients at the
lower half of acute MI risk had lower absolute benefits compared to the patients
at the upper half. Finally, the small overall relative effect for stroke
resulted in smaller absolute benefits of ACE inhibitors across acute MI risk
strata in all databases.

For patients at lower acute MI risk, the cough and angioedema risk increase
related to treatment with ACE inhibitors may be important factors to consider
for medical decision making, given the small benefits observed for the main
outcomes. However, diagnostics failed in lower risk patients within CCAE and
MDCR which renders these conclusions less dependable.

Note that any conclusions drawn are for demonstration purposes only and should
be interpreted under this very limited setting.

\hypertarget{discussion}{%
\section{DISCUSSION}\label{discussion}}

The major contribution of our work is the development of a risk-based framework
for the assessment of treatment effect heterogeneity in large observational
databases. This fills a gap identified in the literature after the development
of guidelines for performing such analyses in the RCT setting\textsuperscript{11,12}. As an additional contribution we developed the software
for implementing this framework in practice and made it publicly available. We
made our software compatible to databases mapped to OMOP-CDM which allows
researchers to easily implement our framework in a global network of healthcare
databases. In our case study we demonstrated the use of our framework for the
evaluation of treatment effect heterogeneity ACE inhibitors compared to beta
blockers on three efficacy and six safety outcomes. We propose that this framework is
implemented any time treatment effect estimation in high-dimensional
observational data is undertaken.

In recent years several methods for the analysis of treatment effect
heterogeneity have been developed in the RCT setting\textsuperscript{18}. However,
low power and restricted prior knowledge on the mechanisms of variation in
treatment effect are often inherent in RCTs, which are usually adequately
powered only for the analysis of the primary outcome. Observational databases
contain a large amount of information on treatment assignment and outcomes of
interest, while also capturing key patient characteristics. They contain readily
available data on patient subpopulations of interest for which no RCT has
focused before either due to logistical or ethical reasons. However,
observational databases can be susceptible to biases, poorly measured outcomes
and missingness, which may obscure true HTE or falsely introduce it when there
is none\textsuperscript{19}. Therefore, inferences on both overall treatment effect
estimates and HTE need to rely on strong, often unverifiable, assumptions,
despite the advancements and guidance on best practices. However, well-designed
observational studies on average replicate RCT results, even though often
differences in magnitude may occur\textsuperscript{24}. Our
framework is in line with the recently suggested paradigm of high-throughput
observational studies using consistent and standardized methods for improving
reproducibility in observational research\textsuperscript{25}.

Our framework highlights the scale dependency of HTE and how it relates to
baseline risk. Treatment effect is mathematically determined by baseline
risk, if we assume a constant non-zero effect size\textsuperscript{26}. Patients
with low baseline risk can only experience minimal benefits, before their risk
is reduced to zero. In contrast, high risk patients are capable of displaying
much higher absolute benefits. This becomes evident when evaluating the effects
of ACE inhibitors on cough and angioedema, compared to treatment with beta
blockers. Despite the small relative cough risk increase of ACE inhibitors, the
large baseline cough risk resulted in larger absolute risk differences, compared
to the other considered outcomes. Conversely, in the case of angioedema, the
substantial relative risk increase with ACE inhibitors only translated in a
small absolute risk increase due to the quite low baseline angioedema risk.

The application of our framework in the case study is for demonstration purposes
and there are several limitations to its conclusions. First, death could be a
competing risk. We could expand our framework in the future to potentially
support subdistribution hazard ratios and cumulative incidence
reductions. Second, we only used the databases readily available to us and not
all the available databases mapped to OMOP-CDM. Therefore, the generalizability
of our results still needs to be explored in future studies. These studies
should also address the particular aspects of the databases at hand, such as
their sampling frame, the completeness of the data they capture and many others
that were not assessed in our demonstration. Third, we did not to correct for
multiplicity when presenting the results. We are interested in presenting trends
in the data and not detecting the specific subgroups within which a non-null
treatment effect is detected. The implementation of our framework, however,
generates all the relevant output required for a researcher to correct for
multiple testing, if that is required.

In conclusion, the case study demonstrates the feasibility of our framework for
risk-based assessment of treatment effect heterogeneity in large observational
data. It is easily applicable and highly informative whenever treatment effect
estimation in high-dimensional observational data is of interest.

\hypertarget{methods}{%
\section{METHODS}\label{methods}}

\hypertarget{step-1-general-definition-of-the-research-aim-1}{%
\subsection{Step 1: General definition of the research aim}\label{step-1-general-definition-of-the-research-aim-1}}

The typical research aim is: ``to compare the effect of treatment to a comparator
treatment in patients with disease with respect to outcomes \(O_1,\dots,O_n\)''.

We use a comparative cohort design. This means that at least three cohorts of
patients need to be defined at this stage of the framework:

\begin{itemize}
\tightlist
\item
  A single treatment cohort (\(T\)) which includes patients with disease receiving
  the target treatment of interest.
\item
  A single comparator cohort (\(C\)) which includes patients with disease receiving
  the comparator treatment.
\item
  One or more outcome cohorts (\(O_1,\dots,O_n\)) that contain patients
  developing the outcomes of interest
\end{itemize}

\hypertarget{methods2}{%
\subsection{Step 2: Identification of the databases}\label{methods2}}

Including in our analyses multiple databases representing the population of
interest potentially increases the generalizability of results. Furthermore, the
cohorts should preferably have adequate sample size with adequate follow-up time
to ensure precise effect estimation, even within smaller risk strata. Other
relevant issues such as the depth of data capture (the precision at which
measurements, lab tests, conditions are recorded) and the reliability of data
entry should also be considered.

\hypertarget{methods3}{%
\subsection{Step 3: Prediction}\label{methods3}}

Our method relies on adequately separating patients into subgroups based on
their baseline risk for the outcomes of interest. Therefore, a model---either an
existing external model adequately validated on an internally developed
one---assigning patient-level risk is required. For internally developing a risk
prediction model we adopt the standardized framework focused on observational
data that ensures adherence to existing guidelines\textsuperscript{27--29}.

We first need to define a target cohort of patients, i.e.~the set of patients on
whom the prediction model will be developed. In our case, the target cohort is
generated by pooling the already defined treatment and comparator cohorts. We
develop the prediction model on the propensity score-matched (1:1) subset of the
pooled sample to avoid differentially fitting between treatment arms, thus
introducing spurious interactions with treatment\textsuperscript{30,31}. We also need to define a set of patients that
experience the outcome of interest, i.e.~the outcome cohort. Finally, we need to
decide the time frame within which the predictions will be carried out, i.e.~the
patients' time at risk. Subsequently, we can develop the prediction model.

It is important that the prediction models display good discriminative ability
to ensure that risk-based subgroups are accurately defined. A performance
overview of the derived prediction models including discrimination and
calibration both in the propensity score matched subset, the entire sample and
separately for treated and comparator patients should also be reported.

\hypertarget{methods4}{%
\subsection{Step 4: Estimation}\label{methods4}}

We estimate treatment effects (both on the relative and the absolute scale)
within risk strata defined using the prediction model of step 3. We often
consider four risk strata, but fewer or more strata can be considered depending on
the available power for accurately estimating stratum-specific treatment
effects. Effect estimation may be focused on the difference in outcomes for a
randomly selected person from the risk stratum (average treatment effect) or for
a randomly selected person from the treatment cohort within the risk stratum
receiving the treatment under study (average treatment effect on the treated).

Any appropriate method for the analysis of relative and absolute treatment
effects can be considered, as long as the this is done consistently in all risk
strata. Common statistical metrics are odds ratios or hazard ratios for relative
scale estimates and differences in observed proportions or differences in
Kaplan-Meier estimates for absolute scale estimates, depending on the problem at
hand. We estimate propensity scores within risk strata which we then use to
match patients from different treatment cohorts or to stratify them into groups
with similar propensity scores or to weigh each patient's contribution to the
estimation process\textsuperscript{32}.

Prior to analyzing results, it is crucial to ensure that all diagnostics are passed
in all risk strata. The standard diagnostics we carry out include analysis of
the overlap of propensity score distributions and calculation of standardized
mean differences of the covariates before and after propensity score
adjustment. Finally, we use effect estimates for a large set of negative control
outcomes (i.e.~outcomes known to not be related with any of the exposures under
study) to evaluate the presence of residual confounding not accounted for by
propensity score adjustment\textsuperscript{25,33,34}.

\hypertarget{methods5}{%
\subsection{Step 5: Presentation of results}\label{methods5}}

In the presence of a positive treatment effect and a well-discriminating
prediction model we expect an increasing pattern of the differences in the
absolute scale, even if treatment effects remain constant on the relative scale
across risk strata. Due to this scale-dependence of treatment effect
heterogeneity, results should be assessed both on the relative and the absolute
scale.

\hypertarget{data-availability}{%
\section{DATA AVAILABILITY}\label{data-availability}}

The claims data are proprietary and are not publicly accessible due to
restricted user agreement. Database descriptions are available in the
Supplementary Material.

\hypertarget{code-availability}{%
\section{CODE AVAILABILITY}\label{code-availability}}

The source code for the R-package that implements our framework can be found at
\url{https://github.com/OHDSI/RiskStratifiedEstimation}. The code for implementing the
proof of concept study presented here is publicly available at
\url{https://github.com/mi-erasmusmc/AceBeta9Outcomes}.

\newpage

\hypertarget{references}{%
\section{REFERENCES}\label{references}}

\setlength{\parindent}{-0.25in}
\setlength{\leftskip}{0.25in}

\noindent

\hypertarget{refs}{}
\begin{CSLReferences}{0}{0}
\leavevmode\vadjust pre{\hypertarget{ref-Rothwell1995}{}}%
\CSLLeftMargin{1 }%
\CSLRightInline{Rothwell PM. \href{https://doi.org/10.1016/s0140-6736(95)90120-5}{Can overall results of clinical trials be applied to all patients?} \emph{The Lancet} 1995; \textbf{345}: 1616--9.}

\leavevmode\vadjust pre{\hypertarget{ref-KRAVITZ2004}{}}%
\CSLLeftMargin{2 }%
\CSLRightInline{Kravitz RL, Duan N, Braslow J. \href{https://doi.org/10.1111/j.0887-378x.2004.00327.x}{Evidence-based medicine, heterogeneity of treatment effects, and the trouble with averages}. \emph{The Milbank Quarterly} 2004; \textbf{82}: 661--87.}

\leavevmode\vadjust pre{\hypertarget{ref-Hayward2006}{}}%
\CSLLeftMargin{3 }%
\CSLRightInline{Hayward RA, Kent DM, Vijan S, Hofer TP. Multivariable risk prediction can greatly enhance the statistical power of clinical trial subgroup analysis. \emph{{BMC} Medical Research Methodology} 2006; \textbf{6}. DOI:\href{https://doi.org/10.1186/1471-2288-6-18}{10.1186/1471-2288-6-18}.}

\leavevmode\vadjust pre{\hypertarget{ref-Kent2018}{}}%
\CSLLeftMargin{4 }%
\CSLRightInline{Kent DM, Steyerberg E, Klaveren D van. \href{https://doi.org/10.1136/bmj.k4245}{Personalized evidence based medicine: Predictive approaches to heterogeneous treatment effects}. \emph{{Bmj}} 2018; : k4245.}

\leavevmode\vadjust pre{\hypertarget{ref-Rothwell2005}{}}%
\CSLLeftMargin{5 }%
\CSLRightInline{ROTHWELL P, MEHTA Z, HOWARD S, GUTNIKOV S, WARLOW C. \href{https://doi.org/10.1016/s0140-6736(05)70156-2}{From subgroups to individuals: General principles and the example of carotid endarterectomy}. \emph{The Lancet} 2005; \textbf{365}: 256--65.}

\leavevmode\vadjust pre{\hypertarget{ref-Kent2007}{}}%
\CSLLeftMargin{6 }%
\CSLRightInline{Kent DM, Hayward RA. \href{https://doi.org/10.1001/jama.298.10.1209}{Limitations of applying summary results of clinical trials to individual patients}. \emph{{JAMA}} 2007; \textbf{298}: 1209.}

\leavevmode\vadjust pre{\hypertarget{ref-Kent2008}{}}%
\CSLLeftMargin{7 }%
\CSLRightInline{Kent DM, Alsheikh-Ali A, Hayward RA. Competing risk and heterogeneity of treatment effect in clinical trials. \emph{Trials} 2008; \textbf{9}. DOI:\href{https://doi.org/10.1186/1745-6215-9-30}{10.1186/1745-6215-9-30}.}

\leavevmode\vadjust pre{\hypertarget{ref-Kent2010}{}}%
\CSLLeftMargin{8 }%
\CSLRightInline{Kent DM, Rothwell PM, Ioannidis JP, Altman DG, Hayward RA. Assessing and reporting heterogeneity in treatment effects in clinical trials: A proposal. \emph{Trials} 2010; \textbf{11}. DOI:\href{https://doi.org/10.1186/1745-6215-11-85}{10.1186/1745-6215-11-85}.}

\leavevmode\vadjust pre{\hypertarget{ref-Thune2005}{}}%
\CSLLeftMargin{9 }%
\CSLRightInline{Thune JJ, Hoefsten DE, Lindholm MG, \emph{et al.} \href{https://doi.org/10.1161/circulationaha.105.558676}{Simple risk stratification at admission to identify patients with reduced mortality from primary angioplasty}. \emph{Circulation} 2005; \textbf{112}: 2017--21.}

\leavevmode\vadjust pre{\hypertarget{ref-Sussman2015}{}}%
\CSLLeftMargin{10 }%
\CSLRightInline{Sussman JB, Kent DM, Nelson JP, Hayward RA. \href{https://doi.org/10.1136/bmj.h454}{Improving diabetes prevention with benefit based tailored treatment: Risk based reanalysis of diabetes prevention program}. \emph{{BMJ}} 2015; \textbf{350}: h454--4.}

\leavevmode\vadjust pre{\hypertarget{ref-Kent2019}{}}%
\CSLLeftMargin{11 }%
\CSLRightInline{Kent DM, Paulus JK, Klaveren D van, \emph{et al.} \href{https://doi.org/10.7326/m18-3667}{The predictive approaches to treatment effect heterogeneity ({PATH}) statement}. \emph{Annals of Internal Medicine} 2019; \textbf{172}: 35.}

\leavevmode\vadjust pre{\hypertarget{ref-PathEnE}{}}%
\CSLLeftMargin{12 }%
\CSLRightInline{Kent DM, Klaveren D van, Paulus JK, \emph{et al.} \href{https://doi.org/10.7326/m18-3668}{The predictive approaches to treatment effect heterogeneity (PATH) statement: Explanation and elaboration}. \emph{Annals of Internal Medicine} 2020; \textbf{172}: W1--w25.}

\leavevmode\vadjust pre{\hypertarget{ref-hripcsak2015observational}{}}%
\CSLLeftMargin{13 }%
\CSLRightInline{Hripcsak G, Duke JD, Shah NH, \emph{et al.} Observational health data sciences and informatics (OHDSI): Opportunities for observational researchers. \emph{Studies in health technology and informatics} 2015; \textbf{216}: 574.}

\leavevmode\vadjust pre{\hypertarget{ref-Overhage2012}{}}%
\CSLLeftMargin{14 }%
\CSLRightInline{Overhage JM, Ryan PB, Reich CG, Hartzema AG, Stang PE. \href{https://doi.org/10.1136/amiajnl-2011-000376}{Validation of a common data model for active safety surveillance research}. \emph{Journal of the American Medical Informatics Association} 2012; \textbf{19}: 54--60.}

\leavevmode\vadjust pre{\hypertarget{ref-Ryan2013}{}}%
\CSLLeftMargin{15 }%
\CSLRightInline{Ryan PB, Schuemie MJ, Gruber S, Zorych I, Madigan D. \href{https://doi.org/10.1007/s40264-013-0099-6}{Empirical performance of a new user cohort method: Lessons for developing a risk identification and analysis system}. \emph{Drug Safety} 2013; \textbf{36}: 59--72.}

\leavevmode\vadjust pre{\hypertarget{ref-Suchard2019}{}}%
\CSLLeftMargin{16 }%
\CSLRightInline{Suchard MA, Schuemie MJ, Krumholz HM, \emph{et al.} \href{https://doi.org/10.1016/s0140-6736(19)32317-7}{Comprehensive comparative effectiveness and safety of first-line antihypertensive drug classes: A systematic, multinational, large-scale analysis}. \emph{The Lancet} 2019; \textbf{394}: 1816--26.}

\leavevmode\vadjust pre{\hypertarget{ref-Israili1992}{}}%
\CSLLeftMargin{17 }%
\CSLRightInline{Israili ZH. \href{https://doi.org/10.7326/0003-4819-117-3-234}{Cough and angioneurotic edema associated with angiotensin-converting enzyme inhibitor therapy}. \emph{Annals of Internal Medicine} 1992; \textbf{117}: 234.}

\leavevmode\vadjust pre{\hypertarget{ref-Rekkas2020}{}}%
\CSLLeftMargin{18 }%
\CSLRightInline{Rekkas A, Paulus JK, Raman G, \emph{et al.} Predictive approaches to heterogeneous treatment effects: A scoping review. \emph{{BMC} Medical Research Methodology} 2020; \textbf{20}. DOI:\href{https://doi.org/10.1186/s12874-020-01145-1}{10.1186/s12874-020-01145-1}.}

\leavevmode\vadjust pre{\hypertarget{ref-Varadhan2013}{}}%
\CSLLeftMargin{19 }%
\CSLRightInline{Varadhan R, Segal JB, Boyd CM, Wu AW, Weiss CO. \href{https://doi.org/10.1016/j.jclinepi.2013.02.009}{A framework for the analysis of heterogeneity of treatment effect in~patient-centered outcomes research}. \emph{Journal of Clinical Epidemiology} 2013; \textbf{66}: 818--25.}

\leavevmode\vadjust pre{\hypertarget{ref-Concato2000}{}}%
\CSLLeftMargin{20 }%
\CSLRightInline{Concato J, Shah N, Horwitz RI. \href{https://doi.org/10.1056/nejm200006223422507}{Randomized, controlled trials, observational studies, and the hierarchy of research designs}. \emph{New England Journal of Medicine} 2000; \textbf{342}: 1887--92.}

\leavevmode\vadjust pre{\hypertarget{ref-Ioannidis2001}{}}%
\CSLLeftMargin{21 }%
\CSLRightInline{Ioannidis JPA. \href{https://doi.org/10.1001/jama.286.7.821}{Comparison of evidence of treatment effects in randomized and nonrandomized studies}. \emph{{JAMA}} 2001; \textbf{286}: 821.}

\leavevmode\vadjust pre{\hypertarget{ref-Dahabreh2012}{}}%
\CSLLeftMargin{22 }%
\CSLRightInline{Dahabreh IJ, Sheldrick RC, Paulus JK, \emph{et al.} \href{https://doi.org/10.1093/eurheartj/ehs114}{Do observational studies using propensity score methods agree with randomized trials? A systematic comparison of studies on acute coronary syndromes}. \emph{European Heart Journal} 2012; \textbf{33}: 1893--901.}

\leavevmode\vadjust pre{\hypertarget{ref-Franklin2017}{}}%
\CSLLeftMargin{23 }%
\CSLRightInline{Franklin JM, Schneeweiss S. \href{https://doi.org/10.1002/cpt.857}{When and how can real world data analyses substitute for randomized controlled trials?} \emph{Clinical Pharmacology \& Therapeutics} 2017; \textbf{102}: 924--33.}

\leavevmode\vadjust pre{\hypertarget{ref-Anglemyer2014}{}}%
\CSLLeftMargin{24 }%
\CSLRightInline{Anglemyer A, Horvath HT, Bero L. Healthcare outcomes assessed with observational study designs compared with those assessed in randomized trials. \emph{Cochrane Database of Systematic Reviews} 2014; \textbf{2014}. DOI:\href{https://doi.org/10.1002/14651858.mr000034.pub2}{10.1002/14651858.mr000034.pub2}.}

\leavevmode\vadjust pre{\hypertarget{ref-Schuemie2018}{}}%
\CSLLeftMargin{25 }%
\CSLRightInline{Schuemie MJ, Ryan PB, Hripcsak G, Madigan D, Suchard MA. \href{https://doi.org/10.1098/rsta.2017.0356}{Improving reproducibility by using high-throughput observational studies with empirical calibration}. \emph{Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences} 2018; \textbf{376}: 20170356.}

\leavevmode\vadjust pre{\hypertarget{ref-Dahabreh2016}{}}%
\CSLLeftMargin{26 }%
\CSLRightInline{Dahabreh IJ, Hayward R, Kent DM. \href{https://doi.org/10.1093/ije/dyw125}{Using group data to treat individuals: Understanding heterogeneous treatment effects in the age of precision medicine and patient-centred evidence}. \emph{International Journal of Epidemiology} 2016; \textbf{45}: 2184--93.}

\leavevmode\vadjust pre{\hypertarget{ref-Reps2018}{}}%
\CSLLeftMargin{27 }%
\CSLRightInline{Reps JM, Schuemie MJ, Suchard MA, Ryan PB, Rijnbeek PR. \href{https://doi.org/10.1093/jamia/ocy032}{Design and implementation of a standardized framework to generate and evaluate patient-level prediction models using observational healthcare data}. \emph{Journal of the American Medical Informatics Association} 2018; \textbf{25}: 969--75.}

\leavevmode\vadjust pre{\hypertarget{ref-Collins2015}{}}%
\CSLLeftMargin{28 }%
\CSLRightInline{Collins GS, Reitsma JB, Altman DG, Moons K. \href{https://doi.org/10.1186/s12916-014-0241-z}{Transparent reporting of a multivariable prediction model for individual prognosis or diagnosis ({TRIPOD}): The {TRIPOD} statement}. \emph{{BMC} Medicine} 2015; \textbf{13}: 1.}

\leavevmode\vadjust pre{\hypertarget{ref-Moons2015}{}}%
\CSLLeftMargin{29 }%
\CSLRightInline{Moons KGM, Altman DG, Reitsma JB, \emph{et al.} \href{https://doi.org/10.7326/m14-0698}{Transparent reporting of a multivariable prediction model for individual prognosis or diagnosis ({TRIPOD}): Explanation and elaboration}. \emph{Annals of Internal Medicine} 2015; \textbf{162}: W1.}

\leavevmode\vadjust pre{\hypertarget{ref-Burke2014}{}}%
\CSLLeftMargin{30 }%
\CSLRightInline{Burke JF, Hayward RA, Nelson JP, Kent DM. \href{https://doi.org/10.1161/circoutcomes.113.000497}{Using internally developed risk models to assess heterogeneity in treatment effects in clinical trials}. \emph{Circulation: Cardiovascular Quality and Outcomes} 2014; \textbf{7}: 163--9.}

\leavevmode\vadjust pre{\hypertarget{ref-vanKlaveren2019}{}}%
\CSLLeftMargin{31 }%
\CSLRightInline{Klaveren D van, Balan TA, Steyerberg EW, Kent DM. \href{https://doi.org/10.1016/j.jclinepi.2019.05.029}{Models with interactions overestimated heterogeneity of treatment effects and were prone to treatment mistargeting}. \emph{Journal of Clinical Epidemiology} 2019; \textbf{114}: 72--83.}

\leavevmode\vadjust pre{\hypertarget{ref-Austin2011}{}}%
\CSLLeftMargin{32 }%
\CSLRightInline{Austin PC. \href{https://doi.org/10.1080/00273171.2011.568786}{An introduction to propensity score methods for reducing the effects of confounding in observational studies}. \emph{Multivariate Behavioral Research} 2011; \textbf{46}: 399--424.}

\leavevmode\vadjust pre{\hypertarget{ref-Schuemie2014}{}}%
\CSLLeftMargin{33 }%
\CSLRightInline{Schuemie MJ, Ryan PB, DuMouchel W, Suchard MA, Madigan D. \href{https://doi.org/10.1002/sim.5925}{Interpreting observational studies: Why empirical calibration is needed to correct p-values}. \emph{Statistics in Medicine} 2014; \textbf{33}: 209--18.}

\leavevmode\vadjust pre{\hypertarget{ref-Schuemie2571}{}}%
\CSLLeftMargin{34 }%
\CSLRightInline{Schuemie MJ, Hripcsak G, Ryan PB, Madigan D, Suchard MA. \href{https://doi.org/10.1073/pnas.1708282114}{Empirical confidence interval calibration for population-level effect estimation studies in observational healthcare data}. \emph{Proceedings of the National Academy of Sciences} 2018; \textbf{115}: 2571--7.}

\end{CSLReferences}

\setlength{\parindent}{0in}
\setlength{\leftskip}{0in}

\noindent

\newpage

\hypertarget{acknowledgements}{%
\section{ACKNOWLEDGEMENTS}\label{acknowledgements}}

AR and PRR have received funding from the Innovative Medicines Initiative 2
Joint Undertaking (JU) under grant agreement No 80696. The JU receives support
from the European Union's Horizon 2020 research and innovation programme and
EFPIA.

\hypertarget{author-contributions}{%
\section{AUTHOR CONTRIBUTIONS}\label{author-contributions}}

AR, PRR, and DVK conceptualised the study. AR, DVK, EWS, and DMK developed the
methodology. PBR, and PRR acquired the data and AR analysed the data. AR
developed the software and wrote drafted the manuscript, which was critically
reviewed by DVK, PBR, EWS, DMK, and PRR. AR, PBR, and PRR had full access to the
raw data. All authors read and approved the manuscript and had final
responsibility for the decision to submit for publication.

\hypertarget{competing-interests}{%
\section{COMPETING INTERESTS}\label{competing-interests}}

AR and PRR work for a group that received unconditional research grants from
Boehringer-Ingelheim, GSK, Janssen Research \& Development, Novartis, Pfizer,
Yamanouchi, and Servier. None of these grants result in a conflict of interest
for the content of this paper. PBR is an employee of Janssen R\&D, subsidiary of
Johnson \& Johnson. DVK, DMK, EWS have nothing to declare.

\ifarXiv
    \foreach \x in {1,...,\the\pdflastximagepages}
    {
        \clearpage
        \includepdf[pages={\x,{}}]{supplement.pdf}
    }
\fi

\end{document}
\end{document}


\section{Introduction}

One of the most studied classes of functions in the context of Geometric Function Theory is the well known class $S$ of univalent functions $f$ defined in the unit disk, normalized by $f(0)=1-f'(0)=0.$ The investigations of problems associated to the class $S$ and some of its subclasses go back to the works of Koebe, developed at beginning of the last century. Undoubtedly, one of the most important problems in this field was the Bieberbach conjecture, presented in 1916 and solved by de Brange in 1984. Solving this problem had a profound influence in the development of the theory of univalent functions, providing, among other things, powerful methods which have been used to study other problems in Geometric Function Theory. One important question arising in this context is determine the values of $\alpha\in\mathbb{C}$ for which the functions
\begin{equation}\label{int-tipo-1}
\varphi_\alpha(z)=\int_0^z\left(\frac{\varphi(\zeta)}{\zeta}\right)^\alpha d\zeta,\end{equation}
or
\begin{equation}\label{int-tipo-2} \Phi_\alpha(z)=\int_0^z(\varphi'(\zeta))^\alpha d\zeta,
\end{equation}
belong to the class $S,$ when $\varphi$ is a function of this class. The univalence of these integral operators was first studied by Royster \cite{Ro65}, and although some partial results have been obtained, in the general case, this question remains open. It is known, for example, that if $|\alpha|\leq 1/4$ then both transformations are univalent, see \cite{km,Pf75}. However, there are functions $\varphi\in S$ for which $\Phi_\alpha$ is not univalent for any $|\alpha|>1/3,$ with $\alpha\neq 1.$ An analogous result was obtained in \cite{km} for the transformation \eqref{int-tipo-1}; in that paper it is proved that for all $|\alpha|>1/2,$ there are functions $\varphi\in S,$ such that the corresponding $\varphi_\alpha$ is not univalent. For a summary of these results we refer the reader to the classical book by Goodman \cite{G}. Some recent results and other problems related to the transformations \eqref{int-tipo-1} and \eqref{int-tipo-2}, in the context of analytic and meromorphic functions, can be found in \cite{Kumar-Sahoo, Kim-Ponnuamy-Sugawa, Nezhmetdinov-Ponnusamy, Ponnusamy-Sahoo-Sugawa}.

Since the work by J. Clunie and T. Sheil-Small \cite{CSS}, many problems  of geometric function theory have been extended, from the setting of holomorphic functions to the  wider class of harmonic mappings in the plane. In this direction, in \cite{VBRHOV1} and subsequently in \cite{ABHSV1}, the authors proposed an extension of the integral transformations \eqref{int-tipo-1} and \eqref{int-tipo-2} to the setting of sense-preserving harmonic mapping. The definitions given in \cite{ABHSV1}  make use of the \textit{shear construction} introduced by J. Clunie and T. Sheil-Small in \cite{CSS} as follows: let $f=h+\overline g$ a sense-preserving harmonic mapping in the unit disk $\mathbb{D}=\left\lbrace z\in\mathbb{C} : |z|<1 \right\rbrace,$ with the usual normalization $g(0)=h(0)=1-h'(0)=0,$ and dilatation $\omega=g'/h'.$ Given $\alpha\in\overline{\mathbb{D}},$ when $\varphi=h-g$ is zero only at $z=0,$ we define $F_\alpha$ as the horizontal shear of $\varphi_\alpha$ defined by \eqref{int-tipo-1} with dilatation $\omega_\alpha=\alpha\omega.$ This is, $F_\alpha=H+\overline{G},$ where $H,G$ satisfy
\[H-G=\varphi_\alpha\qquad\text{and}\qquad \frac{G'}{H'}=\alpha\omega,\]
with $H(0)=G(0)=0.$ In a similar way we extend the integral transform \eqref{int-tipo-2} to sense-preserving harmonic mapping in $\mathbb{D}.$ The reader can find interesting results, some of which are related to the question of knowing for which values of $\alpha,$ the integral transformations lead functions belonging to the class $S$ (or to some of its subclasses) to the class $S$, in \cite{ABHSV1}.

The main objective of the present paper is investigate this type of problems, but in the context of logharmonic mappings defined in a simply connected domain of the complex plane. To this end, we extend the integral operators defined by \eqref{int-tipo-1} and \eqref{int-tipo-2} to the case of logharmonic mappings. Analogously to the extension of \eqref{int-tipo-1} and \eqref{int-tipo-2} previously described for sense-preserving harmonic mapping, we use a method similar to the shear construction by Clunie and Sheil-Small, introduced in \cite{AR,LP} for constructing univalent log-harmonic mappings. The manuscript is organized as follows. In Section\,\ref{sec log map} some preliminaries concerning logharmonic mappings will be introduced, in Section\,\ref{sec I T of firs type} we introduce the integral transform of the first type for logharmonic mappings, in particular, we generalize a result obtained by J. Pfalztgraff in \cite{Pf75}. The extension of the integral transform of the type \eqref{int-tipo-2} to logharmonic mappings is given in Section\,\ref{sec Iint T. 2 type}, in which we obtain similar results to the obtained in the section\,\ref{sec I T of firs type}. Finally, Section\,\ref{sec non vanishing log harmonic map} is devoted to extend the integral transforms to the special case of non-vanishing logharmonic mapping.

\section{Some preliminaries about logharmonic mappings}\label{sec log map}

A logharmonic mapping defined in the unit disk $\mathbb{D}$ is a solution of the nonlinear elliptic partial differential equation \begin{equation*}\label{def-log}
\overline{f_{\overline{z}}(z)}=\omega(z)\left(\dfrac{\overline{f(z)}}{f(z)}\right)f_z(z),\end{equation*} where $\omega$ is an analytic function from $\mathbb{D}$ into itself, which is called second complex dilatation of $f.$ The study of logharmonic functions was initiated mainly by the works of Abdulhadi, Bshouty, and Hengartner \cite{AB88,AH}, and later continued in a series of papers in which is developed the basic theory of logharmonic functions. Since then many papers have been published dealing with this subject, see for example \cite{AE,AM,Aydogan 1,LP,MPW13}.

Because of the condition on $\omega,$ the Jacobian $J_f$ of $f,$ given by
\begin{equation*}\label{jacobiano}
J_f=|f_z|^2-|f_{\overline{z}}|^2=|f_z|^2(1-|\omega|^2),
\end{equation*}
is non negative, and therefore, every non-constant logharmonic mapping is sense preserving and open in ${\mathbb D}.$ If $f$ is a non-constant logharmonic mapping defined in ${\mathbb D}$ and vanishes only at the origin, then $f$ has the representation \begin{equation*}\label{representation-Log}
f(z)=z^m|z|^{2\beta m}h(z)\overline{g(z)},
\end{equation*}
where $m$ is a non-negative integer, $\mathrm{Re}\{\beta\}>-m/2$, and $h$ and $g$ are analytic mappings in the unit disc, such that $g(0)=1$ and $h(0)\neq 0$ (see \cite{AB88}). In particular, when $f$ is a univalent logharmonic mapping defined in $\mathbb{D}$ and $f(0)=0,$ we can represent $f$ in the form
\begin{equation*}\label{representation f univalent}
f(z)=z|z|^{2\beta}h(z)\overline{g(z)},\qquad z\in\mathbb{D},
\end{equation*}
where $\mathrm{Re}\{\beta\}>-1/2$, and $h$ and $g$ are analytic mappings in $\mathbb{D},$ such that $g(0)=1$ and $0\notin hg(\mathbb{D}).$ This class of logharmonic mappings has been widely studied. For more details the reader can read the summary paper in \cite{AR} and the references given there.

In the first part of this study, we consider sense-preserving univalent log-harmonic mappings in $\mathbb{D}$ with $\omega(0)=0,$ case in which $f$ has the form
\[f(z)=zh(z)\overline{g(z)},\qquad z\in\mathbb{D},\]
which implies that its dilatation $\omega$ is given by $$\omega(z)=\frac{zg'(z)/g(z)}{1+zh'(z)/h(z)}.$$
In relation to this class of functions, denoted by $S_{Lh},$ the following result, which is one of the tools that we shall use in this manuscript, was proved in \cite{AM}, see also \cite{AH}; it asserts that\\

\noindent \textbf{Theorem A}\textit{ Let $f(z)=zh(z)\overline{g(z)}$ be a logharmonic mapping defined in ${\mathbb D}$ such that $0\notin hg(\mathbb{D})$. Then $\varphi(z)=zh(z)/g(z)$ is a starlike analytic function if and only if $f(z)$ is a starlike logharmonic mapping.}\\

Also we will consider non-vanishing logharmonic mappings in $\mathbb{D}.$ It is well known that such mappings can be expressed in the form
\begin{equation*}
f(z) = h(z)\overline{g(z)},
\end{equation*}
where $h$ and $g$ are non-vanishing analytic functions in ${\mathbb D}.$ In terms of $h$ and $g,$ when $f$ is locally univalent, the dilatation $\omega$ of $f$ is given by
\begin{equation*}\label{omega}
\omega=\frac{g'h}{gh'}.
\end{equation*}
Note that in this case, $h$ is locally univalent.\\

Trough this paper, we shall mainly study integral transformations of the type \eqref{int-tipo-1} and \eqref{int-tipo-2} for two class of logharmonic functions:  first we will consider univalent logharmonic mappings of the form $f(z)=zh(z)\overline{g(z)}$ normalized as $h(0)=g(0)=1$ and its several subfamilies as starlike and convex mappings normalized as before. In a similar way we will study the case when $f$ is a non-vanishing logharmonic function of the form $f=h\overline{g}$ such that $h(0)=g(0)=1.$

\section{Integral Transform of the first type}\label{sec I T of firs type}

Let $f=zh(z)\overline{g(z)}$ be a locally univalent logharmonic mapping defined in the unit disk with the normalization described above. Then $\varphi(z)=zh(z)/g(z)$ is an analytic function in $\mathbb{D}$ such that $\varphi(0)=0,$ $\varphi'(0)=1,$ and $\varphi(z)\neq 0$ if $z\neq 0.$ So, $h,g$ are solution of the system of nonlinear differential equations
\[\frac{zh(z)}{g(z)}=\varphi(z)\qquad\text{and} \qquad \frac{zg'(z)/g(z)}{1+zh'(z)/h(z)}=\omega(z),\quad z\in\mathbb{D}.\]
This fact was used in \cite{LP} to establish a method of construction of logharmonic mappings satisfying certain properties, allows us extend the integral transformation \eqref{int-tipo-1} to the case of logharmonic mappings, with the above notation, as follows: given $\alpha\in\overline{\mathbb{D}},$ we define $f_\alpha$ be the logharmonic mapping given by $f_\alpha(z)=zH(z)\overline{G(z)},$ where $H,G$ satisfy the system
\begin{equation}\label{f alpha tipo 1} \frac{zH(z)}{G(z)}=\varphi_\alpha(z)=\int_{0}^{z}\left(\frac{\varphi(\xi)}{\xi}\right)^\alpha d\xi\quad\text{and}\quad \frac{zG'(z)/G(z)}{1+zH'(z)/H(z)}=\omega_\alpha(z):=\alpha\omega(z),\end{equation}
with the initial conditions $H(0)=G(0)=1.$

Note that if $\alpha=0,$ then $H/G\equiv 1$ and $\omega_\alpha=0$, whence it follows that $G$ is constant, say $k$, which leads to $f_\alpha(z)=|k|^2z$. On the other hand, if $\alpha=1$ we have that $\varphi_1(z)=zH(z)/G(z)$
satisfies
\[1+z\frac{\varphi_1''(z)}{\varphi_1'(z)}=z\frac{\varphi'(z)}{\varphi(z)}\,,\]
which implies that when $\varphi$ is starlike, then $\varphi_1$ is convex (in particular starlike). Consequently, according to \cite{LP}, $f_1$ is starlike. However, we know from the analytical case that for $\alpha$ of module greater than $1/3,$ there are univalent functions whose respective functions $f_\alpha$ are not univalent in ${\mathbb D}$. For this and other similar problems that appear both in the context of analytic functions and in the context of harmonic mapping, we are interested in studying the values of $\alpha$ for which we can ensure that $f_\alpha$ belongs to $S_{Lh}$ or to some of its subclasses. A first result in this direction is given in the following proposition.

\begin{prop}\label{prop f_alpha is starlike} Let $f(z)=zh(z)\overline{g(z)}$ be a logharmonic mapping defined in ${\mathbb D}$ with dilatation $\omega$. If $zh(z)/g(z)=\varphi(z)$ is a convex mapping, then $f_\alpha$ defined by (\ref{f alpha tipo 1}) is a starlike logharmonic mapping in the unit disk for $\alpha\in[0,1]$.
\end{prop}
\begin{proof} We note first that if $f_z(z_0)=0$ for some $z_0\in\mathbb{D},$ then $z_0\neq 0,$
\[z_0h'(z_0)+h(z_0)=0 \qquad \text{and}\qquad g'(z_0)=0,\]
which implies $\varphi'(z_0)=0.$ Hence, $J_f$ is positive in $\mathbb{D}.$

By definition of $f_\alpha(z)=zH(z)\overline{G(z)}$ we have that $zH(z)/G(z)=\varphi_\alpha(z)$ satisfies $$1+\mbox{Re}\left\{z\frac{\varphi''_\alpha (z)}{\varphi'_\alpha (z)}\right\}=1+\alpha\mbox{Re}\left\{z\frac{\varphi'(z)}{\varphi(z)}-1\right\},$$
$\alpha\in\mathbb{R}.$ Since $\varphi$ is convex, it follows that $\textrm{Re}\{z\varphi'(z)/\varphi(z)\}>1/2$ which implies that $$1+\mbox{Re}\left\{z\frac{\varphi''_\alpha (z)}{\varphi'_\alpha(z)}\right\}> 1-\frac{\alpha}{2}>0,$$
for $\alpha\in[0,1].$ Hence, $\varphi_\alpha$ is convex and, in particular, is a starlike mapping. Applying Theorem\,A the proof is concluded.
\end{proof}
We remark that the conclusion of the proposition remains true if $\alpha\in [0,\rho],$ where $\rho=\min\{2,1/\|\omega\|\},$ and $\|\omega\|=\sup\{ |\omega(z)| : z\in\mathbb{D}\}.$\\

In \cite{AE} the authors extend the concept of stable univalent function (resp. starlike, convex, close-to-convex, etc.) studied in \cite{rhmje} for harmonic and analytic functions, to the case of logharmonic mappings. More precisely, they give the
following definition.
\begin{defn}
A logharmonic function $f(z)=zh(z)\overline{g(z)}$, normalized by $h(0)=g(0)=1$, is called stable univalent logharmonic or $SU_{Lh}$, if for all $|\lambda|=1$, $f_{\lambda}(z)=zh(z)\overline{g(z)}^{\lambda}$ is univalent logharmonic.
\end{defn}
Next, we present a criterion to establish the stable univalence of $f_\alpha.$
\begin{thm}\label{Theorem-univ.}
Let $f(z)=zh(z)\overline{g(z)}$ be a logharmonic mapping defined in the unit disc with dilatation $\omega$, normalized by $h(0)=g(0)=1$, and such that $zh(z)/g(z)=\varphi(z)$ is a univalent mapping. Then $f_\alpha$ defined by (\ref{f alpha tipo 1}) is a stable univalent logharmonic mapping if $\alpha$ satisfies the inequality
\begin{equation}\label{cond-thm-1}
|\alpha|\leq\dfrac{1}{4\left(2\delta+1+8\|\omega^*\|/15\right)},
\end{equation}
where
\[\delta=\frac{4\|\omega\|}{4-\|\omega\|}\qquad \text{and}\qquad \|\omega^\ast\|=\sup_{z\in{\mathbb D}}\frac{|\omega'(z)|(1-|z|^2)}{1-|\omega(z)|^2}.\]
\end{thm}
\begin{proof}
As in the previous proposition, $J_f>0$ in $\mathbb{D}$ and therefore $f$ is locally univalent. For $|\lambda|=1$ we define
\begin{equation*}\label{Psi}
\psi_{\lambda}(z)=z\frac{H(z)}{G(z)^{\lambda}}\,, \qquad\qquad z\in\mathbb{D},
\end{equation*}
from where
\[\psi'_\lambda(z)= \psi_\lambda(z)\left(\frac{1}{z}+\frac{H'(z)}{H(z)}-\lambda\frac{G'(z)}{G(z)}\right)=\psi_\lambda(z)\frac{1}{z}\left(1+\frac{zH'(z)}{H(z)}\right)(1-\lambda\omega_{\alpha}(z)).\]
On the other hand,
\begin{equation*}
\frac{z\varphi'_{\alpha}(z)}{\varphi_\alpha(z)}= 1+z\frac{H'(z)}{H(z)}-z\frac{G'(z)}{G(z)}=\left(1+z\frac{H'(z)}{H(z)}\right)(1-\omega_{\alpha}(z)),
\end{equation*}
from which we get
\begin{equation}\label{eq3}
\psi'_\lambda(z)=\psi_\lambda(z)\frac{1-\lambda\omega_\alpha(z)}{1-\omega_\alpha(z)}\frac{\varphi'_\alpha(z)}{\varphi_{\alpha}(z)},
\end{equation}
and
\begin{equation*}
\frac{\psi''_\lambda(z)}{\psi'_\lambda(z)}=\frac{\psi'_\lambda(z)}{\psi_\lambda(z)}+\frac{\varphi''_\alpha(z)}{\varphi'_{\alpha}(z)}-\frac{\varphi'_\alpha(z)}{\varphi_{\alpha}(z)}
+\frac{(1-\lambda)\omega'_\alpha(z)}{(1-\lambda\omega_\alpha(z))(1-\omega_\alpha(z))}.
\end{equation*}
Replacing (\ref{eq3}), in the last equality, we get
\begin{equation}\label{eq4}
 \frac{\psi''_\lambda(z)}{\psi'_\lambda(z)}=\frac{(1-\lambda)\omega_\alpha(z)}{1-\omega_\alpha(z)}\frac{\varphi'_\alpha(z)}{\varphi_{\alpha}(z)}+\frac{\varphi''_\alpha(z)}{\varphi'_{\alpha}(z)}
+\frac{(1-\lambda)\omega'_\alpha(z)}{(1-\lambda\omega_\alpha(z))(1-\omega_\alpha(z))},
\end{equation}
and therefore
\begin{align*}
(1-|z|^2)\left|z\frac{\psi''_\lambda(z)}{\psi'_\lambda(z)}\right|&=(1-|z|^2)\left|\frac{(1-\lambda)\omega_\alpha(z)}{1-\omega_\alpha(z)}\frac{z\varphi'_\alpha(z)}{\varphi_{\alpha}(z)}+\frac{z\varphi''_\alpha(z)}{\varphi'_{\alpha}(z)}+\frac{z(1-\lambda)\omega'_\alpha(z)}{(1-\lambda\omega_\alpha(z))(1-\omega_\alpha(z))}\right|\\[0.3cm]
&\hspace{-1.5cm} = (1-|z|^2)|\alpha|\left|\frac{(1-\lambda)\omega(z)}{1-\omega_\alpha(z)}\frac{z\varphi'_\alpha(z)}{\varphi_{\alpha}(z)}+\frac{z\varphi'(z)}{\varphi(z)}-1
+\frac{z(1-\lambda)\omega'(z)}{(1-\lambda\omega_\alpha(z))(1-\omega_\alpha(z))}\right|\\[0.3cm]
&\hspace{-1.5cm} \leq (1-|z|^2)|\alpha|\left(\left|\frac{(1-\lambda)\omega(z)}{1-\omega_\alpha(z)}\frac{z\varphi'_\alpha(z)}{\varphi_{\alpha}(z)}\right|+\left|\frac{z\varphi'(z)}{\varphi(z)}-1\right|+\left|\frac{z(1-\lambda)\omega'(z)}{(1-\lambda\omega_\alpha(z))(1-\omega_\alpha(z))}\right|\right) .
\end{align*}
Since $|\alpha|\leq 1/4$ then $\varphi_\alpha\in S$, therefore
\begin{equation} \label{Theorem univ 2}
\left|\frac{z\varphi'_\alpha(z)}{\varphi_{\alpha}(z)}\right|\leq \frac{1+|z|}{1-|z|} \qquad\qquad \text{and}  \qquad\qquad \left|\frac{z\varphi'(z)}{\varphi(z)}-1\right|\leq \frac{2}{1-|z|},
\end{equation}
being the second inequality a consequence of $\varphi \in S$. Moreover, it is easy to see that
\begin{equation}\label{ineq-omega}
  \frac{|\omega(z)|}{|1-\omega_\alpha(z)|}\leq \frac{4\|\omega\|}{4-\|\omega\|},
\end{equation}
and
\begin{equation}\label{ineq-omega-ast}
\frac{|\omega'(z)|(1-|z|^2)}{|(1-\lambda\omega_\alpha(z))(1-\omega_\alpha(z))|}\leq \frac{\|\omega^\ast\|(1-|\omega(z)|^2)}{(1-|\alpha||\omega(z)|)^2}\leq \frac{\|\omega^\ast\|(1-|\omega(z)|^2)}{(1-|\omega(z)|/4)^2}\leq \frac{16}{15}\|\omega^\ast\|,
\end{equation}
for all $z\in\mathbb{D}.$ Thus, using inequalities (\ref{Theorem univ 2}), (\ref{ineq-omega}), and (\ref{ineq-omega-ast}) it follows that
\begin{equation*}
 (1-|z|^2)\left|z\frac{\psi''_\lambda(z)}{\psi'_\lambda(z)}\right|\leq 2|\alpha|\left(\frac{16\|\omega\|}{4-\|\omega\|}+2+\frac{16}{15}\|\omega^*\|\right).
\end{equation*}
Inequality (\ref{cond-thm-1}) and Becker's criterion(see \cite{B72})  imply that $\psi_\lambda$ is univalent for all $\lambda$ in the unit circle, which complete the proof.
\end{proof}
 Note that in the case when $f$ is an analytic mapping, $\omega \equiv 0$ and consequently $\delta=0$ and $\|\omega^\ast\|=0.$ Then the inequality (\ref{cond-thm-1}) becomes in $|\alpha|\leq 1/4,$ which is the best known bound of the values of $\alpha$ such that the corresponding $f_\alpha$ is univalent in ${\mathbb D}$.\\

The authors proved in \cite[Lemma 3]{ABHSV1} that if $\varphi$ is a univalent analytic function in a linear invariant family $\mathcal F$ with order $\beta$, then \begin{equation}\label{family orden beta} (1-|z|^2)\left|z\frac{\varphi'(z)}{\varphi(z)}\right|\leq 2\beta, \quad \text{for all} \quad z\in {\mathbb D}.
\end{equation}
By using this inequality we can improve the last theorem.
\begin{cor}
Let $f, \varphi$ be as in Theorem\,\ref{Theorem-univ.}. Suppose moreover that  $\varphi$ is univalent in a linear invariant family $\mathcal F$ with order $\beta.$ Then $f_\alpha$ is stable univalent logharmonic if $\alpha$ satisfies the condition
$$|\alpha|\leq \min\left\lbrace \frac{1}{2(4\delta+\beta + \frac{1}{2}+16\|\omega^*\|/15)}\,, \,  \frac{1}{4}\right\rbrace.$$
\end{cor}
\begin{proof}
The proof is completely analogous to that of the previous theorem; it is enough to replace the second condition in \eqref{Theorem univ 2} by the inequality $$\left|\frac{z\varphi'(z)}{\varphi(z)}-1\right|\leq \frac{2\beta}{1-|z|^2}+1,$$
which is an immediate consequence of \eqref{family orden beta}.
\end{proof}
\section{Integral Transform of the second type}\label{sec Iint T. 2 type}
Following the same procedure as in the previous section, we extend the integral transformation \eqref{int-tipo-2} to the case of logharmonic mappings as follows: given $\alpha\in\overline{\mathbb{D}}$ and $f(z)=zh(z)g(z)$ a locally univalent logharmonic mapping defined in the unit disk, with the normalization $h(0)=g(0)=1$ and $0\notin hg(\mathbb{D}),$ we define $F_\alpha$ be the logharmonic mapping, with dilatation $\omega_\alpha=\alpha\omega,$ given by $F_\alpha=zH(z)G(z),$ where $H,G$ satisfy the system
\begin{equation}\label{second type} z\frac{H(z)}{G(z)}=\Phi_\alpha(z)=\int_{0}^{z}(\varphi'(\xi))^\alpha d\xi \qquad\text{and}\qquad \omega_\alpha=\alpha\omega,
\end{equation}
with the initial conditions $H(0)=G(0)=1.$\\

The following two results are dual to Proposition\,\ref{prop f_alpha is starlike} and Theorem\,\ref{Theorem-univ.}, respectively. In both cases we will assume the above normalization.

\begin{prop}Let $f(z)=zh(z)\overline{g(z)}$ be a logharmonic mapping defined in ${\mathbb D}$ with dilatation $\omega$. If $zh(z)/g(z)=\varphi(z)$ is a convex mapping, then $F_\alpha$ defined by \eqref{second type} is a starlike logharmonic mapping in the unit disk for $\alpha\in[0,1]$.
\end{prop}
\begin{proof} As in Proposition\,\ref{prop f_alpha is starlike}, the condition on $\varphi$ implies that $J_f$ is positive, so $f$ is locally univalent. Since $\varphi$ is a convex mapping, we have that for $\alpha\in[0,1],$ \[\textrm{Re}\left\{1+z\frac{\Phi_\alpha''(z)}{\Phi_\alpha'(z)}\right\}=1+\alpha\textrm{Re}\left\{z\frac{\varphi''(z)}{\varphi'(z)}\right\}> 1-\alpha>0,\]
from which it concludes that $\Phi_\alpha(z)$ is a convex mapping and in particular starlike. Using Theorem\,A, we have that $F_\alpha$ is a starlike logharmonic mapping.
\end{proof}

\begin{thm} Let $f(z)=zh(z)\overline{g(z)}$ be a logharmonic mapping defined in $\mathbb{D}$ with dilatation $\omega$ and such that $zh(z)/g(z)=\varphi(z)$ is a univalent mapping. Then $F_\alpha$ defined as in \eqref{second type} is a stable univalent logharmonic mapping if $\alpha$ satisfies the inequality
\begin{equation*}\label{cond-thm-2}
|\alpha|\leq\dfrac{1}{2(4\delta+3+16\|\omega^*\|/15)},
\end{equation*}
with $\delta$ and $\|\omega^*\|$ as in Theorem\,\ref{Theorem-univ.}.
\end{thm}
\begin{proof} Since $\varphi$ is univalent we have $J_f>0$ and
\begin{equation}\label{eq15}\sup_{z\in{\mathbb D}}(1-|z|^2)\left|\frac{\Phi''_\alpha(z)}{\Phi'_\alpha(z)} \right|\leq |\alpha|\sup_{z\in{\mathbb D}}(1-|z|^2)\left|\frac{\varphi''(z)}{\varphi'(z)} \right|\leq 6|\alpha|.
\end{equation}
It follows from equation (\ref{eq4}) and inequalities (\ref{Theorem univ 2}), (\ref{ineq-omega}), and (\ref{ineq-omega-ast}) that $$(1-|z|^2)\left|z\frac{\psi''_\lambda(z)}{\psi'_\lambda(z)}\right|\leq2|\alpha|\left(4\delta+3+16\|\omega^\ast\|/15\right),$$ from which we get, in virtue of the classical univalence criterion of Becker, that $F_\alpha$ is a stable univalent logharmonic mapping.
\end{proof}
Note that if $\varphi$ is a convex mapping, then the right side of the inequality (\ref{eq15}) can be replaced by $4|\alpha|$, from where the range of the values of $\alpha$ for which the corresponding mapping $F_\alpha$ is stable univalent, is determined by the inequality $$|\alpha|\leq \frac{1}{4(2\delta+1+8\|\omega
^*\|/15)}.$$
\section{Alternative definition of non vanishing Integral Transform}\label{sec non vanishing log harmonic map}

In this section, we extend the integral transformations \eqref{int-tipo-1} and \eqref{int-tipo-2} to non-vanishing logharmonic mappings in $\mathbb{D}.$ To this end, we will use the fact that there is a branch of $\log f,$ which is harmonic in $\mathbb{D}$ with dilatation $\omega_{\log f} = \omega_f,$ and apply to it the theory that we developed in \cite{ABHSV1}. Note that $\omega_{\log f} = \omega_f$ implies that $\log f$ is a sense-preserving harmonic mapping and therefore $J_f$ is positive in $\mathbb{D}.$

As was mentioned in Subsection\,\ref{sec log map}, if $f$ is a non-vanishing logharmonic mapping in $\mathbb{D}$ with dilatation $\omega,$ then $f=h\overline{g},$ where $h,g$ are non-vanishing analytic functions in $\mathbb{D}.$ In this case $\omega=g'h/gh',$ and if we assume the normalization $h(0)=g(0)=1,$ we can choose branches of $\log f,$ $\log h,$ and $\log g,$ satisfying
\[\log f(0)=\log h(0)=\log g(0)=0\qquad\text{and}\qquad \log f=\log h+\overline{\log g}.\]
The following lemma is a general tool that appears as a natural version of Theorem\,1 in \cite{CH} for logharmonic mappings. We will use this lemma in the next subsections.

\begin{lem}\label{non-vanishing}
Let $f=h\overline{g}$ be a non-vanishing logharmonic mapping in $\mathbb{D}$ with dilatation $\omega,$ and suppose that $\psi=\log h/g$ is a univalent mapping such that $\Omega:=\psi(\mathbb{D})$ is $M-$linearly connected. Then $f$ is univalent in ${\mathbb D}$ if $\|\omega\|<1/(2M+1)$.
\end{lem}
\begin{proof}
Suppose there are $z_1\neq z_2$ in ${\mathbb D}$ such that $f(z_1)=f(z_2),$ and let $S$ be a path in $\Omega$ joining $\psi(z_1)$ to $\psi(z_2),$ such that $\ell(S)\leq M |\psi(z_1)-\psi(z_2)|.$ So,
$$e^{\psi(z_1)}|g(z_1)|^2=e^{\psi(z_2)}|g(z_2)|^2,$$
and in consequence,
\begin{equation*}\label{eq}
|\psi(z_1)-\psi(z_2)| \leq |2\log g(z_1)-2\log g(z_2)| \leq  2\int\limits_\gamma \left|\dfrac{g'(\xi)}{g(\xi)}\right|\, |d\xi|,
\end{equation*}
where $\gamma=\psi^{-1}(S).$ From here and the equality $$\frac{g'}{g}=\omega\frac{h'}{h}=\frac{\omega}{1-\omega}\psi',$$
it follows that $$|\psi(z_1)-\psi(z_2)| \leq 2\frac{\|\omega\|}{1-\|\omega\|}\int\limits_\gamma |\psi'(\xi)| |d\xi|\leq 2\frac{\|\omega\|}{1-\|\omega\|}l(S)<|\psi(z_1)-\psi(z_2)|,$$
if $\omega$ satisfies $\|\omega\|<1/(2M+1).$ This contradiction ends the proof.
\end{proof}

\subsection{Integral Transform of the first type for non-vanishing logharmonic mappings.} We consider a non-vanishing logharmonic mapping $f=h\overline g$ defined in $\mathbb{D},$ with dilatation $\omega=g'h/h'g,$ and normalized by $h(0)=g(0)=1.$ We suppose moreover that $\varphi=\log h-\log g$ is zero only at $z=0.$ Given $\alpha\in\overline{\mathbb{D}},$ we define the integral transform of the first type of $f$ by
\begin{equation}\label{alt-def-first-type} f_\alpha=e^H\,\overline{e^G}=\exp\{H+\overline{G}\},
\end{equation}
where $H$ and $G$ satisfy the system
\[H(z)-G(z)=\varphi_\alpha(z)=\int_0^z \left(\frac{\varphi(\zeta)}{\zeta}\right)^\alpha d\zeta\qquad\text{and}\qquad \frac{G'}{H'}=\alpha\omega,\]
with the initial conditions $H(0)=G(0)=0.$ In other words, $f_\alpha$ is deﬁned in such way that $\log f_\alpha=H+\overline G$ is a harmonic branch of the logarithm of $f_\alpha$ in $\mathbb{D},$ which is the horizontal shear of $\varphi_\alpha$ with dilatation $\alpha\omega$. The reader can find the details of the shear construction of harmonic mappings in  \cite{CSS}.

\begin{prop} Let $f=h\overline{g}$ be a non-vanishing logharmonic mapping in $\mathbb{D}$ with dilatation $\omega$  and let $f_\alpha$ be defined by equation (\ref{alt-def-first-type}).
\begin{enumerate}
    \item[$(i)$] If $\varphi=\log h/g$ is a convex function and $\alpha\in[0,0.745]$, then $f_\alpha$ is a univalent logharmonic mapping in ${\mathbb D}$.\\
    \item[$(ii)$] If $\varphi=\log h/g$ is a starlike function and $\alpha\in[0,0.6]$, then $f_\alpha$ is a univalent logharmonic mapping in ${\mathbb D}$.
\end{enumerate}
\end{prop}
\begin{proof}
We have that $\log f_\alpha=H+\overline{G}.$ So, in virtue of Theorem\,1 in \cite{CH}, it is sufficient to prove, in each case, that $H$ is convex. To prove $(i)$ we see that $H$ satisfies $$1+z\frac{H''(z)}{H'(z)}=1-\alpha+\alpha z\frac{\varphi'(z)}{\varphi(z)}+\alpha \frac{z\omega'(z)}{1-\alpha\omega(z)},$$
whence, since $\alpha$ is a real number, we get \begin{equation}\label{prop2}\mbox{Re}\left\{1+z\frac{H''(z)}{H'(z)}\right\}\geq 1-\alpha+\alpha \mbox{Re}\left\{z\frac{\varphi'(z)}{\varphi(z)}\right\}-\alpha\arcsin{\alpha}.
\end{equation}
Therefore, from $\textrm{Re}\{z\varphi'/\varphi(z)\}\geq 1/2$ and inequality (\ref{prop2}), we conclude that $$\mbox{Re}\left\{1+z\frac{H''(z)}{H'(z)}\right\}\geq 1-\frac{\alpha}{2}-\alpha\arcsin{\alpha}> 0,$$ if $\alpha\in[0,0.745]$. Now, to prove $(ii)$ we use $\textrm{Re}\{z\varphi'/\varphi(z)\}\geq 0$ and inequality (\ref{prop2}) to obtain $$\textrm{Re}\left\{1+z\frac{H''(z)}{H'(z)}\right\}\geq 1-\alpha-\alpha\arcsin{\alpha}> 0,$$
when $\alpha\in[0,0.6]$.
\end{proof}
\begin{prop}\label{prop 4.3}
 Let $f=h\overline{g}$ be a non-vanishing logharmonic mapping defined in $\mathbb{D}$ with $\|\omega\|<1/3$ and let $f_\alpha$ be defined by equation (\ref{alt-def-first-type}). If $\varphi=\log h/g$ is a convex function and $\alpha\in [0,2]$, then $f_\alpha$ is univalent.
 \end{prop}
\begin{proof}
The proof follows as a direct application of Lemma\,\ref{non-vanishing} and the fact that $\varphi_\alpha$ is a convex mapping for $\alpha\in [0,2],$ case in which $\varphi_\alpha({\mathbb D})$  is a $M$-linearly connected domain with $M=1$.
\end{proof}
\begin{thm} \label{Theorem-nonvanishing-first type}
 Let $f=h\overline{g}$ be a non-vanishing logharmonic mapping in $\mathbb{D}$ with dilatation $\omega$ and let $f_\alpha$ be defined by equation (\ref{alt-def-first-type}). If $\varphi=\log h/g$ is a univalent function and $|\alpha|\leq 0.165,$ then $f_\alpha$ is univalent.
\end{thm}
\begin{proof}
For $|\lambda|=1$ we define $\Psi_\lambda=H+\lambda G.$ A direct calculation shows that
\begin{equation*}
    \frac{H''(z)}{H'(z)}=\alpha\left(\frac{\varphi'(z)}{\varphi(z)}-\frac{1}{z}\right)+\frac{\omega'_\alpha(z)}{1-\omega_\alpha(z)}
\end{equation*}
and
\begin{equation*}
\frac{z\Psi''_\lambda(z)}{\Psi'_\lambda(z)}=\frac{zH''(z)}{H'(z)}+\frac{\lambda z\omega'_\alpha(z)}{1+\lambda\omega_\alpha(z)}=\alpha\left(\frac{z\varphi'(z)}{\varphi(z)}-1\right)+\frac{(1+\lambda)z\omega'_\alpha(z)}{(1-\omega_\alpha(z))(1+\lambda\omega_\alpha(z))},
\end{equation*}
from which we see that
\begin{align*}
 (1-|z|^2)\left|\frac{z\Psi''_\lambda(z)}{\Psi'_\lambda(z)}\right|&\leq |\alpha|\left[(1-|z|^2)\left |\frac{z\varphi'(z)}{\varphi(z)}-1\right|+2\frac{(1-|z|^2)|\omega'(z)|}{(1-|\alpha||\omega(z)|)^2}\right]\\
 & \leq |\alpha|\left[4+2\frac{(1-|\omega(z)|^2)\left\|\omega^*\right\|}{(1-|\alpha||\omega(z)|)^2}\right]\\
 &\leq 2|\alpha|\left(2+\frac{1}{1-|\alpha|^2}\right),
\end{align*}
being the last inequality a consequence of
$$\max_{z\in {\mathbb D}}\frac{(1-|\omega(z)|^2)}{(1-|\alpha||\omega(z)|)^2}\leq\frac{1}{1-|\alpha|^2}\qquad\text{and}\qquad \left\|\omega^*\right\|\leq 1.$$
It follows from the Becker’s  criterion that $\Psi_\lambda$ is univalent if  $2|\alpha|\left(2+\frac{1}{1-|\alpha|^2}\right)\leq 1$, whence $H+\overline{G}$ is stable harmonic univalent if $|\alpha|\leq 0.165.$ In consequence, $f_\alpha$ is univalent for these values of $\alpha.$
\end{proof}
\subsection{Integral Transform of the second type for non-vanishing logharmonic mappings.} The definition of the integral transform of the second type for non-vanishing logharmonic mappings, is completely analogous to that given in the previous subsection: let $f=h\overline{g}$ be a non-vanishing logharmonic mapping in $\mathbb{D}$ with dilatation $\omega=g'h/h'g$ and normalized by $h(0)=g(0)=1.$ Note that from the condition $|\omega(z)|<1$ for all $z\in\mathbb{D},$ it follows that $\varphi=\log h-\log g$ is locally univalent in $\mathbb{D}.$ We define the logharmonic mapping $F_\alpha=e^H\overline{e^G},$ where $H,G$ satisfy the system \begin{equation}\label{Phi}
H(z)-G(z)=\Phi_\alpha(z)=\int_0^z\left(\varphi'(\zeta)\right)^\alpha d\zeta \qquad\text{and}\qquad\omega_{F_\alpha}=\alpha\omega,
\end{equation}
with the initial conditions $H(0)=G(0)=0.$
\begin{prop} Let $f=h\overline{g}$ be a non-vanishing logharmonic mapping defined in $\mathbb{D}$ with dilatation $\omega$ and let $F_\alpha$ be defined by equation (\ref{Phi}). If $\varphi$ is a convex function and $\alpha\in[0,0.605]$, then $F_\alpha$ is a univalent logharmonic mapping in ${\mathbb D}$.
\end{prop}
\begin{proof}A straightforward calculation leads us to
$$1+z\frac{H''(z)}{H'(z)}=1+\alpha z\frac{\varphi''(z)}{\varphi'(z)}+\alpha \frac{z\omega'(z)}{1-\alpha\omega(z)},$$
which implies, together with the convexity of $\varphi,$ that
\begin{align*}
\textrm{Re}\left\{1+z\frac{H''(z)}{H'(z)}\right\}&= 1-\alpha+\alpha \textrm{Re}\left\{1+z\frac{\varphi''(z)}{\varphi'(z)}\right\}+\alpha\textrm{Re}\left\{ \frac{z\omega'(z)}{1-\alpha\omega(z)}\right\}\\
&\geq 1-\alpha - \alpha\arcsin{\alpha}.
\end{align*}
Hence, $H$ is convex, and therefore $\log F_\alpha$ is univalent, if $|\alpha|\leq 0.605$.
\end{proof}
The proof of the following proposition is essentially the same as that of Proposition\,\ref{prop 4.3}; so we omit its proof.
\begin{prop}
 Let $f=h\overline{g}$ be a non vanishing logharmonic mapping defined in the unit disk with $\|\omega\|<1/3$ and let $F_\alpha$ be defined by equation (\ref{Phi}). If $\varphi$ is a convex function, then  $F_\alpha$ is  univalent for $\alpha \in [0,1]$.
\end{prop}
\begin{thm}
 Let $f=h\overline{g}$ be a non-vanishing logharmonic mapping in $\mathbb{D}$ with dilatation $\omega$ and let $F_\alpha$ be defined by equation (\ref{Phi}). If $\varphi$ is a univalent function and $|\alpha|\leq 0.125$, then $F_\alpha$ is univalent.
\end{thm}
\begin{proof}
For $|\lambda|=1$ we define $\Psi_\lambda=H+\lambda G.$ Using (\ref{Phi}), we obtain by a direct calculation
\begin{equation*}
    \frac{H''(z)}{H'(z)}=\alpha\left(\frac{\varphi'(z)}{\varphi(z)}-\frac{1}{z}\right)+\frac{\omega'_\alpha(z)}{1-\omega_\alpha(z)}
\end{equation*}
and
\begin{equation*}
\frac{z\Psi''_\lambda(z)}{\Psi'_\lambda(z)}=\frac{zH''(z)}{H'(z)}+\frac{\lambda z\omega'_\alpha(z)}{1+\lambda\omega_\alpha(z)}=\alpha\left(\frac{z\varphi'(z)}{\varphi(z)}-1\right)+\frac{(1+\lambda)z\omega'_\alpha(z)}{(1-\omega_\alpha(z))(1+\lambda\omega_\alpha(z))}.
\end{equation*}
It follows from the univalence of $\varphi$ and
$$\max_{z\in {\mathbb D}} \frac{(1-|\omega(z)|^2)}{(1-|\alpha||\omega(z)|)^2}\leq\frac{1}{1-|\alpha|^2},$$
that
\begin{align*}
(1-|z|^2)\left|\frac{z\Phi''_\lambda(z)}{\Phi'_\lambda(z)}\right|&\leq |\alpha|\left(\left|(1-|z|^2)\frac{\varphi''(z)}{\varphi'(z)}-2\overline{z}\right|+2|z|^2+2\frac{(1-|\omega(z)|^2)\left\|\omega^*\right\|}{(1-|\alpha||\omega(z)|)^2}\right)\\
&\leq 2|\alpha|\left(3+\frac{1}{1-|\alpha|^2}\right).
\end{align*}
Consequently, we conclude from the Becker's criterion that $\Psi_\lambda$ is univalent if $|\alpha|\leq 0.125,$ and therefore $\log F_\alpha$ is stable harmonic univalent for these values of $\alpha.$ This complete the proof of the theorem.
\end{proof}