Abstract
This paper discusses the ability to obtain periodic steady-state solutions for fractional nonlinear circuit problems. For a class of nonlinear problems with fractional derivatives (based on the Caputo or Riemann–Liouville definitions), a methodology is proposed to derive equations representing the dependencies between the harmonics of the sought variables. Two approaches are considered for how to address the apparent nonlinear dependencies: one based on symbolic computation and the other a numerical approach based on the analysis of time functions. An example problem with fractional and nonlinear elements is presented to illustrate the usefulness of the proposed methodology. Two error criteria are introduced to verify the accuracy of the obtained results. The methodology is mainly designed to provide referential solutions in analyses of the numerical method called SubIval (the subinterval-based method for computation of the fractional derivative in initial value problems).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction: Fractional Calculus
Fractional calculus is an increasingly popular field due to its many potential applications. Analyses are performed concerning the usefulness of fractional derivatives and/or integrals in:
-
circuit analyses [17, 19], including the application of fractional capacitors [13, 15, 28, 56] (e.g., in modeling supercapacitors) and fractional coils (in modeling ferromagnetic coils [44]);
-
electromagnetic field analyses for materials with complex properties [9, 12, 16];
Many theoretical considerations have been conducted concerning the behavior of fractional-order systems (e.g., stability and controllability analyses [27]). The most important theoretical aspect is, however, the ability to solve problems where fractional derivatives and integrals appear, as this is essential for all other analyses.
Various definitions of the fractional derivative can be found in the literature [25], but the most commonly used definitions are those of Riemann–Liouville [36] and Caputo [8].
This paper considers circuit analyses, specifically those with periodic steady-state sources and fractional or nonlinear elements, even elements that are both fractional and nonlinear. The motivation for the research is given in the next section.
2 Motivation
The current paper presents part of the studies concerning the design of numerical and semi-analytical methods (providing referential solutions) to solve problems with fractional derivatives. The study mainly concerns problems emerging in circuit analyses.
When designing a numerical method, it is appropriate to have means for a reliable assessment of its usefulness. The efficiency of a method is often estimated through analyses of errors [30, 58] and computational components (e.g., the number of basic operations of an algorithm [54] or computation time [33]). When a method has already been implemented, it is worthwhile to test it on selected problems, especially those for which the method is mainly intended. The correctness of the solutions obtained through the method can be determined through:
-
fulfillment of equations specific for the problem, e.g., basic laws, such as Kirchhoff’s laws or the power balance for a circuit problem [39];
-
comparison with results obtained through another method, preferably one operating on a very different basis (e.g., the results obtained through the application of numerical methods are compared with results from analytical solutions [35] and vice versa [53]).
The current study was motivated by the author’s work on the numerical method called SubIval [52] (the subinterval-based method for fractional derivatives in initial value problems). The method is designed mainly with circuit problems in mind, but it is not limited to them in its application.
While determining the accuracy of the method for solving circuit problems, it has been established that:
-
for selected transient problems, the solutions can be compared with results obtained through the evaluation of analytical solutions based on the Mittag–Leffler function [18, 22, 23, 34];
-
steady-state linear AC problems solved with the newly designed numerical methods can be compared with solutions obtained through the application of complex numbers.
It would also be useful to have the ability to obtain referential solutions for nonlinear problems. As suggested previously, it would be ideal if the method for obtaining these solutions had a basis that is very different from that of the method being examined.
The presented methodology has been designed for periodic steady-state nonlinear problems of circuit theory, where the time functions (of which the solution comprises) consist of limited numbers of significant harmonics. The methodology leads a problem to a harmonic balance form. Optionally, the methodology can be based on symbolic computation when acquiring dependencies that result from nonlinearities. The main goal is to obtain steady-state solutions for a selected class of problems that can be used for further improvement in the SubIval numerical method. The considered class of problems is one that results in Eq. (8) described in Sect. 4.
3 Assumptions and Complex Number Representation
The current study is simplified to the case where:
-
(a)
the circuit is in a periodic steady state;
-
(b)
nonlinearities consist of only strictly increasing odd functions;
-
(c)
each time function of the solution consists of odd harmonics, where the highest is represented by the integer \({h_\mathrm {max}}\);
-
(d)
the source time functions consist only of odd harmonics, where the first time harmonic is dominant and the highest harmonic (denoted by \({h_\mathrm {max\;src}}\)) is below \({h_\mathrm {max}}\).
Assumption (c) leads to an obvious source of error as harmonics above \(h_\mathrm {max}\) are removed from the result, whereas in reality, even higher harmonics will emerge. This motivates the “harmonic remainder error” defined in Sect. 9.
Every time function of the solution (for the moment denoted by w(t)) can be given by a vector of complex numbers representing the subsequent odd harmonics:
Hence:
where the parameter:
with \(f_1\) being the base frequency.
The study considers the application of the Riemann–Liouville [36] and Caputo [8] definitions of the fractional derivative, where the order is \({\alpha \in (0, 1]}\). For a steady-state analysis, both definitions result in the same operation because they differ by only a component dependent on the initial value [2]. The fractional derivative (in the periodic steady state) can therefore be computed by:
where:
For a fractional integrodifferentiation in a complex vector representation (resulting in a vector \(\underline{\mathbf {d}}\)), one can use the Hadamard product:
where:
4 General Form of the Considered System of Equations
4.1 Time-Dependent Form
The methodology is designed for problems that yield a system of equations in the following form:
where \(\mathbf {x}(t)\) is a vector of \(n_x\) state variables, and \(\mathbf {y}(t)\) is a vector of all the remaining \(n_y\) variables. The vector \(\mathbf {v}(t)\) (of size \(n_v\)) contains all the source time functions. The vector \(\mathbf {w}(t)\) contains all the variables being computed:
hence, the total number of computed variables \(n_w = n_y + n_x\). The component \( \mathbf {D}_t ^{ \mathbf {\alpha } } \mathbf {x}(t) \) contains the fractional derivatives (each in either the Riemann–Liouville definition or Caputo definition):
with \(\varvec{\alpha }\) denoting the vector of fractional derivative orders. As for the other components:
-
\(\mathbf {M}_\mathrm {I}\) is an \(n_y \times n_y\) matrix;
-
\(\mathbf {M}_\mathrm {II}\) is an \(n_y \times n_x\) matrix;
-
\(\mathbf {M}_\mathrm {III}\) is an \(n_x \times n_y\) matrix;
-
\(\mathbf {M}_\mathrm {IV}\) is an \(n_x \times n_x\) matrix;
-
\(\mathbf {T}\) is an \(n_y \times n_v\) matrix;
-
\(\mathbf {F}_\mathrm {NL}(\mathbf {w}(t))\) contains \(n_\mathrm {NL}\) nonlinear functions (generally dependent on \(\mathbf {w}(t)\), but in truth each depends on only one variable);
-
a vector denoted by \(\mathbf {0}_k\) is one consisting of k zeros.
Note that nonlinearities are given in the form:
where \(i_\mathrm {LHS}\) is the index of the left-hand side variable, which depends on \(f_{\mathrm {NL}\;i}\). \(i_\mathrm {arg}\) is the index of the argument of the nonlinear function. Hence, the left-hand sides contribute to entries in \(\mathbf {M}_\mathrm {I}\) or \(\mathbf {M}_\mathrm {II}\), and each nonlinear dependency is stored in \(\mathbf {F}_\mathrm {NL}(\mathbf {w}(t))\).
For further convenience, the nonlinear dependencies are represented as follows:
where it is assumed that the dependencies on the appropriate variables are indexed by integers placed in the auxiliary vector \(\mathbf {i}_\mathrm {arg}\) (the notation \((\mathbf {i}_\mathrm {arg})_k\) denotes the kth element of the vector \(\mathbf {i}_\mathrm {arg}\)). Additionally, another auxiliary vector, called \(\mathbf {i}_\mathrm {LHS}\), has been used to store the indices of the left-hand side variables of the nonlinear functions in the form of (11). This application of auxiliary integer vectors has greatly aided the implementation of the methodology.
4.2 Conversion to the Harmonic Balance Form
The current subsection discusses the core of the proposed methodology. For a periodic steady-state problem resulting in a system of nonlinear equations in the form of (8) (including fractional differential equations), the proposed method provides the ability to obtain an alternative system of nonlinear equations representing relations of the sought variables’ harmonics.
The solution is sought in the form of real and imaginary parts (i.e., the sine and cosine components of the actual time function) for each harmonic h of variable \(w_i\). This approach is common [11, 29, 55], although the magnitude and angle of the complex number could also be considered (as in [31]). The harmonics are denoted by \(\underline{w}_{i,h} = w_{i, h\;\mathrm {s}}+\mathrm {j} w_{i, h\;\mathrm {c}}\).
The solution vector is:
The system of nonlinear equations has the form:
Subject to (13), matrix \(\mathbf {A}\) can be rewritten in the following convenient form:
where the auxiliary matrix:
contains the multipliers of both the sine and cosine components of harmonic h of the solution [which is why each \(\mathbf {A}_h\) appears twice in (15)]. The component \(\mathbf {S}_{h\;\mathrm {R}}\) results from (7); it is a diagonal matrix of the form:
The matrix denoted by \(\mathbf {A}_\mathrm {j}\) features only components that arise from (7); it can be presented as:
where all \(\mathbf {A}_{\mathrm {j}\;h}\) are sparse matrices of the form:
where the notation \(\mathbf {0}_{k \times j}\) represents a zero matrix with k rows and j columns. \(\mathbf {S}_{h\;\mathrm {I}}\) are diagonal matrices that (like \(\mathbf {S}_{h\;\mathrm {R}}\)) result from (7). They have the following form:
The right-hand side vector \(\mathbf {b}\) in (14) can be filled after determining the harmonics of each source \(v_i(t)\):
Then:
\(\mathbf {N}(\mathbf {w})\) is a sparse vector filled only for entries resulting from the nonlinear equations of (8). Since each nonlinear function of \(\mathbf {F}_\mathrm {NL}(\mathbf {w}(t))\) in (8) actually depends on only one variable of \(\mathbf {w}(t)\), the dependencies can be written as:
where the nonlinear dependency \(N_{i, h, \mathrm {part}}(w_{(\mathbf {i}_\mathrm {arg})_i})\) is the appropriate part (sine or cosine) of the hth harmonic, resulting from the original nonlinear dependency \(f_{\mathrm {NL}\;i}(w_{(\mathbf {i}_\mathrm {arg})_i})\). Two methods of addressing the nonlinear dependencies are discussed in Sect. 6.
5 Remarks on Nonlinear Solver
Because of the composite form of the resulting nonlinear dependencies given in \(\mathbf {N}(\mathbf {w})\), which could introduce problems when attempting to solve the resulting nonlinear system of equations, a stage-based methodology is proposed. Such an approach, whether used for solving systems of equations or optimization problems [32], can be very useful when a large number of unknowns is considered and when there is uncertainty about what problems the nonlinearities can introduce for a selected solution technique.
In the first stage, a single-harmonic solution is assumed, and the resulting system of equations is solved. This solution is used as the starting point for the first time harmonic when seeking the solution in the next stage, i.e., for \(h_\mathrm {max} = 3\). In each subsequent stage (up to the actual \(h_\mathrm {max}\)), the solution of the previous stage is used as the initial guess for the harmonics up to \(h_\mathrm {max} - 2\).
Furthermore, only the final stage requires a low error tolerance for the internal iterative solver being used. The error tolerance for all the other stages can be much smaller as the role of these stages is only to get close to the solution.
6 Handling Nonlinear Dependencies
Two approaches to addressing the nonlinear dependencies in \(\mathbf {N}(\mathbf {w})\) are described in this paper. The first is based on symbolic computation, and the second relies on the extraction of harmonics from periodic time functions.
6.1 Symbolic Computation Approach
In this approach, it is assumed that the nonlinear dependencies are, or can be, approximated (with reasonable accuracy) by an odd power series with maximum power \({k_\mathrm {max}}\).
When assuming a complex harmonic representation, whenever a nonlinear dependency appears, it is first converted into a set of dependencies for the appropriate harmonics. A nonlinear function \({f_\mathrm {NL}}\) is represented by an odd power series following assumption (b) of Sect. 3:
The result has a maximum time harmonic \(h = k_\mathrm {max} h_\mathrm {max}\).
The result of each exponentiation of the time function w by the integer k, cut down to harmonics \(h = h_\mathrm {max}\) and below, can be represented by a collection of nonlinear dependencies:
with \(\underline{\mathbf {w}}\) following Eq. (1).
To derive the dependencies in symbolic form, the author has applied a simple lightweight library for the symbolic computation of multivariate polynomials [48]. An efficient algorithm for multivariate polynomial multiplication greatly decreases the time needed to perform the required symbolic computations, even when considering many terms [50].
The base operation for obtaining the harmonics’ dependencies is multiplication between two harmonics \(h = i\) and \(j \le i\) of the harmonics vectors \(\underline{\mathbf {w}}\) and \(\underline{\mathbf {u}}\). This multiplication contributes to the harmonics \(h = i - j\) and \(h = i + j\) of the total result, as depicted in Fig. 1.
The real and imaginary parts of the nonlinear dependencies given by the symbol \(\underline{{\varUpsilon }}\) generally have the form of multivariate polynomials in expanded form:
where \(a_i\) are real-valued multipliers, k represents nonnegative exponentiations, and N is the number of monomials.
As \(h_\mathrm {max}\) and \(k_\mathrm {max}\) increase, the dependencies take the form of very large symbolic objects, where not only memory but also the computation time could be an issue. However, one advantage is that these computations need to be performed only once for all integers \(k \le k_\mathrm {max}\) and a selected \(h_\mathrm {max}\), and the results can be saved for later use. The formulation of any nonlinear dependency collection:
and other operations that could be required during the solution process (such as differentiation during Jacobian matrix evaluations) do not introduce much numerical weight for efficient symbolic computation implementations [49].
The dependencies in each \(\underline{\mathbf {f}}_\mathrm {NL}(\underline{\mathbf {w}})\) can be used when addressing \(\mathbf {N}(\mathbf {w})\) in (23).
6.2 Time Function Approach
The second proposed approach to address the nonlinear dependencies is based on a much simpler concept. Instead of knowing the form of \(\mathbf {N}(\mathbf {w})\), as in the symbolic approach, the actual dependencies are handled only during evaluations of a nonlinear system solver.
The evaluation of \(\mathbf {N}(\mathbf {w})\) is performed according to the following instructions:
-
(a)
for each nonlinear dependency \(f_{\mathrm {NL}\;i}(w_{(\mathbf {i}_\mathrm {arg})_i})\), the harmonics of \(\upsilon = w_{(\mathbf {i}_\mathrm {arg})_i}\) are used;
-
(b)
\(n_t\) points, denoted by \(t_1, t_2, \ldots t_{n_t}\) (inside the interval [0, T], with \(T = \frac{1}{f_1}\)), are selected;
-
(c)
for each of the points on the time axis, the time function of the nonlinear function’s argument \(\upsilon \) is evaluated, resulting in values denoted by \(\upsilon _1, \upsilon _2, \ldots \upsilon _{n_t}\);
-
(d)
the results (denoted by \(r_j\)) are computed:
$$\begin{aligned} r_j = f_{\mathrm {NL}\;i}(\upsilon _j), \quad j = 1, 2, \ldots n_t; \end{aligned}$$(28) -
(e)
the harmonics for \(h = 1, 3, \ldots h_\mathrm {max}\) are obtained with a selected algorithm (e.g., fast Fourier transform or the Vaníček method [57]); these harmonics are then used to fill the vector resulting from the evaluation of \(\mathbf {N}(\mathbf {w})\).
A comparison of some of the properties of the two approaches (with respect to how the nonlinear dependencies are handled) is given in Table 1.
7 Remarks on the Implementation
The conversion from (8) to (14), according to the harmonic balance methodology, is performed with programs and libraries written by the author in C#. The Math.NET Numerics library [42] is applied for matrix and vector operations.
The harmonic balance methodology can be applied for a problem in the form of 8. All the necessary information about the problem is put into an object, which is named prob. The base of the \(\mathbf {A}\) matrix, which is independent of frequency (formulated from the \(\mathbf {M}_\mathrm {I}\), \(\mathbf {M}_\mathrm {II}\), \(\mathbf {M}_\mathrm {III}\) and \(\mathbf {M}_\mathrm {IV}\) matrices), can be formulated using the following fragment of code.
The matrices are all \(\textit{Matrix} {<}{} \textit{double}{>}\) objects of the Math.NET Numerics library, and the vectors appear as \(\textit{Vector} {<}{} \textit{double}{>}\) objects. Next, the \(\mathbf {A} + \mathbf {A}_\mathrm {j}\) matrix and the \(\mathbf {b}\) vector of (14) are prepared. Additionally, the nonlinear dependencies of the problem are copied and are then applied to enable evaluation of \(\mathbf {N}(\mathbf {w})\) on the right-hand side of (14). The formulations must be done for all stages of the nonlinear solver described in Sect. 7. The following code fragment is applied.
The NLinfo object contains information about the nonlinear dependencies of the original system. A separate procedure controls the evaluations of \(\mathbf {N}(\mathbf {w})\), either using evaluations of symbolic expressions or following the time function approach described in Sect. 6.2.
8 Computational Examples
8.1 Example 1
The discussed methodology has been verified via computational examples. Two of these examples are presented in this paper. The first concerns the circuit presented in Fig. 2. The circuit is purely theoretical, but it features elements that appear in analyses of real circuits, e.g., strictly increasing nonlinearities, which ensure a unique solution.
The fractional capacitor is described by the equation:
where \(u_\mathrm {cmn}\) denotes the common voltage of the fractional capacitor, nonlinear coil and nonlinear resistor. For the fractional, nonlinear coil, the differential equation is:
where \(\psi \) is the pseudo-flux of the fractional coil (unit: \(\mathrm {Wb}\cdot \mathrm {s}^{\gamma -1}\)). The nonlinear function \(\psi (i_\psi )\) is given by:
where \(\psi _0\) and \(i_0\) are the nonlinear function parameters:
The nonlinear resistor \(R_\mathrm {NL}\) is described by the equation:
with the nonlinear function parameters:
For the considered circuit, it is possible to formulate equations in the form of (8) and, by applying the harmonic balance methodology, to transform the problem to the form of (14).
The transformation of presented problem to the form of (8) is described in Appendix A.
For the two approaches to addressing the nonlinear dependencies, if the symbolic approach is selected, then the arctangent function must first be approximated by a power series. First, however, it is worthwhile to modify the dependency from \(\psi (i_\psi )\) to \(i_\psi (\psi )\):
because fewer power series terms are required.
However, for the analysis presented in this paper, the time function approach is applied to directly address the original nonlinear dependencies.
The solution of the time periodic problem is obtained for \(h_\mathrm {max} = 25\) in the form of the vector \(\mathbf {w}\), as given in Eq. (13). Then, the solution is converted to a time-dependent form. The results (for 3 periods) are depicted in Fig. 3 along with a comparison with a numerical solution obtained by means of a solver using SubIval [47, 52].
The computations of SubIval use the author’s C# programs and apply a DLL available at [47]. The library uses part of the code given in [10] to compute the gamma function. The SubIval step size adaptive solver requires a system of nonlinear equations to be solved at each iteration. For this purpose, a modified Gauss–Newton method, which applies methods and classes from the Math.NET Numerics library, is implemented.
The solver can obtain a time-dependent solution; hence, \(n_T = 10\) periods of the solution are obtained. Then, only the final solution is compared with the periodic steady-state solution obtained by solving the system of equations resulting from the harmonic balance methodology. All the initial conditions for the state variables (\(i_L\), \(u_\mathrm {cmn}\) and \(\psi \)) are set to zero, and the variables selected for comparison are the state variables.
One can notice that as the number of periods increases, the results become closer to each other. To reliably ascertain how close the results are, two criteria have been proposed, both of which are explained in Sect. 9.
The time required to complete this taskFootnote 1 for \(h_\mathrm {max} = 5\) is only \(0.26\,\mathrm {s}\), whereas \(h_\mathrm {max} = 25\) requires \(14.73\,\mathrm {s}\). Naturally, the more complicated the problem is (especially when adding nonlinear elements), the more the computation time will increase when taking into account more harmonics, especially if the nonlinear system is to be solved with high accuracy (note that the final stage of the nonlinear solver is always executed with a lower tolerance for the objective function).
Naturally, the methodology can also be applied in an integer-order case where \(\beta \) and \(\gamma \) are equal to 1. The manner in which the general equations for the problem [i.e., in the form of (8)] are formulated is the same, but when applying the harmonic balance methodology, the matrix denoted by \(\mathbf {S}_{h\;\mathrm {R}}\) in Sect. 4.2 is empty and:
because all the derivative orders are equal to 1. The SubIval solver can still be applied because SubIval itself supports first-order time derivatives [52]. The results of the comparison in the integer-order case are presented in Fig. 4.
In the case of integer-order derivatives, the waveforms also indicate a steady-state result similar to the numerical solution. The results are also verified through the criteria discussed in Sect. 9.
8.2 Example 2
The second example concerns the steady-state solution of the circuit presented in Fig. 5. This example is also purely theoretical.
The circuit features two nonlinear coils, where the first (denoted by the symbol \(L_\psi \)) is described by the same nonlinear function as in the previous example [this time denoted by \(\psi = \psi (i_\psi )\), given in Eq. (31)] and the differential equation:
this time appearing with a different order \(\gamma \).
The second coil is described by the fractional differential equation:
\({\varPhi }\) is an artificial variable (referred to as the “pseudo-flux”, whose unit is \(\mathrm {Wb}\cdot \mathrm {s}^{\lambda -1}\)) of the second coil. The relation between \({\varPhi }\) and the current \(i_{\varPhi }\) is described by the nonlinear equation:
The parameters taken for the computation in this paper are:
The circuit features one more element that is both fractional and nonlinear, the capacitor denoted by \(C_q\). The relation between its voltage \(u_q\) and the variable q (with the unit \(\mathrm {C}\cdot \mathrm {s}^{\beta -1}\)) is described by the equation:
where the following values are assumed:
The differential equation for this element is:
The nonlinear resistor \(R_\mathrm {NL}\) follows the same nonlinear dependency as in the example in Sect. 8.1 (in this case, denoted by \(i_\psi (u_\mathrm {NL})\)).
The formulation of a system of equations in the form (8) for the discussed problem is presented in Appendix B.
The solution for the problem is obtained for \(h_\mathrm {max} = 25\), which was sufficient to obtain a solution with satisfactory accuracy (with respect to the criteria defined in Sect. 9). The solutions are again compared with those obtained through the time stepping solver applying SubIval. The final (\(n_T\)th) period of the solution is selected for the error calculations.
The state variable time functions (\(\psi \), \({\varPhi }\), \(i_L\), \(u_C\) and q) are selected for the comparison. The first three periods of the solutions are depicted in Fig. 6.
Because this problem contains more variables and more nonlinear dependencies than in the previous example, the computation times are longer. For \(h_\mathrm {max} = 5\), the task required only \(1.32\;\mathrm {s}\); however, for \(h_\mathrm {max} = 25\), the duration was much longer, i.e., \(264.66\;\mathrm {s}\).
For this example, the solution is also been verified through the criteria explained in Sect. 9.
As in the previous example, the harmonic balance methodology can also be applied for an integer-order case, where \(\mathbf {\alpha }\) is a vector of ones. The results for this case are presented in Fig. 7.
9 Accuracy Criteria
9.1 Comparison with the Numerical Result
The first criterion by which the accuracy of the solution is determined is comparison with results obtained through the SubIval solver, which can obtain highly accurate solutions for linear transient problems and AC problems [46, 51, 52]. The most important parameters for the SubIval solver are given in Table 2.
The above parameters are used for both problems (note that T is dependent on the base frequency, which is 50 Hz for the first problem and 60 Hz for the second problem).
\(p_\mathrm {mov}\) is the order of the polynomial approximation used in the core computations of SubIval, \(e_\mathrm {max}\) is the maximum allowed estimated error, \(e_\mathrm {ctrl}\) is the desired value of the estimated error (according to which the adaptive solver modifies the time step), and \(\Delta t_\mathrm {min}\) and \(\Delta t_\mathrm {max}\) are, respectively, the minimum and maximum values of the step size.
The results obtained for the harmonic balance methodology are compared with the numerical solution for time nodes \(t_1, t_2, \ldots t_n\) of the last period (i.e., \(t \in [(n_T - 1) T, n_T T]\)). The time nodes are those selected by the SubIval solver during the time stepping process. The error for a selected variable w is computed according to the following formula:
where \(w_{\mathrm {num}\;i}\) is the value obtained by the SubIval solver for the time instance \(t_i\).
9.1.1 Results for Example 1
The maximum and average of the obtained error values, for the selected variables (\(i_L\), \(u_\mathrm {cmn}\) and \(\psi \)), are given in Table 3. The error has been checked for the case of \(h_\mathrm {max} = 25\) (mentioned in the previous section), along with a less demanding solution obtained for \(h_\mathrm {max} = 5\).
The error values show that as the number of considered harmonics increases, the results get closer to those obtained by means of the SubIval solver. Table 4 shows the average and maximum error values for the case where the inertial elements are replaced by their integer-order alternatives.
Again, smaller error values are obtained for larger \(h_\mathrm {max}\), which indicates that the methodology also works for the integer-order case and can be applied to classic periodic steady-state nonlinear problems in circuit theory. Additionally, the errors are in a similar range as those for the fractional case.
9.1.2 Results for Example 2
Table 5 presents the error values obtained for the fractional case of the second example, and Table 6 gives the results for the integer-order case.
As for the error values in the first example, more accurate solutions are obtained when \(h_\mathrm {max}\) is larger according to the considered criterion. Additionally, the same conclusion can be drawn for the integer-order case.
9.2 Harmonic Remainder Error
Clearly, for the \(h_\mathrm {max}\) harmonics, each nonlinear dependency will yield harmonics greater than this number (which are later not taken into account). This practice of cutting off harmonics is necessary when analyzing the result for each variable as coefficients of a Fourier series.
After the solution is obtained, one can estimate the harmonics that have been cut off for each nonlinear dependency, which can be done by evaluating the harmonics through multiplication (such as when the symbolic computation approach is selected to address the nonlinear dependencies). However, this process would require each of the nonlinear dependencies to be given as a power series. To directly address the nonlinear dependencies, the time function approach is selected for the computations described in this paper. The harmonics that have been cut off are determined in a similar way. This strategy can be viewed as simply the application of the time function approach with an attempt to obtain additional harmonics (\(h_\mathrm {remainder} > h_\mathrm {max}\)) in the final step (step (e) described in Sect. 6.2). \(h_\mathrm {remainder} = 51\) is selected for further computations.
Through this approach, one can estimate not only the omitted harmonics but also a measure of correctness for the harmonics appearing in the obtained solution. Both the included and omitted harmonics in the solution are taken into account in what is later called the “harmonic remainder error”.
For each nonlinear function, the harmonics of the right-hand side (denoted by \(\underline{R}_h\) each) are obtained for the mentioned harmonics up to \(h_\mathrm {remainder}\). Assuming that \(\underline{L}_h\) denotes the harmonics of the variable on the left-hand side of the nonlinear equation [note that the nonlinear functions still follow the form of Eq. (11)], an error value can be computed for each of the harmonics:
The harmonic remainder error is computed by the formula:
where \(L_\mathrm {max}\) denotes the maximum value of the time function obtained for the left-hand side variable of the nonlinear equation (i.e., the maximum taken from an arbitrarily selected sufficient number of points).
9.2.1 Results for Example 1
The harmonic remainder error values obtained for \(h_\mathrm {max} = 25\) and, once again, the less demanding \(h_\mathrm {max} = 5\), for the nonlinear functions \(i_\mathrm {NL}(u_\mathrm {cmn})\) (of the nonlinear resistor \(R_\mathrm {NL}\)) and \(\psi (i_\gamma )\) (of the fractional, nonlinear coil \(L_\psi \)) are given in Table 7. The harmonic remainder error values obtained for the integer-order case are given in Table 8.
9.2.2 Results for Example 2
The harmonic remainder error is been computed for the second example (presented in Sect. 8.2). The results of these computations (for the nonlinear functions \(\psi (i_\psi )\), \(i_{\varPhi }({\varPhi })\), \(i_\psi (u_\mathrm {NL})\) and \(u_q(q)\)) are presented in Table 9. Again, the error is computed for two cases, i.e., \(h_\mathrm {max} = 5\) and the more demanding case of \(h_\mathrm {max} = 25\). The error is also computed for the integer-order time derivative case. The results (also for \(h_\mathrm {max} = 5\) and \(h_\mathrm {max} = 25\)) are given in Table 10.
10 Summary
For the class of nonlinear problems (with fractional derivatives) resulting in the system of Eq. (8), a methodology has been presented, which for a sought periodic steady-state solution, allows the problem to be converted to a harmonic balance form [generally described by Eq. (14)]. In the new form, the unknowns are the coefficients of the sought variables’ harmonics up to a selected \(h = h_\mathrm {max}\).
Two approaches have been proposed to address the nonlinear dependencies in the harmonic balance form. The first is a symbolic approach, whose advantage is that the computational weight is placed on a pre-solution process, the results of which can then be used conveniently (with a gain in efficiency when the solution is sought). The disadvantage of the symbolic approach is the requirement for each of the nonlinear dependencies to be given as a power series. The second approach (based on time functions) allows the original nonlinear dependencies to be used. Its disadvantage is that the entire computational weight is moved to the solution process.
Two computational examples have been presented to demonstrate the usefulness of the harmonic balance methodology. The steady-state solutions have been compared with results obtained through a selected numerical method—an adaptive time step size solver applying SubIval [46, 51, 52].
To verify the results, two error criteria have been introduced. The first one is based on comparison with the numerical result, and the second determines the accuracy by estimating the significance of the harmonics not included in the result.
In future papers, more examples will be presented. The harmonic balance methodology has proven to be efficient for solving fractional nonlinear circuit problems in periodic steady states. It has been mainly designed to provide reference solutions for the analysis and improvement in SubIval and solvers applying it.
The methodology has the potential to be very accurate because it allows solutions to be obtained without errors emerging from the estimation of the fractional derivative.
In future analyses, it would be interesting to determine whether the methodology can be applied with equal success to other definitions of the fractional derivative that are commonly applied in circuit analyses, such as the Atangana–Baleanu definition [4, 20] and others [3, 5].
This methodology is valid only for steady-state analyses. An idea for its extension could be to seek a more general solution that applies generalized \(\cos _\alpha \) and \(\sin _\alpha \) functions, as presented in [41]. A future study on such a method could fill the spot in Table 11 where non-time stepping methods are given, which can provide reference solutions when assessing the accuracies of numerical solvers for circuit problems.
Notes
All recorded times are for computation on an Intel® CoreTM i5-6400 CPU (2.7 GHz).
References
A. AbdelAty, A. Soltan, W. Ahmed, A. Radwan, On the analysis and design of fractional-order chebyshev complex filter. Circuits Syst. Signal Process. (2017). https://doi.org/10.1007/s00034-017-0570-1
T. Abdeljawad, On Riemann and Caputo fractional differences. Comput. Math. Appl. 62(3), 1602–1611 (2011). https://doi.org/10.1016/j.camwa.2011.03.036
O.J.J. Algahtani, Chaos Solitons Fractals 89, 552–559 (2016). https://doi.org/10.1016/j.chaos.2016.03.026
A. Atangana, D. Baleanu, New fractional derivatives with non-local and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)
A. Atangana, I. Koca, Chaos Solitons Fractals 89, 447–454 (2016). https://doi.org/10.1016/j.chaos.2016.02.012
J. Baranowski, W. Bauer, M. Zagórowska, A. Kawala-Janik, T. Dziwiński, P. Pia̧tek, Adaptive non-integer controller for water tank system, in Theoretical Developments and Applications of Non-Integer Order Systems (Springer, 2016), pp. 271–280. https://doi.org/10.1007/978-3-319-23039-9_23
R. Brociek, D. Słota, R. Wituła, Reconstruction of the thermal conductivity coefficient in the time fractional diffusion equation, in Advances in Modelling and Control of Non-integer-Order Systems (Springer, 2015), pp. 239–247. https://doi.org/10.1007/978-3-319-09900-2_22
M. Caputo, Linear models of dissipation whose Q is almost frequency independent-II. Geophys. J. Int. 13(5), 529–539 (1967)
D. Caratelli, L. Mescia, P. Bia, O. Stukach, Fractional-calculus-based FDTD algorithm for ultrawideband electromagnetic characterization of arbitrary dispersive dielectric materials. IEEE Trans. Antennas Propag. 64(8), 3533–3544 (2016). https://doi.org/10.1109/TAP.2016.2578322
J. Cook, Gamma function C# code. https://www.johndcook.com/Gamma.cs. Accessed 2017 Nov 03
K. Dȩbowski, Determination of optimal current in the non-ideal one-phase system with unsteady parameters. Bull. Pol. Acad. Sci. Tech. Sci. 62(2), 387–391 (2014)
B. Ducharne, G. Sebald, D. Guyomar, G. Litak, Dynamics of magnetic field penetration into soft ferromagnets. J. Appl. Phys. 117(24), 243,907 (2015). https://doi.org/10.1063/1.4923162
A. Elwakil, A. Radwan, T. Freeborn, A. Allagui, B. Maundy, M. Fouda, Low-voltage commercial super-capacitor response to periodic linear-with-time current excitation: a case study. IET Circuits Devices Syst. 11, 189–195 (2016)
M. Ezzat, A. El-Karamany, A. El-Bary, Thermo-viscoelastic materials with fractional relaxation operators. Appl. Math. Model. 39(23–24), 7499–7512 (2015). https://doi.org/10.1016/j.apm.2015.03.018. URL http://www.sciencedirect.com/science/article/pii/S0307904X15001705
T.J. Freeborn, B. Maundy, A. Elwakil, Accurate time domain extraction of supercapacitor fractional-order model parameters, in 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013) (2013), pp. 2259–2262. https://doi.org/10.1109/ISCAS.2013.6572327
R. Garrappa, Fractional Prabhakar Derivative and Applications in Anomalous Dielectrics: A Numerical Approach (Springer International Publishing, 2017), pp. 429–439. https://doi.org/10.1007/978-3-319-45474-0_38. URL https://doi.org/10.1007/978-3-319-45474-0_38
J. Gómez-Aguilar, T. Córdova-Fraga, J. Escalante-Martinez, C. Calderón-Ramón, R. Escobar-Jiménez, Revista Mexicana de Física 62, 144–154 (2016)
J. Gómez-Aguilar, V. Morales-Delgado, M. Taneco-Hernández, D. Baleanu, R. Escobar-Jiménez, M.A. Qurashi, Analytical solutions of the electrical RLC circuit via Liouville–Caputo operators with local and non-local kernels. Entropy 18(8), 402 (2016). https://doi.org/10.3390/e18080402
J. Gómez-Aguilar, H. Yépez-Martínez, R. Escobar-Jiménez, C. Astorga-Zaragoza, J. Reyes-Reyes, Analytical and numerical solutions of electrical circuits described by fractional derivatives. Appl. Math. Model. 40, 9079–9094 (2016). https://doi.org/10.1016/j.apm.2016.05.041
J. Gómez-Aguilar, A. Atangana, V. Morales-Delgado, Electrical circuits RC, LC, and RL described by Atangana–Baleanu fractional derivatives. Int. J. Circuit Theory Appl. 45, 1514–1533 (2017). https://doi.org/10.1002/cta.2348
A. Jakubowska, J. Walczak, Analysis of the transient state in RC\(_\alpha \) circuit at periodic voltage excitation. Comput. Appl. Electr. Eng. 13 (2015).
A. Jakubowska, J. Walczak, Analysis of the transient state in a series circuit of the class RL\(_\beta \)C\(_\alpha \). Circuits Systems Signal Process. 35(6), 1831–1853 (2016). https://doi.org/10.1007/s00034-016-0270-2
T. Kaczorek, Minimum energy control of fractional positive electrical circuits with bounded inputs. Circuits Syst. Signal Process. 35(6), 1815–1829 (2016). https://doi.org/10.1007/s00034-015-0181-7
T. Kaczorek, K. Rogowski, Fractional Linear Systems and Electrical Circuits (Springer, Berlin, 2015)
U. Katugampola, Mellin transforms of generalized fractional integrals and derivatives. Appl. Math. Comput. 257, 566–580 (2015). https://doi.org/10.1016/j.amc.2014.12.067
A. Kawala-Janik, M. Podpora, A. Gardecki, W. Czuczwara, J. Baranowski, W. Bauer, Game controller based on biomedical signals, in Methods and Models in Automation and Robotics (MMAR), 2015 20th International Conference on (IEEE, 2015), pp. 934–939. https://doi.org/10.1109/MMAR.2015.7284003
J. Klamka, A. Czornik, M. Niezabitowski, Stability and controllability of switched systems. Bull. Pol. Acad. Sci. Tech. Sci. 61(3), 547–555 (2013). https://doi.org/10.2478/bpasts-2013-0055. URL http://www.degruyter.com/view/j/bpasts.2013.61.issue-3/bpasts-2013-0055/bpasts-2013-0055.xml
K.J. Latawiec, R. Stanisławski, M. Łukaniszyn, W. Czuczwara, M. Rydel, Fractional-order modeling of electric circuits: modern empiricism vs. classical science. Prog. Appl. Electr. Eng. (PAEE), 2017 pp. 1–4 (2017)
M. Lewandowski, J. Walczak, Comparison of classic and optimization approach to active power filters sizing and placement. COMPEL Int. J. Comput. Math. Electr. Electron. Eng. 33(6), 1877–1890 (2014)
X. Li, H. Rui, A high-order fully conservative block-centered finite difference method for the time-fractional advectiondispersion equation. Appl. Numer. Math. 124, 89–109 (2018). https://doi.org/10.1016/j.apnum.2017.10.004. URL http://www.sciencedirect.com/science/article/pii/S0168927417302210
J. Lu, X. Zhao, S. Yamada, Harmonic Balance Finite Element Method: Applications in Nonlinear Electromagnetics and Power Systems (Wiley-IEEE Press, New York, 2016)
Ł. Majka, S. Paszek, Mathematical model parameter estimation of a generating unit operating in the Polish National Power System. Bull. Pol. Acad. Sci. Tech. Sci. 64(2), 409–416 (2016)
J.A. Marrero, V. Tomeo, A fast and reliable numerical solver for general bordered—tridiagonal matrix linear equations. J. Comput. Appl. Math. 318, 211–219 (2017). https://doi.org/10.1016/j.cam.2016.10.004. URL http://www.sciencedirect.com/science/article/pii/S0377042716304939. Computational and Mathematical Methods in Science and Engineering CMMSE-2015
W. Mitkowski, P. Skruch, Fractional-order models of the supercapacitors in the form of RC ladder networks. Bull. Pol. Acad. Sci. Tech. Sci. 61(3), 581–587 (2013). https://doi.org/10.2478/bpasts-2013-0059
M.L. Morgado, M. Rebelo, L.L. Ferrs, N.J. Ford, Numerical solution for diffusion equations with distributed order in time using a Chebyshev collocation method. Appl. Numer. Math. 114, 108–123 (2017). https://doi.org/10.1016/j.apnum.2016.11.001. URL http://www.sciencedirect.com/science/article/pii/S0168927416302197. The Fifth International Workshop on Analysis and Numerical Approximation of Singular Problems(IWANASP 2015), October 2224, 2015, Lagos, Algarve, Portugal
J. Munkhammar, Riemann–Liouville fractional derivatives and the Taylor–Riemann series. UUDM Project Report 7, 1–18 (2004)
M.F. Oskouie, R. Ansari, Linear and nonlinear vibrations of fractional viscoelastic Timoshenko nanobeams considering surface energy effects. Appl. Math. Model. 43, 337–350 (2017). https://doi.org/10.1016/j.apm.2016.11.036. URL http://www.sciencedirect.com/science/article/pii/S0307904X16306412
P. Ostalczyk, P. Duch, D. Brzeziński, D. Sankowski, Order functions selection in the variable-, fractional-order PID controller, in Advances in Modelling and Control of Non-integer-Order Systems (Springer, 2015), pp. 159–170. https://doi.org/10.1007/978-3-319-09900-2_15
M. Pasko, M. Macia̧żek, Principles of Electrical Power Control (Springer London, London, 2012), pp. 13–47. https://doi.org/10.1007/978-1-4471-2786-4_2. URL http://dx.doi.org/10.1007/978-1-4471-2786-4_2
C. Psychalinos, G. Tsirimokou, A. Elwakil, Switched-capacitor fractional-step Butterworth filter design. Circuits Syst. Signal Process. 35(4), 1377–1393 (2016). https://doi.org/10.1007/s00034-015-0110-9
A.G. Radwan, A.S. Elwakil, Transient-Time Fractional-Space Trigonometry and Application (Springer Berlin Heidelberg, Berlin, Heidelberg, 2012), pp. 40–47. https://doi.org/10.1007/978-3-642-34475-6_6. URL http://dx.doi.org/10.1007/978-3-642-34475-6_6
C. Ruegg, M. Cuda, J.V. Gael, Math.NET Numerics. http://numerics.mathdotnet.com/. Accessed: 2017-11-03
A. Ruszewski, A. Sobolewski, Comparative studies of control systems with fractional controllers. Przegla̧d Elektrotechniczny 88(4b), 204–208 (2012)
I. Schäfer, K. Krüger, Modelling of lossy coils using fractional derivatives. J. Phys. D Appl. Phys. 41(4), 1–8 (2008). https://doi.org/10.1088/0022-3727/41/4/045001
D. Sierociuk, T. Skovranek, M. Macias, I. Podlubny, I. Petras, A. Dzielinski, P. Ziubinski, Diffusion process modeling by using fractional-order models. Appl. Math. Comput. 257, 2–11 (2015). https://doi.org/10.1016/j.amc.2014.11.028
M. Sowa, Application of SubIval, a Method for Fractional-Order Derivative Computations in IVPs, in Theory and Applications of Non-Integer Order Systems (Springer, 2017), pp. 489–500. https://doi.org/10.1007/978-3-319-45474-0
M. Sowa, http://msowascience.com. Accessed: 2017 Dec 05
M. Sowa, Simple C# Classes for fast multivariate polynomial symbolic computation part I: implementation details. Prace Naukowe Politechniki Śla̧skiej. Elektryka (2016). (in press)
M. Sowa, Simple C# Classes for fast multivariate polynomial symbolic computation part II: analysis of numerical efficiency. Prace Naukowe Politechniki Śla̧skiej. Elektryka (2016). (in press)
M. Sowa, Simple C# Classes for fast multivariate polynomial symbolic computation part III: polynomial multiplication algorithm and its efficiency. Prace Naukowe Politechniki Śla̧skiej. Elektryka (2016). (in press)
M. Sowa, A subinterval-based method for circuits with fractional order elements. Bull. Pol. Acad. Sci. Tech. Sci. 62(3), 449–454 (2014). https://doi.org/10.2478/bpasts-2014-0047
M. Sowa, Application of SubIval in solving initial value problems with fractional derivatives. Appl. Math. Comput. 319, 86–103 (2018)
D. Spałek, Analytical solution of Helmholtz equation in anisotropic and nonhomogeneous region. J. Energy Power Eng. 8, 1265–1271 (2014)
P.S. Stanimirovi, F. Soleymani, A class of numerical algorithms for computing outer inverses. J. Comput. Appl. Math. 263, 236–245 (2014). https://doi.org/10.1016/j.cam.2013.12.033. URL http://www.sciencedirect.com/science/article/pii/S0377042713007061
F.L. Traversa, F. Bonani, Improved harmonic balance implementation of Floquet analysis for nonlinear circuit simulation. AEU Int. J. Electron. Commun. 66(5), 357–363 (2012). https://doi.org/10.1016/j.aeue.2011.09.002. URL http://www.sciencedirect.com/science/article/pii/S1434841111002342
G. Tsirimokou, C. Psychalinos, A. Elwakil, K. Salama, Experimental verification of on-chip CMOS fractional-order capacitor emulators. Electron. Lett. 52(15), 1298–1300 (2016)
P. Vaníček, Approximate spectral analysis by least-squares fit. Astrophys. Space Sci. 4(4), 387–391 (1969). https://doi.org/10.1007/BF00651344
P. Zhu, S. Xie, X. Wang, Nonsmooth data error estimates for FEM approximations of the time fractional cable equation. Appl. Numer. Math. 121, 170–184 (2017). https://doi.org/10.1016/j.apnum.2017.07.005. URL http://www.sciencedirect.com/science/article/pii/S0168927417301630
Author information
Authors and Affiliations
Corresponding author
Appendices
System of Equations for Example 1
This section explains how a system of equations in the form of (8) can be formulated for the first computational example presented in this paper (depicted in Fig. 8 along with auxiliary variables).
The vector of state variables is:
with the derivative orders:
while the vector of additional variables is:
The voltage source time function constitutes the only entry in the source vector:
From the dependency between the voltage source and the node potential \(V_1\), one obtains the entries:
By applying the node potential method, one obtains a current balance, which results in the following matrix entries for the \(V_2\) node:
while for the \(V_3\) node, one obtains:
From the relation between \(u_L\) and the coil terminals’ node potentials:
The potential at \(V_3\) equals \(u_\mathrm {cmn}\), which results in the following matrix entries:
The remaining entries of \(\mathbf {M}_\mathrm {I}\) and \(\mathbf {M}_\mathrm {II}\) result from the nonlinear equations of the fractional coil \(L_\psi \) and the nonlinear resistor \(R_\mathrm {NL}\). There are two nonlinear functions; hence, \(n_\mathrm {NL} = 2\). The nonlinear function \(\psi (i_\psi )\) introduces the entry:
In accordance with the auxiliary integer vector \(\mathbf {i}_\mathrm {arg}\) introduced in Sect. 4.1, the nonlinear function \(\psi (i_\psi )\) imposes:
along with:
The nonlinear function \(i_\mathrm {NL}(u_\mathrm {cmn})\) describing the resistor \(R_\mathrm {NL}\) introduces:
the auxiliary integer entry:
and the nonlinear dependency
The remaining entries of (8) are those of \(\mathbf {M}_\mathrm {III}\) and \(\mathbf {M}_\mathrm {IV}\), which determine the form of the differential equations. For the integer-order coil:
For the fractional capacitor:
Finally, for the fractional, nonlinear coil:
System of Equations for Example 2
This appendix provides information on how a system of equations in the form of (8) can be formulated for the second example discussed in this paper. The example is presented in Fig. 9. The equations for the problem can vary depending on the selected auxiliary variables.
The vector of state variables is:
while the respective derivative orders are given by:
The vector of auxiliary variables is:
The source vector is given by:
From the current balance of the \(V_1\) node, one obtains the following entries of \(\mathbf {M}_\mathrm {I}\), \(\mathbf {M}_\mathrm {II}\) and \(\mathbf {T}\):
For the \(V_2\) node:
From the relation between the potential difference and voltage drops on the top branch, one obtains:
while for the middle branch:
and for the bottom branch:
The left-hand sides of the nonlinear equations yield entries in \(\mathbf {M}_\mathrm {I}\) and \(\mathbf {M}_\mathrm {II}\). The nonlinear dependencies are stored in \(\mathbf {F}_\mathrm {NL}(\mathbf {w})\), and the indices of the nonlinear function arguments are stored in the auxiliary vector \(\mathbf {i}_\mathrm {arg}\). For the \(L_\psi \) coil’s nonlinear equation \(\psi (i_\psi )\):
while:
and:
For the \(L_{\varPhi }\) coil nonlinear equation \(i_{\varPhi }({\varPhi })\), one obtains:
along with:
and:
For the nonlinear capacitor equation \(u_q(q)\):
with
and:
Finally, for the nonlinear resistor’s \(i_\psi (u_\mathrm {NL})\) function:
with:
and:
The differential equations of the coils and capacitors introduce entries of \(\mathbf {M}_{\mathrm {III}}\) and \(\mathbf {M}_{\mathrm {IV}}\). For the fractional, nonlinear coil \(L_\psi \):
for the fractional, nonlinear coil \(L_{\varPhi }\):
for the ordinary, integer-order coil L:
for the capacitor C:
and for the fractional, nonlinear capacitor \(C_q\):
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sowa, M. A Harmonic Balance Methodology for Circuits with Fractional and Nonlinear Elements. Circuits Syst Signal Process 37, 4695–4727 (2018). https://doi.org/10.1007/s00034-018-0794-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00034-018-0794-8