4 PARAMETER
IDENTIFICATION
We use Mathematica (Mathematica 11, 2018) for
analysis of cyclovoltagramms. For solution of the
system (4) we use algorithm NDSolve, providing
a generic, stable and robust numerical integrator
of differential equations. The algorithm supports a
bundle of methods, both explicit (ExplicitEuler,
ExplicitRungeKutta, ExplicitMidpoint) and
implicit (Adams, BDF, ImplicitRungeKutta,
SymplecticPartitionedRungeKutta) ones. Ex-
plicit methods require less computational effort per
step, but perform more steps to ensure stability.
Implicit methods can go in large steps, but each step
is computationally expensive. Generally, for stiff sys-
tems implicit methods are preferred. The algorithm
estimates the stiffness of the system, based on the
dominant eigenvalue of the Jacobian. Dependently
on this estimation and theoretically known stability
regions of the integration methods the algorithm
selects a suitable method in respect both to the
stability and precision criteria. Precision of the
integration is internally estimated by Richardson’s
formula: e = |y
2
− y
1
|/(2
p
− 1), where p is the order
of the integration method, |y
2
− y
1
| is a difference of
integration results, performed with a single step h and
two sequential half-steps h/2. The step is automati-
cally adapted to keep the error estimator just within
the absolute and relative tolerance bounds, specified
by parameters AccuracyGoal and PrecisionGoal.
One more convenient feature of NDSolve is a pos-
sibility to solve both Cauchy initial value problems
and boundary problems. We are mainly interested
in periodical solutions of the system (4), which can
be found by setting linear boundary conditions of the
type x(T
p
) = x(0). The considered system possesses a
polynomial right hand side with periodic coefficients,
due to explicit periodical dependence η(t), entering
in some coefficients. In our numerical experiments,
the system rapidly, in one-two periods, converges to
a limiting cycle, corresponding to the periodical so-
lution. Therefore, an alternative method is to solve
Cauchy initial value problem with an arbitrary start-
ing point, e.g., free electrode θ
0
= 1, and wait some
periods till convergence.
For the parameter identification several capabili-
ties of Mathematica can be used.
Interactive Parameter Study can be performed with
a tool Manipulate. It allows to attach interactive ma-
nipulators (sliders) to the model parameters, while the
results are presented as a collection of plots. The sys-
tem is reevaluated and the results are replotted ev-
ery time when the value controlled by the manipu-
lator is changed. Fig.4 shows an example of usage
of the interactive manipulators for parameter study in
cyclic voltammetry of alkaline methanol oxidation.
The manipulators on the left represent reaction co-
efficients, varied in logarithmic scale in user speci-
fied limits. Each manipulator can be opened, reveal-
ing additional field with numerical value and a set of
buttons for animation and stepwise increments. The
current set of parameters is permanently available for
the user in a form of a list and can be printed out,
exported, etc. with standard commands. The central
plot shows a cyclovoltagramm, modeled (red line) vs
measured (blue points). The right plot shows a pe-
riod of evolution for θ values. The ordinal number
of reagent is encoded by a color scheme: red, green,
blue, cyan, magenta, brown for 1-6 and black for 0,
free electrode. The latency of the tool is 0.5 – 1.5
seconds (on 3 GHz CPU), dependently on the number
of cyclovoltagramms to evaluate and plots to display.
It provides the interactive performance, necessary for
parameter study. The tool allows to explore solution
space, immediately observing the influence of the pa-
rameters, various features and effects in the results
(peaks, dips, shifts, etc.) and compare the modeled
results with measured data.
Automatic Global Optimization can be done with
the algorithm NMinimize. It aggregates a collec-
tion of derivative free methods, attempting to find a
global minimum of a given objective function in a
domain, specified by a set of equality and inequality
constraints. It is commonly known, that global op-
timization is a computationally hard task, especially
for non-linear multidimensional problems. An addi-
tional difficulty in our case is that optimization param-
eters, reaction constants, in logarithmic scale do not
have a priori specified limits. Exponential terms in
the equations can change their contribution by dozens
of orders, also the constants are multiplied by cover-
age values, which in molecular chemistry can be ar-
bitrary small and still provide considerable effects. It
is clear, that in the given problem global optimization
by any method becomes a game of chance. A default
strategy of NMinimize is first to apply NelderMead
“downhill simplex” method, and, in the case of poor
performance, switch to DifferentialEvolution,
which is similar to genetic algorithm, and adapted
to real number optimization. Alternatively, the user
can switch to RandomSearch, a multiply restarted lo-
cal optimizer, for which the user can select between
PenaltyFunction and InteriorPoint constraint
minimizers. As a last resort, SimulatedAnnealing
can be used, which emulates a physical process of
a melted metal cooling, asymptotically reaching the
globally minimal energy state. For this purpose, an
Parameter Identification in Cyclic Voltammetry of Alkaline Methanol Oxidation
283