Firstly i would like to say that unlike windows if a file is deleted in Linux it cannot be retrieved.
I can see that you have used mv "$file" "${file/*.jpg/$$$.jpg}" , $$ in Linux refers to the PID of the process and in your case it would refer to the PID of the bash process which will be the same in each case. Therefore a single file with the name PID$.jpg will be created i.e if your bash PID is 1234 the the file created will be 1234$.jpg and with each iteration the same file will be re-written.
I hope this makes sense.
If you wanted to write a script which would rename each file concatenated with the bash process id the below might be helpful. But test it once before you use it in production.
for file in *.jpg
do
mv "$file" `echo $file | awk -F "." '{print $1}'`.$$.jpg
done