Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Zeros of analytic functions and norms of inverse matrices

Letk _n be the smallest constant such that for anyn-dimensional normed spaceX and any invertible linear operatorT ∈L(X) we have $|\det (T)| \cdot ||T^{ - 1} || \le k_n |||T|^{n - 1} $ . LetA ₊ be the Banach space of all analytic functionsf(z)=Σ _k≥0 a _kz^k on the unit diskD with absolutely convergent Taylor series, and let ‖f‖A ₊=σ _k≥0 |ακ|; define ? _n on $\overline D ^n $ by $ \begin{array}{l} \varphi _n \left( {\lambda _1 ,...,\lambda _n } \right) \\ = inf\left\{ {\left\| f \right\|_{A + } - \left| {f\left( 0 \right)} \right|; f\left( z \right) = g\left( z \right)\prod\limits_{i = 1}^n {\left( {\lambda _1 - z} \right), } g \in A_ + , g\left( 0 \right) = 1 } \right\} \\ \end{array} $ . We show thatk _n=sup {? _n(λ₁,…, λ _n ); (λ₁,…, λ _n )∈ $\overline D ^n $ }. Moreover, ifS is the left shift operator on the space ?∞:S(x ₀,x ₁, …,x _p, …)=(x ₁,…,x _p,…) and if J_n(S) denotes the set of allS-invariantn-dimensional subspaces of ?∞ on whichS is invertible, we have $k_n = \sup \{ |\det (S|_E )|||(S|_E )^{ - 1} ||E \in J_n (S)\} $ . J. J. Schäffer (1970) proved thatk _n≤√en and conjectured thatk _n=2, forn≥2. In factk ₃>2 and using the preceding results, we show that, up to a logarithmic factor,k _n is of the order of √n whenn→+∞.     

Exact solution of the hypergraph Turán problem for k-uniform linear paths

A k-uniform linear path of length ?, denoted by ? _? ^(k) , is a family of k-sets {F ₁,...,F _? such that |F _i ∩ F _i+1|=1 for each i and F _i ∩ F _bj = \(\not 0\) whenever |i?j|>1. Given a k-uniform hypergraph H and a positive integer n, the k-uniform hypergraph Turán number of H, denoted by ex _k (n, H), is the maximum number of edges in a k-uniform hypergraph \(\mathcal{F}\) on n vertices that does not contain H as a subhypergraph. With an intensive use of the delta-system method, we determine ex _k (n, P _? ^(k) exactly for all fixed ? ≥1, k≥4, and sufficiently large n. We show that $ex_k (n,\mathbb{P}_{2t + 1}^{(k)} ) = (_{k - 1}^{n - 1} ) + (_{k - 1}^{n - 2} ) + \cdots + (_{k - 1}^{n - t} )$ . The only extremal family consists of all the k-sets in [n] that meet some fixed set of t vertices. We also show that $ex(n,\mathbb{P}_{2t + 2}^{(k)} ) = (_{k - 1}^{n - 1} ) + (_{k - 1}^{n - 2} ) + \cdots + (_{k - 1}^{n - t} ) + (_{k - 2}^{n - t - 2} )$ , and describe the unique extremal family. Stability results on these bounds and some related results are also established.     

On the Schröder equation and iterative sequences of C r diffeomorphisms in {\mathbb{R}^{N}} space

Let ${U \subset \mathbb{R}^{N}}$ be a neighbourhood of the origin and a function ${F:U\rightarrow U}$ be of class C ^r , r ≥ 2, F(0) = 0. Denote by F ⁿ the n-th iterate of F and let ${0<|s_1|\leq \cdots \leq|s_N| <1 }$ , where ${s_1, \ldots , s_N}$ are the eigenvalues of dF(0). Assume that the Schröder equation ${\varphi(F(x))=S\varphi(x)}$ , where S: = dF(0) has a C ² solution φ such that dφ(0) = id. If ${\frac{log|s_1|}{log|s_N|} <2 }$ then the sequence {S ^?n F ⁿ (x)} converges for every point x from the basin of attraction of F to a C ² solution φ of (1). If ${2\leq\frac{log|s_1|}{log|s_N|} }$ then this sequence can be diverging. In this case we give some sufficient conditions for the convergence and divergence of the sequence {S ^?n F ⁿ (x)}. Moreover, we show that if F is of class C ^r and ${r>\big[\frac{log|s_1|}{log|s_N|} \big ]:=p \geq 2}$ then every C ^r solution of the Schröder equation such that dφ(0) = id is given by the formula $$\begin{array}{ll}\varphi (x)={\lim\limits_{n \rightarrow \infty}} (S^{-n}F^n(x) + {\sum\limits _{k=2}^{p}} S^{-n}L_k (F^n(x))),\end{array}$$ where ${L_k:\mathbb{R}^{N} \rightarrow \mathbb{R}^{N}}$ are some homogeneous polynomials of degree k, which are determined by the differentials d ^(j) F(0) for 1 < j ≤  p.     

Riemann—Lebesgue theorem

Пусть?(x) — ограниченн ая функция на отрезке [0,1] и ее функция распределен ияΦ(t) удовлетворяет услов ию $$\Phi \left( t \right) + \Phi \left( { - t} \right) = 1.$$ Еслиf(x) — конечная поч ти всюду функция, то дл яF _n (t) — функции распределе ния произведенияf(x)?(nx) — вы полнены соотношения и В частности, еслиf(x) — и нтегрируемая функци я, то из (1) следует, что $$\mathop {\lim }\limits_{n \to \infty } \mathop \smallint \limits_0^1 f\left( x \right)\varphi \left( {nx} \right)dx = 0 $$      

On a certain class of infinitely divisible distributions

We characterize the class of distribution functions Φ(x), which are limits in the following sense: there exist a sequence of independent and equally distributed random variables {ξ _n }, numerical sequences {a _k }, {b _k } and natural numbers {n _k } such that $$\mathop {lim}\limits_{k \to \infty } Prob\left\{ {\frac{1}{{a_k }}\mathop {\Sigma }\limits_{k = 1}^{n_k } \xi _k - b_k< x} \right\} = \Phi (x)$$ and $$\mathop {\lim \inf }\limits_{k \to \infty } (n_k /n_{k + 1} ) > 0$$ .     

A multipoint method of third order

LetF be a mapping of the Banach spaceX into itself. A convergence theorem for the iterative solution ofF(x)=0 is proved for the multipoint algorithmx _n+1=x _n ?ø(x _n ), where $$\phi (x) = F\prime_x^{ - 1} \left[ {F(x) + F\lgroup {x - F\prime_x^{ - 1} F(x)} \rgroup} \right]$$ andF′x is the Frechet derivative ofF. The theorem guarantees that, under appropriate conditions onF, the multipoint sequence {x _n } generated by ø converges cubically to a zero ofF. The algorithm is applied to the nonlinear Chandrasekhar integral equation $$\frac{1}{2}\omega _0 x(t)\int_0^1 {\frac{{tx(s)}}{{s + t}}ds - x(t) + 1 = 0}$$ where ω₀>0. A discretization of the equations of iteration is discussed, and some numerical results are given.     

Estimates and regularization for solutions of some ill-posed problems of elliptic and parabolic type

In this paper, we examine, in a systematic fashion, some ill-posed problems arising in the theory of heat conduction. In abstract terms, letH be a Hilbert space andA: D (A)?H→H be an unbounded normal operator, we consider the boundary value problemü(t)=Au(t), 0<t<∞,u(0)=u ₀∈D(A), \(\mathop {\lim }\limits_{t \to 0} \left\| {u\left( t \right)} \right\| = 0\) . The problem of recoveringu ₀ whenu(T) is known for someT>0 is not well-posed. Suppose we are given approximationsx ₁,x ₂,…,x _N tou(T ₁),…,u(T _N) with 0<T, <…<T _N and positive weightsP _i,i=1,…,n, \(\sum\limits_{i = 1}^N {P_i = 1} \) such that \(Q_2 \left( {u_0 } \right) = \sum\limits_{i = 1}^N {P_i } \left\| {u\left( {T_i } \right) - x_i } \right\|^2 \leqslant \varepsilon ^2 \) . If ‖u _t(0)‖≤E for some a priori constantE, we construct a regularized solution ν(t) such that \(Q\left( {\nu \left( 0 \right)} \right) \leqslant \varepsilon ^2 \) while \(\left\| {u\left( 0 \right) - \nu \left( 0 \right)} \right\| = 0\left( {ln \left( {E/\varepsilon } \right)} \right)^{ - 1} \) and \(\left\| {u\left( t \right) - \nu \left( t \right)} \right\| = 0\left( {\varepsilon ^{\beta \left( t \right)} } \right)\) where 0<β(t)<1 and the constant in the order symbol depends uponE. The function β(t) is larger thant/m whent _k andk is the largest integer such that \((\sum\limits_{k = 1}^N {P_i (T_i )} )< (\sum\limits_{k = 1}^N {P_i (T_i )} = m\) , which β(t)=t/m on [T _k, m] and β(t)=1 on [m, ∞). Similar results are obtained if the measurement is made in the maximum norm, i.e.,Q _∞(u ₀)=max{‖u(T _i)?x _i‖, 1≤i≤N}.     

ОБ ИНтЕРпОлИРОВАНИИ В кОМплЕксНОИ ОБлАст И

LetD be a simply connected domain, the boundary of which is a closed Jordan curveγ; \(\mathfrak{M} = \left\{ {z_{k, n} } \right\}\) , 0≦k≦n; n=1, 2, 3, ..., a matrix of interpolation knots, \(\mathfrak{M} \subset \Gamma ; A_c \left( {\bar D} \right)\) the space of the functions that are analytic inD and continuous on \(\bar D; \left\{ {L_n \left( {\mathfrak{M}; f, z} \right)} \right\}\) the sequence of the Lagrange interpolation polynomials. We say that a matrix \(\mathfrak{M}\) satisfies condition (B _m ), \(\mathfrak{M}\) ∈(B _m ), if for some positive integerm there exist a setB _m containingm points and a sequencen _{p p=1} ^∞ of integers such that the series \(\mathop \Sigma \limits_{p = 1}^\infty \frac{1}{{n_p }}\) diverges and for all pairsn _i ,n _j ∈{n _p } _p=1 ^∞ the set \(\left( {\bigcap\limits_{k = 0}^{n_i } {z_{k, n_i } } } \right)\bigcap {\left( {\bigcup\limits_{k = 0}^{n_j } {z_{k, n_j } } } \right)} \) is contained inB _m . The main result reads as follows. {Let D=z: ¦z¦ \(\Gamma = \partial \bar D\) and let the matrix \(\mathfrak{M} \subset \Gamma \) satisfy condition (B_m). Then there exists a function \(f \in A_c \left( {\bar D} \right)\) such that the relation $$\mathop {\lim \sup }\limits_{n \to \infty } \left| {L_n \left( {\mathfrak{M}, f, z} \right)} \right| = \infty $$ holds almost everywhere on γ.     

A unifying approach to the regularization of Fourier polynomials

In a previous paper [4] the following problem was considered:find, in the class of Fourier polynomials of degree n, the one which minimizes the functional: (0.1) $$J^* [F_n ,\sigma ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\frac{{\sigma ^r }}{{r!}}} \left\| {F_n^{(r)} } \right\|^2$$ , where ∥·∥ is theL ² norm,F _n ^(r) is therth derivative of the Fourier polynomialF _n (x), andf(x) is a given function with Fourier coefficientsc _k . It was proved that the optimal polynomial has coefficientsc _k ^* given by (0.2) $$c_k^* = c_k e^{ - \sigma k^2 } ; k = 0, \pm ,..., \pm n$$ . In this paper we consider the more general functional (0.3) $$\hat J[F_n ,\sigma _r ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\sigma _r \left\| {F_n^{(r)} } \right\|^2 }$$ , which reduces to (0.1) forσ _r =σ ^r /r!. We will prove that the classical sigma-factor method for the regularization of Fourier polynomials may be obtained by minimizing the functional (0.3) for a particular choice of the weightsσ _r . This result will be used to propose a motivated numerical choice of the parameterσ in (0.1).     

О некоторых свойства х частичных сумм рядо в Фурье—Уолша—Пэли

In this paper we consider the behaviour of partial sums of Fourier—Walsh—Paley series on the group62-01. We prove the following theorems: Theorem 1. Let {n _k } _k ^=1/∞ be some increasing convex sequence of natural numbers such that $$\mathop {\lim sup}\limits_m m^{ - 1/2} \log n_m< \infty $$ . Then for anyf∈L ^∞(G) $$\left( {\frac{1}{m}\sum\limits_{j = 1}^m {|Sn_j (f;0)|^2 } } \right)^{1/2} \leqq C \cdot \left\| f \right\|_\infty $$ . Theorem 2. Let {n _k } _k ^=1/∞ be a lacunary sequence of natural numbers,n _k+1/n _k≧q>1. Then for anyfεL ^∞(G) $$\sum\limits_{j = 1}^m {|Sn_j (f;0)| \leqq C_q \cdot m^{1/2} \cdot \log n_m \cdot \left\| f \right\|_\infty } $$ . Theorems. Let µ _k =2 ^k +2 ^k-2+2 ^k-4+...+2^α ₀,α ₀=0,1. Then $$\begin{gathered} \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in L^\infty (G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = 0(m)^2 \} .} \hfill \\ \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = o(m)^2 \} = } \hfill \\ = \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} \hfill \\ \end{gathered} $$ . Theorem 4. {{S ₂ k(f: 0)} _k ^=1/∞ ,f∈L ^∞(G)}=m. $$\{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = c. \{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} = c_0 $$ .     

On the convergence to infinity of Fourier series along dense subsequences of numbers

В статье доказываетс я Теорема.Какова бы ни была возрастающая последовательность натуральных чисел {H _k } _{k = 1} ^∞ c $$\mathop {\lim }\limits_{k \to \infty } \frac{{H_k }}{k} = + \infty$$ , существует функцияf∈L(0, 2π) такая, что для почт и всех x∈(0, 2π) можно найти возраст ающую последовательность номеров {n_k(x)} _k=1 ^∞ ,удовлетворяющую усл овиям 1) $$n_k (x) \leqq H_k , k = 1,2, ...,$$ 2) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t} (x)} (x,f) = + \infty ,$$ 3) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t - 1} (x)} (x,f) = - \infty$$ .     

Isothermic Submanifolds

We propose an answer to a question raised by F. Burstall: Is there any interesting theory of isothermic submanifolds of ? ⁿ of dimension greater than two? We call an n-immersion f(x) in ? ^m isothermic _k if the normal bundle of f is flat and x is a line of curvature coordinate system such that its induced metric is of the form $\sum_{i=1}^{n} g_{ii}\,\mathrm{d} x_{i}^{2}$ with $\sum_{i=1}^{n} \epsilon_{i} g_{ii}=0$ , where ?? _i =1 for 1??i??n?k and ?? _i =?1 for n?k<i??n. A smooth map (f ₁,??,f _n ) from an open subset ${\mathcal{O}}$ of ? ⁿ to the space of m×n matrices is called an n-tuple of isothermic _k n-submanifolds in ? ^m if each f _i is an isothermic _k immersion, $(f_{i})_{x_{j}}$ is parallel to $(f_{1})_{x_{j}}$ for all 1??i,j??n, and there exists an orthonormal frame (e ₁,??,e _n ) and a GL(n)-valued map (a _ij ) such that $\mathrm{d}f_{i}= \sum_{j=1}^{n} a_{ij} e_{j}\,\mathrm {d} x_{j}$ for 1??i??n. Isothermic₁ surfaces in ?³ are the classical isothermic surfaces in ?³. Isothermic _k submanifolds in ? ^m are invariant under conformal transformations. We show that the equation for n-tuples of isothermic _k n-submanifolds in ? ^m is the $\frac{O(m+n-k,k)}{O(m)\times O(n-k,k)}$ -system, which is an integrable system. Methods from soliton theory can therefore be used to construct Christoffel, Ribaucour, and Lie transforms, and to describe the moduli spaces of these geometric objects and their loop group symmetries.     

On higher moments of Fourier coefficients of holomorphic cusp forms II

Let S _k (Γ) be the space of holomorphic cusp forms of even integral weight k for the full modular group. Let λ _f (n), λ _g (n), λ _h (n) be the nth normalized Fourier coefficients of three distinct holomorphic primitive cusp forms ${f (z) \in S_{k_1}(\Gamma), g(z) \in S_{k_2} (\Gamma), h(z) \in S_{k_3} (\Gamma)}$ respectively. In this paper we are able to establish nontrivial estimates for $$\sum_{n{\leq}x} \lambda_f(n)^5{\lambda_g}(n), \quad \sum_{n{\leq}x} \lambda_f(n) \lambda_g(n)\lambda_{h}(n)^j$$ , where 1 ≤ j ≤ 4.     

Approximation to continuous functions by Walsh-Fourier sums

Пусть ω(δ) - модуль непре рывности,H _ω — класс 1-периодических непре рывных функцийf (t), модуль непрерывнос ти которыхω(f, δ)≦ω(δ), и п устьS _n (f,x)=S _n (f),D _n (t), L_n – соответственно ча стичные суммы ряда Фу рье-Уолшаf(t), ядра Дирихле и конст анты Лебега порядкап (п- 1, 2, ...). Доказаны Теорема 1.Для любой не прерывной функции f $$\mathop {\lim \inf }\limits_{k \to \infty } \frac{{\parallel f - S_k (f)\parallel }}{{\omega (f,1/k)L_k }} = 0$$ Теорема 2.Пусть 0n=[nβ]+1 (n=1,2, ...). Пусть, далее, М_n — множество тех k (2ⁿk<2ⁿ⁺¹), для которых Тогда в каждом классе $$\int\limits_0^{2^{ - m_n } } {\left| {D_k (t)} \right|dt \geqq AL_k } $$ найдется функция f, т акая, что $$\mathop {\lim \inf }\limits_{k \in \mathop \cup \limits_n M_n } \frac{{\left\| {f - S_k (f)} \right\|}}{{\omega (1/k)L_k }} \geqq B(A) > 0$$      

Some results on starlike trees and sunlike graphs

A tree is called starlike if it has exactly one vertex of degree greater than two. In [4] it was proved that two starlike treesG andH are cospectral if and only if they are isomorphic. We prove here that there exist no two non-isomorphic Laplacian cospectral starlike trees. Further, letG be a simple graph of ordern with vertex setV(G)={1,2, …,n} and letH={H ₁,H ₂, ...H _n } be a family of rooted graphs. According to [2], the rooted productG(H) is the graph obtained by identifying the root ofH _i with thei-th vertex ofG. In particular, ifH is the family of the paths $P_{k_1 } , P_{k_2 } , ..., P_{k_n } $ with the rooted vertices of degree one, in this paper the corresponding graphG(H) is called the sunlike graph and is denoted byG(k ₁,k ₂, …,k _n ). For any (x ₁,x ₂, …,x _n ) ∈I _* ⁿ , whereI _*={0,1}, letG(x ₁,x ₂, …,x _n ) be the subgraph ofG which is obtained by deleting the verticesi ₁, i₂, …,i _j ∈ V(G) (0≤j≤n), provided that $x_{i_1 } = x_{i_2 } = ... = x_{i_j } = 0$ . LetG(x ₁,x ₂,…, x _n] be the characteristic polynomial ofG(x ₁,x ₂,…, x _n ), understanding thatG[0, 0, …, 0] ≡ 1. We prove that $$G[k_1 , k_2 ,..., k_n ] = \Sigma _{x \in ^{I_ * ^n } } \left[ {\Pi _{i = 1}^n P_{k_i + x_i - 2} (\lambda )} \right]( - 1)^{n - (\mathop \Sigma \limits_{i = 1}^n x_i )} G[x_1 , x_2 , ..., x_n ]$$ where x=(x ₁,x ₂,…,x _n );G[k ₁,k ₂,…,k _n ] andP _n (γ) denote the characteristic polynomial ofG(k ₁,k ₂,…,k _n ) andP _n , respectively. Besides, ifG is a graph with λ₁(G)≥1 we show that λ₁(G)≤λ₁(G(k ₁,k ₂, ...,k _n )) < for all positive integersk ₁,k ₂,…,k _n , where λ₁ denotes the largest eigenvalue.     

Identities for Bernoulli polynomials and Bernoulli numbers

We prove that if m and \({\nu}\) are integers with \({0 \leq \nu \leq m}\) and x is a real number, then

1. $$\sum_{k=0 \atop k+m \, \, odd}^{m-1} {m \choose k}{k+m \choose \nu} B_{k+m-\nu}(x) = \frac{1}{2} \sum_{j=0}^m (-1)^{j+m} {m \choose j}{j+m-1 \choose \nu} (j+m) x^{j+m-\nu-1},$$ where B _n (x) denotes the Bernoulli polynomial of degree n. An application of (1) leads to new identities for Bernoulli numbers B _n . Among others, we obtain
2. $$\sum_{k=0 \atop k+m \, \, odd}^{m -1} {m \choose k}{k+m \choose \nu} {k+m-\nu \choose j}B_{k+m-\nu-j} =0 \quad{(0 \leq j \leq m-2-\nu)}. $$ This formula extends two results obtained by Kaneko and Chen-Sun, who proved (2) for the special cases j = 1, \({\nu=0}\) and j = 3, \({\nu=0}\) , respectively.

     

The formal translation equation for iteration groups of type II

We investigate the translation equation $$F(s+t, x) = F(s, F(t, x)),\quad \quad s,t\in{\mathbb{C}},\qquad\qquad\qquad\qquad({\rm T})$$ in ${\mathbb{C}\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right]}$ , the ring of formal power series over ${\mathbb{C}}$ . Here we restrict ourselves to iteration groups of type II, i.e. to solutions of (T) of the form ${F(s, x) \equiv x + c_k(s)x^k {\rm mod} x^{k + 1}}$ , where k ≥ 2 and c _k ≠ 0 is necessarily an additive function. It is easy to prove that the coefficient functions c _n (s) of $$F(s, x) = x + \sum_{n \ge q k}c_n(s)x^n$$ are polynomials in c _k (s). It is possible to replace this additive function c _k by an indeterminate. In this way we obtain a formal version of the translation equation in the ring ${(\mathbb{C}[y])\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right]}$ . We solve this equation in a completely algebraic way, by deriving formal differential equations or an Aczél–Jabotinsky type equation. This way it is possible to get the structure of the coefficients in great detail which are now polynomials. We prove the universal character (depending on certain parameters, the coefficients of the infinitesimal generator H of an iteration group of type II) of these polynomials. Rewriting the solutions G(y, x) of the formal translation equation in the form ${\sum_{n\geq 0}\phi_n(x)y^n}$ as elements of ${(\mathbb{C}\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right])\left[\kern-0.15em\left[{y}\right]\kern-0.15em\right]}$ , we obtain explicit formulas for ${\phi_n}$ in terms of the derivatives H ^(j)(x) of the generator ${H}$ and also a representation of ${G(y, x)}$ as a Lie–Gröbner series. Eventually, we deduce the canonical form (with respect to conjugation) of the infinitesimal generator ${H}$ as x ^k + hx ^2k-1 and find expansions of the solutions ${G(y, x) = \sum_{r\geq 0} G_r(y, x)h^r}$ of the above mentioned differential equations in powers of the parameter h.     

Subsets of PG(n,2) and Maximal Partial Spreads in PG(4,2)

Put θ _n = # {points in PG(n,2)} and φ _n = #{lines in PG(n,2)}. Let ψ be anypoint-subset of PG(n,2). It is shown thatthe sum of L = #{internal lines of ψ} and L′= #{external lines of ψ} is the same for all ψ having the same cardinality:[6pt] Theorem A If k is defined by k = |ψ| ? θ _{n ? 1}, then $$L + L' = \phi _{n - 1} + k(k - 1)/2.$$ (The generalization of this to subsets of PG(n,3) is also obtained.) Let $\mathcal{S}$ be a partial spreadof lines in PG(4,2) and let N denote the number of reguli contained in $\mathcal{S}$ .Use of Theorem A gives rise to a simple proof of:[6pt] Theorem B If $\mathcal{S}$ is maximal then one of the followingholds: (i) $\left| \mathcal{S} \right| = 5,{\text{ }}N = 10;{\text{ }}$ (ii) $\left| \mathcal{S} \right| = 7,{\text{ }}N = 4;{\text{ }}$ (iii) $\left| \mathcal{S} \right| = 9,{\text{ }}N = 4.$ If (i) holds then $\mathcal{S}$ is spread in a hyperplane.It is shown that possibility (ii) is realized by precisely threeprojectively distinct types of partial spread. Explicit examplesare also given of four projectively distinct types of partialspreads which realize possibility (iii). For one of these types,type X, the four reguli have a common line. It isshown that those partial spreads in PG(4,2) of size 9 which arise, by a simple construction, from a spreadin PG(5,2), are all of type X.