“David their king.” Here in Jeremiah 30:9, the Messiah is called “David.” This is the figure of speech antonomasia, “name change,” where a person is called by a name other than his or her own name in order to import characteristics from the other person. David was a well-known type of Christ, and the Bible calls the Messiah, Jesus Christ, by the name of “David” in Jeremiah 30:9; Ezekiel 34:23, 24; 37:24, 25, and Hosea 3:5 (see commentary on Ezek. 34:23).
[For a more complete explanation of the Messiah being called “David,” see commentary on Ezekiel 34:23.]