$$
- это идентификатор процесса для сам процесс ksh; $ PPID
- это идентификатор процесса его родителя.
Вот документация ksh (93) для специальных параметров (после свертки). Та же информация для ksh88 .
Он используется для создания временных имен с идентификатором процесса.