En la teoría de ecuaciones diferenciales parciales , un operador diferencial parcial definido en un subconjunto abierto
![{\displaystyle U\subset {\mathbb {R} }^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se llama hipoelíptica si para cada distribución definida en un subconjunto abierto tal que es ( suave ), también debe serlo .![{\displaystyle u}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V\subconjunto U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Pu}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si esta afirmación se cumple reemplazada por analítica real , entonces se dice que es analíticamente hipoelíptica . ![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Todo operador elíptico con coeficientes es hipoelíptico. En particular, el laplaciano es un ejemplo de operador hipoelíptico (el laplaciano también es analíticamente hipoelíptico). Además, el operador de la ecuación del calor ( ) ![{\displaystyle C^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P(u)=u_{t}-k\,\Delta u\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P=\partial _ {t}-k\,\Delta _ {x}\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(donde ) es hipoelíptica pero no elíptica. Sin embargo, el operador de la ecuación de onda ( ) ![{\displaystyle k>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P(u)=u_{tt}-c^{2}\,\Delta u\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P=\partial _ {t}^{2}-c^{2}\,\Delta _ {x}\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(donde ) no es hipoelíptica.![{\displaystyle c\neq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Referencias
- Shimakura, Norio (1992). Operadores diferenciales parciales de tipo elíptico: traducido por Norio Shimakura . Sociedad Estadounidense de Matemáticas, Providence, RI ISBN 0-8218-4556-X.
- Egórov, Yu. V.; Schulze, Bert-Wolfgang (1997). Operadores pseudodiferenciales, singularidades, aplicaciones . Birkhäuser. ISBN 3-7643-5484-4.
- Vladímirov, VS (2002). Métodos de la teoría de funciones generalizadas . Taylor y Francisco. ISBN 0-415-27356-0.
- Folland, GB (2009). Análisis de Fourier y sus aplicaciones . AMS. ISBN 978-0-8218-4790-9.
Este artículo incorpora material de Hypoelliptic en PlanetMath , que tiene la licencia Creative Commons Attribution/Share-Alike License .