Geometry of Lipschitz mappings
Lead Research Organisation:
University of Birmingham
Department Name: School of Mathematics
Abstract
Non-differentiable functions and deformations have become essential in a wide range of applications of today's Mathematical Analysis, from understanding the motion of fluids to controlling robots and modelling stock exchange prices. An important class of functions that model distortions and deformations are Lipschitz maps. One of the key problems in studying the local behaviour of Lipschitz maps is whether they look like affine or smooth ones close to some points, or even close to many points. The goal of the proposed research is to contribute to the solution of such key open problems. The research will employ new geometric constructions and methods; for instance, it is proposed that one can form a set consisting of points distributed so sparsely that they almost avoid any curve, yet any Lipschitz map will look like a smooth map (be differentiable) at a typical point of this 'thin' set. This will in particular lead to a solution of a long-standing open question in geometric measure theory.
Planned Impact
The proposed research will have impact in several areas over different time periods. One of the most immediate benefits of the programme will be the advancement in the area of mathematics known as geometric nonlinear functional analysis and in research fields where the theory of Lipschitz functions plays a significant role - PDE, calculus of variations, optimal control. Thus both the results and the methodology of the proposed research will be of broad appeal to pure and applied mathematicians. Alongside the impact on knowledge, great benefits will be brought about by training the research assistant. As part of the training, the RA will write research papers, regularly give seminars and attend conferences. Another avenue of impact, also in the near future - in the next 5 years - would be to generate interest in the United Kingdom and beyond in the proposed research field. It is expected that the results of this programme will attract the attention of researchers working in different fields such as ergodic theory, partial differential equations and combinatorics. It is anticipated that as this research area takes off in the United Kingdom, more job openings and research positions in the field will appear. The proposer intends to use regular meetings of the Analysis Working Group in the University of Birmingham for presenting most recent achievements and to use the ongoing Analysis Seminar series in Birmingham which the proposer will be organising this academic year. She would also draw on the experience of experts at Birmingham for generating contacts in different fields. It is proposed to use the grant's travel budget to disseminate results of the project via conferences in US, Europe and the UK and departmental seminars. A final and very important longer term goal is to raise the profile of the United Kingdom itself in the research fields of geometric nonlinear functional analysis and nonlinear Banach space theory. It is anticipated that this will be achieved to some extent in the next 5-10 years; by generating results that interest world class experts, by the new questions that arise from them and the new avenues of exploration they open, and by proposing international collaborations. For the latter, the proposer already has contacts in the USA, France, Israel, the Czech Republic and Italy, who would be interested in inviting her as a visiting researcher. She would also present her work on the international arena in conferences and extended workshops. For 10 years from now and beyond the proposer expects to see new research groups in the UK arise in this area, who will actively contribute to research at national and international level.
Organisations
People |
ORCID iD |
Olga Maleva (Principal Investigator) |
Publications

Doré M
(2012)
A compact universal differentiability set with Hausdorff dimension one
in Israel Journal of Mathematics

Doré M
(2011)
A universal differentiability set in Banach spaces with separable dual
in Journal of Functional Analysis

Doré M
(2010)
A compact null set containing a differentiability point of every Lipschitz function
in Mathematische Annalen
Description | It was planned to investigate very small compact subsets of final-dimensional spaces, especially those whose dimension is equal to 1, in order to show that not all of such sets can form sets of non-differentiability points for a Lipschitz function. This task has been completed; the results are published in two joint research articles by the PI and the PDRA in Mathematische Annalen and the Israel Journal of Mathematics. Another task to find infinite-dimensional generalisations was completed, by discovering that all Asplund infinite-dimensional spaces contain totally disconnected closed bounded universal differentiability subsets of dimension 1. This result is published in the joint research article by the PI and the PDRA in the Journal of Functional Analysis. It has also been planned to investigate case of Lipschitz mappings with the dimension d of codomain at least 2. Partial results have been obtained in this direction. Namely, the case d=2 has been treated, and a further publication is being prepared. |
Exploitation Route | The results of the present research will primarily be used in an academic context. Non-differentiable functions and deformations have become essential in a wide range of applications of today's Mathematical Analysis, from understanding the motion of fluids to controlling robots and modelling stock exchange prices. An important class functions that model such changes and distortions and deformations are Lipschitz maps. One of the key problems in studying the local behaviour of Lipschitz maps is whether they look like affine ones close to some points, or even close to many points. It was known before that Lipschitz functions defined on finite-dimensional spaces are differentiable almost everywhere with respect to the volume (Lebesgue measure). The research undertaken in the present project has shown that in addition to this, inside every bounded cube, there are sets of 0 volume that capture points of differentiability of every Lipschitz function. These sets were even made of dimension 1 and such that they do not contain a single curve. Inifinite-dimensional generalisations have also been obtained. These findings are very important as finite-dimensional and infinite-dimensional spaces can represent spaces of data from many topics as discussed above.The results of the project have also implications in the areas of mathematics known as Geometric functional analysis and Geometric measure theory, and in research fields where the theory of Lipschitz functions plays a significant role - PDE, calculus of variations, optimal control. |
Sectors | Education |