🔢 mathematics

Nash-Stackelberg controllability for coupled systems of degenerate equations in non-cylindrical domains

This paper investigates the local hierarchical null controllability of a coupled semilinear degenerate parabolic system in time-dependent domains by applying Liusternik's inverse function theorem and adapting a previously developed Carleman estimate for non-autonomous degenerate equations.

Original authors: Alfredo S. Gamboa, Juan Limaco, Luis P. Yapu

Published 2026-02-10

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Alfredo S. Gamboa, Juan Limaco, Luis P. Yapu

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a conductor of a very complex, high-stakes orchestra. This orchestra is playing in a concert hall where the walls are constantly moving, shifting, and changing shape. To make matters even more complicated, the musicians aren't just playing; they are reacting to each other in a complex web of influence.

This paper is a mathematical blueprint for how to "control" that orchestra to ensure they all hit a perfect, silent pause at exactly the same time.

Here is the breakdown of the paper using everyday concepts:

1. The Moving Stage (Non-cylindrical Domains)

In most math problems, the "stage" (the area where things happen) is fixed. In this paper, the stage is non-cylindrical, meaning the boundaries are moving.

The Analogy: Imagine trying to play a game of soccer, but the field is stretching and shrinking while you run. You can't just aim for a fixed goalpost; you have to account for where the goalpost will be by the time the ball gets there.

2. The Degenerate Music (Degenerate Equations)

The "sound" or the physics in this system is degenerate. In math, this means that at certain points (like the very edge of the stage), the rules of physics "fade out" or become zero.

The Analogy: Imagine a piano where the keys at the very bottom of the keyboard don't make any sound at all. If you want to play a specific melody, you have to work extra hard to compensate for those "silent zones" so the music doesn't fall apart.

3. The Boss and the Employees (Nash-Stackelberg Control)

This is the heart of the paper. The researchers aren't just looking for one person to control everything. They are looking at a hierarchical system:

The Leader (Stackelberg): This is the "Boss." They have one main control knob. They move first, making a choice to try and steer the whole system toward a goal.
The Followers (Nash): These are the "Employees." They watch what the Boss does, and then they each use their own smaller control knobs to reach their own individual goals. They are in a "Nash Equilibrium," meaning they’ve found the best way to act given what the Boss is doing.
The Goal: The Boss wants to achieve "Null Controllability"—which is a fancy way of saying they want to force the entire system to reach a state of perfect silence (zero) at a specific time.

4. The Mathematical "Magic Trick" (Carleman Estimates & Inverse Function Theorem)

How do you actually prove this is possible? The authors use two heavy-duty mathematical tools:

The Carleman Estimate: Think of this as a super-powered spotlight. Because the stage is moving and the music is fading out, it’s hard to "see" what’s happening. The Carleman estimate is a mathematical way of shining a light so bright that it reveals exactly how much energy is needed to steer the system, even in the dark, moving corners.
The Inverse Function Theorem: This is like a GPS rerouting system. Once the mathematicians prove they can control a "simplified, linearized" version of the orchestra (the "small" version), this theorem allows them to say, "If we can control the small version, we can also control the real, complex, nonlinear version, as long as we don't start too far away from our goal."

Summary

In short, the paper proves that even if you are in a shifting environment (moving domains), dealing with fading physics (degenerate equations), and managing a complex hierarchy of competing interests (Stackelberg-Nash), a clever leader can still use specific mathematical strategies to bring the entire chaotic system to a perfect, controlled standstill.

Technical Summary: Nash-Stackelberg Controllability for Coupled Systems of Degenerate Equations in Non-Cylindrical Domains

1. Problem Statement

The paper addresses the hierarchical (Stackelberg-Nash) null controllability of a coupled system of semilinear degenerate parabolic equations. The mathematical complexity arises from three distinct sources:

Degeneracy: The diffusion coefficient $a(x)$ vanishes at the boundary ( $x=0$ ), making the operator degenerate. The authors specifically treat the "weakly degenerate" case where $a(x) \approx x^\alpha$ for $\alpha \in (0, 1)$ .
Non-Cylindrical Domains: The spatial domain $\Omega_t$ is not fixed but moves (deforms) in time. This requires handling time-dependent coefficients and boundaries.
Hierarchical Control Structure: The system involves a Leader (controlling $u_1$ ) and two Followers (controlling $u_2$ and $u_1$ respectively). The followers aim to reach a Nash equilibrium to minimize their specific cost functionals, while the leader seeks to achieve null controllability (driving the entire state to zero) given the followers' optimal responses.

2. Methodology

The authors employ a multi-stage analytical framework:

Domain Transformation: To handle the non-cylindrical domain $\text{b}Q$ , they use a $C^2$ diffeomorphism $\tau_t$ to map the moving domain $\Omega_t$ onto a fixed cylindrical domain $Q = (0,1) \times (0,T)$ . This transformation introduces new time-dependent, non-autonomous coefficients into the parabolic operator.
Characterization of Nash Equilibrium: They define the Nash quasi-equilibrium using the first-order optimality conditions (variational inequalities). They prove that for sufficiently large penalty parameters $\mu_i$ , the cost functionals are convex, ensuring that the quasi-equilibrium is a true Nash equilibrium.
Carleman Estimates: This is the technical core of the paper. The authors derive a specialized Carleman inequality for non-autonomous degenerate parabolic equations. This estimate is used to establish an observability inequality for the adjoint system, which is a necessary condition for controllability.
Liusternik’s Inverse Function Theorem: To move from the linearized system to the original semilinear system, the authors apply the Liusternik (right) inverse function theorem. This requires proving that the linearized optimality system is globally null controllable and that the mapping is $C^1$ in appropriate weighted Banach spaces.

3. Key Contributions

Extension to Degenerate Systems: While hierarchical control has been studied for non-degenerate systems, this paper is among the first to extend the Stackelberg-Nash strategy to coupled degenerate parabolic equations.
Handling Moving Boundaries: The integration of degenerate operators with time-varying domains represents a significant advancement in the control of non-autonomous evolution equations.
New Carleman Weights: The authors introduce specific weight functions $\rho(t)$ that blow up at $t=0$ and $t=T$ to ensure the observability inequality holds for the non-autonomous, degenerate case.

4. Main Results

Theorem 1 (Local Null Controllability): For initial data $(u_1^0, u_2^0)$ sufficiently small in the weighted space $H^1_a(\Omega)$ , there exists a leader control $h$ and an associated Nash quasi-equilibrium $(\hat{v}_1, \hat{v}_2)$ such that the system reaches the zero state at time $T$ .
Theorem 2 (Convexity/Equilibrium): They prove that if the cost parameters $\mu_i$ are large enough, the Nash quasi-equilibrium is a true Nash equilibrium due to the strict convexity of the cost functionals.
Theorem 4 (Linearized Controllability): They establish the global null controllability of the linearized optimality system, providing the necessary foundation for the nonlinear result.

5. Significance

This work is significant for the mathematical theory of distributed parameter systems. It provides a rigorous framework for modeling complex interactions where different agents (leader and followers) act according to different objectives within a physical system that is both inherently unstable (degenerate) and dynamic (moving domain). Such models are relevant in fluid dynamics, heat transfer in evolving media, and biological population models where boundaries and diffusion rates are non-uniform and time-dependent.