Inverse inequality estimates with symbolic computation

DOI10.1016/J.AAM.2016.04.005MaRDI QIDQ308968zbMATHOpenAlexFDO

Authors Christoph Koutschan, Martin Neumüller, Cristian-Silviu Radu

Publication date 6 September 2016

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.01304

zbMATH Keywords

finite element methodholonomic ansatzholonomic functioninverse inequalitysymbolic determinant evaluationZeilberger's algorithm

Mathematics Subject Classification ID

Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Symbolic computation and algebraic computation (68W30) Determinants, permanents, traces, other special matrix functions (15A15) Miscellaneous inequalities involving matrices (15A45) Stability and convergence of numerical methods for boundary value problems involving PDEs (65N12) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Combinatorial inequalities (05A20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: In the convergence analysis of numerical methods for solving partial differential equations (such as finite element methods) one arrives at certain generalized eigenvalue problems, whose maximal eigenvalues need to be estimated as accurately as possible. We apply symbolic computation methods to the situation of square elements and are able to improve the previously known upper bound, given in "p- and hp-finite element methods" (Schwab, 1998), by a factor of 8. More precisely, we try to evaluate the corresponding determinant using the holonomic ansatz, which is a powerful tool for dealing with determinants, proposed by Zeilberger in 2007. However, it turns out that this method does not succeed on the problem at hand. As a solution we present a variation of the original holonomic ansatz that is applicable to a larger class of determinants, including the one we are dealing with here. We obtain an explicit closed form for the determinant, whose special form enables us to derive new and tight upper resp. lower bounds on the maximal eigenvalue, as well as its asymptotic behaviour.

Recommendations

• Symbolic computation and finite element methods (invited talk)
• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
• A symbolic approach to computing with holonomic functions
• Advanced applications of the holonomic systems approach. (Abstract of thesis)
• Advanced computer algebra for determinants

Cites work

• scientific article; zbMATH DE number 3924053 (Why is no real title available?)
• scientific article; zbMATH DE number 3696612 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 1227077 (Why is no real title available?)
• scientific article; zbMATH DE number 1561761 (Why is no real title available?)
• A holonomic systems approach to special functions identities
• A local Fourier convergence analysis of a multigrid method using symbolic computation
• A procedure for proving special function inequalities involving a discrete parameter
• Advanced applications of the holonomic systems approach. (Abstract of thesis)
• Advanced computer algebra for determinants
• Advanced determinant calculus: a complement
• Computer algebra meets finite elements: an efficient implementation for Maxwell's equations
• Finite elements on degenerate meshes: inverse-type inequalities and applications
• Hypergeometric summation algorithms for high-order finite elements
• Inverse-type estimates on $hp$-finite element spaces and applications
• Mathematical aspects of discontinuous Galerkin methods.
• On the constants in \(hp\)-finite element trace inverse inequalities.
• Proof of George Andrews's and David Robbins's \(q\)-TSPP conjecture
• Symmetry classes of alternating-sign matrices under one roof
• The Mathematical Theory of Finite Element Methods
• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations

Cited in

(2)

• Simple and robust equilibrated flux \textit{a posteriori} estimates for singularly perturbed reaction-diffusion problems
• Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations

Describes a project that uses

Uses Software

• HolonomicFunctions
• DET
• qTSPP

This page was built for publication: Inverse inequality estimates with symbolic computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q308968)