The generalized nonlinear initial-boundary Riemann problem for linearly degenerate quasilinear hyperbolic systems of conservation laws

This work is a continuation of our previous work, in the present paper we study the generalized nonlinear initial-boundary Riemann problem with small BV data for linearly degenerate quasilinear hyperbolic systems of conservation laws with nonlinear boundary conditions in a half space . We prove the global existence and uniqueness of piecewise C¹ solution containing only contact discontinuities to a class of the generalized nonlinear initial-boundary Riemann problem, which can be regarded as a small BV perturbation of the corresponding nonlinear initial-boundary Riemann problem, for general n×n linearly degenerate quasilinear hyperbolic system of conservation laws; moreover, this solution has a global structure similar to the one of the self-similar solution to the corresponding nonlinear initial-boundary Riemann problem. Some applications to quasilinear hyperbolic systems of conservation laws arising in the string theory and high energy physics are also given.     

Twisted first homology groups of the automorphism group of a free group

The automorphism group and outer automorphism group of a free group F_n of rank n act on the abelianized group H of F_n and the dual group H^* of H. The twisted first homology groups of and with coefficients in H and H^* are calculated.     

Strong convergence of approximate solutions for nonlinear hyperbolic equation without convexity

Schonbek [M.E. Schonbek, Convergence of solutions to nonlinear dispersive equations, Comm. Partial Differential Equations 7 (1982) 959-1000] obtained the strong convergence of uniform bounded approximate solutions to hyperbolic scalar equation under the assumption that the flux function is strictly convex. While in this paper, by constructing four families of Lax entropies, we succeed in dealing with the non-convexity with the aid of the well-known Bernstein-Weierstrass theorem, and obtaining the strong convergence of uniform L^∞ or bounded viscosity solutions for scalar conservation law without convexity.     

Entropy solutions for a doubly nonlinear elliptic problem with variable exponent

We study the boundary value problem in Ω, u=0 on ∂Ω, where Ω is a smooth bounded domain in RN (N?3) and is a p(x)-Laplace type operator with p(.):Ω→[1,+∞) a measurable function and b a continuous and nondecreasing function from R→R. We prove the existence and uniqueness of an entropy solution for L¹-data f.     

Fourier analysis on domains in compact groups

Let Ω be a measurable subset of a compact group G of positive Haar measure. Let be a non-negative function defined on the dual space and let L²(μ) be the corresponding Hilbert space which consists of elements (ξπ)_π∈suppμ satisfying , where ξπ is a linear operator on the representation space of π, and is equipped with the inner product: . We show that the Fourier transform gives an isometric isomorphism from L²(Ω) onto L²(μ) if and only if the restrictions to Ω of all matrix coordinate functions , π∈suppμ, constitute an orthonormal basis for L²(Ω). Finally compact connected Lie groups case is studied.     

Weighted-Hardy functions with Hadamard gaps on the unit ball

We prove that an analytic function f on the unit ball B with Hadamard gaps, that is, (the homogeneous polynomial expansion of f) satisfying n_k+1/n_k?λ>1 for all k∈N, belongs to the space if and only if . Moreover, we show that the following asymptotic relation holds . Also we prove that lim_r→1(1-r²)^α‖Rf_r‖_p=0 if and only if . These results confirm two conjectures from the following recent paper [S. Stevi?, On Bloch-type functions with Hadamard gaps, Abstr. Appl. Anal. 2007 (2007) 8 pages (Article ID 39176)].     

Linkability in iterated line graphs

We prove that for every graph H with the minimum degree δ?5, the third iterated line graph L³(H) of H contains as a minor. Using this fact we prove that if G is a connected graph distinct from a path, then there is a number k_G such that for every i?k_G the i-iterated line graph of G is -linked. Since the degree of Lⁱ(G) is even, the result is best possible.     

The length of a shortest geodesic net on a closed Riemannian manifold

In this paper we will estimate the smallest length of a minimal geodesic net on an arbitrary closed Riemannian manifold Mⁿ in terms of the diameter of this manifold and its dimension. Minimal geodesic nets are critical points of the length functional on the space of immersed graphs into a Riemannian manifold. We prove that there exists a minimal geodesic net that consists of m geodesics connecting two points p,q∈Mⁿ of total length ≤md, where m∈{2,…,(n+1)} and d is the diameter of Mⁿ. We also show that there exists a minimal geodesic net with at most n+1 vertices and geodesic segments of total length .These results significantly improve one of the results of [A. Nabutovsky, R. Rotman, The minimal length of a closed geodesic net on a Riemannian manifold with a nontrivial second homology group, Geom. Dedicata 113 (2005) 234-254] as well as most of the results of [A. Nabutovsky, R. Rotman, Volume, diameter and the minimal mass of a stationary 1-cycle, Geom. Funct. Anal. 14 (4) (2004) 748-790].     

Zeros of orthogonal Laurent polynomials and solutions of strong Stieltjes moment problems

The strong Stieltjes moment problem for a bisequence consists of finding positive measures μ with support in [0,∞) such that

     

Domains of infinitesimal generators of automorphism flows

We present a systematic characterization of the domain of a generator of a one parameter group on certain C∗-subalgebras of via finite-dimensional estimates. Our approach yields an example of a densely defined closed symmetric derivation on a C∗-subalgebras of whose domain is not closed with respect to the C¹-functional calculus. This completes and complements the earlier example of McIntosh (J. Funct. Anal. 30 (1977) 264). Our methods are partly based on the theory of adjoint C₀-semigroups.     

Constructions of optimal quaternary constant weight codes via group divisible designs

Generalized Steiner systems were first introduced by Etzion and used to construct optimal constant weight codes over an alphabet of size g+1 with minimum Hamming distance 2k−3, in which each codeword has length v and weight k. As to the existence of a , a lot of work has been done for k=3, while not so much is known for k=4. The notion k-^∗GDD was first introduced by Chen et al. and used to construct . The necessary condition for the existence of a is v≥14. In this paper, it is proved that there exists a for any prime power and v≥19. By using this result, the known results on the existence of optimal quaternary constant weight codes are then extended.     

On symmetric graphs of valency five

A graph X, with a subgroup G of the automorphism group of X, is said to be (G,s)-transitive, for some s≥1, if G is transitive on s-arcs but not on (s+1)-arcs, and s-transitive if it is -transitive. Let X be a connected (G,s)-transitive graph, and G_v the stabilizer of a vertex v∈V(X) in G. If X has valency 5 and G_v is solvable, Weiss [R.M. Weiss, An application of p-factorization methods to symmetric graphs, Math. Proc. Camb. Phil. Soc. 85 (1979) 43-48] proved that s≤3, and in this paper we prove that G_v is isomorphic to the cyclic group Z₅, the dihedral group D₁₀ or the dihedral group D₂₀ for s=1, the Frobenius group F₂₀ or F₂₀×Z₂ for s=2, or F₂₀×Z₄ for s=3. Furthermore, it is shown that for a connected 1-transitive Cayley graph of valency 5 on a non-abelian simple group G, the automorphism group of is the semidirect product , where R(G) is the right regular representation of G and .     

A new construction of vertex algebras and quasi-modules for vertex algebras

In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasimodule for vertex algebras is introduced and studied. More specifically, a notion of quasilocal subset(space) of for any vector space W is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasilocal subspace there exists a natural vertex algebra structure and that any quasilocal subset of generates a vertex algebra. Furthermore, it is proved that W is a quasimodule for each of the vertex algebras generated by quasilocal subsets of . A notion of Γ-vertex algebra is also introduced and studied, where Γ is a subgroup of the multiplicative group C^× of nonzero complex numbers. It is proved that any maximal quasilocal subspace of is naturally a Γ-vertex algebra and that any quasilocal subset of generates a Γ-vertex algebra. It is also proved that a Γ-vertex algebra exactly amounts to a vertex algebra equipped with a Γ-module structure which satisfies a certain compatibility condition. Finally, two families of examples are given, involving twisted affine Lie algebras and certain quantum torus Lie algebras.     

Refinement type equations and Grincevi?jus series

We consider L¹-solutions of the following refinement type equations

     

Vertex-transitive self-complementary uniform hypergraphs of prime order

For an integer n and a prime p, let . In this paper, we present a construction for vertex-transitive self-complementary k-uniform hypergraphs of order n for each integer n such that for every prime p, where ?=max{k₍₂₎,(k−1)₍₂₎}, and consequently we prove that the necessary conditions on the order of vertex-transitive self-complementary uniform hypergraphs of rank k=2^? or k=2^?+1 due to Potoňick and Šajna are sufficient. In addition, we use Burnside’s characterization of transitive groups of prime degree to characterize the structure of vertex-transitive self-complementary k-hypergraphs which have prime order p in the case where k=2^? or k=2^?+1 and , and we present an algorithm to generate all of these structures. We obtain a bound on the number of distinct vertex-transitive self-complementary graphs of prime order , up to isomorphism.     

Resolvable group divisible designs with block size four and general index

In this paper, we investigate the existence of resolvable group divisible designs (RGDDs) with block size four, group-type hⁿ and general index λ. The necessary conditions for the existence of such a design are n≥4, and . These necessary conditions are shown to be sufficient for all λ≥2, with the definite exceptions of (λ,h,n)∈{(3,2,6)}∪{(2j+1,2,4):j≥1}. The known existence result for λ=1 is also improved.     

A note on the fundamental solution for the Tricomi-type equation in the hyperbolic domain

Barros-Neto and Gelfand (Duke Math. J. 98 (3) (1999) 465; Duke Math. J. 117 (2) (2003) 561) constructed for the Tricomi operator on the plane the fundamental solutions with the supports in the regions related to the geometry of the characteristics of the Tricomi operator. We give for the Tricomi-type operator a fundamental solution relative to an arbitrary point of Rⁿ⁺¹ with the support in the region t?0, where the operator is hyperbolic. Our key observation is that the fundamental solution for the Tricomi-type operator can be written like an integral of the distributions generated by the fundamental solution of the Cauchy problem for the wave equation. The application of that fundamental solution to the L^p-L^q estimate for the forced Tricomi-type equation is given as well.