Related papers: Rational methods for abstract linear, non-homogene…
Recent advances (Sherman, 2017; Sidford and Tian, 2018; Cohen et al., 2021) have overcome the fundamental barrier of dimension dependence in the iteration complexity of solving $\ell_\infty$ regression with first-order methods. Yet it…
This report presents a low computational and cognitive complexity, stable, time accurate and adaptive method for the Navier-Stokes equations. The improved method requires a minimally intrusive modification to an existing program based on…
In this work we present explicit Adams-type multistep methods with extended stability interval, which are analogous to the stabilized Chebyshev Runge--Kutta methods. It is proved that for any $k\geq 1$ there exists an explicit $k$-step…
This paper can be seen as an attempt of rethinking the {\em Extra-Gradient Philosophy} for solving Variational Inequality Problems. We show that the properly defined {\em Reduced Gradients} can be used instead for finding approximate…
An evolution problem for abstract differential equations is studied. The typical problem is: $$\dot{u}=A(t)u+F(t,u), \quad t\geq 0; \,\, u(0)=u_0;\quad \dot{u}=\frac {du}{dt}\qquad (*)$$ Here $A(t)$ is a linear bounded operator in a Hilbert…
In this paper we study solutions, possibly unbounded and sign-changing, of the following problem: -\D_{\lambda} u=|x|_{\lambda}^a |u|^{p-1}u, in R^n,\;n\geq 1,\; p>1, and a \geq 0, where \D_{\lambda} is a strongly degenerate elliptic…
Linear systems of neutral type are considered using the infinite dimensional approach. The main problems are asymptotic, non-exponential stability, exact controllability and regular asymptotic stabilizability. The main tools are the moment…
We exhibit an alternative method for solving inhomogeneous second--order linear ordinary dynamic equations on time scales, based on reduction of order rather than variation of parameters. Our form extends recent (and long-standing) analysis…
For the solution of full-rank ill-posed linear systems a new approach based on the Arnoldi algorithm is presented. Working with regularized systems, the method theoretically reconstructs the true solution by means of the computation of a…
We study a new formulation for the eikonal equation |grad u| =1 on a bounded subset of R^2. Instead of a vector field grad u, we consider a field P of orthogonal projections on 1-dimensional subspaces, with div P in L^2. We prove existence…
Implicit inverse problems, in which noisy observations of a physical quantity are used to infer a nonlinear functional applied to an associated function, are inherently ill posed and often exhibit non uniqueness of solutions. Such problems…
An inductive inference system for proving validity of formulas in the initial algebra $T_{\mathcal{E}}$ of an order-sorted equational theory $\mathcal{E}$ is presented. It has 20 inference rules, but only 9 of them require user interaction;…
Global asymptotic stability of rational difference equations is an area of research that has been well studied. In contrast to the many current methods for proving global asymptotic stability, we propose an algorithmic approach. The…
We propose an arbitrarily higher (even) order implicit leapfrog scheme for time discretization of a three-field formulation of Maxwell's equations. We use this in conjunction with an arbitrarily higher-order and compatible discretization…
We investigate the structure of the nodal set of solutions to an unstable Alt-Phillips type problem \[ -\Delta u = \lambda_+(u^+)^{p-1}-\lambda_-(u^-)^{q-1} \] where $1 \le p<q<2$, $\lambda_+ >0$, $\lambda_- \ge 0$. The equation is…
We consider a second order nonlinear ordinary differential equation of the form $u'' + f(u) = p(t)$ where the forcing term $p(t)$ is a $T$-periodic function and the nonlinearity $f(u)$ satisfies the properties of Ambrosetti-Prodi problems.…
We construct stable periodic solutions for a simple form nonlinear delay differential equation (DDE) with a periodic coefficient. The equation involves one underlying nonlinearity with the multiplicative periodic coefficient. The well-known…
A number of regularization methods for discrete inverse problems consist in considering weighted versions of the usual least square solution. However, these so-called filter methods are generally restricted to monotonic transformations,…
We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient algorithm to solve a restricted case of higher-order…
In this paper we construct a third order method for solving additively split autonomous stiff systems of ordinary differential equations. The constructed additive method is L-stable with respect to the implicit part and allows to use an…