Pub Date : 2024-11-16DOI: 10.1007/s00245-024-10197-4
Yuanhang Liu, Weijia Wu, Donghui Yang
The focus of this paper is on the null controllability of two kinds of coupled systems including both degenerate and non-degenerate equations with switching control. We first establish the observability inequality for measurable subsets in time for such coupled system, and then by the HUM method to obtain the null controllability. Next, we investigate the null controllability of such coupled system for segmented time intervals. Notably, these results are obtained through spectral inequalities rather than using the method of Carleman estimates. Such coupled systems with switching control, to the best of our knowledge, are among the first to discuss.
{"title":"Null Controllability of Coupled Parabolic Systems with Switching Control","authors":"Yuanhang Liu, Weijia Wu, Donghui Yang","doi":"10.1007/s00245-024-10197-4","DOIUrl":"10.1007/s00245-024-10197-4","url":null,"abstract":"<div><p>The focus of this paper is on the null controllability of two kinds of coupled systems including both degenerate and non-degenerate equations with switching control. We first establish the observability inequality for measurable subsets in time for such coupled system, and then by the HUM method to obtain the null controllability. Next, we investigate the null controllability of such coupled system for segmented time intervals. Notably, these results are obtained through spectral inequalities rather than using the method of Carleman estimates. Such coupled systems with switching control, to the best of our knowledge, are among the first to discuss.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"91 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142645729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-10DOI: 10.1007/s00245-024-10196-5
Shaoyue Mi, Ran Li, Dingshi Li
This paper is concerned with the pullback measure attractors of the non-autonomous fractional reaction-diffusion equations defined on (mathbb {R}^{n}). We first prove the existence and uniqueness of pullback measure attractors for such equations. Then we establish the upper semi-continuity of these attractors as the noise intensity (varepsilon ) tends to zero. Specifically, we apply the uniform estimates on the tails of solutions to prove the asymptotic compactness of a family of probability distributions of solutions to overcome the non-compactness of usual Sobolev embeddings on unbounded domains.
{"title":"Pullback Measure Attractors for Non-autonomous Fractional Stochastic Reaction-Diffusion Equations on Unbounded Domains","authors":"Shaoyue Mi, Ran Li, Dingshi Li","doi":"10.1007/s00245-024-10196-5","DOIUrl":"10.1007/s00245-024-10196-5","url":null,"abstract":"<div><p>This paper is concerned with the pullback measure attractors of the non-autonomous fractional reaction-diffusion equations defined on <span>(mathbb {R}^{n})</span>. We first prove the existence and uniqueness of pullback measure attractors for such equations. Then we establish the upper semi-continuity of these attractors as the noise intensity <span>(varepsilon )</span> tends to zero. Specifically, we apply the uniform estimates on the tails of solutions to prove the asymptotic compactness of a family of probability distributions of solutions to overcome the non-compactness of usual Sobolev embeddings on unbounded domains.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 3","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142598978","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-07DOI: 10.1007/s00245-024-10193-8
Yanan Li, Yamei Li, Zhijian Yang
The paper investigates the global well-posedness and the longtime dynamics for a class of strongly damped wave equations with evolutional p(x, t)-Laplacian and q(x, t)-growth source term on a bounded domain ( Omega subset {mathbb {R}}^3: u_{tt}-nabla cdot (|nabla u|^{p(x, t)-2} nabla u)-lambda Delta u- Delta u_t+ |u|^{q(x, t)-2}u=g), together with the perturbed parameter (lambda in [0,1]) and the Dirichlet boundary condition. We show that under rather relaxed conditions, (i) the model is global well-posed; (ii) for each (lambda _0in (0,1]), the related nonautonomous dynamical systems acting on the time-dependent phase spaces have a family of pullback ({mathscr {D}})-exponential attractor ({mathcal {E}}_lambda ={E_lambda (t)}_{tin {mathbb {R}}}in {mathscr {D}}) which is Hölder continuous w.r.t. (lambda ) at (lambda _0); (iii) they have also a family of finite dimensional pullback ({mathscr {D}})-attractors ({mathcal {A}}_lambda ={A_lambda (t)}_{tin {mathbb {R}}}) which are upper semicontinuous and residual continuous w.r.t. (lambda in (0,1]). In particular, when (lambda in (0,1]) and without the p(x, t)-Laplacian, the above mentioned results can be greatly improved, in the concrete; (iv) the weak solutions of the corresponding model possess additionally partial regularity and the Hölder stability in stronger (H^1times H^1)-norm, the pullback ({mathscr {D}})-attractor and pullback ({mathscr {D}})-exponential attractor in weaker ({mathcal {Y}}_1)-norm can be regularized to be those in stronger (H^1times H^1)-norm, which are also the standard ones in ({mathcal {H}}_t)-norm. The method provided here allows overcoming the difficulties arising from variable exponent nonlinearities and extending the analysis and the results for these type of models with constant exponent nonlinearities.
{"title":"Longtime Dynamics for a Class of Strongly Damped Wave Equations with Variable Exponent Nonlinearities","authors":"Yanan Li, Yamei Li, Zhijian Yang","doi":"10.1007/s00245-024-10193-8","DOIUrl":"10.1007/s00245-024-10193-8","url":null,"abstract":"<div><p>The paper investigates the global well-posedness and the longtime dynamics for a class of strongly damped wave equations with evolutional <i>p</i>(<i>x</i>, <i>t</i>)-Laplacian and <i>q</i>(<i>x</i>, <i>t</i>)-growth source term on a bounded domain <span>( Omega subset {mathbb {R}}^3: u_{tt}-nabla cdot (|nabla u|^{p(x, t)-2} nabla u)-lambda Delta u- Delta u_t+ |u|^{q(x, t)-2}u=g)</span>, together with the perturbed parameter <span>(lambda in [0,1])</span> and the Dirichlet boundary condition. We show that under rather relaxed conditions, (i) the model is global well-posed; (ii) for each <span>(lambda _0in (0,1])</span>, the related nonautonomous dynamical systems acting on the time-dependent phase spaces have a family of pullback <span>({mathscr {D}})</span>-exponential attractor <span>({mathcal {E}}_lambda ={E_lambda (t)}_{tin {mathbb {R}}}in {mathscr {D}})</span> which is Hölder continuous w.r.t. <span>(lambda )</span> at <span>(lambda _0)</span>; (iii) they have also a family of finite dimensional pullback <span>({mathscr {D}})</span>-attractors <span>({mathcal {A}}_lambda ={A_lambda (t)}_{tin {mathbb {R}}})</span> which are upper semicontinuous and residual continuous w.r.t. <span>(lambda in (0,1])</span>. In particular, when <span>(lambda in (0,1])</span> and without the <i>p</i>(<i>x</i>, <i>t</i>)-Laplacian, the above mentioned results can be greatly improved, in the concrete; (iv) the weak solutions of the corresponding model possess additionally partial regularity and the Hölder stability in stronger <span>(H^1times H^1)</span>-norm, the pullback <span>({mathscr {D}})</span>-attractor and pullback <span>({mathscr {D}})</span>-exponential attractor in weaker <span>({mathcal {Y}}_1)</span>-norm can be regularized to be those in stronger <span>(H^1times H^1)</span>-norm, which are also the standard ones in <span>({mathcal {H}}_t)</span>-norm. The method provided here allows overcoming the difficulties arising from variable exponent nonlinearities and extending the analysis and the results for these type of models with constant exponent nonlinearities.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 3","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142595257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-06DOI: 10.1007/s00245-024-10195-6
Igor Kukavica, Linfeng Li, Amjad Tuffaha
We address a system of equations modeling an incompressible fluid interacting with an elastic body. We prove the local existence when the initial velocity belongs to the space (H^{1.5+epsilon }) and the initial structure velocity is in (H^{1+epsilon }), where (epsilon in (0, 1/20)).
我们讨论了模拟不可压缩流体与弹性体相互作用的方程组。我们证明了当初始速度属于(H^{1.5+epsilon }) 空间且初始结构速度在(H^{1+epsilon }) 中时的局部存在性,其中(epsilon in (0, 1/20)).
{"title":"On the Local Existence of Solutions to the Fluid–Structure Interaction Problem with a Free Interface","authors":"Igor Kukavica, Linfeng Li, Amjad Tuffaha","doi":"10.1007/s00245-024-10195-6","DOIUrl":"10.1007/s00245-024-10195-6","url":null,"abstract":"<div><p>We address a system of equations modeling an incompressible fluid interacting with an elastic body. We prove the local existence when the initial velocity belongs to the space <span>(H^{1.5+epsilon })</span> and the initial structure velocity is in <span>(H^{1+epsilon })</span>, where <span>(epsilon in (0, 1/20))</span>.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 3","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-024-10195-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142595277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-30DOI: 10.1007/s00245-024-10194-7
Felix Dammann, Neofytos Rodosthenous, Stéphane Villeneuve
We introduce a non-zero-sum game between a government and a legislative body to study the optimal level of debt. Each player, with different time preferences, can intervene on the stochastic dynamics of the debt-to-GDP ratio via singular stochastic controls, in view of minimizing non-continuously differentiable running costs. We completely characterise Nash equilibria in the class of Skorokhod-reflection-type policies. We highlight the importance of different time preferences resulting in qualitatively different type of equilibria. In particular, we show that, while it is always optimal for the government to devise an appropriate debt issuance policy, the legislator should optimally impose a debt ceiling only under relatively low discount rates and a laissez-faire policy can be optimal for high values of the legislator’s discount rate.
我们引入了政府与立法机构之间的非零和博弈来研究债务的最佳水平。每个博弈方都有不同的时间偏好,都可以通过奇异的随机控制来干预债务与 GDP 比率的随机动态,以最小化非连续可变的运行成本。我们完全描述了斯科罗霍德反映型政策中纳什均衡的特征。我们强调了不同时间偏好导致不同类型均衡的重要性。我们特别指出,虽然政府制定适当的发债政策总是最优的,但立法者只有在贴现率相对较低的情况下才能最优地设定债务上限,而自由放任政策在立法者贴现率较高的情况下可能是最优的。
{"title":"A Stochastic Non-zero-Sum Game of Controlling the Debt-to-GDP Ratio","authors":"Felix Dammann, Neofytos Rodosthenous, Stéphane Villeneuve","doi":"10.1007/s00245-024-10194-7","DOIUrl":"10.1007/s00245-024-10194-7","url":null,"abstract":"<div><p>We introduce a non-zero-sum game between a government and a legislative body to study the optimal level of debt. Each player, with different time preferences, can intervene on the stochastic dynamics of the debt-to-GDP ratio via singular stochastic controls, in view of minimizing non-continuously differentiable running costs. We completely characterise Nash equilibria in the class of Skorokhod-reflection-type policies. We highlight the importance of different time preferences resulting in qualitatively different type of equilibria. In particular, we show that, while it is always optimal for the government to devise an appropriate debt issuance policy, the legislator should optimally impose a debt ceiling only under relatively low discount rates and a laissez-faire policy can be optimal for high values of the legislator’s discount rate.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 3","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-024-10194-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142555289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-25DOI: 10.1007/s00245-024-10192-9
Héctor Jasso-Fuentes, Gladys D. Salgado-Suárez
This paper extends the results provided in Jasso-Fuentes et al. (Appl Math Optim 81(2):409–441, 2020b) and Jasso-Fuentes et al. (Pure Appl Funct Anal 9(3):675–704, 2024) regarding the study of discrete-time hybrid stochastic models with general spaces and total discounted payoffs. This extension incorporates the handling of negative and/or unbounded costs per stage. In particular, it encompasses interesting applications, such as scenarios where the controller optimizes net costs, social welfare costs, or distances between points. These situations arise when assumptions of both non-negativeness and boundedness on the cost per stage do not apply. Our proposal relies on Lyapunov-like conditions, enabling, among other aspects, the finiteness of the value function and the existence of solutions to the associated dynamic programming equation. This equation is crucial for deriving optimal control policies. To illustrate our theory, we include an example in inventory-manufacturing management, highlighting its evident hybrid nature.
{"title":"Discrete-Time Hybrid Control Processes with Unbounded Costs","authors":"Héctor Jasso-Fuentes, Gladys D. Salgado-Suárez","doi":"10.1007/s00245-024-10192-9","DOIUrl":"10.1007/s00245-024-10192-9","url":null,"abstract":"<div><p>This paper extends the results provided in Jasso-Fuentes et al. (Appl Math Optim 81(2):409–441, 2020b) and Jasso-Fuentes et al. (Pure Appl Funct Anal 9(3):675–704, 2024) regarding the study of discrete-time hybrid stochastic models with general spaces and total discounted payoffs. This extension incorporates the handling of negative and/or unbounded costs per stage. In particular, it encompasses interesting applications, such as scenarios where the controller optimizes net costs, social welfare costs, or distances between points. These situations arise when assumptions of both non-negativeness and boundedness on the cost per stage do not apply. Our proposal relies on Lyapunov-like conditions, enabling, among other aspects, the finiteness of the value function and the existence of solutions to the associated dynamic programming equation. This equation is crucial for deriving optimal control policies. To illustrate our theory, we include an example in inventory-manufacturing management, highlighting its evident hybrid nature.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 3","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-024-10192-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142518716","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-19DOI: 10.1007/s00245-024-10181-y
Jan Bartsch, Robert Denk, Stefan Volkwein
To study the nonlinear properties of complex natural phenomena, the evolution of the quantity of interest can be often represented by systems of coupled nonlinear stochastic differential equations (SDEs). These SDEs typically contain several parameters which have to be chosen carefully to match the experimental data and to validate the effectiveness of the model. In the present paper the calibration of these parameters is described by nonlinear SDE-constrained optimization problems. In the optimize-before-discretize setting a rigorous analysis is carried out to ensure the existence of optimal solutions and to derive necessary first-order optimality conditions. For the numerical solution a Monte–Carlo method is applied using parallelization strategies to compensate for the high computational time. In the numerical examples an Ornstein–Uhlenbeck and a stochastic Prandtl–Tomlinson bath model are considered.
{"title":"Adjoint-Based Calibration of Nonlinear Stochastic Differential Equations","authors":"Jan Bartsch, Robert Denk, Stefan Volkwein","doi":"10.1007/s00245-024-10181-y","DOIUrl":"10.1007/s00245-024-10181-y","url":null,"abstract":"<div><p>To study the nonlinear properties of complex natural phenomena, the evolution of the quantity of interest can be often represented by systems of coupled nonlinear stochastic differential equations (SDEs). These SDEs typically contain several parameters which have to be chosen carefully to match the experimental data and to validate the effectiveness of the model. In the present paper the calibration of these parameters is described by nonlinear SDE-constrained optimization problems. In the optimize-before-discretize setting a rigorous analysis is carried out to ensure the existence of optimal solutions and to derive necessary first-order optimality conditions. For the numerical solution a Monte–Carlo method is applied using parallelization strategies to compensate for the high computational time. In the numerical examples an Ornstein–Uhlenbeck and a stochastic Prandtl–Tomlinson bath model are considered.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 3","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-024-10181-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142451029","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-14DOI: 10.1007/s00245-024-10191-w
Huynh Khanh
A class of parametric optimal control problems governed by semilinear parabolic equations with mixed pointwise constraints is investigated. The perturbations appear in the objective functional, the state equation and in mixed pointwise constraints. By analyzing regularity and establishing stability condition of Lagrange multipliers we prove that, if the unperturbed problem satisfies the strong second-order sufficient condition, then the solution map and the associated Lagrange multipliers are locally Lipschitz continuous functions of parameters.
{"title":"Locally Lipschitz Stability of Solutions to a Parametric Parabolic Optimal Control Problem with Mixed Pointwise Constraints","authors":"Huynh Khanh","doi":"10.1007/s00245-024-10191-w","DOIUrl":"10.1007/s00245-024-10191-w","url":null,"abstract":"<div><p>A class of parametric optimal control problems governed by semilinear parabolic equations with mixed pointwise constraints is investigated. The perturbations appear in the objective functional, the state equation and in mixed pointwise constraints. By analyzing regularity and establishing stability condition of Lagrange multipliers we prove that, if the unperturbed problem satisfies the strong second-order sufficient condition, then the solution map and the associated Lagrange multipliers are locally Lipschitz continuous functions of parameters.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 2","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142431065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-14DOI: 10.1007/s00245-024-10190-x
Zhao Jing, Ze Yuan, Zhenhai Liu, Stanislaw Migórski
The primary objective of this paper is to study a new class of parabolic quasi variational–hemivariational inequalities. First, we prove a unique solvability result for such class under some mild conditions. Second, we show the existence of an optimal solution for an associated control problem. Finally, these results are applied to a model of quasistatic frictional contact in mechanics.
{"title":"Optimal Control of a New Class of Parabolic Quasi Variational–Hemivariational Inequality","authors":"Zhao Jing, Ze Yuan, Zhenhai Liu, Stanislaw Migórski","doi":"10.1007/s00245-024-10190-x","DOIUrl":"10.1007/s00245-024-10190-x","url":null,"abstract":"<div><p>The primary objective of this paper is to study a new class of parabolic quasi variational–hemivariational inequalities. First, we prove a unique solvability result for such class under some mild conditions. Second, we show the existence of an optimal solution for an associated control problem. Finally, these results are applied to a model of quasistatic frictional contact in mechanics.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 2","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142431072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-10DOI: 10.1007/s00245-024-10187-6
Pierluigi Colli, Jürgen Sprekels, Fredi Tröltzsch
In this paper we study the optimal control of a parabolic initial-boundary value problem of viscous Cahn–Hilliard type with zero Neumann boundary conditions. Phase field systems of this type govern the evolution of diffusive phase transition processes with conserved order parameter. It is assumed that the nonlinear functions driving the physical processes within the spatial domain are double-well potentials of logarithmic type whose derivatives become singular at the boundary of their respective domains of definition. For such systems, optimal control problems have been studied in the past. We focus here on the situation when the cost functional of the optimal control problem contains a nondifferentiable term like the (L^1)-norm, which leads to sparsity of optimal controls. For such cases, we establish first-order necessary and second-order sufficient optimality conditions for locally optimal controls. In the approach to second-order sufficient conditions, the main novelty of this paper, we adapt a technique introduced by Casas et al. in the paper (SIAM J Control Optim 53:2168–2202, 2015). In this paper, we show that this method can also be successfully applied to systems of viscous Cahn–Hilliard type with logarithmic nonlinearity. Since the Cahn–Hilliard system corresponds to a fourth-order partial differential equation in contrast to the second-order systems investigated before, additional technical difficulties have to be overcome.
{"title":"Optimality Conditions for Sparse Optimal Control of Viscous Cahn–Hilliard Systems with Logarithmic Potential","authors":"Pierluigi Colli, Jürgen Sprekels, Fredi Tröltzsch","doi":"10.1007/s00245-024-10187-6","DOIUrl":"10.1007/s00245-024-10187-6","url":null,"abstract":"<div><p>In this paper we study the optimal control of a parabolic initial-boundary value problem of viscous Cahn–Hilliard type with zero Neumann boundary conditions. Phase field systems of this type govern the evolution of diffusive phase transition processes with conserved order parameter. It is assumed that the nonlinear functions driving the physical processes within the spatial domain are double-well potentials of logarithmic type whose derivatives become singular at the boundary of their respective domains of definition. For such systems, optimal control problems have been studied in the past. We focus here on the situation when the cost functional of the optimal control problem contains a nondifferentiable term like the <span>(L^1)</span>-norm, which leads to sparsity of optimal controls. For such cases, we establish first-order necessary and second-order sufficient optimality conditions for locally optimal controls. In the approach to second-order sufficient conditions, the main novelty of this paper, we adapt a technique introduced by Casas et al. in the paper (SIAM J Control Optim 53:2168–2202, 2015). In this paper, we show that this method can also be successfully applied to systems of viscous Cahn–Hilliard type with logarithmic nonlinearity. Since the Cahn–Hilliard system corresponds to a fourth-order partial differential equation in contrast to the second-order systems investigated before, additional technical difficulties have to be overcome.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"90 2","pages":""},"PeriodicalIF":1.6,"publicationDate":"2024-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142411164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}