Solução analítica com baixa regularidade do sistema que governa o escoamento miscível em meios porosos
|
|
- Ana Carolina Cordeiro Beretta
- 5 Há anos
- Visualizações:
Transcrição
1 Solução analítica com baixa regularidade do sistema que governa o escoamento miscível em meios porosos Ana Maria Bertone, César G. de Almeida, Faculdade de Matemática, Universidade Federal de Uberlândia, , Uberlândia, MG anamaria@famat.ufu.br, cesargui@ufu.br. Resumo: O modelo padrão de deslocamento de dois fluidos miscíveis e incompressíveis é constituído por duas equações diferenciais parciais acopladas que resultam em um sistema não linear: uma equação elíptica de segunda ordem para a pressão é acoplada a uma equação de convecção-difusão, dominada pela parte convectiva, para a concentração de um dos fluidos. Em [2] mostramos a existência e unicidade da solução analítica para o problema do Traçador Passivo. Neste caso, a equação de convecção-difusão é desacoplada da equação elíptica. Usando este resultado mostramos a existência de solução para o sistema não-linear. Palavras-chave: Escoamento miscível, meios porosos, sistemas elípticos-parabolicos, condições mistas de fronteira. 1 Introdução Considere um domínio limitado R 2 e um intervalo de tempo J = [0, T], T > 0. O modelo para o deslocamento miscível incompressível da mistura de um solvente com concentração c e óleo, em um meio livre de efeitos gravitacionais, é dado pelo sistema (veja Russel e Wheeler (1983), [10]) u = q, u = p, µ(c) (1) φ c + v = cq, t v = uc D(u) c. (2) A equação (1) representa a conservação de massa da mistura, enquanto a segunda representa a conservação de massa da componente de solvente. A equação (2) é frequentemente chamada de equação da pressão; seus coeficientes dependem da concentração do solvente. A segunda equação, a da concentração, é usualmente uma equação parabólica, dominada por convecção; seus coeficientes dependem da pressão, através da velocidade de Darcy, u = (u 1, u 2 ), que fornece a taxa volumétrica de fluxo convectivo da mistura por unidade de área de seção transversal. As outras variáveis que aparecem nas equações acima são:, x = (x, y) pertencente a R 2, - a permeabilidade absoluta da rocha, µ - a viscosidade do fluido que depende da concentração do solvente, p - a pressão do fluido, φ = φ(x) - a porosidade do meio, q - a razão volumétrica de fluxo total no poço de injeção e de produção, c - a concentração de solvente especificada em um poço de injeção e a concentração residente em um poço de produção. O tensor de difusão-dispersão, D, é dado por: D = D(u) = φd m I + d l u ( u 2 1 u 1 u 2 u 1 u 2 u 2 2 ) + d ( t u 2 2 u 1 u 2 u u 1 u 2 u 2 1 ). (3) Neste tensor, d m é o coeficiente de difusão molecular, d l e d t são os coeficientes de dispersão longitudinal e transversal, respectivamente. 514
2 Em um escoamento miscível, a variável de maior interesse é a concentração do solvente na mistura, c(x, t), 0 c 1. No caso de um escoamento com duas componentes, a viscosidade da mistura pode ser expressa em função da concentração do solvente, assumindo que ela obedece a uma lei de potência de ordem quatro: µ(c) = {(1 c) + (M) 1/4 c} 4 µ o ; M = µ o /µ s, (4) onde µ s e µ o são as viscosidades do solvente e do óleo, respectivamente. O parâmetro adimensional M é a razão de viscosidades. Quando M < 1, a função µ é crescente em [0, 1], tendo µ o como mínimo; quando M > 1, a função µ é decrescente em [0, 1] e µ s é o seu valor mínimo; como mostra a Figura 1. Figura 1: O gráfico da função viscosidade µ(c). Observe que, para o Problema do Traçador Passivo, a equação de convecção-difusão é desacoplada da equação elíptica, porque neste caso os fluidos considerados possuem a mesma viscosidade, portanto, M = 1. Em uma parte da fronteira do reservatório ( ), denotada por Γ N, será considerada uma condição de fluxo nulo, representando uma fronteira impermeável; na fronteira do poço de produção, Γ D, será utilizada uma condição de Dirichlet. Assim, as condições de fronteira são dadas por: u ν = 0, x Γ N, (5) p = 0, x Γ D ; (6) ( D c) ν = 0, x, t J, (7) onde ν é o vetor unitário normal exterior a. O modelo incompressível definido acima tem sido estudado amplamente do ponto de vista numérico [5, 6, 7, 10]; em particular [11], onde o sistema desacoplado é estudado. Sob condições de regularidade fraca, encontramos trabalhos como o do Sören et al [13]. Outras citações importantes relacionadas à existencia e à unicidade da solução do sistema acoplado, bem como algumas generalizações deste modelo matemático, são: [4, 8, 9]. O objetivo deste trabalho é o de mostrar a existência de solução do sistema acoplado, considerando a velocidade u com baixa regularidade e supondo que a permeabilidade, K, pode se anular em conjuntos de medida nula de Lebesgue. O artigo está organizado da seguinte forma. Na Seção 2, apresentamos a abordagem teórica, fixamos as notações e os espaços para os quais é feita a formulação fraca do problema do valor 515
3 inicial e de fronteira, bem como o enunciado do resultado principal. Na Seção 3, provamos este resultado. Na Seção 4 serão feitas as conclusões. 2 Abordagem teórica e resultado principal Para este trabalho vamos considerar R 2 um domínio conexo com fronteira Lipshitz e tal que = Γ D Γ N e Γ D Γ N =, sendo Γ D and Γ N subconjuntos unidimensionais de medida de Lebesgue positiva; os clássicos espaços de funções L p (S), S e 1 p com norma p ; os espaços de Sobolev W m,n (S), com m > 0 e n > 0, em particular os espaços de Hilbert W m,2 (S) = H m (S), m = 1, 2, e norma denotada por W m,n. Consideraremos, também, o operador traço γ Γ : H 1 () H 1 2(Γ), onde Γ, e o espaço de Hilbert H 1 2(Γ), dual do espaço de Sobolev fracionário H (Γ). Finalmente, também serão considerados os espaços L p (J, W) e C(J, W) das funções p-integráveis ou contínuas de J no espaço W (veja [1, 12]). Introduzimos para cada τ J, o espaço vetorial V = {p H 1 (), γ ΓD p = 0}. Definimos D 0 = {p V ; div(k p) L 2 ()} (veja [12]), para K uma função (peso) limitada, não negativa definida em. Seja K = K c,τ = µ(c(x,τ)), para cada c H2 (), 0 c 1. Verifica-se que o espaço vetorial V normado com a norma n K (neste caso, n K (ϕ) = ( K ϕ 2 dx )1 2 ), denotado por V c,τ, contém o espaço vetorial V normado por n min, que é a norma correspondente ao peso µ min, onde µ m = min{µ o, µ s }. Denotamos por V min este espaço que verifica V min V c,τ, o que mostra que a interseção de todos esses conjuntos não é vazia. Esta interseção será c,τ denotada por V. Finalmente, definimos D = {v V, div(k c,τ p) L 2 (), c, τ}. Para achar uma solução do sistema de equações que governa o escoamento miscível em meios porosos, resolvemos em primeira instância o problema desacoplado, considerando-se M = 1. Para isso, usaremos, para a concentração, o espaço C(u) = {c H 2 (), 0 c 1, verificando (7) no sentido de H 1 2 ( )}. Faremos a seguir as definições de solução fraca para o Traçador Passivo, 2.1, e de solução fraca para o sistema acoplado, 2.2. Definição 2.1 Seja Q = L 2 () L 2 (). A tripla (p, u, c) D 0 Q C é uma solução fraca de (1)-(2), considerando µ(c) = 1 e q = q(x), com as condições de fronteira (5)-(6)-(7), se [p] K p v = qv, para todo v V normado por n K; [c] c C(J, H 2 ()), c(t) C, dc dt (, t) H2 () para todo t J e ψ H 2 () verifica ( ) dc dt (t),ψ + (D(u) c(t) ψ c(t) ψ u c(t)qχ P ψ)dx = (qχ I, ψ), onde (, ) denota o produto interno em H 2 (). Definição 2.2 O par (p, c ) D W 1,1 ( J) é uma solução fraca de (1)-(2), com as condições de fronteira (5)-(6)-(7), se [p ] µ(c (x, t)) p (x, t) v(x, t)dx = q(x, t)v(x, t)dx, para todo v V; (8) 516
4 J [c ] ( dc (t) dt, ψ)dt + J ( u será definido na Seção 3. Assumimos as seguintes hipóteses: ) (D(u (t)) c (t) ψ(x) c (t) ψ(x) u (t) c (t)q(t)χ P ψ(x))dx dt = (qχ I, ψ)dt, para toda ψ H 2 (); J (h 1 ) O domínio R 2 possui as propriedades já definidas anteriormente e existem I e P, subconjuntos de com medida de Lebesgue positiva, que representam os poços de injeção e produção do reservatório, respectivamente. (h 2 ) Existem duas contantes positivas k 0 e k 1 tais que k 0 k 1 q.t.p. x. (h 3 ) A função q pertence a L (J; L 2 ()) e para cada ψ H 2 () tem-se qχ I ψ L 1 (J; H 2 ()), onde χ I é a função característica do conjunto I. O seguinte teorema de existência e unicidade foi provado para o sistema desacoplado (veja [2, Thm 2.1]. Teorema 2.1 Sob as hipóteses (h 1 )-(h 2 ) e supondo q = q(x), a equação elíptica (1) com condições mistas de fronteira, (5)-(6), tem uma única solução fraca não trivial (p, u), no sentido (2.1)-[p]. Para a velocidade u, usando (h 3 ) e considerando c 0 C, a equação (2), com a condição de fronteira (7), tem uma única solução fraca no sentido de (2.1)-[c]. Nosso principal resultado é o seguinte Teorema 2.2 Seja µ definida como na Eq. (4) e c 0 C. Então sob as hipóteses (h 1 )-(h 3 ), o sistema acoplado (1)-(2), com as condições de fronteira (5)-(6)-(7), tem uma solução fraca no sentido da definição Demonstração do Teorema 2.2 Considere o sistema de equações (1)-(2), com as condições de fronteira (5)-(6)-(7), no caso particular em que o termo fonte é dado por q = q(x,0), o coeficiente da equação (1) é da forma µ(c 0 (x)) e o dado inicial da equação (2) é c 0(x). Utilizando o teorema 2.1, este problema possui uma única solução fraca: a tripla pressão, velocidade e concentração nos respectivos espaços descritos na definição 2.1. Chamemos esta solução (p 1, u 1, c 1 ). A seguir, vamos considerar uma família de partições Π 1 = {0, T } Π 2 = {t 0 = 0, t 1, t 2 = T }... Π n = {t 0 = 0, t 1,...,t n = T }, n N, n 2, tal que a norma Π n tende para zero quando n tende a infinito. Para cada partição Π n associamos a função c Πn que será a justaposição da solução c 1 para t [t 0, t 1 ], denotando esta solução como c Πn 1, com as seguintes funções: para t [t 1, t 2 ] consideramos a solução do sistema desacoplado, onde o termo fonte é q = q(x, t 1 ), o coeficiente da equação (1) é e o dado inicial da equação (2) é cπn 1 (x, t 1) de forma que c Πn 1 (x, t 1) C. Denotemos µ(c Πn 1 (x,t 1)) esta solução como c Πn 2. De forma análoga, por indução, para t [t i 1, t i ], achamos a solução c Πn i. A sequência de funções µ c Πn, n N, pertence a L ( J) pois 0 < µ m µ c Πn µ M, onde µ M = max{µ o, µ s }. Portanto existe uma função h L ( J), não identicamente nula, e uma subsequência de µ c Πn tal que lim µ c Πn L = hl, para toda L L 1 ( J). n J J (9) 517
5 Em particular, tomando L = 1, obtemos que lim µ c Πn = h, ou seja µ c Πn h L 1 ( J) 0, quando n. n J J Pelo teorema [3, Teorema IV.9], a menos de subsequência, temos que µ c Πn (x, t) h(x, t) q.t.p. (x, t) J. Assim, do fato que µ é um homeomorfismo de [0, 1] em [µ m, µ M ], concluímos que c Πn (x, t) µ 1 h(x, t) q.t.p. (x, t) J. Denotemos µ 1 h = ĉ. Dada uma partição Π n e τ Π n, seja (p, u, c ), de acordo com a definição 2.1, a solução fraca de (1)-(2), com µ(c) = µ(ĉ(x, τ)), q = q(x, τ) e condições de fronteira (5)-(6)-(7). Assim, dado u K (x, τ) = µ(ĉ(x,τ)) p (x, τ) L 2 () L 2 () existe (veja [2]) a função c (τ) solução de (2) com dado inicial ĉ(x, τ) C. Sabendo que c (x, τ) = ĉ(x, τ), tem-se que K µ(c (τ)) p (τ)) vdx = K µ(ĉ(τ)) p (τ)) vdx = q(τ)vdx, para todo v V e (10) ( ) dc (τ) dt, ψ + (D(u (τ) c (τ) ψ c (τ) ψ u (τ) c (τ)q(τ)ψχ P )dx = (q(τ)χ I, ψ), para toda ψ H 2 (). Fixada ψ H 2 () denotamos por A ψ (t i 1) a expressão à esquerda da igualdade em (11) para τ = t i 1 e definimos a função escada Sψ n = n A ψ i sendo i = t i t i 1. Temos de (11) que i=1 (11) n Sψ n = (q(t i 1 )χ I, ψ) i. (12) i=1 Por hipótese, a expressão à esquerda de (12) é integrável e assim temos que existe o limite de n i 1 )χ I, ψ) i quando a norma da partição tende para zero e esse limite é i=1(q(t q(t)ψ(x). J Isto demonstra que existe o limite da parte direita da igualdade (12); logo a Eq. (9) é satisfeita. Desta forma, o par (p, c ) é solução fraca do sistema acoplado no sentido da definição (2.2). 4 Conclusão Acreditamos que a abordagem teórica desenvolvida em nosso trabalho possibilitará a construção de novos métodos numéricos, os quais contribuirão para o desenvolvimento de pesquisas na área de escoamentos em meios porosos. Esta abordagem é mais construtiva que as apresentadas nos trabalhos de Feng (1995, [8]) e de Chen e Ewing (1999, [4]), porque utiliza a solução de problemas lineares (Traçador Passivo) para obter uma solução do problema não linear. Agradecimentos Os autores agradecem à FAPEMIG pelo auxílio financeiro cocncedido para a participação no congresso. Referências [1] R.A. Adams, Sobolev spaces, Academic Press, [2] A.M. Bertone, C.G. Almeida, Revisited to a Miscible Displacement Model in Heterogeneous Poreous Media, International Journal of Applied Mathematics, 24 (5) (2011)
6 [3] H. Brezis, Analyse Fonctionnelle, Masson, Paris, [4] Z. Chen and R. Ewing, Mathematical Analysis for Reservoir Models, SIAM J. Math. Anal., 30 (1999) [5] J. Douglas and J.E. Roberts, Numerical methods for a model for compressible miscible displacement in porous media, Math. Comp., 41 (1983) [6] J. Douglas, J.E. Roberts e M.F. Wheeler, Approximation of the pressure by a mixed method in the simulation of miscible displacement in porous media, R.A.I.R. Anal. Num., 17 (1983) [7] R.E. Ewing, and H. Wang, A summary of numerical methods for time-dependent advectiondominated partial differential equations, Journal of Scientific Computing, 128 (2001) [8] X. Feng, On existence and uniqueness results for a coupled system modeling miscible displacement in porous media, J. Math. Anal. Appl., (1995), [9] X. Feng, Recent developments on modeling and analysis of flow of miscible fluids in porous media, Fluid flow and transport in porous media: mathematical and numerical treatment, Contemp. Math., 295 (2002), [10] T.F. Russel, and M.F. Wheeler, Finite Element and Finite Difference Methods for Continuous Flows in Porous Media, Frontiers in Applied Mathematics-SIAM, The Mathematics of Reservoir Simulation, (1983) [11] P.H. Sammon, Numerical approximation for a miscible displacement inporous media, SIAM J. Numer. Anal., 23 (1986) [12] R.E. Showalter, Hilbert space Methods for Partial Differential Equations, E.J.P.D.E Monograph 01, [13] S. Bartels, M. Jensen and R. Muller, Discontinuous Galerkin Finite Element Convergence for Incompressible Miscible Displacement Problems of Low Regularity, SIAM J. Numer. Anal., 47 (2009)
com Formulação Mista de Mínimos Quadrados
Aproximação para Equações de Pressão e Velocidade com Formulação Mista de Mínimos Quadrados Kennedy Morais Fernandes Campus Regional Instituto Politécnico - IPRJ Universidade do Estado do Rio de Janeiro
Leia mais1 Introdução. Problemas Elípticos Assintoticamente Lineares
Problemas Elípticos Assintoticamente Lineares Caíke da Rocha DAMKE; Edcarlos Domingos da SILVA Instituto de Matemática e Estatística, Universidade Federal de Goiás, Campus II- Caixa Postal 131, CEP 74001-970
Leia maisProdutos de potências racionais. números primos.
MATEMÁTICA UNIVERSITÁRIA n o 4 Dezembro/2006 pp. 23 3 Produtos de potências racionais de números primos Mário B. Matos e Mário C. Matos INTRODUÇÃO Um dos conceitos mais simples é o de número natural e
Leia maisMétodos de Diferenças Finitas de Direções Alternadas Implícitos para Modelagem de Águas Subterrâneas
TEMA Tend. Mat. Apl. Comput., 5, No. (24), 65-76. c Uma Publicação da Sociedade Brasileira de Matemática Aplicada e Computacional. Métodos de Diferenças Finitas de Direções Alternadas Implícitos para Modelagem
Leia maisUma Nova Estratégia Lagrangeana para a Simulação Numérica da Injeção de Traçadores em Reservatórios de Petróleo
Uma Nova Estratégia Lagrangeana para a Simulação Numérica da Injeção de Traçadores em Reservatórios de Petróleo J. Aquino, F. Pereira, T. Jordem Pereira, H. P. Amaral Souto Departamento de Modelagem Computacional
Leia maisO Teorema de Peano. f : D R n. uma função contínua. Vamos considerar o seguinte problema: Encontrar um intervalo I R e uma função ϕ : I R n tais que
O Teorema de Peano Equações de primeira ordem Seja D um conjunto aberto de R R n, e seja f : D R n (t, x) f(t, x) uma função contínua. Vamos considerar o seguinte problema: Encontrar um intervalo I R e
Leia maisAnálise Numérica para Um Problema de Difusão Termoelástica em Domínios Não-Cilíndricos
Trabalho apresentado no XXXVII CNMAC, S.J. dos Campos - SP, 2017. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Análise Numérica para Um Problema de Difusão Termoelástica
Leia maisUma análise matemática de um sistema não isotérmico do tipo Allen-Cahn
Uma análise matemática de um sistema não isotérmico do tipo Allen-Cahn Rondinei Almeida da Silva, Anderson L. A. de Araujo, Depto. de Matemática, DMA, UFV, 36570-000, Viçosa, MG E-mail: rondinei.silva@ufv.br,
Leia maisSimulação para o Escoamento de Fluidos Compressíveis em Meios Porosos
Trabalho apresentado no XXXVII CNMAC, S.J. dos Campos - SP, 2017. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Simulação para o Escoamento de Fluidos Compressíveis
Leia maisTEOREMA FUNDAMENTAL DO CÁLCULO PARA INTEGRAIS MÚLTIPLOS, O TEOREMA DE GAUSS, O TEOREMA DE GREEN E O TEOREMA DE STOKES. d f (x) dx = f (b) f (a).
TEOREMA FUNDAMENTAL DO CÁLCULO PARA INTEGRAIS MÚLTIPLOS, O TEOREMA DE GAUSS, O TEOREMA DE GREEN E O TEOREMA DE STOKES O teorema fundamental de cálculo em R diz que para uma função f de classe C 1 definida
Leia maisPolinômios homogêneos no estudo de fluidos
Polinômios homogêneos no estudo de fluidos Saulo P. Oliveira Resumo Um polinômio px, y é homogêneo de grau k se ptx, ty t k px, y. Além disso, px, y é harmônico se p. Temos que uma função vetorial fx,
Leia maisLista 8 de Análise Funcional - Doutorado 2018
Lista 8 de Análise Funcional - Doutorado 2018 Professor Marcos Leandro 17 de Junho de 2018 1. Sejam M um subespaço de um espaço de Hilbert H e f M. Mostre que f admite uma única extensão para H preservando
Leia maisde equações diferenciais
Método de otimização para resolução de equações diferenciais José Mario Martínez Fedor Pisnitchenko Sandra Augusta Santos Matemática Aplicada - IMECC/UNICAMP, 13083-859 Campinas, SP, Brasil E-mail: martinez@ime.unicamp.br,
Leia maisA Projeção e seu Potencial
A Projeção e seu Potencial Rolci Cipolatti Departamento de Métodos Matemáticos Instituto de Matemática, Universidade Federal do Rio de Janeiro C.P. 68530, Rio de Janeiro, Brasil e-mail: cipolatti@im.ufrj.br
Leia maisDANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte
Leia maisMétodos Iterativos para a Solução da Equação de Poisson
Métodos Iterativos para a Solução da Equação de Poisson Valdirene da Rosa Rocho, Dagoberto Adriano Rizzotto Justo, Programa de Pós-Graduação em Matemática Aplicada, PPGMap, UFRGS, 91509-900, Porto Alegre,
Leia maisIntroduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;
META Introduzir os conceitos de base e dimensão de um espaço vetorial. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: distinguir entre espaços vetoriais de dimensão fnita e infinita; determinar
Leia maisMini Curso. O Lema de Lax-Milgram e Aplicações
Goiânia, 07 a 10 de outubro Mini Curso O Lema de Lax-Milgram e Aplicações Prof. Dr. Maurílio Márcio Melo - IME/UFG O LEMA DE LAX-MILGRAM E APLICAÇÕES MELO,M.M. 1. Introdução O principal objetivo destas
Leia maisProva de seleção ao Mestrado e/ou Programa de Verão. Programas: ICMC-USP, UFAL, UFRJ
Prova de seleção ao Mestrado e/ou Programa de Verão Programas: ICMC-USP, UFAL, UFRJ Nome: Identidade (Passaporte): Assinatura: Instruções (i) O tempo destinado a esta prova é de 5 horas. (ii) 25 porcento
Leia maisExistência e Unicidade de Solução para um Sistema de Equações de Maxwell num Meio Condutor Perfeito
Artigo Original DOI:10.5902/2179460X12602 Ciência e Natura, Santa Maria, v. 36 Ed. Especial II, 2014, p. 341 349 Revista do Centro de Ciências Naturais e Exatas - UFSM ISSN impressa: 0100-8307 ISSN on-line:
Leia maisCONJUNTOS ÔMEGA-LIMITE PARA UMA CLASSE DE PERTURBAÇÕES DESCONTÍNUAS DA IDENTIDADE
CONJUNTOS ÔMEGA-LIMITE PARA UMA CLASSE DE PERTURBAÇÕES DESCONTÍNUAS DA IDENTIDADE Marcos Luiz CRISPINO 1 RESUMO: Será obtida uma condição suficiente para que a classe das componentes conexas de cada um
Leia maisAula 3 Volumes Finitos
Universidade Federal do ABC Aula 3 Volumes Finitos EN3224 Dinâmica de Fluidos Computacional Duas metodologias Leis de Conservação Integrais EDPs O Método dos Volumes Finitos (MVF) Leis de Conservação Integrais
Leia maisPLANO DE TRABALHO PARA O BOLSISTA
UNIVERSIDADE FEDERAL DA PARAIBA CENTRO DE CIÊNCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMÁTICA PLANO DE TRABALHO PARA O BOLSISTA INICIAÇÃO AO ESTUDO DAS EQUAÇÕES DIFERENCIAIS PARCIAIS PIBIC-CNPq-UFPB-2002
Leia maisy (n) (x) = dn y dx n(x) y (0) (x) = y(x).
Capítulo 1 Introdução 1.1 Definições Denotaremos por I R um intervalo aberto ou uma reunião de intervalos abertos e y : I R uma função que possua todas as suas derivadas, a menos que seja indicado o contrário.
Leia maisConvergência em espaços normados
Chapter 1 Convergência em espaços normados Neste capítulo vamos abordar diferentes tipos de convergência em espaços normados. Já sabemos da análise matemática e não só, de diferentes tipos de convergência
Leia maisIntrodução Equações médias da turbulência Estrutura turbulenta de cisalhamento Transporte de energia cinética turbulenta. Turbulência. J. L.
Turbulência J. L. Baliño Escola Politécnica - Universidade de São Paulo Apostila de aula 2017, v. 1 Turbulência 1 / 29 Sumário 1 Introdução 2 Equações médias da turbulência 3 Estrutura turbulenta de cisalhamento
Leia maisTeoria da Medida e Integração (MAT505)
Teoria da Medida e Integração (MAT505) Teoria de Derivação de Lebesgue. Teorema Fundamental do Cálculo. V. Araújo Mestrado em Matemática, UFBA, 204 Conteúdo Riemann. vs Lebesgue..............................2
Leia maisAs equações governantes do problema poroelástico têm duas parcelas:
4 POROELASTICIDADE 4.1. Introdução Esta teoria que descreve o comportamento acoplado entre os fluidos e sólidos em meios porosos foi primeiramente descrita por Biot que teve início com uma série de artigos
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas - CCE Departamento de Matemática Primeira Lista de MAT641 - Análise no R n
Universidade Federal de Viçosa Centro de Ciências Exatas - CCE Departamento de Matemática Primeira Lista de MAT641 - Análise no R n 1. Exercícios do livro Análise Real, volume 2, Elon Lages Lima, páginas
Leia maisCinemática da partícula fluida
Cinemática da partícula fluida J. L. Baliño Escola Politécnica - Universidade de São Paulo Apostila de aula 2017, v.1 Cinemática da partícula fluida 1 / 16 Sumário 1 Descrição do movimento 2 Cinemática
Leia maisSIMULAÇÃO DE UM ESCOAMENTO BIFÁSICO ÓLEO- ÁGUA EM RESERVATÓRIO DE PETRÓLEO
SIMULAÇÃO DE UM ESCOAMENTO BIFÁSICO ÓLEO- ÁGUA EM RESERVATÓRIO DE PETRÓLEO T. B. FORTUNATO 1, J. C. S. DUTRA 2 e W. B. da SILVA 3 LAMCES Laboratório de Métodos Computacionais, Controle e Estimação Universidade
Leia maisSMA 5878 Análise Funcional II
SMA 5878 Análise Funcional II Alexandre Nolasco de Carvalho Departamento de Matemática Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo 16 de Março de 2017 Objetivos da Disciplina
Leia maisBases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos
1 Bases Matemáticas Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos Rodrigo Hausen 10 de outubro de 2012 v. 2012-10-15 1/34 Relembrando: representação geométrica para os reais 2 Uma
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA. Medida e Probabilidade
UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA Medida e Probabilidade Aluno: Daniel Cassimiro Carneiro da Cunha Professor: Andre Toom 1 Resumo Este trabalho contem um resumo dos principais
Leia mais3 o Trabalho de Algoritmos Numéricos II /1 Algoritmos de Avanço no Tempo para problemas Parabólicos Data de entrega:
3 o Trabalho de Algoritmos Numéricos II - 2017/1 Algoritmos de Avanço no Tempo para problemas Parabólicos Data de entrega: Considerar os algoritmos explícito, implícito e Crank-Nicolson para resolver a
Leia mais13 de novembro de 2007
13 de novembro de 2007 Objetivos - Definição Subgrupos Axiomas de Separação Bases e Sistema fundamental de vizinhanças para a identidade Euclidianos e o Quinto Problema de Hilbert Objetivos - Medida de
Leia mais1 Limites e Conjuntos Abertos
1 Limites e Conjuntos Abertos 1.1 Sequências de números reais Definição. Uma sequência de números reais é uma associação de um número real a cada número natural. Exemplos: 1. {1,2,3,4,...} 2. {1,1/2,1/3,1/4,...}
Leia maisUma demonstração elementar de um resultado sobre a noção de diferencial em espaços normados
Uma demonstração elementar de um resultado sobre a noção de diferencial em espaços normados Cecília S. Fernandez UFF Neste trabalho vamos apresentar uma demonstração elementar de um resultado envolvendo
Leia maisCURVAS REGULARES E EQUAÇÕES DE FRENET. Thiago Mariano Viana ¹, Dr. Fernando Pereira Souza ²
1 CURVAS REGULARES E EQUAÇÕES DE FRENET Thiago Mariano Viana ¹, Dr. Fernando Pereira Souza ² ¹ Aluno do curso de Matemática CPTL/UFMS, bolsista do grupo PET Matemática CPTL/UFMS; ² Professor do curso de
Leia maisTeoria da Medida e Integração (MAT505)
Modos de convergência Teoria da Medida e Integração (MAT505) Modos de convergência. V. Araújo Instituto de Matemática, Universidade Federal da Bahia Mestrado em Matemática, UFBA, 2014 Modos de convergência
Leia maisMEDIDAS COM SINAL.. Uma medida com sinal σ-aditiva (ou, simplesmente, uma medida com sinal) µ(a n ) def = lim
MEDIDAS COM SINAL DANIEL V. TAUSK 1. Definição. Seja C uma coleção de conjuntos tal que C. Uma medida com sinal finitamente aditiva em C é uma função µ : C R tal que: µ( ) = 0; se (A n ) t é uma seqüência
Leia maisMAT ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS
MAT 5818 - ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS 1) Mostre que M n (C) munida da norma ((a jk )) 1 j,k n = k=1 2) Defina na álgebra C[X] dos polinômios complexos na variável X a
Leia maisMétodo prático para extrair uma base de um conjunto de geradores de um subespaço de R n
Método prático para extrair uma base de um conjunto de geradores de um subespaço de R n 1. Descrição do método e alguns exemplos Colocamos o seguinte problema: dado um conjunto finito: A = {a 1, a 2,...,
Leia maisSolução Numérica de Equações Diferenciais Parciais Implícitas de Primeira Ordem
Trabalho apresentado no CMAC-Sul, Curitiba-PR, 2014. Solução Numérica de Equações Diferenciais Parciais Implícitas de Primeira Ordem Sergio A. Escobedo Antonio Castelo Filho Marcio Gameiro Departamento
Leia maisPLANO DE TRABALHO PARA O BOLSISTA PROJETO DE PESQUISA ANÁLISE FUNCIONAL
PLANO DE TRABALHO PARA O BOLSISTA E PROJETO DE PESQUISA INICIAÇÃO AO ESTUDO DA ANÁLISE FUNCIONAL 1 1 IDENTIFICAÇÃO DO PROJETO 1. TÍTULO DO PROJETO: Iniciação ao Estudo da Análise Funcional 2. LOCAL DE
Leia maisO Teorema de Van der Waerden
O Teorema de Van der Waerden Leandro Cioletti 12 de abril de 2012 Resumo Nestas notas apresentamos a prova do Teorema de Van der Waerden. Este teorema diz que para qualquer coloração do conjunto dos números
Leia maisEscoamentos não isotérmicos
Escoamentos não isotérmicos Profa. Mônica F. Naccache 1 Condições de contorno: paredes sólidas e interfaces Tipos: Fronteira livre Fronteira limitada: paredes ou interfaces Condição cinemáeca conservação
Leia maisGeometria Analítica II - Aula 4 82
Geometria Analítica II - Aula 4 8 IM-UFF K. Frensel - J. Delgado Aula 5 Esferas Iniciaremos o nosso estudo sobre superfícies com a esfera, que já nos é familiar. A esfera S de centro no ponto A e raio
Leia maisTeoria da Medida e Integração (MAT505)
Transporte de medidas Teoria da Medida e Integração (MAT505) Transporte de medidas e medidas invariantes. Teorema de Recorrência de Poincaré V. Araújo Instituto de Matemática, Universidade Federal da Bahia
Leia maisEDP: Método das Características
EDP: Método das Características Lucio S. Fassarella DMA/CEUNES/UFES August 27, 2018 Contents 0 Introdução 1 0.1 Denições, Terminologia e Notação................................. 2 1 Método das Características
Leia maisExercício 18. Demonstre a proposição anterior. (Dica: use as definições de continuidade e mensurabilidade)
Proposição 2.7. Sejam Y e Z espaços métricos e X um espaço mensurável. Se f : X Y é uma função mensurável e g : Y Z é uma função contínua então g f : X Z é uma função mensurável. Exercício 18. Demonstre
Leia mais7.3 Diferenciabilidade
CAPÍTULO 7. INTRODUÇÃO À ANÁLISE EM RN 7.18 Estude quanto a continuidade a função f de R 2 com valores em R definida por: x 2, se x 2 + y 2 < 2y, f(x, y) = x, se x 2 + y 2 = 2y, y 2, se x 2 + y 2 > 2y.
Leia maisUM ESTUDO SOBRE FUNÇÃO POROSIDADE DA REGIÃO DE COMPACTAÇÃO NO MOVIMENTO GRAVITACIONAL DE UMA SUSPENSÃO PARTICULADA EM PROVETA
UM ESTUDO SOBRE FUNÇÃO POROSIDADE DA REGIÃO DE COMPACTAÇÃO NO MOVIMENTO GRAVITACIONAL DE UMA SUSPENSÃO PARTICULADA EM PROVETA Hariel Udi Santana Mendes [1] ; Antônio Santos Silva [2] [1] Universidade Federal
Leia maisExistência e Unicidade de Solução para um sistema de Equações de Maxwell aplicado a um condutor perfeito
Trabalho apresentado no CMAC-Sul, Curitiba-PR, 2014. Existência e Unicidade de Solução para um sistema de Equações de Maxwell aplicado a um condutor perfeito Marcos T. Alves, PPGMA, UFPR 81531-980, Curitiba,
Leia maisDerivada fracionária ψ Hilfer e ESR
Trabalho apresentado no XXXVIII CNMAC, Campinas - SP, 2018. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Derivada fracionária ψ Hilfer e ESR J. Vanterler da C. Sousa
Leia maisNoções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno. André Arbex Hallack
Noções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno André Arbex Hallack Setembro/2011 Introdução O presente texto surgiu para dar suporte a um Seminário
Leia maisUnidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013
MA33 - Introdução à Álgebra Linear Unidade 5 - Subespaços vetoriais A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa PROFMAT - SBM 10 de agosto de 2013 Às vezes, é necessário detectar, dentro
Leia maisIntrodução à Magneto-hidrodinâmica
Introdução à Magneto-hidrodinâmica Gilson Ronchi November, 013 1 Introdução A magneto-hidrodinâmica é o estudo das equações hidrodinâmicas em uidos condutores, em particular, em plasmas. Entre os principais
Leia maisTeoria Escalar da Difração
Teoria Escalar da Difração Em óptica geométrica, o comprimento de onda da luz é desprezível e os raios de luz não contornam obstáculos, mas propagam-se sempre em linha reta. A difração acontece quando
Leia maisProva: Usando as definições e propriedades de números reais, temos λz = λx + iλy e
Lista Especial de Exercícios de Física Matemática I Soluções (Número complexo, sequência de Cauchy, função exponencial e movimento hamônico simples) IFUSP - 8 de Agosto de 08 Exercício Se z x + iy, x,
Leia maisExistência de Solução Global e Taxas de Decaimento para uma Equação de Placas Semilinear em R n
Existência de Solução Global e Taxas de Decaimento para uma Equação de Placas Semilinear em R n Cleverson Roberto da Luz Universidade Federal do Rio de Janeiro-Instituto de Matemática 21945-97, CT, Ilha
Leia maisAnálise e Métodos Numéricos em EDPs com Múltiplas Escalas
Análise e Métodos Numéricos em EDPs com Múltiplas Escalas Parte III: Métodos Numéricos para EDPs com Coeficientes oscilatórios Alexandre L. Madureira www.lncc.br/ alm Laboratório Nacional de Computação
Leia maisFaremos aqui uma introdução aos espaços de Banach e as diferentes topologías que se podem definir nelas.
Capítulo 2 Espaços de Banach Faremos aqui uma introdução aos espaços de Banach e as diferentes topologías que se podem definir nelas. 2.1 Espaços métricos O conceito de espaço métrico é um dos conceitos
Leia maisTeoria da Medida e Integração (MAT505)
Teoria da Medida e Integração (MAT505) Modos de convergência V. Araújo Mestrado em Matemática, UFBA, 2014 1 Modos de convergência Modos de convergência Neste ponto já conhecemos quatro modos de convergência
Leia maisTransformações Conformes: 15 Aplicações
AULA Transformações Conformes: 15 Aplicações META: Aplicar transformações conformes. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar transformações conformes na determinação da distribuição
Leia maisMAT Resumo Teórico e Lista de
MAT 0132 - Resumo Teórico e Lista de Exercícios April 10, 2005 1 Vetores Geométricos Livres 1.1 Construção dos Vetores 1.2 Adição de Vetores 1.3 Multiplicação de um Vetor por um Número Real 2 Espaços Vetoriais
Leia maisO Teorema de Radon-Nikodým
Universidade stadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência c Publicação eletrônica do KIT http://www.dma.uem.br/kit O Teorema de Radon-Nikodým
Leia maisModelagem em Sistemas Complexos
Modelagem em Sistemas Complexos Bifurcação local de campos vetoriais Marcone C. Pereira Escola de Artes, Ciências e Humanidades Universidade de São Paulo São Paulo - Brasil Abril de 2012 Nesta aula discutiremos
Leia maisSeção 9: EDO s lineares de 2 a ordem
Seção 9: EDO s lineares de a ordem Equações Homogêneas Definição. Uma equação diferencial linear de segunda ordem é uma equação da forma onde fx, gx e rx são funções definidas em um intervalo. y + fx y
Leia maisO Teorema de Lax-Milgram e Algumas Aplicações
O Teorema de Lax-Milgram e Algumas Aplicações Aluno:David Stolnicki Orientador:Ricardo Alonso Resumo Este artigo tem como objetivo apresentar alguns resultados clássicos de análise funcional, culminando
Leia maisPropriedades das Funções Contínuas
Propriedades das Funções Contínuas Prof. Doherty Andrade 2005- UEM Sumário 1 Seqüências 2 1.1 O Corpo dos Números Reais.......................... 2 1.2 Seqüências.................................... 5
Leia maisFísica Matemática II: Notas de aula
Física Matemática II: Notas de aula Rafael Sussumu Y. Miada Nessas notas, faremos uma introdução à teoria dos espaços métricos e normados, e aos operadores lineares em espaços normados. Os resultados obtidos
Leia mais1 Conjuntos enumeráveis
Medida e Integração. Departamento de Física e Matemática. USP-RP. Prof. Rafael A. Rosales de maio de 007. Conjuntos enumeráveis Denotamos por Q os numeros racionais, logo [0, ] Q, são os números racionais
Leia maisCondições de qualificação, otimalidade e um método tipo lagrangiano aumentado
Trabalho apresentado no XXXVII CNMAC, S.J. dos Campos - SP, 2017. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Condições de qualificação, otimalidade e um método
Leia maisUniversidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática. O Teorema de Arzelá. José Renato Fialho Rodrigues
Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática O Teorema de Arzelá José Renato Fialho Rodrigues Belo Horizonte - MG 1994 José Renato Fialho Rodrigues O Teorema
Leia maisTeoremas fundamentais dos espaços normados
Capítulo 9 Teoremas fundamentais dos espaços normados 9.1 Teorema de Hahn-Banach O próximo teorema, conhecido como teorema de Hahn-Banach, é uma generalização do Teorema 4.12, o qual, recordamos para conveniência
Leia maisEspaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais:
Espaços Euclidianos Espaços R n O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais: R n = {(x 1,..., x n ) : x 1,..., x n R}. R 1 é simplesmente o conjunto R dos números
Leia mais37 a Olimpíada Brasileira de Matemática Nível Universitário Primeira Fase
7 a Olimpíada Brasileira de Matemática Nível Universitário Primeira Fase Problema Sejam m e n inteiros positivos, X um conjunto com n elementos e seja 0 k n um inteiro. São escolhidos aleatória e independentemente
Leia maisCap. 3 - Observabilidade e desacoplamento da Saída
Cap. 3 - Observabilidade e desacoplamento da Saída Visão geral do capítulo No capítulo 2 mostramos que a controlabilidade está relacionada com o menor subespaço A-invariante que contém a imagem de B. Mostramos
Leia maisGabarito P2. Álgebra Linear I ) Decida se cada afirmação a seguir é verdadeira ou falsa.
Gabarito P2 Álgebra Linear I 2008.2 1) Decida se cada afirmação a seguir é verdadeira ou falsa. Se { v 1, v 2 } é um conjunto de vetores linearmente dependente então se verifica v 1 = σ v 2 para algum
Leia maisCamada limite laminar
Camada limite laminar J. L. Baliño Escola Politécnica - Universidade de São Paulo Apostila de aula 2017, v. 1 Camada limite laminar 1 / 24 Sumário 1 Introdução 2 Equações da camada limite laminar 3 Solução
Leia maisDecaimento da Energia de Placas Termoelásticas Linear
Sumário Decaimento da Energia de Placas Termoelásticas Linear com memória PEDRO GAMBOA ROMERO Instituto de Matemáticas. Universidade Federal do Rio de Janeiro Av. Brigadeiro Trompowski s/n.caixa Postal
Leia maisMAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004
MAT 317 - Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 1 Nome : Número USP : Assinatura : Professor : Severino Toscano do Rêgo Melo 2 3 4 5 Total Podem tentar fazer todas as questões.
Leia mais21 de Junho de 2010, 9h00
Análise Complexa e Equações Diferenciais ō Semestre 009/00 ō Teste \ ō Exame - Versão A (Cursos: Todos) de Junho de 00, 9h00 Duração: Teste - h 30m, Exame - 3h INSTRUÇÕES Não é permitida a utilização de
Leia maisNotas Sobre Sequências e Séries Alexandre Fernandes
Notas Sobre Sequências e Séries 2015 Alexandre Fernandes Limite de seqüências Definição. Uma seq. (s n ) converge para a R, ou a R é limite de (s n ), se para cada ɛ > 0 existe n 0 N tal que s n a < ɛ
Leia maisAULA DE APOIO - 1 FÍSICA MATEMÁTICA I. A transformada de Fourier
AULA DE APOIO - 1 FÍSICA MATEMÁTICA I A transformada de Fourier Assuntos da aula 1 Visão geral Motivações Linearidade e limitação uniforme 2 3 Translações, modulações, continuidade e etc. Física-Matemática.
Leia maisUma nova taxa de convergência para o Método do Gradiente
Proceeding Series of the Brazilian Society of Applied and Computational Mathematics, Vol. 2, N. 1, 2014. Trabalho apresentado no CMAC-Sul, Curitiba-PR, 2014. Uma nova taxa de convergência para o Método
Leia maisLista 4. Esta lista, de entrega facultativa, tem três partes e seus exercícios versam sobre séries, funções contínuas e funções diferenciáveis em R.
UFPR - Universidade Federal do Paraná Departamento de Matemática CM095 - Análise I Prof José Carlos Eidam Lista 4 INSTRUÇÕES Esta lista, de entrega facultativa, tem três partes e seus exercícios versam
Leia maisÁlgebra Linear e Geometria Analítica
Instituto Politécnico de Viseu Escola Superior de Tecnologia Departamento: Matemática Álgebra Linear e Geometria Analítica Curso: Engenharia Electrotécnica Ano: 1 o Semestre: 1 o Ano Lectivo: 007/008 Ficha
Leia maisPolinômios Ortogonais no Círculo Unitário com Relação a Certas Medidas Associadas a Coeficientes de Verblunsky Periódicos
Trabalho apresentado no CNMAC, Gramado - RS, 2016. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Polinômios Ortogonais no Círculo Unitário com Relação a Certas Medidas
Leia maisUm espaço métrico incompleto 1
Universidade Estadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência anos c Publicação Eletrônica do KIT http://www.dma.uem.br/kit Um espaço métrico incompleto
Leia maisESCOAMENTOS VARIÁVEIS EM PRESSÃO (Choque Hidráulico)
ECOAMENTO VARIÁVEI EM PREÃO (Choque Hidráulico) Equações Fundamentais 26-5-2003 Equações Fundamentais 1 Escoamentos variáveis em pressão: regime gradualmente variado (ou quase-permanente) ou regime rapidamente
Leia maisÁlgumas palavras sobre as Equações de Navier-Stokes
Álgumas palavras sobre as Equações de Navier-Stokes As equações de Navier-Stokes foram derivadas inicialmente por M. Navier em 1827 e por S.D. Poisson em 1831, baseando-se num argumento envolvendo considerações
Leia maisMATEMÁTICA - 3o ciclo Intervalos de números Reais (9 o ano) Propostas de resolução
MATEMÁTICA - 3o ciclo Intervalos de números Reais (9 o ano) Propostas de resolução Exercícios de provas nacionais e testes intermédios 1. Como 2 1, 1414 e 3 1, 7321, representando na reta real o intervalo
Leia maisResumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos
MAT 1351 Cálculo para funções uma variável real I Curso noturno de Licenciatura em Matemática 1 semestre de 2016 Docente: Prof. Dr. Pierluigi Benevieri Resumo das aulas dos dias 4 e 11 de abril e exercícios
Leia maisApostila Minicurso SEMAT XXVII
Apostila Minicurso SEMAT XXVII Título do Minicurso: Estrutura algébrica dos germes de funções Autores: Amanda Monteiro, Daniel Silva costa Ferreira e Plínio Gabriel Sicuti Orientadora: Prof a. Dr a. Michelle
Leia maisEM34B Transferência de Calor 2
EM34B Transferência de Calor 2 Prof. Dr. André Damiani Rocha arocha@utfpr.edu.br Convecção Forçada Escoamento Externo 2 Convecção Forçada: Escoamento Externo Escoamento Externo É definido como um escoamento
Leia maisPolinômios Ortogonais em Várias Variáveis com Pontos de Massa
Polinômios Ortogonais em Várias Variáveis com Pontos de Massa Mirela V. de Mello Depto de Ciências de Computação e Estatística, IBILCE, UNESP, 15054-000, São José do Rio Preto, SP E-mail: mirela vanina@yahoo.com.br
Leia maisReticulados, Álgebra Booleana e Formas Quadráticas Abstratas
Reticulados, Álgebra Booleana e Formas Quadráticas Abstratas Clotilzio Moreira dos Santos Resumo O objetivo deste trabalho é introduzir formas quadráticas sobre reticulados. Demonstramos que a definição
Leia mais