Ho corretto il codice in questo modo, ma non funziona lo stesso:

windows.onload = function mobile() {
if(
navigator.userAgent.match(/Android/i) ||
navigator.userAgent.match(/webOS/i) ||
navigator.userAgent.match(/iPhone/i) ||
navigator.userAgent.match(/iPad/i) ||
navigator.userAgent.match(/iPod/i) ||
navigator.userAgent.match(/BlackBerry/i)
){
$('#pul_app').show();
}
};