Skip to main content

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Analog simulator of integro-differential equations with classical memristors

Abstract

An analog computer makes use of continuously changeable quantities of a system, such as its electrical, mechanical, or hydraulic properties, to solve a given problem. While these devices are usually computationally more powerful than their digital counterparts, they suffer from analog noise which does not allow for error control. We will focus on analog computers based on active electrical networks comprised of resistors, capacitors, and operational amplifiers which are capable of simulating any linear ordinary differential equation. However, the class of nonlinear dynamics they can solve is limited. In this work, by adding memristors to the electrical network, we show that the analog computer can simulate a large variety of linear and nonlinear integro-differential equations by carefully choosing the conductance and the dynamics of the memristor state variable. We study the performance of these analog computers by simulating integro-differential models related to fluid dynamics, nonlinear Volterra equations for population growth, and quantum models describing non-Markovian memory effects, among others. Finally, we perform stability tests by considering imperfect analog components, obtaining robust solutions with up to 13% relative error for relevant timescales.

Introduction

Analog computers employ continuously tunable quantities of a system, such as its electrical, mechanical, or hydraulic properties, to codify and solve a given problem. Usually, the dynamics of an analog computer perfectly matches the dynamics of the simulated system. The advantage of analog computers lies on the computational power provided by real-time operation and complete parallelism, so that they require less resources than a digital counterpart for the simulation. On the other hand, the accuracy of an analog computer is limited by its computing elements and by the quality of its analog components. Despite the astonishing evolution of digital computers during the last decades, the interest in analog computers has re-emerged in recent years1. For example, posible applications as math co-processors in VLSI architectures2,3, and wave-based analog computation in metamaterials have recently been proposed4,5,6.

An electrical analog computer is an active network composed of electrical elements, namely, resistors, capacitors and operational amplifiers which, connected together, are capable of simulating any set of linear ordinary differential equations7. In this case, the solutions of these equations are encoded into the time evolution of the voltage waveform produced by the analog computer. Indeed, electrical analog devices can only work with a single independent variable when codified in time8,9. Nonetheless, by making use of finite-difference methods, it is also possible to solve partial differential equations7,10.

Resistive memory effects, in which the resistance depends on the history of charges crossing through a material, can be described by Kubo’s response theory11, and have been observed as resistance switching phenomena in thin films12,13. The connection between resistance switching devices and memristive devices14,15 was first made in 2008 by HP Labs16. Afterwards, various other physical implementations of memristors have been reported17,18,19,20. The memory and non-volatility properties of the memristor21 have sparked great interest in its applications in the fabrication of digital memories22, performance of computational tasks23,24,25,26,27 and recently, in the design of a perceptron28, which motivates the possibility of building memristor-based hardware for a physical neural network and proved their universality as approximators. While most of the interest in memristors lies in applications in digital computation, there have also been proposals of utilization of memristors in programmable analog components of electrical networks29 and in the design of highly efficient operational amplifiers30. Regarding the solution of differential equations, memristor arrays have been employed as accelerators for digital solvers31,32 and, recently, a digital approach based on memristor crossbar arrays have been employed to solve partial differential equations33 with high precision. Nonetheless, a natural question is whether the characteristic properties of memristors could extend the applications of electrical analog computers.

In this work, by adding classical memristors to the network of an electrical analog computer, we show that it can simulate a large variety of linear and nonlinear integro-differential equations with interest in mathematics and physics. This is possible by appropriately choosing the conductance of the memristors and the dynamics of its state variable. We study the performance of these analog computers by simulating integro-differential models of fluid dynamics, nonlinear Volterra equations for population growth, and quantum models describing non-Markovian memory effects, among others. Finally, by considering 10% error in the analog components, we perform stability tests of the dynamics, showing the robustness of the simulations with up to 13% error for relevant timescales. It is noteworthy to mention that the operation conditions of an off-the-shelf memristor fit those of usual circuit toolboxes.

Electric Analog Computer

To simulate a linear ordinary differential equation, the analog computer only requires the following operations: (i) summation, (ii) sign inversion, (iii) integration and (iv) multiplication by a constant.

We will describe briefly the implementation of the aforementioned operations for the analog computer. First, let us consider the summation and sign inversion operations, which are performed by an adder circuit whose transfer characteristics for n inputs are given by

$${V}_{{\rm{out}}}=-\,\mathop{\sum }\limits_{i}^{n}\,{K}_{i}{V}_{{\rm{in}}}^{i},$$
(1)

where Vout is the output voltage and Ki = Rf/Ri. The symbolic representation and equivalent circuit of the adder is shown in Fig. 1(a). Sign inversion can be implemented by an adder with a single input with K1 = 1. Next, integration, is meant to be the most important operation in an analog computer. It can be implemented by an integrator circuit, whose transfer characteristics for n inputs are given by

$${V}_{{\rm{out}}}(t)=-\,\frac{1}{C}{\int }_{0}^{t}\,\sum _{i}\,\frac{{V}_{{\rm{in}}}^{i}(\tau )}{{R}_{i}}d\tau +IC,$$
(2)

where the constant IC stands for the initial condition. The symbolic representation and equivalent circuit of the integrator is shown in Fig. 1(b). For the adder and integrator circuits, we consider ideal operational amplifiers.

Figure 1
figure1

Symbolic representation and corresponding circuit of the computing elements of an analog computer. (a) Adder for n inputs. (b) Integrator for n inputs. After the initial charge of the capacitor, which is used to set the initial conditions, that part of the circuit is switched off from the rest. (c) Circuit diagram for the simulation of the second-order linear ordinary differential equation of Eq. (4).

The last linear operation, multiplication by a constant, can be implemented with a potentiometer, which is described by

$${V}_{{\rm{out}}}=\alpha {V}_{{\rm{in}}},$$
(3)

where α < 1 is a constant that characterizes the device.

In addition, analog computers can also simulate nonlinear dynamics to some extent, by considering signal generators and function multipliers, which enable the mathematical multiplication of two signals.

We will consider a simple example to illustrate the configuration of an analog computer for the simulation of a linear ordinary differential equation. Let us consider the following second-order linear differential equation

$$\ddot{y}(t)=-\,\dot{y}(t)+y(t).$$
(4)

This equation is written in this form to remark that \(\ddot{y}\) can be obtained as the sum of \(-\dot{y}\) and y, which are obtained from integrating \(\ddot{y}\) once and twice, respectively. The computer diagram that implements Eq. (4) is shown in Fig. 1(c). Therefore, we see that integrator circuits enable the solution of ordinary differential equations by making use of feedback connections, which make the input and output voltage in Eq. (2) to be equal. In addition, several integrators connected in series stand for subsequent integrations of the desired variable. In this way, the simulation of a linear differential equation of order n would require n integrators.

This method can be extended to a system of m linear ordinary differential equations of order n, which can be written as

$$\mathop{\sum }\limits_{\ell =1}^{m}\,\mathop{\sum }\limits_{k=0}^{n}\,{a}_{\ell ,k}\frac{{d}^{(k)}{y}_{\ell }(t)}{d{t}^{k}}=0.$$
(5)

The simulation of such a system requires nm integrators, and since the summation can be absorbed into the integrators, it requires at most \(\frac{nm}{2}\) sign inverters.

It is important to note that, in order to solve a differential equation with an analog computer, it is not necessary to know the voltage waveform at any point of the electrical network, provided that the circuit was properly constructed, the desired solution is obtained by measuring the voltage signal at the output of the circuit. We remark that analog computers are best suited for solving systems of ordinary differential equations, and aditionally, it is possible to use them to solve partial differential equations by making use of finite differences approximations7. Since analog computers are better suited to solve time-dependent problems, the non-temporal variable is discretized to obtain a system of nonlinear ordinary differential equations for the time variable.

Memristive Analog Computation

A voltage-controlled memristor can be described by the following current-voltage relation14

$$i=g(\omega )\,v,$$
(6)
$$\dot{\omega }=f(v),$$
(7)

where i(t) and v(t) are the current and voltage across the device, respectively. The quantity ω is an internal state variable specified by the physical implementation of the memristor. For ideal voltage-controlled memristors the state variable corresponds to the magnetic flux ϕ, which means f(v) = v. The quantity g(ω) is the so-called memductance which has units of conductance and is a function of the state variable. Since the memristor is a passive circuit element, the memductance g(ω) must always be positive.

The notion of memristive behavior can be extended to a broader class of system whose characteristics resemble those of the memristor, and are called memristive systems15. These are defined by

$$i=g({\boldsymbol{\omega }},v,t)\,v,$$
(8)
$$\dot{{\boldsymbol{\omega }}}={\bf{f}}({\boldsymbol{\omega }},v,t).$$
(9)

Where in general, ω represents a set of n state variables, and f and g are continuous functions.

Now, to study the inclusion of memristive devices into an analog computer we will consider the case of an integrator circuit with a single input, where we substitute the resistor for a memristor, as is shown in Fig. 2. We will consider that the memristor has a single state variable ω. In the figure, the current across the memristor, iM, is given by Eq. (8). Then, by Kirchhoff’s law at node A, we have

$${i}_{M}={i}_{C},$$
(10)
$$g(\omega ,v,t)\,v=-\,C\frac{dv}{dt}.$$
(11)
Figure 2
figure2

Integrator circuit in which we have replaced the resistor for a memristor. After the initial charge of the capacitor, the part denoted by IC is switched off from the rest of the circuit.

Integrating Eq. (9) allows to write Eq. (11) as

$$\dot{v}(t)=-\,\frac{1}{C}g({\int }_{0}^{t}\,f(\omega ,v,\tau )d\tau ,\,v(t),t)v(t),$$
(12)

which in general will be a nonlinear integro-differential equation that will be specified by g and f, which describe the memductance and the memristor state variable dynamics, respectively. It must be noticed that these functions are specified by memristor engineering.

We now show the type of equations that can be solved using this circuit. Let us consider the equation that Volterra introduced for single populations in the study of growth of biological populations34,

$$\dot{N}(t)=N(t)[a-bN(t)-{\int }_{0}^{t}\,k(t-s)N(s)ds],\,t\in {R}^{+},$$
(13)

in which N(t) is the population size at time t, a and b are positive rate constants, and k(t) is the “hereditary” influence.

Now, in order to simulate this equation, we consider a memristive system as described by Eqs (8) and (9). By assuming g(ω, v, t) = −a + bv + k1(t)ω and \(\dot{\omega }={k}_{2}(t)v\), then, substituting into Eq. (12) we have

$$\dot{v}(t)=(a-bv(t)-{\int }_{0}^{t}\,k(t,\tau )v(\tau )d\tau )v(t),$$
(14)

where we have chosen C = 1 and k(t, τ) = k1(t)k2(τ). This is restricted, however, to kernels that can be separated in this way, otherwise it is only possible to simulate single-variable kernels. This equation can be implemented with a single integrator and memristor as shown in Fig. 2.

By connecting integrator circuits in series, we can generate nonlinear integro-differential equations of higher-order. For example, if we consider n integrators in series, where only the first integrator circuit contains a memristor, then we can generate the nth-order integro-differential equation

$$\frac{{d}^{(n)}v}{d{t}^{(n)}}=-\,\frac{1}{C}g({\int }_{0}^{t}\,f(\omega ,v,\tau )d\tau ,\,v(t),\,t)\,v(t).$$
(15)

On the other hand, if each of the n integrators contains a memristor, then the nth-order integro-differential equation will involve the composition of n memductance functions g1, …, gn corresponding to each memristor. The resulting equation can be written as follows

$$\frac{{d}^{(n)}v}{d{t}^{(n)}}=-\,\frac{1}{C}{g}_{n}({g}_{n-1}(\ldots {g}_{1}({\int }_{0}^{t}\,f(\omega ,v,\tau )d\tau ,\,v(t),\,t)\ldots ))\,v(t).$$
(16)

This allows for the simulation of a wide class of nonlinear integro-differential equation.

It is also possible to solve first-order linear integro-differential equations with a suitable change of variables. If we consider Eq. (12) and define the memristor by g(ω, v, t) = −ω and \(\dot{\omega }=k(t)\mathrm{ln}(v)\), we obtain

$$\dot{v}(t)=\frac{1}{C}({\int }_{0}^{t}\,k(s)\mathrm{ln}(v(s))ds)v(t).$$
(17)

Then, with u = ln(v), we have

$$\dot{u}(t)=\frac{1}{C}({\int }_{0}^{t}\,k(s)u(s)ds).$$
(18)

Notice that we can avoid the sign inversion of the integrand by normalizing the voltage such that 0 ≤ v ≤ 1. In this way, it is possible to simulate several linear integro-differential equations coming from quantum models. An example of this is a Volterra equation describing non-Markovian quantum memory effects35, given by

$${\partial }_{t}\rho ={\int }_{0}^{t}\,K(t,s) {\mathcal L} \rho .$$
(19)

Since \( {\mathcal L} \) is a linear superoperator, the integral kernel will involve linear terms in the elements of ρ. This leads to a system of integro-differential equations for the elements of ρ which can be implemented by appropriately choosing the dynamics of the internal state variable of the memristor.

Aditionally, linear integro-differential equations that appear in the model of turbulent diffusion36, have the form

$$\dot{u}(t)+p(t)u(t)+{\int }_{0}^{t}\,K(t,s)u(t-s)u(s)ds=0.$$
(20)

Equations of this type can be implemented with a memristor defined by g(ω, v, t) = α(t)k1(t)ω and \(\dot{\omega }=\frac{{k}_{2}(t)}{\alpha {(t)}^{2}}\,\mathrm{ln}\,{(v)}^{2}\), such that K(t, s) = k1(t)k2(s), and where \(\alpha (t)=\exp ({\int }_{0}^{t}\,p(s)ds)\). By using z(t) = α(t)u(t), we can configure Eq. (20) into the analog computer as the following equation,

$$\dot{z}(t)=-({\int }_{0}^{t}\,k^{\prime} (s)z{(s)}^{2}ds),$$
(21)

with \(k^{\prime} (s)=\frac{k(s)}{\alpha {(s)}^{2}}\). Next, connecting the output z(t) to a signal multiplier with the signal \(\frac{1}{\alpha (t)}\), we recover the solution u(t) of Eq. (20).

Equivalent Memristors for Enhancing Simulations

We have seen that the integro-differential equation that can be implemented with the integrator circuit of Fig. 2 depends on the memductance, g, and internal variable dynamics, f, in Eqs (8) and (9), respectively. However, the choice of the memductance function g is restricted by currently available memristors. A possible way for broadening the class of available memductance functions is to consider a composite memristor circuit, connected in series or in parallel37,38.

The behavior of composite memristor circuits is nontrivial, it involves transient phenomena which depend on the initial states of each memristor and is also affected by their polarities. Nonetheless, it has been shown that, for ideal voltage-dependent memristors, a composite memristor circuit involving either in parallel or in series connection can obey the same rules as with standard resistors37,38. This behavior depends on the memristor internal relaxation time and on the state variable dynamics. Assuming that the timescale of memristor relaxation is much shorter than the timescale associated with the state variable dynamics, then we can neglect the former and ignore transient phenomena.

We can expect that, under the aforementioned assumptions on timescales, a composite memristor circuit involving memristive systems will obey a dynamical model similar to Eqs (8) and (9). Then, we look to describe the composite memristor circuit as an equivalent memristor with an equivalent memductance. For a composite memristor circuit connected in series, as shown in Fig. 3(a), the equivalent memductance is given by

$$\frac{1}{{g}_{{\rm{equiv}}}(\omega ,v,t)}=\frac{1}{{g}_{1}({\omega }_{1},{v}_{1},t)}+\frac{1}{{g}_{2}({\omega }_{2},{v}_{2},t)},$$
(22)

whereas for memristors connected in parallel, it holds

$${g}_{{\rm{equiv}}}(\omega ,v,t)={g}_{1}({\omega }_{1},{v}_{1},t)+{g}_{2}({\omega }_{2},{v}_{2},t),$$
(23)

with v = v1 + v2, and ω = ω1 + ω2. Then, it is possible to approximate a memductance function, g(ω, v, t), by considering its Taylor expansion, \(g(\omega ,v,t)={c}_{1}+{c}_{2}v+\frac{1}{2!}{c}_{3}{v}^{2}+\mathrm{...}\), and construct a composite memristor circuit connected in parallel such that each memristor in the circuit provides one of the terms of the desired Taylor series. Then, the equivalent memductance, given by

$${g}_{{\rm{equiv}}}(\omega ,v,t)=g({\omega }_{1},{v}_{1},t)+g({\omega }_{2},{v}_{2},t)+g({\omega }_{3},{v}_{3},t)+\mathrm{...}$$
(24)

is an approximation of the desired memductance function, g(ω, v, t), provided that g(ω1, v1, t) = c1, g(ω2, v2, t) = c2v, \(g({\omega }_{3},{v}_{3},t)=\frac{1}{2!}{c}_{3}{v}^{2}\) and so on. In this way, the desired memductance function, g(ω, v, t), can be approximated with a controllable accuracy which depends on the amount of terms of the Taylor series implemented.

Figure 3
figure3

Composite memristor circuit (a) connected in series and (b) connected in parallel with same polarities. Here, v1 and v2 are the magnetic voltage of the first and second memristor, respectively.

In addition, when memristors are set in proximity, they may mutually interact39,40, affecting the dynamics of their internal variables, and consequently, their memductances. This leads to a different class of integro-differental equations that can be implemented in the analog computer by including coupled memristors into the network. Let us consider an ideal voltage-controlled memristor system described by

$${i}_{1}(t)={g}_{1}({\varphi }_{1},{\varphi }_{2}){v}_{1}(t),$$
(25)
$${i}_{2}(t)={g}_{2}({\varphi }_{1},{\varphi }_{2}){v}_{2}(t),$$
(26)
$$\frac{d{\varphi }_{1}}{dt}={v}_{1}(t),\,\frac{d{\varphi }_{2}}{dt}={v}_{2}(t),$$
(27)

where we consider g1(ϕ) = αϕ + β, and α, β are constants. Then, we have

$${g}_{1}({\varphi }_{1},{\varphi }_{2})={\alpha }_{1}{\varphi }_{1}+{\beta }_{1}+{\kappa }_{2}{\varphi }_{2},$$
(28)
$${g}_{2}({\varphi }_{1},{\varphi }_{2})={\alpha }_{2}{\varphi }_{2}+{\beta }_{2}+{\kappa }_{1}{\varphi }_{1}.$$
(29)

We can consider again two coupling cases, memristors connected in series and in parallel. For two memristors connected in series, as shown in Fig. 4(a), we define v12 = v1 + v2, and ϕ12 = ϕ1 + ϕ2. By applying Kirchhoff’s voltage law, together with the constitutive relations of the memristors, one obtains a set of coupled differential equations for the internal variables of the memristors39. In the special case of α1 = α2 = α, β1 = β2 = β, κ1 = κ2 = κ, the equivalent memductance, defined by i(t) = g12(ϕ12)v12, is consequently given by (see ref.39).

$${g}_{12}({\varphi }_{12})=\frac{1}{2}\frac{{\alpha }^{2}{\varphi }_{12}^{2}+2\alpha \beta {\varphi }_{12}}{4\beta +2\alpha {\varphi }_{12}}+\beta .$$
(30)
Figure 4
figure4

Coupled memristors with flux interaction, (a) connected in series and (b) connected in parallel with same polarities. Here, ϕ1 (ϕ2), v1(v2) are the magnetic flux and voltage of the first (second) memristor, respectively. When the timescale of the state variable dynamics is dominant over other timescales of each memristor it is possible to describe the composite memristor circuit as an equivalent memristor.

This result may allow us to implement an additional kind of integro-differential equation, related to non-Markovian dynamics, given by the following expression:

$$C{\dot{v}}_{12}=(\frac{1}{2}\frac{{\alpha }^{2}{({\int }_{0}^{t}{v}_{12}(\tau )d\tau )}^{2}+2\alpha \beta ({\int }_{0}^{t}\,{v}_{12}(\tau )d\tau )}{4\beta +2\alpha ({\int }_{0}^{t}\,{v}_{12}(\tau )d\tau )}+\beta ){v}_{12}.$$
(31)

On the other hand, for coupled memristors connected in parallel, as shown in Fig. 4(b), we have i = i1 + i2, and ϕ12 = ϕ1 + ϕ2. In this case the total memducante of the dual coupled memristors in parallel connection is given by the expression (see ref.39).

$${g}_{12}({\varphi }_{12})=({\alpha }_{1}+{\alpha }_{2}+{\kappa }_{1}+{\kappa }_{2}){\varphi }_{12}+{\beta }_{1}+{\beta }_{2}.$$
(32)

This is, the memristors coupled in parallel operate as a new memristor, and the equivalent memductance is obtained as the sum of the individual memductances. We see that, in this case, coupled memristors connected in parallel behave very similar to the uncoupled case. The main difference is the appearance of additional parameters.

We want to mention that to consider a large memristor array in our case could benefit the proposal, specially in obtaining a good approximation of any desired memductance function by constructing its Taylor expansion with an equivalent memristor array connected in parallel. The main limitation of using a large number of memristors lies in the error accumulation due to imperfections in the devices, as will be seen later. In this sense, the flexibility with large arrays increases as the device fabrication improves.

Adaptability with other Classes of Memdevices

Another possibility for broadening the class of integro-differential equations that can be implemented by the analog simulator is to consider other classes of memdevices, such as memcapacitive and meminductive devices41. Here we will consider the substitution of the capacitor in the integrator circuit of Fig. 2 for a voltage-controlled memcapacitive device which can be specified as follows:

$$q=C(x,v,t)\,v,$$
(33)
$$\dot{x}=\varphi (x,v,t),$$
(34)

where q, v, x and C, are the charge, voltage, internal variable and memcapacitance in the memcapacitive system, respectively. Then, performing the same calculation in node A of Fig. 2 with Kirchhoff’s law, as in Eq. (11), we obtain

$${i}_{M}={i}_{C},$$
(35)
$$g(\omega ,v,t)\,v=-(\frac{dC}{dt}v(t)+C(x,v,t)\frac{dv}{dt}).$$
(36)

This leads to the following integro-differential equation

$$\dot{v}(t)=-\frac{1}{C(x,v,t)}g({\int }_{0}^{t}\,f(\omega ,v,\tau )d\tau ,\,v(t),\,t)v(t)-\frac{1}{C(x,v,t)}\frac{dC}{dt}v(t),$$
(37)

This naturally adds a new parameter, the memcapacitance C(x, v, t), that increases the flexibility in the class of integro-differential equations that can be implemented with the analog simulator. For instance, we can see that by considering C(x, v, t) = x41 we can include a linear term in the voltage that will depend on the dynamics of the internal variable of the memcapacitive system. This can ease the requirements on the memductance which for some applications can become a very intricate function of the internal variable, voltage and time.

Numerical Robustness

In order to provide an example of the previous procedures and to test the stability of the solutions, let us consider the following integro-differential equation

$$\begin{array}{rcl}\dot{N}(t) & = & 2N(t)-0.001N{(t)}^{2}\\ & & -N(t){\int }_{0}^{t}\,\frac{s}{1+s}{e}^{-(t-s)}N(s)ds.\end{array}$$
(38)

This equation can be implemented by taking C = 1 and chosing g(ω, v, t) = −2 + 0.001v + etω and \(\dot{\omega }={e}^{s}\frac{s}{1+s}v\) in Eq. (12). In Fig. 5(a), we show the exact solution of this equation compared against the case with up to 10% error in the coefficients of Eq. (38), which stands for imperfections in the analog components of the computer. We can see that the average relative error stabilizes at ~10% indicating that the solution is robust against imperfections in the analog components. As a second example we consider the following integro-differential equation

$$\dot{u}(t)=-(\frac{1}{8}{e}^{-2t}u(t)+{\int }_{0}^{t}\,\frac{1}{2}{e}^{-(t+s)}u{(s)}^{2}ds).$$
(39)
Figure 5
figure5

Stability test of the solution of (a) Eq. (38) and (b) Eq. (39). (Left) Shows the exact solution (black solid line) and the solution considering imperfect analog components (red dashed line) with up to 10% error in their corresponding coefficients. (Right) Shows the average relative error over 100 iterations of the simulation with imperfect analog components.

This equation can be taken into the form of Eq. (21) by considering α(t) = exp(−1/16(e−2t−1)), k1(t) = 1/2et, k2(s) = es and \(\dot{\omega }={k}_{2}(s)\mathrm{ln}\,{(v)}^{2}\). In Fig. 5(b), we show the solution of this equation compared against the case with up to 10% error in the coefficients of Eq. (39), as well. We observe that, in this case, the error increases continuously, as it is usually the case in analog computers, reaching up to 13% within the timescale considered.

Discussion

We have studied the inclusion of memristors into the network of electric analog computers. We have found that this addition enables analog computers to simulate linear and nonlinear integro-differential equations by appropriately choosing the memductance and the dynamics of the memristor state variable. This broadens the applicability of analog computers which, otherwise, could only solve systems of ordinary differential equations. Additionally, we have numerically studied the performance of these analog computers by simulating integro-differential models related to fluid dynamics, nonlinear Volterra equations for population growth, and quantum models describing non-Markovian memory effects. Moreover, we have tested and evaluated the stability of the solutions provided against imperfections of analog components by introducing up to 10% error in their corresponding coefficients, finding that the relative error reaches up to 13% for relevant timescales. From these results, we have concluded the robustness and resilience of the results of the simulation provided by the methods introduced in this work. Moreover, it is noteworthy to mention that our results have been obtained with minimal architecture variations, leaving the possibility of more intrincated arrangements, whose complexity grows in complexity extremely fast, open for future studies.

The analog simulator can benefit from a large array of memristors, coupled in series or parallel, specially if we consider the Taylor expansion for any memductance function, which is directly related to the class of integro-differential equations that can be implemented by the circuit. The main limitation in using a large number of memristors is the error accumulation due to imperfect fabrication of the devices. In this sense, the flexibility of the analog simulator with the number of memristors increases as the device fabrication and design improves.

As a further scope, it would be interesting to consider the proposed scenarios in the context of quantum memristors42,43,44,45. These devices are the quantized version of the memristors employed in this work, i.e. open non-Markovian controllable open quantum systems which are able to process quantum information and can be used for simulations and for implementation of quantum neural networks46,47. The intuition is that quantum entanglement could be useful in the search of quantum speed-ups for analog computers, in a similar manner as it already happens with quantum simulations.

References

  1. 1.

    MacLennan, B. J. The promise of analog computation. Int. J. Gen. Syst. 43, 682–696 (2014).

    MathSciNet  Article  Google Scholar 

  2. 2.

    Cowan, G. E. R., Melville, R. C. & Tsividis, Y. P. A VLSI analog computer/math co-processor for a digital computer ISSCC. 2005 IEEE Int. Dig. Tech. Pap. Solid-State Circuits Conf. 1, 82–586 (2005).

    Article  Google Scholar 

  3. 3.

    Cowan, G. E. R., Melville, R. C. & Tsividis, Y. P. A VLSI analog computer/digital computer accelerator. IEEE J. Solid-State Circuits 41, 42–53 (2006).

    ADS  Article  Google Scholar 

  4. 4.

    Silva, A. et al. Performing Mathematical Operations with Metamaterials. Sci. 343, 160–163 (2014).

    ADS  MathSciNet  CAS  Article  Google Scholar 

  5. 5.

    AbdollahRamezani, S., Arik, K., Khavasi, A. & Kavehvash, Z. Analog computing using graphene-based metalines. Opt. Lett. 40, 5239–5242 (2015).

    ADS  CAS  Article  Google Scholar 

  6. 6.

    Youssefi, A., Zangeneh-Nejad, F., Abdollahramezani, S. & Khavasi, A. Analog computing by Brewster effect. Opt. Lett. 41, 3467–3470 (2016).

    ADS  Article  Google Scholar 

  7. 7.

    Kodali, V. P. A Study of the Applications of Analog Computers. IEEE Trans. Ind. Electron. Control. Instrum. IECI-14, 1 (1967).

    Article  Google Scholar 

  8. 8.

    Pour-El, M. B. Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers). Trans. Am. Math. Soc. 199, 1–28 (1974).

    MathSciNet  Article  Google Scholar 

  9. 9.

    Rubel, L. A. Some mathematical limitations of the general-purpose analog computer. Adv. Appl. Math. 9, 22–34 (1988).

    MathSciNet  Article  Google Scholar 

  10. 10.

    Ratier, N. 2012 6th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT) pp. 275–282 (2012).

  11. 11.

    Kubo, R. Statistical-Mechanical Theory of Irreversible Processes. I. General Theory and Simple Applications to Magnetic and Conduction Problems. J. Phys. Soc. Jpn. 12, 570–586 (1957).

    ADS  MathSciNet  Article  Google Scholar 

  12. 12.

    Simmons, J. G. & Verderber, R. R. New conduction and reversible memory phenomena in thin insulating films. Proc. R. Soc. A 301, 77–102 (1967).

    ADS  CAS  Article  Google Scholar 

  13. 13.

    Argall, F. Switching phenomena in titanium oxide thin films. Solid-State Electron. 11, 535–541 (1968).

    ADS  CAS  Article  Google Scholar 

  14. 14.

    Chua, L. Memristor-The missing circuit element. IEEE Trans. Circuit Theory 18, 507–519 (1971).

    Article  Google Scholar 

  15. 15.

    Chua, L. O. & Kang, S. M. Memristive devices and systems. Proc. IEEE 64, 209–223 (1976).

    MathSciNet  Article  Google Scholar 

  16. 16.

    Strukov, D. B., Snider, G. S., Stewart, D. R. & Williams, R. S. The missing memristor found. Nat. 453, 80–83 (2008).

    ADS  CAS  Article  Google Scholar 

  17. 17.

    Jo, S. H. et al. Nanoscale Memristor Device as Synapse in Neuromorphic Systems. Nano Lett. 10, 1297–1301 (2010).

    ADS  CAS  Article  Google Scholar 

  18. 18.

    Chang, T. et al. Synaptic behaviors and modeling of a metal oxide memristive device. Appl. Phys. A 102, 857–863 (2011).

    ADS  CAS  Article  Google Scholar 

  19. 19.

    Chanthbouala, A. et al. A ferroelectric memristor. Nat. Mater. 11, 860–864 (2012).

    ADS  CAS  Article  Google Scholar 

  20. 20.

    Kim, D. J. et al. Ferroelectric Tunnel Memristor. Nano Lett. 12, 5697–5702 (2012).

    ADS  CAS  Article  Google Scholar 

  21. 21.

    Chua, L. Resistance switching memories are memristors. Appl. Phys. A 102, 765–783 (2011).

    ADS  CAS  Article  Google Scholar 

  22. 22.

    Waser, R., Dittmann, R., Staikov, G. & Szot, K. Redox-Based Resistive Switching Memories - Nanoionic Mechanisms, Prospects, and Challenges. Adv. Mater. 21, 2632–2663 (2009).

    CAS  Article  Google Scholar 

  23. 23.

    Borghetti, J. et al. ‘Memristive’ switches enable ‘stateful’ logic operations via material implication. Nat. 464, 873–876 (2010).

    ADS  CAS  Article  Google Scholar 

  24. 24.

    Pershin, Y. V. & Di Ventra, M. Neuromorphic, Digital, and Quantum Computation With Memory Circuit Elements. Proc. IEEE 100, 2071–2080 (2012).

    Article  Google Scholar 

  25. 25.

    Yang, J. J., Strukov, D. B. & Stewart, D. R. Memristive devices for computing. Nat. Nanotechnol. 8, 13–24 (2012).

    ADS  Article  Google Scholar 

  26. 26.

    Kulkarni, M. S. & Teuscher, C. Memristor-based reservoir computing 2012 IEEE/ACM Int. Symp. on Nanoscale Archit. (NANOARCH) pp. 226–232 (2012).

  27. 27.

    Cassinerio, M., Ciocchini, N. & Ielmini, D. Logic Computation in Phase Change Materials by Threshold and Memory Switching. Adv. Mater. 25, 5975–5980 (2013).

    CAS  Article  Google Scholar 

  28. 28.

    Silva, F., Sanz, M., Seixas, J., Solano, E. & Omar, Y. Perceptrons from Memristors arXiv:1807.04912 (2018).

  29. 29.

    Pershin, Y. V. & Di Ventra, M. Practical Approach to Programmable Analog Circuits With Memristors. IEEE Trans. Circuits Syst. I, Reg. Pap. 57, 1857–1864 (2010).

    MathSciNet  Article  Google Scholar 

  30. 30.

    Jahromi, M. R., Shamsi, J., Amirsoleimani, A., Mohammadi, K. & Ahmadi, M. Ultra-low power Op-Amp design with memristor-based compensation 2017 IEEE 30th Can. Conf. on Electr. Comput. Eng. (CCECE) pp. 1–4 (2010).

  31. 31.

    Richter, I. et. al. Memristive accelerator for extreme scale linear solvers. Gov. Microcircuit Appl. & Critical Technol. Conf. (GOMACTech) (2015).

  32. 32.

    Le Gallo, M. et al. Mixed-precision in-memory computing Nat. electronics 1, 246 (2018).

    Google Scholar 

  33. 33.

    Zidan, M. et al. A general memristor-based partial differential equation solver Nat. electronics 1, 411 (2018).

    Google Scholar 

  34. 34.

    Volterra, V. Theory of Functionals and of Integral and Integro-differential Equations (Dover, New York, 2005).

  35. 35.

    Alvarez-Rodriguez, U., Di Candia, R., Casanova, J., Sanz, M. & Solano, E. Algorithmic quantum simulation of memory effects. Phys. Rev. A 95, 020301 (2017).

    ADS  MathSciNet  Article  Google Scholar 

  36. 36.

    Velikson, B. A. Solution of a non-linear integro-differential equation. USSR Comput. Math. & Math. Phys. 15, 256–259 (1975).

    MathSciNet  Article  Google Scholar 

  37. 37.

    Budhathoki, R. K., Sah, P., Adhikari, S. P., Hyongsuk, K. & Chua, L. Composite Behavior of Multiple Memristor Circuits. IEEE Trans. Circuits Syst. I, Reg. Pap. 60, 2688–2700 (2013).

    MathSciNet  Article  Google Scholar 

  38. 38.

    Xiaofang, H., Feng, G., Lu, L. & Shukai, D. Composite Characteristics of Memristor Series and Parallel Circuits. Int. J. Bifurc. Chaos 25, 1530019 (2015).

    Article  Google Scholar 

  39. 39.

    Yu, D., H-C Iu, H., Liang, Y., Tyrone, F. & Chua, L. Dynamic Behavior of Coupled Memristor Cicuits. IEEE Trans. Circuits Syst. I, Reg. Pap. 62, 1607–1616 (2015).

    Article  Google Scholar 

  40. 40.

    Cai, W. & Tetzlaff, R. Beyond series and parallel: Coupling as a third relation in memristive systems 2014 IEEE Int. Symp. on Circuits Syst. (ISCAS) 1259-1262 (2014).

  41. 41.

    Di Ventra, M., Pershin, Y. & Chua, L. Circuit Elements With Memory: Memristors, memcapacitors, and meminductors. Proc. IEEE 97, 1717–1724 (2009).

    Article  Google Scholar 

  42. 42.

    Pfeiffer, P., Egusquiza, I. L., Di Ventra, M., Sanz, M. & Solano, E. Quantum memristors. Sci. Rep. 6, 29507 (2016).

    ADS  CAS  Article  Google Scholar 

  43. 43.

    Shevchenko, S. N., Pershin, Y. V. & Nori, F. Qubit-Based Memcapacitors and Meminductors. Phys. Rev. Appl. 6, 014006 (2016).

    ADS  Article  Google Scholar 

  44. 44.

    Salmilehto, J., Deppe, F., Di Ventra, M., Sanz, M. & Solano, E. Quantum Memristors with Superconducting Circuits. Sci. Rep. 7, 42044 (2017).

    ADS  CAS  Article  Google Scholar 

  45. 45.

    Sanz, M., Lamata, L. & Solano, E. Quantum memristors in quantum photonics. APL Photonics, 3(8), 080801 (2018).

  46. 46.

    Gonzalez-Raya, T. et al. Quantized Single-Ion-Channel Hodgkin-Huxley Model for Quantum Neurons Phys. Rev. Applied 12, 014037 (2019).

  47. 47.

    Gonzalez-Raya, T., Solano, E. & Sanz, M. Quantized Three-Ion-Channel Neuron Model for Neural Action Potentials arXiv:1906.07570 (2019)

Download references

Acknowledgements

The authors would like to thank Unai Alvarez-Rodriguez and Massimiliano Di Ventra for useful discussions. G.A.B. acknowledges support from CONICYT Doctorado Nacional 21140587 and Direccion de Postgrado USACH. J.C.R. thanks Proyecto basal under grant FB 087. While M.S. and E.S. are grateful for the funding from Spanish MCIU/AEI/FEDER (PGC2018-095113-B-I00), Basque Government IT986-16, the projects QMiCS (820505) and OpenSuperQ (820363) of the EU Flagship on Quantum Technologies and the EU FET Open Grant Quromorphic (828826). This work is supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research (ASCR) quantum algorithm teams program, under field work proposal number ERKJ333.

Author information

Affiliations

Authors

Contributions

G.A.B., as the first author, has been responsible for the development of this work. M.S. suggested the seminal ideas and has contributed to the mathematical demonstrations and examples. E.S. and J.C.R. have helped to improve the ideas and results shown in the manuscript. All authors have carefully proofread the manuscript. M.S. supervised the project throughout all stages.

Corresponding authors

Correspondence to G. Alvarado Barrios or M. Sanz.

Ethics declarations

Competing Interests

The authors declare no competing interests.

Additional information

Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Barrios, G.A., Retamal, J.C., Solano, E. et al. Analog simulator of integro-differential equations with classical memristors. Sci Rep 9, 12928 (2019). https://doi.org/10.1038/s41598-019-49204-y

Download citation

Further reading

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

Search

Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing