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.     

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.     

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

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.     

The Formual of Generalized Center－Weak Saddle

In his paper,a problem of center-weak focus of a general system of degree n is transformed into a problem of generalized center-weak saddle.It offers:(1) the calculating formula of the saddle values of the former 4 orders in the general system of degree three;(2) some calculating formulae of the saddle values in the general homogeneous system of degree n. The problem of center-focus(saddle)plays an important role in the qualitative theory of ordinary differential equations.However,since the calculations are difficult,the results have not been satisfactory.On the basis of the author‘s work,Northeast.Math.J.,13(4)(1997),487-494,the paper offers some calculating formulae of the saddle values.     

Gamma-Dirichlet algebra and applications

The Gamma-Dirichlet algebra corresponds to the decomposition of the gamma process into the independent product of a gamma random variable and a Dirichlet process. This structure allows us to study the properties of the Dirichlet process through the gamma process and vice versa. In this article, we begin with a brief survey of several existing results concerning this structure. New results are then obtained for the large deviations of the jump sizes of the gamma process and the quasi-invariance of the two-parameter Poisson-Dirichlet distribution. We finish the paper with the derivation of the transition function of the Fleming-Viot process with parent independent mutation from the transition function of the measure-valued branching diffusion with immigration by exploring the Gamma-Dirichlet algebra embedded in these processes. This last result is motivated by an open R. C. Gritfiths. problem proposed by S. N. Ethier and     

基于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.     

Time to most recent common ancestor for stationary continuous state branching processes with immigration

Motivated by sample path decomposition of the stationary continuous state branching process with immigration, a general population model is considered using the idea of immortal individual. We compute the joint distribution of the random variables： the time to the most recent common ancestor （MRCA）, the size of the current population, and the size of the population just before MRCA. We obtain the bottleneck effect as well. The distribution of the number of the oldest families is also established. These generalize the results obtained by Y. T. Chen and J. F. Delmas.     

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.     

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.     

集合$\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.     

THE AVERAGE ABUNDANCE FUNCTION WITH MUTATION OF THE MULTI-PLAYER SNOWDRIFT EVOLUTIONARY GAME MODEL

This article explores the characteristics of the average abundance function with mutation on the basis of the multi-player snowdrift evolutionary game model by analytical analysis and numerical simulation.The specific field of this research concerns the approximate expressions of the average abundance function with mutation on the basis of different levels of selection intensity and an analysis of the results of numerical simulation on the basis of the intuitive expression of the average abundance function.In addition,the biological background of this research lies in research on the effects of mutation,which is regarded as a biological concept and a disturbance to game behavior on the average abundance function.The mutation will make the evolutionary result get closer to the neutral drift state.It can be deduced that this affection is not only related to mutation,but also related to selection intensity and the gap between payoff and aspiration level.The main research findings contain four aspects.First,we have deduced the concrete expression of the expected payoff function.The asymptotic property and change trend of the expected payoff function has been basically obtained.In addition,the intuitive expression of the average abundance function with mutation has been obtained by taking the detailed balance condition as the point of penetration.It can be deduced that the effect of mutation is to make the average abundance function get close to 1/2.In addition,this affection is related to selection intensity and the gap.Secondly,the first-order Taylor expansion of the average abundance function has been deduced for when selection intensity is sufficiently small.The expression of the average abundance function with mutation can be simplified from a composite function to a linear function because of this Taylor expansion.This finding will play a significant role when analyzing the results of the numerical simulation.Thirdly,we have obtained the approximate expressions of the average abundance function corresponding to small and large selection intensity.The significance of the above approximate analysis lies in that we have grasped the basic characteristics of the effect of mutation.The effect is slight and can be neglected when mutation is very small.In addition,the effect begins to increase when mutation rises,and this effect will become more remarkable with the increase of selection intensity.Fourthly,we have explored the influences of parameters on the average abundance function with mutation through numerical simulation.In addition,the corresponding results have been explained on the basis of the expected payoff function.It can be deduced that the influences of parameters on the average abundance function with mutation will be slim when selection intensity is small.Moreover,the corresponding explanation is related to the first-order Taylor expansion.Furthermore,the influences will become notable when selection intensity is large.     

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 Closeness of the τ-Standard Part of a Set

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.     

Subordination in the sense of Bochner of L p -semigroups and associated Markov processes

We show that the subordination induced by a convolution semigroup（subordination in the sense of Bochner）of a C0-semigroup of sub-Markovian operators on an Lpspace is actually associated to the subordination of a right（Markov）process.As a consequence,we solve the martingale problem associate with the Lp-infinitesimal generator of the subordinate semigroup.We also prove quasi continuity properties for the elements of the domain of the Lp-generator of the subordinate semigroup.It turns out that an enlargement of the base space is necessary.A main step in the proof is the preservation under such a subordination of the property of a Markov process to be a Borel right process.We use several analytic and probabilistic potential theoretical tools.     

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.     

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.     

ON THE ORDER OF SUMMABILITY OF THE FOURIER INVERSION FORMULA

In this article we show that the order of the point value, in the sense of Lojasiewicz, of a tempered distribution and the order of summability of the pointwise Fourier inversion formula are closely related. Assuming that the order of the point values and certain order of growth at infinity are given for a tempered distribution, we estimate the order of summability of the Fourier inversion formula. For Fourier series, and in other cases, it is shown that if the distribution has a distributional point value of order k, then its Fourier series is e.v. Cesaro summable to the distributional point value of order k＋1. Conversely, we also show that if the pointwise Fourier inversion formula is e.v. Cesaro summable of order k, then the distribution is the （k ＋ 1）-th derivative of a locally integrable function, and the distribution has a distributional point value of order k ＋ 2. We also establish connections between orders of summability and local behavior for other Fourier inversion problems.     

HOW TO PROVE THE DISCRETE RELIABILITY FOR NONCONFORMING FINITE ELEMENT METHODS

Optimal convergence rates of adaptive finite element methods are well understood in terms of the axioms of adaptivity.One key ingredient is the discrete reliability of a residualbased a posteriori error estimator,which controls the error of two discrete finite element solutions based on two nested triangulations.In the error analysis of nonconforming finite element methods,like the Crouzeix-Raviart or Morley finite element schemes,the difference of the piecewise derivatives of discontinuous approximations to the distributional gradients of global Sobolev functions plays a dominant role and is the object of this paper.The nonconforming interpolation operator,which comes natural with the definition of the aforementioned nonconforming finite element in the sense of Ciarlet,allows for stability and approximation properties that enable direct proofs of the reliability for the residual that monitors the equilibrium condition.The novel approach of this paper is the suggestion of a right-inverse of this interpolation operator in conforming piecewise polynomials to design a nonconforming approximation of a given coarse-grid approximation on a refined triangulation.The results of this paper allow for simple proofs of the discrete reliability in any space dimension and multiply connected domains on general shape-regular triangulations beyond newest-vertex bisection of simplices.Particular attention is on optimal constants in some standard discrete estimates listed in the appendices.     

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.     

一类非散度型非线性退化抛物方程解的存在性(英文)

In this paper, we discuss the existence of weak solutions to the initial and boundary value problem of a class of nonlinear degenerate parabolic equations in non-divergence form. Applying the method of parabolic regularization, we prove the existence of weak solutions to the problem. By carefully analyzing the approximate solutions to the problem, we make a series of estimates to the solutions and prove the weak convergence of the approximation solution sequence. Finally we testify the existence of weak solutions to the problem.