Densities for infinitely divisible random processes

Let {ξ_j(t), t ∈ [0, T]} j = 1, 2 be infinitely divisible processes with distinct Poisson components and no Gaussian components. Let X be the set of all real-valued functions on [0, T] which are not identically zero, and $\text{B}$ be the σ-ring generated by the cylinder sets of ξ_j(t), j = 1, 2. Let μ_j be the measure on $\text{B}$ induced by ξ_j(t).Necessary and sufficient conditions on the projective limits of the Levy-Khinchine spectral measures of the processes are found to make μ₂ ? μ₁, and a representation for the density $\text{dμ}{}_2\text{dμ}{}_1$ is obtained.     

Limit distributions for the maxima of stationary Gaussian processes

Let {X_n} be a stationary Gaussian sequence with E{X₀} = 0, {X²₀} = 1 and E{X₀X_n} = rⁿ_n Let c_n = (2ln n)^{$\text{built1}\text{2}$}, b_n = c_n? $\text{1}\text{2}$c^-1_n ln(4π ln n), and set M_n = max_{0 ?k?n}X_k. A classical result for independent normal random variables is that

$\text{P[c}{}_{\mathrm{n}}\text{(M}{}_{\mathrm{n}}\text{?b}{}_{\mathrm{n}}\text{)?x]→exp[-e}{}^{\mathrm{-x}}\text{] as n → ∞ for all x.}$

Berman has shown that (1) applies as well to dependent sequences provided r_nlnn = o(1). Suppose now that {r_n} is a convex correlation sequence satisfying r_n = o(1), (r_nlnn)^-1 is monotone for large n and o(1). Then

$\text{P[r}{}_{\mathrm{n}}{}^{\mathrm{<mtext>-1</mtext><mtext>2</mtext>}}\text{(M}{}_{\mathrm{n}}\text{? (1?r}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{b}{}_{\mathrm{n}}\text{)?x] → Ф(x)}$

for all x, where Ф is the normal distribution function. While the normal can thus be viewed as a second natural limit distribution for {M_n}, there are others. In particular, the limit distribution is given below when r_n is (sufficiently close to) γ/ln n. We further exhibit a collection of limit distributions which can arise when r_n decays to zero in a nonsmooth manner. Continuous parameter Gaussian processes are also considered. A modified version of (1) has been given by Pickands for some continuous processes which possess sufficient asymptotic independence properties. Under a weaker form of asymptotic independence, we obtain a version of (2).     

Two strong limit theorems for processes with independent increments

Two related almost sure limit theorems are obtained in connection with a stochastic process {ξ(t), ?∞ < t < ∞} with independent increments. The first result deals with the existence of a simultaneous stabilizing function H(t) such that $\text{(ξ(t) ? ξ(0))}\text{H(t)}\text{→ 0}$ for almost all sample functions of the process. The second result deals with a wide-sense stationary process whose random spectral distributions is ξ. It addresses the question: Under what conditions does $\text{(2T)}{}^{\mathrm{?1}}\text{∫}{}_{\mathrm{?T}}{}^{\mathrm{T}}\text{X(t)}\text{X(t + τ)}\text{dt}$ converge as T → ∞ for all τ for almost all sample functions?     

Coding theory in white Gaussian channel with feedback

The message m = {m(t)} is a Gaussian process that is to be transmitted through the white Gaussian channel with feedback: $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{F(s, Y}{}_0{}^{\mathrm{s}}\text{, m)ds + W(t)}$. Under the average power constraint, $\text{E[F}{}^2\text{(s, Y}{}_0{}^{\mathrm{s}}\text{, m)] ≤ P}{}_0$, we construct causally the optimal coding, in the sense that the mutual information I_t(m, Y) between the message m and the channel output Y (up to t) is maximized. The optimal coding is presented by $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{A(s)[m(s) ?}\text{m}\text{?}\text{(s)] ds + W(t)}$, where $\text{m}\text{?}\text{(s) = E[m(s) ¦ Y(u), 0 ≤ u ≤ s]}$ and A(s) is a positive function such that $\text{A}{}^2\text{(s) E |m(s) ?}\text{m}\text{?}\text{(s)|}{}^2\text{= P}{}_0$.     

On delayed averages of Brownian motion in Banach spaces

Let {W(t): t ≥ 0} be μ-Brownian motion in a real separable Banach space B, and let a_T be a nondecreasing function of T for which (i) 0 < a_T ≤ T (T ≥ 0), (ii) $\text{a}{}_{\mathrm{T}}\text{T}$ is nonincreasing. We establish a Strassen limit theorem for the net {ξ_T: T ≥ 3}, where

$\text{ξ}{}_{\mathrm{T}}\text{=}\text{W(T + ta}{}_{\mathrm{T}}\text{) ? W(T)}\text{{2a}{}_{\mathrm{T}}\text{[}\text{log}\text{(}\text{T}\text{a}{}_{\mathrm{T}}\text{) +}\text{log log}\text{T]}}\text{1}\text{2}\text{,}\text{0 ? t ? 1}$

     

A conditional dichotomy theorem for stochastic processes with independent increments

Let X(t) and Y(t) be two stochastically continuous processes with independent increments over [0, T] and Lévy spectral measures M_t and N_t, respectively, and let the “time-jump” measures M and N be defined over [0, T] × $\text{R}$?{0} by M((t₁, t₂] × A) = M_t2(A) ? M_t1(A) and N((T₁, t₂] × A) = N_t2(A) ? N_t1(A). Under the assumption that M is equivalent to N, it is shown that the measures induced on function space by X(t) and Y(t) are either equivalent or orthogonal, and necessary and sufficient conditions for equivalence are given. As a corollary a complete characterization of the set of admissible translates of such processes is obtained: a function f is an admissible translate for X(t) if and only if it is an admissible translate for the Gaussian component of X(t). In particular, if X(t) has no Gaussian component, then every nontrivial translate of X(t) is orthogonal to it.     

Laws of iterated logarithm of multiparameter wiener processes

Let {$\text{X(}\text{t}\text{) :}\text{t}\text{∈ R}{}_{\mathrm{+}}{}^{\mathrm{N}}$} denote the N-parameter Wiener process on $\text{R}{}_{\mathrm{+}}{}^{\mathrm{N}}\text{= [0, ∞)}{}^{\mathrm{n}}$. For multiple sequences of certain independent random variables the authors find lower bounds for the distributions of maximum of partial sums of these random variables, and as a consequence a useful upper bound for the yet unknown function , c ≥ 0, is obtained where D_N = Π_{k = 1}^N [0, T_k]. The latter bound is used to give three different varieties of N-parameter generalization of the classical law of iterated logarithm for the standard Brownian motion process.     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

A note on the functional law of iterated logarithm for maxima of Gaussian sequences

Let {X_n, n ≥ 1} be a real-valued stationary Gaussian sequence with mean zero and variance one. Let M_n = max{X_t, i ≤ n} and H_n(t) = (M_[nt] ? b_n)a_n^?1 be the maximum resp. the properly normalised maximum process, where $\text{c}{}_{\mathrm{n}}\text{= (2}\text{log}\text{n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, $\text{a}{}_{\mathrm{n}}\text{=}\text{(}\text{log log}\text{n)}\text{c}{}_{\mathrm{n}}$ and $\text{b}{}_{\mathrm{n}}\text{= c}{}_{\mathrm{n}}\text{?}\text{1}\text{2}\text{(}\text{log}\text{(4π}\text{log}\text{n))}\text{c}{}_{\mathrm{n}}$. We characterize the almost sure limit functions of (H_n)_n≥3 in the set of non-negative, non-decreasing, right-continuous, real-valued functions on (0, ∞), if r(n) (log n)^3?Δ = O(1) for all Δ > 0 or if r(n) (log n)^2?Δ = O(1) for all Δ > 0 and r(n) convex and fulfills another regularity condition, where r(n) is the correlation function of the Gaussian sequence.     

On the fair coin tossing process

Let Ω = {1, 0} and for each integer n ≥ 1 let $\text{Ω}{}_{\mathrm{n}}\text{= Ω × Ω × … × Ω}$ (n-tuple) and $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}\text{= {(a}{}_1\text{, a}{}_2\text{, …, a}{}_{\mathrm{n}}\text{)|(a}{}_1\text{, a}{}_2\text{, … , a}{}_{\mathrm{n}}\text{) ? Ω}{}_{\mathrm{n}}\text{and}\text{Σ}{}_{\mathrm{i=1}}{}^{\mathrm{n}}\text{a}{}_{\mathrm{i}}\text{= k}}$ for all k = 0,1,…,n. Let {Y_m}_m≥1 be a sequence of i.i.d. random variables such that $\text{P(Y}{}_1\text{= 0) = P(Y}{}_1\text{= 1) =}\text{1}\text{2}$. For each A in $\text{Ω}{}_{\mathrm{n}}$, let T_A be the first occurrence time of A with respect to the stochastic process {Y_m}_m≥1. R. Chen and A.Zame (1979, J. Multivariate Anal. 9, 150–157) prove that if n ≥ 3, then for each element A in $\text{Ω}{}_{\mathrm{n}}$, there is an element B in $\text{Ω}{}_{\mathrm{n}}$ such that the probability that T_B is less than T_A is greater than $\text{1}\text{2}$. This result is sharpened as follows: (I) for n ≥ 4 and 1 ≤ k ≤ n ? 1, each element A in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$, there is an element B also in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$ such that the probability that T_B is less than T_A is greater than $\text{1}\text{2}$; (II) for n ≥ 4 and 1 ≤ k ≤ n ? 1, each element A = (a₁, a₂,…,a_n) in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$, there is an element C also in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$ such that the probability that T_A is less than T_C is greater than $\text{1}\text{2}$ if n ≠ 2m or n = 2m but a_i = a_{i + 1} for some 1 ≤ i ≤ n?1. These new results provide us with a better and deeper understanding of the fair coin tossing process.     

Limiting distributions of two random sequences

For fixed p (0 ≤ p ≤ 1), let {L₀, R₀} = {0, 1} and X₁ be a uniform random variable over {L₀, R₀}. With probability p let {L₁, R₁} = {L₀, X₁} or = {X₁, R₀} according as $\text{X}{}_1\text{≥}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}$; with probability 1 ? p let {L₁, R₁} = {X₁, R₀} or = {L₀, X₁} according as $\text{X}{}_1\text{≥}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}$, and let X₂ be a uniform random variable over {L₁, R₁}. For n ≥ 2, with probability p let {L_n, R_n} = {L_{n ? 1}, X_n} or = {X_n, R_{n ? 1}} according as $\text{X}{}_{\mathrm{n}}\text{≥}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}$, with probability 1 ? p let {L_n, R_n} = {X_n, R_{n ? 1}} or = {L_{n ? 1}, X_n} according as $\text{X}{}_{\mathrm{n}}\text{≥}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}$, and let X_{n + 1} be a uniform random variable over {L_n, R_n}. By this iterated procedure, a random sequence {X_n}_{n ≥ 1} is constructed, and it is easy to see that X_n converges to a random variable Y_p (say) almost surely as n → ∞. Then what is the distribution of Y_p? It is shown that the Beta, (2, 2) distribution is the distribution of Y₁; that is, the probability density function of Y₁ is g(y) = 6y(1 ? y) I_0,1(y). It is also shown that the distribution of Y₀ is not a known distribution but has some interesting properties (convexity and differentiability).     

Weak convergence of compound stochastic process,I

Compound stochastic processes are constructed by taking the superpositive of independent copies of secondary processes, each of which is initiated at an epoch of a renewal process called the primary process. Suppose there are M possible k-dimensional secondary processes {ξ^v(t):t?0}, v=1,2,…,M. At each epoch of the renewal process {A(t):t?0} we initiate a random number of each of the M types. Let m_l:l?1} be a sequence of M-dimensional random vectors whose components specify the number of secondary processes of each type initiated at the various epochs. The compound process we study is

, where the ξ^v_lj() are independent copies of ξ^v,m_lv is the vth component of m and {τ_l:l?1} are the epochs of the renewal process. Our interest in this paper is to obtain functional central limit theorems for {Y(t):t?0} after appropriately scaling the time parameter and state space. A variety of applications are discussed.     

Strong approximation theorems for density dependent Markov chains

A variety of continuous parameter Markov chains arising in applied probability (e.g. epidemic and chemical reaction models) can be obtained as solutions of equations of the form

$\text{X}{}_{\mathrm{N}}\text{(t)=x}{}_0\text{+∑}\text{1}\text{N}\text{lY}{}_1\text{N ∫}{}^{\mathrm{t}}{}_0\text{f}{}_1\text{(X}{}_{\mathrm{N}}\text{(s))ds}$

where $\text{l∈}\text{Z}{}^{\mathrm{t}}$, the Y₁ are independent Poisson processes, and N is a parameter with a natural interpretation (e.g. total population size or volume of a reacting solution).The corresponding deterministic model, satisfies

$\text{X(t)=x}{}_0\text{+ ∫}{}^{\mathrm{t}}{}_0\text{∑ lf}{}_1\text{(X(s))ds}$

Under very general conditions lim_N→∞X_N(t)=X(t) a.s. The process X_N(t) is compared to the diffusion processes given by

$\text{Z}{}_{\mathrm{N}}\text{(t)=x}{}_0\text{+∑}\text{1}\text{N}\text{lB}{}_1\text{N∫}{}^{\mathrm{t}}{}_0\text{ft(Z}{}_{\mathrm{N}}\text{(s))ds}$

and

$\text{V(t)=∑ l∫}{}^{\mathrm{t}}{}_0\text{f}{}_1\text{(X(s))}\text{d}\text{W}\text{?}{}_1\text{+∫}{}^{\mathrm{t}}{}_0\text{?F(X(s))·V(s)}\text{ds.}$

Under conditions satisfied by most of the applied probability models, it is shown that X_N,Z_N and V can be constructed on the same sample space in such a way that

$\text{X}{}_{\mathrm{N}}\text{(t)=Z}{}_{\mathrm{N}}\text{(t)+O}\text{logN}\text{N}$

and

$\text{N}\text{(X}{}_{\mathrm{N}}\text{(t)?X(t))=V(t)+O}\text{log N}\text{N}$

     

Stationary queues with one autonomous server

Given a stationary stochastic continuous demand of service σ(θ_tω) dt with ∫ σ(ω)P(dω) < 1, we construct real stationary point processes $\text{(T}{}_{\mathrm{n}}\text{, n ∈}\text{Z}\text{)[T}{}_{\mathrm{n}}\text{< T}{}_{\mathrm{n}}\text{+1, lim}{}_{\mathrm{\pm \infty }}\text{T}{}_{\mathrm{n}}\text{= ±∞]}$ such that

for a given constant D \2>0. These point processes correspond to a service discipline for which a single server services during the time intervals [T_n, T_n+1[ the demand of service accumulated during the proceding intervals [T_n?1, T_n[ and take a rest of fixed duration D.     

Gaussian processes with biconvex covariances

Let R(s, t) be a continuous, nonnegative, real valued function on a ≤ s ≤ t ≤ b. Suppose $\text{?R}\text{?s}\text{≥ 0}$, $\text{?R}\text{?t}\text{≤ 0}$, and $\text{?}{}^2\text{R}\text{?t}\text{?t ≤ 0}$ in the interior of the domain. Then the extension of R to a symmetric function on [a, b] × [a, b] is a covariance function. Such a covariance is called biconvex. Let X(t) be a Gaussian process with mean 0 and biconvex covariance. X has a representation as a sum of simple moving averages of white noises on the line and plane. The germ field of X at every point t is generated by X(t) alone. X is locally nondeterministic. Under an additional assumption involving the partial derivatives of R near the diagonal, the local time of the sample function exists and is jointly continuous almost surely, so that the sample function is nowhere differentiable.     

How small are the increments of a Wiener process?

Let $\text{γ}{}_{\mathrm{т}}\text{=(8(}\text{logTa}{}^{-1}{}_{\mathrm{T}}\text{+log log T)}\text{π}{}^2\text{a}{}_{\mathrm{T}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, 0<a_T?T<∞, and {W(t);0?t<∞} be a standard Wiener process. This exposition studies the almost sure behaviour of

, under varying conditions on a_T and T/a_T. The following analogue of Lévy's modulus of continuity of a Wiener Process is also given:

$\text{lim}{}_{\mathrm{h\to 0}}\text{inf}{}_{\mathrm{0?t?1}}\text{sup}{}_{\mathrm{0?s?h}}\text{(}\text{8 log h}{}^{-1}\text{π}{}^2\text{h}\text{)}\text{1}\text{2}\text{|W(t+s)?W(t)| =}{}^{\mathrm{a.s.}}\text{1.}$

and this may be viewed as the exact “modulus of non-differentiability” of a Wiener Process.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

Stochastic processes with independent increments,taking values in a Hilbert space

Let $\text{H}$ be a real separable Hilbert space; let X(t), t?[0, 1], be a separable, stochastically continuous, $\text{H}$-valued stochastic process with independent increments. Then a decomposition of X(t) into a uniformly convergent sum of independent processes is found. In this decomposition one of the processes is Gaussian with continuous sample functions, and the remainder of the processes have sample functions whose discontinuities correspond to those of certain real-valued Poisson processes. The decomposition of X(t) leads to a Levy-Khintchine representation of the characteristic functional of X(t). In addition, the case when X(t) has finite variance is explored, and, as a consequence of the above decomposition, a Kolmogorov-type representation of the characteristic functional of X(t) is derived.     

Point processes of exits by bivariate Gaussian processes and extremal theory for the χ2-process and its concomitants

Let ζ(t), η(t) be continuously differentiable Gaussian processes with mean zero, unit variance, and common covariance function r(t), and such that ζ(t) and η(t) are independent for all t, and consider the movements of a particle with time-varying coordinates (ζ(t), η(t)). The time and location of the exists of the particle across a circle with radius u defines a point process in R³ with its points located on the cylinder {(t, u cos θ, u sin θ); t ≥ 0, 0 ≤ θ < 2π}. It is shown that if r(t) log t → 0 as t → ∞, the time and space-normalized point process of exits converges in distribution to a Poisson process on the unit cylinder. As a consequence one obtains the asymptotic distribution of the maximum of a χ²-process, χ²(t) = ζ²(t) + η²(t), P{sup_0≤t≤Tχ²(t) ≤ u²} → e^?τ if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u ×}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞. Furthermore, it is shown that the points in R³ generated by the local ?-maxima of χ²(t) converges to a Poisson process in R³ with intensity measure (in cylindrical polar coordinates) (2πr²)^?1dtdθdr. As a consequence one obtains the asymptotic extremal distribution for any function g(ζ(t), η(t)) which is “almost quadratic” in the sense that $\text{g}{}^1\text{(r}\text{cos}\text{θ, r}\text{sin}\text{θ) =}\text{1}\text{2}\text{(r}{}^2\text{? g(r}\text{cos}\text{θ, r}\text{sin}\text{θ))}$ has a limit $\text{g}{}^1\text{(θ)}$ as r → ∞. Then if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞.