Resolubilidade local de campos vetoriais reais

Abstract

Denição 2.1. Seja P (D) um operador com coecientes constantes. Um conjunto Ω ⊂ R n é dito P -convexo para suporte se para todo compacto K ⊂ Ω existe um outro compactoDizemos que Ω é P -convexo para suporte singular se para todoOs seguintes resultados se encontram em Hörmander [2005] e sua referência se encontra entre parênteses. Teorema 2.2 (Corolario 10.7.10). A equação P (D)u = f possui solução u ∈ D ′ (Ω) para todo f ∈ D ′