Related papers: $C^r$-Lohner algorithm
We apply the direct method of the calculus of variations to prove existence of periodic solutions for differential inclusion systems involving an anisotropic $\phi$-Laplacian operator.
In this article, we consider a system of integro-differential equations in L^2(R, R^N), which contains the logarithmic Laplacian in the presence of transport terms. The linear operators associated with the system satisfy the Fredholm…
We continue to investigate which polynomials can possibly occur as factors in the denominators of rational solutions of a given partial linear difference equation. In an earlier article we had introduced the distinction between periodic and…
Using both fractional derivatives, defined in the Riemann-Liouville and Caputo senses, and classical derivatives of the integer order we examine different numerical approaches to ordinary differential equations. Generally we formulate some…
In this paper, we design and analyze a Hybrid-High Order (HHO) approximation for a class of quasilinear elliptic problems of nonmonotone type. The proposed method has several advantages, for instance, it supports arbitrary order of…
We describe algorithms for computing various functors for algebraic D-modules, i.e. systems of linear partial differential equations with polynomial coefficients. We will give algorithms for restriction, tensor product, localization, and…
We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…
We establish, for the first time, a Zaremba-Hopf-Oleinik type boundary point lemma for uniformly elliptic partial differential equations in double divergence form, also known as stationary Fokker-Planck-Kolmogorov equations. As an…
A three-point iterative method for solving scalar non-linear equations was selected and then adapted to solve systems of non-linear equations. Subsequently, by applying Taylor's theorem to functions of $\R^{n}$ in $\R^{n}$, it is shown that…
In this paper, we introduce and study a class of resolvent dynamical systems to investigate some inertial proximal methods for solving mixed variational inequalities. These proposed methods along with their discretizations and derived rates…
We prove the existence of infinitely many classical periodic solutions for a class of semilinear wave equations with periodic boundary conditions. Our argument relies on some new estimates for the linear problem with periodic boundary…
We consider nonlinear elliptic equations of the $p$-Laplacian type with lower order terms which involve nonnegative potentials satisfying a reverse H\"older type condition. Then we obtain interior and boundary $L^q$ estimates for the…
We present a novel numerical method to calculate periodic orbits for dynamical systems by an iterative process which is based directly on the action integral in classical mechanics. New solutions are obtained for the planar motion of three…
Sharp $L^\infty$ estimates are obtained for general classes of fully non-linear PDE's on non-K\"ahler manifolds, complementing the theory developed earlier by the authors in joint work with F. Tong for the K\"ahler case. The key idea is…
In this article we show the rough outline of a computer algorithm to generate lower bounds on the exponential function of (in principle) arbitrary precision. We implemented this to generate all necessary analytic terms for the Boltzmann…
This paper presents a rigorous framework for the continuation of solutions to nonlinear constraints and the simultaneous analysis of the sensitivities of test functions to constraint violations at each solution point using an adjoint-based…
In this paper, we consider the indefinite fractional elliptic problem. A corresponding Liouville-type theorem for the indefinite fractional elliptic equations is established. Furthermore, we obtain a priori bound for solutions in a bounded…
Many special functions are solutions of first order linear systems $y_n'(x)=a_n(x)y_n(x)+d_n(x)y_{n-1}(x)$, $y_{n-1}'(x)=b_n(x)y_{n-1}(x)+e_{n}(x)y_n(x)$. We obtain bounds for the ratios $y_n(x)/y_{n-1}(x)$ and the logarithmic derivatives…
We describe methods for proving bounds on infinite-time averages in differential dynamical systems. The methods rely on the construction of nonnegative polynomials with certain properties, similarly to the way nonlinear stability can be…
In this paper, novel approaches are developed to explore the dynamics of motion in periodic orbits near libration points in cislunar space using the Differential Algebra (DA) framework. The Circular Restricted Three-Body Problem (CR3BP)…