1 Introduction

The paper discusses an analytical method for qualitative investigations of fractional delay differential equations (FDDEs). These equations are currently very intensively studied due to their importance in various application areas, with a special emphasis to control theory. Indeed, presence of both the time lag as well as non-integer derivative order as control or tunning parameters in studied models provides a very efficient tool for various control processes such as stabilization or destabilization of the particular solutions of these models (for a pioneering work in this direction we refer to [17]).

Systematic investigations of FDDEs were initiated in the paper [9]. Here, stability properties of

$$\begin{aligned} \textrm{D}_{}^{\alpha } x(t)=\lambda x(t-\tau ), \end{aligned}$$
(1)

where \(\alpha ,\tau \in \mathbb R^+\), \(\lambda \in \mathbb R\) and \(\textrm{D}_{}^{\alpha }\) is a fractional differential operator, were analyzed using the fact that (1) is asymptotically stable (i.e., any its solution is eventually tending to zero) if and only if all the roots of the characteristic equation

$$\begin{aligned} s^{\alpha }-\lambda \exp (-s\tau )=0 \end{aligned}$$
(2)

have negative real parts. To explore such a location of characteristic roots with respect to the imaginary axis, the Lambert function technique was utilized. The essence of the method consists in a representation formula for characteristic roots in terms of appropriate branches of this multi-valued function (for some precisions concerning the correct use of the Lambert function technique in stability analysis of (1), we refer also to [12]). A certain general disadvantage of this approach consists in its (seeming) disability to provide stability criteria in an explicit form depending on entry parameters only (i.e., on \(\alpha \), \(\lambda \) and \(\tau \) in the case of (1)).

As the other papers on stability and asymptotic properties of (1) followed, the Lambert function method was replaced by some alternate classical tools of stability investigations (such as D–partition method or \(\tau \)-decomposition method) modified to the fractional case. Using these approaches, effective and non-improvable stability conditions for (1), supported by some asymptotic bounds, were derived in [16] (the case \(\lambda \in \mathbb R\), \(0<\alpha <1\)), [6] (the case \(\lambda \in \mathbb C\), \(0<\alpha <1\)), and partially also in [7] (the case \(\lambda \in \mathbb C\), \(\alpha >0\)). Some of the mentioned results can be extended also to the case of a two–term FDDE

$$\begin{aligned} \textrm{D}_{}^{\alpha } x(t)=\mu x(t)+\lambda x(t-\tau ). \end{aligned}$$
(3)

In this respect, we refer to [2, 5, 15] (the case \(\mu , \lambda \in \mathbb R\), \(0<\alpha <1\)) and [8] (the case \(\mu , \lambda \in \mathbb R\), \(1<\alpha <2\)). Following the integer-order case (see, e.g., [1]), (1) and (3) may serve as test equations for numerical analysis of FDDEs. From this point of view, it is very important to describe their basic qualitative properties in the strongest possible form. Then, when analyzing appropriate numerical schemes applied to these test equations, the ability to keep the key qualitative properties of the underlying exact equations is of basic importance. For some other recent advances in qualitative theory of FDDEs, we refer, e.g., to [3, 10, 11, 18,19,20, 23].

Following the above outlines, the aim of this paper is twofold. First, we deepen the existing knowledge on some qualitative properties of (1) with the Caputo fractional derivative. Second, perhaps a more important aspect of the paper consists in the way how we aim to do it. We come back to the Lambert function method used in [9] and show that this approach can offer more than formulae depending on the use of supporting software packages. In fact, this technique can result into actually effective stability and asymptotic criteria.

The paper is organized as follows. Section 2 recalls some existing findings on (1) and essentials of the Lambert function theory. In Sect. 3, we explore the Lambert function method in details. In particular, we give an alternate proof of the classical assertion saying that the characteristic root generated by the principal branch of the Lambert function has the largest real part, and formulate a criterion that enables to localize values of the principal branch in the complex plane. Section 4 presents applications of these results to (1). Here, we extend the existing stability criteria for (1) to arbitrary (positive) real values of \(\alpha \), and formulate sharp asymptotic estimates for the solutions of (1). Some final remarks in Sect. 5 conclude the paper.

2 Basic mathematical background

In this section, we summarize some known facts relevant to our next investigations. First, we recall a close relationship between stability and asymptotic properties of (1), and distribution of the characteristic roots of (2). Then, we recall some basics of the Lambert function and its use in stability analysis of FDDEs.

It was shown in [7] that any solution x of (1) with the Caputo fractional derivative (and a generally complex \(\lambda \)) can be written using the Mittag-Leffler type function

$$\begin{aligned} G_{\alpha ,\beta }^{\lambda ,\tau }(t) = \sum _{j=0}^{\lceil t/\tau \rceil -1} \frac{\lambda ^j (t-j\tau )^{\alpha j +\beta -1}}{\Gamma (\alpha j+\beta )}, \qquad \alpha ,\beta >0, \end{aligned}$$
(4)

where \(\lceil \cdot \rceil \) denotes the upper integer part. More precisely, if \(\phi \) is a continuous initial (complex-valued) function on \([-\tau ,0]\), \(\phi _0=\phi (0)\) and \(\phi _j\), \(j=1,\dots ,\lceil \alpha \rceil -1\), are (complex) constants (considered when \(\alpha >1\)), then

$$\begin{aligned} x(t)=\sum _{j=0}^{\lceil \alpha \rceil -1} \phi _j G_{\alpha ,j+1}^{\lambda ,\tau }(t) + \lambda \int _{-\tau }^0 G_{\alpha ,\alpha }^{\lambda ,\tau }(t-\tau -\xi )\phi (\xi )\,\textrm{d}\xi \end{aligned}$$
(5)

is the solution of (1) satisfying \(x(t)=\phi (t)\) for all \(t\in [-\tau ,0]\), and \(\lim _{t\rightarrow 0^+} x^{(j)}(t)=\phi _j\), \(j=1,\dots ,\lceil \alpha \rceil -1\).

Based on some asymptotic results on (4), the solution (5) can be rewritten by the use of the characteristic roots having non-negative real parts. We recall that (2) admits countably many roots, and only a finite number of them is lying right to any line \(\Re (s)=p\), \(p\in \mathbb R\) (throughout the paper, the symbol \(\Re (z)\) and \(\Im (z)\) stands for the real and imaginary part of \(z\in \mathbb {C}\), respectively). If we denote by S the set of all roots of (2) having non-negative real parts (note that S must be a finite set), then, for a non-integer \(\alpha \), (5) can be rewritten as

$$\begin{aligned} x(t)=\sum _{s\in S} c_s \exp (s t)+\mathcal {O}(t^{j-\alpha })\quad \text {as }t\rightarrow \infty \end{aligned}$$
(6)

where \(c_s\) are complex coefficients depending on \(\alpha \), \(\tau \), \(\lambda \), \(\phi \), and \(j\in \{-1,0,\dots ,\lceil \alpha \rceil -1\}\) (the particular value of j depends on limit behavior of \(\phi \) at \(t=0\)). Notice that \(j-\alpha <0\), i.e., the function \(t^{j-\alpha }\) always tends to zero.

By (6), the roots of (2) play an essential role in qualitative behavior of the solutions of (1). Following the classical integer-order pattern, the authors in [9] used the following chain of steps

$$\begin{aligned} s^\alpha \exp (s\tau )=\lambda \quad \rightarrow \quad s \exp \! \left( \frac{\tau }{\alpha }s\right) =\lambda ^{\frac{1}{\alpha }}\quad \rightarrow \quad \frac{\tau }{\alpha }s \exp \! \left( \frac{\tau }{\alpha }s\right) =\frac{\tau }{\alpha }\lambda ^{\frac{1}{\alpha }} \end{aligned}$$
(7)

to express the roots of (2) via the Lambert function introduced as the solution of

$$\begin{aligned} W(z)\exp (W(z))=z,\quad z \in \mathbb {C}. \end{aligned}$$
(8)

Before we recall the root formula for (2) based on this special function, some of its basic properties might be collected. The Lambert function is a multi-valued function (except at \(z=0\)) with infinitely many (single-valued) branches \(W_k\), \(k\in \mathbb {Z}\). Neither of them can be expressed in terms of elementary functions. In particular, \(W_0\) is called a principal branch. For any \(z\in \mathbb {C}\), \(\Im (W_0(z))\) is between \(-\pi \) and \(\pi \). The other branches are numbered so that \(\Im (W_k(z))\) is between \((2k-2)\pi \) and \((2k+1)\pi \) while \(\Im (W_{-k}(z))\) is between \(-(2k+1)\pi \) and \(-(2k-2)\pi \) for any \(z\in \mathbb {C}\) and \(k=1,2,\ldots \). More precisely, the ranges of \(W_{\pm k}\) and \(W_{\pm (k+1)}\), \(k=0,1,\dots \), are separated by the curves

$$\begin{aligned} \{w=x+\textrm{i}\,y\in \mathbb {C}: x=-y\cot (y),\ 2k\pi<|y|<(2k+1)\pi \} \end{aligned}$$

and the ranges of \(W_1\) and \(W_{-1}\) are separated by the half-line

$$\begin{aligned} \{w=x+\textrm{i}\,y\in \mathbb {C}: -\infty <x\le -1,\ y=0\}. \end{aligned}$$

These separating curves correspond to the branch cuts in the z-plane defined as

$$\begin{aligned} \{z=\xi +\textrm{i}\,\eta \in \mathbb {C}: -\infty <\xi \le -\exp (-1),\ \eta =0\} \end{aligned}$$

in the case of \(W_0\), and

$$\begin{aligned} \{z=\xi +\textrm{i}\,\eta \in \mathbb {C}: -\infty <\xi \le 0,\ \eta =0\} \end{aligned}$$

in the case of \(W_k\), \(k\ne 0\). Conventionally, the branch cut (having the argument \(\pi \) in the z-plane) is mapped by \(W_k\) on its upper boundary in the w-plane. Only the branches \(W_0\) and \(W_{-1}\) take on real values for a real \(z\in [-\exp (-1),\infty )\) and a real \(z\in [-\exp (-1),0)\), respectively. Further details on the Lambert function (including some historical remarks) can be found in [4], for other comments, see also [13] and [22].

Now, following (7), all the roots of (2) can be expressed in the form

$$\begin{aligned} s_k= \frac{\alpha }{\tau }W_k\left( \frac{\tau }{\alpha }\lambda ^\frac{1}{\alpha }\right) ,\quad k\in \mathbb {Z}. \end{aligned}$$
(9)

By (6), a crucial role in analysis of (1) is played by the rightmost characteristic root (i.e., the root of (2) with the largest real part). The following classical assertion says that this root is just \(s_0\).

Lemma 1

Let \(z\in \mathbb C\). Then \(W_0(z)\) has the largest real part \(\Re (W_0(z))\) among all the other real parts \(\Re (W_k(z))\), \(k\in \mathbb Z\).

The original proof of Lemma 1 is pretty long (see [22]). As a by-product of our next procedures, we are going to present an alternate (and more simple) way how to prove this assertion.

Remark 1

As pointed out in [12], the expression (9) is not quite correct for some complex values of \(\lambda \). More precisely, (7) contains taking the \(1/\alpha \)-power which means that the roots given by (9) are identical to those of (2) only in the case

$$\begin{aligned} \left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| \le \alpha \pi \end{aligned}$$

(we recall that \(-\pi <{{\,\mathrm{\textrm{Arg}}\,}}(\cdot )\le \pi \)). This inequality is satisfied trivially when \(\alpha \ge 1\) but makes a restriction when \(0<\alpha <1\). In other words, if \(|{{\,\mathrm{\textrm{Arg}}\,}}(\lambda )|>\alpha \pi \), then the representation (9) can produce some superfluous roots that are actually not the true roots of (2). As an example, we can consider, e.g., the case \(\lambda =-1\), \(\alpha =1/2\) and \(\tau =1\) when (2) has the rightmost root \(s_0\approx -0.4172-\textrm{i}\,2.2651\) (i.e., (1) is asymptotically stable) while (9) produces \(s_0\approx 0.4263>0\). On this account, we discuss qualitative properties of (1) for \(\alpha >1\). Comments to the case \(0<\alpha <1\) are provided in the final section.

3 Some advances on the Lambert W function

This section contains several key results on the Lambert function which proved to be useful in qualitative investigations of (1). To obtain an actually effective and strong asymptotic description of the solutions of (1), we need to effectively localize the position of the rightmost characteristic root in the complex plane. More precisely, by (6) and (9), we need to derive effective expressions of the real and imaginary parts of \(W_0(z)\) in terms of z. Thus, keeping in mind intended stability and asymptotic analysis of (1), we can pose the following problems: For given \(p\in \mathbb {R}\) and \(z\in \mathbb {C}\), is it possible to characterize the properties \(\Re (W_0(z))<p\) and \(\Re (W_0(z))=p\) directly in terms of z and p, i.e., without an evaluation of the principal branch of the Lambert function? Further, for given \(q\in \mathbb {R}\) and \(z\in \mathbb {C}\), is it possible to similarly elaborate on the properties \(|\Im (W_0(z))|>q\) and \(|\Im (W_0(z))|=q\)? The following result yields an affirmative answer to these questions.

Theorem 1

Let \(p,q\in \mathbb R\), \(p>-1\), \(0<q<\pi \), and \(z\in \mathbb C\), \(z\ne 0\). Then

  1. (i)

    \(\Re (W_0(z))<p\) if and only if either \(|z|<p\exp (p)\) or

    $$\begin{aligned} |z|\ge |p|\exp (p)\quad \text {and}\quad \arccos \left( \frac{p\exp (p)}{|z|}\right) +\frac{\sqrt{|z|^2-p^2\exp (2p)}}{\exp (p)}<\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| ; \end{aligned}$$
    (10)
  2. (ii)

    \(\Re (W_0(z))=p\) if and only if

    $$\begin{aligned} |z|\ge |p|\exp (p)\quad \text {and}\quad \arccos \left( \frac{p\exp (p)}{|z|}\right) +\frac{\sqrt{|z|^2-p^2\exp (2p)}}{\exp (p)}=\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| ; \end{aligned}$$
    (11)
  3. (iii)

    \(|\Im (W_0(z))|>q\) if and only if

    $$\begin{aligned} \left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| >q\quad \text {and}\quad \frac{q}{\sin (\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| -q)}\exp \bigl (q\cot (\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| -q)\bigr )<|z|; \end{aligned}$$
    (12)
  4. (iv)

    \(|\Im (W_0(z))|=q\) if and only if

    $$\begin{aligned} \left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| >q\quad \text {and}\quad \frac{q}{\sin (\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| -q)}\exp \bigl (q\cot (\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| -q)\bigr )=|z|. \end{aligned}$$
    (13)

Proof

(i) We write \(z=|z|\exp ({{\,\mathrm{\textrm{i}}\,}}{{\,\mathrm{\textrm{Arg}}\,}}(z))\) and put \(x_k=\Re (W_k(z))\), \(y_k =\Im (W_k(z))\) where \(W_k\), \(k\in \mathbb {Z}\) are particular branches of the Lambert function. Substitution into (8) yields

$$\begin{aligned}&\exp (x_k)(x_k\cos (y_k)-y_k\sin (y_k))=|z|\cos ({{\,\mathrm{\textrm{Arg}}\,}}(z)),\end{aligned}$$
(14)
$$\begin{aligned}&\exp (x_k)(x_k\sin (y_k)+y_k\cos (y_k))=|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z)). \end{aligned}$$
(15)

If we solve (14)–(15) with respect to unknowns \(x_k\exp (x_k)\) and \(y_k\exp (x_k)\), then

$$\begin{aligned} x_k\exp (x_k)&=|z|\cos ({{\,\mathrm{\textrm{Arg}}\,}}(z)-y_k),\end{aligned}$$
(16)
$$\begin{aligned} y_k\exp (x_k)&=|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z)-y_k). \end{aligned}$$
(17)

To show that \(x_0=\Re (W_0)(z))<p\) whenever \(|z|<p\exp (p)\), we consider (16) implying

$$\begin{aligned} x_0\exp (x_0)\le |z|<p\exp (p). \end{aligned}$$

Then the monotony property of the function \(g(p)=p\exp (p)\) on \((-1,\infty )\) actually implies \(x_0<p\).

Now we assume that \(|z|\ge |p|\exp (p)\). Squaring and adding (16) and (17) we get

$$\begin{aligned} |z|^2=((x_k)^2+(y_k)^2)\exp (2x_k), \end{aligned}$$

i.e.,

$$\begin{aligned} |y_k|=\frac{\sqrt{|z|^2-(x_k)^2\exp (2x_k)}}{\exp (x_k)}. \end{aligned}$$
(18)

For the principal branch, it holds \(x_0\ge -y_0\cot (y_0),|y_0|<\pi \), i.e., \(x_0\sin (y_0)+y_0\cos (y_0)\ge 0\) whenever \(y_0\ge 0\). Multiplying this by \(\exp (x_0)\) and using (15), one gets

$$\begin{aligned} |z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z))=\exp (x_0)(x_0\sin (y_0)+y_0\cos (y_0))\ge 0 \end{aligned}$$

which implies \({{\,\mathrm{\textrm{Arg}}\,}}(z)\ge 0\) for \(y_0\ge 0\). If \(y_0<0\), the same argumentation leads to \({{\,\mathrm{\textrm{Arg}}\,}}(z)\le 0\), hence \({{\,\mathrm{\textrm{Arg}}\,}}(z) y_0\ge 0\), i.e., \(|{{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0|\le \pi \). Then (16) with \(k=0\) is equivalent to

$$\begin{aligned} \arccos (x_0\exp (x_0)/|z|)=\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0\right| . \end{aligned}$$
(19)

Moreover, sign analysis of (17) with respect to \({{\,\mathrm{\textrm{Arg}}\,}}(z) y_0\ge 0\) yields \(\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| \ge |y_0|\), i.e.,

$$\begin{aligned} \left| {{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0\right| =\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| -|y_0|. \end{aligned}$$
(20)

Then, using (18), (19) and (20), we are able to set up an implicit dependence between \(x_0=\Re (W_0(z))\) and z in the form \(f(x_0,z)=0\) where f is defined via

$$\begin{aligned} f(p,z)= \arccos \left( \frac{p\exp (p)}{|z|}\right) -|{{\,\mathrm{\textrm{Arg}}\,}}(z)|+\frac{\sqrt{|z|^2-p^2\exp (2p)}}{\exp (p)} \end{aligned}$$

for all \(p>-1\) and \(z\in \mathbb {C}\) such that \(|p|\exp (p)\le |z|\). Let z be fixed. Then

$$\begin{aligned} \frac{\textrm{d}f}{\textrm{d}p}(p,z)= -\frac{(2p+1)\exp (3p)+|z|^2\exp (p)}{\exp (2p)\sqrt{|z|^2-p^2\exp (2p)}} \le -\frac{(p+1)^2\exp (p)}{\sqrt{|z|^2-p^2\exp (2p)}}\le 0, \end{aligned}$$

hence, f is decreasing in p if \(|p|\exp (p)\le |z|\). Therefore,

$$\begin{aligned} f(p,z)<f(x_0,z)=0 \end{aligned}$$

whenever

$$\begin{aligned} p>x_0=\Re (W_0(z))\quad \text {and}\quad |p|\exp (p)\le |z|. \end{aligned}$$

(ii) The property follows directly from the proof of (i) using the fact that \(f(p,z)=0\) if and only if \(p=x_0\) due to monotony of f with respect to p.

(iii) Since \(W_0\) is symmetric in the sense \(W_0(\overline{z})=\overline{W_0(z)}\) for all \(z\in \mathbb {C}\) except those lying on the branch cut along the negative real axis between \(-\infty \) and \(-\exp (-1)\), it suffices to assume the case \(y_0=\Im (W_0(z))>q>0\). We have already observed that \({{\,\mathrm{\textrm{Arg}}\,}}(z)\ge y_0\). In addition, a stronger property holds, namely \({{\,\mathrm{\textrm{Arg}}\,}}(z)>y_0\). Indeed, possible equality \({{\,\mathrm{\textrm{Arg}}\,}}(z)=y_0\) implies \(y_0=0\) (due to (17)) which contradicts the assumption \(y_0>q>0\). Hence, it must be \(0<{{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0<\pi \) as well as \(0<{{\,\mathrm{\textrm{Arg}}\,}}(z)-q<\pi \). We divide (16) by (17) and put \(k=0\) to get

$$\begin{aligned} x_0=y_0\cot ({{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0). \end{aligned}$$
(21)

Taking the logarithm of (17) with \(k=0\), we also have

$$\begin{aligned} x_0=\ln \bigl (|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0)\bigr )-\ln (y_0). \end{aligned}$$
(22)

Combining (21) and (22), we arrive at

$$\begin{aligned} \ln \bigl (|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0)\bigr )-\ln (y_0)-y_0\cot ({{\,\mathrm{\textrm{Arg}}\,}}(z)-y_0)=0 \end{aligned}$$

representing again an implicit dependence, now between \(\Im (W_0(z))\) and z. If we denote

$$\begin{aligned} h(q,z)=\ln \bigl (|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z)-q)\bigr )-\ln (q)-q\cot ({{\,\mathrm{\textrm{Arg}}\,}}(z)-q), \end{aligned}$$

then we have

$$\begin{aligned} \frac{\textrm{d}h}{\textrm{d}q}(q,z)= \frac{-q\sin (2({{\,\mathrm{\textrm{Arg}}\,}}(z)-q))-\sin ^2({{\,\mathrm{\textrm{Arg}}\,}}(z)-q)-q^2}{q\sin ^2({{\,\mathrm{\textrm{Arg}}\,}}(z)-q)}. \end{aligned}$$

While the denominator is positive, the numerator

$$\begin{aligned} N(q,z)=-q\sin (2({{\,\mathrm{\textrm{Arg}}\,}}(z)-q))-\sin ^2({{\,\mathrm{\textrm{Arg}}\,}}(z)-q)-q^2 \end{aligned}$$

is negative for each \(0\le q\le {{\,\mathrm{\textrm{Arg}}\,}}(z)\). Indeed, we have

$$\begin{aligned} \frac{\textrm{d}N}{\textrm{d}q}(q,z)=2q(\cos ^2({{\,\mathrm{\textrm{Arg}}\,}}(z)-q)-1)\le 0 \end{aligned}$$

which implies that \(N(\cdot ,z)\) is non-increasing and, together with \(N(0,z)=-\sin ^2({{\,\mathrm{\textrm{Arg}}\,}}(z))<0\), negative on \([0,{{\,\mathrm{\textrm{Arg}}\,}}(z)]\). Consequently, \(h(\cdot ,z)\) is decreasing and therefore \(h(q,z)>h(y_0,z)=0\) whenever \(0<q<y_0<{{\,\mathrm{\textrm{Arg}}\,}}(z)\). Taking into account the above mentioned symmetry, we arrive (after some elementary algebra) at (12).

(iv) The required property is again a consequence of monotony of the function h from the previous part. \(\square \)

Remark 2

(a) The properties (ii) and (iv) of Theorem 1 provide a new tool for evaluations of the principal branch of the Lambert function. Let \(z\ne 0\) be a fixed complex number. Then the left-hand side of (11) is decreasing for all \(p\in [a,W_0(|z|)]\) (\(a=-1\) if \(|z|\ge \exp (-1)\) and \(a=W_0(-|z|)\) if \(|z|<\exp (-1)\)) from \(\pi \) to the zero value. Hence, (11) has a unique root \(p^*\) lying in this interval, and this root equals just \(\Re (W_0(z))\). Similarly, the left-hand side of (13) is increasing for all \(q\in (0,{{\,\mathrm{\textrm{Arg}}\,}}(z))\) from the zero value to infinity, i.e., (13) admits a unique positive root \(q^*\) which is just \(\Im (W_0(z))\).

To illustrate this evaluation technique, we compute \(W_0(z)\) for \(z=\frac{1}{2}+\textrm{i}\,\frac{\sqrt{3}}{2}\). Then \(|z|=1\), \({{\,\mathrm{\textrm{Arg}}\,}}(z)=\pi /3\) and the standard Newton method returns \(\Re (z)=p^*\approx 0.4843\) in 5 iterations with the initial value \(p_0=0.5\) and the stopping criterion taken as \(|p_{k+1}-p_k|\le 10^{-16}\). The same method gives \(\Im (z)=q^*\approx 0.3808\) in 7 iterations with the initial value \(q_0=0.5\) and the same precision as in the case of the real part. In fact, the value \(p^*+\textrm{i}\,q^*\) matches the value produced by the MATLAB command lambertw(1/2+sqrt(3)/2*1i) to all the 15 digits behind the decimal point. Standardly, the Newton or Halley method is applied directly to the equation \(w\exp (w)-z=0\) using the complex arithmetic. MATLAB employs the latter method with some advanced guess of the starting point. For computing the values of the Lambert function with arbitrary precision, we refer to the recent paper [14].

(b) Using a different approach, the property (i) of Theorem 1 was also discussed in [21].

In the sequel, we clarify ordering of the real as well as imaginary parts of the particular branches of the Lambert function. This ordering may be useful in a deeper asymptotic analysis of (1), and, moreover, results into an alternate proof of Lemma 1.

Following the proof of Theorem 1, we introduce the functions

$$\begin{aligned}&G_z(x,y)=x\sin (y)+y\cos (y)-|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z))\exp (-x)\quad \text {and}\\&\quad f_z(x)=\sqrt{|z|^2\exp (-2x)-x^2}. \end{aligned}$$

In view of (15) and (18), the couples \((x_k,y_k)\), where \(x_k=\Re (W_k(z))\), \(y_k =\Im (W_k(z))\), have to meet the relations \(G_z(x,y)=0\) and \(y=\pm f_z(x)\), respectively.

The following assertion specifies ordering of imaginary parts of the branches of the Lambert function.

Lemma 2

Let \(z\in \mathbb {C}\setminus \{0\}\). Then \(\Im (W_k(z))\le \Im (W_{k+1}(z))\) for all \(k\in \mathbb Z\). In fact, all the inequalities are strict with the only exception: If \(z\in [-\exp (-1),0)\), then we have \(\Im (W_{-1}(z))=\Im (W_0(z))=0\).

Proof

For the sake of formal simplicity, we identify complex numbers \(w=x+\textrm{i}\,y\) with couples \((x,y)\in \mathbb {R}^2\). First, let \(z\in \mathbb {C}\setminus \{0\}\) be such that \(0\le {{\,\mathrm{\textrm{Arg}}\,}}(z)\le \pi \) and define sets \(S_j^z\), \(j\in \mathbb {Z}\), as

$$\begin{aligned} S^z_j&=\{(x,y)\in \mathbb {R}^2: G_z(x,y)=0,\ (2j-1)\pi<y<(2j+1)\pi \}\qquad{} & {} \text {for } j=1,2,\dots ;\\ S^z_j&=\{(x,y)\in \mathbb {R}^2: G_z(x,y)=0,\ 0\le y<\pi \}{} & {} \text {for }j=0;\\ S^z_j&=\{(x,y)\in \mathbb {R}^2: G_z(x,y)=0,\ -2\pi< y\le 0\}{} & {} \text {for }j=-1;\\ S^z_j&=\{(x,y)\in \mathbb {R}^2: G_z(x,y)=0,\ 2j\pi<y<(2j+2)\pi \}{} & {} \text {for }j=-2,-3,\dots \end{aligned}$$

(note that the equation \(G_z(x,y)=0\) has no solution for \(y=(2j-1)\pi \), \(j=1,2,\dots \), and for \(y=2j\pi \), \(j=-1,-2,\dots \)). We wish to show that \(S^z_j\) is a part of the range of \(W_k\) just when \(j=k\).

Let \(k\ge 1\) be arbitrary. Then, by the definition of \(W_k\) (see also Sect. 2),

$$\begin{aligned} (2k-2)\pi<y_k<(2k+1)\pi . \end{aligned}$$
(23)

Let j be such that \((x_k,y_k)\in S^z_j\). We distinguish the following cases with respect to j.

If \(j>k\), then \(y_k>(2k+1)\pi \) which contradicts (23). Let \(j=k\). The ranges of \(W_k\) and \(W_{k+1}\), \(k=0,1,\dots \), are separated by the curve

$$\begin{aligned} \gamma _k=\{(u,v)\in \mathbb {R}^2: u=-v\cot (v),\ 2k\pi< v<(2k+1)\pi \} \end{aligned}$$

(see Sect. 2). The equation \(G_z(x,y)=0\), \((2k-1)\pi<y<(2k+1)\pi \), is equivalent to

$$\begin{aligned} x=-y\cot (y)+|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z))\exp (-x) \end{aligned}$$
(24)

provided \(y\ne 2k\pi \). To estimate the y-coordinate of a point \((x,y)\in S^z_k\), we put \(u=x\) in \(\gamma _k\).

First, let \(2k\pi<y<(2k+1)\pi \). Then any point (xy) of \(S_k^z\) together with the corresponding point (xv) of \(\gamma _k\) have to fulfill the formula

$$\begin{aligned} y\cot (y)-v \cot (v)= \frac{|z|\sin ({{\,\mathrm{\textrm{Arg}}\,}}(z))}{\sin (y)}\exp (-x) \end{aligned}$$
(25)

due to \(x=-v\cot (v)\) and (24). Since \(0\le {{\,\mathrm{\textrm{Arg}}\,}}(z)\le \pi \), the right-hand side of (25) is non-negative, hence, we have \(y\cot (y)\ge v\cot (v)\) implying \(y\le v\). In other words, any point \((x,y)\in S_k^z\) is located below or on the curve \(\gamma _k\) separating \(W_k\) and \(W_{k+1}\). Second, let \((2k-1)\pi <y\le 2k\pi \). Then the points \((x,y)\in S^z_k\) lie below \(\gamma _k\) trivially (note that the equation \(G_z(x,y)=0\) has a unique solution x for \(y=2k\pi \), \(0<{{\,\mathrm{\textrm{Arg}}\,}}(z)<\pi \), and has no solution for \(y=2k\pi \), \({{\,\mathrm{\textrm{Arg}}\,}}(z)=0\) or \({{\,\mathrm{\textrm{Arg}}\,}}(z)=\pi \)). On the other hand, any point of \(S^z_k\) lies above the upper bound \((2k-1)\pi \) of \(\gamma _{k-1}\), hence, we have proven that \(S^z_k\) is contained in the range of \(W_k\).

Finally, if \(j<k\), then we can similarly verify that any point of \(S^z_j\) is already located below or on \(\gamma _{k-1}\). Thus, to summarize the previous observations, \(S_j^z\) is contained in the range of \(W_k\) (\(k=1,2,\dots \)) just when \(j=k\); otherwise, \(S_j^z\) and the range of \(W_k\) are disjoint. Consequently, \((2k-1)\pi<y_k<(2k+1)\pi \), hence, \(y_k<y_{k+1}\) for all \(k=1,2,\ldots \).

The same line of arguments can be used in the case \(k\le -1\) to obtain \(2k\pi<y_k<(2k+2)\pi \), and, in the remaining case \(k=0\), to obtain \(0\le y_0<\pi \) (and therefore, \(y_0<y_1\)). In this respect, a real z is mapped by \(W_0\) to \(\gamma _0\) (hence, \(y_0>0\)) if \(z<-\exp (-1)\), and is mapped by \(W_0\) to reals if \(z\ge -\exp (-1)\) (hence, \(y_0=0\)). Also \(W_{-1}\) takes real values just when \(-\exp (-1)\le z<0\) (hence, \(y_{-1}=y_0=0\)).

The procedure can be analogously applied to the case \(-\pi<{{\,\mathrm{\textrm{Arg}}\,}}(z)<0\) (definition of the sets \(S^z_j\) now differ by shifting the particular y-domains vertically down by \(\pi \)). \(\square \)

Lemma 2 is useful also for ordering of the real parts of the branches of the Lambert function. In particular, it enables to prove the classical assertion of Lemma 1 in a more lucid way compared to the existing proof techniques.

Proof of Lemma 1

We recall that the couple \((x_k,y_k)\), \(k\in \mathbb {Z}\), satisfies \(|y|=f_z(x)\), see the text preceding Lemma 2. Put \(\zeta _1=W_{-1}(-|z|)\), \(\zeta _2=W_0(-|z|)\), \(\zeta _3=W_0(|z|)\). Then, we can easily observe that \(f_z\) is defined on \((-\infty ,\zeta _3]\) and \((-\infty ,\zeta _1]\cup [\zeta _2,\zeta _3]\) if \(|z|\ge \exp (-1)\) and \(0<|z|<\exp (-1)\), respectively. Moreover, \(f_z\) has a (unique) root \(\zeta _3>0\) if \(|z|>\exp (-1)\), a couple of roots \(\zeta _1=\zeta _2=-1\) and \(\zeta _3>1\) if \(|z|=\exp (-1)\), and a triple of roots \(\zeta _1<-1\), \(-1< \zeta _2<0\), \(\zeta _3>0\) if \(0<|z|<\exp (-1)\). Otherwise, \(f_z\) is positive at all other points of its domain.

Further, we have

$$\begin{aligned} f'_z(x)=\frac{-|z|^2\exp (-2x)-x}{\sqrt{|z|^2\exp (-2x)-x^2}}. \end{aligned}$$

If \(|z|\ge \frac{\sqrt{2}}{2}\exp (-1/2)\), then \(f'_z\) is negative, hence \(f_z\) is decreasing on \((-\infty ,\zeta _3)\). If \(\frac{\sqrt{2}}{2}\exp (-1/2)>|z|>\exp (-1)\), then \(f_z\) has a local minimum at \(\zeta _4=\frac{1}{2}W_{-1}(-2|z|^2)\) and a local maximum at \(\zeta _5=\frac{1}{2}W_0(-2|z|^2)\) (note that \(\zeta _4<\zeta _5\)). Consequently, \(f_z\) is decreasing on \((-\infty ,\zeta _4)\), increasing on \((\zeta _4,\zeta _5)\) and again decreasing on \((\zeta _5,\zeta _3)\).

If \(|z|=\exp (-1)\), then \(f_z\) is decreasing on \((-\infty ,-1)\), increasing on \((-1,\zeta _5)\) and decreasing on \((\zeta _5,\zeta _3)\). Finally, if \(\exp (-1)>|z|>0\), then \(f_z\) is decreasing on \((-\infty ,\zeta _1)\) increasing on \((\zeta _2,\zeta _5)\) and decreasing on \((\zeta _5,\zeta _3)\).

Thus, \(f_z\) is decreasing on its domain up to “a small part” which is, however, lying within the range of \(W_0\) (we again identify \(w=x+\textrm{i}\,y\) with \((x,y)\in \mathbb {R}^2\)). Indeed, if \(\frac{\sqrt{2}}{2}\exp (-1/2)>|z|>\exp (-1)\), we have to show that the graph of \(f_z\) between the points \([\zeta _4,f_z(\zeta _4)]\) and \([\zeta _5,f_z(\zeta _5)]\) is contained in the range of \(W_0\). Since

$$\begin{aligned} \zeta _4^2+f^2_z(\zeta _4)=-\frac{1}{2}W_{-1}(-2|z|)<1\quad \text {and}\quad \zeta _5^2+f^2_z(\zeta _5)=-\frac{1}{2}W_0(-2|z|^2)<\frac{1}{2} \end{aligned}$$

for any \(\frac{\sqrt{2}}{2}\exp (-1/2)>|z|>\exp (-1)\), both the endpoints of the graph belong to the range of \(W_0\) (note that the open unit disk is a part of the \(W_0\) range). Also, if \(\zeta _4\le x\le \zeta _5\), then \(x^2+f^2_z=|z|\exp (-2x)\) is decreasing in x, hence, we have \(|z|\exp (-2x)<1\) for any \(\zeta _4\le x\le \zeta _5\) and any \(\frac{\sqrt{2}}{2}\exp (-1/2)>|z|>\exp (-1)\) meaning that the graph of the increasing part of \(f_z\) is again lying in the range of \(W_0\).

Similarly, we can show that, for \(\exp (-1)\ge |z|>0\), the graph of \(f_z\) between the relevant points is contained in the range of \(W_0\) as well.

Collecting the above monotony properties together with Lemma 2, we can conclude that \(x_{\pm (k+1)}<x_{\pm k}\) for any \(k=1,2,\ldots \). If \(k=0\), we have \(x_1< x_0\) but \(x_{-1}\le x_0\) because of \(W_0(z)=\overline{W_{-1}(z)}\) for any \(z\in \mathbb {R}\), \(z\le -\exp (-1)\). \(\square \)

Remark 3

We have actually proven monotony of the real parts of \(W_k(z)\) with respect to k which is a slightly stronger result than that stated in Lemma 1.

4 Applications towards qualitative properties of (1) with the Caputo derivative

In this section, we apply our previous observations on the principal branch of the Lambert function to describe important qualitative properties of (1), including their dependence on the parameter \(\lambda \). We remind that here we restrict ourselves to the case \(\alpha >1\) due to the reason mentioned in Remark 1.

We start with a basic stability criterion for (1). We introduce a (parametric) set \(\Omega ^{\alpha ,\tau }_0\) given as

$$\begin{aligned} \Omega ^{\alpha ,\tau }_0=\left\{ z\in \mathbb {C}: |z|<\left( \frac{\left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| -\alpha \pi /2}{\tau }\right) ^{\alpha },\quad \left| {{\,\mathrm{\textrm{Arg}}\,}}(z)\right| >\frac{\alpha \pi }{2}\right\} , \end{aligned}$$
(26)

see Fig. 1. This set already appeared in [6, Thm. 2] as the asymptotic stability region for (1) with \(0<\alpha <1\). As indicated in [7], the D-subdivision method (combined with some tools of fractional calculus) used in [6] is extendable also to the case \(\alpha >1\). In the following assertion, we confirm validity of this stability result for \(\alpha >1\). Contrary to the existing techniques, we are able to prove this result (as a consequence of Theorem 1(i)) in an almost elementary way.

Theorem 2

Let \(\alpha >1\), \(\tau >0\) and \(\lambda \in \mathbb {C}\). Then (1) is asymptotically stable if and only if \(\lambda \in \Omega ^{\alpha ,\tau }_0\).

Fig. 1
figure 1

The set \(\Omega ^{\alpha ,\tau }_0\) as the stability region for (1) (the figure corresponds to \(\alpha =1.2\))

Proof

By (9) and Lemma 1, we need to analyze \(\Re (s_0)=\frac{\alpha }{\tau }\Re \bigl (W_0\bigl (\frac{\tau }{\alpha }\lambda ^{1/\alpha }\bigr )\bigr )<0\). Using (10) with \(z=\tau \lambda ^{1/\alpha }/\alpha \) and \(p=0\), this inequality can be converted into

$$\begin{aligned} \left| \frac{\tau }{\alpha }\lambda ^{\frac{1}{\alpha }}\right| +\frac{\pi }{2}<\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda ^{\frac{1}{\alpha }})\right| , \end{aligned}$$

i.e.,

$$\begin{aligned} \frac{\tau }{\alpha }|\lambda |^{\frac{1}{\alpha }}< \left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda ^{\frac{1}{\alpha }})\right| -\frac{\pi }{2}. \end{aligned}$$

Taking into account \(\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda ^{1/\alpha })\right| =\frac{1}{\alpha }\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| \), this is equivalent to the condition defining \(\Omega ^{\alpha ,\tau }_0\) in (26). \(\square \)

Remark 4

If \(\lambda \in \partial \Omega ^{\alpha ,\tau }_0\), then (1) is stable but not asymptotically stable. If \(\lambda \notin \textrm{cl}\Omega ^{\alpha ,\tau }_0\), then (1) is unstable. Obviously, \(\Omega ^{\alpha ,\tau }_0\) becomes empty for any \(\alpha \ge 2\), hence, (1) cannot be asymptotically stable for any complex \(\lambda \) whenever \(\alpha \ge 2\).

Theorem 1 can be used in a more subtle way to bring a deeper insight into behavior of (1). More precisely, relations (10)–(13) enable to reveal a relationship between the position of the rightmost characteristic root \(s_0\) and the value of \(\lambda \). Then, by (6), such a relationship easily results into a precise asymptotic description of the solutions of (1) in the unstable case (\(\Re (s_0)>0\)). Indeed, while in the asymptotically stable case (\(\Re (s_0)<0\)) the decay rate of solutions is algebraic and independent of the particular value of \(s_0\), in the unstable case (\(\Re (s_0)>0\)), the growth rate is exponential and governed by the real part of the rightmost characteristic root \(s_0\) (it is well known that this is true also for integer values of \(\alpha \)). In addition, the imaginary part of \(s_0\) is related to the frequency characteristics describing an oscillatory behavior of (1).

Thus, for given \(u,v\ge 0\), we need to find a region of all complex \(\lambda \) such that the rightmost characteristic root \(s_0\) is lying on or left to the line \(u+\textrm{i}\,\omega \), \(\omega \in \mathbb {R}\), and on or above (below) the line \(\omega +\textrm{i}\,v\) (the line \(\omega -\textrm{i}\,v\)), \(\omega \in \mathbb {R}\). On this account, similarly as in the proof of Theorem 2, we put \(z=\tau \lambda ^{1/\alpha }/\alpha \), \(p=\tau u/\alpha \), \(q=\tau v/\alpha \) and consider \(u\ge 0\), \(\alpha \pi /\tau>v>0\). Then, Theorem 1 immediately implies that

  1. (i)

    \(\Re (s_0)\le u\) if and only if either

    $$\begin{aligned} |\lambda |<u^\alpha \exp (\tau u) \end{aligned}$$
    (27)

    or

    $$\begin{aligned}&|\lambda |\ge u^\alpha \exp (\tau u)\quad \text {and}\quad \alpha \arccos \bigg (\frac{u\exp (\tau u/\alpha )}{|\lambda |^{1/\alpha }}\bigg )+\frac{\tau \sqrt{|\lambda |^{2/\alpha }-u^2\exp (2\tau u/\alpha )}}{\exp (\tau u/\alpha )}\nonumber \\&\le \left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| ; \end{aligned}$$
    (28)
  2. (ii)

    \(|\Im (s_0)|\ge v\) if and only if

    $$\begin{aligned}&\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| >\tau v/\alpha \quad \text {and}\quad \frac{v^\alpha }{ \sin ^\alpha \bigl ((\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| -\tau v)/\alpha \bigr )}\nonumber \\&\times \exp \bigl (\tau v\cot \bigl ((\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| -\tau v)/\alpha \bigr )\bigr )\le |\lambda |. \end{aligned}$$
    (29)

Thus, if we introduce the set \(\overline{\Omega }^{\alpha ,\tau }_u\) as a set of all \(\lambda \in \mathbb {C}\) such that either (27) or (28) holds, and \(\overline{\Psi }^{\alpha ,\tau }_v\) as a set of all \(\lambda \in \mathbb {C}\) such that (29) holds (we put \(\overline{\Psi }^{\alpha ,\tau }_v=\emptyset \) for \(\alpha \pi /\tau \le v<\pi \) and \(\overline{\Psi }^{\alpha ,\tau }_v=\mathbb {C}\) for \(v=0\)), then we can rewrite our previous observations into the following assertion:

Lemma 3

Let \(\alpha >1\), \(\tau >0\), \(u\ge 0\), \(\pi >v\ge 0\), \(\lambda \in \mathbb {C}\) and let \(s_0\) be given by (9). Then

  1. (i)

    \(\Re (s_0)\le u\) if and only if \(\lambda \in \overline{\Omega }^{\alpha ,\tau }_u\);

  2. (ii)

    \(|\Im (s_0)|\ge v\) if and only if \(\lambda \in \overline{\Psi }^{\alpha ,\tau }_v\) (\(\overline{\Psi }^{\alpha ,\tau }_v\) is non-empty whenever \(0\le v<\alpha \pi /\tau \)).

Remark 5

(a) The set \(\overline{\Omega }^{\alpha ,\tau }_u\) contains the origin (\(\lambda =0\)) which is excluded by Theorem 1. However, admitting \(\lambda =0\), we have the only characteristic root \(s_0=0\) of (2), hence, Lemma 3 remains true.

(b) It is easy to check that \(\Omega ^{\alpha ,\tau }_0\) introduced in (26) coincides with \(\textrm{int}\,\overline{\Omega }_0^{\alpha ,\tau }\).

The part (i) of Lemma 3 immediately implies

Corollary 1

Let \(u\ge 0\) be fixed. Then \(\overline{\Omega }^{\alpha ,\tau }_u\) is the set of all \(\lambda \in \mathbb C\) such that \(x(t)=\mathcal {O}(\exp (ut))\) as \(t\rightarrow \infty \) for any solution x of (1).

To obtain an actually effective (and non-improvable) asymptotic result for the solutions of (1), we have to look at the problem inversely. More precisely, for a given complex \(\lambda \notin \Omega ^{\alpha ,\tau }_0\), we need to find (non-negative) real values \(u_0\), \(v_0\) such that the rightmost root \(s_0\) of (2) satisfies \(\Re (s_0)=u_0\), \(|\Im (s_0)|=v_0\).

The way how to do it easily follows from Theorems 1(ii) and  1(iv), respectively, taking into account the above introduced substitutions \(z=\tau \lambda ^{1/\alpha }/\alpha \), \(p=\tau u/\alpha \), \(q=\tau v/\alpha \). Then the corresponding relations (11) and (13) become

$$\begin{aligned}&|\lambda |\ge u^\alpha \exp (\tau u)\quad \text {and}\quad \alpha \arccos \bigg (\frac{u\exp (\tau u/\alpha )}{|\lambda |^{1/\alpha }}\bigg )+\frac{\tau \sqrt{|\lambda |^{2/\alpha }-u^2\exp (2\tau u/\alpha )}}{\exp (\tau u/\alpha )}\nonumber \\&\quad =\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| \end{aligned}$$
(30)

and

$$\begin{aligned}&\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| >\tau v/\alpha \quad \text {and}\quad \frac{v^\alpha }{ \sin ^\alpha \bigl ((\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| -\tau v)/\alpha \bigr )}\exp \bigl (\tau v\cot \bigl ((\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| -\tau v)/\alpha \bigr )\bigr )\nonumber \\&\quad =|\lambda |, \end{aligned}$$
(31)

respectively (see also (28) and (29)). Thus, the unique solution of (30)2 defines the value \(u_0\), while the unique positive solution of (31)2 defines the value \(v_0\) (provided \({{\,\mathrm{\textrm{Arg}}\,}}(\lambda )>0\)). If \({{\,\mathrm{\textrm{Arg}}\,}}(\lambda )=0\), then \(s_0\) is real, and we set \(v_0=0\).

Notice that (30)\(_2\), defining the relation between the modulus and argument of \(\lambda \) that is explicit with respect to the argument, forms the boundary of \(\overline{\Omega }^{\alpha ,\tau }_u\). Its left-hand side, considered as a function of \(|\lambda |\), is continuous, increasing and unbounded on \([u^\alpha \exp (\tau u),\infty )\), and its graph in the complex plane creates a Jordan curve symmetric with respect to the real axis, see Fig. 2.

Similarly, (31)\(_2\) provides the relation between the modulus and argument of \(\lambda \) that is explicit with respect to the modulus. The equality (31)\(_2\) is the boundary of \(\overline{\Psi }^{\alpha ,\tau }_v\), and its left-hand side, as a function of \(\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| \), is continuous on \((\tau v/\alpha ,\pi ]\) and unbounded in a right neighborhood of the point \(\tau v/\alpha \) (for \(\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| =\pi \), it takes a value on the negative real axis). This implies that \(\overline{\Psi }^{\alpha ,\tau }_v\) is unbounded for any \(0<v<\alpha \pi /\tau \) and its boundary splits the complex plane into two parts, see Fig. 2.

Fig. 2
figure 2

The figure depicts the boundaries of the sets \(\overline{\Omega }^{\alpha ,\tau }_u\) (blue) and \(\overline{\Psi }^{\alpha ,\tau }_v\) (orange) for several values of u and v, respectively (the scenario corresponds to \(\alpha =1.2\) and \(\tau =1\)). The particular blue curves represent the set of all \(\lambda \in \mathbb {C}\) such that the rightmost characteristic root \(s_0\) of (2) satisfies \(\Re (s_0)=u\), and the particular orange curves represent the set of all \(\lambda \in \mathbb {C}\) such that the rightmost characteristic root \(s_0\) of (2) satisfies \(|\Im (s_0)|=v\). As an example, the blueish curvilinear rectangles then represent the set of all \(\lambda \in \mathbb {C}\) such that \(0.5<\Re (s_0)<0.75\) and \(1.25<|\Im (s_0)|<1.5\)

Now we are in a position to formulate a complete asymptotic description for the solutions of (1).

Theorem 3

Let \(\alpha >1\), \(\tau >0\) and \(\lambda \in \mathbb {C}\).

  1. (i)

    If \(\lambda \in \Omega ^{\alpha ,\tau }_0\), then, for any solution x of (1),

    $$\begin{aligned} x(t)=\mathcal {O}(t^{1-\alpha })\quad \text {as}\quad t\rightarrow \infty . \end{aligned}$$

    Moreover the algebraic decay order \(1-\alpha \) cannot be improved;

  2. (ii)

    If \(\lambda \notin \Omega ^{\alpha ,\tau }_0\), then, for any solution x of (1),

    $$\begin{aligned} x(t)=\exp (u_0 t)(c\exp (\textrm{i}\,v_0 t) + o(1))\quad \text {as}\quad t\rightarrow \infty \end{aligned}$$

    where c is a complex constant, \(u_0\ge 0\) is the unique solution of (30)2, \(v_0>0\) is the unique solution of (31)2 if \(\left| {{\,\mathrm{\textrm{Arg}}\,}}(\lambda )\right| >0\), and \(v_0=0\) if \({{\,\mathrm{\textrm{Arg}}\,}}(\lambda )=0\).

Proof

(i) The property is a direct consequence of (6) as the set S is empty.

(ii) Let \(s_0=u_0+\textrm{i}\,v_0\) be the rightmost characteristic root, and \(S_0\) be the set of the remaining characteristic roots s with a non-negative real part (we remind that \(\Re (s)<\Re (s_0)\) for any \(s\in S_0\)). Then, if \(\alpha \) is a non-integer, we can write (6) as

$$\begin{aligned} x(t)&=\exp (u_0 t)\bigl (c\exp (\textrm{i}\,v_0 t)+\sum _{s\in S_0}c_s\exp ((s-u_0)t\bigr )+\mathcal {O}(t^{1-\alpha })\\&=\exp (u_0 t)\bigl (c\exp (\textrm{i}\,v_0 t)+o(1)+\mathcal {O}(o(1))\bigr )= \exp (u_0t)\bigl (c\exp (\textrm{i}\,v_0t)+o(1)\bigr )\\&\quad \text {as}\quad t\rightarrow \infty , \end{aligned}$$

where \(c=c_{s_0}\) is the complex constant from (6) corresponding to the rightmost characteristic root \(s_0\). If \(\alpha \) is an integer, then the dominating role of \(s_0\) in asymptotic behavior of (1) is well known. In this case, the assertion of (ii) holds as well. \(\square \)

Remark 6

(a) The asymptotic formula from Theorem 3(ii) immediately implies

$$\begin{aligned} x(t)=\mathcal {O}(\exp (u_0t))\quad \text {as}\quad t\rightarrow \infty \end{aligned}$$
(32)

for any solution x of (1), and the constant \(u_0\) is non-improvable. Moreover, for large t, the roots of the real and imaginary parts of x tend to the roots of \(\cos (v_0t)\) and \(\sin (v_0t)\), respectively. In both the cases, the distance between the subsequent roots tends to \(\pi /v_0\). These properties are illustrated by Example 1.

(b) The asymptotic behavior of (1) significantly depends on stability of (1). In particular, the exponential terms in (6) are vanishing in the asymptotically stable case \(\Re (s_0)<0\). However, the situation changes in the limit case \(\alpha =1\) when, in accordance with the first-order theory, the rightmost characteristic root \(s_0\) determines an exponential decay rate of the solutions also in the asymptotically stable case. Since the above argumentation can be extended to this problem as well, our results provide a contribution also to the corresponding classical first-order theory.

Example 1

Let \(\alpha =1.2\), \(\tau =1\), and consider (1) along with the initial conditions \(\phi (t)=1\) (\(-1\le t\le 0\)), \(\phi _0=\phi (0)=1\), and \(\phi _1=\lim _{t\rightarrow 0+}x'(t)=0\). We compare the corresponding (numerical) solutions of (1) for two distinct values of \(\lambda \), namely \(\lambda _1=-2+\textrm{i}\) and \(\lambda _2=-3+\textrm{i}\,0.1\). As indicated by Fig. 2, both the values \(\lambda _1\), \(\lambda _2\) lie in the instability region. In particular, the real parts \(u_0\) of the corresponding rightmost roots are approximately 0.4721 and 0.4917, and their imaginary parts \(v_0\) are 1.2321 and 1.5844, respectively.

The real parts of the solutions of (1) with two above specified sets of entries, along with the growth-rate functions \(\exp (u_0 t)\), are depicted in Figs. 3 and 4. The graphs suggest that the modulus of constant c introduced in Theorem 3(ii) is less than one for \(\lambda =\lambda _1\), and greater than one for \(\lambda =\lambda _2\).

To illustrate behavior of the solutions x in better detail, Figs. 5 and 6 depict the ratio \(\Re (x(t))/\exp (u_0 t)\) for \(\lambda _1\) and \(\lambda _2\), respectively. The resulting functions are bounded, but do not tend to zero which is a consequence of non-improvability of the constant \(u_0\) in (32).

As mentioned in Remark 6(a), the distance between the subsequent roots of \(\Re (x(t))\) tends to \(\pi /v_0\). Figs. 7 and 8 illustrate this fact. We can see that while in the case of \(\lambda _1\) the convergence is rather fast and the distance seems to be somewhat stabilized around the seventh root, in the case of \(\lambda _2\), the stabilization occurs around the hundredth root.

Fig. 3
figure 3

The real part of the solution x of (1) for \(\alpha =1.2\), \(\tau =1\) and \(\lambda _1=-2+\textrm{i}\), along with the corresponding growth-rate functions \(\pm \exp (0.4721t)\)

Fig. 4
figure 4

The real part of the solution x of (1) for \(\alpha =1.2\), \(\tau =1\) and \(\lambda _2=-3+\textrm{i}\,0.1\), along with the corresponding growth-rate functions \(\pm \exp (0.4917t)\)

Fig. 5
figure 5

The real part of the solution x of (1) for \(\alpha =1.2\), \(\tau =1\) and \(\lambda _1=-2+\textrm{i}\), divided by its growth-rate function \(\exp (0.4721t)\)

Fig. 6
figure 6

The real part of the solution x of (1) for \(\alpha =1.2\), \(\tau =1\) and \(\lambda _2=-3+\textrm{i}\,0.1\), divided by its growth-rate function \(\exp (0.4917t)\)

Fig. 7
figure 7

The distance between the subsequent roots of \(\Re (x(t))\) for \(\alpha =1.2\), \(\tau =1\) and \(\lambda _1=-2+\textrm{i}\) is tending to \(\pi /1.2321\)

Fig. 8
figure 8

The distance between the subsequent roots of \(\Re (x(t))\) for \(\alpha =1.2\), \(\tau =1\) and \(\lambda _2=-3+\textrm{i}\,0.1\) is tending to \(\pi /1.5844\)

5 Concluding remarks

The aim of the paper was to develop the Lambert function theory, and then apply the obtained results in qualitative investigations of (1). Using this approach, we were able to formulate a precise asymptotic description of the solutions of (1). Particularly, in addition to an algebraic decay rate of the solutions in the stable case (described in some earlier papers), we could observe an exponential growth of the solutions in the unstable case; the rate of this growth was determined as a (unique) real root of an auxiliary transcendental equation.

However, the impact of the presented results is not limited to the theory of FDDEs only. Our approach offers an alternate way how to prove (and also strengthen) some classical assertions of the Lambert function theory. Moreover, to the best of our knowledge, the derived asymptotic formulae are new also in the first-order case. Here, contrary to the fractional case, our results can be applied also in the stable case where a (non-improvable) rate of exponential decay of the solutions can be determined.

Since we have formulated our results for (1) with a complex coefficient \(\lambda \), their extension to the vector case is nearly straightforward provided the eigenvalues of a (real) system matrix are simple. Regarding eigenvalues with higher multiplicities, some additional argumentation seems to be necessary. Based on related cases discussed in earlier papers, one can expect a slight modification of the solutions growth, but no impact on the asymptotic frequency.

Our final remark concerns the case \(0<\alpha <1\) not involved among the assumptions of the assertions of Sect. 4. The procedure of computing the characteristic roots uses the law of exponents which is, in general, not valid for complex numbers. Thus, some superfluous roots of the characteristic equation may appear if \(0<\alpha <1\) (as illustrated via a counterexample in Remark 1). In this case, our stability and asymptotic formulae remain basically true, but we cannot confirm their strictness. In particular, we cannot claim that the above described rate of exponential growth of solutions is non-improvable. Nevertheless, we conjecture that a more thorough analysis of the corresponding branches of a complex power can overcome this problem, and thus achieve the strict asymptotic results for all \(\alpha >0\). Such an analysis provides another possible topic for the next research.