Volume 2015, Issue 1 278234
Research Article
Open Access

Complete Coefficient Criteria for Five-Dimensional Hopf Bifurcations, with an Application to Economic Dynamics

Christos Douskos

Christos Douskos

Faculty of Engineering, University of Patras, 26504 Rion, Greece upatras.gr

Search for more papers by this author
Panagiotis Markellos

Corresponding Author

Panagiotis Markellos

Faculty of Engineering, University of Patras, 26504 Rion, Greece upatras.gr

Search for more papers by this author
First published: 03 August 2015
Citations: 4
Academic Editor: Dibakar Ghosh

Abstract

Paper presents a complete mathematical characterization of coefficient criteria for five-dimensional Hopf bifurcations and an example of the application of these criteria to a model of economic dynamics. The application illustrates that the proposed criteria are practical and useful in determining the existence or nonexistence of Hopf bifurcations of five-dimensional dynamical systems in entire ranges of the system’s parameters.

1. Introduction

Hopf bifurcations occur in dynamical systems leading to cyclical fluctuations emerging from equilibrium states, and the Hopf bifurcation theorem is a useful tool to establish the emergence of such fluctuations. The theorem describes conditions to be satisfied by the eigenvalues of the Jacobian matrix of the linearized system around an equilibrium, for cycles to bifurcate from the equilibrium. Although the theorem is of local validity, it provides useful information about the system’s potential for oscillatory behaviour for a range of a bifurcation parameter. Interpreting the theorem in terms of conditions to be satisfied by the coefficients of the characteristic polynomial at the equilibrium, that is establishing “coefficient criteria” for Hopf bifurcations, facilitates the detection of cycles generated locally at equilibrium and the application of this detection process globally in entire ranges of the system parameters.

In the field of economic dynamics Hopf bifurcations are of interest for the mathematical modelling of endogenous business cycles. Several authors have used this theorem to study the appearance of business cycles in continuous time economic models. For example, Asada [1] and Asada and Yoshida [2] treated three- and four-dimensional Hopf bifurcations by means of coefficient criteria. In recent years the tendency is to consider higher-dimensional dynamics in macroeconomic modelling (see, e.g. [3]), but complete coefficient criteria for Hopf bifurcations have not been proposed so far for n-dimensional systems with n > 4.

The highest dimensionality for which complete coefficient criteria are presently available is n = 4, and the relevant criteria were provided by Asada and Yoshida [2]. Liu [4] has provided a general criterion for n-dimensional Hopf bifurcations, n ≥ 3, which however is not complete as it applies only to the so called “simple” Hopf bifurcation. This is a special kind of Hopf bifurcation occurring when all eigenvalues of the Jacobian matrix have negative real parts, except the single pair of imaginary eigenvalues characterizing the bifurcation instance, and the simple Hopf bifurcation is therefore related to a change of equilibrium stability.

In this paper we present a complete mathematical characterization of coefficient criteria for five-dimensional Hopf bifurcations, not only for simple Hopf bifurcations. Our proposed criterion for simple Hopf bifurcations is marginally more concise and informative, providing the imaginary eigenvalues and the approximate period of the cycles directly from the coefficients of the characteristic polynomial but is essentially equivalent to Liu’s criterion for n = 5. The main contribution of this paper is the establishment of the coefficient criterion for the existence or nonexistence of nonsimple five-dimensional Hopf bifurcations. We also present an application of our criteria to a model of economic dynamics. The application illustrates that these can be practically and usefully employed to determine the existence or nonexistence of Hopf bifurcations of a five-dimensional dynamical system in entire ranges of the system parameters.

The paper is organized into the following sections. Section 2 contains the Hopf bifurcation theorem for n-dimensional systems, and Section 3 presents a complete characterization of coefficient criteria for five-dimensional Hopf bifurcations by means of four mathematical propositions covering simple as well as nonsimple Hopf bifurcations. Section 4 contains an application of the proposed criteria to a five-dimensional two-region business cycle model suggested by Asada et al. [5]. In Section 5 we give an example of Hopf bifurcation, established in Section 4, by presenting diagrams illustrating the orbital behaviour of the system associated with the bifurcation. Section 6 contains some concluding remarks. Finally, Appendices A to D contain the proofs of the mathematical propositions.

2. The Hopf Bifurcation Theorem

We employ here a version of the Hopf bifurcation theorem from Guckenheimer and Holmes [6] with minor changes in notation. Consider the n-dimensional dynamical system:
()
with εR a bifurcation parameter.

Theorem 1. Suppose that the dynamical system (1) has the following properties.

  • (I)

    The system has a smooth curve of equilibria:

    ()

  • (II)

    The characteristic equation

    ()

  • where Df(x(εc), εc) is the Jacobian matrix of the system at (x(εc), εc), has a pair of imaginary roots,

    ()

  • and no other roots with zero real parts.

  • (III)

    The real part Re(λ(ε)) of λ(ε) satisfies

    ()

Then, there exists a continuous function ε(γ) with ε(0) = εc, and for sufficiently small values of γ ≠ 0 there exists a continuous family of nonconstant periodic solutions x(t, γ) of the dynamical system. As γ → 0, the family of periodic solutions collapses at the equilibrium point x(εc), with their period tending to
()

In the present case n = 5 the Jacobian matrix of the system is
()
with characteristic equation:
()

where the coefficients biR,   (i = 1, …, 5) depend on the parameter ε. The aim of this paper is to establish conditions that must be satisfied by these five coefficients for a Hopf bifurcation to occur at the critical value εc of the bifurcation parameter ε.

3. Coefficient Criteria for n = 5

The following propositions provide the complete characterization of the Hopf bifurcation in the case of five-dimensional dynamical systems. Proofs of these propositions are provided in Appendices A to D.

Lemma 2. The polynomial p(λ) has exactly one pair of imaginary roots , θ > 0, if and only if one of the following sets of conditions, coefficient criteria, is satisfied:

  • (C1) Φ = (b3b1b2)(b5b2b3b4)−(b5b1b4) 2 = 0, with θ = (b5b1b4)/(b3b1b2) > 0,

  • (C2) b5 = b1b4, b3 = b1b2,  and b4 < 0, with ,

  • (C3) b5 = b1b4, b3 = b1b2,  and b4 = 0, b2 > 0, with θ = b2 > 0.

Theorem 3. The polynomial p(λ) has one pair of imaginary roots , θ > 0 and all other roots with nonzero real parts if and only if one of the following coefficient criteria is satisfied:

  • (D1) {(C1), b3b1θ1 ≠ 0},

  • (D2) {(C2), b3b1 ≠ 0}.

Theorem 4. The polynomial p(λ) has one pair of imaginary roots , θ > 0 and all other roots with negative real parts if and only if the following coefficient criterion is satisfied:

  • (E) {(C1), b1 > 0,   b3b1b2 < 0,   b3b1θ > 0}.

Theorem 5. Under conditions (D1) or (E), condition (III) of Theorem 1 is equivalent to

  • (Z1) ,

and under conditions (D2) condition (III) of Theorem 1 is equivalent to
  • (Z2) ,

where the derivatives are with respect to the bifurcation parameter ε.

Theorem 3 is a complete characterization of condition (II) of Theorem 1, for nonsimple Hopf bifurcation, in the present case of a five-dimensional system. Theorem 4 regards the special case of simple Hopf bifurcation. The proposed here criterion for the simple five-dimensional Hopf bifurcation is marginally more concise and informative but essentially equivalent to Liu’s criterion for n-dimensional simple Hopf bifurcations in the present case n = 5 (see Remark 6 in Appendix C).

Finally, Theorem 5 provides a complete characterization of condition (III) of the Hopf bifurcation theorem in the case of a five-dimensional system. The above Theorems 3 and 5 are entirely new results to the authors’ knowledge and complement Theorem 4 providing a complete mathematical characterization of the coefficient criteria for Hopf bifurcations in five-dimensional dynamical systems.

The application in the following section illustrates that the proposed criteria are practical and useful in determining the existence or nonexistence of Hopf bifurcations of five-dimensional dynamical systems in entire ranges of the system’s parameters and are therefore useful for the analytical investigation of cyclical behaviour in five-dimensional dynamical systems.

4. Application to Economic Dynamics

In this section, we present an application of the coefficient criteria stated in the previous section to a typical model of five-dimensional macroeconomic dynamics. For the application we consider a continuous time version of the Kaldorian two-region discrete time business cycle model proposed by Asada et al. [5].

The continuous time version employed here for the application of the proposed coefficient criteria is described by the following five nonlinear differential equations:
()
where dots denote derivatives with respect to time and we have abbreviated
()
The function f is a particular case of the Kaldorian S-shaped direct dependence of the investment function on income given by
()
The subscript i  ( = 1,2) is the index number of a region and t denotes the time. The price levels are considered fixed and the meanings of the symbols are as follows. Yi is the real regional income, Ki is the real physical capital stock, and Mi is the nominal money stock. The exchange rate is fixed and the total nominal money supply of the two regions is taken to be fixed at M1 + M2 = 600.

The parameters of the model are αi > 0 the adjustment speed of the goods market of each region, β > 0 the degree of capital mobility, and δ the degree of interregional trade, 0 ≤ δ ≤ 1. We note that under the specifications and functional forms adopted in the formulation of the system of equations (9), the two regional economies are assumed quite similar; any dissimilarity will be due to the possibly unequal speeds of adjustment α1, α2. For a full description of the model and its economic foundations see Asada et al. [5].

The system has a smooth curve of equilibria described by the equilibrium values:
()
The equilibrium values and depend on the trade parameter δ only, while the equilibrium values of the other variables depend on both β and δ. All equilibrium values are positive for β > βm≅0.03 and 0 ≤ δ ≤ 1.

In this application we first focus our search for Hopf  bifurcations by reducing the four-dimensional space of parameters of the model to a series of two-dimensional parameter subspaces of the basic parameters δ and β. This is done by assuming that the other two parameters α1 and α2 take equal values α1 = α2 = α and considering a succession of values for α. Alternatively, we set a plausible value, for example, α1 = 1, for α1 and consider a succession of values for α2. We then apply our coefficient criteria to each parameter plane (δ, β) by creating appropriate plots representing these criteria graphically.

In applying our criterion (D1) for nonsimple Hopf bifurcations, these plots include the curve Φ = 0 (bold), the curve h = (b3b1b2)(b5b1b4) = 0 (thin) representing the boundary of the region (light-shaded) in which h > 0, and if required also the curve b5 = 0. According to our criterion (D1) Hopf bifurcations occur at the points (δ, β) of the curve Φ = 0 provided that these points are inside the region where h = (b3b1b2)(b5b1b4) > 0 and correspond to such values of δ and β that the condition b3b1θ1 ≠ 0, equivalently b5 ≠ 0, is also satisfied.

In applying our criterion (D2) for nonsimple Hopf bifurcations, the plots include the curves Φ = 0 and h = 0 as before, and if required also the curves b4 = 0, b1 = 0, b3 = 0. According to our criterion (D2) Hopf bifurcations occur at the points (δ, β) of intersection of the curves Φ = 0 and h = (b3b1b2)(b5b1b4) = 0 which correspond to such values of δ and β that the condition b4 < 0 is also satisfied with b1 ≠ 0, b3 ≠ 0.

If a nonsimple Hopf bifurcation appears possible at some point (δ, β) under criterion (D1) or under criterion (D2), the bifurcation can be verified by application of the corresponding transversality condition (Z1) or (Z2). For this last verification either one of the model parameters δ, β may be tested as the bifurcation parameter of Theorem 1.

A simple Hopf bifurcation is a special kind of nonsimple Hopf bifurcation. Once a nonsimple Hopf bifurcation at the point (δ, β) has been verified as above under criterion (D1), computation of the characteristic polynomial at the equilibrium values of the system variables corresponding to this pair of parameter values and checking the conditions b1 > 0, b3b1b2 < 0, b3b1θ1 > 0 reveals whether the bifurcation is “simple” or not. This last step, to distinguish between nonsimple and simple Hopf bifurcation, can be performed globally for all points of the bifurcation curve, that is, of those segments of the curve Φ = 0 which are inside the region where h = (b3b1b2)(b5b1b4) > 0 and correspond to such values of δ and β that the condition b3b1θ1 ≠ 0, equivalently b5 ≠ 0, is also satisfied.

Following the above guidelines, we firstly apply our coefficient criteria to several (δ, β) parameter planes corresponding to different values of α1 = α2 = α. Figure 1 shows the results for α = 4,1, 0.5. In the left column diagrams of Figure 1 we see that the curve segments of Φ = 0 (bold) do not cross with the curve segments of h = 0 (thin); therefore Hopf bifurcations do not exist under the coefficient criterion (D2) in the considered region of the (δ, β) parameter plane. However, the leftmost branch of the curve Φ = 0 lies within the region for which h > 0, and the curve b5 = 0 does not appear, therefore Hopf bifurcations may exist under the coefficient criterion (D1) in the considered region of the (δ, β) parameter plane at the points of the leftmost branch of the curve Φ = 0.

Details are in the caption following the image
Plots of the curves Φ = 0 (bold), h = 0 (thin). Stability regions are dark shaded. Regions with h > 0 are light shaded. Top to bottom: α1 = α2 = 4,1, 0.5.

For verification we adopt the parameter β of the model as the bifurcation parameter and apply condition (Z1) globally by computing the relevant derivative at points of this branch of the curve Φ = 0. This produces the plot shown in the top left frame of Figure 2 which establishes nonzero values of the derivative and therefore establishes the occurrence of Hopf bifurcations globally at the points of this branch of the curve Φ = 0.

Details are in the caption following the image
Plots of quantities related to the coefficient criteria (Z1) and (E) for points (δ, β) on the Hopf bifurcation curve.

In the same computation we determine the values of the quantities b1, b3b1b2, b5, required, on the basis of their signs, to characterize the bifurcations as simple. This produces the plots shown in the remaining frames of Figure 2 which establish that b1 > 0, b3b1b2 < 0, b3b1θ1 = b5 > 0, on the points of this branch. We conclude that this branch of the curve Φ = 0 is a Hopf bifurcation curve and the Hopf bifurcations are simple. Note that this also means that this branch is the boundary of the stability region in the (δ, β) plane as shown in Figure 1 (right column frames: dark shaded stability regions).

Let us now consider a fixed value α1 = 1 for α1 and a succession of values for α2. In such cases, working as before, we find that the curve segments of Φ = 0 may cross with the curve segments of h = 0, as shown, for example, in the case of α1 = 1, α2 = 0.65, shown in Figure 3. In this case we have as before the leftmost branch of the curve Φ = 0 to be a simple Hopf bifurcation curve (see left diagram of Figure 3), but we also find a crossing of Φ = 0 (bold) with h = 0 (thin) suggesting the possible existence of a nonsimple Hopf bifurcation under our coefficient criterion (D2). Zooming into the neighborhood of the crossing point we obtain the right diagram of Figure 3 where the region in which b4 < 0 is satisfied is also shown (dark shaded). The crossing occurs at the point δ = 0.717196, β = 0.726274, outside this region and we conclude that the crossing does not produce a Hopf bifurcation. In this case the usefulness of the coefficient criterion (D2) is to establish the nonexistence of a Hopf bifurcation in an entire region of the (δ, β) parameter plane, for example, the region shown in the right diagram of Figure 3.

Details are in the caption following the image
Plots of the curves Φ = 0 (bold), h = 0 (thin) for α1 = 1, α2 = 0.65. Regions with h > 0 are light shaded. Region with b4 < 0 is dark shaded.

5. A Bifurcation Example

In this section, we give an example of Hopf bifurcation, established in Section 4, by presenting diagrams illustrating the cyclical behaviour of the system associated with the bifurcation. To this purpose we choose a specific value δ0 = 0.59 of the parameter δ and consider the other parameter β as the bifurcation parameter of the Hopf bifurcation theorem. The critical value of the bifurcation parameter is βc≅2.01281996 at which value Φ = 0. The point (δ0, βc) is a point on the simple Hopf bifurcation curve established in the previous section and shown in the middle row diagrams of Figure 1 as the leftmost branch of the curve Φ = 0.

Employing numerical integration for a value of β slightly smaller than the critical value βc and initial values of the system variables very near the equilibrium values, we obtain the time paths of the system variables, as shown for two of the five variables Y1 and Y2 in the top row of Figure 4. For a certain time interval the system performs oscillations with increasing amplitude until it reaches a time when the values increase rapidly and the system approaches quickly a large stable periodic orbit not related to the Hopf bifurcation.

Details are in the caption following the image
Numerical simulation of an orbit starting near the repelling cycle of the subcritical Hopf bifurcation.

The “projection” of the five-dimensional orbit in the (Y1, Y2) plane is shown in the bottom left diagram of Figure 4, while the bottom right diagram shows the orbit near the equilibrium (denoted by a dot). Numerical integration with initial values sufficiently nearer to the equilibrium values produces an orbit converging to the equilibrium. It is apparent that we have a case of subcritical simple Hopf bifurcation in which the equilibrium loses stability because a repelling cycle collapses on it. This is a local bifurcation process. Inside the stability region the stable equilibrium coexists with the repelling cycle of the Hopf bifurcation, but in the present case an attracting outer large cycle is also present. Figure 5 shows a schematic representation of the repelling cycles of the present Hopf bifurcation regarding the relevant values δ, β in the parameter plane (left diagram) and two such cycles in actual size in their (Y1, Y2) plane projections (right diagram) obtained approximately by numerical experiments. For discussions on the two kinds of simple Hopf bifurcation (supercritical and subcritical) and related issues of “corridor stability” and “hysteresis” effects in economic models we refer to Kind [7] and references therein.

Details are in the caption following the image
Schematic representation of the repelling cycles of the Hopf bifurcation regarding the relevant values δ, β in the parameter plane (left) and approximate representation of two such cycles in actual size in their (Y1, Y2) plane projections (right).

6. Concluding Remarks

Interpreting the Hopf bifurcation theorem in terms of conditions to be satisfied by the coefficients of the characteristic polynomial at the equilibrium, that is establishing “coefficient criteria” for Hopf bifurcations, facilitates the detection of cycles generated locally at the equilibrium and makes feasible the application of this detection process globally, in the space of the system’s parameters, to acquire preliminary information about the system’s potential for oscillatory behaviour.

In this paper, we presented a complete mathematical characterization of coefficient criteria for five-dimensional Hopf bifurcations. The criterion proposed here for simple Hopf bifurcations is marginally more concise and informative (see relations (C.7) in Appendix C), providing also the imaginary roots of the characteristic polynomial and the approximate period of the cycles directly from the coefficients, but is essentially equivalent to Liu’s criterion for n = 5. The main contribution of this paper is however the derivation of the coefficient criterion for establishing the existence or nonexistence of nonsimple five-dimensional Hopf bifurcations.

We also suggested a possible manner of conducting the application of our coefficient criteria by presenting an application to a model of nonlinear macroeconomic dynamics. The application showed that our criteria are practical and useful in determining the existence or nonexistence of Hopf bifurcations of five-dimensional dynamical systems in entire ranges of the system’s parameters. Finally we presented an example of a bifurcation detected by using our criteria, which turned out to be a subcritical simple Hopf bifurcation, and illustrated by numerical simulation the cyclical behaviour of the system variables due to the repelling cycle associated with the subcritical bifurcation.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Appendices

A. Proof of Lemma 2

It is well known that the polynomial
()
has a pair of imaginary roots , θ > 0, if and only if it can be written in the form
()
and the multiplication gives
()
Comparing to (A.1) we obtain
()
For these relations to be consistent we find that the following equations must be satisfied:
()
and elimination of θ2 gives
()
The cubic g(λ) can be written as
()
and we have
()
A unique positive value of θ is required for which (A.8) is identical to (A.1).
If (b3b1b2)(b5b1b4) < 0, then this requirement cannot be fulfilled as (A.6) gives a negative value of θ. If (b3b1b2)(b5b1b4) > 0, then (A.6) gives
()
and substituting θ1 in (A.8) we find that (A.8) is identical to (A.1) if and only if
()
leading to conditions C1.
If one of the quantities b3b1b2,  b5b1b4 is equal to zero, with θ > 0, then both these quantities must be equal to zero due to (A.6), and p(λ) reduces to
()
In such case the second of equations (A.5) reduces to b1(θ2b2θ + b4) = 0, and (A.5) yield the roots:
()
It is required that only one of these roots be positive, and this is true if and only if
()
If b4 < 0, then the two roots (A.12) are
()
If b4 = 0,  b2 > 0, then (A.11) reduces to
()
and the two roots (A.12) are
()
In both these cases there exists exactly one positive value of θ for which (A.8) is identical to (A.1) as required. Substituting the admissible value θ2 for θ in (A.8) we find that, due to b3b1b2 = b5b1b4 = 0, (A.8) is indeed identical to (A.1). This leads in the first case to conditions C2 and in the second case to conditions C3. In both these cases Φ = 0 is also satisfied.

Note that if b4 = 0, b2 ≤ 0, then none of the roots (A.12) is positive. Also, since the product of the two roots (A.12) is θ2θ3 = b4, it follows that if these roots are real and b4 > 0, then these two roots have the same sign and no unique positive value of θ exists for which (A.8) would be identical to (A.1). This completes the proof of Lemma 2.

B. Proof of Theorem 3

Under the conditions (C1) or (C2) or (C3) of Lemma 2 the polynomial p(λ) (A.8) has exactly one pair of imaginary roots. This means that any other roots which happen to be complex have nonzero real parts. It remains therefore to determine the conditions under which the polynomial
()
does not have zero roots. The necessary and sufficient condition for this is obviously that the constant term in (B.1) is nonzero:
()
which is equivalent to b5 ≠ 0 due to (A.8). This is not contained in conditions C1 and must be appended to C1(with θ = θ1).

In the case of conditions C2, if b3, b1 ≠ 0 then condition (B.2) is satisfied since b3b1b2 = 0 and . But if b3 = b1 = 0 then (B.2) is violated. Thus, it is necessary and sufficient to append to C2 the condition b3, b1 ≠ 0.

Finally, under conditions C3 condition (B.2) cannot be satisfied since b3b1b2 = 0 with b2 = θ, and therefore b3b1θ = 0, and p(λ) has zero roots as can be seen from (A.15). This completes the proof of Theorem 3.

C. Proof of Theorem 4

The remaining roots of p(λ) are the roots of the cubic polynomial (A.7):
()
For this polynomial to have all its roots with negative real parts, it is necessary and sufficient that all primary diagonal determinants of the matrix
()
be positive (Routh-Hurwitz conditions for stable roots, cf. [8, pages 221-222]). These determinants are found to be
()
and this leads to conditions
()
In the case of C2 we have b1b2b3 = 0 and these conditions are violated. But these conditions are compatible to C1, and therefore it is necessary and sufficient to append (C.4) to conditions C1, leading to conditions (E). This completes the proof of Theorem 4.

Remark 6. Note that under conditions C1 conditions (C.4) imply that all coefficients of the original polynomial

()
are positive. Indeed, we have θ = (b5b1b4)/(b3b1b2) > 0, and
()
Further, since θ > 0, b4 = θ(b2θ) > 0, the coefficient of the first power of λ in g(λ) is also positive: b2θ > 0. Thus all coefficients of (C.1) are positive.

Also, it can be verified that our conditions (E), which can be written in the compact form
  • (E):

    ()

are equivalent to the corresponding well-known Liu coefficient conditions (cf. [4]) for simple Hopf bifurcations, which in the present case of the quintic characteristic polynomial (A.1) can be written as
()

D. Proof of Theorem 5

Hopf bifurcations occur under conditions (D1) or (D2), and in particular simple Hopf bifurcations occur under conditions (E), provided that condition (III) of Theorem 1 (the transversality condition) is also satisfied.

From the well-known Vieta formulas, giving the coefficients of the polynomial
()
from its roots, it follows that the function Φ(ε) of conditions (C1) can be expressed in the form of Orlando’s formula:
()
Assume that the two roots λ1,2 are
()
while Re(λ3,4,5(εc)) ≠ 0. Then we have
()
and Φ(εc) = 0. Differentiating with respect to ε and putting ε = εc we now obtain
()
Under conditions (E) the roots λ3, λ4, λ5 have negative real parts at ε = εc and only the last factor in (D.5) may possibly be zero; therefore
()
Suppose now that not all three roots λ3, λ4, λ5 have negative real parts at ε = εc. Then conditions (D1) or conditions (D2) apply. Suppose further without loss of generality that λ4(εc) + λ5(εc) = 0. Then at ε = εc we have
()
Since the last of (D.7) violates conditions (D1), it follows that none of the factors (λ3 + λ4), (λ4 + λ5), (λ4 + λ5) may be zero under conditions (D1), and therefore (D.6) holds true under conditions (D1).
We now consider the remaining possible case of Hopf bifurcation, namely (D2). From the Vieta formulas for the characteristic polynomial (D.1) we obtain
()
Due to the relations b3(εc) = b1(εc)b2(εc),  b5(εc) = b1(εc)b4(εc),  b4(εc) < 0, and , of conditions (D2), at ε = εc the characteristic polynomial takes the form
()
with roots given by
()
Differentiating now relations (D.8) with respect to ε, putting ε = εc, and solving the resulting system of equations for the derivatives of A, B, λ3, λ4, λ5, using also relations
()
yields
()
which proves that under conditions (D2) we have
()
Finally, due to the value of θ2, given by the first of (A.12), the last condition can be written in the form
()
This completes the proof of Theorem 5.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.