Results 71 to 80 of about 6,291 (196)
Testing for termination with monotonicity constraints
, 2005 domains of monotonicity constraints or of size change graphs. First, the transition relation for a given program is approximated by a set of descriptions. Then, this set is closed under a composition operation.
Peter J. Stuckey +5 more
core +1 more source
Complete Monotonicity and Reduction Formulas for Certain Kampé de Fériet Functions
AxiomsWe extend the classical Euler-type integral representations for the Appell functions F1, F2, and F3, to the appropriate Kampé de Fériet functions by using integration against the Meijer–Nørlund G-function.
Dmitrii Karp, Elena Prilepkina
doaj +1 more source
The Renegotiation-Proofness Principle and Costly Renegotiation
Games, 2013 We study contracting and costly renegotiation in settings of complete, but unverifiable information, using the mechanism-design approach. We show how renegotiation activity is best modeled in the fundamentals of the mechanism-design framework, so that ...
James R. Brennan, Joel Watson
doaj +1 more source
Monotonicity properties of determinants of special functions
, 2007 We prove the absolute monotonicity or complete monotonicity of some determinant functions whose entries involve psi((m))(x) = (d(m)/dx(m))[Gamma\u27(x)/Gamma(x)], modified Bessel functions I-v, K-v, the confluent hypergeometric function Phi, and the ...
LAFORGIA, Andrea Ivo Antonio +3 more
core +2 more sources
On complete monotonicity for several classes of functions related to ratios of gamma functions
Journal of Inequalities and Applications, 2019 Let Γ(x) $\varGamma (x)$ denote the classical Euler gamma function. The logarithmic derivative ψ(x)=[lnΓ(x)]′=Γ′(x)Γ(x) $\psi (x)=[\ln \varGamma (x)]'=\frac{\varGamma '(x)}{ \varGamma (x)}$, ψ′(x) $\psi '(x)$, and ψ″(x) $\psi ''(x)$ are, respectively ...
Feng Qi, Ravi P. Agarwal
doaj +1 more source
Heine Representations And Monotonicity Properties Of Determinants And Pfaffians
, 2015 We establish integral representations of Heine type for certain integrals of determinants. We use these representations to derive monotonicity properties of such determinants. New integral representations of Heine type for biorthogonal functions obtained
Ismail, Mourad E.H., Simeonov, Plamen
core +2 more sources
On a Generic Fractional Derivative Associated with the Riemann–Liouville Fractional Integral
AxiomsIn this paper, a generic fractional derivative is defined as a set of the linear operators left-inverse to the Riemann–Liouville fractional integral. Then, the theory of the left-invertible operators developed by Przeworska-Rolewicz is applied to deduce ...
Yuri Luchko
doaj +1 more source
Logarithmically Completely Monotonic Ratios of Mean Values and an Application
, 2005 In the article, some strictly Logarithmically completely monotonic ratios of mean values are ...
Qi, Feng, Chen, Chao-Ping
core
A generation method for completely monotone functions
Applicable Analysis and Discrete Mathematics, 2019 In this article we present technique how to produce completely monotone functions using linear functionals and already known families of completely monotone functions. After that, using mean value theorems, we construct means of Cauchy type that have monotonicity properties.
openaire +2 more sources
, 2007 In the article, sufficient and necessary conditions that a class of functions involving ratio of Euler’s gamma functions and originating from Wendel-Gautschi-Kershaw’s double inequalities are logarithmically completely monotonic are presented.
Qi, Feng, Guo, Bai-Ni
core