×

Data assimilation in reduced modeling. (English) Zbl 06736493

Summary: This paper considers the problem of optimal recovery of an element \(u\) of a Hilbert space \(\mathcal H\) from measurements of the form \(\ell_j(u)\), \(j=1,\dots,m\), where the \(\ell_j\) are known linear functionals on \(\mathcal H\). Problems of this type are well studied [C. A. Micchelli, T. J. Rivlin, and S. Winograd, Numer. Math., 26 (1976), pp. 191–200] and usually are carried out under an assumption that \(u\) belongs to a prescribed model class, typically a known compact subset of \(\mathcal H\). Motivated by reduced modeling for solving parametric partial differential equations, this paper considers another setting, where the additional information about \(u\) is in the form of how well \(u\) can be approximated by a certain known subspace \(V_n\) of \(\mathcal H\) of dimension \(n\), or more generally, in the form of how well \(u\) can be approximated by each subspace from a sequence of nested subspaces \(V_0\subset V_1\cdots\subset V_n\) with each \(V_k\) of dimension \(k\). A recovery algorithm for the one-space formulation was proposed in [Y. Maday, A. T. Patera, J. D. Penn and M. Yano, Internat. J. Numer. Methods Engrg., 102 (2015), pp. 933–965]. Their algorithm is proved, in the present paper, to be optimal. It is also shown how the recovery problem for the one-space problem has a simple formulation if certain favorable bases are chosen to represent \(V_n\) and the measurements. The major contribution of the present paper is to analyze the multispace case by exploiting additional information derived from the whole hierarchy of spaces \(V_j\) rather than only from the largest space \(V_n\). It is shown that in this multispace case, the set of all \(u\) that satisfy the given information can be described as the intersection of a family of known ellipsoids in \(\mathcal H\). It follows that a near optimal recovery algorithm in the multispace problem is provided by identifying any point in this intersection. It is easy to see that the accuracy of recovery of \(u\) in the multispace setting can be much better than in the one-space problems. Two iterative algorithms based on alternating projections are proposed for recovery in the multispace problem, and one of them is analyzed in detail. This analysis includes an a posteriori estimate for the performance of the iterates. These a posteriori estimates can serve both as a stopping criteria in the algorithm and also as a method to derive convergence rates. Since the limit of the algorithm is a point in the intersection of the aforementioned ellipsoids, it provides a near optimal recovery for \(u\).

MSC:

62M45 Neural nets and related approaches to inference from stochastic processes
65D05 Numerical interpolation
68Q32 Computational learning theory
97N50 Interpolation and approximation (educational aspects)

Software:

UNLocBoX
Full Text: DOI

References:

[1] O. Bashir, O Ghattas, J. Hill, B. Van Bloemen Waanders, and K. Willcox, {\it Hessian-based model reduction for large-scale data assimilation problems}, in Proceedings of the International Conference on Computational Science, Lecture Notes in Comput. Sci. 4487, Springer, New York, 2007, pp. 1010-1017. · Zbl 1195.76311
[2] P. Binev, A. Cohen, W. Dahmen, R. DeVore, G. Petrova, and P. Wojtaszczyk, {\it Convergence Rates for Greedy Algorithms in Reduced Basis Methods}, SIAM J. Math. Anal., 43 (2011), pp. 1457-1472. · Zbl 1229.65193
[3] B. Bojanov, {\it Optimal recovery of functions and integrals}, in Proceedings of the First European Congress of Mathematics, Vol. I, Progr. Math. 119, Birkhäuser, Basel, 1994, pp. 371-390. · Zbl 0816.41001
[4] L.M. Bregman, {\it The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming}, Comput. Math. Math. Phys., 7 (1967), pp. 200-217. · Zbl 0186.23807
[5] A. Buffa, Y. Maday, A.T. Patera, C. Prud’homme, and G. Turinici, {\it A Priori convergence of the greedy algorithm for the parameterized reduced basis}, Math. Model. Numer. Anal., 46 (2012), pp. 595-603. · Zbl 1272.65084
[6] A. Cohen and R. DeVore, {\it Approximation of high dimensional parametric pdes}, Acta Numer., 24 (2015), pp. 1-159. · Zbl 1320.65016
[7] A. Cohen, R. DeVore, and C. Schwab, {\it Analytic regularity and polynomial approximation of parametric stochastic elliptic PDEs}, Anal. Appl. (Singap.), 9 (2011), pp. 11-47. · Zbl 1219.35379
[8] A. Chkifa, A. Cohen, R. DeVore, and C. Schwab, {\it Sparse adaptive Taylor approximation algorithms for parametric and stochastic elliptic PDEs}, ESAIM Math. Model. Numer. Anal., 47 (2013), pp. 253-280. · Zbl 1273.65009
[9] P.L. Combettes, {\it The convex feasiblility problem in image recovery}, in Adv. Imaging Electron Phys. 85, Academic Press, New York, 1996, pp. 155-270.
[10] P.L. Combettes and J.C. Pesquet, {\it Proximal splitting methods in signal processing}, in Fixed-Point Algorithms for Inverse Problems in Science and Engineering, Springer, New York, 2011, pp. 185-212. · Zbl 1242.90160
[11] R. DeVore, G. Petrova, and P. Wojtaszczyk, {\it Greedy algorithms for reduced bases in Banach spaces}, Constr. Approx., 37 (2013), pp. 455-466. · Zbl 1276.41021
[12] R. Daley, {\it Atmospheric Data Analysis}, Cambridge University Press, Cambridge, 1991.
[13] M. von Golitschek, G. Lorentz, and Y. Makovos, {\it Constructive Approximation}, Vol. II, Springer, New York, 1996. · Zbl 0910.41001
[14] J.M. Lewis, S. Lakshmivarahan, and S. Dhall, {\it Dynamic Data Assimilation: A Least Squares Approach}, Encyclopedia Math. Appl. 104, Cambridge University Press, Cambridge, 2006. · Zbl 1268.62003
[15] E.S. Livitin and B.T. Polyak, {\it Constrained minimization methods}, USSR Comput. Math. Phys., 6 (1966), pp. 1-50.
[16] Y. Maday, A.T. Patera, J.D. Penn and M. Yano, {\it A parametrized-background data-weak approach to variational data assimilation: Formulation, analysis, and application to acoustics}, Internat. J. Numer. Methods Engrg., 102 (2015), pp. 933-965. · Zbl 1352.65529
[17] C.A. Micchelli and T.J. Rivlin, {\it Lectures on optimal recovery}, in Numerical Analysis, Lecture Notes in Math. 1129, Springer, New York, 1985, pp. 21-93. · Zbl 0698.41024
[18] C.A. Micchelli, T.J. Rivlin, and S. Winograd, {\it The optimal recovery of smooth functions}, Numer. Math., 26 (1976), pp. 191-200. · Zbl 0335.65004
[19] P. Wojtaszczyk, {\it On greedy algorithm approximating Kolmogorov widths in Banach spaces}, J. Math. Anal. Appl., 424 (2015), pp. 685-695. · Zbl 1310.41031
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.