Derive L-2-error bounds for Lax-Friedrichs schemes for discontinuous solutions oflinear hyperbolic convection equations.It is known that the Lax-Friedrichs scheme is a firstorder scheme.Analyzes convergent rate of the...Derive L-2-error bounds for Lax-Friedrichs schemes for discontinuous solutions oflinear hyperbolic convection equations.It is known that the Lax-Friedrichs scheme is a firstorder scheme.Analyzes convergent rate of the scheme through its modified equations andshows that the first order Lax-Friedrichs scheme to approach BV solutions of the convectionequation has L ̄2-error bounds of O(△x ̄(1/4)),where △x is the discrete mesh length.Nemericalexperiments are presented and numerical results justify the theoretical analysis.展开更多
An approach is introduced to construct global discontinuous solutions in L~∞ for HamiltonJacobi equations. This approach allows the initial data only in L~∞ and applies to the equations with nonconvex Hamiltonians....An approach is introduced to construct global discontinuous solutions in L~∞ for HamiltonJacobi equations. This approach allows the initial data only in L~∞ and applies to the equations with nonconvex Hamiltonians. The profit functions are introduced to formulate the notion of discoatinuous solutions in L~∞. The existence of global discontinuous solutions in L~∞ is established. These solutions in L~∞ coincide with the viscosity solutions and the minimax solutions, provided that the initial data are continuous. A prototypical equation is analyzed to examine the L~∞ stability of our L~∞ solutions. The analysis also shows that global discontinuous solutions are determined by the topology in which the initial data are approximated.展开更多
In this paper we study the mixed initial-boundary value problem for inhomogeneous quasilinear hyperbolic systems in the domain D -- {(t, x) I t 〉 O, x 〉 0}. Under the assumption that the source term satisfies the ...In this paper we study the mixed initial-boundary value problem for inhomogeneous quasilinear hyperbolic systems in the domain D -- {(t, x) I t 〉 O, x 〉 0}. Under the assumption that the source term satisfies the matching condition, a sufficient condition to guarantee the existence and uniqueness of global weakly discontinuous solution is given.展开更多
This paper addresses the issue of the formulation of weak solutions to systems of nonlinear hyperbolic conservation laws as integral balance laws.The basic idea is that the“meaningful objects”are the fluxes,evaluate...This paper addresses the issue of the formulation of weak solutions to systems of nonlinear hyperbolic conservation laws as integral balance laws.The basic idea is that the“meaningful objects”are the fluxes,evaluated across domain boundaries over time intervals.The fundamental result in this treatment is the regularity of the flux trace in the multi-dimensional setting.It implies that a weak solution indeed satisfies the balance law.In fact,it is shown that the flux is Lipschitz continuous with respect to suitable perturbations of the boundary.It should be emphasized that the weak solutions considered here need not be entropy solutions.Furthermore,the assumption imposed on the flux f(u)is quite minimal-just that it is locally bounded.展开更多
Simple and double layers first appeared in electrostatics and later found various applications in mathematical physics. In this paper, we present the jump discontinuity conditions for their second-order spatial deriva...Simple and double layers first appeared in electrostatics and later found various applications in mathematical physics. In this paper, we present the jump discontinuity conditions for their second-order spatial derivatives.展开更多
The double plate system with a discontinuity in the elastic bonding layer of Winker type is studied in this paper. When the discontinuity is small, it can be taken as an interface crack between the bi-materials or two...The double plate system with a discontinuity in the elastic bonding layer of Winker type is studied in this paper. When the discontinuity is small, it can be taken as an interface crack between the bi-materials or two bodies (plates or beams). By comparison between the number of multifrequencies of analytical solutions of the double plate system free transversal vibrations for the case when the system is with and without disconti- nuity in elastic layer we obtain a theory for experimental vibration method for identification of the presence of an interface crack in the double plate system. The analytical analysis of free transversal vibrations of an elastically connected double plate systems with discontinuity in the elastic layer of Winkler type is presented. The analytical solutions of the coupled partial differential equations for dynamical free and forced vibration processes are obtained by using method of Bernoulli's particular integral and Lagrange's method of variation constants. It is shown that one mode vibration corresponds an infinite or finite multi-frequency regime for free and forced vibrations induced by initial conditions and one- frequency or corresponding number of multi-frequency regime depending on external excitations. It is shown for every shape of vibrations. The analytical solutions show that the discontinuity affects the appearance of multi-frequency regime of time function corresponding to one eigen amplitude function of one mode, and also that time functions of different vibration basic modes are coupled. From final expression we can separate the newgeneralized eigen amplitude functions with correspon- ding time eigen functions of one frequency and multifrequency regime of vibrations.展开更多
We explored such issues as the formation mechanism,structure and propriety of the solid solutions of anthracene(ANT)-phenanthrene(PHE).Solution crystallization and solid-state grinding were employed to prepare solid s...We explored such issues as the formation mechanism,structure and propriety of the solid solutions of anthracene(ANT)-phenanthrene(PHE).Solution crystallization and solid-state grinding were employed to prepare solid solutions under different conditions.The thermal behavior and PXRD scanning results revealed the formation of discontinuous solid solutions,whose melting points and crystal lattices varied linearly with mixed ratio.Combing with Materials Studio,the formation possibility of solid solutions were investigated by evaluating the change of the energy.The crystal morphology of the solid solutions have a positive correlation with the change of the major part.Finally,the solution crystallization process of solid solution were studied using the population balance model.展开更多
The authors consider the Cauchy problem with a kind of non-smooth initial data for quasilinear hyperbolic systems and obtain a necessary and sufficient condition to guarantee the existence and uniqueness of global wea...The authors consider the Cauchy problem with a kind of non-smooth initial data for quasilinear hyperbolic systems and obtain a necessary and sufficient condition to guarantee the existence and uniqueness of global weakly discontinuous solution.展开更多
The existence and stability of stationary solutions for a reaction-diffusion-ODE system are investigated in this paper.We first show that there exist both continuous and discontinuous stationary solutions.Then a good ...The existence and stability of stationary solutions for a reaction-diffusion-ODE system are investigated in this paper.We first show that there exist both continuous and discontinuous stationary solutions.Then a good understanding of the stability of discontinuous stationary solutions is gained under an appropriate condition.In addition,we demonstrate the influences of the diffusion coefficient on stationary solutions.The results we obtained are based on the super-/sub-solution method and the generalized mountain pass theorem.Finally,some numerical simulations are given to illustrate the theoretical results.展开更多
An iterative algorithm is proposed and analyzed based on a hybridized mixed finite element method for numerically solving two-phase generalized Stefan interface problems with strongly discontinuous solutions, conormal...An iterative algorithm is proposed and analyzed based on a hybridized mixed finite element method for numerically solving two-phase generalized Stefan interface problems with strongly discontinuous solutions, conormal derivatives, and coefficients. This algorithm iteratively solves small problems for each single phase with good accuracy and exchange information at the interface to advance the iteration until convergence, following the idea of Schwarz Alternating Methods. Error estimates are derived to show that this algorithm always converges provided that relaxation parameters are suitably chosen. Numeric experiments with matching and non-matching grids at the interface from different phases are performed to show the accuracy of the method for capturing discontinuities in the solutions and coefficients. In contrast to standard numerical methods, the accuracy of our method does not seem to deteriorate as the coefficient discontinuity increases.展开更多
The Degasperis-Procesi(DP)equation is split into a system of a hyperbolic equation and an elliptic equation.For the hyperbolic equation,we use an optimized finite difference weighted essentially non-oscillatory(OWENO)...The Degasperis-Procesi(DP)equation is split into a system of a hyperbolic equation and an elliptic equation.For the hyperbolic equation,we use an optimized finite difference weighted essentially non-oscillatory(OWENO)scheme.New smoothness measurement is presented to approximate the typical shockpeakon structure in the solution to the DP equation,which evidently reduces the dissipation arising from discontinuities simultaneously removing nonphysical oscillations.For the elliptic equation,the Fourier pseudospectral method(FPM)is employed to discretize the high order derivative.Due to the combination of the WENO reconstruction and FPM,the splitting method shows an excellent performance in capturing the formation and propagation of shockpeakon solutions.The numerical simulations for different solutions of the DP equation are conducted to illustrate the high accuracy and capability of the method.展开更多
Since the quaternion ball was used to study the AdS/CFT problems tor spinor fields, it is worthwhile to study further the geometry (in sense of Klein) and analysis on it and on its extended space (in the sense of B...Since the quaternion ball was used to study the AdS/CFT problems tor spinor fields, it is worthwhile to study further the geometry (in sense of Klein) and analysis on it and on its extended space (in the sense of Behnke-Thullen), the quaternion projective space.展开更多
For an inhomogeneous quasilinear hyperbolic system of diagonal form, under the assumptions that the system is linearly degenerate and the C^1 norm of the boundary data is bounded, we show that the mechanism of the for...For an inhomogeneous quasilinear hyperbolic system of diagonal form, under the assumptions that the system is linearly degenerate and the C^1 norm of the boundary data is bounded, we show that the mechanism of the formation of singularities of C^1 classical solution to the Goursat problem with C^1 compatibility conditions at the origin must be an ODE type. The similar result is also obtained for the weakly discontinuous solution with C^0 compatibility conditions at the origin.展开更多
In this article we propose a higher-order space-time conservative method for hyperbolic systems with stiff and non stiff source terms as well as relaxation systems.We call the scheme a slope propagation(SP)method.It i...In this article we propose a higher-order space-time conservative method for hyperbolic systems with stiff and non stiff source terms as well as relaxation systems.We call the scheme a slope propagation(SP)method.It is an extension of our scheme derived for homogeneous hyperbolic systems[1].In the present inhomogeneous systems the relaxation time may vary from order of one to a very small value.These small values make the relaxation term stronger and highly stiff.In such situations underresolved numerical schemes may produce spurious numerical results.However,our present scheme has the capability to correctly capture the behavior of the physical phenomena with high order accuracy even if the initial layer and the small relaxation time are not numerically resolved.The scheme treats the space and time in a unified manner.The flow variables and their slopes are the basic unknowns in the scheme.The source term is treated by its volumetric integration over the space-time control volume and is a direct part of the overall space-time flux balance.We use two approaches for the slope calculations of the flow variables,the first one results directly from the flux balance over the control volumes,while in the second one we use a finite difference approach.The main features of the scheme are its simplicity,its Jacobian-free and Riemann solver-free recipe,as well as its efficiency and high of order accuracy.In particular we show that the scheme has a discrete analog of the continuous asymptotic limit.We have implemented our scheme for various test models available in the literature such as the Broadwell model,the extended thermodynamics equations,the shallow water equations,traffic flow and the Euler equations with heat transfer.The numerical results validate the accuracy,versatility and robustness of the present scheme.展开更多
We analyze mathematical models governing planar flow of chemical reaction from unburnt gases to burnt gases in certain physical regimes in which diffusive effects such as viscosity and heat conduction are significant....We analyze mathematical models governing planar flow of chemical reaction from unburnt gases to burnt gases in certain physical regimes in which diffusive effects such as viscosity and heat conduction are significant. These models can be then formulated as the Navier-Stokes equations for exothermically reacting compressible fluids. We first establish the existence and dynamic behavior, including stability, regularity, and large-time behavior, of global discontinuous solutions of large oscillation to the Navier-Stokes equations with constant adiabatic exponent γ and specific heat Cv. Our approach for the existence and regularity is to combine the difference approximation techniques with the energy methods, total variation estimates, and weak convergence arguments to deal with large jump discontinuities; and for large-time behavior is an a posteriori argument directly from the weak form of the equations. The approach and ideas we develop here can be applied to solving a more complicated model where γand cv vary as the phase changes; and we then describe this model in detail and contrast the results on the asymptotic behavior of the solutions of these two different models. We also discuss other physical models describing dynamic combustion.展开更多
We introduce a new and efficient numerical method for multicriterion optimal control and single criterion optimal control under integral constraints. The approach is based on extending the state space to include infor...We introduce a new and efficient numerical method for multicriterion optimal control and single criterion optimal control under integral constraints. The approach is based on extending the state space to include information on a "budget" remaining to satisfy each constraint; the augmented Hamilton-Jacobi-Bellman PDE is then solved numerically. The efficiency of our approach hinges on the causality in that PDE, i.e., the monotonicity of characteristic curves in one of the newly added dimensions. A semi-Lagrangian "marching" method is used to approximate the discontinuous viscosity solution efficiently. We compare this to a recently introduced "weighted sum" based algorithm for the same problem [25]. We illustrate our method using examples from flight path planning and robotic navigation in the presence of friendly and adversarial observers.展开更多
文摘Derive L-2-error bounds for Lax-Friedrichs schemes for discontinuous solutions oflinear hyperbolic convection equations.It is known that the Lax-Friedrichs scheme is a firstorder scheme.Analyzes convergent rate of the scheme through its modified equations andshows that the first order Lax-Friedrichs scheme to approach BV solutions of the convectionequation has L ̄2-error bounds of O(△x ̄(1/4)),where △x is the discrete mesh length.Nemericalexperiments are presented and numerical results justify the theoretical analysis.
文摘An approach is introduced to construct global discontinuous solutions in L~∞ for HamiltonJacobi equations. This approach allows the initial data only in L~∞ and applies to the equations with nonconvex Hamiltonians. The profit functions are introduced to formulate the notion of discoatinuous solutions in L~∞. The existence of global discontinuous solutions in L~∞ is established. These solutions in L~∞ coincide with the viscosity solutions and the minimax solutions, provided that the initial data are continuous. A prototypical equation is analyzed to examine the L~∞ stability of our L~∞ solutions. The analysis also shows that global discontinuous solutions are determined by the topology in which the initial data are approximated.
文摘In this paper we study the mixed initial-boundary value problem for inhomogeneous quasilinear hyperbolic systems in the domain D -- {(t, x) I t 〉 O, x 〉 0}. Under the assumption that the source term satisfies the matching condition, a sufficient condition to guarantee the existence and uniqueness of global weakly discontinuous solution is given.
基金the Institute of Applied Physics and Computational Mathematics,Beijing,for the hospitality and support.The second author is supported by the NSFC(Nos.11771054,12072042,91852207)the Sino-German Research Group Project(No.GZ1465)the National Key Project GJXM92579.
文摘This paper addresses the issue of the formulation of weak solutions to systems of nonlinear hyperbolic conservation laws as integral balance laws.The basic idea is that the“meaningful objects”are the fluxes,evaluated across domain boundaries over time intervals.The fundamental result in this treatment is the regularity of the flux trace in the multi-dimensional setting.It implies that a weak solution indeed satisfies the balance law.In fact,it is shown that the flux is Lipschitz continuous with respect to suitable perturbations of the boundary.It should be emphasized that the weak solutions considered here need not be entropy solutions.Furthermore,the assumption imposed on the flux f(u)is quite minimal-just that it is locally bounded.
文摘Simple and double layers first appeared in electrostatics and later found various applications in mathematical physics. In this paper, we present the jump discontinuity conditions for their second-order spatial derivatives.
文摘The double plate system with a discontinuity in the elastic bonding layer of Winker type is studied in this paper. When the discontinuity is small, it can be taken as an interface crack between the bi-materials or two bodies (plates or beams). By comparison between the number of multifrequencies of analytical solutions of the double plate system free transversal vibrations for the case when the system is with and without disconti- nuity in elastic layer we obtain a theory for experimental vibration method for identification of the presence of an interface crack in the double plate system. The analytical analysis of free transversal vibrations of an elastically connected double plate systems with discontinuity in the elastic layer of Winkler type is presented. The analytical solutions of the coupled partial differential equations for dynamical free and forced vibration processes are obtained by using method of Bernoulli's particular integral and Lagrange's method of variation constants. It is shown that one mode vibration corresponds an infinite or finite multi-frequency regime for free and forced vibrations induced by initial conditions and one- frequency or corresponding number of multi-frequency regime depending on external excitations. It is shown for every shape of vibrations. The analytical solutions show that the discontinuity affects the appearance of multi-frequency regime of time function corresponding to one eigen amplitude function of one mode, and also that time functions of different vibration basic modes are coupled. From final expression we can separate the newgeneralized eigen amplitude functions with correspon- ding time eigen functions of one frequency and multifrequency regime of vibrations.
文摘We explored such issues as the formation mechanism,structure and propriety of the solid solutions of anthracene(ANT)-phenanthrene(PHE).Solution crystallization and solid-state grinding were employed to prepare solid solutions under different conditions.The thermal behavior and PXRD scanning results revealed the formation of discontinuous solid solutions,whose melting points and crystal lattices varied linearly with mixed ratio.Combing with Materials Studio,the formation possibility of solid solutions were investigated by evaluating the change of the energy.The crystal morphology of the solid solutions have a positive correlation with the change of the major part.Finally,the solution crystallization process of solid solution were studied using the population balance model.
基金Project supported by the Special Funds for Major State Basic Research Projects of China
文摘The authors consider the Cauchy problem with a kind of non-smooth initial data for quasilinear hyperbolic systems and obtain a necessary and sufficient condition to guarantee the existence and uniqueness of global weakly discontinuous solution.
基金supported by National Natural Science Foundation of China(Grant No.11790273,52276028).
文摘The existence and stability of stationary solutions for a reaction-diffusion-ODE system are investigated in this paper.We first show that there exist both continuous and discontinuous stationary solutions.Then a good understanding of the stability of discontinuous stationary solutions is gained under an appropriate condition.In addition,we demonstrate the influences of the diffusion coefficient on stationary solutions.The results we obtained are based on the super-/sub-solution method and the generalized mountain pass theorem.Finally,some numerical simulations are given to illustrate the theoretical results.
文摘An iterative algorithm is proposed and analyzed based on a hybridized mixed finite element method for numerically solving two-phase generalized Stefan interface problems with strongly discontinuous solutions, conormal derivatives, and coefficients. This algorithm iteratively solves small problems for each single phase with good accuracy and exchange information at the interface to advance the iteration until convergence, following the idea of Schwarz Alternating Methods. Error estimates are derived to show that this algorithm always converges provided that relaxation parameters are suitably chosen. Numeric experiments with matching and non-matching grids at the interface from different phases are performed to show the accuracy of the method for capturing discontinuities in the solutions and coefficients. In contrast to standard numerical methods, the accuracy of our method does not seem to deteriorate as the coefficient discontinuity increases.
基金This work was supported by National Natural Science Foundation of China(Grant No.91648204)National Key Research and Development Program of China(Grant No.2016YFB0201301)Science Challenge Project(Nos.JCKY2016212A502,TZ2016002).
文摘The Degasperis-Procesi(DP)equation is split into a system of a hyperbolic equation and an elliptic equation.For the hyperbolic equation,we use an optimized finite difference weighted essentially non-oscillatory(OWENO)scheme.New smoothness measurement is presented to approximate the typical shockpeakon structure in the solution to the DP equation,which evidently reduces the dissipation arising from discontinuities simultaneously removing nonphysical oscillations.For the elliptic equation,the Fourier pseudospectral method(FPM)is employed to discretize the high order derivative.Due to the combination of the WENO reconstruction and FPM,the splitting method shows an excellent performance in capturing the formation and propagation of shockpeakon solutions.The numerical simulations for different solutions of the DP equation are conducted to illustrate the high accuracy and capability of the method.
基金Partially supported by National Natural Science Foundation of China, Project 10231050/A010109
文摘Since the quaternion ball was used to study the AdS/CFT problems tor spinor fields, it is worthwhile to study further the geometry (in sense of Klein) and analysis on it and on its extended space (in the sense of Behnke-Thullen), the quaternion projective space.
基金Supported by the National Natural Science Foundation of China(Grant No.10926162)the Fundamental Research Funds for the Central Universities(Grant No.2009B01314)the Natural Science Foundation of HohaiUniversity(Grant No.2009428011)
文摘For an inhomogeneous quasilinear hyperbolic system of diagonal form, under the assumptions that the system is linearly degenerate and the C^1 norm of the boundary data is bounded, we show that the mechanism of the formation of singularities of C^1 classical solution to the Goursat problem with C^1 compatibility conditions at the origin must be an ODE type. The similar result is also obtained for the weakly discontinuous solution with C^0 compatibility conditions at the origin.
文摘In this article we propose a higher-order space-time conservative method for hyperbolic systems with stiff and non stiff source terms as well as relaxation systems.We call the scheme a slope propagation(SP)method.It is an extension of our scheme derived for homogeneous hyperbolic systems[1].In the present inhomogeneous systems the relaxation time may vary from order of one to a very small value.These small values make the relaxation term stronger and highly stiff.In such situations underresolved numerical schemes may produce spurious numerical results.However,our present scheme has the capability to correctly capture the behavior of the physical phenomena with high order accuracy even if the initial layer and the small relaxation time are not numerically resolved.The scheme treats the space and time in a unified manner.The flow variables and their slopes are the basic unknowns in the scheme.The source term is treated by its volumetric integration over the space-time control volume and is a direct part of the overall space-time flux balance.We use two approaches for the slope calculations of the flow variables,the first one results directly from the flux balance over the control volumes,while in the second one we use a finite difference approach.The main features of the scheme are its simplicity,its Jacobian-free and Riemann solver-free recipe,as well as its efficiency and high of order accuracy.In particular we show that the scheme has a discrete analog of the continuous asymptotic limit.We have implemented our scheme for various test models available in the literature such as the Broadwell model,the extended thermodynamics equations,the shallow water equations,traffic flow and the Euler equations with heat transfer.The numerical results validate the accuracy,versatility and robustness of the present scheme.
基金Supported in part by the National Science Foundation under Grants DMS-9971793, INT-9987378,and INT-9726215.Supported in part by the National Science Foundation under Grant DMS-9703703.Supported in part by the National Science Foundation under Grants
文摘We analyze mathematical models governing planar flow of chemical reaction from unburnt gases to burnt gases in certain physical regimes in which diffusive effects such as viscosity and heat conduction are significant. These models can be then formulated as the Navier-Stokes equations for exothermically reacting compressible fluids. We first establish the existence and dynamic behavior, including stability, regularity, and large-time behavior, of global discontinuous solutions of large oscillation to the Navier-Stokes equations with constant adiabatic exponent γ and specific heat Cv. Our approach for the existence and regularity is to combine the difference approximation techniques with the energy methods, total variation estimates, and weak convergence arguments to deal with large jump discontinuities; and for large-time behavior is an a posteriori argument directly from the weak form of the equations. The approach and ideas we develop here can be applied to solving a more complicated model where γand cv vary as the phase changes; and we then describe this model in detail and contrast the results on the asymptotic behavior of the solutions of these two different models. We also discuss other physical models describing dynamic combustion.
文摘We introduce a new and efficient numerical method for multicriterion optimal control and single criterion optimal control under integral constraints. The approach is based on extending the state space to include information on a "budget" remaining to satisfy each constraint; the augmented Hamilton-Jacobi-Bellman PDE is then solved numerically. The efficiency of our approach hinges on the causality in that PDE, i.e., the monotonicity of characteristic curves in one of the newly added dimensions. A semi-Lagrangian "marching" method is used to approximate the discontinuous viscosity solution efficiently. We compare this to a recently introduced "weighted sum" based algorithm for the same problem [25]. We illustrate our method using examples from flight path planning and robotic navigation in the presence of friendly and adversarial observers.