Abstract The Moore-Gibson-Thompson [MGT] dynamics is considered. This third order in time evolution arises within the context of acoustic wave propagation with applications in high frequency ultrasound technology. The optimal boundary feedback control is constructed in order to have on-line regulation. The above requires wellposedness of the associated Algebraic Riccati Equation. The paper by Lasiecka and Triggiani (2022) recently contributed a comprehensive study of the Optimal Control Problem for the MGT-third order dynamics with boundary control, over an infinite time-horizon. A critical missing point in such a study is the issue of uniqueness (within a specific class) of the corresponding highly non-standard Algebraic Riccati Equation. The present note resolves this problem in the positive, thus completing the study of Lasiecka and Triggiani (2022) with the final goal of having on line feedback control, which is also optimal.
more »
« less
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) with a distinctive feature of predicting the propagation of ultrasound waves at finite speed. This is due to the heat phenomenon known as second sound which leads to hyperbolic heat-wave propagation. In this paper, we consider the problem in the so called "critical" case, where free dynamics is unstable. In order to stabilize, we shall use boundary feedback controls supported on a portion of the boundary only. Since the remaining part of the boundary is not "controlled", and the imposed boundary conditions of Neumann type fail to saitsfy Lopatinski condition, several mathematical issues typical for mixed problems within the context o boundary stabilizability arise. To resolve these, special geometric constructs along with sharp trace estimates will be developed. The imposed geometric conditions are motivated by the geometry that is suitable for modeling the problem of controlling (from the boundary) the acoustic pressure involved in medical treatments such as lithotripsy, thermotherapy, sonochemistry, or any other procedure involving High Intensity Focused Ultrasound (HIFU).
more »
« less
- Award ID(s):
- 2205508
- PAR ID:
- 10418357
- Date Published:
- Journal Name:
- Discrete and Continuous Dynamical Systems - S
- Volume:
- 15
- Issue:
- 6
- ISSN:
- 1937-1632
- Page Range / eLocation ID:
- 1355
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Boundary feedback stabilization of a critical third–order (in time) semilinear Jordan–Moore–Gibson–Thompson (JMGT) is considered. The word critical here refers to the usual case where media–damping effects are non–existent or non–measurable and therefore cannot be relied upon for stabilization purposes. Motivated by modeling aspects in high-intensity focused ultrasound (HIFU) technology, the boundary feedback under consideration is supported only on a portion of the boundary. At the same time, the remaining part is undissipated and subject to Neumann/Robin boundary conditions. As such, unlike Dirichlet, it fails to satisfy the Lopatinski condition, a fact which compromises tangential regularity on the boundary [37]. In such a configuration, the analysis of uniform stabilization from the boundary becomes subtle and requires careful geometric considerations and microlocal analysis estimates. The nonlinear effects in the model demand construction of suitably small solutions which are invariant under the dynamics. The assumed smallness of the initial data is required only at the lowest energy level topology, which is sufficient to construct sufficiently smooth solutions to the nonlinear model.more » « less
-
null (Ed.)Pressure Poisson equation (PPE) reformulations of the incompressible Navier–Stokes equations (NSE) replace the incompressibility constraint by a Poisson equation for the pressure and a suitable choice of boundary conditions. This yields a time-evolution equation for the velocity field only, with the pressure gradient acting as a nonlocal operator. Thus, numerical methods based on PPE reformulations are representatives of a class of methods that have no principal limitations in achieving high order. In this paper, it is studied to what extent high-order methods for the NSE can be obtained from a specific PPE reformulation with electric boundary conditions (EBC). To that end, implicit–explicit (IMEX) time-stepping is used to decouple the pressure solve from the velocity update, while avoiding a parabolic time-step restriction; and mixed finite elements are used in space, to capture the structure imposed by the EBC. Via numerical examples, it is demonstrated that the methodology can yield at least third order accuracy in space and time.more » « less
-
Abstract We establish local well‐posedness in the sense of Hadamard for a certain third‐order nonlinear Schrödinger equation with a multiterm linear part and a general power nonlinearity, known as higher‐order nonlinear Schrödinger equation, formulated on the half‐line . We consider the scenario of associated coefficients such that only one boundary condition is required and hence assume a general nonhomogeneous boundary datum of Dirichlet type at . Our functional framework centers around fractional Sobolev spaces with respect to the spatial variable. We treat both high regularity () and low regularity () solutions: in the former setting, the relevant nonlinearity can be handled via the Banach algebra property; in the latter setting, however, this is no longer the case and, instead, delicate Strichartz estimates must be established. This task is especially challenging in the framework of nonhomogeneous initial‐boundary value problems, as it involves proving boundary‐type Strichartz estimates that are not common in the study of Cauchy (initial value) problems. The linear analysis, which forms the core of this work, crucially relies on a weak solution formulation defined through the novel solution formulae obtained via the Fokas method (also known as the unified transform) for the associated forced linear problem. In this connection, we note that the higher‐order Schrödinger equation comes with an increased level of difficulty due to the presence of more than one spatial derivatives in the linear part of the equation. This feature manifests itself via several complications throughout the analysis, including (i) analyticity issues related to complex square roots, which require careful treatment of branch cuts and deformations of integration contours; (ii) singularities that emerge upon changes of variables in the Fourier analysis arguments; and (iii) complicated oscillatory kernels in the weak solution formula for the linear initial‐boundary value problem, which require a subtle analysis of the dispersion in terms of the regularity of the boundary data. The present work provides a first, complete treatment via the Fokas method of a nonhomogeneous initial‐boundary value problem for a partial differential equation associated with a multiterm linear differential operator.more » « less
-
Abstract Wave dynamics reflect a broad spectrum of natural phenomena and are often characterized by wave equation such as in the development of meta-devices used to steer wave propagation. Modeling synchronization of wave dynamics is critical in various applications such as in communications and neuroscience. In this paper, we study the synchronization problem for oscillations governed by wave equation with nonlinear (van der Pol type) boundary conditions through a single boundary coupling. The dynamics of the master system is self-excited and presents sensitive and rapid oscillations. With the only signal received at one end of the boundary, by constructing a mathematical model, we show the existence of a slave system that can be synchronized with the master system via the study of wave reflections on the boundary to recover the actual wave dynamics. The coupling gain, which represents the strength of the connection between the master system and the slave system, has been identified. The obtained result can be also viewed as an observer construction when the measurable output is only on the boundary. Numerical simulations are provided to demonstrate the effectiveness of the theoretical outcomes.more » « less
An official website of the United States government

