[论文解读] Approximate controllability for linear degenerate parabolic problems with bilinear control

Piermarco Cannarsa, Giuseppe Floridia|arXiv (Cornell University)|Jun 21, 2011

Stability and Controllability of Differential Equations参考文献 22被引用 8

一句话总结

本文建立了具有双线性控制（时间不变系数）的线性退化抛物型PDE的全局近似乘性可控性。通过基于目标状态构造静态控制并利用退化算子的谱性质，作者证明了在满足可积性条件时，即使扩散系数在边界处为零，任意非负初态也可在有限时间内被精确逼近到任意非负目标态，且逼近精度在 $ L^2(-1,1) $ 范数下任意小。

ABSTRACT

In this work we study the global approximate multiplicative controllability for the linear degenerate parabolic Cauchy-Neumann problem $$ \{{array}{l} \displaystyle{v_t-(a(x) v_x)_x =α(t,x)v\,\,\qquad {in} \qquad Q_T \,=\,(0,T) imes(-1,1)} [2.5ex] \displaystyle{a(x)v_x(t,x)|_{x=\pm 1} = 0\,\,\qquad\qquad\qquad\,\, t\in (0,T)} [2.5ex] \displaystyle{v(0,x)=v_0 (x) \,\qquad\qquad\qquad\qquad\quad\,\, x\in (-1,1)}, {array}. $$ with the bilinear control $α(t,x)\in L^\infty (Q_T).$ The problem is strongly degenerate in the sense that $a\in C^1([-1,1]),$ positive on $(-1,1),$ is allowed to vanish at $\pm 1$ provided that a certain integrability condition is fulfilled. We will show that the above system can be steered in $L^2(Ω)$ from any nonzero, nonnegative initial state into any neighborhood of any desirable nonnegative target-state by bilinear static controls. Moreover, we extend the above result relaxing the sign constraint on $v_0$.

研究动机与目标

• 研究在气候建模背景下，具有双线性控制的线性退化抛物型方程的近似可控性。
• 将可控性结果扩展至扩散系数在边界处为零的系统，如Budyko-Sellers模型。
• 在强退化条件下，通过静态双线性控制实现全局非负近似可控性。
• 在保持退化可积性条件的前提下，放宽对初态符号的约束，同时维持可控性。

提出的方法

• 将问题表述为具有 $ v_t - (a(x)v_x)_x = \alpha(t,x)v $ 的退化抛物型柯西-诺伊曼系统，其中 $ a(x) \in C^1([-1,1]) $，$ a(\pm1) = 0 $，且 $ \int_0^x \frac{ds}{a(s)} \in L^1(-1,1) $。
• 定义双线性控制 $ \alpha(t,x) \in L^\infty(Q_T) $，并考虑静态控制 $ \alpha(x) $ 以简化分析。
• 构造依赖于目标的控制 $ \alpha_*(x) = -\frac{(a(x)v_{dx})_x}{v_d(x)} $，使得 $ v_d $ 成为关联椭圆算子的零特征值特征函数。
• 利用算子 $ -\mathcal{L} = -(a(x)\partial_x)_x + \alpha(x) $ 的谱分解，证明 $ v_d / \|v_d\| $ 是对应于零特征值的首阶特征函数。
• 通过高阶模态的指数衰减实现时间演化，并通过调整 $ \alpha(x) = \alpha_*(x) + \beta $ 中的常数项 $ \beta $，使首阶模态与目标对齐。
• 利用帕塞瓦尔恒等式与指数衰减估计，对时间 $ T_\varepsilon $ 处解与目标之间的 $ L^2 $-距离进行上界估计，确保 $ \|v(T_\varepsilon, \cdot) - v_d\| \leq \varepsilon $。

实验结果

研究问题

• RQ1 具有双线性控制的线性退化抛物型PDE能否从任意非零、非负初态近似驱动至 $ L^2(-1,1) $ 中的任意期望非负目标态？
• RQ2 扩散系数 $ a(x) $ 的退化性需满足何种条件，才能在 $ a(\pm1) = 0 $ 的情况下仍保证可控性？
• RQ3 当初态非严格正，仅非负且非零时，近似可控性是否仍可实现？
• RQ4 能否选择静态控制（与时间无关）以实现全局近似可控性？
• RQ5 退化算子的谱结构如何影响可控性机制？

主要发现

• 系统在 $ L^2(-1,1) $ 中从任意非零、非负初态到任意非负目标态具有全局近似可控性，且使用静态双线性控制 $ \alpha(x) \in L^\infty(-1,1) $。
• 对任意 $ \varepsilon > 0 $，存在有限时间 $ T_\varepsilon > 0 $，使得解满足 $ \|v(T_\varepsilon, \cdot) - v_d\| \leq \varepsilon $，其中 $ T_\varepsilon $ 通过 $ e^{-\lambda_2 T_\varepsilon} = \varepsilon \frac{\int v_0 v_d dx}{\|v_0\| \|v_d\|^2} $ 显式定义。
• 首阶特征函数 $ \omega_1 = v_d / \|v_d\| $ 在 $ (-1,1) $ 内严格为正，确保主导模态的正性。
• 控制参数 $ \beta_\varepsilon $ 的选取满足 $ e^{\beta_\varepsilon T_\varepsilon} \int v_0 \omega_1 dx = \|v_d\| $，从而确保首阶模态与目标对齐。
• 由于 $ -\lambda_k < 0 $ 对 $ k \geq 2 $ 成立，高阶模态呈指数衰减，其贡献被有界为 $ e^{2(-\lambda_2 + \beta_\varepsilon)t} \|v_0\|^2 $，可被任意缩小。
• 即使 $ v_0 $ 不严格为正，只要 $ \int v_0 v_d dx > 0 $，结论仍成立，而该条件在定理1的假设下可保证。