Complete Monotonicity of the Srivastava-Tomovski Function and Its Laplace-Wright Realization: Necessary and Sufficient Conditions
We determine necessary and sufficient conditions for complete monotonicity of the Srivastava--Tomovski extension, a generalized Mittag--Leffler kernel arising in fractional calculus, while separating the defining generalized-Wright series from its positive-axis realization when the series is not entire. For positive parameters, let \(Δ=1+α-κ\). In the entire regime \(Δ>0\), \(E_{α,β}^{γ,κ}(-x)\) is completely monotone on \((0,\infty)\) if and only if \(α\leqκ\) and \(κβ\geqαγ\). For arbitrary positive parameters, the corresponding positive-axis realization satisfies the same criterion; when \(0<α<κ\), it is defined by a second-kind Wright kernel and remains meaningful through the finite-radius and zero-radius phases of the defining series. We also identify the Bernstein measure in every admissible case. In the interior region it is, after normalization, the pushforward under \(t\mapsto t^κ\) of a power-biased Wright distribution; at \(α=κ\) it becomes a powered beta law for \(β>γ\) and the atom \(Γ(γ)^{-1}δ_1\) for \(β=γ\). Necessity in the excluded regions follows from a Mellin-transform zero, uniqueness of finite signed Laplace transforms, and moment-support asymptotics. The Prabhakar criterion is recovered by setting \(κ=1\).