Computer-assisted proofs for fixed point problems in Sobolev spaces

Alain Schenkel, Jan Wehr, Peter Wittwer

Research output: Contribution to journalReview articlepeer-review

9 Scopus citations


In this paper we extend the technique of computer-assisted proofs to fixed point problems in Sobolev spaces. Up to now the method was limited to the case of spaces of analytic functions. The possibility to work with Sobolev spaces is an important progress and opens up many new domains of applications. Our discussion is centered around a concrete problem that arises in the theory of critical phenomena and describes the phase transition in a hierarchical system of random resistors. For this problem we have implemented in particular the convolution product based on the Fast Fourier Transform (FFT) algorithm with rigorous error estimates.

Original languageEnglish (US)
Pages (from-to)1-67
Number of pages67
JournalMathematical Physics Electronic Journal
StatePublished - 2000


  • Computer-assisted proofs
  • Constructive analysis in Sobolev spaces
  • Discrete convolutions are convolutions of splines
  • Phase transitions in random media

ASJC Scopus subject areas

  • Statistical and Nonlinear Physics
  • Statistics and Probability


Dive into the research topics of 'Computer-assisted proofs for fixed point problems in Sobolev spaces'. Together they form a unique fingerprint.

Cite this