# On doubly universal functions

## TL;DR

This paper provides a new proof for the existence of power series with universal approximation properties related to partial sums, extending to infinitely differentiable functions, and analyzes their genericity and limitations.

## Contribution

It offers a new proof avoiding potential theory, establishes algebraic genericity of such power series, and explores the case of doubly universal infinitely differentiable functions.

## Key findings

- Existence of power series with universal approximation properties.
- Algebraic genericity of the set of such power series.
- Cesàro means of partial sums are not frequently universal.

## Abstract

Let $(\lambda\_n)$ be a strictly increasing sequence of positive integers. Inspired by the notions of topological multiple recurrence and disjointness in dynamical systems, Costakis and Tsirivas have recently established that there exist power series $\sum\_{k\geq 0}a\_kz^k$ with radius of convergence 1 such that the pairs of partial sums $\{(\sum\_{k=0}^na\_kz^k,\sum\_{k=0}^{\lambda\_n}a\_kz^k): n=1,2,\dots\}$ approximate all pairs of polynomials uniformly on compact subsets $K\subset\{z\in\mathbb{C} :| z|\textgreater{}1\},$ with connected complement, if and only if $\limsup\_{n}\frac{\lambda\_n}{n}=+\infty.$ In the present paper, we give a new proof of this statement avoiding the use of advanced tools of potential theory. It allows to obtain the algebraic genericity of the set of such power series and to study the case of doubly universal infinitely differentiable functions. Further we show that the Ces\`aro means of partial sums of power series with radius of convergence 1 cannot be frequently universal.