Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow

We present a rigorous numerical proof based on interval arithmetic computations categorizing the linearized and nonlinear stability of periodic viscous roll waves of the KdV–KS equation modeling weakly unstable flow of a thin fluid film on an incline in the small-amplitude KdV limit. The argument proceeds by verification of a stability condition derived by Bar–Nepomnyashchy and Johnson–Noble–Rodrigues–Zumbrun involving inner products of various elliptic functions arising through the KdV equation. One key point in the analysis is a bootstrap argument balancing the extremely poor sup norm bounds for these functions against the extremely good convergence properties for analytic interpolation in order to obtain a feasible computation time. Another is the way of handling analytic interpolation in several variables by a two-step process carving up the parameter space into manageable pieces for rigorous evaluation. These and other general aspects of the analysis should serve as blueprints for more general analyses of spectral stability.     

Lagrangian distributions and connections in multisymplectic and polysymplectic geometry

We discuss the interplay between lagrangian distributions and connections in (generalized) symplectic geometry, beginning with the traditional case of symplectic manifolds and then passing to the more general context of poly- and multisymplectic structures on fiber bundles, which is relevant for the covariant hamiltonian formulation of classical field theory. In particular, we generalize Weinstein?s tubular neighborhood theorem for symplectic manifolds carrying a (simple) lagrangian foliation to this situation. In all cases, the Bott connection, or an appropriately extended version thereof, plays a central role.     

Frequency–energy plots of steady-state solutions for forced and damped systems,and vibration isolation by nonlinear mode localization

We study the structure of the periodic steady-state solutions of forced and damped strongly nonlinear coupled oscillators in the frequency–energy domain by constructing forced and damped frequency – energy plots (FEPs). Specifically, we analyze the steady periodic responses of a two degree-of-freedom system consisting of a grounded forced linear damped oscillator weakly coupled to a strongly nonlinear attachment under condition of 1:1 resonance. By performing complexification/averaging analysis we develop analytical approximations for strongly nonlinear steady-state responses. As an application, we examine vibration isolation of a harmonically forced linear oscillator by transferring and confining the steady-state vibration energy to the weakly coupled strongly nonlinear attachment, thereby drastically reducing its steady-state response. By comparing the nonlinear steady-state response of the linear oscillator to its corresponding frequency response function in the absence of a nonlinear attachment we demonstrate the efficacy of drastic vibration reduction through steady-state nonlinear targeted energy transfer. Hence, our study has practical implications for the effective passive vibration isolation of forced oscillators.     

Multi-mode resource availability cost problem with recruitment and release dates for resources

This paper investigates the multi-mode resource availability cost problem with recruitment and release dates for resources. This problem is a more realistic model and extended case of the resource availability cost problem. The project contains activities interrelated by finish–start precedence relations with zero time lags, which require a set of renewable resources. First, a mixed integer programming formulation is proposed for the problem. Then, simulated annealing (SA) algorithm is proposed to obtain a satisfying solution for this NP-hard problem. The effectiveness of the proposed algorithm is demonstrated through comprehensive experimentation based on 300 test problems. The results are analyzed and discussed.     

Integral geometry of translation invariant functionals,II: The case of general convex bodies

In continuation of Part I, we study translative integral formulas for certain translation invariant functionals, which are defined on general convex bodies. Again, we consider local extensions and use these to show that the translative formulas extend to arbitrary continuous and translation invariant valuations. Then, we discuss applications to Poisson particle processes and Boolean models which contain, as a special case, some new results for flag measures.     

Prospective elementary teachers’ claiming in responses to false generalizations

When faced with a false generalization and a counterexample, what types of claims do prospective K-8 teachers make, and what factors influence the type and prudence of their claims relative to the data, observations, and arguments reported? This article addresses that question. Responses to refutation tasks and cognitive interviews were used to explore claiming. It was found that prospective K-8 teachers’ claiming can be influenced by knowledge of argumentation; knowledge and use of the mathematical practice of exception barring; perceptions of the task; use of natural language; knowledge of, use of, and skill with the mathematics register; and abilities to technically handle data or conceptual insights. A distinction between technical handlings for developing claims and technical handlings for supporting claims was made. It was found that prudent claims can arise from arguer-developed representations that afford conceptual insights, even when searching for support for a different claim.     

Projective embeddings of dual polar spaces arising from a class of alternative division rings

We discuss some recent results of us regarding a class of polar spaces which includes the nonembeddable polar spaces introduced by Tits [Tits, J., “Buildings of spherical type and finite BN-pairs,” Lecture Notes in Mathematics 386, Springer-Verlag, Berlin-New York, 1974]. These results include an elementary construction of the polar space, a construction of a polarized embedding of the corresponding dual polar space and the determination whether this projective embedding is universal and unique (as a polarized embedding).     

Dynamical analysis and control strategies on malware propagation model

A variable infection rate is more realistic to forecast dynamical behaviors of malware (malicious software) propagation. In this paper, we propose a time-delayed SIRS model by introducing temporal immunity and the variable infection rate. The basic reproductive number R₀ which determines whether malware dies out is obtained. Furthermore, using time delay as a bifurcation parameter, some necessary and sufficient conditions ensuring Hopf bifurcation to occur for this model are derived. Finally, numerical simulations verify the correctness of theoretical results. Most important of all, we investigate the effect of the variable infection rate on the scale of malware prevalence and compare our model with stationary analytical model by simulation. According to simulating results, some strategies that control malware rampant are given, which may be incorporated into cost-effective antivirus policies for organizations to work quite well in practice.     

Analytic dependence of riemann mappings for bounded domains and minimal surfaces

In this paper, we prove that the functional which takes a closed Lavrentiev curve to the corresponding Riemann mapping is locally Lipl on the set Ω of all closed Lavrentiev curves. This set is a subset of BMO(T). It is, however, not open in BMO(T). We also prove that the previous functional is analytic for certain classes of closed Lavrentiev curves, including the class of curves which have some symmetry with respect to the unit circle. These classes of curves are submanifolds of BMO(T). Finally, we consider the functional which takes a Lavrentiev curve (closed or not) in n-dimensional Euclidean space to the corresponding minimal surface, and we study the differentiability and analyticity of this functional on certain function spaces. © 1993 John Wiley & Sons, Inc.     

Curvature and distance function from a manifold

This paper is concerned with the relations between the differential invariants of a smooth manifold embedded in the Euclidean space and the square of the distance function from the manifold. In particular, we are interested in curvature invariants like the mean curvature vector and the second fundamental form. We find that these invariants can be computed in a very simple way using the third order derivatives of the squared distance function. Moreover, we study a general class of functionals depending on the derivatives up to a given order γ of the squared distance function and we find an algorithm for the computation of the Euler equation. Our class of functionals includes as particular cases the well-known area functional (γ = 2), the integral of the square of the quadratic norm of the second fundamental form (γ = 3), and the Willmore functional.     

On the ample vector bundles over curves in positive characteristic

Let E be an ample vector bundle over a smooth projective curve defined over an algebraically closed field of positive characteristic. We construct a family of curves in the total space of E, parametrized by an affine space, that surjects onto the total space of E and give a deformation of (nonreduced) zero section of E. To cite this article: I. Biswas, A.J. Parameswaran, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Conditional extremals in complete Riemannian manifolds

Conditional extremal curves in a complete Riemannian manifold M are defined as the critical points of the squared L² distance between the tangent vector field of a curve and a so-called prior vector field. We prove that this L² distance satisfies the Palais-Smale condition on the space of absolutely continuous curves joining two submanifolds of M, and thus establish the existence of critical points. We also prove a Morse index theorem in the case where the two submanifolds are single points, and use the Morse inequalities to place lower bounds on the number of critical points of each index.     

Differentiable Distance Spaces

The distance function \({\varrho(p, q) ({\rm or} d(p, q))}\) of a distance space (general metric space) is not differentiable in general. We investigate such distance spaces over \({\mathbb{R}^n}\), whose distance functions are differentiable like in case of Finsler spaces. These spaces have several good properties, yet they are not Finsler spaces (which are special distance spaces). They are situated between general metric spaces (distance spaces) and Finsler spaces. We will investigate such curves of differentiable distance spaces, which possess the same properties as geodesics do in Finsler spaces. So these curves can be considered as forerunners of Finsler geodesics. They are in greater plenitude than Finsler geodesics, but they become geodesics in a Finsler space. We show some properties of these curves, as well as some relations between differentiable distance spaces and Finsler spaces. We arrive to these curves and to our results by using distance spheres, and using no variational calculus. We often apply direct geometric considerations.     

The rectifying developable and the tangent indicatrix of a curve in Galilean 3-space

We study the singularities of Galilean distance and Galilean height functions intrinsically related to Frenet frame along a curve embedded into Galilean space. We establish the relationships between singularities of the functions and geometric invariants under the action of Galilean group of curves which are deeply related to the order of contact with Galilean helices.     

Isomorphisms of fiber spaces over Teichmüller spaces

We will be mainly concerned with some important fiber spaces over Teichmuller spaces, including the Bers fiber space and Teichmuller curve, establishing an isomorphism theorem between "punctured" Teichmuller curves and determining the biholomorphic isomorphisms of these fiber spaces.