Symmetry in Equivariant cohomology of $\mathbb{P}^n$
We resolve a problem of Anderson and Fulton by providing a symmetric and positive product rule for the equivariant cohomology of projective space.
math.CO↗
arXiv subjects
Duy Phan
Publications and source records attributed to Duy Phan.
RSK linear operators and the Vershik-Kerov-Logan-Shepp curve
Stelzer and Yong (2024) studied the Robinson-Schensted-Knuth (RSK) correspondence as a linear operator on the coordinate ring of matrices. They showed that this operator is block diagonal and conjectured that, in a special block, most diagonal entries vanish. We establish this conjecture by identifying these zeros with certain Schensted insertion interactions and analyzing them probabilistically using the Vershik-Kerov-Logan-Shepp Limit Shape Theorem.
math.CO↗
On the correspondence between perfect matchings and compatible pairs for affine cluster algebra
We study cluster algebra of affine type $A_1^{(1)}$ by using two methods including counting the numbers of perfect matchings on snake graphs and compatible pairs on maximal Dyck paths. We find that the sum of coefficients of the terms in the Laurent polynomials of these cluster variables are odd-indexed Fibonacci numbers. In addition, we prove that the numbers of non-decreasing Dyck paths of even lengths are also odd-indexed Fibonacci numbers. As a consequence, we define explicit bijective correspondences among three combinatorial models, including perfect matchings on the snake graph, compatible pairs on the maximal Dyck path, and non-decreasing Dyck paths of even lengths.
math.CO↗
Exponential integrators for second-order in time partial differential equations
Two types of second-order in time partial differential equations (PDEs), namely semilinear wave equations and semilinear beam equations are considered. To solve these equations with exponential integrators, we present an approach to compute efficiently the action of the matrix exponential as well as those of related matrix functions. Various numerical simulations are presented that illustrate this approach.
math.NA↗
A Reduced Order Controller for Output Tracking of a Kelvin-Voigt Beam
We study output tracking and disturbance rejection for an Euler-Bernoulli beam with Kelvin-Voigt damping. The system has distributed control and pointwise observation. As our main result we design a finite-dimensional low-order internal model based controller that is based on a spectral Galerkin method and model reduction by Balanced Truncation. The performance of the designed controller is demonstrated with numerical simulations and compared to the performance of a low-gain internal model based controller.
math.OC↗
Finite-Dimensional Controllers for Robust Regulation of Boundary Control Systems
We study the robust output regulation of linear boundary control systems by constructing extended systems. The extended systems are established based on solving static differential equations under two new conditions. We first consider the abstract setting and present finite-dimensional reduced order controllers. The controller design is then used for particular PDE models: high-dimensional parabolic equations and beam equations with Kelvin-Voigt damping. Numerical examples will be presented using Finite Element Method.
math.OC↗
Approximate controllability for Navier--Stokes equations in {\rm 3D} Cylinders under Lions boundary conditions by an explicit saturating set
An explicit saturating set consisting of eigenfunctions of Stokes operator in general 3D Cylinders is proposed. The existence of saturating sets implies the approximate controllability for Navier--Stokes equations in $\rm 3D$ Cylinders under Lions boundary conditions.
math.OC↗
Reduced Order Controller Design for Robust Output Regulation
We study robust output regulation for parabolic partial differential equations and other infinite-dimensional linear systems with analytic semigroups. As our main results we show that robust output tracking and disturbance rejection for our class of systems can be achieved using a finite-dimensional controller and present algorithms for construction of two different internal model based robust controllers. The controller parameters are chosen based on a Galerkin approximation of the original PDE system and employ balanced truncation to reduce the orders of the controllers. In the second part of the paper we design controllers for robust output tracking and disturbance rejection for a 1D reaction-diffusion equation with boundary disturbances, a 2D diffusion-convection equation, and a 1D beam equation with Kelvin-Voigt damping.
math.OC↗
Approximate controllability for Navier--Stokes equations in $\mathrm{3D}$ rectangles under Lions boundary conditions
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.
math.OC↗
Stabilization to trajectories for parabolic equations
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.
math.OC↗
Gevrey regularity for Navier--Stokes equations under Lions boundary conditions
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.
math.AP↗