-
LQR based $ω-$stabilization of a heat equation with memory
Authors:
Bhargav Pavan Kumar Sistla,
Wasim Akram,
Debanjana Mitra,
Vivek Natarajan
Abstract:
We consider a heat equation with memory which is defined on a bounded domain in $\mathbb{R}^d$ and is driven by $m$ control inputs acting on the interior of the domain. Our objective is to numerically construct a state feedback controller for this equation such that, for each initial state, the solution of the closed-loop system decays exponentially to zero with a decay rate larger than a given ra…
▽ More
We consider a heat equation with memory which is defined on a bounded domain in $\mathbb{R}^d$ and is driven by $m$ control inputs acting on the interior of the domain. Our objective is to numerically construct a state feedback controller for this equation such that, for each initial state, the solution of the closed-loop system decays exponentially to zero with a decay rate larger than a given rate $ω>0$, i.e. we want to solve the $ω$-stabilization problem for the heat equation with memory. We first show that the spectrum of the state operator $A$ associated with this equation has an accumulation point at $-ω_0<0$. Given a $ω\in(0,ω_0)$, we show that the $ω$-stabilization problem for the heat equation with memory is solvable provided certain verifiable conditions on the control operator $B$ associated with this equation hold. We then consider an appropriate LQR problem for the heat equation with memory. For each $n\in\mathbb{N}$, we construct finite-dimensional approximations $A_n$ and $B_n$ of $A$ and $B$, respectively, and then show that by solving a corresponding approximation of the LQR problem a feedback operator $K_n$ can be computed such that all the eigenvalues of $A_n + B_n K_n$ have real part less than $-ω$. We prove that $K_n$ for $n$ sufficiently large solves the $ω$-stabilization problem for the heat equation with memory. A crucial and nontrivial step in our proof is establishing the uniform (in $n$) stabilizability of the pair $(A_n+ωI, B_n)$. We have validated our theoretical results numerically using two examples: an 1D example on a unit interval and a 2D example on a square domain.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Feedback stabilization of parabolic coupled system and its numerical study
Authors:
Wasim Akram,
Debanjana Mitra,
Neela Nataraj,
Mythily Ramaswamy
Abstract:
In the first part of this article, we study feedback stabilization of a parabolic coupled system by using localized interior controls. The system is feedback stabilizable with exponential decay $-ω<0$ for any $ω>0$. A stabilizing control is found in feedback form by solving a suitable algebraic Riccati equation. In the second part, a conforming finite element method is employed to approximate the…
▽ More
In the first part of this article, we study feedback stabilization of a parabolic coupled system by using localized interior controls. The system is feedback stabilizable with exponential decay $-ω<0$ for any $ω>0$. A stabilizing control is found in feedback form by solving a suitable algebraic Riccati equation. In the second part, a conforming finite element method is employed to approximate the continuous system by a finite dimensional discrete system. The approximated system is also feedback stabilizable (uniformly) with exponential decay $-ω+ε$, for any $ε>0$ and the feedback control is obtained by solving a discrete algebraic Riccati equation. The error estimate of stabilized solutions as well as stabilizing feedback controls are obtained. We validate the theoretical results by numerical implementations.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Some Controllability Results for Linearized Compressible Navier-Stokes System with Maxwell's Law
Authors:
Sakil Ahamed,
Debanjana Mitra
Abstract:
In this article, we study the control aspects of the one-dimensional compressible Navier-Stokes equations with Maxwell's law linearized around a constant steady state with zero velocity. We consider the linearized system with Dirichlet boundary conditions and with interior controls. We prove that the system is not null controllable at any time using localized controls in density and stress equatio…
▽ More
In this article, we study the control aspects of the one-dimensional compressible Navier-Stokes equations with Maxwell's law linearized around a constant steady state with zero velocity. We consider the linearized system with Dirichlet boundary conditions and with interior controls. We prove that the system is not null controllable at any time using localized controls in density and stress equations and even everywhere control in the velocity equation. However, we show that the system is null controllable at any time if the control acting in the density or stress equation is everywhere in the domain. This is the best possible null controllability result obtained for this system. Next, we show that the system is approximately controllable at large time using localized controls. Thus, our results give a complete understanding of the system in this direction.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Null Controllability of the Incompressible Stokes Equations in a 2-D Channel Using Normal Boundary Control
Authors:
Shirshendu Chowdhury,
Debanjana Mitra,
Michael Renardy
Abstract:
In this paper, we consider the Stokes equations in a two-dimen- sional channel with periodic conditions in the direction of the channel. We establish null controllability of this system using a boundary control which acts on the normal component of the velocity only. We show null controllability of the system, subject to a constraint of zero average, by proving an observability inequality with the…
▽ More
In this paper, we consider the Stokes equations in a two-dimen- sional channel with periodic conditions in the direction of the channel. We establish null controllability of this system using a boundary control which acts on the normal component of the velocity only. We show null controllability of the system, subject to a constraint of zero average, by proving an observability inequality with the help of a Muntz-Szasz Theorem.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.
-
Is Multiscaling an Artifact in the Stochastically Forced Burgers Equation?
Authors:
Dhrubaditya Mitra,
Jeremie Bec,
Rahul Pandit,
Uriel Frisch
Abstract:
We study turbulence in the one-dimensional Burgers equation with a white-in-time, Gaussian random force that has a Fourier-space spectrum $\sim 1/k$, where $k$ is the wave number. From very-high-resolution numerical simulations, in the limit of vanishing viscosity, we find evidence for multiscaling of velocity structure functions which cannot be falsified by standard tests. We find a new artifac…
▽ More
We study turbulence in the one-dimensional Burgers equation with a white-in-time, Gaussian random force that has a Fourier-space spectrum $\sim 1/k$, where $k$ is the wave number. From very-high-resolution numerical simulations, in the limit of vanishing viscosity, we find evidence for multiscaling of velocity structure functions which cannot be falsified by standard tests. We find a new artifact in which logarithmic corrections can appear disguised as anomalous scaling and conclude that bifractal scaling is likely.
△ Less
Submitted 18 February, 2005; v1 submitted 22 June, 2004;
originally announced June 2004.
-
Two characterizations of the standard unit vector basis of $l_1$
Authors:
David Mitra
Abstract:
We show that for a sequence in a Banach space, the property of being stable under large perturbations characterizes the property of being equivalent to the unit vector basis of $l_1$. We show that a normalized unconditional basic sequence in $l_1$ that is semi-normalized in $l_\infty$ is equivalent to the standard unit vector basis of~$l_1$.
We show that for a sequence in a Banach space, the property of being stable under large perturbations characterizes the property of being equivalent to the unit vector basis of $l_1$. We show that a normalized unconditional basic sequence in $l_1$ that is semi-normalized in $l_\infty$ is equivalent to the standard unit vector basis of~$l_1$.
△ Less
Submitted 12 October, 2000;
originally announced October 2000.
-
A Conditional Quasi-greedy Basis of l_1
Authors:
S. J. Dilworth,
David Mitra
Abstract:
We show that the Lindenstrauss basic sequence in l_1 may be used to construct a conditional quasi-greedy basis of l_1, thus answering a question of Wojtaszczyk. We further show that the sequence of coefficient functionals for this basis is not quasi-greedy.
We show that the Lindenstrauss basic sequence in l_1 may be used to construct a conditional quasi-greedy basis of l_1, thus answering a question of Wojtaszczyk. We further show that the sequence of coefficient functionals for this basis is not quasi-greedy.
△ Less
Submitted 14 August, 2000;
originally announced August 2000.
