I've recently encountered the following problem. Given a group $G$, a subgroup $H$ and a sequence $g\_n\in G$, let $$ \liminf\_{j\to\infty}H^{g\_j} :=\bigcup\_{n\ge 1} \bigcap\_{j\ge n} H^{g\_j}.$$ Here $$ H^g=g^{-1}Hg$$ denotes conjugation by the element $g$. The question is whether or not the above subgroup, denote it by $H\_\infty$, is conjugated to a subgroup of $H$, i.e. if $$H\_\infty\le H^g$$ for some $g\in G$. 


This can quite easily be seen to be true for [Noetherian](http://en.wikipedia.org/wiki/Subgroup_series#Noetherian_groups.2C_Artinian_groups) groups $G$: the subgroups $$H\_n:= \bigcap\_{j\ge n} H^{g\_j}$$ form an ascending chain of subgroups of $G$, therefore eventually becoming constant ($=H\_\infty$). Since each $H\_n$ satisfies $H\_n\le H^{g\_n}$ we find that for large enough $n$, $H\_n=H\_\infty\le H^{g\_n}$.


I'm however interested in hyperbolic groups, where my understanding is that the Noetherian property is rather rare (I'm not really in group theory so I might be wrong) and so I'm wondering under what sort of hypotheses can we find a positive answer to the question (for an arbitrary sequence $(g\_n)$ and subgroup $H\le G$. If needed one can assume $H$ to be finitely generated.) 


I appreciate any help, thanks!



Limits of conjugated subgroups
The answer is negative in general, even if you restrict to finitely generated subgroups. Indeed, in a hyperbolic group a f.g. subgroup can be conjugate to a proper subgroup of itself. For example, let $H$ be the free group of rank $2$ and let $\phi:H \to H$ be a non-surjective monomorphism. Define the group $G$ to be the ascending HNN-extension of $H$ with respect to $\phi$:
$$G=\langle H, t \mid tft^{-1}=\phi(f) \mbox{ for all } f \in H \rangle.$$
It is easy to choose $\phi$ so that $G$ is hyperbolic (in fact it can satisfy the small cancellation condition $C'(1/6)$). 


Now, clearly for any $n \in \mathbb{N}$, $t^{-n}Ht^n$ is properly contained in $t^{-n-1} H t^{n+1}$, so $$\bigcap\_{j \ge n} H^{t^j}= H^{t^n},$$
hence $$H\_\infty=\liminf\_{j \to \infty} H^{t^j}=\bigcup\_{n \in \mathbb{Z}} H^{t^n}.$$
It is easy to see that the latter is an infinitely generated normal subgroup of $G$.


Again, by choosing $\phi$ appropriately we can make sure that $$\bigcap\_{j\in \mathbb{N}} \phi^j(H)=\bigcap\_{j \in \mathbb{N}} H^{t^{-j}}=\{1\},$$ so $H$ cannot contain any normal subgroup of $G$. Thus $H\_\infty$ is not contained in any conjugate of $H$ in $G$.


If you don't need $H$ to be finitely generated, then it should be easy to construct an example even when $G$ is the free group of rank $2$. Take $G=\langle a, t \rangle$ and $H=\langle t^{n} a t^{-n} \mid n\in \mathbb{N}\rangle$. Then the same argument shows that $\liminf\_{j \to \infty} H^{t^j}= \langle t^n a t^{-n} \mid n\in \mathbb{Z}\rangle$. The fact that this is not contained in any conjugate of $H$ should not be difficult to show.


However, I think that the statement you want is true if $H$ is quasiconvex in $G$. This can quickly be deduced from the fact that quasiconvex subgroups of hyperbolic groups have finite height, i.e. the number of essentially distinct conjugates of the subgroup having infinite intersection is uniformly bounded from above. See the paper "WIDTHS OF SUBGROUPS" by RITA GITIK, MAHAN MITRA, ELIYAHU RIPS, AND MICHAH SAGEEV (TAMS 350, no. 1 (1998)).


