Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Gelfand theory of pseudo differential operators and hypoelliptic operators

Author: Michael E. Taylor
Journal: Trans. Amer. Math. Soc. 153 (1971), 495-510
MSC: Primary 47G05; Secondary 35H05
MathSciNet review: 0415430
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper investigates an algebra $ \mathfrak{A}$ of pseudo differential operators generated by functions $ a(x) \in {C^\infty }({R^n}) \cap {L^\infty }({R^n})$ such that $ {D^\alpha }a(x) \to 0$ as $ \vert x\vert \to \infty $, if $ \vert\alpha \vert \geqq 1$, and by operators $ q(D){Q^{ - 1/2}}$ where $ q(D) < P(D),Q = I + P{(D)^ \ast }P(D)$, and $ P(D)$ is hypoelliptic. It is proved that such an algebra has compact commutants, and the maximal ideal space of the commutative $ {C^ \ast }$ algebra $ \mathfrak{A}/J$ is investigated, where $ J$ consists of the elements of $ \mathfrak{A}$ which are compact. This gives a necessary and sufficient condition for a differential operator $ q(x,D):{\mathfrak{B}_2}_{,\tilde P} \to {L^2}$ to be Fredholm. (Here and in the rest of this paragraph we assume that the coefficients of all operators under consideration satisfy the conditions given on $ a(x)$ in the first sentence.) It is also proved that if $ p(x,D)$ is a formally selfadjoint operator on $ {R^n}$ which has the same strength as $ P(D)$ uniformly on $ {R^n}$, then $ p(x,D)$ is selfadjoint, with domain $ {\mathfrak{B}_{2,\tilde P}}({R^n})$, and semibounded, if $ n \geqq 2$. From this a Gårding type inequality for uniformly strongly formally hypoelliptic operators and a global regularity theorem for uniformly formally hypoelliptic operators are derived. The familiar local regularity theorem is also rederived.

It is also proved that a hypoelliptic operator $ p(x,D)$ of constant strength is formally hypoelliptic, in the sense that for any $ {x_0}$, the constant coefficients operator $ p({x_0},D)$ is hypoelliptic.

References [Enhancements On Off] (What's this?)

  • [1] M. Breuer and H. Cordes, On Banach algebras with $ \sigma $-symbol, J. Math. Mech. 13 (1964), 313-324. MR 28 #2456. MR 0159239 (28:2456)
  • [2] H. Cordes and E. Herman, Gelfand theory of pseudo differential operators, Amer. J. Math. 90 (1968), 681-717. MR 0454743 (56:12991)
  • [3] J. Dixmier, Les $ {C^ \ast }$-algèbres et leurs répresentations, Cahiers Scientifiques, fasc. 29, Gauthier-Villars, Paris, 1964. MR 30 #1404. MR 0171173 (30:1404)
  • [4] L. Hörmander, Linear partial differential operators, Die Grundlehren der math. Wissenschaften, Band 116, Academic Press, New York; Springer-Verlag, Berlin, 1963. MR 28 #4221.
  • [5] -, Pseudo-differential operators and hypoelliptic equations, Proc. Sympos. Pure Math., vol. 10, Amer. Math. Soc., Providence, R. I., 1967, pp. 138-183. MR 0383152 (52:4033)
  • [6] -, On interior regularity of the solutions of partial differential equations, Comm. Pure Appl. Math. 11 (1958), 197-218. MR 21 #5064. MR 0106330 (21:5064)
  • [7] B. Malgrange, Sur une classe d'opérateurs différentiels hypoelliptiques, Bull. Soc. Math. France 85 (1957), 283-306. MR 21 #6063. MR 0106329 (21:5063)
  • [8] E. Nelson and W. F. Stinespring, Representation of elliptic operators in an enveloping algebra, Amer. J. Math. 81 (1959), 547-560. MR 22 #907. MR 0110024 (22:907)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 47G05, 35H05

Retrieve articles in all journals with MSC: 47G05, 35H05

Additional Information

Keywords: Pseudo differential operator, hypoelliptic operator, Fredholm operator
Article copyright: © Copyright 1971 American Mathematical Society

American Mathematical Society