E' molto semplice la soluzione, utilizzando le sessioni e le query_string

...
session_start();
$_SESSION['nome_utente'] = $user;
$user1 = $_SESSION['nome_utente'];
....
//poi quando fai l'if
if($user){
header("location: ?username");
}
...
//poi fai:
if($_SERVER['QUERY_STRING']==username){

echo("Username già utilizzato cambiarlo");

echo "
...
<input type="text" value="$user1">
";
}