# Some Padé approximations and inequalities for the complete elliptic integrals of the first kind

## Abstract

In this paper, we present Padé approximations of some functions involving complete elliptic integrals of the first kind $$K(x)$$, and motivated by these approximations we also present the following double inequality:

$$\frac{1-x^{2}}{1-x^{2}+\frac{x^{4}}{62}}< \frac{2 e^{\frac{2}{\pi }K(x)-1}}{ (1+\frac{1}{\sqrt{1-x^{2}}} )}< \frac{1-\frac{96}{100}x^{2}}{1-\frac{96}{100}x^{2}+\frac{x^{4}}{64}},\quad x\in ( 0,1 ).$$

Our results have superiority over some new recent results.

## Introduction

It is well known that the complete elliptic integrals of the first kind and of the second kind are classical integrals, and apart from their theoretical importance in the theory of theta functions, they have important applications in mechanics, statistical mechanics, electrodynamics, magnetic field calculations, astronomy, geodesy, quasiconformal mappings, and other fields of mathematics and mathematical physics. In most applications, we encounter complicated expressions involving the complete elliptic integrals (which are not always in a form that is immediately recognizable), and it is difficult to find numerical values of such expressions to a sufficient number of significant digits. The complete elliptic integrals cannot be expressed in terms of elementary functions and have representations as infinite series that slowly converge, so these series are not the most computationally efficient approach for most scientists and engineers. Therefore, there is a need for appropriate approximations and bounds for these integrals.

The complete elliptic integrals of the first and second kinds $$K(x)$$ and $$E(x)$$, respectively, are defined as [9, 14]

$$K(x)= \int _{0}^{\frac{\pi }{2}}\frac{dt}{\sqrt{1-x^{2}\sin ^{2}t }},\quad 0< x< 1$$
(1)

and

$$E(x)= \int _{0}^{\frac{\pi }{2}}\sqrt{1-x^{2} \sin ^{2}t} \,dt,\quad 0< x< 1,$$
(2)

which satisfy

\begin{aligned} & \lim_{x\rightarrow 0^{+}}K(x)=\lim_{x\rightarrow 0^{+}} E(x)= \frac{\pi }{2},\qquad \lim_{x\rightarrow 1^{-}}K(x)=\infty,\qquad \lim _{x\rightarrow 1^{-}}E(x)=1, \\ &K'(x)=K \bigl(\sqrt{1-x^{2}} \bigr)\quad \text{and}\quad E'(x)=E \bigl(\sqrt{1-x^{2}} \bigr). \end{aligned}
(3)

The functions $$K(x)$$ and $$E(x)$$ have the following representation :

$$K(x)=\frac{\pi }{2}F \biggl( \frac{1}{2},\frac{1}{2},1,x^{2} \biggr)$$
(4)

and

$$E(x)=\frac{\pi }{2}F \biggl( \frac{1}{2},\frac{-1}{2},1,x^{2} \biggr),$$

where the hypergeometric function $$F ( a,b,c,x )$$ is defined by 

$$F ( a,b,c,x ) =\sum_{n=0}^{\infty } \frac{ ( a ) _{n} ( b ) _{n}}{ ( c ) _{n}} \frac{x^{n}}{n!},\quad -1< x< 1,$$
(5)

with $$( a ) _{n}=\frac{\Gamma (a+n)}{\Gamma (a)}$$ and the Euler gamma function $$\Gamma (x)$$ is defined by the improper integral

$$\Gamma (x)= \int _{0}^{\infty }e^{-v}v^{x-1}\,dv,\quad x>0.$$

The hypergeometric function $$F ( a,b,c,x )$$ has the differentiation formula 

$$\frac{d^{r}}{dx^{r}}F ( a,b,c,x ) = \frac{(a)_{r}(b)_{r}}{(c)_{r}}F ( a+r,b+r,c+r,x )$$
(6)

and the transformation

$$(1-x)^{a+b-c} F ( a,b,c,x )=F ( c-a,c-b,c,x ),\quad a,b,c>0; a+b>c.$$
(7)

Wallis’s ratio $$W_{n}$$ is defined as [10, 12]

$$W_{n}=\frac{\Gamma (n+1/2)}{\Gamma (\frac{1}{2})\Gamma (n+1)},\quad n \in \mathbb{N},$$
(8)

and satisfies the recurrence relation

$$W_{n+1}=\frac{n+1/2}{n+1}W_{n}.$$

In , Yang et al. show that

$$U_{n}=\pi \sum_{k=0}^{n} \frac{W_{k}^{2}W_{n-k}^{2}}{ ( k+1 ) ( n-k+1 ) }- \frac{6 ( 2n+1 ) W_{n}^{2}}{ ( n+1 ) ( n+2 ) }< 0,\quad n \geq 8.$$
(9)

$$K(x)$$ can be written using the notation $$W_{n}$$ as follows:

$$K(x)=\frac{\pi }{2} \sum_{n=0}^{\infty } W^{2}_{n} x^{2n},\quad 0< x< 1.$$
(10)

The importance of elliptic integrals led to deduction of many of their inequalities. In , Carlson and Gustafson presented the inequality

$$\log \frac{4}{\sqrt{1-x^{2}}}< K(x)< \frac{4}{3+x^{2}}\log \frac{4}{\sqrt{1-x^{2}}},\quad 0< x< 1.$$
(11)

In , Kühnau deduced the lower bound

$$K(x)>\frac{9}{8+x^{2}}\log \frac{4}{\sqrt{1-x^{2}}},\quad 0< x< 1,$$
(12)

which is an improvement of the left-hand side of inequality (11). In , Anderson et al. deduced the inequality

$$\frac{\pi }{2} \sqrt{\frac{\tanh ^{-1}(x) }{x}}< K(x)< \frac{\pi }{2} \frac{\tanh ^{-1} ( x ) }{x} ,\quad 0< x< 1.$$
(13)

Alzer and Qiu  presented the inequality

$$\frac{\pi }{2} \biggl( \frac{\tanh ^{-1} ( x ) }{x} \biggr)^{ \mu }< K(x)< \frac{\pi }{2} \biggl( \frac{\tanh ^{-1} ( x ) }{x} \biggr) ^{\nu },\quad 0< x< 1,$$
(14)

with the best possible constants $$\mu = 3/4$$ and $$\nu =1$$, which improved the lower bound of (13). In , Yang et al. proved the inequality

$$\log \frac{4}{\sqrt{1-x^{2}}}< K(x)< \log \biggl( e^{\frac{\pi }{2}}-4+ \frac{4}{\sqrt{1-x^{2}}} \biggr), \quad 0< x< 1.$$
(15)

In 2019, Yang and Tian  deduced the inequality

$$\rho \log \biggl( 1+ \frac{4}{\sqrt{1-x^{2}}} \biggr) < K(x)< \sigma \log \biggl( 1+ \frac{4}{\sqrt{1-x^{2}}} \biggr),$$
(16)

with the best possible constants $$\rho =\frac{\pi }{2 \ln 5}$$ and $$\sigma =1$$. Recently, Wang et al.  presented the inequality

$$K(x)< \log \biggl( 1+\frac{4}{\sqrt{1-x^{2}}} \biggr) \biggl[ \frac{\pi }{2\log 5}+ \biggl( 1-\frac{\pi }{2\log 5} \biggr) x^{2} \biggr],\quad 0< x< 1.$$
(17)

For more details about inequalities, applications, and other related special functions to $$K(x)$$ and $$E(x)$$, we refer to [2, 3, 13, 15, 1722, 2426, 2830] and the references therein.

Padé approximant  of order $$(r,s)$$ of a function $$f(x)$$ is a rational function

$$[r/s]_{f}(x)= \frac{\sum_{i=0}^{r} \alpha _{i} x^{i}}{1+\sum_{i=1}^{s} \beta _{i} x^{i}},\quad r;s\geq 0,$$

where singularities of $$f(x)$$ are only poles. There are many different ways to determine the other coefficients $$\alpha _{j}s$$ for $$0 \leq j \leq r$$ and $$\beta _{k}s$$ for $$1 \leq k \leq s$$. Among them is the matching between the first $$r+s+1$$ coefficients in Maclaurin series $$f(x)=\sum_{k=0}^{\infty }c_{k} x^{k}$$ and the first $$r+s+1$$ coefficients of Padé approximant by the relation

$$\sum_{k=0}^{r+s+1}c_{k} x^{k}= \frac{\sum_{i=0}^{r} \alpha _{i} x^{i}}{ \sum_{i=0}^{s} \beta _{i} x^{i} } \quad\text{or}\quad \Biggl( \sum _{k=0}^{r+s+1}c_{k} x^{k} \Biggr) \Biggl( \sum_{i=0}^{s} \beta _{i} x^{i} \Biggr)= \Biggl( \sum_{i=0}^{r} \alpha _{i} x^{i} \Biggr).$$

Hence, we solve the following equations for $$\alpha _{i}s$$ and $$\beta _{i}s$$:

$$c_{r+1}+\sum_{k=1}^{s}c_{k} \beta _{r+1-k}=0 \quad\text{and}\quad \alpha _{r}=\sum _{k=0}^{r}\beta _{r-k}c_{k},$$

and we have

$$[r/s]_{f}(x)-f(x)=O\bigl(x^{r+s+1}\bigr).$$

## Main results

### Theorem 1

The following inequality

$$K(x) < \frac{\pi }{2} \log \biggl[ \frac{e}{p+1} \biggl( p+ \frac{1}{\sqrt{1-x^{2}}} \biggr) \biggr],\quad 0 < x< 1$$
(18)

holds for the best possible constant $$p=1$$.

### Proof

Consider the function

$$F_{p}(x)=\frac{e^{\frac{{2K(x)}}{\pi }}}{p+\frac{1}{\sqrt{1-x^{2}}}}.$$

Using (4) and (6), we have

$$F'_{p}(\sqrt{x})= \frac{e^{F ( \frac{1}{2},\frac{1}{2},1,x ) }}{4 ( p+\frac{1}{\sqrt{1-x}} ) ^{2}} \biggl[ \biggl( p+ \frac{1}{\sqrt{1-x}} \biggr) F \biggl( \frac{3}{2}, \frac{3}{2},2,x \biggr) -\frac{2}{ ( 1-x ) ^{\frac{3}{2}}} \biggr],$$

and then the function $$F_{p}(\sqrt{x})$$ is strictly decreasing on $$x\in (0,1)$$ if and only if

$$p\leq \frac{2}{F ( \frac{3}{2},\frac{3}{2},2,x ) ( 1-x ) ^{\frac{3}{2}}}-\frac{1}{\sqrt{1-x}} \doteqdot f(x).$$

Using relation (7), we have

$$f(x)= \frac{2-F ( \frac{1}{2},\frac{1}{2},2,x ) }{\sqrt{1-x}F ( \frac{1}{2},\frac{1}{2},2,x ) },$$

and hence

$$f'(x)= \frac{1}{4F ( \frac{1}{2},\frac{1}{2},2,x ) ^{2} ( 1-x ) ^{\frac{3}{2}}} f_{1}(x),$$

where

$$f_{1}(x)= 4F \biggl( \frac{1}{2},\frac{1}{2},2,x \biggr) -2F \biggl( \frac{1}{2},\frac{1}{2},2,x \biggr) ^{2}- ( 1-x ) F \biggl( \frac{3}{2}, \frac{3}{2},3,x \biggr).$$

From (8), we have

\begin{aligned} f_{1}(x) &= 4\sum_{n=0}^{\infty } \frac{W_{n}^{2}}{n+1}x^{n}-2 \Biggl( \sum_{n=0}^{\infty } \frac{W_{n}^{2}}{n+1}x^{n} \Biggr) ^{2}+\sum _{n=0}^{\infty } \frac{2 ( 4n-1 ) W_{n}^{2}}{ ( n+1 ) ( n+2 ) }x^{n} \\ &= -2\sum^{\infty }_{n=0} \sum _{k=0}^{n} \frac{W_{k}^{2}W_{n-k}^{2}}{ ( k+1 ) ( n-k+1 ) }x^{n}+ \sum^{\infty }_{n=0} \frac{6 ( 2n+1 ) W_{n}^{2}}{ ( n+1 ) ( n+2 ) }x^{n} \\ &=-\sum_{n=0}^{\infty }\mu _{n}x^{n}, \end{aligned}

where

$$\mu _{n}=2\sum_{k=0}^{n} \frac{W_{k}^{2}W_{n-k}^{2}}{ ( k+1 ) ( n-k+1 ) }- \frac{6 ( 2n+1 ) W_{n}^{2}}{ ( n+1 ) ( n+2 ) }.$$

Using (9), we obtain

$$\mu _{n} < U_{n} < 0,\quad n \geq 8,$$

and $$\mu _{0}=-1$$, $$\mu _{1}=\frac{-1}{4}$$, $$\mu _{2}=\frac{-17}{128}$$, $$\mu _{3}=\frac{-43}{512}$$, $$\mu _{4}=\frac{-953}{16{,}384}$$, $$\mu _{5}=\frac{-2801}{65{,}536}$$, $$\mu _{6}=\frac{-137{,}401}{4{,}194{,}304}$$, $$\mu _{7}=\frac{-485{,}318}{16{,}777{,}216}$$. Hence $$\mu _{n}<0$$ for $$n\geqslant 0$$, $$f_{1}(x)>0$$ and therefore the function $$f(x)$$ is increasing on $$x \in (0,1)$$ with

$$\lim_{x\rightarrow 0^{+}} f ( x ) =1,$$

which implies that $$p\leq 1$$. Therefore, the function $$F_{p}(x)$$ is strictly decreasing on $$x \in (0,1)$$ if and only if $$p\leq 1$$, and using the first limit in (3), we obtain inequality (18). □

### Theorem 2

The following inequality

$$K(x) > \frac{\pi }{2} \log \biggl[ \frac{e}{q+1} \biggl( q + \frac{1}{\sqrt{1-\frac{11}{12}x^{2}}} \biggr) \biggr],\quad 0< x< 1$$
(19)

holds for the best possible constant $$q=\frac{5}{6}$$.

### Proof

Consider the function

$$H_{q}(x)= \frac{e^{\frac{{2K(x)}}{\pi }}}{q+\frac{1}{\sqrt{1-\frac{11}{12}x^{2}}}}.$$

Using (4) and (6), we have

\begin{aligned} H'_{q}(x)= \frac{e^{F ( \frac{1}{2},\frac{1}{2},1,x ) }}{4 ( q+\frac{1}{\sqrt{1-\frac{11}{12}x}} ) ^{2}} \biggl[ \biggl( q+ \frac{1}{\sqrt{1-\frac{11}{12}x}} \biggr) F \biggl( \frac{3}{2},\frac{3}{2},2,x \biggr) -\frac{11}{6 ( 1-\frac{11}{12}x ) ^{\frac{3}{2}}} \biggr], \end{aligned}

and then the function $$H_{q}(\sqrt{x})$$ is strictly increasing on $$(0,1)$$ if and only if

$$q\geqslant \frac{11}{6F ( \frac{3}{2},\frac{3}{2},2,x ) ( 1-\frac{11}{12}x ) ^{\frac{3}{2}}}- \frac{1}{\sqrt{1-\frac{11}{12}x}}\doteqdot h(x).$$

Then

$$h'(x)= \frac{11\sqrt{3}}{2F ( \frac{3}{2},\frac{3}{2},2,x ) ^{2} ( 12-11x ) ^{\frac{5}{2}}}h_{1} ( x ),$$

where

\begin{aligned} h_{1} ( x ) =132F \biggl( \frac{3}{2},\frac{3}{2},2,x \biggr) +(-24+22x)F \biggl( \frac{3}{2},\frac{3}{2},2,x \biggr) ^{2} +9 ( -12+11x ) F \biggl( \frac{5}{2},\frac{5}{2},3,x \biggr). \end{aligned}

From (8), we have

\begin{aligned} h_{1}(x)={}& 132 \sum_{n=0}^{\infty } \frac{ ( 2n+1 ) ^{2}W_{n}^{2}}{n+1}x^{n}+(-24+22x) \Biggl( \sum _{n=0}^{\infty } \frac{ ( 2n+1 ) ^{2}W_{n}^{2}}{n+1}x^{n} \Biggr) ^{2} \\ &{}+ 9 ( -12+11x )\sum_{n=0}^{{\infty }}\frac{2 ( 2n+1 ) ^{2} ( 2n+3 ) ^{2}W_{n}^{2}}{9 ( n+1 ) ( n+2 ) }x^{n} \\ ={}& 4 \sum_{n=1}^{\infty } \sum _{k=0}^{{n}} \frac{-2 ( 2k+1 ) ^{2} ( ( n-k+\frac{1}{2} ) ^{2}+\frac{11}{4} ) W_{k}^{2}W_{n-k}^{2}}{ ( k+1 ) ( n-k+1 ) } x^{n} \\ &{}- 4 \sum^{\infty }_{n=1} \frac{ ( 2n+1 ) ^{2} ( 2n^{2}-5n-12 ) W_{n}^{2}}{ ( n+1 ) ( n+2 ) }x^{n} \\ ={}& 4 \sum_{n=1}^{\infty}V_{n}x^{n} \end{aligned}

and

\begin{aligned} V_{n}=\sum_{k=0}^{n} \frac{-2 ( 2k+1 ) ^{2} ( ( n-k+\frac{1}{2} ) ^{2}+\frac{11}{4} ) W_{k}^{2}W_{n-k}^{2}}{ ( k+1 ) ( n-k+1 ) } - \frac{ ( 2n+1 ) ^{2} ( 2n+3 ) ( n-4 ) W_{n}^{2}}{ ( n+1 ) ( n+2 ) }. \end{aligned}

The sequence $$V_{n}<0$$ for $$n=4,5,6,\ldots$$ and

$$V_{0}=0, \qquad V_{1}=\frac{-19}{8},\qquad V_{2}= \frac{-663}{128},\qquad V_{3}=\frac{-8367}{1024}.$$

Then $$V_{n}<0$$ for $$n\geqslant 0$$, $$h_{1}(x)<0$$ and therefore the function $$h(x)$$ is decreasing with

$$\lim_{x\rightarrow 0^{+}} h ( x ) =\frac{5}{6},$$

which implies that $$q \geq \frac{5}{6}$$. Therefore, the function $$H_{q}(x)$$ is strictly increasing on $$x\in (0,1)$$ if and only if $$q\geqslant \frac{5}{6}$$, and using the limits in (3), we obtain inequality (19). □

Based on the Padé approximation method, we can conclude the following approximations.

### Proposition 3

The Padé approximations of orders $$(3, 4)$$ and $$(3,7)$$ of the function

\begin{aligned} f(x) &= \frac{2 e^{\frac{2}{\pi }K(x)-1}}{ (1+\frac{1}{\sqrt{1-x^{2}}} )} \\ &= 1-\frac{x^{4}}{64}-\frac{13 x^{6}}{768} -\frac{261 x^{8}}{16{,}384} - \frac{14{,}317 x^{10}}{983{,}040} +\cdots,\quad x \rightarrow 0 \end{aligned}

are the following rational functions:

$$[3/4]_{f}(x)= \frac{1-\frac{13 x^{2}}{12}}{1-\frac{13 x^{2}}{12}+\frac{x^{4}}{64}}+O \bigl(x^{8}\bigr)$$
(20)

and

$$[3/7]_{f}(x)= \frac{1-\frac{795 x^{2}}{832}}{1-\frac{795 x^{2}}{832}+\frac{x^{4}}{64}+\frac{319 x^{6}}{159{,}744}}+O \bigl(x^{11}\bigr).$$
(21)

### Proposition 4

The Padé approximations of orders $$(3, 7)$$ and $$(3,9)$$ of the function

\begin{aligned} g(x) &= \frac{11 e^{\frac{2}{\pi }K(x)-1}}{12 (\frac{1}{\frac{5}{6}+\sqrt{1-\frac{11 x^{2}}{12}}} )} \\ &= \frac{1}{2} +\frac{19 x^{6}}{9216} +\frac{403 x^{8}}{110{,}592} + \frac{167{,}659 x^{10}}{35{,}389{,}440} +\frac{1{,}862{,}857 x^{12}}{339{,}738{,}624} +\cdots,\quad x \rightarrow 0 \end{aligned}

are the following rational functions:

$$[3/7]_{g}(x)= \frac{\frac{1}{2}-\frac{403 x^{2}}{456}}{-\frac{19 x^{6}}{4608}-\frac{403 x^{2}}{228}+1}+O \bigl(x^{11}\bigr)$$
(22)

and

$$[3/9]_{g}(x)= \frac{\frac{1}{2}-\frac{167{,}659 x^{2}}{257{,}920}}{1-\frac{167{,}659 x^{2}}{128{,}960}-\frac{19 x^{6}}{4608}-\frac{3{,}436{,}157 x^{8}}{1{,}782{,}743{,}040}}+O \bigl(x^{13}\bigr).$$
(23)

Unfortunately, formulas (20),(21), (22), and (23) did not give bounds of the function $$K(x)$$ for all x in the domain $$(0,1)$$. But formula (20) motivates us to establish the following inequalities.

### Theorem 5

The following inequality

$$K(x)< \frac{\pi }{2}\log \biggl( \frac{e}{2} \biggl( 1+ \frac{1}{\sqrt{1-x^{2}}} \biggr) \biggl( \frac{1-\frac{96}{100}x^{2}}{1-\frac{96}{100}x^{2}+\frac{x^{4}}{64}} \biggr) \biggr)$$
(24)

holds for $$0 < x<1$$.

### Proof

Consider the function

$$T(x)= \frac{e^{\frac{{2K(x)}}{\pi }}}{\frac{e}{2} ( 1+\frac{1}{\sqrt{1-x^{2}}} ) ( \frac{1-\frac{96}{100}x^{2}}{1-\frac{96}{100}x^{2}+\frac{x^{4}}{64}} ) },$$

and hence

$$T'(\sqrt{x})= \frac{ ( -1600+ ( 1536-25x ) x ) e^{F ( \frac{1}{2},\frac{1}{2},1,x ) }}{ 128 e \sqrt{1-x} (-25+24x)(1+\sqrt{1-x}) } \frac{t_{1}(x)}{(x^{2}-1) },$$

where

$$t_{1}(x)=w_{1}(x)-w_{2}(x)$$

with

$$w_{1} ( x ) = \bigl( x^{2}-1 \bigr) F \biggl( \frac{1}{2},\frac{1}{2},2,x \biggr)$$

and

\begin{aligned} w_{2} ( x ) ={}& \frac{(x^{2}-1)}{(1+\sqrt{1-x})(25-24x) ( 1600- ( 1536-25x ) x ) } \bigl[ 80{,}000 \\ &{}- 200 ( 793+25\sqrt{1-x} ) x+ ( 82{,}378+7400\sqrt{1-x} ) x^{2} \\ &{}- 1200 ( 3+2\sqrt{1-x} ) x^{3} \bigr]. \end{aligned}

Now

\begin{aligned} w_{1} ( x ) & =\sum_{n=0}^{\infty } \frac{W_{n}^{2}}{n+1}x^{n+2}-\sum_{n=0}^{\infty} \frac{W_{n}^{2}}{n+1}x^{n} \\ & =-1-\frac{x}{8}+\sum_{n=2}^{\infty } \frac{ ( 64n^{3}-104n^{2}+48n-9 ) W_{n}^{2}}{ ( n+1 ) ( 2n-1 ) ^{2} ( 2n-3 ) ^{2}}x^{n} \end{aligned}

and

$$w''_{1}(x)=\sum _{n=0}^{\infty } \frac{ ( n+1 ) ( n+2 ) ( 183+400n+280n^{2}+64n^{3} ) W_{n+2}^{2}}{ ( n+3 ) ( 3+4n ( n+2 ) ) ^{2}}x^{n}.$$

Then $$w_{1} ( x )$$ is a convex function between the points $$(0,-1)$$ and $$(1,0)$$. Also,

$$w''_{2}\bigl(1-u^{2}\bigr) = \frac{w_{3} ( u ) }{w_{4} ( u )},\quad 0< u< 1,$$

where

$$w_{4} ( u ) =-2u\bigl(89+3622u^{2}+35{,}689u^{4}+600u^{6} \bigr)^{3}(1+u)^{3}< 0$$

and

\begin{aligned} w_{3} ( u ) ={}&{-}422{,}9814-171{,}806{,}490u-1{,}017{,}032{,}637u^{2}-107{,}1925{,}167u^{3}\\ &{}-26{,}188{,}833{,}484u^{4} +167{,}770{,}858{,}692u^{5}-106{,}178{,}812{,}935u^{6}\\ &{}+2{,}315{,}906{,}378{,}995u^{7}-2{,}725{,}881{,}138{,}990u^{8} -8{,}235{,}729{,}120{,}210u^{9}\\ &{}-93{,}146{,}282{,}277{,}931u^{10}-135{,}010{,}050{,}058{,}665u^{11} -381{,}354{,}896{,}855{,}688u^{12}\\ &{} -469{,}576{,}678{,}642{,}848u^{13}-381{,}450{,}253{,}571{,}121u^{14} \\ &{} -157{,}869{,}853{,}296{,}507u^{15}-117{,}933{,}228{,}362{,}600u^{16} \\ &{}-118{,}127{,}740{,}267{,}800u^{17} -38{,}943{,}594{,}964{,}800u^{18}-1{,}971{,}366{,}120{,}000u^{19} \\ &{}-629{,}017{,}920{,}000u^{20} - 11{,}016{,}000{,}000u^{21}-3{,}456{,}000{,}000u^{22} \\ ={}&(1-u)^{24} \int _{0}^{\infty }e^{(1-u)t}w_{5} ( t )\,dt < 0, \end{aligned}

where

\begin{aligned} w_{5}(t)={}&{-}\frac{1{,}937{,}500 t^{23}}{26{,}298{,}031{,}350{,}591}- \frac{415{,}555{,}625 t^{22}}{18{,}294{,}282{,}678{,}672}- \frac{154{,}777{,}075 t^{21}}{48{,}915{,}194{,}328}\\ &{}- \frac{167{,}679{,}321{,}125 t^{20}}{633{,}568{,}231{,}296} -\frac{90{,}786{,}961{,}225 t^{19}}{6{,}092{,}002{,}224}- \frac{100{,}101{,}056{,}444{,}021 t^{18}}{166{,}728{,}481{,}920}\\ &{}- \frac{3{,}562{,}788{,}612{,}574{,}819 t^{17}}{198{,}486{,}288{,}000} -\frac{133{,}198{,}651{,}249{,}637{,}299 t^{16}}{326{,}918{,}592{,}000} \\ &{}- \frac{2{,}692{,}769{,}780{,}390{,}699 t^{15}}{378{,}378{,}000}- \frac{174{,}766{,}864{,}343{,}435{,}699 t^{14}}{1{,}816{,}214{,}400} \\ &{}-\frac{43{,}522{,}631{,}386{,}179{,}371 t^{13}}{43{,}243{,}200}- \frac{5{,}123{,}113{,}557{,}369{,}119 t^{12}}{633{,}600}\\ &{}- \frac{122{,}852{,}110{,}141{,}292{,}563 t^{11}}{2{,}494{,}800} -\frac{809{,}450{,}870{,}289{,}838{,}177 t^{10}}{3{,}628{,}800}\\ &{}- \frac{2{,}111{,}790{,}435{,}345{,}101 t^{9}}{2880}- \frac{68{,}468{,}628{,}875{,}595{,}707 t^{8}}{40{,}320} \\ &{}-\frac{169{,}054{,}344{,}340{,}120 t^{7}}{63}-\frac{5{,}639{,}548{,}747{,}095 t^{6}}{2}-1{,}965{,}373{,}967{,}040 t^{5} \\ &{}-924{,}471{,}855{,}000 t^{4} -276{,}448{,}320{,}000 t^{3}-43{,}524{,}000{,}000 t^{2}\\ &{}-3{,}456{,}000{,}000 t < 0. \end{aligned}

Then $$w_{2} ( x )$$ is a convex function between the same two points $$(0,-1)$$ and $$(1,0)$$. Also,

$$\lim_{x\rightarrow 0^{+}} w'_{2}(x) = \frac{-1}{8},\qquad \lim_{x\rightarrow 0^{+}} w'_{1}(x) =\frac{-1}{8}$$

and

$$\lim_{x\rightarrow 1^{-}} w'_{2}(x) =4 ,\qquad \lim _{x\rightarrow 1^{-}} w'_{1}(x) =\frac{8}{\pi }.$$

Then $$w_{1} ( x ) > w_{2} ( x )$$, $$t_{1}(x)>0$$ and $$T(x)$$ is decreasing on $$x \in (0,1)$$. Hence, using the limits in (3), we obtain inequality (24). □

### Theorem 6

The inequality

$$K(x) > \frac{\pi }{2}\log \biggl( \frac{e}{2} \biggl( 1+ \frac{1}{\sqrt{1-x^{2}}} \biggr) \biggl( \frac{1-x^{2}}{1-x^{2}+\frac{x^{4}}{62}} \biggr) \biggr)$$
(25)

holds for $$x \in (0,1)$$.

### Proof

Consider the function

$$G(x)= \frac{e^{\frac{{2K(x)}}{\pi }}}{\frac{e}{2} ( 1+\frac{1}{\sqrt{1-x^{2}}} ) ( \frac{1-x^{2}}{1-x^{2}+\frac{x^{4}}{62}} ) }$$

and hence

$$G'(\sqrt{x})= \frac{ ( 62-62x+x^{2} ) e^{F ( \frac{1}{2},\frac{1}{2},1,x ) }}{ 124 e (1-x)^{\frac{3}{2}}(1+\sqrt{1-x}) }g_{1} ( x ),$$

where

$$g_{1} ( x ) =F \biggl( \frac{1}{2},\frac{1}{2},2,x \biggr) - \frac{2(62-2 ( 33+2\sqrt{1-x} ) x+ ( 3+2\sqrt{1-x} ) x^{2}}{(1+\sqrt{1-x}) ( 62-62x+x^{2} ) }.$$

Using (5), we get

$$F \biggl( \frac{1}{2},\frac{1}{2},2,x \biggr)=\sum _{n=0}^{\infty } \frac{W^{2}_{n}}{n+1} x^{n} >1+\frac{x}{8}+\frac{3x^{2}}{64}+\frac{25x^{3}}{1024}.$$
(26)

Now let

\begin{aligned} &g_{2}(x) = (1+\sqrt{1-x})^{2} \biggl( 2\bigl(62-2 ( 33+2 \sqrt{1-x} ) x+ ( 3+2\sqrt{1-x} ) x^{2} \bigr) \\ &\phantom{g_{2}(x) =}{}- \biggl( 1+\frac{x}{8}+\frac{3x^{2}}{64}+\frac{25x^{3}}{1024} \biggr) (1+\sqrt{1-x}) \bigl( 62-62x+x^{2} \bigr) \biggr). \\ &g'_{2}\bigl(1-u^{2}\bigr)=\frac{g_{3} ( u ) }{2048u},\quad 0< u< 1, \end{aligned}

where

\begin{aligned} g_{3}(u) ={}& {-}1225-114{,}096u+533{,}640u^{2}-875{,}268u^{3}+489{,}925u^{4}+154{,}176u^{5} \\ &{}- 194{,}208u^{6}-67{,}464u^{7}+75{,}897u^{8}+13{,}520u^{9}-14{,}872u^{10}+300u^{11}\\ &{}-325u^{12} - 194{,}208u^{6}-67{,}464u^{7}+75{,}897u^{8}+13{,}520u^{9}-14{,}872u^{10}\\ &{}+300u^{11}-325u^{12} \\ ={}& (1-u)^{14} \int _{0}^{\infty }e^{(1-u)t}g_{4} ( t ) \,dt \\ < {}& 0, \end{aligned}

where

\begin{aligned} g_{4}(t) ={}& {-}\frac{1}{623{,}700} \bigl[ 48 t^{11}+6864 t^{10}+313{,}225 t^{9}+5{,}268{,}780 t^{8} \\ &{}+ 85{,}446{,}900 t^{7}+794{,}011{,}680 t^{6}+3{,}030{,}340{,}005 t^{5}+4{,}942{,}822{,}500 t^{4} \\ &{}+ 3{,}432{,}636{,}900 t^{3} +1{,}122{,}660{,}000 t^{2}+202{,}702{,}500 t\bigr]. \end{aligned}

Then $$g_{2}(x)$$ is deceasing with

$$\lim_{x\rightarrow 0^{+}} g_{2}(x)=0.$$

Hence $$g_{2}(x)<0$$, and we have

$$\frac{2(62-2 ( 33+2\sqrt{1-x} ) x+ ( 3+2\sqrt{1-x} ) x^{2}}{(1+\sqrt{1-x}) ( 62-62x+x^{2} ) }< 1+\frac{x}{8}+ \frac{3x^{2}}{64}+ \frac{25x^{3}}{1024}.$$
(27)

From inequalities (26) and (27), we get $$g_{1}(x)>0$$ and the function $$G(x)$$ is increasing. Hence, using the limits in (3), we obtain inequality (25) □

## Remarks

Comparing our new bounds of the function $$K(x)$$ with its previous ones presents the following remarks.

### Remark 7

Our upper bound in (24) is better than our upper bound in (18) for $$x \in (0,1)$$.

### Remark 8

The upper bound in (24) is better than the upper bound in (11) for $$x \in (0,0.97)$$.

### Remark 9

The upper bound in (24) is better than the upper bound in (14) for $$x \in (0,1)$$.

### Remark 10

The upper bound in (24) is better than the upper bound in each of (15), (16), and (17) for $$x \in (0,0.98)$$.

### Remark 11

Our lower bounds in (19) and (25) are not contained in each other for $$x \in (0,1)$$.

### Remark 12

Our lower bound in (25) is better than the lower bound in (12) for $$x \in (0,9)$$.

### Remark 13

The lower bound in (25) is better than the lower bound in (14) for $$x \in (0,87)$$.

### Remark 14

The lower bound in (25) is better than the lower bound in (15) for $$x \in (0,94)$$.

### Remark 15

The lower bound in (25) is better than the lower bound in (16) for $$x \in (0,91)$$.

## Availability of data and materials

The data used to support the findings of this study are available from the corresponding author upon request.

## References

1. 1.

Alzer, H., Qiu, S.L.: Monotonicity theorems and inequalities for the complete elliptic integrals. J. Comput. Appl. Math. 172, 289–312 (2004)

2. 2.

Alzer, H., Richards, K.: Inequalities for the ratio of complete elliptic integrals. Proc. Am. Math. Soc. 145(4), 1661–1670 (2017)

3. 3.

Anderson, G.D., Qiu, S.-L., Vamanamurthy, M.K.: Elliptic integral inequalities, with applications. Constr. Approx. 14(2), 195–207 (1998)

4. 4.

Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Functional inequalities for hypergeometric functions and complete elliptic integrals. SIAM J. Math. Anal. 23(2), 512–524 (1992)

5. 5.

Andrews, G.E., Askey, R.A., Roy, R.: Special Functions. Encyclopedia of Mathematics and Its Applications, vol. 71. Cambridge University Press, Cambridge (1999)

6. 6.

Baker, G.A. Jr., Graves-Morris, P.: Padé Approximants, 2nd edn. Cambridge University Press, Cambridge (1996)

7. 7.

Brezinski, C.: Rational approximation to formal power series. J. Approx. Theory 25, 295–317 (1979)

8. 8.

Brezinski, C.: Padé-Type Approximation and General Orthogonal Polynomials. ISNM, vol. 50. Birkhäuser, Basel (1980)

9. 9.

Byrd, P.F., Friedman, M.D.: Handbook of Elliptic Integrals for Engineers and Scientists. Springer, New York (1971)

10. 10.

Cao, X., Wang, R.: Some inequalities for the ratio of gamma functions. Arch. Inequal. Appl. 2015, 178 (2015)

11. 11.

Carlson, B.C., Gustafson, J.L.: Asymptotic expansion of the first elliptic integral. SIAM J. Math. Anal. 16(5), 1072–1092 (1985)

12. 12.

Chen, C.P., Qi, F.: Completely monotonic function associated with the gamma functions and proof of Wallis inequality. Tamkang J. Math. 36(4), 303–307 (2005)

13. 13.

Chu, Y.-M., Wang, M.-K., Qiu, S.-L.: Optimal combinations bounds of root-square and arithmetic means for Toader mean. Proc. Indian Acad. Sci. Math. Sci. 122(1), 41–51 (2012)

14. 14.

Hancock, H.: Elliptic Integrals. Dover, New York (1958)

15. 15.

Huang, T.-R., Tan, S.-Y., Ma, X.-Y., Chu, Y.-M.: Monotonicity properties and bounds for the complete p-elliptic integrals. J. Inequal. Appl. 2018, 239 (2018)

16. 16.

Kühnau, R.: Eine methode die Positivität einer Funktion zu prüfen. Z. Angew. Math. Mech. 74, 140–143 (1994)

17. 17.

Li, Y.-M., Xia, W.-F., Chu, Y.-M., Zhang, X.-H.: Optimal lower and upper bounds for the geometric convex combination of the error function. J. Inequal. Appl. 2015, 382 (2015)

18. 18.

Milovanović, G.V., Rassias, M.T. (eds.): Analytic Number Theory, Approximation Theory and Special Functions Springer, Berlin (2014)

19. 19.

Mitrinovic, D.S., Pecaric, J.E., Fink, A.M.: Inequalities Involving Functions and Their Integrals and Derivatives. Kluwer Academic, Dordrecht (1991)

20. 20.

Mitrinovic, D.S., Pecaric, J.E., Fink, A.M.: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht (1993)

21. 21.

Qi, F., Huang, Z.: Inequalities of the complete elliptic integrals. Tamkang J. Math. 29(3), 165–169 (1998)

22. 22.

Qian, W.-M., He, Z.-Y., Chu, Y.-M.: Approximation for the complete elliptic integral of the first kind. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(2), Article ID 57 (2020)

23. 23.

Rainville, E.: Special Functions. Macmillan Co., New York (1960)

24. 24.

Song, Y.-Q., Khan, M.A., Ullah, S.Z., Chu, Y.-M.: Integral inequalities involving strongly convex functions. J. Funct. Spaces 2018, Aritcle ID 6595921 (2018)

25. 25.

Vamanamurthy, M.K., Vuorinen, M.: Inequalities for means. J. Math. Anal. Appl. 183(1), 155–166 (1994)

26. 26.

Wang, M.-K., Chu, H.-H., Chu, Y.-M.: Precise bounds for the weighted Hölder mean of the complete p-elliptic integrals. J. Math. Anal. Appl. 480(2), Article ID 123388 (2019)

27. 27.

Wang, M.K., Chu, H.H., Li, Y.M., Chu, Y.M.: Answers to three conjectures on convexity of three functions involving complete elliptic integrals of the first kind. Appl. Anal. Discrete Math. 14, 255–271 (2020). https://doi.org/10.2298/AADM190924020W

28. 28.

Wang, B., Luo, C.-L., Li, S.-H., Chu, Y.-M.: Sharp one-parameter geometric and quadratic means bounds for the Sándor–Yang means. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(1), Article ID 7 (2020)

29. 29.

Wang, H., Qian, W.-M., Chu, Y.-M.: Optimal bounds for Gaussian arithmetic geometric mean with applications to complete elliptic integral. J. Funct. Spaces 2016, Article ID 3698463 (2016)

30. 30.

Wang, M.-K., Zhang, W., Chu, Y.-M.: Monotonicity, convexity and inequalities involving the generalized elliptic integrals. Acta Math. Sci. 39B(5), 1440–1450 (2019)

31. 31.

Yang, Z.H., Mao, W.M., Chu, Y.M.: Monotonicity properties and bounds involving the complete elliptic integral of first kind. Math. Inequal. Appl. 21(4), 1185–1199 (2018)

32. 32.

Yang, Z.H., Tian, J.F.: Convexity and monotonicity for elliptic integrals of the first kind and applications. Appl. Anal. Discrete Math. 13, 240–260 (2019)

Not applicable.

Not applicable.

## Author information

Authors

### Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Mansour Mahmoud.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions 