TheoremBase

A Strictly Proper Second-Order Equation Operator is Proper

Statement

Let n≥1n\ge1 be a natural number, let U⊆RnU\subseteq\mathbb{R}^n be an open subset of Euclidean space Rn\mathbb{R}^n, let R\mathbb{R} be the ordered field of real numbers, and let FF be a second-order equation operator on UU.

If there exists γ∈R\gamma\in\mathbb{R} with 0<γ0<\gamma such that FF is strictly proper with constant γ\gamma, then FF is proper.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…