Search arXiv⌕ Search

arXiv · 2610.12105

Invariant manifolds and transversality for a traveling-wave ODE in a controlled reaction-diffusion model

Abstract

We study the parameter dependence and transversality properties of trajectories of the controlled ODE $$ U_x = P, \qquad P_x = - f(U) - βP + \tilde α(x)U, $$ arising from traveling-wave solutions of a bistable reaction-diffusion equation with control. Optimal profiles minimizing the $L^1$-norm of the control $\tilde α$ are determined by the unstable and stable manifolds $Γ_u$, $Γ_s$, the critical curve $$ P^*(U) = \sqrt{Uf(U)}, $$ and the associated function $$ F(U) = \frac{dP^*}{dU} + \frac{f(U)}{P^*(U)}. $$ We establish generic transversality properties for these objects with respect to perturbations of the speed $β$ and the nonlinear source $f$, together with quantitative estimates on the first- and second-order dependence of the invariant manifolds on these parameters. We also analyze the loss of regularity at the critical speed $β^{**}$, where the unstable manifold approaches the strongly stable manifold of the equilibrium $(U^*,0)$. These results provide the ODE ingredients used in the analysis of the structure and regularity of optimal profiles in paper [S. Bianchini and C. Trifone. Traveling profiles and control cost for a PDE describing the evolution of invasive species. 2026. arXiv: 2606.23979 [math.OC]].

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stefano Bianchini, Chiara Trifone. 2026-10-08. Invariant manifolds and transversality for a traveling-wave ODE in a controlled reaction-diffusion model. https://arxiv.org/abs/2610.12105

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Explicit lower bound of blow-up time in a fully parabolic attraction-repulsion chemotaxis system with nonlinear terms

It is known that for the parabolic-elliptic Keller-Segel type system in a smooth bounded domain in 3-dimensional space, the lower bound of a blow-up time of unbounded solution is given. This paper extends the previous works to deal with the fully parabolic Keller-Segel type system in any spatial dimension larger than 3. Firstly, we prove that any blow-up time of an energy function is also the classical blow-up time when its energy level is sufficiently large. Secondly, we give an explicit estimation for the lower bound of blow-up time for the fully parabolic attraction-repulsion chemotaxis system with nonlinear terms, under homogeneous Neumann boundary conditions, in a smooth bounded domain.

math.AP↗

Regularity and positivity of solutions of the Consensus-Based Optimization equation: unconditional global convergence

Introduced in {\it R. Pinnau, et al. (Math. Models Methods Appl. Sci., 2017)}, Consensus-Based Optimization (CBO) has rapidly emerged as a significant breakthrough in global optimization. This straightforward yet powerful multi-particle, zero-order optimization method draws inspiration from Simulated Annealing and Particle Swarm Optimization. Using a quantitative mean-field approximation, CBO dynamics can be described by a nonlinear Fokker-Planck equation with degenerate diffusion, which does not follow a gradient flow structure. In this paper, we demonstrate that solutions to the CBO equation remain positive and maintain full support. Building on this foundation, we establish the {\it unconditional} global convergence of CBO methods to global minimizers. Our results are derived through an analysis of solution regularity and the proof of existence for smooth, classical solutions to a broader class of drift-diffusion equations, despite the challenges posed by degenerate diffusion.

math.AP↗

An Elliptic-Parabolic Free Boundary Problem with Discontinuous Data

We consider an elliptic-parabolic free boundary problem that models the fluid flow through a partially saturated porous medium. The free boundary arises as the interface separating the saturated and unsaturated regions. Our main goal is to investigate, for the 1+1 dimensional model, how jump discontinuities on the boundary and initial data influence the regularity of both the solution and the free boundary. We show that if the data is merely bounded, then weak solutions are Lipschitz in space and $C^{1/2}$ in time in the unsaturated region. Moreover, the free boundary is locally the graph of a $C^{1/2}$ function, and this regularity is optimal. We view this analysis as a stepping stone towards the study of local regularization for higher-dimensional elliptic-parabolic free boundaries.

math.AP↗