A Feynman-Kac gauge for solvability of the Schrödinger equation

Let {X_t, t ≥ 0} be Brownian motion in $\text{R}$^d (d ≥ 1). Let D be a bounded domain in $\text{R}$^d with C² boundary, ?D, and let q be a continuous (if d = 1), Hölder continuous (if d ≥ 2) function in D?. If the Feynman-Kac “gauge” E_x{exp(∝₀^τ_Dq(X_t)dt)1_A(X_τD)}, where τ_D is the first exit time from D, is finite for some non-empty open set A on ?D and some x?D, then for any $\text{? ? C}{}^0\text{(?D}$), is the unique solution in $\text{C}{}^2\text{(D) ∩ C}{}^0\text{(}\text{D}\text{?}\text{)}$ of the Schrödinger boundary value problem $\text{(}\text{1}\text{2}\text{Δ}\text{+ q)φ = 0}\text{in}\text{D, φ = ?}\text{on}\text{?D}$.     

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.     

The one-dimensional diffusion process and unitary representations of R1

Given a cocycle a(t) of a unitary group {U¹}, ?∞ < t < ∞, on a Hilbert space $\text{H}$, such that a(t) is of bounded variation on [O, T] for every T > O, a(t) is decomposed as a(t) = f;^t₀U^sxds + β(t) for a unique x ? $\text{H}$, β(t) yielding a vector measure singular with respect to Lebesgue measure. The variance is defined as $\text{σ}{}^2\text{({rmU}{}^{\mathrm{t}}\text{}, a(t)) =}\text{lim}{}_{\mathrm{T\to \infty }}\text{(}\text{1}\text{T}\text{)∥∝}{}^{\mathrm{t}}{}_0\text{U}{}^{\mathrm{s}}\text{x ds∥}{}^2$ if existing. For a stationary diffusion process on $\text{R}$¹, with Ω₁, the space of paths which are natural extensions backwards in time, of paths confined to one nonsingular interval J of positive recurrent type, an information function I(ω) is defined on $\text{Ω}{}_1$, based on the paths restricted to the time interval [0, 1]. It is shown that $\text{I(Ω)}$ is continuous and bounded on $\text{Ω}{}_1$. The shift τ_t, defines a unitary representation {U^t}. Assuming , dm being the stationary measure defined by the transition probabilities and the invariant measure on J, $\text{I(Ω)}$ has a C^∞ spectral density function f;. It is then shown that σ²({U^t}, I) = f;(O).     

Diffusion with interactions between two types of particles and Pressureless gas equations

We construct two d-dimensional independent diffusions $\text{X}{}_{\mathrm{t}}{}^{\mathrm{a}}\text{=a+∫}{}_0{}^{\mathrm{t}}\text{u(X}{}_{\mathrm{s}}{}^{\mathrm{a}}\text{,s)}\text{d}\text{s+νB}{}_{\mathrm{t}}{}^{\mathrm{a}}\text{,}\text{X}{}_{\mathrm{t}}{}^{\mathrm{b}}\text{=b+∫}{}_0{}^{\mathrm{t}}\text{u(X}{}_{\mathrm{s}}{}^{\mathrm{b}}\text{,s)}\text{d}\text{s+νB}{}_{\mathrm{t}}{}^{\mathrm{b}}$, with the same viscosity ν≠0 and the same drift u(x,t)=(pρ_t^a(x)v₁+(1?p)ρ_t^b(x)v₂)/(pρ_t^a(x)+(1?p)ρ_t^b(x)), where ρ_t^a,ρ_t^b are respectively the density of X_t^a and X_t^b. Here $\text{a,b,v}{}_1\text{,v}{}_2\text{∈}\text{R}{}^{\mathrm{d}}$ and p∈(0,1) are given. We show that $\text{(ρ}{}_{\mathrm{t}}\text{(x)=pρ}{}_{\mathrm{t}}{}^{\mathrm{a}}\text{(x)+(1?p)ρ}{}_{\mathrm{t}}{}^{\mathrm{b}}\text{(x),u(x,t):}\text{t?0,}\text{x∈}\text{R}{}^{\mathrm{d}}\text{)}$ is the unique weak solution of the following pressureless gas system

such that $\text{ρ}{}_{\mathrm{t}}\text{(x)}\text{d}\text{x→pδ}{}_{\mathrm{a}}\text{+(1?p)δ}{}_{\mathrm{b}}\text{,}\text{u(x,t)ρ}{}_{\mathrm{t}}\text{(x)}\text{d}\text{x→pv}{}_1\text{δ}{}_{\mathrm{a}}\text{+(1?p)v}{}_2\text{δ}{}_{\mathrm{b}}$ as t→0+. To cite this article: A. Dermoune, S. Filali, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Factorization of fredholm operators on analytic functions

Let Ω be a simply connected domain in the complex plane, and $\text{A(Ω}{}^{\mathrm{n}}\text{)}$, the space of functions which are defined and analytic on $\text{Ω}{}^{\mathrm{n}}$, if K is the operator on elements $\text{u(t, a}{}_1\text{, …, a}{}_{\mathrm{n}}\text{)}\text{of}\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ defined in terms of the kernels k_i(t, s, a₁, …, a_n) in $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$ by is the identity operator on $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$, then the operator I ? K may be factored in the form (I ? K)(M ? W) = (I ? ΠK)(M ? ΠW). Here, W is an operator on $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ defined in terms of a kernel w(t, s, a₁, …, a_n) in $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$ by Wu = ∝_an^tw(t, s, a₁, …, a_n) u(s, a₁, …, a_n) ds. ΠW is the operator; ΠWu = ∝_{an ? 1}w(t, s, a₁, …, a_n) u(s, a₁, …, a_n) ds. ΠK is the operator; ΠKu = ∑_{i = 1}^{n ? 1} ∝_ai^tk_i(t, s, a₁, …, a_n) ds + ∝_{an ? 1}^tk_n(t, s, a₁, …, a_n) u(s, a₁, …, a_n) ds. The operator M is of the form m(t, a₁, …, a_n)I, where $\text{m ? A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ and maps elements of $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ into itself by multiplication. The function m is uniquely derived from K in the following manner. The operator K defines an operator $\text{K}{}^1$ on functions u in $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$, by . A determinant $\text{δ(I ? K}{}^1\text{)}$ of the operator $\text{I ? K}{}^1$ is defined as an element $\text{m}{}^1\text{(t, a}{}_1\text{, …, a}{}_{\mathrm{n\; +\; 1}}\text{)}$ of $\text{A(Ω}{}^{\mathrm{n\; +\; 2}}\text{)}$. This is mapped into $\text{A(Ω}{}^{\mathrm{n\; +\; 1}}\text{)}$ by setting a_{n + 1} = t to give m(t, a₁, …, a_n). The operator I ? ΠK may be factored in similar fashion, giving rise to a chain factorization of I ? K. In some cases all the matrix kernels k_i defining K are separable in the sense that k_i(t, s, a₁, …, a_n) = P_i(t, a₁, …, a_n) Q_i(s, a₁, …, a_n), where P_i is a 1 × p_i matrix and Q_i is a p_i × 1 matrix, each with elements in $\text{A(Ω}{}_{\mathrm{n\; +\; 1}}\text{)}$, explicit formulas are given for the kernels of the factors W. The various results are stated in a form allowing immediate extension to the vector-matrix case.     

Concrete model theory for a class of operators

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)}$ acting on H=∝₀^2π⊕L²(v_t), where m and v_t, 0 ? t ? 2π are measures on [0, 2π] with m smooth and e(s, t) = exp[?∝_t^s∝_Tdv_λ(θ) dm(λ)], satisfies $\text{rank}\text{(I ? LL}{}^1\text{) =}\text{rank}\text{(I ? L}{}^1\text{L) = 1}$. It is, therefore, unitarily equivalent to a scalar Sz.-Nagy-Foia? canonical model. The purpose of this paper is to determine the model explicitly and to give a formula for the unitary equivalence.     

An integral operator connected with the Helmholtz equation

Let Lu be the integral operator defined by $\text{(L}{}_{\mathrm{k?}}\text{)(x, y) = ∝ s ∝ ?(x′, y′)(}\text{e}{}^{\mathrm{ik?}}\text{?}\text{) dx′ dy′, (x, y) ? S}$ where S is the interior of a smooth, closed Jordan curve in the plane, k is a complex number with Re k ? 0, Im k ? 0, and ?² = (x ?x′)² + (y ? y′)². We define $\text{q(x, y) = [}\text{dist}\text{((x, y), ?S)]}\text{1}\text{2}\text{, (x, y) ? S; L}{}_2\text{(q, S) = {? : ∝ s ∝ ¦ ?(x, y)¦}{}^2\text{q(x, y) dx dy < ∞}; W}{}_2{}^1\text{(q, S) = {? : ? ? L}{}_2\text{(q, S),}\text{??}\text{?x}\text{,}\text{?f}\text{?y}\text{? L}{}_2\text{(q, S)}}$, where in the definition of W₂¹(q, S) the derivatives are taken in the sense of distributions. We prove that L_k is a continuous 1-l mapping of L₂(q, S) onto W₂¹(q, S).     

Nonhomogeneous dirichlet problem for elliptic operators with axially discontinuous coefficients

Si studia, in un cilindro, il problema di Dirichlet per l'equazione ellittica del II ordine: $\text{L}{}_{\mathrm{\alpha }}\text{u = ?}$, dove $\text{L}{}_{\mathrm{\alpha }}\text{=}\text{αΔ + (1 ? 3α)∑}{}_{\mathrm{ij\; =\; 1}}{}^2\text{x}{}_{\mathrm{i}}\text{x}{}_{\mathrm{j}}\text{(x}{}_1{}^2\text{+ x}{}_2{}^2\text{)}{}^{\mathrm{?1}}\text{?}{}^2\text{?x}{}_{\mathrm{i}}\text{?x}{}_{\mathrm{j}}\text{, α ? (0,}\text{1}\text{3}\text{]}$è l'operatore a coefficienti discontinui sull'asse x₃ già introdotto da N. Ural'tseva per mostrare che l'equazione considerata può non avere soluzione nello spazio di Sobolev W^2,p(p > 2) per qualche f?L^p. In questo lavoro si danno limitazioni a priori e teoremi di esistenza e unicità in W^2,p quando p varia in un intervallo (p₁(α), p₂(α)), dipendente dalla costante di ellitticità α. Se p = p₂(α) le limitazioni a priori cadono: l'esempio è quello di Ural'tseva.     

Powers of matrices and idempotency

In this paper, we establish the following results: Let A be a square matrix of rank r. Then (a) $\text{(A+A}{}^1\text{)}\text{2}$ is idempotent of rank r, and tr_rA (defined as the sum of the principal minors of order r in A) is one iff A is Hermitian idempotent. (b) A^s=A^t for some positive integers s≠t, and trA=rankA iff A is idempotent. (c) $\text{A(A1A)}{}^{\mathrm{s}}\text{= A(AA}{}^1\text{)}{}^{\mathrm{t}}$ for some integers s≠t iff $\text{AA}{}^1\text{=A}{}^1\text{A}$ is idempotent, while $\text{A(A}{}^1\text{A)}{}^{\mathrm{s}}\text{= A(AA}{}^1\text{)}{}^{\mathrm{s}}$ for some integers s≠0 iff $\text{AA}{}^1\text{=A}{}^1\text{A}$. (d) $\text{A(A}{}^1\text{A)}{}^{\mathrm{s}}\text{=A}{}^1\text{(AA}{}^1\text{)}{}^{\mathrm{t}}$ for some integers s≠t and rankA=trA iff A is Hermitian idempotent, while $\text{A(A}{}^1\text{A)}{}^{\mathrm{s}}\text{= A}{}^1\text{(AA}{}^1\text{)}{}^{\mathrm{s}}$ for some integer s iff A is Hermitian. Here $\text{A}{}^1$ indicates the conjugate transpose of A, and P^-α is defined iff (P⁺)^α=(P^α)⁺ for all positive integers α and P⁺ is the Moore-Penrose inverse of P.     

Natural processes and Doob-Meyer decompositions over a probability gage space

The notion of naturalness for L¹-processes over a probability gage space is defined and the uniqueness of Doob decompositions of supermartingales is discussed. In particular, it is shown that if (X_t) is an Itô-Clifford stochastic integral martingale, then ($\text{X}{}_{\mathrm{t}}{}^1\text{X}{}_{\mathrm{t}}$) has a unique decomposition into the sum of an L¹-martingale and an increasing L¹-process null at t = 0.     

Adiabatic invariants for linear Hamiltonian systems

n independent adiabatic invariants in involution are found for a slowly varying Hamiltonian system of order 2n × 2n. The Hamiltonian system considered is $\text{?}\text{u}\text{?}\text{= A(t)u}\text{as}\text{? → 0}{}^{\mathrm{+}}$, where A(t) is a 2n × 2n real matrix with distinct, pure imaginary eigen values for each t? [?∞, ∞], and $\text{d}{}^{\mathrm{(j)}}\text{A}\text{dt}{}^{\mathrm{(j)}}\text{? L}{}_{\mathrm{j}}\text{(?∞, ∞)}$, for all j > 0. The adiabatic invariants I_s(u, t), s = 1,…, n are expressed in terms of the eigen vectors of A(t). Approximate solutions for the system to arbitrary order of ? are obtained uniformly for t? [?∞, ∞].     

Representation of linear functionals on a class of normed Köthe spaces

Under the condition that $\text{L}{}_{\mathrm{\theta ,s}}{}^1$, (the set of singular functionals on a normed Köthe space L_θ) is an abstract L-space, it is proved in this paper that there exists a set of purely finitely additive measures $\text{M}$_θ such that $\text{L}{}_{\mathrm{\theta ,s}}{}^1$? holds. It follows that $\text{L}{}_{\mathrm{\theta ,s}}{}^1$ is an abstract L-space if and only if $\text{L}{}_{\mathrm{\theta ,s}}{}^1$ is Riesz isomorphic and isometric with a band in $\text{L}{}_{\mathrm{\infty ,s}}{}^1$.     

The Dirichlet problem for the Kohn Laplacian on the Heisenberg group,II

Let L = ∑_{j = 1}^mX_j² be sum of squares of vector fields in $\text{R}$ⁿ satisfying a Hörmander condition of order 2: span{X_j, [X_i, X_j]} is the full tangent space at each point. A point x??D of a smooth domain D is characteristic if X₁,…, X_m are all tangent to ?D at x. We prove sharp estimates in non-isotropic Lipschitz classes for the Dirichlet problem near (generic) isolated characteristic points in two special cases: (a) The Grushin operator $\text{?}{}^2\text{?x}{}^2\text{+ x}{}^2\text{?}{}^2\text{?t}{}^2$ in $\text{R}$². (b) The real part of the Kohn Laplacian on the Heisenberg group $\text{∑}{}_{\mathrm{j\; ?\; 1}}{}^{\mathrm{n}}\text{(}\text{?}\text{?x}{}_{\mathrm{j}}\text{+ 2y}{}_{\mathrm{j}}\text{?}\text{?t}\text{)}{}^2\text{+ (}\text{?}\text{?y}{}_{\mathrm{j}}\text{? 2x}{}_{\mathrm{j}}\text{?}\text{?t}\text{)}{}^2$ in $\text{R}$^{2n + 1}. In contrast to non-characteristic points, C^∞ regularity may fail at a characteristic point. The precise order of regularity depends on the shape of ?D at x.     

Barriers for uniformly elliptic equations and the exterior cone condition

We consider the mixed boundary value problem $\text{Au = f}\text{in}\text{Ω, B}{}_0\text{u = g}{}_0\text{in}\text{Γ}{}^{\mathrm{?}}\text{, B}{}_1\text{u = g}{}_1\text{in}\text{Γ}{}^{\mathrm{+}}$, where Ω is a bounded open subset of $\text{R}$ⁿ whose boundary Γ is divided into disjoint open subsets Γ⁺ and Γ^? by an (n ? 2)-dimensional manifold ω in Γ. We assume A is a properly elliptic second order partial differential operator on $\text{Ω}$ and B_j, for j = 0, 1, is a normal jth order boundary operator satisfying the complementing condition with respect to A on $\text{Γ}{}^{\mathrm{+}}$. The coefficients of the operators and Γ⁺, Γ^? and ω are all assumed arbitrarily smooth. As announced in [Bull. Amer. Math. Soc.83 (1977), 391–393] we obtain necessary and sufficient conditions in terms of the coefficients of the operators for the mixed boundary value problem to be well posed in Sobolev spaces. In fact, we construct an open subset $\text{T}$ of the reals such that, if $\text{D}{}^{\mathrm{s}}\text{= {u ? H}{}^{\mathrm{s}}\text{(Ω): Au = 0}}$ then for $\text{s ? =}\text{1}\text{2}\text{(}\text{mod}\text{1), (B}{}_0\text{,B}{}_1\text{): D}{}^{\mathrm{s}}\text{→ H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>1</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{?}}\text{) × H}{}^{\mathrm{<mtext>s\; ?\; </mtext><mtext>3</mtext><mtext>2</mtext>}}\text{(Γ}{}^{\mathrm{+}}\text{)}$ is a Fredholm operator if and only if s ∈$\text{T}$ . Moreover, $\text{T}$ = ?_xew$\text{T}$_x, where the sets $\text{T}$_x are determined algebraically by the coefficients of the operators at x. If n = 2, $\text{T}$_x is the set of all reals not congruent (modulo 1) to some exceptional value; if n = 3, $\text{T}$_x is either an open interval of length 1 or is empty; and finally, if n ? 4, $\text{T}$_x is an open interval of length 1.     

Girsanov functionals and optimal bang-bang laws for final value stochastic control

Girsanov's theorem is a generalization of the Cameron-Martin formula for the derivative of a measure induced by a translation in Wiener space. It states that for ? a nonanticipative Brownian functional with ∫|?|² ds < ∞ a.s. and $\text{d}\text{P}\text{?}\text{=exp[ζ(?)] d}\text{P}$ with $\text{E}\text{?}\text{{1}=1}$, where $\text{ζ(?) = ∫?}\text{d}\text{w-}\text{1}\text{2}\text{∫|?|}{}^2\text{d}\text{s}$, the translated functions $\text{(Tw)(t) = w}{}_{\mathrm{t}}\text{-}\text{∫}\text{0}\text{t}\text{?}\text{d}\text{s}$ are a Wiener process under P?. The Girsanov functionals exp [ζ(?)] have been used in stochastic control theory to define measures corresponding to solutions of stochastic DEs with only measurable control laws entering the right-hand sides. The present aim is to show that these same concepts have direct practical application to final value problems with bounded control. This is done here by an example, the noisy integrator: Make E{x²₁}∣small, subject to dx_t = u_t dt + dw_t, |u|? 1, x_t observed. For each control law there is a definite cost v(1?t, x) of starting at x, t and using that law till t = 1, expressible as an integral with respect to (a suitable) P?. By restricting attention to a dense set of smooth laws, using Itô's lemma, Kac's theorem, and the maximum principle for parabolic equations, it is possible to calculate sgn v_x for a critical class of control laws, then to compare control laws, “solve” the Bellman-Hamilton-Jacobi equation, and thus justify selection of the obvious bang-bang law as optimal.     

Infinite-variate wide-sense Markov processes and functional analysis for bounded operator-forming vectors

Let p, q be arbitrary parameter sets, and let $\text{H}$ be a Hilbert space. We say that x = (xⁱ)_i?q, xⁱ ? $\text{H}$, is a bounded operator-forming vector (?$\text{H}$_F^q) if the Gram matrix 〈x, x〉 = [(xⁱ, x^j)]_i?q,j?q is the matrix of a bounded (necessarily ≥ 0) operator on $\text{l}{}_{\mathrm{q}}{}^2$, the Hilbert space of square-summable complex-valued functions on q. Let A be p × q, i.e., let A be a linear operator from $\text{l}{}_{\mathrm{q}}{}^2$ to $\text{l}{}_{\mathrm{p}}{}^2$. Then exists a linear operator ǎ from (the Banach space) $\text{H}$_F^q to $\text{H}$_F^p on $\text{D}$(A) = {x:x ? $\text{H}$_F^q, $\text{A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is p × q bounded on $\text{l}{}_{\mathrm{q}}{}^2$} such that y = ǎx satisfies y^j?σ(x) = {space spanned by the xⁱ}, 〈y, x〉 = A〈x, x〉 and $\text{〈y, y〉 = A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}{}^1$. This is a generalization of our earlier [J. Multivariate Anal.4 (1974), 166–209; 6 (1976), 538–571] results for the case of a spectral measure concentrated on one point. We apply these tools to investigate q-variate wide-sense Markov processes.     

The probability that k positive integers are relatively r-prime

If r, k are positive integers, then $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}$ denotes the number of k-tuples of positive integers (x₁, x₂, …, x_k) with 1 ≤ x_i ≤ n and (x₁, x₂, …, x_k)_r = 1. An explicit formula for $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}$ is derived and it is shown that $\text{lim}{}_{\mathrm{n\to \infty }}\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}\text{n}{}^{\mathrm{k}}\text{=}\text{1}\text{ζ(rk)}$.If S = {p₁, p₂, …, p_a} is a finite set of primes, then 〈S〉 = {p₁^a₁p₂^a₂…p_s^a_s; p_i ∈ S and a_i ≥ 0 for all i} and $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}$ denotes the number of k-tuples (x₁, x₃, …, x_k) with 1 ≤ x_i ≤ n and (x₁, x₂, …, x_k)_r ∈ 〈S〉. Asymptotic formulas for $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}$ are derived and it is shown that $\text{lim}{}_{\mathrm{n\to \infty }}\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}\text{n}{}^{\mathrm{k}}\text{=}\text{(p}{}_1\text{… p}{}_{\mathrm{a}}\text{)}{}^{\mathrm{rk}}\text{ζ(rk)(p}{}_1{}^{\mathrm{rk}}\text{? 1) … (p}{}_{\mathrm{s}}{}^{\mathrm{rk}}\text{? 1)}$.     

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$.