Sparse polynomials, redundant bases, gauss periods, and efficient exponentiation of primitive elements for small characteristic finite fields

Gauss periods give an exponentiation algorithm that is fast for many finite fields but slow for many other fields. The current paper presents a different method for construction of elements that yield a fast exponentiation algorithm for finite fields where the Gauss period method is slow or does not work. The basic idea is to use elements of low multiplicative order and search for primitive elements that are binomial or trinomial of these elements. Computational experiments indicate that such primitive elements exist, and it is shown that they can be exponentiated fast.     

Coupled intervals in the discrete calculus of variations: necessity and sufficiency

In this work we study nonnegativity and positivity of a discrete quadratic functional with separately varying endpoints. We introduce a notion of an interval coupled with 0, and hence, extend the notion of conjugate interval to 0 from the case of fixed to variable endpoint(s). We show that the nonnegativity of the discrete quadratic functional is equivalent to each of the following conditions: The nonexistence of intervals coupled with 0, the existence of a solution to Riccati matrix equation and its boundary conditions. Natural strengthening of each of these conditions yields a characterization of the positivity of the discrete quadratic functional. Since the quadratic functional under consideration could be a second variation of a discrete calculus of variations problem with varying endpoints, we apply our results to obtain necessary and sufficient optimality conditions for such problems. This paper generalizes our recent work in [R. Hilscher, V. Zeidan, Comput. Math. Appl., to appear], where the right endpoint is fixed.     

关于凸曲面的几个定义的关系

本文讨论了凸曲面的几种定义及其关系，发现有的定义是局部凸的定义，有的是整体凸的定义，有的则对于局部凸和整体凸都适合，最后给出了各种定义之间互推的证明，对于局部凸和整体凸定义之间不能推证的，则说明了原因．     

A New Family of Cyclic Difference Sets with Singer Parameters in Characteristic Three

We construct a new family of cyclic difference sets with parameters ((3 ^d – 1)/2, (3 ^{d – 1} – 1)/2, (3 ^{d – 2} – 1)/2) for each odd d. The difference sets are constructed with certain maps that form Jacobi sums. These new difference sets are similar to Maschietti's hyperoval difference sets, of the Segre type, in characteristic two. We conclude by calculating the 3-ranks of the new difference sets.     

Hyers–Ulam–Rassias stability of Cauchy equation in the space of Schwartz distributions

We reformulate and prove the Hyers–Ulam–Rassias stability of Cauchy equation in the space of Schwartz tempered distributions and Fourier hyperfunctions.     

WEIERSTRASS REPRESENTATION FORSURFACES WITH PRESCRIBED NORMALGAUSS MAP AND GAUSS CURVATURE IN H~3

The author obtains a Weierstrass representation for surfaces with prescribed normal Gauss map and Gauss curvature in H3. A differential equation about the hyperbolic Gauss map is also obtained, which characterizes the relation among the hyperbolic Gauss map, the normal Gauss map and Gauss curvature. The author discusses the harmonicity of the normal Gauss map and the hyperbolic Gauss map from surface with constant Gauss curvature in H3 to S2 with certain altered conformal metric. Finally, the author considers the surface whose normal Gauss map is conformal and derives a completely nonlinear differential equation of second order which graph must satisfy.     

Cyclic reduction and FACR methods for piecewise hermite bicubic orthogonal spline collocation

Cyclic reduction and Fourier analysis-cyclic reduction (FACR) methods are presented for the solution of the linear systems which arise when orthogonal spline collocation with piecewise Hermite bicubics is applied to boundary value problems for certain separable partial differential equations on a rectangle. On anN×N uniform partition, the cyclic reduction and Fourier analysis-cyclic reduction methods requireO(N ²log₂ N) andO(N ²log₂log₂ N) arithmetic operations, respectively.     

Structure of minimizers in linear-quadratic Bolza problems of optimal control

In this paper, we study intersections of extremals in a linear-quadratic Bolza problem of optimal control. The structure of the inter-sections is described. We show that this structure implies the semipositive definiteness of the quadratic cost functional. In addition, we derive necessary and sufficient conditions for the existence of minimizers.     

离轴球形粒子对高斯波束的散射光通量的计算

利用矢量球谐函数展开的方法,研究了离轴球形粒子对椭圆高斯波束的散射。根据其远区散射场的形式,得出了归一化散射场的斯托克斯参量(散射强度)与颗粒直径、折射率以及散射角的关系。建立了计算离轴球形粒子对高斯波束散射通量的解析模型,计算了散射光在任意散射方向上的光通量,得到了前向任意立体角内散射通量的计算公式,为激光散射探测提供了理论依据。     

关于三次高斯和的均值

主要研究三次高斯和的均值性质，并给出一个较强的渐近公式。