Pub Date : 2026-03-17DOI: 10.1007/s00245-026-10414-2
Ashutosh Dixit, Tuhina Mukherjee, Patrick Winkert
This article studies subcritical elliptic problems driven by a polyharmonic double phase operator and establishes the existence of an unbounded sequence of weak solutions. Our approach relies on the symmetric mountain pass theorem of Ambrosetti and Rabinowitz and successfully treats the delicate degenerate regime of the operator. The results appear to be the first in the literature to address polyharmonic double phase problems within this framework.
{"title":"On Polyharmonic Kirchhoff Problems with Double Phase Structure and Subcritical Nonlinearities","authors":"Ashutosh Dixit, Tuhina Mukherjee, Patrick Winkert","doi":"10.1007/s00245-026-10414-2","DOIUrl":"10.1007/s00245-026-10414-2","url":null,"abstract":"<div><p>This article studies subcritical elliptic problems driven by a polyharmonic double phase operator and establishes the existence of an unbounded sequence of weak solutions. Our approach relies on the symmetric mountain pass theorem of Ambrosetti and Rabinowitz and successfully treats the delicate degenerate regime of the operator. The results appear to be the first in the literature to address polyharmonic double phase problems within this framework.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147560209","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 : 2026-03-17DOI: 10.1007/s00245-026-10409-z
Mengmeng Si, Alain Miranville, Rong Yang, Xin-Guang Yang
This article is concerned with the asymptotic behavior of solutions for the 3D non-autonomous stochastic Kelvin–Voigt–Brinkman–Forchheimer equations driven by additive white noise on unbounded domains. The existence and uniqueness of tempered random attractors are proved for the equations. We also establish that the tempered random attractors are periodic when the non-autonomous external term is periodic in time. The energy equation method is employed to derive the pullback asymptotic compactness of solutions in order to overcome the difficulties caused by the non-compactness of Sobolev embeddings on unbounded domains.
{"title":"Random Attractors for Non-autonomous Stochastic Kelvin–Voigt–Brinkman–Forchheimer Equations on Unbounded Domains","authors":"Mengmeng Si, Alain Miranville, Rong Yang, Xin-Guang Yang","doi":"10.1007/s00245-026-10409-z","DOIUrl":"10.1007/s00245-026-10409-z","url":null,"abstract":"<div><p>This article is concerned with the asymptotic behavior of solutions for the 3D non-autonomous stochastic Kelvin–Voigt–Brinkman–Forchheimer equations driven by additive white noise on unbounded domains. The existence and uniqueness of tempered random attractors are proved for the equations. We also establish that the tempered random attractors are periodic when the non-autonomous external term is periodic in time. The energy equation method is employed to derive the pullback asymptotic compactness of solutions in order to overcome the difficulties caused by the non-compactness of Sobolev embeddings on unbounded domains.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147560208","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 : 2026-03-16DOI: 10.1007/s00245-026-10411-5
Lorena Bociu, Eduardo Casas
We study an optimal control problem for semilinear parabolic equations with infinite horizon, pointwise state contraints and two different types of control constraints (pointwise in space and time, and pointwise in time and (L^2) in space). First we prove first-order necessary conditions, then we provide a second-order sufficient condition for local optimality. The second-order condition is formulated using an extended cone that considers the infinite horizon and the control and state constraints. This condition is sufficient for strict local optimality in the (L^2)-sense. Finally, we address the approximation of the infinite horizon control problem by finite horizon problems. We analyze the convergence of these approximations and provide error estimates.
{"title":"Infinite Horizon Control Problems for Semilinear Parabolic Equations with Pointwise State Constraints","authors":"Lorena Bociu, Eduardo Casas","doi":"10.1007/s00245-026-10411-5","DOIUrl":"10.1007/s00245-026-10411-5","url":null,"abstract":"<div><p>We study an optimal control problem for semilinear parabolic equations with infinite horizon, pointwise state contraints and two different types of control constraints (pointwise in space and time, and pointwise in time and <span>(L^2)</span> in space). First we prove first-order necessary conditions, then we provide a second-order sufficient condition for local optimality. The second-order condition is formulated using an extended cone that considers the infinite horizon and the control and state constraints. This condition is sufficient for strict local optimality in the <span>(L^2)</span>-sense. Finally, we address the approximation of the infinite horizon control problem by finite horizon problems. We analyze the convergence of these approximations and provide error estimates.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-026-10411-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147559343","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 : 2026-03-16DOI: 10.1007/s00245-026-10394-3
Yuhang Jiang, Jinming Li, Shihu Li
In this work, we investigate the McKean-Vlasov stochastic partial differential equations driven by Poisson random measure. By adapting the variational framework, we prove the well-posedness and large deviation principle for a class of McKean-Vlasov stochastic partial differential equations with monotone coefficients. The main results can be applied to quasi-linear McKean-Vlasov equations such as distribution dependent stochastic porous media equation and stochastic p-Laplace equation. Our proof is based on the improved weak convergence approach proposed in (Liu, W.et al.: Potential Anal. 59, 1141–1190 (2023)), which is specifically developed to handle the large deviation principle for distribution-dependent stochastic systems. Furthermore, by using the methodological strategy in (Wu, W. and Zhai, J.: SIAM J. Math. Anal. 56, 1–42 (2024)), we employ the time discretization procedure and relative entropy estimates to successfully drop the compactness assumption of embedding in the Gelfand triple, enabling us to address both bounded and unbounded domains in applications.
本文研究了由泊松随机测度驱动的McKean-Vlasov随机偏微分方程。采用变分框架,证明了一类具有单调系数的McKean-Vlasov随机偏微分方程的适定性和大偏差原理。主要结果可应用于拟线性McKean-Vlasov方程,如分布相关随机多孔介质方程和随机p-Laplace方程。我们的证明是基于(Liu, W.et al.: Potential Anal. 59, 1141-1190(2023))中提出的改进的弱收敛方法,该方法专门用于处理分布依赖随机系统的大偏差原理。此外,通过使用[Wu, W. and Zhai, J.]的方法策略:SIAM J. Math。在论文(Anal. 56, 1-42(2024))中,我们采用时间离散化过程和相对熵估计来成功地放弃Gelfand三组中嵌入的紧性假设,使我们能够在应用中处理有界和无界域。
{"title":"McKean-Vlasov SPDEs Driven by Poisson Random Measure: Well-Posedness and Large Deviation Principle","authors":"Yuhang Jiang, Jinming Li, Shihu Li","doi":"10.1007/s00245-026-10394-3","DOIUrl":"10.1007/s00245-026-10394-3","url":null,"abstract":"<div><p>In this work, we investigate the McKean-Vlasov stochastic partial differential equations driven by Poisson random measure. By adapting the variational framework, we prove the well-posedness and large deviation principle for a class of McKean-Vlasov stochastic partial differential equations with monotone coefficients. The main results can be applied to quasi-linear McKean-Vlasov equations such as distribution dependent stochastic porous media equation and stochastic <i>p</i>-Laplace equation. Our proof is based on the improved weak convergence approach proposed in (Liu, W.et al.: Potential Anal. <b>59</b>, 1141–1190 (2023)), which is specifically developed to handle the large deviation principle for distribution-dependent stochastic systems. Furthermore, by using the methodological strategy in (Wu, W. and Zhai, J.: SIAM J. Math. Anal. <b>56</b>, 1–42 (2024)), we employ the time discretization procedure and relative entropy estimates to successfully drop the compactness assumption of embedding in the Gelfand triple, enabling us to address both bounded and unbounded domains in applications.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147559451","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 : 2026-03-13DOI: 10.1007/s00245-026-10415-1
Mingqi Xiang, Linlin Chen
In this paper, we are devoted to studying the following nonlocal elliptic-parabolic equations involving the fractional (p, 2)-Laplacian
$$begin{aligned} {left{ begin{array}{ll} displaystyle partial _t^beta u+ (-Delta )_{p}^alpha u+(-Delta )_{2,a}^{iota }u=lambda |u|^{q-2}uv+g(x,t) & text{ in } Omega times mathbb {R}^{+}, (-Delta )^gamma v=|u|^{q} & text{ in } Omega times mathbb {R}^{+}, u(x,t)=v(x,t)=0 & text{ in } (mathbb {R}^Nsetminus Omega )times mathbb {R}^+, u(x,0)=u_0(x) & text{ in } Omega , end{array}right. } end{aligned}$$
where (Omega subset mathbb {R}^N) is a bounded domain with Lipschitz boundary, ((-Delta )_{p}^{alpha }+(-Delta )_{2,a}^{iota }) is the fractional (p, 2)-Laplacian with (0<{iota }<alpha <1), (p,qge 2), (a:mathbb {R}^Ntimes mathbb {R}^Nrightarrow [0,infty )) is a bounded function, (partial _t^{beta }) is the Riemann-Liouville time fractional derivative with (0<beta <1), (lambda ) is a parameter, and (gin L^infty (0,infty ;L^2(Omega ))). The existence theory of solutions is established by applying the Galerkin method combined with fractional calculus theory. Then, by the comparison theorem, the uniqueness of the global weak solution is derived. Moreover, under some suitable assumptions, we also give a decay estimate of solutions. There are two main features of this paper. First, our problem is the combination of both the Riemann-Liouville time fractional derivative and the fractional (p, 2)-Laplacian operator. In particular, the fractional Laplacian ((-Delta )_{2,a}^{iota }) has a weight function (a(cdot )) which plays a role in transforming between two states. If (pne 2), the presence of two fractional operators with different growth, which generates a double phase anisotropic energy. Second, by the Lax-Milgram theorem, the above problem presents a Choquard nonlinear term, which also leads to non-local characteristics.
{"title":"Nonlocal Diffusion Equations Involving (p, 2)-Laplacian: Existence and Decay Estimates","authors":"Mingqi Xiang, Linlin Chen","doi":"10.1007/s00245-026-10415-1","DOIUrl":"10.1007/s00245-026-10415-1","url":null,"abstract":"<div><p>In this paper, we are devoted to studying the following nonlocal elliptic-parabolic equations involving the fractional (<i>p</i>, 2)-Laplacian </p><div><div><span>$$begin{aligned} {left{ begin{array}{ll} displaystyle partial _t^beta u+ (-Delta )_{p}^alpha u+(-Delta )_{2,a}^{iota }u=lambda |u|^{q-2}uv+g(x,t) & text{ in } Omega times mathbb {R}^{+}, (-Delta )^gamma v=|u|^{q} & text{ in } Omega times mathbb {R}^{+}, u(x,t)=v(x,t)=0 & text{ in } (mathbb {R}^Nsetminus Omega )times mathbb {R}^+, u(x,0)=u_0(x) & text{ in } Omega , end{array}right. } end{aligned}$$</span></div></div><p>where <span>(Omega subset mathbb {R}^N)</span> is a bounded domain with Lipschitz boundary, <span>((-Delta )_{p}^{alpha }+(-Delta )_{2,a}^{iota })</span> is the fractional (<i>p</i>, 2)-Laplacian with <span>(0<{iota }<alpha <1)</span>, <span>(p,qge 2)</span>, <span>(a:mathbb {R}^Ntimes mathbb {R}^Nrightarrow [0,infty ))</span> is a bounded function, <span>(partial _t^{beta })</span> is the Riemann-Liouville time fractional derivative with <span>(0<beta <1)</span>, <span>(lambda )</span> is a parameter, and <span>(gin L^infty (0,infty ;L^2(Omega )))</span>. The existence theory of solutions is established by applying the Galerkin method combined with fractional calculus theory. Then, by the comparison theorem, the uniqueness of the global weak solution is derived. Moreover, under some suitable assumptions, we also give a decay estimate of solutions. There are two main features of this paper. First, our problem is the combination of both the Riemann-Liouville time fractional derivative and the fractional (<i>p</i>, 2)-Laplacian operator. In particular, the fractional Laplacian <span>((-Delta )_{2,a}^{iota })</span> has a weight function <span>(a(cdot ))</span> which plays a role in transforming between two states. If <span>(pne 2)</span>, the presence of two fractional operators with different growth, which generates a double phase anisotropic energy. Second, by the Lax-Milgram theorem, the above problem presents a Choquard nonlinear term, which also leads to non-local characteristics.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147441436","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 : 2026-03-12DOI: 10.1007/s00245-026-10413-3
Xuping Zhang, Pengyu Chen
The aim of this paper is to establish the limiting behavior of random attractors for non-autonomous Benjamin-Bona-Mahony equations with nonlinear colored noise and time-delay defined on unbounded channels. A suitable condition to control the time-delay term is given and then several necessary uniform estimates on the solutions of the problem are established. The pullback asymptotical compactness of the non-autonomous cocycle associated with non-autonomous BBM equation with nonlinear colored noise and time-delay in (C([-rho ,0],H_0^1(mathcal {O}))) is proved by virtue of the arguments of Arzela-Ascoli theorem, spectral decomposition as well as uniform tail-estimates in order to surmount several difficulties caused by the lack of compact Sobolev embeddings on unbounded domains and weak dissipative structure of the equation. Then the existence of tempered pullback random attractors of the equation is established in (C([-rho ,0],H_0^1(mathcal {O}))) for nonlinear growth diffusion term as well as Lipschitz time-delay term. At last, the upper semi-continuity of two random attractors is investigated by utilizing the strategy of showing that the solution of BBM equation with time-delay convergent to the solution of non-delay BBM equation as the time delay approaches zero. This work extended our previous work [8, Mathematische Annalen, 2023] to non-autonomous BBM equation with time-delay and further considered the limiting behavior of random attractors.
{"title":"Limiting Dynamics of BBM Equations with Nonlinear Colored Noise and Time-Delay on Unbounded Channel","authors":"Xuping Zhang, Pengyu Chen","doi":"10.1007/s00245-026-10413-3","DOIUrl":"10.1007/s00245-026-10413-3","url":null,"abstract":"<div><p>The aim of this paper is to establish the <b><i>limiting behavior</i></b> of random attractors for non-autonomous Benjamin-Bona-Mahony equations with <b><i>nonlinear</i></b> colored noise and time-delay defined on unbounded channels. A suitable condition to control the time-delay term is given and then several necessary uniform estimates on the solutions of the problem are established. The pullback asymptotical compactness of the non-autonomous cocycle associated with non-autonomous BBM equation with nonlinear colored noise and time-delay in <span>(C([-rho ,0],H_0^1(mathcal {O})))</span> is proved by virtue of the arguments of Arzela-Ascoli theorem, spectral decomposition as well as uniform tail-estimates in order to surmount several difficulties caused by the lack of compact Sobolev embeddings on unbounded domains and weak dissipative structure of the equation. Then the existence of tempered pullback random attractors of the equation is established in <span>(C([-rho ,0],H_0^1(mathcal {O})))</span> for nonlinear growth diffusion term as well as Lipschitz time-delay term. At last, the upper semi-continuity of two random attractors is investigated by utilizing the strategy of showing that the solution of BBM equation with time-delay convergent to the solution of non-delay BBM equation as the time delay approaches zero. This work extended our previous work [8, Mathematische Annalen, 2023] to non-autonomous BBM equation with time-delay and further considered the limiting behavior of random attractors.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147441124","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 : 2026-03-10DOI: 10.1007/s00245-026-10404-4
Cunsai Shen, Jiashan Zheng, Liqiong Pu
This article primarily investigates the convergence rates of solutions to the chemotaxis-Stokes system, which consists of two distinct species represented by the following system
subject to homogeneous Neumann boundary conditions within a smooth bounded domain (Omega subset mathbb {R}^3). By formulating a suitable energy functional, the following results are established: (bullet ) If (lambda _{2}mu _{1}>blambda _{1}) and both (mu _{1}) and (mu _{2}) are sufficiently large, it is demonstrated that for any global bounded solution originating from adequately regular initial data with (u_{10}, u_{20}not equiv 0),
where ((u_{1star },u_{2star },u_{2star },u_{1star },0)) denotes the unique positive spatially homogeneous equilibrium of this system. (bullet ) If (lambda _{2}mu _{1}le blambda _{1}) and (mu _{1}) is sufficiently large, then all global bounded solutions with reasonably smooth initial data satisfying (u_{10}not equiv 0) exhibit the following behavior:
$$ (u_{1},u_{2},v_{1},v_{2},w)(cdot ,t) rightarrow left( frac{lambda _{1}}{mu _{1}},0,0,frac{lambda _{1}}{mu _{1}},0right) quad text {uniformly on} Omega text {as} t rightarrow infty . $$
{"title":"Asymptotic Behavior of a 3D Chemotaxis-Stokes Predator–Prey System Incorporating Logistic Growth","authors":"Cunsai Shen, Jiashan Zheng, Liqiong Pu","doi":"10.1007/s00245-026-10404-4","DOIUrl":"10.1007/s00245-026-10404-4","url":null,"abstract":"<div><p>This article primarily investigates the convergence rates of solutions to the chemotaxis-Stokes system, which consists of two distinct species represented by the following system </p><div><div><span>$$begin{aligned} {left{ begin{array}{ll} u_{1t}+wcdot nabla u_{1}=Delta u_{1}-chi nabla cdot bigl (u_{1}nabla v_{1}bigl )+u_{1}bigl (lambda _{1}-mu _{1}u_{1}+au_{2}bigl ),& quad xin Omega ,t>0, u_{2t}+wcdot nabla u_{2}=Delta u_{2}+xi nabla cdot bigl (u_{2}nabla v_{2}bigl )+u_{2}bigl (lambda _{2}-mu _{2}u_{2}-bu_{1}bigl ),& quad xin Omega ,t>0, v_{1t}+wcdot nabla v_{1}=Delta v_{1}-v_{1}+u_{2},& quad xin Omega ,t>0, wcdot nabla v_{2}=Delta v_{2}-v_{2}+u_{1},& quad xin Omega ,t>0, w_{t}+nabla P=Delta w+(u_{1}+u_{2})nabla phi ,& quad xin Omega ,t>0, nabla cdot w=0,& quad xin Omega ,t>0, end{array}right. } end{aligned}$$</span></div></div><p>subject to homogeneous Neumann boundary conditions within a smooth bounded domain <span>(Omega subset mathbb {R}^3)</span>. By formulating a suitable energy functional, the following results are established: <span>(bullet )</span> If <span>(lambda _{2}mu _{1}>blambda _{1})</span> and both <span>(mu _{1})</span> and <span>(mu _{2})</span> are sufficiently large, it is demonstrated that for any global bounded solution originating from adequately regular initial data with <span>(u_{10}, u_{20}not equiv 0)</span>, </p><div><div><span>$$begin{aligned} (u_{1},u_{2},v_{1},v_{2},w)(cdot ,t)rightarrow (u_{1star },u_{2star },u_{2star },u_{1star },0) quad text{ uniformly } text{ in }~Omega ~text{ as }~trightarrow infty , end{aligned}$$</span></div></div><p>where <span>((u_{1star },u_{2star },u_{2star },u_{1star },0))</span> denotes the unique positive spatially homogeneous equilibrium of this system. <span>(bullet )</span> If <span>(lambda _{2}mu _{1}le blambda _{1})</span> and <span>(mu _{1})</span> is sufficiently large, then all global bounded solutions with reasonably smooth initial data satisfying <span>(u_{10}not equiv 0)</span> exhibit the following behavior: </p><div><div><span>$$ (u_{1},u_{2},v_{1},v_{2},w)(cdot ,t) rightarrow left( frac{lambda _{1}}{mu _{1}},0,0,frac{lambda _{1}}{mu _{1}},0right) quad text {uniformly on} Omega text {as} t rightarrow infty . $$</span></div></div></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147440804","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 : 2026-03-10DOI: 10.1007/s00245-026-10410-6
Min Tao, Xiao-Ping Zhang
Many applications involve nonsmooth optimization problems that often exhibit a low-dimensional structure in their optimal solutions. The projection gradient method (PG), the alternating direction method of multipliers (ADMM), and the accelerated projection gradient method (APG) are particularly effective for solving nonconvex composite programming problems and are known to determine the optimal sparsity pattern after a finite number of iterations. However, the exact number of iterations required to identify the final sparsity pattern remains an open problem. In this work, we develop a novel analytical framework to characterize the complexity of determining the active manifold and provide a rigorous proof. Using this framework, we show that PG, ADMM, and APG satisfy the necessary assumptions, enabling us to characterize the complexity of identifying the final active manifold for composite programs with nonsmooth, nonconvex regularizers, such as the (L_0) and (L_p) norms, without requiring nondegeneracy conditions. Finally, we present numerical validation for the derived theoretical complexity bound.
{"title":"A Complexity Analysis Framework for Active Manifold Identification with Applications to (L_0) and (L_p) Regularization Models","authors":"Min Tao, Xiao-Ping Zhang","doi":"10.1007/s00245-026-10410-6","DOIUrl":"10.1007/s00245-026-10410-6","url":null,"abstract":"<div><p>Many applications involve nonsmooth optimization problems that often exhibit a low-dimensional structure in their optimal solutions. The projection gradient method (PG), the alternating direction method of multipliers (ADMM), and the accelerated projection gradient method (APG) are particularly effective for solving nonconvex composite programming problems and are known to determine the optimal sparsity pattern after a finite number of iterations. However, the exact number of iterations required to identify the final sparsity pattern remains an open problem. In this work, we develop a novel analytical framework to characterize the complexity of determining the active manifold and provide a rigorous proof. Using this framework, we show that PG, ADMM, and APG satisfy the necessary assumptions, enabling us to characterize the complexity of identifying the final active manifold for composite programs with nonsmooth, nonconvex regularizers, such as the <span>(L_0)</span> and <span>(L_p)</span> norms, without requiring nondegeneracy conditions. Finally, we present numerical validation for the derived theoretical complexity bound.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147440807","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 : 2026-03-09DOI: 10.1007/s00245-026-10389-0
Renan J. S. Isneri, Chao Ji, Olimpio H. Miyagaki
In this paper, we study nonlinear elliptic equations on finite weighted graphs from two complementary perspectives. First, we investigate a discrete analogue of the classical Yamabe-type problem, focusing on the existence and nonexistence of spectral-threshold solutions. Secondly, we consider a Schrödinger-type equation with prescribed mass and establish the existence and nonexistence of normalized solutions in every (L^2)-growth regime of the nonlinearity, without any restriction on the mass.
{"title":"Spectral-Threshold and Normalized Solutions for Nonlinear Elliptic Equations on Finite Weighted Graphs","authors":"Renan J. S. Isneri, Chao Ji, Olimpio H. Miyagaki","doi":"10.1007/s00245-026-10389-0","DOIUrl":"10.1007/s00245-026-10389-0","url":null,"abstract":"<div><p>In this paper, we study nonlinear elliptic equations on finite weighted graphs from two complementary perspectives. First, we investigate a discrete analogue of the classical Yamabe-type problem, focusing on the existence and nonexistence of spectral-threshold solutions. Secondly, we consider a Schrödinger-type equation with prescribed mass and establish the existence and nonexistence of normalized solutions in every <span>(L^2)</span>-growth regime of the nonlinearity, without any restriction on the mass.</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00245-026-10389-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147440980","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 : 2026-03-07DOI: 10.1007/s00245-026-10408-0
Ovidiu Cârjă, Alina I. Lazu
For a class of nonlinear systems in Banach spaces we provide feedback laws which lead to null controllability and to good estimates for the associated minimum time function.
对于Banach空间中的一类非线性系统,给出了零可控性和相关最小时间函数的良好估计的反馈律。
{"title":"Feedback Null Controllability for a Class of Nonlinear Systems in Banach Spaces","authors":"Ovidiu Cârjă, Alina I. Lazu","doi":"10.1007/s00245-026-10408-0","DOIUrl":"10.1007/s00245-026-10408-0","url":null,"abstract":"<div><p>For a class of nonlinear systems in Banach spaces we provide feedback laws which lead to null controllability and to good estimates for the associated minimum time function.\u0000</p></div>","PeriodicalId":55566,"journal":{"name":"Applied Mathematics and Optimization","volume":"93 2","pages":""},"PeriodicalIF":1.7,"publicationDate":"2026-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147363371","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}