Next Article in Journal / Special Issue
A Simple Spectral Observer
Previous Article in Journal / Special Issue
Optimal Control Analysis of a Mathematical Model for Breast Cancer
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solution of Optimal Harvesting Problem by Finite Difference Approximations of Size-Structured Population Model

1
Faculty of Sciences, University of Oulu, FI-90014 Oulu, Finland
2
Natural Resources Institute Finland (Luke) Oulu, FI-90014 Oulu, Finland
3
Institute of Computational Mathematics & Information Technology, Kazan Federal University, 420008 Kazan, Russia
*
Author to whom correspondence should be addressed.
Math. Comput. Appl. 2018, 23(2), 22; https://doi.org/10.3390/mca23020022
Submission received: 11 April 2018 / Revised: 23 April 2018 / Accepted: 24 April 2018 / Published: 26 April 2018
(This article belongs to the Special Issue Optimization in Control Applications)

Abstract

:
We solve numerically a forest management optimization problem governed by a nonlinear partial differential equation (PDE), which is a size-structured population model. The formulated problem is supplemented with a natural constraint for a solution to be non-negative. PDE is approximated by an explicit or implicit in time finite difference scheme, whereas the cost function is taken from the very beginning in the finite-dimensional form used in practice. We prove the stability of the constructed nonlinear finite difference schemes on the set of non-negative vectors and the solvability of the formulated discrete optimal control problems. The gradient information is derived by constructing discrete adjoint state equations. The projected gradient method is used for finding the extremal points. The results of numerical testing for several real problems show good agreement with the known results and confirm the theoretical statements.

1. Introduction

The well-posedness of the continuous size-structured model has been studied in several papers (e.g., [1,2,3,4]). In Ref. [1], authors proved the local existence and uniqueness of a solution of the continuous model, where birth and mortality functions depend on total population. In Ref. [2], the authors established the local existence and uniqueness of a solution of the size-structured nonlinear population model, where also growth rate depends on total population. In the papers [3,4], the authors proved global existence and uniqueness of a solution of the continuous nonlinear population model, where all vital rates depend on total population. The total population can be described by e.g., total number of individuals (e.g., [3]), total biomass (e.g., [5]) or basal area.
A continuous nonlinear size-structured population model has been used in a forest management optimization problem (e.g., [6,7,8]). In a continuous formulation, this nonlinear optimization problem cannot be solved by analytic methods. A natural approach is to solve this problem by approximating a continuous model by a discrete one and further solving a discrete optimization problem by iterative algorithms. In this paper, we focus on development of finite difference schemes to approximate the solution of a continuous nonlinear population model. Efficient schemes are essential for solving optimal control problems or parameter estimation problems as such problems require solving the model numerous times before an optimal solution is obtained.
When continuous population model is approximated by a finite difference scheme, it becomes a matrix population model [9]. In matrix models, trees are divided into classes with respect to their size—for instance, diameter. The matrix describes how the class division changes at one time step. Matrix population models have also been used for forest management optimizations (e.g., [10,11]).
In optimization, using iterative algorithms is inevitable. Higher-order algorithms are usually sensitive to the regularity of the solution, and, therefore, they usually yield a convergence rate of first order as soon as the compatibility conditions are not satisfied. Moreover, in practice, the vital rates are determined on a statistical basis and the compatibility conditions required for high-order convergence are hardly valid with real-life data. These suggest that, in most cases, a first-order method should be the most adequate. Hence, it is desirable to have a robust scheme that can produce many useful qualitative and quantitative properties of the solutions of the differential problem but requires minimum regularity of the solution [12]. Unfortunately, one could not derive the explicit formula for the optimal strategy since the strategy, the state and the costate are coupled into a complex system. The results at this stage may be regarded as a middle step to real world applications and serve as a starting point for numerical computations [13].
In our knowledge, the comprehensive theoretical investigation of the forest management optimization problem with a continuous nonlinear population model as the state equation is still lacking, and, in that sense, the problem is an open problem. Hence, in this work, the investigation of the problem in its differential form is omitted, whereas, we consider the finite dimensional counterpart of the problem constructed by finite difference approximations of the state problem and taking for cost function a finite dimensional form used in practice. We prove the stability of constructed finite difference schemes on the set of non-negative solutions and solvability of the optimization problem, and deduce the necessary gradient information for iterative solution methods. We solve several applied problems, where different approximations schemes are used, and compare the computed results. The rest of the article is organized as follows. In Section 2, a mathematical model of optimal harvesting problem for the size-structured forest is formulated. In Section 3, we construct and investigate two finite difference approximation schemes for a nonlinear boundary value problem that simulates the growth and the harvesting of a forest. A gradient method for minimizing the cost function is constructed in Section 4. The theoretical details of this method are set out in the Appendix A to the article. Section 5 is devoted to the numerical solution of a real-life problem and comparative analysis of the computing results. Finally, in Section 6, we present discussions.

2. Formulation of the Optimal Control Problem

In order to formulate the mathematical model for the optimal harvesting problem for the size-structured forest, we define the following notations. In space, we denote by x Ω : = ( L 0 , L ] the thickness of the tree, where L 0 and L are the lower and upper bounds of the space domain, respectively. Moreover, t ( 0 , T ] is the time, where T is the upper limit. By Q, we denote the product space Ω × ( 0 , T ] . We denote by y ( x , t ) and h ( x , t ) the number of trees per unit area (state) and the number of removed trees per unit area (control), respectively. Now, the optimal harvesting problem where the cost functional J ( y , h ) characterizes a net present value (NPV) of ongoing rotation, and d ( x , t ) is the discounted price function, is formulated as follows:
max ( y , h ) K J ( y , h ) : = Q d ( x , t ) h ( x , t ) .
Above K = Y a d × H a d is the set of constraints for the state and the control, where
Y a d = { y | for   all   ( x , t ) Q : y ( x , t ) 0 ; y   is a solution for Equations (4)–(6) } ,
. H a d = { h | for   all   ( x , t ) Q : 0 h ( x , t ) h m a x , for   all   t ( 0 , T ] : Ω h ( x , t ) B or   Ω h ( x , t ) = 0 }
From the point of real-life problems, it is obvious that there exist constants h m a x > 0 and B, which denote the upper limit for harvesting and lower limit for making profitable thinning of trees at time event t; otherwise, the thinning is not done. Notice that harvesting h depends on the state y (via constraint sets), which is defined by the population model
y ( x , t ) t + ( g ( x , P ( t ) ) y ( x , t ) ) x + m ( x , P ( t ) ) y ( x , t ) + h ( x , t ) = 0 , in   Q ,
g ( 0 , P ( t ) ) y ( 0 , t ) = 0 , i n   ( 0 , T ] ,
y ( x , 0 ) = y 0 ( x ) , i n   Ω ,
where g ( x , P ( t ) ) is growth rate, m ( x , P ( t ) ) mortality rate and y 0 ( x ) 0 is initial diameter distribution of the trees. Growth and mortality rates depend on diameter x of a tree and on the basal area, P ( t ) , of the forest stand, where
P ( t ) = π 0 L x 2 2 y ( x , t ) d x .
In the case h = 0 , the problems (4)–(6) are a particular case of the problem that have been investigated in [1,2,3,4]. In these articles, the existence of a non-negative continuous solution of this problem has been proved under some "natural" assumptions for input data. They are:
  • g ( x , P ) is continuous and strictly positive for all x and P and continuously differentiable with respect to x;
  • m ( x , P ) is non-negative for x and P and integrable in x;
  • g ( x , P ) and m ( x , P ) are Lipschitzian with respect to P;
  • sup x , P m ( x , P ) < .
We also assume that these assumptions are satisfied. We use growth rate g and mortality m in a bilinear form
g ( x , P ( t ) ) = g 11 + g 12 x + ( g 21 + g 22 x ) P ( t ) , m ( x , P ( t ) ) = m 11 + m 12 x + m 13 x 2 + m 21 + m 22 x + m 23 x 2 P ( t ) ,
where the constants g i j and m i j are such that g ( x , P ) > 0 and m ( x , P ) 0 for all x Ω and P 0 . Obviously, because of suppositions g ( 0 , P ( t ) ) > 0 , the boundary condition (5) reads as y ( 0 , t ) = 0 .
The optimal harvesting problem has been investigated in [6,7,8]. The authors of these publications considered the case where the harvesting function has the form h ( x , t ) = c ( x , t ) y ( x , t ) , where c ( x , t ) is the control. Thus, they investigated a coefficient identification problem while we solve an optimal control problem with distributed (on the right-hand side) control.

3. Finite Difference Approximations

In this chapter, we derive explicit and (semi)implicit finite difference approximations for the state problems (4)–(6) and prove their stability estimates on non-negative solutions. The investigation of existence, uniqueness and convergence of approximations is beyond the scope of our article. For the size-structured population model with recruitment, the existence, uniqueness and convergence of explicit approximations is investigated in [14] and implicit approximation in [5,15].
The following notations are used throughout the paper: Δ t = T M and Δ x = L L 0 N denote the temporal and spatial mesh size, respectively. The non-overlapping mesh intervals are ( t k 1 , t k ] , k = 1 , , M , and ( x i 1 , x i ] , i = 1 , , N , where t 0 = 0 , t M = T , x 0 = L 0 , x N = L .
Let us denote by y i k and h i k the finite difference approximations of y ( x i , t k ) and h ( x i , t k ) , respectively. Moreover, we denote g i k : = g ( x i , P k ) and m i k : = m ( x i , P k ) the discrete values of the growth rate and mortality rate, respectively, in size class [ x i 1 , x i ] . The discretized value of the basal area at time t k is P k : = π i = 1 N ( x i 2 ) 2 y ( x i , t k ) .

3.1. Explicit Approximation of the State Equation

For all meshpoints i = 1 , , N ; k = 1 , , M , the explicit finite difference approximation of the size-structured population model (4)–(6) reads
y i k y i k 1 Δ t + g i k 1 y i k 1 g i 1 k 1 y i 1 k 1 Δ x + m i k 1 y i k 1 + h i k = 0 , y 0 k = 0 , y i 0 0 constant .
Note that we use so-called upwind approximation for the first order derivative in space (variable x) using the positivity of coefficient g ( x , P ) on the set of non-negative mesh functions y. The explicit scheme (7) can be written in the form:
y i k 1 Δ t Δ x g i k 1 Δ t m i k 1 y i k 1 Δ t Δ x g i 1 k 1 y i 1 k 1 + Δ t h i k = 0 .
Later on, we denote by a i k = 1 Δ t Δ x g i k Δ t m i k , a n d , b i k = Δ t Δ x g i k . Moreover, we denote by y k : = ( y 1 k , , y N k ) , h k : = ( h i k , , h N k ) the vectors of the nodal values and by
A k = a 1 k 0 0 0 0 b 1 k a 2 k 0 0 0 0 b 2 k a 3 k 0 0 0 0 0 b N 1 k a N k
the matrix of coefficients. Now, we can write explicit difference scheme (7) in the following algebraic form:
y k A k 1 y k 1 + Δ t h k = 0 , k = 1 , , M .
Note that this scheme is just the forest growth model studied in [11]. Moreover, the numerical calculation of the next temporal state involves only matrix to vector calculations. The drawback of the explicit scheme is that the following stability condition (9) must be satisfied.
Lemma 1.
Let the condition
Δ x Δ t sup x , t g ( x , P ( t ) )
be satisfied. Then, on the set of non-negative mesh functions y, the finite difference scheme (7) is stable
max k y k 1 C ( T ) ( y 0 1 + k = 1 M Δ t h k 1 ) ,
where v 1 = i = 1 N | v i | .
Proof. 
On the non-negative mesh functions y, the coefficients g i ( P ) are positive and m i ( P ) 0 . For the mesh steps satisfying condition (9), the diagonal entries of matrix A k satisfy the inequality
| a i k | 1 Δ t Δ x g i ( P k ) + Δ t m i ( P k ) .
Because of this inequality, we have the following estimate for . 1 -norm of matrices, connected with . 1 -norm of vectors:
A k 1 = i = 1 N ( | a i k | + | b i k | ) 1 + C m Δ t
with C m = sup x , t m ( x , P ( t ) ) . Due to this estimate and condition (9), we obtain from Equation (8) the inequality
y k 1 ( 1 + C m Δ t ) y k 1 1 + Δ t h k 1 f o r a l l k = 1 , 2 , , M ,
whence stability estimate (10) follows. ☐
The condition (9) means that the length of the time step Δ t and width of the size class Δ x have to be chosen so that a tree cannot grow over one size class during one time step Δ t (compare with [16]).

3.2. Implicit Approximation of the State Equation

For all meshpoints i = 1 , , N ; k = 1 , , M , the implicit finite difference approximation of the models (4)–(6) is the following linearized problem, with nonlinear coefficients calculated on the previous time level:
y i k y i k 1 Δ t + g i k 1 y i k g i 1 k 1 y i 1 k Δ x + m i k 1 y i k + h i k = 0 , y 0 k = 0 , y i 0 0 constant .
Equation (11) can be rewritten as
1 + Δ t Δ x g i k 1 + Δ t m i k 1 y i k Δ t Δ x g i 1 k 1 y i 1 k y i k 1 + Δ t h i k = 0 , for   all   i = 1 , , N , k = 1 , , M .
Using the notations a i k = 1 + Δ t Δ x g i k + Δ t m i k   and   b i k = Δ t Δ x g i k , we rewrite Equation (11) in a form of linear algebraic equations
B k 1 y k y k 1 + Δ t h k = 0 , k = 1 , , M ,
where
B k : = a 1 k 0 0 0 0 b 1 k a 2 k 0 0 0 0 b 2 k a 3 k 0 0 0 0 0 b N 1 k a N k
is a matrix of nonlinear coefficients.
Lemma 2.
Finite difference scheme (11) is unconditionally stable on the set of non-negative mesh functions y: for any Δ t and Δ x the following stability estimate holds:
max k y k 1 y 0 1 + k = 1 M Δ t h k 1 .
Proof. 
By direct calculations, we obtain from Equation (12) the equality
i = 1 N a i k y i k + i = 1 N 1 b i k y i k i = 1 N y i k 1 + Δ t i = 1 N h i k = 0 .
Since a i k + b i k 1 and a N k 1 , then, from this equality, we get
i = 1 N y i k i = 1 N y i k 1 + Δ t i = 1 N | h i k | .
Because of positivity of vectors y k and y k 1 , the last inequality can be written in the form
y k 1 y k 1 1 + Δ t h k 1 k ,
whence stability estimate (13) follows. ☐
Notice, contrary to the explicit scheme the time step Δ t and class width Δ x has no mutual dependence, hence the growth of a tree during a time step is not restricted less than one size class. This characteristic of the implicit scheme is useful in the optimal harvesting problem, covered by the models (4)–(6) or parameter identification problem because such problems require solving the model many times before an optimal solution is obtained.

3.3. Approximation of the Optimal Control Problem

We denote d i k : = d ( x i , t k ) the discounted price for size class ( x i 1 , x i ] at time t k , and d k = ( d 1 k , , d N k ) . Moreover, ( u , v ) : = 1 N u i v i is the vector product of vectors u , v R N . Approximating the cost function (1) by the right-hand Riemann sum, we get the following approximation for the harvesting problem:
max ( y , h ) K J ¯ ( y , h ) : = k = 1 M ( d k , h k ) = k = 1 M i = 1 N d i k h i k .
Above, we denote by K = Y a d × H a d , where
Y a d = { ( y , h ) | y 0 , y is a solution for Equations (7) or (11) } ,
H a d = { h | 0 h k h max , h k 1 B or h k = 0 , k = 1 , , M } .
Moreover, y = ( y 1 , , y M ) and h = ( h 1 , , h M ) .
The following propositions show that the discrete optimal harvesting problem (14) has at least one solution in both cases, i.e., if models (4)–(6) is approximated explicitly or implicitly.
Proposition 1.
Let the mesh steps Δ t and Δ x satisfy the inequality
1 Δ t Δ x sup x , t g ( x , P ( t ) ) Δ t sup x , t m ( x , P ( t ) ) 0 .
Then, Problem (14) has at least one solution if y satisfies Equation (7).
Proof. 
The set K is non-empty. In fact, due to assumption (17), the solution y of finite difference scheme (7) with y 0 0 is non-negative if h = 0 . This statement can be easily verified using form (8) of the difference scheme and noting that all entries a i k and b i k of the matrices A k are non-negative.
Obviously, assumption (9) follows from inequality (17), so stability estimate (10) holds. Since vector h K is bounded, then, due to inequality (10), there exists a constant Y such that y 1 Y , i.e., the set K is bounded. It is closed because of the continuity of functions g ( P ) and m ( P ) with respect to P , while P is obviously continuous with respect to y . Thus, K is compact. At last, cost function J ¯ of Problem (14) is continuous, whence the existence of a solution to Problem (14) follows from Weierstrass’s theorem. ☐
Proposition 2.
Problem (14) has at least one solution if y satisfies Equation (11).
Proof. 
Proof is very similar to the proof of Proposition 1. Namely, the set K is non-empty because, for h = 0 , the solution y of finite difference scheme (11) is non-negative for all Δ x and Δ t . Since h is bounded, then, due to stability estimate (13), y is also bounded, so the set K is bounded. It is closed because of the continuity of functions g ( P ) and m ( P ) with respect to P , and continuity of P with respect to y . Thus, K is compact. At last, cost function J ¯ of Problem (14) is continuous, whence the existence of a solution to Problem (14) follows.
Remark 1.
Since neither the function J ¯ is strictly concave nor the set K is strictly convex, the optimization problem can have a non-unique solution.

4. Realization of the Optimal Strategies

In this section, a first order method to approximate the optimal harvesting problem (14) is constructed. In real-life applications, the growth rate g and mortality rate m are determined on a statistical basis and the compatibility conditions required for high-order methods can be hardly validated. Hence, a first order method, which is desirable to have a robust scheme but requires minimum regularity of the solution should be the most adequate. The first order methods require computing of the Fréchet derivatives (Jacobian matrix), which can be computationally expensive. However, when we consider the nonlinear optimization problem, only the gradient of the object function is needed, and the gradient can be computed without the Fréchet derivatives. In this work, the adjoint approach developed in the 1970s in [17] is applied for calculation of the functional gradient. The adjoint method has a great advantage against the direct method because only one linear state problem, so called adjoint state, need to be solved for obtaining the gradient information. Today, it is a well-known method for computing the gradient of a functional with respect to model parameters when this functional depends on those model parameters trough state variables, which are solutions of the state problem. However, this method is less well understood in the control of population models, and, as far as we know, no applications to distributed optimal control of harvesting is presented in literature. Duality and adjoint equations are essential tools in studying existence of the optimal pair ( y , h ) , and, for a periodic age-dependent harvesting problem and for age-spatial structured harvesting problem, it is applied for proving the existence of the bang-bang control in [18] and in [19,20], respectively. For continuous size-structured harvesting, problem duality and adjoint equations are applied for proving the existence of the bang-bang control in [6,8].
In this work, we apply the Lagrange method and give a recipe to systematically define the adjoint state equations and gradient information. We formulate the Lagrangian of the problem (14) with respect to the state constraint (15) only, and use the projection method regarding the control constraint (16). In the projection method, if solution goes outside the constraint set (16), it is projected back to there. Let us generalize and denote by A ( y , h ) = 0 the operator Equation (8) (or Equation (12)). Moreover, A k ( y , h ) = 0 is the operator equation at the time level k , k = 1 , , M .
Suppose the functional J ¯ and operator A to be differentiable in the sense that there exist the following partial derivatives:
J ¯ y δ y = lim t 0 J ¯ ( y + t δ y , h ) J ¯ ( y , h ) t , J ¯ h δ h = lim t 0 J ¯ ( y , h + t δ h ) J ¯ ( y , h ) t , A y δ y = lim t 0 A ( y + t δ y , h ) A ( y , h ) t , A h δ h = lim t 0 A ( y , h + t δ h ) A ( y , h ) t
for all vectors δ y and δ h (or at least for the vectors such that y , y + δ y Y a d and h , h + δ h H a d ). Note that for the fixed h and y , J ¯ y J ¯ y ( y , h ) and J ¯ h J ¯ h ( y , h ) are vectors while A y = A y ( y , h ) and A h = A h ( y , h ) are matrices. By A y * and A h * , we denote the corresponding transpose matrices.
Let us define Lagrange function, L , of the problem (14) by
L ( y , h , λ ) = J ¯ ( y ( h ) , h ) k = 1 M ( λ k , A k ( y , h ) ) ,
where λ k R N . Now, for all feasible pair ( y , h ) holds A ( y , h ) = 0 , and, for any λ , we have:
L ( y , h , λ ) = J ¯ ( y ( h ) , h ) ,
and, since λ does not depend on h , we have
J ¯ h = L ( y , h , λ ) y y h + L ( y , h , λ ) h .
Above, one method to approximate y h is to compute N finite differences over control variable h . However, each computation requires solving the equation A ( y , h ) = 0 , and, for large N, this method is computationally expensive. In the adjoint method, we can avoid to compute y h by solving the linear adjoint state equation only once.
The theory of constrained optimization, see [21], says that ( y , h ) is the optimal pair for the problem (14) if ( y , h , λ ) is a saddle point of L . The derivatives of L with respect to y , h and λ are:
L ( y , h , λ ) y = J ¯ ( y , h ) y A ( y , h ) y * λ , L ( y , h , λ ) h = J ¯ ( y , h ) h A ( y , h ) h * λ , L ( y , h , λ ) λ = A ( y , h ) .
Now, L ( y , h , λ ) λ = 0 gives the state equation, L ( y , h , λ ) y = 0 gives the adjoint state equation and J ¯ h = L ( y , h , λ ) h gives the gradient.
Now, the calculation of the gradient can be summarized by the following steps when the Lagrangian L ( y , h , λ ) = J ¯ ( y , h ) ( λ , A ( y , h ) ) is first formulated:
I
Solve the state equation A ( y , h ) = 0 ;
II
Solve the adjoint state equation
L ( y , h , λ ) y = J ¯ ( y , h ) y A ( y , h ) y * λ = 0 ;
III
Compute the gradient
J ¯ h = J ¯ ( y , h ) h A ( y , h ) h * λ .
Partial derivatives of J ¯ ( y , h ) and A ( y , h ) are presented in Appendix A. Gradient J ¯ h we used in projected gradient method [22], which we applied for iteration of a solution of the optimal harvesting problem.

5. Numerical Example

In this section, we study numerical examples of problem (14). We compared two cases where the state constraint (4) was approximated with explicit approximation (7) and implicit approximation (11). As the discounted price for size class ( x i 1 , x i ] at time t k , we used d i k = c p v i p + c s v i s ( 1 + r ) t k , where r is the interest rate, c p and c s are the prices of the pulpwood and sawlog, respectively, and v i p and v i s are the volumes of pulpwood and sawlog of a tree in size class ( x i 1 , x i ] , respectively. In the optimizations, we used the following values for parameters: price of pulpwood c p = 16.56 €m 3 and sawlog c s = 58.44 €m 3 , interest rate r = 3 % and lower bound for harvested trees B = 50 m 3 ha 1 . The pulpwood and sawlog volumes v i p and v i s we got from [10]. The optimization results of problem (14) are presented in Table 1 and Table 2, and in Figure 1 and Figure 2.
The results show that the maximum net present value (NPV) associated with the explicit approximation (7) was higher than the corresponding of the implicit approximation (Table 1). When class width or time step decreased, maximum NPV increased in both cases. The difference of maximum NPVs between the two cases decreased when class width or time step decreased. Only when time step decreased from three to two years, the difference of maximum NPVs increased. The difference was biggest (99 €) when time step Δ t = 5 years and class width Δ x = 3 cm and smallest (28 €) when time step Δ t = 3 years and class width Δ x = 2 cm.
With both approximations, three or four intermediate thinnings were made (Table 2). Number of thinnings increased when time step and class width decreased. When implicit approximation (11) was used, first thinnings were made 1–2 time steps earlier, while the last few thinnings were made 0–2 time steps later than when explicit approximation (7) was used. The thinning intensities were almost identical between the two approximations. If there was some difference, intensity was usually bigger when explicit approximation (7) was used (Table 2). The thinning pattern was in all optimal managements quite similar: in each thinning, more big trees than small ones were removed indicating a thinning from-above method (for different thinning types, see e.g., [23], pp. 727, 733). Thinning from above has proven to be the best thinning type in stand-level optimizations of even-aged boreal forests (e.g., [24]). When explicit approximation (7) was used, all trees from two or three of the biggest size classes were removed (Figure 1). On the other hand, when implicit approximation (11) was applied, only part of the trees from those size classes were removed (Figure 2).

6. Discussion

This study contributes to existing literature on forest management by providing a theoretically sound framework to solve nonlinear optimization problem of even-aged stands. We compared the results of forest management optimizations, when the explicit and implicit approximations of the forest growth model was used. The optimization results show that the differences of the results between approximations are diminutive. This was expected as solutions of both approximation equations are proved to converge to solutions of continuous equation [5,14].
In numerical examples, we used data from the Scots pine (Pinus sylvestris L.) stands that were located in Northern Ostrobothnia, Finland, on nutrient-poor soil type. The data was the same as in [11]. The difference is that, in [11], data was fitted directly to the matrix model, as, in this study, we first fitted data to the continuous model and then approximated it with a matrix model. In [11], the time step was five years and class width 3 cm. The results are in line with each other. Both methods gave four thinnings in optimal management and thinning from above dominated as the thinning type. In [11], the optimal net present value was slightly higher and, in the optimal management, the thinnings were made slightly earlier than in this study.
The optimal harvesting problem with a continuous size-structured population model was studied in [6,7,8]. In those papers, harvesting was defined as a proportion of removed trees. The maximum principle for the problem was proved in [6,8]. Moreover, in [7], the strong bang-bang principle under some additional (but realistic) conditions was proved. This means that the optimal solution has the structure, where all trees bigger than some certain size are removed. In our results, the solution of the optimization problem, where state constraint was approximated with explicit approximation, was nearer that structure. In addition, the optimization results were a little better then. However, when explicit approximation is used, the time step and class width have to be chosen so that a tree cannot grow over one size class during one time step [16]. We proved that only then is the explicit approximation scheme stable. For the implicit approximation scheme, we proved that it is unconditionally stable. Thus, in implicit approximation, the time step and class width can be chosen freely. In general, explicit approximation of the population model is more commonly used as a forest growth model [9,16].

Author Contributions

J.P. made the approximations and conducted the optimizations under supervision of E.L.; A.L. proved the theoretical results; J.P. and A.A. analyzed the numerical results; all authors contributed to the writing of the manuscript.

Acknowledgments

We want to acknowledge the Jenny and Antti Wihuri foundation for financial support.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

We used the adjoint method to solve the optimization problem (14). For that, we needed the partial derivatives of the Lagrangian
L ( y , h , λ ) = J ¯ ( y , h ) k = 1 M ( λ k , A k ( y , h ) ) ,
where J ¯ ( h ) = k = 1 M ( d k , h k ) is cost function of problem (14) and A k ( y , h ) is constraint (8) or (12).
First, we calculate the partial derivatives of the cost function J ¯ ( y , h ) . Since it depends only on h , obviously J ¯ y = 0 . The partial derivative of the cost function J ¯ with respect to h is
J ¯ ( h ) h = d .
Next, we calculate the partial derivatives of constraint function A ( y , h ) . In both forms of A (constraints (8) or (12)), the partial derivative with respect to h is A ( y , h ) h = Δ t .
Let us calculate the partial derivative of constraint function (8) (explicit approximation of the state Equation (4)) with respect to y
( λ , A ( y , h ) ) y = y k = 1 M ( λ k , y k A k 1 y k 1 + Δ t h k ) .
Let us denote
H k : = A k y k = a 1 k y 1 k a 2 k y 2 k + b 1 k y 1 k a N k y N k + b N 1 k y N 1 k .
Then, the partial derivative (A1) can be written in the form
( λ , A ( y , h ) ) y = y k = 1 M ( λ k , y k H k 1 ) .
By rearranging the terms and defining λ M + 1 = 0 , we get
( λ , A ( y , h ) ) y = y ( λ 1 , H 0 ) + k = 1 M ( ( λ k , y k ) ( λ k + 1 , H k ) ) .
Now, H 0 y = 0 by definition of y 0 and H k y = A k + H 1 k , k = 1 , , M 1 , where
H 1 k = a 11 k y 1 k a 1 N k y 1 k a 21 k y 2 k + b 11 k y 1 k + 1 a 2 N k y 2 k + b 1 N k y 1 k a N 1 k y N k + b N 1 , 1 k y N 1 k a N N k y N k + b N 1 , N k y N 1 k ,
and
a i j k = a i k y j k = Δ t Δ x ( g 21 + g 22 x i ) x j 2 2 π Δ t m 21 + m 22 x i + m 23 x i 2 x j 2 2 π ,
b i j k = b i k y j k = Δ t Δ x ( g 21 + g 22 x i ) x j 2 2 π .
Thus, we can define
( λ , A ( y , h ) ) y = ( w 1 , w 2 , , w M ) ,
where
w k = λ k ( ( A k ) * + ( H 1 k ) * ) λ k + 1 , k = 1 , , M 1 w M = λ M .
Then, we calculate the partial derivative of constraint (12) (implicit approximation of the state Equation (4)) with respect to y
( λ , A ( y , h ) ) y = y k = 1 M ( λ k , B k 1 y k y k 1 + Δ t h k ) .
Let us denote
G k = B k 1 y k = a 1 k 1 y 1 k a 2 k 1 y 2 k b 1 k 1 y 1 k a N k 1 y N k b N 1 k 1 y N 1 k .
Then, the partial derivative (A4) can be written in the form
( λ , A ( y , h ) ) y = y k = 1 M ( λ k , G k y k 1 ) .
Note that function G k depends on y k 1 and y k so the partial derivative G k y = G k y k 1 + G k y k . By definition of y 0 , derivative ( λ 1 , y 0 ) y = 0 and derivative ( λ 1 , G 1 ) y = ( λ 1 , G 1 ) y 1 . By rearranging the terms and defining λ M + 1 = 0 , we get
( λ , A ( y , h ) ) y = k = 1 M ( λ k , G k ) y k + ( λ k + 1 , G k + 1 y k ) y k .
Derivative G k y k = B k 1 and derivative
G k + 1 y k = a 11 k y 1 k + 1 a 1 N k y 1 k + 1 a 21 k y 2 k + 1 b 11 k y 1 k + 1 a 2 N k y 2 k + 1 b 1 N k y 1 k + 1 a N 1 k y N k + 1 b N 1 , 1 k y N 1 k + 1 a N N k y N k + 1 b N 1 , N k y N 1 k + 1 ,
where a i j k and b i j k are derivatives of coefficients a i k and b i k with respect to y j k defined in Equations (A2) and (A3), respectively. Thus, we can define
( λ , A ( y , h ) ) y = ( q 1 , q 2 , , q M ) ,
where
q k = ( B k 1 ) * λ k + G k + 1 y k * 1 N λ k + 1 , k = 1 , , M 1 , q M = ( B M 1 ) * λ M ,
and 1 N is N × N identity matrix.

References

  1. Kato, N.; Torikata, H. Local existence for a general model of size-dependent population dynamics. Abstr. Appl. Anal. 1997, 2, 207–226. [Google Scholar] [CrossRef]
  2. Kato, N. A general model of size-dependent population dynamics with nonlinear growth rate. J. Math. Anal. Appl. 2004, 297, 234–256. [Google Scholar] [CrossRef]
  3. Calsina, A.; Saldana, J. A model of physiologically structured population dynamics with a nonlinear individual growth rate. J. Math. Biol. 1995, 33, 335–364. [Google Scholar] [CrossRef]
  4. Calsina, A.; Saldana, J. Basic theory for a class of models of hierarchically structured population dynamics with distributed states in the recruitment. Math. Model. Meth. Appl. Sci. 2006, 16, 16951722. [Google Scholar] [CrossRef]
  5. Ackleh, A.S.; Deng, K.; Hu, S.A. Quasilinear Hierarchical Size-Structured Model: Well-Posedness and Approximation. Appl. Math. Optim. 2005, 51, 3559. [Google Scholar] [CrossRef]
  6. Hritonenko, N.; Yatsenko, Y.; Goetz, R.-U.; Xabadia, A. Maximum principle for size-structured model of forest and carbon sequestration management. Appl. Math. Lett. 2008, 21, 1090–1094. [Google Scholar] [CrossRef]
  7. Hritonenko, N.; Yatsenko, Y.; Goetz, R.-U.; Xabadia, A. A bang-bang regime in optimal harvesting of size-structured populations. Nonlinear Anal. Theory Methods Appl. 2009, 71, e2331–e2336. [Google Scholar] [CrossRef]
  8. Hritonenko, N.; Yatsenko, Y.; Goetz, R.-U.; Xabadia, A. Optimal harvesting in forestry: Steady-state analysis and climate change impact. J. Biol. Dyn. 2013, 7, 41–58. [Google Scholar] [CrossRef] [PubMed]
  9. Liang, J.; Picard, N. Matrix model of Forest Dynamics: An Overview and Outlook. For. Sci. 2013, 59, 359–378. [Google Scholar] [CrossRef]
  10. Rämö, J.; Tahvonen, O. Economics of harvesting uneven-aged forest stands in Fennoscandia. Scand. J. For. Res. 2014, 29, 777–792. [Google Scholar] [CrossRef]
  11. Pyy, J.; Ahtikoski, A.; Laitinen, E.; Siipilehto, J. Introducing a non-stationary matrix model for stand-level optimization, an even aged Pine (Pinus sylvestris L.) stand in Finland. Forests 2017, 8, 163. [Google Scholar] [CrossRef]
  12. Anita, S.; Ianneli, M.; Kim, M.-Y.; Park, E.-J. Optimal harvesting for periodic age-dependent population dynamics. SIAM J. Appl. Math. 1998, 58, 1648–1666. [Google Scholar]
  13. Xie, Q.; He, Z.-R.; Wang, X. Optimal harvesting in diffusive population models with size random growth and distributed recruitment. Electron. J. Differ. Eq. 2016, 214, 1–13. [Google Scholar]
  14. Ackleh, A.S.; Farkas, J.Z.; Li, X.; Ma, B. Finite difference approximations for a size-structured population model with distributed states in the recruitment. J. Biol. Dyn. 2015, 9, 2–31. [Google Scholar] [CrossRef] [PubMed]
  15. Ackleh, A.S.; Ito, K. An implicit finite difference scheme for the nonlinear size-structured population model. Numer. Func. Anal. Opt. 1997, 18, 865–884. [Google Scholar] [CrossRef]
  16. Picard, N.; Liang, J. Matrix models for size structured populations: Unrealistic fast growth or simply diffusion? PLoS ONE 2014, 9, e98254. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  17. Lions, J. Nonhomogeneous Boundary Value Problems and Applications; Springer Verlag: Berlin, German, 1972. [Google Scholar]
  18. Anita, S.; Arnautu, V.; Stefanescu, R. Numerical optimal harvesting for periodic age-structured population dynamics with logistic term. Numer. Func. Anal. Opt. 2009, 30, 183–198. [Google Scholar] [CrossRef]
  19. Kang, Y.H.; Lee, M.J.; Jung, I.H. Optimal Harvesting for an Age-Spatial-Structured Population Dynamic Model with External Mortality. Abstr. Appl. Anal. 2012. [Google Scholar] [CrossRef]
  20. Kim, Y.K.; Lee, M.J.; Jung, I.H. Duality in an Optimal Harvesting Problem by a Nonlinear Age-Spatial Structured Population Dynamic System. KYUNGPOOK Math. J. 2011, 51, 353–364. [Google Scholar] [CrossRef]
  21. Ciarlet, P.G. Introduction to Numerical Linear Algebra and Optimization; Cambridge University Press: New York, United States, 1989. [Google Scholar]
  22. Anita, S.; Arnautu, V.; Capasso, V. An Introduction to Optimal Control Problems in Life Sciences and Economics: From Mathematical Models to Numerical Simulation with MATLAB; Springer: Dordrecht, The Netherlands, 2011. [Google Scholar]
  23. Kuuluvainen, T.; Tahvonen, O.; Aakala, T. Even-aged and uneven-aged forest management in boreal Fennoscandia: A review. AMBIO 2012, 41, 720–737. [Google Scholar] [CrossRef] [PubMed]
  24. Tahvonen, O.; Pihlainen, S.; Niinimäki, S. On the economics of optimal timber production in boreal Scots pine stand. Can. J. For. Res. 2013, 43, 719–730. [Google Scholar] [CrossRef]
Figure 1. Diameter distributions associated with optimal thinnings of problem (14) with state equation approximated by explicit scheme (7). Numbers (e.g., 5–8, 11–14) represent diameter in centimetres.
Figure 1. Diameter distributions associated with optimal thinnings of problem (14) with state equation approximated by explicit scheme (7). Numbers (e.g., 5–8, 11–14) represent diameter in centimetres.
Mca 23 00022 g001
Figure 2. Diameter distributions associated with optimal thinnings of problem (14) with state equation approximated by implicit scheme (11). Numbers (e.g., 5–8, 11–14) represent diameter in centimetres.
Figure 2. Diameter distributions associated with optimal thinnings of problem (14) with state equation approximated by implicit scheme (11). Numbers (e.g., 5–8, 11–14) represent diameter in centimetres.
Mca 23 00022 g002
Table 1. Maximum net present values, MaxNPVs, (i.e., optimal cost function values of the problem (14)) and mean annual increments (MAI) associated with optimal stand-level managements. Initial density is 1000 stems ha 1 .
Table 1. Maximum net present values, MaxNPVs, (i.e., optimal cost function values of the problem (14)) and mean annual increments (MAI) associated with optimal stand-level managements. Initial density is 1000 stems ha 1 .
MaxNPV (€ha 1 )MAI (m 3  ha 1  a 1 )
ExplicitImplicitExplicitImplicit
Time step Δ t = 5 years and class
width Δ x = 3 cm
409539962.942.83
Time step Δ t = 3 years and class
width Δ x = 3 cm
430142312.943.11
Time step Δ t = 3 years and class
width Δ x = 2 cm
467646482.963.00
Time step Δ t = 2 years and class
width Δ x = 3 cm
438443112.933.04
Time step Δ t = 2 years and class
width Δ x = 2 cm
477647263.093.09
Table 2. Optimal stand-level managements generated by explicit (7) and implicit (11) approximation of the forest growth model (4). Initial density is 1000 stems ha 1 .
Table 2. Optimal stand-level managements generated by explicit (7) and implicit (11) approximation of the forest growth model (4). Initial density is 1000 stems ha 1 .
Stand Age (a)Removal (m 3  ha 1 )Thinning Intensity (% of Basal Area Removed)Saw Log Proportion (%)
ExplicitImplicitExplicitImplicitExplicitImplicitExplicitImplicit
Time step Δ t = 5 years and class width Δ x = 3 cm
1st thinning554591.077.248488785
2nd thinning706068.959.346468887
3rd thinning858098.690.679728786
final thinning10510550.069.91001009086
total 308.5297.0 8886
Time step Δ t = 3 years and class width Δ x = 3 cm
1st thinning494378.952.448358386
2nd thinning645868.254.350358689
3rd thinning767055.450.056358791
4th thinning-82-72.4-59-86
final thinning10010091.582.21001008885
total 293.9311.3 8687
Time step Δ t = 3 years and class width Δ x = 2 cm
1st thinning464060.660.536408381
2nd thinning585256.551.838408583
3rd thinning706459.752.145468886
4th thinning797950.055.052568990
final thinning949772.671.41001008986
total 299.5290.7 8785
Time step Δ t = 2 years and class width Δ x = 3 cm
1st thinning474562.259.139388486
2nd thinning615959.954.841378788
3rd thinning757158.950.044379090
4th thinning838564.478.070648487
final thinning10110350.071.01001008686
total 295.5313.3 8687
Time step Δ t = 2 years and class width Δ x = 2 cm
1st thinning434155.358.536388082
2nd thinning555355.653.339398484
3rd thinning656550.052.042448687
4th thinning777753.050.253518989
final thinning959579.579.21001008987
total 293.4293.1 8686

Share and Cite

MDPI and ACS Style

Pyy, J.; Ahtikoski, A.; Lapin, A.; Laitinen, E. Solution of Optimal Harvesting Problem by Finite Difference Approximations of Size-Structured Population Model. Math. Comput. Appl. 2018, 23, 22. https://doi.org/10.3390/mca23020022

AMA Style

Pyy J, Ahtikoski A, Lapin A, Laitinen E. Solution of Optimal Harvesting Problem by Finite Difference Approximations of Size-Structured Population Model. Mathematical and Computational Applications. 2018; 23(2):22. https://doi.org/10.3390/mca23020022

Chicago/Turabian Style

Pyy, Johanna, Anssi Ahtikoski, Alexander Lapin, and Erkki Laitinen. 2018. "Solution of Optimal Harvesting Problem by Finite Difference Approximations of Size-Structured Population Model" Mathematical and Computational Applications 23, no. 2: 22. https://doi.org/10.3390/mca23020022

Article Metrics

Back to TopTop