Exercícios das fichas 11 e 12

25 maio 2018, 12:30 • Manuel Paulo de Oliveira Ricou

Ficha 11: 4, 8

53ª Aula - Revisão de T. da Divergência em  ℝn e casos particulares para n=3 (T. de Gauss) e n=2 (T. de Green). Motivação do T. de Stokes em domínios regulares de variedades-2 em ℝ3, com a obtenção da correspondente fórmula e, em particular, do operador diferencial (rotacional) apropriado aplicando uma parametrização ao T. de Green. Definições de bordo de subconjunto de variedade diferencial, orientação de variedade-2 em ℝ3 e variedade-2 orientável; exemplo de variedade-2 não orientável (banda de Möbius). Afirmação e prova do T. de Stokes para domínios regulares de variedades-2 orientáveis em ℝ3.

25 maio 2018, 11:30 • Luis Magalhães

Revisão: T. da Divergência em  ℝ ⁿ e casos particulares para n=3 (T. de Gauss) e n=2 (T. de Green).

Observação: O TFC pode ser usado para calcular integrais do lado direito em termos de integrais do lado esquerdo da correspondente fórmula: integrais múltiplos em termos de integrais em hipervariedades, integrais duplos em termos de integrais de linha, integrais de superfície em ℝ³ em termos de integrais de linha e viceversa. Por exemplo, pode ser usado para calcular volume-n de domínios regulares por integrais de hipervariedades, áreas de em termos de integrais de linha. Pode-se calcular fluxos de um campo vectorial F através de superfícies que são domínios regulares em variedade-2 em ℝ³ por integrais de linha no bordo, escolhendo v_f=F, e até áreas de superfícies escolhendo v_f·n=1, e vice-versa pode-se calcular integrais de linha no bordo (circulação, trabalho) de um campo vectorial calculando o fluxo de v_f na superfície.

Motivação: TFC em domínios regulares de variedades-2 em ℝ³ (T. de Stokes em ℝ³). Obtenção do operador diferencial v_f a utilizar no integral num domínio regular A de uma vizinhança de coordenadas de uma variedade-2 em ℝ³  a partir da parametrização g correspondente e do T. de Green em ℝ², ou seja da projecção do rotacional na normal unitária D₁gxD₂g/||D₁gxD₂g|| a A induzida pela parametrização, designadamente obtenção de fórmula para o rotacional de um campo vectorial (aplicação simples de Álgebra Linear).

Definições: 
(1) Se S⊂ℝⁿ é aberto e f:S→ℝ³, chama-se rotacional de f a rot f =(D₂f₃-D₃f₂ , D₃f₁-D₁f₃ , D₁f₂-D₂f₁) . Também se designa por ∇xf .
(2) Diz-se que uma variedade-2 M em ℝ³ é orientável se existe um campo vectorial contínuo de normais unitárias a M , i.e. n:M→ℝ³ tal que n(x)⊥T_xM , ||n(x)||=1 . Diz-se que n define uma orientação de M .
(3) Chama-se domínio regular A numa variedade-m M em ℝⁿ a um subconjunto de M limitado e aberto relativamente a M tal que ∂A é uma variedade-(m-1) em ℝⁿ e ∂A=∂A , em que, para S⊂M , ∂S é a fronteira de S relativamente a M , ∂S=S\S , a que se chama bordo de S.

Observações:
(1) Se g:V→ℝ³ é uma parametrização de uma vizinhança de coordenadas de uma variedade-2 em ℝ³, então g(V) é orientável e a orientação induzida por g é n(x) = (D₁gxD₂g)/||D₁gxD₂g|| (g^-1(x)) , logo, as variedades-2 são localmente orientáveis.
(2) Há variedades-2 em ℝ³ não orientáveis, como por exemplo uma banda de Möbius.

T de Stokes (TFC para integrais em variedade-2 de ℝ³): Se M⊂ℝ³ é uma variedade C² orientável, com orientação n , A⊂M é um domínio regular em M , f é um campo vectorial C¹ em A com valores em ℝ³, β designa caminho(s) regular(es) simples fechados que representam o bordo ∂A , então ∫_Arot f·n = ∮_∂Af·dβ .

Dem.:
(1) localmente para funções com suporte numa vizinhança de coordenadas de M feito quando se motivou e obteve uma fórmula para o rotacional.
(2) globalmente (tal como para o T. da Divergência usam-se partições da unidade para juntar as contribuições locais). 

52ª Aula - Revisão: Domínio regular e TFC para integrais múltiplos com campos vectoriais C1 com suporte numa vizinhança suficientemente pequena de um ponto do fecho de domínio regular. Definição de divergência e de fluxo de campo vectorial em ℝn através de variedade-(n-1). Caso geral do TFC para integrais múltiplos ou T. da Divergência. Casos particulares de T. de Green e T. de Gauss. Descrição geométrica e invariância com transformações de coordenadas da divergência. Motivação para T. de Stokes.

25 maio 2018, 09:00 • Luis Magalhães

Revisão: 
Definição de domínio regular D⊂ℝⁿ. 
Proposição: D⊂ℝn limitado e aberto é domínio regular se e só se ∂D é variedade-(n-1) compacta e ∂D=∂D (dem. no livro). 
TFC para integrais múltiplos com campo vectorial f com suporte numa vizinhança suficientemente pequena de um ponto a∈∂D ou a∈D : 

Definição: Chama-se divergência de um campo vectorial f com derivadas parciais num aberto D⊂ℝⁿ a div f = ∂f₁/∂x₁ + ··· + ∂f_n/∂x_n=tra Df. Também se escreve ∇·f=div f por analogia com (∂/∂x₁,..., ∂/∂x_n)·(f₁,...f_n) . 

Observação: div f =tra Df , logo invariante com mudanças de base e, portanto, uma derivada intrínseca de campos vectoriais face a mudanças de bases (ao contrário de ∇φ), apesar de definida a partir de derivadas parciais e cada uma delas não ser intrínseca. 

TFC para Integrais Múltiplos ou T. da Divergência em ℝⁿ: Se D⊂ℝⁿ é um domínio regular e  f:D→ℝⁿ é C¹,  é ∫_Ddiv f = ∫_∂Df·ν .
(Dem.: Foi provado localmente para funções com suporte numa vizinhança suficientemente pequena de um ponto a∈∂D ou a∈D. Globalmente, usam-se partições da unidade para juntar as contribuições locais. Como D é compacto tem cobertura aberta finita ℱ={U₁, ..., U_N} tal que o resultado é válido para funções com suporte em cada um dos U_j . Se Ψ={ψ₁,..., ψ_N} é partição da unidade finita em D subordinada a ℱ, com supp ψ_j ⊂ U_j , de (1) e (2) é ∑_j ∫_Ddiv(ψ_j f) = ∑_j ∫_∂Dψ_jf·ν = ∫_∂Df·ν. Como div(ψ_j f) = ∇ψ_jf + ψ_j div f , é ∫_Ddiv(ψ_j f) = ∫_D∇(∑_jψ_j)f + ∑_j ∫_Dψ_j div f = ∫_Dψ_j div f , pois ∇(∑_jψ_j)=∇1=0 .

Observações: 
(1) Se f é um campo de velocidade C¹ em S⊂ℝ³ aberto, ∫_∂D f·ν dá o fluxo para fora de D através de ∂D, ou seja a quantidade de matéria que sai de D através de ∂D por unidade de tempo. 
(2) Se n=3 o TFC (para integrais triplos) chama-se Teorema de Gauss.

Teorema de Green (TFC para integrais duplos): Se  D⊂ℝ² é um domínio regular, ∂D é união finita de curvas regulares simples fechadas e P,Q:D→ℝ são C¹,  então ∫∫_D(∂Q/∂x-∂P/∂y) dx dy = ∫_∂DPdx+Qdy, em que o integral de linha no lado direito é no sentido antihorário (ou contrário ao dos ponteiros do relógio; o caminho tem o domínio à esquerda) relativamente a D (quando visto de um ponto de D suficientemente próximo da parte correspondente de ∂D .
(Dem. Aplicar o TFC para integrais múltiplos com f=(Q,-P) , observando que se g é caminho que descreve uma curva regular fechada simples de ∂D , com ||g´||=1 ,  então a normal exterior unitária de D é ν=(g´₂,-g´₁) ).

Motivação para TFC para domínios regulares em vizinhanças de coordenadas de variedades-2 em ℝ³ (Teorema de Stokes): a "derivada" a considerar na fórmula é a que resultar da aplicação de uma parametrização ao Teorema de Green no domínio da parametrização.

51ª Aula - Definição de integral de campo escalar em variedade subconjunto de variedade diferencial que não está incluído numa só vizinhança de coordenadas, com partições da unidade. Revisão do Teorema Fundamental do Cálculo (TFC) para integrais simples e integrais de linha. TFC para integrais múltiplos em domínios regulares.

24 maio 2018, 13:00 • Luis Magalhães

Definições:
(1) Cobertura admissível de um conjunto S⊂M , em que M é uma variedade-m em ℝⁿ é uma cobertura ℱ de S por subconjuntos abertos de ℝⁿ tal que M∩U é uma vizinhança de coordenadas de M para todo U∈ℱ.
(2) Suporte de função φ:S→ℝ^m, com S⊂ℝⁿ designado supp φ é o fecho do conjunto em que φ é ≠0 .
(3) Partição da unidade em S⊂M subordinada a cobertura admissível de S, em que M é uma variedade-m em ℝⁿ, a um conjunto numerável Φ={φ₁,φ₂, ... } de funções φ_j:ℝⁿ→[0,1] C^∞ tais que ∑_jφ_j=1 em S , supp φ_j⊂K_j⊂U em que K_j é compacto e U∈ℱ e localmente apenas um nº finito de φ_j é ≠0 (i.e. ∀_x∈S∃_V⊂ℝⁿ aberto com _x∈V: V intersecta apenas um nº finito de supp φ_j ).

Proposição: Para qualquer conjunto S⊂M , em que M é uma variedade-m em ℝⁿ,  e cobertura admissível ℱ de S , existe partição da unidade em S subordinada a ℱ. 

Definições:
(1) Um campo escalar f definido em S⊂M , em que M é uma variedade-m em ℝⁿ, é integrável se para uma cobertura admissível ℱ de S⊂M e uma partição da unidade Φ={φ₁,φ₂, ... } em S subordinada a ℱ ∑_j ∫_Sφ_j|f| existe e, em caso afirmativo, o integral de f em S é ∫_Sf = ∑_j ∫_Sφ_jf .
(2) Diz-se que S⊂M é mensurável, em que M é uma variedade-m em ℝⁿ, se a função constante igual a 1 é integrável em S e, em caso afirmativo o volume-m ou medida de S é ∫_S1 . Também se considera ∅ mensurável e com medida 0 .

Proposição: Integrabilidade e integral em subconjunto de variedade-m em ℝⁿ é invariante com mudança de cobertura admissível e de partição da unidade subordinada a tal cobertura.

Observações: 
(1) Os integrais em subconjuntos de variedades-m em ℝⁿ têm propriedades gerais semelhantes às de integrais múltiplos e integrais de linha. O centróide de um subconjunto S de uma variedade-m define-se por integrais análogos aos de integrais múltiplos. A partir de uma densidade de uma grandeza escalar em relação a a volume m-dimensional pode ser calculada a grandeza total num subconjunto da variedade por integração da densidade, o centro dessa grandeza no subconjunto (se a densidade for de massa o centro de massa, momentos de inércia em relação a rectas, etc.).
(2) As partições da unidade são um instrumento poderoso conceptual para globalizar propriedades locais, com aplicação em outras situações. Contudo, o cálculo em casos concretos passa por encontrar partições do tipo indicado no início e aplicar a aditividade do integral em relação ao domínio de integração (até numerável -- σ-aditividade -- se for usado integral de Lebesgue), legitimada pela definição de integral com partições da unidade.
(3) A ideia de partição da unidade deve-se independentemente a Jean Dieudonné e Solomon Bochner em 1937.
(4) A noção de integral em subconjuntos de variedades-m em ℝⁿ unifica as noções anteriores de integral simples, integral múltiplo, integral de linha e integral em vizinhanças de coordenadas de variedades-m em ℝⁿ; todas são casos particulares desta noção geral.

Revisão e motivação: Teorema Fundamental do Cálculo para integrais simples num intervalo [a,b]⊂ℝ e para integrais de linha num caminho g:[a,b]→ℝⁿ e ideia de estabelecer resultado análogo para integrais múltiplos em conjuntos abertos limitados de D⊂ℝⁿ com fronteira ∂D que é uma variedade-(n-1) que dá a igualdade do integral múltiplo em D de uma função definida por derivadas de um campo vectorial f a um integral de uma função definida por valores de f na variedade-(n-1) ∂D.

Definição: Domínio regular em ℝⁿ é D⊂ℝⁿ limitado e aberto tal que qualquer que seja a∈∂D existe aberto U , com a∈U e função C¹ Φ:U→ℝ tais que ∇Φ ≠0 em U , Φ=0 é equação cartesiana de ∂D em U e D∩U={ x∈U: Φ(x)<0} .

Proposição: Todo domínio regular em D em ℝⁿ, em uma normal exterior unitária única definida e contínua em ∂D ; com a notação da proposição precedente, é a função n:∂D→ℝⁿ tal que n=∇Φ/||∇Φ|| .
(Dem.: Localmente ∂D é o conjunto de nível 0 de Φ , pelo que ∇Φ é ortogonal a ∂D . ν é contínua em ∂D porque é quociente de funções contínuas com denominador ≠0 . o conjunto dos vectores ortogonais a ∂D num ponto x∈∂D é um espaço linear unidimensional, pelo que tem exactamente dois vectores unitários, em sentidos opostos).

Proposição: Se D⊂ℝⁿ é domínio regular, ∂D é uma variedade-(n-1) compacta que tem pontos de D de um e só um dos seus lados.
(Dem.: ∂D tem equações cartesianas locais de funções escalares C¹ com gradiante  ≠0 que são as  condições em que equações cartesianas descrevem variedades-(n-1) em ℝⁿ. Como D é limitado, também ∂D é e como fronteiras de conjuntos são conjuntos fechados ∂D é um subconjunto limitado e fechado de ℝⁿ, logo compacto).

Proposição: D⊂ℝⁿ limitado e aberto é domínio regular se e só se ∂D é variedade-(n-1) compacta e ∂D=∂D (dem. no livro). 

Motivação do Teorema Fundamental do Cálculo (TFC) para Integrais Múltiplos: Obtenção de fórmula para Teorema Fundamental do Cálculo em domínios regulares D⊂ℝⁿpara campo vectorial com suporte numa vizinhança de um ponto de ∂D em que a fronteira é gráfico de uma função C¹ de um aberto V⊂ℝ^n-1 em ℝ, observando que com translações e rotações de coordenadas é possível colocar uma vizinhança de um ponto de ∂D no espaço de modo a todos os seus pontos terem componentes positivas e a normal unitária também , e que com aplicação do TFubini e do TFCálculo para integrais simples se f é um campo vectorial C¹ em D obtém-se ∫_D ∂f_n/∂x_n= ∫_∂D f_nν_n . Com permutações de coordenadas obtém-se da mesma maneira ∫_D ∂f_j/∂x_j= ∫_∂D f_jν_j para todo j=1,...,n , e somando obtém-se ∫_D (∂f_j/∂x_j+ ··· + ∂f_n/∂x_n) = ∫_∂Df·ν.

TFC para Integrais Múltiplos: Se D⊂ℝⁿ é um domínio regular e f:D→ℝⁿ é C¹,  então ∫_D (∂f_j/∂x_j+ ··· + ∂f_n/∂x_n) = ∫_∂Df·ν .
(Dem.: Foi descoberta a forma do operador diferencial no integral múltiplo no lado esquerdo e do integral de valores da função em ∂D no lado direito ao obter a fórmula localmente para funções com suporte numa vizinhança de um ponto a∈∂D e, portanto, a fórmula é válida neste caso. Também é válida localmente para funções com suporte numa vizinhança de um ponto a∈D (mais fácil porque ambos os lados trivialmente 0 . Globalmente, usam-se partições da unidade para juntar as contribuições locais).

Observação: ∂f_j/∂x_j+ ··· + ∂f_n/∂x_n=tra Df .

Exercícios das fichas 7, 9, 10

23 maio 2018, 11:00 • Manuel Paulo de Oliveira Ricou

Ficha 7: 7 (b)