Agregation 2013 – Analysis – Part 1
This blog just passed 100000 views. Thank you everyone for reading my posts.
L’Agregation is the French contest for students finishing University in order to qualify for the jobs as teachers in highschools and universities. It usually consists of a big problem divided into a few parts with many helping points. Although at the begining it might seem easy, it gets harder as you close to the end. This is just the introduction with notations and the first part. The next parts will come in future posts.
1. Introduction
The object of this problem is the study of some properties of the Muntz spaces (as Banach spaces) and of the functions belonging to these spaces.
The first part establishes some preliminary results to be used from the third part on. The second part is independent of the first one. The third part uses the first two parts. The fourth part is independent of parts two and three with exception of the question 3.a. The fifth part uses only the definitions used in the first part. In the sixth part only the last two questions use the results of the previous parts.
In all the problem we consider vector spaces over . The space is the space of continuous function defined on with complex values endowed with the norm .
We will denote the space of continuous functions on with complex values which are periodic endowed with the sup norm.
For we define the function on by . We denote the vector subspace of containint the trigonometric polynomials (i.e. the subspace spanned by with .
The subspace of containing the even functions will be denoted by and the subspace generated by the functions where will be denoted . These last two subspaces are also endowed with the sup norm.
For and we denote the th Fourier coefficient of :
In all the problem will be a strictly increasing sequence of positive integers. Fpr we define the polynomial function restricted to . We denote the subspace spanned by the sequence of functions and by the closure of in (endowed with the uniform norm).
For a sequence of complex numbers if the limit exists, we denote it by . By default, the product over the empty set is equal to 1.
We recall the theorem of BanachSteinhaus: let be a family of linear continuous applications defined on a Banach space with values in another Banach space such that for every we have . Then we have .
The notation will denote the topological duap of a normed vector space (the space of linear continuous forms on ). Recall the HahnBanach theorem: if is a subspace of a normed vector space then for every there exists such chat and .
We denote by the space of complex sequences which are convergent and by the subspace of the sequences which converge to endowed with the sup norm. Recall that the topological dual of is isomorphic to and that is separable.
2. Part I: Preliminaries
Questions 1,2,3 are independent
1. (a) Prove that exists.
For we define .
(b) Let . Prove that .
In the sequel we denote .
(c) Prove that
(d) Deduce that there exists such that for every we have .
2. Consider a sequence of real numbers which is nonincreasing, convergent, with .
(a) Prove that the sequence converges to .
For a positive integer we denote .
(b) Prove that is finite, its cardinal tends to infinity and that .
(c) Establish that .
(d) Conclude that .
3. Consider the application defined by
where is the limit of .
(a) Prove that is well defined, linear and bijective.
(b) Prove that and are continuous.
Hints: 1. (a) Integrate by parts
(b) Use the identity and create a telescopic sum.
(c) First inequality: . Second inequality: change of variables. Third inequality: and .
(d) Use (c), split the integral in two intervals separated by . The second integral will be a logarithm plus something bounded given by (a).
2. (a) We have
which combined with the convergence of the series proves that is convergent (it is bounded and every two limit points are close enough). If the limit is not zero, then the series is not convergent (comparison with the harmonic series).
(b) Obvious.
(c)
(d) From (c) deduce that which tends to zero by (a) (or use StolzCesaro to prove that the limit of the arithmetic mean of the first terms of a convergent sequence has the same limit as the sequence itself).
3. (a) Obvious
(b) .
In the same way: and obviously .

June 19, 2013 at 9:07 pmAgregation 2013 Analysis Part 3  Beni Bogoşel's blog