I doubt the 10krpm drives will actually rev down to 7200 rpm, but the controller will divide I/O equally among the drives meaning the 7200 drives will be expected to handle the same load as the 10krpm drives. Performance will not be optimal, but it will work.
/charles