We consider the linear third order (in time) PDE known as the SMGTJ-equation, defined on a bounded domain, under the action of either Dirichlet or Neumann boundary control \begin{document}$ g $$\end{document}. Optimal interior and boundary regularity results were given in [1], after [41], when \begin{document}$$ g \in L^2(0, T;L^2(\Gamma)) \equiv L^2(\Sigma) $$\end{document}, which, moreover, in the canonical case \begin{document}$$ \gamma = 0 $$\end{document}, were expressed by the well-known explicit representation formulae of the wave equation in terms of cosine/sine operators [19], [17], [24,Vol Ⅱ]. The interior or boundary regularity theory is however the same, whether \begin{document}$$ \gamma = 0 $$\end{document} or \begin{document}$$ 0 \neq \gamma \in L^{\infty}(\Omega) $$\end{document}, since \begin{document}$$ \gamma \neq 0 $$\end{document} is responsible only for lower order terms. Here we exploit such cosine operator based-explicit representation formulae to provide optimal interior and boundary regularity results with \begin{document}$$ g $$\end{document} "smoother" than \begin{document}$$ L^2(\Sigma) $$\end{document}, qualitatively by one unit, two units, etc. in the Dirichlet boundary case. To this end, we invoke the corresponding results for wave equations, as in [17]. Similarly for the Neumann boundary case, by invoking the corresponding results for the wave equation as in [22], [23], [37] for control smoother than \begin{document}$$ L^2(0, T;L^2(\Gamma)) $$\end{document}, and [44] for control less regular in space than \begin{document}$$ L^2(\Gamma) $$\end{document}$. In addition, we provide optimal interior and boundary regularity results when the SMGTJ equation is subject to interior point control, by invoking the corresponding wave equations results [42], [24,Section 9.8.2].
more »
« less
Elastic stabilization of an intrinsically unstable hyperbolic flow–structure interaction on the 3D half-space
The strong asymptotic stabilization of 3D hyperbolic dynamics is achieved by a damped 2D elastic structure. The model is a Neumann wave-type equation with low regularity coupling conditions given in terms of a nonlinear von Karman plate. This problem is motivated by the elimination of aeroelastic instability (sustained oscillations of bridges, airfoils, etc.) in engineering applications. Empirical observations indicate that the subsonic wave-plate system converges to equilibria. Classical approaches which decouple the plate and wave dynamics have fallen short. Here, we operate on the model as it appears in the engineering literature with no regularization and achieve stabilization by microlocalizing the Neumann boundary data for the wave equation (given through the plate dynamics). We observe a compensation by the plate dynamics precisely where the regularity of the 3D Neumann wave is compromised (in the characteristic sector).
more »
« less
- PAR ID:
- 10418352
- Publisher / Repository:
- World Scientific
- Date Published:
- Journal Name:
- Mathematical Models and Methods in Applied Sciences
- Volume:
- 33
- Issue:
- 03
- ISSN:
- 0218-2025
- Page Range / eLocation ID:
- 505 to 545
- 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.)We consider a recent plate model obtained as a scaled limit of the three-dimensional Biot system of poro-elasticity. The result is a ‘2.5’-dimensional linear system that couples traditional Euler–Bernoulli plate dynamics to a pressure equation in three dimensions, where diffusion acts only transversely. We allow the permeability function to be time dependent, making the problem non-autonomous and disqualifying much of the standard abstract theory. Weak solutions are defined in the so-called quasi-static case, and the problem is framed abstractly as an implicit, degenerate evolution problem. Utilizing the theory for weak solutions for implicit evolution equations, we obtain existence of solutions. Uniqueness is obtained under additional hypotheses on the regularity of the permeability function. We address the inertial case in an appendix, by way of semigroup theory. The work here provides a baseline theory of weak solutions for the poro-elastic plate and exposits a variety of interesting related models and associated analytical investigations.more » « less
-
We consider the linearized third order SMGTJ equation defined on a sufficiently smooth boundary domain in and subject to either Dirichlet or Neumann rough boundary control. Filling a void in the literature, we present a direct general system approach based on the vector state solution {position, velocity, acceleration}. It yields, in both cases, an explicit representation formula: input solution, based on the s.c. group generator of the boundary homogeneous problem and corresponding elliptic Dirichlet or Neumann map. It is close to, but also distinctly and critically different from, the abstract variation of parameter formula that arises in more traditional boundary control problems for PDEs L‐T.6. Through a duality argument based on this explicit formula, we provide a new proof of the optimal regularity theory: boundary control {position, velocity, acceleration} with low regularity boundary control, square integrable in time and space.more » « less
-
It has been extensively studied in the literature that solving Maxwell equations is very sensitive to mesh structures, space conformity and solution regularity. Roughly speaking, for almost all the methods in the literature, optimal convergence for low-regularity solutions heavily relies on conforming spaces and highly regular simplicial meshes. This can be a significant limitation for many popular methods based on broken spaces and non-conforming or polytopal meshes often used for inhomogeneous media, as the discontinuity of electromagnetic parameters can lead to quite low regularity of solutions near media interfaces. This very issue can be potentially worsened by geometric singularities, making those methods particularly challenging to apply. In this paper, we present a lowest-order virtual element method for solving an indefinite time-harmonic Maxwell equation in 2D inhomogeneous media with quite arbitrary polytopal meshes, and the media interface is allowed to have geometric singularity to cause low regularity. We employ the “virtual mesh” technique originally invented in [S. Cao, L. Chen and R. Guo, A virtual finite element method for two-dimensional Maxwell interface problems with a background unfitted mesh, Math. Models Methods Appl. Sci. 31 (2021) 2907–2936] for error analysis. This work admits three key novelties: (i) the proposed method is theoretically guaranteed to achieve robust optimal convergence for solutions with merely [Formula: see text] regularity, [Formula: see text]; (ii) the polytopal element shape can be highly anisotropic and shrinking, and an explicit formula is established to describe the relationship between the shape regularity and solution regularity; (iii) we show that the stabilization term is needed to produce optimal convergent solutions for indefinite problems. Extensive numerical experiments will be given to demonstrate the effectiveness of the proposed method.more » « less
An official website of the United States government

