This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Also at ]Center for Advanced Materials Research, Research Institute of Sciences and Engineering, University of Sharjah, Sharjah, P.O. Box 27272, United Arab Emirates

On the behavior of a distributed network of capacitive constant phase elements

Anis Allagui aallagui@sharjah.ac.ae Dept. of Sustainable and Renewable Energy Engineering, University of Sharjah, Sharjah, P.O. Box 27272, United Arab Emirates [ Dept. of Electrical and Computer Engineering, Florida International University, Miami, FL33174, United States    Ahmed Elwakil Dept. of Electrical Engineering, University of Sharjah, PO Box 27272, Sharjah, United Arab Emirates
Abstract

As a generalization of integer-order calculus, fractional calculus has seen tremendous applications in the past few years especially in the description of anomalous viscoelastic properties, transport processes in complex media as well as in dielectric and impedance spectroscopy of materials and electrode/electrolyte interfaces. The fractional-order capacitor or constant phase element (CPE) is a fractional-order model with impedance zc(s)=1/(Cαsα)z_{c}(s)=1/(C_{\alpha}s^{\alpha}) (s=jωs=j\omega, Cα>0C_{\alpha}>0, 0<α<10<\alpha<1) and is widely used in modeling impedance spectroscopy data in dispersive materials. In this study, we investigate the behavior of a network of distributed-order CPEs, each of which described by a Caputo-type time fractional differential equation relating the current on the CPE to its voltage, but with a non-negative, time-invariant weight function ϕ(α)\phi(\alpha). The behavior of the distributed-order network in terms of impedance and time-domain response to a constant current excitation is derived for two simple cases of ϕ(α)\phi(\alpha): (i) ϕ(α)=1\phi(\alpha)=1 for 0<α<10<\alpha<1 and zero otherwise, and (ii)(ii) ϕ(α)=iCαiδ(ααi)\phi(\alpha)=\sum_{i}C_{\alpha_{i}}\,\delta(\alpha-\alpha_{i}) corresponding to the general case of parallel-connected elemental CPEs of different orders α\alpha, and pseudocapacitances CαC_{\alpha}. Our results show that the overall network is not equivalent to a single CPE, contrary to what would of been expected with ideal capacitors.

Keywords: Fractional-order capacitor; Constant phase element; Impedance spectroscopy; Fractional calculus.

I Introduction

A constant phase element (CPE) represents a fractional-order capacitive-resistive impedance model that fills the gap between the behavior of the ideal capacitor and that of the ideal resistor [1]. Its dispersive lossy nature is usually attributed to distributed surface reactivity and surface inhomogeneity and as a result to current and potential distributions, and also to the roughness, fractal structure and porosity of the electrode [2]. From a modeling perspective, the CPE is regarded as a standard tool for the analysis and description of non-ideal dielectric and impedance spectroscopy data of real capacitive systems [3, 4, 5, 6]. The CPE behavior in the time-domain in response to different types and forms of excitations has been investigated for example in  [7, 8, 9, 10]. In nearly all applications in which the CPE is invoked, the order α\alpha (also known as the dispersion coefficient) of the CPE is usually taken as a constant and single-valued parameter, independent of any other implicit variables involved in the dynamics of the system under study [11].

However, because of the ever-increasing complexity of the advanced electrodes used today, the fact that they may be of heterogeneous composition, and the possible interplay between multiple co-existing orders (associated with sub-domains in the system), it is important and natural to consider a more general approach of a distributed network of CPE with multi-valued pseudocapacitances and orders  [12, 13, 14]. Distributed order fractional dynamics implies variations of the order with some variables, but not with time  [15, 16] (e.g. variations with temperature). Whereas studying the dynamics of complex systems while taking into account variations of the order with respect to time is referred to as variable-order fractional dynamics [14], and is beyond the scope of this work. This work is on the generalization of the CPE using the class of distributed order operators based on the Caputo fractional time derivative relating the CPE’s current and voltage. We focus on the capacitive CPE, knowing that it should straightforward to mirror the whole study to the case of inductive CPE. Specifically, we derive the frequency-domain impedance of the CPE network, and its time-domain expressions for the voltage in response to constant current excitation in closed forms using the Mittag-Leffler and Fox’s HH-function properties [17, 18, 19, 20]. This is done for two cases of (i) a uniformly distributed function for the order α\alpha, and (ii) a set of discrete values of α\alpha, which can be viewed as reliable models for real electrode systems.

II The constant phase element

We first recall the CPE’s current-voltage constitutive equation, which is given by [21]:

ic(t)=CαDtα0vc(t)i_{c}(t)=C_{\alpha}\,{}_{0}\text{D}_{t}^{\alpha}v_{c}(t) (1)

where the pseudocapacitance CαC_{\alpha} is in units of F sα-1, and Dtα0{}_{0}\text{D}_{t}^{\alpha} is the Caputo differential operator of constant order α\alpha (0<α<10<\alpha<1) defined as:

Dtα0f(t):=1Γ(mα)0t(tτ)mα1f(m)(τ)𝑑τ{}_{0}\text{D}_{t}^{\alpha}f(t):=\frac{1}{\Gamma(m-\alpha)}\int_{0}^{t}(t-\tau)^{m-\alpha-1}f^{(m)}(\tau)d\tau (2)

Here mm\in\mathbb{N}, m1<α<mm-1<\alpha<m (m=1m=1 in our case), Γ(z)=0uz1eu𝑑u,(Re(z)>0)\Gamma(z)=\int_{0}^{\infty}u^{z-1}e^{-u}du,\,(\text{Re}(z)>0) is the gamma function, and f(m)(t)=dmf(t)/dtmf^{(m)}(t)=d^{m}f(t)/dt^{m} is the mthm^{th} derivative of f(t)f(t) with respect to tt. Knowing that the Laplace transform of the Caputo fractional derivative of order α\alpha is [18]:

[Dtα0f(t);s]\displaystyle\mathcal{L}\left[{}_{0}\text{D}_{t}^{\alpha}f(t);s\right] =0estDtα0f(t)𝑑t\displaystyle=\int_{0}^{\infty}e^{-st}{}_{0}\text{D}_{t}^{\alpha}f(t)\,dt
=sαf~(s)k=0m1sαk1f(k)(0+)\displaystyle=s^{\alpha}\tilde{f}(s)-\sum\limits_{k=0}^{m-1}s^{\alpha-k-1}f^{(k)}(0^{+}) (3)

and assuming zero initial conditions (f(k)(0+)=0f^{(k)}(0^{+})=0), it is straightforward to obtain the frequency-domain impedance of the CPE as the ratio of the Laplace transform of the time-domain voltage by that of the time-domain current as [8, 22, 9, 23]:

zc(s)=v~c(s)i~c(s)=1Cαsαz_{c}(s)=\frac{\tilde{v}_{c}(s)}{\tilde{i}_{c}(s)}=\frac{1}{C_{\alpha}s^{\alpha}} (4)

The phase is ϕ(zc)=tan1(απ/2)\phi(z_{c})=\tan^{-1}(-\alpha\pi/2), constant and independent from frequency. The real part of the CPE impedance is Re(zc)=cos(απ/2)/(Cαωα)\text{Re}(z_{c})=\cos(\alpha\pi/2)/(C_{\alpha}\omega^{\alpha}), and its imaginary part is Im(zc)=sin(απ/2)/(Cαωα)\text{Im}(z_{c})=-\sin(\alpha\pi/2)/(C_{\alpha}\omega^{\alpha}).

In the case that a current ic(t)i_{c}(t) is applied to a CPE, the developed voltage vc(t)v_{c}(t) can be found by applying the inverse Laplace transform using the convolution theorem as:

v(t)=1[z~c(s)i~c(s);t]=1CαΓ(α)0t(tτ)α1ic(τ)𝑑τv(t)=\mathcal{L}^{-1}\left[\tilde{z}_{c}(s)\,{\tilde{i}_{c}(s)};t\right]=\frac{1}{C_{\alpha}\Gamma(\alpha)}\int_{0}^{t}(t-\tau)^{\alpha-1}i_{c}(\tau)d\tau (5)

The same can be carried out if a voltage-excitation is applied and the current is to be calculated [7, 24].

In the following section, we proceed to study the behavior of a network of distributed-order CPEs according to a certain distribution function.

III Distributed-order constant phase element network

III.1 Theory

Now we consider the following distributed-order time differential equation [13, 25, 26, 15, 16] as a describing equation for a CPE network (compare with Eq. 1):

i(t)=β1β2ϕ(α)CαDtα0vc(t)𝑑αi(t)=\int_{\beta_{1}}^{\beta_{2}}\phi(\alpha)\,C_{\alpha}\,{}_{0}\text{D}_{t}^{\alpha}v_{c}(t)d\alpha (6)

Here ϕ(α)\phi(\alpha) is a non-negative, time-invariant weight function defined on the interval [β1,β2][\beta_{1},\beta_{2}] for α\alpha, and acts as a (discrete or continuous) distribution of orders. The integral in Eq. 6 is known as a cumulative order distribution over the range of orders β1αβ2\beta_{1}\leqslant\alpha\leqslant\beta_{2}[25], and is a direct generalization of the constant-order Caputo fractional derivative. For our purpose, we will restrict ourselves to the lower and upper values of the range of integration to zero and one (i.e. 0<β1αβ2<10<\beta_{1}\leqslant\alpha\leqslant\beta_{2}<1), which defines the spectrum going from an impedance of a pure resistor (α=0\alpha=0) to that of a fractional capacitor (0<α<10<\alpha<1), to that of an ideal capacitor (α=1\alpha=1). It is worth noting that Eq.  6 is one possible generalization of Eq. 1, amongst others, which can be used here to describe the current-voltage dynamics of more complex systems than a single-order CPE, such as heterogeneous electrode/electrolyte interfaces with multi-fractal properties [26]. A similar equation was studied for instance by Eab and Lim [26] for the case of simple free fractional Langevin equation without a friction term, i.e. with the left-hand side of Eq. 6 being a stationary Gaussian random noise. Lorenzo and Hartley also studied a similar problem of distributed order operators in the context of viscoelastic materials [25].

By applying the Laplace transform to Eq. 6, with the assumption of zero initial conditions, we obtain:

i~(s)=v~c(s)β1β2ϕ(α)Cαsα𝑑α\tilde{i}(s)=\tilde{v}_{c}(s)\int_{\beta_{1}}^{\beta_{2}}\phi(\alpha)\,C_{\alpha}s^{\alpha}d\alpha (7)

The corresponding impedance function is therefore:

z~(s)=(β1β2ϕ(α)Cαsα𝑑α)1\tilde{z}(s)=\left({\int_{\beta_{1}}^{\beta_{2}}\phi(\alpha)\,C_{\alpha}s^{\alpha}d\alpha}\right)^{-1} (8)

and the time-domain voltage v(t)v(t) can be found by the convolution integral:

vc(t)=0tz(tτ)i(τ)𝑑τv_{c}(t)=\int_{0}^{t}z(t-\tau)i(\tau)d\tau (9)

where z(t)=1[z~(s);t]z(t)=\mathcal{L}^{-1}\left[\tilde{z}(s);t\right].

The specific choice of ϕ(α)\phi(\alpha) in Eq. 6 depends on the underlying physics of the system under study. In what follows, we focus on two examples that can describe close enough what one may encounter when analyzing heterogeneous, complex electrodes in electrolytic media.

III.2 Example 1: ϕ(α)\phi(\alpha) is a uniform distribution function

Refer to caption
Figure 1: Current-excited parallel network of CPEs with distributed parameters CαiC_{\alpha_{i}} and αi\alpha_{i}

We first consider the case of a uniformly distributed order, i.e. a weight function ϕ(α)\phi(\alpha) given by:

ϕu(α)={1, 0α10,otherwise\phi_{u}(\alpha)=\begin{cases}1,\;0\leqslant\alpha\leqslant 1\\ 0,\;\text{otherwise}\end{cases} (10)

This means that the network (see Fig. 1) is composed of many elemental CPEs of different orders (taken from zero to one) while the value of CαC_{\alpha} is the same for all CPEs; i.e. Cα1=Cα2==Cαn=CαC_{\alpha_{1}}=C_{\alpha_{2}}=\ldots=C_{\alpha_{n}}=C_{\alpha}). The contributions of each and every elemental CPE are equally identical. Note that 01ϕ(α)𝑑α\int_{0}^{1}\phi(\alpha)d\alpha does not need to be necessarily equal to one in this example, or in the general definition given above in Eq. 6[27].

With the above assumptions, we obtain the overall network equivalent impedance as:

z~u(s)\displaystyle\tilde{z}_{u}(s) =(Cα01sα𝑑α)1\displaystyle=\left(C_{\alpha}{\int_{0}^{1}s^{\alpha}d\alpha}\right)^{-1}
=(Cα01eαln(s)𝑑α)1=1Cαln(s)s1\displaystyle=\left(C_{\alpha}{\int_{0}^{1}e^{\alpha\ln(s)}d\alpha}\right)^{-1}=\frac{1}{C_{\alpha}}\frac{\ln(s)}{s-1} (11)

This result proves that the parallel association of CPEs with distributed orders following a uniform distribution does not yield an equivalent CPE, as expected [28]. The impedance given by Eq. 11 is a particular case of the more general form [25]:

z~β(s)=1Cαln(s)sβ2sβ1\tilde{z}_{\beta}(s)=\frac{1}{C_{\alpha}}\frac{\ln(s)}{s^{\beta_{2}}-s^{\beta_{1}}} (12)

The real and imaginary parts of z~β(s)\tilde{z}_{\beta}(s) are given respectively by:

Re(z~β(s))\displaystyle\text{Re}(\tilde{z}_{\beta}(s)) =ωa[2cos(πa2)ln(ω)+πsin(πa2)]D(ω,a,b)\displaystyle=-\frac{\omega^{a}\left[2\cos\left(\frac{\pi a}{2}\right)\ln(\omega)+\pi\sin\left(\frac{\pi a}{2}\right)\right]}{D(\omega,a,b)}
+ωb[2cos(πb2)ln(ω)+πsin(πb2)]D(ω,a,b)\displaystyle+\frac{\omega^{b}\left[2\cos\left(\frac{\pi b}{2}\right)\ln(\omega)+\pi\sin\left(\frac{\pi b}{2}\right)\right]}{D(\omega,a,b)} (13)
Im(z~β(s))\displaystyle\text{Im}(\tilde{z}_{\beta}(s)) =ωa[2sin(πa2)ln(ω)πcos(πa2)]D(ω,a,b)\displaystyle=\frac{\omega^{a}\left[2\sin\left(\frac{\pi a}{2}\right)\ln(\omega)-\pi\cos\left(\frac{\pi a}{2}\right)\right]}{D(\omega,a,b)}
+ωb[πcos(πb2)2sin(πb2)ln(ω)]D(ω,a,b)\displaystyle+\frac{\omega^{b}\left[\pi\cos\left(\frac{\pi b}{2}\right)-2\sin\left(\frac{\pi b}{2}\right)\ln(\omega)\right]}{D(\omega,a,b)} (14)
where (15)
D(ω,a,b)\displaystyle D(\omega,a,b) =2[2ωa+bcos(π(ab)/2)+ω2a+ω2b]\displaystyle={2\left[-2\omega^{a+b}\cos\left(\pi(a-b)/2\right)+\omega^{2a}+\omega^{2b}\right]}

clearly different from those of a single CPE mentioned above: Re(zc)=cos(απ/2)/(Cαωα)\text{Re}(z_{c})=\cos(\alpha\pi/2)/(C_{\alpha}\omega^{\alpha}), and Im(zc)=sin(απ/2)/(Cαωα)\text{Im}(z_{c})=-\sin(\alpha\pi/2)/(C_{\alpha}\omega^{\alpha}).

In Fig. 2 we show plots of the normalized impedance function (zβ(s)×Cα)(z_{\beta}(s)\times C_{\alpha}) in terms of its magnitude vs. frequency (see Fig. 2(a)), its phase vs. frequency (see Fig. 2(b)) and the real vs. imaginary parts (see Fig. 2(c)) for different combination values of β1\beta_{1} and β2\beta_{2}. The case when β1=0\beta_{1}=0 and β2=1\beta_{2}=1, corresponding to the impedance given by Eq. 11, is also plotted in the figures and clearly represents the least capacitive network at low frequencies. For fixed β2=1\beta_{2}=1, the network becomes more capacitive as β1\beta_{1} approaches one. We can also see from the figures that for the three cases where the upper limit β2\beta_{2} is the same, i.e. (β1=0.8,β2=1.0\beta_{1}=0.8,\,\beta_{2}=1.0), (β1=0.5,β2=1.0\beta_{1}=0.5,\,\beta_{2}=1.0) and (β1=0.0,β2=1.0\beta_{1}=0.0,\,\beta_{2}=1.0), the impedance phase tends to the same limit at high frequencies dictated by this value of β2\beta_{2}. Whereas when the lower limit β1\beta_{1} is the same, i.e. (β1=0.5,β2=1.0\beta_{1}=0.5,\,\beta_{2}=1.0), (β1=0.5,β2=0.8\beta_{1}=0.5,\,\beta_{2}=0.8) and (β1=0.5,β2=0.7\beta_{1}=0.5,\,\beta_{2}=0.7), the phase tends to the same limit at low frequencies. Otherwise, it is evident that with this particular superposition of CPEs (ϕ(α)\phi(\alpha) uniform distribution), the resulting system is not a CPE itself. The closest the impedance phase gets to a constant, and therefore to a traditional CPE, is when the limits of integration β1\beta_{1} and β2\beta_{2} are closer to each other as it is the case for (β1=0.8,β2=1.0\beta_{1}=0.8,\,\beta_{2}=1.0) for example.

Refer to caption
Figure 2: (a)-(c): Plots of the impedance function given by Eq. 12, and (d) plots of vcβv_{c_{\beta}} (Eq. 44) and its special case vcuv_{c_{u}} (Eq. 17 (valid only at β1=0,β2=1.0\beta_{1}=0,\,\beta_{2}=1.0))

Now we derive the network’s voltage in response to a constant current excitation with i(t)=i0>0i(t)=i_{0}>0 for t>0t>0 (see Fig. 1), assuming that the network is initially uncharged. The developed voltage vcu(t)v_{c_{u}}(t) on the network when β1=0\beta_{1}=0 and β2=1\beta_{2}=1 is given by:

vcu(t)\displaystyle v_{c_{u}}(t) =1{i0Cαln(s)s(s1);t}\displaystyle=\mathcal{L}^{-1}\left\{\frac{i_{0}}{C_{\alpha}}\frac{\ln(s)}{s(s-1)};t\right\} (16)
=i0Cα[γetEi(t)+ln(t)]\displaystyle=\frac{i_{0}}{C_{\alpha}}\left[\gamma-e^{t}\text{Ei}(-t)+\ln(t)\right] (17)

where Ei(z)=zu1eu𝑑u\text{Ei}(z)=-\int_{-z}^{\infty}u^{-1}e^{-u}du is the exponential integral function and γ\gamma is Euler’s constant 0.577216\approx 0.577216. Similar results were reported by Eab and Lim [26] for the case of simple free fractional Langevin equation without a friction term.

The voltage expression for the general impedance function under the condition 0<β1αβ2<10<\beta_{1}\leqslant\alpha\leqslant\beta_{2}<1 can also be derived after applying the series expansion (1x)1=k=0xk(1-x)^{-1}=\sum_{k=0}^{\infty}x^{k} for |x|<1|x|<1 enabling us to write:

vcβ(t)\displaystyle v_{c_{\beta}}(t) =1{i0Cαsβ21ln(s)1sβ1β2;t}\displaystyle=\mathcal{L}^{-1}\left\{\frac{i_{0}}{C_{\alpha}}\frac{s^{-\beta_{2}-1}\ln(s)}{1-s^{\beta_{1}-\beta_{2}}};t\right\} (18)
=i0Cα1{ln(s)k=0sk(β2β1)(β2+1);t}\displaystyle=\frac{i_{0}}{C_{\alpha}}\mathcal{L}^{-1}\left\{\ln(s)\sum_{k=0}^{\infty}s^{-k(\beta_{2}-\beta_{1})-(\beta_{2}+1)};t\right\} (19)

Noting that the ln(s)\ln(s) function can be represented in terms of the Fox HH-function as:

ln(s)\displaystyle\ln(s) =ln(1+s)ln(1+s1)\displaystyle=\ln(1+s)-\ln(1+s^{-1})
=H2,21,2[s|(1,1),(1,1)(1,1),(0,1)]H2,21,2[s1|(1,1),(1,1)(1,1),(0,1)]\displaystyle=H^{1,2}_{2,2}\left[s\left|\begin{array}[]{l}(1,1),(1,1)\\ (1,1),(0,1)\\ \end{array}\right.\right]-H^{1,2}_{2,2}\left[s^{-1}\left|\begin{array}[]{l}(1,1),(1,1)\\ (1,1),(0,1)\\ \end{array}\right.\right] (24)

the inverse Laplace transform can then be evaluated term by term. Recall that the HH-function of order (m,n,p,q)4(m,n,p,q)\in\mathbb{N}^{4}, (0np0\leqslant n\leqslant p, 1mq1\leqslant m\leqslant q) and with parameters Aj+(j=1,,p)A_{j}\in\mathbb{R}_{+}\;(j=1,\ldots,p), Bj+(j=1,,q)B_{j}\in\mathbb{R}_{+}\;(j=1,\ldots,q), aj(j=1,,p)a_{j}\in\mathbb{C}\;(j=1,\ldots,p) and bj(j=1,,q)b_{j}\in\mathbb{C}\;(j=1,\ldots,q) is defined for z,z0z\in\mathbb{C},\;z\neq 0 by the contour integral [18, 20]:

Hp,qm,n[z|(a1,A1),,(ap,Ap)(b1,B1),,(bq,Bq)]=12πiLh(s)zs𝑑sH^{m,n}_{p,q}\left[z\left|\begin{array}[]{c}{(a_{1},A_{1}),\ldots,(a_{p},A_{p})}\\ {(b_{1},B_{1}),\ldots,(b_{q},B_{q})}\end{array}\right.\right]=\frac{1}{2\pi i}\int_{L}h(s)z^{-s}ds (25)

where the integrand h(s)h(s) is given by:

h(s)={j=1mΓ(bj+Bjs)}{j=1nΓ(1ajAjs)}{j=m+1qΓ(1bjBjs)}{j=n+1pΓ(aj+Ajs)}h(s)=\frac{\left\{\prod\limits_{j=1}^{m}\Gamma(b_{j}+B_{j}s)\right\}\left\{\prod\limits_{j=1}^{n}\Gamma(1-a_{j}-A_{j}s)\right\}}{\left\{\prod\limits_{j={m+1}}^{q}\Gamma(1-b_{j}-B_{j}s)\right\}\left\{\prod\limits_{j={n+1}}^{p}\Gamma(a_{j}+A_{j}s)\right\}} (26)

In Eq. 25, zs=exp[s(ln|z|+iargz)]z^{-s}=\exp\left[-s(\ln|z|+i\arg z)\right] and argz\arg z is not necessarily the principal value. The contour of integration LL is a suitable contour separating the poles of Γ(bj+Bjs)\Gamma(b_{j}+B_{j}s) (j=1,,mj=1,\ldots,m) from the poles of Γ(1ajAjs)\Gamma(1-a_{j}-A_{j}s) (j=1,,nj=1,\ldots,n). An empty product is always interpreted as unity. We also recall that the Laplace transform of an HH-function which is given by [18]:

\displaystyle\mathcal{L} [tρ1Hp,qm,n[atσ|(ap,Ap)(bq,Bq)];u]\displaystyle\left[t^{\rho-1}H_{p,q}^{m,n}\left[at^{\sigma}\left|\begin{array}[]{l}(a_{p},A_{p})\\ (b_{q},B_{q})\\ \end{array}\right.\right];u\right] (29)
=uρHp+1,qm,n+1[auσ|(1ρ,σ),(a1,A1),,(ap,Ap)(b1,B1),,(bq,Bq)]\displaystyle=u^{-\rho}H^{m,n+1}_{p+1,q}\left[au^{-\sigma}\left|\begin{array}[]{l}(1-\rho,\sigma),(a_{1},A_{1}),\ldots,(a_{p},A_{p})\\ (b_{1},B_{1}),\ldots,(b_{q},B_{q})\hfill\\ \end{array}\right.\right] (32)

and the inverse Laplace transform by [18]:

1\displaystyle\mathcal{L}^{-1} [uρHp,qm,n[auσ|(ap,Ap)(bq,Bq)];t]\displaystyle\left[u^{-\rho}H_{p,q}^{m,n}\left[au^{\sigma}\left|\begin{array}[]{l}(a_{p},A_{p})\\ (b_{q},B_{q})\\ \end{array}\right.\right];t\right] (35)
=tρ1Hp+1,qm,n[atσ|(ap,Ap),,(a1,A1),(ρ,σ)(b1,B1),,(bq,Bq)]\displaystyle=t^{\rho-1}H_{p+1,q}^{m,n}\left[at^{-\sigma}\left|\begin{array}[]{l}(a_{p},A_{p}),\ldots,(a_{1},A_{1}),(\rho,\sigma)\\ (b_{1},B_{1}),\ldots,(b_{q},B_{q})\hfill\end{array}\right.\right] (38)

Thus we obtain the general solution for vcβ(t)v_{c_{\beta}}(t) given by Eq. 19 as:

vcβ(t)=i0Cαk=0tρk1\displaystyle v_{c_{\beta}}(t)=\frac{i_{0}}{C_{\alpha}}\sum_{k=0}^{\infty}t^{\rho_{k}-1} {H3,21,2[t1|(1,1),(1,1),(ρk,1)(1,1),(0,1)]\displaystyle\left\{H^{1,2}_{3,2}\left[t^{-1}\left|\begin{array}[]{l}(1,1),(1,1),({\rho_{k}},1)\\ (1,1),(0,1)\end{array}\right.\right]\right. (41)
H3,21,2[t|(1,1),(1,1),(ρk,1)(1,1),(0,1)]},\displaystyle\left.-H^{1,2}_{3,2}\left[t\left|\begin{array}[]{l}(1,1),(1,1),({\rho_{k}},-1)\\ (1,1),(0,1)\end{array}\right.\right]\right\}, (44)

where ρk=k(β2β1)+(β2+1)\rho_{k}=k(\beta_{2}-\beta_{1})+(\beta_{2}+1). This represents the total voltage developed across the network with the only constraint being that 0<β1αβ2<10<\beta_{1}\leqslant\alpha\leqslant\beta_{2}<1.

In Fig. 2(d) we plot the normalized network voltage (vcβ(t)×Cα/i0)(v_{c_{\beta}}(t)\times C_{\alpha}/i_{0}) as given by Eq. 44 for different values of β1\beta_{1} and β2\beta_{2}. The summation was truncated to the first 40 terms. Also, the normalized network voltage (vcu(t)×Cα/i0)(v_{c_{u}}(t)\times C_{\alpha}/i_{0}) given by Eq. 17 (i.e. when β1=0.0\beta_{1}=0.0 and β1=1.0\beta_{1}=1.0) is plotted in the same figure. Correspondingly, a plot is shown for the case of β1=0.1,β2=1.0\beta_{1}=0.1,\,\beta_{2}=1.0 in order to compare the accuracy of plotting the HH-function based expression vs. directly plotting Eq. 17 (valid only for β1=0.0,β2=1.0\beta_{1}=0.0,\,\beta_{2}=1.0). It can be clearly seen that in both these cases, the steady-state normalized voltage (i.e. at tt\rightarrow\infty) has the lowest value because the network is least capacitive, as expected. The higher the value of the steady-state voltage, the more capacitive the network is. In particular, at a first glance when comparing the voltage profiles simulated with (β1=0.8,β2=1.0\beta_{1}=0.8,\,\beta_{2}=1.0), (β1=0.5,β2=1.0\beta_{1}=0.5,\,\beta_{2}=1.0) and (β1=0.0,β2=1.0\beta_{1}=0.0,\,\beta_{2}=1.0) having the same values for β2\beta_{2}, it appears that the more the interval [β1,β2][\beta_{1},\beta_{2}] is skewed to one, the higher is the magnitude of the voltage. But for (β1=0.5,β2=1.0\beta_{1}=0.5,\,\beta_{2}=1.0), (β1=0.5,β2=0.8\beta_{1}=0.5,\,\beta_{2}=0.8) and (β1=0.5,β2=0.7\beta_{1}=0.5,\,\beta_{2}=0.7), which are all having the same lower limit β1\beta_{1}, the voltage magnitude seems to be higher as the value of β2\beta_{2} approaches that of β1\beta_{1}. The same remark now holds for fixed value of β2\beta_{2} just discussed previously. But if we compare the two cases of (β1=0.8,β2=1.0\beta_{1}=0.8,\,\beta_{2}=1.0) and (β1=0.5,β2=0.7\beta_{1}=0.5,\,\beta_{2}=0.7), wherein the size of the interval for α\alpha is 0.2 for both, we can clearly see a crossing point below which the latter case generate higher voltage, and vice versa, i.e. above this crossing point it is the voltage corresponding to (β1=0.8,β2=1.0\beta_{1}=0.8,\,\beta_{2}=1.0) that overtakes the other. This is an interesting observation that highlights the difference in response time of distributed order CPEs at small vs. larger values of time.

III.3 Example 2: ϕ(α)\phi(\alpha) is a set of discrete values

As a second example, we consider the case where the weight function for the order α\alpha is given by:

ϕ(α)=iCαiδ(ααi)\phi(\alpha)=\sum_{i}C_{\alpha_{i}}\,\delta(\alpha-\alpha_{i}) (45)

with δ(x)\delta(x) the Dirac delta function.

The network’s equivalent impedance is straightforward to obtain in this case. For example, for i=2i=2, the network contains only two CPEs with different parameters, and its equivalent impedance is simply:

z~2(s)\displaystyle\tilde{z}_{2}(s) =1Cα1sα1+Cα2sα2\displaystyle=\frac{1}{C_{\alpha_{1}}s^{\alpha_{1}}+C_{\alpha_{2}}s^{\alpha_{2}}} (46)

This means that we have a total current in the system being:

i2(t)=Cα1Dtα10vc(t)+Cα2Dtα20vc(t)i_{2}(t)=C_{\alpha_{1}}\,{}_{0}\text{D}_{t}^{\alpha_{1}}v_{c}(t)+C_{\alpha_{2}}\,{}_{0}\text{D}_{t}^{\alpha_{2}}v_{c}(t) (47)

and therefore the order distribution function ϕ(α)\phi(\alpha) is:

ϕ2(α)=Cα1δ(αα1)+Cα2δ(αα2)\phi_{2}(\alpha)=C_{\alpha_{1}}\,\delta(\alpha-\alpha_{1})+C_{\alpha_{2}}\,\delta(\alpha-\alpha_{2}) (48)

While for i=3i=3, i.e. the case of three CPEs in parallel the equivalent impedance is:

z~3(s)=1Cα1sα1+Cα2sα2+Cα3sα3\displaystyle\tilde{z}_{3}(s)=\frac{1}{C_{\alpha_{1}}s^{\alpha_{1}}+C_{\alpha_{2}}s^{\alpha_{2}}+C_{\alpha_{3}}s^{\alpha_{3}}} (49)

and for the general case, the total network input admittance is the sum:

y~i(s)\displaystyle\tilde{y}_{i}(s) =Cα1sα1+Cα2sα2+..+Cαisαi\displaystyle={C_{\alpha_{1}}s^{\alpha_{1}}+C_{\alpha_{2}}s^{\alpha_{2}}}+.....+C_{\alpha_{i}}s^{\alpha_{i}} (50)

For illustration purposes, we show in Fig. 3 plots of z~2(s)\tilde{z}_{2}(s) (Eq. 46) and z~3(s)\tilde{z}_{3}(s) (Eq. 49) in terms of magnitude vs. frequency (Fig. 3(a)), phase vs. frequency (Fig. 3(b)) and real vs. imaginary parts (Fig. 3(c)) with the parameters values (α1=0.9\alpha_{1}=0.9, Cα1=1.0F sα11C_{\alpha_{1}}=1.0\,\text{F\,s}^{\alpha_{1}-1}), (α2=0.9\alpha_{2}=0.9, Cα2=2.0F sα21C_{\alpha_{2}}=2.0\,\text{F\,s}^{\alpha_{2}-1}), (α3=0.5\alpha_{3}=0.5, Cα3=1.5F sα31C_{\alpha_{3}}=1.5\,\text{F\,s}^{\alpha_{3}-1}), over the frequency range 0.01 to 100 Hz. The effect of adding the third less-capacitive CPE (with α=0.5\alpha=0.5) on the overall network impedance is clear from the figures.

Refer to caption
Figure 3: (a)-(c): Plots of the impedance functions z~2(s)\tilde{z}_{2}(s) (Eq. 46) and z~3(s)\tilde{z}_{3}(s) (Eq. 49), and (d) plots of the voltages vc2(t)v_{c_{2}}(t) (Eq. 53) vc3(t)v_{c_{3}}(t) (Eq. 60)

Deriving in closed form the expression for the voltage response across the network is done here after recalling the Laplace transform formula [29, 30]:

0tβ1Eα,βγ(atα)est𝑑t=sβ(1+asα)γ\int\limits_{0}^{\infty}t^{\beta-1}{E}_{\alpha,\beta}^{\gamma}\left(-at^{\alpha}\right)e^{-st}dt=\frac{s^{-\beta}}{(1+as^{-\alpha})^{\gamma}} (51)

where

Eα,βγ(z):=k=0(γ)kΓ(αk+β)zkk!(α,β,γ,Re(α)>0)\text{E}_{\alpha,\beta}^{\gamma}(z):=\sum\limits_{k=0}^{\infty}\frac{(\gamma)_{k}}{\Gamma(\alpha k+\beta)}\frac{z^{k}}{k!}\quad(\alpha,\beta,\gamma\in\mathbb{C},\mathrm{Re}({\alpha})>0) (52)

is the generalized Mittag-Leffler function [29] and (γ)k=Γ(γ+k)/Γ(γ)(\gamma)_{k}=\Gamma(\gamma+k)/\Gamma(\gamma) is the Pochhammer symbol. We can obtain directly the time-domain voltage in response to a constant current excitation i(t)=i0>0i(t)=i_{0}>0 for t>0t>0 applied on the (initially uncharged) network with two CPEs only as:

vc2(t)=Cα11i0tα1Eα1α2,α1+1(Cα11Cα2tα1α2)v_{c_{2}}(t)=C_{\alpha_{1}}^{-1}{i_{0}}\,t^{\alpha_{1}}\text{E}_{\alpha_{1}-\alpha_{2},\alpha_{1}+1}(-C_{\alpha_{1}}^{-1}C_{\alpha_{2}}t^{\alpha_{1}-\alpha_{2}}) (53)

Note that the Mittag-Leffler function can also be expressed as an HH-function [18] in the form:

Eα,βγ(z)=1Γ(γ)H1,21,1[z|(1γ,1)(0,1),(1β,α)]\text{E}_{\alpha,\beta}^{\gamma}(z)=\frac{1}{\Gamma(\gamma)}H^{1,1}_{1,2}\left[-z\left|\begin{array}[]{l}(1-\gamma,1)\\ (0,1),(1-\beta,\alpha)\\ \end{array}\right.\right] (54)

We verify that when α1=α2\alpha_{1}=\alpha_{2} in Eq. 53, the voltage simplifies to:

vc2(t)=i0tα1(Cα1+Cα2)Γ(1+α1)v_{c_{2}}(t)=\frac{{i_{0}}\,t^{\alpha_{1}}}{(C_{\alpha_{1}}+C_{\alpha_{2}})\Gamma(1+\alpha_{1})} (55)

and if we additionally have Cα1=Cα2C_{\alpha_{1}}=C_{\alpha_{2}}, then

vc2(t)=i0tα12Cα1Γ(1+α1)v_{c_{2}}(t)=\frac{{i_{0}}\,t^{\alpha_{1}}}{2C_{\alpha_{1}}\Gamma(1+\alpha_{1})} (56)

as expected.

Now for the case of three CPEs in the network and under the assumption that α1>α2>α3\alpha_{1}>\alpha_{2}>\alpha_{3}, it can be shown that the network equivalent impedance given by Eq. 49 can be rewritten as:

z~3(s)\displaystyle\tilde{z}_{3}(s) =Cα11sα11+Cα11Cα2sα2α111+Cα11Cα3sα3α11+Cα11Cα2sα2α1\displaystyle=\cfrac{C_{\alpha_{1}}^{-1}s^{-\alpha_{1}}}{1+C_{\alpha_{1}}^{-1}C_{\alpha_{2}}s^{\alpha_{2}-\alpha_{1}}}\cfrac{1}{1+\cfrac{C_{\alpha_{1}}^{-1}C_{\alpha_{3}}s^{\alpha_{3}-\alpha_{1}}}{1+C_{\alpha_{1}}^{-1}C_{\alpha_{2}}s^{\alpha_{2}-\alpha_{1}}}} (57)
=Cα11k=0(Cα11Cα3)ksα1+k(α3α1)(1+Cα11Cα2sα2α1)k+1\displaystyle=C_{\alpha_{1}}^{-1}\sum\limits_{k=0}^{\infty}\left(-C_{\alpha_{1}}^{-1}C_{\alpha_{3}}\right)^{k}\cfrac{s^{-\alpha_{1}+k(\alpha_{3}-\alpha_{1})}}{\left(1+C_{\alpha_{1}}^{-1}C_{\alpha_{2}}s^{\alpha_{2}-\alpha_{1}}\right)^{k+1}} (58)

with the use of the expansion formula (1+x)1=k=0(1)kxk(1+x)^{-1}=\sum_{k=0}^{\infty}(-1)^{k}x^{k} for |x|<1|x|<1. Its inverse Laplace transform is carried out term by term using Eq. 51 leading to:

z3(t)=Cα11tα11k=0\displaystyle z_{3}(t)=C_{\alpha_{1}}^{-1}t^{\alpha_{1}-1}\sum\limits_{k=0}^{\infty} (Cα11Cα3)ktk(α3α1)\displaystyle\left(-C_{\alpha_{1}}^{-1}C_{\alpha_{3}}\right)^{k}t^{{-k(\alpha_{3}-\alpha_{1})}}
×Eα1α2,α1k(α3α1)k+1(Cα11Cα2tα1α2)\displaystyle\times\text{E}_{\alpha_{1}-\alpha_{2},{\alpha_{1}-k(\alpha_{3}-\alpha_{1})}}^{k+1}\left(-C_{\alpha_{1}}^{-1}C_{\alpha_{2}}t^{\alpha_{1}-\alpha_{2}}\right) (59)

Under a constant current excitation, the resulting voltage for this case is found to be:

vc3(t)=i0Cα11tα1k=0\displaystyle v_{c_{3}}(t)=i_{0}C_{\alpha_{1}}^{-1}t^{\alpha_{1}}\sum\limits_{k=0}^{\infty} (Cα11Cα3)ktk(α3α1)\displaystyle\left(-C_{\alpha_{1}}^{-1}C_{\alpha_{3}}\right)^{k}t^{{-k(\alpha_{3}-\alpha_{1})}}
×Eα1α2,α1+1k(α3α1)k+1(Cα11Cα2tα1α2)\displaystyle\times\text{E}_{\alpha_{1}-\alpha_{2},{\alpha_{1}+1-k(\alpha_{3}-\alpha_{1})}}^{k+1}\left(-C_{\alpha_{1}}^{-1}C_{\alpha_{2}}t^{\alpha_{1}-\alpha_{2}}\right) (60)

The solution to a similar problem for nn discrete terms as depicted in Fig. 1, i.e. for a total current of the form:

in(t)=Cα1Dtα10vc(t)+Cα2Dtα20vc(t)++CαnDtαn0vc(t)i_{n}(t)=C_{\alpha_{1}}\,{}_{0}\text{D}_{t}^{\alpha_{1}}v_{c}(t)+C_{\alpha_{2}}\,{}_{0}\text{D}_{t}^{\alpha_{2}}v_{c}(t)+\ldots+C_{\alpha_{n}}\,{}_{0}\text{D}_{t}^{\alpha_{n}}v_{c}(t) (61)

and thus a weight function,

ϕn(α)=Cα1δ(αa1)+Cα2δ(αa2)++Cαnδ(αan)\phi_{n}(\alpha)=C_{\alpha_{1}}\,\delta(\alpha-a_{1})+C_{\alpha_{2}}\,\delta(\alpha-a_{2})+\ldots+C_{\alpha_{n}}\,\delta(\alpha-a_{n}) (62)

can be found in Podlubny [31].

In Fig. 3(d), we plotted the time-domain voltage expressions given by Eq. 53 and by Eq. 60 (first 10 terms of the sum) using the same parameter values, and with i0=1i_{0}=1. The voltage growth follows non-exponential, power-law like profiles which is expected [8, 22, 32]. The effect of the less capacitive CPE (with α=0.5\alpha=0.5) on reducing the steady-state value of the voltage is clear from the figure. Similar results can be obtained for more than three CPEs in the network.

IV Conclusion

In this work, we studied the behavior of a distributed order network of CPEs modeled by the current-voltage relation given by Eq. 6 for two cases of the weight function ϕ(α)\phi(\alpha) describing the variations in the CPE orders, i.e. (i) ϕ(α)=1\phi(\alpha)=1 for 0<α<10<\alpha<1 and zero otherwise, and (ii)(ii) ϕ(α)=iCαiδ(ααi)\phi(\alpha)=\sum_{i}C_{\alpha_{i}}\,\delta(\alpha-\alpha_{i}). The weight functions considered are solely dependent on the order α\alpha without the assignment of any new variable to the problem. While ϕ(α)\phi(\alpha) is in fact a characteristic function describing the underlying physics of the system under study, these two situations we analyzed are believed to be good enough to describe real electrode/electrolyte problems [28]. We derived the expressions for both the equivalent impedance function and the voltage response to a constant current excitation for these two cases of CPE networks, which yield results far different from the standard CPE response. A CPE network with variable, time-dependent CPE parameters will be the subject of a future study.

References

References

  • [1] J. A. Amani, T. Koppe, H. Hofsaess, U. Vetter, Analysis of immittance spectra: Finding unambiguous electrical equivalent circuits to represent the underlying physics, Phys. Rev. Appl. 4 (4) (2015) 044007.
  • [2] J.-B. Jorcin, M. E. Orazem, N. Pébère, B. Tribollet, Cpe analysis by local electrochemical impedance spectroscopy, Electrochim. Acta 51 (8-9) (2006) 1473–1479.
  • [3] S. M. Gateman, O. Gharbi, H. G. de Melo, K. Ngo, M. Turmine, V. Vivier, On the use of a constant phase element (cpe) in electrochemistry, Curr. Opin. Electrochem. 36 (2022) 101133.
  • [4] M. E. Orazem, I. Frateur, B. Tribollet, V. Vivier, S. Marcelin, N. Pébère, A. L. Bunge, E. A. White, D. P. Riemer, M. Musiani, Dielectric properties of materials showing constant-phase-element (cpe) impedance response, J. Electrochem. Soc. 160 (6) (2013) C215.
  • [5] X. Vendrell, J. Ramírez-González, Z.-G. Ye, A. R. West, Revealing the role of the constant phase element in relaxor ferroelectrics, Commun. Phys. 5 (1) (2022) 9.
  • [6] M. S. Abouzari, F. Berkemeier, G. Schmitz, D. Wilmer, On the physical interpretation of constant phase elements, Solid State Ionics 180 (14-16) (2009) 922–927.
  • [7] A. Allagui, A. Elwakil, E. H. Balaguera, Exact solution for the electrical response of a constant phase element with a series resistance to linear voltage sweep, J. Power Sources 613 (2024) 234907.
  • [8] A. Allagui, H. Benaoum, Power-law charge relaxation of inhomogeneous porous capacitive electrodes, J. Electrochem. Soc. 169 (2022) 040509.
  • [9] A. Allagui, M. E. Fouda, Inverse problem of reconstructing the capacitance of electric double-layer capacitors, Electrochim. Acta (2021) 138848.
  • [10] A. Allagui, M. Fouda, A. S. Elwakil, The ragone plot of supercapacitors under different loading conditions, J. Electrochem. Soc. 167 (2) (2020) 020533.
  • [11] A. Lasia, The origin of the constant phase element, The Journal of Physical Chemistry Letters 13 (2) (2022) 580–589.
  • [12] M. Caputo, Distributed order differential equations modelling dielectric induction and diffusion, Fract. Calc. Appl. Anal. 4 (4) (2001) 421–442.
  • [13] W. Ding, S. Patnaik, S. Sidhardh, F. Semperlotti, Applications of distributed-order fractional operators: A review, Entropy 23 (1) (2021) 110.
  • [14] S. Patnaik, J. P. Hollkamp, F. Semperlotti, Applications of variable-order fractional operators: a review, Proc. R. Soc. A 476 (2234) (2020) 20190498.
  • [15] R. Bagley, P. Torvik, On the existence of the order domain and the solution of distributed order equations-part i, Int. J. Appl. Math. 2 (7) (2000) 865–882.
  • [16] R. Bagley, P. Torvik, On the existence of the order domain and the solution of distributed order equations-part ii, Int. J. Appl. Math. 2 (8) (2000) 965–988.
  • [17] H. J. Haubold, A. M. Mathai, R. K. Saxena, Mittag-leffler functions and their applications, J. Appl. Math. 2011.
  • [18] A. M. Mathai, R. K. Saxena, H. J. Haubold, The H-function: theory and applications, Springer Science & Business Media, 2009.
  • [19] A. Mathai, H. J. Haubold, Mittag-leffler functions and fractional calculus, Special Functions for Applied Scientists (2008) 79–134.
  • [20] A. M. Mathai, R. K. Saxena, R. K. Saxena, et al., The H-function with applications in statistics and other disciplines, John Wiley & Sons, 1978.
  • [21] A. Allagui, E. H. Balaguera, On the semi-infinite distributed resistor-constant phase element transmission line, Electrochim. Acta 510 (2025) 145344.
  • [22] A. Allagui, A. S. Elwakil, Possibility of information encoding/decoding using the memory effect in fractional-order capacitive devices, Sci. Rep. 11 (1) (2021) 1–7.
  • [23] A. Allagui, A. S. Elwakil, C. Psychalinos, Decoupling the magnitude and phase in a constant phase element, J. Electroanal. Chem. 888 (2021) 115153.
  • [24] A. Allagui, A. S. Elwakil, Tikhonov regularization for the deconvolution of capacitance from voltage-charge response of electrochemical capacitors, Electrochim. Acta (2023) 142527.
  • [25] C. F. Lorenzo, T. T. Hartley, Variable order and distributed order fractional operators, Nonlinear Dyn. 29 (2002) 57–98.
  • [26] C. Eab, S. Lim, Fractional langevin equations of distributed order, Phys. Rev. E 83 (3) (2011) 031136.
  • [27] F. Mainardi, A. Mura, G. Pagnini, R. Gorenflo, Time-fractional diffusion of distributed order, J. Vib. Control 14 (9-10) (2008) 1267–1290.
  • [28] Z. Said, A. Allagui, M. A. Abdelkareem, A. S. Elwakil, H. Alawadhi, R. Zannerni, K. Elsaid, Modulating the energy storage of supercapacitors by mixing close-to-ideal and far-from-ideal capacitive carbon nanofibers, Electrochim. Acta 301 (2019) 465–471.
  • [29] T. R. Prabhakar, A singular integral equation with a generalized Mittag Leffler function in the kernel, Yokohama Math. J. 19 (1) (1971) 7–15.
  • [30] R. Saxena, A. Mathai, H. Haubold, On generalized fractional kinetic equations, Physica A 344 (3-4) (2004) 657–664.
  • [31] I. Podlubny, Fractional differential equations: an introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications, Elsevier, 1998.
  • [32] A. Allagui, H. Benaoum, A. S. Elwakil, M. Alshabi, Extended RCRC impedance and relaxation models for dissipative electrochemical capacitors, IEEE Trans. Electron Devices (2022).