## General information

Course type | AMUPIE |

Module title | Introduction to Formal Analysis |

Language | English |

Module lecturer | prof. dr hab. D. Bugajewski |

Lecturer's email | ddbb@amu.edu.pl |

Lecturer position | Professor |

Faculty | Faculty of Mathematics and Computer Science |

Semester | 2023/2024 (summer) |

Duration | 60 |

ECTS | 6 |

USOS code | 06-DWFAUM0-E |

## Timetable

## Module aim (aims)

The main goal of Formal Analysis is to investigate formal power series and formal Laurent

series as well. Various applications of that series ranging from algebra to classical

analysis. In particular, it is worth to mention here that it has some applications to

the investigation of the boundary convergence behavior of power series.

The main goal of this course is to introduce basic notions and tools using in

Formal Analysis as well as some of its applications.

A particular emphasis will be put on some new achievements of that theory.

## Pre-requisites in terms of knowledge, skills and social competences (where relevant)

One has to have basic knowledge in mathematical analysis. Moreover, some knowledge of basic definitions and facts of functional analysis and metric topology would be also useful.

## Syllabus

Week 1: Definitions and algebraic properties of formal power series.

Week 2: The composition of a formal power series with a nonunit.

Week 3: Right distributive law for composition.

Week 4: General composition of formal power series.

Week 5: General composition of formal power series- continuation.

Week 6: General right distributive law for composition.

Week 7: Calculus of formal power series.

Week 8: Calculus of formal power series- continuation

Week 9: The generalized chain rule.

Week 10: Boundary convergence of regular power series.

Week 11: Boundary convergence of regular power series- continuation.

Week 12: Topology on the space of formal power series

Week 13: Basic algebra of formal Laurent series.

Week 14: Composition of formal Laurent series and formal power series.

Week 15: Topology on the space of formal Laurent series.

## Reading list

X. -X. Gan, Selected Topics of Formal Analysis, Lecture Notes in Nonlinear Analysis, to appear

D. Bugajewski and X. -X. Gan, A note on formal power series, Commentationes Mathematicae Universitatis Carolinae 51(4)(2010), 595-604

D. Bugajewski and X. -X. Gan, On formal Laurent series, Bulletin of the Brazilian Mathematical Society, New Series 42(3)(2011), 415-437