Boundary Shape Control of the Navier-Stokes Equations and Applications

In this paper, the geometrical design for the blade's surface in an impeller or for the profile of an aircraft, is modeled from the mathematical point of view by a boundary shape control problem for the Navier-Stokes equations. The objective function is the sum of a global dissipative function and the power of the fluid. The control variables are the geometry of the boundary and the state equations are the Navier-Stokes equations. The Euler-Lagrange equations of the optimal control problem are derived, which are an elliptic boundary value system of fourth order, coupled with the Navier-Stokes equations. The authors also prove the existence of the solution of the optimal control problem, the existence of the solution of the Navier-Stokes equations with mixed boundary conditions, the weak continuity of the solution of the Navier-Stokes equations with respect to the geometry shape of the blade's surface and the existence of solutions of the equations for the Gateaux derivative of the solution of the Navier-Stokes equations with respect to the geometry of the boundary.     

拟线性可化约的双曲型方程组的奇性分析

In this paper we investigate the formation of singularities of hyperbolic systems. Employing the method of parametric coordinates and the existence of the solution of the blow-up system, we prove that the blow-up of classic solutions is due to the envelope of characteristics of the same family, analyze the geometric properties of the envelope of characteristics and estimate the blowup rates of the solution precisely.     

UNCONDITIONAL STABLE DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR SEMILINEAR PARABOLIC SYSTEMS OF DIVERGENCE TYPE

The general finite difference schemes with intrinsic parallelism for the boundary value problem of the semilinear parabolic system of divergence type with bounded measurable coefficients is studied. By the approach of the discrete functional analysis, the existence and uniqueness of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. Moreover the unconditional stability of the general difference schemes with intrinsic parallelism justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete initial data of the original problems in the discrete W_2~(2,1) (Q△) norms. Finally the convergence of the discrete vector solutions of the certain difference schemes with intrinsic parallelism to the unique generalized solution of the original semilinear parabolic problem is proved.     

Stability and Hopf bifurcation analysis of a predator-prey model with time delayed incomplete trophic transfer

A new nonlinear predator-prey model with incomplete trophic transfer is introduced. In this model,we assume that the rate of the trophic absorption of the predator is less than the rate of the conversion of consumed prey to predator in the Ivlev-type functional responses. The existence and uniqueness of the positive equilibrium of the model and the stability of the equilibrium of the model are studied under various conditions.Hopf bifurcation analysis of the delayed model is provided.     

An algorithm for decomposing a polynomial system into normal ascending sets

We present an algorithm to decompose a polynomial system into a finite set of normal ascending sets such that the set of the zeros of the polynomial system is the union of the sets of the regular zeros of the normal ascending sets.If the polynomial system is zero dimensional,the set of the zeros of the polynomials is the union of the sets of the zeros of the normal ascending sets.     

GLOBAL SOLUTION TO THE CAUCHY PROBLEM ON A UNIVERSE FIREWORKS MODEL

We prove existence and uniqueness of the global solution to the Cauchy problem on a universe fireworks model with finite total mass at the initial state when the ratio of the mass surviving the explosion, the probability of the explosion of fragments and the probability function of the velocity change of a surviving particle satisfy the corresponding physical conditions. Although the nonrelativistic Boltzmann-like equation modeling the universe fireworks is mathematically easy, this article leads rather theoretically to an understanding of how to construct contractive mappings in a Banach space for the proof of the existence and uniqueness of the solution by means of methods taken from the famous work by DiPerna ＆ Lions about the Boltzmann equation. We also show both the regularity and the time-asymptotic behavior of solution to the Cauchy problem.     

基于Legendre多项式的数值微分: 加权$L^2$空间中的收敛性分析

We consider the problem of estimating the derivative of a function f from its noisy version fδby using the derivatives of the partial sums of Fourier-Legendre series of f~δ. Instead of the observation L~2 space, we perform the reconstruction of the derivative in a weighted L~2 space. This takes full advantage of the properties of Legendre polynomials and results in a slight improvement on the convergence order. Finally, we provide several numerical examples to demonstrate the efficiency of the proposed method.     

Convergence of the Cesàro mean for rational orthonormal bases

This paper deals with the convergence of the Cesaro mean for the rational orthonormal bases. Provided the set of zeroes of rational orthonormal bases is formed by a periodic repetition of the same finite sequence, the explicit expression of so-called block-Fejer kernel is available, and some properties of the block-Fejer kernel are discussed. Based on the convergence of the block-Cesaro mean, the convergence of Cesaro mean is also provided.     

WEIGHTED NONLINEAR REGRESSION

Minimization of the weighted nonlinear sum of squares of differences may be converted to the minimization of sum of squares. The Gauss-Newton method is recalled and the length of the step of the steepest descent method is determined by substituting the steepest descent direction in the Gauss-Newton formula. The existence of minimum is shown.     

The unconditional stable and convergent difference methods with intrinsic parallelism for quasilinear parabolic systems

A kind of the general finite difference schemes with intrinsic parallelism forthe boundary value problem of the quasilinear parabolic system is studied without assum-ing heuristically that the original boundary value problem has the unique smooth vectorsolution. By the method of a priori estimation of the discrete solutions of the nonlineardifference systems, and the interpolation formulas of the various norms of the discretefunctions and the fixed-point technique in finite dimensional Euclidean space, the exis-tence and uniqueness of the discrete vector solutions of the nonlinear difference systemwith intrinsic parallelism are proved. Moreover the unconditional stability of the generalfinite difference schemes with intrinsic parallelism is justified in the sense of the continu-ous dependence of the discrete vector solution of the difference schemes on the discretedata of the original problems in the discrete w_2~(2,1) norms. Finally the convergence of thediscrete vector solutions of the certain differe     

Eigenvalue problem of a class of fourth-order Hamiltonian operators

The eigenvalue problem of a class of fourth-order Hamiltonian operators is studied. We first obtain the geometric multiplicity, the algebraic index and the algebraic multiplicity of each eigenvalue of the Hamiltonian operators. Then, some necessary and sufficient conditions for the completeness of the eigen or root vector system of the Hamiltonian operators are given, which is characterized by that of the vector system consisting of the first components of all eigenvectors. Moreover, the results are applied to the plate bending problem.     

The high-order SPDEs driven by multi-parameter fractional noises

The existence and uniqueness of the solutions are proved for a class of fourth-order stochastic heat equations driven by multi-parameter fractional noises. Furthermore the regularity of the solutions is studied for the stochastic equations and the existence of the density of the law of the solution is obtained.     

Exact Controllability and Asymptotic Analysis for Shallow Shells

The authors consider the exact controllability of the vibrations of a thin shallow shell, of thickness 2εwith controls imposed on the lateral surface and at the top and bottom of the shell. Apart from proving the existence of exact controls, it is shown that the solutions of the three dimensional exact controllability problems converge, as the thickness of the shell goes to zero, to the solution of an exact controllability problem in two dimensions.     

一类非线性波方程整体解的存在性和不存在性

This paper deals with the existence and uniqueness of the global solution of the initial boundary value problem of a class of wave equation. In the meantime, it gives the sufficient conditions of blow-up of the solution for the problem in finite time.     

INVARIANCE AND STABILITY OF THE PROFILE EQUATIONS OF GEOMETRIC OPTICS

The profile equations of geometric optics are described in a form invariant under the natural transformations of first order systems of partial differential equations. This allows us to prove that various strategies for computing profile equations are equivalent. We prove that if L generates an evolution on L 2 the same is true of the profile equations. We prove that the characteristic polynomial of the profile equations is the localization of the characteristic polynomial of the background operator at (y, dφ(y)) where φ is the background phase. We prove that the propagation cones of the profile equations are subsets of the propagation cones of the background operator.     

Global axisymmetric classical solutions of full compressible magnetohydrodynamic equations with vacuum free boundary and large initial data

In this paper,the global existence of the classical solution to the vacuum free boundary problem of full compressible magnetohydrodynamic equations with large initial data and axial symmetry is studied.The solutions to the system(1.6)–(1.8) are in the class of radius-dependent solutions,i.e.,independent of the axial variable and the angular variable.In particular,the expanding rate of the moving boundary is obtained.The main difficulty of this problem lies in the strong coupling of the magnetic field,velocity,temperature and the degenerate density near the free boundary.We overcome the obstacle by establishing the lower bound of the temperature by using different Lagrangian coordinates,and deriving the uniform-in-time upper and lower bounds of the Lagrangian deformation variable r;by weighted estimates,and also the uniform-in-time weighted estimates of the higher-order derivatives of solutions by delicate analysis.     

Convergence analysis of a nonlinear Lagrange algorithm for general nonlinear constrained optimization problems

The convergence analysis of a nonlinear Lagrange algorithm for solving nonlinear constrained optimization problems with both inequality and equality constraints is explored in detail. The estimates for the derivatives of the multiplier mapping and the solution mapping of the proposed algorithm are discussed via the technique of the singular value decomposition of matrix. Based on the estimates, the local convergence results and the rate of convergence of the algorithm are presented when the penalty parameter is less than a threshold under a set of suitable conditions on problem functions. Furthermore, the condition number of the Hessian of the nonlinear Lagrange function with respect to the decision variables is analyzed, which is closely related to efficiency of the algorithm. Finally, the preliminary numericM results for several typical test problems are reported.     

Global Attractors and Determining Modes for the 3D Navier-Stokes-Voight Equations

The authors investigate the long-term dynamics of the three-dimensional Navier- Stokes-Voight model of viscoelastic incompressible fluid. Specifically, upper bounds for the number of determining modes are derived for the 3D Navier-Stokes-Voight equations and for the dimension of a global attractor of a semigroup generated by these equations. Viewed from the numerical analysis point of view the authors consider the Navier-Stokes-Voight model as a non-viscous （inviscid） regularization of the three-dimensional Navier-Stokes equations. Furthermore, it is also shown that the weak solutions of the Navier-Stokes- Voight equations converge, in the appropriate norm, to the weak solutions of the inviscid simplified Bardina model, as the viscosity coefficient v →0.     

THE RELATION OF TWO-DIMENSIONAL VISCOUS CAMASSA-HOLM EQUATIONS AND THE NAVIER-STOKES EQUATIONS

In this article, the authors show the existence of global solution of two-dimensional viscous Camassa-Holm (Navier-Stokes-alpha) (NS-α) equations. The authors also prove that the solution of the NS-α equations converges to the solution of the 2D NS equations in the inviscid limit and give the convergence rate of the difference of the solution.     

集合$\tau$-标准部分的闭性

In this paper,the closeness of the τ-standard part of a set is discussed.Some related propositions of the τ-neighborhood system of a set are given.And then some related conclusions of the τ-monad of a set and the τ-standard part of a set are presented.And based on it,the necessary and sufficient conditions of the enlarged model and the saturated model are showed.Finally,some sufficient conditions that the τ-standard part of a set is closed are proved in the enlarged model and the saturated model.