An $L^p$-Theory for Time-Periodic Mixed-Order Partial Differential Equations under General Boundary Conditions

Resumo Técnico: Uma Teoria $L^p$ para Equações Diferenciais Parciais de Ordem Mista Periódicas no Tempo sob Condições de Contorno Gerais

Enunciado do Problema
O artigo aborda a bem-posedidade de problemas de valor de contorno periódicos no tempo associados a equações diferenciais parciais (EDPs) e sistemas de ordem mista. Embora uma teoria abrangente de bem-posedidade exista para operadores elípticos e parabólicos (por exemplo, via condições de Agmon-Douglis-Nirenberg ou Lopatinskiĭ–Shapiro), tal teoria tem estado amplamente indisponível para operadores com propriedades de escala genuinamente mistas. Esses operadores, onde escalas concorrentes são codificadas geometricamente por um polígono de Newton, frequentemente surgem em modelos físicos complexos. Trabalhos anteriores dos autores estabeleceram uma teoria $L^2$ para uma classe restrita de tais operadores, mas observou-se que as condições clássicas de Lopatinskiĭ–Shapiro são geralmente insuficientes para a bem-posedidade neste cenário. O presente trabalho visa desenvolver uma teoria $L^p$ abrangente ($p \in (1, \infty)$) para uma ampla classe de problemas de valor de contorno de ordem mista no semi-espaço periódico no tempo $\mathbb{T} \times \mathbb{R}^n_+$, acomodando operadores de contorno gerais que podem envolver tanto derivadas espaciais quanto temporais.

Metodologia
Os autores constroem a teoria através de três pilares interconectados:

1. Escalas de Espaços de Funções Unificadas:
   Os autores estendem a teoria dos espaços de polígono de Newton introduzindo uma escala unificada de espaços de potenciais gerados por funções de ordem. Diferentemente dos polígonos de Newton clássicos, que são restritos a conjuntos convexos no plano $(|\xi|, \tau)$, as funções de ordem permitem um arcabouço algébrico mais flexível onde as operações correspondem à adição ordinária em vez de somas de Minkowski. Crucialmente, os autores introduzem o conceito de uma escala de polígono de Newton, que inclui os espaços de polígono de Newton clássicos, bem como espaços híbridos resultantes de interpolação real (envolvendo regularidade de Besov e de potencial de Bessel). Esta abstração é necessária porque os espaços de traço para operadores de ordem mista são geralmente não espaços de polígono de Newton puros, mas sim tais espaços de interpolação híbrida.

2. Arcabouço Abstrato de Valor de Contorno:
   O artigo desenvolve um arcabouço de operador abstrato que separa as propriedades analíticas do operador diferencial da estrutura dos espaços de funções. O mecanismo central envolve:

   • Definição de uma tupla de traço abstrata $(U, \dot{U}, \mathcal{U}, \text{Tr}, E)$, onde $\dot{U}$ é o núcleo do operador de traço $\text{Tr}$ e $E$ é uma inversa à direita.
   • Introdução de operadores admissíveis, que se fatoram em componentes que preservam o suporte no semi-espaço e componentes invertíveis no núcleo do operador de traço.
   • Formulação de uma condição de contorno complementar abstrata. A bem-posedidade é caracterizada pela invertibilidade de um "operador complementado" $(B, C)$, onde $B$ é o operador de contorno dado e $C$ é um operador complementar construído a partir do traço da solução. Esta condição garante que o operador combinado seja injetivo, identificando assim as condições de compatibilidade precisas exigidas pelos dados.

3. Teoria de Traço para Espaços de Ordem Mista:
   Uma contribuição técnica significativa é o desenvolvimento de uma teoria de traço $L^p$ para espaços de polígono de Newton. Os autores identificam explicitamente os espaços de traço $T^{\mu, p}_\perp(\mathbb{R}^{n-1})$ associados a espaços de polígono de Newton restritos. Eles demonstram que, para $p \neq 2$, esses espaços de traço não são espaços de polígono de Newton, mas podem ser representados como espaços de interpolação real entre espaços de polígono de Newton intimamente relacionados. Esta caracterização permite a descrição precisa dos espaços de dados e das condições de compatibilidade.

Principais Resultados

• Teorema de Bem-Posedidade Geral (Teorema 4.36): Os autores estabelecem que, para um operador admissível $P$ e operadores de contorno $B_i$, o problema de valor de contorno é bem-posto em espaços baseados em $L^p$ se a matriz de contorno complementada $BC$ satisfizer uma condição de invertibilidade (especificamente, que $BC$ seja um sistema de ordem mista e seu determinante seja não nulo). O teorema identifica explicitamente o espaço de dados admissível, incluindo as condições de compatibilidade necessárias induzidas pelos operadores de contorno.
• Condições de Compatibilidade Explícitas: O arcabouço produz naturalmente as condições de compatibilidade exigidas para os dados $(f, g)$. Estas condições são expressas como o requisito de que uma combinação linear específica dos dados internos e dos dados de contorno pertença a um espaço de traço específico, em vez de impor restrições de igualdade simples.
• Aplicações:
  • Equação do Calor com Condições de Dirichlet: A teoria recupera resultados de regularidade de ordem superior, mostrando que para $f$ em um espaço específico, o dado de contorno $g$ deve satisfazer uma condição de compatibilidade envolvendo $\partial_t g - \text{Tr}_0 f$ pertencendo a um espaço do tipo Besov específico, em vez de exigir que $f$ se anule no contorno.
  • Sistema Cahn-Hilliard-Gurtin: Os autores estendem seus resultados anteriores de $L^2$ para $p \in (1, \infty)$ geral, estabelecendo regularidade máxima para este sistema com estrutura de ordem mista.
  • Condições de Contorno Dinâmicas: A teoria é aplicada a problemas parabólicos com condições de contorno dinâmicas, fornecendo resultados de bem-posedidade para sistemas onde a evolução do contorno é acoplada com a dinâmica do interior.

Significância e Alegações
O artigo alega fornecer uma abordagem sistemática e unificada para problemas de valor de contorno de ordem mista que vai além da teoria clássica de Lopatinskiĭ–Shapiro. Ao utilizar escalas de polígono de Newton e uma condição complementar abstrata, o arcabouço:

• Amplia substancialmente a classe de operadores e condições de contorno admissíveis em comparação com os resultados anteriores de $L^2$.
• Identifica sistematicamente os espaços de compatibilidade associados, que emergem naturalmente do arcabouço abstrato em vez de serem impostos ad hoc.
• Lida com operadores de contorno que envolvem derivadas temporais e condições de compatibilidade não triviais entre os dados.
• Fornece um procedimento "mecânico" para derivar resultados de bem-posedidade: uma vez que o operador é identificado como admissível e a condição complementar é verificada, a bem-posedidade segue do teorema geral.

Os autores enfatizam que esta teoria é particularmente valiosa para problemas onde a geometria do polígono de Newton é não-triangular ou onde os espaços de traço envolvem escalas de regularidade híbrida, situações onde as técnicas clássicas de espaços de Sobolev anisotrópicos são insuficientes.