Mathematical Investigation of Static Pattern Formation with a Locally Active Memristor Model