On asymptotic solutions of the renewal equation

Consider the renewal equation in the form (¹) $\text{u(t) = g(t) + ∝}{}_{\mathrm{o}}{}^{\mathrm{t}}\text{u(t ? τ) ?(τ) dτ}$, where $\text{?(t)}$ is a probability density on [0, ∞) and lim_{t → ∞}g(t) = g₀. Asymptotic solutions of (¹) are given in the case when f(t) has no expectation, i.e., $\text{∝}{}_0{}^{\mathrm{\infty }}\text{t?(t)dt = ∞}$. These results complement the classical theorem of Feller under the assumption that f(t) possesses finite expectation.     

A general approach to optimal control of a regression experiment

Let $\text{θ}\text{θ}\text{?}$ = ($\text{θ}\text{θ}\text{?}$₁, $\text{θ}\text{θ}\text{?}$₂, …, $\text{θ}\text{θ}\text{?}$_n)′ be the least-squares estimator of θ = (θ₁, θ₂, …, θ_n)′ by the realization of the process y(t) = Σ_{k = 1}ⁿθ_kf_k(t) + ξ(t) on the interval T = [a, b] with f = (f₁, f₂, …, f_n)′ belonging to a certain set X. The process satisfies E(ξ(t))≡0 and has known continuous covariance r(s, t) = E(ξ(s)ξ(t)) on T × T. In this paper, A-, D-, and D_s-optimality are used as criteria for choosing f in X. A-, D-, and D_s-optimal models can be constructed explicitly by means of r.     

Threshold phenomena for a reaction-diffusion system

We consider the pure initial value problem for the system of equations $\text{ν}{}_{\mathrm{t}}\text{= ν}{}_{\mathrm{xx}}\text{+ ?(ν) ? w, w}{}_{\mathrm{t}}\text{= ε(ν ? γw), ε, γ ? 0}$, the initial data being (ν(x, 0), w(x, 0)) = (?(x), 0). Here $\text{?(v) = ?v + H(v ? a)}$, where H is the Heaviside step function and $\text{a ? (0,}\text{1}\text{2}\text{)}$. This system is of the FitzHugh-Nagumo type and has several applications including nerve conduction and distributed chemical/ biochemical systems. It is demonstrated that this system exhibits a threshold phenomenon. This is done by considering the curve s(t) defined by s(t) = sup{x: v(x, t) = a}. The initial datum, ?(x), is said to be superthreshold if lim_{t→∞ s(t) = ∞}. It is proven that the initial datum is superthreshold if ?(x) > a on a sufficiently long interval, ?(x) is sufficiently smooth, and ?(x) decays sufficiently fast to zero as $\text{¦x¦ → ∞}$.     

On moment-discretization and least-squares solutions of linear integral equations of the first kind

Let K(s, t) be a continuous function on [0, 1] × [0, 1], and let $\text{K}$ be the linear integral operator induced by the kernel K(s, t) on the space $\text{L}$₂[0, 1]. This note is concerned with moment-discretization of the problem of minimizing 6K_x?y6 in the $\text{L}$₂-norm, where y is a given continuous function. This is contrasted with the problem of least-squares solutions of the moment-discretized equation: ∝₀¹K(s_i, t) x(t) dt = y(s_i), i = 1, 2,h., n. A simple commutativity result between the operations of “moment-discretization” and “least-squares” is established. This suggests a procedure for approximating $\text{K2y}$ (where $\text{K}$² is the generalized inverse of $\text{K}$), without recourse to the normal equation $\text{K1Kx = K1y}$, that may be used in conjunction with simple numerical quadrature formulas plus collocation, or related numerical and regularization methods for least-squares solutions of linear integral equations of the first kind.     

On the decomposition of the tensor algebra of the classical Lie algebras

Let $\text{g}$_n be the Lie algebra gl_n(C), let S($\text{g}$_n) be the symmetric algebra of $\text{g}$_n, and let T($\text{g}$_n) be the tensor algebra of $\text{g}$_n. In a recent paper, R. K. Gupta studied certain sequences of representations R_∞ = (R_n)^∞_{n = 1}, where R_n is a representation of $\text{g}$_n. These sequences have the property that every irreducible representation occurring in S($\text{g}$_n) is in exactly one of these sequences. Fixing f, she considers s(R_∞, f) which is the limit on n of the multiplicity of R_n in S^f($\text{g}$_n), the fth-graded piece of S($\text{g}$_n). She and R. P. Stanley independently showed that the limit s(R_∞, f) exists and is given by an amazingly elegant formula. They call s(R_∞, f) the stable multiplicity of R_n in S^f($\text{g}$_n). In this paper, an entirely different approach is used to extend the above result in several directions. Appropriately defined sequences R_∞ for all of the classical Lie algebras $\text{g}$_n are studied, and a simple formula for the stable multiplicity m(R)_∞, ψ, f, $\text{g}$_∞) of R_n in the ψ-isotypic component of T^f($\text{g}$_n), where ψ is any irreducible character of the symmetric group tS_f, is obtained. As in the work of Gupta and Stanley, the expressions for m(R)_∞, ψ, f, $\text{g}$_∞) are amazingly simple. Special cases include the stable decomposition of the tensor algebra, the symmetric algebra and the exterior algebra of $\text{g}$_n. As a byproduct of our proof, a “stable” decomposition of every isotypic component of T($\text{g}$_n) is obtained. This combinatorial decomposition is in some sense a generalization of Kostant's decomposition of S($\text{g}$_n) into direct sum of the harmonics and the ideal generated by the invariants of positive degree. To be precise, for f <n the combinatorial decomposition of T^f($\text{g}$_n) projects onto Kostant's decomposition of S^f($\text{g}$_n).     

Periodic forcing of solutions of a boundary value problem for a second-order differential equation in Hilbert space

We show that if u is a bounded solution on $\text{R}$⁺ of u″(t) ?Au(t) + f(t), where A is a maximal monotone operator on a real Hilbert space H and f∈L_loc²($\text{R}$⁺;H) is periodic, then there exists a periodic solution ω of the differential equation such that u(t) ? ω(t)   0 and u′(t) ? ω′(t) → 0 as t → ∞. We also show that the two-point boundary value problem for this equation has a unique solution for boundary values in $\text{D(A)}$ and that a smoothing effect takes place.     

Hitting time of a moving boundary for a diffusion

We obtain asymptotic estimates for the quantity r = log P[T_f[rang]t] as t → ∞ where T_f = inf\s{s : |X(s)|[rang]f(s)\s} and X is a real diffusion in natural scale with generator a(x) d²(·)/dx² and the ‘boundary’ f(s) is an increasing function. We impose regular variation on a and f and the result is expressed as r = ∫^t₀ λ₁ (f(s) ds(1 + o(1)) where λ₁(f) is the smallest eigenvalue for the process killed at ±f.     

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

Minimum norm solutions of single stiff linear analytic differential equations

The $\text{l}$₂-norm of the infinite vector of the terms of the Taylor series of an analytic function is used to measure the “unsmoothness” of the function. The sets of solutions to the scalar differential equations y′(t) = λy(t) + f(t) and y′(t) = q(t)y(t) + f(t) are analyzed with respect to this norm. A number of results on the particular solution with minimum norm are given.     

Oscillatory and asymptotic behavior of solutions of differential equations with deviating arguments

The oscillatory and asymptotic behavior of solutions of a class of nth order nonlinear differential equations, with deviating arguments, of the form (E, δ) L_nx(t) + δq(t) f(x[g₁(t)],…, x[g_m(t)]) = 0, where δ = ± 1 and L₀x(t) = x(t), L_kx(t) = a_k(t)(L_{k ? 1}x(t))^., $\text{k = 1, 2,…, n (}{}^{\mathrm{.}}\text{=}\text{d}\text{dt}\text{)}$, is examined. A classification of solutions of (E, δ) with respect to their behavior as t → ∞ and their oscillatory character is obtained. The comparisons of (E, 1) and (E, ?1) with first and second order equations of the form y^.(t) + c₁(t) f(y[g₁(t)],…, y[g_m(t)]) = 0 and (a_{n ? 1}(t)z^.(t))^. ? c₂(t) f(z[g₁(t)],…, z[g_m(t)]) = 0, respectively, are presented. The obtained results unify, extend and improve some of the results by Graef, Grammatikopoulos and Spikes, Philos and Staikos.     

Enumeration of the square permutations in Sn

Let f(n) denote the number of square permutations in the symmetric group S_n. This paper proves a conjecture that f(2k + 1) = (2k + 1)f(2k) and provides efficient procedures for the computation of f(n). The behavior of f(n) as n → ∞ is investigated and an asymptotic result obtained which shows that f(n) ～ 2Knⁿe^?n, where $\text{K = Π}{}_1{}^{\mathrm{\infty }}\text{cosh}\text{(}\text{1}\text{2k}\text{)}$.     

Potential theory associated with Uhlenbeck-Ornstein process

Some parallel results of Gross' paper (Potential theory on Hilbert space, J. Functional Analysis1 (1967), 123–181) are obtained for Uhlenbeck-Ornstein process U(t) in an abstract Wiener space (H, B, i). Generalized number operator $\text{N}$ is defined by $\text{N}$f(x) = ?lim_∈←0{E[f($\text{U}$(τ^∈_ξ))] ? f(x)}/E[τ^∈_ξ, where τ_x^? is the first exit time of U(t) starting at x from the ball of radius ? with center x. It is shown that $\text{N}$f(x) = ?trace D²f(x)+〈Df(x),x〉 for a large class of functions f. Let r_t(x, dy) be the transition probabilities of U(t). The λ-potential G_λf, λ > 0, and normalized potential Rf of f are defined by G_λf(X) = ∫₀^∞e^?λtr_tf(x) dt and Rf(x) = ∫₀^∞ [r_tf(x) ? r_tf(0)] dt. It is shown that if f is a bounded Lip-1 function then trace D²G_λf(x) ? 〈DG_λf(x), x〉 = ?f(x) + λG_λf(x) and trace D²Rf(x) ? 〈DRf(x), x〉 = ?f(x) + ∫_Bf(y)p₁(dy), where p₁ is the Wiener measure in B with parameter 1. Some approximation theorems are also proved.     

On the Laplace transforms of retarded,Lorentz-invariant functions

Let ø(t) (t ∈ $\text{R}$ⁿ) be a retarded, Lorentz-invariant function which satisfies, in addition, condition (c). We call “R” the family of such functions. Let f(z) be the Laplace transform of ø(t) ∈ $\text{R}$. We prove (Theorem 1) that f(z) can be expressed as a K-transform (formula (I, 2; 1)). We apply this formula to evaluate several Laplace transforms. We show that it affords simple proofs of important known results. Formula (I, 2; 1) is an effective complement to L. Schwartz' method of evaluating Fourier transforms via Laplace transforms (“Théorie des distributions,” p. 264, Hermann, Paris, 1966). We think this is the most useful application of our formula.     

Two transformations of series that commute with compositional inversion

It is shown that the compositional inverse of either of two transformations of a given series can be determined from the compositional inverse of the series. Specifically, if t · f(t) and t · g(t) are compositional inverses, then so are t · f_k(t) and $\text{t · g}{}_{\mathrm{k}}{}^1\text{(t)}$, where f_k(t) is the kth Euler transformation of f(t) and $\text{g}{}_{\mathrm{k}}{}^1\text{(t) =}\text{g(t)}\text{(1 ? kt · g(t))}$.     

Decay of solutions of some nonlinear parabolic inequalities associated with time-dependent convexes

A simple result concerning integral inequalities enables us to give an alternative proof of Waltman's theorem: lim_{t → ∞} ∝^t₀a(s) ds = ∞ implies oscillation of the second order nonlinear equation y″(t) + a(t) f(y(t)) = 0; to prove an analog of Wintner's theorem that relates the nonoscillation of the second order nonlinear equations to the existence of solutions of some integral equations, assuming that lim_{t → ∞} ∝^t₀a(s) ds exists; and to give an alternative proof and to extend a result of Butler. An often used condition on the coefficient a(t) is given a more familiar equivalent form and an oscillation criterion involving this condition is established.     

Sojourns and extremes of Fourier sums and series with random coefficients

Let X(t) be the trigonometric polynomial Σ^k_j=0a_j(U_tcosjt+V_jsinjt), –∞< t<∞, where the coefficients U_t and V_t are random variables and a_j is real. Suppose that these random variables have a joint distribution which is invariant under all orthogonal transformations of R^2k–2. Then X(t) is stationary but not necessarily Gaussian. Put L_t(u) = Lebesgue measure {s: 0?s?t, X(s) > u}, and M(t) = max{X(s): 0?s?t}. Limit theorems for L_t(u) and $\text{P}\text{(M(t) > u)}$ for u→∞ are obtained under the hypothesis that the distribution of the random norm (Σ^k_j=0(U²_j+V²_j))^{1 2} belongs to the domain of attraction of the extreme value distribution exp{ e^–2}. The results are also extended to the random Fourier series (k=∞).     

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.     

A Wiener test for integrals of brownian motion and the existence of smooth curves in nowhere dense sets

Let J_ω^x(t) = x + ∝₀^tb_ω(s) ds, where b_ω is planar Brownian motion starting at 0. A Wiener-type criterion is proved for the process J_ω^x(t): Let K be a compact plane set and let x?K. Then if ∑ 2ⁿM₁(A_n(x)?K) < ∞ (where $\text{A}{}_{\mathrm{n}}\text{(x) = {2}{}^{\mathrm{?n?1}}\text{? ¦ z ? x ¦ ? 2}{}^{\mathrm{?n}}\text{}}$ and M₁ denotes one-dimensional Hausdorff content), the process J_ω^x(t) stays within K for a positive period of time t, a.s. In particular, this applies to almost all x with respect to area in the nowhere dense “Swiss Cheese” sets. The method is based on general potential theory for Markov processes.     

A combinatorial interpretation for two transformations of series that commute with compositional inversion

For a formal power series $\text{g(t) =}\text{1}\text{[1 + ∑}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{h}{}_{\mathrm{n}}\text{t}{}^{\mathrm{n}}\text{]}$ with nonnegative integer coefficients, the compositional inverse $\text{f}\text{(t) = t · f(t)}$ of $\text{g}\text{(t) = t · g(t)}$ is shown to be the generating function for the colored planted plane trees in which each vertex of degree i + 1 is colored one of h_i colors. Since the compositional inverse of the Euler transformation of f(t) is the star transformation [[g(t)]^?1 ? 1]^?1 of g(t), [2], it follows that the Euler transformation of f(t) is the generating function for the colored planted plane trees in which each internal vertex of degree i + 1 is colored one of h_i colors for i > 1, and h₁ ? 1 colors for i = 1.     

A limit theorem for perturbed operator semigroups with applications to random evolutions

Let U(t) and S(t) be strongly continuous contraction semigroups on a Banach space L with infinitesimal operators A and B, respectively. Suppose the closure of A + αB generates a semigroup T_α(t). The behavior of T_α(t) as α goes to infinity is examined. In particular, suppose S(t) converges strongly to P. If the closure of PA generates a semigroup T(t) on $\text{R}$(P), then T_α(t) goes to T(t) on $\text{R}$(P). If PA = 0 and if BVf = ?f for fε$\text{N}$(P), conditions are given that imply T_α(αt) converges on $\text{R}$(P) to a semigroup generated by the closure of PAVA.The results are used to obtain new and known limit theorems for random evolutions, which in turn give approximation theorems for diffusion processes.