A two-stage numerical approach for the sparse initial source identification of a diffusion-advection equation *

被引:2
作者
Biccari, Umberto [2 ,3 ]
Song, Yongcun [1 ,3 ]
Yuan, Xiaoming [3 ]
Zuazua, Enrique [1 ,2 ,4 ]
机构
[1] Friedrich Alexander Univ Erlangen Nurnberg, Dept Math, D-91058 Erlangen, Germany
[2] Fdn Deusto, Ave Univ 24, Bilbao 48007, Basque, Spain
[3] Univ Hong Kong, Dept Math, Hong Kong, Peoples R China
[4] Univ Autonoma Madrid, Dept Matemat, Madrid 28049, Spain
基金
欧盟地平线“2020”; 欧洲研究理事会;
关键词
initial source identification; inverse problem; optimal control; sparse control; diffusion-advection equations; non-smooth optimization; primal-dual algorithm; PARABOLIC CONTROL-PROBLEMS; ELLIPTIC CONTROL-PROBLEMS; GROUNDWATER POLLUTION; MEASURE-SPACES; CONVERGENCE; DECONVOLUTION; FRAMEWORK; COST;
D O I
10.1088/1361-6420/ace548
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We consider the problem of identifying a sparse initial source condition to achieve a given state distribution of a diffusion-advection partial differential equation after a given final time. The initial condition is assumed to be a finite combination of Dirac measures. The locations and intensities of this initial condition are required to be identified. This problem is known to be exponentially ill-posed because of the strong diffusive and smoothing effects. We propose a two-stage numerical approach to treat this problem. At the first stage, to obtain a sparse initial condition with the desire of achieving the given state subject to a certain tolerance, we propose an optimal control problem involving sparsity-promoting and ill-posedness-avoiding terms in the cost functional, and introduce a generalized primal-dual algorithm for this optimal control problem. At the second stage, the initial condition obtained from the optimal control problem is further enhanced by identifying its locations and intensities in its representation of the combination of Dirac measures. This two-stage numerical approach is shown to be easily implementable and its efficiency in short time horizons is promisingly validated by the results of numerical experiments. Some discussions on long time horizons are also included.
引用
收藏
页数:30
相关论文
共 48 条
  • [1] Bauschke HH, 2011, CMS BOOKS MATH, P1, DOI 10.1007/978-1-4419-9467-7
  • [2] Beck JV., 1985, INVERSE HEAT CONDUCT
  • [3] Bregman LM., 1967, USSR COMP MATH MATH, V7, P200, DOI [DOI 10.1016/0041-5553(67)90040-7, 10.1016/0041-5553(67)90040-7]
  • [4] Using sparse control methods to identify sources in linear diffusion-convection equations
    Casas, E.
    Kunisch, K.
    [J]. INVERSE PROBLEMS, 2019, 35 (11)
  • [5] Spike controls for elliptic and parabolic PDEs
    Casas, E.
    Zuazua, E.
    [J]. SYSTEMS & CONTROL LETTERS, 2013, 62 (04) : 311 - 318
  • [6] Casas E., 2017, SEMA J, V74, P319, DOI [10.1007/s40324-017-0121-5, DOI 10.1007/S40324-017-0121-5]
  • [7] PARABOLIC CONTROL PROBLEMS IN SPACE-TIME MEASURE SPACES
    Casas, Eduardo
    Kunisch, Karl
    [J]. ESAIM-CONTROL OPTIMISATION AND CALCULUS OF VARIATIONS, 2016, 22 (02) : 355 - 370
  • [8] SPARSE INITIAL DATA IDENTIFICATION FOR PARABOLIC PDE AND ITS FINITE ELEMENT APPROXIMATIONS
    Casas, Eduardo
    Vexler, Boris
    Zuazua, Enrique
    [J]. MATHEMATICAL CONTROL AND RELATED FIELDS, 2015, 5 (03) : 377 - 399
  • [9] PARABOLIC CONTROL PROBLEMS IN MEASURE SPACES WITH SPARSE SOLUTIONS
    Casas, Eduardo
    Clason, Christian
    Kunisch, Karl
    [J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2013, 51 (01) : 28 - 63
  • [10] APPROXIMATION OF ELLIPTIC CONTROL PROBLEMS IN MEASURE SPACES WITH SPARSE SOLUTIONS
    Casas, Eduardo
    Clason, Christian
    Kunisch, Karl
    [J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2012, 50 (04) : 1735 - 1752