Suppose that $0<|\unicode[STIX]{x1D70C}|<1$ and $m\geqslant 2$ is an integer. Let $\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m}$ be the self-similar measure defined by $\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m}(\cdot )=\frac{1}{m}\sum _{j=0}^{m-1}\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m}(\unicode[STIX]{x1D70C}^{-1}(\cdot )-j)$ . Assume that $\unicode[STIX]{x1D70C}=\pm (q/p)^{1/r}$ for some $p,q,r\in \mathbb{N}^{+}$ with $(p,q)=1$ and $(p,m)=1$ . We prove that if $(q,m)=1$ , then there are at most $m$ mutually orthogonal exponential functions in $L^{2}(\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m})$ and $m$ is the best possible. If $(q,m)>1$ , then there are any number of orthogonal exponential functions in $L^{2}(\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m})$ .

A recursive scheme is proposed for identifying a single input single output (SISO) Wiener-Hammerstein system, which consists of two linear dynamic subsystems and a sandwiched nonparametric static nonlinearity. The first linear block is assumed to be a finite impulse response (FIR) filter and the second an infinite impulse response (IIR) filter. By letting the input be a sequence of mutually independent Gaussian random variables, the recursive estimates for coefficients of the two linear blocks and the value of the static nonlinear function at any fixed given point are proven to converge to the true values, with probability one as the data size tends to infinity. The static nonlinearity is identified in a nonparametric way and no structural information is directly used. A numerical example is presented that illustrates the theoretical results.

In this paper, we obtain several results on the commensurability of two Kleinian groups and their limit sets. We prove that two finitely generated subgroups G1 and G2 of an infinite co-volume Kleinian group G⊂Isom(H3) having Λ(G1)=Λ(G2) are commensurable. In particular, we prove that any finitely generated subgroup H of a Kleinian group G⊂Isom(H3) with Λ(H)=Λ(G) is of finite index if and only if H is not a virtually fibered subgroup.