No individual results were published for this edition — problems and solutions only.
Problems
Day 1
Let for , , where , are fixed real numbers. Put Calculate , where denotes the determinant of .
Evaluate the definite integral where is a natural number.
The linear operator on the vector space is called an involution if where is the identity operator on . Let .
(i) Prove that for every involution on there exists a basis of consisting of eigenvectors of .
(ii) Find the maximal number of distinct pairwise commuting involutions on .
Let , for . Show that
(i) ;
(ii) .
(i) Let , be real numbers such that and for every in . Prove that
(ii) Let be a function with a continuous second derivative and let for every in . Suppose that exists and . Prove that has a constant sign and .
Upper content of a subset of the plane is defined as where is taken over all finite families of sets , , in such that .
Lower content of is defined as
\end{align*} Show that
(a) if is a closed line segment;
(b) ;
(c) the equality in (b) needs not hold even if is compact.
Hint. If where is the triangle with vertices , and , and is its reflexion about the -axis, then .
Remarks: All distances used in this problem are Euclidian. Diameter of a set is . Contraction of a set to a set is a mapping such that for all . A set can be contracted onto a set if there is a contraction of to which is onto, i.e., such that . Triangle is defined as the union of the three segments joining its vertices, i.e., it does not contain the interior.
Day 2
Prove that if is a continuous function, then the sequence of iterates converges if and only if
Let be a positive real number and let denote the hyperbolic cosine. Show that if and both and are rational, then so is .
Let be the subgroup of , generated by and , where Let consist of those matrices in for which .
(a) Show that is an abelian subgroup of .
(b) Show that is not finitely generated.
Remarks. denotes, as usual, the group (under matrix multiplication) of all invertible matrices with real entries (elements). Abelian means commutative. A group is finitely generated if there are a finite number of elements of the group such that every other element of the group can be obtained from these elements using the group operation.
Let be a bounded closed convex symmetric (with respect to the origin) set in with boundary the curve . Let have the property that the ellipse of maximal area contained in is the disc of radius 1 centered at the origin with boundary the circle . Prove that for any arc of of length .
(i) Prove that
(ii) Prove that there is a positive constant such that for every we have
(Carleman's inequality)
(i) Prove that for every sequence , such that , and , we have where is the natural log base.
(ii) Prove that for every there exists a sequence , such that , , and