-
Low Regularity of Self-Similar Solutions of Two-Dimensional Riemann problems with Shocks for the Isentropic Euler system
Authors:
Gui-Qiang G. Chen,
Mikhail Feldman,
Wei Xiang
Abstract:
We are concerned with the low regularity of self-similar solutions of two-dimensional Riemann problems for the isentropic Euler system. We establish a general framework for the analysis of the local regularity of such solutions for a class of two-dimensional Riemann problems for the isentropic Euler system, which includes the regular shock reflection problem, the Prandtl reflection problem, the Li…
▽ More
We are concerned with the low regularity of self-similar solutions of two-dimensional Riemann problems for the isentropic Euler system. We establish a general framework for the analysis of the local regularity of such solutions for a class of two-dimensional Riemann problems for the isentropic Euler system, which includes the regular shock reflection problem, the Prandtl reflection problem, the Lighthill diffraction problem, and the four-shock Riemann problem. We prove that it is not possible that both the density and the velocity are in $H^1$ in the subsonic domain for the self-similar solutions of these problems in general. This indicates that the self-similar solutions of the Riemann problems with shocks for the isentropic Euler system are of much more complicated structure than those for the Euler system for potential flow; in particular, the density and the velocity are not necessarily continuous in the subsonic domain. The proof is based on a regularization of the isentropic Euler system to derive the transport equation for the vorticity, a renormalization argument extended to the case of domains with boundary, and DiPerna-Lions-type commutator estimates.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
Transonic Shocks for 2-D Steady Euler Flows with Large Gravity in a Nozzle for Polytropic Gases
Authors:
Beixiang Fang,
Xin Gao,
Wei Xiang,
Qin Zhao
Abstract:
In this paper, we are concerned with the existence of transonic shock solutions for two-dimensional (2-d) steady Euler flows of polytropic gases with the vertical gravity in a horizontal nozzle under a pressure condition imposed at the exit of the nozzle. The acceleration of the gravity g is assumed to take a generic value. We first show that the existence of special transonic shock solutions with…
▽ More
In this paper, we are concerned with the existence of transonic shock solutions for two-dimensional (2-d) steady Euler flows of polytropic gases with the vertical gravity in a horizontal nozzle under a pressure condition imposed at the exit of the nozzle. The acceleration of the gravity g is assumed to take a generic value. We first show that the existence of special transonic shock solutions with the flow states depending only on the variable in the gravity direction can be established if and only if the Mach number of the incoming flow satisfies certain conditions. However, the shock position of the special solutions is arbitrary in the nozzle. We determine the shock position and establish the existence of transonic shock solution when the boundary data are small perturbations of the special shock solutions under certain conditions. Mathematically, the perturbation problem can be formulated as a free boundary problem of a nonlinear system of hyperbolic-elliptic mixed type and composite. Key difficulties in the analysis mainly comes from the vertical gravity. Methods and techniques are developed in this paper to deal with these key difficulties. Finally, it turns out that the vertical gravity plays a dominant role in the mechanism determining the shock position.
△ Less
Submitted 5 April, 2025; v1 submitted 18 February, 2025;
originally announced February 2025.
-
Uniqueness of Transonic Shock Solutions for Two-Dimensional Steady Compressible Euler Flows in an Expanding Nozzle
Authors:
Beixiang Fang,
Xin Gao,
Wei Xiang
Abstract:
In this paper, we are trying to show the uniqueness of transonic shock solutions in an expanding nozzle under certain conditions and assumptions on the boundary data and the shock solution. The idea is to compare two transonic shock solutions and show that they should coincide if the perturbation of the nozzle is sufficiently small. To this end, a condition on the pressure of the flow across the s…
▽ More
In this paper, we are trying to show the uniqueness of transonic shock solutions in an expanding nozzle under certain conditions and assumptions on the boundary data and the shock solution. The idea is to compare two transonic shock solutions and show that they should coincide if the perturbation of the nozzle is sufficiently small. To this end, a condition on the pressure of the flow across the shock front is proposed, such that a priori estimates for the subsonic flow behind the shock front could be established without the assumption that it is a small perturbation of the unperturbed uniform subsonic state. With the help of these estimates, the uniqueness of the position of the intersection point between the shock front and the nozzle boundary could be further established by demonstrating the monotonicity of the solvability condition for the elliptic sub-problem of the subsonic flow behind the shock front. Then, via contraction arguments, two transonic shock solutions could be verified to coincide as the perturbation is small, which leads to the uniqueness of the transonic shock solution.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Transonic shock solutions for steady 3-D axisymmetric full Euler flows with large swirl velocity in a finite cylindrical nozzle
Authors:
Beixiang Fang,
Xin Gao,
Wei Xiang,
Qin Zhao
Abstract:
This paper concerns the existence and location of three-dimensional axisymmetric transonic shocks with large swirl velocity for solutions of the steady compressible full Euler system in a cylindrical nozzle with prescribed receiver pressure. Special non-trivial shock solutions with large vorticity are first constructed by considering arbitrarily given non-zero swirl functions. Then the existence a…
▽ More
This paper concerns the existence and location of three-dimensional axisymmetric transonic shocks with large swirl velocity for solutions of the steady compressible full Euler system in a cylindrical nozzle with prescribed receiver pressure. Special non-trivial shock solutions with large vorticity are first constructed by considering arbitrarily given non-zero swirl functions. Then the existence and locations of the transonic shock solutions to the full Euler equations are achieved under small perturbations on the special shock solutions with appropriate boundary conditions on the entrance of the nozzle and the receiver pressure at the exit. It turns out that the non-zero swirl velocity, which brings new challenging difficulties in the analysis, plays an essential and fundamental role in determining the location of the shock front. Mathematically, it can be formulated as a free boundary value problem with the shock front as the free boundary governed by nonlinear equations of hyperbolic-elliptic mixed-type with strongly coupled lower order terms and a singularity at the symmetry axis. Because the shock location can be arbitrarily shifted for the special shock solutions, in order to catch the location of the shock front directly from the perturbed boundary data, approximate shock solutions of a free boundary problem for a specific linearized Euler system are constructed and an iteration scheme is designed around the approximate shock solution with a perturbation of higher order. As far as we know, it is the first mathematical result on the three-dimensional transonic shock with either large vorticity or large swirl velocity. The new methods and techniques developed in this paper to deal with the new challenging difficulties in the analysis will also be helpful for other problems with similar difficulties.
△ Less
Submitted 4 November, 2024; v1 submitted 13 July, 2024;
originally announced July 2024.
-
Steady supersonic combustion flows with a contact discontinuity in two-dimensional finitely long nozzles
Authors:
Junlei Gao,
Feimin Huang,
Jie Kuang,
Dehua Wang,
Wei Xiang
Abstract:
In this paper, we are concerned with the two-dimensional steady supersonic combustion flows with a contact discontinuity moving through a nozzle of finite length. Mathematically, it can be formulated as a free boundary value problem governed by the two -dimensional steady combustion Euler equations with a contact discontinuity as the free boundary. The main mathematical difficulties are that the c…
▽ More
In this paper, we are concerned with the two-dimensional steady supersonic combustion flows with a contact discontinuity moving through a nozzle of finite length. Mathematically, it can be formulated as a free boundary value problem governed by the two -dimensional steady combustion Euler equations with a contact discontinuity as the free boundary. The main mathematical difficulties are that the contact discontinuity is a characteristic free boundary and the equations for all states are coupled with each other due to the combustion process. We first employ the Lagrangian coordinate transformation to fix the free boundary. Then by introducing the flow slope and Bernoulli function, we further reduce the fixed boundary value problem into an initial boundary value problem for a first order hyperbolic system coupled with several ordinary differential equations. A new iteration scheme is developed near the background states by employing the intrinsic structure of the equation for the mass fraction of the non-combustion gas. We show that there is a fixed point for the iteration by deriving some novel $C^{1,α}$-estimates of the solutions and applying the fixed point theorem, and then the uniqueness of the fixed point is proved by a contraction argument. On the other hand, a quasi-one-dimensional approximate system is often used to simplify the two-dimensional steady supersonic combustion model. The error between these two systems is estimated. Finally, given a piece-wise $C^{1,α}$-solution containing a contact discontinuity with piece-wise constant states on the entrance of the nozzle, we can show that the solution is the piece-wise constant states with a straight contact discontinuity.
△ Less
Submitted 9 June, 2024; v1 submitted 6 June, 2024;
originally announced June 2024.
-
Convergence Rate of the Hypersonic Similarity for Two-Dimensional Steady Potential Flows with Large Data
Authors:
Gui-Qiang G. Chen,
Jie Kuang,
Wei Xiang,
Yongqian Zhang
Abstract:
We establish the optimal convergence rate of the hypersonic similarity for two-dimensional steady potential flows with {\it large data} past over a straight wedge in the $BV\cap L^1$ framework, provided that the total variation of the large data multiplied by $γ-1+\frac{a_{\infty}^2}{M_\infty^2}$ is uniformly bounded with respect to the adiabatic exponent $γ>1$, the Mach number $M_\infty$ of the i…
▽ More
We establish the optimal convergence rate of the hypersonic similarity for two-dimensional steady potential flows with {\it large data} past over a straight wedge in the $BV\cap L^1$ framework, provided that the total variation of the large data multiplied by $γ-1+\frac{a_{\infty}^2}{M_\infty^2}$ is uniformly bounded with respect to the adiabatic exponent $γ>1$, the Mach number $M_\infty$ of the incoming steady flow, and the hypersonic similarity parameter $a_\infty$. Our main approach in this paper is first to establish the Standard Riemann Semigroup of the initial-boundary value problem for the isothermal hypersonic small disturbance equations with large data and then to compare the Riemann solutions between two systems with boundary locally case by case. Based on them, we derive the global $L^1$--estimate between the two solutions by employing the Standard Riemann Semigroup and the local $L^1$--estimates. We further construct an example to show that the convergence rate is optimal.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems
Authors:
Yejiang Yang,
Zihao Mo,
Weiming Xiang
Abstract:
In this paper, a computationally efficient data-driven hybrid automaton model is proposed to capture unknown complex dynamical system behaviors using multiple neural networks. The sampled data of the system is divided by valid partitions into groups corresponding to their topologies and based on which, transition guards are defined. Then, a collection of small-scale neural networks that are comput…
▽ More
In this paper, a computationally efficient data-driven hybrid automaton model is proposed to capture unknown complex dynamical system behaviors using multiple neural networks. The sampled data of the system is divided by valid partitions into groups corresponding to their topologies and based on which, transition guards are defined. Then, a collection of small-scale neural networks that are computationally efficient are trained as the local dynamical description for their corresponding topologies. After modeling the system with a neural-network-based hybrid automaton, the set-valued reachability analysis with low computation cost is provided based on interval analysis and a split and combined process. At last, a numerical example of the limit cycle is presented to illustrate that the developed models can significantly reduce the computational cost in reachable set computation without sacrificing any modeling precision.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
Hypersonic Similarity for Steady Compressible Full Euler Flows Over Two-Dimensional Lipschitz Wedges
Authors:
Gui-Qiang G. Chen,
Jie Kuang,
Wei Xiang,
Yongqian Zhang
Abstract:
We establish the optimal convergence rate to the hypersonic similarity law, which is also called the Mach number independence principle, for steady compressible full Euler flows over two-dimensional slender Lipschitz wedges. The problem can be formulated as the comparison of the entropy solutions in $BV\cap L^{1}$ between the two initial-boundary value problems for the compressible full Euler equa…
▽ More
We establish the optimal convergence rate to the hypersonic similarity law, which is also called the Mach number independence principle, for steady compressible full Euler flows over two-dimensional slender Lipschitz wedges. The problem can be formulated as the comparison of the entropy solutions in $BV\cap L^{1}$ between the two initial-boundary value problems for the compressible full Euler equations with parameter $τ>0$ and the hypersonic small-disturbance equations with curved characteristic boundaries. We establish the $L^1$--convergence estimate of these two solutions with the optimal convergence rate, which justifies Van Dyke's similarity theory rigorously for the compressible full Euler flows. This is the first mathematical result on the comparison of two solutions of the compressible Euler equations with characteristic boundary conditions. To achieve this, we first employ the special structures of the two systems and establish the global existence and the $L^1$--stability of the entropy solutions under the smallness assumptions on the total variation of both the initial data and the tangential slope function of the wedge boundary. Based on the $L^1$--stability properties of the approximate solutions to the scaled equations with parameter $τ$, a uniform Lipschtiz continuous map with respect to the initial data and the wedge boundary is obtained. Next, we compare the solutions given by the Riemann solvers of the two systems by taking the boundary perturbations into account case by case. Then, for a given fixed hypersonic similarity parameter, as the Mach number tends to infinity, we establish the desired $L^1$--convergence estimate with the optimal convergence rate. Finally, we show the optimality of the convergence rate by investigating a special solution.
△ Less
Submitted 28 June, 2024; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Local Well-posedness of Unsteady Potential Flows Near a Space Corner of Right Angle
Authors:
Beixiang Fang,
Wei Xiang,
Feng Xiao
Abstract:
In this paper we are concerned with the local well-posedness of the unsteady potential flows near a space corner of right angle, which could be formulated as an initial-boundary value problem of a hyperbolic equation of second order in a cornered-space domain. The corner singularity is the key difficulty in establishing the local well-posedness of the problem. Moreover, the boundary conditions on…
▽ More
In this paper we are concerned with the local well-posedness of the unsteady potential flows near a space corner of right angle, which could be formulated as an initial-boundary value problem of a hyperbolic equation of second order in a cornered-space domain. The corner singularity is the key difficulty in establishing the local well-posedness of the problem. Moreover, the boundary conditions on both edges of the corner angle are of Neumann-type and fail to satisfy the linear stability condition, which makes it more difficult to establish a priori estimates on the boundary terms in the analysis. In this paper, extension methods will be updated to deal with the corner singularity, and, based on a key observation that the boundary operators are co-normal, new techniques will be developed to control the boundary terms.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
The finite time blow-up of the Yang-Mills flow
Authors:
Wang Guan Xiang,
Zhang Chuan Jing
Abstract:
In this paper, we shall prove that, on a non-flat Riemannian vector bundle over a compact Riemannian manifold, the smooth solution of the Yang-Mills flow will blow up in finite time if the energy of the initial connection is small enough. We also consider the finite time blow up for the Yang-Mills flow with the initial curvature near the harmonic form. Furthermore, when $E$ is a holomorphic vector…
▽ More
In this paper, we shall prove that, on a non-flat Riemannian vector bundle over a compact Riemannian manifold, the smooth solution of the Yang-Mills flow will blow up in finite time if the energy of the initial connection is small enough. We also consider the finite time blow up for the Yang-Mills flow with the initial curvature near the harmonic form. Furthermore, when $E$ is a holomorphic vector bundle over a compact Kähler manifold, then $E$ will admit a projective flat structure if the trace free part of Chern curvature is small enough.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
Persistence of the steady planar normal shock structure in 3-D unsteady potential flows
Authors:
Beixiang Fang,
Feimin Huang,
Wei Xiang,
Feng Xiao
Abstract:
This paper concerns the dynamic stability of the steady 3-D wave structure of a planar normal shock front intersecting perpendicularly to a planar solid wall for unsteady potential flows. The stability problem can be formulated as a free boundary problem of a quasi-linear hyperbolic equation of second order in a dihedral-space domain between the shock front and the solid wall. The key difficulty i…
▽ More
This paper concerns the dynamic stability of the steady 3-D wave structure of a planar normal shock front intersecting perpendicularly to a planar solid wall for unsteady potential flows. The stability problem can be formulated as a free boundary problem of a quasi-linear hyperbolic equation of second order in a dihedral-space domain between the shock front and the solid wall. The key difficulty is brought by the edge singularity of the space domain, the intersection curve between the shock front and the solid wall. Different from the 2-D case, for which the singular part of the boundary is only a point, it is a curve for the 3-D case in this paper. This difference brings new difficulties to the mathematical analysis of the stability problem. A modified partial hodograph transformation is introduced such that the extension technique developed for the 2-D case can be employed to establish the well-posed theory for the initial-boundary value problem of the linearized hyperbolic equation of second order in a dihedral-space domain. Moreover, the extension technique is improved in this paper such that loss of regularity in the a priori estimates on the shock front does not occur. Thus the classical nonlinear iteration scheme can be constructed to prove the existence of the solution to the stability problem, which shows the dynamic stability of the steady planar normal shock without applying the Nash-Moser iteration method.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Authors:
Yejiang Yang,
Weiming Xiang
Abstract:
In this paper, a robust optimization framework is developed to train shallow neural networks based on reachability analysis of neural networks. To characterize noises of input data, the input training data is disturbed in the description of interval sets. Interval-based reachability analysis is then performed for the hidden layer. With the reachability analysis results, a robust optimization train…
▽ More
In this paper, a robust optimization framework is developed to train shallow neural networks based on reachability analysis of neural networks. To characterize noises of input data, the input training data is disturbed in the description of interval sets. Interval-based reachability analysis is then performed for the hidden layer. With the reachability analysis results, a robust optimization training method is developed in the framework of robust least-square problems. Then, the developed robust least-square problem is relaxed to a semidefinite programming problem. It has been shown that the developed robust learning method can provide better robustness against perturbations at the price of loss of training accuracy to some extent. At last, the proposed method is evaluated on a robot arm model learning example.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Convergence Rate of Hypersonic Similarity for Steady Potential Flows Over Two-Dimensional Lipschitz Wedge
Authors:
Jie Kuang,
Wei Xiang,
Yongqian Zhang
Abstract:
This paper is devoted to establishing the convergence rate of the hypersonic similarity for the inviscid steady irrotational Euler flow over a two-dimensional Lipschitz slender wedge in $BV\cap L^1$ space. The rate we established is the same as the one predicted by Newtonian-Busemann law (see (3.29) in \cite[Page 67]{anderson} for more details)as the incoming Mach number…
▽ More
This paper is devoted to establishing the convergence rate of the hypersonic similarity for the inviscid steady irrotational Euler flow over a two-dimensional Lipschitz slender wedge in $BV\cap L^1$ space. The rate we established is the same as the one predicted by Newtonian-Busemann law (see (3.29) in \cite[Page 67]{anderson} for more details)as the incoming Mach number $\textrm{M}_{\infty}\rightarrow\infty$ for a fixed hypersonic similarity parameter $K$. The hypersonic similarity, which is also called the Mach-number independence principle, is equivalent to the following Van Dyke's similarity theory: For a given hypersonic similarity parameter $K$, when the Mach number of the flow is sufficiently large, the governing equations after the scaling are approximated by a simpler equation, that is called the hypersonic small-disturbance equation. To achieve the convergence rate, we approximate the curved boundary by piecewisely straight lines and find a new Lipschitz continuous map $\mathcal{P}_{h}$ such that the trajectory can be obtained by piecing together the Riemann solutions near the approximated boundary. Next, we derive the $L^1$ difference estimates between the approximate solutions $U^{(τ)}_{h,ν}(x,\cdot)$ to the initial-boundary value problem for the scaled equations and the trajectories $\mathcal{P}_{h}(x,0)(U^ν_{0})$ by piecing together all the Riemann solvers. Then, by the uniqueness and the compactness of $\mathcal{P}_{h}$ and $U^{(τ)}_{h,ν}$, we can further establish the $L^1$ estimates of order $τ^2$ between the solutions to the initial-boundary value problem for the scaled equations and the solutions to the initial-boundary value problem for the hypersonic small-disturbance equations, if the total variations of the initial data and the tangential derivative of the boundary are sufficiently small.
△ Less
Submitted 25 July, 2021;
originally announced July 2021.
-
Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time
Authors:
Weiming Xiang
Abstract:
This paper deals with the stability analysis problem of discrete-time switched linear systems with ranged dwell time. A novel concept called L-switching-cycle is proposed, which contains sequences of multiple activation cycles satisfying the prescribed ranged dwell time constraint. Based on L-switching-cycle, two sufficient conditions are proposed to ensure the global uniform asymptotic stability…
▽ More
This paper deals with the stability analysis problem of discrete-time switched linear systems with ranged dwell time. A novel concept called L-switching-cycle is proposed, which contains sequences of multiple activation cycles satisfying the prescribed ranged dwell time constraint. Based on L-switching-cycle, two sufficient conditions are proposed to ensure the global uniform asymptotic stability of discrete-time switched linear systems. It is noted that two conditions are equivalent in stability analysis with the same $L$-switching-cycle. These two sufficient conditions can be viewed as generalizations of the clock-dependent Lyapunov and multiple Lyapunov function methods, respectively. Furthermore, it has been proven that the proposed L-switching-cycle can eventually achieve the nonconservativeness in stability analysis as long as a sufficiently long L-switching-cycle is adopted. A numerical example is provided to illustrate our theoretical results.
△ Less
Submitted 28 May, 2021;
originally announced May 2021.
-
Stability of transonic contact discontinuity for two-dimensional steady compressible Euler flows in a finitely long nozzle
Authors:
Feimin Huang,
Jie Kuang,
Dehua Wang,
Wei Xiang
Abstract:
We consider the stability of transonic contact discontinuity for the two-dimensional steady compressible Euler flows in a finitely long nozzle. This is the first work on the mixed-type problem of transonic flows across a contact discontinuity as a free boundary in nozzles. We start with the Euler-Lagrangian transformation to straighten the contact discontinuity in the new coordinates. However, the…
▽ More
We consider the stability of transonic contact discontinuity for the two-dimensional steady compressible Euler flows in a finitely long nozzle. This is the first work on the mixed-type problem of transonic flows across a contact discontinuity as a free boundary in nozzles. We start with the Euler-Lagrangian transformation to straighten the contact discontinuity in the new coordinates. However, the upper nozzle wall in the subsonic region depending on the mass flux becomes a free boundary after the transformation. Then we develop new ideas and techniques to solve the free-boundary problem in three steps: (1) we fix the free boundary and generate a new iteration scheme to solve the corresponding fixed boundary value problem of the hyperbolic-elliptic mixed type by building some powerful estimates for both the first-order hyperbolic equation and a second-order nonlinear elliptic equation in a Lipschitz domain; (2) we update the new free boundary by constructing a mapping that has a fixed point; (3) we establish via the inverse Lagrangian coordinates transformation that the original free interface problem admits a unique piecewise smooth transonic solution near the background state, which consists of a smooth subsonic flow and a smooth supersonic flow with a contact discontinuity.
△ Less
Submitted 28 August, 2021; v1 submitted 17 December, 2020;
originally announced December 2020.
-
Stability of Attached Transonic Shocks in Steady Potential Flow past Three-Dimensional Wedges
Authors:
Gui-Qiang G. Chen,
Jun Chen,
Wei Xiang
Abstract:
We develop a new approach and employ it to establish the global existence and nonlinear structural stability of attached weak transonic shocks in steady potential flow past three-dimensional wedges; in particular, the restriction that the perturbation is away from the wedge edge in the previous results is removed. One of the key ingredients is to identify a "good" direction of the boundary operato…
▽ More
We develop a new approach and employ it to establish the global existence and nonlinear structural stability of attached weak transonic shocks in steady potential flow past three-dimensional wedges; in particular, the restriction that the perturbation is away from the wedge edge in the previous results is removed. One of the key ingredients is to identify a "good" direction of the boundary operator of a boundary condition of the shock along the wedge edge, based on the non-obliqueness of the boundary condition for the weak shock on the edge. With the identification of this direction, an additional boundary condition on the wedge edge can be assigned to make sure that the shock is attached on the edge and linearly stable under small perturbation. Based on the linear stability, we introduce an iteration scheme and prove that there exists a unique fixed point of the iteration scheme, which leads to the global existence and nonlinear structural stability of the attached weak transonic shock. This approach is based on neither the hodograph transformation nor the spectrum analysis, and should be useful for other problems with similar difficulties.
△ Less
Submitted 7 August, 2021; v1 submitted 8 May, 2020;
originally announced May 2020.
-
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
Authors:
Weiming Xiang,
Hoang-Dung Tran,
Xiaodong Yang,
Taylor T. Johnson
Abstract:
The vulnerability of artificial intelligence (AI) and machine learning (ML) against adversarial disturbances and attacks significantly restricts their applicability in safety-critical systems including cyber-physical systems (CPS) equipped with neural network components at various stages of sensing and control. This paper addresses the reachable set estimation and safety verification problems for…
▽ More
The vulnerability of artificial intelligence (AI) and machine learning (ML) against adversarial disturbances and attacks significantly restricts their applicability in safety-critical systems including cyber-physical systems (CPS) equipped with neural network components at various stages of sensing and control. This paper addresses the reachable set estimation and safety verification problems for dynamical systems embedded with neural network components serving as feedback controllers. The closed-loop system can be abstracted in the form of a continuous-time sampled-data system under the control of a neural network controller. First, a novel reachable set computation method in adaptation to simulations generated out of neural networks is developed. The reachability analysis of a class of feedforward neural networks called multilayer perceptrons (MLP) with general activation functions is performed in the framework of interval arithmetic. Then, in combination with reachability methods developed for various dynamical system classes modeled by ordinary differential equations, a recursive algorithm is developed for over-approximating the reachable set of the closed-loop system. The safety verification for neural network control systems can be performed by examining the emptiness of the intersection between the over-approximation of reachable sets and unsafe sets. The effectiveness of the proposed approach has been validated with evaluations on a robotic arm model and an adaptive cruise control system.
△ Less
Submitted 25 April, 2020;
originally announced April 2020.
-
Hypersonic Similarity for the Two Dimensional Steady Potential Flow with Large Data
Authors:
Jie Kuang,
Wei Xiang,
Yongqian Zhang
Abstract:
In this paper, we establish the first rigorous mathematical global result on the validation of the hypersonic similarity, which is also called the Mach-number independence principle, for the two dimensional steady potential flow. The hypersonic similarity is equivalent to the Van Dyke's similarity theory, that if the hypersonic similarity parameter $K$ is fixed, the shock solution structures (afte…
▽ More
In this paper, we establish the first rigorous mathematical global result on the validation of the hypersonic similarity, which is also called the Mach-number independence principle, for the two dimensional steady potential flow. The hypersonic similarity is equivalent to the Van Dyke's similarity theory, that if the hypersonic similarity parameter $K$ is fixed, the shock solution structures (after scaling) are consistent, when the Mach number of the flow is sufficiently large. One of the difficulty is that after scaling, the solutions are usually of large data since the perturbation of the hypersonic flow is usually not small related to the sonic speed. In order to make it, we first employ the modified Glimm scheme to construct the approximate solutions with large data and find fine structure of the elementary wave curves to obtain the global existence of entropy solutions with large data, for fixed $K$ and sufficiently large Mach number of the incoming flow $M_{\infty}$. Finally, we further show that for a fixed hypersonic similarity parameter $K$, if the Mach number $M_{\infty}\rightarrow\infty$, the solutions obtained above approach to the solution of the corresponding initial-boundary value problem of the hypersonic small-disturbance equations. Therefore, the Van Dyke's similarity theory is first verified rigorously.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Detached shock past a blunt body
Authors:
Myoungjean Bae,
Wei Xiang
Abstract:
In $\R^2$, a symmetric blunt body $W_b$ is fixed by smoothing out the tip of a symmetric wedge $W_0$ with the half-wedge angle $θ_w\in (0, \fracπ{2})$. We first show that if a horizontal supersonic flow of uniform state moves toward $W_0$ with a Mach number $M_{\infty}>1$ sufficiently large, %depending on $θ_w$, then there exist two shock solutions, {\emph{a weak shock solution and a strong shock…
▽ More
In $\R^2$, a symmetric blunt body $W_b$ is fixed by smoothing out the tip of a symmetric wedge $W_0$ with the half-wedge angle $θ_w\in (0, \fracπ{2})$. We first show that if a horizontal supersonic flow of uniform state moves toward $W_0$ with a Mach number $M_{\infty}>1$ sufficiently large, %depending on $θ_w$, then there exist two shock solutions, {\emph{a weak shock solution and a strong shock solution}}, with the shocks being straight and attached to the tip of the wedge $W_0$. Such shock solutions are given by a shock polar analysis, and they satisfy entropy conditions. The main goal of this work is to construct a detached shock solution of the steady Euler system for inviscid compressible irrotational flow in $\R^2\setminus W_b$. In particular, we seek a shock solution with the far-field state being the strong shock solution obtained from the shock polar analysis. Furthermore, we prove that the detached shock forms a convex curve around the blunt body $W_b$ if the Mach number of the incoming supersonic flow is sufficiently large, and if the boundary of $W_b$ is convex.
△ Less
Submitted 12 June, 2020; v1 submitted 29 September, 2019;
originally announced September 2019.
-
Uniqueness and Stability for the Shock Reflection-Diffraction Problem for Potential Flow
Authors:
Gui-Qiang G. Chen,
Mikhail Feldman,
Wei Xiang
Abstract:
When a plane shock hits a two-dimensional wedge head on, it experiences a reflection-diffraction process, and then a self-similar reflected shock moves outward as the original shock moves forward in time. The experimental, computational, and asymptotic analysis has indicated that various patterns occur, including regular reflection and Mach reflection. The von Neumann conjectures on the transition…
▽ More
When a plane shock hits a two-dimensional wedge head on, it experiences a reflection-diffraction process, and then a self-similar reflected shock moves outward as the original shock moves forward in time. The experimental, computational, and asymptotic analysis has indicated that various patterns occur, including regular reflection and Mach reflection. The von Neumann conjectures on the transition from regular to Mach reflection involve the existence, uniqueness, and stability of regular shock reflection-diffraction configurations, generated by concave cornered wedges for compressible flow. In this paper, we discuss some recent developments in the study of the von Neumann conjectures. More specifically, we present our recent results of the uniqueness and stability of regular shock reflection-diffraction configurations governed by the potential flow equation in an appropriate class of solutions. We first show that the transonic shocks in the global solutions obtained in Chen-Feldman [19] are convex. Then we establish the uniqueness of global shock reflection-diffraction configurations with convex transonic shocks for any wedge angle larger than the detachment angle or the critical angle. Moreover, the stability of the solutions with respect to the wedge angle is also shown. Our approach also provides an alternative way of proving the existence of the admissible solutions established first in [19].
△ Less
Submitted 5 October, 2019; v1 submitted 29 March, 2019;
originally announced April 2019.
-
Low Mach Number Limit of Multidimensional Steady Flows on the Airfoil Problem
Authors:
Mingjie Li,
Tian-Yi Wang,
Wei Xiang
Abstract:
In this paper, we justify the low Mach number limit of the steady irrotational Euler flows for the airfoil problem, which is the first result for the low Mach number limit of the steady Euler flows in an exterior domain. The uniform estimates on the compressibility parameter $\varepsilon$, which is singular for the flows, are established via a variational approach based on the compressible-incompr…
▽ More
In this paper, we justify the low Mach number limit of the steady irrotational Euler flows for the airfoil problem, which is the first result for the low Mach number limit of the steady Euler flows in an exterior domain. The uniform estimates on the compressibility parameter $\varepsilon$, which is singular for the flows, are established via a variational approach based on the compressible-incompressible difference functions. The limit is on the Hölder space and is unique. Moreover, the convergence rate is of order $\varepsilon^2$. It is noticeable that, due to the feature of the airfoil problem, the extra force dominates the asymptotic decay rate of the compressible flow to the infinity. And the effect of extra force vanishes in the limiting process from compressible flows to the incompressible ones, as the Mach number goes to zero.
△ Less
Submitted 11 January, 2019;
originally announced January 2019.
-
Low Mach Number Limit of Steady Euler Flows in Multi-Dimensional Nozzles
Authors:
Mingjie Li,
Tian-Yi Wang,
Wei Xiang
Abstract:
In this paper, we consider the steady irrotational Euler flows in multidimensional nozzles. The first rigorous proof on the existence and uniqueness of the incompressible flow is provided. Then, we justify the corresponding low Mach number limit, which is the first result of the low Mach number limit on the steady Euler flows. We establish several uniform estimates, which does not depend on the Ma…
▽ More
In this paper, we consider the steady irrotational Euler flows in multidimensional nozzles. The first rigorous proof on the existence and uniqueness of the incompressible flow is provided. Then, we justify the corresponding low Mach number limit, which is the first result of the low Mach number limit on the steady Euler flows. We establish several uniform estimates, which does not depend on the Mach number, to validate the convergence of the compressible flow with extra force to the corresponding incompressible flow, which is free from the extra force effect, as the Mach number goes to zero. The limit is on the Holder space and is unique. Moreover, the convergence rate is of order $\varepsilon^2$, which is higher than the ones in the previous results on the low Mach number limit for the unsteady flow.
△ Less
Submitted 4 January, 2019;
originally announced January 2019.
-
Global Instability of the Multi-dimensional Plane Shocks for the isothermal flow
Authors:
Ning-An Lai,
Wei Xiang,
Yi Zhou
Abstract:
In this paper, we are concerned with the long time behavior of the piecewise smooth solutions to the generalized Riemann problem governed by the compressible isothermal Euler equations in two and three dimensions. Non-existence result is established for the fan-shaped wave structure solution, including two shocks and one contact discontinuity and which is a perturbation of plane waves. Therefore,…
▽ More
In this paper, we are concerned with the long time behavior of the piecewise smooth solutions to the generalized Riemann problem governed by the compressible isothermal Euler equations in two and three dimensions. Non-existence result is established for the fan-shaped wave structure solution, including two shocks and one contact discontinuity and which is a perturbation of plane waves. Therefore, unlike the one-dimensional case, the multi-dimensional plane shocks are not stable globally. What is more, the sharp lifespan estimate is established which is the same as the lifespan estimate for the nonlinear wave equations in both two and three space dimensions.
△ Less
Submitted 19 July, 2018; v1 submitted 19 July, 2018;
originally announced July 2018.
-
Stability of supersonic contact discontinuity for two-dimensional steady compressible Euler flows in a finite nozzle
Authors:
Feimin Huang,
Jie Kuang,
Dehua Wang,
Wei Xiang
Abstract:
In this paper, we study the stability of supersonic contact discontinuity for the two-dimensional steady compressible Euler flows in a finitely long nozzle of varying cross-sections. We formulate the problem as an initial-boundary value problem with the contact discontinuity as a free boundary. To deal with the free boundary value problem, we employ the Lagrangian transformation to straighten the…
▽ More
In this paper, we study the stability of supersonic contact discontinuity for the two-dimensional steady compressible Euler flows in a finitely long nozzle of varying cross-sections. We formulate the problem as an initial-boundary value problem with the contact discontinuity as a free boundary. To deal with the free boundary value problem, we employ the Lagrangian transformation to straighten the contact discontinuity and then the free boundary value problem becomes a fixed boundary value problem. We develop an iteration scheme and establish some novel estimates of solutions for the first order of hyperbolic equations on a cornered domain. Finally, by using the inverse Lagrangian transformation and under the assumption that the incoming flows and the nozzle walls are smooth perturbations of the background state, we prove that the original free boundary problem admits a unique weak solution which is a small perturbation of the background state and the solution consists of two smooth supersonic flows separated by a smooth contact discontinuity.
△ Less
Submitted 12 April, 2018;
originally announced April 2018.
-
Convexity of Self-Similar Transonic Shocks and Free Boundaries for the Euler Equations for Potential Flow
Authors:
Gui-Qiang G. Chen,
Mikhail Feldman,
Wei Xiang
Abstract:
We are concerned with geometric properties of transonic shocks as free boundaries in two-dimensional self-similar coordinates for compressible fluid flows, which are not only important for the understanding of geometric structure and stability of fluid motions in continuum mechanics but also fundamental in the mathematical theory of multidimensional conservation laws. A transonic shock for the Eul…
▽ More
We are concerned with geometric properties of transonic shocks as free boundaries in two-dimensional self-similar coordinates for compressible fluid flows, which are not only important for the understanding of geometric structure and stability of fluid motions in continuum mechanics but also fundamental in the mathematical theory of multidimensional conservation laws. A transonic shock for the Euler equations for self-similar potential flow separates elliptic (subsonic) and hyperbolic (supersonic) phases of the self-similar solution of the corresponding nonlinear partial differential equation in a domain under consideration, in which the location of the transonic shock is apriori unknown. We first develop a general framework under which self-similar transonic shocks, as free boundaries, are proved to be uniformly convex, and then apply this framework to prove the uniform convexity of transonic shocks in the two longstanding fundamental shock problems -- the shock reflection-diffraction by wedges and the Prandtl-Meyer reflection for supersonic flows past solid ramps. To achieve this, our approach is to exploit underlying nonlocal properties of the solution and the free boundary for the potential flow equation.
△ Less
Submitted 6 June, 2020; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Steady Euler Flows with Large Vorticity and Characteristic Discontinuities in Arbitrary Infinitely Long Nozzles
Authors:
Gui-Qiang G. Chen,
Fei-Min Huang,
Tian-Yi Wang,
Wei Xiang
Abstract:
We establish the existence and uniqueness of smooth solutions with large vorticity and weak solutions with vortex sheets/entropy waves for the steady Euler equations for both compressible and incompressible fluids in arbitrary infinitely long nozzles. We first develop a new approach to establish the existence of smooth solutions without assumptions on the sign of the second derivatives of the hori…
▽ More
We establish the existence and uniqueness of smooth solutions with large vorticity and weak solutions with vortex sheets/entropy waves for the steady Euler equations for both compressible and incompressible fluids in arbitrary infinitely long nozzles. We first develop a new approach to establish the existence of smooth solutions without assumptions on the sign of the second derivatives of the horizontal velocity, or the Bernoulli and entropy functions, at the inlet for the smooth case. Then the existence for the smooth case can be applied to construct approximate solutions to establish the existence of weak solutions with vortex sheets/entropy waves by nonlinear arguments. This is the first result on the global existence of solutions of the multidimensional steady compressible full Euler equations with free boundaries, which are not necessarily small perturbations of piecewise constant background solutions. The subsonic-sonic limit of the solutions is also shown. Finally, through the incompressible limit, we establish the existence and uniqueness of incompressible Euler flows in arbitrary infinitely long nozzles for both the smooth solutions with large vorticity and the weak solutions with vortex sheets. The methods and techniques developed here will be useful for solving other problems involving similar difficulties.
△ Less
Submitted 17 February, 2019; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Two-dimensional steady supersonic exothermically reacting Euler flows with strong contact discontinuity over Lipschitz wall
Authors:
Wei Xiang,
Yongqian Zhang,
Qin Zhao
Abstract:
In this paper, we established the global existence of supersonic entropy solutions with a strong contact discontinuity over Lipschitz wall governed by the two-dimensional steady exothermically reacting Euler equations, when the total variation of both initial data and the slope of Lipschitz wall is sufficiently small. Local and global estimates are developed and a modified Glimm-type functional is…
▽ More
In this paper, we established the global existence of supersonic entropy solutions with a strong contact discontinuity over Lipschitz wall governed by the two-dimensional steady exothermically reacting Euler equations, when the total variation of both initial data and the slope of Lipschitz wall is sufficiently small. Local and global estimates are developed and a modified Glimm-type functional is carefully designed. Next the validation of the quasi-one-dimensional approximation in the domain bounded by the wall and the strong contact discontinuity is rigorous justified by proving that the difference between the average of weak solution and the solution of quasi-one-dimensional system can be bounded by the square of the total variation of both initial data and the slope of Lipschitz wall. The methods and techniques developed here is also helpful for other related problems.
△ Less
Submitted 11 September, 2017;
originally announced September 2017.
-
Loss of Regularity of Solutions of the Lighthill Problem for Shock Diffraction for Potential Flow
Authors:
Gui-Qiang Chen,
Mikhail Feldman,
Jingchen Hu,
Wei Xiang
Abstract:
We are concerned with the suitability of the main models of compressible fluid dynamics for the Lighthill problem for shock diffraction by a convex corned wedge, by studying the regularity of solutions of the problem, which can be formulated as a free boundary problem. In this paper, we prove that there is no regular solution that is subsonic up to the wedge corner for potential flow. This indicat…
▽ More
We are concerned with the suitability of the main models of compressible fluid dynamics for the Lighthill problem for shock diffraction by a convex corned wedge, by studying the regularity of solutions of the problem, which can be formulated as a free boundary problem. In this paper, we prove that there is no regular solution that is subsonic up to the wedge corner for potential flow. This indicates that, if the solution is subsonic at the wedge corner, at least a characteristic discontinuity (vortex sheet or entropy wave) is expected to be generated, which is consistent with the experimental and computational results. Therefore, the potential flow equation is not suitable for the Lighthill problem so that the compressible Euler system must be considered. In order to achieve the non-existence result, a weak maximum principle for the solution is established, and several other mathematical techniques are developed. The methods and techniques developed here are also useful to the other problems with similar difficulties.
△ Less
Submitted 10 March, 2020; v1 submitted 18 May, 2017;
originally announced May 2017.
-
Regularity of solutions to time-harmonic Maxwell's system with various lower than Lipschitz coefficients
Authors:
Basang Tsering-Xiao,
Wei Xiang
Abstract:
In this paper, we study the regularity of the solutions of Maxwell's equations in a bounded domain. We consider several different types of low regularity assumptions to the coefficients which are all less than Lipschitz. We first develop a new approach by giving $\mathcal{H}^1$ estimate when the coefficients are $\mathcal{L}^{\infty}$ bounded; and then we derive $\mathcal{W}^{1,p}$ estimates for e…
▽ More
In this paper, we study the regularity of the solutions of Maxwell's equations in a bounded domain. We consider several different types of low regularity assumptions to the coefficients which are all less than Lipschitz. We first develop a new approach by giving $\mathcal{H}^1$ estimate when the coefficients are $\mathcal{L}^{\infty}$ bounded; and then we derive $\mathcal{W}^{1,p}$ estimates for every $p > 2$ when one of the leading coefficients is simply continuous; Finally, we extend the result to $\mathcal{C}^{1,α}$ almost everywhere for the solution of the homogeneous Maxwell's equations when the coefficients are $\mathcal{W}^{1,p}, \, p>3$ and close to the identity matrix in the sense of $\mathcal{L}^{\infty}$ norm. The last two estimates are new, and the techniques and methods developed here can also be applied to other problems with similar difficulties.
△ Less
Submitted 12 February, 2019; v1 submitted 6 March, 2016;
originally announced March 2016.
-
Incompressible Limit of Solutions of Multidimensional Steady Compressible Euler Equations
Authors:
Gui-Qiang G. Chen,
Feimin Huang,
Tian-Yi Wang,
Wei Xiang
Abstract:
A compactness framework is formulated for the incompressible limit of approximate solutions with weak uniform bounds with respect to the adiabatic exponent for the steady Euler equations for compressible fluids in any dimension. One of our main observations is that the compactness can be achieved by using only natural weak estimates for the mass conservation and the vorticity. Another observation…
▽ More
A compactness framework is formulated for the incompressible limit of approximate solutions with weak uniform bounds with respect to the adiabatic exponent for the steady Euler equations for compressible fluids in any dimension. One of our main observations is that the compactness can be achieved by using only natural weak estimates for the mass conservation and the vorticity. Another observation is that the incompressibility of the limit for the homentropic Euler flow is directly from the continuity equation, while the incompresibility of the limit for the full Euler flow is from a combination of all the Euler equations. As direct applications of the compactness framework, we establish two incompressible limit theorems for multidimensional steady Euler flows through infinitely long nozzles, which lead to two new existence theorems for the corresponding problems for multidimensional steady incompressible Euler equations.
△ Less
Submitted 25 January, 2016; v1 submitted 9 October, 2015;
originally announced October 2015.
-
Weakly Nonlinear Geometric Optics for Hyperbolic Systems of Conservation Laws
Authors:
Gui-Qiang Chen,
Wei Xiang,
Yongqian Zhang
Abstract:
We present a new approach to analyze the validation of weakly nonlinear geometric optics for entropy solutions of nonlinear hyperbolic systems of conservation laws whose eigenvalues are allowed to have constant multiplicity and corresponding characteristic fields to be linearly degenerate. The approach is based on our careful construction of more accurate auxiliary approximation to weakly nonlinea…
▽ More
We present a new approach to analyze the validation of weakly nonlinear geometric optics for entropy solutions of nonlinear hyperbolic systems of conservation laws whose eigenvalues are allowed to have constant multiplicity and corresponding characteristic fields to be linearly degenerate. The approach is based on our careful construction of more accurate auxiliary approximation to weakly nonlinear geometric optics, the properties of wave front-tracking approximate solutions, the behavior of solutions to the approximate asymptotic equations, and the standard semigroup estimates. To illustrate this approach more clearly, we focus first on the Cauchy problem for the hyperbolic systems with compact support initial data of small bounded variation and establish that the $L^1-$estimate between the entropy solution and the geometric optics expansion function is bounded by $O(\varepsilon^2)$, {\it independent of} the time variable. This implies that the simpler geometric optics expansion functions can be employed to study the behavior of general entropy solutions to hyperbolic systems of conservation laws. Finally, we extend the results to the case with non-compact support initial data of bounded variation.
△ Less
Submitted 22 December, 2012; v1 submitted 26 May, 2012;
originally announced May 2012.
-
Shock Diffraction by Convex Cornered Wedges for the Nonlinear Wave System
Authors:
Gui-Qiang G. Chen,
Xuemei Deng,
Wei Xiang
Abstract:
We are concerned with rigorous mathematical analysis of shock diffraction by two-dimensional convex cornered wedges in compressible fluid flow governed by the nonlinear wave system. This shock diffraction problem can be formulated as a boundary value problem for second-order nonlinear partial differential equations of mixed elliptic-hyperbolic type in an unbounded domain. It can be further reformu…
▽ More
We are concerned with rigorous mathematical analysis of shock diffraction by two-dimensional convex cornered wedges in compressible fluid flow governed by the nonlinear wave system. This shock diffraction problem can be formulated as a boundary value problem for second-order nonlinear partial differential equations of mixed elliptic-hyperbolic type in an unbounded domain. It can be further reformulated as a free boundary problem for nonlinear degenerate elliptic equations of second order. We establish a first global theory of existence and regularity for this shock diffraction problem. In particular, we establish that the optimal regularity for the solution is $C^{0,1}$ across the degenerate sonic boundary. To achieve this, we develop several mathematical ideas and techniques, which are also useful for other related problems involving similar analytical difficulties.
△ Less
Submitted 17 October, 2013; v1 submitted 3 February, 2012;
originally announced February 2012.
-
Global Steady Subsonic Flows through Infinitely Long Nozzles for the Full Euler Equations
Authors:
Gui-Qiang Chen,
Xuemei Deng,
Wei Xiang
Abstract:
We are concerned with global steady subsonic flows through general infinitely long nozzles for the full Euler equations. The problem is formulated as a boundary value problem in the unbounded domain for a nonlinear elliptic equation of second order in terms of the stream function. It is established that, when the oscillation of the entropy and Bernoulli functions at the upstream is sufficiently sm…
▽ More
We are concerned with global steady subsonic flows through general infinitely long nozzles for the full Euler equations. The problem is formulated as a boundary value problem in the unbounded domain for a nonlinear elliptic equation of second order in terms of the stream function. It is established that, when the oscillation of the entropy and Bernoulli functions at the upstream is sufficiently small in $C^{1,1}$ and the mass flux is in a suitable regime, there exists a unique global subsonic solution in a suitable class of general nozzles. The assumptions are required to prevent from the occurrence of supersonic bubbles inside the nozzles. The asymptotic behavior of subsonic flows at the downstream and upstream, as well as the critical mass flux, have been clarified.
△ Less
Submitted 7 April, 2012; v1 submitted 31 December, 2011;
originally announced January 2012.
