On the classification of conditionally integrable evolution systems in (1 + 1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1 + 1)-dimensional evolution equations of order n that admit an N-shock-type solution with N ≤ n + 1. For this, we develop a refinement of the technique from our earlier work, where we completely characterized all (1+1)-dimensional evolution systems u _t = F (x, t, u, ?u/?x,..., ?ⁿ u/? x ⁿ) that are conditionally invariant under a given generalized (Lie-Bäcklund) vector field Q(x, t, u, ?u/?x,..., ?^k u/?x ^k)?/?u under the assumption that the system of ODEs Q = 0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in t, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Weighted restriction theorems for Bessel potentials

Пустьk-мерное евклид ово пространствоR ^k рассматривается как подмножествоR ⁿ . Зафиксируемр, 1<р<∞ иα >(n?k)/p, α≠п. Как обычно, бесселев потенциалJαf обобщенной функции Шварцаf наR ⁿ определяется с помощ ью ее преобразования Фурь е \((\widehat{G_\alpha f})(\xi ) = (2\pi )^{ - n/2} [1 + |\xi |^2 ]^{\alpha /2} f(\xi ), \xi \in R^n .B\) , ξ∈R ⁿ . В работе характ еризуются положител ьные весовые функцииw(x ₁,...,x _k ), которые при продолжении наR ⁿ с помощью равенстваw(x ₁,...,x _k ,...,x _n )=w(x ₁, ...,x _k ) обладают с ледующим свойством: существует числос>0, не зависящее отf, такое, что $$\begin{gathered} \int\limits_{R^k } {|(G_\alpha f)(x_1 ,...,x_k ,0,...,0)w(x_1 ,...,x_k )|^p dx_1 ...dx_k \leqq } \hfill \\ \leqq C\int\limits_{R^n } {|f(x_1 ,...,x_n )w(x_1 ,...,x_n )|^p dx_1 ...dx_n } \hfill \\ \end{gathered} $$      

Singular series in the problem of the representation of a system of numbers by a system of forms

A system of Diophantine equations is considered for integers n₁,...,₂, $$\phi ^{\left( k \right)} \left( {x_1 , \ldots ,x_s } \right) = n_k \left( {k = 1, \ldots ,2} \right)$$ , Ф^(k)(x₁,...,x_s)=n_k (k=1,...,ρ), where Ф^(k) are integral forms of degree d is s variables. The singular integral and singular series of this problem are investigated.     

An Erdös-Ko-Rado theorem for the subcubes of a cube

LetP be that partially ordered set whose elements are vectors x=(x ₁, ...,x _n ) withx _i ε {0, ...,k} (i=1, ...,n) and in which the order is given byx≦y iffx _i =y _i orx _i =0 for alli. LetN _i (P)={x εP : |{j:x _j ≠ 0}|=i}. A subsetF ofP is called an Erdös-Ko-Rado family, if for allx, y εF it holdsx ≮y, x ≯ y, and there exists az εN ₁(P) such thatz≦x andz≦y. Let ? be the set of all vectorsf=(f ₀, ...,f _n ) for which there is an Erdös-Ko-Rado familyF inP such that |N _i (P) ∩F|=f _i (i=0, ...,n) and let 〈?〉 be its convex closure in the (n+1)-dimensional Euclidean space. It is proved that fork≧2 (0, ..., 0) and \(\left( {0,...,0,\overbrace {i - component}^{\left( {\begin{array}{*{20}c} {n - 1} \\ {i - 1} \\ \end{array} } \right)}k^{i - 1} ,0,...,0} \right)\) (i=1, ...,n) are the vertices of 〈?〉.     

On diophantine equations of the form {({\boldsymbol x}-{\boldsymbol a}_{\bf 1})({\boldsymbol x}-{\boldsymbol a}_{\bf 2}) \ldots ({\boldsymbol x}-{\boldsymbol a}_{\boldsymbol k}) + {\boldsymbol r} = {\boldsymbol y}^{ \boldsymbol n}}

Erd?s and Selfridge [3] proved that a product of consecutive integers can never be a perfect power. That is, the equation x(x?+?1)(x?+?2)...(x?+?(m???1))?=?y ⁿ has no solutions in positive integers x,m,n where m, n?>?1 and y?∈?Q. We consider the equation $$ (x-a_1)(x-a_2) \ldots (x-a_k) + r = y^n $$ where 0?≤?a ₁?<?a ₂?<???<?a _k are integers and, with r?∈?Q, n?≥?3 and we prove a finiteness theorem for the number of solutions x in Z, y in Q. Following that, we show that, more interestingly, for every nonzero integer n?>?2 and for any nonzero integer r which is not a perfect n-th power for which the equation admits solutions, k is bounded by an effective bound.     

The exact asymptotic of the collision time tail distribution for independent Brownian particles with different drifts

In this note we consider the time of the collision τ for n independent Brownian motions X ¹ _t ,...,X _t ⁿ with drifts a ₁,...,a _n , each starting from x = (x ₁,...,x _n ), where x ₁ < ... < x _n . We show the exact asymptotics of ${\mathbb{P}}_{\bf x}(\tau > t) = Ch({\bf x})t^{-\alpha} {\rm e}^{-\gamma t}(1 + o(1))$ as t → ∞ and identify C, h(x), α, γ in terms of the drifts.     

Iterative hyperidentities for theA n,m varieties of semigroups

Iterative hyperidentities are hyperidentities of the special formF ^a (x ₁,...,x _k =F ^a+b (x ₁,...,x _k ). This type of hyperidentity has been considered by Denecke and Pöschel, and by Schweigert. Here we consider iterative hyperidentities for the variety A_n,m of commutative semigroups satisfyingx ⁿ =x ^n+m ,n,m 1. We introduce two parameters(m, n) and(m) associated withn andm, and show thatA _nn,m satisfies the iterative hyperidentitiesF (x ₁,...,x _k =F ^+b (x ₁,...,x _k ) for every arityk. Moreover, the numbers and are minimal, making these hyperidentities irreducible in the sense of Schweigert. We also show how these hyperidentities for A_n,m may be used to prove that no non-trivial proper variety of commutative semigroups can have a finite hyperidentity basis.Presented by W. Taylor.Research supported by NSERC of Canada     

Extremal property of some surfaces in n-dimensional Euclidean space

A surface Γ=(f ₁(X₁,..., x_m),...,f _n(x₁,..., x_m)) is said to be extremal if for almost all points of Γ the inequality $$\parallel a_1 f_1 (x_1 , \ldots ,x_m ) + \ldots + a_n f_n (x_1 , \ldots ,x_m )\parallel< H^{ - n - \varepsilon } ,$$ , where H=max(¦a _i¦) (i=1, 2, ..., n), has only a finite number of solutions in the integersa ₁, ...,a _n. In this note we prove, for a specific relationship between m and n and a functional condition on the functionsf ₁, ...,f _n, the extremality of a class of surfaces in n-dimensional Euclidean space.     

On the exactness of certain inequalities in approximation theory

We prove the following: for every sequence {F_v}, F_v ? 0, F_v > 0 there exists a functionf such that

1. E_n(f)?F_n (n=0, 1, 2, ...) and
2. A_kn^?k? _v=1 ⁿ v^k?1 F_v?1?Ω_k (f, n^?1) (n=1, 2, ...).

     

Siegel’s Lemma and Sum-Distinct Sets

Let L(x)=a ₁ x ₁+a ₂ x ₂+???+a _n x _n , n≥2, be a linear form with integer coefficients a ₁,a ₂,…,a _n which are not all zero. A basic problem is to determine nonzero integer vectors x such that L(x)=0, and the maximum norm ‖x‖ is relatively small compared with the size of the coefficients a ₁,a ₂,…,a _n . The main result of this paper asserts that there exist linearly independent vectors x ₁,…,x _n?1∈? ⁿ such that L(x _i )=0, i=1,…,n?1, and $$\|{\mathbf{x}}_{1}\|\cdots\|{\mathbf{x}}_{n-1}\|<\frac{\|{\mathbf{a}}\|}{\sigma_{n}},$$ where a=(a ₁,a ₂,…,a _n ) and $$\sigma_{n}=\frac{2}{\pi}\int_{0}^{\infty}\left(\frac{\sin t}{t}\right)^{n}\,dt.$$ This result also implies a new lower bound on the greatest element of a sum-distinct set of positive integers (Erdös–Moser problem). The main tools are the Minkowski theorem on successive minima and the Busemann theorem from convex geometry.     

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.     

Uniform and mean approximation by certain weighted polynomials,with applications

LetW(x):= exp(-{tiQ(x})), where, for example, Q(x) is even and convex onR, and Q(x)/logx → ∞ asx → ∞. A result of Mhaskar and Saff asserts that ifa _n =a _n (W) is the positive root of the equation $$n = ({2 \mathord{\left/ {\vphantom {2 \pi }} \right. \kern-\nulldelimiterspace} \pi })\int_0^1 {{{a_n xQ'(a_n x)} \mathord{\left/ {\vphantom {{a_n xQ'(a_n x)} {\sqrt {1 - x^2 } }}} \right. \kern-\nulldelimiterspace} {\sqrt {1 - x^2 } }}dx,}$$ then, given any polynomialP _n(x) of degree at mostn, the sup norm ofP _n(x)W(a _n x) overR is attained on [-1, 1]. In addition, any sequence of weighted polynomials {p _n (x)W(a _n x)} ₁ ^∞ that is uniformly bounded onR will converge to 0, for ¦x¦>1. In this paper we show that under certain conditions onW, a function g(x) continuous inR can be approximated in the uniform norm by such a sequence {p _n (x)W(a _n x)} ₁ ^∞ if and only if g(x)=0 for ¦x¦? 1. We also prove anL _p analogue for 0W(x)=exp(?|x| ^α ), when α >1. Further applications of our results are upper bounds for Christoffel functions, and asymptotic behavior of the largest zeros of orthogonal polynomials. A final application is an approximation theorem that will be used in a forthcoming proof of Freud's conjecture for |x| ^p exp(?|x| ^α ),α > 0,p > ?1.     

Right inverses for linear, constant coefficient partial differential operators on distributions over open half spaces

Results of Hörmander on evolution operators together with a characterization of the present authors [Ann. Inst. Fourier, Grenoble 40, 619–655 (1990)] are used to prove the following: Let P ∈ ?[z₁,...,z _n ] and denote by P _m its principal part. If P ? P_m is dominated by P _m then the following assertions for the partial differential operators P(D) and P _m(D) are equivalent for N ∈ S ^n?1:

1. P(D) and/or P_m D)admit a continuous linear right inverse on C ^∞(H ₊(N)).
2. P(D) admits a continuous linear right inverse on C ^∞ (? ⁿ ) and a fundamental solution E ∈ C ^∞(?ⁿ) satisfying Supp $E \subset \overline {H - (N)} $

where H ₊(N) := {x ∈ ? ⁿ :±(x,N) τ; 0}.     

The proof of a conjecture concerning the intersection of k-generalized Fibonacci sequences

For k ≥ 2, the k-generalized Fibonacci sequence (F _n ^(k) ) _n is defined by the initial values 0, 0, …, 0,1 (k terms) and such that each term afterwards is the sum of the k preceding terms. In 2005, Noe and Post conjectured that the only solutions of Diophantine equation F _m ^(k) = F _n ^(?) , with ? > k > 1, n > ? + 1, m > k + 1 are $(m,n,\ell ,k) = (7,6,3,2)and(12,11,7,3)$ . In this paper, we confirm this conjecture.     

Distribution of roots of quasianalytic functions

For functions of certain quasianalytic classes C{m_n} on (?∞, ∞) we determine a function ξ (x), depending on {m_n}, which is such that a sequence {x_k} is a sequence of the roots off(x) ε C{m_n} if and only if for somea $$\int_a^\infty {\tfrac{{dn(x)}}{{\xi (x - a}}< \infty ,} $$ where n(x) is a distribution function of the sequence {x_k}.     

Partial integrability of Hamiltonian systems with homogeneous potential

In this paper we consider systems with n degrees of freedom given by the natural Hamiltonian function of the form $$ H = \frac{1} {2}p^T Mp + V(q), $$ where q = (q ₁, …, q _n ) ∈ ? ⁿ , p = (p ₁, …, p _n ) ∈ ? ⁿ , are the canonical coordinates and momenta, M is a symmetric non-singular matrix, and V (q) is a homogeneous function of degree k ∈ ?*. We assume that the system admits 1 ? m < n independent and commuting first integrals F ₁, … F _m . Our main results give easily computable and effective necessary conditions for the existence of one more additional first integral F _m+1 such that all integrals F ₁, … F _m+1 are independent and pairwise commute. These conditions are derived from an analysis of the differential Galois group of variational equations along a particular solution of the system. We apply our result analysing the partial integrability of a certain n body problem on a line and the planar three body problem.     

A functional equation arising in multi-agent statistical decision theory

Using recent results of Járai we show that the measurable solutions of the functional equationf(x ₁ y ₁,...,x _n y _n )f((1?x ₁)(1?y ₁),..., (1?x _n )(1?y _n ))=f(x ₁(1?y ₁),...,x _n (1 ? (y _n ))f(y ₁(1?x ₁),...,y _n(1 ?x _n )), wheref: (0, 1) ⁿ → (0, ∞) and 0<x _i ,y _i <1,i=1,...,n, are of the form $$f(x_1 ,...,x_n ) = c \exp \left( {\sum\limits_{i = 1}^n {a_i (x_1 - x_1^2 ))} \prod\limits_{i = 1}^n {x_i^{b_1 } ,} } \right.$$ wherec>0,a ₁,...,a _n andb ₁,..., _b are arbitrary real constants. This result enables one to characterize certain independence-preserving methods of aggregating probability distributions over four alternatives.     

The Zygmund Morse-Sard Theorem

The classical Morse-Sard Theorem says that the set of critical values off:R ^n+k →R ⁿ has Lebesgue measure zero iff ∈C ^k+1. We show theC ^k+1 smoothness requirement can be weakened toC ^k+Zygmund. This is corollary to the following theorem: For integersn >m >r > 0, lets = (n ?r)/(m ?r); iff:R ⁿ →R ^m belongs to the Lipschitz class Λ _s andE is a set of rankr forf, thenf(E) has measure zero.     

K 0 of hypersurfaces defined by x 1 2 + ... + x n 2 = ±1

Let k be a field of characteristic ≠ 2 and let Q _n,m (x ₁, ..., x _n , y ₁, ..., y _m ) = x ₁ ² +...+x _n ² ? (y ₁ ² +...+y _m ² ) be a quadratic form over k. Let R(Q _n,m ) = R _n,m = k[x ₁, ..., x _n , y ₁, ..., y _m ]/(Q _n,m ? 1). In this note we will calculate $\tilde K_0 \left( {R_{n,m} } \right)$ for every n,m ≥ 0. We will also calculate CH ₀(R _n,m ) and the Euler class group of R _n,m when k = ?.