Hola, podes usar un regulador del tipo LM7809 que puede ser alimentado hasta 30V aprox., con eso tenes tus 9V, ahoraun factor a tener en cuenta, es la carga que pongas a la salida, un LM7809 comun soporta hasta 500-750mA, pero si tenes una carga mayor podes utilizar el mismo tipo de regulador pero 1.5A por ejemplo, solo varia la ultima parte del codigo del IC, LM7809-xxx por ejemplo, busca bien cual te sirve. saludos