Computer-assisted proofs for fixed point problems in Sobolev spaces.
Consider the Hilbert space (H,〈• , •〉) equipped with the indefinite inner product[u,v]=v*J u,u,v∈ H, where J is an indefinite self-adjoint involution acting on H. The Krein space numerical range WJ(T) of an operator T acting on H is the set of all the values attained by the quadratic form [Tu,u], with u ∈H satisfying [u,u]=± 1. We develop, implement and test an alternative algorithm to compute WJ(T) in the finite dimensional case, constructing 2 by 2 matrix compressions of T and their easily determined...
We provide new sufficient convergence conditions for the convergence of the secant-type methods to a locally unique solution of a nonlinear equation in a Banach space. Our new idea uses recurrent functions, and Lipschitz-type and center-Lipschitz-type instead of just Lipschitz-type conditions on the divided difference of the operator involved. It turns out that this way our error bounds are more precise than earlier ones and under our convergence hypotheses we can cover cases where earlier conditions...
We provide a semilocal convergence analysis for Newton-type methods using our idea of recurrent functions in a Banach space setting. We use Zabrejko-Zinčenko conditions. In particular, we show that the convergence domains given before can be extended under the same computational cost. Numerical examples are also provided to show that we can solve equations in cases not covered before.
The paper concerns an approximation of an eigenvalue problem for two forms on a Hilbert space . We investigate some approximation methods generated by sequences of forms and defined on a dense subspace of . The proof of convergence of the methods is based on the theory of the external approximation of eigenvalue problems. The general results are applied to Aronszajn’s method.
Weak solutions of given problems are sometimes not necessarily unique. Relevant solutions are then picked out of the set of weak solutions by so-called entropy conditions. Connections between the original and the numerical entropy condition were often discussed in the particular case of scalar conservation laws, and also a general theory was presented in the literature for general scalar problems. The entropy conditions were realized by certain inequalities not generalizable to systems of equations...
Let be an iterative process for solving the operator equation in Hilbert space . Let the sequence formed by the above described iterative process be convergent for some initial approximation with a limit . For given let us define a new sequence by the formula , where are obtained by solving a minimization problem for a given functional. In this paper convergence properties of are investigated and on the basis of the results thus obtainded it is proved that for some .
We present the convergence analysis of locally divergence-free discontinuous Galerkin methods for the induction equations which appear in the ideal magnetohydrodynamic system. When we use a second order Runge Kutta time discretization, under the CFL condition , we obtain error estimates in of order where is the degree of the local polynomials.