-
Exponential mixing for the randomly forced NLS equation
Authors:
Yuxuan Chen,
Shengquan Xiang,
Zhifei Zhang,
Jia-Cheng Zhao
Abstract:
This paper investigates exponential mixing of the invariant measure for randomly forced nonlinear Schrödinger equation, with damping and random noise localized in space. Our study emphasizes the crucial role of exponential asymptotic compactness and control properties in establishing the ergodic properties of random dynamical systems. This work extends the series [15, 45] on the statistical behavi…
▽ More
This paper investigates exponential mixing of the invariant measure for randomly forced nonlinear Schrödinger equation, with damping and random noise localized in space. Our study emphasizes the crucial role of exponential asymptotic compactness and control properties in establishing the ergodic properties of random dynamical systems. This work extends the series [15, 45] on the statistical behavior of randomly forced dispersive equations.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
Physics-Informed Neural Networks for the Relativistic Burgers Equation in the Exterior of a Schwarzschild Black Hole
Authors:
Shuyang Xiang
Abstract:
We introduce a Physics-Informed Neural Networks(PINN) to solve a relativistic Burgers equation in the exterior domain of a Schwarzschild black hole. Our main contribution is a PINN architecture that is able to simulate shock wave formations in such curved spacetime, by training a shock-aware network block and introducing a Godunov-inspired residuals in the loss function. We validate our method wit…
▽ More
We introduce a Physics-Informed Neural Networks(PINN) to solve a relativistic Burgers equation in the exterior domain of a Schwarzschild black hole. Our main contribution is a PINN architecture that is able to simulate shock wave formations in such curved spacetime, by training a shock-aware network block and introducing a Godunov-inspired residuals in the loss function. We validate our method with numerical experiments with different kinds of initial conditions. We show its ability to reproduce both smooth and discontinuous solutions in the context of general relativity.
△ Less
Submitted 3 June, 2025; v1 submitted 1 June, 2025;
originally announced June 2025.
-
Quantum ergodicity for Dirichlet-truncated operators on $\mathbb{Z}^d$
Authors:
Hongyi Cao,
Shengquan Xiang
Abstract:
In this paper, we prove quantum ergodicity (a form of delocalization for eigenfunctions) for the Dirichlet truncations of the adjacency matrix on $\mathbb{Z}^d$. We also extend the result to the cases of finite range observables and periodic Schrödinger operators with periods of length at most two. This work partially answers a question asked by McKenzie and Sabri (Comm. Math. Phys. 403(3), 1477--…
▽ More
In this paper, we prove quantum ergodicity (a form of delocalization for eigenfunctions) for the Dirichlet truncations of the adjacency matrix on $\mathbb{Z}^d$. We also extend the result to the cases of finite range observables and periodic Schrödinger operators with periods of length at most two. This work partially answers a question asked by McKenzie and Sabri (Comm. Math. Phys. 403(3), 1477--1509(2023)).
△ Less
Submitted 4 May, 2025;
originally announced May 2025.
-
Exact root-exponential convergence rates of lightning plus polynomial approximations for corner singularities
Authors:
Shuhuang Xiang,
Shunfeng Yang,
Yanghao Wu
Abstract:
This paper builds rigorous analysis on the root-exponential convergence for the lightning schemes via rational functions in approximating corner singularity problems with uniform exponentially clustered poles proposed by Gopal and Trefethen. The start point is to set up the representations of $z^α$ and $z^α\log z$ in the slit disk and develop results akin to Paley-Wiener theorem, from which, toget…
▽ More
This paper builds rigorous analysis on the root-exponential convergence for the lightning schemes via rational functions in approximating corner singularity problems with uniform exponentially clustered poles proposed by Gopal and Trefethen. The start point is to set up the representations of $z^α$ and $z^α\log z$ in the slit disk and develop results akin to Paley-Wiener theorem, from which, together with the Poisson summation formula, the root-exponential convergence of the lightning plus polynomial scheme with an exact order for each clustered parameter is established in approximation of prototype functions $g(z)z^α$ or $g(z)z^α\log z$ on a sector-shaped domain, which includes $[0,1]$ as a special case. In addition, the fastest convergence rate is confirmed based upon the best choice of the clustered parameter. Furthermore, the optimal choice of the clustered parameter and the convergence rate for corner singularity problems in solving Laplace equations are attested based on Lehman and Wasow's study of corner singularities and along with the decomposition of Gopal and Trefethen. The thorough analysis provides a solid foundation for lightning schemes and rational approximation. Ample numerical evidences demonstrate the optimality and sharpness of the estimates.
△ Less
Submitted 3 June, 2025; v1 submitted 23 April, 2025;
originally announced April 2025.
-
Small-time local controllability of a KdV system for all critical lengths
Authors:
Jingrui Niu,
Shengquan Xiang
Abstract:
In this paper, we consider the small-time local controllability problem for the KdV system on an interval with a Neumann boundary control. In 1997, Rosier discovered that the linearized system is uncontrollable if and only if the length is critical, namely $L=2π\sqrt{(k^2+ kl+ l^2)/3}$ for some integers $k$ and $l$.
Coron and Crépeau (2003) proved that the nonlinear system is small-time locally…
▽ More
In this paper, we consider the small-time local controllability problem for the KdV system on an interval with a Neumann boundary control. In 1997, Rosier discovered that the linearized system is uncontrollable if and only if the length is critical, namely $L=2π\sqrt{(k^2+ kl+ l^2)/3}$ for some integers $k$ and $l$.
Coron and Crépeau (2003) proved that the nonlinear system is small-time locally controllable even if the linearized system is not, provided that $k= l$ is the only solution pair. Later, Cerpa and Crepeau showed that the system is large-time locally controllable for all critical lengths. In 2020, Coron, Koenig, and Nguyen found that the system is not small-time locally controllable if $2k+l\not \in 3\mathbb{N}^*$.
We demonstrate that if the critical length satisfies $2k+l \in 3\mathbb{N}^*$ with $k\neq l$, then the system is not small-time locally controllable. This paper, together with the above results, gives a complete answer to the longstanding open problem on the small-time local controllability of KdV on all critical lengths since the pioneer work by Rosier
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
Equivariant Poincaré-Hopf theorem
Authors:
Hongzhi Liu,
Hang Wang,
Zijing Wang,
Shaocong Xiang
Abstract:
In this paper, we employ the framework of localization algebras to compute the equivariant K-homology class of the Euler characteristic operator, a central object in studying equivariant index theory on manifolds. This approach provides a powerful algebraic language for analyzing differential operators on equivariant structures and allows for the application of Witten deformation techniques in a K…
▽ More
In this paper, we employ the framework of localization algebras to compute the equivariant K-homology class of the Euler characteristic operator, a central object in studying equivariant index theory on manifolds. This approach provides a powerful algebraic language for analyzing differential operators on equivariant structures and allows for the application of Witten deformation techniques in a K-homological context. Utilizing these results, we establish an equivariant version of the Poincaré-Hopf theorem, extending classical topological insights to the equivariant case, inspired by the results of Lück-Rosenberg. This work thus offers a new perspective on the localization techniques in the equivariant K-homology, highlighting their utility in deriving explicit formulas for index-theoretic invariants.
△ Less
Submitted 19 October, 2024;
originally announced October 2024.
-
Local large deviations for randomly forced nonlinear wave equations with localized damping
Authors:
Yuxuan Chen,
Ziyu Liu,
Shengquan Xiang,
Zhifei Zhang
Abstract:
We study the large deviation principle (LDP) for locally damped nonlinear wave equations perturbed by a bounded noise. When the noise is sufficiently non-degenerate, we establish the LDP for empirical distributions with lower bound of a local type. The primary challenge is the lack of compactness due to the absence of smoothing effect. This is overcome by exploiting the asymptotic compactness for…
▽ More
We study the large deviation principle (LDP) for locally damped nonlinear wave equations perturbed by a bounded noise. When the noise is sufficiently non-degenerate, we establish the LDP for empirical distributions with lower bound of a local type. The primary challenge is the lack of compactness due to the absence of smoothing effect. This is overcome by exploiting the asymptotic compactness for the dynamics of waves, introducing the concept of asymptotic exponential tightness for random measures, and establishing a new LDP approach for random dynamical systems.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Exponential mixing for random nonlinear wave equations: weak dissipation and localized control
Authors:
Ziyu Liu,
Dongyi Wei,
Shengquan Xiang,
Zhifei Zhang,
Jia-Cheng Zhao
Abstract:
We establish a new criterion for exponential mixing of random dynamical systems. Our criterion is applicable to a wide range of systems, including in particular dispersive equations. Its verification is in nature related to several topics, i.e., asymptotic compactness in dynamical systems, global stability of evolution equations, and localized control problems.
As an initial application, we expl…
▽ More
We establish a new criterion for exponential mixing of random dynamical systems. Our criterion is applicable to a wide range of systems, including in particular dispersive equations. Its verification is in nature related to several topics, i.e., asymptotic compactness in dynamical systems, global stability of evolution equations, and localized control problems.
As an initial application, we exploit the exponential mixing of random nonlinear wave equations with degenerate damping, critical nonlinearity, and physically localized noise. The essential challenge lies in the fact that the weak dissipation and randomness interact in the evolution.
△ Less
Submitted 21 July, 2024;
originally announced July 2024.
-
Global controllability to harmonic maps of the heat flow from a circle to a sphere
Authors:
Jean-Michel Coron,
Shengquan Xiang
Abstract:
In this paper, we study the global controllability and stabilization problems of the harmonic map heat flow from a circle to a sphere. Combining ideas from control theory, heat flow, differential geometry, and asymptotic analysis, we obtain several important properties, such as small-time local controllability, local quantitative rapid stabilization, obstruction to semi-global asymptotic stabiliza…
▽ More
In this paper, we study the global controllability and stabilization problems of the harmonic map heat flow from a circle to a sphere. Combining ideas from control theory, heat flow, differential geometry, and asymptotic analysis, we obtain several important properties, such as small-time local controllability, local quantitative rapid stabilization, obstruction to semi-global asymptotic stabilization, and global controllability to geodesics. Surprisingly, due to the geometric feature of the equation we also discover the small-time global controllability between harmonic maps within the same homotopy class for general compact Riemannian manifold targets, which is to be compared with the analogous but longstanding problem for the nonlinear heat equations.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Polynomial and rational interpolation: potential, barycentric weights, and Lebesgue constants
Authors:
Kelong Zhao,
Shuhuang Xiang
Abstract:
In this paper, we focus on barycentric weights and Lebesgue constants for Lagrange interpolation of arbitrary node distributions on \([-1,1]\). The following three main works are included: estimates of upper and lower bounds on the barycentric weights are given in terms of the logarithmic potential function; for interpolation of non-equilibrium potentials, lower bounds with exponentially growing p…
▽ More
In this paper, we focus on barycentric weights and Lebesgue constants for Lagrange interpolation of arbitrary node distributions on \([-1,1]\). The following three main works are included: estimates of upper and lower bounds on the barycentric weights are given in terms of the logarithmic potential function; for interpolation of non-equilibrium potentials, lower bounds with exponentially growing parts of Lebesgue constants are given; and for interpolation consistent with equilibrium potentials, non-exponentially growing upper bounds on their Lebesgue constants are given. Based on the work in this paper, we can discuss the behavior of the Lebesgue constant and the existence of exponential convergence in a unified manner in the framework of potential theory.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
The root-exponential convergence of lightning plus polynomial approximation on corner domains
Authors:
Shuhuang Xiang,
Shunfeng Yang
Abstract:
This paper builds further rigorous analysis on the root-exponential convergence for lightning schemes approximating corner singularity problems. By utilizing Poisson summation formula, Runge's approximation theorem and Cauchy's integral theorem, the optimal rate is obtained for efficient lightning plus polynomial schemes, newly developed by Herremans, Huybrechs and Trefethen \cite{Herremans2023},…
▽ More
This paper builds further rigorous analysis on the root-exponential convergence for lightning schemes approximating corner singularity problems. By utilizing Poisson summation formula, Runge's approximation theorem and Cauchy's integral theorem, the optimal rate is obtained for efficient lightning plus polynomial schemes, newly developed by Herremans, Huybrechs and Trefethen \cite{Herremans2023}, for approximation of $g(z)z^α$ or $g(z)z^α\log z$ in a sector-shaped domain with tapered exponentially clustering poles, where $g(z)$ is analytic on the sector domain. From these results, Conjecture 5.3 in \cite{Herremans2023} on the root-exponential convergence rate is confirmed and the choice of the parameter $σ_{opt}=\frac{\sqrt{2(2-β)}π}{\sqrtα}$ may achieve the fastest convergence rate among all $σ>0$. Furthermore, based on Lehman and Wasow's study of corner singularities \cite{Lehman1954DevelopmentsIT, Wasow}, together with the decomposition of Gopal and Trefethen \cite{Gopal2019}, root-exponential rates for lightning plus polynomial schemes in corner domains $Ω$ are validated, and the best choice of lightning clustering parameter $σ$ for $Ω$ is also obtained explicitly. The thorough analysis provides a solid foundation for lightning schemes.
△ Less
Submitted 16 January, 2024; v1 submitted 7 January, 2024;
originally announced January 2024.
-
On the best convergence rates of lightning plus polynomial approximations
Authors:
Shuhuang Xiang,
Shunfeng Yang,
Yanghao Wu
Abstract:
Building on introducing exponentially clustered poles, Trefethen and his collaborators introduced lightning algorithms for approximating functions of singularities. These schemes may achieve root-exponential convergence rates. In particular, based on a specific choice of the parameter of the tapered exponentially clustered poles, the lightning approximation with either a low-degree polynomial basi…
▽ More
Building on introducing exponentially clustered poles, Trefethen and his collaborators introduced lightning algorithms for approximating functions of singularities. These schemes may achieve root-exponential convergence rates. In particular, based on a specific choice of the parameter of the tapered exponentially clustered poles, the lightning approximation with either a low-degree polynomial basis may achieve the optimal convergence rate simply as the best rational approximation for prototype $x^α$ on $[0,1]$, which was illustrated through delicate numerical experiments and conjectured in [SIAM J. Numer. Anal., 61:2580-2600, 2023]. By utilizing Poisson's summation formula and results akin to Paley-Wiener Theorem, we rigorously show that all these schemes with a low-degree polynomial basis achieve root-exponential convergence rates with exact orders in approximating $x^α$ for arbitrary clustered parameters theoretically, and provide the best choices of the parameter to achieve the fastest convergence rate for each type of clustered poles, from which the conjecture is confirmed as a special case. Ample numerical evidences demonstrate the optimality and sharpness of the estimates.
△ Less
Submitted 16 June, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Traffic smoothing using explicit local controllers
Authors:
Amaury Hayat,
Arwa Alanqary,
Rahul Bhadani,
Christopher Denaro,
Ryan J. Weightman,
Shengquan Xiang,
Jonathan W. Lee,
Matthew Bunting,
Anish Gollakota,
Matthew W. Nice,
Derek Gloudemans,
Gergely Zachar,
Jon F. Davis,
Maria Laura Delle Monache,
Benjamin Seibold,
Alexandre M. Bayen,
Jonathan Sprinkle,
Daniel B. Work,
Benedetto Piccoli
Abstract:
The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the N…
▽ More
The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the Nashville area was able to regularize the velocity profile by reducing oscillations in time and velocity differences among vehicles. Quantitative measures of this effect were possible due to the innovative I-24 MOTION system capable of monitoring the traffic conditions for all vehicles on the roadway. This paper presents the control design, the technological aspects involved in its deployment, and, finally, the results achieved by the experiment.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Global controllability and stabilization of the wave maps equation from a circle to a sphere
Authors:
Jean-Michel Coron,
Joachim Krieger,
Shengquan Xiang
Abstract:
Continuing the investigations started in the recent work [Krieger-Xiang, 2022] on semi-global controllability and stabilization of the $(1+1)$-dimensional wave maps equation with spatial domain $\mathbb{S}^1$ and target $\mathbb{S}^k$, where {\it semi-global} refers to the $2π$-energy bound, we prove global exact controllability of the same system for $k>1$ and show that the $2π$-energy bound is a…
▽ More
Continuing the investigations started in the recent work [Krieger-Xiang, 2022] on semi-global controllability and stabilization of the $(1+1)$-dimensional wave maps equation with spatial domain $\mathbb{S}^1$ and target $\mathbb{S}^k$, where {\it semi-global} refers to the $2π$-energy bound, we prove global exact controllability of the same system for $k>1$ and show that the $2π$-energy bound is a strict threshold for uniform asymptotic stabilization via continuous time-varying feedback laws indicating that the damping stabilization in [Krieger-Xiang, 2022] is sharp. Lastly, the global exact controllability for $\mathbb{S}^1$-target within minimum time is discussed.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Embedded corrector problems for homogenization in linear elasticity
Authors:
Virginie Ehrlacher,
Frederic Legoll,
Benjamin Stamm,
Shuyang Xiang
Abstract:
In this article, we extend the study of embedded corrector problems, that we have previously introduced in the context of the homogenization of scalar diffusive equations, to the context of homogenized elastic properties of materials. This extension is not trivial and requires mathematical arguments specific to the elasticity case. Starting from a linear elasticity model with highly-oscillatory co…
▽ More
In this article, we extend the study of embedded corrector problems, that we have previously introduced in the context of the homogenization of scalar diffusive equations, to the context of homogenized elastic properties of materials. This extension is not trivial and requires mathematical arguments specific to the elasticity case. Starting from a linear elasticity model with highly-oscillatory coefficients, we introduce several effective approximations of the homogenized tensor. These approximations are based on the solution to an embedded corrector problem, where a finite-size domain made of the linear elastic heterogeneous material is embedded in a linear elastic homogeneous infinite medium, the constant elasticity tensor of which has to be appropriately determined. The approximations we provide are proven to converge to the homogenized elasticity tensor when the size of the embedded domain tends to infinity. Some particular attention is devoted to the case of isotropic materials.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Barycentric Interpolation Based on Equilibrium Potential
Authors:
Kelong Zhao,
shuhuang Xiang
Abstract:
We present a novel barycentric interpolation algorithm designed for analytic functions $f\in\mathcal{A}(E)$ defined on the complex plane. The algorithm, which encompasses both polynomial and rational interpolation, is tailored to handle singularities near $E$. Our method is applicable to regions $E$ bounded by piecewise smooth Jordan curves, and it imposes no connectivity restrictions on the regio…
▽ More
We present a novel barycentric interpolation algorithm designed for analytic functions $f\in\mathcal{A}(E)$ defined on the complex plane. The algorithm, which encompasses both polynomial and rational interpolation, is tailored to handle singularities near $E$. Our method is applicable to regions $E$ bounded by piecewise smooth Jordan curves, and it imposes no connectivity restrictions on the region. The key feature of our approach lies in efficiently computing discrete points via the numerical solution of Symm's integral equation, enabling the construction of polynomial or rational barycentric interpolants. Furthermore, our method provides relevant parameters for the equilibrium potential, such as Robin's constant, which can be used to estimate convergence rates. Numerical experiments demonstrate the convergence rate achieved by our method in comparison to the theoretical convergence rate.
△ Less
Submitted 20 July, 2024; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Pointwise error estimates and local superconvergence of Jacobi expansions
Authors:
Shuhuang Xiang,
Desong Kong,
Guidong Liu,
Li-Lian Wang
Abstract:
As one myth of polynomial interpolation and quadrature, Trefethen [30] revealed that the Chebyshev interpolation of $|x-a|$ (with $|a|<1 $) at the Clenshaw-Curtis points exhibited a much smaller error than the best polynomial approximation (in the maximum norm) in about $95\%$ range of $[-1,1]$ except for a small neighbourhood near the singular point $x=a.$ In this paper, we rigorously show that t…
▽ More
As one myth of polynomial interpolation and quadrature, Trefethen [30] revealed that the Chebyshev interpolation of $|x-a|$ (with $|a|<1 $) at the Clenshaw-Curtis points exhibited a much smaller error than the best polynomial approximation (in the maximum norm) in about $95\%$ range of $[-1,1]$ except for a small neighbourhood near the singular point $x=a.$ In this paper, we rigorously show that the Jacobi expansion for a more general class of $Φ$-functions also enjoys such a local convergence behaviour. Our assertion draws on the pointwise error estimate using the reproducing kernel of Jacobi polynomials and the Hilb-type formula on the asymptotic of the Bessel transforms. We also study the local superconvergence and show the gain in order and the subregions it occurs. As a by-product of this new argument, the undesired $\log n$-factor in the pointwise error estimate for the Legendre expansion recently stated in Babuuska and Hakula [5] can be removed. Finally, all these estimates are extended to the functions with boundary singularities. We provide ample numerical evidences to demonstrate the optimality and sharpness of the estimates.
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
Eigenvalue Analysis and Applications of the Legendre Dual-Petrov-Galerkin Methods for Initial Value Problems
Authors:
Desong Kong,
Jie Shen,
Li-Lian Wang,
Shuhuang Xiang
Abstract:
In this paper, we show that the eigenvalues and eigenvectors of the spectral discretisation matrices resulted from the Legendre dual-Petrov-Galerkin (LDPG) method for the $m$th-order initial value problem (IVP): $u^{(m)}(t)=σu(t),\, t\in (-1,1)$ with constant $σ\not=0$ and usual initial conditions at $t=-1,$ are associated with the generalised Bessel polynomials (GBPs). The essential idea of the a…
▽ More
In this paper, we show that the eigenvalues and eigenvectors of the spectral discretisation matrices resulted from the Legendre dual-Petrov-Galerkin (LDPG) method for the $m$th-order initial value problem (IVP): $u^{(m)}(t)=σu(t),\, t\in (-1,1)$ with constant $σ\not=0$ and usual initial conditions at $t=-1,$ are associated with the generalised Bessel polynomials (GBPs). The essential idea of the analysis is to properly construct the basis functions for the solution and its dual spaces so that the matrix of the $m$th derivative is an identity matrix, and the mass matrix is then identical or approximately equals to the Jacobi matrix of the three-term recurrence of GBPs with specific integer parameters. This allows us to characterise the eigenvalue distributions and identify the eigenvectors. As a by-product, we are able to answer some open questions related to the very limited known results on the collocation method at Legendre points (studied in 1980s) for the first-order IVP, by reformulating it into a Petrov-Galerkin formulation. Moreover, we present two stable algorithms for computing zeros of the GBPs, and develop a general space-time spectral method for evolutionary PDEs using either the matrix diagonalisation, which is restricted to a small number of unknowns in time due to the ill-conditioning but is fully parallel, or the QZ decomposition which is numerically stable for a large number of unknowns in time but involves sequential computations. We provide ample numerical results to demonstrate the high accuracy and robustness of the space-time spectral methods for some interesting examples of linear and nonlinear wave problems.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Semi-global controllability of a geometric wave equation
Authors:
Joachim Krieger,
Shengquan Xiang
Abstract:
We prove the semi-global controllability and stabilization of the $(1+1)$-dimensional wave maps equation with spatial domain $\mathbb{S}^1$ and target $\mathbb{S}^k$. First we show that damping stabilizes the system when the energy is strictly below the threshold $2π$, where harmonic maps appear as obstruction for global stabilization. Then, we adapt an iterative control procedure to get low-energ…
▽ More
We prove the semi-global controllability and stabilization of the $(1+1)$-dimensional wave maps equation with spatial domain $\mathbb{S}^1$ and target $\mathbb{S}^k$. First we show that damping stabilizes the system when the energy is strictly below the threshold $2π$, where harmonic maps appear as obstruction for global stabilization. Then, we adapt an iterative control procedure to get low-energy exact controllability of the wave maps equation. This result is optimal in the case $k=1$.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Fredholm backstepping for critical operators and application to rapid stabilization for the linearized water waves
Authors:
Ludovick Gagnon,
Amaury Hayat,
Shengquan Xiang,
Christophe Zhang
Abstract:
Fredholm-type backstepping transformation, introduced by Coron and Lü, has become a powerful tool for rapid stabilization with fast development over the last decade. Its strength lies in its systematic approach, allowing to deduce rapid stabilization from approximate controllability. But limitations with the current approach exist for operators of the form $|D_x|^α$ for $α\in (1,3/2]$. We present…
▽ More
Fredholm-type backstepping transformation, introduced by Coron and Lü, has become a powerful tool for rapid stabilization with fast development over the last decade. Its strength lies in its systematic approach, allowing to deduce rapid stabilization from approximate controllability. But limitations with the current approach exist for operators of the form $|D_x|^α$ for $α\in (1,3/2]$. We present here a new compactness/duality method which hinges on Fredholm's alternative to overcome the $α=3/2$ threshold. More precisely, the compactness/duality method allows to prove the existence of a Riesz basis for the backstepping transformation for skew-adjoint operator verifying $α>1$, a key step in the construction of the Fredholm backstepping transformation, where the usual methods only work for $α>3/2$. The illustration of this new method is shown on the rapid stabilization of the linearized capillary-gravity water wave equation exhibiting an operator of critical order $α=3/2$.
△ Less
Submitted 5 June, 2024; v1 submitted 16 February, 2022;
originally announced February 2022.
-
Stability of multi-population traffic flows
Authors:
Amaury Hayat,
Benedetto Piccoli,
Shengquan Xiang
Abstract:
Traffic waves, known also as stop-and-go waves or phantom hams, appear naturally as traffic instabilities, also in confined environments as a ring-road. A multi-population traffic is studied on a ring-road, comprised of drivers with stable and unstable behavior. There exists a critical penetration rate of stable vehicles above which the system is stable, and under which the system is unstable. In…
▽ More
Traffic waves, known also as stop-and-go waves or phantom hams, appear naturally as traffic instabilities, also in confined environments as a ring-road. A multi-population traffic is studied on a ring-road, comprised of drivers with stable and unstable behavior. There exists a critical penetration rate of stable vehicles above which the system is stable, and under which the system is unstable. In the latter case, stop-and-go waves appear, provided enough cars are on the road. The critical penetration rate is explicitly computable, and, in reasonable situations, a small minority of aggressive drivers is enough to destabilize an otherwise very stable flow. This is a source of instability that a single population model would not be able to explain. Also, the multi-population system can be stable below the critical penetration rate if the number of cars is sufficiently small. Instability emerges as the number of cars increases, even if the traffic density remains the same (i.e. number of cars and road size increase similarly). This shows that small experiments could lead to deducing imprecise stability conditions.
△ Less
Submitted 2 January, 2022;
originally announced January 2022.
-
On the global approximate controllability in small time of semiclassical 1-D Schrödinger equations between two states with positive quantum densities
Authors:
Jean-Michel Coron,
Shengquan Xiang,
Ping Zhang
Abstract:
In this paper, we study, in the semiclassical sense, the global approximate controllability in small time of the quantum density and quantum momentum of the 1-D semiclassical cubic Schrödinger equation with two controls between two states with positive quantum densities. We first control the asymptotic expansions of the zeroth and first order of the physical observables via Agrachev-Sarychev's met…
▽ More
In this paper, we study, in the semiclassical sense, the global approximate controllability in small time of the quantum density and quantum momentum of the 1-D semiclassical cubic Schrödinger equation with two controls between two states with positive quantum densities. We first control the asymptotic expansions of the zeroth and first order of the physical observables via Agrachev-Sarychev's method. Then we conclude the proof through techniques of semiclassical approximation of the nonlinear Schrödinger equation.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
Fredholm transformation on Laplacian and rapid stabilization for the heat equation
Authors:
Ludovick Gagnon,
Amaury Hayat,
Shengquan Xiang,
Christophe Zhang
Abstract:
We study the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. We prove that, under some assumption on the control operator, two scalar controls are necessary and sufficient to get controllability and rapid stabilization. This classical framework allows us to present the backstepping method with Fredholm transformation…
▽ More
We study the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. We prove that, under some assumption on the control operator, two scalar controls are necessary and sufficient to get controllability and rapid stabilization. This classical framework allows us to present the backstepping method with Fredholm transformations on Laplace operators in a sharp functional setting, which is the main objective of this work. Finally, we prove that the same Fredholm transformation also leads to the local rapid stability of the viscous Burgers equation.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Stabilization of the linearized water tank system
Authors:
Jean-Michel Coron,
Amaury Hayat,
Shengquan Xiang,
Christophe Zhang
Abstract:
In this article we study the so-called water tank system. In this system, the behavior of water contained in a 1-D tank is modelled by Saint-Venant equations, with a scalar distributed control. It is well-known that the linearized systems around uniform steady-states are not controllable, the uncontrollable part being of infinite dimension. Here we will focus on the linearized systems around non-u…
▽ More
In this article we study the so-called water tank system. In this system, the behavior of water contained in a 1-D tank is modelled by Saint-Venant equations, with a scalar distributed control. It is well-known that the linearized systems around uniform steady-states are not controllable, the uncontrollable part being of infinite dimension. Here we will focus on the linearized systems around non-uniform steady states, corresponding to a constant acceleration of the tank. We prove that these systems are controllable in Sobolev spaces, using the moments method and perturbative spectral estimates. Then, for steady states corresponding to small enough accelerations, we design an explicit Proportional Integral feedback law (obtained thanks to a well-chosen dynamic extension of the system) that stabilizes these systems exponentially with arbitrarily large decay rate. Our design relies on feedback equivalence/backstepping.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Fast linear barycentric rational interpolation for singular functions via scaled transformations
Authors:
Desong Kong,
Shuhuang Xiang
Abstract:
In this paper, applied strictly monotonic increasing scaled maps, a kind of well-conditioned linear barycentric rational interpolations are proposed to approximate functions of singularities at the origin, such as $x^α$ for $α\in (0,1)$ and $\log(x)$. It just takes $O(N)$ flops and can achieve fast convergence rates with the choice the scaled parameter, where $N$ is the maximum degree of the denom…
▽ More
In this paper, applied strictly monotonic increasing scaled maps, a kind of well-conditioned linear barycentric rational interpolations are proposed to approximate functions of singularities at the origin, such as $x^α$ for $α\in (0,1)$ and $\log(x)$. It just takes $O(N)$ flops and can achieve fast convergence rates with the choice the scaled parameter, where $N$ is the maximum degree of the denominator and numerator. The construction of the rational interpolant couples rational polynomials in the barycentric form of second kind with the transformed Jacobi-Gauss-Lobatto points. Numerical experiments are considered which illustrate the accuracy and efficiency of the algorithms. The convergence of the rational interpolation is also considered.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Small-time local stabilization of the two dimensional incompressible Navier-Stokes equations
Authors:
Shengquan Xiang
Abstract:
We provide explicit time-varying feedback laws that locally stabilize the two dimensional internal controlled incompressible Navier-Stokes equations in arbitrarily small time. We also obtain quantitative rapid stabilization via stationary feedback laws, as well as quantitative null controllability with explicit controls having $e^{C/T}$ costs.
We provide explicit time-varying feedback laws that locally stabilize the two dimensional internal controlled incompressible Navier-Stokes equations in arbitrarily small time. We also obtain quantitative rapid stabilization via stationary feedback laws, as well as quantitative null controllability with explicit controls having $e^{C/T}$ costs.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
Quantitative rapid and finite time stabilization of the heat equation
Authors:
Shengquan Xiang
Abstract:
The null controllability of the heat equation is known for decades [19,23,30]. The finite time stabilizability of the one dimensional heat equation was proved by Coron--Nguyên [13], while the same question for high dimensional spaces remained widely open. Inspired by Coron--Trélat [14] we find explicit stationary feedback laws that quantitatively exponentially stabilize the heat equation with deca…
▽ More
The null controllability of the heat equation is known for decades [19,23,30]. The finite time stabilizability of the one dimensional heat equation was proved by Coron--Nguyên [13], while the same question for high dimensional spaces remained widely open. Inspired by Coron--Trélat [14] we find explicit stationary feedback laws that quantitatively exponentially stabilize the heat equation with decay rate $λ$ and $Ce^{C\sqrtλ}$ estimates, where Lebeau--Robbiano's spectral inequality [30] is naturally used. Then a piecewise controlling argument leads to null controllability with optimal cost $Ce^{C/T}$, as well as finite time stabilization.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.
-
Revisiting the Continuity of Rotation Representations in Neural Networks
Authors:
Sitao Xiang,
Hao Li
Abstract:
In this paper, we provide some careful analysis of certain pathological behavior of Euler angles and unit quaternions encountered in previous works related to rotation representation in neural networks. In particular, we show that for certain problems, these two representations will provably produce completely wrong results for some inputs, and that this behavior is inherent in the topological pro…
▽ More
In this paper, we provide some careful analysis of certain pathological behavior of Euler angles and unit quaternions encountered in previous works related to rotation representation in neural networks. In particular, we show that for certain problems, these two representations will provably produce completely wrong results for some inputs, and that this behavior is inherent in the topological property of the problem itself and is not caused by unsuitable network architectures or training procedures. We further show that previously proposed embeddings of $\mathrm{SO}(3)$ into higher dimensional Euclidean spaces aimed at fixing this behavior are not universally effective, due to possible symmetry in the input causing changes to the topology of the input space. We propose an ensemble trick as an alternative solution.
△ Less
Submitted 12 June, 2020; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Convergence rates of spectral orthogonal projection approximation for functions of algebraic and logarithmatic regularities
Authors:
Shuhuang Xiang
Abstract:
Based on the Hilb type formula between Jacobi polynomials and Bessel functions, optimal decay rates on Jacobi expansion coefficients are derived, by applying van der Corput type lemmas, for functions of logarithmatic singularities, which leads to the optimal convergence rates on the Jacobi, Gegenbauer and Chebyshev orthogonal projections. It is interesting to see that for boundary singularities, o…
▽ More
Based on the Hilb type formula between Jacobi polynomials and Bessel functions, optimal decay rates on Jacobi expansion coefficients are derived, by applying van der Corput type lemmas, for functions of logarithmatic singularities, which leads to the optimal convergence rates on the Jacobi, Gegenbauer and Chebyshev orthogonal projections. It is interesting to see that for boundary singularities, one may get faster convergence rate on the Jacobi or Gegenbauer projection as $(α,β)$ and $λ$ increases. The larger values of parameter, the higher convergence rates can be achieved. In particular, the Legendre projection has one half order higher than Chebyshev. Moreover, if $\min\{α,β\}>0$ and $λ>\frac{1}{2}$, the Jacobi and Gegenbauer orthogonal projections have higher convergence orders compared with Legendre. While for interior singularity, the convergence order is independent of $(α,β)$ and $λ$.
△ Less
Submitted 8 June, 2020; v1 submitted 2 June, 2020;
originally announced June 2020.
-
Boundary stabilization of focusing NLKG near unstable equilibria: radial case
Authors:
Joachim Krieger,
Shengquan Xiang
Abstract:
We investigate the stability and stabilization of the cubic focusing Klein-Gordon equation around static solutions on the closed ball of radius L in $\mathbb{R}^3$. First we show that the system is linearly unstable near the static solution $u\equiv 1$ for any dissipative boundary condition $u_t+ au_ν=0, a\in (0, 1)$. Then by means of boundary controls (both open-loop and closed-loop) we stabilize…
▽ More
We investigate the stability and stabilization of the cubic focusing Klein-Gordon equation around static solutions on the closed ball of radius L in $\mathbb{R}^3$. First we show that the system is linearly unstable near the static solution $u\equiv 1$ for any dissipative boundary condition $u_t+ au_ν=0, a\in (0, 1)$. Then by means of boundary controls (both open-loop and closed-loop) we stabilize the system around this equilibrium exponentially under the condition $\sqrt{2}L\neq \tan \sqrt{2}L$. Furthermore, we show that the equilibrium can be stabilized with any rate less than $ \frac{\sqrt{2}}{2L} \log{\frac{1+a}{1-a}}$, provided $(a,L)$ does not belong to a certain zero set. This rate is sharp.
△ Less
Submitted 12 September, 2022; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Levin methods for highly oscillatory integrals with singularities
Authors:
Yinkun Wang,
Shuhuang Xiang
Abstract:
In this paper, new Levin methods are presented for calculating oscillatory integrals with algebraic and/or logarithmic singularities. To avoid singularity, the technique of singularity separation is applied and then the singular ODE occurring in classic Levin methods is converted into two kinds of non-singular ODEs. The solutions of one can be obtained explicitly, while those of the other can be s…
▽ More
In this paper, new Levin methods are presented for calculating oscillatory integrals with algebraic and/or logarithmic singularities. To avoid singularity, the technique of singularity separation is applied and then the singular ODE occurring in classic Levin methods is converted into two kinds of non-singular ODEs. The solutions of one can be obtained explicitly, while those of the other can be solved efficiently by collocation methods. The proposed methods can attach arbitrarily high asymptotic orders and also enjoy superalgebraic convergence with respect to the number of collocation points. Several numerical experiments are presented to validate the efficiency of the proposed methods.
△ Less
Submitted 20 December, 2019;
originally announced December 2019.
-
Precipitation Forecasting via Multi-Scale Deconstructed ConvLSTM
Authors:
Xinyu Xiao,
Qiuming Kuang,
Shiming Xiang,
Junnan Hu,
Chunhong Pan
Abstract:
Numerical Weather Prediction (NWP), is widely used in precipitation forecasting, based on complex equations of atmospheric motion requires supercomputers to infer the state of the atmosphere. Due to the complexity of the task and the huge computation, this methodology has the problems of inefficiency and non-economic. With the rapid development of meteorological technology, the collection of plent…
▽ More
Numerical Weather Prediction (NWP), is widely used in precipitation forecasting, based on complex equations of atmospheric motion requires supercomputers to infer the state of the atmosphere. Due to the complexity of the task and the huge computation, this methodology has the problems of inefficiency and non-economic. With the rapid development of meteorological technology, the collection of plentiful numerical meteorological data offers opportunities to develop data-driven models for NMP task. In this paper, we consider to combine NWP with deep learning. Firstly, to improve the spatiotemporal modeling of meteorological elements, a deconstruction mechanism and the multi-scale filters are composed to propose a multi-scale deconstructed ConvLSTM (MSD-ConvLSTM). The MSD-ConvLSTM captures and fuses the contextual information by multi-scale filters with low parameter consumption. Furthermore, an encoder-decoder is constructed to encode the features of multiple meteorological elements by deep CNN and decode the spatiotemporal information from different elements by the MSD-ConvLSTM. Our method demonstrates the data-driven way is significance for the weather prediction, which can be confirmed from the experimental results of precipitation forecasting on the European Centre Weather Forecasts (EC) and China Meteorological Forecasts (CM) datasets.
△ Less
Submitted 9 January, 2020; v1 submitted 14 December, 2019;
originally announced December 2019.
-
Cost for a controlled linear KdV equation
Authors:
Joachim Krieger,
Shengquan Xiang
Abstract:
The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathematical theories are built on this totally unknown constant. We introduce a constructive method that gives the quantitative value of this constan…
▽ More
The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathematical theories are built on this totally unknown constant. We introduce a constructive method that gives the quantitative value of this constant.
△ Less
Submitted 9 November, 2019;
originally announced November 2019.
-
Sparse Solutions of a Class of Constrained Optimization Problems
Authors:
Lei Yang,
Xiaojun Chen,
Shuhuang Xiang
Abstract:
In this paper, we consider a well-known sparse optimization problem that aims to find a sparse solution of a possibly noisy underdetermined system of linear equations. Mathematically, it can be modeled in a unified manner by minimizing $\|\bf{x}\|_p^p$ subject to $\|A\bf{x}-\bf{b}\|_q\leqσ$ for given $A \in \mathbb{R}^{m \times n}$, $\bf{b}\in\mathbb{R}^m$, $σ\geq0$, $0\leq p\leq 1$ and…
▽ More
In this paper, we consider a well-known sparse optimization problem that aims to find a sparse solution of a possibly noisy underdetermined system of linear equations. Mathematically, it can be modeled in a unified manner by minimizing $\|\bf{x}\|_p^p$ subject to $\|A\bf{x}-\bf{b}\|_q\leqσ$ for given $A \in \mathbb{R}^{m \times n}$, $\bf{b}\in\mathbb{R}^m$, $σ\geq0$, $0\leq p\leq 1$ and $q \geq 1$. We then study various properties of the optimal solutions of this problem. Specifically, without any condition on the matrix $A$, we provide upper bounds in cardinality and infinity norm for the optimal solutions, and show that all optimal solutions must be on the boundary of the feasible set when $0<p<1$. Moreover, for $q \in \{1,\infty\}$, we show that the problem with $0<p<1$ has a finite number of optimal solutions and prove that there exists $0<p^*<1$ such that the solution set of the problem with any $0<p<p^*$ is contained in the solution set of the problem with $p=0$ and there further exists $0<\bar{p}<p^*$ such that the solution set of the problem with any $0<p\leq\bar{p}$ remains unchanged. An estimation of such $p^*$ is also provided. In addition, to solve the constrained nonconvex non-Lipschitz $L_p$-$L_1$ problem ($0<p<1$ and $q=1$), we propose a smoothing penalty method and show that, under some mild conditions, any cluster point of the sequence generated is a KKT point of our problem. Some numerical examples are given to implicitly illustrate the theoretical results and show the efficiency of the proposed algorithm for the constrained $L_p$-$L_1$ problem under different noises.
△ Less
Submitted 30 September, 2021; v1 submitted 1 July, 2019;
originally announced July 2019.
-
Boundary integral equations for isotropic linear elasticity
Authors:
Benjamin Stamm,
Shuyang Xiang
Abstract:
This articles first investigates boundary integral operators for the three-dimensional isotropic linear elasticity of a biphasic model with piecewise constant Lamé coefficients in the form of a bounded domain of arbitrary shape surrounded by a background material. In the simple case of a spherical inclusion, the vector spherical harmonics consist of eigenfunctions of the single and double layer bo…
▽ More
This articles first investigates boundary integral operators for the three-dimensional isotropic linear elasticity of a biphasic model with piecewise constant Lamé coefficients in the form of a bounded domain of arbitrary shape surrounded by a background material. In the simple case of a spherical inclusion, the vector spherical harmonics consist of eigenfunctions of the single and double layer boundary operators and we provide their spectra. Further, in the case of many spherical inclusions with isotropic materials, each with its own set of Lamé parameters, we propose an integral equation and a subsequent Galerkin discretization using the vector spherical harmonics and apply the discretization to several numerical test cases.
△ Less
Submitted 5 March, 2021; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Existence theory for well-balanced Euler model
Authors:
Shuyang Xiang,
Yangyang Cao
Abstract:
We study the initial value problem for a kind of Euler equation with a source term. Our main result is the existence of a globally-in-time weak solution whose total variation is bounded on the the domain of definition, allowing the existence of shock waves. Our proof relies on a well-balanced random choice method called Glimm method which preserves the fluid equilibria and we construct a sequence…
▽ More
We study the initial value problem for a kind of Euler equation with a source term. Our main result is the existence of a globally-in-time weak solution whose total variation is bounded on the the domain of definition, allowing the existence of shock waves. Our proof relies on a well-balanced random choice method called Glimm method which preserves the fluid equilibria and we construct a sequence of approximate weak solutions which converges to the exact weak solution of the initial value problem, based on the construction of exact solutions of the generalized Riemann problem associated with initially piecewise steady state solutions.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
A Levin method for logarithmically singular oscillatory integrals
Authors:
Yinkun Wang,
Shuhuang Xiang
Abstract:
We propose a new stable Levin method to compute oscillatory integrals with logarithmic singularities and without stationary points. To avoid the singularity, we apply the technique of singularity separation and transform the singular ODE into two non-singular ODEs, which can be solved efficiently by the collocation method. Applying the equivalency of the new Levin method for the singular oscillato…
▽ More
We propose a new stable Levin method to compute oscillatory integrals with logarithmic singularities and without stationary points. To avoid the singularity, we apply the technique of singularity separation and transform the singular ODE into two non-singular ODEs, which can be solved efficiently by the collocation method. Applying the equivalency of the new Levin method for the singular oscillatory integrals and the Filon method when the oscillator is linear, we consider the convergence of the new Levin method. This new method shares the proposition that less error for higher oscillation. Several numerical experiments are presented to validate the efficiency of the proposed method.
△ Less
Submitted 16 January, 2019;
originally announced January 2019.
-
An embedded corrector problem for homogenization. Part II: Algorithms and discretization
Authors:
Eric Cancès,
Virginie Ehrlacher,
Frederic Legoll,
Benjamin Stamm,
Shuyang Xiang
Abstract:
This contribution is the numerically oriented companion article of the work [E. Cancès, V. Ehrlacher, F. Legoll, B. Stamm and S. Xiang, arxiv preprint 1807.05131]. We focus here on the numerical resolution of the embedded corrector problem introduced in [E. Cancès, V. Ehrlacher, F. Legoll and B. Stamm, CRAS 2015; E. Cancès, V. Ehrlacher, F. Legoll, B. Stamm and S. Xiang, arxiv preprint 1807.05131]…
▽ More
This contribution is the numerically oriented companion article of the work [E. Cancès, V. Ehrlacher, F. Legoll, B. Stamm and S. Xiang, arxiv preprint 1807.05131]. We focus here on the numerical resolution of the embedded corrector problem introduced in [E. Cancès, V. Ehrlacher, F. Legoll and B. Stamm, CRAS 2015; E. Cancès, V. Ehrlacher, F. Legoll, B. Stamm and S. Xiang, arxiv preprint 1807.05131] in the context of homogenization of diffusion equations. Our approach consists in considering a corrector-type problem, posed on the whole space, but with a diffusion matrix which is constant outside some bounded domain. In [E. Cancès, V. Ehrlacher, F. Legoll, B. Stamm and S. Xiang, arxiv preprint 1807.05131], we have shown how to define three approximate homogenized diffusion coefficients on the basis of the embedded corrector problems. We have also proved that these approximations all converge to the exact homogenized coefficients when the size of the bounded domain increases.
We show here that, under the assumption that the diffusion matrix is piecewise constant, the corrector problem to solve can be recast as an integral equation. In case of spherical inclusions with isotropic materials, we explain how to efficiently discretize this integral equation using spherical harmonics, and how to use the fast multipole method (FMM) to compute the resulting matrix-vector products at a cost which scales only linearly with respect to the number of inclusions. Numerical tests illustrate the performance of our approach in various settings.
△ Less
Submitted 23 October, 2018;
originally announced October 2018.
-
An embedded corrector problem for homogenization. Part I: Theory
Authors:
Eric Cancès,
Virginie Ehrlacher,
Frederic Legoll,
Benjamin Stamm,
Shuyang Xiang
Abstract:
This article is the first part of a two-fold study, the objective of which is the theoretical analysis and numerical investigation of new approximate corrector problems in the context of stochastic homogenization. We present here three new alternatives for the approximation of the homogenized matrix for diffusion problems with highly-oscillatory coefficients. These different approximations all rel…
▽ More
This article is the first part of a two-fold study, the objective of which is the theoretical analysis and numerical investigation of new approximate corrector problems in the context of stochastic homogenization. We present here three new alternatives for the approximation of the homogenized matrix for diffusion problems with highly-oscillatory coefficients. These different approximations all rely on the use of an embedded corrector problem (that we previously introduced in [Cancès, Ehrlacher, Legoll and Stamm, C. R. Acad. Sci. Paris, 2015]), where a finite-size domain made of the highly oscillatory material is embedded in a homogeneous infinite medium whose diffusion coefficients have to be appropriately determined. The motivation for considering such embedded corrector problems is made clear in the companion article [Cancès, Ehrlacher, Legoll, Stamm and Xiang, in preparation], where a very efficient algorithm is presented for the resolution of such problems for particular heterogeneous materials. In the present article, we prove that the three different approximations we introduce converge to the homogenized matrix of the medium when the size of the embedded domain goes to infinity.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Local exponential stabilization for a class of Korteweg-de Vries equations by means of time-varying feedback laws
Authors:
Jean-Michel Coron,
Ivonne Rivas,
Shengquan Xiang
Abstract:
We study the exponential stabilization problem for a nonlinear Korteweg-de Vries equa- tion on bounded interval in cases where the linearized control system is not controllable. The system has Dirichlet boundary conditions at the end-points of the interval, a Neumann nonhomogeneous boundary condition at the right end-point which is the control. We build a class of time-varying feedback laws for wh…
▽ More
We study the exponential stabilization problem for a nonlinear Korteweg-de Vries equa- tion on bounded interval in cases where the linearized control system is not controllable. The system has Dirichlet boundary conditions at the end-points of the interval, a Neumann nonhomogeneous boundary condition at the right end-point which is the control. We build a class of time-varying feedback laws for which the solutions of the closed-loop systems with small initial data decay exponentially to 0. We present also results on the well-posedness of the closed-loop systems for general time-varying feedback laws.
△ Less
Submitted 13 February, 2017;
originally announced February 2017.
-
Weakly regular fluid flows with bounded variation on the domain of outer communication of a Schwarzschild black hole spacetime. A numerical study
Authors:
Philippe G. LeFloch,
Shuyang Xiang
Abstract:
We study the dynamical behavior of compressible fluids evolving on the outer domain of communication of a Schwarzschild background. To this end, we design several numerical methods which take the Schwarzschild geometry into account and we treat, both, the relativistic Burgers equation and the relativistic Euler system under the assumption that the flow is spherically symmetric. All the schemes we…
▽ More
We study the dynamical behavior of compressible fluids evolving on the outer domain of communication of a Schwarzschild background. To this end, we design several numerical methods which take the Schwarzschild geometry into account and we treat, both, the relativistic Burgers equation and the relativistic Euler system under the assumption that the flow is spherically symmetric. All the schemes we construct are proven to be well-balanced and therefore to preserve the family of steady state solutions for both models. They enable us to study the nonlinear stability of fluid equilibria, and in particular to investigate the behavior of the fluid near the blackhole horizon. We state and numerically demonstrate several conjectures about the late-time behavior of perturbations of steady solutions.
△ Less
Submitted 29 December, 2016;
originally announced December 2016.
-
Computation of highly oscillatory Bessel transforms with algebraic singularities
Authors:
Zhenhua Xu,
Shuhuang Xiang
Abstract:
In this paper, we consider the Clenshaw-Curtis-Filon method for the highly oscillatory Bessel transform $\int_0^1x^α(1-x)^βf(x) J_ν(ωx)dx$, where $f$ is a smooth function on $[0, 1]$, and $ν\geq0.$ The method is based on Fast Fourier Transform (FFT) and fast computation of the modified moments. We give a recurrence relation for the modified moments and present an efficient method for the evaluatio…
▽ More
In this paper, we consider the Clenshaw-Curtis-Filon method for the highly oscillatory Bessel transform $\int_0^1x^α(1-x)^βf(x) J_ν(ωx)dx$, where $f$ is a smooth function on $[0, 1]$, and $ν\geq0.$ The method is based on Fast Fourier Transform (FFT) and fast computation of the modified moments. We give a recurrence relation for the modified moments and present an efficient method for the evaluation of modified moments by using recurrence relation. Moreover, the corresponding error bound in inverse powers of $N$ for this method for the integral is presented. Numerical examples are provided to support our analysis and show the efficiency and accuracy of the method.
△ Less
Submitted 27 May, 2016;
originally announced May 2016.
-
Weakly regular fluid flows with bounded variation on a Schwarzschild background
Authors:
Philippe G. LeFloch,
Shuyang Xiang
Abstract:
We study the global dynamics of isothermal fluids evolving in the domain of outer communication of a Schwarzschild black hole. We first formulate the initial value problem within a class of weak solutions with bounded variation (BV), possibly containing shock waves. We then introduce a version of the random choice method and establish a global-in-time existence theory for the initial value problem…
▽ More
We study the global dynamics of isothermal fluids evolving in the domain of outer communication of a Schwarzschild black hole. We first formulate the initial value problem within a class of weak solutions with bounded variation (BV), possibly containing shock waves. We then introduce a version of the random choice method and establish a global-in-time existence theory for the initial value problem within the proposed class of weakly regular fluid flows. The initial data may have arbitrary large bounded variation and can possibly blow up near the horizon of the black hole. Furthermore, we study the class of possibly discontinuous, equilibrium solutions and design a version of the random choice method in which these fluid equilibria are exactly preserved. This leads us to a nonlinear stability property for fluid equilibria under small perturbations with bounded variation. Furthermore, we can also encompass several limiting regimes (stiff matter, non-relativistic flows, extremal black hole) by letting the physical parameters (mass of the black hole, light speed, sound speed) reach extremal values.
△ Less
Submitted 27 December, 2015;
originally announced December 2015.
-
On Interpolation Approximation: Convergence rates for polynomial interpolation for functions of limited regularity
Authors:
Shuhuang Xiang
Abstract:
The convergence rates on polynomial interpolation in most cases are estimated by Lebesgue constants. These estimates may be overestimated for some special points of sets for functions of limited regularities. In this paper, by applying the Peano kernel theorem and Wainerman's lemma, new formulas on the convergence rates are considered. Based upon these new estimates, it shows that the interpolatio…
▽ More
The convergence rates on polynomial interpolation in most cases are estimated by Lebesgue constants. These estimates may be overestimated for some special points of sets for functions of limited regularities. In this paper, by applying the Peano kernel theorem and Wainerman's lemma, new formulas on the convergence rates are considered. Based upon these new estimates, it shows that the interpolation at strongly normal pointsystems can achieve the optimal convergence rate, the same as the best polynomial approximation. Furthermore, by using the asymptotics on Jacobi polynomials, the convergence rates are established for Gauss-Jacobi, Jacobi-Gauss-Lobatto or Jacobi-Gauss-Radau pointsystems. From these results, we see that the interpolations at the Gauss-Legendre, Legendre-Gauss-Lobatto pointsystem, or at strongly normal pointsystems, has essentially the same approximation accuracy compared with those at the two Chebyshev piontsystems, which also illustrates the equally accuracy of the Gauss and Clenshaw-Curtis quadrature. In addition, numerical examples illustrate the perfect coincidence with the estimates, which means the convergence rates are optimal.
△ Less
Submitted 18 June, 2015; v1 submitted 27 November, 2014;
originally announced November 2014.
-
On Fast Implementation of Higher Order Hermite-Fejer Interpolation
Authors:
Shuhuang Xiang,
Guo He
Abstract:
The problem of barycentric Hermite interpolation is highly susceptible to overflows or underflows. In this paper, based on Sturm-Liouville equations for Jacobi orthogonal polynomials, we consider the fast implementation on the second barycentric formula for higher order Hermite-Fejér interpolation at Gauss-Jacobi or Jacobi-Gauss-Lobatto pointsystems, where the barycentric weights can be efficientl…
▽ More
The problem of barycentric Hermite interpolation is highly susceptible to overflows or underflows. In this paper, based on Sturm-Liouville equations for Jacobi orthogonal polynomials, we consider the fast implementation on the second barycentric formula for higher order Hermite-Fejér interpolation at Gauss-Jacobi or Jacobi-Gauss-Lobatto pointsystems, where the barycentric weights can be efficiently evaluated and cost linear operations corresponding to the number of grids totally. Furthermore, due to the division of the second barycentric form, the exponentially increasing common factor in the barycentric weights can be canceled, which yields a superiorly stable method for computing the simplified barycentric weights, and leads to a fast implementation of the higher order Hermite-Fejér interpolation with linear operations on the number of grids. In addition, the convergence rates are derived for Hermite-Fejér interpolation at Gauss-Jacobi pointsystems.
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
On Fast Implementation of Clenshaw-Curtis and Fejér-type Quadrature Rules
Authors:
Shuhaung Xiang,
Guo He,
Haiyong Wang
Abstract:
Based upon the fast computation of the coefficients of the interpolation polynomials at Chebyshev-type points by FFT, DCT and IDST, respectively, together with the efficient evaluation of the modified moments by forwards recursions or by the Oliver's algorithm, this paper presents interpolating integration algorithms, by using the coefficients and modified moments, for Clenshaw-Curtis, Fejér's fir…
▽ More
Based upon the fast computation of the coefficients of the interpolation polynomials at Chebyshev-type points by FFT, DCT and IDST, respectively, together with the efficient evaluation of the modified moments by forwards recursions or by the Oliver's algorithm, this paper presents interpolating integration algorithms, by using the coefficients and modified moments, for Clenshaw-Curtis, Fejér's first and second-type rules for Jacobi or Jacobi weights multiplied by a logarithmic function. The corresponding {\sc Matlab} codes are included. Numerical examples illustrate the stability, accuracy of the Clenshaw-Curtis, Fejér's first and second rules, and show that the three quadratures have nearly the same convergence rates as Gauss-Jacobi quadrature for functions of finite regularities for Jacobi weights, and are more efficient upon the cpu time than the Gauss evaluated by fast computation of the weights and nodes by {\sc Chebfun}.
△ Less
Submitted 12 December, 2013; v1 submitted 3 November, 2013;
originally announced November 2013.
-
On the Optimal Rates of Convergence for Quadratures Derived from Chebyshev Points
Authors:
Shuhuang Xiang
Abstract:
In this paper, we study the optimal general convergence rates for quadratures derived from Chebyshev points. By building on the aliasing errors on integration of Chebyshev polynomials, together with the asymptotic formulae on the coefficients of Chebyshev expansions, new and optimal convergence rates for $n$-point Clenshaw-Curtis, Fejér's first and second quadrature rules are established for Jacob…
▽ More
In this paper, we study the optimal general convergence rates for quadratures derived from Chebyshev points. By building on the aliasing errors on integration of Chebyshev polynomials, together with the asymptotic formulae on the coefficients of Chebyshev expansions, new and optimal convergence rates for $n$-point Clenshaw-Curtis, Fejér's first and second quadrature rules are established for Jacobi weights or Jacobi weights multiplied by $\ln((x+1)/2)$. The convergence orders are attainable for some functions of finite regularities. In addition, by using refined estimates on aliasing errors on integration of Chebyshev polynomials by Gauss-Legendre quadrature, an improved convergence rate for Gauss-Legendre is given too.
△ Less
Submitted 27 July, 2014; v1 submitted 20 August, 2013;
originally announced August 2013.
-
On the convergence rates of Gauss and Clenshaw-Curtis quadrature for functions of limited regularity
Authors:
Shuhuang Xiang,
Folkmar Bornemann
Abstract:
We study the optimal general rate of convergence of the n-point quadrature rules of Gauss and Clenshaw-Curtis when applied to functions of limited regularity: if the Chebyshev coefficients decay at a rate O(n^{-s-1}) for some s > 0, Clenshaw-Curtis and Gauss quadrature inherit exactly this rate. The proof (for Gauss, if 0 < s < 2, there is numerical evidence only) is based on work of Curtis, Johns…
▽ More
We study the optimal general rate of convergence of the n-point quadrature rules of Gauss and Clenshaw-Curtis when applied to functions of limited regularity: if the Chebyshev coefficients decay at a rate O(n^{-s-1}) for some s > 0, Clenshaw-Curtis and Gauss quadrature inherit exactly this rate. The proof (for Gauss, if 0 < s < 2, there is numerical evidence only) is based on work of Curtis, Johnson, Riess, and Rabinowitz from the early 1970s and on a refined estimate for Gauss quadrature applied to Chebyshev polynomials due to Petras (1995). The convergence rate of both quadrature rules is up to one power of n better than polynomial best approximation; hence, the classical proof strategy that bounds the error of a quadrature rule with positive weights by polynomial best approximation is doomed to fail in establishing the optimal rate.
△ Less
Submitted 31 July, 2012; v1 submitted 12 March, 2012;
originally announced March 2012.
