1 Introduction

Nature’s symmetry principles play a subtle and deep role in the sense that many physical phenomena ultimately come to be explained in terms of mechanisms of symmetry breaking. A ubiquitous instance is the so-called ratchet effect [1,2,3], i.e., the possibility of generating directed transport from a fluctuating environment without any net external force. Indeed, it has been a fundamental research topic in diverse areas of science and technology since the last few decades partly because of its potential applications for manipulating such systems as coupled Josephson junctions [4] and molecular motors [5], as well as for designing micro- and nano-devices suitable for on-chip implementation. Directed ratchet transport (DRT) is now qualitatively understood to be a result of the interplay of nonlinearity, symmetry breaking [6], and non-equilibrium fluctuations including temporal noise [2], spatial disorder [7], and quenched temporal disorder [8]. The symmetry analysis alone, however, is insufficient to predict the strength and direction of the DRT. Recently, some of such fundamental aspects, including current reversals [9] and the quantitative dependence of DRT strength on the system’s parameters [10], have begun to be elucidated. In this regard, the theory of ratchet universality (RU) [11,12,13, 13] predicts that there exists a universal force waveform which optimally enhances directed transport by symmetry breaking. The theory of RU is based on a scenario of criticality that emerges when the generalized parity symmetry and the generalized time-reversal symmetry are broken, regardless of the nature of the dynamic equation in which the breaking of such symmetries results in DRT. For noiseless ratchets, the effectiveness of this theory has been demonstrated in quite different physical contexts in which the driving forces are chosen to be biharmonic, such as in the cases of topological solitons [8], Bose–Einstein condensates exposed to a sawtooth-like optical lattice potential [14], matter-wave solitons [10], one-dimensional granular chains [15], and Bose–Einstein condensates under an unbiased periodic driving potential [16]. Thus, the effectiveness of RU in quantum systems has been previously demonstrated, including the cases of directed transport of atoms in a Hamiltonian quantum ratchet (the values of the parameters used, which were chosen to maximize the directed transport, correspond to those of the universal biharmonic waveform, cf. Ref. [14]) and driven Bose–Einstein condensates (the authors show that the ratchet current is maximum for the values of the parameters that correspond to those of the ratchet potential associated with the universal biharmonic waveform, cf. Ref. [16]). There have also been quantitative explanations in coherence with the degree-of-symmetry-breaking mechanism, as predicted by the theory of RU [11, 12], of the interplay between thermal noise and symmetry breaking in the DRT of a Brownian particle moving on a periodic substrate subjected to a homogeneous temporal biharmonic force [17,18,19] and of a driven Brownian particle subjected to a vibrating periodic potential [20]. Numerical analyses of a driven Brownian particle in the presence of non-Gaussian noise [21], coupled Brownian motors with stochastic interactions in a crowded environment [22], and Stark control of electrons at interfaces [23] have confirmed the RU predictions. Additionally, RU has recently been demonstrated in the bidirectional escape from a symmetric potential well [24], coupled dissipative oscillators without external bias [25] as well as in directed ratchet transport of cold atoms and fluxons driven by biharmonic fields [26].

2 Theoretical approach and numerical simulation

Here, we investigate the effects of nonlinear dissipative (drag) forces on DRT in the absence of any periodic substrate potential through the recently considered example of spheres immersed in a viscous fluid of viscosity \(\eta \) and density \(\rho _{f}\), and subjected to time-periodic forces of period T and zero average [27]. In dimensionless variables, the equation of motion reads

$$\begin{aligned} \omega \tau \frac{\mathrm{{d}}\varvec{\upsilon }\left( \theta \right) }{\mathrm{{d}}\theta }&=-\frac{1}{24}C_{d}\left[ \left| \varvec{\upsilon }\left( \theta \right) \right| \right] \left| \varvec{\upsilon }\left( \theta \right) \right| \varvec{\upsilon }\left( \theta \right) +f_{0}{\textbf{f}}\left( \theta \right) , \end{aligned}$$
(1)
$$\begin{aligned} {\textbf{f}}\left( \theta \right)&=\zeta \cos \left( \theta \right) {\textbf{e}}_{1}+\alpha \left( 1-\zeta \right) \cos \left( 2\theta +\varphi \right) {\textbf{e}}_{2}, \end{aligned}$$
(2)

where \(\theta \equiv \omega t\), \(\omega \equiv 2\pi /T\), \(\tau \equiv m/\left( 6\pi r\eta \right) \) is a characteristic timescale, \(\varvec{\upsilon }\left( \theta \right) \equiv 2r\rho _{f}{\textbf{v}}\left( \theta /\omega \right) /\eta \), \(C_{d}\left[ \left| \varvec{\upsilon }\left( \theta \right) \right| \right] \) is the steady drag coefficient, \({\textbf{f}}\left( \theta \right) \equiv {\textbf{F}}\left( \theta /\omega \right) /F_{0}\) with \({\textbf{F}}\left( t\right) \) being a T-periodic biharmonic force, \(f_{0}\equiv \rho _{f}F_{0}/\left( 3\pi \eta ^{2}\right) \) is a dimensionless parameter accounting for the strength of the driving force, \({\textbf{e}}_{1}\) and \({\textbf{e}}_{2}\) are two mutually perpendicular versors, \(\zeta \in \left[ 0,1\right] \) and \(\varphi \in \left[ 0,2\pi \right] \) accounts for the relative amplitude and initial phase difference of the two harmonic components, respectively, while the value \(\alpha =1\) is the only one considered in Ref. [27]. Note that the dimensionless driving frequency, \(\omega \tau =2\pi (\tau /T)\), accounts for the relative strength of the two timescales involved. An experimental realization of Eq. (1) can be implemented by applying alternating magnetic fields to magnetizable spherical particles in a similar way to the case studied in Ref. [28] (see also Ref. [29]). In the adiabatic limit \(\left( \omega \tau \ll 1\right) \), the average terminal velocity, \(\overline{{\textbf{V}}}_\mathrm{{{ad}}}\), is given by the integral

$$\begin{aligned} \overline{{\textbf{V}}}_\mathrm{{{ad}}}= & {} \frac{\delta _{0}^{2}\eta }{16\pi r\rho _{f}}\int _{0}^{2\pi }\mathrm{{d}}\theta \left[ \sqrt{1+\frac{4\sqrt{f_{0}\left| {\textbf{f}} \left( \theta \right) \right| }}{\delta _{0}}}-1\right] ^{2}\nonumber \\{} & {} \frac{{\textbf{f}}\left( \theta \right) }{\left| {\textbf{f}}\left( \theta \right) \right| }, \end{aligned}$$
(3)

with \(\delta _{0}=9.06\) [27]. Also, the numerical results discussed in Ref. [27] indicated that, for fixed values of the other parameters, there exists an optimal value of \(\zeta \) which maximizes the second component of the dimensionless average terminal velocity, while the maximum velocity decreases as \(\omega \tau \) is increased and its location shifts toward lower values of \(\zeta \). This present paper aims to provide an explanation of these numerical results for \(\alpha =1\) as well as our own numerical results for any \(\alpha >0\). Specifically, we shall show that the maximum velocity is reached for \(\zeta =2\alpha /(1+2\alpha )\) in the adiabatic limit, as predicted by the theory of RU. Indeed, it has been demonstrated for temporal and spatial biharmonic forces that optimal enhancement of directed ratchet transport is achieved when maximally effective (i.e., critical) symmetry breaking occurs, which implies the existence of a particular universal waveform [11,12,13]. Specifically, the optimal value of the relative amplitude \(\zeta \) comes from the condition that the amplitude of the odd harmonic component must be twice that of the even harmonic component in Eq. (2), i.e.,

$$\begin{aligned} \zeta _\mathrm{{{opt}}}=\zeta _\mathrm{{{opt}}}\left( \alpha \right) \equiv 2\alpha /(1+2\alpha ). \end{aligned}$$
(4)

Importantly, this finding is in sharp contrast to the prediction coming from the general formalism mentioned in Ref. [27], namely, that the dependence of the average terminal velocity should scale as

$$\begin{aligned} \overline{V}_{2}\left( \zeta \right) \approx C\zeta ^{2}\alpha \left( 1-\zeta \right) , \end{aligned}$$

where C is independent of \(\zeta \). This equation indicates that \(\overline{V}_{2}\left( \zeta \right) \) presents a single maximum at \(\zeta _{\max }=2/3\), irrespective of the particular value of the prefactor \(\alpha \). Note that the coincidence of \(\zeta _{\max }=2/3\) with \(\zeta _\mathrm{{{opt}}}\left( \alpha =1\right) \) is purely accidental (see Appendix A). In contrast, both the theoretical estimate given by Eq. (3) and numerical simulations of Eq. (1) confirm the RU prediction [Eq. (4)] over a wide range of \(\alpha \) values (cf. Figures 1 top and bottom, respectively).

Fig. 1
figure 1

Dimensionless average terminal velocity versus relative amplitude \(\zeta \) and prefactor \(\alpha \) [cf. Equation (2)] for \(f_{0}=100,\omega \tau =0.1\), and \(\varphi =\pi \). Top: Theoretical prediction from Eq. (3). Bottom: Numerical results from Eqs. (1) and (2). Also plotted is the theoretical prediction for the maximum velocity [cf. Equation (4); solid curve]

Fig. 2
figure 2

The same as Fig. 1, but now \(f_{0}=1\)

Figure 2 is the same as Fig. 1 but for a much lower dimensionless driving strength \(\left( f_{0}=1\right) \). One sees that the theoretical estimate given by Eq. (3) and numerical simulations of Eq. (1) again confirm the RU prediction [Eq. (4)] over the same range of \(\alpha \) values (cf. Figures 2 top and bottom, respectively). Note that the average terminal velocity increases as the prefactor \(\alpha \) is increased, while keeping the remaining parameters constant (cf. Figures 1 and 2), because the condition \(\left| {\textbf{f}} \left( \theta \right) \right| \leqslant 1\) is no longer satisfied for \(\alpha >1\) and the particular value of \(F_{0}\) considered in Ref. [27] for \(\alpha =1\).

Fig. 3
figure 3

Dimensionless average terminal velocity versus relative amplitude \(\zeta \) and prefactor \(\alpha \) [cf. Equation (2)] for \(\omega \tau =0.1\) and \(\varphi =\pi \). Top: Theoretical prediction from Eq. (3) for \(f_{0}=100\). Middle: Numerical results from Eqs. (1) and (2) after the substitution \({\textbf{f}}\left( \theta \right) \rightarrow {\textbf{f}}\left( \theta \right) /M\) [cf. Equation (5)] for \(f_{0}=100\). Bottom: Numerical results from Eqs. (1) and (2) after the substitution \({\textbf{f}}\left( \theta \right) \rightarrow {\textbf{f}}\left( \theta \right) /M\) [cf. Equation (5)] for \(f_{0}=1\). Also plotted is the theoretical prediction for the maximum velocity [cf. Equation (4); solid curve]

For the sake of making a legitimate comparison, Fig. 3 shows the corresponding results after the substitution \({\textbf{f}}\left( \theta \right) \rightarrow {\textbf{f}}\left( \theta \right) /M\) with

$$\begin{aligned} M=\left| {\textbf{f}}\left( \theta \right) \right| _{\max }\equiv \sqrt{\zeta ^{2}+\alpha ^{2}\left( 1-\zeta \right) ^{2}} \end{aligned}$$
(5)

such that \(\left| {\textbf{f}}\left( \theta \right) \right| /M\leqslant 1 \). Clearly, the RU prediction presents excellent agreement with the results from numerical simulations for quite disparate values of \(f_{0}\) (cf. Figures 3 middle and bottom) as well as with the theoretical estimate [Eq. (3); Fig. 3 top]. Note, however, that such an excellent agreement between RU prediction and numerical results would not be expected a priori in the present case of two mutually perpendicular sinusoidal forces, one with twice the period of the other.

The effectiveness of the RU prediction [Eq. (4)] can be understood as follows. In the adiabatic limit \(\left( \omega \tau \ll 1\right) \), after substituting

$$\begin{aligned} \varvec{\upsilon }_\mathrm{{{ad}}}\left( \theta \right) =\frac{\delta _{0}^{2}}{4}\left[ \sqrt{1+\frac{4\sqrt{f_{0}\left| {\textbf{f}}\left( \theta \right) \right| }}{\delta _{0}}}-1\right] ^{2}\frac{{\textbf{f}} \left( \theta \right) }{\left| {\textbf{f}}\left( \theta \right) \right| } \end{aligned}$$
(6)

(cf. Equation (11) of Ref. [27]) into the expression \(C_{d}\left[ \left| \varvec{\upsilon }_\mathrm{{{ad}}}\left( \theta \right) \right| \right] \left| \varvec{\upsilon }_\mathrm{{{ad}}}\left( \theta \right) \right| \varvec{\upsilon }_\mathrm{{{ad}}}\left( \theta \right) \) with the assumption \(\varvec{\upsilon }_\mathrm{{{ad}}}\left( \theta \right) \propto {\textbf{f}}\left( \theta \right) \), and Taylor- and Fourier-expanding the nonlinear part of this friction force, for instance for \(\varphi =\varphi _\mathrm{{{opt}}}\equiv \pi \) (see Appendix B), Eq. (1) can be written as

$$\begin{aligned} \omega \tau \frac{\mathrm{{d}}v_{1}}{\mathrm{{d}}\theta }&=-v_{1}-A\sum _{n=1}^{\infty }b_{2n-1} \cos \left[ \left( 2n-1\right) \theta \right] \nonumber \\&\quad +f_{0}\zeta \cos \theta , \end{aligned}$$
(7)
$$\begin{aligned} \omega \tau \frac{\mathrm{{d}}v_{2}}{\mathrm{{d}}\theta }&=-v_{2}-A\sum _{n=0}^{\infty }a_{2n} \cos \left( 2n\theta \right) \nonumber \\&\quad -f_{0}\alpha (1-\zeta )\cos \left( 2\theta \right) , \end{aligned}$$
(8)

where \(A=A\left( \delta _{0},f_{0}\right) \propto 2f_{0}^{1/4}\delta _{0}^{-1/2}\), while the Fourier coefficients \(a_{2n}\equiv a_{2n}\left( \zeta ,\alpha \right) \), \(b_{2n-1}\equiv b_{2n-1}\left( \zeta ,\alpha \right) \) can be calculated explicitly by using MATHEMATICA, but their size and algebraic complexity prevent us from showing them easily. One sees that the net periodic force in Eq. (7) only presents odd harmonics and hence satisfies the shift symmetry, which means that, as expected from the symmetry analysis in Ref. [27], such a periodic force by itself cannot yield directed ratchet motion in the \({\textbf{e}}_{1}\) direction. Also, the net force in Eq. (8) only presents even harmonics and a constant force term

$$\begin{aligned}{} & {} -Aa_{0}\approx \frac{2f_{0}^{1/4}}{\sqrt{\delta _{0}}}\sum _{k=0}^{\infty } \sum _{n=0}^{k}\nonumber \\{} & {} \quad \frac{\left( {\begin{array}{c}k\\ n\end{array}}\right) \zeta ^{2k-2n}\alpha ^{2n+1}\left( 1-\zeta \right) ^{2n+1}c\left( k,n\right) }{\varGamma \left( \frac{1}{8}-k+1\right) k!\left[ \zeta ^{2}+\alpha ^{2}\left( 1-\zeta \right) ^{2}\right] ^{k}}, \end{aligned}$$
(9)

with

$$\begin{aligned} \begin{aligned}&c\left( k,n\right) \equiv \varDelta _{k,n}\left[ \sqrt{\pi }_{2}\widetilde{F}_{1} \left( \frac{1}{2}, \frac{k+n+3}{2};n+\frac{3}{2};-1\right) \right. \\&\quad + \left. \left( -1\right) _{\ 2}^{n} \widetilde{F}_{1}\left( \frac{k-n+2}{2}, \frac{k+n+3}{2};\right. \right. \\&\quad \left. \left. \frac{k+n+4}{2};-1 \right) \varGamma \left( \frac{k-n+2}{2}\right) \right] \end{aligned} \end{aligned}$$
(10)

where \(\varDelta _{k,n}\equiv \left( -1\right) ^{-n}\left[ \left( -1\right) ^{n}-\left( -1\right) ^{k}\right] \varGamma \left( n+1\right) \) while \(\varGamma \left( \cdot \right) \) and \(_{2}\widetilde{F}_{1}\left( \cdot ,\cdot ;\cdot ;\cdot \right) \) are the gamma and the regularized hypergeometric functions, respectively. Since the waveform of any pair of even harmonics \(a_{2n}\cos \left( 2n\theta \right) +a_{2n+2}\cos \left[ \left( 2n+2\right) \theta \right] \) in Eq. (8) does not fit, for any value of \(\zeta ,\alpha \), that of one of the four equivalent expressions of the biharmonic universal excitation [11]

$$\begin{aligned}&f_{0}\left[ \sin \theta \pm \frac{1}{2}\sin \left( 2\theta \right) \right] ,\nonumber \\&f_{0}\left[ \cos \theta \pm \frac{1}{2}\sin \left( 2\theta \right) \right] , \end{aligned}$$
(11)

this means that the emergence of directed ratchet motion in the \({\textbf{e}} _{2}\) direction is exclusively due to the constant force \(-Aa_{0}\) which is given approximately by Eq. (9) for the parameters used in Fig. 3 of Ref. [27]. Indeed, the RU prediction [Eq. (4)] presents good agreement with the theoretical estimate of the constant force arising from the Fourier analysis of the net force [cf. Equation (9); see Fig. 4] because the universal biharmonic waveform is effectively present to produce the term of constant force once \({\textbf{f}}\left( \theta \right) \) has been suitably normalized as in the criticality scenario leading to ratchet universality [12]. Mathematically, Eqs. (7) and (8) are two nonautonomous (decoupled) linear equations, and hence the expected average terminal velocities are \(\overline{v_{1}}=0,\overline{v_{2}}=-Aa_{0}\), thus explaining the aforementioned agreement.

Fig. 4
figure 4

Estimation of the constant term \(-Aa_{0}\) after retaining only the first six terms versus relative amplitude \(\zeta \) and prefactor \(\alpha \) [cf. Equation (9)] for \(f_{0}=100\). Also plotted is the theoretical prediction for the maximum velocity [cf. Equation (4); solid curve]

Next, the aforementioned dependence of the location of the maximum velocity on \(\omega \tau \) can be understood as follows. First, we rewrite Eq. (1) as

$$\begin{aligned}&\frac{\mathrm{{d}}\varvec{\upsilon }\left( \varOmega t_{\tau }\right) }{\mathrm{{d}}t_{\tau }} =-\frac{1}{24}C_{d}\left[ \left| \varvec{\upsilon }\left( \varOmega t_{\tau }\right) \right| \right] \left| \varvec{\upsilon }\left( \varOmega t_{\tau }\right) \right| \varvec{\upsilon }\left( \varOmega t_{\tau }\right) \nonumber \\&\quad +f_{0}\left[ \zeta \cos \left( \varOmega t_{\tau }\right) {\textbf{e}}_{1}\right. \nonumber \\&\quad \left. +\alpha \left( 1-\zeta \right) \cos \left( 2\varOmega t_{\tau }+\varphi \right) {\textbf{e}}_{2}\right] , \end{aligned}$$
(12)

where \(\varOmega \equiv \omega \tau ,t_{\tau }\equiv t/\tau \). For sufficiently large \(\varOmega \), i.e., when \(2\pi<T/\tau <4\pi \), the \(v_{2}\) dynamics of Eq. (12) can be analyzed using the vibrational mechanics approach [30] by assuming that the \(\varOmega \)-force is “slow” (\(\varOmega <1\)) while the \(2\varOmega \)-force is “fast” (\(2\varOmega >1\)). Thus, one separates \(v_{2}\left( t_{\tau }\right) =V_{2}\left( t_{\tau }\right) +\psi \left( t_{\tau }\right) \), where \(V_{2}\left( t_{\tau }\right) \) represents the slow dynamics while \(\psi \left( t_{\tau }\right) \) is the fast oscillating term (see Appendix B): \(\psi \left( t_{\tau }\right) =\psi _{0}\cos \left( 2\varOmega t_{\tau }+\varPhi \right) \) with

$$\begin{aligned} \psi _{0}&\equiv f_{0}\alpha \left( 1-\zeta \right) /\sqrt{1+4\varOmega ^{2} },\nonumber \\ \varPhi&\equiv \arctan \left[ \frac{\text { tg }\varphi -2\varOmega }{1+2\varOmega \text { tg }\varphi }\right] . \end{aligned}$$
(13)

On averaging out \(\psi \left( t_{\tau }\right) \) over time \(2\varOmega t_{\tau } \), the slow reduced dynamics of \(v_{2}\) becomes

$$\begin{aligned} \frac{\mathrm{{d}}V_{2}}{\mathrm{{d}}t_{\tau }}+V_{2}\left( 1+\frac{4\pi }{\delta _{0}}\sqrt{\left| V_{2}\right| }\right) =0. \end{aligned}$$
(14)

Thus, the asymptotic \(v_{2}\) dynamics when \(\varOmega \equiv \omega \tau \gg 1/2\) could well be described by Eq. (14), which indicates that the (terminal) velocity \(V_{2}\sim e^{-t/\tau }\) as \(t\rightarrow \infty \). This scenario is coherent with the gradual decrease of the maximum second component of the dimensionless average terminal velocity (cf. Figure 3 in Ref. [27]) as \(\omega \tau \) is increased from the adiabatic limit, i.e., as the relevant symmetries are gradually restored. This phenomenon of competing timescales leads to the \(2\varOmega \)-force losing ratchet effectiveness, but without deactivating the degree-of-symmetry-breaking mechanism [11, 12]. Clearly, this loss of effectiveness can only be compensated by increasing its amplitude \(\alpha \left( 1-\zeta \right) \) to generate maximum velocity, thereby explaining the shift of the location of the maximum velocity to lower values of \(\zeta \) as \(\omega \tau \) is increased from the adiabatic limit (cf. Figure 3 in Ref. [27]). Importantly, this does not mean that the predictions of the theory of RU are not universal but there is another phenomenon that affects directed transport and interacts with the breaking of the relevant symmetries. A similar situation occurs when thermal noise is present in a directed transport scenario (see Refs. [17,18,19]).

3 Conclusions

In summary, we have investigated directed ratchet motion of a sphere immersed in a viscous fluid and subjected solely to a nonlinear drag force and zero-average biharmonic forces in the absence of any periodic substrate potential. The dependence on the relative amplitude of two mutually perpendicular sinusoidal forces of the average terminal velocity was theoretically explained from the theory of ratchet universality, while extensive numerical simulations fully confirmed its predictions in the adiabatic limit. Also, the dependence on the dimensionless driving frequency of the dimensionless average terminal velocity far from the adiabatic limit was qualitatively explained with the aid of the vibrational mechanics approach, while a quantitative explanation for such behavior is still lacking. The theoretical findings of this article could stimulate further experimental work on directed ratchet transport of particles in non-Newtonian fluids. Finally, following the present Fourier series expansion approach, we expect that the theory of RU will explain other different implementations of the ratchet effect, such as gating ratchets [31] and skyrmion ratchets [32]. Our current work is aimed at exploring these cases.