Table of Contents
Fetching ...

Rapidly convergent series expansions for a class of resolvents

Graeme W. Milton

TL;DR

The paper develops rapidly convergent series for resolvents of the form $\mathbf{R}(z)=[z\mathbf{I}-\mathbf{P}^{\dagger}\mathbf{Q}\mathbf{P}]^{-1}$ by embedding the problem in a larger space and using subspace substitution with non-orthogonal projections. A central strategy maps the spectral interval $[z^-,z^+]$ to the unit disk via a sequence of fractional-linear transforms, producing series in a variable $v$ that converge quickly for $z$ outside the cut and attain a convergence rate matching conjugate-gradient methods for real $z$. The paper derives a hierarchy of accelerated series, including a projection-specific formulation with rate $\mu_3=|u|$ where $u=(\sqrt{\sigma}-1)/(\sqrt{\sigma}+1)$ and several variants that handle unknown or approximate spectral bounds, including non-orthogonal subspace substitutions that further improve bounds to $\mu_4\le\mu_2$. These expansions underpin efficient resolvent evaluations in problems from the abstract theory of composites, notably conductivity and Schrödinger-type equations, and offer practical pathways for adaptive bound estimation and numerical benchmarking against established iterative methods.

Abstract

Following advances in the abstract theory of composites, we develop rapidly converging series expansions about $z=\infty$ for the resolvent ${\bf R}(z)=[z{\bf I}-{\bf P}^\dagger{\bf Q}{\bf P}]^{-1}$ where ${\bf Q}$ is an orthogonal projection and ${\bf P}$ is such that ${\bf P}{\bf P}^\dagger$ is an orthogonal projection. It is assumed that the spectrum of ${\bf P}^\dagger{\bf Q}{\bf P}$ lies within the interval $[z^-,z^+]$ for some known $z^+\leq 1$ and $z^-\geq 0$ and that the actions of the projections ${\bf Q}$ and ${\bf P}{\bf P}^\dagger$ are easy to compute. The series converges in the entire $z$-plane excluding the cut $[z^-,z^+]$. It is obtained using subspace substitution, where the desired resolvent is tied to a resolvent in a larger space and ${\bf Q}$ gets replaced by a projection $\underline{\bf Q}$ that is no longer orthogonal. When $z$ is real the rate of convergence of the new method matches that of the conjugate gradient method.

Rapidly convergent series expansions for a class of resolvents

TL;DR

The paper develops rapidly convergent series for resolvents of the form by embedding the problem in a larger space and using subspace substitution with non-orthogonal projections. A central strategy maps the spectral interval to the unit disk via a sequence of fractional-linear transforms, producing series in a variable that converge quickly for outside the cut and attain a convergence rate matching conjugate-gradient methods for real . The paper derives a hierarchy of accelerated series, including a projection-specific formulation with rate where and several variants that handle unknown or approximate spectral bounds, including non-orthogonal subspace substitutions that further improve bounds to . These expansions underpin efficient resolvent evaluations in problems from the abstract theory of composites, notably conductivity and Schrödinger-type equations, and offer practical pathways for adaptive bound estimation and numerical benchmarking against established iterative methods.

Abstract

Following advances in the abstract theory of composites, we develop rapidly converging series expansions about for the resolvent where is an orthogonal projection and is such that is an orthogonal projection. It is assumed that the spectrum of lies within the interval for some known and and that the actions of the projections and are easy to compute. The series converges in the entire -plane excluding the cut . It is obtained using subspace substitution, where the desired resolvent is tied to a resolvent in a larger space and gets replaced by a projection that is no longer orthogonal. When is real the rate of convergence of the new method matches that of the conjugate gradient method.
Paper Structure (9 sections, 98 equations)