SNIC
SUPR
SNIC SUPR
Lower bounds of the measure of conjugacies
Dnr:

SNIC 2018/8-38

Type:

SNAC Small

Principal Investigator:

Alejandro Luque

Affiliation:

Uppsala universitet

Start Date:

2018-01-19

End Date:

2019-02-01

Primary Classification:

10101: Mathematical Analysis

Webpage:

Allocation

Abstract

A well known application of KAM theory stablishes conditions for a circle map to be conjugated to a rigid rotation. This projects aims for a computer-assisted proof to obtain rigorous upper and lower bounds for the Lebesgue measure of the set of parameters giving such conjugations. This result is expected to become a major and pioneering contribution in the field, since current methods do not allow to obtain measure estimates for fixed values of parameters (only asymptotic bounds).