Let K(r)be the complete elliptic integrals of the first kind for r∈(0,1)and f_(p)(x)=[(1−x)^(p)K(√x)].Using the recurrence method,we find the necessary and sufficient conditions for the functions−f′_(p),ln f_(p),−(...Let K(r)be the complete elliptic integrals of the first kind for r∈(0,1)and f_(p)(x)=[(1−x)^(p)K(√x)].Using the recurrence method,we find the necessary and sufficient conditions for the functions−f′_(p),ln f_(p),−(ln f_(p))^((i))(i=1,2,3)to be absolutely monotonic on(0,1).As applications,we establish some new bounds for the ratios and the product of two complete integrals of the first kind,including the double inequalities exp[r^(2)(1−r^(2))/^(64)]/(1+r)^(1/4)<K(r)/K(√r)<exp[−r(1−r)/4],π/2 exp[θ0(1−2r^(2))]<π/2 K(r′)/K(r)<π/2(r′/r)^(p)exp[θ_(p)(1−2r^(2))],K^(2)(1/√2)≤K(r)K(r′)≤1/√2rr′K^(2)(1/√2)for r∈2(0,1)and p≥13/32,where r′=√1−r^(2) and θ_(p)=2Γ(3/4)^(4)/π^(2)−p.展开更多
文摘Let K(r)be the complete elliptic integrals of the first kind for r∈(0,1)and f_(p)(x)=[(1−x)^(p)K(√x)].Using the recurrence method,we find the necessary and sufficient conditions for the functions−f′_(p),ln f_(p),−(ln f_(p))^((i))(i=1,2,3)to be absolutely monotonic on(0,1).As applications,we establish some new bounds for the ratios and the product of two complete integrals of the first kind,including the double inequalities exp[r^(2)(1−r^(2))/^(64)]/(1+r)^(1/4)<K(r)/K(√r)<exp[−r(1−r)/4],π/2 exp[θ0(1−2r^(2))]<π/2 K(r′)/K(r)<π/2(r′/r)^(p)exp[θ_(p)(1−2r^(2))],K^(2)(1/√2)≤K(r)K(r′)≤1/√2rr′K^(2)(1/√2)for r∈2(0,1)and p≥13/32,where r′=√1−r^(2) and θ_(p)=2Γ(3/4)^(4)/π^(2)−p.