CANONICAL FORMS FOR PARTICLE LAGRANGIANS OF THE LINEAR SECOND-ORDER EQUATION

Abstract

A particle Lagrangian of a linear scalar second-order ordinary differential equation can admit maximally one of 1,2,3 or 5 Noether point symmetries. Moreover, canonical forms of particle Lagrangians of the linear equation are presented according to the number (and algebra) of Noether point symmetries they admit.     

ALGEBRAIC HULLS OF ADJOINT FUNCTORS AS INJECTIVE HULLS

Abstract

For each adjoint functor U: A → X where X is an (?, M)-category having enough ?-projectives, we construct an (?, M)-algebraic hull E: (A, U) → (Â, Û), i.e., (Â, Û) is (epsiv; M)-algebraic and E has a certain denseness property. We show that there is a conglomerate of functors over X with respect to which the (? M)-algebraic categories are exactly the injective objects and characterize (? M)-algebraic hulls as injective hulls.     

EPIREFLECTIONS VERSUS BIREFLECTIONS FOR TOPOLOGICAL FUNCTORS

Abstract

In this paper it is proved that if T: A → X is a topological functor satisfying certain conditions, then there is a Galois Connection between the class of bireflective subcategories of A and the class of epireflective subcategories of A that are not bireflective and that are contained in the subcategory of separated objects of A. In general such a correspondence is not bijective.     

Algebraic properties of first integrals for systems of second-order ordinary differential equations of maximal symmetry

Symmetries of the first integrals for scalar linear or linearizable secondorder ordinary di?erential equations (ODEs) have already been derived and shown to exhibit interesting properties. One of these is that the symmetry algebra sl(3, IR) is generated by the three triplets of symmetries of the functionally independent first integrals and its quotient. In this paper, we first investigate the Lie-like operators of the basic first integrals for the linearizable maximally symmetric system of two second-order ODEs represented by the free particle system, obtainable from a complex scalar free particle equation, by splitting the corresponding complex basic first integrals and its quotient as well as their associated symmetries. It is proved that the 14 Lie-like operators corresponding to the complex split of the symmetries of the functionally independent first integrals I₁, I₂ and their quotient I₂/I₁ are precisely the Lie-like operators corresponding to the complex split of the symmetries of the scalar free particle equation in the complex domain. Then, it is shown that there are distinguished four symmetries of each of the four basic integrals and their quotients of the two-dimensional free particle system which constitute four-dimensional Lie algebras which are isomorphic to each other and generate the full symmetry algebra sl(4, IR) of the free particle system. It is further shown that the (n + 2)-dimensional algebras of the n + 2 first integrals of the system of n free particle equations are isomorphic to each other and generate the full symmetry algebra sl(n + 2, IR) of the free particle system.     

CARTESIAN CLOSED TOPOLOGICAL HULLS AS INJECTIVE HULLS

Abstract

It is shown that (concretely) Cartesian closed topological hulls can be characterized as injective hulls in a rather natural setting. The characterization of locale hulls as injective hulls in the category of (meet-) semilattices by Bruns & Lakser and Born & Kimura constitutes a special case.     

Schrödinger operators and de Branges spaces

We present an approach to de Branges's theory of Hilbert spaces of entire functions that emphasizes the connections to the spectral theory of differential operators. The theory is used to discuss the spectral representation of one-dimensional Schrödinger operators and to solve the inverse spectral problem.     

Lowest weight representations of some infinite dimensional groups on fock spaces

The results of Kashiwara and Vergne on the decomposition of the tensor products of the Segal-Shale-Weil representation are extended to the infinite dimensional case and give all unitary lowest weight representations. Our methods are basically algebraic. When restricted to the finite dimensional case, they yield a new proof.     

ON CERTAIN FACTORIZATIONS OF FUNCTORS INTO THE CATEGORY OF QUASI-UNIFORM SPACES

This paper is motivated by the search for natural extensions of classical uniform space results to quasi-uniform spaces. As instances of such extensions we restate some theorems of P. Fletcher and W.F. Lindgren [Pacific J. Math. 43 (1971), 619–6311 on transitive quasi-uniformities and of S. Salbany [Thesis, Univ. Cape Town, 1971] on compactification and completion. The theorems as restated describe properties of certain right inverses of the functor which forgets the quasi-uniform structure and retains one induced topology (for Fletcher and Lindgren's work), respectively retains both induced topologies (for Salbany's work). Accordingly we investigate systematically the process by which the right inverses of the forgetful functors can be extended from the classical setting to one of these settings, and from one of these to the other.     

A proximal-like method for a class of second order measure-differential inclusions describing vibro-impact problems

We are interested in the study of discrete mechanical systems subjected to frictionless unilateral constraints. The dynamics is described by a second order measure-differential inclusion for the unknown positions, completed by a Newton's impact law describing the transmission of the velocities when the constraints are saturated.By using another formulation of the problem at the velocity level, we introduce a time-stepping algorithm, inspired by the proximal methods for differential inclusions, and we prove the convergence of the approximate solutions to a solution of the Cauchy problem.     

GENERALIZED ERMAKOV SYSTEMS IN TERMS OF sl(2,R) INVARIANTS

Abstract

Conventional generalized Ermakov systems are shown to be a subset of the class of second order ordinary differential equations invariant under sl(2,R) symmetry. When the system is two-dimensional, it can be reduced to a one-dimensional time-dependent simple harmonic oscillator by a suitable choice of new time and distance variables.     

Solving the hypergeometric system of Okubo type in terms of a certain generalized hypergeometric function

We introduce one scalar function f of a complex variable and finitely many parameters, which allows to represent all solutions of the so-called hypergeometric system of Okubo type under the assumption that one of the two coefficient matrices has all distinct eigenvalues. In the simplest non-trivial situation, f is equal to the hypergeometric function, while in other more complicated cases it is related, but not equal, to the generalized hypergeometric functions. In general, however, this function appears to be a new higher transcendental one. The coefficients of the power series of f about the origin can be explicitly given in terms of a generalized version of the classical Pochhammer symbol, involving two square matrices that in general do not commute. The function can also be characterized by a Volterra integral equation, whose kernel is expressed in terms of the solutions of another hypergeometric system of lower dimension.     

EPIREFLECTIVE HULLS OF SPACES OF ORDINALS IN To

Abstract

A particular class of epireflective subcategories of To is investigated, exactly the epireflective hulls g(S(a) of the spaces S(a) of the ordinals with the “open half lines” topology. The topological structure of the objects of these hulls is studied, also in relation with their sobrification. Furthermore, a bijective correspondence between hulls and classes of cofinality of ordinals is found.     

The isometry group of the Urysohn space as a Lévy group

We prove that the isometry group Iso(U) of the universal Urysohn metric space U equipped with the natural Polish topology is a Lévy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of measure. This strengthens an earlier result by Vershik stating that Iso(U) has a dense locally finite subgroup.     

DISCRETE FUNCTORS

Abstract

The concept of a T-discrete object is a generalization of the notion of discrete spaces in concrete categories. In this paper. T-discrete objects are used to define discrete functors. Characterizations of discrete functors are given and their relation to other important functors are studied. A faithful functor T: A → X is discrete iff the full subcategory B of A consisting of all T-discrete objects is (X-iso)-coreflective in A. It follows that the existence of bicoreflective subcategories is equivalent to the existence of suitable discrete functors. Finally, necessary and sufficient conditions are found such that for a given functor T: A → X, the full subcategory B of A consisting of all T-discrete A-objects is monocoreflective in A.     

An existence result for non-smooth vibro-impact problems

We are interested in mechanical systems with a finite number of degrees of freedom submitted to frictionless unilateral constraints. We consider the case of a convex, non-smooth set of admissible positions given by , ν?1, and we assume inelastic shocks at impacts. We propose a time-discretization of the measure differential inclusion which describes the dynamics and we prove the convergence of the approximate solutions to a limit motion which satisfies the constraints. Moreover, if the geometric properties ensuring continuity on data hold at the limit, we show that the transmission of velocities at impacts follows the inelastic shocks rule.     

Differential invariants

This paper summarizes recent results on the number and characterization of differential invariants of transformation groups. Generalizations of theorems due to Ovsiannikov and to M. Green are presented, as well as a new approach to finding bounds on the number of independent differential invariants.Supported in part by NSF Grants DMS 91-16672 and DMS 92-04192.     

J-inner matrix functions, interpolation and inverse problems for canonical systems, V: The inverse input scattering problem for Wiener class and rational p×q input scattering matrices

The general formulas developed in the fourth paper in this series are applied to solve the inverse input scattering problem for canonical integral systems in the special cases that the input scattering matrix is ap×q matrix valued function in the Wiener class (and the associated pairs are homogeneous). These formulas are then further specialized to the rational case. Whenp=q, these formulas are connected to the earlier results of Alpay-Gohberg and Gohberg-Kaashoek-Sakhnovich, who studied inverse problems for a related system of differential equations.This research was partially supported by a Minerva Foundation grant that is acknowledged with thanks.     

ON THE TITCHMARSH-WEYL THEORY OF ORDINARY SYMMETRIC ODD-ORDER DIFFERENTIAL EXPRESSIONS AND A DIRECT CONVERGENCE THEOREM

Abstract

In this paper the odd-order differential equation M[y] λ wy on the interval (O,∞), associated with the symmetric differential expression M of (2k-1)st order (k ≥ 2) with w a positive weight function and λ a complex number, is shown to possess k-Titchmarsh-Weyl solutions for every non-real λ in the underlying Hilbert space L² _w(O, ∞) having identical representation for every non-real λ. In terms of these solutions the Green's function associated with the singular boundary value problem is shown to possess identical representation for all non-real λ which has been further made use of in the third-order case to establish a direct convergence eigenfunction expansion theorem. The symmetric spectral matrix appearing in the expansion theorem has been characterized in terms of the Titchmarsh-Weyl m-coefficients.     

A special case of de Branges' theorem on the inverse monodromy problem

We give a new proof of a special case of de Branges' theorem on the inverse monodromy problem: when an associated Riemann surface is of Widom type with Direct Cauchy Theorem. The proof is based on our previous result (with M.Sodin) on infinite dimensional Jacobi inversion and on Levin's uniqueness theorem for conformal maps onto comb-like domains. Although in this way we can not prove de Branges' Theorem in full generality, our proof is rather constructive and may lead to a multi-dimensional generalization. It could also shed light on the structure of invariant subspaces of Hardy spaces on Riemann surfaces of infinite genus.This work was supported by the Austrian Founds zur Förderung der wissenschaftlichen Forschung, project-number P12985-TEC     

ORDER EXTENSIONS AS ADJOINT FUNCTORS

Abstract

A standard extension (resp. standard completion) is a function Z assigning to each poset P a (closure) system ZP of subsets such that x ? y iff x belongs to every Z ε ZP with y ε Z. A poset P is Z -complete if each Z ε 2P has a join in P. A map f: P → P′ is Z—continuous if f^?1 [Z′] ε ZP for all Z′ ε ZP′, and a Z—morphism if, in addition, for all Z ε ZP there is a least Z′ ε ZP′ with f[Z] ? Z′. The standard extension Z is compositive if every map f: P → P′ with {x ε P: f(x) ? y′} ε ZP for all y′ ε P′ is Z -continuous. We show that any compositive standard extension Z is the object part of a reflector from IP_Z, the category of posets and Z -morphisms, to IR_Z, the category of Z -complete posets and residuated maps. In case of a standard completion Z, every Z -continuous map is a Z -morphism, and IR2 is simply the category of complete lattices and join—preserving maps. Defining in a suitable way so-called Z -embeddings and morphisms between them, we obtain for arbitrary standard extensions Z an adjunction between IP_Z and the category of Z -embeddings. Many related adjunctions, equivalences and dualities are studied and compared with each other. Suitable specializations of the function 2 provide a broad spectrum of old and new applications.