Search
Results
-
On Rayleigh-Schrödinger perturbations of slightly non-orthogonal states and IPA
(1993)IPS research reportReport -
Robust logic and structural properties of the sequent calculus
(1993)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Theoretische InformatikReport -
-
Isoperimetric Inequalities in a Boundary Value Problem in an Unbounded Domain
(1993)SAM Research ReportIn this paper a semilinear elliptic boundary value problem in the exterior of a finite domain is considered. An important example in applications is the Poisson-Boltzmann problem. Isoperimetric inequalities for a functional of the solution are proven using optimal sub- or supersolutions.Report -
Extension and simple Proof of Lekner's Summation Formula for Coulomb Forces
(1993)SAM Research ReportA summation formula is proven for a lattice sum occurring frequently in molecular dynamics calculations. It has a much faster convergence rate than the original sum. An important application is in the case of Coulomb forces.Report -
-
Uniqueness of Piecewise Lipschitz Continuous Solutions of the Cauchy-Problem for 2 x 2 Conservation Laws
(1993)SAM Research ReportWe prove uniqueness theorems in the class of piecewise Lipschitz continuous solutions of the Cauchy-Problem for 2 x 2 conservation laws and improve the results of DiPerna in this class.Report -
The Inverse Sturm-Liouville Problem and Finite Differences
(1993)SAM Research ReportIn this paper we give a summary of the main results in concerning the inverse Sturm-Liouville problem. We emphasize a convergence result for a Newton method based on finite difference approximation together with a correction technique first introduced by Paine, de Hoog and Anderssen.Report -
A Comparison Result for Multisplittings Based on Overlapping Blocks and its Application to Waveform Relaxation Methods
(1993)SAM Research ReportWe show that certain multisplitting iterative methods based on overlapping blocks yield faster convergence than corresponding non-overlapping block iterations, provided the coefficient matrix is an M-matrix. This result is then applied to compare different waveform relaxation methods for solving initial value problems. Numerical experiments on the Intel iPSC/860 hypercube are included.Report -
Runge-Kutta solutions of stiff differential equations near stationary points
(1993)SAM Research ReportRunge-Kutta methods applied to stiff systems in singular perturbation form are shown to give accurate approximations of phase portraits near hyperbolic stationary points. We prove that Runge-Kutta solutions shadow solutions of the differential equation over arbitrarily long time intervals, and vice versa. Sharp error estimates are derived. The proof uses attractive invariant manifolds to reduce the problem to the nonstiff case which was ...Report