Inverse inequality estimates with symbolic computation

DOI10.1016/J.AAM.2016.04.005zbMATH Open1346.68291arXiv1602.01304OpenAlexW2268307080MaRDI QIDQ308968FDOQ308968

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)

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.

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

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

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)

Cites Work

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

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

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)