arXiv subjects

Irena Lasiecka

Publications and source records attributed to Irena Lasiecka.

At least 19 recordsLinked to original sources

arXiv2026

Stabilizing Energy-Critical Wave Equation to a Finite Dimensional Attractor via Nonlinear Damping

The wave equation with energy critical sources and nonlinear damping defined on a 3D bounded domain is considered. It is shown that the resulting dynamical system admits a global attractor. Under the additional assumption of strong monotonicity of the damping at the origin, it is shown that the originally unstable quintic wave is uniformly stabilised to a finite dimensional and smooth set. Moreover, the existence of exponential attractor is established. In order to handle \enquote{energy criticality} of both sources and damping, the methods used depend on enhanced dissipation \cite{Bociu-lasiecka-jde}, energy {\it identity} for weak solutions \cite{Koch-lasiecka}, an adaptation of Ball's method \cite{ball}, and the theory of quasi-stable systems \cite{chueshov-white}.

math.DS↗

arXiv2025

Large Deflections of A Flow-Driven Cantilever with Kutta-Joukowski Flow Conditions

We consider a canonical flow-structure system modeling airflow over a cantilevered beam. Flow-beam interactions arise in flight systems as well as alternative energy technologies, such as piezoelectric energy harvesters. A potential flow, given through a hyperbolic equation, captures the airflow interacting with a beam clamped on one end and free on the other. The dynamic coupling occurs through an impermeability condition across the beam; in the wake the Kutta-Joukowski flow condition is imposed. Several challenges arise in the analysis, including the unboundedness of the flow domain, lack of interface trace regularity, and flow conditions which give rise to a dynamic and mixed boundary value problem. Additionally, we consider a recent nonlinear model capturing the cantilever large deflections through the effects of inextensibility. We produce a viable underlying semigroup for the model's linearization, which includes a flow regularity theory. Then, exploiting higher regularity nonlinear estimates for the beam, we utilize a semigroup perturbation to obtain local-in-time strong solutions for the nonlinear dynamics.

math.AP↗

arXiv2025

Attractors for Second Order in Time Non-Conservative Dynamics with Nonlinear Damping

A long-time behavior of solutions to a nonlinear plate model subject to non-conservative and non-dissipative effects and nonlinear damping is considered. The model under study is a prototype for a suspension bridge under the effects of unstable flow of gas. To counteract the unwanted oscillations a damping mechanism of a nonlinear nature is applied. From the point of view of nonlinear PDEs, we are dealing with a non-dissipative and nonlinear second order in time dynamical system of hyperbolic nature subjected to nonlinear damping. One of the first goals is to establish ultimate dissipativity of all solutions, which will imply an existence of a weak attractor. The combined effects of non-dissipative forcing with nonlinear damping-leading to an overdamping-give rise to major challenges in proving an existence of an absorbing set. Known methods based on equipartition of the energy do not suffice. A rather general novel methodology based on ``barrier's'' method will be developed to address this and related problems. Ultimately, it will be shown that a weak attractor becomes strong, and the nonlinear PDE system has a coherent finite-dimensional asymptotic behavior.

math.DS↗

arXiv2025

Unique Continuation of Static Over-Determined Magnetohydrodynamic Equations

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.

math.AP↗

arXiv2022

Uniform stabilization of Navier-Stokes equations in critical $L^q$-based Sobolev and Besov spaces by finite dimensional interior localized feedback controls

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$.

math.OC↗

arXiv2022

Maximal $L^p$-regularity for an abstract evolution equation with applications to closed-loop boundary feedback control problems

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.

math.AP↗

arXiv2022

Finite dimensional boundary uniform stabilization of the Boussinesq system in Besov spaces by critical use of Carleman estimate-based inverse theory

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}.

math.OC↗

arXiv2022

Uniform stabilization of Boussinesq systems in critical $\mathbf{L}^q$-based Sobolev and Besov spaces by finite dimensional interior localized feedback controls

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.

math.OC↗

arXiv2021

Boundary stabilization of the linear MGT equation with partially absorbing boundary data and degenerate viscoelasticity

The Jordan--Moore--Gibson--Thompson (JMGT) equation is a well-established and recently widely studied model for nonlinear acoustics (NLA). It is a third-order (in time) semilinear Partial Differential Equation (PDE) model with the distinctive feature of predicting the propagation of ultrasound waves at \textit{finite} speed due to heat phenomenon know as \textit{second sound} which leads to the hyperbolic character of heat propagation. In this paper, we consider the problem of stabilizability of the linear (known as) MGT--equation. We consider a special geometry that is suitable for studying the problem of controlling (from the boundary) the acoustic pressure involved in medical treatments like lithotripsy, thermotherapy, sonochemistry, or any other procedures using High Intensity Focused Ultrasound (HIFU).

math.AP↗

arXiv2021

Boundary feedback stabilization of a critical nonlinear JMGT equation with Neumann-undissipated part of the boundary

Boundary feedback stabilization of a critical, nonlinear Jordan--Moore--Gibson--Thompson (JMGT) equation is considered. JMGT arises in modeling of acoustic waves involved in medical/engineering treatments like lithotripsy, thermotherapy, sonochemistry, or any other procedures using High Intensity Focused Ultrasound (HIFU). It is a well-established and recently widely studied model for nonlinear acoustics (NLA): a third--order (in time) semilinear Partial Differential Equation (PDE) with the distinctive feature of predicting the propagation of ultrasound waves at \textit{finite} speed due to heat phenomenon know as \textit{second sound} which leads to the hyperbolic character of heat propagation. In practice, the JMGT dynamics is largely used for modeling the evolution of the acoustic velocity and, most importantly, the acoustic pressure as sound waves propagate through certain media. %Due to its sensitivity to different media, such model (or similar) is often used for medical/engineering treatments such as lithotripsy, thermotherapy, sonochemistry, or any other procedures using High Intensity Focused Ultrasound (HIFU). In this work, \emph{critical} refers to (usual) case where media--damping effects are non--existent or non--measurable and therefore cannot be relied upon for stabilization purposes. In this paper the issue of boundary stabilizability of originally unstable (JMGT) equation is resolved. Motivated by modeling aspects in HIFU technology, boundary feedback is supported only on a portion of the boundary, while the remaining part of the boundary is left free (available to control actions) . Since the boundary conditions imposed on the "free" part of the boundary fail to satisfy Lopatinski condition (unlike Dirichlet boundary conditions), the analysis of uniform stabilization from the boundary becomes very subtle and requires careful geometric considerations.

math.AP↗

arXiv2021

Strong Stabilization of a 3D Potential Flow via a Weakly Damped von Karman Plate

The elimination of aeroelastic instability (resulting in sustained oscillations of bridges, buildings, airfoils) is a central engineering and design issue. Mathematically, this translates to strong asymptotic stabilization of a 3D flow by a 2D elastic structure. The stabilization (convergence to the stationary set) of a aerodynamic wave-plate model is established here. A 3D potential flow on the half-space has a spatially-bounded von Karman plate embedded in the boundary. The physical model, then, is a Neumann wave equation with low regularity of coupling conditions. Motivated on empirical observations, we examine if intrinsic panel damping can stabilize the subsonic flow-plate system to a stationary point. Several partial results have been established through partial regularization of the model. Without doing so, classical approaches attempting to treat the given wave boundary data have fallen short, owing to the failure of the Lopatinski condition (in the sense of Kreiss, Sakamoto) and the associated regularity defect of the hyperbolic Neumann mapping. Here, we operate on the panel model as in the engineering literature with no regularization or modifications; we completely resolve the question of stability by demonstrating that weak plate damping strongly stabilizes system trajectories. This is accomplished by microlocalizing the wave data (given by the plate) and observing an "anisotropic" a microlocal compensation by the plate dynamics precisely where the regularity of the 3D wave is compromsed (in the characteristic sector). Several additional stability results for both wave and plate subsystems are established to "push" strong stability of the plate onto the flow.

math.AP↗

arXiv2020

Boundary Stabilization of the linear MGT equation with Feedback Neumann control

The Jordan-Moore-Gibson-Thompson (JMGT)\cite{christov_heat_2005,jordan_nonlinear_2008,straughan_heat_2014} equation is a benchmark model describing propagation of nonlinear acoustic waves in heterogeneous fluids at rest. This is a third-order (in time) dynamics which accounts for a finite speed of propagation of heat signals (see \cite{coulouvrat_equations_1992,crighton_model_1979,jordan_nonlinear_2008,jordan_second-sound_2014,kaltenbacher_jordan-moore-gibson-thompson_2019}). In this paper, we study a boundary stabilization of linearized version (also known as MGT-equation) in the {\it critical case}, configuration in which the smallness of the diffusion effects leads to conservative dynamics \cite{kaltenbacher_wellposedness_2011}. Through a single measurement in {\it{feedback}} form made on a non-empty, relatively open portion of the boundary under natural geometric conditions, we were able to obtain uniform exponential stability results that are, in addition, uniform with respect to the space-dependent viscoelasticity parameter which no longer needs to be assumed positive and in fact can be degenerate and taken to be zero on the whole domain. This result, of independent interest in the area of boundary stabilization of MGT equations, provides a necessary first step for the study of optimal boundary feedback control on {\it infinite horizon} \cite{bucci_feedback_2019}.

math.AP↗

arXiv2020

Vanishing relaxation time dynamics of the Jordan Moore-Gibson-Thompson equation arising in nonlinear acoustics

The (third-order in time) JMGT equation \cite{Jordan2,HCP} is a nonlinear (quasi-linear) Partial Differential Equation (PDE) model introduced to describe a nonlinear propagation of sound in an acoustic medium. The important feature is that the model avoids the infinite speed of propagation paradox associated with a classical second order in time equation referred to as Westervelt equation. Replacing Fourier's law by Maxwell-Cattaneo's law gives rise to the third order in time derivative scaled by a small parameter $τ>0$, the latter represents the thermal relaxation time parameter and is intrinsic to the medium where the dynamics occur. In this paper we provide an asymptotic analysis of the third order model when $τ\rightarrow 0 $. It is shown that the corresponding solutions converge {\it in a strong topology of the phase space } to a limit which is the solution of Westervelt equation. In addition, rate of convergence is provided for solutions displaying higher order regularity. This addresses an open question raised in \cite{kaltev2}, where a related JMGT equation has been studied and {\it weak star } convergence of the solutions when $τ\rightarrow 0$ has been established. Thus, our main contribution is showing {\it strong convergence on infinite time horizon,} along with related rates of convergence valid on a finite time horizon. The key to unlocking the difficulty owns to a tight control and propagation of the "smallness" of the initial data in carrying the estimates at three different topological levels. The rate of convergence allows one then to estimate the relaxation time needed for the signal to reach the target. The interest in studying this type of problems is motivated by a large array of applications arising in engineering and medical sciences.

math.AP↗

arXiv2020

Singular Thermal Relaxation Limit for the Moore-Gibson-Thompson Equation Arising in Propagation of Acoustic Waves

Moore-Gibson-Thompson (MGT) equations, which describe acoustic waves in a heterogeneous medium, are considered. These are the third order in time evolutions of a predominantly hyperbolic type. MGT models account for a finite speed propagation due to the appearance of thermal relaxation coefficient τ {>} {0} in front of the third order time derivative. Since the values of τ are relatively small and often negligible, it is important to understand the asymptotic behavior and characteristics of the model when τ {\to} {0}. This is a particularly delicate issue since the τ- dynamics is governed by a generator which is singular as τ {\to} {0}. It turns out that the limit dynamics corresponds to the linearized Westervelt equation which is of a parabolic type. In this paper, we provide a rigorous analysis of the asymptotics which includes strong convergence of the corresponding evolutions over infinite horizon. This is obtained by studying convergence rates along with the uniform exponential stability of the third order evolutions. Spectral analysis for the MGT-equation along with a discussion of spectral uppersemicontinuity for both equations (MGT and linearized Westervelt) will also be provided.

math.AP↗

arXiv2020

Uniform stabilization of 3D Navier-Stokes equations in critical Besov spaces with finite dimensional, tangential-like boundary, localized feedback controllers

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.

math.AP↗

arXiv2020

Long-time dynamics of a hinged-free plate driven by a non-conservative force

A partially hinged, partially free rectangular plate is considered, with the aim to address the possible unstable end behaviors of a suspension bridge subject to wind. This leads to a nonlinear plate evolution equation with a nonlocal stretching active in the span-wise direction. The wind-flow in the chord-wise direction is modeled through a piston-theoretic approximation, which provides both weak (frictional) dissipation and non-conservative forces. The long-time behavior of solutions is analyzed from various points of view. Compact global attractors, as well as fractal exponential attractors, are constructed using the recent quasi-stability theory. The non-conservative nature of the dynamics requires the direct construction of a uniformly absorbing ball, and this relies on the superlinearity of the stretching. For some parameter ranges, the non-triviality of the attractor is shown through the spectral analysis of the stationary linearized (non self-adjoint) equation and the existence of multiple unimodal solutions is shown. Several stability results, obtained through energy estimates under various smallness conditions and/or assumptions on the equilibrium set, are also provided. Finally, the existence of a finite set of determining modes for the dynamics is demonstrated, justifying the usual modal truncation in engineering for the study of the qualitative behavior of suspension bridge dynamics.

math.AP↗

arXiv2019

On the MGT equation with memory of type II

We consider the Moore-Gibson-Thompson equation with memory of type II $$ \partial_{ttt} u(t) + α\partial_{tt} u(t) + βA \partial_t u(t) + γAu(t)-\int_0^t g(t-s) A \partial_t u(s){\rm d} s=0 $$ where $A$ is a strictly positive selfadjoint linear operator (bounded or unbounded) and $α,β,γ>0$ satisfy the relation $γ\leqαβ$. First, we prove a well-posedness result without requiring any restriction on the total mass $\varrho$ of $g$. Then we show that it is always possible to find memory kernels $g$, complying with the usual mass restriction $\varrho<β$, such that the equation admits solutions with energy growing exponentially fast. In particular, this provides the answer to a question raised in "F. Dell'Oro, I. Lasiecka, V. Pata, J. Differential Equations 261 (2016), 4188-4222".

math.AP↗

arXiv2018

Long-Time Behavior of Quasilinear Thermoelastic Kirchhoff-Love Plates with Second Sound

We consider an initial-boundary-value problem for a thermoelastic Kirchhoff & Love plate, thermally insulated and simply supported on the boundary, incorporating rotational inertia and a quasilinear hypoelastic response, while the heat effects are modeled using the hyperbolic Maxwell-Cattaneo-Vernotte law giving rise to a 'second sound' effect. We study the local well-posedness of the resulting quasilinear mixed-order hyperbolic system in a suitable solution class of smooth functions mapping into Sobolev $H^{k}$-spaces. Exploiting the sole source of energy dissipation entering the system through the hyperbolic heat flux moment, provided the initial data are small in a lower topology (basic energy level corresponding to weak solutions), we prove a nonlinear stabilizability estimate furnishing global existence & uniqueness and exponential decay of classical solutions.

math.AP↗