Frames for operators

Frames in Hilbert spaces are a redundant set of vectors which yield a representation for each vector in the space. In the present paper, we give a generalization of frames, which allows, in a stable way, to reconstruct elements from the range of a linear and bounded operator in a Hilbert space.     

Uniqueness of transonic shock solutions in a duct for steady potential flow

We study the uniqueness of solutions with a transonic shock in a duct in a class of transonic shock solutions, which are not necessarily small perturbations of the background solution, for steady potential flow. We prove that, for given uniform supersonic upstream flow in a straight duct, there exists a unique uniform pressure at the exit of the duct such that a transonic shock solution exists in the duct, which is unique modulo translation. For any other given uniform pressure at the exit, there exists no transonic shock solution in the duct. This is equivalent to establishing a uniqueness theorem for a free boundary problem of a partial differential equation of second order in a bounded or unbounded duct. The proof is based on the maximum/comparison principle and a judicious choice of special transonic shock solutions as a comparison solution.     

On farthest points of sets

For a convex closed bounded set in a Banach space, we study the existence and uniqueness problem for a point of this set that is the farthest point from a given point in space. In terms of the existence and uniqueness of the farthest point, as well as the Lipschitzian dependence of this point on a point in space, we obtain necessary and su.cient conditions for the strong convexity of a set in several infinite-dimensional spaces, in particular, in a Hilbert space. A set representable as the intersection of closed balls of a fixed radius is called a strongly convex set. We show that the condition “for each point in space that is sufficiently far from a set, there exists a unique farthest point of the set” is a criterion for the strong convexity of a set in a finite-dimensional normed space, where the norm ball is a strongly convex set and a generating set.     

Explosive instability in nonlinear waves in media with negative viscosity : PMM vol. 38, n 6, 1974, pp. 991–995

The propagation of a wave of a finite amplitude in a medium with a nonlinearity of the second degree and negative viscosity, is examined. It is shown that in a finite time singularities appear in the solution. The exact solution of the Cauchy problem is given for a specific case. Recently the effects of negative viscosity which cause an increase in the energy of the wave motion have been studied intensively in electrodynamics, plasma physics, the Earth's atmosphere, in the theory of the circulation of the oceans and of flow in open channels [1–4], Wave amplification caused by an energy transfer from turbulent to regular motions, is possible in any medium having space-time fluctuations, provided the correlation time is sufficiently small [5, 6]. As the wave amplitude increases, nonlinear effects become important; they have been taken into account in cases where the interaction of a finite number of harmonics [2, 4] and the structure of steady motions have been examined [3].It is shown in this paper that in a medium with negative viscosity and a second degree dynamic nonlinearity, a solution of the Cauchy problem for an arbitrary “good” form of the initial perturbation, exists over a finite time interval. An example of such a solution is given.     

Infinitesimal 2-braidings and differential crossed modules

We categorify the notion of an infinitesimal braiding in a linear strict symmetric monoidal category, leading to the notion of a (strict) infinitesimal 2-braiding in a linear symmetric strict monoidal 2-category. We describe the associated categorification of the 4-term relations, leading to six categorified relations. We prove that any infinitesimal 2-braiding gives rise to a flat and fake flat 2-connection in the configuration space of n particles in the complex plane, hence to a categorification of the Knizhnik–Zamolodchikov connection. We discuss infinitesimal 2-braidings in a certain monoidal 2-category naturally assigned to every differential crossed module, leading to the notion of a symmetric quasi-invariant tensor in a differential crossed module. Finally, we prove that symmetric quasi-invariant tensors exist in the differential crossed module associated to Wagemann's version of the String Lie-2-algebra. As a corollary, we obtain a more conceptual proof of the flatness of a previously constructed categorified Knizhnik–Zamolodchikov connection with values in the String Lie-2-algebra.     

A parallel method for time discretization of parabolic equations based on Laplace transformation and quadrature

We consider the discretization in time of an inhomogeneous parabolicequation in a Banach space setting, using a representation ofthe solution as an integral along a smooth curve in the complexleft half-plane which, after transformation to a finite interval,is then evaluated to high accuracy by a quadrature rule. Thisreduces the problem to a finite set of elliptic equations withcomplex coefficients, which may be solved in parallel. The paperis a further development of earlier work by the authors, wherewe treated the homogeneous equation in a Hilbert space framework.Special attention is given here to the treatment of the forcingterm. The method is combined with finite-element discretizationin spatial variables.     

3‐D spatio–temporal structures of biofilms in a water channel

We develop a numerical predictive tool for multiphase fluid mixtures consisting of biofilms grown in a viscous fluid matrix by implementing a second‐order finite difference discretization of the multiphase biofilm model developed recently on a general purpose graphic processing unit. With this numerical tool, we study a 3‐D biomass–flow interaction resulting in biomass growth, structure formation, deformation, and detachment phenomena in biofilms grown in a water channel in quiescent state and subject to a shear flow condition, respectively. The numerical investigation is limited in the viscous regime of the biofilm–solvent mixture. In quiescent flows, the model predicts growth patterns consistent with experimental findings for single or multiple adjacent biofilm colonies, the so‐called mushroom shape growth pattern. The simulated biomass growth both in density and thickness matches very well with the experimentally grown biofilm in a water channel. When shear is imposed at a boundary, our numerical studies reproduce wavy patterns, pinching, and streaming phenomena observed in biofilms grown in a water channel. Copyright © 2014 John Wiley & Sons, Ltd.     

A Linear Programming Construction of Fully Optimal Bases in Graphs and Hyperplane Arrangements

The fully optimal basis of a bounded acyclic oriented matroid on a linearly ordered set has been defined and studied by the present authors in a series of papers, dealing with graphs, hyperplane arrangements, and oriented matroids (in order of increasing generality). This notion provides a bijection between bipolar orientations and uniactive internal spanning trees in a graph resp. bounded regions and uniactive internal bases in a hyperplane arrangement or an oriented matroid (in the sense of Tutte activities). This bijection is the basic case of a general activity preserving bijection between reorientations and subsets of an oriented matroid, called the active bijection, providing bijective versions of various classical enumerative results.Fully optimal bases can be considered as a strenghtening of optimal bases from linear programming, with a simple combinatorial definition. Our first construction used this purely combinatorial characterization, providing directly an algorithm to compute in fact the reverse bijection. A new definition uses a direct construction in terms of a linear programming. The fully optimal basis optimizes a sequence of nested faces with respect to a sequence of objective functions (whereas an optimal basis in the usual sense optimizes one vertex with respect to one objective function). This note presents this construction in terms of graphs and linear algebra.     

On the Rayleigh-Taylor Instability for Two Uniform Viscous Incompressible Flows

The authors study the Rayleigh-Taylor instability for two incompressible immis- cible fluids with or without surface tension, evolving with a free interface in the presence of a uniform gravitational field in Eulerian coordinates. To deal with the free surface, instead of using the transformation to Lagrangian coordinates, the perturbed equations in Eule- rian coordinates are transformed to an integral form and the two-fluid flow is formulated as a single-fluid flow in a fixed domain, thus offering an alternative approach to deal with the jump conditions at the free interface. First, the linearized problem around the steady state which describes a denser immiscible fluid lying above a light one with a free interface separating the two fluids, both fluids being in （unstable） equilibrium is analyzed. By a general method of studying a family of modes, the smooth （when restricted to each fluid domain） solutions to the linearized problem that grow exponentially fast in time in Sobolev spaces are constructed, thus leading to a global instability result for the linearized problem. Then, by using these pathological solutions, the global instability for the corresponding nonlinear problem in an appropriate sense is demonstrated.     

Fuzzy sets as a basis for a theory of possibility

The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable. More specifically, if F is a fuzzy subset of a universe of discourse U={u} which is characterized by its membership function μ_F, then a proposition of the form “X is F,” where X is a variable taking values in U, induces a possibility distribution ∏X which equates the possibility of X taking the value u to μF(u)—the compatibility of u with F. In this way, X becomes a fuzzy variable which is associated with the possibility distribution ∏_x in much the same way as a random variable is associated with a probability distribution. In general, a variable may be associated both with a possibility distribution and a probability distribution, with the weak connection between the two expressed as the possibility/probability consistency principle.A thesis advanced in this paper is that the imprecision that is intrinsic in natural languages is, in the main, possibilistic rather than probabilistic in nature. Thus, by employing the concept of a possibility distribution, a proposition, p, in a natural language may be translated into a procedure which computes the probability distribution of a set of attributes which are implied by p. Several types of conditional translation rules are discussed and, in particular, a translation rule for propositions of the form “X is F is α-possible,” where α is a number in the interval [0, 1], is formulated and illustrated by examples.     

Solutions to a class of transport problems with radially dominant convection

For fluid systems dealing with drops and bubbles, there are many situations in which the flow is dominated by a radial field. An analysis is carried out for a general class of problems, in which the primary flow is a purely radial type in a spherical geometry and the secondary flow is a perturbation on it. In particular, the flow solutions are obtained for a particle in extensional flow, rotating particle, and a particle in a linear shear flow. In addition, the steady state heat/mass flow equations with radial convection are solved in a fairly general form for spherical boundaries. The solutions lead to a new class of polynomials for the radial functions of the separated solutions. Some of the fundamental properties of these polynomials have also been derived.     

Mechanical properties of polypropylene modified by decomposition products of alkali sulfate lignin

During processing of polypropylene and alkali sulfate lignin at a temperature of 180° C, a reaction occurs resulting in the formation of a polymer which appears to have a three-dimensional structure. The observed cross-linking is accompanied by an increase in reversible deformation, a decrease in irreversible deformation, a transition from solubility to limited swelling in solvents, an increase in tensile strength, and an increase in freeze resistance. This is achieved by also adding a plasticizer to the polymer.Mekhanika Polimerov, Vol. 1, No. 6, pp. 3–9, 1965     

Left versus right canonical Wiener-Hopf factorization and realization

For an arbitrary rational matrix function, not necessarily analytic at infinity, the existence of a right canonical Wiener-Hopf factorization is characterized in terms of a left canonical Wiener-Hopf factorization. Formulas for the factors in a right factorization are given in terms of the formulas for the factors in a given left factorization. All formulas are based on a special representation of a rational matrix function involving a quintet of matrices.     

Invariant Measures and the Soliton Resolution Conjecture

The soliton resolution conjecture for the focusing nonlinear Schrödinger equation (NLS) is the vaguely worded claim that a global solution of the NLS, for generic initial data, will eventually resolve into a radiation component that disperses like a linear solution, plus a localized component that behaves like a soliton or multisoliton solution. Considered to be one of the fundamental open problems in the area of nonlinear dispersive equations, this conjecture has eluded a proof or even a precise formulation to date. This paper proves a “statistical version” of this conjecture at mass‐subcritical nonlinearity, in the following sense: The uniform probability distribution on the set of all functions with a given mass and energy, if such a thing existed, would be a natural invariant measure for the NLS flow and would reflect the long‐term behavior for “generic initial data” with that mass and energy. Unfortunately, such a probability measure does not exist. We circumvent this problem by constructing a sequence of discrete measures that, in principle, approximate this fictitious probability distribution as the grid size goes to 0. We then show that a continuum limit of this sequence of probability measures does exist in a certain sense, and in agreement with the soliton resolution conjecture, the limit measure concentrates on the unique ground state soliton. Combining this with results from ergodic theory, we present a tentative formulation and proof of the soliton resolution conjecture in the discrete setting. The above results, following in the footsteps of a program of studying the long‐term behavior of nonlinear dispersive equations through their natural invariant measures initiated by Lebowitz, Rose, and Speer and carried forward by Bourgain, McKean, Tzvetkov, Oh, and others, are proved using a combination of techniques from large deviations, PDEs, harmonic analysis, and bare‐hands probability theory. It is valid in any dimension. © 2014 Wiley Periodicals, Inc.     

Finite-time singularity formation at a magnetic neutral line in Hall magnetohydrodynamics

The formation of a current sheet in a weakly collisional plasma can be modelled as a finite-time singularity solution of magnetohydrodynamic equations. We use an exact self-similar solution to confirm and generalise a previous finding that, in sharp contrast to two-dimensional solutions in standard MHD, a finite-time collapse to a current sheet can occur in Hall MHD. We derive a criterion for the finite-time singularity in terms of initial conditions, and we use an intermediate asymptotic solution for the evolution of an axial magnetic field to obtain a general expression for the singularity formation time. We illustrate the analytical results by numerical solutions.     

Coherent Swing Instability of Power Grids

We interpret and explain a phenomenon in short-term swing dynamics of multi-machine power grids that we term the Coherent Swing Instability (CSI). This is an undesirable and emergent phenomenon of synchronous machines in a power grid, in which most of the machines in a sub-grid coherently lose synchronism with the rest of the grid after being subjected to a finite disturbance. We develop a minimal mathematical model of CSI for synchronous machines that are strongly coupled in a loop transmission network and weakly connected to the infinite bus. This model provides a dynamical origin of CSI: it is related to the escape from a potential well, or, more precisely, to exit across a separatrix in the dynamical system for the amplitude of the weak nonlinear mode that governs the collective motion of the machines. The linear oscillations between strongly coupled machines then act as perturbations on the nonlinear mode. Thus we reveal how the three different mode oscillations??local plant, inter-machine, and inter-area modes??interact to destabilize a power grid. Furthermore, we present a phenomenon of short-term swing dynamics in the New England (NE) 39-bus test system, which is a well-known benchmark model for power grid stability studies. Using a partial linearization of the nonlinear swing equations and the proper orthonormal decomposition, we show that CSI occurs in the NE test system, because it is a dynamical system with a nonlinear mode that is weak relative to the linear oscillatory modes.     

A unified approach to error bounds for structured convex optimization problems

Error bounds, which refer to inequalities that bound the distance of vectors in a test set to a given set by a residual function, have proven to be extremely useful in analyzing the convergence rates of a host of iterative methods for solving optimization problems. In this paper, we present a new framework for establishing error bounds for a class of structured convex optimization problems, in which the objective function is the sum of a smooth convex function and a general closed proper convex function. Such a class encapsulates not only fairly general constrained minimization problems but also various regularized loss minimization formulations in machine learning, signal processing, and statistics. Using our framework, we show that a number of existing error bound results can be recovered in a unified and transparent manner. To further demonstrate the power of our framework, we apply it to a class of nuclear-norm regularized loss minimization problems and establish a new error bound for this class under a strict complementarity-type regularity condition. We then complement this result by constructing an example to show that the said error bound could fail to hold without the regularity condition. We believe that our approach will find further applications in the study of error bounds for structured convex optimization problems.     

Nonlinear modelling and control of a common rail injection system for diesel engines

Modern trends in designing mechatronic systems call for a synergic design of the separated subsystems (mechanic, electronic parts, control modules, etc.) concurring to the overall performance. Following this point of view, this paper presents a control oriented model and a nonlinear control design for a Common Rail injection system. First a model is developed, which is tuned in a virtual simulation environment, representing the injection system in details in a reliable replication of reality. Then a sliding mode control is developed. Both the model of the injection process and of the control law are validated by a virtual detailed simulation environment. The prediction capability of the model and the control efficiency are clearly shown.