Numerical study of aerodynamic drag reduction of a circular cylinder with an inbuilt nozzle

1.   Introduction

It is well known that the convexity ^{[1,2,3,4,5,6,8,9,11,15,16,40,55,63,64]}, monotonicity ^{[7,12,13,14,41,42,43,44,45,46,47,48,49,50,51,52,53]} and complete monotonicity ^{[58,59,61,62]} have widely applications in many branches of pure and applied mathematics ^{[19,24,28,32,35,38,65]}. In particular, many important inequalities ^{[20,25,30,33,37,39,69]} can be discovered by use of the convexity, monotonicity and complete monotonicity. The concept of complete monotonicity can be traced back to 1920s ^[18]. Recently, the complete monotonicity has attracted the attention of many researchers ^{[23,34,56,67]} due to it has become an important tool to study geometric function theory ^[26,31,36], its definition can be simply stated as follows.

Definition 1.1. Let $I\subseteq \mathbb{R}$ be an interval. Then a real-valued function $f: I\mapsto\mathbb{R}$ is said to be completely monotonic on $I$ if $f$ has derivatives of all orders on $I$ and satisfies

for all $x\in I$ and $n = 0, 1, 2, \cdots$.

If $I = (0, \infty)$, then a necessary and sufficient condition for the complete monotonicity can be found in the literature ^[54]: the real-valued function $f: (0, \infty)\mapsto\mathbb{R}$ is completely monotonic on $(0, \infty)$ if and only if

is a Laplace transform, where $\alpha\left(t\right)$ is non-decreasing and such that the integral of (1.2) converges for $0 < x < \infty$.

In 1997, Alzer ^[10] studied a class of completely monotonic functions involving the classical Euler gamma function ^{[21,22,60,66,68]} and obtained the following result.

Theorem 1.1. Let $n\geq 0$ be an integer, $\kappa(x)$ and $f_{n}\left(x\right)$ be defined on $(0, \infty)$ by

and

where $B_{n}$ denotes the Bernoulli number. Then both the functions $x\mapsto f_{2n}\left(x\right)$ and $x\mapsto -f_{2n+1}\left(x\right)$ are strictly completely monotonic on $\left(0, \infty \right)$.

In 2009, Koumandos and Pedersen ^[27] first introduced the concept of completely monotonic functions of order $r$. In 2012, Guo and Qi ^[17] proposed the concept of completely monotonic degree of nonnegative functions on $(0, \infty)$. Since the completely monotonic degrees of many functions are integers, in this paper we introduce the concept of the completely monotonic integer degree as follows.

Definition 1.2. Let $f(x)$ be a completely monotonic function on $(0, \infty)$ and denote $f(\infty) = \lim_{x\rightarrow \infty }f(x)$. If there is a most non-negative integer $k$ $(\leq \infty)$ such that the function $x^{k}[f(x)-f(\infty)]$ is completely monotonic on $(0, \infty)$, then $k$ is called the completely monotonic integer degree of $f(x)$ and denoted as $\deg _{cmi}^{x}\left[f\left(x\right) \right] = k$.

Recently, Qi and Liu ^[29] gave a number of conjectures about the completely monotonic degrees of these fairly broad classes of functions. Based on thirty six figures of the completely monotonic degrees, the following conjectures for the functions $\left(-1\right) ^{m}R_{n}^{(m)}(x) = \left(-1\right) ^{m}\left[\left(-1\right) ^{n}f_{n}(x) \right] ^{\left(m\right) } = \left(-1\right) ^{m+n}f_{n}^{\left(m\right) }(x)$ are shown in ^[29]:

(ⅰ) If $m = 0,$ then

(ⅱ) If $m = 1$, then

(ⅲ) If $m\geq 1,$ then

In this paper, we get the complete monotonicity of lower-order derivative and lower-scalar functions $\left(-1\right) ^{m}R_{n}^{(m)}(x)$ and their completely monotonic integer degrees using the Definition 1.2 and a common sense in Laplace transform that the original function has the one-to-one correspondence with the image function, and demonstrated the correctness of the existing conjectures by using a elementary simple method. The negative conclusion to the second clause of (1.7) is given. Finally, we propose some operational conjectures which involve the completely monotonic integer degrees for the functions $\left(-1\right) ^{m}R_{n}^{(m)}(x)$ for $m = 0, 1, 2, \cdots$.

2.   Lemmas

In order to prove our main results, we need several lemmas and a corollary which we present in this section.

Lemma 2.1. If the function $x^{n}f(x)$ $(n\geq 1)$ is completely monotonic on $(0, \infty)$, so is the function $x^{n-1}f(x)$.

Proof. Since the function $1/x$ is completely monotonic on $(0, \infty)$, we have $x^{n-1}f(x) = \left(1/x\right) \left[x^{n}f(x)\right]$ is completely monotonic on $(0, \infty)$ too.

Corollary 2.1. Let $\alpha \left(t\right) \geq 0$ be given in (1.2). Then the functions $x^{i-1}f(x)$ for $i = n, n-1, \cdots, 2, 1$ are completely monotonic on $(0, \infty)$ if the function $x^{n}f(x)$ $(n\in \mathbb{N})$ is completely monotonic on $(0, \infty)$.

The above Corollary 2.1 is a theoretical cornerstone to find the completely monotonic integer degree of a function $f(x)$. According to this theory and Definition 1.2, we only need to find a nonnegative integer $k$ such that $x^{k}f(x)$ is completely monotonic on $(0, \infty)$ and $x^{k+1}f(x)$ is not, then $\deg _{cmi}^{x}\left[f(x)\right] = k$.

The following lemma comes from Yang ^[57]:

Lemma 2.2. Let $f_{n}\left(x\right)$ be defined as (1.4). Then $f_{n}\left(x\right)$ can be written as

where

Lemma 2.3. Let $m, r\geq 0,$ $n\geq 1,$ $f_{n}\left(x\right)$ and $p_{n}\left(t\right)$ be defined as (2.1) and (2.2). Then

Proof. It follows from (2.1) that

Repeat above process. Then we come to the conclusion that

which completes the proof of Lemma 2.3.

3.   Complete monotonicity of the functions $R_{n}(x)$ and their completely monotonic integer degrees

In recent paper ^[70] the reslut $\deg _{cmi}^{x}\left[R_{1}(x)\right] = \deg _{cmi}^{x}\left[-f_{1}\left(x\right) \right] = 1$ was proved. In this section, we mainly discuss $\deg _{cmi}^{x}\left[R_{2}(x)\right]$ and $\deg _{cmi}^{x}\left[R_{3}(x)\right]$. Then discuss whether the most general conclusion exists about $\deg _{cmi}^{x}\left[R_{n}(x)\right]$.

Theorem 3.1. The function $x^{3}R_{2}(x)$ is not completely monotonic on $\left(0, \infty \right)$, and

Proof. Note that the function $x^{2}R_{2}(x)$ is completely monotonic on $(0, \infty)$ due to

where

So $\deg _{cmi}^{x}\left[R_{2}(x)\right] \geq 2$.

On the other hand, we can prove that the function $x^{3}f_{2}\left(x\right) = x^{3}R_{2}(x)$ is not completely monotonic on $(0, \infty)$. By (2.3) we have

then by (1.2), we can complete the staged argument since we can verify

is not true for all $t > 0$ due to

with $p_{2}^{\prime \prime \prime }\left(10\right) = -0.000\, 36\cdots$.

Theorem 3.2. The function $x^{4}R_{3}(x)$ is completely monotonic on $\left(0, \infty \right)$, and

Proof. By (2.3) we obtain that

From (2.2) we clearly see that

or

where

with

for all $n\geq 5$. So $x^{4}R_{3}(x)$ is completely monotonic on $(0, \infty)$, which implies $\deg _{cmi}^{x}\left[R_{3}(x)\right] \geq 4$.

Then we shall prove $x^{5}R_{3}(x) = -x^{5}f_{3}\left(x\right)$ is not completely monotonic on $(0, \infty)$. Since

and

where

We find $K(5)\thickapprox -2.\, 631\, 5\times 10^{13} < 0$, which means $-p_{3}^{(5)}\left(5\right) < 0$. So the function $x^{5}R_{3}(x) = -x^{5}f_{3}\left(x\right)$ is not completely monotonic on $(0, \infty)$.

In a word, $\deg _{cmi}^{x}\left[R_{3}(x)\right] = \deg _{cmi}^{x}\left[-f_{3}\left(x\right) \right] = 4.$

Remark 3.1. So far, we have the results about the completely monotonic integer degrees of such functions, that is, $\deg _{cmi}^{x}\left[R_{1}(x)\right] = 1$ and $\deg _{cmi}^{x}\left[R_{n}(x) \right] = 2\left(n-1\right)$ for $n = 2, 3$, and find that the existing conclusions support the conjecture (1.5).

4.   Complete monotonicity of the functions $-R_{n}^{\prime }(x)$ $($ $1\leq n\leq 3)$ and their completely monotonic integer degrees

In this section, we shall calculate the completely monotonic degrees of the functions $\left(-1\right) ^{m}R_{n}^{(m)}(x)$, where $m = 1$ and $1\leq n\leq 3.$

Theorem 4.1 The function $-x^{2}R_{1}^{\prime }(x) = x^{2}f_{1}^{\prime }(x)$ is completely monotonic on $\left(0, \infty \right)$, and

Proof. By the integral representation (2.3) we obtain

So we complete the proof of result that $x^{2}f_{1}^{\prime }(x)$ is completely monotonic on $\left(0, \infty \right)$ when proving

In fact,

Then we have $\deg _{cmi}^{x}\left[\left(-1\right) ^{1}R_{1}^{\prime }(x)] \right. \geq 2.$

Here $-x^{3}R_{1}^{\prime }(x) = x^{3}f_{1}^{\prime }(x)$ is not completely monotonic on $\left(0, \infty \right)$. By (2.2) and (2.3) we have

and

with $\left[-tp_{1}\left(t\right) \right] ^{\prime \prime \prime }\left\vert _{t = 2}\right. \thickapprox -3.\, 623\, 7\times 10^{-2} < 0.$

Theorem 4.2. The function $-x^{3}R_{2}^{\prime }(x)$ is completely monotonic on $\left(0, \infty \right)$, and

Proof. First, we can prove that the function $-x^{3}R_{2}^{\prime }(x)$ is completely monotonic on $\left(0, \infty \right)$. Using the integral representation (2.3) we obtain

and complete the proof of the staged argument when proving

In fact,

where

for all $n\geq 3$.

On the other hand, by (2.3) we obtain

and

is not positive on $\left(0, \infty \right)$ due to $L^{(4)}(10) \thickapprox -2.\, 399\, 3\times 10^{-4} < 0$, we have that $-x^{4}R_{2}^{\prime }(x)$ is not completely monotonic on $\left(0, \infty \right)$.

Theorem 4.3. The function $-x^{5}R_{3}^{\prime }(x)$ is completely monotonic on $\left(0, \infty \right)$, and

Proof. We shall prove that $-x^{5}R_{3}^{\prime }(x) = x^{5}f_{3}^{\prime }(x)$ is completely monotonic on $\left(0, \infty \right)$ and $-x^{6}R_{3}^{\prime }(x) = x^{6}f_{3}(x)$ is not. By (2.2) and (2.3) we obtain

and

we have

where

Since

we obtain the expected conclusions.

Remark 4.1. The experimental results show that the conjecture (1.6) may be true.

5.   Complete monotonicity of the functions $R_{n}^{\prime \prime }(x)$ $($ $1\leq n\leq 3)$ and their completely monotonic integer degrees

Theorem 5.1. The function $x^{3}R_{1}^{\prime \prime }(x)$ is completely monotonic on $\left(0, \infty \right)$, and

Proof. By (2.2) and (2.3) we obtain

and

So $x^{3}R_{1}^{\prime \prime }(x)$ is completely monotonic on $\left(0, \infty \right)$.

But $x^{4}R_{1}^{\prime \prime }(x)$ is not completely monotonic on $\left(0, \infty \right)$ due to

and

with $\left[-t^{2}p_{1}\left(t\right) \right] ^{(4)}\vert _{t = 10}\thickapprox -5.\, 276\, 6\times 10^{-7} < 0.$

So

Remark 5.1. Here, we actually give a negative answer to the second paragraph of conjecture (1.7).

Theorem 5.2. The function $x^{4}R_{2}^{\prime \prime }(x)$ is completely monotonic on $\left(0, \infty \right)$, and

Proof. By (2.2) and (2.3) we

and

Since

and

with $\left[t^{2}p_{2}\left(t\right) \right] ^{(5)}\left\vert _{t = 10}\right. \thickapprox -9.\, 893\, 5\times 10^{-7} < 0$, we have that $x^{5}f_{2}^{\prime \prime }(x)$ is not completely monotonic on $\left(0, \infty \right)$. So

Theorem 5.3. The function $x^{6}R_{3}^{\prime \prime }(x)$ is completely monotonic on $\left(0, \infty \right)$, and

Proof. By the integral representation (2.3) we obtain

It follows from (2.2) that

where

with

Since $c_{i} > 0$ for $i = 4, 5, 6, 7$, and

for all $n\geq 8$. So $c_{n} > 0$ for all $n\geq 4$. Then $r(t) > 0$ and $-N^{(6)}(t) > 0$ for all $t > 0$. So $x^{6}R_{3}^{\prime \prime }(x)$ is completely monotonic on $\left(0, \infty \right)$.

In view of $-N^{(7)}(1.5)\thickapprox-0.57982 < 0$, we get $x^{7}R_{3}^{\prime \prime }(x)$ is not completely monotonic on $\left(0, \infty \right)$. The proof of this theorem is complete.

Remark 5.2. The experimental results show that the conjecture (1.7) may be true for $n, m\geq 2$.

6.   Conjectures for the completely monotonic integer degrees of the functions $\left(-1\right) ^{m}R_{n}^{\left(m\right) }(x)$

In this way, the first two paragraphs for conjectures (1.5) and (1.6) have been confirmed, leaving the following conjectures to be confirmed:

and for $m\geq 1,$

where the first formula and second formula in (6.3) are two new conjectures which are different from the original ones.

By the relationship (2.3) we propose the following operational conjectures.

Conjecture 6.1. Let $n\geq 4,$ and $p_{n}\left(t\right)$ be defined as (2.2). Then

holds for all $t\in \left(0, \infty \right)$ and

is not true for all $t\in \left(0, \infty \right)$.

Conjecture 6.2. Let $n\geq 4,$ and $p_{n}\left(t\right)$ be defined as (2.2). Then

holds for all $t\in \left(0, \infty \right)$ and

is not true for all $t\in \left(0, \infty \right)$.

Conjecture 6.3. Let $m\geq 1,$ and $p_{n}\left(t\right)$ be defined as (2.2). Then

hold for all $t\in \left(0, \infty \right)$, and

are not true for all $t\in \left(0, \infty \right)$.

Conjecture 6.4. Let $m\geq 1,$ $n\geq 2,$ and $p_{n}\left(t\right)$ be defined as (2.2). Then

holds for all $t\in \left(0, \infty \right)$ and

is not true for all $t\in \left(0, \infty \right)$.

Acknowledgments

The author would like to thank the anonymous referees for their valuable comments and suggestions, which led to considerable improvement of the article.

The research is supported by the Natural Science Foundation of China (Grant No. 61772025).

Conflict of interest

The author declares no conflict of interest in this paper.