A computer-assisted proof of chaos in Josephson junctions

This paper presents a rigorous verification of chaos in the RCLSJ model for studying dynamics of the Josephson junction. By carefully picking a suitable cross-section with respect to the attractor, it is shown that for the corresponding Poincaré map P obtained in terms of second return time, there exists a closed invariant set Λ in this cross-section such that P∣Λ is semi-conjugate to a 2-shift map, thus showing existence of chaos in the RCLSJ model.     

Invariant integral and statistical equations of paraxial light beam transmission in free space

The statistical behavior of arbitrary paraxial light beams propagating in free space is investigated by using the Hermite-Gaussian expansion method and Fock’s representation. A series of equivalent Gaussian parameters for paraxial beam and the statistical equations for these parameters are presented. The optical transmission problem in quasi-far field region is studied. The so-called general Hermite-Gaussian beam is defined. Project partly supported by the National Hi-tech Inertial Confinement Fusion Committee, the Natural Science Foundation of Guangdong Province, the Postdoctoral Foundation of China and Guangdong Province.     

Orientation-reversing actions on lens spaces and Gaussian integers

A finite group action on a lens space L(p,q) has ‘type OR’ if it reverses orientation and has an invariant Heegaard torus whose sides are interchanged by the orientation-reversing elements. In this paper we enumerate the actions of type OR up to equivalence. This leads to a complete classification of geometric finite group actions on amphicheiral lens spaces L(p,q) with p>2. The family of actions of type OR is partially ordered by lifting actions via covering maps. We show that each connected component of this poset may be described in terms of a subset of the lattice of Gaussian integers ordered by divisibility. This results in a correspondence equating equivalence classes of actions of type OR with pairs of Gaussian integers.     

Vibration and stability of non-uniform beams with abrupt changes of cross-section by using C1 modified beam vibration functions

A unified method is presented for the analysis of vibration and stability of axially loaded non-uniform beams with abrupt changes of cross-section. The beam may also be supported on Winkler elastic foundation, and both the axial force and the foundation stiffness can be varied arbitrarily. The method is based on the Euler–Lagrangian approach using a family of C¹ admissible functions as the assumed modes. The assumed modes comprise essentially the vibration modes of a single span hypothetical prismatic beam with the same end supports but without the intermediate supports, modified by piecewise C¹ cubic polynomials. The chosen admissible functions therefore possess both the advantages of fast convergence of the eigenfunctions and the appropriate order of continuity at the location of abrupt change of cross-section. The method allows extensive use of matrix notations and programming is rather straightforward. Numerical results also show that the method is versatile, efficient and accurate.     

On three-fold irregular branched coverings over closed three-braid and three-bridge knots

It is well known that every closed orientable three-manifold is given as a three-fold branched covering space branched over some knot. Then it is an interesting problem that for a given knot family what kind of manifold can be got as a three-fold irregular branched covering space. K. Murasugi showed that for a closed three-braid the manifold is a lens space of type (n,1). In this paper, we will give an another proof and an algorithm to determine n for a given knot. And for a three bridge knot, we will show that its covering space is a lens space of type (p,q), and give an algorithm to determine the pair of p, q.     

A linear model for the static and dynamic analysis of non-homogeneous curved beams

A simple one-dimensional mechanical model is presented to analyse the static and dynamic feature of non-homogeneous curved beams and closed rings. Each cross-section is assumed to be symmetrical and the “resultant loads” are acted in the plane of symmetry. The internal forces in a cross-section are replaced by an equivalent force–couple system at the origin of the cylindrical coordinate system used. The equations of motion and the boundary conditions are expressed in terms of two kinematical variables. The first kinematical variable is the radial displacement of cross-sections and the second one is the rotation of the cross-sections. Each of them depends on the time and the polar angle. Assumed form of the displacement field assures the fulfillment of the classical Bernoulli–Euler beam theory. Rotary inertia is included in the equations of motion. Natural frequencies for simply supported laminated composite curved beams and non-homogeneous circular rings are obtained by exact solutions. The application of the model presented is illustrated by examples.     

On the Gaussian q-distribution

We present a study of the Gaussian q-measure introduced by Díaz and Teruel from a probabilistic and from a combinatorial viewpoint. A main motivation for the introduction of the Gaussian q-measure is that its moments are exactly the q-analogues of the double factorial numbers. We show that the Gaussian q-measure interpolates between the uniform measure on the interval [−1,1] and the Gaussian measure on the real line.     

The Limiting Spectral Measure for Ensembles of Symmetric Block Circulant Matrices

Given an ensemble of N×N random matrices, a natural question to ask is whether or not the empirical spectral measures of typical matrices converge to a limiting spectral measure as N→∞. While this has been proved for many thin patterned ensembles sitting inside all real symmetric matrices, frequently there is no nice closed form expression for the limiting measure. Further, current theorems provide few pictures of transitions between ensembles. We consider the ensemble of symmetric m-block circulant matrices with entries i.i.d.r.v. These matrices have toroidal diagonals periodic of period m. We view m as a “dial” we can “turn” from the thin ensemble of symmetric circulant matrices, whose limiting eigenvalue density is a Gaussian, to all real symmetric matrices, whose limiting eigenvalue density is a semi-circle. The limiting eigenvalue densities f _m show a visually stunning convergence to the semi-circle as m→∞, which we prove. In contrast to most studies of patterned matrix ensembles, our paper gives explicit closed form expressions for the densities. We prove that f _m is the product of a Gaussian and a certain even polynomial of degree 2m?2; the formula is the same as that for the m×m Gaussian Unitary Ensemble (GUE). The proof is by derivation of the moments from the eigenvalue trace formula. The new feature, which allows us to obtain closed form expressions, is converting the central combinatorial problem in the moment calculation into an equivalent counting problem in algebraic topology. We end with a generalization of the m-block circulant pattern, dropping the assumption that the m random variables be distinct. We prove that the limiting spectral distribution exists and is determined by the pattern of the independent elements within an m-period, depending not only on the frequency at which each element appears, but also on the way the elements are arranged.     

Sufficient conditions for existence of extrema in linear programming

It is shown that, on a closed convex subset X of a real Hausdorff locally convex space E, a continuous linear functional x′ on E has an extremum at an extreme point of X, provided X contains no line and X ∩ (x′)^?1 (λ₀) is non-empty and weakly compact for some real λ₀. It is also shown that any weakly locally compact closed convex subset of E that contains no line is the sum of its asymptotic cone and the closed convex hull of its extreme points.     

Cusped elastic beams under the action of stresses and concentrated forces

A dynamical problem in the (0, 0) approximation of elastic cusped prismatic beams is investigated when stresses are applied at the face surfaces and the ends of the beam. Two types of cusped ends are considered when the beam cross-section turns into either a point or a straight line segment. Correspondingly, at the cusped end either a force concentrated at the point or forces concentrated along the straight line segment is applied. We prove the exists and uniqueness theorems in appropriate weighted Sobolev spaces.     

Focus characteristics of long distance flying optics

The ABCD law for the complex parameterq of the TEM₀₀, Gaussian beam is generally not valid for high-order modes. It can be used for the high-order modes or their superposition when the spot sizew in the virtual part of the parameterq is substituted by the Rayleigh rangeZ _R, of a certain resonator. The focus characteristics of long distance flying optics are studied in this paper theoretically and experimentally for the TEM _mn Gaussian beams between the two types of resonators without and with distortion. It is very important for the applications of the flying optical processing, the laser space craft and the spatial filter in the large laser project.     

On the structure of the spectrum for the elasticity problem in a body with a supersharp spike

We establish that the continuous spectrum of the Neumann problem for the system of elasticity equations occupies the entire closed positive real semiaxis in the case that a three-dimensional body with a sharp-spiked cusp whose cross-section contracts to a point with the velocity O(r ^1+γ), where r is the distance to the vertex of the spike and γ > 1 is the sharpness exponent.     

The realization of Smale solenoid type attractors in 3-manifolds

We study how to realize Smale solenoid type attractors in 3-manifolds. It is already known that we can restrict the 3-manifolds to lens spaces. We get all Smale solenoids realized in a given lens space through an inductive construction. We turn this around to address the question of how to decide whether a closed braid is a trivial knot in S³. For a diffeomorphism f of a 3-manifold M that realizes a Smale solenoid, it is natural to ask whether f⁻¹ also realizes a Smale solenoid. We relate this question to exchangeable braids, and for some special positive case, we describe the relation between the two Smale solenoids of f and f⁻¹.     

Choice of parameters in the Gaussian beam method

We consider the effect of the arbitrary parameters in the Gaussian beam expressions. An exactly solvable problem is used to demonstrate how the applicability of the Gaussian beam method may be extended by an appropriate choice of parameters for a fixed frequency.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 148, pp. 116–119, 1985.     

Formulación de elementos finitos para vigas de sección abierta formadas por laminados compuestos incluyendo las deformaciones tangenciales por cortante y torsión

In this paper we derive the field of displacements and strains for thin-walled open composite beams with composite laminated material including in their kinematics flexural and torsional shear deformations effects. The equilibrium equations are defined through the variational formulation and show that is possible to formulate C_o finite elements taking into account the torsional shear deformation. Stress-strain relationships for the cross-section of thin-walled composite beams are obtained by extending first-order laminate (FSDT: first-order shear deformation) theory and using a «free stress resultant condition at the boundary». Three different one-dimensional finite elements with C_o continuity are formulated for the study of thin-walled open composite beams and they are labelled as BSW (beam with shear and warping). The influence of the integration strategy in the BSW elements is evaluated via the shear-locking phenomenon and the rate of convergence for displacements and rotations. The stiffness matrix integration is compared using exact and reduced integration methods. Examples of pure torsion and flexo-torsion in a cantilever composite beam are performed. Numerical results are compared to those reported by other authors.     

Symbolic and numeric scheme for solution of linear integro-differential equations with random parameter uncertainties and Gaussian stochastic process input

The paper describes a theoretical apparatus and an algorithmic part of application of the Green matrix-valued functions for time-domain analysis of systems of linear stochastic integro-differential equations. It is suggested that these systems are subjected to Gaussian nonstationary stochastic noises in the presence of model parameter uncertainties that are described in the framework of the probability theory. If the uncertain model parameter is fixed to a given value, then a time-history of the system will be fully represented by a second-order Gaussian vector stochastic process whose properties are completely defined by its conditional vector-valued mean function and matrix-valued covariance function. The scheme that is proposed is constituted of a combination of two subschemes. The first one explicitly defines closed relations for symbolic and numeric computations of the conditional mean and covariance functions, and the second one calculates unconditional characteristics by the Monte Carlo method. A full scheme realized on the base of Wolfram Mathematica and Intel Fortran software programs, is demonstrated by an example devoted to an estimation of a nonstationary stochastic response of a mechanical system with a thermoviscoelastic component. Results obtained by using the proposed scheme are compared with a reference solution constructed by using a direct Monte Carlo simulation.     

Dirichlet units and critical points of closed 1-forms

S.P. Novikov developed an analog of the Morse theory for closed 1-forms. In this paper we suggest an analog of the Lusternik-Schnirelman theory for closed 1-forms. For any cohomology class ξ ε H¹(X,R) we define an integer cl(ξ) (the cup-length associated with ξ); we prove that any closed 1-form representing ξ has at least cl(ξ) - 1 critical points. The number cl(ξ) is defined using cup-products in cohomology of some flat line bundles, such that their monodromy is described by complex numbers, which are not Dirichlet units.