arXiv subjects
Publications and source records attributed to Buddhika Priyasad.
We consider a reaction diffusion equation, where the lower-order nonlinearity allows for a non-smooth part, described by a maximal monotone relation. We show that the global attractor has finite fractal dimension, and also obtain explicit upper estimates in terms of the data.
We study continuous data assimilation for the two-dimensional Navier--Stokes equations on a smooth, bounded, connected domain with Navier-slip boundary conditions, using no interior observations. The available data consist only of finite-dimensional measurements of the tangential velocity on a non-empty relatively open subset $Γ\subset\partialΩ$. We prove that sufficiently strong boundary feedback, constructed from sufficiently fine observations, generates a coercive spectral gap for the assimilation error. The limiting gap is identified with that of a mixed-boundary problem obtained by imposing a homogeneous Dirichlet condition on $Γ$, and is shown to be of order $ν$. Combining this feedback-induced coercivity with an estimate of the non-linear error production in terms of the long-time averaged symmetric-gradient energy of the reference solution, we obtain a sufficient criterion for exponential synchronisation. We verify this criterion in the unforced case, for sufficiently small forcing when the unnudged Navier-slip form has an $\mathrm{L}^2$ spectral gap, for sufficiently large viscosity on domains without tangential rigid motions, and for sufficiently large viscosity in the presence of positive boundary friction. We also treat perfect slip on domains admitting tangential rigid motions, where synchronisation follows under a smallness condition on the non-rigid solenoidal component of the forcing.
Exponential stabilizability of the incompressible Navier-Stokes equations under dynamic slip boundary conditions toward arbitrary time-dependent trajectories is proven. The feedback control law is constructed explicitly using oblique projections and realized through a finite number of spatially localized interior actuators, without requiring spectral assumptions. The approach extends to various slip boundary condition types (Navier, vorticity-type, and Neumann) and applies to multi-connected domains. Weak solution existence and exponential decay estimates are established, with the stabilization rate depending on the boundary dynamics parameters.
We investigate regularity properties of minimizers for non-autonomous convex variational integrands $F(x, \mathrm{D} u)$ with linear growth, defined on bounded Lipschitz domains $Ω\subset \mathbb{R}^n$. Assuming appropriate ellipticity conditions and Hölder continuity of $\mathrm{D}_zF(x,z)$ with respect to the first variable, we establish higher integrability of the gradient of minimizers and provide bounds on the Hausdorff dimension of the singular set of minimizers.
This paper establishes the Unique Continuation Property (UCP) for a suitably overdetermined Magnetohydrodynamics (MHD) eigenvalue problem, which is equivalent to the Kalman, finite rank, controllability condition for the finite dimensional unstable projection of the linearized dynamic MHD problem. It is the ``ignition key" to obtain uniform stabilization of the dynamic nonlinear MHD system near an unstable equilibrium solution, by means of finitely many, interior, localized feedback controllers of Laseicka et. al 2025. The proof of the UCP result uses a pointwise Carleman-type estimate for the Laplacian following the approach that was introduced in Triggiani 2009 for the Navier-Stokes equations and further extended in Triggiani et. al. 2021 for the Boussinesq system.
An abstract framework guaranteeing the continuous differentiability of local value functions on $H^1(Ω)$ associated with optimal stabilization problems subject to abstract semilinear parabolic equations in the presence of norm constraints on the control is established. It guarantees the local well-posedness of the associated Hamilton-Jacobi-Bellman equation in the classical sense. Examples illustrate that the assumptions imposed on the dynamical system are satisfied for practically relevant semilinear equations.
An abstract framework guaranteeing the local continuous differentiability of the value function associated with optimal stabilization problems subject to abstract semilinear parabolic equations subject to a norm constraint on the controls is established. It guarantees that the value function satisfies the associated Hamilton-Jacobi-Bellman equation in the classical sense. The applicability of the developed framework is demonstrated for specific semilinear parabolic equations.
We consider non-Newtonian incompressible 3D fluid of Ladyzhenskaya type, in the setting of the dynamic boundary condition. Assuming sufficient growth rate of the stress tensor with respect to the velocity gradient, we establish explicit dimension estimate of the global attractor in terms of the physical parameters of the problem.
We consider 2- or 3-dimensional incompressible Navier-Stokes equations defined on a bounded domain $Ω$, with no-slip boundary conditions and subject to an external force, assumed to cause instability. We then seek to uniformly stabilize such N-S system, in the vicinity of an unstable equilibrium solution, in critical $L^q$-based Sobolev and Besov spaces, by finite dimensional feedback controls. These spaces are `close' to $L^3(Ω)$ for $d=3$. This functional setting is significant. In fact, in the case of the uncontrolled N-S dynamics, extensive research efforts have recently lead to the space $L^3(\mathbb{R}^3)$ as being a critical space for the issue of well-posedness in the full space. Thus, our present work manages to solve the stated uniform stabilization problem for the controlled N-S dynamics in a correspondingly related function space setting. In this paper, the feedback controls are localized on an arbitrarily small open interior subdomain $ω$ of $Ω$. In addition to providing a solution of the uniform stabilization problem in such critical function space setting, this paper manages also to much improve and simplify, at both the conceptual and computational level, the solution given in the more restrictive Hilbert space setting in the literature. Moreover, such treatment sets the foundation for the authors' final goal in a subsequent paper. Based critically on said low functional level where compatibility conditions are not recognized, the subsequent paper solves in the affirmative a presently open problem: whether uniform stabilization by localized tangential boundary feedback controls, which-in addition-are finite dimensional, is also possible in dim $Ω= 3$.
In this paper we present an abstract maximal $L^p$-regularity result up to $T = \infty$, that is tuned to capture (linear) Partial Differential Equations of parabolic type, defined on a bounded domain and subject to finite dimensional, stabilizing, feedback controls acting on (a portion of) the boundary. Illustrations include, beside a more classical boundary parabolic example, two more recent settings: (i) the $3d$-Navier-Stokes equations with finite dimensional, localized, boundary tangential feedback stabilizing controls as well as Boussinesq systems with finite dimensional, localized, feedback, stabilizing, Dirichlet boundary control for the thermal equation.
We consider the d-dimensional Boussinesq system defined on a sufficiently smooth bounded domain, and subject to a pair $\{ v, \boldsymbol{u} \}$ of controls localized on $\{ \widetildeΓ, ω\}$. Here, $v$ is a scalar Dirichlet boundary control for the thermal equation, acting on an arbitrary small connected portion $\widetildeΓ$ of the boundary $Γ= \partial Ω$. Instead, $\boldsymbol{u}$ is a $d$-dimensional internal control for the fluid equation acting on an arbitrary small collar $ω$ supported by $\widetildeΓ$ (Fig 1). The initial conditions for both fluid and heat equations are taken of low regularity. We then seek to uniformly stabilize such Boussinesq system in the vicinity of an unstable equilibrium pair, in the critical setting of correspondingly low regularity spaces, by means of an explicitly constructed, finite dimensional feedback control pair $\{ v, \boldsymbol{u} \}$ localized on $\{ \widetildeΓ, ω\}$. In addition, they will be minimal in number, and of reduced dimension: more precisely, $\boldsymbol{u}$ will be of dimension $(d-1)$, to include necessarily its $d$\textsuperscript{th} component, and $v$ will be of dimension $1$. The resulting space of well-posedness and stabilization is a suitable, tight Besov space for the fluid velocity component (close to $\boldsymbol{L}^3(Ω$) for $ d = 3 $) and a corresponding Besov space for the thermal component, $ q > d $. Unique continuation inverse theorems for suitably over determined adjoint static problems play a critical role in the constructive solution. Their proof rests on Carleman-type estimates, a topic pioneered by M. V. Klibanov since the early 80's, after the 1939- breakthrough publication \cite{Car}.
We consider the d-dimensional Boussinesq system defined on a sufficiently smooth bounded domain, with homogeneous boundary conditions, and subject to external sources, assumed to cause instability. The initial conditions for both fluid and heat equations are taken of low regularity. We then seek to uniformly stabilize such Boussinesq system in the vicinity of an unstable equilibrium pair, in the critical setting of correspondingly low regularity spaces, by means of explicitly constructed, feedback controls, which are localized on an arbitrarily small interior subdomain. In addition, they will be minimal in number, and of reduced dimension: more precisely, they will be of dimension $(d-1)$ for the fluid component and of dimension $1$ for the heat component. The resulting space of well-posedness and stabilization is a suitable, tight Besov space for the fluid velocity component (close to $\mathbf{L}^3(Ω$) for $ d = 3 $) and the space $L^q(Ω$) for the thermal component, $ q > d $. Thus, this paper may be viewed as an extension of \cite{LPT.1}, where the same interior localized uniform stabilization outcome was achieved by use of finite dimensional feedback controls for the Navier-Stokes equations, in the same Besov setting.
The present paper provides a solution in the affirmative to a recognized open problem in the theory of uniform stabilization of 3-dimensional Navier-Stokes equations in the vicinity of an unstable equilibrium solution, by means of a `minimal' and `least' invasive feedback strategy which consists of a control pair $\{ v,u \}$ \cite{LT2:2015}. Here $v$ is a tangential boundary feedback control, acting on an arbitrary small part $\widetildeΓ$ of the boundary $Γ$; while $u$ is a localized, interior feedback control, acting tangentially on an arbitrarily small subset $ω$ of the interior supported by $\widetildeΓ$. The ideal strategy of taking $u = 0$ on $ω$ is not sufficient. A question left open in the literature was: Can such feedback control $v$ of the pair $\{ v, u \}$ be asserted to be finite dimensional also in the dimension $d = 3$? We here give an affirmative answer to this question, thus establishing an optimal result. To achieve the desired finite dimensionality of the feedback tangential boundary control $v$, it is here then necessary to abandon the Hilbert setting of past literature and replace it with a Besov setting which are `close' to $L^3(Ω)$ for $d=3$. It is in line with recent critical well-posedness in the full space of the non-controlled N-S equations. A key feature of such Besov spaces with tight indices is that they do not recognize compatibility conditions. The proof is constructive and is "optimal" also regarding the "minimal" number of tangential boundary controllers needed. The new setting requires establishing maximal regularity in the required critical Besov setting for the overall closed-loop linearized problem with tangential feedback control applied on the boundary. Finally, the minimal amount of tangential boundary action is linked to the issue of unique continuation of over-determined Oseen eigenproblems.