Equações de Gauss–Codazzi

Predefinição:Multitag As equações de Gauss–Codazzi–Mainardi são equações fundamentais da teoria das hipersuperfícies incorporadas em um espaço euclidiano e, geralmente, de subvariedades da variedade de Riemann. Elas também têm aplicações para sistemas de hipersuperfícies incorporadas nas variedades pseudo-riemannianas (geometria de Riemann).

Na geometria diferencial clássica de superfícies, as equações de Gauss-Codazzi-Mainardi consistem em um par de equações relacionadas. A primeira equação, às vezes chamada de equação de Gauss, relaciona a curvatura intrínseca (ou curvatura de Gauss ) da superfície às derivadas do mapa de Gauss, por meio da segunda forma fundamental . Esta equação é a base do teorema egrégio de Gauss . A segunda equação, às vezes chamada de equação de Codazzi – Mainardi, é uma condição estrutural nas segundas derivadas do mapa de Gauss. Foi nomeado para Gaspare Mainardi (1856) e Delfino Codazzi (1868-1869), que derivaram independentemente o resultado, embora tenha sido descoberto anteriormente por Karl Mikhailovich Peterson. Ele incorpora a curvatura extrínseca (ou curvatura média ) da superfície. As equações mostram que os componentes da segunda forma fundamental e seus derivados ao longo da superfície classificam completamente a superfície até uma transformação euclidiana, um teorema do Pierre Ossain Bonnet.

Declaração formal

Seja $i:M\subset P$ uma subvariedade incorporada n- dimensional de uma variedade Riemanniana P de dimensão $n+p$. Existe uma inclusão natural do pacote tangente de M no de P pelo pushforward, e o cokernel é o pacote normal de M :

$0\to T_{x}M\to T_{x}P{|}_M\to T_x^{\perp }M\to 0.$

A métrica divide essa sequência exata curta e, portanto,

$TP{|}_M=TM\oplus T^{\perp }M.$

Em relação a essa divisão, a conexão Levi-Civita ${\mathrm{\nabla }}^{\prime }$ de P decompõe-se em componentes tangenciais e normais. Para cada $X\in TM$ e o campo vetorial Y em M ,

$\mathrm{\nabla }{\text{'}}_{X}Y=\mathrm{\top }(\mathrm{\nabla }{\text{'}}_{X}Y)+\mathrm{\perp }(\mathrm{\nabla }{\text{'}}_{X}Y).$

Deixei

${\mathrm{\nabla }}_{X}Y=\mathrm{\top }(\mathrm{\nabla }{\text{'}}_{X}Y),\alpha (X,Y)=\mathrm{\perp }(\mathrm{\nabla }{\text{'}}_{X}Y).$

A fórmula de Gauss agora afirma que ${\mathrm{\nabla }}_X$ é a conexão Levi-Civita para M e $\alpha$ é uma forma simétrica com valor vetorial com valores no pacote normal. É frequentemente referido como a segunda forma fundamental .

Um corolário imediato é a equação de Gauss . Para $X,Y,Z,W\in TM$ ,

$⟨R^{\prime }(X,Y)Z,W⟩=⟨R(X,Y)Z,W⟩+⟨\alpha (X,Z),\alpha (Y,W)⟩-⟨\alpha (Y,Z),\alpha (X,W)⟩$

Onde $R^{\prime }$ é o tensor de curvatura de Riemann de P e R é o de M.

A <b id="mwYQ">equação de Weingarten''' é um análogo da fórmula de Gauss para uma conexão no pacote normal. Deixei $X\in TM$ e $\xi$ um campo vetorial normal. Em seguida, decomponha o derivado covariante ambiental de $\xi$ ao longo de X em componentes tangenciais e normais:

$\mathrm{\nabla }{\text{'}}_X\xi =\mathrm{\top }(\mathrm{\nabla }{\text{'}}_X\xi )+\mathrm{\perp }(\mathrm{\nabla }{\text{'}}_X\xi )=-A_{\xi }(X)+D_X(\xi ).$

Então

1. Equação de Weingarten : $⟨A_{\xi }X,Y⟩=⟨\alpha (X,Y),\xi ⟩$
2. D _X é uma conexão métrica no pacote normal.

Portanto, há um par de conexões: ∇, definido no feixe tangente de M ; e D, definido no feixe normal de M. Estas se combinam para formar uma conexão em qualquer produto tensor de cópias de T M e T ^⊥ M. Em particular, eles definiram a derivada covariante de $\alpha$ :

$({\tilde{\mathrm{\nabla }}}_X\alpha )(Y,Z)=D_X(\alpha (Y,Z))-\alpha ({\mathrm{\nabla }}_{X}Y,Z)-\alpha (Y,{\mathrm{\nabla }}_{X}Z).$

A equação de Codazzi – Mainardi é

$\mathrm{\perp }(R^{\prime }(X,Y)Z)=({\tilde{\mathrm{\nabla }}}_X\alpha )(Y,Z)-({\tilde{\mathrm{\nabla }}}_Y\alpha )(X,Z).$

Como toda imersão é, em particular, uma incorporação local, as fórmulas acima também são válidas para imersões.

Equações de Gauss – Codazzi na geometria diferencial clássica

Declaração de equações clássicas

Na geometria diferencial clássica de superfícies, as equações de Codazzi – Mainardi são expressas através da segunda forma fundamental ( L, M, N ):

$L_v-M_u=L{\mathrm{\Gamma }}^1{}_{12}+M({\mathrm{\Gamma }}^2{}_{12}-{\mathrm{\Gamma }}^1{}_{11})-N{\mathrm{\Gamma }}^2{}_{11}$

$M_v-N_u=L{\mathrm{\Gamma }}^1{}_{22}+M({\mathrm{\Gamma }}^2{}_{22}-{\mathrm{\Gamma }}^1{}_{12})-N{\mathrm{\Gamma }}^2{}_{12}$

Derivação de equações clássicas

Considere uma superfície paramétrica em 3 espaços euclidianos,

$𝐫(u,v)=(x(u,v),y(u,v),z(u,v))$

onde as três funções componentes dependem suavemente de pares ordenados ( u, v ) em algum domínio aberto U no plano uv . Suponha que essa superfície seja regular, o que significa que os vetores r _u e r _v são linearmente independentes . Conclua isso com base { r _u, r _v, n }, selecionando um vetor de unidade n normal para a superfície. É possível expressar as segundas derivadas parciais de r usando os símbolos de Christoffel e a segunda forma fundamental.

${𝐫}_{uu}={\mathrm{\Gamma }}^1{}_{11}{𝐫}_u+{\mathrm{\Gamma }}^2{}_{11}{𝐫}_v+L𝐧$

${𝐫}_{uv}={\mathrm{\Gamma }}^1{}_{12}{𝐫}_u+{\mathrm{\Gamma }}^2{}_{12}{𝐫}_v+M𝐧$

${𝐫}_{vv}={\mathrm{\Gamma }}^1{}_{22}{𝐫}_u+{\mathrm{\Gamma }}^2{}_{22}{𝐫}_v+N𝐧$

O teorema de Clairaut afirma que derivadas parciais comutam:

${\left({𝐫}_{uu}\right)}_v={\left({𝐫}_{uv}\right)}_u$

Se diferenciarmos r _uu em relação a v e r _uv em relação a u, obtemos:

${\left({\mathrm{\Gamma }}^1{}_{11}\right)}_v{𝐫}_u+{\mathrm{\Gamma }}^1{}_{11}{𝐫}_{uv}+{\left({\mathrm{\Gamma }}^2{}_{11}\right)}_v{𝐫}_v+{\mathrm{\Gamma }}^2{}_{11}{𝐫}_{vv}+L_v𝐧+L{𝐧}_v$ $={\left({\mathrm{\Gamma }}^1{}_{12}\right)}_u{𝐫}_u+{\mathrm{\Gamma }}^1{}_{12}{𝐫}_{uu}+{\left({\mathrm{\Gamma }}_{12}^2\right)}_u{𝐫}_v+{\mathrm{\Gamma }}^2{}_{12}{𝐫}_{uv}+M_u𝐧+M{𝐧}_u$

Agora substitua as expressões acima pelas segundas derivadas e iguale os coeficientes de n :

$M{\mathrm{\Gamma }}^1{}_{11}+N{\mathrm{\Gamma }}^2{}_{11}+L_v=L{\mathrm{\Gamma }}^1{}_{12}+M{\mathrm{\Gamma }}^2{}_{12}+M_u$

Reorganizar essa equação fornece a primeira equação de Codazzi – Mainardi.

A segunda equação pode ser derivada de maneira semelhante.

Curvatura média

Seja M um coletor m- dimensional suave imerso no ( m   +   k ) distribuidor liso dimensional P. Deixei $e_1,e_2,\dots ,e_k$ ser um quadro ortonormal local de campos vetoriais normal a M. Então nós podemos escrever,

$\alpha (X,Y)=\sum _{j=1}^k{\alpha }_j(X,Y)e_j$

Se agora $E_1,E_2,\dots ,E_m$ é uma estrutura ortonormal local (de campos vetoriais tangentes) no mesmo subconjunto aberto de M, então podemos definir as curvaturas médias da imersão por

$H_j=\sum _{i=1}^m{\alpha }_j(E_i,E_i)$

Em particular, se M é uma hipersuperfície de P, isto é, $k=1$, então há apenas uma curvatura média para falar. A imersão é chamada mínima se todas as $H_j$ são identicamente zero.

Observe que a curvatura média é um traço, ou média, da segunda forma fundamental, para qualquer componente. Às vezes, a curvatura média é definida pela multiplicação da soma do lado direito por $1/m$ .

Agora podemos escrever as equações de Gauss – Codazzi como

$⟨R^{\prime }(X,Y)Z,W⟩=⟨R(X,Y)Z,W⟩+\sum _{j=1}^k{\alpha }_j(X,Z){\alpha }_j(Y,W)-{\alpha }_j(Y,Z){\alpha }_j(X,W)$

Contração das componentes $Y,Z$ nos dá

${\mathrm{Ric}}^{\prime }(X,W)=\mathrm{Ric}(X,W)+\sum _{j=1}^k⟨R^{\prime }(X,e_j)e_j,W⟩+(\sum _{i=1}^m{\alpha }_j(X,E_i){\alpha }_j(E_i,W))-H_j{\alpha }_j(X,W)$

Observe que o tensor entre parênteses é simétrico e não negativo definido em $X,W$ . Assumindo que M é uma hipersuperfície, isso simplifica

${\mathrm{Ric}}^{\prime }(X,W)=\mathrm{Ric}(X,W)+⟨R^{\prime }(X,n)n,W⟩+(\sum _{i=1}^{m}h(X,E_i)h(E_i,W))-Hh(X,W)$

Onde $n=e_1$ e $h={\alpha }_1$ e $H=H_1$ . Nesse caso, mais uma contração produz,

$R^{\prime }=R+2{\mathrm{Ric}}^{\prime }(n,n)+\Vert h{\Vert }^2-H^2$

Onde $R^{\prime }$ e $R$ são as respectivas curvaturas escalares, e

$\Vert h{\Vert }^2=\sum _{i,j=1}^{m}h(E_i,E_j{)}^2$

E se $k>1$, a equação da curvatura escalar pode ser mais complicada.

Já podemos usar essas equações para tirar algumas conclusões. Por exemplo, qualquer imersão mínima na esfera redonda $x_1^2+x_2^2+\cdots +x_{m+k+1}^2=1$ deve ser da forma

$\mathrm{\Delta }{x}_j+\lambda x_j=0$

Onde $j$ vai de 1 a $m+k+1$ e

$\mathrm{\Delta }=\sum _{i=1}^m{\mathrm{\nabla }}_{E_i}{\mathrm{\nabla }}_{E_i}$

é o Laplaciano em M, e $\lambda >0$ é uma constante positiva.

Bibliografia

• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation ("Discussões gerais sobre superfícies curvas")
• Predefinição:SpringerEOM Predefinição:SpringerEOM
• Predefinição:Citation Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation .
• Predefinição:Citation

Ligações externas

• Equações de Peterson – Mainardi – Codazzi - de Wolfram MathWorld
• Equações de Peterson-Codazzi