Steiner Minimal Trees in Rectilinear and Octilinear Planes

This paper considers the Steiner Minimal Tree （SMT） problem in the rectilinear and octilinear planes. The study is motivated by the physical design of VLSI： The rectilinear case corresponds to the currently used M-architecture, which uses either horizontal or vertical routing, while the octilinear case corresponds to a new routing technique, X-architecture, that is based on the pervasive use of diagonal directions. The experimental studies show that the X-architecture demonstrates a length reduction of more than 10-20%. In this paper, we make a theoretical study on the lengths of SMTs in these two planes. Our mathematical analysis confirms that the length reduction is significant as the previous experimental studies claimed, but the reduction for three points is not as significant as for two points. We also obtain the lower and upper bounds on the expected lengths of SMTs in these two planes for arbitrary number of points.     

Geometric meanings of the parameters on rational conic segments

Using algebraic and geometric methods,functional relationships between a point on a conic segment and its corresponding parameter are derived when the conic segment is presented by a rational quadratic or cubic Bézier curve.That is,the inverse mappings of the mappings represented by the expressions of rational conic segments are given.These formulae relate some triangular areas or some angles,determined by the selected point on the curve and the control points of the curve,as well as by the weights of the rational Bézier curve.Also,the relationship can be expressed by the corresponding parametric angles of the selected point and two endpoints on the conic segment,as well as by the weights of the rational Bézier curve.These results are greatly useful for optimal parametrization,reparametrization,etc.,of rational Bézier curves and surfaces.     

A Decomposition Theorem for the Solutions to the Interface Problems of Quasi-Linear Elliptic Equations

Interface problems for second order quasi-linear elliptic partial differential equations in a two-dimensional space are studied. We prove that each weak solution can be decomposed into two parts near singular points, one of which is a finite sum of functions of the form cr^a log^m rφ(θ), where the coefficients c depend on the H^1-norm of the solution, the C^(0,δ) -norm of the solution, and the equation only; and the other one of which is a regular one, the norm of which is also estimated.     

NUMERICAL BOUNDARY CONDITIONS FOR THE FAST SWEEPING HIGH ORDER WENO METHODS FOR SOLVING THE EIKONAL EQUATION

High order fast sweeping methods have been developed recently in the literature to solve static Hamilton-Jacobi equations efficiently. Comparing with the first order fast sweeping methods, the high order fast sweeping methods are more accurate, but they often require additional numerical boundary treatment for several grid points near the boundary because of the wider numerical stencil. It is particularly important to treat the points near the inflow boundary accurately, as the information would flow into the computational domain and would affect global accuracy. In the literature, the numerical solution at these boundary points are either fixed with the exact solution, which is not always feasible, or computed with a first order discretization, which could reduce the global accuracy. In this paper, we discuss two strategies to handle the inflow boundary conditions. One is based on the numerical solutions of a first order fast sweeping method with several different mesh sizes near the boundary and a Richardson extrapolation, the other is based on a Lax-Wendroff type procedure to repeatedly utilizing the PDE to write the normal spatial derivatives to the inflow boundary in terms of the tangential derivatives, thereby obtaining high order solution values at the grid points near the inflow boundary. We explore these two approaches using the fast sweeping high order WENO scheme in [18] for solving the static Eikonal equation as a representative example. Numerical examples are given to demonstrate the performance of these two approaches.     

HOLDITCH THEOREM FOR THE CLOSED SPACE CURVES IN LORENTZIAN 3-SPACE

In this article, we give the area formula of the closed projection curve of a closed space curve in Lorentzian 3-space L3. For the 1-parameter closed Lorentzian space motion in L3, we obtain a Holditch Theorem taking into account the Lorentzian matrix multiplication for the closed space curves by using their othogonal projections onto the Euclidean plane in the fixed Lorentzian space. Moreover, we generalize this Holditch Theorem for noncollinear three fixed points of the moving Lorentzian space and any other fixed point on the plane which is determined by these three fixed points.     

求解对流扩散方程的ICT-MMOCAA差分解法

Combing the ideas of FCT^[1,2]with the MMOCAA^[3],the ICT-MMOCAA difference method,in which the transport is corrected by interpolation,is established for convection diffusion problem in the paper,The new method possesses the property of general FCT schemes and it is free from oscillation,with which the large gradient problem is solved by the MMOCAA difference method based on high-order(≥2)Lagrange interpolation^[3].Because the analysis in [3]is only suit for the scheme based on linear interpolation,the analysis method difered form [3] is used for obaining the error estimates of the new method.The numerical example is given in the paper.     

Offset approximation based on reparameterizing the path of a moving point along the base circle

This paper presents a novel algorithm for planar curve offsetting. The basic idea is to regard the locus relative to initial base circle, which is formed by moving the unit normal vectors of the base curve, as a unit circular arc first, then accurately to represent it as a rational curve, and finally to reparameterize it in a particular way to approximate the offset. Examples illustrated that the algorithm yields fewer curve segments and control points as well as C^1 continuity, and so has much significance in terms of saving computing time, reducing the data storage and smoothing curves entirely.     

Convergence Rate to Stationary Solutions for Boltzmann Equation with External Force

For the Boltzmann equation with an external force in the form of the gradient of a potential function in space variable, the stability of its stationary solutions as local Maxwellians was studied by S. Ukai et al. (2005) through the energy method. Based on this stability analysis and some techniques on analyzing the convergence rates to stationary solutions for the compressible Navier-Stokes equations, in this paper, we study the convergence rate to the above stationary solutions for the Boltzmann equation which is a fundamental equation in statistical physics for non-equilibrium rarefied gas. By combining the dissipation from the viscosity and heat conductivity on the fluid components and the dissipation on the non-fluid component through the celebrated H-theorem, a convergence rate of the same order as the one for the compressible Navier-Stokes is obtained by constructing some energy functionals.     

Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even characteristic

This paper is devoted to counting the number of isomorphism classes of pointed hyperelliptic curves over finite fields. We deal with the genus 4 case and the finite fields are of even characteristics. The number of isomorphism classes is computed and the explicit formulae are given. This number can be represented as a polynomial in q of degree 7, where q is the order of the finite field. The result can be used in the classification problems and it is useful for further studies of hyperelliptic curve cryptosystems, e.g. it is of interest for research on implementing the arithmetics of curves of low genus for cryptographic purposes. It could also be of interest for point counting problems; both on moduli spaces of curves, and on finding the maximal number of points that a pointed hyperelliptic curve over a given finite field may have.     

ON SOURCE ANALYSIS BY WAVE SPLITTING WITH APPLICATIONS IN INVERSE SCATTERING OF MULTIPLE OBSTACLES

We study wave splitting procedures for acoustic or electromagnetic scattering problems. The idea of these procedures is to split some scattered field into a sum of fields coming from different spatial regions such that this information can be used either for inversion algo- rithms or for active noise control. Splitting algorithms can be based on general boundary layer potential representation or Green＇s representation formula. We will prove the unique decomposition of scattered wave outside the specified reference domain G and the unique decomposition of far-field pattern with respect to different reference domain G. Further, we employ the splitting technique for field reconstruction for a scatterer with two or more separate components, by combining it with the point source method for wave recovery. Us-ing the decomposition of scattered wave as well as its far-field pattern, the wave splitting procedure proposed in this paper gives an efficient way to the computation of scattered wave near the obstacle, from which the multiple obstacles which cause the far-field pattern can be reconstructed separately. This considerably extends the range of the decomposition methods in the area of inverse scattering. Finally, we will provide numerical examples to demonstrate the feasibility of the splitting method.     

Driving functions and traces of the Loewner equation

We consider the chordal Loewner differential equation in the upper half-plane,the behavior of the driving functionλ(t)and the generated hull Kt when Kt approachesλ(0)in a fixed direction or in a sector.In the case that the hull Kt is generated by a simple curveγ(t)withγ(0)=0,we prove some sharp relations ofλ(t)/√t andγ(t)/√t as t→0 which improve the previous work.     

On the Unique Continuation Properties for Elliptic Operators with Singular Potentials

Let u be a solution to a second order elliptic equation with singular potentials belonging to Kato-Fefferman-Phong＇s class in Lipschitz domains. An elementary proof of the doubling property for u^2 over balls is presented, if the balls are contained in the domain or centered at some points near an open subset of the boundary on which the solution u vanishes continuously. Moreover, we prove the inner unique continuation theorems and the boundary unique continuation theorems for the elliptic equations, and we derive the Bp weight properties for the solution u near the boundary.     

Revisit of the Faddeev Model in Dimension Two

The Faddeev model is a fundamental model in relativistic quantum ?eld theory used to model elementary particles. The Faddeev model can be regarded as a system of non-linear wave equations with both quasi-linear and semi-linear non-linearities, which is particularly challenging in two space dimensions. A key feature of the system is that there exist undi?erentiated wave components in the non-linearities, which somehow causes extra di?culties. Nevertheless, the Cauchy problem in two space dimenions was tackled by Lei-Lin-Zhou (2011) with small, regular, and compactly supported initial data, using Klainerman’s vector ?eld method enhanced by a novel angular-radial anisotropic technique. In the present paper, the authors revisit the Faddeev model and remove the compactness assumptions on the initial data by Lei-Lin-Zhou (2011). The proof relies on an improved L2 norm estimate of the wave components in Theorem 3.1 and a decomposition technique for non-linearities of divergence form.     

Reconstruction of the Linear Ordinary Differential System Based on Discrete Points

In this paper, we discuss an inverse problem, i.e., the reconstruction of a linear differential dynamic system from the given discrete data of the solution. We propose a model and a corresponding algorithm to recover the coefficient matrix of the differential system based on the normal vectors from the given discrete points, in order to avoid the problem of parameterization in curve fitting and approximation. We also give some theoretical analysis on our algorithm. When the data points are taken from the solution curve and the set composed of these data points is not degenerate, the coefficient matrix $A$ reconstructed by our algorithm is unique from the given discrete and noisefree data. We discuss the error bounds for the approximate coefficient matrix and the solution which are reconstructed by our algorithm. Numerical examples demonstrate the effectiveness of the algorithm.     

无界区域上Cauchy型奇异积分算子的性质

On the basis of introducing the modified Cauchy kernel, we discuss the Hoelder continuity of the Cauchy-type singular integral operator on unbounded domains for regular functions by dividing into the following three cases： two points are on the boundary of region; one point is on the boundary and another point is in the interior（or exterior） of the region; two points are in the interior （or exterior） of the region.     

Mean field limit of a dynamical model of polymer systems

This paper provides a mathematically rigorous foundation for self-consistent mean feld theory of the polymeric physics.We study a new model for dynamics of mono-polymer systems.Every polymer is regarded as a string of points which are moving randomly as Brownian motions and under elastic forces.Every two points on the same string or on two diferent strings also interact under a pairwise potential V.The dynamics of the system is described by a system of N coupled stochastic partial diferential equations(SPDEs).We show that the mean feld limit as N→∞of the system is a self-consistent McKean-Vlasov type equation,under suitable assumptions on the initial and boundary conditions and regularity of V.We also prove that both the SPDE system of the polymers and the mean feld limit equation are well-posed.     

基于离散点和法矢的曲线重构算法

This paper presents a curve reconstruction algorithm based on discrete data points and normal vectors using B-splines.The proposed algorithm has been improved in three steps:parameterization of the discrete data points with tangent vectors,the B-spline knot vector determination by the selected dominant points based on normal vectors,and the determination of the weight to balancing the two errors of the data points and normal vectors in fitting model.Therefore,we transform the B-spline fitting problem into three sub-problems,and can obtain the B-spline curve adaptively.Compared with the usual fitting method which is based on dominant points selected only by data points,the B-spline curves reconstructed by our approach can retain better geometric shape of the original curves when the given data set contains high strength noises.     

各向异性网格下具有数值积分的非协调有限元逼近

In this paper we mainly discuss the nonconforming finite element method for second order elliptic boundary value problems on anisotropic meshes.By changing the discretization form(i.e.,by use of numerical quadrature in the procedure of computing the left load),we obtain the optimal estimate O(h),which is as same as in the traditional finite element analysis when the load f∈H~1(Ω)∩C~0(Ω)which is weaker than the previous studies.The results obtained in this paper are also valid to the conforming triangular element and nonconforming Carey's element.     

Modeling and targeting an essential metabolic pathway of Plasmodium falciparum in apicoplast using Petri nets

Petri net(PN) is one of the promising computational and mathematical formalisms used to represent and study the behavior of complex metabolic networks. The various available analysis techniques of PN could be used to validate and analyze the network in different scenarios. Plasmodium falciparum is one of the threatening parasites which causes malaria, a deadly disease affecting a large number of today’s world population. The development of antimalarial drug resistance is an emerging global threat, highlighting the need to discover novel antimalarial targets. The fatty acid biosynthesis of malarial parasite is one of the essential metabolic pathways required for its growth and is present in apicoplast, a non-photosynthetic plastid. The malarial parasite obtains fatty acids by using type two fatty acid synthase(FAS II) enzyme,which is different from type one enzyme used by human host, making it an ideal drug target.This article proposes and studies the PN model of the parasite’s FAS II pathway to analyze the mechanism of potential drug targets in this pathway. The proposed PN model can serve as a base for further findings in the field of antimalarial drug targets to decrease the malaria mortality rate.