Elementary first integrals of integral differential systems

=== RASCUNHO ===
Resumo Técnico: Integrais Primeiras Elementares de Sistemas Diferenciais Integrais

Enunciado do Problema
O artigo aborda o problema de determinar condições necessárias e suficientes para que uma classe específica de sistemas diferenciais de primeira ordem possua "integrais primeiras elementares". Os autores consideram um corpo $F$ de característica zero equipado com uma derivação $\delta$ e um corpo algebricamente fechado de constantes $F^\delta$. O sistema sob investigação é um sistema triangular de equações diferenciais definido sobre o corpo de funções racionais $F(Y) = F(y_1, \dots, y_n)$:
$$\delta y_1 = f_0, \quad \delta y_2 = f_1, \quad \dots, \quad \delta y_n = f_{n-1}$$
onde $f_0 \in F$ e $f_i \in F[y_1, \dots, y_i]$ para $i \geq 1$. Os autores buscam caracterizar quando este sistema admite uma $\delta$-integral primeira elementar — um elemento $e$ em uma extensão elementar $\Delta$ de $F(Y)$ (onde $\Delta$ inclui a derivação do sistema e derivadas parciais em relação às variáveis) tal que $e$ seja uma $\Delta$-constante, mas não uma $\delta$-constante de $F$.

Metodologia
Os autores empregam técnicas de álgebra diferencial, especificamente aproveitando a teoria das extensões de Picard-Vessiot e as propriedades das extensões elementares. A metodologia procede através dos seguintes passos lógicos:

1. Análise Estrutural: O artigo estabelece uma conexão entre o dado sistema diferencial e extensões de Picard-Vessiot $\delta$ com grupos galoisianos diferenciais unipotentes. Demonstra-se que o anel $F[y_1, \dots, y_n]$ consiste em elementos que são "holonômicos" sobre $F$ e são integrais iterados generalizados.
2. Redução para Integrais Elementares: O núcleo da prova envolve a redução da existência de uma integral primeira elementar para o sistema à existência de uma $\delta$-integral elementar para o corpo base $F$. Isso é alcançado através da análise da estrutura de extensões $\Delta$ elementares e utilizando propriedades de constantes em tais extensões.
3. Lemmas Algébricos: A prova baseia-se fortemente em lemas específicos relativos à estrutura de elementos em corpos de funções racionais. Notavelmente, o Lema 3.1 estende um resultado de Rosenlicht para mostrar que, se uma combinação linear de derivadas logarítmicas e a derivada de uma função racional pertence a um anel polinomial, os termos logarítmicos devem originar-se do corpo base, e a parte polinomial pode ser reduzida.
4. Descida Indutiva via Traço e Norma: A prova do teorema principal utiliza um argumento indutivo baseado no menor inteiro $l$ tal que os elementos associados são algébricos sobre $F(y_1, \dots, y_l)$. Ao empregar teoria de Galois, especificamente argumentos de Traço e Norma sobre as extensões de corpo relevantes, os autores demonstram que a existência de tais elementos implica a existência de elementos correspondentes em um campo inferior. Este processo desce iterativamente até que se mostre que os elementos devem pertencer ao corpo base $F$ (ou satisfazer condições específicas dentro de $F(Y)$), estabelecendo assim a condição necessária para a existência de uma integral primeira elementar.

Principais Contribuições e Resultados
A principal contribuição do artigo é o Teorema 1.1, que fornece uma condição necessária e suficiente para que o sistema (1.3) admita uma $\delta$-integral primeira elementar.

• Teorema 1.1: Assumindo $F(Y)^\delta = F^\delta$, o sistema admite uma $\delta$-integral primeira elementar se, e somente se, existe uma $\delta$-integral elementar $u \in F(Y)$ de $F$ tal que $u \notin F$.
  • Implicação: O problema de encontrar uma integral primeira para o sistema triangular é equivalente a encontrar uma integral elementar dentro do corpo de funções racionais gerado pelas variáveis do sistema.
• Conexão com Prelle-Singer: Os autores observam que seu resultado é um análogo de um teorema de Prelle e Singer [1], que tratou o caso onde todos os $f_i \in F$. O presente trabalho generaliza isso para o caso onde $f_i$ depende de variáveis precedentes.
• Interpretação Teórica de Modelos: O teorema é refraseado na linguagem da Teoria de Modelos de Campos Diferenciais: um tipo genérico fracamente ortogonal descrito pelo sistema admite uma $\delta$-integral primeira elementar se, e somente se, admite uma $\delta$-integral elementar.
• Proposição 3.3: O artigo fornece uma descrição construtiva de $\delta$-integrais elementares para campos $\delta$ específicos onde uma integral iterada $\eta$ existe. Mostra-se que tais integrais podem ser expressas como polinômios nas derivadas de $\eta$ com coeficientes em $F^\delta[x]$.
• Exemplos de Não-Existência: Na Seção 4, os autores constroem um exemplo específico (Proposição 4.1) envolvendo uma integral elíptica $\eta$ e uma função racional $g$ com um polo simples. Eles provam que o sistema resultante não admite nem integrais primeiras $\delta$ racionais nem elementares, demonstrando a utilidade de seu teorema na identificação de sistemas que não são solucionáveis em termos elementares.

Significância
O artigo reivindica significância ao fornecer um critério rigoroso para determinar a solucionabilidade de uma ampla classe de sistemas diferenciais triangulares em termos de funções elementares. Ao reduzir o complexo problema de encontrar integrais primeiras de um sistema para o problema mais simples de encontrar integrais elementares para o corpo base, os autores oferecem uma ferramenta teórica para analisar a integrabilidade de tais sistemas. O trabalho preenche a lacuna entre o caso específico de coeficientes constantes (Prelle-Singer) e coeficientes variáveis dependentes de variáveis anteriores, enquanto também conecta a álgebra diferencial com a teoria de modelos de campos diferenciais. A construção de uma família de sistemas que não admitem integrais primeiras elementares delimita ainda mais as fronteiras da solucionabilidade elementar neste contexto.