Amplitude maximization in stable systems, Schur positivity, and some conjectures on polynomial interpolation

TL;DR

This paper investigates the maximum amplitude of solutions to linear difference equations with roots in a disk, revealing that boundary roots maximize amplitude and connecting the problem to Schur positivity and polynomial interpolation.

Contribution

It establishes that roots on the boundary maximize amplitude, explicitly solves the peak amplitude problem, and links the solution to Schur positivity and polynomial interpolation theory.

Findings

Maximum amplitude achieved with roots on the boundary circle

Explicit solution for peak amplitude using polynomial (z - r)^n

Schur positivity structure underpins the interpolation problem

Abstract

For $r > 0$ and integers $t \ge n > 0$, we consider the following problem: maximize the amplitude $|x_t|$ at time $t$, over all complex solutions $x = (x_0, x_1, \dots)$ of arbitrary homogeneous linear difference equations of order $n$ with the characteristic roots in the disc $\{z \in \mathbb{C}: |z| \le r\}$, and with initial values $x_0, \dots, x_{n-1}$ in the unit disc. We find that for any triple $t,n,r$, the maximum is attained with coinciding roots on the boundary circle; in particular, this implies that the peak amplitude $\sup_{t \ge n} |x_t|$ can be maximized explicitly, by studying a unique equation with the characteristic polynomial $(z-r)^n$. Moreover, the optimality of the cophase root configuration holds for origin-centered polydiscs. To prove this result, we first reduce the problem to a certain interpolation problem over monomials, then solve the latter by leveraging the theory of symmetric functions and identifying the associated Schur positivity structure. We also discuss the implications for more general Reinhardt domains. Finally, we study the problem of estimating the derivatives of a real entire function from its values at $n/2$ pairs of complex conjugate points in the unit disc. We propose conjectures on the extremality of the monomial $z^n$, and restate them in terms of Schur polynomials.