The elliptic regularity theorem for differential operators with variable coefficients
I'm following the book "Introduction to the theory of distributions" by Friedlander and Joshi. There is the following result p. 109
$Theorem (8.6.1)$. Let $X \subset \mathbb{R}^n$ be an open set, and let $P$ be an elliptic operator with constant coefficients. Then
$$\mathrm{singsupp}(u)=\mathrm{singsupp}(Pu)$$
As an observation after the demonstration says:
"This principle, applied to Schwartz kernels and backed by an apropriate construction, gives the elliptic regularity theorem for differential operators with variable coefficients."
Would you give me references for this more general case? Is necessary the theory of pseudo-differential operators?
Thank you for any reply.
functional-analysis reference-request partial-differential-equations distribution-theory regularity-theory-of-pdes
I was able to find the right reference. This construction is present in the book "Introduction to pseudo-differential and Fourier Integral volume 1" by J.F. Treves. More specifically the sections are as follows
Parametrices of Elliptic Equations
Definition and Continuity of the "Standard" Pseudodifferential Operators in an Open Subset of Euclidean Space. Pseudodifferential Operators Are Pseudolocal
up to page 12, there is the following result:
Lemma (2.2). Let $P$ denote a differential operator with variable coefficients in $\Omega$. Suppose that there is a very $K: \mathcal{E}'(\Omega) \longrightarrow \mathcal{D}'(\Omega)$ regular operator such that $KP-I$ is regularizing (which is sometimes expressed by saying that $K$ is a left parametrix of $P$). Then $P$ is hypoelliptic, i.e., it has the following property: Given any open set $U$ of $\Omega$, then every distribution $u$ in $U$ such that $Pu \in C^{\infty}(U)$ is a $C^\infty$ function in $U$.
In other worlds this lemma says that $$\mathrm{singsupp}(u)=\mathrm{singsupp}(Pu)$$ The theory of pseudo-differential operators is not necessary, in fact this construction is a particular introduction to it.
PS. To understand this construction, it is necessary to study Chapter 6 (Schwartz kernels and kernel theorem) of the book "Introduction to the theory of distributions" by Friedlander and Joshi.
Not the answer you're looking for? Browse other questions tagged functional-analysis reference-request partial-differential-equations distribution-theory regularity-theory-of-pdes or ask your own question.
Books for studying Dirac Operators, Atiyah-Singer Index Theorem, Heat Kernels
Proof of the elliptic regularity theorem for differential operators $P(D)=\sum_{|\alpha|\leq m} a_\alpha D^\alpha $, $a_\alpha \in \mathbb{C}$
Concrete examples of elliptic pseudo-differential equations
Tensor product of two distributions $u \in \mathcal{D}(X)$ and $v \in \mathcal{D}(Y)$
Is completeness necessary? X separable iff weak* topology on closed unit ball of dual is metrizable.
Integral operators on $L^2$ and the Schwartz kernel theorem
How do I interpret the definition of a distribution in this book by Joshi & Friedlander?