Infinite-dimensional Carleman linearization, the Lie series and optimal control of non-linear partial differential equations | Synapse