{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.galerkin-method","code":"thing-q1491980","url":"https://ver.cy/models/thing/q1491980/","name":"Galerkin method","alternateNames":[],"kind":"thing","status":"published","version":"0.1.0-research.1","language":"en","classifiers":{"family":"Thing Registry","category":"Activities and processes","entryKind":"thing","plane":"ACT","domain":["ACT.ACT"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"The Galerkin method approximates an operator equation in a finite-dimensional trial space by requiring its residual to vanish against every function in a chosen test space, classically the same space as the trial variations.","purpose":"Enable an agent to recognise a Galerkin formulation, assess its mathematical and numerical adequacy, and choose justified approximation or verification actions.","scope":{"in":["Residual equations, variational forms and the pairing used for testing","Trial and test spaces, bases and treatment of boundary constraints","Discrete equations and their relationship to the continuous problem","Consistency, stability, approximation error and convergence evidence","Boundaries between classical Galerkin and named Galerkin variants"],"out":["Physical laws and constitutive models defining the underlying problem","Mesh generation algorithms as independent methods","Finite element technology beyond its role in constructing Galerkin spaces","Linear and nonlinear solver algorithms as independent methods","Time integration schemes except where time itself is treated by a Galerkin formulation","Biographies and historical attribution beyond method identification"],"boundaries":[]},"distinguishingFeatures":["Identify an explicit trial approximation and require its residual to vanish against every test function in a specified finite-dimensional space.","For classical Bubnov-Galerkin, test and trial variation spaces coincide; compare spaces after accounting for nonhomogeneous boundary lifting, rather than comparing basis labels.","Distinguish testing against functions from enforcing the strong equation only at collocation points.","Require an identified variational functional before describing a Galerkin approximation as a Ritz minimisation.","Identify the projection formulation independently of whether its basis comes from finite elements, global spectral functions or reduced-order snapshots."],"structure":{"bundles":[{"id":"galerkin-identity","name":"Galerkin identity","description":"Identify the mathematical operation and the convention under which an application is called Galerkin.","layers":[{"id":"residual-testing","name":"Residual testing","description":"Record what is approximated and how its residual is tested.","findings":[{"id":"defining-discrete-condition","name":"Defining discrete condition","description":"For the conforming linear formulation, seek u_h in V_h with a(u_h,v_h)=l(v_h) for every v_h in V_h. [Massing's Galerkin course notes](https://www.math.ntnu.no/emner/MA8502/2024h/lectures/html/chapter_02/galerkin_methods.html).","questions":[{"text":"What residual functional must vanish, and against which complete discrete test space?","id":"defining-discrete-condition-q01","kind":"definition"},{"text":"Does testing use an inner product, a duality pairing or a specified discrete approximation?","id":"defining-discrete-condition-q02","kind":"definition"}]}]},{"id":"variant-boundaries","name":"Variant boundaries","description":"Separate the core operation from conventions and neighbouring methods.","findings":[{"id":"named-variant-contract","name":"Named variant contract","description":"Record what each variant label changes in the spaces, differential operators or discrete form.","questions":[{"text":"Does the cited author use Galerkin narrowly for equal variation spaces or broadly to include Petrov-Galerkin formulations?","id":"named-variant-contract-q01","kind":"provenance"},{"text":"What equations establish the claimed relationship to Ritz, collocation or least-squares methods?","id":"named-variant-contract-q02","kind":"boundary"},{"text":"Which features belong to a linked specialised variant rather than to every Galerkin application?","id":"named-variant-contract-q03","kind":"boundary"}]}]}]},{"id":"continuous-problem-contract","name":"Continuous problem contract","description":"Specify the problem whose solution the discrete construction is intended to approximate.","layers":[{"id":"operator-and-weak-form","name":"Operator and weak form","description":"Relate the supplied equation to the form actually discretised.","findings":[{"id":"formulation-equivalence","name":"Formulation equivalence","description":"Record the operator, forcing, domain, regularity requirements and derivation of the tested formulation.","questions":[{"text":"What operator equation or variational problem is being approximated?","id":"formulation-equivalence-q01","kind":"definition"},{"text":"Under which regularity assumptions does the chosen weak formulation represent the intended original problem?","id":"formulation-equivalence-q02","kind":"boundary"}]}]},{"id":"boundary-and-nullspace-conditions","name":"Boundary and nullspace conditions","description":"Record constraints that determine admissible solutions and uniqueness.","findings":[{"id":"constraint-realisation","name":"Constraint realisation","description":"Track essential and natural boundary conditions, lifting functions, compatibility conditions and any nullspace constraints.","questions":[{"text":"Which boundary conditions are imposed through spaces, lifting, boundary terms or weak enforcement?","id":"constraint-realisation-q01","kind":"definition"},{"text":"What compatibility or normalisation condition is required if the operator has a nullspace?","id":"constraint-realisation-q02","kind":"action"}]}]}]},{"id":"approximation-spaces","name":"Approximation spaces","description":"Describe the finite-dimensional representation and its admissibility.","layers":[{"id":"trial-test-construction","name":"Trial and test construction","description":"Identify spaces independently of their particular basis representation.","findings":[{"id":"space-and-basis-record","name":"Space and basis record","description":"Record basis construction, dimensions, support, continuity and component structure.","questions":[{"text":"How are trial and test spaces constructed, and how many independent degrees of freedom does each contain?","id":"space-and-basis-record-q01","kind":"definition"},{"text":"Are apparently different bases spanning the same space or genuinely different spaces?","id":"space-and-basis-record-q02","kind":"boundary"}]}]},{"id":"conformity-and-enrichment","name":"Conformity and enrichment","description":"Assess admissibility and the available routes to improved approximation.","findings":[{"id":"admissible-refinement","name":"Admissible refinement","description":"Record continuous-space membership, interface treatment and how a sequence of spaces gains approximation power.","questions":[{"text":"Do the discrete functions satisfy the continuous space requirements, or which broken-space or nonconforming construction replaces them?","id":"admissible-refinement-q01","kind":"boundary"},{"text":"Should accuracy be improved by mesh refinement, degree increase, additional modes or basis enrichment?","id":"admissible-refinement-q02","kind":"action"},{"text":"What approximation or density evidence supports the selected refinement sequence?","id":"admissible-refinement-q03","kind":"provenance"}]}]}]},{"id":"discrete-equations","name":"Discrete equations","description":"Connect the declared formulation to the equations actually assembled and solved.","layers":[{"id":"assembly-and-integration","name":"Assembly and integration","description":"Record the translation from functions and forms to coefficient equations.","findings":[{"id":"coefficient-system","name":"Coefficient system","description":"For a linear form, basis substitution gives A_ij=a(phi_j,phi_i) and b_i=l(phi_i). [Massing's Galerkin course notes](https://www.math.ntnu.no/emner/MA8502/2024h/lectures/html/chapter_02/galerkin_methods.html).","questions":[{"text":"What matrix, nonlinear residual or semidiscrete evolution system follows from the chosen bases?","id":"coefficient-system-q01","kind":"definition"},{"text":"Which quadrature and geometry approximations alter the exact tested equations?","id":"coefficient-system-q02","kind":"measurement"}]}]},{"id":"modified-forms-and-solution","name":"Modified forms and solution","description":"Track formulation modifications and the fidelity of the computed solve.","findings":[{"id":"implementation-defects","name":"Implementation defects","description":"Record fluxes, penalties, stabilisation terms and solver tolerances with their intended mathematical roles.","questions":[{"text":"Which interface, penalty or stabilisation terms are present, and what consistency argument supports them?","id":"implementation-defects-q01","kind":"provenance"},{"text":"How small must the algebraic or nonlinear solve error be relative to the intended discretisation accuracy?","id":"implementation-defects-q02","kind":"action"}]}]}]},{"id":"stability-and-error","name":"Stability and error","description":"Assess whether the approximation is reliable and what evidence justifies further action.","layers":[{"id":"applicable-error-theory","name":"Applicable error theory","description":"Attach mathematical claims to the assumptions and norms under which they hold.","findings":[{"id":"orthogonality-and-quasioptimality","name":"Orthogonality and quasioptimality","description":"Consistent conforming linear Galerkin gives a(u-u_h,v_h)=0; Céa's estimate additionally requires the stated boundedness and coercivity assumptions. [Massing's Galerkin course notes](https://www.math.ntnu.no/emner/MA8502/2024h/lectures/html/chapter_02/galerkin_methods.html).","questions":[{"text":"Does exact Galerkin orthogonality hold, or what consistency defect replaces it?","id":"orthogonality-and-quasioptimality-q01","kind":"measurement"},{"text":"Which coercivity, inf-sup or other stability result applies, and are its constants uniform under refinement and parameter changes?","id":"orthogonality-and-quasioptimality-q02","kind":"provenance"},{"text":"In which norm and under which solution regularity assumptions is an error bound justified?","id":"orthogonality-and-quasioptimality-q03","kind":"boundary"}]}]},{"id":"verification-and-adaptation","name":"Verification and adaptation","description":"Use computations to assess accuracy and choose the next approximation.","findings":[{"id":"error-evidence-and-response","name":"Error evidence and response","description":"Record benchmark errors, estimators, observed refinement behaviour and the specific decision each supports.","questions":[{"text":"What manufactured, exact or independently resolved solution supports the reported convergence behaviour?","id":"error-evidence-and-response-q01","kind":"provenance"},{"text":"Which measured norm or quantity-of-interest error meets the application's acceptance threshold?","id":"error-evidence-and-response-q02","kind":"measurement"},{"text":"Does the evidence call for refinement, better integration, a tighter solve or a change of spaces or formulation?","id":"error-evidence-and-response-q03","kind":"action"}]}]}]},{"id":"evidence-and-external-alignment","name":"Evidence and external alignment","description":"What the world already says about this thing, gathered so the model can be checked against it.","layers":[{"id":"reported-evidence","name":"Reported evidence","description":"Findings from the breadth pass, kept separate from the structural claims.","findings":[{"id":"evidence-confidence-notes","name":"Check these first","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these check these first hold for the sense of Galerkin method this model covers, and on what evidence?","id":"evidence-confidence-notes-q01","kind":"provenance"}]},{"id":"evidence-kinds","name":"Kinds and varieties","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these kinds and varieties hold for the sense of Galerkin method this model covers, and on what evidence?","id":"evidence-kinds-q01","kind":"provenance"}]},{"id":"evidence-real-world-use","name":"Real-world use","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these real-world use hold for the sense of Galerkin method this model covers, and on what evidence?","id":"evidence-real-world-use-q01","kind":"provenance"}]},{"id":"evidence-measurements","name":"Typical measurements","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these typical measurements hold for the sense of Galerkin method this model covers, and on what evidence?","id":"evidence-measurements-q01","kind":"provenance"}]},{"id":"evidence-failure-modes-and-hazards","name":"Failure modes and hazards","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these failure modes and hazards hold for the sense of Galerkin method this model covers, and on what evidence?","id":"evidence-failure-modes-and-hazards-q01","kind":"provenance"}]},{"id":"evidence-neighbours","name":"Neighbouring kinds and how to tell them apart","description":"Recalled without web access and unsourced; every item is a lead to verify.","questions":[{"text":"Which of these neighbouring kinds and how to tell them apart hold for the sense of Galerkin method this model covers, and on what evidence?","id":"evidence-neighbours-q01","kind":"provenance"}]}]}]}]},"agentConduct":{"may":["Explain the Galerkin method and its variants, such as finite element methods.","Apply it in models the agent is authorized to build and check."],"mustNot":["Present approximate solutions as exact.","Use results without convergence and error checks for safety-critical designs.","Fabricate numerical results."],"requiresHuman":["Using simulation results to certify safety-critical structures or systems."]},"ethics":{"considerations":["Numerical results guide designs that people's safety depends on.","Transparency about approximations matters for trust in engineering."],"affectedParties":["Engineers","Users of designed systems"]},"owners":{"steward":"Nobody owns the method; the analyst answers for each model.","roles":[],"masterSystems":[]},"relations":[{"target":"Q24262840","type":"parent","note":"registry parent class"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.galerkin-method","Wikidata: Q1491980 (https://www.wikidata.org/wiki/Q1491980)"]},"properties":{"applicability":"not-applicable","items":["Formulation family: Bubnov-Galerkin; Petrov-Galerkin; discontinuous; mixed; stabilised; other explicitly defined variant; overlapping labels permitted","Trial and test space relationship: Named ambient and discrete spaces, inclusions, boundary constraints and equality or difference of variation spaces","Discrete dimension: Number of independent trial coefficients and test equations","Approximation resolution: Mesh size h in domain units, polynomial degree p, spectral truncation N or reduced-basis dimension r, as applicable","Conformity: Conforming; nonconforming; broken-space formulation; unresolved","Stability evidence: Proved under recorded assumptions; numerically supported over a stated range; failed; unassessed","Error assessment: Error or estimator value with norm, units, reference solution and refinement level","Discrete consistency: Exact for the stated formulation; perturbed with quantified defect; unresolved"]},"recognition":{"applicability":"optional","items":["Appears as equations and weak forms in technical documents; results are shown as meshes and field plots."]},"capabilities":{"applicability":"required","items":["Classify a proposed discretisation from its trial space, test space and residual pairing.","Construct discrete equations from a specified variational problem and basis.","Check admissibility of spaces and enforcement of boundary or interface conditions.","Select an applicable stability or error argument and record unmet assumptions.","Design refinement studies that separate approximation, integration and solver errors.","Recommend refinement, a different space pair or a justified stabilisation when evidence identifies a failure."]},"hazards":{"applicability":"required","items":["Poor choice of spaces gives unstable or inaccurate solutions.","Mesh-dependent errors mislead designs."]},"interfaces":{"applicability":"not-applicable","items":[]},"context":{"applicability":"required","items":["The Galerkin method is used in numerical analysis to approximate differential and other operator equations with finite-dimensional systems.","It appears in finite element and spectral formulations for applications such as structural mechanics, fluid flow and heat transfer.","A formulation is assessed through its trial and test spaces, boundary conditions, stability and approximation error."]}},"sources":[{"title":"Wikidata item Q1491980: Galerkin method","url":"https://www.wikidata.org/wiki/Q1491980","note":"identity and sense of the item"},{"title":"Wikipedia: Galerkin method","url":"https://en.wikipedia.org/wiki/Galerkin_method","note":"general description of the item"}],"openQuestions":["Which naming convention should the registry adopt for the relationship between Galerkin, Bubnov-Galerkin and Petrov-Galerkin?","Which specialised variants already have registry or world-model coverage and should be linked rather than modelled again here?","How should this model represent Galerkin approximation sequences used in existence proofs, where no numerical implementation is intended?","Which additional formulation-specific criteria are needed for nonlinear, eigenvalue and time-dependent applications?","What evidence thresholds should distinguish experimentally supported stability and convergence from proved guarantees?"],"resources":{"spec":"/models/things/publications/thing-q1491980/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q1491980/spec.json"],"providers":["Codex"],"researchStatus":"unreviewed","generatedAt":"2026-09-12T09:56:26Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"filled","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"not-applicable","interaction.context":"filled","sources":"filled"},"notes":{"_gate":"Published through the thing publication gate 1.0 on 2026-10-07T10:10:26+00:00: completeness 1.00; sense: Wikidata description; 2 live sources; review by codex: pass","interaction.properties":"Plane ACT: no invented physical properties.","interaction.interfaces":"No universal standard or regulation governs the Galerkin method itself, although particular engineering applications can have verification requirements."},"score":1.0}}