Nonstationary Fronts in the Singularly Perturbed Power-Society Model
Abstract
The theory of contrasting structures in singularly perturbed boundary problems for nonlinear parabolic partial differential equations is applied to the research of formation of steady state distributions of power within the nonlinear “power-society” model. The interpretations of the solutions to the equation are presented in terms of applied model. The possibility theorem for the problem of getting the solution having some preassigned properties by means of parametric control is proved.
1. Introduction
Since the work [1], the theory of contrasting structures has become one of the most booming areas of research of the singularly perturbed differential equations [2–4].
The contrasting structures having the form of nonstationary fronts for parabolic partial differential equations were studied in [5]. The theory was applied to propagation of magnetic fronts in spiral galaxies [6–8]. Here we consider the nonstationary fronts in the Mikhailov “power-society” model [9–12] and the possibility to control them.
- (1)
The function F(p, x) has continuous partial derivatives for 0 ≤ x ≤ 1 and p ∈ (−∞, +∞).
- (2)
The degenerate equation F(p, x) = 0 has three roots p = φ1(x), p = φ2(x), and p = φ3(x) such that φ1(x) < φ2(x) < φ3(x), 0 ≤ x ≤ 1.
- (3)
The following inequalities
() -
take place.
- (4)
The equation
() -
has isolated root x = x0 on the interval 0 < x < 1.
There is an important problem of correspondence between a set of initial functions and a set of steady stationary solutions: given initial function p0(x), what steady-state solution will we have at t → +∞? And there is the inverse problem: if one of the steady states is more desirable than others, which conditions on p0(x) guarantee approach to this desirable steady state?
At last, when studying mathematical models of particular processes there is the following question which arises: if the existing p0(x) does not correspond to the desirably steady state, is it possible to change the right-hand part of (1) so that the solution would evolve to the desirable steady state?
This work is aimed at considering these problems for the “power-society” model which describes the dynamics of the power distribution in a hierarchy.
We base our study on the theory of contrasting structures [2–5], especially on the Butuzov-Nedelko theorem [13]. Some other issues related to nonstationary fronts were studied in [14–16].
2. Nonstationary Fronts and Interpretation in the Nonlinear Singularly Perturbed “Power-Society” Model
This section deals with mathematical modeling of the processes of power dynamics in the hierarchical structures. The model was firstly introduced by Mikhailov, 1994, and the books by Samarskii and Mikhailov 1997 and Mikhailov 2005 should also be mentioned.
Here the hierarchy is a ranked set of instances. Each instance has a particular set of powers. The amount of powers changes with time, and we call such variability the power dynamics. We suppose that there exists a numerical variable which specifies the amount of powers of a particular instance. The power dynamics appear through (a) the self-streamlining of the hierarchy and (b) the influence of the society.
Let us denote the rank of the instance in the hierarchy by x so that x = 0 at the top of the hierarchy and x = 1 at the bottom. Denote by p(x, t) the amount of powers of instance at time t.
The equation of the “power-society” model [1, 2] has the form (1), and F(p, x) is called the reaction of a civil society. The paper [1] has shown that if F(p, x) = −k1(p − p0(x)) (where k1 = const > 0 and the function p0(x) is the attractive power profile), then the solution p = p0(x) of the stationary degenerated equation F(p, x) = 0 is stable. This means that the solution p(x, t, ɛ) of (1) tends to p0(x) when t → +∞, 0 < x < 1. So for sufficiently large values of t the power profile is close to p0(x).
It was very important in the paper [1] that only one attractive profile is supposed to exist. Here we consider the case of two stable power profiles φ1(x) and φ3(x), and each of them is attractive. We call φ1(x) the participatory profile and φ3(x) the iron-hand profile. Both of them are stable due to inequalities (3).
Condition 1. The functions k1(x), φi(x), i = 1,2, 3, have the continuous derivatives for 0 ≤ x ≤ 1.
Condition 2. Inequalities k1(x) > 0, φ1(x) < φ2(x) < φ3(x) hold true for 0 ≤ x ≤ 1.
We also notice that though φ1(x) > 0 because of the politological meaning of the function φi(x), this condition must not be required from the mathematical point of view.
The stability of contrast structures of (9) was investigated by Bozhevol’nov and Nefëdov [5] and Vasil’eva et al. [6]. In terms of the “power-society” model the stability result can be interpreted as follows.
SCPP, which are close to the iron-hand profile at the top ranks of the hierarchy (p ≈ φ3(x) when 0 ≤ x < x0) and to the participatory profile at the bottom ranks (p ≈ φ1(x) when x0 < x ≤ 1), are stable if the iron-hand domain′s width is greater than the participatory domain′s width at the top ranks of the hierarchy (h3(x) > h1(x) when 0 ≤ x < x0) and less at the bottom ranks (h3(x) < h1(x) when x0 < x ≤ 1). If h3(x) < h1(x) when 0 ≤ x < x0 and h3(x) > h1(x) when x0 < x ≤ 1 then the SCPP is unstable.
Remark 1. Similar statement holds for the so-called confederative SCPP which are close to the participatory profile at the top ranks of the hierarchy and to the iron-hand profile at the bottom ranks (p ≈ φ1(x) when 0 ≤ x < x0 and p ≈ φ3(x) when x0 < x ≤ 1). They are stable if h3(x) < h1(x) when 0 ≤ x < x0 and h3(x) > h1(x) when x0 < x ≤ 1 and unstable if h3(x) > h1(x) when 0 ≤ x < x0 and h3(x) < h1(x) when x0 < x ≤ 1.
Consider again nonstationary equation (9). Suppose that at time t = t0 contrasting structure has appeared with the transition layer at the vicinity of the point x = ξ. Then for t > t0 the solution is a nonstationary contrast structure: p ≈ φ3(x) when x < R(t, ɛ) and p ≈ φ1(x) when x > R(t, ɛ), where the transition point R(t, ɛ) depends on time. We call such power profile the nonstationary contrast power profile (NCPP).
Let us construct the asymptotic NCPP.
2.1. Attraction to the “Iron-Hand” Profile (1)
Let the “iron-hand” domain’s width be larger than participatory domain′s width: h3(x) > h1(x) for any x ∈ [0,1]. This means that the iron-hand profile looks more attractive from the society′s point of view. Then SCPP do not exist because (24) has no roots. After appearing at time t0 the contrast structure begins to move according to formula (29). Evidently dR/dt > 0, and after small time of order ɛ−1 transition point R(t, ɛ) comes to the right end of the segment [0,1]. So the power profile appears close to the iron-hand profile for any x ∈ [0,1]. Notice that if at time t = 0 function p(x, 0, ɛ) is entirely in the participatory domain then for any t the power profile is close to the participatory profile even if h3(x) > h1(x). For appearing the power profile close to the iron-hand profile function p(x, 0, ɛ) must be located in the iron-hand domain on at least one point in the interval (0,1). This statement is based on the theorem proved by Bozhevol’nov and Nefedov [5].
2.2. Attraction to the “Iron-Hand” Profile (2)
Let point x0 ∈ (0,1) exist such that h1(x0) = h3(x0), h1(x) > h3(x) when x < x0 and h1(x) < h3(x) when x > x0. Then unstable SCPP exist having transition layer in the vicinity of the point x0. Let function p(x, 0, ɛ) be in the iron-hand domain for x < ξ and in the participatory domain for x > ξ where x0 < ξ < 1. Then the power profile p(x, t, ɛ) is attracted to the iron-hand profile for x < ξ and to the participatory profile for x > ξ. After appearing at time t0 the contrast structure begins to move according to formula (29) and initial condition R(0, ɛ) = ξ. As ξ > x0 then dR/dt > 0. So after small time of order ɛ−1 transition point R(t, ɛ) comes to the right end of the segment [0,1]. So the power profile appears close to the iron-hand profile for any x ∈ [0,1].
2.3. Attraction to the Participatory Profile (1)
Let h3(x) < h1(x) for any x ∈ [0,1]. This means that the participatory profile looks more attractive from the society′s point of view. Then SCPP do not exist because (24) has no roots. After appearing at time t0 the contrast structure begins to move according to formula (29). Evidently dR/dt < 0 and after small time of order ɛ−1 transition point R(t, ɛ) comes to the left end of the segment [0,1]. So the power profile appears close to the participatory profile for any x ∈ [0,1]. Notice that if at time t = 0 function p(x, 0, ɛ) is entirely in the iron-hand domain then for any t the power profile is close to the iron-hand profile even if h3(x) > h1(x). For appearing the power profile close to the participatory profile function p(x, 0, ɛ) must be smooth and located in the participatory domain on at least one point in the interval (0,1). This statement is based on the theorem proved by Bozhevol’nov and Nefedov [5].
2.4. Attraction to the Participatory Profile (2)
Let point x0 ∈ (0,1) exist such that h1(x0) = h3(x0), h1(x) > h3(x) when x < x0 and h1(x) < h3(x) when x > x0. Then unstable SCPP exist having transition layer in the vicinity of the point x0. Let function p(x, 0, ɛ) be in the iron-hand domain for x < ξ and in the participatory domain for x > ξ where x0 < ξ < 1. Then according to (3) power profile p(x, t, ɛ) is attracted to the iron-hand profile for x < ξ and to the participatory profile for x > ξ. After appearing at time t0 the contrast structure begins to move according to formula (26) and initial condition R(0, ɛ) = ξ. As ξ < x0 then dR/dt < 0. So after small time of order ɛ−1 transition point R(t, ɛ) comes to the left end of the segment [0,1]. So the power profile appears close to the participatory profile.
2.5. Attraction to SCPP
Let point x0 ∈ (0,1) exist such that h1(x0) = h3(x0), h1(x) < h3(x) when x < x0 and h1(x) > h3(x) if x > x0. Then the stable SCPP exist having transition layer in the vicinity of the point x0. If there is ξ ∈ (0,1) such that the initial function p0(x) satisfies p0(x) > φ2(x), 0 < x < ξ, and p0(x) < φ2(x), ξ < x < 1, then the contrasting structure appears after a short time t0 such that p(x) ≈ φ3(x) for 0 < x < ξ and p(x) ≈ φ1(x) for ξ < x < 1. Then the contrasting structure begins to move according to formula (29) and initial condition R(t0, ɛ) = ξ. So if ξ < x0 then dR/dt > 0 and if ξ > x0 then dR/dt < 0. So when t → ∞, the transition point R(t, ɛ) tends to the stationary transition point x0. Thus the SCPP having transition layer in the vicinity of point x0 appears.
3. Parametric Optimization
The total amount of power of the hierarchy is . It was shown in [19] that there exists the optimal value P0 of the total power which provides a maximum of steady-state consumption per capita (in frame of the “power-society-economics” model [19]). So we should introduce the control parameter into the “power-society” model to make it controllable. So the problem would be to find the value of the control parameter under which , when t → ∞, ɛ → 0.
Generally speaking, the model could be formulated such that the control is considered to be a function of time or x. In any case, the control describes the exogenous impact on the political system, such as a political pressure through media and political institutions. We restrict ourselves to the parametric control.
Definition 2. The value P0 is called the asymptotically achievable amount of the total power if there exists an admissible value of control parameter u such that the steady-state total power Pu(ɛ) satisfies Pu(ɛ) → P0 when t → ∞, ɛ → 0.
Let us stress here that the control influences the relation between the width of the iron-hand domain and the width of the participatory domain.
Let the following conditions be fulfilled.
Condition 3. We have −1 ≤ u ≤ 1.
Condition 4. We have φ1(x) < φ2(x) − γ < φ2(x) + γ < φ3(x) for 0 ≤ x ≤ 1.
Condition 5. We have H′(x) < 0 for 0 ≤ x ≤ 1, and here H(x) = φ1(x) + φ3(x) − 2φ2(x).
Conditions 3 and 4 introduce the normalization of the control such that for any admissible control u ∈ [−1; 1] the root φ2(x) + γu is between the φ1(x) and φ3(x). The steady-state solution has no more than one transition point due to Condition 5.
If the control parameter u is increased, the root of the equation φ1(x) + φ3(x) − 2(φ2(x) + γu) = 0 will move to the left. This means greater support to the participation ideas. If it exists. Analogically, the less the value of u is, the more to the right the root of this equation is.
Consider the following problem. Let the desirable (optimal) value of total power be P0. Is there a value of control parameter u, under which the steady-state solution (33) is such that when ɛ → 0?
From the practical point of view, such a formulation of the problem can be justified in the following way. We know from the “power-society-economics” model that the optimal value of the total power is some P0, so we should try to tune the political system to provide this optimal value of power for the steady-state regime.
Several cases should be distinguished.
The points x = a and x = b are the main asymptotic terms for the boundaries of the range within which the transition point of the stationary front is located.
So, if both (34) and (35) have roots in the interval (0; 1) then the set of asymptotically achievable values comprises the closed interval (38) and two isolated values (39): one of them is to the left of this closed interval, and the other one is to the right of it.
Now let us consider the situation in which (34) has a root x = a ∈ (0; 1) and (35) has no roots on (0; 1).
It can be easily shown (see [2], e.g.) that in subcases (42) and (43) a steady-state front does not exist for any control parameter. So only the values of P0 given by (39) are asymptotically achievable.
The above speculations can be summarized as follows.
Theorem 3. Consider the problem (32) and (33) with parametric control. Let the following conditions be satisfied:
- (1)
k1(x), φ1(x), φ2(x), φ3(x) ∈ C1[0,1],
- (2)
−1 ≤ u ≤ 1,
- (3)
φ1(x) < φ2(x) − γ < φ2(x) + γ < φ3(x),
- (4)
H′(x) < 0, where H(x) = φ1(x) + φ3(x) − 2φ2(x).
After the provided analysis of a steady-state problem (32) and (33), we go back to the initial parabolic partial problem (31) and (32).
Let some value P0 be asymptotically achievable in the corresponding stationary problem. It means that there is a value of parametric control u, at which the problem (31), (32) has the steady-state solution for which the total power Pu(ɛ) of the hierarchy asymptotically tends to P0 when ɛ → 0. However for the we have just for some class of initial functions p0(x).
Thus, there is a problem to determine the class of initial power distributions for which, under the found value parametric control, the solution of the parabolic partial problem converges to the proper steady-state solution at t → ∞.
The answer is given by the following theorem.
Theorem 4. (1) Let all the conditions of Theorem 3 be satisfied;
(2) let P0 be an asymptotically achievable value of total power (denote by u = u0 the corresponding value of parametric control);
(3) let the point x0 ∈ (0; 1) exist such that
(4) let the points x1 ∈ (0; x0), x2 ∈ (x0; 1) exist such that
Proof. It is easy to see that under these conditions the Butuzov-Nedelko theorem is fulfilled [13]. Therefore, at the chosen value of control u = u0, the solution of the problem (31) and (32) has a passage to the limit
4. Conclusion
It is shown that the theory of contrasting structures in singularly perturbed boundary value problems allows for investigating the properties of nonstationary fronts in the singularly perturbed “power-society” model. Depending on the initial condition, these fronts evolve to one of the asymptotically stable steady-state distributions of power within a government hierarchy.
There are some reasons to introduce a concept of desirable steady-state total amount of power of the hierarchy. The possibility theorem is proved for the problem of getting this amount by means of parametric control. The results can be used in investigating governing hierarchical systems.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
This paper was partially supported by Russian Foundation for Basic Research (project 12-06-00205).