$mobile = "12345678912";
if(preg_match("/^1[345789]{1}\d{9}$/",$mobile)){
    return true;
}else{
    return false;
}

正则, "^"匹配开头,"$"匹配文本结尾