Deep learning estimation of the spectral density of functional time series on large domains