English
Related papers

Related papers: Support bound for differential elimination in poly…

200 papers

A finite element method for solving nonlinear differential equations on a grid, with potential applicability to computational fluid dynamics (CFD), is developed and tested. The current method facilitates the computation of solutions of a…

Computational Physics · Physics 2014-09-04 Jesper Tveit

We provide first the functional analysis background required for reduced order modeling and present the underlying concepts of reduced basis model reduction. The projection-based model reduction framework under affinity assumptions,…

Numerical Analysis · Mathematics 2023-08-30 Gianluigi Rozza , Martin Hess , Giovanni Stabile , Marco Tezzele , Francesco Ballarin

It is proved that a differentiable with respect to each variable function $f:\mathbb R^2\to\mathbb R$ is a solution of the equation $ \frac{\partial u}{\partial x} + \frac{\partial u}{\partial y}=0$ if and only if there exists a function…

General Topology · Mathematics 2015-12-25 V. K. Maslyuchenko , V. V. Mykhaylyuk

This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extract important properties without finding the explicit…

Symbolic Computation · Computer Science 2024-01-31 Veronika Treumova , Dmitry A. Lyakhov , Dominik L. Michels

Recent work on Path-Dependent Partial Differential Equations (PPDEs) has shown that PPDE solutions can be approximated by a probabilistic representation, implemented in the literature by the estimation of conditional expectations using…

Machine Learning · Computer Science 2022-10-05 Jiang Yu Nguwi , Nicolas Privault

We propose the symmetry reduction method of partial differential equations to the system of differential equations with fewer number of independent variables. We also obtain generalized sufficient conditions for the solution found by…

Mathematical Physics · Physics 2007-05-23 I. M. Tsyfra

This paper is concerned with the proof of existence and numerical approximation of large-data global-in-time Young measure solutions to initial-boundary-value problems for multidimensional nonlinear parabolic systems of forward-backward…

Numerical Analysis · Mathematics 2019-02-28 Miles Caddick , Endre Süli

We study the problem of finding a function u verifying --$\Delta$u = 0 in $\Omega$ under the boundary condition $\partial$u $\partial$n + g(u) = $\mu$ on $\partial$$\Omega$ where $\Omega$ $\subset$ R N is a smooth domain, n the normal unit…

Analysis of PDEs · Mathematics 2020-03-03 Oussama Boukarabila , Laurent Veron

We use Lyapunov-like functions and convex optimization to propagate uncertainty in the initial condition of nonlinear systems governed by ordinary differential equations. We consider the full nonlinear dynamics without approximation,…

Optimization and Control · Mathematics 2023-08-04 Francesca Covella , Giovanni Fantuzzi

We extend the work of Narasimhan and Bilmes [30] for minimizing set functions representable as a difference between submodular functions. Similar to [30], our new algorithms are guaranteed to monotonically reduce the objective function at…

Data Structures and Algorithms · Computer Science 2013-08-27 Rishabh Iyer , Jeff Bilmes

This paper considers an optimization problem for a dynamical system whose evolution depends on a collection of binary decision variables. We develop scalable approximation algorithms with provable suboptimality bounds to provide…

Optimization and Control · Mathematics 2016-10-31 Insoon Yang , Samuel A. Burden , Ram Rajagopal , S. Shankar Sastry , Claire J. Tomlin

Projection-based reduced order models are effective at approximating parameter-dependent differential equations that are parametrically separable. When parametric separability is not satisfied, which occurs in both linear and nonlinear…

Numerical Analysis · Mathematics 2021-10-22 Peter Sentz , Kristian Beckwith , Eric C. Cyr , Luke N. Olson , Ravi Patel

In this paper, we generalize the algorithm described by Rump and Graillat, as well as our previous work on certifying breadth-one singular solutions of polynomial systems, to compute verified and narrow error bounds such that a slightly…

Numerical Analysis · Mathematics 2012-12-20 Nan Li , Lihong Zhi

We present a new upper bound for the orders of derivatives in the Rosenfeld-Groebner algorithm. This algorithm computes a regular decomposition of a radical differential ideal in the ring of differential polynomials over a differential…

Commutative Algebra · Mathematics 2020-11-17 Richard Gustavson , Alexey Ovchinnikov , Gleb Pogudin

We identify a common scheme in several existing algorithms addressing computational problems on linear differential equations with polynomial coefficients. These algorithms reduce to computing a linear relation between vectors obtained as…

Symbolic Computation · Computer Science 2025-05-05 Louis Gaillard

An algorithm is presented here, for discovering Hopf-Bifurcation varieties of polynomial dynamical systems. It is based on the expression of specific polynomials, as sums of products of first degree polynomials, with parametrical…

Chaotic Dynamics · Physics 2008-07-29 Stelios Kotsios

We study function-valued solutions of a class of stochastic partial differential equations, involving operators with polynomially bounded coefficients. We consider semilinear equations under suitable parabolicity hypotheses. We provide…

Probability · Mathematics 2022-06-16 Alessia Ascanelli , Sandro Coriasco , André Suß

We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…

Dynamical Systems · Mathematics 2023-04-13 Svetlin Georgiev , Sergey Kryzhevich

Let $f:\mathbb{R}^n \to \mathbb{R}$ be a continuously differentiable convex function with its minimizer denoted by $x_*$ and optimal value $f_* = f(x_*)$. Optimization algorithms such as the gradient descent method can often be interpreted…

Optimization and Control · Mathematics 2025-12-11 Atsushi Tabei , Ken'ichiro Tanaka

This work presents a non-intrusive model reduction method to learn low-dimensional models of dynamical systems with non-polynomial nonlinear terms that are spatially local and that are given in analytic form. In contrast to state-of-the-art…

Numerical Analysis · Mathematics 2020-10-28 Peter Benner , Pawan Goyal , Boris Kramer , Benjamin Peherstorfer , Karen Willcox