Sur l'approximation du déterminant de Fredholm par les déterminants des systèmes d'équations linéaires. (Q2591504)

\(D\) sei die Fredholmsche Determinante eines stetigen symmetrischen Kerns \(K (x, y)\) \(\left(0\leqq\begin{matrix} x\\y\end{matrix}\leqq 1\right)\). \(D_m\) bezeichne die Determinante der Matrix \[ \left\| K\left(\frac\nu m,\frac\mu m\right)\right\|\qquad (\nu,\mu=0,\ldots,m-1) \tag{1} \] der \(m\)-ten Näherungsgleichung. Weiter sei \(\delta_m\) eine Schranke von \(|K(x+\alpha,y+\beta)- K(x,y)|\) für \(|\alpha|\leqq\dfrac1m\) und \(|\beta|\leqq\dfrac1m\). \((\alpha_{\mu\nu})\), \(\nu,\mu=1,\ldots, m\) sei die reziproke Matrix zu (1) und \(M_m\) die größte der Summen \[ 1+\sum_{\nu=1}^m\left|\alpha_{\mu\nu}-\delta_\mu^\nu\right|,\qquad \mu=1,\ldots,m;\quad \delta_\mu^\nu=\begin{cases} 0 & \nu\neq\mu\\ 1 & \nu=\mu\end{cases}. \] Nun gilt der Satz: Ist \(\delta_mM_m < 1\), so ist \(D\neq0\), und man hat \[ \left|\log\dfrac D{D_m}\right| \leqq \log\frac1{1-\delta_mM_m},\qquad \frac1{1-\delta_mM_m}\geqq \left|\dfrac D{D_m}\right|\geqq 1-\delta_mM_m. \] Zum Beweis wird für \(D\) eine geeignete Näherungsdeterminante benützt und der Hilfssatz bewiesen: \(C = (c_{ik})\) sei eine Matrix \(p\)-ter Ordnung, deren Eigenwerte dem Betrage nach unter 1 liegen, und es sei \[ |c_{ik}|\leqq\frac\varepsilon p\qquad (0<\varepsilon<1). \] Dann gilt die Abschätzung: \[ |\log|E-C\|\leqq\log\frac1{1-\varepsilon}. \] Daraus folgen dann die behaupteten Ungleichungen. Umgekehrt ist, wenn \(D_m\neq 0\) ist, \[ M_n\leqq 1+\frac{K_1^*}{|D_m|}, \] wo \(K_1^*\) eine von \(m\) unabhängige Konstante bedeutet. Für sie gilt, wenn man \[ K^*=\operatornamewithlimits{Max} \limits_{0\leqq\begin{matrix} x\\ y\end{matrix}\leqq 1} |K(x,y)| \] setzt, \[ K^*_1 < 119 K^* e^{4K^{*2}}. \] Daraus folgt dann, daß, falls \(D\neq 0\) ist, sicher für genügend großes \(m\) die Bedingung \(\delta_mM_m < 1\) erfüllt ist. Das wesentliche Beweismittel ist der Hadamardsche Determinantensatz.