Iteratively regularized methods for irregular nonlinear operator equations with a normally solvable derivative at the solution (Q519681): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The author considers a nonlinear equation \( F(x) = f \), where \( F: H_1 \to H_2 \) is a Fréchet differentiable operator between Hilbert spaces \( H_1 \) and \( H_2 \). In addition, the operator \( F^{\prime}(x^\ast) \) is assumed to be normally solvable at the desired solution \( x^\ast \in H_1 \) of the equation \( F(x) = f \), i.e., the range \( \mathcal{R}(F^{\prime}(x^\ast)) \) is a closed linear subspace of \( H_2 \). Let \( \tilde{f} \in H_2 \) be an approximately given right-hand side, with \( \| \tilde{f} - f \| \leq \delta \), where \( \delta > 0 \) is a known error level. The following class of iteratively regularized Gauß--Newton type methods is studied, \[ \begin{aligned} x_{n+1} = \xi - \Theta(F^{\prime}(x_n)^\ast F^{\prime}(x_n), \alpha_n) F^{\prime}(x_n)^\ast [ F(x_n) - \tilde{f} - F^{\prime}(x_n) (x_n - \xi)], \end{aligned} \] for \( n = 1,2,\dots \), where \( \xi \in H_1 \) is a fixed approximation to the solution \( x^\ast \), and \( x_0 \in H_1 \) is an initial approximation. In addition, \( \{ \alpha_n \} \) is a sequence of positive regularization parameters with \( \alpha_n \to 0 \) as \( n \to \infty \), and \( \Theta = \Theta(\lambda, \alpha) \) is a real-valued continuous function. A prominent example is given by \( \Theta(\lambda, \alpha) = (\lambda+ \alpha)^{-1} \), yielding the classical iteratively regularized Gauß-Newton method. In the noise-free case \( \delta = 0 \), i.e., \( \tilde{f} = f \), it is shown that \( \| x_n - x^\ast \| = \mathcal{O}(\alpha_n^p) \) holds as \( n \to \infty \), if \( \max_{\lambda \in I} | 1 - \Theta(\lambda,\alpha) \lambda | = \mathcal{O}(\alpha^{p}) \) as \( \alpha \to 0 \), and if several other conditions are satisfied, where \( p \geq 1 \), and \( I \) is some closed, bounded interval not containing the origin. In the case \( \delta > 0 \), an estimate \( \| x_{N(\delta)} - x^\ast \| = \mathcal{O}(\delta) \) as \( \delta \to 0 \) is obtained, where \( N = N(\delta) \) is determined either by a certain a priori parameter choice strategy or a discrepancy principle. | |||
Property / review text: The author considers a nonlinear equation \( F(x) = f \), where \( F: H_1 \to H_2 \) is a Fréchet differentiable operator between Hilbert spaces \( H_1 \) and \( H_2 \). In addition, the operator \( F^{\prime}(x^\ast) \) is assumed to be normally solvable at the desired solution \( x^\ast \in H_1 \) of the equation \( F(x) = f \), i.e., the range \( \mathcal{R}(F^{\prime}(x^\ast)) \) is a closed linear subspace of \( H_2 \). Let \( \tilde{f} \in H_2 \) be an approximately given right-hand side, with \( \| \tilde{f} - f \| \leq \delta \), where \( \delta > 0 \) is a known error level. The following class of iteratively regularized Gauß--Newton type methods is studied, \[ \begin{aligned} x_{n+1} = \xi - \Theta(F^{\prime}(x_n)^\ast F^{\prime}(x_n), \alpha_n) F^{\prime}(x_n)^\ast [ F(x_n) - \tilde{f} - F^{\prime}(x_n) (x_n - \xi)], \end{aligned} \] for \( n = 1,2,\dots \), where \( \xi \in H_1 \) is a fixed approximation to the solution \( x^\ast \), and \( x_0 \in H_1 \) is an initial approximation. In addition, \( \{ \alpha_n \} \) is a sequence of positive regularization parameters with \( \alpha_n \to 0 \) as \( n \to \infty \), and \( \Theta = \Theta(\lambda, \alpha) \) is a real-valued continuous function. A prominent example is given by \( \Theta(\lambda, \alpha) = (\lambda+ \alpha)^{-1} \), yielding the classical iteratively regularized Gauß-Newton method. In the noise-free case \( \delta = 0 \), i.e., \( \tilde{f} = f \), it is shown that \( \| x_n - x^\ast \| = \mathcal{O}(\alpha_n^p) \) holds as \( n \to \infty \), if \( \max_{\lambda \in I} | 1 - \Theta(\lambda,\alpha) \lambda | = \mathcal{O}(\alpha^{p}) \) as \( \alpha \to 0 \), and if several other conditions are satisfied, where \( p \geq 1 \), and \( I \) is some closed, bounded interval not containing the origin. In the case \( \delta > 0 \), an estimate \( \| x_{N(\delta)} - x^\ast \| = \mathcal{O}(\delta) \) as \( \delta \to 0 \) is obtained, where \( N = N(\delta) \) is determined either by a certain a priori parameter choice strategy or a discrepancy principle. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Robert Plato / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47J06 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47J25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 65J15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 65J20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 65J22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 65R30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 65R32 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6701220 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
inverse problem | |||
Property / zbMATH Keywords: inverse problem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ill-posed problem | |||
Property / zbMATH Keywords: ill-posed problem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gauß-Newton-type method | |||
Property / zbMATH Keywords: Gauß-Newton-type method / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
discrepancy principle | |||
Property / zbMATH Keywords: discrepancy principle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hilbert space | |||
Property / zbMATH Keywords: Hilbert space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact operator | |||
Property / zbMATH Keywords: compact operator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
normally solvable operator | |||
Property / zbMATH Keywords: normally solvable operator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regularization method | |||
Property / zbMATH Keywords: regularization method / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
source condition | |||
Property / zbMATH Keywords: source condition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Tikhonov regularization | |||
Property / zbMATH Keywords: Tikhonov regularization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
method of asymptotic regularization | |||
Property / zbMATH Keywords: method of asymptotic regularization / rank | |||
Normal rank |
Revision as of 06:02, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Iteratively regularized methods for irregular nonlinear operator equations with a normally solvable derivative at the solution |
scientific article |
Statements
Iteratively regularized methods for irregular nonlinear operator equations with a normally solvable derivative at the solution (English)
0 references
5 April 2017
0 references
The author considers a nonlinear equation \( F(x) = f \), where \( F: H_1 \to H_2 \) is a Fréchet differentiable operator between Hilbert spaces \( H_1 \) and \( H_2 \). In addition, the operator \( F^{\prime}(x^\ast) \) is assumed to be normally solvable at the desired solution \( x^\ast \in H_1 \) of the equation \( F(x) = f \), i.e., the range \( \mathcal{R}(F^{\prime}(x^\ast)) \) is a closed linear subspace of \( H_2 \). Let \( \tilde{f} \in H_2 \) be an approximately given right-hand side, with \( \| \tilde{f} - f \| \leq \delta \), where \( \delta > 0 \) is a known error level. The following class of iteratively regularized Gauß--Newton type methods is studied, \[ \begin{aligned} x_{n+1} = \xi - \Theta(F^{\prime}(x_n)^\ast F^{\prime}(x_n), \alpha_n) F^{\prime}(x_n)^\ast [ F(x_n) - \tilde{f} - F^{\prime}(x_n) (x_n - \xi)], \end{aligned} \] for \( n = 1,2,\dots \), where \( \xi \in H_1 \) is a fixed approximation to the solution \( x^\ast \), and \( x_0 \in H_1 \) is an initial approximation. In addition, \( \{ \alpha_n \} \) is a sequence of positive regularization parameters with \( \alpha_n \to 0 \) as \( n \to \infty \), and \( \Theta = \Theta(\lambda, \alpha) \) is a real-valued continuous function. A prominent example is given by \( \Theta(\lambda, \alpha) = (\lambda+ \alpha)^{-1} \), yielding the classical iteratively regularized Gauß-Newton method. In the noise-free case \( \delta = 0 \), i.e., \( \tilde{f} = f \), it is shown that \( \| x_n - x^\ast \| = \mathcal{O}(\alpha_n^p) \) holds as \( n \to \infty \), if \( \max_{\lambda \in I} | 1 - \Theta(\lambda,\alpha) \lambda | = \mathcal{O}(\alpha^{p}) \) as \( \alpha \to 0 \), and if several other conditions are satisfied, where \( p \geq 1 \), and \( I \) is some closed, bounded interval not containing the origin. In the case \( \delta > 0 \), an estimate \( \| x_{N(\delta)} - x^\ast \| = \mathcal{O}(\delta) \) as \( \delta \to 0 \) is obtained, where \( N = N(\delta) \) is determined either by a certain a priori parameter choice strategy or a discrepancy principle.
0 references
inverse problem
0 references
ill-posed problem
0 references
Gauß-Newton-type method
0 references
discrepancy principle
0 references
Hilbert space
0 references
compact operator
0 references
normally solvable operator
0 references
regularization method
0 references
source condition
0 references
Tikhonov regularization
0 references
method of asymptotic regularization
0 references