MINISTRIO DA EDUCAO

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL

PROGRAMA DE PS-GRADUAO EM ENGENHARIA MECNICA

SOLUES PARTICULARES PARA AS EQUAES DE NAVIER-STOKES

TRIDIMENSIONAIS TRANSIENTES.

por

Daniel Beck

Tese para obteno do Ttulo de

Doutor em Engenharia

Porto Alegre, Dezembro de 2009

SOLUES PARTICULARES PARA AS EQUAES DE NAVIER-STOKES

TRIDIMENSIONAIS TRANSIENTES.
por

Daniel Beck
Mestre em engenharia

Tese submetida ao Corpo Docente do Programa de Ps-Graduao em Engenharia

Mecnica, PROMEC, da Escola de Engenharia da Universidade Federal do Rio Grande do Sul,
como parte dos requisitos necessrios para a obteno do Ttulo de

Doutor em Engenharia

rea de Concentrao: Fenmenos de transporte

Orientador: Prof. Dr. Jorge R. S. Zabadal

Comisso de Avaliao:

Prof. Dr. Bardo Ernest Josef bodmann PROMEC/UFRGS

Prof. Dr. Jorge A. V. Ale PUC/RS

Prof. Dr. Nilo Srgio Medeiros Cardozo PPGEQ/UFRGS

Prof. Dr. Srgio Luiz Frey PROMEC/UFRGS

Prof. Dr. Horcio A. Vielmo

Coordenador do PROMEC

Porto Alegre, 11 de dezembro de 2009.

2

RESUMO

Este Trabalho apresenta novas solues exatas para as equaes de Navier Stokes
transientes tridimensionais para escoamentos viscosos incompressveis. Estas solues so
obtidas por meio de Split e Transformaes Auto-Bcklund. O procedimento de Split desacopla
as equaes de Navier Stokes em dois sistemas de equaes diferenciais parciais, um linear e
outro no-linear, ambos no-homogneos. O sistema linear, que contm somente termos viscosos
e derivadas temporais, resolvido via Transformaes Auto-Bcklund induzidas por relaes de
comutao, fornecendo o campo de velocidades. Os componentes do vetor velocidade so ento
substitudos no sistema no-linear a fim de obter o correspondente campo de presses. A
resoluo do sistema no-linear para a presso pode ser obtida tanto numericamente (via
integrao direta) quanto analiticamente, empregando a equao de Helmholtz.
O objetivo do presente trabalho encontrar expresses analticas para o campo de
velocidades e obter resultados numricos para o campo de presso associado. O carter hbrido
das solues proporciona uma reduo significativa do tempo de processamento requerido para a
simulao de escoamentos viscosos, o qual praticamente se reduz ao tempo demandado para a
tarefa de ps-processamento. Com esse objetivo em mente, foi desenvolvida uma formulao
tridimensional escalar para a funo corrente, a fim de reduzir o tempo requerido na tarefa mais
dispendiosa de ps-processamento, a saber, o traado das linhas de corrente em torno de corpos
submersos de formato arbitrrio. Neste estgio de desenvolvimento, esta formulao
empregada para produzir mapas de linhas de corrente para escoamentos viscosos em torno de
uma esfera para nmeros de Reynolds elevados.
PALAVRAS-CHAVE: Sistema Navier-Stokes; Transformaes Auto-Bcklund, escoamento
turbulento; Campo de presso.

ABSTRACT

This work presents new exact solutions to the unsteady three dimensional Navier-Stokes
equations for incompressible viscous flows. These solutions are obtained by means of split and
auto-Bcklund transformations. The splitting procedure decouples the Navier-Stokes equations
into a linear and a nonlinear inhomogeneous system of partial differential equations. The linear
system, which contains only viscous terms and time derivatives, is solved via auto-Bcklund
transformations induced by commutation relations, furnishing the velocity field. The components
of the velocity vector are then replaced into the nonlinear system to obtain the corresponding
pressure field. The solution of the nonlinear system for the pressure variable can be carried out
either numerically (by direct integration) or analytically, using the Helmholtz equation .
The aim of the proposed work is to find analytical expressions for the velocity field and
to obtain numerical results to the associated pressure field. The hybrid character of the solutions
provides a significant reduction on the time processing required to simulate viscous flows, which
virtually reduces to the time demanded to execute post-processing tasks. Taking this fact in
mind, a three dimensional scalar formulation for the streamfunction was developed in order to
simplify the most time-consuming post-processing task required, e.g., plotting the streamlines
around arbitrary shaped bodies. At this stage of development, this formulation is employed to
produce streamline maps for viscous flows around a sphere for high Reynolds numbers.

KEYWORDS: Navier-Stokes system; auto-Bcklund transformations; turbulent flow; pressure

profile.

SUMRIO
1.

INTRODUO ................................................................................................................................................. 8
1.1.

2.

REVISO BIBLIOGRFICA. ...................................................................................................................... 14

2.1.
2.2.
2.3.
2.4.
2.5.
2.6.
2.7.
2.8.

3.

ABORDAGEM NUMRICA E ANALTICA ........................................................................................ 11

MTODOS BASEADOS EM SIMETRIAS............................................................................................ 14

MTODOS BASEADOS EM SPLIT. ..................................................................................................... 15
SIMETRIAS OBTIDAS VIA SUBSTITUIO DIRETA...................................................................... 20
SIMETRIAS OBTIDAS VIA TRANSFORMAES DE BCKLUND................................................ 21
SIMETRIAS OBTIDAS VIA APLICAO DO GRUPO DE LIE ......................................................... 23
SIMULAO DE ESCOAMENTOS VIA SOLUES ANALTICAS................................................ 27
SIMULAES DE ESCOAMENTOS VIA SOLUES NUMRICAS E/OU HBRIDAS................. 28
SIMULAO ANALTICA DE ESCOAMENTOS TURBULENTOS.................................................. 30

DESCRIO DO MTODO ......................................................................................................................... 42

3.1.
TRANSFORMAES AUTO-BCKLUND INDUZIDAS POR OPERADORES. .............................. 43
3.2.
TRANSFORMAO AUTO-BCKLUND INDUZIDA POR UMA RELAO DE COMUTAO
EM COORDENADAS CILINDRICAS. ................................................................................................................ 51
3.3.
CORRELAO ENTRE EQUAES DE NAVIER-STOKES E HELMHOLTZ. ............................... 52

4.

MODELO ESCALAR PARA A FUNO CORRENTE. .......................................................................... 55

4.1.
CORRESPONDNCIA ENTRE OS ESPAO NULO DAS COMPONENTES DA VELOCIDADE E
DA FUNO CORRENTE. .................................................................................................................................. 57

5.

RESULTADOS. ............................................................................................................................................... 60
5.2.
RESULTADOS PRELIMINARES.......................................................................................................... 60
5.1.
CONDIES RESTRITIVAS ................................................................................................................ 62
5.2.
RESULTADOS OBTIDOS VIA SOLUO EM COORDENADAS CILINDRICAS........................... 67
5.2.3. APLICAO DO GRUPO DE LIE..................................................................................................... 68
5.3.
SIMULAO DE ESCOAMENTO EM TORNO DE UMA ESFERA................................................... 69

6.

CONCLUSES E RECOMENDAES PARA TRABALHOS FUTUROS............................................ 78

7.

REFERNCIAS BIBLIOGRFICAS........................................................................................................... 81
APNDICE A ........................................................................................................................................................ 86
APNDICE B......................................................................................................................................................... 88
APNDICE C......................................................................................................................................................... 92
APNDICE D ........................................................................................................................................................ 93
APNDICE E......................................................................................................................................................... 94
ESTIMATIVA DO RAIO MDIO DOS VRTICES EM FUNO DO NMERO DE REYNOLDS............................................. 94

LISTA DE SMBOLOS
CD

Coeficiente de arrasto.

CL

Coeficiente de sustentao.

Freqncia.

Hz

FD
FL

Fora de arrasto
Fora de sustentao

Presso

Velocidade longitudinal.

Velocidade transversal.

Velocidade transversal.

Funo Corrente.

Funo Corrente referente condio inicial.

Massa Especfica.

Viscosidade.

Viscosidade cinemtica.

Comprimento caracterstico.

u0

Velocidade inicial.

m
s

kg
m3
kg

m.s

u0 L

r0

Nmero de Reynolds.

Raio mdio dos vrtices.

Raio da esfera.

Re

m2
s

NDICE DE FIGURAS
Figura 1.1: Processo de Verificao. Fonte [Oberkampf, 2002]...................................................13
Figura 2.1: Escoamento em torno de um cilindro. Fonte: Oate (2007).......................................29
Figura 2.2: escoamento em torno de um cilindro, Re 104 .........................................................35
Figura 2.3: Escoamento em torno de um cilindro, Re 105 . .......................................................36
Figura 2.4 : Funo corrente em perspectiva,fonte: [Beck, 2005] ................................................39
Figura 2.5: Perfil da componente u ao longo da superfcie do cilindro. [Beck, 2005] .................40
Figura 2.6: Coeficiente de Presso (Re=6,7.105) ..........................................................................40
Figura 5.1: Esteira completa, Z=0.................................................................................................63
Figura 5.2: Esteira: Descolamento, Z=0........................................................................................63
Figura 5.3: Esteira completa, Z=0.3..............................................................................................64
Figura 5.4: Esteira: Descolamento , Z=0.3....................................................................................64
Figura 5.5: Esteira completa, Z=0.6..............................................................................................65
Figura 5.6: Esteira: Descolamento, Z=0.6.....................................................................................65
Figura 5.7: Esteira completa, Z=0.9..............................................................................................66
Figura 5.8: Esteira: Descolamento, Z=0.9.....................................................................................66
Figura 5.9: Coeficiente de presso em funo do ngulo da esfera. .............................................71
Figura 5.10: Coeficiente de presso invscido e para Re tendendo a infinito (simulao). ..........71
Figura 5.11: Coeficiente de Arrasto em funo do nmero de Reynolds. ....................................72
Figura 5.12: Esteira de vrtices completa, z 0 , Re 104 . ........................................................73
Figura 5.13: A interface como fonte de vorticidade ( z 0 , Re 104 ). .......................................74
Figura 5.14: Esteira completa, z 0.6. Re 104 ..........................................................................75
Figura 5.15: Esteira completa, z 0.9. Re 104 ..........................................................................75
Figura 5.16: Esteira completa, z 1.5. Re 104 . .........................................................................76
Figura 5.17: Esteira completa, z 1.8 , Re 104 . .........................................................................76
Figura 5.18: Esteira completa, z 2.4 , Re 104 ..........................................................................77

1.

INTRODUO

A simulao de escoamentos turbulentos para altos nmeros de Reynolds, assim como

uma teoria para a turbulncia que explique de forma consistente e relativamente acurada os
mecanismos fsicos envolvidos, vem sendo continuamente objeto de pesquisa cientfica.
Todavia, apesar do esforo despendido durante dcadas no estudo deste fenmeno, mesmo uma
definio conceitual concisa do fenmeno em questo parece, a princpio, de difcil formulao.
Segundo Hinze (1959), o movimento turbulento de um fluido uma condio irregular de
escoamento em que vrios parmetros apresentam uma variao randmica nas coordenadas
espaciais e temporais, de modo que, estatisticamente, valores mdios podem ser discernidos. A
natureza aparentemente randmica do escoamento turbulento um dos principais fatores que
dificultam a obteno e at mesmo a aceitao de modelos determinsticos para a descrio do
surgimento e da amplificao das componentes flutuantes. Outra caracterstica importante que
vem a oferecer dificuldades adicionais o comportamento essencialmente tridimensional da
turbulncia, que combinado ao fato de que o movimento ocorre em uma ampla faixa de escalas,
da ordem de 104 m at 103 m [Liggett, 1994], (em casos de escoamentos atmosfricos), gera
enorme dificuldade no que diz respeito prpria compreenso, e portanto, no modelamento e na
simulao destes fenmenos.
Basicamente, a modelagem matemtica de escoamentos incompressveis de fluidos
newtonianos baseia-se na resoluo do sistema de equaes de Navier-Stokes [Schlichting,
1968], que na sua forma vetorial dado por

1 2

V
V V
V p f ,
Re
t

(1.1)

onde V corresponde ao vetor velocidade e p presso. Aqui, f o vetor fora de campo. Alm

de satisfazer esta equao, o perfil de velocidades deve igualmente satisfazer V 0 , ou seja, o

divergente do vetor velocidade deve ser nulo. Esta restrio conhecida como Equao da
Continuidade e garante que o balano de massa no seja violado [White, 1974].
Devido dificuldade de resoluo analtica destas equaes, especialmente devido
presena de termos no-lineares, a simulao de escoamentos turbulentos em geral, tem sido
tradicionalmente efetuada por via numrica.

Os mtodos numricos constituem ferramentas extremamente versteis na obteno de

solues de problemas de contorno em diversas reas de interesse prtico. Seu horizonte de
aplicao em engenharia bastante amplo, pois as formulaes numricas praticamente no
encontram restries no que diz respeito geometria do domnio e natureza da equao a
resolver, bem como das condies de contorno a aplicar. Todavia, existe uma dificuldade de
ordem prtica no que diz respeito aplicao direta de mtodos numricos a determinados
problemas em Mecnica de Fluidos. Ao efetuar simulaes de escoamentos para altos Reynolds
( Re 106 ), o custo computacional dessas formulaes consideravelmente elevado, devido
necessidade de refino da malha, que ocorre em funo do surgimento de pequenos vrtices e
oscilaes de elevado nmero de onda. Essas perturbaes, produzidas pela ao dos termos
inerciais das equaes de Navier-Stokes e Helmholtz, caracterizam uma estrutura tpica das
esteiras de vrtices, denominada cascata de Kolmogorov. Ocorre que a necessidade de refino da
malha para elevados nmeros de Reynolds constitui um srio inconveniente na simulao de
escoamentos turbulentos via mtodos numricos, devido ao elevado tempo de processamento
requerido para a obteno das respectivas solues aproximadas. Alm disso, mesmo as malhas
mais finas no so capazes de amostrar as componentes flutuantes produzidas na escala da
rugosidade (da ordem de fraes de milmetros) e na escala molecular (da ordem de
nanmetros), razo pela qual se torna necessrio implementar modelos de turbulncia, que
implicam no surgimento de termos extras nas equaes de Navier-Stokes. Esses termos extras
no apenas so suprfluos, uma vez que as prprias parcelas no-lineares j existentes nas
equaes de Navier-Stokes produzem todo o espectro das flutuaes, mas tambm violam
algumas das prprias leis de conservao que originam as equaes de balano. Um exemplo
evidente de tal violao facilmente verificado quando se aplica o operador rotacional sobre as
equaes de Navier-Stokes providas de modelos de turbulncia. Essa operao resulta na
produo de termos adicionais na equao de Helmholtz, que constituem uma violao flagrante
do balano de vorticidade.
A principal premissa que orienta o trabalho proposto bastante simples e absolutamente
objetiva: se a principal finalidade do emprego de um modelo matemtico consiste em efetuar
previses, o horizonte de predio desse modelo no pode ser ampliado atravs da incluso de
equaes auxiliares sem qualquer respaldo lgico, ainda que os respectivos dados experimentais
sejam fielmente reproduzidos para cenrios especficos de interesse. Em primeiro lugar, havendo
sido reproduzidos com alto grau de exatido os resultados experimentais para cenrios
particulares, no existe qualquer garantia de que novos cenrios venham a ser reproduzidos pelo
modelo provido de tais equaes auxiliares. Nesse caso, mais conveniente efetuar ajustes de
9

equaes utilizando princpios de anlise dimensional e anlise estatstica multivariada,

procedimento bastante simples, que alm de no demandar esforo computacional aprecivel,
constitui acima de tudo uma abordagem honesta no que se refere ao pretenso conhecimento
sobre o dito "estado da arte" na rea de interesse. Em segundo lugar, a ampliao do horizonte de
predio de um modelo baseado em leis de conservao deve ser efetuada exclusivamente
atravs da incorporao de novas leis de conservao, correspondentes a mecanismos at ento
no considerados na anlise. Esta a nica forma de evitar retrocessos no que diz respeito ao
refinamento da formulao e extenso do seu conjunto de aplicaes.
Os argumentos anteriores induzem naturalmente a formular modelos baseados em
simetrias. Simetrias so mudanas de varivel que convertem solues exatas de uma equao
diferencial em novas solues exatas, que contm maior nmero de elementos arbitrrios. Essas
mudanas de varivel esto associadas a leis de conservao admitidas pela equao diferencial,
que por sua vez correspondem a mecanismos fsicos que governam a dinmica do sistema. O
objetivo do presente trabalho consiste em apresentar uma linha metodolgica analtica baseada
em simetrias, a partir da qual possam ser obtidas solues exatas capazes de reproduzir as
principais caractersticas dos escoamentos turbulentos para altos nmeros de Reynolds,
utilizando apenas equaes diferenciais oriundas de balanos em sua forma original, sem lanar
mo de artifcios inconsistentes com leis bsicas de conservao. Nesta proposta, as nicas
hipteses simplificativas a princpio admissveis consistem nas premissas clssicas de
escoamento incompressvel, fluido newtoniano e desconsiderao de foras de campo atuantes,
que constituem hipteses fracas sobre o fenmeno em estudo. Ainda que as solues exatas
obtidas atravs dessa formulao sejam particulares, e portanto no venham a reproduzir todas as
caractersticas dos escoamentos turbulentos, a incorporao de novas simetrias correspondentes a
mecanismos ainda no considerados pode ser efetuada de modo progressivamente mais simples.
A abordagem analtica est baseada em mtodos para obteno indireta de simetrias de Lie
[Olver, 2000; Bluman, G.; Kumei, S, 1989; Dattoli et alli, 1998; Ibragimov, 1995], bem como
mtodos baseados em Split [Zwillinger, 1992]. Como mencionado anteriormente, as simetrias de
consistem em mudanas de varivel, utilizadas para transformar solues exatas de equaes
diferenciais previamente obtidas em novas solues, que por sua vez possuem maior nmero de
elementos arbitrrios em sua composio. A presena desses elementos arbitrrios faz com que a
soluo obtida seja capaz de satisfazer uma classe mais ampla de condies de contorno, ou, de
forma alternativa, seja capaz de satisfazer a um determinado conjunto de condies de contorno
em regies relativamente extensas do domnio considerado. Assim, as simetrias podem ser

10

utilizadas para resolver problemas de contorno em malha grossa, ou mesmo dispensar a

discretizao do domnio, produzindo solues analticas vlidas em toda a sua extenso.

1.1. ABORDAGEM NUMRICA E ANALTICA

A resoluo das equaes de Navier-Stokes, desde a poca de sua formulao, vem sendo
alvo de pesquisas cientficas no sentido de se obter solues exatas que de fato consigam
reproduzir aspectos fsicos reais de escoamentos de fluidos, sejam eles de caractersticas
laminares ou turbulentas. Porm, apesar de todo esforo empregado, e, de fato, considerveis
avanos terem ocorrido ao longo das dcadas passadas, a obteno de solues que simulem,
principalmente, escoamentos turbulentos ainda fica aqum das expectativas.
Devido o grau de dificuldade de obteno de solues analtica para as equaes de
Navier-Stokes, principalmente por se tratar de um sistema de trs equaes no lineares de
segunda ordem, a utilizao da mesma para simular escoamentos reais, historicamente, esteve
atrelada a hipteses simplificativas que restringissem a modelagem pela simplificao de
determinados termos nas equaes originais, o que resultava em equaes simplificadas cuja
soluo era obtida via mtodos clssicos de resoluo. Dentre estes casos, pode-se citar os
escoamentos de Couette e Hagen-Poiseuille, ou os problemas de Stokes [Schlichting, 1968].
Entretanto, grande parte da modelagem de escoamentos reais no permite que se faa hipteses
simplificativas a ponto de se obter uma soluo analtica para o problema via mtodos clssicos
de resoluo de equaes diferenciais, como por exemplo, integrao direta. Sendo assim, a
abordagem mais difundida no meio acadmico, aplicada simulao de escoamentos, sejam eles,
transitivos ou turbulentos foi, inevitavelmente, a resoluo das equaes de Navier-Stokes por
via numrica.
Atualmente, algumas tcnicas numricas vm sendo empregadas no sentido de simular
escoamentos turbulentos ou em transio. Dentre elas, vale destacar a simulao de grandes
vrtices (LES) e tambm, por outro lado, a simulao numrica direta (DNS) [Nezu, 1993]. A
simulao numrica direta permite simular escoamentos transientes tridimensionais a partir da
resoluo numrica das equaes de Navier-Stokes, sem modelos auxiliares adicionais, da
mesma maneira do que se faz para o caso de escoamentos laminares. Contudo, devido o fato de a
turbulncia ter um grande espectro de energia, desde a macroescala at a microescala, solues
para altos nmeros de Reynolds so difceis de obter, mesmo em supercomputadores. Isto se
deve ao elevado nmero de pontos necessrios na malha para englobar os efeitos fsicos, tanto
em macro e em micro escala. Segundo Nezu e Nakagawa (1993), o nmero de pontos
11

necessrios para simulao direta das equaes de Navier-Stokes proporcional potncia do

nmero de Reynolds na forma
N Re

9
4

(1.2)

A simulao numrica direta necessita um grande tempo de processamento e

considervel memria para armazenamento dos dados. Por exemplo, N da ordem de 109 para
nmero de Reynolds igual a 104 . Outra limitao numrica intrnseca a impossibilidade de
reproduo de efeitos como flutuaes de altas freqncias, devido necessidade de utilizao de
malha, que por mais refinada que seja, ainda no consegue reproduzir estas flutuaes.
Ao contrrio dos mtodos numricos, a abordagem analtica oferece meios que podem vir
a possibilitar a obteno de solues exatas capazes de descrever cenrios fsicos reais, sem os
nus relativos ao emprego de mtodos discretos citados anteriormente. Alm disso, a validao
e verificao de simulaes computacionais, no que tange principalmente aos pacotes comerciais
de simulaes numricas, tem sido objeto de discusso de diferentes rgos e institutos ligados a
simulaes computacionais [Oberkampf, 2002], como American Institute of Aeronautics and
Astronautics (AIAA) e Defence Modeling and Simulation Organization (DMSO). O Objetivo do

debate estabelecer uma metodologia hierrquica que abranja a rea de Mecnica dos Fluidos
Computacional (CFD), no sentido de estabelecer uma forma de garantir a validao e
acuracidade dos resultados.
Em 1992, a AIAA comeou um projeto cujo objetivo foi formular e padronizar a
terminologia bsica e metodologia na validao e verificao de simulaes realizadas via CFD.
Deste projeto resultou a publicao do Guide for the Verification and Validation of
Computational Fluid Dynamics Simulations [AIAA, 1998]. A estratgia fundamental de

verificao proposta por este guia a identificao, quantificao e reduo de erros em modelos
computacionais e suas respectivas solues.
Segundo Oberkampf (2002), a fim de quantificar erros das respectivas solues
numricas, uma fonte altamente acurada e confivel deve estar disponvel. Esta fonte a que o
autor se refere diz respeito, em primeira instncia, a solues analticas, obviamente, seguido de
comparaes via dados experimentais. Entretanto, o mesmo cita a dificuldade de obteno destas
solues.
As comparaes de resultados realizadas entre as solues obtidas via mtodos
computacionais e solues analticas, propiciam a garantia de que o modelo conceitual
resolvido corretamente pela matemtica discreta referentes ao cdigo computacional utilizado

12

para tal tarefa. Ilustrativamente, a figura 1.1 exemplifica o processo de verificao e comparao
das solues numricas provenientes dos cdigos computacionais em questo.

Figura 1.1
Figura 1.1: Processo de Verificao. Fonte [Oberkampf, 2002].

Com isso, mais do que justificvel a abordagem analtica, no que diz respeito
obteno de solues exatas capazes de simular escoamentos em dinmica de fluidos, devido sua
importncia no que tange utilizao das solues obtidas como fonte de comparao com
mtodos computacionais, a fim de valid-los. Em adio, a abordagem analtica no encontra
barreiras de aplicao prtica no que diz respeito a tempo de processamento. Outro ponto
importante a ser citado sobre as vantagens em se utilizar mtodos analticos para simulao de
escoamentos turbulentos a possibilidade de obteno de solues que prevejam flutuaes de
alta freqncia, como j mencionado, fato que ser exemplificado posteriormente.
No captulo subseqente, ser realizada uma reviso a respeito de alguns mtodos
analticos disponveis na literatura, os quais podem ser utilizados como ferramenta de obteno
de solues para equaes lineares e no-lineares. Dando continuidade, ser comentada a
motivao para a metodologia utilizada neste trabalho para a obteno de solues analticas
para as equaes de Navier-Stokes, bem como o ponto de partida para esta linha de raciocnio e
sua posterior evoluo at este trabalho. Por fim, sero apresentados os resultados obtidos,
incluindo simulao e comparao com dados da literatura, com posterior discusso dos
resultados e concluso.

13

2.

REVISO BIBLIOGRFICA.

Neste Captulo feita a exposio e exemplificao de uma srie de mtodos analticos

que tero aplicao direta ou indireta na soluo do problema proposto. Este resumo tem por
objetivo exemplificar cada forma de manipulao que poder ser utilizada mais adiante, visto
que estes mtodos tm sido mais utilizados por pesquisadores ligados escola europia do que
escola norte-americana, esta ltima a mais difundida no meio acadmico brasileiro. O leitor j
familiarizado com formulaes envolvendo split, simetrias de Lie e mapeamentos entre equaes
diferenciais pode passar diretamente ao Captulo 2.3.

2.1. MTODOS BASEADOS EM SIMETRIAS.

De forma geral, mtodos de resoluo de equaes diferenciais baseados em simetrias
consistem em mapear um subconjunto de solues exatas, em outro subconjunto, que contm o
anterior. Dessa forma, mesmo que as solues pr-existentes no sejam capazes de satisfazer s
condies de contorno exigidas, possvel utiliz-las para produzir novas solues, com nmero
maior de elementos arbitrrios, capazes de satisfazer as restries impostas.
Como ilustrao, uma possvel forma de obteno de simetrias pode ser exemplificada
tomando como ponto de partida a equao
f
2 f

,
t
x2

(2.1)

onde corresponde uma constante. Uma possvel soluo particular para esta equao dada
por

f1 c2 x 2 2 t + c1 x +c0 .

(2.2)

Esta soluo obedece a um conjunto relativamente restrito de condies de contorno. Entretanto,

a partir dessa expresso possvel construir novas solues exatas contendo maior nmero de
constantes arbitrrias. A soluo

f 2 = c3 x 3 + 6 xa t +c2 x 2 + 2a t +c1 x+c0 ,

(2.3)
14

obtida a partir de f1 atravs da aplicao de um operador ntegro-diferencial, contm maior

nmero de constantes arbitrrias, e se reduz a f1 para c3 0 , podendo, portanto, satisfazer a um
conjunto mais amplo de restries.
Todas as mudanas de variveis que transformam solues exatas de determinada
equao diferencial em novas solues ou em solues equivalentes so denominadas simetrias
admitidas pela equao ou simplesmente simetrias. Pode-se utilizar diversas tcnicas analticas

desenvolvidas para obter simetrias [Ibragimov, 1995; Dattoli et al., 1998; Zwillinger, 1992],
como o mtodo de substituio direta [Bluman e Kumei, 1989], as quais sero detalhadas nos
prximos sub-captulos.
No entanto, devido o fato de qualquer mtodo de simetria estar baseado em mudanas de
variveis em solues previamente encontradas, para dar incio ao processo de obteno de
novas solues, necessria ao menos uma soluo particular, a qual, dentre outras formas, pode
ser obtida por mtodos baseados em split, descritos a seguir.

2.2. MTODOS BASEADOS EM SPLIT.

Os mtodos baseados em Split consistem em desmembrar a equao diferencial, em geral,

em duas partes, gerando um sistema de duas equaes distintas. Para equaes diferenciais
expressas na forma Lf 0 , onde L um operador linear que pode ser escrito na forma
L A B Af Bf 0 , e B representa um operador facilmente inversvel, para o qual o

espao nulo seja conhecido. Dessa forma, diversas solues exatas podem ser obtidas atravs do
seguinte esquema iterativo:
A f k 1 f k
,

B f k 1 f k

(2.4)

onde f 0 0 . Neste sistema, as funes f k representam solues exatas da equao original.

Para que o processo iterativo possa ser aplicado nas equaes geradas pelo Split,
necessrio que

A, B 0 ,

ou seja, os operadores A e B devem comutar. Como exemplo, a

equao

15

f 2 f 2 f

t x 2 y 2

(2.5)

pode ser resolvida com a aplicao do Split, resultando no sistema

Af Q
,

Bf Q

onde A

(2.6)

2
2
e B . A comutatividade do sistema (2.6) pode ser verificada aplicando

2
2
t
x
y

2
2
3
3
AB 2 2 2 2
x y t x t y t
,

(2.7)

2
2
3
3

BA 2 2
2
2
t x y t x ty

O que implica em A, B 0 .
A condio de comutatividade pode ser demonstrada da seguinte maneira: tomando o
sistema
Af Q ,

(2.8)

Bf Q ;

(2.9)

aplica-se o operador B em (2.8) e o operador A em (2.9), o que resulta em

BAf BQ
.

ABf AQ

(2.10)

Subtraindo as equaes do sistema (2.10), obtm-se

BAf ABf BQ AQ .

(2.11)

Invertendo o sinal da equao (2.11) resulta em

16

AQ BQ ABf BAf A, B f

(2.12)

Assim, A, B f 0 implica em AQ BQ 0 . Este resultado possibilita alimentar a fonte Q

com a prpria soluo do sistema gerado pelo split, o que resulta no processo iterativo
A f k 1 f k
.

B f k 1 f k

(2.13)

Porm, vale salientar que a resoluo do sistema de equaes que gerado por uma
aplicao de Split, no necessariamente precisa ser resolvido via processo iterativo, como
descrito acima, mas tambm via outras ferramentas matemticas de resoluo.
Um exemplo deste mtodo pode ser dado partindo-se da equao

2 f 2 f 1 f
,

x2 y 2 k t

(2.14)

a qual expressa em termos dos operadores A e B da seguinte forma:

2
2
A

x2 y 2

B 1

k t

(2.15)

Como os coeficientes de A e B so constantes, conclui-se que os operadores comutam, ou seja,

AB=BA. Com isso, parte-se para o mtodo iterativo descrito em (2.4), comeando com uma fonte
nula, ou seja,

A f Q
,

B f Q

(2.16)

onde Q = 0 . Como o operador B facilmente inversvel e seu espao nulo conhecido,

possvel encontrar uma soluo para a equao referente ao operador B integrando a mesma com
relao ao tempo e somando o espao nulo correspondente. Assim,

17

f1 g1 ( x, y ) .

(2.17)

O prximo passo aplicar a soluo (2.17) na equao referente ao operador A do sistema (2.16),
o que resulta em

2
2
g1 ( x, y )
g1 ( x, y ) 0 .
x2
y2

(2.18)

A fim de solucionar esta equao, aplica-se um novo Split, o que resulta no sistema

2
2 g1 x, y 0
x
.

2
2 g1 x, y 0
y

(2.19)

Integrando a primeira equao do sistema (2.19) duas vezes, chega-se a uma expresso para g1
com o formato

g1 a y x b y .

(2.20)

onde a y e b y so funes arbitrrias de y. Substituindo esta expresso na segunda equao

do sistema (2.19), resulta em

a '' y x b '' y 0 .

(2.21)

A nica maneira de satisfazer esta equao fazendo a '' y 0 e b '' y 0 . Dessa forma, estas
funes resultam lineares em y:

a y c3 y c1 ,

b y c2 y c4 ,

(2.22)

gerando uma soluo com o formato

18

f1 g1 c1 x c2 y c3 xy c4 .

(2.23)

Encontrada esta soluo, aplica-se o mesmo processo novamente, agora introduzindo a

soluo (2.23) como nova fonte. Assim, Q c1 x c2 y c3 xy c4 , e a nova soluo toma a forma

f 2 k c1 x c2 y c3 xy c4 dt g 2 ( x, y ) k c1 xt c2 yt c3 xyt c4t g 2 ( x, y) . (2.24)

Substituindo esta expresso na primeira equao do sistema (2.16), resulta em

2 f 2 2 k c1 xt c2 yt c3 xyt c4t g 2 ( x, y) c1 x c2 y c3 xy c4 ,

(2.25)

o que gera a seguinte expresso:

2
2
g
(
x
,
y
)
g 2 ( x, y ) c1 x c2 y c3 xy c4 .

2
x 2
x 2

(2.26)

A fim de resolver a equao (2.26), aplica-se um novo Split, o que resulta no sistema
2
1
x 2 g 2 ( x, y ) 2 c1 x c2 y c3 xy c4

2
1
2 g 2 ( x, y ) c1 x c2 y c3 xy c4
2
y

(2.27)

Integrando a primeira equao deste sistema duas vezes com relao a x, resulta em

g 2 ( x, y )

c1 3 c2 3 c3 3
c
x y x y 4 x 2 a2 y x b2 y .
12
12
12
4

(2.28)

Substituindo esta expresso na segunda equao do sistema (2.27) resulta em

a2 '' y x b2 '' y

1
c1 x c3 xy c4 .
2

(2.29)

19

Esta equao resolvida fazendo a2 '' y c1 c3 y e b2 '' y c4 . Assim,

a2

c1 2 c3 3
y y c5 y c6
2
6

b2

c4 2
y c7 y c8 ,
2

(2.30)

e a soluo para g 2 vem na forma

g 2 ( x, y )

c
c1 3
c
c
x 6 xy 2 2 y 3 3 x3 y 2 xy 3 4 x 2 2 y 2 c5 xy c6 x c7 y c8 .(2.31)

12
12
12
4

Substituindo esta expresso em (2.24), resulta

x3 1

y3

x3 y 1 3

f 2 c1 xy 2 kxt c2 kyt c3
xy kxyt
12 2

12

12 6

x2 1

c4 y 2 kt c5 xy c6 x c7 y c8
4 2

(2.32)

a qual uma soluo exata para a equao (2.5)

2.3. SIMETRIAS OBTIDAS VIA SUBSTITUIO DIRETA.

Outra forma possvel de se obter simetrias para as solues da equao (2.1) atravs da
aplicao de uma mudana de varivel na equao diferencial via regra da cadeia [Zwillinger,
1992]. Assim, substituindo x ( x, t ) , t ( x, t ) na equao (2.1) resulta em

2f 2 f

1 2f 2
f
2f
x x .
t xx 2 x xx t 2 x

(2.33)

Para que e constituam uma nova soluo, necessrio que a equao diferencial permanea
invariante, a no ser pela mudana das variveis, ou seja,

20

f
2 f

(2.34)

Esta condio chamada de Critrio de Invarincia [Bluman, G.; Kumei, S, 1989] e deve ser
obedecida a fim de que a substituio de t e x por e , respectivamente, resulte em nova
soluo para a equao (2.1).
Dividindo a equao (2.33) por x 2 e aplicando o critrio (2.34) resulta nas seguintes
restries:

t xx x 2

(2.35a)

t xx 0

(2.35b)

x2 0

(2.35c)

x x 0

(2.35d)

Este sistema de equaes diferenciais pode ser resolvido em cascata, ou seja, substituindo a
soluo de uma equao em outra, de forma a ir simplificando o sistema sucessivamente.
Todas as mudanas de variveis que transformam solues exatas de uma determinada
equao diferencial em novas solues so denominadas simetrias admitidas pela equao
[Bluman, G.; Kumei, S, 1989]. Estas simetrias podem ser geradas seja a partir de tcnicas como
Substituio Direta, Transformaes de Bcklund [Zwillinger, 1992] ou mesmo pela aplicao
direta dos grupos de Lie [Olver, 2000].
2.4. SIMETRIAS OBTIDAS VIA TRANSFORMAES DE BCKLUND
O mtodo de substituio direta aquele atravs do qual se obtm simetrias admitidas
pela equao alvo utilizando mudanas de varivel, que constituem um caso particular das
chamadas transformaes auto-Bcklund. Comforme foi explicado, aps fazer uma substituio
direta aplica-se uma condio de invarincia de estrutura equao resultante. Caso a condio
de invarincia no seja imposta obteremos uma transformao de Bcklund, cuja equao
resultante ter uma estrutura diferente da equao alvo original.
Por exemplo, para mapear a equao

f 2 f
f

f
2
x x
y

(2.36)
21

realizamos a seguinte mudana de variveis

x ( x, y )
y ( x, y )

(2.37)

que resulta na equao transformada

( xx f y x )

2
f
f
2 f
2 f
2 f

( xx f y x )
x2

0 (2.38)
x
x x

2
2

Dividindo a equao (2.38) por x 2 e impondo as seguintes restries aos seus

coeficientes,

xx f y x
0

xx f y x
0

2
x
x 2 1 ou
1,
x
x

(2.39)

logo

x x

torna-se possvel obter como equao-alvo

f f
2f

2
0

(2.40)

cuja soluo imediata, uma vez que admite a fatorao

f 0

(2.41)

A equao (2.41) pode ser resolvida em duas etapas, uma vez que sua forma fatorada
pode ser convertida no sistema

22

f f

g g 0

(2.42)

cuja soluo pode ser facilmente obtida utilizando softwares de processamento simblico. Este
exemplo da primeira forma de aplicao das transformaes de Bcklund mostra claramente
como uma equao parcial no-linear pode ser resolvida atravs de dois sistemas de equaes
parciais lineares.

2.5. SIMETRIAS OBTIDAS VIA APLICAO DO GRUPO DE LIE

Simetrias de Lie, sucintamente falando, so mudanas de variveis capazes de

transformar uma soluo exata, em se tratando de equaes diferenciais, em outra soluo
tambm exata para a mesma equao. Porm, estas mudanas de variveis no esto
explicitamente tabeladas na literatura. Essas simetrias esto implicitamente determinadas atravs
de grupos de operadores responsveis pelas transformaes. Sendo assim, este sub-captulo tem
por objetivo esclarecer a idia central por trs da aplicao dos grupos de Lie na resoluo de
equaes diferenciais, bem como o processo de aplicao do grupo de simetria sobre solues
exatas previamente encontradas.
Do ponto de vista operacional, grupos de Lie so conjuntos de operadores diferenciais de
primeira ordem, denotados por vi , e chamados geradores infinitesimais do grupo de simetria
admitido pela equao diferencial [Olver, 2000; Ibragimov, 1995], que possuem a seguinte
propriedade:
e vi f x, y,... g x, y,...

(2.43)

Essa propriedade pode ser traduzida em termos operacionais da seguinte forma: a aplicao da
exponencial de um gerador sobre uma soluo exata f produz uma nova soluo exata, dada por
g.
A obteno do grupo de simetria de Lie, capaz de gerar simetrias de solues exatas
de determinada equao diferencial, se baseia na resoluo do problema de valor inicial

23

f
V f

(2.44)

f f 0 para 0

Aqui, V corresponde a um operador linear de primeira ordem. A expresso (2.44), de fato, insere
a idia de que a evoluo de uma determinada funo,

f
, com relao a um parmetro ,

equivalente a aplicao de um operador, V, sobre esta mesma funo.

A soluo para a equao (2.44) vem na forma

f e V f 0

(2.45)

Onde f 0 a funo inicial para 0 e V um operador linear de primeira ordem. Esta soluo
implica na necessidade da aplicao da exponencial do operador V sobre f 0 . Em geral, o
processo de aplicao de e V se d via expanso em srie de Taylor, como segue:

2 2
k k
eV f f V f V f ... V f
0
0
0
0

0
k!
2!

(2.46)

onde V k representa a potncia k do operador V aplicado em f 0 .

At este ponto, pouca informao a respeito do operador V foi fornecida, a no ser o fato
de ele ser linear de primeira ordem. De fato, se o objetivo com esta formulao de gerar
simetrias para solues de equaes diferenciais, preciso garantir que a aplicao da
exponencial do operador V, nos moldes de (2.44) gere uma nova soluo. De forma sucinta, esta
garantia s ser obtida caso a aplicao de e V sobre a funo diferencial g x, y, z , t , f x , f y ,...
funo esta que gera a prpria equao diferencial alvo, quando g x, y, z, t , f x , f y ,... 0

permanea invariante, ou seja,

eV g g

(2.47)

24

Esta condio exige que a funo diferencial g deve permanecer invariante quando da aplicao
da exponencial do operador V sobre a mesma. Esta condio obtida com a restrio

V g 0 ,

(2.48)

o que facilmente demonstrado a partir da expanso da expresso (2.47) em srie de Taylor:

2 2
k k
eV g g V g V g ... V g

2!
k!

(2.49)

cuja nica forma de chegar condio (2.47) fazendo V g 0 .

A restrio (2.48) o prprio Critrio de Invariancia [Ibragimov, 1995], sendo que desta
imposio se obtm o formato para o operador V, o qual deve ser tal que garanta este critrio.
Este operador , na verdade, a combinao linear dos prprios geradores do grupo de simetria,
Vi

, os quais formam o grupo de Lie propriamente dito.

O grupo de Lie responsvel pela gerao de simetrias para as equaes de Navier-stokes

j foi mapeado desde a dcada de setenta por Bucnachev e Kruchnev [Olver, 2000], e possui os
seguintes geradores infinitesimais:

25

V1

(2.50a)

V2 a1 t

(2.50b)

V3 y

x v
u
x
y
u
v

(2.50c)

V4 z

y w v
y
z
v
w

(2.50d)

V5 z

x w
u
x
z
u
w

(2.50e)

V6 a2 t

a2 ' t
xa2 '' t
x
u
p

(2.50f)

V7 a3 t

a3 ' t ya3 '' t

y
v
p

(2.50g)

V8 a4 t

a4 ' t
za4 '' t
z
w
p

(2.50h)

V9 2t

x y z u
v w
2p
t
x
y
z
u
v
w
p

(2.50i)

Estes geradores podem ser empregados na forma

e1V1 2V2 ... 9V9 f 0 g ,

(2.51)

onde g uma nova soluo exata, obtida a partir da aplicao do grupo de simetria sobre a
soluo prvia f 0 . Evidentemente, a aplicao do grupo de simetria de Navier-Stokes, nos
moldes da expresso (2.51) resulta na necessidade de manipulao da exponencial do grupo, aqui
representado como combinao linear de todos os geradores infinitesimais. Apesar de j
existirem regras para manipulao de exponenciais de operadores disponveis na literatura
[Datolli, 1998], geralmente esta tarefa gera enorme dificuldade, e por vezes pode vir a
inviabilizar a aplicao do grupo. No caso do grupo de simetria de Navier-Stokes, ainda existe o
agravante pelo fato de os geradores infinitesimais no comutarem entre si; isto impede que a
aplicao do grupo possa ser fatorada, ou seja, aplicar a exponencial de cada gerador

26

 V e V f h
. Caso no seja possvel aplicar
0

individualemente, como por exemplo e

1 1

2 2

alguma regra de manipulao de exponenciais de operadores, disponveis na literatura (Datolli,

1998), a expanso em srie de Taylor, nos moldes de (2.46), acarretar em grande dificuldade de
manipular o grande nmero de termos da srie, impossibilitando sua utilizao em aplicaes
prticas de engenharia.

2.6. SIMULAO DE ESCOAMENTOS VIA SOLUES ANALTICAS.

Historicamente, a obteno de solues exatas para as equaes de Navier-Stokes

capazes de simular escoamentos reais tem sido uma tarefa difcil, devido principalmente nolinearidade do sistema. Embora algumas solues exatas tenham sido obtidas para casos
simplificados, onde a natureza de alguns escoamentos permite simplificaes de termos nas
equaes originais [Schlichting, 1968], solues exatas, capazes de simular escoamentos
complexos, como escoamentos em corpos submersos de formato arbitrrio, ou escoamentos
turbulentos para altos nmeros de Reynolds, at alguns anos atrs, ainda no tinham sido obtidas.
De fato, nem mesmo havia a garantia de que era possvel encontrar solues exatas para o
sistema de Navier-Stokes capazes de reproduzir algumas caractersticas que so observadas em
escoamentos reais, como por exemplo, componentes de alta freqncia, no caso de escoamentos
turbulentos.
Nas ltimas dcadas, devido principalmente ao surgimento de softwares de manipulao
simblica, como Maple e Mathematica, fez com que reacendesse a pesquisa cientfica no sentido
de encontrar solues analticas para as equaes de Navier Stokes que pudessem ser usadas na
simulao de escoamentos. Infelizmente, muitas dessas solues encontradas at o momento
[Irmay, 1997; Zharinov, 2002; Profilo, 1998; Mdallal, 2008], inclusive solues analticas
tridimensionais [Nugruho, 2009; Rashidi, 2009], no possuem elementos arbitrrios o suficiente,
capazes de satisfazer as condies de contorno empregadas nas simulaes, por exemplo, de
escoamentos em torno de corpos submersos com diferentes geometrias, bem como escoamentos
turbulentos. A maioria das solues analticas encontradas pelas recentes pesquisas na rea,
aplicam-se somente a escoamentos laminares [Tsangaris, 2006; Wang, 2002], ou para casos de
escoamentos muito lentos (creeping flow) [Fang, 2008; Liao, 2002]. Aqui, vale destacar o
trabalho de Hayat (2009), o qual aplicou o grupo de simetria de Navier-Stokes, a fim de gerar
novas solues a partir de uma soluo exata prvia. Contudo, as expresses iniciais utilizadas
para as componentes do vetor velocidades e presso no so capazes de descrever cenrios
27

fsicos de forma realista, ou satisfazer condies de contorno para casos de escoamentos em

torno de corpos submersos. A conseqncia foi que as solues obtidas pela aplicao do grupo
de simetria resultaram em expresses com poucos elementos arbitrrios. Porm, a utilizao de
uma metodologia baseada no grupo de simetria de Navier-Stokes se mostrou bastante
promissora, no sentido de, futuramente, se obter solues mais gerais.
Outra linha de pesquisa importante, relativa aplicao do grupo de simetria de NavierStokes, diz respeito aplicao dos geradores do grupo como base para o desenvolvimento de
modelos de turbulncia e modelos de sub-malha. Esta linha de pesquisa, atualmente, est sendo
desenvolvida por Razafindralandy (2005, 2007), onde o foco mantido no fato de que cada
gerador do grupo de simetria est associado a alguma lei fsica de conservao (Noether, 1918),
onde o mesmo fornece informaes a respeito das invarincias, por exemplo, de escala e/ou
translao que as equaes de Navier-Stokes admitem. De fato, qualquer modelo auxiliar
consistente que seja desenvolvido para fins de aplicao em simulaes de escoamentos, deve
respeitar as mesmas leis de conservao e invarincia que as prprias equaes de Navier-Stokes
admitem, sendo, portanto, imperativo que os mesmos permaneam invariantes sob uma
transformao de qualquer dos geradores do grupo.

2.7. SIMULAES DE ESCOAMENTOS VIA SOLUES NUMRICAS E/OU

HBRIDAS.

Devido, principalmente, no-linearidade das equaes de Navier-Stokes, as solues

analticas obtidas at o momento ainda no so capazes de reproduzir aspectos turbulentos dos
escoamentos observados na natureza. Conseqentemente, a pesquisa cientfica, no que tange
mecnica de fluidos, utiliza, em geral, ferramentas matemticas numricas como via de obteno
de solues para simulaes de escoamentos. De fato, a abordagem numrica constantemente
reiterada no meio acadmico, principalmente pela rpida evoluo computacional, no que diz
respeito ao desenvolvimento ininterrupto de computadores com capacidade de processamento
cada vez maior, associado a espao para armazenamento de dados, praticamente, sem limites.
Atualmente, dentre as vrias abordagens numricas existentes na literatura, tem se
destacado a utilizao do mtodo de elementos finitos (FEM) na simulao de escoamentos
diversos [Aksan, 2002, Trofimova ett alli, 2009; Liu, 2009], desde simulaes de escoamentos
em torno de cilindros [Selvam, 1997], ou escoamentos em torno de esferas [Tezduyar, 1998],
onde este mtodo utilizado tanto na simulao numrica direta (DNS) [Trofimova, 2009;
Oate, 2007], quanto na aplicao de modelos auxiliares, como no caso da simulao de grandes
28

vrtices (LES) . Dentre os trabalhos pesquisados, vale destacar os resultados obtidos por Oate
(2007), o qual apresentou uma formulao para analise de escoamentos incompressveis a partir
do mtodo de elementos finitos, o qual conseguiu solucionar uma gama de problemas de
escoamento de fluidos para baixos e moderados nmeros de Reynolds (at Re 103 ) sem a
necessidade de modelos de turbulncia auxiliares.

Figura 2.1: Escoamento em torno de um cilindro. Fonte: Oate (2007).

A figura 2.1 mostra as linhas de corrente em torno de um cilindro para Re 103 . Aqui, v-se
claramente a formao de dois vrtices gerados pela onda de turbulncia gerada pelo corpo
submerso. Neste trabalho, Oate tambm apresenta dados a respeito da oscilao das
componentes do vetor velocidades, nas proximidades do corpo.
Apesar de j existirem vastos trabalhos com timos resultados em simulaes de
escoamentos em torno de corpos submersos para nmeros de Reynolds de baixos a moderados
( Re 103 ), a simulao de escoamentos para altos nmeros de Reynolds ( Re 106 ),
atualmente, est atrelada a aplicao de modelos de turbulncia, os quais no so capazes de
simular fielmente um escoamento turbulento real, no que diz respeito a reproduo de flutuaes
de alta freqncia e sua evoluo temporal. Dentre a pesquisa nesta rea, pode-se citar os
trabalhos de Ong (2009), o qual apresenta simulaes numricas de escoamentos em torno de um
cilindro para nmeros de Reynolds da ordem de 106 , utilizando as equaes mdias de Reynolds
(RANS) (Freire, 1998) em conjunto com o modelo k . Tambm interessante citar os
trabalhos de Kalitzin (2008) e Martinat (2008), os quais simulam escoamentos para altos
nmeros de Reynolds com o auxilio de modelos de turbulncia variados, como simulao de
grandes vrtices, entre outros.

29

Uma alternativa numrica para a reproduo acurada de escoamentos em geral, nas

ultimas dcadas, vem sendo a simulao numrica direta. Esta abordagem vantajosa no sentido
de possibilitar a obteno de solues confiveis, as quais inclusive so aceitas como Benchmark
para outros mtodos. Alm disso, com a utilizao da DNS, possvel uma melhor compreenso
dos prprios fenmenos fsicos envolvidos na simulao, a partir da anlise dos resultados
obtidos. Dentre os inmeros trabalhos nesta rea, vale citar Zikanov (2004), o qual aplicou a
DNS a fim de investigar propriedades gerais de escoamentos turbulentos de metais lquidos na
presena de um campo magntico constante. Os resultados obtidos foram bastante interessantes,
como por exemplo, o fato de o escoamento, inicialmente turbulento, se tornar abruptamente
laminar, a partir de um determinado alinhamento do campo magntico.
Infelizmente, a abordagem via DNS esbarra no alto custo computacional, em se tratando
de simulaes de escoamentos para altos nmeros de Reynolds, como comentado anteriormente.
Esta restrio impede o uso da DNS como ferramenta de estudo em casos turbulncia
plenamente desenvolvida.
Outra rea interessante no estudo da dinmica de fluidos diz respeito a simulaes de
escoamentos em mquinas de fluxo [Baoling ett alli, 2006; Gonalvez, 2009]. Atualmente,
devido principalmente ao ganho computacional cada vez maior com processadores cada vez
mais rpidos, associados utilizao de modelos de turbulncia, j possvel simular
escoamentos em mquinas de fluxo, para determinados casos. O trabalho de Anagnostopoulos
(2009) apresenta uma metodologia numrica para simulao de escoamentos em rotores de
bombas centrfugas, a partir de uma abordagem bidimensional das equaes mdias de Reynolds
(RANS), em conjunto com um modelo k . Neste trabalho, foram levantadas curvas de
eficincia e vazo da bomba, as quais apresentaram boa concordncia com os dados
experimentais.

2.8. SIMULAO ANALTICA DE ESCOAMENTOS TURBULENTOS.

A busca de solues capazes de simular escoamentos turbulentos no uma tarefa fcil,

em primeiro lugar, porque no se tem a garantia de que elas podem ser encontradas, e sem
segundo lugar, porque necessrio tomar mo de ferramentas matemticas e mtodos analticos
especficos, e muitas vezes, de difcil compreenso. Porm, a partir de meados de 2003,
comeou-se a vislumbrar a possibilidade de obteno de solues capazes de reproduzir
flutuaes de alta freqncia em escoamentos turbulentos [Zabadal et. alli, 2004].

30

A abordagem inicial estava baseada na modelagem a partir da equao de Helmholtz

[White, 1974] (Apndice A), que na forma bidimensional, dada por

u
v
2
t
x
y

(2.52)

onde a vorticidade. O objetivo consistia em obter alguma soluo exata que pudesse ser
usada na simulao de escoamentos.
A fim de obter uma soluo particular para a equao (2.52), foi produzido um sistema
auxiliar de equaes homogneas:

2 0
t

(2.53)

v
0.
x
y

(2.54)

Neste sistema, a soluo geral da equao (2.54) uma funo arbitrria da funo corrente. De
fato, substituindo = f() em (2.54), aplicando a regra da cadeia e colocando

df
em
d

evidncia, resulta
df

(u
v
)0
d
y
x

(2.55)

uma vez que o termo entre parnteses identicamente nulo. Dessa forma, a funo corrente pode
ser expressa como uma funo arbitrria da vorticidade: se = f() , = f-1() = g(), sendo
qualquer soluo da equao (2.53). Tomando uma soluo particular dessa equao, dada por

ec c x c y ( c
0

2
2
1 c2 ) t

(2.56)

a respectiva funo corrente resulta

31

 g (e h ) 0

(2.57)

onde h o argumento da exponencial presente na soluo (2.56), e a parcela 0 corresponde

funo corrente relativa ao escoamento potencial em torno do corpo submerso. Embora a
expresso obtida no constitua a soluo geral da equao de Helmholtz, a funo arbitrria nela
contida pode satisfazer identicamente s condies de no-deslizamento e no-penetrao na

0 resulta g(h)=0 na
0 e
y
x

interface do corpo submerso. Impondo as condies

fronteira. Alm disso, a soluo se reduz funo corrente relativa ao escoamento potencial
medida que so tomados pontos progressivamente mais afastados da interface slida. Basta para
tanto impor a condio
lim g (h) 0

(2.58)

x , y

Essa expresso constitui o ponto de partida para a obteno de novas solues exatas para
equao de Helmholtz vlidas para qualquer geometria a considerar. O processo de obteno
dessas solues vlida para todo o domnio, que consiste na aplicao de simetrias admitidas
pela equao de Helmholtz. Para tanto, so efetuadas as seguintes mudanas de varivel:

(2.59)

xa(x,y) , yb(x,y),

onde a e b representam as partes real e imaginria de uma funo de varivel complexa f(z),
sendo z=x+iy. Isto ocorre porque qualquer transformao conforme constitui uma simetria
admitida pela equao de Helmholtz, isto , quando x for substitudo por a e y por b em (2.52)
uma nova soluo exata produzida. A aplicao de uma transformao conforme (Apndice B)
sobre a soluo obtida tem por objetivo introduzir a rugosidade sobre a superfcie do corpo
submerso.
Efetuando as mudanas dadas por (2.59) na equao de Helmholtz obtm-se a seguinte
equao auxiliar nas novas variveis:

2 2 2 2 2 2

2
2
(uax vay a) (ubx vby b) ax ay 2 bx by 2 2 axbx ayby
0 (2.60)
a
b
a
b
ab
2

32

Para que as mudanas dadas por (2.60) constituam simetrias admitidas pela equao de
Helmholtz, basta que a equao permanea invariante em relao a essa troca de variveis, isto ,
que a equao (2.60) assuma a forma

2 2
V 0 ,
a b a2 b2

(2.61)

onde as componentes do vetor velocidade nas novas variveis so definidas como

(2.62)

Essa definio anloga das componentes de velocidade presentes na equao em sua forma
original:

(2.63)

Assim, o chamado critrio de invarincia (Olver, 2000; Bluman, 1989) consiste na

preservao da forma da equao original, exceto pela troca de variveis, e constitui uma
condio suficiente para que a mudana transforme uma determinada soluo da equao em
uma nova soluo exata. Isso ocorre porque, se f(x,y) soluo da equao original,
f(a(x,y),b(x,y)) ser automaticamente soluo da equao mapeada.

Uma forma prtica de estabelecer a invarincia da equao consiste em dividir todos os

termos por ax2 a y2 , e em seguida impor as restries
bx2 by2 ax2 a y2
(2.64)

ax bx a y by 0
uax va y (ax2 a y2 )

ua yy vax (ax2 a y2 )

(2.65)

Impondo as primeiras duas restries, dadas por (2.64), obtm-se

33

bx a y

by a x ,

(2.66)

o que implica em

2 a 2b 0 .

(2.67)

Assim, a equao (2.60) resulta

ua x va y
2
2
ax a y

ubx vb y
2

a x a y2
a

2 2

2
2
b
a
b

(2.68)

Impondo agora as restries dadas por (2.65), obtm-se

uax va y
2
2
ax a y

ua y vax

2
x

2
y

.
a

(2.69)

Reescrevendo u e v em termos da funo corrente, e utilizando a regra da cadeia, resulta

ay
by
y
a
b

ax
bx
.
x
a
b

(2.70)

(2.71)

Substituindo as definies de u e v em (2.65), resulta

2
x

a y2

b (a

2
y

ax2

b (a

2
x

a y2 )

2
x

a y2 )

(2.72)

Ambas as equaes se reduzem a identidades ao especificar os sinais nas relaes presentes

em (2.66). Desse modo, para

34

by = ax

(2.73)

bx = -ay.

(2.74)

As equaes (2.73) e (2.74) so identicamente satisfeitas. Entretanto, essas restries constituem

as condies de Cauchy-Riemann relativas a uma transformao conforme cujas partes real e
imaginria correspondem, respectivamente, s funes b e a. Portanto, qualquer transformao
conforme uma simetria de Lie admitida pela equao de Helmholtz. Portanto, uma vez
obtida qualquer soluo exata para simular escoamentos em torno de um corpo submerso
qualquer (inclusive placa plana), basta efetuar uma transformao conforme para converter a
soluo disponvel em uma nova soluo exata, vlida para escoamentos em torno de corpos
submersos com formato arbitrrio.

As figuras 2.1 e 2.2 mostram as isolinhas da funo corrente para o escoamento viscoso
em torno de um cilindro, para Re 104 e Re 105 , respectivamente. Embora o modelo utilizado
seja bidimensional, algumas caractersticas qualitativas relevantes dos escoamentos reais foram
reproduzidas pela soluo obtida, tais como o atraso no descolamento da camada limite e a
reduo das dimenses dos vrtices com o aumento do nmero de Reynolds.
X(cm)

Figura 2.2: escoamento em torno de um cilindro, Re 104

35

X(cm)

Figura 2.3: Escoamento em torno de um cilindro, Re 105 .

Outra caracterstica qualitativa importante da soluo obtida reside na formao e na
amplificao de componentes flutuantes, produzidas pela incorporao da rugosidade
geometria do corpo submerso. Naturalmente, a turbulncia um fenmeno essencialmente
tridimensional, e produzido no apenas na escala da rugosidade, mas tambm em escala
molecular, razo pela qual o modelo foi utilizado apenas para checar a consistncia qualitativa da
soluo resultante com os respectivos fenmenos.
A obteno destes resultados motivou a continuidade da linha de pesquisa, no que
resultou a dissertao de mestrado [Beck, 2005], na qual novas solues exatas para a equao
de Helmholtz bidimensional transiente foram obtidas. Estas solues foram capazes de
reproduzir caractersticas do escoamento turbulento em torno de um cilindro para Re 106 ,
como o atraso do descolamento da camada limite e a gerao de termos flutuantes de alta
freqncia e baixa amplitude. Abaixo, seguem alguns resultados obtidos com as novas solues
encontradas, a partir da equao de Helmholtz. Nesta ocasio, foram obtidas diferentes famlias
de solues exatas, uma para casa metodologia utilizada. A primeira famlia foi obtida a partir da
aplicao de uma transformao de Bcklund, do mapeamento da equao original em uma
equao ordinria. Para tal, primeiramente se expressou a equao de Helmholtz em termos da
funo corrente aplicando-se as seguintes identidades:

(2.75)

Dessa forma, considerando que 2 , a equao (2.52) resulta em

36

2
t

Re

4 .

(2.76)

O primeiro conjunto de solues foi encontrado com a introduo do argumento

h c0 c1 x c2 y c3 t ,

(2.78)

o qual aplicado na equao (2.76) via regra da cadeia. Os operadores diferenciais

correspondentes a essa mudana de varivel so descritos por
h d
d

c1
x x dh
dh

2
2
h d 2
2 d

c
c
1
1
x 2
x dh 2
dh 2

h d
d

c2
dh
y y dh

2
2
h d 2
2 d
.

c
c
2
2
dh 2
y 2
y dh 2

d2
c c2 2
dh

d
h d

c3
dh
t t dh

2
1

(2.79)

Assim, o biarmnico da equao (2.76) toma a forma

4 c12 c2 2

dhd c
2

2
2 2 d
c
c

1
2
2
dh 4

c2 2

dhd

(2.80)

Substituindo os operadores descritos em (2.79) e (2.80) na equao (2.76), resulta em

c3 c12 c2 2

d 3

dh

c2

c1 c12 c2 2

d 3

c1

c2 c12 c2 2

d 3

3
dh
dh3
dh
dh

1
Re

c12 c2 2

d 4
dh 4

(2.81)

Uma vez que os termos no lineares se anulam, chega-se a

c3

d 3
dh3

c
Re
1

ddh .
4

c2 2

(2.82)

37

A equao (2.82) pode ser resolvida via reduo de ordem. Dessa forma, fazendo

d 3

(2.83)

dh3

e substituindo na equao (2.82), resulta em

c
f

c2 2 df

c3 Re

dh

(2.84)

cuja soluo imediata:

f k0 e

k1h

, onde

k1

c2 2

2
1

c3 Re

(2.85)

Como f a derivada terceira da funo corrente, necessrio integrar a expresso (2.85) at

obter a expresso para a funo corrente. A primeira integrao gera
d 2
dh

k0 e k h dh
1

k0
k1

e k h k2 .
1

(2.86)

Integrando o resultado acima mais uma vez com relao a h resulta em

d
dh

k0

k1

k0

k12

e k h k2 dh
1

e k h k 2 h k3 .
1

(2.87)

Por fim, a soluo para a funo corrente vem com uma terceira integrao, o que gera

k
k
02 ek h k2 h k3 dh 03 ek h 2 h 2 k3 h k4 .
2
k1
k1

(2.88)

A expresso (2.88) soluo exata para a equao de Helmholtz bidimensional. Um caso

particular de transformao de Bcklund consiste nos mtodos de soluo por similaridade
38

[Bejan, 1984], onde a equao diferencial original mapeada atravs de uma mudana de
varivel via introduo de um adimensional.
A segunda famlia de solues foi obtida a partir da aplicao de um Split na equao de
Helmholtz com posterior resoluo via Soluo Formal e Transformao Auto-Bcklund para
determinar a condio inicial (Apndice D). Neste caso, a soluo encontrada apresentou o
seguinte formato:

a2 b1 a2 x
arctan

2
a

2 a1 a2 y

2
a
2

1
1
t

f b1 x a2 x 2 a1 y a2 y 2 e
e
1
2
2

c 1

(2.89)

Esta soluo foi capaz de reproduzir algumas caractersticas de um escoamento em torno

de um cilindro para altos nmeros de Reynolds.

Figura 2.4 : Funo corrente em perspectiva,fonte: [Beck, 2005]

Nesta figura, pode-se ver em perspectiva a vorticidade jusante do centro do cilindro. Aqui,
pode-se notar a formao de micro-vrtices junto a parede, bem como nas regies perifricas.
Nas regies centrais, percebe-se a formao de vrtices com dimetros maiores, indicando um
descolamento efetivo da camada limite.
39

Figura 2.5: Perfil da componente u ao longo da superfcie do cilindro. [Beck, 2005]

Aqui, est plotado o comportamento do perfil de velocidade na direo longitudinal ao
escoamento principal, ao longo da superfcie do cilindro. A partir de x 0 , pode ser visto o incio
das flutuaes, resultantes da formao dos vrtices. Aproximadamente em x 0.3 as flutuaes
comeam a aumentar, evidenciando o descolamento efetivo da camada limite. A amplitude
mxima das flutuaes se encontra em torno de 2 vezes o valor da velocidade de entrada.

Figura 2.6: Coeficiente de Presso (Re=6,7.105)

Na Figura 2.5 est plotado o coeficiente de presso referente simulao para Re 6, 7.105 .
Pode-se observar que a simulao acompanha a tendncia central dos dados experimentais
coletados por Flachbart (White, 1974).

40

A partir destes resultados, vislumbrou-se a possibilidade de se partir diretamente para as

equaes de Navier-Stokes, na busca de solues exatas que reproduzissem caractersticas de
escoamentos turbulentos em corpos submersos, tornando-se, ento, tema deste trabalho.
No captulo subseqente, descrita a metodologia empregada para a obteno de
solues particulares para a equao de Navier-Stokes tridimensionais transientes. O objetivo
deste captulo ser expor, da forma mais clara possvel, os mtodos e ferramentas matemticas
utilizadas no desenvolvimento do processo de obteno das solues.

41

3.

DESCRIO DO MTODO
O desenvolvimento de um mtodo baseado em simetrias capaz de gerar solues

exatas que simulem escoamentos turbulentos em torno de corpos submersos tem como ponto de
partida a equao de Navier-Stokes, que na sua forma vetorial dada por

1 2
V
V V
V p ,
Re
t

(3.1)

onde V {u, v, w} o vetor velocidade, e p a presso dinmica atuante ao longo do

escoamento. Uma breve anlise sobre a equao (3.1) mostra que a aplicao do divergente
sobre a mesma anula determinados termos, como

V V

0

t
t

, 2V 2 V 0

(3.2)

Isto ocorre porque tanto o operador laplaciano quanto a derivada temporal comutam com o
operador divergente e, pela equao da continuidade, imperativamente o divergente do vetor de
velocidades deve ser nulo. Este fato abre precedentes para a realizao de um Split [Zwillinger,
1992], pois reagrupando termos, temos

V 1 2

V V V p .
t Re

(3.3)

=0

Assim, o Split resultante dado por

V 1 2

V 0,

Re
t

V V p 0 .

(3.4a)
(3.4b)

42

Note que este Split no restringe a obteno de solues para a equao de Navier-Stokes.
O prximo passo repor o espao nulo do operador divergente no sistema anterior,
gerando

V 1 2

V Q,
t Re

V V p Q ,

(3.5a)

(3.5b)

onde Q deve satisfazer Q 0 .

3.1. TRANSFORMAES AUTO-BCKLUND INDUZIDAS POR OPERADORES.

Uma vez obtido o sistema (3.5), parte-se para a resoluo da parte linear do mesmo, a
qual resolvida atravs do emprego de Transformaes de Bcklund. Para este caso, uma forma
bastante prtica de se obter simetrias consiste na aplicao de um operador linear de primeira
ordem na forma

B a x, y , z , t

b x, y , z , t

c x, y , z , t

g x, y , z , t

h x, y , z , t

(3.6)

sobre qualquer soluo exata previamente conhecida da equao (3.5a). Assim, as simetrias so
geradas partindo-se de uma soluo particular para C f x, y, z , t q x, y, z , t , onde C
corresponde ao operador

1 2

Re

(3.7)

e q x, y, z , t corresponde componente do vetor fonte Q . Uma vez encontrada uma soluo

particular para C f x, y, z , t q x, y, z , t , as simetrias podem ser obtidas aplicando-se o
operador B da seguinte forma:

43

C B f x, y, z, t q

x, y , z , t .

(3.8)

Esta condio garante que B f x, y, z , t g x, y, z, t seja uma nova soluo exata. Nestas
condies, o formato deste Operador B definido atravs da determinao dos coeficientes

a x, y, z, t , b x, y, z , t , c x, y, z , t , g x, y, z , t , h x, y, z, t que esto em aberto, os quais so

determinados com a resoluo do sistema

C f x, y, z , t q x, y, z , t ,
C B f x, y, z, t q

x, y , z , t .

(3.9)
(3.10)

Assim, com a aplicao da condio (3.10), gera-se a equao

a x, y , z , t b x , y , z , t

1 2
x
y

f x, y, z , t q x, y, z, t . (3.11)

t Re

c
x
,
y
,
z
,
t
g
x
,
y
,
z
,
t
h
x
,
y
,
z
,
t

A fim de satisfazer a condio (3.9), isola-se o termo referente derivada parcial no tempo da
mesma, gerando

1 2
f x, y , z , t q x, y , z , t
f x, y , z , t
Re
t

(3.12)

e substitui-se esta expresso em todas as derivadas parciais no tempo contidas na equao (3.11).
Esta equao resultante resolvida zerando os coeficientes que multiplicam as derivadas parciais
em f. Dessa forma, f x, y, z , t continuar em aberto, sendo as restries impostas somente
sobre as funes a x, y, z , t , b x, y, z, t , c x, y, z, t , g x, y, z, t , h x, y, z, t . Esta metodologia
gera um sistema de treze equaes diferenciais, uma para cada coeficiente das derivadas em f,
que dado por

44


1 2
h x, y , z , t
h x, y , z , t 0
Re
t

(3.13)

2
a x, y , z , t
2 h x , y , z , t a x, y , z , t 0
Re x
t

(3.14)

1
2
b x, y , z , t
2 h x , y , z , t b x, y , z , t 0
Re y
t

(3.15)

2
c x, y , z , t
2 h x , y , z , t c x, y , z , t 0
Re z
t

(3.16)

2
g x, y , z , t
2 a x, y , z , t g x , y , z , t 0
Re x
t

(3.17)

1
2
g x, y , z , t
2 b x , y , z , t g x, y , z , t 0
Re y
t

(3.18)

2
g x, y , z , t
2 c x , y , z , t g x, y , z , t 0
Re z
t

(3.19)

c x, y , z , t a x, y , z , t 0
x
z

(3.20)

b x, y , z , t a x, y , z , t 0
x
y

(3.21)

c x, y , z , t b x , y , z , t 0
y
z

(3.22)

g x, y , z , t 0
x

(3.23)

g x, y , z , t 0
y

(3.24)

g x, y , z , t 0
z

(3.25)

Analisando este sistema, percebe-se que sua soluo pode ser obtida a partir de uma resoluo
em cascata, ou seja, resolvendo as equaes uma a uma e substituindo sucessivamente os
resultados obtidos nas remanescentes. De incio, v-se que as equaes (3.23) (3.25)
restringem o parmetro g x, y, z , t de forma que ele somente pode ser dependente da varivel
tempo. Assim, as trs ltimas equaes do sistema so satisfeitas e o laplaciano nas equaes
(3.17) (3.19) desaparece. A fim de resolver as equaes (3.17) (3.19), restringe-se novamente
a funo g t , assumindo que ele igual a uma constante. Dessa forma, as derivadas no tempo

45

destas

equaes

resultam

nulas

e,

se

assumirmos

que

os

parmetros

a x, y, z , t , b x, y, z, t , c x, y, z, t no dependem de x, y, z, respectivamente, as equaes

(3.17) (3.19) tambm resultam nulas.
Assim, o sistema simplificado para

1 2
h x, y , z , t
h x, y , z , t 0
Re
t

(3.26)

2
a y, z , t
2 h x, y , z , t a y , z , t 0
Re x
t

(3.27)

1
2
b x, z , t
2 h x, y , z , t b x, z , t 0
Re y
t

(3.28)

2
c x, y , t
2 h x, y , z , t c x, y , t 0
Re z
t

(3.29)

c x, y , t a y , z , t 0
x
z

(3.30)

b x, z , t a y , z , t 0
x
y

(3.31)

c x, y , t b x , z , t 0 .
y
z

(3.32)

As equaes (3.30) (3.32) mostram que a funo a y, z , t linear na varivel z e b x, z , t e

c x, y, t lineares na varivel x. Esta operao transforma estas funes em

a y, z , t a11 y, t z a21 y, t ,

(3.33)

b x, z, t b11 z , t x b21 z, t ,

(3.34)

c x, y, t c11 y, t x c21 y, t ,

(3.35)

a11 y, t a12 t y a13 t ,

(3.36)

a21 y, t a22 t y a23 t ,

(3.37)

b11 z , t a22 t a12 t z ,

(3.38)

Onde

46

b21 z , t b22 t z b23 t ,

(3.39)

c11 y, t a11 y, t .

(3.40)

c21 y, t c22 t y c23 t ,

(3.41)

As equaes (3.36) (3.41) so obtidas pela anlise do sistema (3.26) (3.32) aps a
substituio das equaes (3.33) (3.35). Este processo recursivo e a soluo do sistema
construda passo a passo, conforme os parmetros vo sendo restringidos. Aps estas
substituies, o sistema resulta em

1 2
h x, y , z , t
h x, y , z , t 0
t
Re

(3.42)

d
d

d
2

a13 t z a22 t y a12 t yz a23 t

h x, y, z, t 0 (3.43)
dt
dt

dt

dt
Re x

d
d
d

d
2
h x, y, z, t 0 (3.44)
b22 t z a22 t x a12 t xz b23 t
dt
dt
dt

dt
Re y

d
d

d
2

c22 t y a13 t x a12 t xy c23 t

h x, y, z, t 0 (3.45)
dt

dt
dt

dt
Re z

2a12 t x c22 t b22 t 0

(3.46)

Pela equao (2.46) v-se que a12 t deve ser nulo e que b22 t c22 t . Pelo sistema anterior,
pode-se observar que h x, y, z , t deve ter o formato

h x, y, z , t xk5 yk6 zk7 k8

(3.47)

a13 t ka1t ka2 ,

(3.48)

a22 t ka3t ka4 ,

(3.49)

c23 t kc1t kc2 ,

(3.50)

c22 t kc3t kc4 ,

(3.51)

47

O sistema resultante passa a ser algbrico e dado por

ka1 z ka3 y

2
k5 ka5 0
Re

kc3 z ka3 x
kc3 y ka1 x

2
k6 kb1 0
Re

Operador

(3.53)

2
k7 kc1 0
Re

Sendo resolvido fazendo ka1 ka3 kc3 0 , kc1

o

(3.52)

resultante

(3.54)

2
2
2
k 5 e kb1
k7 , ka5
k6 . Com isso,
Re
Re
Re

das

restries

sobre

as

funes

a x, y, z, t , b x, y, z , t , c x, y, z , t , g x, y, z , t , h x, y, z, t da expresso (3.6) dado por

2
2

B ka2 z ka4 y k5t ka6
ka4 x kc4 z k6t kb2

R
R

x
y

2

kg
k5 x k6 y k7 z k8
ka2 x kc4 y k7 t kc2
R

z
t

Este

operador

capaz

de

gerar

simetrias

admitidas

pela

(3.55)

equao

C f x, y, z , t q x, y, z , t atravs do seguinte processo iterativo:

B f k x, y, z, t f k 1 x, y, z, t ,

(3.56)

ou seja, a aplicao do Operador B sobre uma soluo conhecida f k gera uma nova soluo

f k 1 . Apesar de o processo iterativo ser facilmente implementado, interessante conhecer qual a

soluo mais geral que este processo pode produzir. Para tanto basta fazer

B f x, y, z, t f x, y, z, t .

(3.57)

Esta equao de ponto fixo marca o limite das iteraes, onde a aplicao do operador B no
muda mais o formato da funo f x, y, z , t , sendo ento a equao que gera a soluo mais
geral do processo iterativo (3.56).
48

Observando as condies (3.9) e (3.10), vemos que as mesmas geram uma equao
resultante que tambm possui termos na funo fonte q x, y, z , t , sendo igualmente necessrio
satisfazer a equao nesta varivel. A equao na funo fonte dada por

2
2

b1 z b2 y b3t b4 q x, y, z , t b2 x b5 z b6t b7 q x, y, z , t
R
R

x

y

b1 x b5 y b8t b9 q x, y, z , t k g q x, y, z, t
R

b3 x b6 y b8 z b10 1 q x, y, z, t 0

equivalente

aplicao

B q x, y, z, t q x, y, z , t .

Este

do
fato

Operador
leva

(3.58)

sobre

uma

q x, y , z , t ,

concluso

ou

importante:

seja,
Se

B f x, y, z, t f x, y, z, t gera solues que equivalem s componentes do vetor velocidade

V , ento a fonte q x, y, z , t tambm deve representar estas componentes. Dessa forma, o Split
(3.5) muda para

V 1 2

V V 0 ,
t Re

V V p V 0 ,

(3.59a)
(3.59b)

A Equao de Ponto Fixo (3.58) pode ser resolvida atravs do Mtodo das Caractersticas
[Copson, 1975; Ayres, 1995]. Todavia, a obteno da soluo geral para esta equao requer a
resoluo de equaes caractersticas cujas variveis no so separveis. A alternativa
encontrada para este problema consiste na simplificao da equao (3.58) com a anulao de
alguns coeficientes arbitrrios. Assim, fazendo b3 b5 b6 b7 b8 b9 0 , resulta em uma
soluo com o formato

49

b10 arctan

2
y b2

2 2
2
2
b2 x
b1 b2

b1 z b2

2 2
2
2
b2 x
b1 b2
2
2
b1 b2

b4 b2
2 2
2
2
b2 x
b1 b2

f( x, y, z, t )e
_F1

z b2b1 y y 2 b1 22 ( z b2b1 y ) b1 yy 2 b2 22 b4 y b2b2 2 x 2

,
,
b2
b2 2

(3.60)

2
2
y b1 y b2 b1 ( z b2b1 y )b4 b2

t b1 b2 kg arctan

b1 2b2 2 b2 2 x 2

2
2
b1 b2

onde

F1 uma funo arbitrria. Embora esta expresso no seja a soluo geral para a equao

de ponto fixo, ser verificado se a mesma capaz de gerar esteiras de vrtices bem como a
envoltria correspondente camada limite.
Outras solues podem ser geradas a partir da equao de ponto fixo, tais como

b5 y 2
b5 z2
f( x, y, z, t )_F1
b9 y
b7 z,
2
2

b5 2 ( b5 zb7 ) 2 ( b5 yb9 )
x
b5 2 b4 arctan

b5 ( b7 2b5 2 z22 b5 b7 z )

b5 2

b5 2

, t

(3.61)

b10 arctan

b9
2
b5 y
b5

2
2

b5 y
b5 z
2
2 2
b7 b5 y 2 b5 b9 y2 b5
b9 y
b7 z
2
2

2
b5

b1 2 ( z b1 b4 )2 ( x b1 b9 )

2
b1 2 y b1 2 b7 arctan
2
x b1
b1 ( b4 2z2 b1 22 b1 b4 z )
z b1

f( x, y, z, t )_F1
b9 x
b4 z,
,
2
2
b1 2

b1 2 ( z b1 b4 )2 ( x b1 b9 )

b1 2 t b1 2 kg arctan
2
2
2

b1 ( b4 z b1 2 b1 b4 z )

b1 2

b10 arctan

b9
b12 x
b1

b42x2 b122 b1 b9 x( x2 b12 b9 xz 2 b12 b4 z ) b1

b12

(3.62)

Como a equao de ponto fixo linear, estas solues podem ser usadas como combinao
linear.

50

Embora as solues acima no constituam solues gerais para a equao de ponto fixo, a
anulao de alguns termos do Operador B propiciou a obteno de solues com funes
arbitrrias de diferentes argumentos, cada qual constitudo de diferentes constantes tambm
arbitrrias. Mesmo anulando alguns coeficientes do operador, foi possvel obter uma soluo que
capaz de satisfazer s condies de contorno impostas, no caso de simulaes de escoamentos
para altos nmeros de Reynolds em corpos submersos, como veremos a seguir. Evidentemente,
possvel tentar outras alternativas para obteno de solues para a equao de ponto fixo,
porm, seria bem provvel que no fosse possvel se conseguir solues mais gerais do que as j
obtidas, tendo em vista o que j foi conquistado a partir do mtodo das caractersticas, mesmo
com a anulao de alguns coeficientes. Em adio a isto, atravs da aplicao dos grupos de Lie
existentes para o sistema Navier-Stokes, possvel, a partir destas solues, gerar simetrias que
permitam satisfazer um conjunto maior de condies de contorno.

3.2. TRANSFORMAO AUTO-BCKLUND INDUZIDA POR UMA RELAO DE

COMUTAO EM COORDENADAS CILINDRICAS.

Outra forma de obter novas solues para a equao de ponto fixo transcrever a relao
de comutao em coordenadas cilndricas. Nestas condies a equao linear do Split muda para

1
1 2

f x, r , , t
f x, r , , t r 2 f x, r , , t 2 2 f x , r , , t 2
f x, r , , t

Re r
r
t
r

(3.63)

q x, r , , t 0

Neste caso, o operador B toma a forma

f x , r , , t b x, r , , t
f x , r , , t c x, r , , t f x, r , , t
r

g x , r , , t f x, r , , t h x, r , , t f x , r , , t 0
t

a x, r , , t

(3.64)

A fim de determinar as funes a x, r , , t , b x, r , , t , c x, r , , t , g x, r , , t , h x, r , , t , aplica-se

a condio de comutao entre os operadores da equao (3.63) e (3.64), cujo processo gera uma
equao resultante a qual deve ser satisfeita. Da mesma forma que a sistemtica descrita na seo
anterior, a resoluo desta equao vem atravs da anulao dos coeficientes das derivadas na
funo f x, r , , t , o que gera um sistema de equaes, anlogo ao sistema (3.13) (3.25),
51

porm em coordenadas cilndricas. Uma vez realizado este processo, a equao (3.64) toma a
forma

B= a 0 a1t

Re

f x, r , , t h0 a1
x f x, r , , t .
x
2

(3.65)

Da mesma forma, a soluo para a equao de ponto fixo relativa a expresso (3.65) obtida via
mtodo das caractersticas, possuindo o seguinte formato:
4h

x 0 xa
1
Re

4
a a t
0 1
Re
f _ F1 r , , t e

(3.66)

Aqui, F1 r , , t uma soluo arbitrria da equao (3.63) e a0 , a1 , h1 so constantes arbitrrias.

3.3. CORRELAO ENTRE EQUAES DE NAVIER-STOKES E HELMHOLTZ.

Esta seo tem por objetivo demonstrar uma relao entre as equaes de NavierStokes e Helmholtz, que permite a obteno do campo de presses a partir do respectivo campo
de velocidades, sem que haja a necessidade de efetuar integraes sobre as equao de NavierStokes. Obviamente, a equao de Helmholtz obtida a partir da aplicao do operador
rotacional sobre as equaes de Navier-Stokes (Apndice A), sendo que o termo relativo
presso nas equaes de Navier-Stokes acaba caindo no espao nulo do operador rotacional,
portanto no aparece na equao de Helmholtz. Entretanto, possvel obter uma nova expresso
que relaciona estas duas equaes partindo-se da equao de Helmholtz, que na sua forma
tridimensional transiente dada por

2 V V
t

(3.67)

onde representa a vorticidade, e V o vetor velocidade. Porm, o termo V V pode

ser reescrito na forma

52

V V V V V V

(3.68)

Substituindo este resultado na equacao (3.67), resulta em

2 V
t

(3.69)

Como V , esta equao pode ser reescrita na forma

V

2 V V V 0
t

(3.70)

Repondo o espao nulo do operador rotacional nesta equao, vem

V
2 V V V f
t

(3.71)

Mas

1
V V V V V V V V
2

(3.72)

Substituindo este resultado na equao (3.71), resulta em

1
V
2 V V V V V f
2
t

(3.73)

que pode ser reescrita na forma

V
1

2 V V V f V V
t
2

(3.74)

A fim de comparar a equao acima com a equao de Navier-Stokes, obviamente, o termo

direita da igualdade desta equao deve corresponder ao gradiente de presso. Disto resulta que

53

1
f V V

2
p

(3.75)

Esta expresso relaciona a presso com o vetor velocidades, onde a funo f corresponde ao
termo de presso relativo contribuio da parcela potencial da funo corrente. Este resultado
possibilita evitar a necessidade de integrao da equao no-linear do Split para obteno de
uma expresso explicita para o perfil de presso.

54

4.

MODELO ESCALAR PARA A FUNO CORRENTE.

Na ltima seo, a abordagem da equao de Navier-Stokes foi baseada na obteno

direta de expresses para as componentes de velocidade u, v, w . Porm, interessante saber qual
a funo corrente referente a este escoamento. Segundo White (1974), a funo corrente uma
funo matemtica x, y, t , a qual se relaciona com as duas componentes de velocidade

u x, y, t e v x, y, t de forma a satisfazer identicamente a equao da continuidade, sendo que

a mesma tambm deve ser uma funo tangente s componentes da velocidade em qualquer
ponto do escoamento. Para o caso de escoamento bidimensional incompressvel, estas condies
so alcanadas atravs das relaes

u x, y , t

x, y , t e
x

(4.1)

x, y , t .
y

(4.2)

v x, y , t

Assim, de forte interesse que se encontre uma relao entre as componentes da velocidade e a
funo corrente que descreva escoamentos tridimensionais. Para tanto, necessrio verificar
quais os requisitos que uma funo corrente tridimensional deve possuir. Como descrito acima,
esta funo deve ser tangente s componentes do vetor velocidade u x, y, z, t , v x, y, z , t e

w x, y, z, t . Esta condio matematicamente representada por

V x, y, z , t 0

(4.3)

onde V u x, y, z , t , v x, y, z , t , w x, y, z , t e corresponde ao vetor velocidade.

Adicionalmente, as relaes entre as componentes da velocidade e a funo corrente devem

satisfazer V 0 . Por ltimo, a fim de garantir a consistncia da funo corrente

tridimensional, esta deve recair nas relaes descritas em (4.1) (4.2) quando simplificada para
o caso 2-D.

55

Como ponto de partida, consideremos a propriedade vetorial f 0 , onde f um

vetor qualquer. Se f tiver o formato f

1 x, y , z , t i 2 x, y , z , t j 3 x, y , z , t k ,
onde 1 , 2 , 3 so constantes arbitrrias, possvel encontrar uma relao entre a funo
corrente

cada

componente

do

vetor

f 3 x, y, z , t 2 x, y, z , t i 1 x, y, z , t 3 x, y, z , t j 2 x, y, z , t 1 x, y, z , t k
z
x
y

y
z
x

correspondente s respectivas componentes do vetor velocidade. Assim sendo, as relaes entre

componentes de velocidade e funo corrente ficam com o formato

u x, y, z , t 3

x, y, z , t 2 x, y, z , t
y
z

(4.4)

v x, y, z, t 1

x, y, z, t 3 x, y, z, t
z
x

(4.5)

x, y, z, t 1 x, y, z, t
x
y

(4.6)

w x, y, z, t 2

Obviamente, estas relaes satisfazem identicamente a equao da continuidade, pois foram

derivadas a partir da aplicao do operador rotacional sobre f . Este sistema de equaes

diferenciais satisfaz identicamente a equao (4.3) quando nela substitudo, mostrando que a
funo corrente obtida a partir destas relaes tambm tangente s componentes do vetor
velocidade. Note que estas relaes para a funo corrente recaem no formato do caso
bidimensional descrito em (4.1) e (4.2) quando a dimenso z no considerada, para 3 1 .
As equaes (4.4) (4.6) so diretamente aplicveis para o caso onde a soluo do
escoamento esteja previamente expressa em termos da funo corrente e se queira achar as
respectivas componentes da velocidade. Porm, a soluo obtida no captulo anterior para o
sistema Navier-Stokes j est escrita em termos das componentes da velocidade, sendo que, para
descobrir qual a funo corrente correspondente preciso resolver o sistema (4.4) (4.6).
A determinao de uma expresso para a funo corrente interessante e necessria,
tendo em vista que as solues obtidas para o campo de velocidades possuem diferentes
elementos arbitrrios, como coeficientes e funes; caso se partisse para a simulao de
escoamentos diretamente a partir das componentes u , v, w , seria preciso determinar uma
condio inicial para cada uma delas, e ainda, relacionar estas condies entre si de forma a
reproduzir o escoamento de forma consistente. Porm, com a obteno de uma soluo em
56

termos da funo corrente, esta pode ser usada para a determinao da condio inicial a partir
das linhas de corrente do escoamento, fazendo com que as expresses para as componentes do
vetor velocidade sejam determinadas por simples substituio nas relaes (4.4) (4.6).
4.1. CORRESPONDNCIA ENTRE OS ESPAO NULO DAS COMPONENTES DA
VELOCIDADE E DA FUNO CORRENTE.
Esta seo tem por objetivo demonstrar que as solues exatas para as equaes
de Navier Stokes encontradas no captulo 3 para as componentes u , v, w e a funo corrente
tridimensional no formato descrito no captulo 4 compartilham o mesmo espao de solues.
Inicialmente, considere o sistema (4.4) (4.6), reescrito na forma

onde
B 1

A, B , C

u x, y, z , t A x, y, z, t

(4.7)

v x, y, z, t B x, y, z, t

(4.8)

w x, y, z , t C x, y, z, t

(4.9)

correspondem

aos

operadores

A 3

2 ,
y
z

3 , C 2 1 . Considere ainda os operadores

z
x
x
y

L
R

t

t

1 2
e
Re

(4.10)

1 2
,
Re

(4.11)

onde L o operador correspondente equao linear (3.59a), e R o operador

correspondente mesma equao, porm homognea. Com isso, aplica-se o operador R no
sistema (4.7) (4.9), representado por

57

partir

do

R u x, y, z, t R A x, y, z, t

(4.12)

R v x, y, z, t R B x, y, z, t

(4.13)

R w x, y, z, t R C x, y, z, t

(4.14)

operador

L,

conclui-se

que

R u x, y, z, t u x, y, z, t ,

R v x, y, z, t v x, y, z, t e R w x, y, z , t w x, y, z, t . Alm disso, os operadores A, B,

C e R so lineares e comutam, ou seja, A, R 0 , B, R 0 , C , R 0 . Disto resulta

u x, y, z, t A R x, y, z, t 0

(4.15)

v x, y, z, t B R x, y, z, t 0

(4.16)

w x, y, z, t C R x, y, z , t 0

(4.17)

Aplicando o inverso dos operadores A, B e C nas equaes (4.15), (4.16) e (4.17), vem

A1 u x, y, z, t R x, y, z, t A 0

(4.18)

B 1 v x, y, z, t R x, y, z, t B 0

(4.19)

C 1 w x, y, z , t R x, y, z, t C 0

(4.20)

onde A , B e C so os respectivos espaos nulos dos operadores A, B e C. Porm, a partir

das equaes (4.7) (4.9) possvel chegar a

A1 u x, y, z , t A ( x, y, z , t )

(4.21)

B 1 v x, y, z , t B ( x, y, z, t )

(4.22)

C 1 w x, y, z, t C ( x, y, z, t )

(4.23)

58

Substituindo estas expresses em (4.7) (4.9), o sistema se reduz a

x, y, z, t R x, y, z, t 0

(4.24)

Porm, esta equao idntica a L x, y, z , t 0 , calculada via operador B para as

componentes do vetor velocidade. Com isso, conclui-se que as componentes da velocidade,
calculadas no captulo 3, a partir da equao (3.59a), e a funo corrente compartilham o mesmo
espao de solues.

59

5.

RESULTADOS.

Durante a realizao deste trabalho, o foco esteve mantido na obteno de solues exatas
que satisfizessem s condies de contorno de cenrios fsicos relativos a escoamentos para altos
nmeros de Reynolds. Como j mencionado, o conjunto de solues exatas para o sistema
Navier-Stokes, obtidas atravs da resoluo da equao de ponto fixo, pode ser incrementado a
partir de mtodos para obteno de simetrias, ou mesmo com a aplicao direta dos grupos de
Lie. No sub-captulo que segue, so apresentadas simulaes preliminares de um escoamento
plenamente turbulento em torno de uma esfera a partir das solues (3.60) (3.62), as quais
foram obtidas via Transformaes de Bcklund.

Nesta etapa, no existe a pretenso de

apresentar resultados numricos comparativos com dados experimentais, seno somente uma
anlise qualitativa a respeito das caractersticas gerais dos escoamentos simulados, como a
formao de termos flutuantes e o descolamento da camada limite. Vale salientar que estas
simulaes so importantes no sentido de caracterizar de forma preliminar escoamentos desta
natureza. Nesta etapa, a condio inicial ajustada seguindo-se parmetros macro. Obviamente,
possvel gerar, a partir das solues (3.60) (3.62), novas simulaes, bastando para isso,
ajustar a condio inicial adequada.
Nessa anlise preliminar, foram utilizadas algumas referncias clssicas em Mecnica de
Fluidos [Achenbach e Heinecken,1981; Borthwick, 1986; Karniadakis, 1988; Fromm e Harlow,
1963] como base para a estimao qualitativa da funo corrente correspondente ao estado
inicial do sistema, sendo, a seguir, verificada sua evoluo temporal. No foi verificado, pela
inspeo visual, qualquer indcio de comportamento anmalo no que diz respeito evoluo
temporal da funo corrente, tais como singularidades e amplificao da esteira de vrtices
longa distncia ou deformaes abruptas em sua envoltria.

5.2. RESULTADOS PRELIMINARES.

No decorrer deste sub-captulo, so apresentados alguns resultados obtidos com a
simulao de escoamentos em torno de uma esfera com raio unitrio, para escoamentos
turbulentos plenamente desenvolvidos. Dentre as solues obtidas no captulo 3, a que melhor se
adaptou aplicao das condies iniciais foi a soluo referente expresso (3.62), onde seus
argumentos correspondem a

60

x 2 b1
z 2 b1
b9 x
b4 z
2
2

(5.1)

b1 2 ( z b1b4 ) 2 ( x b1b9 )

b1 y b1 b7 arctan
b1 ( b4 2z2 b1 22 b1 b4 z )

b1 2

(5.2)

b1 2 ( z b1b4 ) 2 ( x b1b9 )

b1 2 y b1 2 b7 arctan
b1 ( b4 2z 2 b1 22 b1 b4 z )

2
b1

(5.3)

b10 arctan

b9
b1 2 x
b1

2
z 2 b1
x b1

b4 2x 2 b1 22 b1 b9 x2 b1
b9 x
b4 z
2
2

2
b1

(5.4)

A partir destes argumentos, a funo arbitrria da expresso (3.62) foi determinada com base nos
resultados obtidos em [Zabadal et alli, 2004] e [Beck, 2005], tendo a funo corrente do
escoamento em torno de uma esfera o seguinte formato:

f4 0
k2 e

2
( k1 ( k3 ) )

sin( c0 ( c1 c2 2c3 c4 2 ) ) cos ( c2 ( 3c4 2 ) ) e

(5.5)

Onde o termo 0 corresponde funo corrente referente ao escoamento potencial. O termo

potencial vai depender da posio no quadrante z, isto , do plano de corte da esfera. O raio do
cilindro em cada plano deve depender da varivel z, pela equao r 2 r0 2 z 2 . As constantes

k1 , k2 , k3 so constantes de amplificao e amortecimento da esteira. As constantes

c1 , c2 , c3 , c3 auxiliam no controle da freqncia da esteira.

61

5.1. CONDIES RESTRITIVAS

A condio restritiva clssica para a simulao de escoamentos em geral, tanto para corpos
submersos quanto para escoamentos internos, impe condio de segunda espcie na fronteira
fludo-corpo, ou seja,

x, y, z , t x, y, z , t x, y, z , t

0 . Este tipo de restrio

x
y
z

esteve historicamente baseado na observao de escoamentos e nas medies de velocidade

realizadas junto parede, as quais sempre corroboraram esta premissa. Porm, mesmo medies
de velocidade junto parede, por dependerem da preciso de instrumentos, no so
irrestritamente fieis ao que de fato ocorre nas regies de interface do corpo submerso. Fatores de
influncia nas perturbaes, tais como rugosidade do corpo, choques aleatrios entre partculas
adjacentes nesta regio, afinidade qumica, etc, no so considerados pela abordagem restritiva
clssica e, de fato, pode ela ser fator de influncia na dificuldade de obteno de flutuaes de
alta freqncia em escoamentos para altos nmeros de Reynolds.
Segundo Santiago (2007), uma restrio mais realista alcanada com o uso de uma
condio de terceira espcie na funo corrente, onde a diferencial da mesma seria proporcional
a prpria funo, na fronteira corpo-fludo. Uma forma indireta de se aplicar isto pela
prescrio de uma flutuao de velocidade de baixa amplitude e alta freqncia no contorno do
corpo submerso, cujo objetivo simular o que seria o resultado de choques de alta freqncia
entre partculas na interface.
Afim de garantir que a flutuao na parede seja de baixa amplitude, o termo referente ao
escoamento potencial 0 deve respeitar a condio de no deslizamento clssica no contorno do
corpo submerso, de forma que somente a segunda parcela da soluo (5.5) ser responsvel pela
prescrio na fronteira. Assim, a partir da funo

0 p p e

a p

(5.6)

r2 y
onde p u0 y 2
, possvel obter a condio de no deslizamento na parede,
x y2

pois esta funo possui derivada nula no contorno, para p

0.

Na figura 5.2, pode-se visualizar a simulao realizada para escoamento em torno de uma
esfera com raio unitrio e velocidade u 1 . Para tanto, foram plotados cortes planos em
diversas profundidades ao longo da esfera.

62

Figura 5.1: Esteira completa, Z=0.

Figura 5.2: Esteira: Descolamento, Z=0.

Nas figuras 5.2 e 5.3, pode-se observar o carter flutuante do escoamento a montante do
corpo submerso. Na figura 5.2, nota-se o comprimento da esteira atingindo em torno de 8 vezes o
raio do corpo submerso. Na figura 5.3, observa-se o descolamento da camada limite acontecendo
aproximadamente 120 , a partir do centro da esfera, o que condiz com a observao para altos
nmeros de Reynolds desta ordem.
63

Figura 5.3: Esteira completa, Z=0.3

Figura 5.4: Esteira: Descolamento , Z=0.3.

64

Figura 5.5: Esteira completa, Z=0.6

Figura 5.6: Esteira: Descolamento, Z=0.6.

65

Figura 5.7: Esteira completa, Z=0.9

Figura 5.8: Esteira: Descolamento, Z=0.9.

Nas figuras 5.3 a 5.8, pode-se notar o decrscimo das flutuaes devido o avano na
profundidade da esfera. Nestas figuras, observa-se no somente o decaimento total da esteira,
agora em torno de 7 vezes o raio da esfera (figura 5.7), mas tambm uma diminuio na
amplitude do descolamento nas figuras 5.6 e 5.8 devido seu afastamento do centro da esfera.
Estas observaes esto condizentes com os aspectos qualitativos de um escoamento desta
natureza, de forma que constituem um estimulante ponto de partida para a continuao deste
trabalho.
66

Durante a utilizao das solues (3.60) (3.62), para a aplicao da condio inicial,
referente simulao do escoamento, foram observadas algumas limitaes no que tange a
gerao das esteiras de vrtices; dentre elas, a dificuldade de controle das freqncias das
flutuaes em um dos planos em z, de forma que no foi possvel realizar a simulao para o
domnio inteiro. Todavia, estas limitaes no invalidam a utilizao das solues acima citadas,
posto que o domnio pode ser dividido em duas partes, uma para cada quadrante z, aplicando a
mesma soluo em cada bloco, porm com diferentes coeficientes, de forma a evitar a simetria
da esteira nestes quadrantes.

5.2. RESULTADOS OBTIDOS VIA SOLUO EM COORDENADAS CILINDRICAS.

A partir do resultado obtido com a soluo (3.66), em conjunto com (3.61), foi possvel
chegar a uma soluo para a equao linear do Split com o formato
4h

0 xa
1

Re

f _ F0 r , , t e

4
a a t
Re 0 1

(5.7)

onde F0 r , , t , j transformada para coordenadas cartesianas, dada por

b5 y 2
b5 z2
f( x, y, z, t )_F1
b9 y
b7 z,
2
2

b5 2 ( b5 zb7 ) 2 ( b5 yb9 )
x
b5 2 b4 arctan

b5 ( b7 2b5 2 z22 b5 b7 z )

b5 2

b5 2

, t

(5.8)

b10 arctan

b9
2
b5 y
b5

2
2

b5 y
b5 z
2
2 2
b7 b5 y 2 b5 b9 y2 b5
b9 y
b7 z
2
2

2
b5

Aqui, _ F1 qualquer soluo da equao linear do Split. A soluo utilizada, neste caso, possui
o formato

1 e

c0 c1 y c2 z

( c12 c22 )
t
Re

(5.9)

Assim, a soluo final para a funo corrente simulada obtida adicionando um termo de
escoamento potencial 0 , na forma s 0 1 .
67

5.2.3. APLICAO DO GRUPO DE LIE

A primeira tarefa a ser realizada para a aplicao do grupo de Lie das equaes de
Navier-Stokes deve ser a anlise prvia a respeito de seus geradores infinitesimais, buscando
entender qual o resultado que pode ser obtido com a aplicao de cada um, ou em outras
palavras, o que cada um capaz de fazer, no sentido no somente de deixar a soluo mais geral,
mas tambm que as possveis simetrias a serem geradas por eles possam vir a serem teis no
sentido de reproduzir algum outro efeito fsico o qual as solues j obtidas (5.7) e (5.8) no
consigam reproduzir. Neste sentido, os geradores cuja aplicao se mostrou mais vantajosa
correspondem s expresses (2.50g) e (2.50h), referentes aos geradores v7 e v8 , dados por

V7 a3 t

a3 ' t ya3 '' t

y
v
p

(5.10)

V8 a4 t

a4 ' t
za4 '' t
z
w
p

(5.11)

Aqui, as funes a3 t e a4 t so funes arbitrrias do tempo. Dessa forma, estes geradores

so capazes de introduzir estas funes na soluo prvia encontrada, o que possibilita
reproduzir mais fielmente as perturbaes transientes de um escoamento turbulento, como por
exemplo, variaes de flutuao na esteira de vrtices.
A aplicao da exponencial destes operadores, a priori, deveria ser dada atravs de sua
aplicao conjunta, sem a possibilidade de fatorao, ou seja, na forma

e1v7 2v8 f 0 f1

(5.12)

onde f 0 a soluo previamente encontrada. Porm, realizando uma pequena anlise sobre estes
geradores, em conjunto com a soluo (5.8), possvel justificar a aplicao de uma fatorao na
aplicao da exponencial destes geradores. Isto porque os primeiros termos dos geradores v7 e
v8 , respectivamente, a3 t

e a4 t , so responsveis por uma translao nas variveis y e

y
z

z, na forma

68

y y a3 t e z z a4 t .

(5.13)

Porm, na soluo (5.8), as variveis y e z aparecem multiplicadas por constantes arbitrrias, no

caso, b5 , b7 e b9 . Como j existem estes fatores de escala nestes variveis, possvel aplicar
unicamente uma transformao infinitesimal dos geradores, posto que as constantes j existentes
na soluo (5.8) do conta de compensar o fato dos parmetros 1 e 2 da expresso (5.12)
serem infinitesimais. Inclusive, possvel fatorar cada gerador individualmente, ou seja, aplicar
a transformao unicamente nos termos que possibilitem obter o desejado, que a introduo das
funes arbitrrias a3 t e a4 t . Dessa forma, a aplicao dos geradores v7 e v8 se reduzem a

1a t y a t
z
e
e
f 0 f1

2 4

(5.14)

cuja simetria a ser gerada por esta aplicao corresponde a (5.13). Vale salientar que este
procedimento s gera o resultado citado devido caracterstica da soluo (5.8), a qual possui
elementos arbitrrios em sua composio, que do conta de compensar o fato de a transformao
ser infinitesimal.

5.3. SIMULAO DE ESCOAMENTO EM TORNO DE UMA ESFERA.

Uma vez obtida a soluo final, partiu-se para a simulao de um escoamento, tambm
em torno de uma esfera, a fim de avaliar e comparar os dados obtidos desta simulao com a
j realizada nos resultados preliminares. Essa comparao foi feita com o intuito de observar
quais as melhorias obtidas com esta nova soluo. Da mesma forma, para realizar o ajuste da
condio inicial, foram utilizadas referncias clssicas em Mecnica de Fluidos [Achenbach
e Heinecke,1981; Borthwick, 1986; Karniadakis, 1988; Fromm e Harlow, 1963] como base
qualitativa para a estimao da funo corrente correspondente ao estado inicial do sistema.
Em adio, tambm foi realizado uma estimativa do tamanho mdio dos vrtices em funo
do nmero de Reynolds (Apndice E). Nesta fase, foram simulados escoamentos em torno de
uma esfera de raio unitrio para diferentes nmeros de Reynolds, com objeto de levantar
dados quantitativos a respeito dos coeficientes de presso e arrasto.

69

Devido o fato da equao (3.5a) ser linear, possvel construir novas solues a partir de
uma combinao linear das solues exatas j encontradas. Para o caso simulado, a soluo
final tem a forma de uma combinao de 5 termos, dada por

1 2 3 4 0

(5.15)

Nessa soluo, construda com o intuito de representar a condio inicial de forma mais
realista, as funes i possuem forma anloga definida por (5.7), porm com diferentes
coeficientes, os quais esto listados na tabela a seguir. Aqui, 0 o termo referente ao
escoamento potencial, nos moldes de (5.6), Obviamente, a escolha desta combinao linear
depende das caractersticas do estado inicial do sistema. Entretanto, vale salientar que quanto
maior for a quantidade de termos utilizados maior ser o tempo de ps-processamento para a
gerao dos dados quantitativos e qualitativos. Contudo, este grau de liberdade pode vir a
permitir embora isso dependa tambm de um ajuste fino dos coeficientes arbitrrios uma
especificao mais refinada no apenas para a condio inicial, mas para a evoluo temporal
da esteira de vrtices.

Tabela 5.1: Parmetros da funo corrente.

1.3 106

1.3 106

1.3 106

1.3 106

k0 1

k0 1

k0 1

k0 1

cx 1.2

cx 1.15

cx 1.22

cx 1.18

c0 1.4

c0 1.4

c0 1.4

c0 1.4

c1 1

c1 1

c1 1

c1 1

c2 1

c2 1

b5 1.5 10

Re

c2 1

b5 1.5 10

Re

b5 1.5 10

c2 1
2

Re

b5 1.5 102 Re

b7 1102 Re 20i

b7 1102 Re 20i

b7 1102 Re 20i

b7 1102 Re 20i

b9 0.1102 Re 10i

b9 0.1102 Re 10i

b9 0.1102 Re 10i

b9 0.1102 Re 10i

Re 104

Re 104

Re 104
b10 0.015

Re 104
b10 0.018

a0 20 102 Re

a0 20 102 Re

b10 0.01
a0 20 10

b10 0.02
2

Re

a0 20 10

Re

a1 0.02 102 Re 2i

a1 0.02 102 Re 2i

a1 0.02 102 Re 2i

a1 0.02 102 Re 2i

h0 32 102 Re 4i

h0 32 102 Re 4i

h0 32 102 Re 4i

h0 32 102 Re 4i

70

Nesta tabela, i representa a unidade imaginria; os valores bn so funes do nmero de

Reynolds e foram determinadas com base na estimativa do raio mdio dos vrtices (apndice
E). A especificao destes coeficientes est detalhada no apndice F, o qual contm o cdigo
de programao em Maple da simulao realizada.

Figura 5.9: Coeficiente de presso em funo do ngulo da esfera.

Figura 5.10: Coeficiente de presso invscido e para Re tendendo a infinito (simulao).

71

Os resultados referentes ao coeficiente de presso apresentaram boa concordncia com os dados

da literatura at o ponto de descolamento da camada limite. A partir desse ponto, as oscilaes
oriundas da formao da esteira de vrtices produzem efeitos transientes cuja reprodutibilidade
se torna invivel, devido sensibilidade da soluo em relao a perturbaes sobre a condio
inicial. Essa caracterstica no inerente ao mtodo proposto, mas prpria natureza das
equaes diferenciais em questo, que contm termos no-lineares de primeira ordem. A fim de
obter curvas suaves para o campo de presso e o respectivo coeficiente adimensional, poderiam
ser tomadas mdias temporais a intervalos de tempo relativamente longos, resultando no
cancelamento das oscilaes, e consequentemente em uma maior concordncia com os dados
disponveis. Entretanto, conveniente apresentar os resultados em sua forma original, a fim de
investigar em maior detalhe os mecanismos de gerao e propagao das perturbaes.

______

White.
Simulao

_______

Figura 5.11: Coeficiente de Arrasto em funo do nmero de Reynolds.

Com relao ao coeficiente de arrasto, o sistema reproduz de forma razovel os valores
experimentais para uma faixa relativamente ampla de nmeros de Reynolds, alm de esboar
adequadamente importantes caractersticas do escoamento, tais como o deslocamento do ponto
de descolamento da camada limite e a reduo do valor mdio dos raios dos vrtices medida
que se avana de montante a jusante, efeito caracterstico da formao da cascata de Kolmogorov
(ver figura 5.4). Entretanto, o sistema no reproduz corretamente a queda sbita do coeficiente
de arrasto com o nmero de Reynolds entre 105 e 106, fenmeno conhecido como drag crisis.
O sistema prev nesse intervalo apenas uma reduo gradual no coeficiente de arrasto com o
72

nmero de Reynolds, correspondente a um deslocamento contnuo do ponto de descolamento da

camada limite. Alm disso, o sistema no reproduz a regio ascendente que precede a queda
sbita do coeficiente de arrasto, ao longo da qual a curva CDxRe se comporta basicamente como
uma sigmide crescente.

Figura 5.12: Esteira de vrtices completa, z 0 , Re 104 .

Existem ao menos dois fortes indcios de que as deficincias mencionadas anteriormente

se devam ao fato do modelo de escoamento haver sido originalmente concebido como um
problema de contorno, ao invs de um fenmeno em meio infinito. Em primeiro lugar, quando o
fenmeno analisado em meio infinito, a viscosidade cinemtica (ou mesmo o nmero de
Reynolds) depende das coordenadas espaciais, sofrendo uma variao pronunciada ao passar do
fluido para o interior do corpo submerso. Nessa formulao no so prescritas condies de
contorno de qualquer espcie sobre as interfaces. As verdadeiras condies de contorno tendem a
emergir naturalmente como conseqncia de efeitos de borda. Assim, parece razovel inferir que
a causa imediata da drag crisis, a saber, o deslocamento sbito do ponto de descolamento da
camada limite, seja resultado de uma mudana brusca nas condies de contorno originadas por
efeitos de interface, tais como variaes locais bastante acentuadas nas tenses de cisalhamento
com o nmero de Reynolds. Ocorre que essas variaes no poderiam ser simplesmente
prescritas como condies de contorno, pois os efeitos transientes oriundos da interao entre o
fluido e a interface se tornam extremamente complexos medida que o escoamento avana de
montante jusante. Na pior das hipteses, um modelo local para o comportamento do fluido
73

junto interface poderia ser desenvolvido com o intuito de obter restries diferenciais para a
funo corrente. Esse procedimento seria equivalente prescrio de condies de deslizamento
parcial entre o fluido e o contorno slido.
Em segundo lugar, a concepo clssica do contorno slido atuando como uma "fonte de
vorticidade na equao de Helmholtz no apenas corrobora o argumento anterior, mas tambm
consistente com os prprios resultados qualitativos obtidos (ver figuras 5.5 a 5.8).

Figura 5.13: A interface como fonte de vorticidade ( z 0 , Re 104 ).

Nas figuras 5.1 e 5.2, pode-se observar o carter oscilante da funo corrente jusante do
corpo submerso. Na figura 5.1, nota-se o comprimento da esteira atingindo em torno de 8 vezes o
raio do corpo submerso. Na figura 5.2, observa-se o descolamento da camada limite acontecendo
aproximadamente 120 , a partir do centro da esfera, o que condiz aproximadamente com a
observao para altos nmeros de Reynolds desta ordem

74

Figura 5.14: Esteira completa, z 0.6. Re 104 .

Figura 5.15: Esteira completa, z 0.9. Re 104 .

O conceito de interface como fonte de vorticidade qualitativamente corroborado por
simulaes para nmero de Reynolds elevados, devido ao fato da esteira de microvrtices se
comportar basicamente como a emisso de um poluente a partir da interface. Verifica-se que, ao
contrrio dos escoamentos para baixos Re, a esteira tende a se comportar como uma emisso que

75

possui alcance relativamente longo, fato que pode ser diretamente constatado quando so
tomados planos de corte mais distantes de z=0 (ver figuras 5.8 a 5.10).

Figura 5.16: Esteira completa, z 1.5. Re 104 .

Figura 5.17: Esteira completa, z 1.8 , Re 104 .

76

Figura 5.18: Esteira completa, z 2.4 , Re 104 .

Embora corroborado pelos resultados qualitativos, esse conceito entra em conflito direto com a
noo de subcamada laminar, usualmente adotado em textos clssicos. Para eliminar o aparente
paradoxo, convm ressaltar que a aceitao do conceito de subcamada laminar implica no
surgimento de uma questo insolvel. Como justificar a existncia de uma subcamada laminar
precisamente nas vizinhanas da interface slida? Cabe lembrar que essa justamente a regio
onde os termos no-lineares atuam de forma mais efetiva como geradores de rudo de alta
freqncia, devido s elevadas tenses de cisalhamento e aos desvios da corrente principal junto
interface rugosa. Se nessa regio no existisse turbulncia, em nenhuma outra poderia haver
sequer flutuaes de baixa amplitude.

77

6.

CONCLUSES E RECOMENDAES PARA TRABALHOS FUTUROS

Este captulo sumariza as principais concluses obtidas atravs da anlise dos resultados

apresentados, salientando as principais vantagens e deficincias da formulao proposta. Alm

disso, so fornecidas sugestes para contornar as principais deficincias mencionadas, levando
em considerao que devem ser preservadas algumas caractersticas operacionais relevantes,
como o tempo de processamento, a quantidade de memria requerida e a facilidade de depurao
do respectivo cdigo fonte. Essas caractersticas agilizam consideravelmente o processo de
implementao de novas rotinas, uma vez que permitem a execuo de uma srie de simulaes
a ttulo de teste, com o objetivo de detectar erros e otimizar procedimentos, viabilizando a
continuidade do trabalho iniciado.
Como j foi mencionado, os resultados referentes ao coeficiente de presso apresentaram
boa concordncia com os dados da literatura at o ponto de descolamento da camada limite,
regio na qual as oscilaes oriundas da formao da esteira de vrtices produzem efeitos
transientes cuja reprodutibilidade se torna invivel devido sensibilidade em relao a
perturbaes sobre a condio inicial.
Naturalmente, o cancelamento das oscilaes se torna mais eficiente medida que a
dimenso caracterstica dos vrtices diminui, o que ocorre com o aumento do nmero de
Reynolds. Alm disso, a prpria extenso da rea de contato da esteira de vrtices com a
interface slida sofre uma reduo significativa com o aumento do nmero de Reynolds,
ocasionada pelo atraso no ponto de descolamento da camada limite. Dessa forma, no que diz
respeito ao coeficiente de presso, a amplitude das oscilaes se torna menor medida que o
nmero de Reynolds aumenta, o que no ocorre na soluo preliminar apresentada na seo 2.8.
Para o coeficiente de arrasto, foi tambm mencionado que o sistema reproduz de forma
razovel os valores experimentais para uma faixa relativamente ampla de nmeros de Reynolds,
e que adicionalmente capaz de delinear caractersticas relevantes do escoamento (o
deslocamento do ponto de descolamento da camada limite e a reduo do valor mdio dos raios
dos vrtices ao longo da esteira). Entretanto, o sistema no reproduz a drag crisis, prevendo
somente uma reduo gradual no coeficiente de arrasto com o nmero de Reynolds, relativo a
um deslocamento suave do ponto de descolamento da camada limite turbulenta. O sistema
tambm no capaz de reproduzir a regio ascendente que precede a queda sbita de CD.
Ao observar os resultados qualitativos em busca de informaes que permitam
implementar futuros refinamentos no modelo, foi encontradas uma causas de erro, relacionada
basicamente prescrio das condies de contorno. Essa causa de erro corroborada por dois
argumentos aparentemente independentes. O primeiro leva em conta o fato do escoamento ter
78

sido modelado como um problema de contorno, ao invs de um evento em meio infinito, as

variaes da viscosidade cinemtica junto parede no foram levadas em considerao. Como
conseqncia, os efeitos de borda que caracterizam a interao fluido-estrutura foram
simplesmente prescritos sobre a interface, quando deveriam surgir como decorrncia natural do
comportamento local do modelo. Desse modo, parece razovel concluir que o deslocamento
sbito do ponto de descolamento da camada limite resulte de uma mudana repentina nas
condies de contorno, devido a variaes nas tenses de cisalhamento com o nmero de
Reynolds.
O segundo argumento, que parece corroborar fortemente a hiptese segundo a qual a
causa de erro est relacionada aplicao das condies de contorno clssicas, diz respeito
concepo clssica do contorno slido atuando como uma "fonte de vorticidade na equao de
Helmholtz. Esse argumento no apenas parece corroborar a hiptese mencionada, mas tambm
fornece um ponto de partida bastante promissor para a elaborao de modelos em meio infinito.
Para tanto, basta ter em mente que, quando a viscosidade considerada varivel, surgem novos
termos inerciais nas equaes de Navier-Stokes e Helmholtz. O efeito desses termos sobre o
campo de velocidades bastante pronunciado, embora de curto alcance, produzindo perturbaes
significativas sobre o campo de velocidades nas imediaes do contorno. Esse efeito se torna
bastante claro quando os novos termos so reagrupados s parcelas inerciais j existentes,
colocando em evidncia as derivadas de primeira ordem. Nestas condies, as componentes do
vetor velocidade sofrem as transformaes:

u u

,
x

vv

,
y

w w

Verifica-se, portanto, que a interface slida atua realmente como uma fonte de perturbaes
sobre o campo de velocidades, que pode no apenas produzir vorticidade ao interagir com a
corrente principal, mas tambm flutuaes devido rxistncia de irregularidades na interface
slida, caracterizando a gerao de turbulncia tanto na escala da rugosidade quanto na dos
defeitos cristalinos. Em resumo, a referida fonte de vorticidade surge de fato como
conseqncia direta do tratamento em meio infinito, sem que a equao de Helmholtz seja
violada atravs da incluso artificial de uma funo fonte no sentido rigoroso do termo. Basta,
para tanto, considerar as variaes da viscosidade cinemtica ou do nmero de Reynolds com as
coordenadas espaciais. Consequentemente, ao incorporar a rugosidade da parede na geometria do
respectivo corpo submerso, as componentes flutuantes so espontaneamente produzidas ao longo
79

da interface, dando origem a um modelo natural de turbulncia, que apresenta duas vantagens
tanto de ordem prtica quanto conceitual: no viola os balanos de vorticidade e de quantidade
de movimento, alm de permitir a resoluo das equaes de Helmholtz ou Navier-Stokes em
coordenadas cartesianas, independente da geometria do domnio. importante recordar que, ao
tratar o escoamento em meio infinito, o formato dos obstculos definido exclusivamente pela
funo que descreve a viscosidade cinemtica, no havendo condies de contorno a aplicar
sobre a soluo correspondente uma vez resolvida a equao diferencial.
Com base nos argumentos apresentados, so propostas duas sugestes para o
desenvolvimento de trabalhos futuros. A primeira consiste em elaborar modelos em meio
infinito, sejam estes locais, a fim de obter condies de contorno mais realistas, ou mesmo
vlidos para toda a extenso do domnio, para dispensar a prescrio de condies de contorno.
A segunda sugesto diz respeito elaborao de um modelo adicional, vlido apenas para
o escoamento de lquidos, a fim de considerar a produo de componentes flutuantes no interior
do escoamento, e no apenas junto s interfaces slidas. Uma vez que a viscosidade passa a ser
funo das variveis espaciais, um fenmeno relacionado ao escoamento em fase lquida pode
ser tambm considerado: a variao local da viscosidade com as tenses de cisalhamento. Ocorre
que as molculas em fase lquida se encontram agrupadas em oligmeros cuja distribuio de
peso molecular depende do comportamento local do campo de velocidades. Esses agregados so
mantidos coesos por interaes eletromagnticas residuais cuja intensidade da ordem de
grandeza das foras de Van der Waals, e portanto consideravelmente inferior das ligaes
qumicas tpicas. Essas ligaes intermoleculares que caracterizam o estado lquido podem ser
facilmente rompidas e restauradas devido a colises ocorridas ao longo do escoamento, tanto
sobre a interface slida quanto entre os prprios agregados. Uma vez que a viscosidade varia
com a massa molecular dos oligmeros, torna-se possvel elaborar um modelo auxiliar em
microescala para estimar as flutuaes dos valores da viscosidade no interior do lquido.
Do ponto de vista operacional, uma vez implementados os modelos relativos a ambas as
sugestes propostas, o sistema preservar essencialmente as mesmas caractersticas mencionadas
no incio do captulo. De fato, considerando que novas solues exatas passveis de obteno
atravs de simetrias possuiro estruturas similares s das funes dadas por (5.7) e (5.8),
evitando assim o emprego de expanses em srie e solues implcitas, sua implementao no
provocar aumento aprecivel tanto na extenso do cdigo fonte quanto no tempo de
processamento correspondente. Convm ressaltar que a simples incluso de termos inerciais
extras em equaes advectivo-difusivas no exige o uso de novos mtodos analticos para a
obteno de solues exatas.
80

7.

REFERNCIAS BIBLIOGRFICAS

Anagnostopoulos, J. A fast numerical method for flow analysis and blade design in
centrifugal pump impellers. Computers and fluids 38 (2009) 284-289. Elsevier.

AIAA. Guide for the Verification and Validation of Computational Fluid Dynamics
Simulations. AIAA-G-077-1998. American Institute of Aeronautics and Astronautics, Reston,

VA, 1998.

Aksan, E. A finite element approach for solution of Burgers equation. Applied mathematics
and computation 139 (2003) 417-428. Elsevier.

Ayres, F. Equaes Diferenciais. Coleo Schaum. McGraw Hill, 6 edio, 1995.

Baoling, C; Zuchao, Z; Jianci, Z; Ying, C. The flow simulation and experimental study of
low-specific-speed high-speed complex centrifugal impellers. Chinese Journal of chemical

engineering 14(4) 435-441 (2006).

Beck, D. Solues exatas para a Equao de Helmholtz bidimensional em Regime

Transiente. Dissertao de Mestrado Programa de Ps-Graduao em Engenharia Mecnica

PROMEC/UFRGS. Porto Alegre, 2005

Bejan A., 1984, Convection Heat Transfer, John Wiley.

Bluman, G.; Kumei, S, 1989.- Symmetries and differential equations.- Springer Verlag, N.
York.

Copson, E. T. Partial Differential Equations. Cambridge University Press, 1975.

Dattoli, G., Gianessi, M., Quattromini, M., Torre, A, 1998. Exponential operators,
operational rules and evolutional problems Il Nuovo Cimento, V.113B, N.6, pp 699-710 .

Ibragimov, N, 1995. - Lie Group Analysis of partial differential equations.- CRC Press, Boca
Raton .

81

Fakhar, K; Hayat, T; Zhao, K. Symmetry transformation of solutions for the Navier-Stokes

equations. Applied Mathematics and Computation 207 (2009) 213-224. Elsevier.

Fang, T; Zhang, J. Flow between two stretchable disks an exact solution of the NavierStokes equations. International communications in heat and mass transfer 35 (2008) 892-895.
Elsevier.
FRANCA, L. P. ; FREY, Srgio ; HUGHES, T. J. R. . Stabilized Finite Element Methods: I.
Application to the Advective-Diffusive Model. Computer Methods in Applied Mechanics and
Engineering, Elsevier Science Publishers, v. 95, p. 253-276, 1992
Freire, A.; Mennut, P.; Su, J; 1998. Turbulncia: Anais da I Escola de Primavera em
Transio e Turbulncia. Associao Brasileira de Cincias Mecnicas, ABCM.
Gonalvez, E; Patella, R. Numerical simulation of cavitating flows with homogeneous
models. Computers & Fluids 38 (2009) 1682-1696. Elsevier.
Hinze, J, O. Turbulence. 2nd ed, McGraw-Hill, 1975
Kalitzin, G; Medic, G; Templeton, J. Wall modeling for LES of high Reynolds number
channel flows: what turbulence information is retained?. Computers and fluids 37 (2008)
809-815. Elsevier.
Landau, L. D. Fuid Mechanics. Pergamon, London 1971.
Liao, S. An analytical approximation of the drag coefficient for the viscous flow past a
sphere. International journal of non-linear mechanics 37 (2002) 1-18. Elsevier.
Ligget, James, A. Fluid Mechanics. McGraw-Hill International Editions, 1994.

Liu, W. A triple level finite element method for large eddy simulations. Journal of
Computational Physics 228 (2009) 2690-2706. Elsevier.

Irmay, S. Note: A family of Analytical Solutions of the Navier-Stokes Equations in Space.

Int. J. Engng. Sci. Vol. 35, N12/13. pp. 1261-1263. 1997
Martinat, G; Braza, M; Hoarau, Y; Harran, G. Turbulence modeling of the past a pitching
NACA0012 airfoil at 105 e 106 Reynolds numbers. Journal of fluids and structures 24 (2008)
1294-1303. Elsevier.
Mdallal, Q. A new family of exact solutions to the unsteady Navier-Stokes equations using
canonical transformation with complex coefficients. Applied Mathematics and Computation

196 (2008) 303-308. Elsevier.

Nezu, I; Nakagawa, H. Turbulence in open-channel Flows. Balkema, 1993.

82

Noether, E. Invariante variations probleme. In: Kning Gesell Wissen, Gttingen, 1918. p.
235-257.

Nugroho, G; Ali, A; Karim, Z. On a special class of analytical solutions to the threedimensional incompressible Navier-Stokes equations. Applied Mathematics Letters 22 (1639-

1644). 2009. Elsevier.

Oberkampf, W; Trucano, T. Verification and Validation in Computational Fluid Dynamics.

Progress in Aerospace Science 38 (2002) 209-272. Elsevier.

Oate, E; Valls, A; Garcia, J. Modeling incompressible flows at low and high Reynolds
numbers via a finite calculus finite element approach. Journal of computational physics 224

(2007) 332-351. Elsevier.

Olver, P, 2000.- Applications of Lie Groups to differential equations. Springer Verlag, N.

York

Ong, M. C; Utnes, T; Holmedal, L. E; Myrhaug, D. Numerical simulation of flow around a

smooth circular cylinder at very high Reynolds numbers. Marine Structures 22 (2009) 142-

153. Elsevier.

Rashidi, M; Shamohamadi, H. Analytical solutions of three-dimensional Navier-Stokes

equations for the flow near an infinite rotating disk. Communication in nonlinear science and

numerical simulation 14 2999-3006 (2009). Elsevier.

Razafindralandy, D; Hamdouni. Subgrid models preserving the symmetry group of NavierStokes equations. C.R. Mecanique 333 (2005) 481-486. Elsevier.

Razafindralandy, D; Hamdouni, A; Bghein C. A class of subgrid-scale models preserving the

symmetry group of Navier-Stokes equations. Communications in Nonlinear Science and

Numerical Simulation 12 (2007) 243-253. Elsevier.

83

Profilo, G; Soliani, G; Tebaldi, C. Some Exact Solutions of the Two-Dimensional NavierStokes Equations. International Journal of Engineering Science. Vol. 36, N 4. PP 459-471.
1998.
Santiago, G. F., 2007. Simulao de Escoamentos Viscosos Utilizando Mapeamentos entre
Equaes. Tese de Doutorado em Engenharia Mecnica PROMEC/UFRGS.
Selvam, R. Finite element modeling of flow around a circular cylinder using LES. Journal of
wind engineering and industrial aerodynamics 67 & 68 (1997) 129-139. Elsevier.
Schlichting, Hermann, 1968. Boundary-layer Theory, sixth edition. McGraw-Hill, New York.
Tezduyar, T; Karlo, V. 3D computation of unsteady flow past a sphere with parallel finite
element method. Computers methods in applied mechanics and engineering 151 (1998) 267276. Elsevier.
Trofimova, A; Martinez, A; Jansen, K; Lahey, R. Direct numerical simulation of turbulent
channel flows using a stabilized finite element method. Computers and Fluids 38 (2009) 924938. Elsevier.
Tsangaris, S; Kondaxakis, D; Vlachakis, N. Exact solutions of the Navier-Stokes equations
for the pulsating dean flow in a channel with porous walls. International journal of
engineering science 44 (2006) 1498-1509. Elsevier.
Whitaker, S. Introduction to Fluid Mechanics. First edition, 1968. Prentice-Hall, Englewood
Cliffs, N. J.
White, Frank M, 1974. Viscous fluid Flow, Second edition. McGraw-Hill, New York.
Zabadal, J; Beck, D; Santiago, G; 2004. Solues Exatas para a Equao de Helmholtz em
duas Dimenses - IV Escola de Primavera em Transio e Turbulncia.

Zwillinger, D, 1992.- Handbook of Differential equations.- Academic Press, Boston.

Karniadakis, G; 1988. Numerical simulation of forced convection heat transfer from a

cylinder in crossflow. International journal for heat mass transfer. Vol 31, N 1, 107-118.

Fromm, J; Harlow, F; 1963. Numerical solution of the problem of vortex street development.
The physics of fluids. Vol. 6, N 7.
Borthwick, A; 1986. Comparison between two finite-diference schemes for computing the
flow around a cylinder. International journal for numerical methods in fluids. Vol. 6, 275-290
Achenbach, E; Heinecke, E; 1981. On vortex shedding from smooth and rough cylinders in
the range of Reynolds numbers 6 103 to 5 106 . J. Fluid Mechanics, vol. 109, pp. 239-251

84

Wang, C. Flow due to a stretching boundary with patial slip an exact solution of the
Navier-Stokes equations. Chemical engineering science 57 (2002) 3745-3747. Elsevier.

Zharinov, V, G. Exact Solutions of Problems of the Three-Dimensional Flow of Ideal

Viscous incompressible Fluids Near Cylindrical Surfaces. J. Appl. Maths Mechs, Vol. 66, N

5, pp. 767-773. 2002.

Zikanov, O; Thess, A. Direct numerical simulation as a tool for understanding MHD liquid
metal turbulence. Applied mathematical modeling 28 (2004) 1-13. Elsevier.

85

APNDICES
APNDICE A

Obteno da equao de Helmholtz.

A equao de Helmholtz obtida atravs da aplicao do operador rotacional no sistema

Navier-Stokes. Para o caso de regime transiente, bidimensional e incompressvel, as equaes de
Navier-Stokes tm o seguinte formato:
1 p 1 2u 2u
u
u
u
u v

t
x
y
x Re x 2 y 2

(A.1)

v
v
v
1 p 1 2 v 2 v
,
u v

y Re x 2 y 2
t
x
y

(A.2)

onde corresponde massa especfica do fluido e Re corresponde ao Nmero de Reynolds do

escoamento.
Aplicando o operador rotacional nas equaes (A.1) e (A.2), obtm-se

2u u u
2u v u
2u 1 2 p 1 3u
3u
u

k
k
v
k
k
k (A.3)

2
2
3
yt

y
x
y
x
y
y
y
y
x
Re
y
x
y

2u u v
2 v v v
2v
3v
1 2 p 1 3v
u 2 k
v

k
k
k

k , (A.4)
xy
xt
x
xy
Re x 3 xy 2
x x
x y

onde k representa a componente do vetor na direo z.

Somando as equaes (A.3) e (A.4), e reagrupando os termos, resulta em

2 v 2u v v u
v u u v u
u

2

t x y x x y
x yx y x y
2 v 2u 1 2 v u 2 v u
v
2
2 2
xy y Re x x y y x y

(A.5)

Considerando a vorticidade como sendo

86

 v u
V k z
x y

(A.6)

onde V ui v j , aplica-se a mesma na equao (A.5), obtendo-se

u v 1 2
z

u z v z z
z .
t
x
y
x y Re

(A.7)

O termo entre colchetes na equao (A.7) nulo, pois corresponde equao da continuidade,
Com isso, a equao (A.7) toma a forma
z

u z v z 2 z
t
x
y

(A.8)

e corresponde equao de Helmholtz bidimensional em regime transiente para escoamento

incompressvel.

87

APNDICE B
TRANSFORMAES CONFORMES
A aplicao das transformaes conformes consiste em um mapeamento de pontos entre
dois domnios distintos. Seu objetivo transformar a geometria do domnio original em uma
outra geometria. Esta transformao conseguida atravs da aplicao de uma funo analtica
na varivel complexa (DETTMAN, 1965).
Para exemplificar o mtodo, vejamos o caso da funo f ( z ) z 2 . Esta funo pode ser
expressa em termos das coordenadas cartesianas x, y fazendo z x iy , e, substituindo na
equao original, resulta em

f ( z ) ( x iy ) 2 x 2 y 2 i (2 xy ) u ( x, y ) iv( x, y ) , sendo

expressa tambm em termos das variveis u e v .

Define-se ento um ponto arbitrrio no plano w como sendo w u ( x, y ) iv( x, y ) e
tomando-se uma reta horizontal no plano z, ou seja, y cte (fig. B.1) e aplicando a
transformao acima descrita, obtm-se uma nova geometria no plano w (fig. B.2):

Plano z

Plano w

z2
w

(fig. B.1)

(fig.B.2)

Figura A 1: Transformao conforme aplicada ao plano z gera a curva do plano w.

Neste caso, foi aplicado uma transformao atravs da funo f ( z ) z 2 no plano z, de forma
que ocorresse uma mudana entre os pontos correspondentes do plano z para o plano w.
Segundo Dettman (1965), para que uma transformao possa ser conforme, existem dois
requisitos que precisam ser satisfeitos:
1 - A funo f ( z ) aplicada no plano z precisa ser analtica no domnio.
2 - A derivada da funo f ( z ) no pode ser nula, i.e., f ' ( z ) 0
Qualquer transformao de varivel complexa que satisfaa estes dois requisitos dita conforme,

88

tendo como caracterstica o fato de preservar a estrutura da equao de Laplace frente mudana
de varivel (ver apndice A).
CONDIES DE CAUCHY-RIEMANN
Outra caracterstica de uma transformao conforme o fato de ela preservar os ngulos de
um elemento de rea frente a uma transformao. Isto significa que a malha de um determinado
domnio preserva seus ngulos quando mapeada em outro domnio. Segundo Dettman (1965),
esta propriedade decorre diretamente das condies de Cauchy-Riemann: tomando z x iy ,
qualquer funo desta varivel complexa pode ser expressa como f ( z ) u ( x, y ) iv( x, y ) . A
derivada desta funo pode ser representada por

f '( z ) lim

z 0

u x x, y y iv x x, y y u x, y iv x, y
f ( z z ) f ( z )
lim

0
z
x iy
y 0

. (B.1)

Para que f ( z ) seja analtica, este limite deve existir independentemente de como z tenda para
zero, seja pela aproximao por x ou pela aproximao por y. Assim, fazendo y tender a zero
antes de x , resulta em

f1 '( z ) lim

x 0

u x x, y u x, y i v x x, y v x, y
x

u v
i
x
x

(B.2)

Por outro lado, fazendo x tender a zero antes de y , obtm-se

f 2 '( z ) lim

y 0

u x, y y u x, y i v x, y y v x, y
i y

u v
.
y y

(B.3)

Para que f ( z ) seja analtica, f '( z ) deve ser nica, assim f1 '( z ) f 2 '( z ) . Isto implica em
u v

x y

u
v

y
x

(B.4)
.

(B.5)

Estas equaes so conhecidas como condies de Cauchy-Riemann e necessariamente precisam

ser respeitadas em qualquer funo de varivel complexa. Estas condies tambm garantem a
ortogonalidade entre as isolinhas de uma funo de varivel complexa (Apndice C).

89

PARAMTRICAS QUE MAPEIAM O DOMNIO.

A descrio das transformaes conformes apresentada at este momento se refere aos
casos onde a funo f ( z ) aplicada na transformao conhecida, ou seja, aplica-se a funo no
domnio original de forma a obter o domnio transformado. Porm, para problemas prticos em
engenharia, muitas vezes necessrio estabelecer uma forma de determinar qual a funo f ( z )
responsvel pelo mapeamento entre dois domnios j conhecidos, ou seja, transformar o domnio
original em algum outro domnio (conhecido) que facilite a soluo. Para que este tipo de
abordagem possa ser realizado, necessria a aplicao das funes paramtricas, as quais so
responsveis pelo mapeamento entre os domnios dos planos. As paramtricas que mapeiam o
domnio podem ser vistas como a funo pela qual se dar a transformao conforme. Esta etapa
do processo pode exigir tratamento numrico, consistindo no ajuste de curva dos pontos do
domnio original. A transformao conforme realizada neste trabalho consiste em transformar o
domnio original de um determinado problema em um semi-plano y positivo. Isto significa que
independentemente do formato do domnio original, este sempre ser transformado em uma reta
horizontal no plano w.
As paramtricas podem ser determinadas percorrendo-se o contorno do domnio original e
relacionando-os com os pontos desejados no domnio transformado.

Plano z

Plano w

Z5
Z4
Z3
Z2
Z1

u1 u2 u3 u4 u5

Figura B.3: Ajuste das paramtricas.

Para que o levantamento das paramtricas seja efetuado, necessrio um mapeamento entre os
pontos do contorno nos plano z e plano w. Para isso utiliza-se o parmetro u, a fim de determinar
a funo que correlaciona os pontos de um contorno no outro.
Pelo ajuste de curva surge ento duas funes dependentes da varivel u ,
90

 X X (u )

Y Y (u )

(B.6)

Para a determinao das paramtricas no interior do domnio, basta fazer a substituio da

varivel u por u iv , a fim de garantir que as funes ajustadas respeitem as condies de
Cauchy-Riemann. Assim,
X X (u iv)

Y Y (u iv)

(B.7)

Uma vez obtida as funes paramtricas, aplica-se as mesmas aos pontos do plano z, onde

z X (u iv) iY (u iv) . Assim, os pontos x, y so determinados extraindo-se a parte real e

imaginria, respectivamente, isto ,

x z

y z

(B.8)

A transformao conforme via paramtricas pode ser utilizada para introduzir a

rugosidade do corpo submerso. Uma vez obtida a soluo que mapeie o formato original do
corpo submerso em um outro formato qualquer, possvel aplicar-se uma segunda
transformao, agora utilizando as paramtricas, a fim de descrever a rugosidade no contorno do
corpo, onde as paramtricas so determinadas conforme a rugosidade desejada.

91

APNDICE C
ORTOGONALIDADE ENTRE AS ISOLINHAS DE UMA FUNO DE VARIVEL
COMPLEXA
Sendo
f z x , y i x , y

(C.1)

e tomando c1 e c 2 como sendo as respectivas curvas das parcelas real e imaginria, e

, a ortogonalidade pode ser mostrada
,
tendo o vetor normal a curva c 2 como sendo
x y
fazendo:

x x y y

(C.2)

Aplicando as condies de Cauchy-Riemann

x
y

y
x

(C.3)

A equao (C.2) fica

0
x x y y
x y y x

(C.4)

A equao (C.4) mostra que os vetores normais s curvas c1 e c 2 so tambm mutuamente

ortogonais.

92

APNDICE D
Obteno da soluo Formal.

Para equaes na forma

f
Af ,
t

onde A um operador linear, possvel obter uma soluo para f

(D.1)

tratando A como um

parmetro. Assim, a soluo pode ser obtida via variveis separveis, resultando em
f etA f 0 .

(D.2)

onde f 0 corresponde condio inicial do sistema fsico. A dificuldade de utilizao desta

soluo diz respeito exponencial do operador A, a qual aplicada sobre a funo inicial f 0 ,
pois nem sempre possvel se obter uma soluo explicita para a funo f. Uma forma de gerar
solues a partir de (D.2) expandindo a funo em srie de Taylor, o que resulta em
tk

f Ak f 0 ,
k 0 k !

(D.3)

onde Ak representa as potncias do operador A, isto , o nmero k de vezes em que o operador

ser aplicado sobre a funo f 0 .
Atualmente, a pesquisa na rea de solues formais est voltada para a obteno de
alternativas que viabilizem sua utilizao (Datolli et al, 1998),. Uma alternativa expanso da
soluo (D.2) em srie de Taylor a introduo de funes auxiliares que possibilitem
simplificar a aplicao das potncias do operador A sobre a condio inicial. Uma destas
alternativas objeto do mtodo utilizado neste trabalho, onde a introduo da autofuno do
laplaciano como funo auxiliar possibilita a obteno de uma soluo explicita via soluo
formal.

93

APNDICE E
Estimativa do raio mdio dos vrtices em funo do nmero de Reynolds.

O tamanho inicial mdio dos vrtices pode ser estimado a partir de correlaes entre o
nmero de Strouhal e o nmero de Reynolds, disponveis na literatura [Achenbach e Heinecken,
1981; Schlichting, 1968]. Entretanto, a elevada disperso dos dados experimentais Re vs. Sr para
nmeros de Reynolds superiores a 105 tende a impedir a identificao da tendncia central da
correlao. A fim de obter valores tpicos para o raio dos vrtices em funo do nmero de
Reynolds, e assim prescrever uma condio inicial qualitativamente consistente com cenrios
fsicos realistas, foi utilizada uma soluo particular para a equao

1 2

Re x 2

(E.1)

y 2

a fim de estimar o valor mdio do raio do vrtice. A soluo utilizada, dada por

4 t

Re x y

(E.2)

Re

tambm soluo exata da equao, mas vlida para aplicaes em meio infinito [ Reichl, 1980].
Esta expresso foi escolhida devido sua maior facilidade de manipulao. A regio da esteira
onde o raio mdio dos vrtices calculado corresponde aproximadamente distancia de um
comprimento caracterstico aps o descolamento da camada limite. Dessa forma, para uma
vorticidade fixa 0 , o termo correspondente ao tempo resulta em t0 L U , onde L corresponde
ao comprimento caracterstico. Na soluo (E.2), o termo x 2 y 2 presente no argumento da
exponencial corresponde ao quadrado do raio do vrtice, correspondendo isolinha de
vorticidade 0 . Assim, para uma condio de vorticidade inicial 0 , a expresso resultante
toma a forma

Re
4 t0

Re r0

(E.3)

94

Lembrando que corresponde metade da velocidade angular de rotao do vrtice,

2 U U
.

2 2 r0 2r0

rad .
s

(E.4)

Assim, a expresso (E.3) resulta em

t0U 2
Re r0 2

Uma vez que Re

U L

e t0

Re r0 2
4

(E.5)

L
, chega-se a
U

r0 2

2
ln r0 2 ln .

U D

(E.6)

Esta expresso pode ser reescrita na forma recursiva por

f k 1

2
ln f k ln .
U D

(E.7)

Uma anlise preliminar da ordem de grandeza dos termos resultantes revela que
O ln

O ln f k , ou seja, a maior contribuio para o valor do raio mdio provm do

termo referente viscosidade cinemtica, o que resulta em uma expresso para r0 com o formato

f k 1

k
Re

r0

c
Re

(E.8)

Esta constatao qualitativamente consistente com a observao fsica, uma vez que o tamanho
mdio dos vrtices deve diminuir com o aumento do nmero de Reynolds. O resultado obtido
em (E.8) ser utilizado como parmetro para a determinao das constantes arbitrrias nas
solues exatas obtidas para a equao de Navier-Stokes, auxiliando na aplicao da condio
inicial do problema.

95

APNDICE F

Cdigo fonte da simulao em Maple.

> restart:
> with(PDEtools):
> with(DEtools):
> with(plots):
> alias(f=f(x,r,theta,t)):
> alias(Q=Q(x,r,theta,t)):
> alias(a=a(t)):
> alias(b=b(x,r,theta,t)):
> alias(c=c(x,r,theta,t)):
> alias(g=g(x,r,theta,t)):
> alias(h=h(x,t)):
Operador A: equacao a ser resolvida.(homogenea)
> A:=f->diff(f,t)nu*(diff(f,x$2)+diff(r*diff(f,r),r)+1/r^2*diff(f,theta$2)2/r^2*diff(f,theta));
d2

2
f 2 d f
2

d
d
d
d
d
d
A := f f 2 f r f 2 2
r
r
dt
dx d r dr

Operador B: operador responsavel pela obtencao das simetrias.

> B:=f>(a0+t*a1)*diff(f,x)+0*diff(f,r)+0*diff(f,theta)+0*diff(f,t)+(h0
+x/2/nu*a1)*f;
x a1
d
d
d
d
B := f ( a0t a1 ) f 0 f 0 f 0 f h0
f
2
d
x
d
r
d

d
t

##SEQUNCIA DA OBTENCAO DO SISTEMA DE EQUAES DIFERENCIAIS##
Condio Af=Q
> e1:=A(f)-Q;
2

2
f 2 f
2
2

e1 := f 2 f f r 2 f 2 2 Q
r
r
t
x r
r

Isola-se o termo referente a derivada no tempo da equacao eq1.

> fxx:=rhs(isolate(e1,diff(f,x$2)));
2

f 2 f
f Q
2
2

t

fxx :=
f r 2 f 2 2

r
r
r
r
> e2:=A(B(f))-Q:
Agora aplica na condicao ABf=Q.
Esta a equao resultante das condies ABf=Q e Af=Q.
> e3:=numer(simplify(subs(diff(f,x$2)=fxx,e2))):
> e4:=(expand(subs(Q=0,e3))):
Esta ultima equao resolvida zerando-se os coeficientes das derivadas parciais em
f(x,y,z,t):

96

>
e5:=expand(subs(f=exp(m*x+n*r+p*theta+q*t),e4)/exp(m*x+n*r+p*the
ta+q*t));
e5 := 0
> n3:=coeff(e5,n,3);
n3 := 0

> p3:=coeff(e5,p,3);
p3 := 0

> m2q:=coeff(coeff(e5,m,2),q);
m2q := 0

> mp:=coeff(coeff(e5,m),p);
mp := 0

> n2:=coeff(e5,n,2);
n2 := 0

> mn:=coeff(coeff(e5,m),n);
mn := 0

> p1:=coeff(e5,p);
p1 := 0

> n1:=coeff(e5,n);
n1 := 0

> m1:=coeff(e5,m);
m1 := 0

> m1x:=diff(m1,x);
m1x := 0

>
>
> alias(phi=phi(x,r,theta,t)):
> eb:=eval(B(phi));

x a1
eb := ( a0t a1 ) h0

> pdsolve(eb,phi);
_F1( r, , t ) e

x ( 4 h0 x a1 )

4 ( a0t a1 )

> sim1:=_F1(r,theta,t)*exp(-1/4*x*(4*h0*nu+x*a1)/nu/(a0+t*a1));
sim1 := _F1( r, , t ) e

x ( 4 h0 x a1 )

4 ( a0t a1 )

FORMATO DE _F1(r,theta,t) - Vem da soluo (3.61).

> sim2 :=subs(b4=0, _F1(-1/2*b5*y^2-b9*y1/2*b5*z^2+b7*z,(b5^2)^(1/2)/b5^2*(b4*arctan((b5^2)^(1/2)*((b5*z
-b7)^2)^(1/2)/b5/(b7^2+b5^2*z^22*b5*b7*z)*(b5*y+b9))+x*(b5^2)^(1/2)),t)*exp(b10/(b5^2)^(1/2)*ar
ctan((b5^2)^(1/2)*(y+1/b5*b9)/(b7^2-b5^2*y^2-2*b5*b9*y-2*b5*(1/2*b5*y^2-b9*y-1/2*b5*z^2+b7*z))^(1/2))));

97

2
b5 z2
b5 y

b9 y
b7 z, x, t
sim2 := _F1
2
2

b10
arctan

b9
b5 2 y
b5

b5 y 2
b5 z
2
2 2
b9 y
b7 z
b7 b5 y 2 b5 b9 y2 b5
2
2

b5 2

> sim3:=subs(_F1(r,theta,t)=sim2,sim1);
2
b5 z2
b5 y

b9 y
b7 z, x, t
sim3 := _F1
2
2

b10
arctan

b9
b5 2 y
b5

2
2

b5 y
b5 z
2
2 2
b7 b5 y 2 b5 b9 y2 b5
b9 y
b7 z
2
2

b5 2

x ( 4 h0 x a1 )

4 ( a0t a1 )

> #arg1:=-1/2*b5*y^2-b9*y-1/2*b5*z^2+b7*z;
#arg2:=b10/(b5^2)^(1/2)*arctan((b5^2)^(1/2)*(y+1/b5*b9)/(b7^2b5^2*y^2-2*b5*b9*y-2*b5*(-1/2*b5*y^2-b9*y1/2*b5*z^2+b7*z))^(1/2));
#arg3:=-1/4*x*(4*h0*nu+x*a1)/nu/(a0+t*a1);
SOLUCAO PRVIA INICIAL, A SER SUBSTITUIDA EM _F1.
> s2 :=
c0*exp(k0*(c1+c2*y+c3*z+(nu*k0^2*c2^2+nu*k0^2*c3^2+1)/k0*t));
s2 := c0 e

k0

2 2
2 2

( k0 c2 k0 c3 1 ) t
c1 c2 yc3 z

k0

Montagem da expresso.
>
sf:=psi[0]+subs({x=x+cx,y=y+cy,z=z+cz,t=t+ct},subs(y=arg1,t=0,s2
)*exp(arg2)*exp(arg3));

sf := 0c0 e

b10 arctan

k0

b5 ( ycy )2

b5 ( zcz )
b9 ( ycy )
b7 ( zcz ) c3 ( zcz )
c1c2
2
2

b9
b5 2 y cy
b5

2
2

b5 ( ycy )
b5 ( zcz )
b7 2 b5 2 ( y cy )22 b5 b9 ( ycy )2 b5
b9 ( ycy )
b7 ( zcz )
2
2

b5 2

( x cx ) ( 4 h0 ( x cx ) a1 )

4 ( a0( t ct ) a1 )

Termo potencial.
> psi[0]:=((arctan(y)*(y^2+z^2)^(1/2)arctan(y)*(y^2+z^2)^(1/2)/(x^2+y^2+z^2)))((arctan(y)*(y^2+z^2)^(1/2)arctan(y)*(y^2+z^2)^(1/2)/(x^2+y^2+z^2)))*exp(lambda*(((arctan(y)*(y^2+z^2)^(1/2)arctan(y)*(y^2+z^2)^(1/2)/(x^2+y^2+z^2)))^2)):

98

> sf12:=sf;
sf12 := arctan ( y ) y 2z2

arctan ( y ) y 2z2
x 2y 2z2

arctan ( y ) y 2z2
2
2

arctan ( y ) y z

x 2y 2z2

c0 e

k0

b10 arctan

arctan( y )

arctan( y ) y 2z2
y z
2
2 2
x y z
2

b5 ( y cy )2

b5 ( zcz )
b9 ( ycy )
b7 ( zcz ) c3 ( zcz )
c1c2
2
2

b9
b5 2 y cy
b5

2
2

b5 ( ycy )
b5 ( zcz )
b7 2 b5 2 ( y cy )22 b5 b9 ( ycy )2 b5
b9 ( ycy )
b7 ( zcz )
2
2

b5 2

( x cx ) ( 4 h0 ( x cx ) a1 )

4 ( a0( t ct ) a1 )

Aplicou-se uma Heaviside somente para excluir a parte fora do domnio, ou seja, o interior
da esfera.
> sf2:=Heaviside(x^2+y^2+z^2-1)*sf12;

arctan ( y ) y 2z2
2
2
2
sf2 := Heaviside( x y z 1 ) arctan ( y ) y 2z2

x 2y 2z2

arctan ( y ) y 2z2
arctan ( y ) y 2z2

x 2y 2z2

c0 e

k0

b10 arctan

arctan( y )

arctan( y ) y 2z2
y z
2
2 2
x y z
2

b5 ( y cy )2

b5 ( zcz )
b9 ( ycy )
b7 ( zcz ) c3 ( zcz )
c1c2
2
2

b9
b5 2 y cy
b5

2
b5 ( ycy )2

b5 ( zcz )
b7 2 b5 2 ( y cy )22 b5 b9 ( ycy )2 b5
b9 ( ycy )
b7 ( zcz )
2
2

2
b5

( x cx ) ( 4 h0 ( x cx ) a1 )

4 ( a0( t ct ) a1 )

99

######## DETERMINAO DOS COEFICIENTES #######################

> l1:={lambda=1e6,k0=-1,cx=1.2,cy=0,cz=0,ct=0,c0=1.4,c1=1,c2=1,c3=0,b5=-1.5+I*0,b7=-1I*20,b9=-.1-I*10,nu=1e-3,b10=0.01,a0=20,a1=.02+I*2,h0=-32-I*4}:
l2:={lambda=1e6,k0=-1,cx=1.15,cy=0,cz=0,ct=0,c0=1.4,c1=1,c2=1,c3=0,b5=-1.5+I*0,b7=1I*20,b9=-.1+I*10,nu=1e-3,b10=0.02,a0=20,a1=.02+I*2,h0=-32-I*4}:
l3:={lambda=1e6,k0=-1,cx=1.2,cy=0,cz=0,ct=0,c0=1.4,c1=1,c2=1,c3=0,b5=-1.5+I*0,b7=1I*20,b9=-.1-I*10,nu=1e-3,b10=0.018,a0=20,a1=.02+I*2,h0=-32-I*4}:
l4:={lambda=1e6,k0=-1,cx=1.18,cy=0,cz=0,ct=0,c0=1.4,c1=1,c2=1,c3=0,b5=-1.5+I*0,b7=1I*20,b9=-.1+I*10,nu=1e-3,b10=0.022,a0=20,a1=.02+I*2,h0=-32-I*4}:
sfv:=subs(l1,sf2)+subs(l2,sf2)+subs(l3,sf2)+subs(l4,sf2):
#sfv:=subs(l1,sfv):
> sf3:=evalc(Re(subs(l1,sfv))):
> plot3d(subs({z=0,t=0},sf3),x=-2..10,y=6..6,axes=boxed,shading=zhue,grid=[150,150],style=patchcontour,o
rientation=[-90,0],contours = 55);
> plot3d(subs({z=0.5,t=0},sf3),x=-1..3,y=2..2,axes=boxed,shading=zhue,grid=[150,150],style=patchcontour,o
rientation=[-90,0],contours = 20);
> animate3d(subs({z=0},sf3),x=-1..3,y=2..2,t=0..1,axes=boxed,shading=xyz,grid=[80,80],style=patchconto
ur,orientation=[-90,0],contours = 30,frames=20);

100