{"title":"Optimal Control of Two-Phase Membrane Problem","authors":"Farid Bozorgnia, Vyacheslav Kungurtsev","doi":"10.1007/s00245-025-10282-2","DOIUrl":"10.1007/s00245-025-10282-2","url":null,"abstract":"<div><p>We consider an optimal control problem where the state is governed by a free boundary problem called the two-phase membrane problem and the control appears in the coefficients of the state equation, influencing the positive and negative phases of the solution. Our investigation focuses on various properties associated with the control-to-state map. Due to the non-differentiability of this map, we regularize the state equation. The existence, uniqueness, and characterization of the optimal pairs are established.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145170456","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}
Gang Cao, Yejuan Wang, Xiaoying Han, Peter E. Kloeden
{"title":"Entire Solutions of Stochastic Unbounded Delay Evolution Variational Inequalities Driven by Tempered Fractional Noise with an Exponential Dichotomy","authors":"Gang Cao, Yejuan Wang, Xiaoying Han, Peter E. Kloeden","doi":"10.1007/s00245-025-10284-0","DOIUrl":"10.1007/s00245-025-10284-0","url":null,"abstract":"<div><p>The aim of this paper is to study a stochastic unbounded delay evolution variational inequality which consists of a stochastic unbounded delay evolution equation driven by tempered fractional noise with exponential dichotomy and a stochastic variational inequality. First, the existence and uniqueness of the mild solution on <span>( {mathbb {R}} )</span> are established for the linear stochastic evolution equation overcoming the challenges posed by the exponential dichotomy of the evolution family <span>( left{ S(t,s)right} _{tge s} )</span> generated by the family of closed, densely defined linear operators <i>A</i>(<i>t</i>) in (1). Then after giving the equivalent form of the stochastic variational inequality defined on <span>( {mathbb {R}} )</span>, the existence and uniqueness of the mild solution on <span>( {mathbb {R}} )</span> are proved for the stochastic unbounded delay evolution variational inequality (1) by using the Banach fixed point theorem instead of the iteration method and convergence analysis. Notably, due to the nontrivial exponential dichotomy of the evolution family <span>( left{ S(t,s)right} _{tge s} )</span>, the stability can not be established for the nonlinear stochastic evolution variational inequality (1) and even for the linear stochastic evolution equation (5). Moreover, we show the exponential stability of the nontrivial equilibrium solution for the stochastic unbounded delay evolution variational inequality (1) but under the assumption that the evolution family <span>( left{ S(t,s)right} _{tge s} )</span> is exponential stable. Finally, the stochastic reaction diffusion variational inequality is considered as an example of application.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145170455","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}
{"title":"Finite Approximations for Mean-Field Type Multi-agent Control and Their Near Optimality","authors":"Erhan Bayraktar, Nicole Bäuerle, Ali Devran Kara","doi":"10.1007/s00245-025-10279-x","DOIUrl":"10.1007/s00245-025-10279-x","url":null,"abstract":"<div><p>We study a multi-agent mean-field type control problem in discrete time where the agents aim to find a socially optimal strategy and where the state and action spaces for the agents are assumed to be continuous. The agents are only weakly coupled through the distribution of their state variables. The problem in its original form can be formulated as a classical Markov decision process (MDP), however, this formulation suffers from several practical difficulties. In this work, we attempt to overcome the curse of dimensionality, coordination complexity between the agents, and the necessity of perfect feedback collection from all the agents (which might be hard to do for large populations.) We provide several approximations: we establish the near optimality of the action and state space discretization of the agents under standard regularity assumptions for the considered formulation by constructing and studying the measure valued MDP counterpart for finite and infinite population settings. It is a well known approach to consider the infinite population problem for mean-field type models, since it provides symmetric policies for the agents which simplifies the coordination between the agents. However, the optimality analysis is harder as the state space of the measure valued infinite population MDP is continuous (even after space discretization of the agents). Therefore, as a final step, we provide two further approximations for the infinite population problem: the first one directly aggregates the probability measure space, and requires the distribution of the agents to be collected and mapped with a nearest neighbor map, and the second method approximates the measure valued MDP through the empirical distributions of a smaller sized sub-population, for which one only needs keep track of the mean-field term as an estimate by collecting the state information of a small sub-population. For each of the approximation methods, we provide provable regret bounds.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145170661","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}
{"title":"Anisotropic Double Phase Elliptic Inclusion Systems with Logarithmic Perturbation and Multivalued Convections","authors":"Shengda Zeng, Yasi Lu, Vicenţiu D. Rădulescu","doi":"10.1007/s00245-025-10278-y","DOIUrl":"10.1007/s00245-025-10278-y","url":null,"abstract":"<div><p>In this paper, we investigate a class of variable exponent double phase elliptic inclusion systems involving anisotropic partial differential operators with logarithmic perturbation as well as two fully coupled multivalued terms, one of them is defined in the domain and the other is defined on the boundary, respectively. Firstly, under the suitable coercive conditions, the existence of a weak solution for the double phase elliptic inclusion systems is verified via applying a surjectivity theorem concerning multivalued pseudomonotone operators. Then, when the elliptic inclusion system is considered in non-coercive framework, we employ the sub-supersolution method to establish the existence and compactness results. Finally, we deliver several solvability properties of some special cases with respect to the elliptic inclusion system under consideration via constructing proper sub- and super-solutions.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-025-10278-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145168209","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}
Abderrahim Bouach, Tahar Haddad, Boris S. Mordukhovich
{"title":"Discrete Approximations and Optimality Conditions for Integro-Differential Inclusions","authors":"Abderrahim Bouach, Tahar Haddad, Boris S. Mordukhovich","doi":"10.1007/s00245-025-10272-4","DOIUrl":"10.1007/s00245-025-10272-4","url":null,"abstract":"<div><p>This paper addresses a new class of generalized Bolza problems governed by nonconvex integro-differential inclusions with endpoint constraints on trajectories, where the integral terms are given in the general (with time-dependent integrands in the dynamics) Volterra form. We pursue here a threefold goal. First we construct well-posed approximations of continuous-time integro-differential systems by their discrete-time counterparts with showing that any feasible solution to the original system can be strongly approximated in the <span>(W^{1,2})</span>-norm topology by piecewise-linear extensions of feasible discrete trajectories. This allows us to verify in turn the strong convergence of discrete optimal solutions to a prescribed local minimizer for the original problem. Facing intrinsic nonsmoothness of original integro-differential problem and its discrete approximations, we employ appropriate tools of generalized differentiation in variational analysis to derive necessary optimality conditions for discrete-time problems (which is our second goal) and finally accomplish our third goal to obtain necessary conditions for the original continuous-time problems by passing to the limit from discrete approximations. In this way we establish, in particular, a novel necessary optimality condition of the Volterra type, which is the crucial result for dynamic optimization of integro-differential inclusions.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145168210","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}
{"title":"Hausdorff Dimension of Random Attractors for a Stochastic Delayed Parabolic Equation in Banach Spaces","authors":"Wenjie Hu, Tomás Caraballo, Yueliang Duan","doi":"10.1007/s00245-025-10281-3","DOIUrl":"10.1007/s00245-025-10281-3","url":null,"abstract":"<div><p>The main purpose of this paper is to give an upper bound of Hausdorff dimension of random attractors for a stochastic delayed parabolic equation in Banach spaces. The estimation of dimensions of random attractors are obtained by combining the squeezing property and a covering lemma of finite subspace of Banach spaces, which generalizes the method established in Hilbert spaces. Due to the lack of smooth inner product geometry structure, we adopt the state decomposition of phase space based on the exponential dichotomy of the linear deterministic part of the studied equations instead of orthogonal projectors with finite ranks used for stochastic partial differential equations. The obtained dimension of the random attractors depends only on the inner characteristics of the studied equation, such as spectrum of the linear part and the random Lipschitz constant of the nonlinear term, while not relating to the compact embedding of the phase space to another Banach space as the existing works did.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145169370","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}
{"title":"Wasserstein Convergence Rate for Empirical Measures of Markov Processes","authors":"Feng-Yu Wang","doi":"10.1007/s00245-025-10275-1","DOIUrl":"10.1007/s00245-025-10275-1","url":null,"abstract":"<div><p>The convergence rate in Wasserstein distance is estimated for empirical measures of ergodic Markov processes, and the estimate can be sharp in some specific situations. The main result is applied to subordinations of typical models excluded by existing results, which include: stochastic Hamiltonian systems on <span>({mathbb{R}}^{n}times {mathbb{R}}^{m})</span>, spherical velocity Langevin processes on <span>({mathbb{R}}^ntimes mathbb S^{n-1},)</span> multi-dimensional Wright–Fisher type diffusion processes, and stable type jump processes.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145169371","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}
{"title":"On Shape Optimization for Fourth Order Steklov eigenvalue Problems","authors":"Changwei Xiong, Jinglong Yang, Jinchao Yu","doi":"10.1007/s00245-025-10277-z","DOIUrl":"10.1007/s00245-025-10277-z","url":null,"abstract":"<div><p>We study three types of fourth-order Steklov eigenvalue problems. For the first two of them, we derive the asymptotic expansion of the eigenvalues on Euclidean annular domains <span>(mathbb {B}^n_1setminus overline{mathbb {B}^n_epsilon })</span> as <span>(epsilon rightarrow 0)</span>, in turn yielding some interesting results regarding the shape optimization of the eigenvalues. For these two problems, we also compute the respective spectra on cylinders over closed Riemannian manifolds. For the third problem, we obtain a sharp upper bound for its first non-zero eigenvalue on star-shaped and mean convex Euclidean domains.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145167758","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}
{"title":"Optimal Control for Coupled Sweeping Processes Under Minimal Assumptions","authors":"Samara Chamoun, Vera Zeidan","doi":"10.1007/s00245-025-10268-0","DOIUrl":"10.1007/s00245-025-10268-0","url":null,"abstract":"<div><p>In this paper, the study of nonsmooth optimal control problems (<i>P</i>) involving a controlled sweeping process with <i>three</i> main characteristics is launched. First, the sweeping sets are <i>nonsmooth</i>, <i>time-dependent</i>, and uniformly prox-regular. Second, the sweeping process is <i>coupled</i> with a controlled differential equation. Third, a <i>joint</i>-state endpoints constraint set <i>S</i> is present. This general model incorporates different important controlled submodels, such as a class of second order sweeping processes, and coupled evolution variational inequalities. A full form of the <i>nonsmooth</i> Pontryagin maximum principle for <i>strong</i> local minimizers in (<i>P</i>) is derived for <i>bounded or unbounded moving</i> sweeping sets satisfying <i>local</i> constraint qualifications (CQ) <i>without</i> any additional restriction. The existence and uniqueness of a Lipschitz solution for the Cauchy problem of our dynamic is established and the existence of an optimal solution for (<i>P</i>) is obtained. Two of the novelties in achieving the first goal are (i) the construction of a problem over <i>truncated</i> sweeping sets and <i>truncated</i> joint endpoints constraint set that has the same strong local minimizer as (<i>P</i>) and its (CQ) automatically holds, and (ii) the <i>complete redesign</i> of the exponential-penalty approximation technique for problems with moving sweeping sets that <i>do not require</i> any special assumption on the sets, their corners, or on the gradients of their generators. The utility of the optimality conditions is illustrated with an example.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"92 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-025-10268-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166459","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}
{"title":"Taming the Interacting Particle Langevin Algorithm: The Superlinear case","authors":"Tim Johnston, Nikolaos Makras, Sotirios Sabanis","doi":"10.1007/s00245-025-10269-z","DOIUrl":"10.1007/s00245-025-10269-z","url":null,"abstract":"<div><p>Recent advances in stochastic optimization have yielded the interacting particle Langevin algorithm (IPLA), which leverages the notion of interacting particle systems (IPS) to efficiently sample from approximate posterior densities. This becomes particularly crucial in relation to the framework of Expectation-Maximization (EM), where the E-step is computationally challenging or even intractable. Although prior research has focused on scenarios involving convex cases with gradients of log densities that grow at most linearly, our work extends this framework to include polynomial growth. Taming techniques are employed to produce an explicit discretization scheme that yields a new class of stable, under such non-linearities, algorithms which are called tamed interacting particle Langevin algorithms (tIPLA). We obtain non-asymptotic convergence error estimates in Wasserstein-2 distance for the new class under the best known rate.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"91 3","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-025-10269-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145164468","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}