1 Introduction

In the research field of nonlinear dynamical system theory, it is well known that the Feigenbaum cascade of period-doubling bifurcation can lead to chaos [1], and considerable research with regard to this phenomenon has been reported. The chaotic behaviour of ship roll motion in beam seas has been studied by Virgin [2], Thompson [3, 4], and Kan and Taguchi [5, 6], among others. Thompson used the escape equation with a second-order polynomial fitting the restoring term and discussed the occurrence of capsize (or escape) and chaos. Kan and Taguchi observed capsizing phenomena caused by period-doubling bifurcation in their model experiment [5]. Further, they investigated the escape equation with a nonlinear cubic restoring term using numerical time simulation and confirmed a close relationship between capsize and chaos [6]. On the other hand, Murashige and Aihara [7] calculated the Lyapunov exponents from the measured time history of a flooded ship model, and they confirmed that the ship rolling motion could tend to a chaotic attractor. Moreover, they did detailed numerical studies with a theoretical model [8].

The Melnikov integral formula enables us to test for the existence of a transverse homoclinic connection of an invariant manifold of a saddle [9, 10]. The existence of such a connection implies the beginning of the fractal metamorphosis and is one of the prerequisites of chaotic behaviour. As an example of the direct application of this method to the ship roll problem using the escape equation with a cubic restoring term, Kan and Taguchi [6] analytically estimated the conditions of chaotic behaviour. Although it is necessary to analytically or numerically obtain the heteroclinic orbit in the time domain to calculate the Melnikov integral of a highly dissipative system, an analytical expression of the non-Hamiltonian part is not easily obtained in general. Therefore, Wu and McCue [11] calculated the Melnikov integral using a numerically obtained heteroclinic orbit. Although numerical integration requires verification of its accuracy for infinite integrals, it seems to be an extremely powerful technique even for high-dimensional systems.

A general solution for nonlinear differential equations is not always available. In the case of the escape equation with a cubic restoring term, a general solution is not available. Therefore, Kan and Taguchi [6] calculated the Melnikov integral based on the separatrix of the Hamiltonian part of the escape equation as an alternative to solving its non-Hamiltonian part. However, although we cannot find a general solution of the escape equation, heteroclinic orbits themselves can be obtained using a solution technique that is used for analysing nonlinear waves.

A heteroclinic orbit is an orbit connecting two saddles, and such an orbit can be realized for certain parameters, i.e., the set of heteroclinic bifurcation points [12]. For instance, it is well known that the surf-riding threshold in following and quartering seas can be represented as a heteroclinic bifurcation point [13]. Considerable effort has been expended on research of the surf-riding threshold, and one of the current authors has proposed an analytical technique for estimating this threshold. In this technique, the sinusoidal periodic surge force induced by waves was approximated using a third-order polynomial, and then an analytical formula to estimate the surf-riding threshold was obtained [14]. This approximated surge equation is identical to the non-Hamiltonian part of the escape equation. Therefore, in the present article, we attempt to apply the same procedure to the escape equation in an attempt to provide an analytical formula for the threshold of chaos.

2 Escape equation

Uncoupled roll motion with wave excitation is modelled as [6]:

$$ I{\frac{{{\text{d}}^{2} \Upphi }}{{{\text{d}}t^{2} }}} + N{\frac{{{\text{d}}\Upphi }}{{{\text{d}}t}}} + W \cdot GM \cdot \Upphi \left( {1 - \Upphi /\Upphi_{\text{V}} } \right)\left( {1 + \Upphi /\Upphi_{\text{V}} } \right) = M_{\text{rs}} + M_{\text{r}} \sin \left( {\omega t + \delta } \right) $$
(1)

where Φ is roll the angle, I is the moment of inertia in roll, N is the damping coefficient in roll, W is the ship mass, and GM is the metacentric height. In the forcing term, i.e., the right side of Eq. 1, M rs denotes the second-order steady wave-induced roll moment, whereas M r denotes the amplitude of the first-order wave-induced roll moment. It is assumed that M rs and M r have relatively small values compared to the terms on the left side of Eq. 1. Obviously, Φ = ±ΦV are saddles. Here we divide M rs into two parts:

$$ M_{\text{rs}} = M_{1} + M_{2} $$
(2)

This separation is done to create the heteroclinic orbit. In practice, value M 1 is determined by the condition of the heteroclinic bifurcation described in the next section. Factorisation yields:

$$ W \cdot GM \cdot \Upphi \left( {1 - \Upphi /\Upphi_{\text{V}} } \right)\left( {1 + \Upphi /\Upphi_{\text{V}} } \right) - M_{1} = W \cdot GM\left( {\Upphi - \Upphi_{1} } \right)\left( {\Upphi_{2} - \Upphi } \right)\left( {\Upphi - \Upphi_{3} } \right)/\Upphi_{\text{V}}^{2} $$
(3)

where the relation Φ1 < Φ2 < Φ3 applies. Considering the following transformation:

$$ \varphi = {\frac{{\Upphi - \Upphi_{1} }}{{\Upphi_{3} - \Upphi_{1} }}} $$
(4)

the restoring terms becomes:

$$ {\frac{{W \cdot GM\left( {\Upphi - \Upphi_{1} } \right)\left( {\Upphi_{2} - \Upphi } \right)\left( {\Upphi - \Upphi_{3} } \right)}}{{\Upphi_{\text{V}}^{2} }}} = {\frac{{W \cdot GM\left( {\Upphi_{3} - \Upphi_{1} } \right)^{3} }}{{\Upphi_{\text{V}}^{2} }}}\varphi \left( {\varphi - {\frac{{\Upphi_{2} - \Upphi_{1} }}{{\Upphi_{3} - \Upphi_{1} }}}} \right)\left( {1 - \varphi } \right) $$
(5)

Therefore we have:

$$ {\frac{{{\text{d}}^{2} \varphi }}{{{\text{d}}t^{2} }}} + {\frac{N}{I}}{\frac{{{\text{d}}\varphi }}{{{\text{d}}t}}} + {\frac{{W \cdot GM\left( {\Upphi_{3} - \Upphi_{1} } \right)^{2} }}{{I\Upphi_{\text{V}}^{2} }}}\varphi \left( {\varphi - {\frac{{\Upphi_{2} - \Upphi_{1} }}{{\Upphi_{3} - \Upphi_{1} }}}} \right)\left( {1 - \varphi } \right) = {\frac{{M_{2} }}{{I\left( {\Upphi_{3} - \Upphi_{1} } \right)}}} + {\frac{{M_{\text{r}} }}{{I\left( {\Upphi_{3} - \Upphi_{1} } \right)}}}\sin \left( {\omega t + \delta } \right) $$
(6)

Defining new variables as:

$$ \left\{ \begin{gathered} \tilde{\beta } \equiv N/I,\quad \tilde{\mu } \equiv W \cdot GM\left( {\Upphi_{3} - \Upphi_{1} } \right)^{2} /I\Upphi_{V}^{2} ,\quad \tilde{a} \equiv \left( {\Upphi_{2} - \Upphi_{1} } \right)/\left( {\Upphi_{3} - \Upphi_{1} } \right) \hfill \\ b_{0} \equiv M_{2} /I\left( {\Upphi_{3} - \Upphi_{1} } \right),\quad b \equiv M_{\text{r}} /I\left( {\Upphi_{3} - \Upphi_{1} } \right) \hfill \\ \end{gathered} \right. $$
(7)

yields the following equation:

$$ {\frac{{{\text{d}}^{2} \varphi }}{{{\text{d}}t^{2} }}} + \tilde{\beta }{\frac{{{\text{d}}\varphi }}{{{\text{d}}t}}} + \tilde{\mu } \cdot \varphi \left( {1 - \varphi } \right)\left( {\varphi - \tilde{a}} \right) = b_{0} + b\sin \left( {\omega t + \delta } \right) $$
(8)

Note that if \( \tilde{a} = 0.5, \) then the left side of this equation becomes symmetrical. This equation is utilised for all the considerations in this article.

3 Solution of the non-Hamiltonian heteroclinic orbit

Considering the case b 0 = 0 and b = 0 in Eq. 8:

$$ {\frac{{{\text{d}}^{2} \varphi }}{{{\text{d}}t^{2} }}} + \tilde{\beta }{\frac{{{\text{d}}\varphi }}{{{\text{d}}t}}} + \tilde{\mu } \cdot \varphi \left( {1 - \varphi } \right)\left( {\varphi - \tilde{a}} \right) = 0 $$
(9)

This equation is identical to the FitzHugh–Nagumo (FHN) equation, [15, 16] except for some coefficients (see Appendix 1), so that the solution method for nonlinear waves [17] to find a travelling wave is applicable. Here, assuming that Eq. 9 has a heteroclinic orbit, then let us postulate a non-Hamiltonian heteroclinic orbit:

$$ \dot{\varphi } = \tilde{c}\varphi \left( {1 - \varphi } \right) $$
(10)

Differentiation of Eq. 10 with regard to time yields:

$$ \ddot{\varphi } = \tilde{c}{\frac{{{\text{d}}\left( {\varphi - \varphi^{2} } \right)}}{{{\text{d}}t}}} = \tilde{c}\left( {\dot{\varphi } - 2\varphi \dot{\varphi }} \right) = \tilde{c}\dot{\varphi }\left( {1 - 2\varphi } \right) = \tilde{c}^{2} \varphi \left( {1 - \varphi } \right)\left( {1 - 2\varphi } \right) $$
(11)

If we substitute above equation into Eq. 9, then we obtain:

$$ \tilde{c}^{2} \varphi \left( {1 - \varphi } \right)\left( {1 - 2\varphi } \right) + \tilde{\beta }\tilde{c}\varphi \left( {1 - \varphi } \right) + \tilde{\mu } \cdot \varphi \left( {1 - \varphi } \right)\left( {\varphi - \tilde{a}} \right) = 0 $$
(12)

Here, taking a monomial order of \( ^{\forall } \varphi :\varphi \in \left( {0,1} \right), \) then:

$$ \varphi \left( {\tilde{\mu } - 2\tilde{c}^{2} } \right) + \left( {\tilde{c}^{2} + \tilde{\beta }\tilde{c} - \tilde{\mu }\tilde{a}} \right) = 0 $$
(13)

In order to satisfy the above equation for \( ^{\forall } \varphi :\varphi \in \left( {0,1} \right), \) the following relations are required:

$$ \left\{ \begin{gathered} \tilde{\mu } - 2\tilde{c}^{2} = 0 \hfill \\ \tilde{c}^{2} + \tilde{\beta }\tilde{c} - \tilde{\mu }\tilde{a} = 0 \hfill \\ \end{gathered} \right. $$
(14a,b)

From Eq. 14a we have:

$$ \tilde{c} = \pm \sqrt {\tilde{\mu }/2} $$
(15)

The positive sign corresponds to a heteroclinic orbit on the upper part of phase plane, whereas the negative sign corresponds to an orbit on the lower part of the phase plane. Substituting this condition into Eq. 14b, we obtain:

$$ {\frac{{\tilde{\mu }}}{2}} \pm \tilde{\beta }\sqrt {{\frac{{\tilde{\mu }}}{2}}} - \tilde{\mu }\tilde{a} = 0 \Rightarrow \tilde{\mu }\left( {{\frac{1}{2}} - \tilde{a}} \right) \pm \tilde{\beta }\sqrt {{\frac{{\tilde{\mu }}}{2}}} = 0 $$
(16)

Here, the condition \( \tilde{a} > 0.5 \) corresponds to the heteroclinic orbit on the upper plane, whereas \( \tilde{a} < 0.5 \) corresponds to that on the lower plane because positive roll damping (\( \tilde{\beta } > 0 \)) and a positive metacentric height (\( \tilde{\mu } > 0 \)) should apply to a normal intact ship in general. Equation 16 can be solved using a simple iteration procedure with respect to a single variable, such as M 1, when the bifurcation point is required as a function of M 1. Table 1 provides a comparison of the critical values of σ C providing the heteroclinic orbit. Here σ C denotes the non-dimensionalized value M 1 as σ = M 1/W · GM · ΦV. Further calculation conditions were set to be the same as those of Table 3 in Wu and McCue, [11] and the values σ C obtained by Wu and McCue are noted. Since the results obtained by the present procedure agree well with the numerical results of Wu and McCue [11], it is concluded that the analytical method proposed here is verified and the numerical results of Wu and McCue [11] have sufficiently high accuracy. If we solve Eq. 10, we can easily obtain as a solution in the time domain:

Table 1 Comparison between the numerical results of Wu and McCue [11] and the present analytical results
$$ \varphi^{0} \left( t \right) = {\frac{1}{{1 + \exp \left( { - \tilde{c}t + \tilde{d}} \right)}}} = {\frac{1}{2}} + {\frac{1}{2}}\tanh \left( {{\frac{{\tilde{c}t - \tilde{d}}}{2}}} \right) $$
(17)

Here, \( \tilde{d} \in \left( { - \infty ,\,\infty } \right) \) denotes the arbitrary integral constant determined by an initial condition. Taking φ = 0.5 at t = 0 yields \( \tilde{d} = 0, \) then Eq. 17 becomes:

$$ \varphi^{0} \left( t \right) = {\frac{1}{2}} + {\frac{1}{2}}\tanh {\frac{{\tilde{c}t}}{2}} $$
(18)

This equation is utilized for calculating the Melnikov integral in the next section. Moreover, for the rolling equation with a fourth-order polynomial, we can similarly obtain an analytical solution of the heteroclinic orbit in the limiting condition. A separate publication describing this approach is planned for the future.

If we consider the case \( \tilde{a} = 0.5, \) the solution of Eq. 16 is \( \tilde{\beta } = 0 \) or \( \tilde{\mu } = 0. \) \( \tilde{\mu } = 0 \) implies the non-existence of a restoring term, so that this solution is not relevant to the current problem. Therefore \( \tilde{\beta } = 0 \) should be regarded as a solution. If \( \tilde{\beta } = 0, \) i.e., the Hamiltonian system applies, the separatrix connecting φ = 0 and φ = 1 is realised only when \( \tilde{a} = 0.5. \) This can be easily proved as follows. If we consider the case of \( \tilde{\beta } = 0 \) in Eq. 9, simple manipulation yields:

$$ {\frac{{{\text{d}}^{2} \varphi }}{{{\text{d}}t^{2} }}} = \tilde{\mu }\left[ {\varphi^{3} - \left( {\tilde{a} + 1} \right)\varphi^{2} + \tilde{a}\varphi } \right] $$
(19)

Multiplying each side of Eq. 19 by dφ/dt and integrating with regard to time t, we obtain:

$$ {\frac{{{\text{d}}\varphi }}{{{\text{d}}t}}} = \pm \varphi \sqrt {2\tilde{\mu }\left( {{\frac{1}{4}}\varphi^{2} - {\frac{{\tilde{a} + 1}}{3}}\varphi + {\frac{{\tilde{a}}}{2}}} \right)} $$
(20)

Here, φ = 0 at dφ/dt = 0 is assumed. Then, at φ = 1, dφ/dt takes the value of:

$$ {\frac{{{\text{d}}\varphi }}{{{\text{d}}t}}} = \pm \sqrt {\tilde{\mu }\left( {{\frac{{2\tilde{a} - 1}}{6}}} \right)} $$
(21)

If we require dφ/dt = 0, the condition of \( \tilde{a} = 0.5 \) is necessary. Therefore the symmetrical equation has a separatrix connecting two saddles only for the case \( \tilde{\beta } = 0, \) otherwise the separatrix becomes a homoclinic orbit.

Finally we briefly consider whether Eq. 10 with \( \tilde{a} \ne 0.5 \) can represent all the heteroclinic orbits. Equation 16 denotes the set consisting of heteroclinic bifurcation points in a parameter plane spanned by \( \tilde{\beta } \) and \( \tilde{\mu } \) as two solution one-dimensional manifolds. The system has only one heteroclinic orbit for certain parameter combinations of \( \tilde{\beta }_{0} \) and \( \tilde{\mu }_{0} \) by the uniqueness of the solution. It cannot be denied that there could exist other heteroclinic orbits for other parameter combinations. The heteroclinic orbit introduced here, however, becomes identical to Eq. A5 in Kan and Taguchi [6] when \( \tilde{\beta } \) is zero (see Appendix 2), so that it is supposed that the heteroclinic orbit in which we are interested is realised for the parameter combination of \( \tilde{\beta } \) and \( \tilde{\mu } \) obtained from Eq. 16. Therefore, it is concluded that Eq. 16 is the required solution for our analysis within the framework of the present research.

4 Calculation of the Melnikov integral

Using the heteroclinic orbit obtained above and following the methodology introduced by Salam [10], the Melnikov integral can be calculated. State Eq. 8 can be rewritten in vectorial representation as:

$$ {\frac{\text{d}}{{{\text{d}}t}}}\left( \begin{gathered} \varphi \hfill \\ {\dot{\varphi }} \hfill \\ \end{gathered} \right) = \left( \begin{gathered} {\dot{\varphi }} \\ - \tilde{\beta }\dot{\varphi } - \tilde{\mu }\varphi \left( {1 - \varphi } \right)\left( {\varphi - \tilde{a}} \right) \\ \end{gathered} \right) + \left( \begin{gathered} 0 \\ b_{0} + b\sin \omega t \\ \end{gathered} \right) \equiv {\mathbf{F}}\left( {\mathbf{x}} \right) + {\mathbf{G}}\left( t \right) $$
(22)

As shown above, the solution for b 0 = 0 and b = 0 can be obtained as Eq. 21. Here, we apply the Melnikov integral method:

$$ D{\mathbf{F}}\left( {\mathbf{x}} \right) = \left( {\begin{array}{*{20}c} 0 & 1 \\ {\tilde{\mu }\left[ {3\varphi^{2} - 2\left( {\tilde{a} + 1} \right)\varphi + \tilde{a}} \right]} & { - \tilde{\beta }} \\ \end{array} } \right) $$
(23)

yields

$$ {\text{tr}}D{\mathbf{F}}\left( {\mathbf{x}} \right) = - \tilde{\beta } $$
(24)

Note that the wedge product is defined as \( {\mathbf{a}} \wedge {\mathbf{b}} = a_{1} b_{2} - a_{2} b_{1} \). Then \( {\mathbf{F}}\left( {q^{0} \left( t \right)} \right) \wedge {\mathbf{G}}\left( {t + t_{0} } \right) \) can be calculated as:

$$ {\mathbf{F}}\left( {q^{0} \left( t \right)} \right) \wedge {\mathbf{G}}\left( {t + t_{0} } \right) = \dot{\varphi }\left( {b_{0} + b\sin \omega \left( {t + t_{0} } \right)} \right) $$
(25)

Therefore, Melnikov function M(t 0) is determined as:

$$ \begin{aligned} M\left( {t_{0} } \right) = & \int\limits_{ - \infty }^{\infty } {{\mathbf{F}}\left( {\varphi^{0} \left( t \right)} \right) \wedge {\mathbf{G}}\left( {t + t_{0} } \right) \cdot \exp \left( { - \int\limits_{0}^{t} {{\text{tr}}D{\mathbf{F}}\left( {\mathbf{x}} \right){\text{d}}s} } \right){\text{d}}t} \\ = & \int\limits_{ - \infty }^{\infty } {b\sin \omega \left( {t + t_{0} } \right)\tilde{c}\varphi^{0} \left( t \right)\left( {1 - \varphi^{0} \left( t \right)} \right) \cdot \exp \left( {\int\limits_{0}^{t} {\tilde{\beta }{\text{d}}s} } \right){\text{d}}t} + \int\limits_{ - \infty }^{\infty } {b_{0} \tilde{c}\varphi^{0} \left( t \right)\left( {1 - \varphi^{0} \left( t \right)} \right) \cdot \exp \left( {\int\limits_{0}^{t} {\tilde{\beta }{\text{d}}s} } \right){\text{d}}t} \\ = & b\tilde{c}\left( {I_{\text{i}} \cos \omega t_{0} + I_{\text{r}} \sin \omega t_{0} } \right) + b_{0} \tilde{c}I\left( 0 \right) \\ = & b\tilde{c}\sqrt {I_{\text{r}}^{2} + I_{\text{i}}^{2} } \sin \left( {\omega t_{0} + \tan^{ - 1} \left( {I_{\text{i}} /I_{\text{r}} } \right)} \right) + b_{0} \tilde{c}I\left( 0 \right) \\ \end{aligned} $$
(26)

Here, I(ω) is defined as the following Fourier transformation:

$$ I\left( \omega \right) \equiv \int\limits_{ - \infty }^{\infty } {\varphi^{0} \left( t \right)\left( {1 - \varphi^{0} \left( t \right)} \right){\text{e}}^{{\tilde{\beta }t}} {\text{e}}^{i\omega t} {\text{d}}t} $$
(27)

where we put I r = Re[I] and I i = Im[I]. The condition having the simple zero of Eq. 26 can be represented as:

$$ {\frac{I\left( 0 \right)}{{\sqrt {I_{\text{r}}^{2} + I_{\text{i}}^{2} } }}} = b/b_{0} $$
(28)

Each component can be calculated by using Cauchy’s integral theorem (see Appendix 3). Equations 18 and 34 provide the condition of the onset of chaos in the escape equation discussed here.

5 Concluding remarks

A fully analytical solution of the heteroclinic orbit was used for calculating the Melnikov integral to estimate the onset of chaotic behaviour of the escape equation. This approach is an alternative to the technique using a separatrix of the Hamiltonian part of the escape equation or a numerically obtained heteroclinic orbit of its non-Hamiltonian part. Verification of the proposed technique was achieved by comparison with the results from existing numerical work. The uniqueness of the heteroclinic orbit having the form of Eq. 10 should be mathematically examined in the future.