The existence and uniqueness of solutions for kernel-based system identification