On the global continuous solvability of the mixed problem for one-dimensional hyperbolic systems of quasilinear equations

We consider a hyperbolic system of quasilinear equations written in Riemann invariants for the case of one spatial variable. For this system, we obtain sufficient conditions for the global generalized continuous solvability of the mixed problem in the class of functions monotone with respect to x for arbitrary t and with respect to t for x = 0. In contrast to earlier studies, we assume that the boundary conditions may depend not only on time but also on the unknown functions.     

Differential invariants for systems of linear hyperbolic equations

In this paper we consider a general class of systems of two linear hyperbolic equations. Motivated by the existence of the Laplace invariants for the single linear hyperbolic equation, we adopt the problem of finding differential invariants for the system. We derive the equivalence group of transformations for this class of systems. The infinitesimal method, which makes use of the equivalence group, is employed for determining the desired differential invariants. We show that there exist four differential invariants and five semi-invariants of first order. Applications of systems that can be transformed by local mappings to simple forms are provided.     

On the stochastic quasi-linear symmetric hyperbolic system

We establish the existence and uniqueness of a local smooth solution to the Cauchy problem for a quasi-linear symmetric hyperbolic system with random noise in Rd. When the noise is multiplicative satisfying some nondegenerate conditions and the initial data are sufficiently small, we show that the solution exists globally in time in probability, i.e., the probability of global existence can be made arbitrarily close to one if the initial date are small accordingly.     

Cascade method of Laplace integration for linear hyperbolic systems of equations

We propose a generalization of the cascade method of Laplace integration to the case of linear hyperbolic systems of equations. On the basis of this generalization, we prove that the system of equations with vanishing product of Laplace invariants has a complete set of solutions depending on arbitrary functions.     

Discrete analogues of the Liouville equation

The notion of Laplace invariants is generalized to lattices and discrete equations that are difference analogues of hyperbolic partial differential equations with two independent variables. The sequence of Laplace invariants satisfies the discrete analogue of the two-dimensional Toda lattice. We prove that terminating this sequence by zeros is a necessary condition for the existence of integrals of the equation under consideration. We present formulas for the higher symmetries of equations possessing such integrals. We give examples of difference analogues of the Liouville equation. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 121, No. 2, pp. 271–284, November, 1999.     

On the construction of odd cycle systems

Three obvious necessary conditions for the existence of a k-cycle system of order n are that if n > 1 then n ? k, n is odd, and 2k divides n(n ? 1). We show that if these necessary conditions are sufficient for all n satisfying k ? n < 3k then they are sufficient for all n. In particular, there exists a 15-cycle system of order n if and only if n ≡ 1, 15, 21, or 25 (mod 30), and there exists a 21-cycle system of order n if and only if n ≡ 1, 7, 15, or 21 (mod 42), n ≠ 7. 15.     

On the univalence of derivatives of functions which are univalent in angular domains

We consider functions f that are univalent in a plane angular domain of angle απ, 0 < α ≤ 2. It is proved that there exists a natural number k depending only on α such that the kth derivatives f ^(k) of these functions cannot be univalent in this angle. We find the least of the possible values of for k. As a consequence, we obtain an answer to the question posed by Kir’yatskii: if f is univalent in the half-plane, then its fourth derivative cannot be univalent in this half-plane.     

Laplace invariants of hyperbolic equations linearizable by a differential substitution

The boundness of the order of generalized Laplace invariants of a scalar hyperbolic equation is a necessary condition for the existence of a differential substitution transforming solutions of the equation into those of a linear hyperbolic equation. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 120, No. 2, pp. 237–247, August, 1999.     

Über ganze Funktionen,die einer linearen Differentialgleichung genügen

Consider the homogeneous linear differential equation where the coefficients a_j(z) are entire functions. Then every solution w(z)0 of this equation (*) is an entire function. In this paper we give the necessary and sufficient conditions that n-1 linearly independent entire functions satisfy a differential equation (*) of order n. Especially we prove the following theorem: Given k linearly independent entire functions g₁(z), g₂(z),..., g_k(z). This functions are solutions of a differential equation (*) if and only if there exists an integer M< such that for any linear combination g(z)=C₁g₁(z)+...+c_kg_k(z)O this number M is an upper bound for the multiplicity of the zeros of g(z). Then holds nk.     

Graphs with valency k,edge connectivity k,chromatic index k + 1 and arbitrary girth

We prove that if k ≥ 3 and there exists a regular graph with valency k, edge connectivity k and chromatic index k + 1, then there exists such a graph of any girth g ≥ 4.     

On Perfect k-Matchings

In this paper, we generalize the notions of perfect matchings, perfect 2-matchings to perfect k-matchings and give a necessary and sufficient condition for the existence of perfect k-matchings. We show that a bipartite graph G contains a perfect k-matching if and only if it contains a perfect matching. Moreover, for regular graphs, we provide a sufficient condition for the existence of perfect k-matching in terms of the edge connectivity.     

Cross-sections, quotients, and representation rings of semisimple algebraic groups

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny t:[^(G)] ? G \tau :\hat{G} \to G is bijective; this answers Grothendieck’s question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg’s theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G] ^G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G] ^G and that of the representation ring of G and answer two Grothendieck’s questions on constructing generating sets of k[G] ^G . We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T ⇢ G/T where T is a maximal torus of G and W the Weyl group.     

Dynamics of a class of ODEs more general than almost periodic

A temporally global solution, if it exists, of a nonautonomous ordinary differential equation need not be periodic, almost periodic or almost automorphic when the forcing term is periodic, almost periodic or almost automorphic, respectively. An alternative class of functions extending periodic and almost periodic functions which has the property that a bounded temporally global solution solution of a nonautonomous ordinary differential equation belongs to this class when the forcing term does is introduced here. Specifically, the class of functions consists of uniformly continuous functions, defined on the real line and taking values in a Banach space, which have pre-compact ranges. Besides periodic and almost periodic functions, this class also includes many nonrecurrent functions. Assuming a hyperbolic structure for the unperturbed linear equation and certain properties for the linear and nonlinear parts, the existence of a special bounded entire solution, as well the existence of stable and unstable manifolds of this solution are established. Moreover, it is shown that this solution and these manifolds inherit the temporal behaviour of the vector field equation. In the stable case it is shown that this special solution is the pullback attractor of the system. A class of infinite dimensional examples involving a linear operator consisting of a time independent part which generates a C₀-semigroup plus a small time dependent part is presented and applied to systems of coupled heat and beam equations.     

Braidings on the Category of Bimodules,Azumaya Algebras and Epimorphisms of Rings

Let A be an algebra over a commutative ring k. We prove that braidings on the category of A-bimodules are in bijective correspondence to canonical R-matrices, these are elements in A???A???A satisfying certain axioms. We show that all braidings are symmetries. If A is commutative, then there exists a braiding on ${}_A\mathcal{M}_A$ if and only if k→A is an epimorphism in the category of rings, and then the corresponding R-matrix is trivial. If the invariants functor $G = (-)^A:\ {}_A\mathcal{M}_A\to \mathcal{M}_k$ is separable, then A admits a canonical R-matrix; in particular, any Azumaya algebra admits a canonical R-matrix. Working over a field, we find a remarkable new characterization of central simple algebras: these are precisely the finite dimensional algebras that admit a canonical R-matrix. Canonical R-matrices give rise to a new class of examples of simultaneous solutions for the quantum Yang–Baxter equation and the braid equation.     

On the variational integrating matrix for hyperbolic systems

We obtain a necessary and sufficient condition for a hyperbolic system to be an Euler-Lagrange system with a first-order Lagrangian up to multiplication by some matrix. If this condition is satisfied and an integral of the system is known to us, then we can construct a family of higher symmetries that depend on an arbitrary function. Also, we consider the systems that satisfy the above criterion and that possess a sequence of the generalized Laplace invariants with respect to one of the characteristics; then we prove that the generalized Laplace invariants with respect to the other characteristic are uniquely defined. __________ Translated from Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 12, No. 7, pp. 251–262, 2006.     

On hyperbolic systems of equations with zero generalized Laplace invariants

A criterion for the interruption of the sequence of generalized Laplace invariants is found. A general solution of a system of linear hyperbolic equations with zero invariants is constructed.     

Existence, non-existence and asymptotic behavior of global solutions to the Cauchy problem for systems of semilinear hyperbolic equations with damping terms

We consider the Cauchy problem for systems of semilinear hyperbolic equations. Using the L_p→L_q type estimation for the corresponding linear parts, the existence and uniqueness of weak global solutions are investigated. We also established the behavior of solutions and their derivatives as t→+∞. Using the method of test functions developed in the works (Mitidieri and Pokhozhaev, 2001 [11], Veron and Pohozaev, 2001 [12] and Caristi, 2000 [23]) we obtain the analogue of the Fujita-Hayakawa type criterion for the absence of global solutions to some system of semilinear hyperbolic inequalities with damping. It follows that the conditions of existence theorem imposed on the growth of nonlinear parts are exact in some sense.     

On the 16th Hilbert problem for limit cycles on nonsingular algebraic curves

We give an upper bound for the maximum number N of algebraic limit cycles that a planar polynomial vector field of degree n can exhibit if the vector field has exactly k nonsingular irreducible invariant algebraic curves. Additionally we provide sufficient conditions in order that all the algebraic limit cycles are hyperbolic. We also provide lower bounds for N.     

Global existence and asymptotic behavior of classical solutions of quasilinear hyperbolic systems with linearly degenerate characteristic fields

In this paper, we study the global existence and the asymptotic behavior of classical solution of the Cauchy problem for quasilinear hyperbolic system with constant multiple and linearly degenerate characteristic fields. We prove that the global C¹ solution exists uniquely if the BV norm of the initial data is sufficiently small. Based on the existence result on the global classical solution, we show that, when the time t tends to the infinity, the solution approaches a combination of C¹ traveling wave solutions. Finally, we give an application to the equation for time-like extremal surfaces in the Minkowski space-time R1+n.     

A k-tableau characterization of k-Schur functions

We study k-Schur functions characterized by k-tableaux, proving combinatorial properties such as a k-Pieri rule and a k-conjugation. This new approach relies on developing the theory of k-tableaux, and includes the introduction of a weight-permuting involution on these tableaux that generalizes the Bender-Knuth involution. This work lays the groundwork needed to prove that the set of k-Schur Littlewood-Richardson coefficients contains the 3-point Gromov-Witten invariants; structure constants for the quantum cohomology ring.