It is well known that resultant elimination is an effective method of solving multivariate polynomial equations. In this paper, instead of computing the target resultants via variable by variable elimination, the auth...It is well known that resultant elimination is an effective method of solving multivariate polynomial equations. In this paper, instead of computing the target resultants via variable by variable elimination, the authors combine multivariate implicit equation interpolation and multivariate resultant elimination to compute the reduced resultants, in which the technique of multivariate implicit equation interpolation is achieved by some high probability algorithms on multivariate polynomial interpolation and univariate rational function interpolation. As an application of resultant elimination, the authors illustrate the proposed algorithm on three well-known unsolved combinatorial geometric optimization problems. The experiments show that the proposed approach of resultant elimination is more efficient than some existing resultant elimination methods on these difficult problems.展开更多
Three dimensional Euler equations are solved in the finite volume form with van Leer's flux vector splitting technique. Block matrix is inverted by Gauss-Seidel iteration in two dimensional plane while strongly im...Three dimensional Euler equations are solved in the finite volume form with van Leer's flux vector splitting technique. Block matrix is inverted by Gauss-Seidel iteration in two dimensional plane while strongly implicit alternating sweeping is implemented in the direction of the third dimension. Very rapid convergence rate is obtained with CFL number reaching the order of 100. The memory resources can be greatly saved too. It is verified that the reflection boundary condition can not be used with flux vector splitting since it will produce too large numerical dissipation. The computed flow fields agree well with experimental results. Only one or two grid points are there within the shock transition zone.展开更多
The main purpose of this study is to survey numerically comparison of two- phase and single phase of heat transfer and flow field of copper-water nanofluid in a wavy channel. The computational fluid dynamics (CFD) p...The main purpose of this study is to survey numerically comparison of two- phase and single phase of heat transfer and flow field of copper-water nanofluid in a wavy channel. The computational fluid dynamics (CFD) prediction is used for heat transfer and flow prediction of the single phase and three different two-phase models (mixture, volume of fluid (VOF), and Eulerian). The heat transfer coefficient, temperature, and velocity distributions are investigated. The results show that the differences between the temperature fie].d in the single phase and two-phase models are greater than those in the hydrodynamic tleld. Also, it is found that the heat transfer coefficient predicted by the single phase model is enhanced by increasing the volume fraction of nanoparticles for all Reynolds numbers; while for the two-phase models, when the Reynolds number is low, increasing the volume fraction of nanoparticles will enhance the heat transfer coefficient in the front and the middle of the wavy channel, but gradually decrease along the wavy channel.展开更多
In this paper we describe a constructive method which yields two monotone sequences that converge uniformly to extremal solutions to the periodic boundary value problem in the presence of an upper solution βand lower...In this paper we describe a constructive method which yields two monotone sequences that converge uniformly to extremal solutions to the periodic boundary value problem in the presence of an upper solution βand lower solution a with β a.展开更多
In this paper,we propose a numerical method to estimate the unknown order of a Riemann-Liouville fractional derivative for a fractional Stokes' first problem for a heated generalized second grade fluid.The implicit n...In this paper,we propose a numerical method to estimate the unknown order of a Riemann-Liouville fractional derivative for a fractional Stokes' first problem for a heated generalized second grade fluid.The implicit numerical method is employed to solve the direct problem.For the inverse problem,we first obtain the fractional sensitivity equation by means of the digamma function,and then we propose an efficient numerical method,that is,the Levenberg-Marquardt algorithm based on a fractional derivative,to estimate the unknown order of a Riemann-Liouville fractional derivative.In order to demonstrate the effectiveness of the proposed numerical method,two cases in which the measurement values contain random measurement error or not are considered.The computational results demonstrate that the proposed numerical method could efficiently obtain the optimal estimation of the unknown order of a RiemannLiouville fractional derivative for a fractional Stokes' first problem for a heated generalized second grade fluid.展开更多
We give a classification of second-order polynomial solutions for the homogeneous k-Hessian equation σ_k[u] = 0. There are only two classes of polynomial solutions: One is convex polynomial; another one must not be(k...We give a classification of second-order polynomial solutions for the homogeneous k-Hessian equation σ_k[u] = 0. There are only two classes of polynomial solutions: One is convex polynomial; another one must not be(k + 1)-convex, and in the second case, the k-Hessian equations are uniformly elliptic with respect to that solution. Based on this classification, we obtain the existence of C∞local solution for nonhomogeneous term f without sign assumptions.展开更多
Let f0, f1, f2, f3 be linearly independent homogeneous quadratic forms in the standard Z-graded ring R := K[s, t, u], and gcd(f0, f1, f2, f3) = 1. This defines a rational map Ф : P2 → P3. The Rees algebra Rees(...Let f0, f1, f2, f3 be linearly independent homogeneous quadratic forms in the standard Z-graded ring R := K[s, t, u], and gcd(f0, f1, f2, f3) = 1. This defines a rational map Ф : P2 → P3. The Rees algebra Rees(I) = R I I2 … of the ideal I = (f0, fl, f2, fs) is the graded R-algebra which can be described as the image of an R-algebra homomorphism h : R[x, y, z, w] → Rees(I). This paper discusses the free resolutions of I, and the structure of ker(h).展开更多
The Richards equation models the water flow in a partially saturated underground porous medium under the surface.When it rains on the surface,boundary conditions of Signorini type must be considered on this part of th...The Richards equation models the water flow in a partially saturated underground porous medium under the surface.When it rains on the surface,boundary conditions of Signorini type must be considered on this part of the boundary.The authors first study this problem which results into a variational inequality and then propose a discretization by an implicit Euler's scheme in time and finite elements in space.The convergence of this discretization leads to the well-posedness of the problem.展开更多
基金supported in part by the National Natural Science Foundation of China under Grant Nos.11471209,61321064 and 61361136002the Innovation Program of Shanghai Municipal Education Commission under Grant No.14ZZ046
文摘It is well known that resultant elimination is an effective method of solving multivariate polynomial equations. In this paper, instead of computing the target resultants via variable by variable elimination, the authors combine multivariate implicit equation interpolation and multivariate resultant elimination to compute the reduced resultants, in which the technique of multivariate implicit equation interpolation is achieved by some high probability algorithms on multivariate polynomial interpolation and univariate rational function interpolation. As an application of resultant elimination, the authors illustrate the proposed algorithm on three well-known unsolved combinatorial geometric optimization problems. The experiments show that the proposed approach of resultant elimination is more efficient than some existing resultant elimination methods on these difficult problems.
文摘Three dimensional Euler equations are solved in the finite volume form with van Leer's flux vector splitting technique. Block matrix is inverted by Gauss-Seidel iteration in two dimensional plane while strongly implicit alternating sweeping is implemented in the direction of the third dimension. Very rapid convergence rate is obtained with CFL number reaching the order of 100. The memory resources can be greatly saved too. It is verified that the reflection boundary condition can not be used with flux vector splitting since it will produce too large numerical dissipation. The computed flow fields agree well with experimental results. Only one or two grid points are there within the shock transition zone.
文摘The main purpose of this study is to survey numerically comparison of two- phase and single phase of heat transfer and flow field of copper-water nanofluid in a wavy channel. The computational fluid dynamics (CFD) prediction is used for heat transfer and flow prediction of the single phase and three different two-phase models (mixture, volume of fluid (VOF), and Eulerian). The heat transfer coefficient, temperature, and velocity distributions are investigated. The results show that the differences between the temperature fie].d in the single phase and two-phase models are greater than those in the hydrodynamic tleld. Also, it is found that the heat transfer coefficient predicted by the single phase model is enhanced by increasing the volume fraction of nanoparticles for all Reynolds numbers; while for the two-phase models, when the Reynolds number is low, increasing the volume fraction of nanoparticles will enhance the heat transfer coefficient in the front and the middle of the wavy channel, but gradually decrease along the wavy channel.
文摘In this paper we describe a constructive method which yields two monotone sequences that converge uniformly to extremal solutions to the periodic boundary value problem in the presence of an upper solution βand lower solution a with β a.
基金supported by the National Natural Science Foundation of China(Grants 11472161,11102102,and 91130017)the Independent Innovation Foundation of Shandong University(Grant 2013ZRYQ002)the Natural Science Foundation of Shandong Province(Grant ZR2014AQ015)
文摘In this paper,we propose a numerical method to estimate the unknown order of a Riemann-Liouville fractional derivative for a fractional Stokes' first problem for a heated generalized second grade fluid.The implicit numerical method is employed to solve the direct problem.For the inverse problem,we first obtain the fractional sensitivity equation by means of the digamma function,and then we propose an efficient numerical method,that is,the Levenberg-Marquardt algorithm based on a fractional derivative,to estimate the unknown order of a Riemann-Liouville fractional derivative.In order to demonstrate the effectiveness of the proposed numerical method,two cases in which the measurement values contain random measurement error or not are considered.The computational results demonstrate that the proposed numerical method could efficiently obtain the optimal estimation of the unknown order of a RiemannLiouville fractional derivative for a fractional Stokes' first problem for a heated generalized second grade fluid.
基金supported by National Natural Science Foundation of China (Grant Nos. 11171339 and 11171261)National Center for Mathematics and Interdisciplinary Sciences
文摘We give a classification of second-order polynomial solutions for the homogeneous k-Hessian equation σ_k[u] = 0. There are only two classes of polynomial solutions: One is convex polynomial; another one must not be(k + 1)-convex, and in the second case, the k-Hessian equations are uniformly elliptic with respect to that solution. Based on this classification, we obtain the existence of C∞local solution for nonhomogeneous term f without sign assumptions.
文摘Let f0, f1, f2, f3 be linearly independent homogeneous quadratic forms in the standard Z-graded ring R := K[s, t, u], and gcd(f0, f1, f2, f3) = 1. This defines a rational map Ф : P2 → P3. The Rees algebra Rees(I) = R I I2 … of the ideal I = (f0, fl, f2, fs) is the graded R-algebra which can be described as the image of an R-algebra homomorphism h : R[x, y, z, w] → Rees(I). This paper discusses the free resolutions of I, and the structure of ker(h).
文摘The Richards equation models the water flow in a partially saturated underground porous medium under the surface.When it rains on the surface,boundary conditions of Signorini type must be considered on this part of the boundary.The authors first study this problem which results into a variational inequality and then propose a discretization by an implicit Euler's scheme in time and finite elements in space.The convergence of this discretization leads to the well-posedness of the problem.