American Institute of Mathematical Sciences

Advanced
November  2016, 10(4): 869-898. doi: 10.3934/ipi.2016025

On the optimal control of the free boundary problems for the second order parabolic equations. II. Convergence of the method of finite differences

Ugur G. Abdulla 1,

1. 

Department of Mathematics, Florida Institute of Technology, Melbourne, Florida 32901

Received  January 2015 Revised  July 2016 Published  October 2016

We consider a variational formulation of the inverse Stefan problem, where information on the heat flux on the fixed boundary is missing and must be found along with the temperature and free boundary. We employ optimal control framework, where boundary heat flux and free boundary are components of the control vector, and optimality criteria consist of the minimization of the sum of $L_2$-norm declinations from the available measurement of the temperature flux on the fixed boundary and available information on the phase transition temperature on the free boundary. This approach allows one to tackle situations when the phase transition temperature is not known explicitly, and is available through measurement with possible error. It also allows for the development of iterative numerical methods of least computational cost due to the fact that for every given control vector, the parabolic PDE is solved in a fixed region instead of full free boundary problem. In Inverse Problems and Imaging, 7, 2(2013), 307-340 we proved well-posedness in Sobolev spaces framework and convergence of time-discretized optimal control problems. In this paper we perform full discretization and prove convergence of the discrete optimal control problems to the original problem both with respect to cost functional and control.
Keywords: embedding theorems, Inverse Stefan problem, traces of Sobolev functions, Sobolev spaces, second order parabolic PDE, convergence in control., convergence in functional, optimal control, discrete optimal control problem, method of finite differences, energy estimate.
Mathematics Subject Classification: Primary: 35R30, 35R35, 35K20; Secondary: 65M06, 65M12, 65M32, 65N21, 49J2.
Citation: Ugur G. Abdulla. On the optimal control of the free boundary problems for the second order parabolic equations. II. Convergence of the method of finite differences. Inverse Problems & Imaging, 2016, 10 (4) : 869-898. doi: 10.3934/ipi.2016025
References:
[1]

U. G. Abdulla, On the optimal control of the free boundary problems for the second order parabolic equations. i.well-posedness and convergence of the method of lines,, Inverse Problems and Imaging, 7 (2013), 307.  doi: 10.3934/ipi.2013.7.307.  Google Scholar

[2]

O. M. Alifanov, Inverse Heat Transfer Problems,, Springer-Verlag Telos, (1995).   Google Scholar

[3]

J. Baumeister, Zur optimal Steuerung von frien Randwertausgaben,, ZAMM, 60 (1980).   Google Scholar

[4]

J. B. Bell, The non-characteristic Cauchy problem for a class of equations with time dependence.I.Problem in one space dimension,, SIAM J. Math. Anal., 12 (1981), 759.  doi: 10.1137/0512064.  Google Scholar

[5]

O. V. Besov, V. P. Il'in and S. M. Nikol'skii, Integral Representations of Functions and Embedding Theorems,, Winston & Sons, (1978).   Google Scholar

[6]

B. M. Budak and V. N. Vasil'eva, On the solution of the inverse Stefan problem,, Soviet Math. Dokl., 13 (1972), 811.   Google Scholar

[7]

B. M. Budak and V. N. Vasil'eva, The solution of the inverse Stefan problem,, USSR Comput. Maths. Math. Phys., 13 (1974), 130.  doi: 10.1016/0041-5553(74)90010-X.  Google Scholar

[8]

B. M. Budak and V. N. Vasil'eva, On the solution of Stefan's converse problem. II,, USSR Comput. Maths. Math. Phys., 13 (1973), 97.  doi: 10.1016/0041-5553(73)90069-4.  Google Scholar

[9]

J. R. Cannon, A Cauchy problem for the heat equation,, Ann. Math., 66 (1964), 155.  doi: 10.1007/BF02412441.  Google Scholar

[10]

J. R. Cannon and J. Douglas, The Cauchy problem for the heat equation,, SIAM. J. Numer. Anal., 4 (1967), 317.  doi: 10.1137/0704028.  Google Scholar

[11]

A. Carasso, Determining surface temperatures from interior observations,, SIAM J. Appl. Math., 42 (1982), 558.  doi: 10.1137/0142040.  Google Scholar

[12]

R. E. Ewing, The Cauchy problem for a linear parabolic equation,, J. Math. Anal. Appl., 71 (1979), 167.  doi: 10.1016/0022-247X(79)90223-3.  Google Scholar

[13]

R. E. Ewing and R. S. Falk, Numerical approximation of a Cauchy problem for a parabolic partial differential equation,, Math. Comput., 33 (1979), 1125.  doi: 10.1090/S0025-5718-1979-0537961-3.  Google Scholar

[14]

A. Fasano and M. Primicerio, General free boundary problems for heat equations,, J. Math. Anal. Appl., 57 (1977), 694.  doi: 10.1016/0022-247X(77)90256-6.  Google Scholar

[15]

A. Friedman, Variational Principles and Free Boundary Problems,, John Wiley, (1982).   Google Scholar

[16]

N. L. Gol'dman, Inverse Stefan Problems,, Mathematics and its Applications, (1997).  doi: 10.1007/978-94-011-5488-8.  Google Scholar

[17]

N. L. Gol'dman, Properties of solutions of the inverse Stefan problem,, Differential Equations, 39 (2003), 66.  doi: 10.1023/A:1025120024905.  Google Scholar

[18]

K. H. Hoffman and M. Niezgodka, Control of Parabolic Systems Involving Free Boundarie,, Proc. of Int. Conf. on Free Boundary Problems, (1981).   Google Scholar

[19]

K. H. Hoffman and J. Sprekels, Real time control of free boundary in a two-phase Stefan problem,, Numer. Funct. Anal. Optimiz., 5 (1982), 47.  doi: 10.1080/01630568208816131.  Google Scholar

[20]

K. H. Hoffman and J. Sprekels, On the identification of heat conductivity and latent heat conductivity ans latent heat in a one-phase Stefan problem,, Control and Cybernetics, 14 (1985), 37.   Google Scholar

[21]

P. Jochum, The Inverse Stefan problem as a problem of nonlinear approximation theory,, Journal of Approximate Theorey, 30 (1980), 81.  doi: 10.1016/0021-9045(80)90011-8.  Google Scholar

[22]

P. Jochum, The numerical solution of the inverse Stefan problem,, Numerical Mathematics, 34 (1980), 411.  doi: 10.1007/BF01403678.  Google Scholar

[23]

P. Knabner, Stability theorems for general free boundary problem of the Stefan type and applications,, Meth. Ser. Numer. Meth. Verf. Math. Phys., 25 (1983), 95.   Google Scholar

[24]

O. A. Ladyzenskaya, V. A. Solonnikov and N. N. Ural'ceva, Linear and Quasilinear Equations of the Parabolic Type,, Translations of Mathematical Monographs, ().   Google Scholar

[25]

K. A. Lurye, Optimal Control in Problems of Mathematical Physics,, Nauka, (1975).   Google Scholar

[26]

A. M. Meyrmanov, The Stefan Problem,, Walter de Gruyter, (1992).  doi: 10.1515/9783110846720.245.  Google Scholar

[27]

M. Niezgodka, Control of parabolic systems with free boundaries-application of inverse formulation,, Control and Cybernetics, 8 (1979), 213.   Google Scholar

[28]

S. M. Nikol'skii, Approximation of Functions of Several Variables and Imbedding Theorems,, Springer-Verlag, (1975).   Google Scholar

[29]

R. H. Nochetto and C. Verdi, The combined use of nonlinear Chernoff formula with a regularization procedure for two-phase Stefan problems,, Numer. Funct. Anal. Optimiz., 9 (): 1177.  doi: 10.1080/01630568808816279.  Google Scholar

[30]

M. Primicero, The occurence of pathologies in some Stefan-like problems,, Numerical Treatment of Free Boundary-Value Problems, (1982), 233.   Google Scholar

[31]

C. Sagues, Simulation and optimal control of free boundary,, Numerical Treatment of Free Boundary-Value Problems, 58 (): 270.   Google Scholar

[32]

B. Sherman, General one-phase stefan problems and free boundary problems for the heat equation with cauchy data prescribed on the free boundary,, SIAM J. Appl. Math., 20 (1971), 555.  doi: 10.1137/0120058.  Google Scholar

[33]

V. A. Solonnikov, A priori estimates for solutions of second-order equations of parabolic type,, Trudy Mat. Inst. Steklov., 70 (1964), 133.   Google Scholar

[34]

V. A. Solonnikov, On boundary value problems for linear parabolic systems of differential equations of general form,, Trudy Mat. Inst. Steklov., 83 (1965), 3.   Google Scholar

[35]

G. Talenti and S. Vessella, A note on an Ill-posed problem for the heat equation,, J. Austral. Math. Soc., 32 (1982), 358.  doi: 10.1017/S1446788700024915.  Google Scholar

[36]

F. P. Vasil'ev, The existence of a solution of a certain optimal Stefan problem,, In Comput. Methods and Programming, (1969), 110.   Google Scholar

[37]

F. P. Vasil'ev, Methods for Solving Extremal Problems. Minimization Problems in Function Spaces, Regularization, Approximation,, (in Russian), (1981).   Google Scholar

[38]

A. D. Yurii, On an optimal Stefan problem,, Dokl. Akad. Nauk SSSR, 251 (1980), 1317.   Google Scholar

show all references

References:
[1]

U. G. Abdulla, On the optimal control of the free boundary problems for the second order parabolic equations. i.well-posedness and convergence of the method of lines,, Inverse Problems and Imaging, 7 (2013), 307.  doi: 10.3934/ipi.2013.7.307.  Google Scholar

[2]

O. M. Alifanov, Inverse Heat Transfer Problems,, Springer-Verlag Telos, (1995).   Google Scholar

[3]

J. Baumeister, Zur optimal Steuerung von frien Randwertausgaben,, ZAMM, 60 (1980).   Google Scholar

[4]

J. B. Bell, The non-characteristic Cauchy problem for a class of equations with time dependence.I.Problem in one space dimension,, SIAM J. Math. Anal., 12 (1981), 759.  doi: 10.1137/0512064.  Google Scholar

[5]

O. V. Besov, V. P. Il'in and S. M. Nikol'skii, Integral Representations of Functions and Embedding Theorems,, Winston & Sons, (1978).   Google Scholar

[6]

B. M. Budak and V. N. Vasil'eva, On the solution of the inverse Stefan problem,, Soviet Math. Dokl., 13 (1972), 811.   Google Scholar

[7]

B. M. Budak and V. N. Vasil'eva, The solution of the inverse Stefan problem,, USSR Comput. Maths. Math. Phys., 13 (1974), 130.  doi: 10.1016/0041-5553(74)90010-X.  Google Scholar

[8]

B. M. Budak and V. N. Vasil'eva, On the solution of Stefan's converse problem. II,, USSR Comput. Maths. Math. Phys., 13 (1973), 97.  doi: 10.1016/0041-5553(73)90069-4.  Google Scholar

[9]

J. R. Cannon, A Cauchy problem for the heat equation,, Ann. Math., 66 (1964), 155.  doi: 10.1007/BF02412441.  Google Scholar

[10]

J. R. Cannon and J. Douglas, The Cauchy problem for the heat equation,, SIAM. J. Numer. Anal., 4 (1967), 317.  doi: 10.1137/0704028.  Google Scholar

[11]

A. Carasso, Determining surface temperatures from interior observations,, SIAM J. Appl. Math., 42 (1982), 558.  doi: 10.1137/0142040.  Google Scholar

[12]

R. E. Ewing, The Cauchy problem for a linear parabolic equation,, J. Math. Anal. Appl., 71 (1979), 167.  doi: 10.1016/0022-247X(79)90223-3.  Google Scholar

[13]

R. E. Ewing and R. S. Falk, Numerical approximation of a Cauchy problem for a parabolic partial differential equation,, Math. Comput., 33 (1979), 1125.  doi: 10.1090/S0025-5718-1979-0537961-3.  Google Scholar

[14]

A. Fasano and M. Primicerio, General free boundary problems for heat equations,, J. Math. Anal. Appl., 57 (1977), 694.  doi: 10.1016/0022-247X(77)90256-6.  Google Scholar

[15]

A. Friedman, Variational Principles and Free Boundary Problems,, John Wiley, (1982).   Google Scholar

[16]

N. L. Gol'dman, Inverse Stefan Problems,, Mathematics and its Applications, (1997).  doi: 10.1007/978-94-011-5488-8.  Google Scholar

[17]

N. L. Gol'dman, Properties of solutions of the inverse Stefan problem,, Differential Equations, 39 (2003), 66.  doi: 10.1023/A:1025120024905.  Google Scholar

[18]

K. H. Hoffman and M. Niezgodka, Control of Parabolic Systems Involving Free Boundarie,, Proc. of Int. Conf. on Free Boundary Problems, (1981).   Google Scholar

[19]

K. H. Hoffman and J. Sprekels, Real time control of free boundary in a two-phase Stefan problem,, Numer. Funct. Anal. Optimiz., 5 (1982), 47.  doi: 10.1080/01630568208816131.  Google Scholar

[20]

K. H. Hoffman and J. Sprekels, On the identification of heat conductivity and latent heat conductivity ans latent heat in a one-phase Stefan problem,, Control and Cybernetics, 14 (1985), 37.   Google Scholar

[21]

P. Jochum, The Inverse Stefan problem as a problem of nonlinear approximation theory,, Journal of Approximate Theorey, 30 (1980), 81.  doi: 10.1016/0021-9045(80)90011-8.  Google Scholar

[22]

P. Jochum, The numerical solution of the inverse Stefan problem,, Numerical Mathematics, 34 (1980), 411.  doi: 10.1007/BF01403678.  Google Scholar

[23]

P. Knabner, Stability theorems for general free boundary problem of the Stefan type and applications,, Meth. Ser. Numer. Meth. Verf. Math. Phys., 25 (1983), 95.   Google Scholar

[24]

O. A. Ladyzenskaya, V. A. Solonnikov and N. N. Ural'ceva, Linear and Quasilinear Equations of the Parabolic Type,, Translations of Mathematical Monographs, ().   Google Scholar

[25]

K. A. Lurye, Optimal Control in Problems of Mathematical Physics,, Nauka, (1975).   Google Scholar

[26]

A. M. Meyrmanov, The Stefan Problem,, Walter de Gruyter, (1992).  doi: 10.1515/9783110846720.245.  Google Scholar

[27]

M. Niezgodka, Control of parabolic systems with free boundaries-application of inverse formulation,, Control and Cybernetics, 8 (1979), 213.   Google Scholar

[28]

S. M. Nikol'skii, Approximation of Functions of Several Variables and Imbedding Theorems,, Springer-Verlag, (1975).   Google Scholar

[29]

R. H. Nochetto and C. Verdi, The combined use of nonlinear Chernoff formula with a regularization procedure for two-phase Stefan problems,, Numer. Funct. Anal. Optimiz., 9 (): 1177.  doi: 10.1080/01630568808816279.  Google Scholar

[30]

M. Primicero, The occurence of pathologies in some Stefan-like problems,, Numerical Treatment of Free Boundary-Value Problems, (1982), 233.   Google Scholar

[31]

C. Sagues, Simulation and optimal control of free boundary,, Numerical Treatment of Free Boundary-Value Problems, 58 (): 270.   Google Scholar

[32]

B. Sherman, General one-phase stefan problems and free boundary problems for the heat equation with cauchy data prescribed on the free boundary,, SIAM J. Appl. Math., 20 (1971), 555.  doi: 10.1137/0120058.  Google Scholar

[33]

V. A. Solonnikov, A priori estimates for solutions of second-order equations of parabolic type,, Trudy Mat. Inst. Steklov., 70 (1964), 133.   Google Scholar

[34]

V. A. Solonnikov, On boundary value problems for linear parabolic systems of differential equations of general form,, Trudy Mat. Inst. Steklov., 83 (1965), 3.   Google Scholar

[35]

G. Talenti and S. Vessella, A note on an Ill-posed problem for the heat equation,, J. Austral. Math. Soc., 32 (1982), 358.  doi: 10.1017/S1446788700024915.  Google Scholar

[36]

F. P. Vasil'ev, The existence of a solution of a certain optimal Stefan problem,, In Comput. Methods and Programming, (1969), 110.   Google Scholar

[37]

F. P. Vasil'ev, Methods for Solving Extremal Problems. Minimization Problems in Function Spaces, Regularization, Approximation,, (in Russian), (1981).   Google Scholar

[38]

A. D. Yurii, On an optimal Stefan problem,, Dokl. Akad. Nauk SSSR, 251 (1980), 1317.   Google Scholar

[1]

Zuliang Lu, Fei Huang, Xiankui Wu, Lin Li, Shang Liu. Convergence and quasi-optimality of $ L^2- $norms based an adaptive finite element method for nonlinear optimal control problems. Electronic Research Archive, 2020, 28 (4) : 1459-1486. doi: 10.3934/era.2020077
[2]

Hong Niu, Zhijiang Feng, Qijin Xiao, Yajun Zhang. A PID control method based on optimal control strategy. Numerical Algebra, Control & Optimization, 2021, 11 (1) : 117-126. doi: 10.3934/naco.2020019
[3]

Lars Grüne, Matthias A. Müller, Christopher M. Kellett, Steven R. Weller. Strict dissipativity for discrete time discounted optimal control problems. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020046
[4]

Bernard Bonnard, Jérémy Rouot. Geometric optimal techniques to control the muscular force response to functional electrical stimulation using a non-isometric force-fatigue model. Journal of Geometric Mechanics, 2020  doi: 10.3934/jgm.2020032
[5]

Hai Huang, Xianlong Fu. Optimal control problems for a neutral integro-differential system with infinite delay. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020107
[6]

Shenglan Xie, Maoan Han, Peng Zhu. A posteriori error estimate of weak Galerkin fem for second order elliptic problem with mixed boundary condition. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020340
[7]

Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of a Sobolev type impulsive functional evolution system in Banach spaces. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020049
[8]

Noah Stevenson, Ian Tice. A truncated real interpolation method and characterizations of screened Sobolev spaces. Communications on Pure & Applied Analysis, 2020, 19 (12) : 5509-5566. doi: 10.3934/cpaa.2020250
[9]

Youming Guo, Tingting Li. Optimal control strategies for an online game addiction model with low and high risk exposure. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020347
[10]

Pierluigi Colli, Gianni Gilardi, Jürgen Sprekels. Deep quench approximation and optimal control of general Cahn–Hilliard systems with fractional operators and double obstacle potentials. Discrete & Continuous Dynamical Systems - S, 2021, 14 (1) : 243-271. doi: 10.3934/dcdss.2020213
[11]

Stefan Doboszczak, Manil T. Mohan, Sivaguru S. Sritharan. Pontryagin maximum principle for the optimal control of linearized compressible navier-stokes equations with state constraints. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020110
[12]

Alessandro Carbotti, Giovanni E. Comi. A note on Riemann-Liouville fractional Sobolev spaces. Communications on Pure & Applied Analysis, 2021, 20 (1) : 17-54. doi: 10.3934/cpaa.2020255
[13]

Gang Bao, Mingming Zhang, Bin Hu, Peijun Li. An adaptive finite element DtN method for the three-dimensional acoustic scattering problem. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020351
[14]

Xuefeng Zhang, Yingbo Zhang. Fault-tolerant control against actuator failures for uncertain singular fractional order systems. Numerical Algebra, Control & Optimization, 2021, 11 (1) : 1-12. doi: 10.3934/naco.2020011
[15]

Jun Zhou. Lifespan of solutions to a fourth order parabolic PDE involving the Hessian modeling epitaxial growth. Communications on Pure & Applied Analysis, 2020, 19 (12) : 5581-5590. doi: 10.3934/cpaa.2020252
[16]

Gervy Marie Angeles, Gilbert Peralta. Energy method for exponential stability of coupled one-dimensional hyperbolic PDE-ODE systems. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020108
[17]

Hui Lv, Xing'an Wang. Dissipative control for uncertain singular markovian jump systems via hybrid impulsive control. Numerical Algebra, Control & Optimization, 2021, 11 (1) : 127-142. doi: 10.3934/naco.2020020
[18]

Soniya Singh, Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of second order impulsive systems with state-dependent delay in Banach spaces. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020103
[19]

Awais Younus, Zoubia Dastgeer, Nudrat Ishaq, Abdul Ghaffar, Kottakkaran Sooppy Nisar, Devendra Kumar. On the observability of conformable linear time-invariant control systems. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020444
[20]

M. S. Lee, H. G. Harno, B. S. Goh, K. H. Lim. On the bang-bang control approach via a component-wise line search strategy for unconstrained optimization. Numerical Algebra, Control & Optimization, 2021, 11 (1) : 45-61. doi: 10.3934/naco.2020014

2019 Impact Factor: 1.373

Tools

Metrics

  • PDF downloads (24)
  • HTML views (0)
  • Cited by (7)

Other articles
by authors

[Back to Top]

Copyright © 2020 American Institute of Mathematical Sciences