Apesar de as EDPS que modelam leis de conservação e problemas em dinâmica dos fluídos serem bem estabelecidas, suas soluções numéricas continuam ainda desafiadoras. Em particular, há dois desafios associados à computação e ao entendimento desses problemas: um deles é a formação de descontinuidades (choques) e o outro é o fenômeno turbulência. Ambos os desafios podem ser atribuídos ao tratamento dos termos advectivos não lineares nessas equações de transporte. Dentro deste canário, esta tese apresenta o estudo do desenvolvimento de um novo esquema \"upwind\" de alta resolução e sua associação com modelagem da turbulência. O desempenho do esquema é investigado nas soluções da equação de advecção 1D com dados iniciais descontínuos e de problemas de Riemann 1D para as equações de Burgers, Euler e águas rasas. Além disso, são apresentados resultados numéricos de escoamentos incompressíveis 2D e 3D no regime laminar a altos números de Reynolds. O novo esquema é então associado à modelagem \'capa\' - \'epsilon\' da turbulência para a simulação numérica de escoamentos incompressíveis turbulentos 2D e 3D com superfícies livres móveis. Aplicação, verificação e validação dos métodos numéricos são também fornecidas / Althought the PDEs that model conservation laws and fluid dynamics problems are well established, their numerical solutions have presented a continuing challenge. In particular, there are two challenges associated with the computation and the understanding of these problems, namely, formation of shocks and turbulence. Both challenges can be attributed to the nonlinear advection terms of these transport equations. In this scenario, this thesis presents the study of the development of a new high-resolution upwind scheme and its association with turbulence modelling. The performance of the scheme is investigated by solving the 1D advection equation with discontinuous initial data 1D Riemann problems for Burgers, Euler and shallow water equations. Besides, numerical results for 2D and 3D incompressible laminar flows at high Reynolds number are presented. The new scheme is then associated with the \'capa - \' epsilon\' turbulence model for the simulation of 2D and 3D incompressible turbulent flows with moving free surfaces. Application, verification and validation of the numerical methods are also provided

Apesar de as EDPS que modelam leis de conservação e problemas em dinâmica dos fluídos serem bem estabelecidas, suas soluções numéricas continuam ainda desafiadoras. Em particular, há dois desafios associados à computação e ao entendimento desses problemas: um deles é a formação de descontinuidades (choques) e o outro é o fenômeno turbulência. Ambos os desafios podem ser atribuídos ao tratamento dos termos advectivos não lineares nessas equações de transporte. Dentro deste canário, esta tese apresenta o estudo do desenvolvimento de um novo esquema \"upwind\" de alta resolução e sua associação com modelagem da turbulência. O desempenho do esquema é investigado nas soluções da equação de advecção 1D com dados iniciais descontínuos e de problemas de Riemann 1D para as equações de Burgers, Euler e águas rasas. Além disso, são apresentados resultados numéricos de escoamentos incompressíveis 2D e 3D no regime laminar a altos números de Reynolds. O novo esquema é então associado à modelagem \'capa\' - \'epsilon\' da turbulência para a simulação numérica de escoamentos incompressíveis turbulentos 2D e 3D com superfícies livres móveis. Aplicação, verificação e validação dos métodos numéricos são também fornecidas / Althought the PDEs that model conservation laws and fluid dynamics problems are well established, their numerical solutions have presented a continuing challenge. In particular, there are two challenges associated with the computation and the understanding of these problems, namely, formation of shocks and turbulence. Both challenges can be attributed to the nonlinear advection terms of these transport equations. In this scenario, this thesis presents the study of the development of a new high-resolution upwind scheme and its association with turbulence modelling. The performance of the scheme is investigated by solving the 1D advection equation with discontinuous initial data 1D Riemann problems for Burgers, Euler and shallow water equations. Besides, numerical results for 2D and 3D incompressible laminar flows at high Reynolds number are presented. The new scheme is then associated with the \'capa - \' epsilon\' turbulence model for the simulation of 2D and 3D incompressible turbulent flows with moving free surfaces. Application, verification and validation of the numerical methods are also provided

Este trabalho é em parte baseado no livro The Stability and Control of Discrete Processes de Joseph P. LaSalle. Nós estudamos equações como x(n+1) = T(x(n)), onde T : \' R POT. m\' \' SETA\' \'R POT. m\' é uma aplicação contínua, com o sistema dinâmico associado \'PI\' (n,x) := \' T POT. n\' (x). Nós fornecemos condições suficientes para a estabilidade de equilíbrios usando o método direto de Liapunov. Também consideramos sistemas discretos da forma x(n+1)=T(n, x(n),\'lâmbda\' ) dependendo de uma parâmetro \' lâmbda\' e apresentamos resultados obtendo estimativas de atratores. Finalmente, nós apresentamos algumas simulações de sistemas acoplados como uma aplicação em sistemas de comunicação / This work is in part based on the book The Stability and Control of Discrete Processes of Joseph P. LaSalle. We studing equations as x(n+1) = T(x(n)), where T : \' R POT.m\' \' ARROW\' \' \' R POT.m\' is continuous transformation, with the associated dynamic system \'PI\' (n,x) := \' T POT.n\' (x). We provide suddicient conditions for stability of equilibria, using Liapunov direct method. We also consider nonautonomous discrete systems of the form x(n + 1) = T(n, x(n), \' lâmbda\') depending on the parameter \'lâmbda\' and present results obtaining uniform estimatives of attractors. We finally we present some simulations on synchronization of coupled systems as an application on communication systems

A equação de advecção-dispersão possui grande importância na engenharia e nas ciências aplicadas. No entanto, como é bem conhecido, a obtenção de uma solução numérica apropriada para essa equação é um problema desafiador tanto para engenheiros como para matemáticos, físicos e outros profissionais que trabalham com a modelagem de fenômenos associados a ela. Muitos métodos numéricos desenvolvidos podem apresentar uma série de inconvenientes, tais como oscilações, dispersão e/ou dissipação numérica e instabilidade, além de serem inapropriados para determinadas condições de contorno. O presente trabalho apresenta e analisa a metodologia DFLD-exp, uma nova abordagem para a obtenção de soluções semi-analíticas da equação de advecção-dispersão, a qual utiliza um tipo particular de diferenças finitas para a discretização espacial juntamente com técnicas de exponencial de matrizes para a resolução temporal. Uma cuidadosa análise numérica mostra que a metodologia resultante é não-oscilatória, essencialmente não-dispersiva e não-dissipativa, e incondicionalmente estável. Resoluções de vários exemplos numéricos, através de um código desenvolvido em linguagem MATLAB, confirmam os resultados teóricos. / The advection-dispersion equation has been very important in engineering and the applied sciences. However, the obtainment of an appropriate numerical solution to that equation has been challenging problem to engineers, mathematicians, physicians and others that work in the modeling of phenomena associate to advection-dispersion equation. Many developed numerical methods may produce a succession of mistakes, just as oscillations, numerical dispersion and/or dissipation, instability and those methods also may be inappropriate to determined boundary conditions. The present work shows and analyses the DFLD-exp methodology, a new way to obtain semi-analytic solutions to advection-dispersion equation, that make use of a particular form of finite differencing to the spatial discretization with techniques of matrix exponential to the time solving. A detailed numerical analysis shows the methodology is non-oscillatory, essentially non-dispersive and non-dissipative, and unconditionally stable. Resolutions of any numerical examples, by a computational code developed in MATLAB language, confirm the theoretical results.

A equação de advecção-dispersão possui grande importância na engenharia e nas ciências aplicadas. No entanto, como é bem conhecido, a obtenção de uma solução numérica apropriada para essa equação é um problema desafiador tanto para engenheiros como para matemáticos, físicos e outros profissionais que trabalham com a modelagem de fenômenos associados a ela. Muitos métodos numéricos desenvolvidos podem apresentar uma série de inconvenientes, tais como oscilações, dispersão e/ou dissipação numérica e instabilidade, além de serem inapropriados para determinadas condições de contorno. O presente trabalho apresenta e analisa a metodologia DFLD-exp, uma nova abordagem para a obtenção de soluções semi-analíticas da equação de advecção-dispersão, a qual utiliza um tipo particular de diferenças finitas para a discretização espacial juntamente com técnicas de exponencial de matrizes para a resolução temporal. Uma cuidadosa análise numérica mostra que a metodologia resultante é não-oscilatória, essencialmente não-dispersiva e não-dissipativa, e incondicionalmente estável. Resoluções de vários exemplos numéricos, através de um código desenvolvido em linguagem MATLAB, confirmam os resultados teóricos. / The advection-dispersion equation has been very important in engineering and the applied sciences. However, the obtainment of an appropriate numerical solution to that equation has been challenging problem to engineers, mathematicians, physicians and others that work in the modeling of phenomena associate to advection-dispersion equation. Many developed numerical methods may produce a succession of mistakes, just as oscillations, numerical dispersion and/or dissipation, instability and those methods also may be inappropriate to determined boundary conditions. The present work shows and analyses the DFLD-exp methodology, a new way to obtain semi-analytic solutions to advection-dispersion equation, that make use of a particular form of finite differencing to the spatial discretization with techniques of matrix exponential to the time solving. A detailed numerical analysis shows the methodology is non-oscillatory, essentially non-dispersive and non-dissipative, and unconditionally stable. Resolutions of any numerical examples, by a computational code developed in MATLAB language, confirm the theoretical results.

Este trabalho é em parte baseado no livro The Stability and Control of Discrete Processes de Joseph P. LaSalle. Nós estudamos equações como x(n+1) = T(x(n)), onde T : \' R POT. m\' \' SETA\' \'R POT. m\' é uma aplicação contínua, com o sistema dinâmico associado \'PI\' (n,x) := \' T POT. n\' (x). Nós fornecemos condições suficientes para a estabilidade de equilíbrios usando o método direto de Liapunov. Também consideramos sistemas discretos da forma x(n+1)=T(n, x(n),\'lâmbda\' ) dependendo de uma parâmetro \' lâmbda\' e apresentamos resultados obtendo estimativas de atratores. Finalmente, nós apresentamos algumas simulações de sistemas acoplados como uma aplicação em sistemas de comunicação / This work is in part based on the book The Stability and Control of Discrete Processes of Joseph P. LaSalle. We studing equations as x(n+1) = T(x(n)), where T : \' R POT.m\' \' ARROW\' \' \' R POT.m\' is continuous transformation, with the associated dynamic system \'PI\' (n,x) := \' T POT.n\' (x). We provide suddicient conditions for stability of equilibria, using Liapunov direct method. We also consider nonautonomous discrete systems of the form x(n + 1) = T(n, x(n), \' lâmbda\') depending on the parameter \'lâmbda\' and present results obtaining uniform estimatives of attractors. We finally we present some simulations on synchronization of coupled systems as an application on communication systems

Neste trabalho são apresentados os resultados do desenvolvimento e teste de esquemas upwind de alta resolução para o controle da difusão numérica em leis de conservação gerais e problemas em dinâmica dos fluidos. Em particular, são derivados dois novos esquemas: o ALUS (Adaptive Linear Upwind Scheme) e o TOPUS (Third-Order Polynomial Upwind Scheme). Esses esquemas são testados no transporte de escalares, em equações 1D tipo convecção-difusão, em sistemas hiperbólicos 1D, nas equações de Euler 2D da dinâmica dos gases e nas equações de Navier-Stokes incompressíveis 2D/3D. Os esquemas são então associados a uma modelagem algébrica não linear para a simulação de problemas de escoamentos incompressíveis turbulentos 2D com/sem superfícies livres / In this work, results of the development and testing of high-resolution upwind schemes for controlling of the numerical diffusion for general conservation laws and fluid dynamics problems are presented. In particular, two new high-resolution upwind schemes are derived, namely, the ALUS (Adaptive Linear Upwind Scheme) and the TOPUS (Third-Order Polynomial Upwind Scheme). These schemes are tested in scalar transport, 1D convection-diffusion equations, 1D hyperbolic systems, 2D Euler equations of the gas dynamics, and in 2D/3D incompressible Navier-Stokes equations. The schemes are then combined with a nonlinear Reynolds stress algebraic equation model for the simulation of 2D incompressible turbulent flows with/without free surfaces

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho é apresentado um novo método acurado com passo de tempo fracionário, baseado em uma técnica de decomposição de operadores, para a solução numérica de um sistema governante de equações diferenciais parciais que modela escoamento trifásico água-gás-óleo imiscível em reservatórios de petróleo heterogêneos no qual os efeitos de compressibilidade do gás não foram levados em conta. A técnica de decomposição de operadores em dois níveis permite o uso de passos de tempo distintos para os três problemas definidos pelo procedimento de decomposição: convecção, difusão e pressão-velocidade. Um sistema hiperbólico de leis de conservação que modela o transporte convectivo das fases fluidas é aproximado por um esquema central de diferenças finitas explícito, conservativo, não oscilatório e de segunda ordem. Este esquema é combinado com elementos finitos mistos, localmente conservativos, para a aproximação numérica dos sistemas de equações parabólico e elíptico associados aos problemas de transporte difusivo e de pressão-velocidade, respectivamente. O operador temporal associado ao sistema parabólico é resolvido fazendo-se uso de uma estratégia implícita de solução (Backward Euler). O modelo matemático para escoamento trifásico considerado neste trabalho leva em conta as forças de capilaridade e expressões gerais para as funções de permeabilidade relativa, campos variáveis de porosidade e de permeabilidade e os efeitos da gravidade. A escolha de expressões gerais para as funções de permeabilidade relativa pode levar à perda de hiperbolicidade escrita e, desta maneira, à existência de uma região elíptica ou de pontos umbílicos para o sistema não linear de leis de conservação hiperbólicas que descreve o transporte convectivo das fases fluidas. Como consequência, a perda de hiperbolicidade pode levar à existência de choques não clássicos (também chamados de choques transicionais ou choques subcompressivos) nas soluções de escoamentos trifásicos. O novo procedimento numérico foi usado para investigar a existência e a estabilidade de choques não clássicos, com respeito ao fenômeno de fingering viscoso, em problemas de escoamentos trifásicos bidimensionais em reservatórios heterogêneos, estendendo deste modo resultados disponíveis na literatura para problemas de escoamentos trifásicos unidimensionais. Experimentos numéricos, incluindo o estudo de estratégias de injeção alternada de água e gás (Water-Alternating-Gas (WAG)), indicam que o novo procedimento numérico proposto conduz com eficiência computacional a resultados numéricos com precisão. Perspectivas para trabalhos de pesquisa futuros são também discutidas, tomando como base os desenvolvimentos reportados nesta tese. / We present a new, accurate fractional time-step method based on an operator splitting technique for the numerical solution of a system of partial differential equations modeling three-phase immiscible water-gas-oil flow problems in heterogeneous petroleum reservoirs in which the compressibility effects of the gas was not take into account. A two-level operator splitting technique allows for the use of distinct time steps for the three problems defined by the splitting procedure: convection, diffusion and pressure-velocity. A system of hyperbolic conservation laws modelling the convective transport of the fluid phases is approximated by a high resolution, nonoscillatory, second-order, conservative central difference scheme in the convection step. This scheme is combined with locally conservative mixed finite elements for the numerical solution of the parabolic and elliptic problems associated with the diffusive transport of fluid phases and the pressure-velocity problem, respectively. The time discretization of the parabolic problem is performed by means of the implicit backward Euler method. The mathematical model for the three-phase flow considered in this work takes into account capillary forces and general expressions for the relative permeability functions, variable porosity and permeability fields, and the effect of gravity. The choice of general expressions for the relative permeability functions may lead to the loss of strict hyperbolicity and, therefore, to the existence of an elliptic region of umbilic points for the systems of nonlinear hyperbolic conservation laws describing the convective transport of the fluid phases. As a consequence, the loss of hyperbolicity may lead to the existence of nonclassical shocks (also called transitional shocks or undercompressive shocks) in three-phase flow solutions. The numerical procedure was used in an investigation of the existence and stability of nonclassical shocks with respect to viscous fingering in heterogeneous two-dimensional flows, thereby extending previous results for one-dimensional three-phase flow available in the literature. Numerical experiments, including the study of Water-Alternating-Gas (WAG) injection strategies, indicate that the proposed new numerical procedure leads to computational efficiency and accurate numerical results. Directions for further research are also discussed, based on the developments reported in this thesis.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho é apresentado um novo método acurado com passo de tempo fracionário, baseado em uma técnica de decomposição de operadores, para a solução numérica de um sistema governante de equações diferenciais parciais que modela escoamento trifásico água-gás-óleo imiscível em reservatórios de petróleo heterogêneos no qual os efeitos de compressibilidade do gás não foram levados em conta. A técnica de decomposição de operadores em dois níveis permite o uso de passos de tempo distintos para os três problemas definidos pelo procedimento de decomposição: convecção, difusão e pressão-velocidade. Um sistema hiperbólico de leis de conservação que modela o transporte convectivo das fases fluidas é aproximado por um esquema central de diferenças finitas explícito, conservativo, não oscilatório e de segunda ordem. Este esquema é combinado com elementos finitos mistos, localmente conservativos, para a aproximação numérica dos sistemas de equações parabólico e elíptico associados aos problemas de transporte difusivo e de pressão-velocidade, respectivamente. O operador temporal associado ao sistema parabólico é resolvido fazendo-se uso de uma estratégia implícita de solução (Backward Euler). O modelo matemático para escoamento trifásico considerado neste trabalho leva em conta as forças de capilaridade e expressões gerais para as funções de permeabilidade relativa, campos variáveis de porosidade e de permeabilidade e os efeitos da gravidade. A escolha de expressões gerais para as funções de permeabilidade relativa pode levar à perda de hiperbolicidade escrita e, desta maneira, à existência de uma região elíptica ou de pontos umbílicos para o sistema não linear de leis de conservação hiperbólicas que descreve o transporte convectivo das fases fluidas. Como consequência, a perda de hiperbolicidade pode levar à existência de choques não clássicos (também chamados de choques transicionais ou choques subcompressivos) nas soluções de escoamentos trifásicos. O novo procedimento numérico foi usado para investigar a existência e a estabilidade de choques não clássicos, com respeito ao fenômeno de fingering viscoso, em problemas de escoamentos trifásicos bidimensionais em reservatórios heterogêneos, estendendo deste modo resultados disponíveis na literatura para problemas de escoamentos trifásicos unidimensionais. Experimentos numéricos, incluindo o estudo de estratégias de injeção alternada de água e gás (Water-Alternating-Gas (WAG)), indicam que o novo procedimento numérico proposto conduz com eficiência computacional a resultados numéricos com precisão. Perspectivas para trabalhos de pesquisa futuros são também discutidas, tomando como base os desenvolvimentos reportados nesta tese. / We present a new, accurate fractional time-step method based on an operator splitting technique for the numerical solution of a system of partial differential equations modeling three-phase immiscible water-gas-oil flow problems in heterogeneous petroleum reservoirs in which the compressibility effects of the gas was not take into account. A two-level operator splitting technique allows for the use of distinct time steps for the three problems defined by the splitting procedure: convection, diffusion and pressure-velocity. A system of hyperbolic conservation laws modelling the convective transport of the fluid phases is approximated by a high resolution, nonoscillatory, second-order, conservative central difference scheme in the convection step. This scheme is combined with locally conservative mixed finite elements for the numerical solution of the parabolic and elliptic problems associated with the diffusive transport of fluid phases and the pressure-velocity problem, respectively. The time discretization of the parabolic problem is performed by means of the implicit backward Euler method. The mathematical model for the three-phase flow considered in this work takes into account capillary forces and general expressions for the relative permeability functions, variable porosity and permeability fields, and the effect of gravity. The choice of general expressions for the relative permeability functions may lead to the loss of strict hyperbolicity and, therefore, to the existence of an elliptic region of umbilic points for the systems of nonlinear hyperbolic conservation laws describing the convective transport of the fluid phases. As a consequence, the loss of hyperbolicity may lead to the existence of nonclassical shocks (also called transitional shocks or undercompressive shocks) in three-phase flow solutions. The numerical procedure was used in an investigation of the existence and stability of nonclassical shocks with respect to viscous fingering in heterogeneous two-dimensional flows, thereby extending previous results for one-dimensional three-phase flow available in the literature. Numerical experiments, including the study of Water-Alternating-Gas (WAG) injection strategies, indicate that the proposed new numerical procedure leads to computational efficiency and accurate numerical results. Directions for further research are also discussed, based on the developments reported in this thesis.

Submitted by Paulo Gustavo Grahl (pgrahl@fgvmail.br) on 2013-10-18T05:32:44Z No. of bitstreams: 1 DoutoradoPG_final.pdf: 23501670 bytes, checksum: 55b15051b9acc69ac74e639efe776fae (MD5) / Approved for entry into archive by ÁUREA CORRÊA DA FONSECA CORRÊA DA FONSECA (aurea.fonseca@fgv.br) on 2013-10-28T18:22:53Z (GMT) No. of bitstreams: 1 DoutoradoPG_final.pdf: 23501670 bytes, checksum: 55b15051b9acc69ac74e639efe776fae (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2013-10-29T18:24:15Z (GMT) No. of bitstreams: 1 DoutoradoPG_final.pdf: 23501670 bytes, checksum: 55b15051b9acc69ac74e639efe776fae (MD5) / Made available in DSpace on 2013-10-29T18:25:35Z (GMT). No. of bitstreams: 1 DoutoradoPG_final.pdf: 23501670 bytes, checksum: 55b15051b9acc69ac74e639efe776fae (MD5) Previous issue date: 2012-12-22 / Esta dissertação concentra-se nos processos estocásticos espaciais definidos em um reticulado, os chamados modelos do tipo Cliff & Ord. Minha contribuição nesta tese consiste em utilizar aproximações de Edgeworth e saddlepoint para investigar as propriedades em amostras finitas do teste para detectar a presença de dependência espacial em modelos SAR (autoregressivo espacial), e propor uma nova classe de modelos econométricos espaciais na qual os parâmetros que afetam a estrutura da média são distintos dos parâmetros presentes na estrutura da variância do processo. Isto permite uma interpretação mais clara dos parâmetros do modelo, além de generalizar uma proposta de taxonomia feita por Anselin (2003). Eu proponho um estimador para os parâmetros do modelo e derivo a distribuição assintótica do estimador. O modelo sugerido na dissertação fornece uma interpretação interessante ao modelo SARAR, bastante comum na literatura. A investigação das propriedades em amostras finitas dos testes expande com relação a literatura permitindo que a matriz de vizinhança do processo espacial seja uma função não-linear do parâmetro de dependência espacial. A utilização de aproximações ao invés de simulações (mais comum na literatura), permite uma maneira fácil de comparar as propriedades dos testes com diferentes matrizes de vizinhança e corrigir o tamanho ao comparar a potência dos testes. Eu obtenho teste invariante ótimo que é também localmente uniformemente mais potente (LUMPI). Construo o envelope de potência para o teste LUMPI e mostro que ele é virtualmente UMP, pois a potência do teste está muito próxima ao envelope (considerando as estruturas espaciais definidas na dissertação). Eu sugiro um procedimento prático para construir um teste que tem boa potência em uma gama de situações onde talvez o teste LUMPI não tenha boas propriedades. Eu concluo que a potência do teste aumenta com o tamanho da amostra e com o parâmetro de dependência espacial (o que está de acordo com a literatura). Entretanto, disputo a visão consensual que a potência do teste diminui a medida que a matriz de vizinhança fica mais densa. Isto reflete um erro de medida comum na literatura, pois a distância estatística entre a hipótese nula e a alternativa varia muito com a estrutura da matriz. Fazendo a correção, concluo que a potência do teste aumenta com a distância da alternativa à nula, como esperado. / This dissertation focus on spatial stochastic process on a lattice (Cliff & Ord--type of models). My contribution consists of using Edgeworth and saddlepoint series to investigate small sample size and power properties of tests for detecting spatial dependence in spatial autoregressive (SAR) stochastic processes, and proposing a new class of spatial econometric models where the spatial dependence parameters that enter the mean structure are different from the ones in the covariance structure. This allows a clearer interpretation of models' parameters and generalizes the set of local and global models suggested by Anselin (2003) as an alternative to the traditional Cliff & Ord models. I propose an estimation procedure for the model's parameters and derive the asymptotic distribution of the parameters' estimators. The suggested model provides some insights on the structure of the commonly used mixed regressive, spatial autoregressive model with spatial autoregressive disturbances (SARAR). The study of the small sample properties of tests to detect spatial dependence expands on the existing literature by allowing the neighborhood structure to be a nonlinear function of the spatial dependence parameter. The use of series approximations instead of the often used Monte Carlo simulation allows a simple way to compare test properties across different neighborhood structures and to correct for size when comparing power. I obtain the power envelope for testing the presence of spatial dependence in the SAR process using the optimal invariant test statistic, which is also locally uniformly most powerful invariant (LUMPI). I have found that the LUMPI test is virtually UMP since its power is very close to the power envelope. I suggest a practical procedure to build a test that, while not UMP, retain good power properties in a wider range for the spatial parameter when compared to the LUMPI test. I find that power increases with sample size and with the spatial dependence parameter -- which agrees with the literature. However, I call into question the consensus view that power decreases as the spatial weight matrix becomes more densely connected. This finding in the literature reflects an error of measure because the hypothesis being compared are at very different statistical distance from the null. After adjusting for this, the power is larger for alternative hypothesis further away from the null -- as one would expect.