arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2402.06335math.APmath.OC
收藏

对流 Brinkman-Forchheimer 方程轨道的局部精确可控性

Local exact controllability to the trajectories of the convective Brinkman-Forchheimer equations

Pardeep Kumar, Manil T. Mohan

AI总结:

本文通过全局 Carleman 估计和逆映射定理,证明了对流 Brinkman-Forchheimer 方程在任意时间 T>0 的轨道局部精确可控性。

摘要:

本文讨论有界域 $\Omega \subset \mathbb{R}^d$($d=2,3$)且边界光滑的对流 Brinkman-Forchheimer(CBF)方程(或阻尼 Navier-Stokes 方程)轨道的局部精确可控性:\begin{align*} \frac{\partial\boldsymbol{u}}{\partial t}-\mu\Delta\boldsymbol{u}+(\boldsymbol{u}\cdot\nabla)\boldsymbol{u}+\alpha\boldsymbol{u}+\beta|\boldsymbol{u}|^{2}\boldsymbol{u}+\nabla p=\boldsymbol{f}+\boldsymbol{\vartheta}, \\ \\ \nabla\cdot\boldsymbol{u}=0, \end{align*} 其中控制 $\boldsymbol{\vartheta}$ 分布在子域 $\omega\subset\Omega$ 中,参数 $\alpha,\beta,\mu>0$ 为常数。我们首先利用 Stokes 系统的全局 Carleman 估计,给出 CBF 方程线性化版本的伴随问题的全局 Carleman 估计和可观测性不等式。这使我们能够在任意时间 $T>0$ 获得其零可控性。然后我们使用逆映射定理推导关于 CBF 方程轨道精确可控性的局部结果。

英文摘要:

In this article, we discuss the local exact controllability to trajectories of the following convective Brinkman-Forchheimer (CBF) equations (or damped Navier-Stokes equations) defined in a bounded domain $Ω \subset\mathbb{R}^d$ ($d=2,3$) with smooth boundary: \begin{align*} \frac{\partial\boldsymbol{u}}{\partial t}-μΔ\boldsymbol{u}+(\boldsymbol{u}\cdot\nabla)\boldsymbol{u}+α\boldsymbol{u}+β|\boldsymbol{u}|^{2}\boldsymbol{u}+\nabla p=\boldsymbol{f}+\boldsymbol{\vartheta}, \ \ \ \nabla\cdot\boldsymbol{u}=0, \end{align*} where the control $\boldsymbol{\vartheta}$ is distributed in a subdomain $ω\subset Ω$, and the parameters $α,β,μ>0$ are constants. We first present global Carleman estimates and observability inequality for the adjoint problem of a linearized version of CBF equations by using a global Carleman estimate for the Stokes system. This allows us to obtain its null controllability at any time $T>0$. We then use the inverse mapping theorem to deduce local results concerning the exact controllability to the trajectories of CBF equations.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑