BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Jean-Pierre Kahane contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In 1997 H.G.Diamond gave a condition on Beurling's generalized prime numbers in order that the corresponding generalized integers have a density. We give a new proof of this condition (Theorem 1) and a proof that it is not necessary (Theorem 2 and Examples). However, it is very near to be necessary (Theorem 3). Both proofs of Theorems 1 and 2 rely on Fourier analysis, mainly the Wiener algebra, and partly on probability methods.
Euler wrote a formula expressing that l(n)/n is a completely multiplicative function with sum 0 (a CMO function) , where l(n) is the completely multiplicative function equal to -1 on the prime numbers (the Liouville function). We extend this formula to Beurling generalized numbers, using a result of Diamond. As an application we show how to construct a CMO function carried by a set of integers whose counting function is of the form D x^a (1+o(1) ) for any a between 0 and 1.
Completely multiplicative functions whose sum is zero ($CMO$).The paper deals with $CMO$, meaning completely multiplicative ($CM$) functions $f$ such that $f(1)=1$ and $\sum\limits\_1^\infty f(n)=0$. $CM$ means $f(ab)=f(a)f(b)$ for all $(a,b)\in \N^{*2}$, therefore $f$ is well defined by the $f(p)$, $p$ prime. Assuming that $f$ is $CM$, give conditions on the $f(p)$, either necessary or sufficient, both is possible, for $f$ being $CMO$ : that is the general purpose of the authors.The $CMO$ character of $f$ is invariant under slight modifications of the sequence $(f(p))$ (theorem 3). The same idea applies also in a more general context (theorem 4).After general statements of that sort, including examples of $CMO$ (theorem 5), the paper is devoted to "small" functions, that is, functions of the form $\frac{f(n)}{n}$, where the $f(n)$ are bounded. Here is a typical result : if $|f(p)|\le 1$ and $Re\, f(p)\le0$ for all $p$, a necessary and sufficient condition for $\big(\frac{f(n)}{n}\big)$ to be $CMO$ is $\sum \, Re\, f(p)/p=-\infty$ (theorem 8). Another necessary and sufficient condition is given under the assumption that $|1+f(p)|\le 1$ and $f(2)\not=-2$ (theorem 7). A third result gives only a sufficient condition (theorem 9). The three results apply to the particular case $f(p)=-1$, the historical example of Euler.Theorems 7 and 8 need auxiliary results, coming either from the existing literature (Halász, Montgomery--Vaughan), or from improved versions of classical results (Ingham, Skał ba) about $f(n)$ under assumptions on the $f*1(n)$, * denoting the multiplicative convolution (theorems 10 and 11).
Here is an example of a plane set of vanishing area and consisting of line-segments whose directions cover an angle : let E be a Cantor set of dissection ratio 1/4 (therefore dimension 1/2) carried by the horizontal axis and E' the image of E by an homothetic transformation of ratio 2 whose center is not on the horizontal axis ; the union of the line segments joining E and E' is the set in question. The example was given in 1969 by the author with a wrong proof. The present article contains a short proof based on the projection theorem of Besicovitch, and a long proof resulting from the investigation of the arithmetic, geometric and analytic properties of the horizontal sections of the set. This investigation copies the study by Richard Kenyon of a similar problem. Variations of the construction are provided in the plane and in multidimensional spaces.
Variations on a theorem of Candès, Romberg and Tao The CRT theorem reconstructs a signal from a sparse set of frequencies, a paradigm of Compressed sensing. The signal is assumed to be carried by a small number of points, s, in a large cyclic set, of order N; the frequencies consist of C s log N points chosen randomly in Z/N Z; the reconstruction is based on a minimal extrapolation in the Wiener algebra of Z/N Z of the restriction of the Fourier transform of the signal to the chosen set of frequencies. The probability of reconstructing the signal is nearly 1 when C is large. The statement should be modified when we want all signals carried by s points to be reconstructed in that way. The CRT approach is based on random matrices, here the approach is classical Fourier analysis.
This is the material for two lectures given at Ecole Polytechnique in May 2011 for the math teachers of "classes préparatoires"(parallel to the undergraduate classes in universities). The introduction is a personal overview on Fourier analysis, its history, the terms in use and a few references. The first part is also an overview but on a restricted subject : the link between statistics and Fourier, from Legendre and the role of l^2 to Donoho and the role of l^1. The third part starts from a theorem of Candès, Romberg and Tao on compressive sampling and applies the basic idea to a quite different question : the reconstruction of a function whose unknown spectrum has large gaps from Its restriction to an interval. The description and extention of the method of Candès, Romberg and Tao in Appendix 2 was developed later in a note aux Comptes rendus and an article submitted to Annales de l'Institut Fourier.
Following Candès, Romberg and Tao (IEEE Transactions on Information Theory 20,2 (2006) 489-509) a signal is represented as a function x defined on the cyclic group G = Z / NZ, and assuming that it is carried by a set S consisting of T points, we want to reconstruct x using only a small set W of frequencies. The procedure is the minimal extrapolation of the restriction of the Fourier transform of x to W in the Wiener algebra of the dual of G , and the condition for that to work is a relation between x and W. The note gives conditions on S and W, and conditions on T and W for it to work, and uses random choices in another way than Candès, Romberg and Tao in order to get new results. The idempotent whose Fourier transform is the indicator function of W plays a central role.
Turan's method, as expressed in his books, is a careful study of trigonometric polynomials from different points of view. The present article starts from a problem asked by Turan: how to construct a sequence of real numbers x(j) (j= 1,2,...n) such that the almost periodic polynomial whose frequencies are the x(j) and the coefficients are 1 are small (say, their absolute values are less than n d, d< given) for all integral values of the variable m between 1 and M= M(n,d) ? The best known answer is a random choice of the x(j) modulo 1. Using the random choice as Turan (and before him Erdös and Renyi), we improve the estimate of M (n, d) and we discuss an explicit construction derived from another chapter of Turan's book. The main part of the paper deals with the corresponding problem when R / Z is replaced by Z / NZ, N prime, and m takes all integral values modulo 1 except 0. Then it has an interpretation in signal theory, when a signal is representad by a function on the cyclic goup G = Z / NZ and the frequencies by the dual cyclic group G^ : knowing that the signal is carried by T points, to evaluate the probability that a random choice of a set W of frequencies allows to recover the signal x from the restriction of its Fourier tranform to W by the process of minimal extrapolation in the Wiener algebra of G^(process of Candès, Romberg and Tao). Some random choices were considered in the original article of CRT and the corresponding probabilities were estimated in two preceding papers of mine. Here we have another random choice, associated with occupancy problems.
Jacques Peyrière investigated Riesz products associated with a given set of frequencies and the corresponding coefficients : mutual singularity or absolute continuity of the measures defined by two such products, Hausdorff dimensions of the sets carrying such measures, multifractal analysis. The present expository paper starts from Peyrière's results and give some new ways to investigate the same questions. Since Riesz products are also an essential tool for Sidon sets, the characterisations of Sidon sets by Pisier and Bourgain, using quasi-independent sets, are given and commented. The paper ends with an elementary construction of a <<big>> quasi-independent set. The paper is in French. An introduction, in English, explains why it will not be published in the book to which it was intended to contribute.
The Fourier series of continuous functions of constant absolute value have interesting properties : according to the main theorems of the article, if the coefficients with positive indexes are square-summable with respect to a certain weight (any real positive power of the index), the same is true for negative indexes. The result extends to VMO and does not to bounded measurable functions.
This is an expository talk on a topic of classical analysis, arising from the VMO theory of the topological degree due to Brézis and Nirenberg (1995). We sketch the history of the subject and some of its recent developments. The paper is organized as a sequence of questions. Most of them, in particular the last one, deal with Fourier series of continuous functions of constant absolute value. One of them contains new results on the comparison of summation processes.