Elegantly get list of children processes

Yes, using the -P option of pgrep,

i.e pgrep -P 1234 will get you a list of child process ids.