Académique Documents
Professionnel Documents
Culture Documents
Abstract Here we propose a numerical method for the computer simulation of forest impact on
aquifers. With this phenomenon we understand changes in the level of groundwater table beneath
the areas recovered by trees. The mathematical model of the forest impact includes a boundary-
value problem with free and contact boundary conditions. Considering this free-contact boundary
problem as a shape optimization problem we perform boundary elements discretization. Assuming
the state and free boundary variables as independents, we treat the discretized problem as a
nonlinear mathematical program and apply interior point algorithm to solve it. Numerical results for
an illustrative 2D test problem are discussed.
1
Instituto de Matemtica, Universidade Federal do Rio de Janeiro, 21945 970, Rio de Janeiro, RJ, Brasil. E-mail:
anatoli@im.ufrj.br
2
Laboratrio de Matemtica, Universidade Estadual do Norte Fluminense, 28015 620, Campos dos Goytacazes, RJ,
Brasil. E-mail: wilma@uenf.br
Assumimos que ocorre fluxo por suco na taxa (x) na parte BW do lenol fretico BWM a
mesmas condies como para o problema de percolao, ver [6], i.e. u = h1 sobre 1 , u = h2 sobre
2 , u = y sobre , q = 0 sobre 0 . A parte do lenol fretico onde no existe contato S
temos um fluxo com taxa (x) que atravessa a parte do lenol fretico ao interior de S.
Assim, obtemos a seguinte formulao matemtica para o problema do impacto florestal, ver [4]:
Encontrar ( x) e u ( x, y ) tal que :
u = 0 em ,
u = h1 sobre 1 ,
u = h2 sobre 2 ,
( P)
u=y sobre ( \ S 0 ),
q=0 sobre 0 ( \ S 0 ),
q = ( x) sobre S 0, .
No lenol fretico temos condies que tomam a forma de condies de contorno de contato
ou livre. Chamamos estas condies de condies de contorno contato-livre. Enquanto o
problema clssico de percolao pode ser formulado como uma desigualdade variacional, e por
tanto, numericamente resolvido, o problema de impacto florestal representado por uma
desigualdade quase-variacional, [4]. Esta formulao quase-variacional usada para provar a
existncia e unicidade para a soluo do problema (P).
Uma formulao equivalente de (P) pode ser dada em termos de otimizao de forma para o
sistema governado pela equao de Laplace. Seja o conjunto de todas as formas factveis do
lenol fretico, formado por curvas suaves. O problema de otimizao consiste em encontrar
e u tal que:
min (q) 2 \ S
0
o problema (P1) interpreta o lenol fretico como um contorno timo. O conceito de contorno
timo inclui somente valores no contorno do domnio e no h necessidade de resolver o problema
em todo domnio para encontrar o contorno timo. Por outro lado, encontrando podemos
obter u(x,y) em resolvendo o problema de valor de contorno (1). Por esta razo consideraremos,
somente, a seguir, a localizao do lenol fretico.
No caso do problema bidimensional, descrito pela equao de Laplace, os valores de fluxo e
de potencial satisfazem no contorno , a equao integral, [12]:
q u
0.5u ( ) + ( , )u ( )d = ( , )q( )d
, (2)
onde ( x, y ) , u ( , ) a soluo fundamental da equao de Laplace, q ( , ) sua derivada
normal e o ponto de colocao. Desta maneira, para definir a localizao do lenol fretico
temos o problema:
min F (u, q ),
( P2 ) onde q e u verificam em a equao int egral :
0.5u ( ) + q ( , )u ( )d = u ( , )q( )d,
F (u , q ) ( q ) 2 \ S 0
onde e os valores de contorno so definidos como o problema (1).
u ( ) u j , q( ) q j , j j = 1, K , E
onde u i = u ( i ) , u i = u ( i , ) , q i = q ( i , ), i i e , .
( )
4
Gij = 0.5
k =1
k (a x2 + a y2 )1 / 2 ln ( x c a x k b x ) 2 + ( y c a y k b y ) 2 ,
(3)
k (a y ( a x k + b x x c ) a x (a y k + b y y c ) )
H ij = ( xc a x k bx ) 2 + ( y c a y k b y ) 2
,
(4)
i, j = 1, K , E , i = j :
( )(
Gii = 2 a x2 + a y2 1 ln(a x2 + a y2 )1 / 2 ), (5)
H ii = , (6)
n 2 ): X E +1 K X E + n 1 , X E + n K X E + n + m1 1
y- e x-coordenadas dos ns do lenol fretico: e
X E + n + m1 K X E + n + m 1
respectivamente.
Sejam
X = ( X 1 K X E + n + m 1 ),
U = (u1 K u L , X L +1 K X R , u R +1 Ku K , U K +1 KU N , U N +1 KU E m2 , X E m2 +1 K X E ),
Q = ( X 1 K X L , q L +1 Kq R , X R +1 K X K , X K +1 K X N , X N +1 K X E m2 , q E m2 +1 K q E ),
fazendo este tipo de discretizaao para o problema (P2), obtemos um problema de programao
matemtica no linear:
restries lineares de igualdade e m1 + 1 restries de tipo box. LOW, UP, LEFT, RIGHT
definem os limites para as y-coordenadas e x-coordenadas no conhecidas dos ns do lenol
TESTES NUMERICOS
CONCLUSO
Este trabalho prope uma aproximao para a simulao numrica para escoamento
permanente num meio poroso no confinado com possvel descarga atravs do lenol fretico.
Nosso mtodo combina trs aspectos principais: transformao do problema original para um
problema de otimizao de forma, tcnica de programao matemtica junto a discretizao por
elementos de contorno. Assim, no h a necessidade de fazer qualquer analise de sensibilidade. A
funo objetivo quadrtica com relao as variveis do problema. O mtodo simples de ser
aplicado e pode ser usado para problemas 3D. A simulao numrica mostra que em nosso modelo
simples o rebaixamento do lenol fretico devido suco do sistema radicular de florestas de
significado relevante. Este resultado sugere que a simulao da suco de florestas pode ser
considerado como um meio efetivo para o controle de guas subterrneas.
AGRADECIMENTOS
Os autores esto plenamente agradecidos ao CNPq (Conselho de Desenvolvimento Cientifico
e Tecnolgico) pelo suporte financeiro.