Elliptic regularity with specified equation class
Research context
postgraduate concept · established · As of 2026-10-10
If P is a constant-coefficient elliptic differential operator of order m on R-n and u is a distribution on an open U, P-u in local H-s implies u in local H-(s+m).
Key knowledge
If P is a constant-coefficient elliptic differential operator of order m on R-n and u is a distribution on an open U, P-u in local H-s implies u in local H-(s+m). Smooth forcing therefore gives a smooth interior solution. This local gain is not a boundary regularity result; characteristic wave operators and degenerate coefficients are outside these hypotheses.
Values and equations
Pu in H^s_loc(U) implies u in H^(s+m)_loc(U)
- P
- Constant-coefficient elliptic operator of order m
- s
- Real Sobolev index
- U
- Open subset of R-n
Conditions and scope
- Ellipticity means the principal symbol is nonzero for every nonzero real covector; coefficients here are constant.
- Local Sobolev spaces, operator order and open interior domain are specified; boundary corners or rough coefficients require other theorems.
Sources · 1
References
Sources retain their recorded scope. A source link alone does not establish verification of every statement.
Evidence and review
Author checked this English statement, displayed equation where present and stated hypotheses against these source locations: §§1.2, 2.1–2.2, 3.1, 11.1–11.2, 12.1–12.2, 13.1, 15.1–15.3, 17.1–17.3; each record narrows its applicable claim. The check is bounded to the recorded claims; no complete proof reconstruction, software proof replay or universal literature completeness is claimed.
2026-10-10 · Author source-body/statement/equation/domain check, with graph associations scoped individually. Separate independent content/source/inventory review is required before branch closure.
Entry details
Permanent link to this entry ↗- Record identity
- research-math-elliptic-interior-regularity
- Revision
- research.1
- Structured reference record
- Postgraduate & research reference