DOI 10.1007/s13370-012-0129-z
A numerical schema for the transport of nutrients and hormones in plant growth
S. Boujena · A. Chiboub · J. Pousin
Received: 24 April 2012 / Accepted: 30 November 2012
© African Mathematical Union and Springer-Verlag Berlin Heidelberg 2012
Abstract Classical numerical methods exhibit numerical discrepancies, when we are dealing with the transport equation in domain of heterogeneous sizes. In this work, a numerical scheme, based on a domain decomposition strategy is built to avoid numerical discrepancies.
Let us mention that this work is inspired from the results given in Picq and Pousin (Variational reduction for the transport equation and plants growth, 2007).
Keywords Plant growth · Branch · Two-dimensional domain · Finite differences · Asymptotic development · Variational reduction · Algorithms · Numerical simulations
1 Introduction
The plant growth presents a seasonal periodicity. The observation of the growth of the principal branch and formation of new buds show that the distance between them is approx- imately the same. Dynamical models of this phenomena have been studied in [4] where the authors had represented a growing plant as a system of intervals, which are called branches.
The branches appear and grow according to some rules. The growing part of the plant contains a narrow exterior part, considered as a surface, where cells proliferate. The displacement of this surface corresponds to the plant growth. The plant growth is due to the nutrients pro- duced in the roots and transported through the whole of the plant and the appearance of new branches is consequence of the concentration of many hormones. The most important of them are cytokinin and Auxin. The Auxin is produced in the growing parts of the plant. And the
S. Boujena (
B
)·A. ChiboubSciences Faculty, University Hassan II Casablanca, POB 5366, Maarif, 20200 Casablanca, Morocco e-mail: boujena@yahoo.fr; s.boujena@fsac.ac.ma
A. Chiboub
e-mail: chiboubatika@yahoo.fr J. Pousin
Institut Camille Jordan, CNRS UMR 5208, Université Lyon I, 69200 Villeurbanne Cedex, France e-mail: jerome.pousin@insa-lyon.fr
Fig. 1 A representation of plant as a heterogeneous domain Q
Trunk
Cytokinin is produced in the roots and in the growing parts of the plant. The concentrations of the nutrients and hormones are modelized by convection-diffusion equations. In [2] and [3], the one dimensional case without diffusion has been studied, and a numerical scheme has been proposed. In this work, the two dimensional case is considered, that is to say, the transport equation is handled in a domain of heterogeneous size. Using only a strategy of domain decomposition, the simulation of the nutrients transport by finite differences method exhibits numerical discrepancies in the thin part of the domain representing the branche.
Thanks to the asymptotic partial decomposition method, we use a perturbation argument in order build an adapted basis to avoid these numerical discrepancies and the transport equa- tion can be reduced to a partial differential equation with less variables in this part of the domain. The asymptotic partial decomposition method introduced in [6] is used in this work for the transport equation in an heterogeneous domain with a general right hand. A numerical method based on finite elements for such models is given in [5]. We show in this work, that the finite differences method works better on the model obtained by the partial asymptotic decomposition strategy than that obtained by the domain decomposition only. The article is organized as follows. The introduction is ended by recalling the mathematical model. In Sect. 2, the asymptotic domain decomposition formulation of the problem is analyzed. In Sect. 3, some numerical results are presented.
Let us introduce the transport equation in the two-dimensional domain Q which represents a part of the plant (Fig. 1).
Let us give some useful notations.
Q = (0, 1) × S
1∪ 1
2 − , 1 2 +
× S
2= Q
1∪ Q
2, where S
1= (0, 1)×(0, γ ) et S
2=
12
− η,
12+ η
×(γ, 1). Let f ∈ C
0( Q; R), a(t, x, y) = a
x(t , x , y )
a
y( t , x , y )
and β =
⎛
⎝ 1
a
x( t , x , y ) a
y(t, x, y)
⎞
⎠ be such that a
x∈ C
1(Q; R
+) and a
y∈ C
1(Q; R
+).
In the following, we assume a
xand a
yto be bounded from below by two positive numbers, and denote by (·/·) the Euclidean inner product. Let ∂ Q
−= {(t, x , y), (β/n) < 0}. We look for
u ∈ H (β, Q) = {ρ ∈ L
2(Q), (β/∇ρ) ∈ L
2(Q), ρ\∂ Q
−∈ L
2(∂ Q
−, |(β/n)|dσ )}
verifying
(β/∇ u ) =
∂u∂t+ a
x( t , x , y )
∂u∂x+ a
y( t , x , y )
∂u∂y= f ( t , x , y ) in Q
u = 0 on ∂Q
−(1)
Theorem 1 The problem (1) has an unique solution u . Proof For a proof the reader is referred to [1].
2 The decomposed problem
In this section, the problem (1) is formulated in the context of the partial asymptotic decom- position method. First, let us build the vector space of finite dimension well suited for the decomposition of the problem (1). Here, variable x ∈ (
12− η,
12+ η) is considered as a parameter. For a positive regular function ν, we will denote by L
2(·, ν dt) the Hilbert’s space equipped with the inner product with the weight function ν.
Lemma 1 Suppose that function a is time independent. Let m ∈ N and S
= (
12− ,
12+ ) × { x } × {γ }. Define q
0( t ) = 1 and q
j( t ) = sin ( j π(
t−12+ 1 )) ∀ 1 ≤ j ≤ m . Then the functions ( q
j)
0≤j≤mgenerate M ( S
) a vector space of dimension m + 1 . In addition, the functions q
j:
(i) are orthogonal with respect to both the L
2( S
), L
2( S
, a
x(., x , γ )) and L
2( S
, a
y(., x , γ )) inner product,
(ii) verify
12+1
2−
q
k( t ) q
j( t ) dt = 0 for all 0 ≤ k , j ≤ m where q
k( t ) denotes the derivative function of q
k(t ).
When functions a
x, a
yare time dependent, we have:
Lemma 2 Let m ∈ N, suppose a
x(., ., .) (respectively a
y(., ., .)) to be C
1and bounded from below by positive constants, then there exists a family of regular functions (w
j(t))
0≤j≤mfor t ∈ (
12− ,
12+ ) which generates M ( S
) a vector space of dimension m + 1 . In addition, the functions w
j:
(i) are orthogonal with respect to L
2( S
), L
2( S
, a
x(., x, γ ) dt) and L
2( S
, a
y(., x , γ ) dt ) inner products,
(ii) verify
12+1
2−
(w
k( t ))w
j( t ) dt = 0 for all 0 ≤ k , j ≤ m , where w
k( t ) denotes the derivative function of w
k(t).
Proof Let ( q
j)
0≤j≤mbe the normalized basis derived from the L
2− or t hogonal basis ( q
j)
0≤j≤m. Since the function a
x(., ., .) (respectively a
y(., ., .) ) is bounded from below by a positive constant, the bilinear form
1 2+
1 2−
( q
j( t ))( q
k( t )) a
x( t , x , y ) dt
(respectively
12+ 12−
( q
j(t))( q
k(t))a
y(t, x, y)dt) defines an L
2-inner product. Let us denote
by M its matrix with respect to the basis ( q
j)
0≤j≤m. The matrix M is symmetric positive
defined, thus the spectral theorem claims that there exists an orthogonal basis with respect to L
2-inner product denoted by (w
j)
0≤j≤mwhich diagonalizes the matrix M . The expression of the bilinear form in the basis (w
j)
0≤j≤mis diagonal, thus the vectors (w
j)
0≤j≤mare orthogonal to each others with respect to the bilinear form. Since the (w
j) functions are linear combinations of ( q
j) functions, the second items of Lemma 2 still holds true for the (w
j) functions. Lemma 2 is proved.
We consider, in the following, the general case where the speed depends on time. The time-independent case is treated by simply replacing the vectors w
kby q
k.
Define the 2-D velocity a =
a
x( t , x , y ) a
y( t , x , y )
and the incoming part of the boundary ∂ S
2−= {(x, y), (a/n) < 0}, where n is the outward normal to S
2.
Definition 1 The decomposed problem associated to the problem (1) consists in finding ( u
1, u
2) such that:
⎧ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎨
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎩
(u
1, u
2) ∈ H (β, Q
1) × M( S
) ⊗
0H
1((
12− η,
12+ η) × (γ, 1)), u
2=
mk=0
w
k( t ) u
2k( x , y ) and (β/∇ u
1) = f i n Q
1,
u
1= 0 on ∂ Q
1−,
(β/∇ u
2) = f i n Q
2,
b
1(u
1− u
2, w
k) =
12+ 12−
(u
1(t, x , γ )
−u
2(t, x , γ ))q
k(t)a
y(t, x , γ ) dt = 0, ∀x ∈ (
12− η,
12+ η), ∀q
k∈ M(S
).
(2)
The last equation of this system is the boundary condition on the incoming part of the domain S
2in L
2(
12− η,
12+ η).
Let u be the solution of the problem (1) and u
1its restriction on Q
1. We introduce u
2=
mk=0
w
k( t ) u
2k( x ). Then u
2is the solution restricted to Q
2and u
2∈ M ( S
) ⊗
0H
1((
12− η,
12+ η) × (γ, 1 )) . The decomposed problem is obtained by multiplying (1) by w
k(t) ∈ M( S
) and by integrating with respect to t. Observe that
1 2+
1 2−
∂ u
2∂ t w
k( t ) dt = 0 ∀w
k∈ M ( S
);
and obviously the following condition:
b ( u
1− u
2, w
k) =
1 2+
1 2−
( u
1( t , x , γ ) − u
2( t , x , γ ))w
k( t ) a
y( t , x , γ ) dt = 0
yields the boundary condition.
Theorem 2 The decomposed problem given in definition 1 is equivalent to the following reduced problem which consists in finding ( u
1, u
2) such that:
⎧ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎨
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎩
(u
1, u
2) ∈ H(β, Q
1) × M( S
) ⊗
0H
1((
12− η,
12+ η)
×(γ, 1)) and (β/∇u
1) = f i n Q
1,
u
1= 0 ∂ Q
1−,
A
x,k∂u∂x2+ A
y,k∂u∂y2=
12+1
2−
f ( t , x , y )w
k( t ) dt a . e . i n S
2,
12+1
2−
u
1(t, x, γ )w
k(t)a
y(t, x, γ )dt
= u
2k(x , γ )
12+1
2−
w
k(t)w
k(t)a
y(t, x , γ )dt a.e. i n (
12− η,
12+ η) and
∀w
k∈ M ( S
).
(3)
where A
x,k=
12+ 1
2−
a
x( t , x , y )w
k( t )w
k( t ) dt and A
y,k=
12+ 1
2−
a
y( t , x , y )w
k( t )w
k( t ) dt . Proof We have
u
2=
m k=0w
k(t)u
2k(x , y).
Then almost everywhere in S
2we have:
∂u
2k∂x
⎛
⎜ ⎜
⎝
1 2+
1 2−
a
x(t, x, y )w
k(t)w
k(t) dt
⎞
⎟ ⎟
⎠ + ∂u
2k∂y
⎛
⎜ ⎜
⎝
1 2+
1 2−
a
y(t, x, y)w
k(t)w
k(t) dt
⎞
⎟ ⎟
⎠
=
1 2+
1 2−
f (t, x , y)w
k(t) dt ∀w
k∈ M (S
).
Corollary 1 The zero order approximation corresponding to the decomposed problem (3) is given by
⎧ ⎪
⎪ ⎨
⎪ ⎪
⎩
(β/∇u
1)
2= f i n Q
1,
u
1= 0 ∂ Q
1−,
a
x(
12, x, y)
∂u∂x20+ a
y(
12, x , y)
∂u∂y20= f (
12, x , y) a.e. i n (
12− η,
12+ η) × (γ, 1), u
1(
12, x , γ ) = u
20(x, γ ) ∀x ∈ (
12− η,
12+ η).
(4)
2.1 Algorithmes for numerical simulation
Now, let us come to the numerical approximation of ( u
1, u
2), the solution to the decom-
posed problem (3). To supplement the results outlined in [3], we will give in that follows
the construction of the algorithm requiered to the numerical simulations. An upwind finite
differences method is used for u
1in Q
1and for u
2in Q
2. Let M, N be two fixed positive
integers and 0 < <
12, 0 < η <
12, 0 < γ < 1 be three real numbers.
2.1.1 The numerical approximation on Q
1The time and space steps are defined by t =
N1, x =
M1and y =
Mγ. Introduce the family of points ( t
n, x
i, y
j) such that t
n= n t , x
i= i x and y
j= j y . For all n = 0 , 1 , . . . , N ; i = 0 , 1 , . . . , M and j = 0 , 1 , . . . , M we pose u
ni,ju ( t
n, x
i, y
j), a
ix,n,ja
x( t
n, x
i, y
j) and a
i,jy,na
y( t
n, x
i, y
j) then we obtain the following schema:
u
n+1i,j− u
ni,jt + a
i,x,n+1ju
n+1i,j− u
n+1i−1,jx + a
i,y,jn+1u
n+1i,j− u
n+1i,j−1y = f (t
n+1, x
i, y
j) which can be writen as
Θ
n+1U
n+1= U
n+ F
n+1(5)
where Θ
n+1=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎝
A
n+110 . . . . . . 0 B
2n+1A
n2+1... ...
0 B
3n+1A
n+13... ...
... ... ... ... 0
0 . . . 0 B
n+1MA
n+1M⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎠ , U
n=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎝ U
1nU
2n... ...
U
Mn⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎠ ,
F
n+1=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎝ F
1n+1F
2n+1... ...
F
Mn+1⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎠ , U
nj=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎝ U
1 jnU
2 jn... ...
U
M jn⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎠
and F
n+1j=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎝ t f
1 jn+1t f
2 jn+1... ...
t f
M jn+1⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎠ .
In the other hand the matrices A
n+1l= (o
li j,n+1)
1≤i,j≤Mfor 1 ≤ l ≤ M and B
hn+1= ( b
i jh,n+1)
1≤i,j≤Mfor 2 ≤ h ≤ M are such that
o
l,n+1i j=
⎧ ⎪
⎨
⎪ ⎩
1 +
xta
ilx,n+1+
yta
ily,n+1i = j,
−
xta
ilx,n+1i = j − 1,
0 elsewhere
and b
h,n+1i j=
−
yta
i hy,n+1i = j,
0, elsewhere .
2.1.2 The numerical approximation on Q
2For Q
2the time step is given by
t =
2Nand the space steps are defined by
ηx =
2η
M
and
γy =
1−γM. The nodes are given by x
i=
12− η + i
ηx and y
j= γ + j
γy. For k = 0, 1, . . . , m and i, j = 1, . . . , M; we put v
i,jkv
k(x
i, y
j) then, using upwind finite differences method, we can write
v
i,jk− v
i−1,jkη
x A
ix,k,j+ v
i,jk− v
i,kj−1y A
y,ki,j= F
i,jk, (6)
where
A
x,ki,j=
1 2+
1 2−
a
x( t , x
i, y
j)w
k( t )w
k( t ) dt ,
A
i,y,kj=
1 2+
1 2−
a
y(t, x
i, y
j)w
k(t )w
k(t)dt
and
F
i,jk=
1 2+
1 2−
f (t, x
i, y
j)w
k(t)dt.
The integrals A
x,ki j, A
i jy,kand F
ik,jare computed by using a Gauss quadrature formula.
Then the schema (6) can be written as
B
kV
k= F
ksuch that the matrix B
kis defined:
B
k=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎝
C
1k0 . . . . 0 D
2kC
k2... ...
0 D
3kC
3k... ...
... ... ... ... 0 0 . . . 0 D
kMC
Mk⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎠
(7)
where C
lk= ( c
l,kr s)
1≤r,s≤Mand D
lk= ( d
r sl,k)
1≤r,s≤Mfor 1 ≤ l ≤ M . In the other hand
c
l,kr s=
⎧ ⎪
⎨
⎪ ⎩
η
x A
x,kr,l+ y A
ry,k,lr = s ,
− A
rx,k,ly r = s − 1 ,
0 elsewhere
and d
r sl,k=
−
ηx A
r,ly,kr = s,
0 elsewhere .
We denote
V
lk=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎝ v
k1,lv
k2,l... ...
v
kM,l⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎠
f or l = 1 , . . . , M ; V
k=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎝ V
1kV
2k... ...
V
Mk⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎠ , F
1k=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎝
−D
1kV
0k+
ηx
γy F
1,1kη
x
γy F
2k,1... ...
η
x
γy F
M,1k⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎠ ,
F
lk=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎜ ⎝
η
x
γy F
1,lkη
x
γy F
2,lk... ...
η
x
γy F
Mk,l⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎟ ⎠
and F
k=
⎛
⎜ ⎜
⎜ ⎜
⎜ ⎜
⎝ F
1kF
2k... ...
F
Mk⎞
⎟ ⎟
⎟ ⎟
⎟ ⎟
⎠
for l = 2 , . . . , M .
We denote by ( U
n, V
n) a numerical approximation of the solution ( u
1, u
2) of the decom- posed problem (3) on whole domain Q at time t
n. Then the component U
i jnof the matrix U
nrepresents an approximation of u
1( t
n, x
i, y
j) at every node ( t
n, x
i, y
j) of the domain Q
1and the component
mk=0
w
k(t
n)v
i,kjof the matrix V
nrepresents an approximation of u
2(t
n, x
i, y
j) at every node (t
n, x
i, y
j) of the domain Q
2. The following proposition allows to summarize the previous algorithm which calculates an approximation of the solution (u
1, u
2) of problem (3) on the whole domain Q .
Proposition 1 The following algorithm gives an approximation of the solution (u
1, u
2) of the decomposed problem (3):
⎧ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎨
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎪ ⎪
⎩ i n Q
1U
0= 0,
t =
N1, x =
M1and y =
Mγ,
t
n= nt f or n = 0, 1, 2, · · · , N ,
x
i= i x f or i = 0 , 1 , 2 , · · · , M , y
j= j y f or j = 0 , 1 , 2 , · · · , M ,
n+1U
n+1= U
n+ F
n+1f or 0 ≤ n ≤ N − 1, on t he i nter f ace
V
Mk(x
i, γ ) =
12+
12−u1(t,xi,γ )wk(t)ay(t,xi,γ )dt 12+
1
2−wk(t)wk(t)ay(t,xi,γ )dt
f or 1 ≤ i ≤ M and 0 ≤ k ≤ m, i n Q
2t =
2N,
ηx =
2ηMand
γy =
1−γM,
t
n=
12− + n
t f or n = 0 , · · · , N , x
i=
12− η + i
ηx f or i = 0 , · · · , M , y
j= γ + j
γy f or j = 0, · · · , M,
B
kV
k= F
kf or 0 ≤ k ≤ m ,
V =
mk=0
w
k( t
n) V
kf or n = 0 , 1 , · · · , N .
Conclusion As we can observe in the following simulations considered at final instant, the classical finite differences method doesn’t work for thin domains representing branches.
Besides, the variational reduction method gives a good description of the evolution of con- centrations.
3 Numerical simulations
In what follows, numerical experiments are presented taking a
x( t , x , y ) = a
y( t , x , y ) = 50x + y + exp(0.1t), f (t, x , y) = (2y + x exp(0.5t))t, γ =
12, N = 20 and M = 200.
Only w
0and w
1are considered in M(S
). They are calculated thanks to Gramm-Schmidt process. We present in the Fig. 2 numerical simulations of the zero order model, the transport equation by finite differences method in the whole domain Q and the model obtained by the variational reduction strategy. Different values of the parameters η and are tested.
It can be checked that the finite differences method does not give accurate results for too
small values of and η compared to the zero order model which is the reference one. In the
other hand the proposed variatinal reduction method gives a similar simulation to the zero
order model and is not sensitive to the values of these parameters.
Fig. 2 The numerical representation
Acknowledgments This work has been supported with a grant PHC Volubilis from the French foreign office and the marocain ministry of education and research MA/11/246.
References
1. Besson, O., Pousin, J.: Solution for linear conservation laws with velocity in L∞. Arch. Ration. Mech.
Anal. 186(1), 159–175 (2007)
2. Boujena, S., Chiboub, A., Pousin, J.: Transport equation reduction for a mathematical model in plants growth. JMMNP 6(02), 160–172 (2008)
3. Boujena, S., Chiboub, A., Pousin, J.: Variational reduction for the transport equation in a multiple branching plants growth model, Numéro spécial Congrès International JANO 9. JMMNP 5(07), 11–15 (2007) 4. Bossov, N.S., Volpert, V.: Dynamic models of plant growth: mathematics and mathematical modeling I.
Publibook, Paris (2007)
5. Fontevieille, F.: Décomposition asymptôtique et éléments finis, thèse de doctorat, université Claude Bernard-Lyon I (2004)
6. Panasenko, G.P.: Multi-scale Modelling for structures and composites. Springer, Berlin (2005) 7. Picq, M., Pousin, J.: Variational reduction for the transport equation and plants growth. In: Proccedings
of the Conference Modelling of the Heterogeneous Materials with Applications in Constructions and Biological Engineering, Czech Technical University, Prague (2007)