If $\mathbb{F}$ is any field and $G$ is a finite group of automorphisms of $\mathbb{F}$ then $\mathbb{F}/\mathbb{F}^G$ is Galois with group $G$ - this is just Artin's theorem which more or less implies that $(2)\Rightarrow (1)$.
Assuming (3), you get that $U$ contains all the automorphisms that keep $K(\phi(x))$ invariant where $\phi(x)$ is not constant. Since $[K(x):K(\phi(x))]$ is finite (of degree $\deg(\phi)$), then $U$ must be finite which is exactly (2).
Finally, assume (1), so that $[K(x):K(x)^U]$ is Galois. Since $K\leq K(x)^U \leq K(x)$, you can use Luroth theorem which states that $K(x)^U=K(f(x))$ for some rational function $f$. This function is not going to be constant, since $K(x)/K$ is not Galois (it is not an algebraic extension). You then get that $f(x)$ is a nonconstant rational function that is invariant under $U$. Moreover, since $U$ is the Galois group of $K(x)/K(x)^U=K(x)/K(f(x))$ (again by using Artin's theorem), any other automorphism that keeps $f(x)$ invariant will keep $K(f(x))$ invariant, and therefore will be in $U$, so we get that $(1)\Rightarrow (3)$.
By the way, your definition of Galois is not true for infinite extensions. For example, $K(x)/K$ is not Galois because it is not an algebraic extension, but for every $f(x)\in K(x)-K$ there is a $K$-automorphism which moves $f(x)$. More precisely, you have the automorphisms defined by $x\mapsto ax+b$ for any $a,b \in K$ where $a\neq 0$. Writing $f(x)=f_1(x)/f_2(x)$ with $(f_1,f_2)=1$, if it is invariant under such automorphism, then you get that $f_1(ax+b)f_2(x)=f_1(x)f_2(ax+b)$ as polynomials. If $f(x)$ is invariant under all the automorphisms above, then comparing the leading coefficients show that we must have $\deg(f_1)=\deg(f_2)$. Suppose that $f$ is not constant, so that both $f_1,f_2$ are not constant and since they are coprime we can find a root $\alpha$ for $f_1$ which is not a root for $f_2$, but then we get that $f_1(a\alpha+b)f_2(\alpha)=0$ for all $a,b$ which implies that $f_1=0$ - contradiction. It follows that $K=(K(x))^{Aut(K(x)/K)}$ .