Mathematics > Numerical Analysis
[Submitted on 20 Jan 2022 (v1), last revised 4 May 2022 (this version, v2)]
Title:Several Proofs of Coerciveness of First-Order System Least-Squares Methods for General Second-Order Elliptic PDEs
View PDFAbstract:In this paper, we present proofs of the coerciveness of first-order system least-squares methods for general (possibly indefinite) second-order linear elliptic PDEs under a minimal uniqueness assumption. For general linear second-order elliptic PDEs, the uniqueness, existence, and well-posedness are equivalent due to the compactness of the operator and Fredholm alternative. Thus only a minimal uniqueness assumption is assumed: the homogeneous equation has a unique zero solution. The coerciveness of the standard variational problem is not required. The paper's main contribution is our first proof, which is a straightforward and short proof using the inf-sup stability of the standard variational formulation. The proof can potentially be applied to other equations or settings once having the standard formulation's stability. We also present two other proofs for the least-squares methods of general second-order linear elliptic PDEs. The second proof is based on a lemma introduced in the discontinuous Petrov-Galerkin method, and the third proof is based on various stability analyses of the decomposed problems. As an application, we also discuss least-squares finite element methods for problems with a nonsingular $H^{-1}$ right-hand side.
Submission history
From: Shun Zhang [view email][v1] Thu, 20 Jan 2022 07:26:20 UTC (22 KB)
[v2] Wed, 4 May 2022 09:56:25 UTC (23 KB)
Current browse context:
math.NA
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.