(15 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
[[Category:benchmark]] |
[[Category:benchmark]] |
||
− | [[Category:parametric |
+ | [[Category:parametric]] |
− | [[Category:linear |
+ | [[Category:linear]] |
[[Category:time varying]] |
[[Category:time varying]] |
||
− | [[Category: |
+ | [[Category:Parametric]] |
− | [[Category:first |
+ | [[Category:first differential order]] |
[[Category:nonzero initial condition]] |
[[Category:nonzero initial condition]] |
||
+ | {{Infobox |
||
− | ==Description of the process== |
||
+ | |Title = Scanning Electrochemical Microscopy |
||
+ | |Benchmark ID = scanningElectrochemicalMicroscopy_n16912m1q5 |
||
+ | |Category = misc |
||
+ | |System-Class = AP-LTI-FOS |
||
+ | |nstates = 16912 |
||
+ | |ninputs = 1 |
||
+ | |noutputs = 5 |
||
+ | |nparameters = 2 |
||
+ | |components = A, B, C, E |
||
+ | |License = NA |
||
+ | |Creator = [[User:Feng]] |
||
+ | |Editor = |
||
+ | * [[User:Feng]] |
||
+ | * [[User:Himpe]] |
||
+ | * [[User:Will]] |
||
+ | * [[User:Lund]] |
||
+ | |Zenodo-link = NA |
||
+ | }} |
||
+ | ==Description== |
||
− | Scanning Electrochemical Microscopy (SECM) has many applications in current problems in the biological field. Quantitative mathematical models have been developed for different operating modes of the SECM. Except for some very specific problems, like the diffusion-controlled current on a circular electrode far away from the border, solutions can only be obtained by numerical simulation, which is based on discretization of the model in space by an appropriate method like finite differences, finite elements, or boundary elements. After discretization, a high-dimensional system of ordinary differential equations is obtained. Its high dimensionality leads to high computational cost. |
||
+ | <figure id="fig:cylin"> |
||
− | We consider a cylindrical electrode in Fig.1. The computation domain under the 2D-axisymmetric approximation includes the electrolyte under the electrode. We assume that the concentration does not depend on the rotation angle. A single chemical reaction takes place on the electrode: |
||
+ | [[Image:Fig.1.JPG|thumb|right|300px|<caption>Cylindrical Electrode</caption>]] |
||
+ | </figure> |
||
+ | '''Scanning Electrochemical Microscopy''' (SECM) has many applications in current problems in the biological field. |
||
− | <math>Ox+e^-\Leftrightarrow Red, \quad \quad \quad \quad (1) </math> |
||
+ | Quantitative mathematical models have been developed for different operating modes of the SECM. |
||
+ | Except for some very specific problems, like the diffusion-controlled current on a circular electrode far away from the border, |
||
+ | solutions can only be obtained by numerical simulation, which is based on discretization of the model in space by an appropriate method like finite differences, finite elements, or boundary elements. |
||
+ | After discretization, a high-dimensional system of ordinary differential equations is obtained. |
||
+ | Its high dimensionality leads to high computational cost. |
||
+ | |||
+ | We consider a cylindrical electrode in Fig. 1. |
||
+ | The computation domain under the 2D-axisymmetric approximation includes the electrolyte under the electrode. |
||
+ | We assume that the concentration does not depend on the rotation angle. |
||
+ | A single chemical reaction takes place on the electrode: |
||
+ | |||
+ | :<math>Ox+e^-\Leftrightarrow Red, \quad \quad \quad \quad (1) </math> |
||
where <math>Ox</math> and <math>Red</math> are two different species in the reaction. |
where <math>Ox</math> and <math>Red</math> are two different species in the reaction. |
||
− | According to the theory of SECM |
+ | According to the theory of SECM <ref name="mirkin01"/>, the species transport in the electrolyte is described by diffusion only. |
+ | The diffusion partial differential equation is given by the second [[wikipedia:Fick's_laws_of_diffusion|Fick's law]] as follows |
||
− | <math> |
+ | :<math> |
\frac{dc_1}{dt}=D_1\cdot \Delta ^2c_1 , \quad |
\frac{dc_1}{dt}=D_1\cdot \Delta ^2c_1 , \quad |
||
\frac{dc_2}{dt}=D_2\cdot \Delta ^2c_2, |
\frac{dc_2}{dt}=D_2\cdot \Delta ^2c_2, |
||
</math> |
</math> |
||
− | where <math>c_1</math> and <math>c_2</math> are the concentration fields of species <math>Ox</math> and <math>Red</math>, respectively. |
+ | where <math>c_1</math> and <math>c_2</math> are the concentration fields of species <math>Ox</math> and <math>Red</math>, respectively. |
− | + | The initial conditions are <math>c_1(0)=c_{1,0}</math> and <math>c_2(0)=c_{2,0}.</math> conditions at the glass and the bottom of the bath |
|
+ | are described by the Neumann boundary conditions of zero flux <math>\nabla c_1\cdot \vec{n}=0</math> and <math>\nabla c_2\cdot \vec{n}=0</math>. |
||
+ | Conditions at the border of the bulk are described by Dirichlet boundary conditions of constant concentration, equal to the initial conditions <math>c_1=c_{1,0}</math> and <math>c_2=c_{2,0}</math>. |
||
+ | The boundary conditions at the electrode are described by |
||
− | <math> |
+ | :<math> |
\nabla c_1\cdot \vec{n}=j, \, |
\nabla c_1\cdot \vec{n}=j, \, |
||
\nabla c_2\cdot \vec{n}=-j. \quad \quad \quad \quad (2) |
\nabla c_2\cdot \vec{n}=-j. \quad \quad \quad \quad (2) |
||
</math> |
</math> |
||
− | Here <math>j</math> is related to the forward reaction rate <math>k_f</math> and the backward reaction rate <math>k_b</math> through the |
+ | Here <math>j</math> is related to the forward reaction rate <math>k_f</math> and the backward reaction rate <math>k_b</math> through the [[wikipedia:Butler–Volmer_equation|Butler-Volmer equation]], |
− | <math> |
+ | :<math> |
j=k_f \cdot c_1-k_b \cdot c_2. |
j=k_f \cdot c_1-k_b \cdot c_2. |
||
</math> |
</math> |
||
Line 39: | Line 75: | ||
The reaction rates <math>k_f</math> and <math>k_b</math> are in the following form, |
The reaction rates <math>k_f</math> and <math>k_b</math> are in the following form, |
||
− | <math> |
+ | :<math> |
k_f=k^0\exp{(\frac{\alpha z F(v(t)-v^0)}{RT})}, </math> |
k_f=k^0\exp{(\frac{\alpha z F(v(t)-v^0)}{RT})}, </math> |
||
− | <math>k_b=k^0\exp{(\frac{-(1-\alpha) z F(v(t)-v^0)}{RT})} . |
+ | :<math>k_b=k^0\exp{(\frac{-(1-\alpha) z F(v(t)-v^0)}{RT})} . |
</math> |
</math> |
||
− | Here, <math>k^0</math> is the heterogeneous standard rate constant, which is an empirical transmission factor for a heterogeneous reaction |
+ | Here, <math>k^0</math> is the heterogeneous standard rate constant, which is an empirical transmission factor for a heterogeneous reaction. |
+ | <math>F</math> is the [[wikipedia:Faraday_constant|Faraday-constant]], <math>R</math> is the [[wikipedia:Gas_constant|gas constant]], <math>T</math> is the temperature, and <math>z</math> is the number of exchanged electrons per reaction. |
||
+ | <math>u(t)=v(t)-v^0</math> is the difference between the electrode potential and the reference potential. |
||
+ | This difference, to which we refer below as voltage, changes during the measurement of a [[wikipedia:Voltammetry|voltammogram]]. |
||
+ | ==Model== |
||
− | ==Description of the model== |
||
− | The control volume method has been used for the spatial discretization of (1). |
+ | The control volume method has been used for the spatial discretization of (1). |
+ | Together with the boundary conditions, the resulting system of ordinary differential equations is as follows, |
||
− | <math> |
+ | :<math> |
E\frac{d\vec{c}}{dt}+K(u(t))\vec{c}-A\vec{c}=B,\quad |
E\frac{d\vec{c}}{dt}+K(u(t))\vec{c}-A\vec{c}=B,\quad |
||
y(t)=C\vec{c},\quad |
y(t)=C\vec{c},\quad |
||
Line 57: | Line 97: | ||
</math> |
</math> |
||
− | where E and <math>K(u(t))</math> are system matrices, <math>K(u(t))</math> is a function of voltage that in turn depends on time. |
+ | where E and <math>K(u(t))</math> are system matrices, <math>K(u(t))</math> is a function of voltage that in turn depends on time. |
+ | The voltage appears in the system matrix due to the boundary conditions (2). |
||
+ | The vector <math>\vec{c} \in \mathbb{R}^n</math> is the vector of unknown concentrations, which includes both the <math>Ox</math> and <math>Red</math> species. |
||
+ | The vector <math>B</math> is the load vector, which arises as a consequence of the Dirichlet boundary conditions imposed at the bulk boundary of the electrolyte. The total current is computed as an integral (sum) over the electrode surface. |
||
The matrix <math>K(u(t))</math> has the following form, |
The matrix <math>K(u(t))</math> has the following form, |
||
− | <math> |
+ | :<math> |
K(u(t))=K_1(u(t))+K_2(u(t)), |
K(u(t))=K_1(u(t))+K_2(u(t)), |
||
</math> |
</math> |
||
− | where <math>K_i(u(t))=h_i D_i, \, i=1,2,</math> and <math>h_1=\exp(\beta u(t)), \, h_2=\exp(-\beta u(t))</math>. |
+ | where <math>K_i(u(t))=h_i D_i, \, i=1,2,</math> and <math>h_1=\exp(\beta u(t)), \, h_2=\exp(-\beta u(t))</math>. |
+ | The voltage <math>u(t)</math> is a function of <math>\sigma</math>, |
||
− | <math> |
+ | :<math> |
u(t)=\sigma t-1, \, \text{for } t \leq \frac{2}{ \sigma}, \quad |
u(t)=\sigma t-1, \, \text{for } t \leq \frac{2}{ \sigma}, \quad |
||
u(t)=-\sigma t+3, \, \text{for } \frac{2}{ \sigma} < t \leq \frac{4}{ \sigma}, |
u(t)=-\sigma t+3, \, \text{for } \frac{2}{ \sigma} < t \leq \frac{4}{ \sigma}, |
||
Line 72: | Line 116: | ||
where <math>\sigma</math> can take four different values, <math>\sigma=0.5, \, 0.05, \, 0.005, \, 0.0005</math>. The constant <math>\beta</math> is computed from the parameters <math>\alpha, \, z, \, F, \, R,</math> and <math>T,</math> leading to the value <math>\beta=21.243036728240824</math>. |
where <math>\sigma</math> can take four different values, <math>\sigma=0.5, \, 0.05, \, 0.005, \, 0.0005</math>. The constant <math>\beta</math> is computed from the parameters <math>\alpha, \, z, \, F, \, R,</math> and <math>T,</math> leading to the value <math>\beta=21.243036728240824</math>. |
||
− | |||
Although the system is a time-varying system, it can be considered as a parametrized system with two parameters <math>h_1</math> and <math>h_2</math>. |
Although the system is a time-varying system, it can be considered as a parametrized system with two parameters <math>h_1</math> and <math>h_2</math>. |
||
− | ==Data |
+ | ==Data== |
− | The data of the system matrices <math>E, \ D_1, \ D_2, \ A, \ B, C</math> as well as the initial state <math>\vec{c}_0=x_0</math> are in MatrixMarket format (http://math.nist.gov/MatrixMarket/), and can be downloaded here [[ |
+ | The data of the system matrices <math>E, \ D_1, \ D_2, \ A, \ B, C</math> as well as the initial state <math>\vec{c}_0=x_0</math> are in MatrixMarket format (http://math.nist.gov/MatrixMarket/), and can be downloaded here [[Media:SECM.TGZ|SECM.tgz]]. The quantity of interest is the current which is computed by <math>I(t)=C(5,:)\vec{c}</math> in MATLAB notation. The associated plot is called the [[wikipedia:Cyclic_voltammetry|cyclic voltammogram]] <ref name="feng06"/>, which is the plot of the current changing with the voltage <math>u(t)</math>. |
+ | For the MOR Benchmark tool ([[MORB]]), the matrices <math>A, D_1, D_2</math> have been renamed <math>A_1, A_2, A_3</math>, respectively. |
||
− | Fig.1 |
||
+ | |||
− | [[Image:Fig.1.JPG|thumb|left|300px|]] |
||
+ | ==Dimensions== |
||
+ | |||
+ | System structure: |
||
+ | |||
+ | :<math> |
||
+ | \begin{array}{rcl} |
||
+ | E\dot{c}(t) &=& (A_1 - h_1 A_2 - h_2 A_3)c(t) + Bu(t) \\ |
||
+ | y(t) &=& Cc(t) |
||
+ | \end{array} |
||
+ | </math> |
||
+ | |||
+ | System dimensions: |
||
+ | |||
+ | <math>E \in \mathbb{R}^{16\,912 \times 16\,912}</math>, |
||
+ | <math>A_{1,2,3} \in \mathbb{R}^{16\,912 \times 16\,912}</math>, |
||
+ | <math>B \in \mathbb{R}^{16\,912 \times 1}</math>, |
||
+ | <math>C \in \mathbb{R}^{5 \times 16\,912}</math>. |
||
+ | |||
+ | ==Citation== |
||
+ | |||
+ | To cite this benchmark, use the following references: |
||
+ | |||
+ | * For the benchmark itself and its data: |
||
+ | ::The MORwiki Community, '''Scanning Electrochemical Microscopy'''. MORwiki - Model Order Reduction Wiki, 2018. https://modelreduction.org/morwiki/Scanning_Electrochemical_Microscopy |
||
+ | |||
+ | @MISC{morwiki_secm, |
||
+ | author = <nowiki>{{The MORwiki Community}}</nowiki>, |
||
+ | title = {Scanning Electrochemical Microscopy}, |
||
+ | howpublished = {{MORwiki} -- Model Order Reduction Wiki}, |
||
+ | url = <nowiki>{https://modelreduction.org/morwiki/Scanning_Electrochemical_Microscopy}</nowiki>, |
||
+ | year = {2018} |
||
+ | } |
||
+ | |||
+ | * For the background on the benchmark: |
||
+ | |||
+ | @ARTICLE{morFenKRetal06, |
||
+ | author = {L. Feng, D. Koziol, E.B. Rudnyi, and J.G. Korvink}, |
||
+ | title = {Parametric Model Reduction for Fast Simulation of Cyclic Voltammograms}, |
||
+ | journal = {Sensor Letters}, |
||
+ | volume = 4, |
||
+ | number = 2, |
||
+ | pages = {165--173}, |
||
+ | year = 2006, |
||
+ | doi = {10.1166/sl.2006.021} |
||
+ | } |
||
==References== |
==References== |
||
+ | <references> |
||
− | [1] L. Feng, D. Koziol, E. B. Rudnyi, and J. G. Korvink, "Parametric Model Reduction for Fast Simulation of Cyclic Voltammograms," Sensor Letters, Vol. 4, 1-10, 2006, pp.1-10. |
||
+ | |||
+ | <ref name="mirkin01"> M.V. Mirkin, "<span class="plainlinks">[https://doi.org/10.1201/b11850-7 Chapter 5: Theory]</span>", In: A.J. Bard and M.V. Mirkin, (eds.), Scanning Electrochemical Microscopy, CRC Press: 144--199, 2001.</ref> |
||
+ | <ref name="feng06"> L. Feng, D. Koziol, E.B. Rudnyi, and J.G. Korvink, "<span class="plainlinks">[https://doi.org/10.1166/sl.2006.021 Parametric Model Reduction for Fast Simulation of Cyclic Voltammograms]</span>", Sensor Letters, 4(2): 165--173, 2006.</ref> |
||
− | [2] M. V. Mirkin, "Theory in scanning electrochemical microscopy," A. J. Bard and M. V. Mirkin, Eds. (2001). New York, John Wiley & Sons. pp. 145 – 199. |
||
+ | </references> |
||
− | Contact |
+ | ==Contact== |
'' [[User:Feng|Lihong Feng]] '' |
'' [[User:Feng|Lihong Feng]] '' |
Latest revision as of 07:39, 17 June 2025
Background | |
---|---|
Benchmark ID |
scanningElectrochemicalMicroscopy_n16912m1q5 |
Category |
misc |
System-Class |
AP-LTI-FOS |
Parameters | |
nstates |
16912
|
ninputs |
1 |
noutputs |
5 |
nparameters |
2 |
components |
A, B, C, E |
Copyright | |
License |
NA |
Creator | |
Editor | |
Location | |
NA |
Description
Scanning Electrochemical Microscopy (SECM) has many applications in current problems in the biological field. Quantitative mathematical models have been developed for different operating modes of the SECM. Except for some very specific problems, like the diffusion-controlled current on a circular electrode far away from the border, solutions can only be obtained by numerical simulation, which is based on discretization of the model in space by an appropriate method like finite differences, finite elements, or boundary elements. After discretization, a high-dimensional system of ordinary differential equations is obtained. Its high dimensionality leads to high computational cost.
We consider a cylindrical electrode in Fig. 1. The computation domain under the 2D-axisymmetric approximation includes the electrolyte under the electrode. We assume that the concentration does not depend on the rotation angle. A single chemical reaction takes place on the electrode:
where and
are two different species in the reaction.
According to the theory of SECM [1], the species transport in the electrolyte is described by diffusion only.
The diffusion partial differential equation is given by the second Fick's law as follows
where and
are the concentration fields of species
and
, respectively.
The initial conditions are
and
conditions at the glass and the bottom of the bath
are described by the Neumann boundary conditions of zero flux
and
.
Conditions at the border of the bulk are described by Dirichlet boundary conditions of constant concentration, equal to the initial conditions
and
.
The boundary conditions at the electrode are described by
Here is related to the forward reaction rate
and the backward reaction rate
through the Butler-Volmer equation,
The reaction rates and
are in the following form,
Here, is the heterogeneous standard rate constant, which is an empirical transmission factor for a heterogeneous reaction.
is the Faraday-constant,
is the gas constant,
is the temperature, and
is the number of exchanged electrons per reaction.
is the difference between the electrode potential and the reference potential.
This difference, to which we refer below as voltage, changes during the measurement of a voltammogram.
Model
The control volume method has been used for the spatial discretization of (1). Together with the boundary conditions, the resulting system of ordinary differential equations is as follows,
where E and are system matrices,
is a function of voltage that in turn depends on time.
The voltage appears in the system matrix due to the boundary conditions (2).
The vector
is the vector of unknown concentrations, which includes both the
and
species.
The vector
is the load vector, which arises as a consequence of the Dirichlet boundary conditions imposed at the bulk boundary of the electrolyte. The total current is computed as an integral (sum) over the electrode surface.
The matrix
has the following form,
where and
.
The voltage
is a function of
,
where can take four different values,
. The constant
is computed from the parameters
and
leading to the value
.
Although the system is a time-varying system, it can be considered as a parametrized system with two parameters
and
.
Data
The data of the system matrices as well as the initial state
are in MatrixMarket format (http://math.nist.gov/MatrixMarket/), and can be downloaded here SECM.tgz. The quantity of interest is the current which is computed by
in MATLAB notation. The associated plot is called the cyclic voltammogram [2], which is the plot of the current changing with the voltage
.
For the MOR Benchmark tool (MORB), the matrices have been renamed
, respectively.
Dimensions
System structure:
System dimensions:
,
,
,
.
Citation
To cite this benchmark, use the following references:
- For the benchmark itself and its data:
- The MORwiki Community, Scanning Electrochemical Microscopy. MORwiki - Model Order Reduction Wiki, 2018. https://modelreduction.org/morwiki/Scanning_Electrochemical_Microscopy
@MISC{morwiki_secm, author = {{The MORwiki Community}}, title = {Scanning Electrochemical Microscopy}, howpublished = {{MORwiki} -- Model Order Reduction Wiki}, url = {https://modelreduction.org/morwiki/Scanning_Electrochemical_Microscopy}, year = {2018} }
- For the background on the benchmark:
@ARTICLE{morFenKRetal06, author = {L. Feng, D. Koziol, E.B. Rudnyi, and J.G. Korvink}, title = {Parametric Model Reduction for Fast Simulation of Cyclic Voltammograms}, journal = {Sensor Letters}, volume = 4, number = 2, pages = {165--173}, year = 2006, doi = {10.1166/sl.2006.021} }
References
- ↑ M.V. Mirkin, "Chapter 5: Theory", In: A.J. Bard and M.V. Mirkin, (eds.), Scanning Electrochemical Microscopy, CRC Press: 144--199, 2001.
- ↑ L. Feng, D. Koziol, E.B. Rudnyi, and J.G. Korvink, "Parametric Model Reduction for Fast Simulation of Cyclic Voltammograms", Sensor Letters, 4(2): 165--173, 2006.