Some new thin sets of integers in harmonic analysis

We randomly construct various subsets A of the integers which have both smallness and largeness properties. They are small since they are very close, in various senses, to Sidon sets: the continuous functions with spectrum in Λ have uniformly convergent series, and their Fourier coefficients are in ℓ_p for all p > 1; moreover, all the Lebesgue spaces L _Λ ^q are equal forq < +∞. On the other hand, they are large in the sense that they are dense in the Bohr group and that the space of the bounded functions with spectrum in Λ is nonseparable. So these sets are very different from the thin sets of integers previously known.     

On the integral equation formulations of some 2D contact problems

Two integral equations, representing the mechanical response of a 2D infinite plate supported along a line and subject to a transverse concentrated force, are examined. The kernels of the integral operators are of the type (x−y)ln|x−y| and (x−y)²ln|x−y|. In spite of the fact that these are only weakly singular, the two equations are studied in a more general framework, which allows us to consider also solutions having non-integrable endpoint singularities. The existence and uniqueness of solutions of the equations are discussed and their endpoint singularities detected.Since the two equations are of interest in their own right, some properties of the associated integral operators are examined in a scale of weighted Sobolev type spaces. Then, new results on the existence and uniqueness of integrable solutions of the equations that in some sense are complementary to those previously obtained are derived.     

Partition and composition matrices

This paper introduces two matrix analogues for set partitions. A composition matrix on a finite set X is an upper triangular matrix whose entries partition X, and for which there are no rows or columns containing only empty sets. A partition matrix is a composition matrix in which an order is placed on where entries may appear relative to one-another.We show that partition matrices are in one-to-one correspondence with inversion tables. Non-decreasing inversion tables are shown to correspond to partition matrices with a row ordering relation. Partition matrices which are s-diagonal are classified in terms of inversion tables. Bidiagonal partition matrices are enumerated using the transfer-matrix method and are equinumerous with permutations which are sortable by two pop-stacks in parallel.We show that composition matrices on X are in one-to-one correspondence with (2+2)-free posets on X. Also, composition matrices whose rows satisfy a column-ordering relation are shown to be in one-to-one correspondence with parking functions. Finally, we show that pairs of ascent sequences and permutations are in one-to-one correspondence with (2+2)-free posets whose elements are the cycles of a permutation, and use this relation to give an expression for the number of (2+2)-free posets on {1,…,n}.     

Reflection Ideals and mappings between generic submanifolds in complex space

Results on finite determination and convergence of formal mappings between smooth generic submanifolds in ℂ ^N are established in this article. The finite determination result gibes sufficient conditions to guarantee that a formal map is uniquely determined by its jet, of a preassigned order, at a point. Convergence of formal mappings for real-analytic generic submanifolds under appropriate assumptions is proved, and natural geometric conditions are given to assure that if two germs of such submanifolds are formally equivalent, then, they are necessarily biholomorphically equivalent. It is also shown that if two real-algebraic hypersurfaces in ℂ ^N are biholomorphically equivalent, then, they are algebraically equivalent. All the results are first proved in the more general context of “reflection ideals” associated to formal mappings between formal as well as real-analytic and real-algebraic manifolds.     

Planar unit-distance graphs having planar unit-distance complement

A graph G=(V,E) is called a unit-distance graph in the plane if there is an embedding of V into the plane such that every pair of adjacent vertices are at unit distance apart. If an embedding of V satisfies the condition that two vertices are adjacent if and only if they are at unit distance apart, then G is called a strict unit-distance graph in the plane. A graph G is a (strict) co-unit-distance graph, if both G and its complement are (strict) unit-distance graphs in the plane. We show by an exhaustive enumeration that there are exactly 69 co-unit-distance graphs (65 are strict co-unit-distance graphs), 55 of which are connected (51 are connected strict co-unit-distance graphs), and seven are self-complementary.     

Characteristics of wave propagation in piezoelectric bent rods with arbitrary curvature

The wave propagation in the piezoelectric bend rods with arbitrary curvature is studied in this paper. Basic three-dimensional equations in an orthogonal curvilinear coordinate system (r, θ, s) are established. The Bessel functions in radial co-ordinate and triangle series in the angular co-ordinate are used to describe the displacements and electrical potential. Characteristics of dispersion, distributions of displacements and electrical potential over the cross section are calculated, respectively. In the numerical examples, the effects of the ratio of the two ellipse axes on the dispersion relations of the first three modes are observed. The characteristics of the distribution of displacements and electric potential in the cross section, along the radial and s direction are investigated.     

Time shifted aliasing error upper bounds for truncated sampling cardinal series

Time shifted aliasing error upper bound extremals for the sampling reconstruction procedure are fully characterized. Sharp upper bounds are found on the aliasing error of truncated cardinal series and the corresponding extremals are described for entire functions from certain specific Lp, p>1, classes. Analogous results are obtained in multidimensional regular sampling. Truncation error analysis is provided in all cases considered. Moreover, sharpness of bounding inequalities, convergence rates and various sufficient conditions are discussed.     

Planes and processes

This article presented to Combinatorics 2006 is a survey of finite projective planes and the processes used to construct them. All non-translation planes are described, fundamental processes in translation planes are defined and some of these are used to connect semi-field flocks with symplectic spreads. Hermitian ovoids are connected to extensions of derivable nets, and three types of ‘lifting’ methods are discussed. Furthermore, hyperbolic fibrations and ‘regulus-inducing’ central collineation groups are connected to flocks of quadratic cones. Finally, hyper-reguli and multiple hyper-regulus replacement are considered.     

Banach function spaces and interpolation methods I. The abstract theory

Interpolation methods are introduced which have specific application in the function space setting. The methods are indexed by (?; j) or (?; k), where ? is a rearrangement-invariant norm and j and k are natural modifications of the J- and K-functionals of Peetre. Theorems of interpolation, equivalence, stability, and duality are established under simple restrictions on the indices of ?. Applications are given (in Part II) to the interpolation of weak-type operators and, in particular, to the Hilbert transform and the conjugate operator. In part III, the ?-methods are used to establish generalized Hausdorff-Young estimates for the Fourier transform.     

Optimal Control of a Stochastic Assembly Production Line

The system under consideration comprises n workstations in parallel and one assembly workstation. The workstations are either reliable or unreliable and the product demand is random. The n different type parts are processed first in the parallel workstations and then are joined in the assembly workstation. By minimizing the expected discounted cost, it is shown that the optimal control policy is of the bang–bang type and can be described by a set of switching manifolds. The structural properties of the optimal policy, such as monotonicity and asymptotic behavior, are investigated. These structural properties are very useful to find the optimal policy in large-size systems. Three numerical examples are given to demonstrate the results.     

Point processes of cylinders,particles and flats

Point processesX of cylinders, compact sets (particles), or flats inR ^d are mathematical models for fields of sets as they occur, e.g., in practical problems of image analysis and stereology. For the estimation of geometric quantities of such fields, mean value formulas forX are important. By a systematic approach, integral geometric formulas for curvature measures are transformed into density formulas for geometric point processes. In particular, a number of results which are known for stationary and isotropic Poisson processes of convex sets are generalized to nonisotropic processes, to non-Poissonian processes, and to processes of nonconvex sets. The integral geometric background (including recent results from translative integral geometry), the fundamentals of geometric point processes, and the resulting density formulas are presented in detail. Generalizations of the theory and applications in image analysis and stereology are mentioned shortly.     

Angle orders

A finite poset is an angle order if its points can be mapped into angular regions in the plane so thatx precedesy in the poset precisely when the region forx is properly included in the region fory. We show that all posets of dimension four or less are angle orders, all interval orders are angle orders, and that some angle orders must have an angular region less than 180° (or more than 180°). The latter result is used to prove that there are posets that are not angle orders.The smallest verified poset that is not an angle order has 198 points. We suspect that the minimum is around 30 points. Other open problems are noted, including whether there are dimension-5 posets that are not angle orders.Research supported in part by the National Science Foundation, grant number DMS-8401281.     

Sufficient Conditions for Converging Drift-Diffusion Discrete Systems. Application to The Finite Element Method

In this paper we generalize the abstract results of Mock and Marcowich [13, 12] for convergence of discrete Van Roosbroeck systems [12, 13, 17], to the case when the solutions are typically in W^1,4-ε and not in H². These conditions are verified on finite element discretizations. Error estimates are derived when the solution is unique. Due to the singularity at the flat angles, these estimates in the H¹ norm are only O(h^1/2). The techniques that are presented are broad and may be applied to other type of discretizations.     

Banach空间中m-d增生映射零点的强弱收敛定理

本文研究了m-d增生映射的零点以及有限个m-d增生映射公共零点的迭代设计问题.利用Lyapunov泛函与广义f投影映射等技巧,在Banach空间中,证明了迭代序列强收敛或弱收敛到m-d增生映射的零点或有限个m-d增生映射的公共零点.与以往的相关研究工作相比,迭代设计中考虑了误差项、迭代格式被简化、限定条件被削弱.     

Quasi-Invariant and Pseudo-Differentiable Measures with Values in Non-Archimedean Fields on a Non-Archimedean Banach Space

Quasi-invariant and pseudo-differentiable measures on a Banach space X over a non-Archimedean locally compact infinite field with a non-trivial valuation are defined and constructed. Measures are considered with values in non-Archimedean fields, for example, the field Q _p of p-adic numbers. Theorems and criteria are formulated and proved about quasi-invariance and pseudo-differentiability of measures relative to linear and non-linear operators on X. Characteristic functionals of measures are studied. Moreover, the non-Archimedean analogs of the Bochner-Kolmogorov and Minlos-Sazonov theorems are investigated. Infinite products of measures are considered and the analog of the Kakutani theorem is proved. Convergence of quasi-invariant and pseudo-differentiable measures in the corresponding spaces of measures is investigated.__________Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 1, pp. 149–199, 2003.     

On ideals whose adic and symbolic topologies are linearly equivalent

Ideals whose adic and symbolic topologies are linearly equivalent are characterized in terms of analytic spread and u-essential prime divisors. Using this characterization, under certain conditions on a Noetherian ring R and an ideal I of R it is shown that the I-adic and the I-symbolic topologies are linearly equivalent iff gr(I,R)_red is a domain, and locally unmixed rings are characterized as those rings in which the adic and the symbolic topologies of every ideal of the principal class are linearly equivalent.     

Dynamics of acyclic interval maps

We investigate conditions under which a map f in a possibly non-compact interval is acyclic— the only periodic orbits are fixed points. Several earlier results are generalized to maps with multiple fixed points. The chief tools are convergence results due to Coppel and Sharkovski, and the Schwarzian derivative. Illustrative examples are given and open problems are suggested.

He who can digest a second or third fluxion . . . need not, methinks, be squeamish about any point in divinity. ―Bishop George Berkeley, “The Analyst,” 1734

     

Two dimensional scrolls contained in quadric cones in ℙ5

Smooth, complex, ruled surfaces embedded in ℙ⁵ as linearly normal scrolls, such that they are contained in a quadric cone, are considered. Rational scrolls and some elliptic scrolls are shown to be the only ones contained in cones of rank 5. Results on scrolls contained in cones of lower ranks are also obtained.     

CDS simulation and pattern formation of phase separation

Several properties of the generation and evolution of phase separating patterns for binary material studied by CDS model are proposed. The main conclusions are (1) for alloys spinodal decomposition, the conceptions of “macro-pattern” and “micropattern” are posed by “black-and- white graph” and “gray-scale graph” respectively. We find that though the four forms of map f that represent the self-evolution of order parameter in a cell (lattice) are similar to each other in “macro-pattern”, there are evident differences in their micro-pattern, e.g., some different fine netted structures in the black domain and the white domain are found by the micro-pattern, so that distinct mechanical and physical behaviors shall be obtained. (2) If the two constitutions of block copolymers are not symmetric (i.e. r ≠ 0.5), a pattern called “grain-strip cross pattern” is discovered, in the 0.43 <r <0.45.