OptimizingNeuralNetworksviaKoopmanOperator Theory