Asymptotic existence theorems for frames and group divisible designs

In this paper, we establish an asymptotic existence theorem for group divisible designs of type mn with block sizes in any given set K of integers greater than 1. As consequences, we will prove an asymptotic existence theorem for frames and derive a partial asymptotic existence theorem for resolvable group divisible designs.     

Near-symmetric divisible designs

We construct some classes of -near-symmetric divisible designs by permutation group methods. We also define and study Paley divisible designs which generalize the well-known class of Paley 2-designs.Dedicated to professor Giuseppe Tallini     

Lifting of divisible designs

The aim of this paper is to present a construction of t-divisible designs (DDs) for t > 3, because such DDs seem to be missing in the literature. To this end, tools such as finite projective spaces and their algebraic varieties are employed. More precisely, in a first step an abstract construction, called t-lifting, is developed. It starts from a set X containing a t-DD and a group G acting on X. Then several explicit examples are given, where X is a subset of PG(n,q) and G is a subgroup of GL_n + 1(q). In some cases X is obtained from a cone with a Veronesean or an h-sphere as its basis. In other examples, X arises from a projective embedding of a Witt design. As a result, for any integer t ≥ 2 infinitely many non-isomorphic t-DDs are found.Dedicated to Walter Benz on the occasion of his 75th birthday.     

Necessary and sufficient conditions for the existence of stabilizing feedback for control systems

We prove that the existence of a non-smooth control Lyapunovfunction is a necessary and sufficient condition for the existenceof an ordinary smooth time-varying feedback that stabilizesan affine time-varying control system. Results concerning thenon-affine case are also provided.     

Necessary conditions for the existence of invariant algebraic curves for planar polynomial systems

This work deals with planar polynomial differential systems , . We give a set of necessary conditions for a system to have an invariant algebraic curve. These conditions are determined from the value of the cofactor at the singular points of the system, once considered in a compact space. We apply these results to show the non-Liouvillian integrability of several families of quadratic systems with an algebraic limit cycle.     

New constructions of divisible designs

A construction is given for a (p^2a(p+1),p²,p^2a+1(p+1),p^2a+1,p^2a(p+1)) (p a prime) divisible difference set in the group H×Z²_pa+1 where H is any abelian group of order p+1. This can be used to generate a symmetric semi-regular divisible design; this is a new set of parameters for λ₁≠0, and those are fairly rare. We also give a construction for a (p^a−1+p^a−2+…+p+2,p^a+2, p^a(p^a+p^a−1+…+p+1), p^a(p^a−1+…+p+1), p^a−1(p^a+…+p²+2)) divisible difference set in the group H×Z_p2×Z^a_p. This is another new set of parameters, and it corresponds to a symmetric regular divisible design. For p=2, these parameters have λ₁=λ₂, and this corresponds to the parameters for the ordinary Menon difference sets.     

Necessary and sufficient conditions for the existence of Helmholtz decompositions in general domains

Consider a general domain \(\varOmega \subseteq {\mathbb {R}}^n, n\ge 2\) , and let \(1 < q <\infty \) . Our first result is based on the estimate for the gradient \(\nabla p \in G^q(\varOmega )\) in the form \(\Vert \nabla p\Vert _q \le C \,\sup |\langle \nabla p,\nabla v\rangle _{\varOmega }|/\Vert \nabla v\Vert _{q'}\) , \(\nabla v \in G^{q'}(\varOmega ), q' = \frac{q}{q-1}\) , with some constant \(C=C(\varOmega ,q)>0\) . This estimate was introduced by Simader and Sohr (Mathematical Problems Relating to the Navier–Stokes Equations. Series on Advances in Mathematics for Applied Sciences, vol. 11, pp. 1–35. World Scientific, Singapore, 1992) for smooth bounded and exterior domains. We show for general domains that the validity of this gradient estimate in \(G^q(\varOmega )\) and in \(G^{q'}(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) . A new aspect concerns the estimate for divergence free functions \(f_0 \in L^q_{\sigma }(\varOmega )\) in the form \(\Vert f_0\Vert _q \le C \sup |\langle f_0,w\rangle _{\varOmega }|/ \Vert w\Vert _{q'}, w\in L^{q'}_{\sigma }(\varOmega )\) , for the second part of the Helmholtz decomposition. We show again for general domains that the validity of this estimate in \(L^q_{\sigma }(\varOmega )\) and in \(L^{q'}_{\sigma }(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) .     

任意阶中立型方程正解存在的充要条件

给出了任意阶中立型微分方程（x(t)-p(t)g(x(τ(t)))^(n) ∫α^βt(t,ξ，x(g1(t,ξ）），x(g2(t,ξ）），…，x(gm(t,ξ）））dη（ξ）=0存在正解x(t)满足x(t)-p(t)g(x(τ(t)))/t^k→正常数（→∞)物条件，作为本文结果的特例，部分地解决了文[5]提出的公开问题2。     

Spreads and group divisible designs

By removing the components of at-spread of a finite projective spacePG(d, q) from each hyperplane ofPG(d, q), the blocks of a regular group divisible design are obtained We characterize geometrict-spreads as thoset-spreads which are such that the dual of is also a group divisible design.     

On affine translation divisible designs

We prove that a translation divisible design (TDD) with an abelian translation group can be embedded in PG (n,q) for some n2. Moreover we study affine TDD's showing that they have an (elementary) abelian translation group. A construction for TDD's with an abelian translation group which are not affine is given too.     

Composite construction of group divisible designs

Two new methods of constructing group divisible designs are given. In particular, a new resolvable solution for the SR 39 is presented.     

Necessary and sufficient conditions for the existence of exponential attractors for semigroups,and applications

First we establish some necessary and sufficient conditions for the existence of exponential attractors by using ω$\omega$-limit compactness and a measure of non-compactness. Then we provide a new method for proving the existence of exponential attractors. We prove the existence of exponential attractors for reaction–diffusion equations and 2D Navier–Stokes equations as simple applications.     

Necessary and sufficient conditions for representative individual existence in a Ramsey-type model

This work addresses the aggregation behavior of heterogeneous households in a Ramsey-type growth model. Households are heterogeneous according to level of wages, initial capital, the coefficient of intertemporal preferences, and the coefficient of risk aversion. Necessary and sufficient conditions for the existence of a representative individual were obtained.