Related papers: Rigorous numerics for nonlinear operators with tri…
In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resulting in a sequence of affine upper and lower hyperplanes…
We present a proximal augmented Lagrangian based solver for general convex quadratic programs (QPs), relying on semismooth Newton iterations with exact line search to solve the inner subproblems. The exact line search reduces in this case…
We prove some existence results for a class of nonlinear fractional equations driven by a nonlocal operator.
In this paper, a diffusion operator including conformable fractional derivatives of order {\alpha} ({\alpha} in (0,1)) is considered. The asymptotics of the eigenvalues, eigenfunctions and nodal points of the operator are obtained.…
In this paper, we propose a new general and stable fixed-point approach to compute the resolvents of the composition of a set-valued maximal monotone operator with a linear bounded mapping. Weak, strong and linear convergence of the…
In this paper we study Newton's method for solving the generalized equation $F(x)+T(x)\ni 0$ in Hilbert spaces, where $F$ is a Fr\'echet differentiable function and $T$ is set-valued and maximal monotone. We show that this method is local…
The fundamental importance of functional differential equations has been recognized in many areas of mathematical physics, such as fluid dynamics (Hopf characteristic functional equation), quantum field theory (Schwinger-Dyson equations)…
We introduce an $\mathcal{M}$-operator approach to establish the uniqueness of continuous or bounded solutions for a broad class of Landau-type nonlinear kinetic equations. The specific $\mathcal{M}$-operator, originally developed in [3],…
We introduce regularity notions for averaged nonexpansive operators. Combined with regularity notions of their fixed point sets, we obtain linear and strong convergence results for quasicyclic, cyclic, and random iterations. New convergence…
While topological derivatives have proven useful in applications of topology optimisation and inverse problems, their mathematically rigorous derivation remains an ongoing research topic, in particular in the context of nonlinear partial…
The proximal point algorithm is a widely used tool for solving a variety of convex optimization problems such as finding zeros of maximally monotone operators, fixed points of nonexpansive mappings, as well as minimizing convex functions.…
We show that for any uniformly parabolic fully nonlinear second-order equation with bounded measurable "coefficients" and bounded "free" term in the whole space or in any cylindrical smooth domain with smooth boundary data one can find an…
In this paper, Dirac operator with some integral type nonlocal boundary conditions is studied. We show that the coefficients of the problem can be uniquely determined by a dense set of nodal points. Moreover, we give an algorithm for the…
This paper is the second part of our series of works to establish $L^2$ estimates and existence theorems for the $\overline{\partial}$ operators in infinite dimensions. In this part, we consider the most difficult case, i.e., the underlying…
The paper provides a coherent presentation of an operator scheme, which is used in an approach to inverse problems of mathematical physics (the boundary control method). The scheme is based on the triangular factorization of operators. It…
This manuscript presents a novel and reliable third-order iterative procedure for computing the zeros of solutions to second-order ordinary differential equations. By approximating the solution of the related Riccati differential equation…
Let $T$ be a bounded linear operator on a (real or complex) Banach space $X$. If $(a_n)$ is a sequence of non-negative numbers tending to 0. Then, the set of $x \in X$ such that $\|T^nx\| \geqslant a_n \|T^n\|$ for infinitely many $n$'s has…
In this paper we study in a Hilbert space a homogeneous linear second order difference equation with nonconstant and noncommuting operator coefficients. We build its exact resolutive formula consisting in the explicit non-iterative…
An unsteady problem is considered for a space-fractional equation in a bounded domain. A first-order evolutionary equation involves the square root of an elliptic operator of second order. Finite element approximation in space is employed.…
The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based…