Showing 1–29 of 29 results for author: Rodrigues, S S

On feedback stabilisation for the Cahn-Hilliard equation and its numerical approximation

Authors: Herbert Egger, Marvin Fritz, Karl Kunisch, Sérgio S. Rodrigues

Abstract: We consider the stabilisation of solutions to the Cahn-Hilliard equation towards a given trajectory by means of a finite-dimensional static output feedback mechanism. Exponential stabilisation of the controlled state around the target trajectory is proven using careful energy estimates and a spectral condition which characterizes the strength of the feedback. The analysis is general enough to allo… ▽ More We consider the stabilisation of solutions to the Cahn-Hilliard equation towards a given trajectory by means of a finite-dimensional static output feedback mechanism. Exponential stabilisation of the controlled state around the target trajectory is proven using careful energy estimates and a spectral condition which characterizes the strength of the feedback. The analysis is general enough to allow for pointwise and distributed measurements and actuation. The main results are derived via arguments that carry over to appropriate discretisation schemes which allows us to establish corresponding exponential stabilisation results also on the discrete level. The validity of our results and the importance of some of our assumptions are illustrated by numerical tests. △ Less

Submitted 29 April, 2025; originally announced April 2025.

Dynamic output-based feedback stabilizability for linear parabolic equations with memory

Authors: Arbaz Khan, Sumit Mahajan, Sérgio S. Rodrigues

Abstract: The stabilizability of a general class of linear parabolic equations with a memory term, is achieve by explicit output feedback. The control input is given as a function of a state-estimate provided by an exponential dynamic Luenberger observer based on the output of sensor measurements. The numbers of actuators and sensors are finite. The feedback input and output injection operators are given ex… ▽ More The stabilizability of a general class of linear parabolic equations with a memory term, is achieve by explicit output feedback. The control input is given as a function of a state-estimate provided by an exponential dynamic Luenberger observer based on the output of sensor measurements. The numbers of actuators and sensors are finite. The feedback input and output injection operators are given explicitly involving appropriate orthogonal projections. For exponential kernels, exponential stabilizability can be achieved with the rate of the exponential kernel. The discretization and simulation of the controlled systems are addressed as well and results of simulations are reported showing the performance of the proposed dynamic output-based control feedback input. We include simulations for both exponential and weakly singular Riesz kernels, showing the success of the strategy in obtaining a stabilizing input. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Comments: 15 figures

Stabilization to trajectories of nonisothermal Cahn-Hilliard equations

Authors: Behzad Azmi, Marvin Fritz, Sérgio S. Rodrigues

Abstract: In this work, it is proven the semiglobal exponential stabilization to time-dependent trajectories of the nonisothermal Cahn-Hilliard equations. In the model, the input controls are given by explicit feedback operators that involve appropriate oblique projections. The actuators are given by a finite number of indicator functions. The results also hold for the isothermal Cahn-Hilliard system. Numer… ▽ More In this work, it is proven the semiglobal exponential stabilization to time-dependent trajectories of the nonisothermal Cahn-Hilliard equations. In the model, the input controls are given by explicit feedback operators that involve appropriate oblique projections. The actuators are given by a finite number of indicator functions. The results also hold for the isothermal Cahn-Hilliard system. Numerical simulations are shown that illustrate the stabilizing performance of the proposed input feedback operators. △ Less

Submitted 6 November, 2024; originally announced November 2024.

Comments: 10 figures

MSC Class: 93D15; 93B52; 93C20; 35K52; 35Q93; 65M22

Approximate controllability for 2D Euler equations

Authors: Sérgio S. Rodrigues

Abstract: Approximate controllability of the Euler equations is investigated by means of a finite set of actuators. It is proven that approximate controllability holds if we can find a saturating subset of actuators. The notion of saturating set is relaxed when compared to previous literature, still being a sufficient condition for approximate controllability. The result holds for general bounded two-dimens… ▽ More Approximate controllability of the Euler equations is investigated by means of a finite set of actuators. It is proven that approximate controllability holds if we can find a saturating subset of actuators. The notion of saturating set is relaxed when compared to previous literature, still being a sufficient condition for approximate controllability. The result holds for general bounded two-dimensional spatial domains with smooth boundary. An example of a saturating set is given in the case the spatial domain is the unit disk. △ Less

Submitted 15 April, 2025; v1 submitted 27 August, 2024; originally announced August 2024.

Comments: This version v2 includes an example of a saturating set

MSC Class: 93C20; 93C10; 93B05; 35Q31; 35Q35

Output-based receding horizon stabilizing control

Authors: Behzad Azmi, Sérgio S. Rodrigues

Abstract: A receding horizon control framework is coupled with a Luenberger observer to construct an output-based control input stabilizing parabolic equations. The actuators and sensors are indicator functions of small subdomains, representing localized actuation and localized measurements. It is shown that, for a class of explicitly given sets of actuators and sensors, we can guarantee the stabilizing pro… ▽ More A receding horizon control framework is coupled with a Luenberger observer to construct an output-based control input stabilizing parabolic equations. The actuators and sensors are indicator functions of small subdomains, representing localized actuation and localized measurements. It is shown that, for a class of explicitly given sets of actuators and sensors, we can guarantee the stabilizing property of the constructed input. Results of numerical simulations are presented validating the theoretical findings. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Comments: 9 figures, 22 subfigures

Stabilizability of parabolic equations by switching controls based on point actuators

Authors: Behzad Azmi, Karl Kunisch, Sérgio S. Rodrigues

Abstract: It is shown that a switching control involving a finite number of Dirac delta actuators is able to steer the state of a general class of nonautonomous parabolic equations to zero as time increases to infinity. The strategy is based on a recent feedback stabilizability result, which utilizes control forces given by linear combinations of appropriately located Dirac delta distribution actuators. The… ▽ More It is shown that a switching control involving a finite number of Dirac delta actuators is able to steer the state of a general class of nonautonomous parabolic equations to zero as time increases to infinity. The strategy is based on a recent feedback stabilizability result, which utilizes control forces given by linear combinations of appropriately located Dirac delta distribution actuators. Then, the existence of a stabilizing switching control with no more than one actuator active at each time instant is established. For the implementation in practice, the stabilization problem is formulated as an infinite horizon optimal control problem, with cardinality-type control constraints enforcing the switching property. Subsequently, this problem is tackled using a receding horizon framework. Its suboptimality and stabilizabilizing properties are analyzed. Numerical simulations validate the approach, illustrating its stabilizing and switching properties. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 27 pages; 6 figures (21 subfigures)

MSC Class: 93C05; 93C20; 93D20; 35Q93; 49M05

Tracking optimal feedback control under uncertain parameters

Authors: Philipp A. Guth, Karl Kunisch, Sergio S. Rodrigues

Abstract: Optimal control problems of tracking type for a class of linear systems with uncertain parameters in the dynamics are investigated. An affine tracking feedback control input is obtained by considering the minimization of an energy-like functional depending on a finite ensemble of training/sample parameters. It is computed from the nonnegative definite solution of an associated differential Riccati… ▽ More Optimal control problems of tracking type for a class of linear systems with uncertain parameters in the dynamics are investigated. An affine tracking feedback control input is obtained by considering the minimization of an energy-like functional depending on a finite ensemble of training/sample parameters. It is computed from the nonnegative definite solution of an associated differential Riccati equation. Simulations are presented showing the tracking performance of the computed input for trained as well as untrained parameters. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 28 pages, 8 figures

MSC Class: 34F05; 49J15; 49J20; 49N10; 93B52; 93C15; 93C20

Stabilization of 2D Navier-Stokes equations by means of actuators with locally supported vorticity

Authors: Sérgio S. Rodrigues, Dagmawi A. Seifu

Abstract: Exponential stabilization to time-dependent trajectories for the incompressible Navier-Stokes equations is achieved with explicit feedback controls. The fluid is contained in two-dimensional spatial domains and the control force is, at each time instant, a linear combination of a finite number of given actuators. Each actuator has its vorticity supported in a small subdomain. The velocity field is… ▽ More Exponential stabilization to time-dependent trajectories for the incompressible Navier-Stokes equations is achieved with explicit feedback controls. The fluid is contained in two-dimensional spatial domains and the control force is, at each time instant, a linear combination of a finite number of given actuators. Each actuator has its vorticity supported in a small subdomain. The velocity field is subject to Lions boundary conditions. Simulations are presented showing the stabilizing performance of the proposed feedback. The results also apply to a class of observer design problems. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 9 figures

Journal ref: J. Dyn. Control Syst. 30, 8 (2024)

Stabilizability for nonautonomous linear parabolic equations with actuators as distributions

Authors: Karl Kunisch, Sérgio S. Rodrigues, Daniel Walter

Abstract: The stabilizability of a general class of abstract parabolic-like equations is investigated, with a finite number of actuators. This class includes the case of actuators given as delta distributions located at given points in the spatial domain of concrete parabolic equations. A stabilizing feedback control operator is constructed and given in explicit form. Then, an associated optimal control is… ▽ More The stabilizability of a general class of abstract parabolic-like equations is investigated, with a finite number of actuators. This class includes the case of actuators given as delta distributions located at given points in the spatial domain of concrete parabolic equations. A stabilizing feedback control operator is constructed and given in explicit form. Then, an associated optimal control is considered and the corresponding Riccati feedback is investigated. Results of simulations are presented showing the stabilizing performance of both explicit and Riccati feedbacks. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 7 figures

MSC Class: 93D15; 93B52; 93C20; 35K58

Stabilization of uncertain linear dynamics: an offline-online strategy

Authors: Philipp A. Guth, Karl Kunisch, Sérgio S. Rodrigues

Abstract: A strategy is proposed for adaptive stabilization of linear systems, depending on an uncertain parameter. Offline, the Riccati stabilizing feedback input control operators, corresponding to parameters in a finite training set of chosen candidates for the uncertain parameter, are solved and stored in a library. A uniform partition of the infinite time interval is chosen. In each of these subinterva… ▽ More A strategy is proposed for adaptive stabilization of linear systems, depending on an uncertain parameter. Offline, the Riccati stabilizing feedback input control operators, corresponding to parameters in a finite training set of chosen candidates for the uncertain parameter, are solved and stored in a library. A uniform partition of the infinite time interval is chosen. In each of these subintervals, the input is given by one of the stored parameter dependent Riccati feedback operators. This parameter is updated online, at the end of each subinterval, based on input and output data, where the true data, corresponding to the true parameter, is compared to fictitious data that one would obtain in case the parameter was in a selected subset of the training set. The auxiliary data can be computed in parallel, so that the parameter update can be performed in real time. The focus is put on the case that the unknown parameter is constant and that the free dynamics is time-periodic. The stabilizing performance of the input obtained by the proposed strategy is illustrated by numerical simulations, for both constant and switching parameters. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Comments: 16 figures

MSC Class: 93C40; 93B52; 49N10; 93B51

Ensemble Feedback Stabilization of Linear Systems

Authors: Philipp A. Guth, Karl Kunisch, Sergio S. Rodrigues

Abstract: Stabilization of linear control systems with parameter-dependent system matrices is investigated. A Riccati based feedback mechanism is proposed and analyzed. It is constructed by means of an ensemble of parameters from a training set. This single feedback stabilizes all systems of the training set and also systems in its vicinity. Moreover its suboptimality with respect to optimal feedback for ea… ▽ More Stabilization of linear control systems with parameter-dependent system matrices is investigated. A Riccati based feedback mechanism is proposed and analyzed. It is constructed by means of an ensemble of parameters from a training set. This single feedback stabilizes all systems of the training set and also systems in its vicinity. Moreover its suboptimality with respect to optimal feedback for each single parameter from the training set can be quantified. △ Less

Submitted 1 June, 2023; originally announced June 2023.

MSC Class: 34H05; 49J15; 49N10; 93B52; 34F05

Remarks on finite and infinite time-horizon optimal control problems

Authors: Sérgio S. Rodrigues

Abstract: The minimization of energy-like cost functionals is addressed in the context of optimal control problems. For a general class of dynamical systems, with possibly unstable and nonlinear free dynamics, it is shown that a sequence of solutions of finite time-horizon optimal control problems approximates a solution of the analog infinite time-horizon problem. The latter solution and corresponding opti… ▽ More The minimization of energy-like cost functionals is addressed in the context of optimal control problems. For a general class of dynamical systems, with possibly unstable and nonlinear free dynamics, it is shown that a sequence of solutions of finite time-horizon optimal control problems approximates a solution of the analog infinite time-horizon problem. The latter solution and corresponding optimal cost value function are not assumed to be known a-priori. Numerical simulations are presented validating the theoretical findings for several examples, including systems governed by both ordinary and partial differential equations. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: 6 figures, 18 subfigures

MSC Class: 49N35; 93B52; 93B45; 49N20; 34H05; 35Q93

Global stabilizability to trajectories for the Schlögl equation in a Sobolev norm

Authors: Karl Kunisch, Sérgio S. Rodrigues

Abstract: The stabilizability to trajectories of the Schlögl model is investigated in the norm of the natural state space for strong solutions, which is strictly contained in the standard pivot space of square integrable functions. As actuators a finite number of indicator functions are used and the control input is subject to a bound constraint. A stabilizing saturated explicit feedback control is proposed… ▽ More The stabilizability to trajectories of the Schlögl model is investigated in the norm of the natural state space for strong solutions, which is strictly contained in the standard pivot space of square integrable functions. As actuators a finite number of indicator functions are used and the control input is subject to a bound constraint. A stabilizing saturated explicit feedback control is proposed, where the set of actuators and the input bound are independent of the targeted trajectory. Further, the existence of open-loop optimal stabilizing constrained controls and related first-order optimality conditions are investigated. These conditions are then used to compute stabilizing receding horizon based controls. Results of numerical simulations are presented comparing their stabilizing performance with that of saturated explicit feedback controls. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 8 figures, 23 subfigures

MSC Class: 93C20; 93B52; 93D15; 35K58

Dynamical observers for parabolic equations with spatial point measurements

Authors: Sérgio S. Rodrigues, Dagmawi A. Seifu

Abstract: An exponential Luenberger dynamical observer is proposed to estimate the state of a general class of nonautonomous semilinear parabolic equations. The result can be applied to the case where the output is given by state measurements taken at a finite number of spatial points, that is, to the case where our sensors are a finite number of delta distributions. The output injection operator is explici… ▽ More An exponential Luenberger dynamical observer is proposed to estimate the state of a general class of nonautonomous semilinear parabolic equations. The result can be applied to the case where the output is given by state measurements taken at a finite number of spatial points, that is, to the case where our sensors are a finite number of delta distributions. The output injection operator is explicit and the derivation of the main result involves the decomposition of the state space into a direct sum of two oblique components depending on the set of sensors. Simulations are presented as an application to the Kuramoto--Sivashinsky models for flame propagation and fluid flow. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 9 figures; 20 subfigures

MSC Class: 93C20; 93C50; 93B51; 93E10

Feedback semiglobal stabilization to trajectories for the Kuramoto-Sivashinsky equation

Authors: Sérgio S. Rodrigues, Dagmawi A. Seifu

Abstract: It is shown that an oblique projection based feedback control is able to stabilize the state of the Kuramoto-Sivashinsky equation, evolving in rectangular domains, to a given time-dependent trajectory. The number of actuators is finite and consists of a finite number of indicator functions supported in small subdomains. Simulations are presented, in the one-dimensional case, showing the stabilizin… ▽ More It is shown that an oblique projection based feedback control is able to stabilize the state of the Kuramoto-Sivashinsky equation, evolving in rectangular domains, to a given time-dependent trajectory. The number of actuators is finite and consists of a finite number of indicator functions supported in small subdomains. Simulations are presented, in the one-dimensional case, showing the stabilizing performance of the feedback control. △ Less

Submitted 27 May, 2022; originally announced May 2022.

Comments: 18 subfigures

MSC Class: 93D15; 93B52; 93C20; 35K58; 35K41

Stabilization of nonautonomous linear parabolic-like equations: oblique projections versus Riccati feedbacks

Authors: Sérgio S. Rodrigues

Abstract: An oblique projections based feedback stabilizability result in the literature is extended to a larger class of reaction-convection terms. A discussion is presented including a comparison between explicit oblique projections base feedback controls and Riccati based feedback controls. Advantages and limitations of each type of feedback are addressed as well as their finite-elements implementation.… ▽ More An oblique projections based feedback stabilizability result in the literature is extended to a larger class of reaction-convection terms. A discussion is presented including a comparison between explicit oblique projections base feedback controls and Riccati based feedback controls. Advantages and limitations of each type of feedback are addressed as well as their finite-elements implementation. Results of numerical simulations are presented comparing their stabilizing performances for the case of time-periodic dynamics. It is shown that the solution of the periodic Riccati based feedback can be computed iteratively. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Comments: 10 figures

MSC Class: 93B52; 93C50; 93C05; 93C20

Saturated feedback stabilizability to trajectories for the Schlögl parabolic equation

Authors: Behzad Azmi, Karl Kunisch, Sérgio S. Rodrigues

Abstract: It is shown that there exist a finite number of indicator functions, which allow us to track an arbitrary given trajectory of the Schlögl model, by means of an explicit saturated feedback control input whose magnitude is bounded by a constant independent of the given targeted trajectory. Simulations are presented showing the stabilizing performance of the explicit feedback constrained control. Fur… ▽ More It is shown that there exist a finite number of indicator functions, which allow us to track an arbitrary given trajectory of the Schlögl model, by means of an explicit saturated feedback control input whose magnitude is bounded by a constant independent of the given targeted trajectory. Simulations are presented showing the stabilizing performance of the explicit feedback constrained control. Further, such performance is compared to that of a receding horizon constrained control minimizing the classical energy cost functional. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 27pages, 15 figures (33 subfigures), 1 table

MSC Class: 93C20; 93D15; 93B45; 35K58

Existence, uniqueness, and stabilization results for parabolic variational inequalities

Authors: Axel Kröner, Carlos N. Rautenberg, Sérgio S. Rodrigues

Abstract: In this paper we consider feedback stabilization for parabolic variational inequalities of obstacle type with time and space depending reaction and convection coefficients and show exponential stabilization to nonstationary trajectories. Based on a Moreau-Yosida approximation, a feedback operator is established using a finite (and uniform in the approximation index) number of actuators leading to… ▽ More In this paper we consider feedback stabilization for parabolic variational inequalities of obstacle type with time and space depending reaction and convection coefficients and show exponential stabilization to nonstationary trajectories. Based on a Moreau-Yosida approximation, a feedback operator is established using a finite (and uniform in the approximation index) number of actuators leading to exponential decay of given rate of the state variable. Several numerical examples are presented addressing smooth and nonsmooth obstacle functions. △ Less

Submitted 3 April, 2021; originally announced April 2021.

Comments: 55 subfigures

MSC Class: 35K85; 93D15

Learning an optimal feedback operator semiglobally stabilizing semilinear parabolic equations

Authors: Karl Kunisch, Sérgio S. Rodrigues, Daniel Walter

Abstract: Stabilizing feedback operators are presented which depend only on the orthogonal projection of the state onto the finite-dimensional control space. A class of monotone feedback operators mapping the finite-dimensional control space into itself is considered. The special case of the scaled identity operator is included. Conditions are given on the set of actuators and on the magnitude of the monoto… ▽ More Stabilizing feedback operators are presented which depend only on the orthogonal projection of the state onto the finite-dimensional control space. A class of monotone feedback operators mapping the finite-dimensional control space into itself is considered. The special case of the scaled identity operator is included. Conditions are given on the set of actuators and on the magnitude of the monotonicity, which guarantee the semiglobal stabilizing property of the feedback for a class semilinear parabolic-like equations. Subsequently an optimal feedback control minimizing the quadratic energy cost is computed by a deep neural network, exploiting the fact that the feedback depends only on a finite dimensional component of the state. Numerical simulations demonstrate the stabilizing performance of explicitly scaled orthogonal projection feedbacks, and of deep neural network feedbacks. △ Less

Submitted 18 March, 2021; originally announced March 2021.

Comments: 8 figures

MSC Class: 93D15; 68Q32; 35K91

Journal ref: Appl. Math. Optim. 84(Suppl1), 277-318 (2021)

Stabilization of nonautonomous parabolic equations by a single moving actuator

Authors: Behzad Azmi, Karl Kunisch, Sérgio S. Rodrigues

Abstract: It is shown that an internal control based on a moving indicator function is able to stabilize the state of parabolic equations evolving in rectangular domains. For proving the stabilizability result, we start with a control obtained from an oblique projection feedback based on a finite number of static actuators, then we used the continuity of the state when the control varies in relaxation metri… ▽ More It is shown that an internal control based on a moving indicator function is able to stabilize the state of parabolic equations evolving in rectangular domains. For proving the stabilizability result, we start with a control obtained from an oblique projection feedback based on a finite number of static actuators, then we used the continuity of the state when the control varies in relaxation metric to construct a switching control where at each given instant of time only one of the static actuators is active, finally we construct the moving control by traveling between the static actuators. Numerical computations are performed by a concatenation procedure following a receding horizon control approach. They confirm the stabilizing performance of the moving control. △ Less

Submitted 26 November, 2020; originally announced November 2020.

Comments: 5 figures

MSC Class: 93C05; 93C10; 93C20; 93D20

Semiglobal oblique projection exponential dynamical observers for nonautonomous semilinear parabolic-like equations

Authors: Sérgio S. Rodrigues

Abstract: The estimation of the full state of a nonautonomous semilinear parabolic equation is achieved by a Luenberger type dynamical observer. The estimation is derived from an output given by a finite number of average measurements of the state on small regions. The state estimate given by the observer converges exponentially to the real state, as time increases. The result is semiglobal in the sense tha… ▽ More The estimation of the full state of a nonautonomous semilinear parabolic equation is achieved by a Luenberger type dynamical observer. The estimation is derived from an output given by a finite number of average measurements of the state on small regions. The state estimate given by the observer converges exponentially to the real state, as time increases. The result is semiglobal in the sense that the error dynamics can be made stable for an arbitrary given initial condition, provided a large enough number of measurements, depending on the norm of the initial condition, is taken. The output injection operator is explicit and involves a suitable oblique projection. The results of numerical simulations are presented showing the exponential stability of the error dynamics. △ Less

Submitted 11 February, 2021; v1 submitted 10 November, 2020; originally announced November 2020.

Comments: 6 figures. In this version some equation tags are added, which were missing in first version due to a mistake in the latex source file. That mistake made the first version hard to read/follow

MSC Class: 93C20; 93C50; 93B51; 93E10

Journal ref: J. Nonlinear Sci. 31, 100 (2021)

Semiglobal exponential stabilization of nonautonomous semilinear parabolic-like systems

Authors: Sérgio S. Rodrigues

Abstract: It is shown that an explicit oblique projection nonlinear feedback controller is able to stabilize semilinear parabolic equations, with time-dependent dynamics and with a polynomial nonlinearity. The actuators are typically modeled by a finite number of indicator functions of small subdomains. No constraint is imposed on the sign of the polynomial nonlinearity. The norm of the initial condition ca… ▽ More It is shown that an explicit oblique projection nonlinear feedback controller is able to stabilize semilinear parabolic equations, with time-dependent dynamics and with a polynomial nonlinearity. The actuators are typically modeled by a finite number of indicator functions of small subdomains. No constraint is imposed on the sign of the polynomial nonlinearity. The norm of the initial condition can be arbitrarily large, and the total volume covered by the actuators can be arbitrarily small. The number of actuators depend on the operator norm of the oblique projection, on the polynomial degree of the nonlinearity, on the norm of the initial condition, and on the total volume covered by the actuators. The range of the feedback controller coincides with the range of the oblique projection, which is the linear span of the actuators. The oblique projection is performed along the orthogonal complement of a subspace spanned by a suitable finite number of eigenfunctions of the diffusion operator. For rectangular domains, it is possible to explicitly construct/place the actuators so that the stability of the closed-loop system is guaranteed. Simulations are presented, which show the semiglobal stabilizing performance of the nonlinear feedback. △ Less

Submitted 18 March, 2019; originally announced March 2019.

MSC Class: 93D15; 93C10; 93B52; 93C20

On the explicit feedback stabilisation of 1D linear nonautonomous parabolic equations via oblique projections

Authors: Sérgio S. Rodrigues, Kevin Sturm

Abstract: In recently proposed stabilisation techniques for parabolic equations, a crucial role is played by a suitable sequence of oblique projections in Hilbert spaces, onto the linear span of a suitable set of M actuators, and along the subspace orthogonal to the space spanned by the first M eigenfunctions of the Laplacian operator. This new approach uses an explicit feedback law, which is stabilising pr… ▽ More In recently proposed stabilisation techniques for parabolic equations, a crucial role is played by a suitable sequence of oblique projections in Hilbert spaces, onto the linear span of a suitable set of M actuators, and along the subspace orthogonal to the space spanned by the first M eigenfunctions of the Laplacian operator. This new approach uses an explicit feedback law, which is stabilising provided that the sequence of operator norms of such oblique projections remains bounded. The main result of the paper is the proof that, for suitable explicitly given sequences of sets of actuators, the operator norm of the corresponding oblique projections remains bounded. In the final part of the paper we provide numerical results, showing the performance of the explicit feedback control for both Dirichlet and Neumann homogeneous boundary conditions. △ Less

Submitted 3 August, 2018; originally announced August 2018.

MSC Class: 93D15; 47A75; 47N70

Approximate controllability for Navier--Stokes equations in $\mathrm{3D}$ rectangles under Lions boundary conditions

Authors: Duy Phan, Sérgio S. Rodrigues

Abstract: The $\mathrm{3D}$ Navier--Stokes system, under Lions boundary conditions, is proven to be approximately controllable provided a suitable saturating set does exist. An explicit saturating set for $\mathrm{3D}$ rectangles is given. The $\mathrm{3D}$ Navier--Stokes system, under Lions boundary conditions, is proven to be approximately controllable provided a suitable saturating set does exist. An explicit saturating set for $\mathrm{3D}$ rectangles is given. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: 21 pages

MSC Class: 93B05; 35Q30; 93C20

Gevrey regularity for Navier--Stokes equations under Lions boundary conditions

Authors: Duy Phan, Sérgio S. Rodrigues

Abstract: The Navier--Stokes system is considered in a compact Riemannian manifold. Gevrey class regularity is proven under Lions boundary conditions: in 2D for the Rectangle, Cylinder, and Hemisphere, and in 3D for the Rectangle. The cases of the 2D Sphere and 2D and 3D Torus are also revisited. The Navier--Stokes system is considered in a compact Riemannian manifold. Gevrey class regularity is proven under Lions boundary conditions: in 2D for the Rectangle, Cylinder, and Hemisphere, and in 3D for the Rectangle. The cases of the 2D Sphere and 2D and 3D Torus are also revisited. △ Less

Submitted 16 August, 2016; v1 submitted 8 August, 2016; originally announced August 2016.

Comments: 27 pages

MSC Class: 35Q30; 76D03

Journal ref: Journal of Functional Analysis, Volume 272, Issue 7, 1 April 2017, Pages 2865-2898

Stabilization to trajectories for parabolic equations

Authors: Duy Phan, Sérgio S. Rodrigues

Abstract: The feedback exponential stabilization to trajectories for semilinear parabolic equations in a given bounded domain is addressed. The controls take values in a finite-dimensional space and are supported in a small region. Both internal and boundary controls are considered. The feedback exponential stabilization to trajectories for semilinear parabolic equations in a given bounded domain is addressed. The controls take values in a finite-dimensional space and are supported in a small region. Both internal and boundary controls are considered. △ Less

Submitted 24 August, 2016; v1 submitted 8 August, 2016; originally announced August 2016.

Comments: 61 pages, 23 figures

MSC Class: 93D15; 93B52; 35K58

Journal ref: Mathematics of Control, Signals, and Systems, June 2018

Fourier Analysis and q-Gaussian Functions: Analytical and Numerical Results

Authors: Paulo Sérgio Silva Rodrigues, Gilson Antonio Giraldi

Abstract: It is a consensus in signal processing that the Gaussian kernel and its partial derivatives enable the development of robust algorithms for feature detection. Fourier analysis and convolution theory have central role in such development. In this paper we collect theoretical elements to follow this avenue but using the q-Gaussian kernel that is a nonextensive generalization of the Gaussian one. Fir… ▽ More It is a consensus in signal processing that the Gaussian kernel and its partial derivatives enable the development of robust algorithms for feature detection. Fourier analysis and convolution theory have central role in such development. In this paper we collect theoretical elements to follow this avenue but using the q-Gaussian kernel that is a nonextensive generalization of the Gaussian one. Firstly, we review some theoretical elements behind the one-dimensional q-Gaussian and its Fourier transform. Then, we consider the two-dimensional q-Gaussian and we highlight the issues behind its analytical Fourier transform computation. We analyze the q-Gaussian kernel in the space and Fourier domains using the concepts of space window, cut-off frequency, and the Heisenberg inequality. △ Less

Submitted 2 May, 2016; originally announced May 2016.

Comments: 31 pages, 6 figures

Report number: arXiv:1549348

Feedback boundary stabilization to trajectories for 3D Navier-Stokes equations

Authors: Sérgio S. Rodrigues

Abstract: Given a nonstationary trajectory of the Navier-Stokes system, a finite-dimensional feedback boundary controller stabilizing locally the system to the given trajectory is derived. Moreover the controller is supported in a given open subset of the boundary of the domain containing the fluid. In a first step a controller is derived that stabilizes the linear Oseen-Stokes system "around the given tr… ▽ More Given a nonstationary trajectory of the Navier-Stokes system, a finite-dimensional feedback boundary controller stabilizing locally the system to the given trajectory is derived. Moreover the controller is supported in a given open subset of the boundary of the domain containing the fluid. In a first step a controller is derived that stabilizes the linear Oseen-Stokes system "around the given trajectory" to zero; for that a corollary of a suitable truncated boundary observability inequality, the regularizing property for the system, and some standard techniques of the optimal control theory are used. Then it is shown that the same controller also stabilizes, locally, the Navier-Stokes system to the given trajectory. △ Less

Submitted 4 August, 2015; originally announced August 2015.

Internal exponential stabilization to a non-stationary solution for 3D Navier-Stokes equations

Authors: Viorel Barbu, Sergio S. Rodrigues, Armen Shirikyan

Abstract: We consider the Navier-Stokes system in a bounded domain with a smooth boundary. Given a sufficiently regular time-dependent global solution, we construct a finite-dimensional feedback control that is supported by a given open set and stabilizes the linearized equation. The proof of this fact is based on a truncated observability inequality, the regularizing property for the linearized equation, a… ▽ More We consider the Navier-Stokes system in a bounded domain with a smooth boundary. Given a sufficiently regular time-dependent global solution, we construct a finite-dimensional feedback control that is supported by a given open set and stabilizes the linearized equation. The proof of this fact is based on a truncated observability inequality, the regularizing property for the linearized equation, and some standard techniques of the optimal control theory. We then show that the control constructed for the linear problem stabilizes locally also the full Navier-Stokes system. △ Less

Submitted 17 September, 2010; v1 submitted 10 February, 2010; originally announced February 2010.

Comments: 25 pages