THE RELATIONSHIP BETWEEN PROJECTIVE GEOMETRIC AND RATIONAL QUADRATIC B-SPLINE CURVES

For two rational quadratic B-spline curves with same control vertexes, the cross ratio of four eollinear points are represented; which are any one of the vertexes, and the two points that the ray initialing from the vertex intersects with the corresponding segments of the twocurves, and the point the ray intersecting with the connecting line between the two neighboring vertexes. Different from rational quadratic Beeier curves, the value is generally related with the loeation of the ray, and the necessary and sufficient condition o5 the ratio being independent of the ray‘s loeation is showed. Alsn another cross ratio o5 the following four collinear points are suggested, i.e. one vertex, the points that the ray from the initlal vertex intersects respectivdy with the curve segmentt the line connecting the segments end points, and the line connecting the two neighboring vertexes. This cross ratio is concerned only whh the ray‘s location, butnot with the weights of the curve. Furthermore, the cross ratio is projective invariant under the projective transformation between the two segments.     

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.     

Uzawa iteration method for stokes type variational inequality of the second kind

In this paper,the Uzawa iteration algorithm is applied to the Stokes problem with nonlinear slip boundary conditions whose variational formulation is the variational inequality of the second kind.Firstly, the multiplier in a convex set is introduced such that the variational inequality is equivalent to the variational identity.Moreover,the solution of the variational identity satisfies the saddle-point problem of the Lagrangian functional ?.Subsequently,the Uzawa algorithm is proposed to solve the solution of the saddle-point problem. We show the convergence of the algorithm and obtain the convergence rate.Finally,we give the numerical results to verify the feasibility of the Uzawa algorithm.     

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.     

PROPERTIES OF SOLUTIONS OF n-DIMENSIONAL INCOMPRESSIBLE NAVIER-STOKES EQUATIONS

Consider the n-dimensional incompressible Navier-Stokes equations ?/(?t)u-α△u +(u · ?)u + ?p = f(x, t), ? · u = 0, ? · f = 0,u(x, 0) = u0(x), ? · u0= 0.There exists a global weak solution under some assumptions on the initial function and the external force. It is well known that the global weak solutions become sufficiently small and smooth after a long time. Here are several very interesting questions about the global weak solutions of the Cauchy problems for the n-dimensional incompressible Navier-Stokes equations.· Can we establish better decay estimates with sharp rates not only for the global weak solutions but also for all order derivatives of the global weak solutions?· Can we accomplish the exact limits of all order derivatives of the global weak solutions in terms of the given information?· Can we use the global smooth solution of the linear heat equation, with the same initial function and the external force, to approximate the global weak solutions of the Navier-Stokes equations?· If we drop the nonlinear terms in the Navier-Stokes equations, will the exact limits reduce to the exact limits of the solutions of the linear heat equation?· Will the exact limits of the derivatives of the global weak solutions of the Navier-Stokes equations and the exact limits of the derivatives of the global smooth solution of the heat equation increase at the same rate as the order m of the derivative increases? In another word, will the ratio of the exact limits for the derivatives of the global weak solutions of the Navier-Stokes equations be the same as the ratio of the exact limits for the derivatives of the global smooth solutions for the linear heat equation?The positive solutions to these questions obtained in this paper will definitely help us to better understand the properties of the global weak solutions of the incompressible Navier-Stokes equations and hopefully to discover new special structures of the Navier-Stokes equations.     

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     

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.     

Global regularity for 3D magneto-hydrodynamics equations with only horizontal dissipation

We investigate the Cauchy problem for the 3D magneto-hydrodynamics equations with only horizontal dissipation for the small initial data. With the help of the dissipation in the horizontal direction and the structure of the system, we analyze the properties of the decay of the solution and apply these decay properties to get the global regularity of the solution. In the process, we mainly use the frequency decomposition in Green's function method and energy method.     

求解一种带有微分方程约束的条件变分问题的多目标最优化方法

Aiming at the conditional variational problem with the bi-objective functionals and the differential equational constraint in the optimal design of the electrostatic lenses, the conditional variational problem is transformed into multi-objective optimization problem by means of the spline function and the integral transformation. For solving the transformed problem, the analytic representation formula of the optimal solution about the original problem is obtained with regard to the voltage distribution and the electron trajectory. It will provide a new effective method for the design of the electrostatic lenses.     

GLOBAL FINITE ELEMENT NONLINEAR GALERKIN METHOD FOR THE PENALIZED NAVIER-STOKES EQUATIONS GLOBAL FINITE ELEMENT NONLINEAR GALERKIN METHOD FOR THE PENALIZED NAVIER-STOKES EQUATIONS

1. IntroductionIn the numerical simulation of the Navier-Stokes equations one encounters three seriousdifficulties in the case of large Reynolds numbers f the treatment of the incomPressibility con-dition divu = 0, the treatment of the noIilinear terms and the large time integration. For thetreatment of the incoInPressibility condition, one use the penalty method in the case of finiteelemellts [1--2l and for the treatmen of the noulinar terms and the large tfor integration, oneuse the nonlin…     

一些高振荡积分、高振荡积分方程的高性能计算

电磁、声波散射问题的研究涉及一类数学物理问题, 此类问题具有深刻的理论价值和重要的应用背景, 亟待解决. 高振荡微分、积分方程是刻画这些问题的重要的数学模型, 其数值计算存在许多挑战性研究课题. 本文从积分方程解法角度出发, 综述了求解这类高振荡问题的一些最新进展, 特别是针对广义Fourier 变换、Bessel 变换的高效算法、高振荡核Volterra 积分方程的数值解法作了详细介绍. 这些数值方法共有特点是振荡频率越高算法精度愈高, 且可望为电磁计算的研究提供一些新的高效算法.     

A bilinear oscillatory integral along parabolas

We establish an norm estimate for a bilinear oscillatory integral operator along parabolas incorporating oscillatory factors . The first author was partially supported by NSF grant of China grant 10671079. The second author was supported by NSF grant DMS-0456976.     

一类振荡奇异积分算子在Triebel-Lizorkin空间的有界性

The boundedness on Triebel-Lizorkin spaces of oscillatory singular integral operator T in the form ei|x|aΩ(x)|x|-n is studied,where a∈R,a≠0,1 and Ω∈L1(Sn-1) is homogeneous of degree zero and satisfies certain cancellation condition.When kernel Ω(x′)∈Llog L(Sn-1),the α,qp(Rn) boundedness of the above operator is obtained.Meanwhile,when Ω(x) satisfies L1-Dini condition,the above operator Tis bounded on 0,11(Rn).     

A survey on oscillatory integral operators

This is a short survey on osicllatory integral operators. We summarize the main development and managing techniques of the field, and give some open problems and main references in the end.     

A class of oscillatory singular integrals on triebel-lizorkin spaces

The boundedness on Triebel-Lizorkin spaces of oscillatory singular integral operator T in the form e^i｜x｜^aΩ（x）｜x｜^-n is studied,where a∈R,a≠0,1 and Ω∈L^1（S^n-1） is homogeneous of degree zero and satisfies certain cancellation condition. When kernel Ω（x＇ ）∈Llog＋L（S^n-1 ）, the Fp^a,q（R^n） boundedness of the above operator is obtained. Meanwhile ,when Ω（x） satisfies L^1- Dini condition,the above operator T is bounded on F1^0,1 （R^n）.     

OSCILLATORY SINGULAR INTEGRALS WITH VARIABLE ROUGH KERNEL,Ⅱ

Let n≥2. In this paper, the author establishes the L^2 (R^n)-boundedness of some oscillatory singular integrals with variable rough kernels by means of some estimates on hypergeometric functions and congqucnt hypergeometric funtions.     

NON-STANDARD COMMUTATORS FOR ROUGH OSCILLATORY SINGULAR INTEGRALS

In this paper, the author studies a class of non-standard commutators with higher order remainders for oscillatory singular integral operators with phases more general than polynomials. For 1 〈 p 〈 ∞, the L^p-boundedness of such operators are obtained provided that their kernels belong to the spaces L^q（s^n-1） for some q 〉 1.     

OSCILLATORY SINGULAR INTEGRALS WITH VARIABLE ROUGH KERNEL, Ⅱ

Let n≥2. In this paper, the author establishes the L2 (Rx)-boundedness of some oscillatory singular integrals with variable rough kernels by means of some estimates on hyper geometric functions and confluent hyper geometric funtions.     

Damped Oscillatory Integrals and the Boundedness Problem for Maximal Operators

Let S ⊂ ℝR ^{n +1} be a real-analytic hypersurface with surface measure dσ, and let ψ be a smooth nonnegative compactly supported cutoff function. Consider the surface measure dμ _q = ψ|Λ(X)|^q dσ, where Λ(X) is a damping factor determined by the matrices of the first and second fundamental forms of the surface. We show that its Fourier transform decays for large |ξ| as O (|ξ|^−(1/2+ε)), ε > 0, provided that q > 3/2. We also consider applications involving maximal operators associated with means of functions over hypersurfaces.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 70–74, 2005Original Russian Text Copyright © by I. A. Ikromov