Practical tensor calculus on embedded submanifolds of arbitrary codimension

Este artigo apresenta um framework de cálculo tensorial totalmente extrínseco, sem parametrização e sem componentes para subvariedades embutidas de codimensão arbitrária, que conta com uma notação recursiva algorítmica que facilita tanto a análise teórica quanto as aplicações práticas em dinâmica dos fluidos, mecânica do contínuo e geometria evolutiva.

O essencial

Imagine que você está tentando descrever a forma e o movimento de um pedaço de papel flutuando em um ambiente tridimensional, ou de uma bolha de sabão, ou até mesmo de uma forma complexa e de alta dimensão que não conseguimos visualizar facilmente. Na matemática, essas formas são chamadas de subvariedades.

Por muito tempo, os matemáticos tiveram uma maneira muito específica e rígida de fazer cálculo (a matemática da mudança e do movimento) nessas formas. É como tentar descrever o movimento do papel primeiro colando uma grade de papel milimetrado sobre ele, anotando coordenadas para cada ponto individual e, em seguida, realizando cálculos complexos baseados nessa grade. Isso funciona, mas é bagunçado, difícil de computar e falha se o papel torcer, girar ou mudar de forma ao longo do tempo.

A Grande Ideia do Artigo: "O Método da Árvore"
Vladimir Yushutin propõe uma nova e mais limpa maneira de fazer essa matemática. Em vez de colar uma grade sobre a forma, ele sugere olhar para a forma "de fora" (o ambiente onde ela está flutuando) e usar uma estrutura especial e recursiva que ele chama de "representação em linhas".

Pense em um tensor (um objeto matemático complexo que contém informações sobre direção e magnitude) não como uma enorme planilha de números, mas como uma árvore completa.

• O topo da árvore é o objeto principal.
• Os galhos se dividem em pedaços menores (linhas).
• As folhas são os números reais.

Essa estrutura de "árvore" permite que a matemática seja algorítmica. Isso significa que você pode escrever um programa de computador que lida com essas formas simplesmente seguindo os galhos da árvore, não importa quão complexa seja a forma ou quantas dimensões ela tenha. Você não precisa se preocupar com as coordenadas específicas da forma; basta seguir as regras da árvore.

As Três Principais Descobertas
O autor usa esse novo método de "árvore" para resolver três problemas específicos que anteriormente eram difíceis ou mal compreendidos:

1. A Regra do "Empuxo Líquido Zero" (Fluxos de Euler):
   Imagine um fluido (como água) fluindo perfeitamente suavemente sobre uma superfície curva, como uma bola ou uma sela. A matemática antiga sugeria que, se a superfície não tivesse simetrias (nenhum equilíbrio perfeito esquerda-direita ou cima-baixo), o fluido poderia empurrar a superfície de maneiras estranhas.

   • A Descoberta: Usando esse novo método, o autor prova que, se o fluido é incompressível (não se espreme), o empuxo total (momento) sobre toda a superfície é sempre zero. Mesmo que o fluido esteja girando violentamente, as forças se cancelam perfeitamente em toda a forma. É como um grupo de pessoas empurrando um barco de todos os lados; mesmo que empurrem aleatoriamente, se todas estiverem no barco, o barco não se move para frente ou para trás como um todo.

2. O Mal-Entendido do "Corte" (Tensão de Cauchy):
   Na engenharia, falamos sobre "tensão" dentro dos materiais. Geralmente, assumimos que, se você cortar um pedaço de material, a força atua apenas ao longo da superfície do corte. Para folhas planas, isso é fácil. Mas para formas curvas e tridimensionais (como uma corda torcida ou uma casca curva), os matemáticos debateram se a força deve sempre permanecer "plana" contra a superfície ou se pode apontar "para cima" ou "para baixo".

   • A Descoberta: O artigo argumenta que os modelos anteriores eram muito restritivos. Eles assumiam que você só poderia cortar o material de uma maneira específica e plana. O autor mostra que, se você permitir qualquer corte (mesmo um estranho e inclinado), a matemática prova que a força não precisa permanecer plana contra a superfície. Ela pode apontar em qualquer direção, e as leis da física (leis de Newton) ainda se mantêm verdadeiras. Isso muda como modelamos a tensão em materiais complexos e curvos.

3. Rastrear Formas em Mudança (Subvariedades Evolutivas):
   Imagine uma bolha de sabão que está expandindo, encolhendo e oscilando. Como calcular a energia de um padrão desenhado nessa bolha enquanto ela muda?

   • A Descoberta: O autor cria uma fórmula para calcular exatamente como a "energia" de um padrão muda à medida que a própria forma se move e se transforma. Isso é feito usando uma "derivada material", que é como uma câmera que se move com a forma, rastreando as mudanças de dentro enquanto leva em conta o movimento da forma no mundo exterior. Isso fornece uma ferramenta precisa para modelar coisas como tecidos biológicos em crescimento ou membranas em deformação.

Por Que Isso Importa
O artigo não oferece apenas uma nova teoria; oferece um conjunto de ferramentas práticas. Ao tratar essas formas complexas como "árvores" de dados, a matemática torna-se:

• Livre de coordenadas: Você não precisa escolher um sistema de grade específico.
• Recursiva: Você pode resolver grandes problemas dividindo-os em etapas menores e idênticas (como seguir um galho de árvore até uma folha).
• Universal: Funciona para formas de qualquer dimensão e qualquer "espessura" (codimensão).

Em resumo, o artigo fornece uma nova linguagem, mais flexível e amigável para computadores, para descrever como as coisas se movem, empurram e mudam em superfícies curvas, eliminando a necessidade de grades de coordenadas bagunçadas e antiquadas.

Resumo técnico

Resumo Técnico: Cálculo Tensorial Prático em Subvariedades Embebidas de Codimensão Arbitrária

Enunciado do Problema
Muitos problemas científicos envolvem campos tensoriais definidos em subvariedades embebidas em $\mathbb{R}^n$. As ferramentas matemáticas tradicionais para esses problemas, como operadores diferenciais e regras de integração, são tipicamente introduzidas de forma intrínseca usando parametrizações de coordenadas locais ou notação de índices de Ricci. Embora poderosas, essa formalização pode dificultar os cálculos, particularmente ao lidar com evolução geométrica ou subvariedades de dimensão e codimensão arbitrárias. Abordagens extrínsecas existentes frequentemente restringem-se a casos escalares, tensores de posto dois ou cenários de codimensão um, carecendo de um quadro unificado para tensores de posto geral em codimensões arbitrárias.

Metodologia
O artigo propõe uma variante totalmente extrínseca, livre de parametrização e livre de componentes do cálculo tensorial. A metodologia baseia-se na derivada cartesiana ambiente em $\mathbb{R}^n$ e na descrição extrínseca por nível de conjunto da geometria da subvariedade.

O núcleo do quadro é uma representação recursiva por linhas de tensores. Em vez de usar índices de matriz ou componentes de coordenadas, um tensor de posto $q$ é representado como uma lista de $n$ componentes-linha, cada uma sendo um tensor de posto $q-1$. Essa estrutura é análoga a uma árvore $n$-ária completa, onde os nós folha armazenam valores e os nós internos guiam a avaliação por meio de produtos escalares recursivos. Essa representação permite:

• Recursividade Algorítmica: Operações como projeção, gradiente, divergência e rotacional são definidas recursivamente sobre as componentes-linha.
• Derivadas Extrinsicas: O gradiente da subvariedade $\nabla_M$ é definido via o gradiente ambiente projetado no espaço tangente, evitando a necessidade de conexões intrínsecas.
• Projeção Tangencial: Um algoritmo recursivo projeta campos tensoriais gerais no subespaço tangente da subvariedade.
• Integração: Uma definição de integração componente a componente estende o teorema de Stokes padrão para tensores de posto arbitrário, resultando em uma fórmula extrínseca de Stokes que inclui um termo envolvendo o vetor de curvatura média $\kappa$.

Principais Contribuições e Resultados
O artigo demonstra a utilidade desse quadro através de três aplicações distintas, derivando resultados novos para dimensão e codimensão arbitrárias:

1. Equações de Euler e Momento Extrinsic:
   Os autores derivam um novo princípio de conservação global para fluxos de Euler incompressíveis em variedades riemannianas. Eles mostram que o momento extrínseco (a integral do covetor de velocidade sobre a variedade) se anula para qualquer fluxo tangencial e incompressível, independentemente das simetrias da variedade. Isso leva a uma equação de balanço de força ambiente onde a força de Young-Laplace, a reação de fronteira e a força centrípeta somam zero. Esse resultado generaliza a propriedade conhecida de força de pressão líquida nula em domínios fixos em $\mathbb{R}^2$ ou $\mathbb{R}^3$.

2. Tensão de Cauchy em Subvariedades:
   O artigo revisita o conceito de tensão de Cauchy em subvariedades embebidas com codimensão positiva. Ao relaxar a suposição de que tensores de tensão devem atuar apenas em cortes tangenciais, os autores derivam equações de equilíbrio para cortes geralmente orientados. Eles provam que, embora a conservação do momento angular implique a tangencialidade do vetor de tensão para orientações tangenciais, isso não implica que o tensor de tensão em si deva ser simétrico ou puramente tangencial. O tensor de tensão pode ser não simétrico e não tangencial sem violar as leis de Newton, desde que a componente normal-em-tangencial do vetor de tensão se cancele.

3. Energia de Dirichlet em Subvariedades Evolutivas:
   Para subvariedades evolutivas, os autores introduzem uma derivada material extrínseca para campos tensoriais de posto geral. Eles derivam uma expressão para a taxa temporal de variação da energia de Dirichlet tensorial. Essa derivação generaliza resultados anteriores para campos escalares e vetoriais para postos, dimensões e codimensões tensoriais arbitrárias, utilizando comutadores entre a derivada material e o gradiente da subvariedade.

Significado e Afirmações
O artigo afirma que o quadro proposto oferece uma notação prática e um conjunto de ferramentas imediatamente utilizáveis na modelagem matemática, na análise de equações diferenciais parciais (EDPs) conscientes da geometria e em métodos numéricos em subvariedades embebidas.

As características distintivas destacadas são:

• Generalidade: Aplica-se a subvariedades de qualquer dimensão e codimensão e lida com tensores de posto arbitrário.
• Adequação Computacional: A representação recursiva por linhas espelha a estrutura de árvores completas, tornando o cálculo passível de implementação algorítmica e análise teórica.
• Clareza Extrínseca: Ao evitar coordenadas locais e confiar em derivadas ambientes, o quadro simplifica o tratamento da evolução geométrica e das condições de fronteira.

Os autores concluem que essa abordagem facilita a derivação de novas leis de conservação e condições de equilíbrio que anteriormente eram difíceis de formular em um contexto geral, e sugerem direções futuras em análise numérica, cálculo variacional e classificação de formas utilizando as ferramentas desenvolvidas.